abstract: Developing a 21st Century Global Library for Mathematics Research discusses how information about what the mathematical literature contains can be formalized and made easier to express, encode, and explore. Many of the tools necessary to make this information system a reality will require much more than indexing and will instead depend on community input paired with machine learning, where mathematicians' expertise can fill the gaps of automatization. This report proposes the establishment of an organization; the development of a set of platforms, tools, and services; the deployment of an ongoing applied research program to complement the development work; and the mobilization and coordination of the mathematical community to take the first steps toward these capabilities. The report recommends building on the extensive work done by many dedicated individuals under the rubric of the World Digital Mathematical Library, as well as many other community initiatives. Developing a 21st Century Global Library for Mathematics envisions a combination of machine learning methods and community-based editorial effort that makes a significantly greater portion of the information and knowledge in the global mathematical corpus available to researchers as linked open data through a central organizational entity-referred to in the report as the Digital Mathematics Library. This report describes how such a library might operate - discussing development and research needs, role in facilitating discover and interaction, and establishing partnerships with publishers.


title: Semicrossed Products of Operator Algebras by Semigroups

abstract: We examine the semicrossed products of a semigroup action by $*$-endomorphisms on a C*-algebra, or more generally of an action on an arbitrary operator algebra by completely contractive endomorphisms. The choice of allowable representations affects the corresponding universal algebra. We seek quite general conditions which will allow us to show that the C*-envelope of the semicrossed product is (a full corner of) a crossed product of an auxiliary C*-algebra by a group action. Our analysis concerns a case-by-case dilation theory on covariant pairs. In the process we determine the C*-envelope for various semicrossed products of (possibly nonselfadjoint) operator algebras by spanning cones and lattice-ordered abelian semigroups. In particular, we show that the C*-envelope of the semicrossed product of C*-dynamical systems by doubly commuting representations of $\mathbb{Z}^n_+$ (by generally non-injective endomorphisms) is the full corner of a C*-crossed product. In consequence we connect the ideal structure of C*-covers to properties of the actions. In particular, when the system is classical, we show that the C*-envelope is simple if and only if the action is injective and minimal. The dilation methods that we use may be applied to non-abelian semigroups. We identify the C*-envelope for actions of the free semigroup $\mathbb{F}_+^n$ by automorphisms in a concrete way, and for injective systems in a more abstract manner. We also deal with C*-dynamical systems over Ore semigroups when the appropriate covariance relation is considered.


title: Semicrossed Products of Operator Algebras: A Survey

abstract: Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and C*-envelopes, and some connections back to the dynamics


title: Fair channel allocation and access design for cognitive ad hoc networks

abstract: We investigate the fair channel assignment and access design problem for cognitive radio ad hoc network in this paper. In particular, we consider a scenario where ad hoc network nodes have hardware constraints which allow them to access at most one channel at any time. We investigate a fair channel allocation problem where each node is allocated a subset of channels which are sensed and accessed periodically by their owners by using a MAC protocol. Toward this end, we analyze the complexity of the optimal brute-force search algorithm which finds the optimal solution for this NP-hard problem. We then develop low-complexity algorithms that can work efficiently with a MAC protocol algorithm, which resolves the access contention from neighboring secondary nodes. Also, we develop a throughput analytical model, which is used in the proposed channel allocation algorithm and for performance evaluation of its performance. Finally, we present extensive numerical results to demonstrate the efficacy of the proposed algorithms in achieving fair spectrum sharing among traffic flows in the network.


title: Introduction to quantum turbulence

abstract: The term quantum turbulence denotes the turbulent motion of quantum fluids, systems such as superfluid helium and atomic Bose-Einstein condensates which are characterized by quantized vorticity, uperfluidity and, at finite temperatures, two-fluid behavior. This article introduces their basic properties, describes types and regimes of turbulence which have been observed, and highlights similarities and differences between quantum turbulence and classical turbulence in ordinary fluids. Our aim is also to link together the articles of this special issue, and to provide a perspective of the future development of a subject which contains aspects of fluid mechanics, atomic physics, condensed matter and low temperature physics.


title: Probing the matter and dark energy sources in a viable Big Rip model of the Universe

abstract: Chevallier-Polarski-Linder (CPL) parametrization for the equation of state of dark energy in terms of cosmic redshift or scale factor have been frequently studied in the literature. In this study, we consider cosmic time based CPL parametrization for the equation of state parameter of the effective cosmic fluid that fills the fabric of spatially flat and homogeneous Robertson-Walker spacetime in general relativity. The model exhibits two worthy features: (i) It fits the observational data from the latest $H(z)$ and Union 2.1 SN Ia compilations matching the success of $\Lambda$CDM model. (ii) It describes the evolution of the Universe from the matter-dominated phase to the recent accelerating phase similar to the $\Lambda$CDM model but leads to Big Rip end of the Universe contrary to the everlasting de Sitter expansion in the $\Lambda$CDM model. We investigate the matter and dark energy sources in the model, in particular, behavior of the dynamical dark energy responsible for the Big Rip end of Universe.


title: Node, Node-Link, and Node-Link-Group Diagrams: An Evaluation

abstract: Effectively showing the relationships between objects in a dataset is one of the main tasks in information visualization. Typically there is a well-defined notion of distance between pairs of objects, and traditional approaches such as principal component analysis or multi-dimensional scaling are used to place the objects as points in 2D space, so that similar objects are close to each other. In another typical setting, the dataset is visualized as a network graph, where related nodes are connected by links. More recently, datasets are also visualized as maps, where in addition to nodes and links, there is an explicit representation of groups and clusters. We consider these three Techniques, characterized by a progressive increase of the amount of encoded information: node diagrams, node-link diagrams and node-link-group diagrams. We assess these three types of diagrams with a controlled experiment that covers nine different tasks falling broadly in three categories: node-based tasks, network-based tasks and group-based tasks. Our findings indicate that adding links, or links and group representations, does not negatively impact performance (time and accuracy) of node-based tasks. Similarly, adding group representations does not negatively impact the performance of network-based tasks. Node-link-group diagrams outperform the others on group-based tasks. These conclusions contradict results in other studies, in similar but subtly different settings. Taken together, however, such results can have significant implications for the design of standard and domain specific visualizations tools.


title: Spectral Measures for $Sp(2)$

abstract: Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion modules associated to the $Sp(2)$ modular invariants.


title: Ramsey Rule with Progressive utility and Long Term Affine Yields Curves

abstract: The purpose of this paper relies on the study of long term affine yield curves modeling. It is inspired by the Ramsey rule of the economic literature, that links discount rate and marginal utility of aggregate optimal consumption. For such a long maturity modelization, the possibility of adjusting preferences to new economic information is crucial, justifying the use of progressive utility. This paper studies, in a framework with affine factors, the yield curve given from the Ramsey rule. It first characterizes consistent progressive utility of investment and consumption, given the optimal wealth and consumption processes. A special attention is paid to utilities associated with linear optimal processes with respect to their initial conditions, which is for example the case of power progressive utilities. Those utilities are the basis point to construct other progressive utilities generating non linear optimal processes but leading yet to still tractable computations. This is of particular interest to study the impact of initial wealth on yield curves.


title: Heavy Gravitino and Split SUSY in the Light of BICEP2

abstract: High-scale supersymmetry (SUSY) with a split spectrum has become increasingly interesting given the current experimental results. A SUSY scale above the weak scale could be naturally associated with a heavy unstable gravitino, whose decays populate the dark matter (DM) particles. In the mini-split scenario with gravitino at about the PeV scale and the lightest TeV scale neutralino being (a component of) DM, the requirement that the DM relic abundance resulting from gravitino decays does not overclose the Universe and satisfies the indirect detection constraints demand the reheating temperature to be below 10^9 - 10^{10} GeV. On the other hand, the BICEP2 result prefers a heavy inflaton with mass at around 10^{13} GeV and a reheating temperature at or above 10^9 GeV with some general assumptions. The mild tension could be alleviated if SUSY scale is even higher with the gravitino mass above the PeV scale. Intriguingly, in no-scale supergravity, gravitinos could be very heavy at about 10^{13} GeV, the inflaton mass scale, while gauginos could still be light at the TeV scale.


title: A Framework for Empirical Galaxy Phenomenology: The Scatter in Galaxy Ages and Stellar Metallicities

abstract: We develop a theoretical framework that extracts a deeper understanding of galaxy formation from empirically-derived relations among galaxy properties by extending the main-sequence integration method for computing galaxy star formation histories. We properly account for scatter in the stellar mass-star formation rate relation and the evolving fraction of passive systems and find that the latter effect is almost solely responsible for the age distributions among $z\sim0$ galaxies with stellar masses above $\sim 10^{10}\,{\rm M_{\odot}}$. However, while we qualitatively agree with the observed median stellar metallicity as a function of stellar mass, we attribute our inability to reproduce the distribution in detail largely to a combination of imperfect gas-phase metallicity and $\alpha$/Fe ratio calibrations. Our formalism will benefit from new observational constraints and, in turn, improve interpretations of future data by providing self-consistent star formation histories for population synthesis modeling.


title: Chemical composition and constraints on mass loss for globular clusters in dwarf galaxies: WLM and IKN

abstract: We determine the metallicities for globular clusters (GCs) in the WLM and IKN dwarf galaxies, using VLT/UVES and Keck/ESI spectroscopy. For the WLM GC we also measure detailed abundance ratios for a number of light, alpha, Fe-peak and n-capture elements. We find low metallicities of [Fe/H]=-2.0 and -2.1 for the WLM GC and the GC IKN-5, respectively. We estimate that 17%-31% of the metal-poor stars in WLM belong to the GC, and IKN-5 may even contain a similar number of metal-poor stars as the whole of the IKN dwarf itself. These high ratios of metal-poor GCs to field stars are in tension with GC formation scenarios that require GCs to have lost a very large fraction of their initial mass. The GCs in the WLM and IKN dwarf galaxies resemble those in the Fornax dSph by being significantly more metal-poor than a typical halo GC in the Milky Way and other large galaxies. They are also substantially more metal-poor than the bulk of the field stars in their parent galaxies. The overall abundance patterns in the WLM GC are similar to those observed for GCs in the Fornax dSph: [Ca/Fe] and [Ti/Fe] are super-Solar at about +0.3 dex, while [Mg/Fe] is less elevated than [Ca/Fe] and [Ti/Fe]. The [Na/Fe] ratio is similar to the averaged [Na/Fe] ratios in Milky Way GCs, but higher than those of Milky Way halo stars. Fe-peak (Mn, Sc, Cr) and heavy elements (Ba, Y, La) generally follow the trends seen in the Milky Way halo. The relatively high Na abundance in the WLM GC suggests that the [Na/O] anti-correlation is present in this cluster.


