title: A unified picture of the post-merger dynamics and gravitational wave emission in neutron-star mergers

abstract: We introduce a classification scheme of the post-merger dynamics and gravitational-wave emission in binary neutron star mergers, after identifying a new mechanism by which a secondary peak in the gravitational-wave spectrum is produced. It is caused by a spiral deformation, the pattern of which rotates slower with respect to the double-core structure in center of the remnant. This secondary peak is typically well separated in frequency from the secondary peak produced by a nonlinear interaction between a quadrupole and a quasi-radial oscillation. The new mechanism allows for an explanation of low-frequency modulations seen in a number of physical characteristics of the remnant, such as the central lapse function, the maximum density and the separation between the two cores. We find empirical relations for both types of secondary peaks between their gravitational-wave frequency and the compactness of nonrotating individual neutron stars, that exist for fixed total binary masses. These findings are derived for equal-mass binaries without intrinsic neutron-star spin analyzing hydrodynamical simulations without magnetic field effects. Our classification scheme may form the basis for the construction of detailed gravitational-wave templates of the post-merger phase. We find that the quasi-radial oscillation frequency of the remnant decreases with the total binary mass. For a given merger event our classification scheme may allow to determine the proximity of the measured total binary mass to the threshold mass for prompt black hole formation, which can, in turn, yield an estimate of the maximum neutron-star mass.


title: On Lagrangian tangent sweeps and Lagrangian outer billiards

abstract: Given a Lagrangian submanifold in linear symplectic space, its tangent sweep is the union of its (affine) tangent spaces, and its tangent cluster is the result of parallel translating these spaces so that the foot point of each tangent space becomes the origin. This defines a multivalued map from the tangent sweep to the tangent cluster, and we show that this map is a local symplectomorphism (a well known fact, in dimension two). We define and study the outer billiard correspondence associated with a Lagrangian submanifold. Two points are in this correspondence if they belong to the same tangent space and are symmetric with respect to its foot pointe. We show that this outer billiard correspondence is symplectic and establish the existence of its periodic orbits. This generalizes the well studied outer billiard map in dimension two.


title: Transient coupling relationships of the Holocene Australian monsoon