title: The Origin of Ionized Filaments Within the Orion-Eridanus Superbubble

abstract: The Orion-Eridanus superbubble, formed by the nearby Orion high mass star-forming region, contains multiple bright H$\alpha$ filaments on the Eridanus side of the superbubble. We examine the implications of the H$\alpha$ brightnesses and sizes of these filaments, the Eridanus filaments. We find that either the filaments must be highly elongated along the line of sight or they cannot be equilibrium structures illuminated solely by the Orion star-forming region. The Eridanus filaments may, instead, have formed when the Orion-Eridanus superbubble encountered and compressed a pre-existing, ionized gas cloud, such that the filaments are now out of equilibrium and slowly recombining.


title: Dark Matter on Top

abstract: We consider a simplified model of fermionic dark matter which couples exclusively to the right-handed top quark via a renormalizable interaction with a color-charged scalar. We first compute the relic abundance of this type of dark matter and investigate constraints placed on the model parameter space by the latest direct detection data. We also perform a detailed analysis for the production of dark matter at the LHC for this model. We find several kinematic variables that allow for a clean signal extraction and we show that the parameter space of this model will be well probed during LHC Run-II. Finally, we investigate the possibility of detecting this type of dark matter via its annihilations into gamma rays. We compute the continuum and the line emission (which includes a possible "Higgs in Space" line) and its possible discovery by future gamma-ray telescopes. We find that the annihilation spectrum has distinctive features which may distinguish it from other models.


title: Holographic Chern-Simons Theories

abstract: Chern-Simons theories in three dimensions are topological field theories that may have a holographic interpretation for suitable chosen gauge groups and boundary conditions on the fields. Conformal Chern-Simons gravity is a topological model of 3-dimensional gravity that exhibits Weyl invariance and allows various holographic descriptions, including Anti-de Sitter, Lobachevsky and flat space holography. The same model also allows to address some aspects that arise in higher spin gravity in a considerably simplified setup, since both types of models have gauge symmetries other than diffeomorphisms. In these lectures we summarize briefly recent results.


title: Dark Matter Halos in Galaxies and Globular Cluster Populations

abstract: We combine a new, comprehensive database for globular cluster populations in all types of galaxies with a new calibration of galaxy halo masses based entirely on weak lensing. Correlating these two sets of data, we find that the mass ratio $\eta \equiv M_{GCS}/M_{h}$ (total mass in globular clusters, divided by halo mass) is essentially constant at $\langle \eta \rangle \sim 4 \times 10^{-5}$, strongly confirming earlier suggestions in the literature. Globular clusters are the only known stellar population that formed in essentially direct proportion to host galaxy halo mass. The intrinsic scatter in $\eta$ appears to be at most 0.2 dex; we argue that some of this scatter is due to differing degrees of tidal stripping of the globular cluster systems between central and satellite galaxies. We suggest that this correlation can be understood if most globular clusters form at very early stages in galaxy evolution, largely avoiding the feedback processes that inhibited the bulk of field-star formation in their host galaxies. The actual mean value of $\eta$ also suggests that about $1/4$ of the \emph{initial} gas mass present in protogalaxies collected into GMCs large enough to form massive, dense star clusters. Finally, our calibration of $\langle \eta \rangle$ indicates that the halo masses of the Milky Way and M31 are $(1.2\pm0.5)\times 10^{12} M_{\odot}$ and $(3.9\pm1.8)\times 10^{12} M_{\odot}$ respectively.


title: Gemini Long-slit Observations of Luminous Obscured Quasars: Further Evidence for an Upper Limit on the Size of the Narrow-Line Region

abstract: We examine the spatial extent of the narrow-line regions (NLRs) of a sample of 30 luminous obscured quasars at $0.4 < z < 0.7$ observed with spatially resolved Gemini-N GMOS long-slit spectroscopy. Using the [OIII]$\lambda5007$ emission feature, we estimate the size of the NLR using a cosmology-independent measurement: the radius where the surface brightness falls to 10$^{-15}$ erg s$^{-1}$ cm$^{-2}$ arcsec$^{-2}$. We then explore the effects of atmospheric seeing on NLR size measurements and conclude that direct measurements of the NLR size from observed profiles are too large by 0.1 - 0.2 dex on average, as compared to measurements made to best-fit S\'{e}rsic or Voigt profiles convolved with the seeing. These data, which span a full order of magnitude in IR luminosity ($\log{(L_{8 \mu \mathrm{m}} / \mathrm{erg\, s}^{-1})} = 44.4 - 45.4$) also provide strong evidence that there is a flattening of the relationship between NLR size and AGN luminosity at a seeing-corrected size of $\sim 7$ kpc. The objects in this sample have high luminosities which place them in a previously under-explored portion of the size-luminosity relationship. These results support the existence of a maximal size of the narrow-line region around luminous quasars; beyond this size either there is not enough gas, or the gas is over-ionized and does not produce enough [OIII]$\lambda5007$ emission.


title: Exotic Decays Of A Heavy Neutral Higgs Through HZ/AZ Channel

abstract: Models of electroweak symmetry breaking with extended Higgs sectors are theoretically well motivated. In this study, we focus on the Two Higgs Doublet Model with a low energy spectrum containing scalars $H$ and a pseudoscalar $A$. We study the decays $A\rightarrow HZ$ or $H\rightarrow AZ$, which could reach sizable branching fractions in certain parameter regions. With detailed collider analysis, we obtain model independent exclusion bounds as well as discovery reach at the 14 TeV LHC for the process: $gg\rightarrow A/H\rightarrow HZ/AZ$, looking at final states bbll, \tau\tau ll and ZZZ(4l2j) for l =e,\mu. We further interpret these bounds in the context of the Type II Two Higgs Doublet Model, considering three different classes of processes: $A\rightarrow h^0Z$, $A\rightarrow H^0Z$, and $H^0 \rightarrow AZ$, in which $h^0$ and $H^0$ are the light and heavy CP-even Higgses respectively. For 100 fb$^{-1}$ integrated luminosity at the 14 TeV LHC, we find that for parent particle mass around 300-400 GeV, $A\rightarrow h^0Z$ has the greatest reach when $H^0$ is interpreted as the 126 GeV Higgs: most regions in the tan\beta-sin(\beta-\alpha) parameter space can be covered by exclusion and discovery. For 126 GeV $h^0$, only relatively small tan\beta<10 (5) can be reached by exclusion (discovery). For $A\rightarrow H^0Z$, the reach is typically restricted to sin$(\beta-\alpha)\sim\pm 1$ with tan\beta <10 in bbll and \tau\tau ll channels. The ZZZ (4l2j) channel, on the other hand, covers a wide range of 0.3<|sin(\beta-\alpha)|<1 for tan\beta<4. $H^0\rightarrow AZ$ typically favors negative values of sin(\beta-\alpha), with exclusion/discovery reach possibly extending to all values of tan\beta. A study of exotic decays of extra Higgses would extend the reach at the LHC and provides nice complementarity to conventional Higgs search channels.


title: Linear stability of magnetized massive protoplanetary disks

abstract: Magneto-rotational instability (MRI) and gravitational instability (GI) are the two principle routes to turbulent angular momentum transport in accretion disks. Protoplanetary disks may develop both. This paper aims to reinvigorate interest in the study of magnetized massive protoplanetary disks, starting from the basic issue of stability. The local linear stability of a self-gravitating, uniformly magnetized, differentially rotating, three-dimensional stratified disk subject to axisymmetric perturbations is calculated numerically. The formulation includes resistivity. It is found that the reduction in the disk thickness by self-gravity can decrease MRI growth rates; the MRI becomes global in the vertical direction, and MRI modes with small radial length scales are stabilized. The maximum vertical field strength that permits the MRI in a strongly self-gravitating polytropic disk with polytropic index $\Gamma=1$ is estimated to be $B_{z,\mathrm{max}} \simeq c_{s0}\Omega\sqrt{\mu_0/16\pi G} $, where $c_{s0}$ is the midplane sound speed and $\Omega$ is the angular velocity. In massive disks with layered resistivity, the MRI is not well-localized to regions where the Elsasser number exceeds unity. For MRI modes with radial length scales on the order of the disk thickness, self-gravity can enhance density perturbations, an effect that becomes significant in the presence of a strong toroidal field, and which depends on the symmetry of the underlying MRI mode. In gravitationally unstable disks where GI and MRI growth rates are comparable, the character of unstable modes can transition smoothly between MRI and GI. Implications for non-linear simulations are discussed briefly.


title: Emergent SU(3) symmetry in random spin-1 chains

abstract: We show that generic SU(2)-invariant random spin-1 chains have phases with an emergent SU(3) symmetry. We map out the full zero-temperature phase diagram and identify two different phases: (i) a conventional random singlet phase (RSP) of strongly bound spin pairs (SU(3) "mesons") and (ii) an unconventional RSP of bound SU(3) "baryons", which are formed, in the great majority, by spin trios located at random positions. The emergent SU(3) symmetry dictates that susceptibilities and correlation functions of both dipolar and quadrupolar spin operators have the same asymptotic behavior.


title: The gravity dual of supersymmetric gauge theories on a squashed five-sphere

abstract: We present the gravity dual of large N supersymmetric gauge theories on a squashed five-sphere. The one-parameter family of solutions is constructed in Euclidean Romans F(4) gauged supergravity in six dimensions, and uplifts to massive type IIA supergravity. By renormalizing the theory with appropriate counterterms we evaluate the renormalized on-shell action for the solutions. We also evaluate the large N limit of the gauge theory partition function, and find precise agreement.


title: A simple bound for the variation at closest approach of a small body and star due to general relativity

abstract: As a comet, asteroid or planet approaches its parent star, the orbit changes shape due to the curvature of spacetime. For comets in particular, the deviation at the pericentre may noticeably change their ephemerides and affect the dynamics of outgassing, tidal disruption or other processes which act on orbital timescales and are assumed to follow Newtonian gravity. By obtaining and analysing the unaveraged equations of motion in orbital elements due to the dominant post-Newtonian contribution (1PN), I derive a simple analytic expression for the maximum deviation in terms of only the stellar mass and eccentricity of the orbit. This relation can be used to assess the potential importance of including short-period relativistic terms in models containing comets, asteroids or planets, and help determine the level of precision needed in numerical integrations. The magnitude of the deviation in systems with Solar-like stars is typically comparable to the size of comet nuclei, and the direction of the deviation is determined by the eccentricity. I show that for eccentricities above a critical value of approximately 0.359, the direction is away from the star.


title: Generating X-ray lines from annihilating dark matter

abstract: We propose different scenarios where a keV dark matter annihilates to produce a monochromatic signal. The process is generated through the exchange of a light scalar of mass of order 300 keV - 50 MeV coupling to photon through loops or higher dimensional operators. For natural values of the couplings and scales, the model can generate a gamma-ray line which can fit with the recently identified 3.5 keV X-ray line.


title: Pulsar Timing Constraints on Cumulative and Individual Mass of Stars in the Galactic Center

abstract: We consider the time derivatives of the period $P$ of pulsars at the Galactic Center due to variations in their orbital Doppler shifts. We show that in conjunction with a measurement of a pulsar's proper motion and its projected separation from the supermassive black hole, Sgr A*,measuring two of the three derivatives $\dot{P}$, $\ddot{P}$, or $\dddot{P}$ sets a constraint that allows for the recovery of the complete six phase space coordinates of the pulsar's orbit, as well as the enclosed mass within the orbit. Thus, one can use multiple pulsars at different distances from Sgr A* to determine the radial mass distribution of stars and stellar remnants at the Galactic center. Furthermore, we consider the effect of passing stars on the pulsar's period derivatives and show how it can be exploited to measure the characteristic stellar mass in the Galactic Center.


title: Tagging Boosted Ws with Wavelets

abstract: We present a new technique for distinguishing the hadronic decays of boosted heavy particles from QCD backgrounds based on wavelet transforms. As an initial exploration, we illustrate the technique in the particular case of hadronic $W$ boson decays, comparing it to the ``mass drop'' cut currently used by the LHC experiments. We apply wavelet cuts, which make use of complementary information, and in combination with the mass drop cut results in an improvement of $\sim$7% in discovery reach of hadronic $W$ boson final states over a wide range of transverse momenta.


title: Halpha and [S II] emission from warm ionized gas in the Scutum-Centaurus Arm

abstract: We present Wisconsin H-Alpha Mapper [S II] {\lambda}6716 and H{\alpha} spectroscopic maps of the warm ionized medium (WIM) in the Scutum-Centaurus Arm at Galactic longitudes 310{\deg} < l < 345{\deg}. Using extinction-corrected H{\alpha} intensities (IH{\alpha}c), we measure an exponential scale height of electron density-squared in the arm of H_ne^2 = 0.30 kpc (assuming a distance of 3.5 kpc), intermediate between that observed in the inner Galaxy and in the Perseus Arm. The [S II]/H{\alpha} line ratio is enhanced at large |z| and in sightlines with faint IH{\alpha}c. We find that the [S II]/H{\alpha} line ratio has a power law relationship with IH{\alpha}c from a value of ~=1.0 at IH{\alpha}c < 0.2 R (Rayleighs) to a value of ~=0.08 at IH{\alpha}c >= 100 R. The line ratio is better correlated with H{\alpha} intensity than with height above the plane, indicating that the physical conditions within the WIM vary systematically with electron density. We argue that the variation of the line ratio with height is a consequence of the decrease of electron density with height. Our results reinforce the well-established picture in which the diffuse H{\alpha} emission is due primarily to emission from in situ photoionized gas, with scattered light only a minor contributor.


title: Protoplanetary disc evolution affected by star-disc interactions in young stellar clusters

abstract: Most stars form in a clustered environment. Therefore, it is important to assess how this environment influences the evolution of protoplanetary discs around young stars. In turn, this affects their ability to produce planets and ultimately life. We present here for the first time 3D SPH/N-body simulations that include both the hydrodynamical evolution of the discs around their natal stars, as well as the dynamics of the stars themselves. The discs are viscously evolving, accreting mass onto the central star and spreading. We find penetrating encounters to be very destructive for the discs as in previous studies, although the frequency of such encounters is low. We also find, however, that encounter influence the disc radii more strongly than other disc properties such as the disc mass. The disc sizes are set by the competition between viscous spreading and the disruptive effect of encounters. As discs spread, encounters become more and more important. In the regime of rapid spreading encounters simply truncate the discs, stripping the outer portions. In the opposite regime, we find that the effect of many distant encounters is able to limit the disc size. Finally, we predict from our simulations that disc sizes are limited by encounters at stellar densities exceeding $\sim 2-3 \times 10^3 \ \mathrm{pc}^{-2}$.


title: Cohomology with causally restricted supports

abstract: De Rham cohomology with spacelike compact and timelike compact supports has recently been noticed to be of importance for understanding the structure of classical and quantum Maxwell theory on curved spacetimes. Similarly causally restricted cohomologies of different differential complexes play a similar role in other gauge theories. We introduce a method for computing these causally restricted cohomologies in terms of cohomologies with either compact or unrestricted supports. The calculation exploits the fact that the de Rham-d'Alembert wave operator can be extended to a chain map that is homotopic to zero and that its causal Green function fits into a convenient exact sequence. As a first application, we use the method on the de Rham complex, then also on the Calabi (or Killing-Riemann-Bianchi) complex, which appears in linearized gravity on constant curvature backgrounds. We also discuss applications to other complexes, as well as generalized causal structures and functoriality.


title: Cross-correlation of cosmic far-infrared background anisotropies with large scale structures

abstract: We measure the cross-power spectra between luminous red galaxies (LRGs) from the Sloan Digital Sky Survey (SDSS)-III Data Release Eight (DR8) and cosmic infrared background (CIB) anisotropies from Planck and data from the Improved Reprocessing (IRIS) of the Infrared Astronomical Satellite (IRAS) at 353, 545, 857, and 3000 GHz, corresponding to 850, 550, 350 and 100 micron, respectively, in the multipole range 100<l<1000. Using approximately 6.5 10^5 photometrically determined LRGs in 7760 deg^2 of the northern hemisphere in the redshift range 0.45 < z < 0.65, we model the far-infrared background (FIRB) anisotropies with an extended version of the halo model. With these methods, we confirm the basic picture obtained from recent analyses of FIRB anisotropies with Herschel and Planck, that the most efficient halo mass at hosting star forming galaxies is log(M_ eff/M_\odot)=12.84+/-0.15. We estimate the percentage of FIRB anisotropies correlated with LRGs as approximately 11.8 %, 3.9 %, 1.8 %, and 1.0 % of the total at 3000, 857, 545, and 353 GHz, respectively. At redshift z~0.55, the bias of FIRB galaxies with respect to the dark matter density field has the value b_{FIRB}~1.45, and the mean dust temperature of FIRB galaxies is T_d=26 K. Finally, we discuss the impact of present and upcoming cross-correlations with far-infrared background anisotropies on the determination of the global star formation history and the link between galaxies and dark matter.


title: Effect of Point Defects on the Optical and Transport Properties of MoS2 and WS2

abstract: Imperfections in the crystal structure, such as point defects, can strongly modify the optical and transport properties of materials. Here, we study the effect of point defects on the optical and DC conductivities of single layers of semiconducting transition metal dichalcogenides with the form $M$S$_2$, where $M$=Mo or W. The electronic structure is considered within a six bands tight-binding model, which accounts for the relevant combination of $d$ orbitals of the metal $M$ and $p$ orbitals of the chalcogen $S$. We use the Kubo formula for the calculation of the conductivity in samples with different distributions of disorder. We find that $M$ and/or S defects create mid-gap states that localize charge carriers around the defects and which modify the optical and transport properties of the material, in agreement with recent experiments. Furthermore, our results indicate a much higher mobility for $p$-doped WS$_2$ in comparison to MoS$_2$.


title: Tyler's Covariance Matrix Estimator in Elliptical Models with Convex Structure

abstract: We address structured covariance estimation in elliptical distributions by assuming that the covariance is a priori known to belong to a given convex set, e.g., the set of Toeplitz or banded matrices. We consider the General Method of Moments (GMM) optimization applied to robust Tyler's scatter M-estimator subject to these convex constraints. Unfortunately, GMM turns out to be non-convex due to the objective. Instead, we propose a new COCA estimator - a convex relaxation which can be efficiently solved. We prove that the relaxation is tight in the unconstrained case for a finite number of samples, and in the constrained case asymptotically. We then illustrate the advantages of COCA in synthetic simulations with structured compound Gaussian distributions. In these examples, COCA outperforms competing methods such as Tyler's estimator and its projection onto the structure set.


title: On the various aspects of electromagnetic potentials in spacetimes with symmetries

abstract: We revise and generalize the properties of the electric and the magnetic scalar potentials in spacetimes admitting a Killing vector field: Their constancy on the Killing horizons, uniqueness of solution for the electromagnetic test fields and the relation between the Bianchi identity and Maxwell's equations. In each of these examples, collinearity of currents with the Killing vector field is shown to be the crucial property.


title: A Tunable Terahertz Detector Based On Self Assembled Plasmonic Structure on a GaAs 2DEG