abstract: The northwest Australian summer monsoon owes a notable degree of its interannual variability to interactions with other regional monsoon systems. Therefore, changes in the nature of these relationships may contribute to variability in monsoon strength over longer time scales. Previous attempts to evaluate how proxy records from the Indonesian-Australian monsoon region correspond to other records from the Indian and East Asian monsoon regions, as well as to El Ni\~no-related proxy records, have been qualitiative, relying on `curve-fitting' methods. Here, we seek a quantitative approach for identifying coupling relationships between paleoclimate proxy records, employing statistical techniques to compute the interdependence of two paleoclimate time series. We verify the use of complex networks to identify coupling relationships between modern climate indices. This method is then extended to a set of paleoclimate proxy records from the Asian, Australasian and South American regions spanning the past 9,000 years. The resulting networks demonstrate the existence of coupling relationships between regional monsoon systems on millennial time scales, but also highlight the transient nature of teleconnections during this period. In the context of the northwest Australian summer monsoon, we recognise a shift in coupling relationships from strong interhemispheric links with East Asian and ITCZ-related proxy records in the mid-Holocene to significantly weaker coupling in the later Holocene. Although the identified links cannot explain the underlying physical processes leading to coupling between regional monsoon systems, this method provides a step towards understanding the role that changes in teleconnections play in millennial- to orbital-scale climate variability.


title: Asymptotics for the wave equation on differential forms on Kerr-de Sitter space

abstract: We study asymptotics for solutions of Maxwell's equations, in fact of the Hodge-de Rham equation $(d+\delta)u=0$ without restriction on the form degree, on a geometric class of stationary spacetimes with a warped product type structure (without any symmetry assumptions), which in particular include Schwarzschild-de Sitter spaces of all spacetime dimensions $n\geq 4$. We prove that solutions decay exponentially to $0$ or to stationary states in every form degree, and give an interpretation of the stationary states in terms of cohomological information of the spacetime. We also study the wave equation on differential forms and in particular prove analogous results on Schwarzschild-de Sitter spacetimes. We demonstrate the stability of our analysis and deduce asymptotics and decay for solutions of Maxwell's equations, the Hodge-de Rham equation and the wave equation on differential forms on Kerr-de Sitter spacetimes with small angular momentum.


title: Higher twist effects in $e^+e^-$ annihilation at high energies

abstract: In the two papers published recently, we apply collinear expansion to both inclusive ($e^+ e^- \to h+X$) and semi-inclusive ($e^+ e^- \to h + \bar q + X$) hadron production in $e^+ e^-$ annihilation to derive a formalism suitable for a systematic study of leading as well as higher twist contributions to fragmentation functions at the tree level. We carry out the calculations for hadrons with spin-0, spin-1/2 as well as spin-1. This proceeding is mainly a summary of these two papers.


title: Multiple Loop Self-Triggered Model Predictive Control for Network Scheduling and Control

abstract: We present an algorithm for controlling and scheduling multiple linear time-invariant processes on a shared bandwidth limited communication network using adaptive sampling intervals. The controller is centralized and computes at every sampling instant not only the new control command for a process, but also decides the time interval to wait until taking the next sample. The approach relies on model predictive control ideas, where the cost function penalizes the state and control effort as well as the time interval until the next sample is taken. The latter is introduced in order to generate an adaptive sampling scheme for the overall system such that the sampling time increases as the norm of the system state goes to zero. The paper presents a method for synthesizing such a predictive controller and gives explicit sufficient conditions for when it is stabilizing. Further explicit conditions are given which guarantee conflict free transmissions on the network. It is shown that the optimization problem may be solved off-line and that the controller can be implemented as a lookup table of state feedback gains. Simulation studies which compare the proposed algorithm to periodic sampling illustrate potential performance gains.


title: PowerSpy: Location Tracking using Mobile Device Power Analysis

abstract: Modern mobile platforms like Android enable applications to read aggregate power usage on the phone. This information is considered harmless and reading it requires no user permission or notification. We show that by simply reading the phone's aggregate power consumption over a period of a few minutes an application can learn information about the user's location. Aggregate phone power consumption data is extremely noisy due to the multitude of components and applications that simultaneously consume power. Nevertheless, by using machine learning algorithms we are able to successfully infer the phone's location. We discuss several ways in which this privacy leak can be remedied.


title: Resonance expansions for tensor-valued waves on asymptotically Kerr-de Sitter spaces

abstract: In recent joint work with Vasy, we analyze the low energy behavior of differential form-valued waves on black hole spacetimes. In order to deduce asymptotics and decay from this, one in addition needs high energy estimates for the wave operator acting on sections of the form bundle. The present paper provides these on perturbations of Schwarzschild-de Sitter spaces in all spacetime dimensions $n\geq 4$. In fact, we prove exponential decay, up to a finite-dimensional space of resonances, of waves valued in any finite rank subbundle of the tensor bundle, which in particular includes differential forms and symmetric tensors. As the main technical tool for working on vector bundles that do not have a natural positive definite inner product, we introduce pseudodifferential inner products, which are inner products depending on the position in phase space.


title: A Note on Injectivity of Frobenius on Local Cohomology of Hypersurfaces

abstract: Let $k$ be a field of characteristic $p > 0$ such that $[k:k^p] < \infty$ and let $f \in R = k[x_0, ..., x_n]$ be homogeneous of degree $d$. We obtain a sharp bound on the degrees in which the Frobenius action on $H^n_\mathfrak{m}(R/fR)$ can be injective when $R/fR$ has an isolated non-F-pure point at $\mathfrak{m}$. As a corollary, we show that if $(R/fR)_\mathfrak{m}$ is not F-pure then $R/fR$ has an isolated non-F-pure point at $\mathfrak{m}$ if and only if the Frobenius action is injective in degrees $\le -n(d-1)$.


title: Multi-qubit quantum phase gates based on surface plasmons of a nanosphere

abstract: The Dicke subradiance and superradiance resulting from the interaction between surface plasmons of a nanosphere and an ensemble of quantum emitters have been investigated using a Green function approach. Based on such an investigation, we propose a scheme for a deterministic multiqubit quantum phase gate. As an example, twoqubit, threequbit, and fourqubit quantum phase gates have been designed and analyzed in detail. Phenomena due to the losses in the metal are discussed. Potential applications of these phenomena to quantuminformation processing are anticipated.


title: A general discrete Wirtinger inequality and spectra of discrete Laplacians

abstract: We prove an inequality that generalizes the Fan-Taussky-Todd discrete analog of the Wirtinger inequality. It is equivalent to an estimate on the spectral gap of a weighted discrete Laplacian on the circle. The proof uses a geometric construction related to the discrete isoperimetric problem on the surface of a cone. In higher dimensions, the mixed volumes theory leads to similar results, which allows us to associate a discrete Laplace operator to every geodesic triangulation of the sphere and, by analogy, to every triangulated spherical cone-metric. For a cone-metric with positive singular curvatures, we conjecture an estimate on the spectral gap similar to the Lichnerowicz-Obata theorem.


title: Physical and chemical differentiation of the luminous star-forming region W49A - Results from the JCMT Spectral Legacy Survey

abstract: The massive and luminous star-forming region W49A is a well known Galactic candidate to probe the physical conditions and chemistry similar to those expected in external starburst galaxies. We aim to probe the physical and chemical structure of W49A on a spatial scale of ~0.8 pc based on the JCMT Spectral Legacy Survey, which covers the frequency range between 330 and 373 GHz. The wide 2x2 arcminutes field and the high spectral resolution of the HARP instrument on JCMT provides information on the spatial structure and kinematics of the cloud. For species where multiple transitions are available, we estimate excitation temperatures and column densities. We detected 255 transitions corresponding to 60 species in the 330-373 GHz range at the center position of W49A. Excitation conditions can be probed for 16 molecules. The chemical composition suggests the importance of shock-, PDR-, and hot core chemistry. Many molecular lines show a significant spatial extent across the maps including high density tracers (e.g. HCN, HNC, CS, HCO+) and tracers of UV-irradiation (e.g. CN and C2H). Large variations are seen between the sub-regions with mostly blue-shifted emission toward the Eastern tail, mostly red-shifted emission toward the Northern clump, and emission peaking around the expected source velocity toward the South-west clump. A comparison of column density ratios of characteristic species observed toward W49A to Galactic PDRs suggests that while the chemistry toward the W49A center is driven by a combination of UV-irradiation and shocks, UV-irradiation dominates for the Northern Clump, Eastern tail, and South-west clump regions. A comparison to a starburst galaxy and an AGN suggests similar C2H, CN, and H2CO abundances (with respect to the dense gas tracer 34CS) between the ~0.8 pc scale probed for W49A and the >1 kpc regions in external galaxies with global star-formation.


title: Algebraic Systems Biology: A Case Study for the Wnt Pathway

abstract: Steady state analysis of dynamical systems for biological networks give rise to algebraic varieties in high-dimensional spaces whose study is of interest in their own right. We demonstrate this for the shuttle model of the Wnt signaling pathway. Here the variety is described by a polynomial system in 19 unknowns and 36 parameters. Current methods from computational algebraic geometry and combinatorics are applied to analyze this model.


title: Exploring Exogenic Sources for the Olivine on Asteroid (4) Vesta

abstract: The detection of olivine on Vesta is interesting because it may provide critical insights into planetary differentiation early in our Solar System's history. Ground-based and Hubble Space Telescope (HST) observations of asteroid (4) Vesta have suggested the presence of olivine on the surface. These observations were reinforced by the discovery of olivine-rich HED meteorites from Vesta in recent years. However, analysis of data from NASA's Dawn spacecraft has shown that this olivine-bearing unit is actually impact melt in the ejecta of Oppia crater. The lack of widespread mantle olivine, exposed during the formation of the 19 km deep Rheasilvia basin on Vesta's South Pole, further complicated this picture. Ammannito et al., (2013a) reported the discovery of local scale olivine-rich units in the form of excavated material from the mantle using the Visible and InfraRed spectrometer (VIR) on Dawn. Here we explore alternative sources for the olivine in the northern hemisphere of Vesta by reanalyzing the data from the VIR instrument using laboratory spectral measurements of meteorites. We suggest that these olivine exposures could be explained by the delivery of olivine-rich exogenic material. Based on our spectral band parameters analysis, the lack of correlation between the location of these olivine-rich terrains and possible mantle-excavating events, and supported by observations of HED meteorites, we propose that a probable source for olivine seen in the northern hemisphere are remnants of impactors made of olivine-rich meteorites. Best match suggests these units are HED material mixed with either ordinary chondrites, or with some olivine-dominated meteorites such as R-chondrites.


title: MAP: Microblogging Assisted Profiling of TV Shows

abstract: Online microblogging services that have been increasingly used by people to share and exchange information, have emerged as a promising way to profiling multimedia contents, in a sense to provide users a socialized abstraction and understanding of these contents. In this paper, we propose a microblogging profiling framework, to provide a social demonstration of TV shows. Challenges for this study lie in two folds: First, TV shows are generally offline, i.e., most of them are not originally from the Internet, and we need to create a connection between these TV shows with online microblogging services; Second, contents in a microblogging service are extremely noisy for video profiling, and we need to strategically retrieve the most related information for the TV show profiling.To address these challenges, we propose a MAP, a microblogging-assisted profiling framework, with contributions as follows: i) We propose a joint user and content retrieval scheme, which uses information about both actors and topics of a TV show to retrieve related microblogs; ii) We propose a social-aware profiling strategy, which profiles a video according to not only its content, but also the social relationship of its microblogging users and its propagation in the social network; iii) We present some interesting analysis, based on our framework to profile real-world TV shows.


title: Characterization of Curved Creases and Rulings: Design and Analysis of Lens Tessellations

abstract: We describe a general family of curved-crease folding tessellations consisting of a repeating "lens" motif formed by two convex curved arcs. The third author invented the first such design in 1992, when he made both a sketch of the crease pattern and a vinyl model (pictured below). Curve fitting suggests that this initial design used circular arcs. We show that in fact the curve can be chosen to be any smooth convex curve without inflection point. We identify the ruling configuration through qualitative properties that a curved folding satisfies, and prove that the folded form exists with no additional creases, through the use of differential geometry.


title: Measuring Modular Matrices by Shearing Lattices

abstract: A topologically ordered phase on a torus possesses degenerate ground states that transform nontrivially under the modular transformations of the torus, generated by Dehn twists. Representation of modular transformations on the ground states (modular matrices) characterizes the topological order. We show that the modular matrices can be numerically measured as the non-Abelian Berry phase of adiabatic deformations of the lattice model placed on a torus. We apply this method to the example of a gauged $p_x+i p_y$ superconductor, and show that the result is consistent with the topological quantum field theory descriptions.


title: Consistent Estimation in Box-Cox Transformed Linear Mixed Models

abstract: The Box-Cox transformation is applied to the linear mixed models for analyzing positive and grouped data. The problem in using Box Cox transformation is that the maximum likelihood estimator of the transformation parameter is generally inconsistent. To fix it, we suggest a simple and consistent estimator for the transformation parameter based on the moment method. The consistent estimator is used to construct consistent estimators of the parameters involved in the model and under some conditions, the estimators of model parameters are shown to be consistent under $m\to\infty$, where $m$ is the number of groups. Moreover, in estimation of the expectation of the (future) observations, it is shown that the resulting estimators also hold consistency owing to the consistent estimator of the transformation parameter. The proposed estimating method is compared with the maximum likelihood method via simulation and it is shown that the proposed estimator works better than the maximum likelihood estimator. Finally, the proposed method is applied to a real data set.


title: A corrected semi-proximal ADMM for multi-block convex optimization and its application to DNN-SDPs

abstract: In this paper we propose a corrected semi-proximal ADMM (alternating direction method of multipliers) for the general $p$-block $(p\!\ge 3)$ convex optimization problems with linear constraints, aiming to resolve the dilemma that almost all the existing modified versions of the directly extended ADMM, although with convergent guarantee, often perform substantially worse than the directly extended ADMM itself with no convergent guarantee. Specifically, in each iteration, we use the multi-block semi-proximal ADMM with step-size at least $1$ as the prediction step to generate a good prediction point, and then make correction as small as possible for the middle $(p\!-\!2)$ blocks of the prediction point. Among others, the step-size of the multi-block semi-proximal ADMM is adaptively determined by the infeasibility ratio made up by the current semi-proximal ADMM step for the one yielded by the last correction step. For the proposed corrected semi-proximal ADMM, we establish the global convergence results under a mild assumption, and apply it to the important class of doubly nonnegative semidefinite programming (DNN-SDP) problems with many linear equality and/or inequality constraints. Our extensive numerical tests show that the corrected semi-proximal ADMM is superior to the directly extended ADMM with step-size $\tau=1.618$ and the multi-block ADMM with Gaussian back substitution \cite{HTY12,HY13}. It requires the least number of iterations for $70\%$ test instances within the comparable computing time with that of the directly extended ADMM, and for about $40\%$ tested problems, its number of iterations is only $67\%$ that of the multi-block ADMM with Gaussian back substitution \cite{HTY12,HY13}.


title: Periodic Points on Shifts of Finite Type and Commensurability Invariants of Groups

abstract: We explore the relationship between subgroups and the possible shifts of finite type (SFTs) that can be defined on the group. In particular, we investigate two group invariants, weak periodicity and strong periodicity, defined via symbolic dynamics on the group. We show that these properties are invariants of commensurability. Thus, many known results about periodic points in SFTs defined over groups are actually results about entire commensurability classes. Additionally, we show that the property of being not strongly periodic (also called weakly aperiodic) is preserved under extensions with finitely generated kernels. We conclude by raising questions and conjectures about the relationship of these invariants to the geometric notions of quasi-isometry and growth.


title: Linear and Nonlinear Optical Properties of Graphene Quantum Dots: A Computational Study

abstract: Due to the advantage of tunability via size, shape, doping and relatively low level of loss and high extent of spatial confinement, graphene quantum dots (GQDs) are emerging as an effective way to control light by molecular engineering. The collective excitation in GQDs shows both high energy plasmon frequency along with frequencies in the terahertz (THz) region making these systems powerful materials for photonic technologies. Here, we report a systematic study of the linear and nonlinear optical properties of large varieties of GQDs (400 systems) in size and topology utilizing the strengths of both semiempirical and first-principles methods. Our detailed study shows how the spectral shift and trends in the optical nonlinearity of GQDs depends on their structure, size and shape. Among the circular, triangular, stripe, and random shaped GQDs, we find that GQDs with inequivalent sublattice atoms always possess lower HOMO-LUMO gap, broadband absorption and high nonlinear optical coefficients. Also, we find that for majority of the GQDs with interesting linear and nonlinear optical properties have zigzag edges, although reverse is not always true. We strongly believe that our findings can act as guidelines to design GQDs in optical parametric oscillators, higher harmonic generators and optical modulators.


title: One-Dimensional Edge States with Giant Spin Splitting in a Bismuth Thin Film

abstract: To realize a one-dimensional (1D) system with strong spin-orbit coupling is a big challenge in modern physics, since the electrons in such a system are predicted to exhibit exotic properties unexpected from the 2D or 3D counterparts, while it was difficult to realize genuine physical properties inherent to the 1D system. We demonstrate the first experimental result that directly determines the purely 1D band structure by performing spin-resolved angle-resolved photoemission spectroscopy of Bi islands on a silicon surface that contains a metallic 1D edge structure with unexpectedly large Rashba-type spin-orbit coupling suggestive of the nontopological nature. We have also found a sizable out-of-plane spin polarization of the 1D edge state, consistent with our first-principles band calculations. Our result provides a new platform to realize exotic quantum phenomena at the 1D edge of the strong spin-orbit-coupling systems.


title: Some Energy Properties of Yang-Mills Connections

abstract: We consider a vector bundle $E$ over a compact Riemannian manifold $M$=$M^{n}$,$n\geq 4$,and $A$ is a Yang-Mills connection with $L^{\frac{n}{2}}$ curvature $F_{A}$ on $E$.Then we prove a mean value inequality for the density $|F_{A}|^{\frac{n}{2}}$.This inequality give rise to an energy concentrate principle for sequences of solutions that have bounded energy.We also proof that the energy must be bounded from below by some positive constant unless $E$ is a flat bundle.


title: What Isn't Complexity?

abstract: The question What is Complexity? has occupied a great deal of time and paper over the last 20 or so years. There are a myriad different perspectives and definitions but still no consensus. In this paper I take a phenomenological approach, identifying several factors that discriminate well between systems that would be consensually agreed to be simple versus others that would be consensually agreed to be complex - biological systems and human languages. I argue that a crucial component is that of structural building block hierarchies that, in the case of complex systems, correspond also to a functional hierarchy. I argue that complexity is an emergent property of this structural/functional hierarchy, induced by a property - fitness in the case of biological systems and meaning in the case of languages - that links the elements of this hierarchy across multiple scales. Additionally, I argue that non-complex systems "are" while complex systems "do" so that the latter, in distinction to physical systems, must be described not only in a space of states but also in a space of update rules (strategies) which we do not know how to specify. Further, the existence of structural/functional building block hierarchies allows for the functional specialisation of structural modules as amply observed in nature. Finally, we argue that there is at least one measuring apparatus capable of measuring complexity as characterised in the paper - the human brain itself.


title: Robust local and non-local transport in the Topological Kondo Insulator SmB$_{6}$ in the presence of high magnetic field

abstract: SmB$_6$ has been predicted to be a Kondo Topological Insulator with topologically protected conducting surface states. We have studied quantitatively the electrical transport through surface states in high quality single crystals of SmB$_6$. We observe a large non-local surface signal at temperatures lower than the bulk Kondo gap scale. Measurements and finite element simulations allow us to distinguish unambiguously between the contributions from different transport channels. In contrast to general expectations, the electrical transport properties of the surface channels was found to be insensitive to high magnetic fields. Local and non-local magnetoresistance measurements allowed us to identify definite signatures of helical spin states and strong inter-band scattering at the surface.


title: Combinatorial RNA Design: Designability and Structure-Approximating Algorithm

abstract: In this work, we consider the Combinatorial RNA Design problem, a minimal instance of the RNA design problem which aims at finding a sequence that admits a given target as its unique base pair maximizing structure. We provide complete characterizations for the structures that can be designed using restricted alphabets. Under a classic four-letter alphabet, we provide a complete characterization of designable structures without unpaired bases. When unpaired bases are allowed, we provide partial characterizations for classes of designable/undesignable structures, and show that the class of designable structures is closed under the stutter operation. Membership of a given structure to any of the classes can be tested in linear time and, for positive instances, a solution can be found in linear time. Finally, we consider a structure-approximating version of the problem that allows to extend bands (helices) and, assuming that the input structure avoids two motifs, we provide a linear-time algorithm that produces a designable structure with at most twice more base pairs than the input structure.


title: Magnetic properties of 2D nickel nanostrips: structure dependent magnetic anomaly

abstract: We have investigated different geometries of two dimensional (2D) infinite length Ni nanowires of increasing width using spin density functional theory calculations. Our simulations demonstrate that the parallelogram motif is the most stable and structures that incorporate the parallelogram motif are more stable as compared to rectangular structures. The wires are conducting and the conductance channels increase with increasing width. The wires have a non-linear behavior in the ballistic anistropic magnetoresistance ratios with respect to the magnetization directions. All 2D nanowires as well as Ni (111) and Ni (100) monolayer investigated are ferromagnetic under the Stoner criterion and exhibit enhanced magnetic moments as compared to bulk Ni and the respective Ni monolayers. The Stoner parameter is seen to depend on the structure and the dimension of the Nws. The easy axis for all nickel nanowires under investigation is observed to be along the wire axis. The double rectangular nanowire exhibits a magnetic anomaly with a smaller magnetic moment when compared to Ni (100) monolayer and is the only structure with an easy axis perpendicular to the wire axis.


title: The NUbots Team Description Paper 2015

abstract: The NUbots are an interdisciplinary RoboCup team from The University of Newcastle, Australia. The team has a history of strong contributions in the areas of machine learning and computer vision. The NUbots have participated in RoboCup leagues since 2002, placing first several times in the past. In 2014 the NUbots also partnered with the University of Newcastle Mechatronics Laboratory to participate in the RobotX Marine Robotics Challenge, which resulted in several new ideas and improvements to the NUbots vision system for RoboCup. This paper summarizes the history of the NUbots team, describes the roles and research of the team members, gives an overview of the NUbots' robots, their software system, and several associated research projects.


title: A Proof of the Strong Converse Theorem for Gaussian Multiple Access Channels

abstract: We prove the strong converse for the $N$-source Gaussian multiple access channel (MAC). In particular, we show that any rate tuple that can be supported by a sequence of codes with asymptotic average error probability less than one must lie in the Cover-Wyner capacity region. Our proof consists of the following. First, we perform an expurgation step to convert any given sequence of codes with asymptotic average error probability less than one to codes with asymptotic maximal error probability less than one. Second, we quantize the input alphabets with an appropriately chosen resolution. Upon quantization, we apply the wringing technique (by Ahlswede) on the quantized inputs to obtain further subcodes from the subcodes obtained in the expurgation step so that the resultant correlations among the symbols transmitted by the different sources vanish as the blocklength grows. Finally, we derive upper bounds on achievable sum-rates of the subcodes in terms of the type-II error of a binary hypothesis test. These upper bounds are then simplified through judicious choices of auxiliary output distributions. Our strong converse result carries over to the Gaussian interference channel under strong interference as long as the sum of the two asymptotic average error probabilities less than one.


title: Performance Indicators of Wind Energy Production

abstract: Modeling wind speed is one of the key element when dealing with the production of energy through wind turbines. A good model can be used for forecasting, site evaluation, turbines design and many other purposes. In this work we are interested in the analysis of the future financial cash flows generated by selling the electrical energy produced. We apply an indexed semi-Markov model of wind speed that has been shown, in previous investigation, to reproduce accurately the statistical behavior of wind speed. The model is applied to the evaluation of financial indicators like the Internal Rate of Return, semi-Elasticity and relative Convexity that are widely used for the assessment of the profitability of an investment and for the measurement and analysis of interest rate risk. We compare the computation of these indicators for real and synthetic data. Moreover, we propose a new indicator that can be used to compare the degree of utilization of different power plants.


title: High order numerical schemes for second-order FBSDEs with applications to stochastic optimal control

abstract: This is one of our series papers on multistep schemes for solving forward backward stochastic differential equations (FBSDEs) and related problems. Here we extend (with non-trivial updates) our multistep schemes in [W. Zhao, Y. Fu and T. Zhou, SIAM J. Sci. Comput., 36 (2014), pp. A1731-A1751.] to solve the second order FBSDEs (2FBSDEs). The key feature of the multistep schemes is that the Euler method is used to discrete the forward SDE, which dramatically reduces the entire computational complexity. Moreover, it is shown that the usual quantities of interest (e.g., the solution tuple $(Y_t, Z_t, A_t, \Gamma_t)$ in the 2FBSDEs) are still of high order accuracy. Several numerical examples are given to show the effective of the proposed numerical schemes. Applications of our numerical schemes for stochastic optimal control problems are also presented.


title: Capillary rupture of suspended polymer concentric rings

abstract: We present the first experimental study on the simultaneous capillary instability amongst viscous concentric rings suspended atop an immiscible medium. The rings ruptured upon annealing, with three types of phase correlation between neighboring rings. In the case of weak substrate confinement, the rings ruptured independently when they were sparsely distanced, but via an out-of-phase mode when packed closer. If the substrate confinement was strong, the rings would rupture via an in-phase mode, resulting in radially aligned droplets. The concentric ring geometry caused a competition between the phase correlation of neighboring rings and the kinetically favorable wavelength, yielding an intriguing, recursive surface pattern. This frustrated pattern formation behavior was accounted for by a scaling analysis.


title: The Unfinished Search for Wave-Particle and Classical-Quantum Harmony

abstract: The main purpose of this paper is to review the progress that has taken place so far in the search for a single unifying principle that harmonizes (i) the wave and particle natures of matter and radiation, both at the quantum and the classical levels, on the one hand and (ii) the classical and quantum theories of matter and radiation on the other hand. The famous paradoxes of quantum theory, the mysterious nature of measurements in quantum theory and the principal no-go theorems for hidden variables are first briefly reviewed. The Koopman-von Neumann Hilbert space theory based on complex wave functions underlying particle trajectories in classical phase space, is an important step forward in that direction. It provides a clear and beautiful harmony of classical waves and particles. Sudarshan has given an alternative but equivalent formulation that shows that classical mechanics can be regarded as a quantum theory with essentially hidden non-commuting variables. An extension of KvNS theory to classical electrodynamics provides a sound Hilbert space foundation to it and satisfactorily accounts for entanglement and Bell-CHSH-like violations already observed in classical polarization optics. An important new insight that has been obtained through these developments is that entanglement and Bell-like inequality violations are neither unique signatures of quantumness nor of non-locality---they are rather signatures of non-separability. Finally, Sudarshan's proposed solution to the measurement problem using KvNS theory for the measuring apparatus is sketched to show to what extent wave and particles can be harmonized in quantum theory.


title: Self-affine spectral measures and frame spectral measures on ${\mathbb R}^d$

abstract: We study Fourier bases on invariant measures generated by affine iterated function systems in ${\mathbb R}^d$ with integer coefficients. We show that, for simple digit sets, these systems satisfy the open set condition and have no overlap. We present natural geometric conditions under which such measures have an orthonormal basis or a frame of exponential functions with frequencies being a subset of ${\mathbb Z}^d$. Moreover, we characterize when such measures have a spectrum in ${\Bbb Z}^d$.


title: Viscoelastic fluid flow in a 2D channel bounded above by a deformable finite thickness elastic wall

abstract: The steady flow of three viscoelastic fluids (Oldroyd-B, FENE-P, and Owens model for blood) in a two-dimensional channel, partly bound by a deformable, finite thickness neo-Hookean solid, is computed. The limiting Weissenberg number beyond which computations fail to converge is found to increase with increasing dimensionless solid elasticity parameter {\Gamma}, following the trend Owens > FENE- P > Oldroyd-B. The highly shear thinning nature of Owens model leads to the elastic solid always collapsing into the channel, for the wide range of values of {\Gamma} considered here. In the case of the FENE-P and Oldroyd-B models, however, the fluid-solid interface can be either within the channel, or bulge outwards, depending on the value of {\Gamma}. This behaviour differs considerably from predictions of earlier models that treat the deformable solid as a zero-thickness membrane, in which case the membrane always lies within the channel. The capacity of the solid wall to support both pressure and shear stress, in contrast to the zero-thickness membrane that only responds to pressure, is responsible for the observed difference. Compar- ison of the stress and velocity fields in the channel for the three viscoelastic fluids, with the predictions for a Newtonian fluid, reveals that shear thinning rather than elasticity is the key source of the observed differences in behaviour.


title: An Extreme-Value Approach for Testing the Equality of Large U-Statistic Based Correlation Matrices

abstract: There has been an increasing interest in testing the equality of large Pearson's correlation matrices. However, in many applications it is more important to test the equality of large rank-based correlation matrices since they are more robust to outliers and nonlinearity. Unlike the Pearson's case, testing the equality of large rank-based statistics has not been well explored and requires us to develop new methods and theory. In this paper, we provide a framework for testing the equality of two large U-statistic based correlation matrices, which include the rank-based correlation matrices as special cases. Our approach exploits extreme value statistics and the Jackknife estimator for uncertainty assessment and is valid under a fully nonparametric model. Theoretically, we develop a theory for testing the equality of U-statistic based correlation matrices. We then apply this theory to study the problem of testing large Kendall's tau correlation matrices and demonstrate its optimality. For proving this optimality, a novel construction of least favourable distributions is developed for the correlation matrix comparison.


title: Mathematical Modeling of Insurance Mechanisms for E-commerce Systems

abstract: Electronic commerce (a.k.a. E-commerce) systems such as eBay and Taobao of Alibaba are becoming increasingly popular. Having an effective reputation system is critical to this type of internet service because it can assist buyers to evaluate the trustworthiness of sellers, and it can also improve the revenue for reputable sellers and E-commerce operators. We formulate a stochastic model to analyze an eBay-like reputation system and propose four measures to quantify its effectiveness: (1) new seller ramp up time, (2) new seller drop out probability, (3) long term profit gains for sellers, and (4) average per seller transaction gains for the E-commerce operator. Through our analysis, we identify key factors which influence these four measures. We propose a new insurance mechanism which consists of an insurance protocol and a transaction mechanism to improve the above four measures. We show that our insurance mechanism can reduce the ramp up time by around 87.2%, and guarantee new sellers ramp up before the deadline $T_w$ with a high probability (close to 1.0). It also increases the long term profit gains and average per seller transaction gains by at least 95.3%.


title: Spectra and Variance of Quantum Random Variables

abstract: We study essentially bounded quantum random variables and show that the Gelfand spectrum of such a quantum random variable coincides with the hypoconvex hull of its essential range. Moreover, a notion of operator-valued variance is introduced, leading to a formulation of the moment problem in the context of quantum probability spaces in terms of operator-theoretic properties involving semi-invariant subspaces and spectral theory. As an application of quantum variance, new measures of random and inherent quantum noise are introduced for measurements of quantum systems, modifying some recent ideas of Polterovich.


title: Competing structures in 2D-trapped dipolar gases

abstract: We study a system of dipolar molecules confined in a two-dimensional trap and subject to an optical square lattice. The repulsive long-range dipolar interaction $D/r^3$ favors an equilateral triangular arrangement of the molecules, which competes against the square symmetry of the underlying optical lattice with lattice constant $b$ and amplitude $V$. We find the minimal-energy states at the commensurate density $n = 1/b^2$ and establish the complete square-to-triangular transformation pathway of the lattice with decreasing $V$ involving period-doubled, solitonic, and distorted-triangular configurations.


title: A Hybrid Approach for Improved Content-based Image Retrieval using Segmentation

abstract: The objective of Content-Based Image Retrieval (CBIR) methods is essentially to extract, from large (image) databases, a specified number of images similar in visual and semantic content to a so-called query image. To bridge the semantic gap that exists between the representation of an image by low-level features (namely, colour, shape, texture) and its high-level semantic content as perceived by humans, CBIR systems typically make use of the relevance feedback (RF) mechanism. RF iteratively incorporates user-given inputs regarding the relevance of retrieved images, to improve retrieval efficiency. One approach is to vary the weights of the features dynamically via feature reweighting. In this work, an attempt has been made to improve retrieval accuracy by enhancing a CBIR system based on color features alone, through implicit incorporation of shape information obtained through prior segmentation of the images. Novel schemes for feature reweighting as well as for initialization of the relevant set for improved relevance feedback, have also been proposed for boosting performance of RF- based CBIR. At the same time, new measures for evaluation of retrieval accuracy have been suggested, to overcome the limitations of existing measures in the RF context. Results of extensive experiments have been presented to illustrate the effectiveness of the proposed approaches.


title: Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

abstract: This paper shows equivalence of several versions of applicative similarity and contextual approximation, and hence also of applicative bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case-expressions and Haskell's seq-operator. LR models an untyped version of the core language of Haskell. The use of bisimilarities simplifies equivalence proofs in calculi and opens a way for more convenient correctness proofs for program transformations. The proof is by a fully abstract and surjective transfer into a call-by-name calculus, which is an extension of Abramsky's lazy lambda calculus. In the latter calculus equivalence of our similarities and contextual approximation can be shown by Howe's method. Similarity is transferred back to LR on the basis of an inductively defined similarity. The translation from the call-by-need letrec calculus into the extended call-by-name lambda calculus is the composition of two translations. The first translation replaces the call-by-need strategy by a call-by-name strategy and its correctness is shown by exploiting infinite trees which emerge by unfolding the letrec expressions. The second translation encodes letrec-expressions by using multi-fixpoint combinators and its correctness is shown syntactically by comparing reductions of both calculi. A further result of this paper is an isomorphism between the mentioned calculi, which is also an identity on letrec-free expressions.


title: Magnetic inhomogeneity on a triangular lattice: the magnetic-exchange versus the elastic energy and the role of disorder

abstract: Inhomogeneity in the ground state is an intriguing, emergent phenomenon in magnetism. Recently, it has been observed in the magnetostructural channel of the geometrically frustrated $\alpha$-NaMnO$_2$, for the first time in the absence of active charge degrees of freedom. Here we report an in-depth numerical and local-probe experimental study of the isostructural sister compound CuMnO$_2$ that emphasizes and provides an explanation for the crucial differences between the two systems. The experimentally verified, much more homogeneous, ground state of the stoichiometric CuMnO$_2$ is attributed to the reduced magnetoelastic competition between the counteracting magnetic-exchange and elastic-energy contributions. The comparison of the two systems additionally highlights the role of disorder and allows an understanding of the puzzling phenomenon of phase separation in uniform antiferromagnets.


title: Extended supernova shock breakout signals from inflated stellar envelopes

abstract: Stars close to the Eddington luminosity can have large low-density inflated envelopes. We show that the rise times of shock breakout signals from supernovae can be extended significantly if supernova progenitors have an inflated stellar envelope. If the shock breakout occurs in such inflated envelopes, the shock breakout signals diffuse in them, and their rise time can be significantly extended. Then, the rise times of the shock breakout signals are dominated by the diffusion time in the inflated envelope rather than the light-crossing time of the progenitors. We show that our inflated Wolf-Rayet star models whose radii are of the order of the solar radius can have shock breakout signals which are longer than ~100 sec. The existence of inflated envelopes in Wolf-Rayet supernova progenitors may be related to the mysterious long shock breakout signal observed in Type Ib SN 2008D. Extended shock breakout signals may provide evidence for the existence of inflated stellar envelopes and can be used to constrain the physical properties of these enigmatic structures.


title: The Reconstruction of Cycle-free Partial Orders from their Abstract Automorphism Groups II : Cone Transitive CFPOs

abstract: In this triple of papers, we examine when two cycle-free partial orders can share an abstract automorphism group. This question was posed by M. Rubin in his memoir concerning the reconstruction of trees. In this middle paper, we adapt a method used by Shelah in \cite{ShelahPermutation} and \cite{ShelahPermutationErrata}, and by Shelah and Truss in \cite{ShelahTrussQuotients} to define a cone transitive CFPO inside its automorphism group using the language of group theory.


title: Plasma Heating to Super-Hot Temperatures (>30 MK) in the August 9, 2011 Solar Flare

abstract: We investigate the August 9, 2011 solar flare of X-ray class X6.9, the "hottest" flare from 2000 to 2012, with a peak plasma temperature according to GOES data of 32.5 MK. Our goal is to determine the cause of such an anomalously high plasma temperature and to investigate the energy balance in the flare region with allowance made for the presence of a super-hot plasma (>30 MK). We analyze the RHESSI, GOES, AIA/SDO, and EVE/SDO data and discuss the spatial structure of the flare region and the results of our spectral analysis of its X-ray emission. Our analysis of the RHESSI X-ray spectra is performed in the one-temperature and two-temperature approximations by taking into account the emission of hot (20 MK) and super-hot (45 MK) plasmas. The hard X-ray spectrum in both models is fitted by power laws. The observed peculiarities of the flare are shown to be better explained in terms of the two-temperature model, in which the super-hot plasma is located at the flare loop tops (or in the magnetic cusp region). The formation of the super-hot plasma can be associated with its heating through primary energy release and with the suppression of thermal conduction. The anomalously high temperature (32.5 MK according to GOES) is most likely to be an artefact of the method for calculating the temperature based on two-channel GOES measurements in the one-temperature approximation applied to the emission of a multi-temperature flare plasma with a minor contribution from the low-temperature part of the differential emission measure.


title: Input-output analysis and decentralized optimal control of inter-area oscillations in power systems

abstract: Local and inter-area oscillations in bulk power systems are typically identified using spatial profiles of poorly damped modes, and they are mitigated via carefully tuned decentralized controllers. In this paper, we employ non-modal tools to analyze and control inter-area oscillations. Our input-output analysis examines power spectral density and variance amplification of stochastically forced systems and offers new insights relative to modal approaches. To improve upon the limitations of conventional wide-area control strategies, we also study the problem of signal selection and optimal design of sparse and block-sparse wide-area controllers. In our design, we preserve rotational symmetry of the power system by allowing only relative angle measurements in the distributed controllers. For the IEEE 39 New England model, we examine performance tradeoffs and robustness of different control architectures and show that optimal retuning of fully-decentralized control strategies can effectively guard against local and inter-area oscillations.


title: Functional Calculus for definitizable self-adjoint linear relations on Krein spaces

abstract: In the present note a functional calculus $\phi \mapsto \phi(A)$ for self-adjoint definitizable linear relation on Krein spaces is developed. This functional calculus is the proper analogue of $\phi \mapsto \int \phi \, dE$ in the Hilbert space situation. It also comprises the Spectral Theorem for self-adjoint definitizable operators on Krein spaces showing the existence of spectral projections.


title: The Gaia-ESO Survey: Tracing interstellar extinction

abstract: Large spectroscopic surveys have enabled in the recent years the computation of three-dimensional interstellar extinction maps thanks to accurate stellar atmospheric parameters and line-of-sight distances. Such maps are complementary to 3D maps extracted from photometry, allowing a more thorough study of the dust properties. Our goal is to use the high-resolution spectroscopic survey Gaia-ESO in order to obtain with a good distance resolution the interstellar extinction and its dependency as a function of the environment and the Galactocentric position. We use the stellar atmospheric parameters of more than 5000 stars, obtained from the Gaia-ESO survey second internal data release, and combine them with optical (SDSS) and near-infrared (VISTA) photometry as well as different sets of theoretical stellar isochrones, in order to calculate line-of-sight extinction and distances. The extinction coefficients are then compared with the literature to discuss their dependancy on the stellar parameters and position in the Galaxy. Within the errors of our method, our work does not show that there is any dependence of the interstellar extinction coefficient on the atmospheric parameters of the stars. We do not find any evidence of the variation of E(J-H)/E(J-K) with the angle from the Galactic centre nor with Galactocentric distance. This suggests that we are dealing with a uniform extinction law in the SDSS ugriz bands and the near-IR JHKs bands. Therefore, extinction maps using mean colour-excesses and assuming a constant extinction coefficient can be used without introducing any systematic errors.


title: Emergent user behavior on Twitter modelled by a stochastic differential equation

abstract: Data from the social-media site, Twitter, is used to study the fluctuations in tweet rates of brand names. The tweet rates are the result of a strongly correlated user behavior, which leads to bursty collective dynamics with a characteristic 1/f noise. Here we use the aggregated "user interest" in a brand name to model collective human dynamics by a stochastic differential equation with multiplicative noise. The model is supported by a detailed analysis of the tweet rate fluctuations and it reproduces both the exact bursty dynamics found in the data and the 1/f noise.


title: Finding a field in a Zariski-like structure

abstract: We show that if $\M$ is a Zariski-like structure (see \cite{lisuriart}) that does not interpret a non-classical group, and the canonical pregeometry obtained from the bounded closure operator (bcl) is non locally modular, then $\M$ interprets an algebraically closed field.


title: Comment on "Probing two- and three-dimensional electrons in MgB2 with soft x-ray angle-resolved photoemission"

abstract: A recent article by Sassa et al. [Phys. Rev. B 91, 045114 (2015)] reports on a soft x-ray angle-resolved photoemission study of MgB2. The analysis and/or presentation of the collected data and the corresponding calculations appear to be partially inconsistent. The aim of this comment is to provide a guide to these inconsistencies and to discuss their influence on the presented conclusions.


title: Excited States at Interfaces of a Metal-Supported Ultrathin Oxide Film

abstract: We report layer-resolved measurements of the \textit{unoccupied} electronic structure of ultrathin MgO films grown on Ag(001). The metal-induced gap states at the metal/oxide interface, the oxide band gap as well as a surface core exciton involving an image-potential state of the vacuum are revealed through resonant Auger spectroscopy of the Mg $KL_{23}L_{23}$ Auger transition. Our results demonstrate how to obtain new insights on \textit{empty} states at interfaces of metal-supported ultrathin oxide films.


title: Persistent current in an almost staggered Harper model

abstract: In this paper we study the persistent current (PC) of a staggered Harper model, close to the half-filling. The Harper model, which is a quasi-periodic system, is different than other one dimensional systems with uncorrelated disorder in the fact that it can be in the metallic regime. Nevertheless, the PC for a wide range of parameters of the Harper model does not show typical metallic behavior, although the system is in the metallic regime. This is a result of the nature of the central band states, which are a hybridization of Gaussian states localized in superlattice points. When the superlattice is not commensurate with the system length, the PC behaves as in an insulator. Thus even in the metallic regime a typical finite Harper model may exhibit a PC expected from an insulator.


title: Why Use Sobolev Metrics on the Space of Curves

abstract: We study reparametrization invariant Sobolev metrics on spaces of regular curves. We discuss their completeness properties and the resulting usability for applications in shape analysis. In particular, we will argue, that the development of efficient numerical methods for higher order Sobolev type metrics is an extremely desirable goal.


title: An Extended Matter Bounce Scenario: current status and challenges

abstract: As an alternative to the paradigm of slow roll inflation, we propose an extended scenario of the matter bounce cosmology in which the Universe has experienced a quasi-matter contracting phase with a variable background equation of state parameter. This extended matter bounce scenario can be realized by considering a single scalar field evolving along an approximately exponential potential. Our result reveals that the rolling of the scalar field in general leads to a running behavior on the spectral index of primordial cosmological perturbations and a negative running can be realized in this model. We constrain the corresponding parameter space by using the newly released Planck data. To apply this scenario, we revisit bouncing cosmologies within the context of modified gravity theories, in particular, the holonomy corrected loop quantum cosmology and teleparallel $F(T)$ gravity. A gravitational process of reheating is presented in such a matter bounce scenario to demonstrate the condition of satisfying current observations. We also comment on several unresolved issues that often appear in matter bounce models.


title: Detection of a Compact Nuclear Radio Source in the Local Group Elliptical Galaxy M32

abstract: The Local Group compact elliptical galaxy M32 hosts one of the nearest candidate super-massive black holes (SMBHs), which has a previously suggested X-ray counterpart. Based on sensitive observations taken with the {\it Karl G. Jansky} Very Large Array (VLA), we detect for the first time a compact radio source coincident with the nucleus of M32, which exhibits an integrated flux density of $\sim$$47.3\pm6.1$ $\mu$Jy at 6.6 GHz. We discuss several possibilities for the nature of this source, favoring an origin of the long-sought radio emission from the central SMBH, for which we also revisit the X-ray properties based on recently acquired {\sl Chandra} and {\sl XMM-Newton} data. Our VLA observations also discover radio emission from three previously known optical planetary nebulae in the inner region of M32.


title: On the mass determination in liquid utilizing measurement of only the fundamental flexural resonances of the micro-/nanomechanical based mass sensors

abstract: Micro-/nanomechanical mass sensors are capable to quantitatively determine molecule mass from only first three (two) measured cantilever (bridge) resonant frequencies. However, in liquid solutions that are relevant to most of the biological systems, the mass determination is challenging because the Q-factor due to fluid damping decreases and, as a result, usually just the fundamental resonant frequencies can be correctly identified. Moreover, for higher modes the resonance coupling, noise and internal damping have been proven to strongly affect the measured resonant frequencies and, correspondingly, the accuracy of the estimated masses. Here, we derive the easy accessible expressions enabling the quantitative mass(es) determination just from the fundamental resonant frequencies of the micro/nanomechanical mass sensor under intentionally applied axial tension, which can be easily created and controlled by the electrostatic or magnetostatic forces. We also show that typically achievable force resolution has a negligible impact on the mass determination and the mass sensitivity.


title: Contact open books with exotic pages

abstract: We consider a fixed contact 3-manifold that admits infinitely many compact Stein fillings which are all homeomorphic but pairwise non-diffeomorphic. Each of these fillings gives rise to a closed contact 5-manifold described as a contact open book whose page is the filling at hand and whose monodromy is the identity symplectomorphism. We show that the resulting infinitely many contact 5-manifolds are all diffeomorphic but pairwise non-contactomorphic. Moreover, we explicitly determine these contact 5-manifolds.


title: A Scalable, Linear-Time Dynamic Cutoff Algorithm for Molecular Simulations of Interfacial Systems

abstract: This master thesis introduces the idea of dynamic cutoffs in molecular dynamics simulations, based on the distance between particles and the interface, and presents a solution for detecting interfaces in real-time. Our dynamic cutoff method (DCM) exhibits a linear-time complexity as well as nearly ideal weak and strong scaling. The DCM is tailored for massively parallel architectures and for large interfacial systems with millions of particles. We implemented the DCM as part of the LAMMPS open-source molecular dynamics package and demonstrate the nearly ideal weak- and strong-scaling behavior of this method on an IBM BlueGene/Q supercomputer. Our results for a liquid/vapor system consisting of Lennard-Jones particles show that the accuracy of DCM is comparable to that of the traditional particle-particle particle- mesh (PPPM) algorithm. The performance comparison indicates that DCM is preferable for large systems due to the limited scaling of FFTs within the PPPM algorithm. Moreover, the DCM requires the interface to be identified every other MD timestep. As a consequence, this thesis also presents an interface detection method which is (1) applicable in real time; (2) parallelizable; and (3) scales linearly with respect to the number of particles.


title: The Exclusivity Principle and the Set of Quantum Correlations

abstract: The most promising candidate for being the fundamental principle of quantum contextuality is the Exclusivity principle, which states that the sum of the probabilities of a set of pairwise exclusive events cannot exceed 1. By itself, the Exclusivity principle singles out the maximum quantum value for some important Bell and noncontextuality inequalities. We can get better results if we apply the E principle to more sophisticated scenarios. This happens because this principle exhibits activation effects: a distribution satisfying this principles does not necessarily satisfy it when combined with other distributions. Activation effects can be used to prove that the Exclusivity principle singles out the set of quantum distributions for the most simple noncontextuality inequality. It is still not known if the exclusivity principle solves the problem of explaining quantum contextuality completely, but many results have been proven that support the conjecture that it might. The main purpose of this thesis is to discuss in detail the situations in which the E principle can be used to rule out distributions outside the quantum set.


title: Horndeski theories self-tuning to a de Sitter vacuum

abstract: We consider Horndeski cosmological models able to screen the vacuum energy coming from any field theory assuming that after this screening the space should be in a de Sitter vacuum with a particular value of the cosmological constant specified by the theory of gravity itself. The most general scalar-tensor cosmological models without higher than second order derivatives in the field equations that have a spatially flat de Sitter critical point for any kind of material content or vacuum energy are, therefore, presented. These models could allow us to understand the current accelerated expansion of the universe as the result of a dynamical evolution towards a de Sitter attractor.


title: The Reconstruction of Cycle-free Partial Orders from their Abstract Automorphism Groups III : Decorated CFPOs

abstract: In this triple of papers, we examine when two cycle-free partial orders can share an abstract automorphism group. This question was posed by M. Rubin in his memoir concerning the reconstruction of trees. In this final paper, we give describe a way of constructing `decorated' CFPOs by attaching treelike CFPOs to and between the elements of a cone transitive CFPO. We then show that the automorphism groups of the components of of a decorated CFPO are second order definable in the abstract automorphism group of the decorated CFPO.