abstract: Plasmonic detectors have the potential to provide a method of rapid spectroscopy without the need of moving mirrors or gratings. Previous measurements have demonstrated frequency tunable detection based on plasmonic excitations, however these devices were either small area, polarization dependent and/or required e-beam lithography. We demonstrate that large area high sensitivity THz plasmonic detection can be achieved using self-assembly nanosphere lithography. We achieve a submicron feature size grid covering a detector area of 4 mm^2. The absorbance at the fundamental, third and 5th harmonics of plasmon resonances are observed. Measurements at 80 K show a large transmission change of 25%. We also confirmed a magneto plasmon dispersion of this device. In this paper we will discuss the frequency dependence of the radiative damping effect which affects enhanced absorption at the higher harmonics mode relative to fundamental.


title: The Local Dark Matter Density

abstract: I review current efforts to measure the mean density of dark matter near the Sun. This encodes valuable dynamical information about our Galaxy and is also of great importance for 'direct detection' dark matter experiments. I discuss theoretical expectations in our current cosmology; the theory behind mass modelling of the Galaxy; and I show how combining local and global measures probes the shape of the Milky Way dark matter halo and the possible presence of a 'dark disc'. I stress the strengths and weaknesses of different methodologies and highlight the continuing need for detailed tests on mock data - particularly in the light of recently discovered evidence for disequilibria in the Milky Way disc. I highlight several recent measurements in order of increasing data complexity and prior, and, correspondingly, decreasing formal error bars. Comparing these measurements with spherical extrapolations from the Milky Way's rotation curve, I show that the Milky Way is consistent with having a spherical dark matter halo at the Solar position R0. The very latest measures based on ~10,000 stars from the Sloan Digital Sky Survey appear to favour little halo flattening at R0, suggesting that the Galaxy has a rather weak dark matter disc, with a correspondingly quiescent merger history [Abridged].


title: Phase transitions in the two-dimensional single-ion anisotropic ferromagnetic with long-range interactions

abstract: In the present work, we investigate the effects of long-range interactions on the phase transitions of two-dimensional ferromagnetic models with single-ion anisotropy at zero and finite temperatures. The Hamiltonian is given by $H=\sum_{i\neq j} J_{ij}(S_i^xS_j^x+S_i^yS_j^y+\lambda S_i^zS_j^z)+D\sum_{i}(S_i^z)^2$, where $J_{ij}=-J |r_j-r_i|^{-p}$ ($p\geq 3$) is a long-range ferromagnetic interaction ($J>0$), $0\leq \lambda\leq 1$ is an anisotropic constant and $D$ is the single-ion anisotropic constant. It is well-known that the single-ion anisotropy $D$ creates a competition between an ordered state (favored by the exchange interaction) and a disordered state, even at zero temperature. For small values of $D$, the system has a spontaneous magnetization $m_z\neq 0$, while in the large-D phase $m_z=0$ because a state with $\langle S^z\rangle\neq 0$ is energetically unfavorable. Therefore, a phase transition due to quantum fluctuations occurs in some critical value $D_c$. For systems with short-range interaction $D_c\approx 6J$, depending of $\lambda$ constant, but in our model we have found larger values of $D$ due to the higher cost to flip a spin. Since low-dimensional magnetic systems with long range interaction can be ordered at finite temperature, we also have analyzed the thermal phase transitions (similar to the BKT transition). The model has been studied by using a Schwinger boson formalism as well as the Self-consistent Harmonic Approximation (SCHA) and both methods provide according results.


title: Asymptotic expansion of the wavelet transform with error term

abstract: UsingWong's technique asymptotic expansion for the wavelet transform is derived and thereby asymptotic expansions for Morlet wavelet transform, Mexican Hat wavelet transform and Haar wavelet transform are obtained.


title: Asymptotic expansion of the wavelet transform for small a

abstract: Asymptotic expansion of the wavelet transform for small values of the dilation parameter a is obtained using asymptotic expansion of the Mellin convolution technique ofWong. Asymptotic expansions of Morlet wavelet transform, Mexican hat wavelet transform and Haar wavelet transform are obtained as special cases.


title: Chameleonic equivalence postulate and wave function collapse

abstract: A chameleonic solution to the cosmological constant problem and the non-equivalence of different conformal frames at the quantum level have been recently suggested [Phys. Rev. D82 (2010) 044006]. In this article we further discuss the theoretical grounds of that model and we are led to a chameleonic equivalence postulate (CEP). Whenever a theory satisfies our CEP (and some other additional conditions), a density-dependence of the mass of matter fields is naturally present. Let us summarize the main results of this paper. 1) The CEP can be considered the microscopic counterpart of the Einstein's Equivalence Principle and, hence, a chameleonic description of quantum gravity is obtained: in our model, (quantum) gravitation is equivalent to a conformal anomaly. 2) To illustrate one of the possible applications of the CEP, we point out a connection between chameleon fields and quantum-mechanical wave function collapse. The collapse is induced by the chameleonic nature of the theory. We discuss the collapse for a Stern-Gerlach experiment and for a diffraction experiment with electrons. More research efforts are necessary to verify whether these ideas are compatible with phenomenological constraints.


title: SELFISHMIGRATE: A Scalable Algorithm for Non-clairvoyantly Scheduling Heterogeneous Processors

abstract: We consider the classical problem of minimizing the total weighted flow-time for unrelated machines in the online \emph{non-clairvoyant} setting. In this problem, a set of jobs $J$ arrive over time to be scheduled on a set of $M$ machines. Each job $j$ has processing length $p_j$, weight $w_j$, and is processed at a rate of $\ell_{ij}$ when scheduled on machine $i$. The online scheduler knows the values of $w_j$ and $\ell_{ij}$ upon arrival of the job, but is not aware of the quantity $p_j$. We present the {\em first} online algorithm that is {\em scalable} ($(1+\eps)$-speed $O(\frac{1}{\epsilon^2})$-competitive for any constant $\eps > 0$) for the total weighted flow-time objective. No non-trivial results were known for this setting, except for the most basic case of identical machines. Our result resolves a major open problem in online scheduling theory. Moreover, we also show that no job needs more than a logarithmic number of migrations. We further extend our result and give a scalable algorithm for the objective of minimizing total weighted flow-time plus energy cost for the case of unrelated machines and obtain a scalable algorithm. The key algorithmic idea is to let jobs migrate selfishly until they converge to an equilibrium. Towards this end, we define a game where each job's utility which is closely tied to the instantaneous increase in the objective the job is responsible for, and each machine declares a policy that assigns priorities to jobs based on when they migrate to it, and the execution speeds. This has a spirit similar to coordination mechanisms that attempt to achieve near optimum welfare in the presence of selfish agents (jobs). To the best our knowledge, this is the first work that demonstrates the usefulness of ideas from coordination mechanisms and Nash equilibria for designing and analyzing online algorithms.


title: Fine-Structure Constant for Gravitational and Scalar Interactions

abstract: Starting from the coupling of a relativistic quantum particle to the curved Schwarzschild space-time, we show that the Dirac--Schwarzschild problem has bound states and calculate their energies including relativistic corrections. Relativistic effects are shown to be suppressed by the gravitational fine-structure constant alpha_G = G m_1 m_2/(hbar c), where G is Newton's gravitational constant, c is the speed of light and m_1 and m_2 >> m_1 are the masses of the two particles. The kinetic corrections due to space-time curvature are shown to lift the familiar (n,j) degeneracy of the energy levels of the hydrogen atom. We supplement the discussion by a consideration of an attractive scalar potential, which, in the fully relativistic Dirac formalism, modifies the mass of the particle according to the replacement m -> m (1 - \lambda/r), where r is the radial coordinate. We conclude with a few comments regarding the (n,j) degeneracy of the energy levels, where n is the principal quantum number, and j is the total angular momentum, and illustrate the calculations by way of a numerical example.


title: A Comprehensive Radio View of the Extremely Bright Gamma-Ray Burst 130427A

abstract: GRB 130427A was extremely bright as a result of occurring at low redshift whilst the energetics were more typical of high-redshift gamma-ray bursts (GRBs). We collected well-sampled light curves at 1.4 and 4.8 GHz of GRB 130427A with the Westerbork Synthesis Radio Telescope (WSRT); and we obtained its most accurate position with the European Very Long Baseline Interferometry Network (EVN). Our flux density measurements are combined with all the data available at radio, optical and X-ray frequencies to perform broadband modeling in the framework of a reverse-forward shock model and a two-component jet model, and we discuss the implications and limitations of both models. The low density inferred from the modeling implies that the GRB 130427A progenitor is either a very low-metallicity Wolf-Rayet star, or a rapidly rotating, low-metallicity O star. We also find that the fraction of the energy in electrons is evolving over time, and that the fraction of electrons participating in a relativistic power-law energy distribution is less than 15%. We observed intraday variability during the earliest WSRT observations, and the source sizes inferred from our modeling are consistent with this variability being due to interstellar scintillation effects. Finally, we present and discuss our limits on the linear and circular polarization, which are among the deepest limits of GRB radio polarization to date.


title: Stable, mobile, dark-in-bright, dipolar Bose-Einstein condensate soliton

abstract: We demonstrate robust, stable, mobile, quasi-one-dimensional, dark-in-bright dipolar Bose-Einstein condensate (BEC) soliton with a notch in the central plane formed due to dipolar interaction for repulsive contact interaction. At medium velocity the head on collision of two such solitons is found to be quasi elastic with practically no deformation. A proposal for creating dipolar dark-in-bright solitons in laboratories by phase imprinting is also discussed. A rich variety of such solitons can be formed in dipolar binary BEC, where one can have a dark-in-bright soliton coupled to a bright soliton or two coupled dark-in-bright solitons. The findings are illustrated using numerical simulation in three spatial dimensions employing realistic interaction parameters for a dipolar 164Dy BEC and a binary 164Dy-162Dy BEC.


title: Eine entscheidbare Klasse n-stelliger Horn-Pr\"adikate

abstract: Similar to a tree grammar, a Horn theory can be used to describe an infinite set of terms. In this paper, we present a class of Horn theories such that the set of definable predicates is closed wrt. conjunction and such that the satisfiability of a predicate is decidable. This extends previous results on Horn clauses with unary predicates.


title: Higher-Spin Theory and Space-Time Metamorphoses

abstract: Introductory lectures on higher-spin gauge theory given at 7 Aegean workshop on non-Einstein theories of gravity. The emphasis is on qualitative features of the higher-spin gauge theory and peculiarities of its space-time interpretation. In particular, it is explained that Riemannian geometry cannot play a fundamental role in the higher-spin gauge theory. The higher-spin symmetries are argued to occur at ultra high energy scales beyond the Planck scale. This suggests that the higher-spin gauge theory can help to understand Quantum Gravity. Various types of higher-spin dualities are briefly discussed.


title: Newman-Janis Algorithm Revisited

abstract: The purpose of the present article is to show that the Newman-Janis and Newman et al algorithm used to derive the Kerr and Kerr-Newman metrics respectively, automatically leads to the extension of the initial non negative polar radial coordinate r to a cartesian coordinate r' running from -\infty to +\infty, thus introducing in a natural way the region -\infty < r' < 0 in the above spacetimes. Using Boyer-Lindquist and ellipsoidal coordinates, we discuss some geometrical aspects of the positive and negative regions of r', like horizons, ergosurfaces, and foliation structures.


title: On the power of homogeneous depth 4 arithmetic circuits

abstract: We prove exponential lower bounds on the size of homogeneous depth 4 arithmetic circuits computing an explicit polynomial in $VP$. Our results hold for the {\it Iterated Matrix Multiplication} polynomial - in particular we show that any homogeneous depth 4 circuit computing the $(1,1)$ entry in the product of $n$ generic matrices of dimension $n^{O(1)}$ must have size $n^{\Omega(\sqrt{n})}$. Our results strengthen previous works in two significant ways. Our lower bounds hold for a polynomial in $VP$. Prior to our work, Kayal et al [KLSS14] proved an exponential lower bound for homogeneous depth 4 circuits (over fields of characteristic zero) computing a poly in $VNP$. The best known lower bounds for a depth 4 homogeneous circuit computing a poly in $VP$ was the bound of $n^{\Omega(\log n)}$ by [LSS, KLSS14].Our exponential lower bounds also give the first exponential separation between general arithmetic circuits and homogeneous depth 4 arithmetic circuits. In particular they imply that the depth reduction results of Koiran [Koi12] and Tavenas [Tav13] are tight even for reductions to general homogeneous depth 4 circuits (without the restriction of bounded bottom fanin). Our lower bound holds over all fields. The lower bound of [KLSS14] worked only over fields of characteristic zero. Prior to our work, the best lower bound for homogeneous depth 4 circuits over fields of positive characteristic was $n^{\Omega(\log n)}$ [LSS, KLSS14].


title: Privacy Implications of Health Information Seeking on the Web

abstract: This article investigates privacy risks to those visiting health- related web pages. The population of pages analyzed is derived from the 50 top search results for 1,986 common diseases. This yielded a total population of 80,124 unique pages which were analyzed for the presence of third-party HTTP requests. 91% of pages were found to make requests to third parties. Investigation of URIs revealed that 70% of HTTP Referer strings contained information exposing specific conditions, treatments, and diseases. This presents a risk to users in the form of personal identification and blind discrimination. An examination of extant government and corporate policies reveals that users are insufficiently protected from such risks.


title: Non-archimedean Yomdin-Gromov parametrizations and points of bounded height

abstract: We prove an analogue of the Yomdin-Gromov Lemma for $p$-adic definable sets and more broadly in a non-archimedean, definable context. This analogue keeps track of piecewise approximation by Taylor polynomials, a nontrivial aspect in the totally disconnected case. We apply this result to bound the number of rational points of bounded height on the transcendental part of $p$-adic subanalytic sets, and to bound the dimension of the set of complex polynomials of bounded degree lying on an algebraic variety defined over $\mathbb{C} ((t))$, in analogy to results by Pila and Wilkie, resp. by Bombieri and Pila. Along the way we prove, for definable functions in a general context of non-archimedean geometry, that local Lipschitz continuity implies piecewise global Lipschitz continuity.


title: IPAC Image Processing and Data Archiving for the Palomar Transient Factory

abstract: The Palomar Transient Factory (PTF) is a multi-epochal robotic survey of the northern sky that acquires data for the scientific study of transient and variable astrophysical phenomena. The camera and telescope provide for wide-field imaging in optical bands. In the five years of operation since first light on December 13, 2008, images taken with Mould-R and SDSS-g' camera filters have been routinely acquired on a nightly basis (weather permitting), and two different H-alpha filters were installed in May 2011 (656 nm and 663 nm). The PTF image-processing and data-archival program at the Infrared Processing and Analysis Center (IPAC) is tailored to receive and reduce the data, and, from it, generate and preserve astrometrically and photometrically calibrated images, extracted source catalogs, and coadded reference images. Relational databases have been deployed to track these products in operations and the data archive. The fully automated system has benefited by lessons learned from past IPAC projects and comprises advantageous features that are potentially incorporable into other ground-based observatories. Both off-the-shelf and in-house software have been utilized for economy and rapid development. The PTF data archive is curated by the NASA/IPAC Infrared Science Archive (IRSA). A state-of-the-art custom web interface has been deployed for downloading the raw images, processed images, and source catalogs from IRSA. Access to PTF data products is currently limited to an initial public data release (M81, M44, M42, SDSS Stripe 82, and the Kepler Survey Field). It is the intent of the PTF collaboration to release the full PTF data archive when sufficient funding becomes available.


title: On the steady state collisional evolution of debris disks around M dwarfs

abstract: Debris disks have been found primarily around intermediate and solar mass stars (spectral types A-K), but rarely around low-mass M-type stars. This scarcity of detections in M star surveys can be confronted with the predictions of the steady state collisional evolution model. First, we determine the parameters of the disk population evolved with this model and fit to the distribution of the fractional dust luminosities measured in the surveys of A- and FGK-type stars observed by the infrared satellite Spitzer. Thus, in our approach, we stipulate that the initial disk mass distribution is bimodal and that only high-mass collisionally-dominated disks are detected. The best determined parameter is the diameter $D_c$ of the largest planetesimals in the collisional cascade of the model, which ranges between 2 and 60 km, consistently for disks around A- and FGK-type stars. Second, we assume that the same disk population surrounds the M dwarfs that have been the subjects of debris disk searches in the far-infrared with Spitzer and at submillimeter wavelengths with radiotelescopes. We find, in the framework of our study, that this disk population, which has been fit to the AFGK data, is still consistent with the observed lack of disks around M dwarfs with Spitzer.


title: Capturing Aggregate Flexibility in Demand Response

abstract: Flexibility in electric power consumption can be leveraged by Demand Response (DR) programs. The goal of this paper is to systematically capture the inherent aggregate flexibility of a population of appliances. We do so by clustering individual loads based on their characteristics and service constraints. We highlight the challenges associated with learning the customer response to economic incentives while applying demand side management to heterogeneous appliances. We also develop a framework to quantify customer privacy in direct load scheduling programs.


title: Convergence and Optimality of Adaptive Mixed Methods on Surfaces

abstract: In a 1988 article, Dziuk introduced a nodal finite element method for the Laplace-Beltrami equation on 2-surfaces approximated by a piecewise-linear triangulation, initiating a line of research into surface finite element methods (SFEM). Demlow and Dziuk built on the original results, introducing an adaptive method for problems on 2-surfaces, and Demlow later extended the a priori theory to 3-surfaces and higher order elements. In a separate line of research, the Finite Element Exterior Calculus (FEEC) framework has been developed over the last decade by Arnold, Falk and Winther and others as a way to exploit the observation that mixed variational problems can be posed on a Hilbert complex, and Galerkin-type mixed methods can be obtained by solving finite dimensional subproblems. In 2011, Holst and Stern merged these two lines of research by developing a framework for variational crimes in abstract Hilbert complexes, allowing for application of the FEEC framework to problems that violate the subcomplex assumption of Arnold, Falk and Winther. When applied to Euclidean hypersurfaces, this new framework recovers the original a priori results and extends the theory to problems posed on surfaces of arbitrary dimensions. In yet another seemingly distinct line of research, Holst, Mihalik and Szypowski developed a convergence theory for a specific class of adaptive problems in the FEEC framework. Here, we bring these ideas together, showing convergence and optimality of an adaptive finite element method for the mixed formulation of the Hodge Laplacian on hypersurfaces.


title: Ergodic control of multi-class $M/M/N+M$ queues in the Halfin-Whitt regime

abstract: We study a dynamic scheduling problem for a multi-class queueing network with a large pool of statistically identical servers. The arrival processes are Poisson, and service times and patience times are assumed to be exponentially distributed and class dependent. The optimization criterion is the expected long time average (ergodic) of a general (nonlinear) running cost function of the queue lengths. We consider this control problem in the Halfin-Whitt (QED) regime, that is, the number of servers $n$ and the total offered load $\mathbf{r}$ scale like $n\approx\mathbf{r}+\hat{\rho}\sqrt{\mathbf{r}}$ for some constant $\hat{\rho}$. This problem was proposed in [Ann. Appl. Probab. 14 (2004) 1084-1134, Section 5.2]. The optimal solution of this control problem can be approximated by that of the corresponding ergodic diffusion control problem in the limit. We introduce a broad class of ergodic control problems for controlled diffusions, which includes a large class of queueing models in the diffusion approximation, and establish a complete characterization of optimality via the study of the associated HJB equation. We also prove the asymptotic convergence of the values for the multi-class queueing control problem to the value of the associated ergodic diffusion control problem. The proof relies on an approximation method by spatial truncation for the ergodic control of diffusion processes, where the Markov policies follow a fixed priority policy outside a fixed compact set.


title: Scalable and Anonymous Modeling of Large Populations of Flexible Appliances