title: Bi-Hamiltonian Structure of Gradient Systems in Three Dimensions and Geometry of Potential Surfaces

abstract: Working bi-Hamiltonian structure and Jacobi identity in Frenet-Serret frame associated to a dynamical system, we proved that all dynamical systems in three dimensions possess two compatible Poisson structures. We investigate relations between geometry of surfaces defined by potential function of a gradient system and its bi-Hamiltonian structure. We show that it is possible to find Hamiltonian functions whose gradient flows have geodesic curvature zero on potential surfaces. Using this, we conclude that Hamiltonian functions are determined by distance functions on potential surfaces. We apply this technique to find conserved quantities of three dimensional gradient systems including the Aristotelian model of the three-body motion.


title: Compressed resolvents of selfadjoint contractive extensions with exit and holomorphic operator-functions associated with them

abstract: Contractive selfadjoint extensions of a Hermitian contraction $B$ in a Hilbert space ${\mathfrak H}$ with an exit in some larger Hilbert space ${\mathfrak H}\oplus{\mathcal H}$ are investigated. This leads to a new geometric approach for characterizing analytic properties of holomorphic operator-valued functions of Kre\u{i}n-Ovcharenko type, a class of functions whose study has been recently initiated by the authors. Compressed resolvents of such exit space extensions are also investigated leading to some new connections to transfer functions of passive discrete-time systems and related classes of holomorphic operator-valued functions.