abstract: To respond to volatility and congestion in the power grid, demand response (DR) mechanisms allow for shaping the load compared to a base load profile. When tapping on a large population of heterogeneous appliances as a DR resource, the challenge is in modeling the dimensions available for control. Such models need to strike the right balance between accuracy of the model and tractability. The goal of this paper is to provide a medium-grained stochastic hybrid model to represent a population of appliances that belong to two classes: deferrable or thermostatically controlled loads. We preserve quantized information regarding individual load constraints, while discarding information about the identity of appliance owners. The advantages of our proposed population model are 1) it allows us to model and control load in a scalable fashion, useful for ex-ante planning by an aggregator or for real-time load control; 2) it allows for the preservation of the privacy of end-use customers that own submetered or directly controlled appliances.


title: Average entanglement dynamics in open two-qubit systems with continuous monitoring

abstract: We present a comprehensive implementation of the quantum trajectory theory for the description of the entanglement dynamics in a Markovian open quantum system made of two qubits. We introduce the average concurrence to characterize the entanglement in the system and derive a deterministic evolution equation for it that depends on the ways information is read from the environment. This builded in flexibility of the method is used to address two actual issues in quantum information: entanglement protection and entanglement estimation. We identify general physical situations in which an entanglement protection protocol based on local monitoring of the environment can be implemented. Additionally, we methodically find unravelings of the system dynamics providing analytical tight bounds for the unmonitored entanglement in the system at all times. We conclude by showing the independence of the method on the choice of entanglement measure.


title: $^4{\rm He}$+$n$+$n$ continuum within an ab initio framework

abstract: The low-lying continuum spectrum of the $^6{\rm He}$ nucleus is investigated for the first time within an ab initio framework that encompasses the $^4{\rm He}$+$n$+$n$ three-cluster dynamics characterizing its lowest decay channel. This is achieved through an extension of the no-core-shell model combined with the resonating-group method, in which energy-independent non-local interactions among three nuclear fragments can be calculated microscopically starting from realistic nucleon-nucleon interactions and consistent ab initio many-body wave functions of the clusters. The three-cluster Schr\"odinger equation is solved with three-body scattering boundary conditions by means of the hyperspherical-harmonic method on a Lagrange mesh. Using a soft similarity-renormalization-group evolved chiral nucleon-nucleon potential, we find the known $J^\pi = 2^+$ resonance as well as a result consistent with a new low-lying second $2^+$ resonance recently observed at GANIL at $2.6$ MeV above the $^6$He ground state. We also find resonances in the $2^-$, $1^+$ and $0^-$ channels, while no low-lying resonances are present in the $0^+$ and $1^-$ channels.


title: Isotropic submanifolds and the inverse problem for mechanical constrained systems

abstract: The inverse problem of the calculus of variations consists in determining if the solutions of a given system of second order differential equations correspond with the solutions of the Euler-Lagrange equations for some regular Lagrangian. This problem in the general version remains unsolved. Here, we contribute to it with a novel description in terms of Lagrangian submanifolds of a symplectic manifold, also valid under some adaptation for the non-autonomous version. One of the advantages of this new point of view is that we can easily extend our description to the study of the inverse problem of the calculus of variations for second order systems along submanifolds. In this case, instead of Lagrangian submanifolds we will use isotropic submanifolds, covering both the nonholonomic and holonomic constraints for autonomous and non-autonomous systems as particular examples. Moreover, we use symplectic techniques to extend these isotropic submanifolds to Lagrangian ones, allowing us to describe the constrained solutions as solutions of a variational problem now without constraints. Mechanical examples such as the rolling disk are provided to illustrate the main results.


title: On the variation of solar flare coronal x-ray source sizes with energy

abstract: Observations with {\em RHESSI} have enabled the detailed study of the structure of dense hard X-ray coronal sources in solar flares. The variation of source extent with electron energy has been discussed in the context of streaming of non-thermal particles in a one-dimensional cold-target model, and the results used to constrain both the physical extent of, and density within, the electron acceleration region. Here we extend this investigation to a more physically realistic model of electron transport that takes into account the finite temperature of the ambient plasma, the initial pitch-angle distribution of the accelerated electrons, and the effects of collisional pitch-angle scattering. The finite temperature results in the thermal diffusion of electrons, that leads to the observationally-inferred value of the acceleration region volume being an overestimate of its true value. The different directions of the electron trajectories, a consequence of both the non-zero injection pitch-angle and scattering within the target, cause the projected propagation distance parallel to the guiding magnetic field to be reduced, so that a one-dimensional interpretation can overestimate the actual density by a factor of up to $\sim 6$. The implications of these results for the determination of acceleration region properties (specific acceleration rate, filling factor, etc.) are discussed.


title: Double Well Potential Function and Its Optimization in the n-dimensional Real Space - Part II

abstract: In contrast to taking the dual approach for finding a global minimum solution of a double well potential function, in Part II of the paper, we characterize a local minimizer, local maximizer, and global minimizer directly from the primal side. It is proven that, for a ``nonsingular" double well function, there exists at most one local, but non-global, minimizer and at most one local maximizer. Moreover, when it exists, the local maximizer is ``surrounded" by local minimizers in the sense that the norm of the local maximizer is strictly less than that of any local minimizer. We also establish some necessary and sufficient optimality conditions for the global minimizer, local non-global minimizer and local maximizer by studying a convex secular function over specific intervals. These conditions lead to three algorithms for identifying different types of critical points of a given double well function.


title: Crossover from Equilibration to Aging: (Non-equilibrium) Theory vs. Simulations

abstract: Understanding glasses and the glass transition requires comprehending the nature of the crossover from the ergodic (or equilibrium) regime, in which the stationary properties of the system have no history dependence, to the mysterious glass transition region, where the measured properties are non-stationary and depend on the protocol of preparation. In this work we use non-equilibrium molecular dynamics simulations to test the main features of the crossover predicted by the \emph{molecular} version of the recently-developed multicomponent non-equilibrium self-consistent generalized Langevin equation (NE-SCGLE) theory. According to this theory, the glass transition involves the abrupt passage from the ordinary pattern of full equilibration to the aging scenario characteristic of glass-forming liquids. The same theory explains that this abrupt transition will always be observed as a blurred crossover by the unavoidable finiteness of the time window of any experimental observation. We find that within their finite waiting-time window, the simulations confirm the general trends predicted by the theory.


title: Subdiffusion--reaction process with $A\longrightarrow B$ reactions versus subdiffusion--reaction process with $A+B\longrightarrow B$ reactions

abstract: We consider the subdiffusion-reaction process with reactions of a type A+B\arrow B (in which particles A are assumed to be mobile whereas B - static) in comparison to the subdiffusion-reaction process with A\rightarrow B reactions which was studied by I.M. Sokolov et al. in Phys. Rev. E 73, 031102 (2006). In both processes a rule that reactions can only occur between particles which continue to exist is taken into account. Although in both processes a probability of the vanishing of particle A due to a reaction is independent of both time and space variables (assuming that in the system with the A+B\arrow B reactions, particles B are distributed homogeneously) we show that subdiffusion-reaction equations describing these processes as well as their Greens' functions are qualitatively different. For the subdiffusion process with the A+B\arrow B reactions we consider three models. We base the method considered in this paper on a random walk model in a system with both discrete time and space variables. Then, the system with discrete variables is transformed into a system with continuous variables. Such a method seems to be convenient in analysing subdiffusion-reaction processes with partially absorbing or partially reflecting walls. The reason is that within this method we can determine Greens' functions without a necessity of solving a fractional differential subdiffusion-reaction equation with boundary conditions at the walls. As an example we use the model to find the Greens' functions for a subdiffusive-reaction system (with the reactions mentioned above), which is bounded by a partially absorbing wall. This example shows how the model can be used to analyze the subdiffusion-reaction process in a system with partially absorbing or reflecting thin membranes. Employing a simple phenomenological model, we derive equations related to the reaction parameters used in the considered models.


title: Neutron stars as probes of extreme energy density matter

abstract: Neutron stars have long been regarded as extra-terrestrial laboratories from which we can learn about extreme energy density matter at low temperatures. In this article, I highlight some of the recent advances made in astrophysical observations and related theory. Although the focus is on the much needed information on masses and radii of several individual neutron stars, the need for additional knowledge about the many facets of neutron stars is stressed. The extent to which quark matter can be present in neutron stars is summarized with emphasis on the requirement of non-perturbative treatments. Some longstanding and new questions, answers to which will advance our current status of knowledge, are posed.


title: Detailed Abundances of Planet-Hosting Wide Binaries. I. Did Planet Formation Imprint Chemical Signatures in the Atmospheres of HD 20782/81?

abstract: Using high-resolution echelle spectra obtained with Magellan/MIKE, we present a chemical abundance analysis of both stars in the planet-hosting wide binary system HD20782 + HD20781. Both stars are G dwarfs, and presumably coeval, forming in the same molecular cloud. Therefore we expect that they should possess the same bulk metallicities. Furthermore, both stars also host giant planets on eccentric orbits with pericenters $\lesssim 0.2\,$ AU. We investigate if planets with such orbits could lead to the host stars ingesting material, which in turn may leave similar chemical imprints in their atmospheric abundances. We derived abundances of 15 elements spanning a range of condensation temperatures ($T_{C}\approx 40-1660\,$ K). The two stars are found to have a mean element-to-element abundance difference of $0.04\pm0.07\,$ dex, which is consistent with both stars having identical bulk metallicities. In addition, for both stars, the refractory elements ($T_{C} > 900\,$ K) exhibit a positive correlation between abundance (relative to solar) and $T_{C}$, with similar slopes of $\approx$ $1\times10^{-4}\,$ dex K$^{-1}$. The measured positive correlations are not perfect; both stars exhibit a scatter of $\approx$ $5\times10^{-5}\,$ dex K$^{-1}$ about the mean trend, and certain elements (Na, Al, Sc) are similarly deviant in both stars. These findings are discussed in the context of models for giant planet migration that predict the accretion of H-depleted rocky material by the host star. We show that a simple simulation of a solar-type star accreting material with Earth-like composition predicts a positive---but imperfect---correlation between refractory elemental abundances and $T_{C}$. Our measured slopes for HD 20782/81 are consistent with what is predicted for the ingestion of 10--20 Earths by both stars.


title: Improvements of Track Fitting with Well Tuned Probability Distributions for Silicon Strip Detectors

abstract: The construction of a well tuned probability distributions is illustrated in synthetic way, these probability distributions produce faithful realizations of the impact point distributions for particles in silicon strip detector. Their use for track fitting shows a drastic improvements of a factor two, for the low noise case, and a factor three, for the high noise case, respect to the standard approach. The tracks are well reconstructed even in presence of hits with large errors, with a surprising effect of hit discarding. The applications illustrated are simulations of the PAMELA tracker, but other type of trackers can be handled similarly. The probability distributions are calculated for the center of gravity algorithms, and they are very different from gaussian probabilities. These differences are crucial to accurately reconstruct tracks with high error hits and to produce the effective discarding of the too noisy hits (outliers). The similarity of our distributions with the Cauchy distribution forced us to abandon the standard deviation for our comparisons and instead use the full width at half maximum. A set of mathematical approaches must be developed for these applications, some of them are standard in wide sense, even if very complex. One is essential and, in its absence, all the others are useless. Therefore, in this paper, we report the details of this critical approach. It extracts physical properties of the detectors, and allows the insertion of the functional dependence from the impact point in the probability distributions. Other papers will be dedicated to the remaining parts.


title: Neutron Star News and Puzzles

abstract: Gerry Brown has had the most influence on my career in Physics, and my life after graduate studies. This article gives a brief account of some of the many ways in which Gerry shaped my research. Focus is placed on the significant strides on neutron star research made by the group at Stony Brook, which Gerry built from scratch. Selected puzzles about neutron stars that remain to be solved are noted.


title: Existence and multiplicity result for the singular Toda system

abstract: We consider the Toda system on a compact surface. We give existence and multiplicity results, using variational and Morse-theoretical methods. It is the first existence result when some of the coefficients of the singularities are allowed to be negative.


title: The two-scale approach to hydrodynamic limits for non-reversible dynamics

abstract: In a recent paper by Grunewald et.al., a new method to study hydrodynamic limits was developed for reversible dynamics. In this work, we generalize this method to a family of non-reversible dynamics. As an application, we obtain quantitative rates of convergence to the hydrodynamic limit for a weakly asymmetric version of the Ginzburg-Landau model endowed with Kawasaki dynamics. These results also imply local Gibbs behavior, following a method introduced in a recent paper by the second author.


title: Regularization for Design

abstract: When designing controllers for large-scale systems, the architectural aspects of the controller such as the placement of actuators, sensors, and the communication links between them can no longer be taken as given. The task of designing this architecture is now as important as the design of the control laws themselves. By interpreting controller synthesis (in a model matching setup) as the solution of a particular linear inverse problem, we view the challenge of obtaining a controller with a desired architecture as one of finding a structured solution to an inverse problem. Building on this conceptual connection, we formulate and analyze a framework called \textit{Regularization for Design (RFD)}, in which we augment the variational formulations of controller synthesis problems with convex penalty functions that induce a desired controller architecture. The resulting regularized formulations are convex optimization problems that can be solved efficiently, these convex programs provide a unified computationally tractable approach for the simultaneous co-design of a structured optimal controller and the actuation, sensing and communication architecture required to implement it. Further, these problems are natural control-theoretic analogs of prominent approaches such as the Lasso, the Group Lasso, the Elastic Net, and others that are employed in statistical modeling. In analogy to that literature, we show that our approach identifies optimally structured controllers under a suitable condition on a "signal-to-noise" type ratio.


title: Large Eddy Simulation of Turbulent Barotropic Flows in Spectral Space on the Sphere

abstract: Numerical simulations of atmospheric circulation models are limited by their finite spatial resolution, and so large eddy simulation (LES) is the preferred approach to study these models. In LES a low-pass filter is applied to the flow field to separate the large and small scale motions. In implicitly filtered LES the computational mesh and discretization schemes are considered to be the low-pass filter while in the explicitly filtered LES approach the filtering procedure is separated from the grid and discretization operators and allows for better control of the numerical errors. The aim of this paper is to study and compare implicitly filtered and explicitly filtered LES of atmospheric circulation models in spectral space. To achieve this goal we present the results of implicitly filtered and explicitly filtered LES of a barotropic atmosphere circulation model on the sphere in spectral space and compare them with the results obtained from direct numerical simulation (DNS). Our study shows that although in the computation of some integral quantities like total kinetic energy and total enstrophy the results obtained from implicitly filtered LES and explicitly filtered LES show the same good agreement with the DNS results, explicit filtering produces energy spectra that show better agreement with the DNS results. More importantly, explicit filtering captures the location of coherent structures over time while implicit filtering does not.


title: Commutant of $\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(4,0)$ in the cyclic permutation orbifold of $\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes 4}$

abstract: We study the commutant of the vertex operator algebra $\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(4,0)$ in the cyclic permutation orbifold model $(\mathcal{L}_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes 4})^\tau$ with $\tau=(1\,2\,3\,4)$. It is shown that the commutant is isomorphic to a ${\mathbb Z}_2\times{\mathbb Z}_2$-orbifold model of a tensor product of two lattice type vertex operator algebras of rank one.


title: Electron-beam patterning of polymer electrolyte films to make multiple nanoscale gates for nanowire transistors

abstract: We report an electron-beam based method for the nanoscale patterning of the poly(ethylene oxide)/LiClO$_{4}$ polymer electrolyte. We use the patterned polymer electrolyte as a high capacitance gate dielectric in single nanowire transistors and obtain subthreshold swings comparable to conventional metal/oxide wrap-gated nanowire transistors. Patterning eliminates gate/contact overlap which reduces parasitic effects and enables multiple, independently controllable gates. The method's simplicity broadens the scope for using polymer electrolyte gating in studies of nanowires and other nanoscale devices.


title: Maximal rigid objects without loops in connected 2-CY triangulated categories are cluster-tilting objects

abstract: In this paper, we study the conjecture II.1.9 of Cluster structures for 2-Calabi-Yau categories and unipotent groups, which said that any maximal rigid object without loops or 2-cycles in its quiver is a cluster tilting object in a connected Hom-finite triangulated 2-CY category C. We obtain some conditions equivalent to the conjecture, and using them we proved the conjecture.


title: A note on the runtime of a faulty Hamiltonian oracle

abstract: In these notes we show that it is impossible to obtain a quantum speedup for a faulty Hamiltonian oracle. The effect of dephasing noise to this continuous time oracle model has first been investigated in [1]. The authors consider a faulty oracle described by a continuous time master equation that acts as dephasing noise in the basis determined by the marked item. The analysis focuses on the implementation with a particular driving Hamiltonian. A universal lower bound for this oracle model, which rules out a better performance with a different driving Hamiltonian has so far been lacking. In this note, we derive an adversary type lower bound which shows that the evolution time T has to be at least in the order of N, i.e. the size of the search space, when the error rate of the oracle is constant. For the standard quantum oracle model this result was first proven in [2]. This note can be seen as an extension of their result to the continuous time setting.


title: An Abrupt Change Detection Heuristic with Applications to Cyber Data Attacks on Power Systems

abstract: We present an analysis of a heuristic for abrupt change detection of systems with bounded state variations. The proposed analysis is based on the Singular Value Decomposition (SVD) of a history matrix built from system observations. We show that monitoring the largest singular value of the history matrix can be used as a heuristic for detecting abrupt changes in the system outputs. We provide sufficient detectability conditions for the proposed heuristic. As an application, we consider detecting malicious cyber data attacks on power systems and test our proposed heuristic on the IEEE 39-bus testbed.


title: Improving the coherence time of a quantum system via a coupling with an unstable system

abstract: Here, we propose a counter-intuitive use of a hybrid system where the coherence time of a quantum system is actually improved via a coupling with an unstable system. If we couple a two-level system with a single NV center, then a dark state of the NV center naturally forms after the hybridization. We show that this dark state becomes robust against environmental fluctuations due to the coupling even when the coherence time of the two-level system is much shorter than that of the NV center. Our proposal opens a new way to use a quantum hybrid system for the realization of robust quantum information processing


title: Invariant theory in exterior algebras and Amitsur-Levitzki type theorems

abstract: This article discusses invariant theories in some exterior algebras, which are closely related to Amitsur-Levitzki type theorems. First we consider the exterior algebra on the vector space of square matrices of size $n$, and look at the invariants under conjugations. We see that the algebra of these invariants is isomorphic to the exterior algebra on an $n$-dimensional vector space. Moreover we give a Cayley-Hamilton type theorem for these invariants (the anticommutative version of the Cayley-Hamilton theorem). This Cayley-Hamilton type theorem can also be regarded as a refinement of the Amitsur-Levitzki theorem. We discuss two more Amitsur-Levitzki type theorems related to invariant theories in exterior algebras. One is a famous Amitsur-Levitzki type theorem due to Kostant and Rowen, and this is related to $O(V)$-invariants in $\Lambda(\Lambda_2(V))$. The other is a new Amitsur-Levitzki type theorem, and this is related to $GL(V)$-invariants in $\Lambda(\Lambda_2(V) \oplus S_2(V^*))$.


title: Iterative Detection and LDPC Decoding Algorithms for MIMO Systems in Block-Fading Channels

abstract: We propose an Iterative Detection and Decoding (IDD) scheme with Low Density Parity Check (LDPC) codes for Multiple Input Multiple Output (MIMO) systems for block-fading $F = 2$ and fast fading Rayleigh channels. An IDD receiver with soft information processing that exploits the code structure and the behaviour of the log likelihood ratios (LLR)'s is developed. Minimum Mean Square Error (MMSE) with Successive Interference Cancellation (SIC) and with Parallel Interference Cancellation (PIC) schemes are considered. The soft \textit{a posteriori} output of the decoder in a block-fading channel with Root-Check LDPC codes has allowed us to create a new strategy to improve the Bit Error Rate (BER) of a MIMO IDD scheme. Our proposed strategy in some scenarios has resulted in up to 3dB of gain in terms of BER for block-fading channels and up to 1dB in fast fading channels.