title: Conditional Random Fields as Recurrent Neural Networks

abstract: Pixel-level labelling tasks, such as semantic segmentation, play a central role in image understanding. Recent approaches have attempted to harness the capabilities of deep learning techniques for image recognition to tackle pixel-level labelling tasks. One central issue in this methodology is the limited capacity of deep learning techniques to delineate visual objects. To solve this problem, we introduce a new form of convolutional neural network that combines the strengths of Convolutional Neural Networks (CNNs) and Conditional Random Fields (CRFs)-based probabilistic graphical modelling. To this end, we formulate mean-field approximate inference for the Conditional Random Fields with Gaussian pairwise potentials as Recurrent Neural Networks. This network, called CRF-RNN, is then plugged in as a part of a CNN to obtain a deep network that has desirable properties of both CNNs and CRFs. Importantly, our system fully integrates CRF modelling with CNNs, making it possible to train the whole deep network end-to-end with the usual back-propagation algorithm, avoiding offline post-processing methods for object delineation. We apply the proposed method to the problem of semantic image segmentation, obtaining top results on the challenging Pascal VOC 2012 segmentation benchmark.


title: DAG-width and circumference of digraphs

abstract: We prove that every digraph of circumference $l$ has DAG-width at most $l$ and this is best possible. As a consequence of our result we deduce that the $k$-linkage problem is polynomially solvable for every fixed $k$ in the class of digraphs with bounded circumference. This answers a question posed in \cite{bangTCS562}. We also prove that the weak $k$-linkage problem (where we ask for arc-disjoint paths) is polynomially solvable for every fixed $k$ in the class of digraphs with circumference 2 as well as for digraphs with a bounded number of disjoint cycles each of length at least 3. The case of bounded circumference digraphs is open. Finally we prove that the minimum spanning strong subdigraph problem is NP-hard on digraphs of DAG-width at most 5.


title: Units of group rings, the Bogomolov multiplier, and the fake degree conjecture

abstract: Let $\pi$ be a finite $p$-group and $\mathbb{F}_q$ a finite field with $q=p^n$ elements. Denote by $\mathrm{I}_{\mathbb{F}_q}$ the augmentation ideal of the group ring $\mathbb{F}_q[\pi]$. We have found a surprising relation between the abelianization of $1+\mathrm{I}_{\mathbb{F}_q}$, the Bogomolov multiplier $\mathrm{B}_0(\pi)$ of $\pi$ and the number of conjugacy classes $\mathrm{k}(\pi)$ of $\pi$: \[ | (1+\mathrm{I}_{\mathbb{F}_q})_{\mathrm{ab}} |=q^{\mathrm{k}(\pi)-1}|\mathrm{B}_0(\pi)|. \] In particular, if $\pi$ is a finite $p$-group with a non-trivial Bogomolov multiplier, then $1+\mathrm{I}_{\mathbb{F}_q}$ is a counterexample to the fake degree conjecture proposed by M. Isaacs.


title: Spectrometer for new gravitational experiment with UCN

abstract: We describe an experimental installation for a new test of the weak equivalence principle for neutron. The device is a sensitive gravitational spectrometer for ultra-cold neutrons allowing to precisely compare the gain in kinetic energy of free falling neutrons to quanta of energy ${\hbar}{\Omega}$ transferred to the neutron via a non stationary device, i.e. a quantum modulator. The results of first test experiments indicate a collection rate allowing measurements of the factor of equivalence $ { \gamma}$ with a statistical uncertainty in the order of $5{\times}10^{-3}$ per day. A number of systematic effects were found, which partially can be easily corrected. For the elimination of others more detailed investigations and analysis are needed. Some possibilities to improve the device are also discussed.