title: Aspect-Based Opinion Extraction from Customer reviews

abstract: Text is the main method of communicating information in the digital age. Messages, blogs, news articles, reviews, and opinionated information abound on the Internet. People commonly purchase products online and post their opinions about purchased items. This feedback is displayed publicly to assist others with their purchasing decisions, creating the need for a mechanism with which to extract and summarize useful information for enhancing the decision-making process. Our contribution is to improve the accuracy of extraction by combining different techniques from three major areas, named Data Mining, Natural Language Processing techniques and Ontologies. The proposed framework sequentially mines products aspects and users opinions, groups representative aspects by similarity, and generates an output summary. This paper focuses on the task of extracting product aspects and users opinions by extracting all possible aspects and opinions from reviews using natural language, ontology, and frequent (tag) sets. The proposed framework, when compared with an existing baseline model, yielded promising results.


title: Nonadiabatic holonomic one-qubit gates

abstract: Adiabatic quantum gate implementation generally takes longer time, which is disadvantageous in view of decoherence. In this report we implement several essential one-qubit quantum gates nonadiabatically by making use of a dynamical invariant associated with a Hamiltonian. Moreover we require that these gates be holonomic, that is, the dynamical phases associated with the gates vanish. Our implementation is based on our recent work [J. Phys. Soc. Jpn. 83, 034001 (2014)] and the gate parameters required for the implementations are found by numerical optimization.


title: Threats Management Throughout the Software Service Life-Cycle

abstract: Software services are inevitably exposed to a fluctuating threat picture. Unfortunately, not all threats can be handled only with preventive measures during design and development, but also require adaptive mitigations at runtime. In this paper we describe an approach where we model composite services and threats together, which allows us to create preventive measures at design-time. At runtime, our specification also allows the service runtime environment (SRE) to receive alerts about active threats that we have not handled, and react to these automatically through adaptation of the composite service. A goal-oriented security requirements modelling tool is used to model business-level threats and analyse how they may impact goals. A process flow modelling tool, utilising Business Process Model and Notation (BPMN) and standard error boundary events, allows us to define how threats should be responded to during service execution on a technical level. Throughout the software life-cycle, we maintain threats in a centralised threat repository. Re-use of these threats extends further into monitoring alerts being distributed through a cloud-based messaging service. To demonstrate our approach in practice, we have developed a proof-of-concept service for the Air Traffic Management (ATM) domain. In addition to the design-time activities, we show how this composite service duly adapts itself when a service component is exposed to a threat at runtime.


title: Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems

abstract: We introduce SysML-Sec, a SysML-based Model-Driven Engineering environment aimed at fostering the collaboration between system designers and security experts at all methodological stages of the development of an embedded system. A central issue in the design of an embedded system is the definition of the hardware/software partitioning of the architecture of the system, which should take place as early as possible. SysML-Sec aims to extend the relevance of this analysis through the integration of security requirements and threats. In particular, we propose an agile methodology whose aim is to assess early on the impact of the security requirements and of the security mechanisms designed to satisfy them over the safety of the system. Security concerns are captured in a component-centric manner through existing SysML diagrams with only minimal extensions. After the requirements captured are derived into security and cryptographic mechanisms, security properties can be formally verified over this design. To perform the latter, model transformation techniques are implemented in the SysML-Sec toolchain in order to derive a ProVerif specification from the SysML models. An automotive firmware flashing procedure serves as a guiding example throughout our presentation.


title: Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study

abstract: Security risk management can be applied on well-defined or existing systems; in this case, the objective is to identify existing vulnerabilities, assess the risks and provide for the adequate countermeasures. Security risk management can also be applied very early in the system's development life-cycle, when its architecture is still poorly defined; in this case, the objective is to positively influence the design work so as to produce a secure architecture from the start. The latter work is made difficult by the uncertainties on the architecture and the multiple round-trips required to keep the risk assessment study and the system architecture aligned. This is particularly true for very large projects running over many years. This paper addresses the issues raised by those risk assessment studies performed early in the system's development life-cycle. Based on industrial experience, it asserts that attack trees can help solve the human cognitive scalability issue related to securing those large, continuously-changing system-designs. However, big attack trees are difficult to build, and even more difficult to maintain. This paper therefore proposes a systematic approach to automate the construction and maintenance of such big attack trees, based on the system's operational and logical architectures, the system's traditional risk assessment study and a security knowledge database.


title: Possibilistic Information Flow Control for Workflow Management Systems

abstract: In workflows and business processes, there are often security requirements on both the data, i.e. confidentiality and integrity, and the process, e.g. separation of duty. Graphical notations exist for specifying both workflows and associated security requirements. We present an approach for formally verifying that a workflow satisfies such security requirements. For this purpose, we define the semantics of a workflow as a state-event system and formalise security properties in a trace-based way, i.e. on an abstract level without depending on details of enforcement mechanisms such as Role-Based Access Control (RBAC). This formal model then allows us to build upon well-known verification techniques for information flow control. We describe how a compositional verification methodology for possibilistic information flow can be adapted to verify that a specification of a distributed workflow management system satisfies security requirements on both data and processes.


title: Actor Network Procedures as Psi-calculi for Security Ceremonies

abstract: The actor network procedures of Pavlovic and Meadows are a recent graphical formalism developed for describing security ceremonies and for reasoning about their security properties. The present work studies the relations of the actor network procedures (ANP) to the recent psi-calculi framework. Psi-calculi is a parametric formalism where calculi like spi- or applied-pi are found as instances. Psi-calculi are operational and largely non-graphical, but have strong foundation based on the theory of nominal sets and process algebras. One purpose of the present work is to give a semantics to ANP through psi-calculi. Another aim was to give a graphical language for a psi-calculus instance for security ceremonies. At the same time, this work provides more insight into the details of the ANPs formalization and the graphical representation.


title: A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity

abstract: Oil and gas drilling is based, increasingly, on operational technology, whose cybersecurity is complicated by several challenges. We propose a graphical model for cybersecurity risk assessment based on Adversarial Risk Analysis to face those challenges. We also provide an example of the model in the context of an offshore drilling rig. The proposed model provides a more formal and comprehensive analysis of risks, still using the standard business language based on decisions, risks, and value.


title: Estimating the Accuracy of the Return on Investment (ROI) Performance Evaluations

abstract: Return on Investment (ROI) is one of the most popular performance measurement and evaluation metrics. ROI analysis (when applied correctly) is a powerful tool in comparing solutions and making informed decisions on the acquisitions of information systems. The ROI sensitivity to error is a natural thought, and common sense suggests that ROI evaluations cannot be absolutely accurate. However, literature review revealed that in most publications and analyst firms reports, this issue is just overlooked. On the one hand, the results of the ROI calculations are implied to be produced with a mathematical rigor, possibility of errors is not mentioned and amount of errors is not estimated. On the contrary, another approach claims ROI evaluations to be absolutely inaccurate because, in view of their authors, future benefits (especially, intangible) cannot be estimated within any reasonable boundaries. The purpose of this study is to provide a systematic research of the accuracy of the ROI evaluations in the context of the information systems implementations. The main contribution of the study is that this is the first systematic effort to evaluate ROI accuracy. Analytical expressions have been derived for estimating errors of the ROI evaluations. Results of the Monte Carlo simulation will help practitioners in making informed decisions based on explicitly stated factors influencing the ROI uncertainties. The results of this research are intended for researchers in information systems, technology solutions and business management, and also for information specialists, project managers, program managers, technology directors, and information systems evaluators. Most results are applicable to ROI evaluations in a wider subject area.


title: Multiple-Symbol Differential Detection for Distributed Space-Time Coding

abstract: Differential distributed space-time coding (D-DSTC) technique has been considered for relay networks to provide both diversity gain and high throughput in the absence of channel state information. Conventional differential detection (CDD) or two-symbol non-coherent detection over slow -fading channels has been examined and shown to suffer 3-4 dB loss when compared to coherent detections. Moreover, it has also been shown that the performance of CDD severely degrades in fast-fading channels and an irreducible error floor exists at high signal-to-noise ratio region. To overcome the error floor experienced with fast-fading, a nearly optimal "multiple-symbol" differential detection (MSDD) is developed in this paper. The MSDD algorithm jointly processes a larger window of received signals for detection and significantly improves the performance of D-DSTC in fast-fading channels. The error performance of the MSDD algorithm is illustrated with simulation results under different fading scenarios.


title: Interference in Graphs

abstract: Given a graph $I=(V, E),$ $\emptyset \ne D \subseteq V,$ and an arbitrary nonempty set $X,$ an injective function $f: V\to 2^X \setminus \{\emptyset\}$ is an interference of $D$ with respect to $I,$ if for every vertex $u\in V\setminus D$ there exists a neighbor $v\in D$ such that $f(u)\cap f(v) \ne \emptyset.$ We initiate a study of interference in graphs. We study special cases of the difficult problem of finding a smallest possible set $X,$ and we decide when, given a graph $G=(V,E(G))$ (resp., its line graph $L(G)$) the open neighborhood function $N_G: V \to 2^V$ (resp., $N_{L(G)}: E \to 2^E$) or its complementary function is an interference with respect to the complete graph $I=K_n.$


title: Ferromagnetic resonance spin pumping in CoFeB with highly resistive non-magnetic electrodes

abstract: The relative contribution of spin pumping and spin rectification from the ferromagnetic resonance of CoFeB/non-magnetic bilayers was investigated as a function of non-magnetic electrode resistance. Samples with highly resistive electrodes of Ta or Ti exhibit a stronger spin rectification signal, which may result in over-(or under-)estimation of the spin Hall angle of the materials, while those with low resistive electrodes of Pt or Pd show the domination of the inverse spin Hall effect from spin pumping. By comparison with samples of single FM layer and an inverted structure, we provide a proper analysis method to extract spin pumping contribution.