title: Constraints on an Annihilation Signal from a Core of Constant Dark Matter Density around the Milky Way Center with H.E.S.S

abstract: An annihilation signal of dark matter is searched for from the central region of the Milky Way. Data acquired in dedicated ON/OFF observations of the Galactic center region with H.E.S.S. are analyzed for this purpose. No significant signal is found in a total of $\sim 9$ h of ON/OFF observations. Upper limits on the velocity averaged cross section, $<\sigma v >$, for the annihilation of dark matter particles with masses in the range of $\sim 300$ GeV to $\sim 10$ TeV are derived. In contrast to previous constraints derived from observations of the Galactic center region, the constraints that are derived here apply also under the assumption of a central core of constant dark matter density around the center of the Galaxy. Values of $<\sigma v >$ that are larger than $3\cdot 10^{-24}\:\mathrm{cm^3/s}$ are excluded for dark matter particles with masses between $\sim 1$ and $\sim 4$ TeV at 95% CL if the radius of the central dark matter density core does not exceed $500$ pc. This is the strongest constraint that is derived on $<\sigma v>$ for annihilating TeV mass dark matter without the assumption of a centrally cusped dark matter density distribution in the search region.


title: FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation

abstract: Program obfuscation is increasingly popular among malware creators. Objectively comparing different malware detection approaches with respect to their resilience against obfuscation is challenging. To the best of our knowledge, there is no common empirical framework for evaluating the resilience of malware detection approaches w.r.t. behavior obfuscation. We propose and implement such a framework that obfuscates the observable behavior of malware binaries. To assess the framework's utility, we use it to obfuscate known malware binaries and then investigate the impact on detection effectiveness of different $n$-gram based detection approaches. We find that the obfuscation transformations employed by our framework significantly affect the precision of such detection approaches. Several $n$-gram-based approaches can hence be concluded not to be resilient against this simple kind of obfuscation.


title: New JLab/Hall A Deeply Virtual Compton Scattering results

abstract: New data points for unpolarized Deeply Virtual Compton Scattering cross sections have been extracted from the E00-110 experiment at Q$^2$=1.9 GeV$^2$ effectively doubling the statistics available in the valence region. A careful study of systematic uncertainties has been performed.


title: On cluster systems of tensor product systems of Hilbert spaces

abstract: It is known that the spatial product of two product systems is intrinsic. Here we extend this result by analyzing subsystems of the tensor product of product systems. A relation with cluster systems is established. In a special case, we show that the amalgamated product of product systems through strictly contractive units is independent of the choices of the units. The amalgamated product in this case is isomorphic to the tensor product of the spatial product of the two and the type I product system of index one.


title: Off-Policy Reward Shaping with Ensembles

abstract: Potential-based reward shaping (PBRS) is an effective and popular technique to speed up reinforcement learning by leveraging domain knowledge. While PBRS is proven to always preserve optimal policies, its effect on learning speed is determined by the quality of its potential function, which, in turn, depends on both the underlying heuristic and the scale. Knowing which heuristic will prove effective requires testing the options beforehand, and determining the appropriate scale requires tuning, both of which introduce additional sample complexity. We formulate a PBRS framework that reduces learning speed, but does not incur extra sample complexity. For this, we propose to simultaneously learn an ensemble of policies, shaped w.r.t. many heuristics and on a range of scales. The target policy is then obtained by voting. The ensemble needs to be able to efficiently and reliably learn off-policy: requirements fulfilled by the recent Horde architecture, which we take as our basis. We demonstrate empirically that (1) our ensemble policy outperforms both the base policy, and its single-heuristic components, and (2) an ensemble over a general range of scales performs at least as well as one with optimally tuned components.


title: Significance in Gamma Ray Astronomy with Systematic Errors

abstract: The influence of systematic errors on the calculation of the statistical significance of a $\gamma$-ray signal with the frequently invoked Li and Ma method is investigated. A simple criterion is derived to decide whether the Li and Ma method can be applied in the presence of systematic errors. An alternative method is discussed for cases where systematic errors are too large for the application of the original Li and Ma method. This alternative method reduces to the Li and Ma method when systematic errors are negligible. Finally, it is shown that the consideration of systematic errors will be important in many analyses of data from the planned Cherenkov Telescope Array.


title: Adaptivity and blow-up detection for nonlinear evolution problems

abstract: This work is concerned with the development of a space-time adaptive numerical method, based on a rigorous a posteriori error bound, for a semilinear convection-diffusion problem which may exhibit blow-up in finite time. More specifically, a posteriori error bounds are derived in the $L^{\infty}(L^2)+L^2(H^1)$-type norm for a first order in time implicit-explicit (IMEX) interior penalty discontinuous Galerkin (dG) in space discretization of the problem, although the theory presented is directly applicable to the case of conforming finite element approximations in space. The choice of the discretization in time is made based on a careful analysis of adaptive time stepping methods for ODEs that exhibit finite time blow-up. The new adaptive algorithm is shown to accurately estimate the blow-up time of a number of problems, including one which exhibits regional blow-up.


title: New pulsars detected in gamma-rays with the Fermi-LAT

abstract: The Fermi Large Area Telescope (LAT) is a powerful pulsar detector, as demonstrated by the over one hundred objects in its second catalog of pulsars. Pass 8 is a new reconstruction and event selection strategy developed by the Fermi-LAT collaboration. Due to the increased acceptance at low energy, Pass 8 improves the pulsation detection sensitivity. Ten new pulsars rise above the 5 sigma threshold and are presented in this work, as well as one previously seen with the former Pass 7 reconstruction. More than 60$\%$ of the known pulsars with spin-down power ($\dot{E}$) greater than $10^{36}$ erg/s show pulsations in gamma-rays, as seen with the Fermi Large Area Telescope. Many non-detections of these energetic pulsars are thought to be a consequence of a high background level, or a large distance leading to a flux below the sensitivity limit of the instrument. The gamma-ray beams of the others probably miss the Earth. The new Pass 8 data now allows the detection of gamma ray pulsations from three of these high spin-down pulsars, PSRs J1828$-$1101, J1831$-$0952 and J1837$-$0604, as well as three others with $\dot{E}$ $\ge 10^{35}$ erg/s. We report on their properties and we discuss the reasons for their detection with Pass 8.


title: Diversification, protection of liability holders and regulatory arbitrage

abstract: Any solvency regime for financial institutions should be aligned with the fundamental objectives of regulation: protecting liability holders and securing the stability of the financial system. The first objective leads to consider surplus-invariant capital adequacy tests, i.e. tests that do not depend on the surplus of a financial institution. We provide a complete characterization of closed, convex, surplus-invariant capital adequacy tests that highlights an inherent tension between surplus-invariance and the desire to give credit for diversification. The second objective leads to requiring consistency of capital adequacy tests across jurisdictions. Of particular importance in this respect are capital adequacy tests that remain invariant under a change of num\'{e}raire. We establish an intimate link between surplus- and num\'{e}raire invariant tests.


title: Integrability of generalized pluriharmonic maps

abstract: In this paper we provide examples of maps from almost complex domains into pseudo-Riemannian symmetric targets, which are pluriharmonic and not integrable, i.e. do not admit an associated family. More precisely, for one class of examples the source has a non-integrable complex structure, like for instance a nearly Kaehler structure and the target is a Riemannian symmetric space and for the other class the source is a complex manifold and the target is a pseudo-Riemannian symmetric space. These examples show, that a former result on the existence of associated families is sharp.


title: Mass at zero in the uncorrelated SABR model and implied volatility asymptotics

abstract: We study the mass at the origin in the uncorrelated SABR stochastic volatility model, and derive several tractable expressions, in particular when time becomes small or large. As an application--in fact the original motivation for this paper--we derive small-strike expansions for the implied volatility when the maturity becomes short or large. These formulae, by definition arbitrage free, allow us to quantify the impact of the mass at zero on existing implied volatility approximations, and in particular how correct/erroneous these approximations become.


title: Off-policy evaluation for MDPs with unknown structure

abstract: Off-policy learning in dynamic decision problems is essential for providing strong evidence that a new policy is better than the one in use. But how can we prove superiority without testing the new policy? To answer this question, we introduce the G-SCOPE algorithm that evaluates a new policy based on data generated by the existing policy. Our algorithm is both computationally and sample efficient because it greedily learns to exploit factored structure in the dynamics of the environment. We present a finite sample analysis of our approach and show through experiments that the algorithm scales well on high-dimensional problems with few samples.


title: Some results on the rational Bernstein Markov property in the complex plane

abstract: The Bernstein Markov Property, shortly BMP, is an asymptotic quan- titative assumption on the growth of uniform norms of polynomials or rational functions on a compact set with respect to L {\mu} 2 -norms, where {\mu} is a positive finite measure. We consider two variants of BMP for rational functions with restricted poles and compare them with the polynomial BMP finding out some sufficient condi- tions for the latter to imply the former. Moreover, we recover a sufficient mass- density condition for a measure to satisfy the rational BMP on its support.


title: Leading low-energy effective action in the 6D hypermultiplet theory on a vector/tensor background

abstract: We consider a six dimensional (1,0) hypermultiplet model coupled to an external field of vector/tensor system and study the structure of the low-energy effective action of this model. Manifestly a (1,0) supersymmetric procedure of computing the effective action is developed in the framework of the superfield proper-time technique. The leading low-energy contribution to the effective action is calculated.


title: Structural characterizations of the navigational expressiveness of relation algebras on a tree

abstract: Given a document D in the form of an unordered node-labeled tree, we study the expressiveness on D of various basic fragments of XPath, the core navigational language on XML documents. Working from the perspective of these languages as fragments of Tarski's relation algebra, we give characterizations, in terms of the structure of D, for when a binary relation on its nodes is definable by an expression in these algebras. Since each pair of nodes in such a relation represents a unique path in D, our results therefore capture the sets of paths in D definable in each of the fragments. We refer to this perspective on language semantics as the "global view." In contrast with this global view, there is also a "local view" where one is interested in the nodes to which one can navigate starting from a particular node in the document. In this view, we characterize when a set of nodes in D can be defined as the result of applying an expression to a given node of D. All these definability results, both in the global and the local view, are obtained by using a robust two-step methodology, which consists of first characterizing when two nodes cannot be distinguished by an expression in the respective fragments of XPath, and then bootstrapping these characterizations to the desired results.


title: A $C^1$ virtual element method for the Cahn-Hilliard equation with polygonal meshes

abstract: In this paper we develop an evolution of the $C^1$ virtual elements of minimal degree for the approximation of the Cahn-Hilliard equation. The proposed method has the advantage of being conforming in $H^2$ and making use of a very simple set of degrees of freedom, namely 3 degrees of freedom per vertex of the mesh. Moreover, although the present method is new also on triangles, it can make use of general polygonal meshes. As a theoretical and practical support, we prove the convergence of the semi-discrete scheme and investigate the performance of the fully discrete scheme through a set of numerical tests.


title: Quantum revivals of non Rabi type in Jaynes-Cummings model

abstract: We studied full revivals of quantum states in the Jaynes-Cannings model. It is proved that in the case of zero detuning in subspaces generated by two adjacent pairs of energy levels, full revival of the subspace does not exist for any values of the parameters. In the case of non-zero detuning on the contrary, the set of parameters that allows full revival of such subspaces is dense as the subset of all parameters. The nature of these revivals differs from Rabi oscillations in subspaces of a single pair of energy. In more complex subspaces the presence of full revival is reduced to particular cases of 10-th Hilbert problem for rational solutions of systems of nonlinear algebraic equations, which has no algorithmic solution in general case.


title: Synchrotron Self-Compton Emission by Relativistic Electrons under Stochastic Acceleration: Application to Mrk 421 and Mrk 501

abstract: We examine the applicability of the stochastic electron acceleration to two high synchrotron peaked blazars, Mrk 421 and Mrk 501, assuming synchrotron self-Compton emission of gamma-rays. Our model considers an emitting region moving at relativistic speed, where non-thermal electrons are accelerated and attain a steady-state energy spectrum together with the photons they emit. The kinetic equations of the electrons and photons are solved numerically, given a stationary wave number spectrum of the magnetohydrodynamic (MHD) disturbances, which are responsible for the electron acceleration and escape. Our simple formulation appears to reproduce the two well-sampled, long-term averaged photon spectra. In order to fit the model to the emission component from the radio to the X-ray bands, we need both a steeper wave spectral index than the Kolmogorov spectrum and efficient particle escape. Although the model provides a natural explanation for the high-energy cutoff of the electron energy distribution, the derived physical parameters raise a problem with an energy budget if the MHD waves with the Alfv{\'e}n velocity are assumed to be the acceleration agent.


title: Hypothesis about semi-weak interaction and experiments with solar neutrinos

abstract: A new concept is proposed to solve the solar neutrino problem, that is based on a hypothesis about the existence of semi-weak interaction of electron neutrinos with nucleons mediated by massless pseudoscalar bosons. Owing to about 10 collisions of a solar neutrino with nucleons of the Sun, the fluxes of left- and right-handed solar neutrinos at the Earth surface are approximately equal, and their spectrum is changed in comparison with the one at the production moment. The postulated model with one free parameter provides a good agreement between the calculated and experimental characteristics of the processes with solar neutrinos: ${}^{37}{\rm Cl} \rightarrow {}^{37}{\rm Ar}$, ${}^{71}{\rm Ga} \rightarrow {}^{71}{\rm Ge}$, $\nu_{e} e^{-}\rightarrow \nu_{e} e^{-}$, and $\nu_{e}D \rightarrow e^{-}pp$.


title: Equivalence of Statistical Mechanical Ensembles for Non-Critical Quantum Systems

abstract: We consider the problem of whether the canonical and microcanonical ensembles are locally equivalent for short-ranged quantum Hamiltonians of $N$ spins arranged on a $d$-dimensional lattices. For any temperature for which the system has a finite correlation length, we prove that the canonical and microcanonical state are approximately equal on regions containing up to $O(N^{1/(d+1)})$ spins. The proof rests on a variant of the Berry--Esseen theorem for quantum lattice systems and ideas from quantum information theory.


title: The time as an emergent property of quantum mechanics, a synthetic description of a first experimental approach

abstract: The "problem of time" in present physics substantially consists in the fact that a straightforward quantization of the general relativistic evolution equation and constraints generates for the Universe wave function the Wheeler-De Witt equation, which describes a static Universe. Page and Wootters considered the fact that there exist states of a system composed by entangled subsystems that are stationary, but one can interpret the component subsystems as evolving: this leads them to suppose that the global state of the universe can be envisaged as one of this static entangled state, whereas the state of the subsystems can evolve. Here we synthetically present an experiment, based on PDC polarization entangled photons, that allows showing with a practical example a situation where this idea works, i.e. a subsystem of an entangled state works as a "clock" of another subsystem.


title: Z2-topology in nonsymmorphic crystalline insulators: Mobius twist in surface states

abstract: It has been known that an anti-unitary symmetry such as time-reversal or charge conjugation is needed to realize Z2 topological phases in non-interacting systems. Topological insulators and superconducting nanowires are representative examples of such Z2 topological matters. Here we report the first-known Z2 topological phase protected by only unitary symmetries. We show that the presence of a nonsymmorphic space group symmetry opens a possibility to realize Z2 topological phases without assuming any anti-unitary symmetry. The Z2 topological phases are constructed in various dimensions, which are closely related to each other by Hamiltonian mapping. In two and three dimensions, the Z2 phases have a surface consistent with the nonsymmorphic space group symmetry, and thus they support topological gapless surface states. Remarkably, the surface states have a unique energy dispersion with the Mobius twist, which identifies the Z2 phases experimentally. We also provide the relevant structure in the K-theory.


title: Multivariate Laplace's approximation with estimated error and application to limit theorems

abstract: In this paper we obtain an approximation for the multivariate Laplace's integral with a large parameter and estimate error term for two cases, when the maximum of the exponent is in the interior of the domain and on the boundary. We are specifically interested in the situation when the function in the exponent depends on the large parameter. As an application we prove weak law of large numbers and central limit theorem. The second result gives different limiting distributions for two cases mentioned above. When the maximum of the exponent is in the interior of the domain it is Normal distribution and if it is on the boundary, it is Exponential in one direction of integration and Normal in other directions.


title: Kepler-447b: a hot-Jupiter with an extremely grazing transit

abstract: We present the radial velocity confirmation of the extrasolar planet Kepler-447b, initially detected as a candidate by the Kepler mission. In this work, we analyze its transit signal and the radial velocity data obtained with the Calar Alto Fiber-fed Echelle spectrograph (CAFE). By simultaneously modeling both datasets, we obtain the orbital and physical properties of the system. According to our results, Kepler-447b is a Jupiter-mass planet ($M_p=1.37^{+0.48}_{-0.46}~M_{\rm Jup}$), with an estimated radius of $R_p=1.65^{+0.59}_{-0.56}~R_{\rm Jup}$ (uncertainties provided in this work are $3\sigma$ unless specified). This translates into a sub-Jupiter density. The planet revolves every $\sim7.8$ days in a slightly eccentric orbit ($e=0.123^{+0.037}_{-0.036}$) around a G8V star with detected activity in the Kepler light curve. Kepler-447b transits its host with a large impact parameter ($b=1.076^{+0.112}_{-0.086}$), being one of the few planetary grazing transits confirmed so far and the first in the Kepler large crop of exoplanets. We estimate that only around 20% of the projected planet disk occults the stellar disk. The relatively large uncertainties in the planet radius are due to the large impact parameter and short duration of the transit. Planets with such an extremely large impact parameter can be used to detect and analyze interesting configurations such as additional perturbing bodies, stellar pulsations, rotation of a non-spherical planet, or polar spot-crossing events. All these scenarios would periodically modify the transit properties (depth, duration, and time of mid-transit), what could be detectable with sufficient accurate photometry. Short-cadence photometric data (at the 1 minute level) would help in the search for these exotic configurations in grazing planetary transits like that of Kepler-447b.


title: Power-law statistics in the velocity fluctuations of Brownian particle in inhomogeneous media and driven by colored noise

abstract: Nonlinear stochastic differential equations generating signals with 1/f spectrum have been used so far to describe socio-economical systems. In this paper we consider the motion of a Brownian particle in an inhomogeneous environment such that the motion can be described by the equation yielding 1/f spectrum in a broad range of frequencies. The inhomogeneous environment can be a result, for example, of a linear potential affecting the Brownian particle together with the medium where steady state heat transfer is present due to the difference of temperatures at the ends of the medium. The correlation of collisions between the Brownian particle and the surrounding molecules can lead to the situation where the finite correlation time becomes important, thus we have investigated the effect of colored noise in our model. Existence of colored noise leads to the additional restriction of the diffusion and exponential cut-off of the distribution of particle positions. Narrower power law part in the distribution of the particle positions results in the narrower range of frequencies where the spectrum has power law behavior.


title: (No) dimming of X-ray clusters beyond z~1 at fixed mass: crude redhshifts and masses from raw X-ray and SZ data

abstract: Scaling relations in the LCDM Cosmology predict that for a given mass the clusters formed at larger redshift are hotter, denser and therefore more luminous in X-rays than their local z~0 counterparts. This effect overturns the decrease in the observable X-ray flux so that it does not decrease at z > 1, similar to the SZ signal. Provided that scaling relations remain valid at larger redshifts, X-ray surveys will not miss massive clusters at any redshift, no matter how far they are. At the same time, the difference in scaling with mass and distance of the observable SZ and X-ray signals from galaxy clusters at redshifts $z\lesssim 2$ offers a possibility to crudely estimate the redshift and the mass of a cluster. This might be especially useful for preselection of massive high-redshift clusters and planning of optical follow-up for overlapping surveys in X-ray (e.g., by SRG/eRosita) and SZ (e.g. Planck, SPT and ACT).


title: Convection and Mixing in Giant Planet Evolution

abstract: The primordial internal structures of gas giant planets are unknown. Often giant planets are modeled under the assumption that they are adiabatic, convective, and homogeneously mixed, but this is not necessarily correct. In this work, we present the first self-consistent calculation of convective transport of both heat and material as the planets evolve. We examine how planetary evolution depends on the initial composition and its distribution, whether the internal structure changes with time, and if so, how it affects the evolution. We consider various primordial distributions, different compositions, and different mixing efficiencies and follow the distribution of heavy elements in a Jupiter-mass planet as it evolves. We show that a heavy-element core cannot be eroded by convection if there is a sharp compositional change at the core-envelope boundary. If the heavy elements are initially distributed within the planet according to some compositional gradient, mixing occurs in the outer regions resulting in a compositionally homogeneous outer envelope. Mixing of heavy materials that are injected in a convective gaseous envelope are found to mix efficiently. Our work demonstrates that the primordial internal structure of a giant planet plays a substantial role in determining its long-term evolution and that giant planets can have non-adiabatic interiors. These results emphasize the importance of coupling formation, evolution, and internal structure models of giant planets self-consistently.


title: On singular elliptic equations with measure sources

abstract: We prove existence of solutions for a class of singular elliptic problems with a general measure as source term whose model is $$\begin{cases} -\Delta u = \frac{f(x)}{u^{\gamma}} +\mu & \text{in}\ \Omega, u=0 &\text{on}\ \partial\Omega, u>0 &\text{on}\ \Omega, \end{cases} $$ where $\Omega$ is an open bounded subset of $\mathbb{R}^N$. Here $\gamma > 0$, $f$ is a nonnegative function on $\Omega$, and $\mu$ is a nonnegative bounded Radon measure on $\Omega$.


title: Cyclotomic graphs and perfect codes

abstract: We study two families of cyclotomic graphs and perfect codes in them. They are Cayley graphs on the additive group of $\mathbb{Z}[\zeta_m]/A$, with connection sets $\{\pm (\zeta_m^i + A): 0 \le i \le m-1\}$ and $\{\pm (\zeta_m^i + A): 0 \le i \le \phi(m) - 1\}$, respectively, where $\zeta_m$ ($m \ge 2$) is an $m$th primitive root of unity, $A$ a nonzero ideal of $\mathbb{Z}[\zeta_m]$, and $\phi$ Euler's totient function. We call them the $m$th cyclotomic graph and the second kind $m$th cyclotomic graph, and denote them by $G_{m}(A)$ and $G^*_{m}(A)$, respectively. We give a necessary and sufficient condition for $D/A$ to be a perfect $t$-code in $G^*_{m}(A)$ and a necessary condition for $D/A$ to be such a code in $G_{m}(A)$, where $t \ge 1$ is an integer and $D$ an ideal of $\mathbb{Z}[\zeta_m]$ containing $A$. In the case when $m = 3, 4$, $G_m((\alpha))$ is known as an Eisenstein-Jacobi and Gaussian networks, respectively, and we obtain necessary conditions for $(\beta)/(\alpha)$ to be a perfect $t$-code in $G_m((\alpha))$, where $0 \ne \alpha, \beta \in \mathbb{Z}[\zeta_m]$ with $\beta$ dividing $\alpha$. In the literature such conditions are known to be sufficient when $m=4$ and $m=3$ under an additional condition. We give a classification of all first kind Frobenius circulants of valency $2p$ and prove that they are all $p$th cyclotomic graphs, where $p$ is an odd prime. Such graphs belong to a large family of Cayley graphs that are efficient for routing and gossiping.