title: The remote Maxwell demon as energy down-converter

abstract: It is demonstrated that Maxwell's demon can be used to allow a machine to extract energy from a heat bath by use of information that is processed by the demon at a remote location. The model proposed here effectively replaces transmission of energy by transmission of information. For that we use a feedback protocol that enables a net gain by stimulating emission in selected fluctuations around thermal equilibrium. We estimate the down conversion rate and the efficiency of energy extraction from the heat bath.


title: On the binary helium star DY Centauri: Chemical composition and evolutionary state

abstract: DY Cen has shown a steady fading of its visual light by about 1 magnitude in the last 40 years suggesting a secular increase in its effective temperature. We have conducted non-LTE and LTE abundance analyses to determine the star's effective temperature, surface gravity, and chemical composition using high-resolution spectra obtained over two decades. The derived stellar parameters for three epochs suggest that DY Cen has evolved at a constant luminosity and has become hotter by about 5000 K in 23 years. We show that the derived abundances remain unchanged for the three epochs. The derived abundances of the key elements, including F and Ne, are as observed for the extreme helium stars resulting from a merger of an He white dwarf with a C-O white dwarf. Thus, DY Cen by chemical composition appears to be also a product of a merger of two white dwarfs. This appearance seems to be at odds with the recent suggestion that DY Cen is a single-lined spectroscopic binary.


title: High energy neutrino telescopes as a probe of the neutrino mass mechanism

abstract: We show that measurements of the spectral shape and flavor ratios of high energy astrophysical neutrinos at neutrino telescopes can be sensitive to the details of the neutrino mass mechanism. We propose a simple model for Majorana neutrino mass generation that realizes the relevant parameter space, in which small explicit lepton number violation is mediated to the Standard Model through the interactions of a light scalar. IceCube, with about ten years of exposure time, could reveal the presence of anomalous neutrino self-interactions. Precision electroweak and lepton flavor laboratory experiments and a determination of the total neutrino mass from cosmology would provide consistency checks on the interpretation of a signal.


title: Capacity Bounds and a Certain Capacity Region for Special Three-Receiver Broadcast Channels with Side Information

abstract: The fact that the results for 2-receiver broadcast channels (BCs) are not generalized to the 3-receiver ones is of information theoretical importance. In this paper we study two classes of discrete memoryless BCs with non-causal side information (SI), i.e. multilevel BC (MBC) and 3-receiver less noisy BC. First, we obtain an achievable rate region and a capacity outer bound for the MBC. Second, we prove a special capacity region for the 3-receiver less noisy BC. Third, the obtained special capacity region for the 3-receiver less noisy BC is extended to continuous alphabet fading Gaussian version. It is worth mentioning that the previous works are special cases of our works.


title: Essential countability of treeable equivalence relations

abstract: We establish a dichotomy theorem characterizing the circumstances under which a treeable Borel equivalence relation E is essentially countable. Under additional topological assumptions on the treeing, we in fact show that E is essentially countable if and only if there is no continuous embedding of E1 into E. Our techniques also yield the first classical proof of the analogous result for hypersmooth equivalence relations, and allow us to show that up to continuous Kakutani embeddability, there is a minimum Borel function which is not essentially countable-to-one.


title: Role of relaxation time scale in noisy signal transduction

abstract: Intracellular fluctuations, mainly triggered by gene expression, are an inevitable phenomenon observed in living cells. It influences generation of phenotypic diversity in genetically identical cells. Such variation of cellular components is beneficial in some contexts but detrimental in others. To quantify the fluctuations in a gene product, we undertake an analytical scheme for studying few naturally abundant linear as well as branched chain network motifs. We solve the Langevin equations associated with each motif under the purview of linear noise approximation and quantify Fano factor and mutual information. Both quantifiable expressions exclusively depend on the relaxation time (decay rate constant) and steady state population of the network components. We investigate the effect of relaxation time constraints on Fano factor and mutual information to indentify a time scale domain where a network can recognize the fluctuations associated with the input signal more reliably. We also show how input population affects both quantities. We extend our calculation to long chain linear motif and show that with increasing chain length, the Fano factor value increases but the mutual information processing capability decreases. In this type of motif, the intermediate components are shown to act as a noise filter that tune up input fluctuations and maintain optimum fluctuations in the output. For branched chain motifs, both quantities vary within a large scale due to their network architecture and facilitate survival of living system in diverse environmental conditions.


title: Vernier caliper and micrometer computer models using Easy Java Simulation and its pedagogical design feature-ideas to augment learning with real instruments

abstract: This article presents the customization of EJS models, used together with actual laboratory instruments, to create an active experiential learning of measurements. The laboratory instruments are the vernier caliper and the micrometer. Three computer model design ideas that complement real equipment are discussed in this article. They are 1) the simple view and associated learning to pen and paper question and the real world, 2) hints, answers, different options of scales and inclusion of zero error and 3) assessment for learning feedback. The initial positive feedback from Singaporean students and educators points to the possibility of these tools being successfully shared and implemented in learning communities, and validated. Educators are encouraged to change the source codes of these computer models to suit their own purposes, licensed creative commons attribution for the benefit of all humankind. Video abstract: http://youtu.be/jHoA5M-_1R4 2015 Resources: http://iwant2study.org/ospsg/index.php/interactive-resources/physics/01-measurements/5-vernier-caliper http://iwant2study.org/ospsg/index.php/interactive-resources/physics/01-measurements/6-micrometer


title: Detecting a quantum critical point in topological SN junctions

abstract: A spin-orbit coupled quantum wire, with one end proximate to an s-wave superconductor, can become a topological superconductor, with a Majorana mode localized at each end of the superconducting region. It was recently shown that coupling one end of such a topological superconductor to $two$ normal channels of interacting electrons leads to a novel type of frustration and a quantum critical point when both channels couple with equal strength. We propose an experimental method to access this critical point in a $single$ quantum wire and show its resilience to disorder.


title: Aspherical Word Labeled Oriented Graphs and Cyclically Presented Groups

abstract: A {\em word labeled oriented graph} (WLOG) is an oriented graph $\cal G$ on vertices $X=\{ x_1,\ldots ,x_k\}$, where each oriented edge is labeled by a word in $X^{\pm1}$. WLOGs give rise to presentations which generalize Wirtinger presentations of knots. WLOG presentations, where the underlying graph is a tree are of central importance in view of Whitehead's Asphericity Conjecture. We present a class of aspherical world labeled oriented graphs. This class can be used to produce highly non-injective aspherical labeled oriented trees and also aspherical cyclically presented groups.


title: Melting and metallization of silica in the cores of gas giants, ice giants and super Earths

abstract: The physical state and properties of silicates at conditions encountered in the cores of gas giants, ice giants and of Earth like exoplanets now discovered with masses up to several times the mass of the Earth remains mostly unknown. Here, we report on theoretical predictions of the properties of silica, SiO$_2$, up to 4 TPa and about 20,000K using first principle molecular dynamics simulations based on density functional theory. For conditions found in the Super-Earths and in ice giants, we show that silica remains a poor electrical conductor up to 10 Mbar due to an increase in the Si-O coordination with pressure. For Jupiter and Saturn cores, we find that MgSiO$_3$ silicate has not only dissociated into MgO and SiO$_2$, as shown in previous studies, but that these two phases have likely differentiated to lead to a core made of liquid SiO$_2$ and solid (Mg,Fe)O.


title: On solving Ordinary Differential Equations using Gaussian Processes

abstract: We describe a set of Gaussian Process based approaches that can be used to solve non-linear Ordinary Differential Equations. We suggest an explicit probabilistic solver and two implicit methods, one analogous to Picard iteration and the other to gradient matching. All methods have greater accuracy than previously suggested Gaussian Process approaches. We also suggest a general approach that can yield error estimates from any standard ODE solver.


title: Leavitt path algebras satisfying a polynomial identity

abstract: Leavitt path algebras L of an arbitrary graph E over a field K satisfying a polynomial identity are completely characterized both in graph-theoretic and algebraic terms. When E is a finite graph, L satisfying a polynomial identity is shown to be equivalent to the Gelfand-Kirillov dimension of L being at most one, though this is no longer true for infinite graphs. It is shown that, for an arbitrary graph E, the Leavitt path algebra L has Gelfand-Kirillov dimension zero if and only if E has no cycles. Likewise, L has Gelfand-Kirillov dimension one if and only if E contains at least one cycle, but no cycle in E has an exit.


title: HOPC: Histogram of Oriented Principal Components of 3D Pointclouds for Action Recognition

abstract: Existing techniques for 3D action recognition are sensitive to viewpoint variations because they extract features from depth images which change significantly with viewpoint. In contrast, we directly process the pointclouds and propose a new technique for action recognition which is more robust to noise, action speed and viewpoint variations. Our technique consists of a novel descriptor and keypoint detection algorithm. The proposed descriptor is extracted at a point by encoding the Histogram of Oriented Principal Components (HOPC) within an adaptive spatio-temporal support volume around that point. Based on this descriptor, we present a novel method to detect Spatio-Temporal Key-Points (STKPs) in 3D pointcloud sequences. Experimental results show that the proposed descriptor and STKP detector outperform state-of-the-art algorithms on three benchmark human activity datasets. We also introduce a new multiview public dataset and show the robustness of our proposed method to viewpoint variations.


title: Action Classification with Locality-constrained Linear Coding

abstract: We propose an action classification algorithm which uses Locality-constrained Linear Coding (LLC) to capture discriminative information of human body variations in each spatiotemporal subsequence of a video sequence. Our proposed method divides the input video into equally spaced overlapping spatiotemporal subsequences, each of which is decomposed into blocks and then cells. We use the Histogram of Oriented Gradient (HOG3D) feature to encode the information in each cell. We justify the use of LLC for encoding the block descriptor by demonstrating its superiority over Sparse Coding (SC). Our sequence descriptor is obtained via a logistic regression classifier with L2 regularization. We evaluate and compare our algorithm with ten state-of-the-art algorithms on five benchmark datasets. Experimental results show that, on average, our algorithm gives better accuracy than these ten algorithms.


title: A model for strong interactions at high energy based on the CGC/saturation approach

abstract: We present our first attempt to develop a model for soft interactions at high energy, based on the BFKL Pomeron and the CGC/saturation approach. We construct an eikonal-type model, whose opacity is determined by the exchange of the dressed BFKL Pomeron. The Green's function of the Pomeron is calculated in the framework of the CGC/saturation approach. Using five parameters we achieve a good description of the experimental data at high energies ( $W\,\geq\,0.546\,TeV$). The model results in different behaviour for the single and double diffraction cross sections at high energies. The single diffraction cross section reaches a saturated value (about 10 mb) at high energies, while the double diffraction cross section continues growing slowly


title: Gauge theory at singularities

abstract: Building on author's previous results in singular semi-Riemannian geometry and singular general relativity, the behavior of gauge theory at singularities is analyzed. The usual formulations of the field equations at singularities are accompanied by infinities which block the evolution equations, mainly because the metric is singular, hence the usual differential operators, constructed from the metric, blow up. However, it is possible to give otherwise equivalent formulations of the Einstein, Maxwell and Yang-Mills equations, which in addition admit solutions which can be extended beyond the singularities. The main purpose of this analysis are applications to the black hole information loss paradox. An alternative approach can be made in terms of the Kaluza-Klein theory.


title: C, P, and CP asymmetry observables based on triple product asymmetries

abstract: Triple product asymmetries have been used to probe CP violation in $K$, $D$, and B decays. Here we review the interpretation of those asymmetries, and note that it is possible to construct twelve measurable triple product asymmetries for the decay of a particle into a four body final state. Eight of these asymmetries are introduced here and nine have never been measured before. These can be used to systematically test C, P, and CP symmetries in decays to four body final states. In particular we note that these asymmetries can be used to study symmetry invariance in Higgs, $Z^0$, top-quark, and hadron decay (both baryon and meson) as well as for $\tau^\pm$ decay at production threshold.


title: Robust Statistical Approach for Extraction of Moving Human Silhouettes from Videos

abstract: Human pose estimation is one of the key problems in computer vision that has been studied in the recent years. The significance of human pose estimation is in the higher level tasks of understanding human actions applications such as recognition of anomalous actions present in videos and many other related applications. The human poses can be estimated by extracting silhouettes of humans as silhouettes are robust to variations and it gives the shape information of the human body. Some common challenges include illumination changes, variation in environments, and variation in human appearances. Thus there is a need for a robust method for human pose estimation. This paper presents a study and analysis of approaches existing for silhouette extraction and proposes a robust technique for extracting human silhouettes in video sequences. Gaussian Mixture Model (GMM) A statistical approach is combined with HSV (Hue, Saturation and Value) color space model for a robust background model that is used for background subtraction to produce foreground blobs, called human silhouettes. Morphological operations are then performed on foreground blobs from background subtraction. The silhouettes obtained from this work can be used in further tasks associated with human action interpretation and activity processes like human action classification, human pose estimation and action recognition or action interpretation.


title: Maximal ideals in commutative Banach algebras

abstract: We show that each maximal ideal in a commutative Banach algebra has codimension 1.


title: Integrability vs exact solvability in the quantum Rabi and Dicke models

abstract: The Rabi model describes the simplest interaction between light and matter via a two-level quantum system interacting with a bosonic field. We demonstrate that the fully quantised version of the Rabi model is integrable in the Yang-Baxter sense at two parameter values. The model is argued to be not Yang-Baxter integrable in general. This is in contrast to the claim that the quantum Rabi model is integrable based on a phenomenological criterion of quantum integrability not presupposing the existence of a set of commuting operators. Similar Yang-Baxter integrable points are identified for the generalised Rabi model and the fully quantised Dicke model. The integrable points have particular implications for the level statistics of the Dicke model.


title: Prime congruences of idempotent semirings and a Nullstellensatz for tropical polynomials

abstract: A new definition of prime congruences in additively idempotent semirings is given using twisted products. This class turns out to exhibit some analogous properties to the prime ideals of commutative rings. In order to establish a good notion of radical congruences it is shown that the intersection of all primes of a semiring can be characterized by certain twisted power formulas. A complete description of prime congruences is given in the polynomial and Laurent polynomial semirings over the tropical semifield ${\pmb T}$, the semifield $\mathbb{Z}_{max}$ and the two element semifield $\mathbb{B}$. The minimal primes of these semirings correspond to monomial orderings, and their intersection is the congruence that identifies polynomials that have the same Newton polytope. It is then shown that every finitely generated congruence in each of these cases is an intersection of prime congruences with quotients of Krull dimension $1$. An improvement of a result of A. Bertram and R. Easton from 2013 is proven which can be regarded as a Nullstellensatz for tropical polynomials.


title: Unsupervised learning segmentation for dynamic speckle activity images

abstract: This paper proposes the design of decision models based on Computational Intelligence techniques applied to image sequences of dynamic laser speckle. These models aim to identify image regions of biological specimens illuminated by a coherent beam coming from a laser. The field image is pseudo colored using a Self Organizing Map projection. This process is carried out using a set of descriptors applied to the intensity variations along time in every pixel of an image sequence. The models use descriptors selected to improve effectiveness, depending on the specific application. We present two examples of the application of the proposed techniques to assess biological tissues. The results obtained are encouraging and significantly improve those obtained using a single descriptor.


title: The de Rham realization of the elliptic polylogarithm in families

abstract: This thesis establishes a geometric approach to the de Rham realization of the polylogarithm. As a central result we construct the logarithm sheaves of rational abelian schemes in terms of the birigidified Poincar\'e bundle with universal integrable connection on the product of the abelian scheme and the universal vectorial extension of its dual. This is achieved essentially by restricting the mentioned data of the Poincar\'e bundle along the infinitesimal neighborhoods of the zero section of the universal extension. We also clarify how these constructions naturally express within the language of the Fourier-Mukai transformation for $\mathcal D$-modules on abelian schemes. Our geometric perspective moreover permits an interpretation of fundamental formal properties of the logarithm sheaves within the standard theory of the Poincar\'e bundle. For a relative elliptic curve we additionally present a related viewpoint on the first logarithm extension via $1$-motives. Having developed in detail the outlined geometric understanding of the logarithm sheaves, we then exploit it systematically for an investigation of the polylogarithm for the universal family of elliptic curves with level $N$ structure. A main theorem of the work gives an explicit analytic description for a variant of the small elliptic polylogarithm via the coefficient functions appearing in the Laurent expansion of a meromorphic Jacobi form defined by Kronecker in the 19th century. Furthermore, using the previous result, we determine the specialization of the modified polylogarithm along torsion sections concretely in terms of certain algebraic Eisenstein series. From this we regain in particular the known expressions of the de Rham Eisenstein classes by algebraic modular forms.


title: An intuitive introduction to the concept of spatial coherence

abstract: The concept of spatial coherence is usually hard to be understood the first time that it is studied. We propose here a fully intuitive geometric description that does not contain mathematical difficulties and permits to understand how a Young Fringes system is obtained with a source not spatially coherent. It is based in a very simple experiment that permits the detection of spatial coherence in a scene. Experimental results are shown.


title: Limits on Fundamental Limits to Computation

abstract: An indispensable part of our lives, computing has also become essential to industries and governments. Steady improvements in computer hardware have been supported by periodic doubling of transistor densities in integrated circuits over the last fifty years. Such Moore scaling now requires increasingly heroic efforts, stimulating research in alternative hardware and stirring controversy. To help evaluate emerging technologies and enrich our understanding of integrated-circuit scaling, we review fundamental limits to computation: in manufacturing, energy, physical space, design and verification effort, and algorithms. To outline what is achievable in principle and in practice, we recall how some limits were circumvented, compare loose and tight limits. We also point out that engineering difficulties encountered by emerging technologies may indicate yet-unknown limits.


title: Solitonic traveling waves in Galileon theory

abstract: This work deals with traveling waves in the two-dimensional Galileon theory. We use the Hirota procedure to calculate one-Galileon, two-Galileon, three-Galileon and breather-like Galileon solutions in the theory under consideration. The results offer strong evidence that the Galileon traveling waves are solitons, and that the Galileon theory is integrable.


title: The Georgi Algorithms of Jet Clustering

abstract: We reveal the direct link between the jet clustering algorithms recently proposed by Howard Georgi and parton shower kinematics, providing firm foundation from the theoretical side. The kinematics of this class of elegant algorithms is explored systematically for partons with arbitrary masses and the jet function is generalized to $J^{(n)}_\beta$ with a jet function index $n$ in order to achieve more degrees of freedom. Based on three basic requirements that, the result of jet clustering is process-independent and hence logically consistent, for softer subjets the inclusion cone is larger to conform with the fact that parton shower tends to emit softer partons at earlier stage with larger opening angle, and that the cone size cannot be too large in order to avoid mixing up neighboring jets, we derive constraints on the jet function parameter $\beta$ and index $n$ which are closely related to cone size cutoff. Finally, we discuss how jet function values can be made invariant under Lorentz boost.


title: A computer code for calculations in the algebraic collective model of the atomic nucleus

abstract: A Maple code is presented for algebraic collective model (ACM) calculations. The ACM is an algebraic version of the Bohr model of the atomic nucleus, in which all required matrix elements are derived by exploiting the model's SU(1,1) x SO(5) dynamical group. This paper reviews the mathematical formulation of the ACM, and serves as a manual for the code. The code enables a wide range of model Hamiltonians to be analysed. This range includes essentially all Hamiltonians that are rational functions of the model's quadrupole moments $q_M$ and are at most quadratic in the corresponding conjugate momenta $\pi_N$ ($-2\le M,N\le 2$). The code makes use of expressions for matrix elements derived elsewhere and newly derived matrix elements of the operators $[\pi\otimes q \otimes\pi]_0$ and $[\pi\otimes\pi]_{LM}$. The code is made efficient by use of an analytical expression for the needed SO(5)-reduced matrix elements, and use of SO(5)$\,\supset\,$SO(3) Clebsch-Gordan coefficients obtained from precomputed data files provided with the code.


title: Liftable vector fields over corank one multigerms

abstract: In this paper, a systematic method is given to construct all liftable vector fields over an analytic multigerm $f: (\mathbb{K}^n, S)\to (\mathbb{K}^p,0)$ of corank at most one admitting a one-parameter stable unfolding.


title: An integral-equation method using interstitial currents devoted to the analysis of multilayered periodic structures with complex inclusions

abstract: An efficient surface integral equation-based method is proposed for the analysis of electromagnetic scattering from multilayered media containing complex periodic inclusions. The proposed method defines equivalent currents at the interfaces between layers in order to eliminate the need to compute the layered medium Green's function. Hence, the background medium in a given layer can be treated as a homogeneous unbounded medium for which the computation of the Green's function for an infinite doubly periodic array is sufficient. The resulting method-of-moments interaction matrix has a block tridiagonal structure, which leads to computational complexity proportional to the number of layers for both matrix filling and solution. When all layers are identical, the filling time essentially reduces to that of a single layer, and the interaction matrix has a Toeplitz structure. Numerical results are provided for the reflectivity of multilayered periodic arrays of spherical silver core-silica shell nanoparticles, excited by a plane wave at optical frequencies. Comparisons with results obtained with an FDTD-based commercial software validate the accuracy and efficiency of the proposed method.


title: Feature-Rich Magnetic Quantization in Sliding Bilayer Graphenes

abstract: The generalized tight-binding model, based on the subenvelope functions of distinct sublattices, is developed to investigate the magnetic quantization in sliding bilayer graphenes. The relative shift of two graphene layers induces a dramatic transformation between the Dirac-cone structure and the parabolic band structure, and thus leads to drastic changes of Landau levels (LLs) in the spatial symmetry, initial formation energy, intergroup anti-crossing, state degeneracy and semiconductor-metal transition. There exist three kinds of LLs, i.e., well-behaved, perturbed and undefined LLs, which are characterized by a specific mode, a main mode plus side modes, and a disordered mode, respectively. Such LLs are clearly revealed in diverse magneto-optical selection rules. Specially, the undefined LLs frequently exhibit intergroup anti-crossings in the field-dependent energy spectra, and show a large number of absorption peaks without optical selection rules.


title: Line lists for the A2PI-X2Sigma+ (red) and {B2Sigma+-X2Sigma} (violet) Systems of CN, 13C14N, and 12C15N, and Application to Astronomical Spectra

abstract: New red and violet system line lists for the CN isotopologues 13C14N and 12C15N have been generated. These new transition data are combined with those previously derived for 12C14N, and applied to the determination of CNO abundances in the solar photosphere and in four red giant stars: Arcturus, the bright very low-metallicity star HD 122563, and carbon-enhanced metal-poor stars HD 196944 and HD 201626. When lines of both red and violet system lines are detectable in a star, their derived N abundances are in good agreement. The mean N abundances determined in this work generally are also in accord with published values.


title: Opinion mining of movie reviews at document level

abstract: The whole world is changed rapidly and using the current technologies Internet becomes an essential need for everyone. Web is used in every field. Most of the people use web for a common purpose like online shopping, chatting etc. During an online shopping large number of reviews/opinions are given by the users that reflect whether the product is good or bad. These reviews need to be explored, analyse and organized for better decision making. Opinion Mining is a natural language processing task that deals with finding orientation of opinion in a piece of text with respect to a topic. In this paper a document based opinion mining system is proposed that classify the documents as positive, negative and neutral. Negation is also handled in the proposed system. Experimental results using reviews of movies show the effectiveness of the system.


title: Irreducible Canonical Representations in Positive Characteristic

abstract: For $X$ a curve over a field of positive characteristic, we investigate when the canonical representation of $\text{Aut}(X)$ on $H^0(X, \Omega_X)$ is irreducible. Any curve with an irreducible canonical representation must either be superspecial or ordinary. Having a small automorphism group is an obstruction to having irreducible canonical representation; with this motivation, the bulk of the paper is spent bounding the size of automorphism groups of superspecial and ordinary curves. After proving that all automorphisms of an $\mathbb{F}_{q^2}$-maximal curve are defined over $\mathbb{F}_{q^2}$, we find all superspecial curves with $g > 82$ having an irreducible representation. In the ordinary case, we provide a bound on the size of the automorphism group of an ordinary curve that improves on a result of Nakajima.


title: Study of controlled dense coding with some discrete tripartite and quadripartite states

abstract: The paper presents the detailed study of controlled dense coding scheme for different types of $3$ and $4-$ particle states. It consists of GHZ state, GHZ type states, Maximal Slice state, Four particle GHZ state and W class of states. It is shown that GHZ-type states can be used for controlled dense coding in a probabilistic sense. We have shown relations among parameter of GHZ type state, concurrence of the shared bipartite state by two parties with respect to GHZ type and Charlie's measurement angle $\theta$. We have seen that tripartite W state and quadripartite W state cannot be used in controlled dense coding whereas $\vert W_{n}\rangle_{ABC}$ states can be used probabilistically. Finally, we have investigated controlled dense coding scheme for tripartite qutrit states.


title: Analytical model for non-thermal pressure in galaxy clusters - II. Comparison with cosmological hydrodynamics simulation

abstract: Turbulent gas motion inside galaxy clusters provides a non-negligible non-thermal pressure support to the intracluster gas. If not corrected, it leads to a systematic bias in the estimation of cluster masses from X-ray and Sunyaev-Zel'dovich (SZ) observations assuming hydrostatic equilibrium, and affects interpretation of measurements of the SZ power spectrum and observations of cluster outskirts from ongoing and upcoming large cluster surveys. Recently, Shi & Komatsu developed an analytical model for predicting the radius, mass, and redshift dependence of the non-thermal pressure contributed by the kinetic random motions of intracluster gas sourced by the cluster mass growth. In this paper, we compare the predictions of this analytical model to a state-of-the-art cosmological hydrodynamics simulation. As different mass growth histories result in different non-thermal pressure, we perform the comparison on 65 simulated galaxy clusters on a cluster-by-cluster basis. We find an excellent agreement between the modelled and simulated non-thermal pressure profiles. Our results open up the possibility of using the analytical model to correct the systematic bias in the mass estimation of galaxy clusters. We also discuss tests of the physical picture underlying the evolution of intracluster non-thermal gas motions, as well as a way to further improve the analytical modeling, which may help achieve a unified understanding of non-thermal phenomena in galaxy clusters.


title: Creation of magnetic spots at the neutron star surface

abstract: According to the partially screened gap scenario, an efficient electron-positron pair creation, a general precondition of radio-pulsar activity, relies on the existence of magnetic spots, i.e., local concentrations of strong and small scale magnetic field structures at the surface of neutron stars. They have a strong impact on the surface temperature, which is potentially observable. Here we reinforce the idea that such magnetic spots can be formed by extracting magnetic energy from the toroidal field that resides in deep crustal layers, via Hall drift. We study and discuss the magneto-thermal evolution of qualitatively different neutron star models and initial magnetic field configurations that lead to the creation of magnetic spots. We find that magnetic spots can be created on a timescale of $10^4$ years with magnetic field strengths $\gtrsim 5\times 10^{13}$ G, provided almost the whole magnetic energy is stored in its toroidal component, and that the conductivity in the inner crust is not too large. The lifetime of the magnetic spots is at least $\sim$one million of years, being longer if the initial field permeates both core and crust.


title: Interaction between multi components vortices at arbitrary distances using a variational method in the Ginzburg-Landau theory

abstract: We study the interaction between the vortices in multi components superconductors based on the Jacobs and Rebbi variation method using Ginzburg-Landau theory. With one condensation, we get attraction interaction between the vortices for type I and repulsion for type II superconductors. With two condensation states such as Mg B_{2} superconductors the behavior is quite different. There is attraction at large distances and repulsion when the vortices are close to each other. A stability point at distance 2.7/{\lambda}_{1} is obtained. In the case of three condensation states such as iron based superconductors,we see different behavior depending on penetration depth and correlation length. The formation energy of a vortex with three condensation states is larger than the one with one condensation state with comparable penetration and correlation length. We obtain two stability points for the superconductors with three condensation states.


title: Right Handed Quark Mixing in Left-Right Symmetric Theory

abstract: We give exact formulas for the right-handed analog of the CKM matrix in the minimal Left-Right symmetric theory, for the case when the Left-Right symmetry is generalized Parity as in the original version of the theory. We derive its explicit form and give a physical reason for the known and surprising fact that the right-handed mixing angles are close in value to the CKM ones, in spite of the Left-Right symmetry being badly broken in nature. We exemplify our results on the production of the right-handed charged gauge boson and the computation of the neutral K meson mass difference.


title: A General Transfer-Function Approach to Noise Filtering in Open-Loop Quantum Control

abstract: We present a general transfer-function approach to noise filtering in open-loop Hamiltonian engineering protocols for open quantum systems. We show how to identify a computationally tractable set of fundamental filter functions, out of which arbitrary transfer filter functions may be assembled up to arbitrary high order in principle. Besides avoiding the infinite recursive hierarchy of filter functions that arises in general control scenarios, this fundamental filter-functions set suffices to characterize the error suppression capabilities of the control protocol in both the time and frequency domain. We prove that the resulting notion of filtering order reveals conceptually distinct, albeit complementary, features of the controlled dynamics as compared to the order of error cancellation, traditionally defined in the Magnus sense. Examples and implications are discussed.


title: The existence of the Lambda effect in the solar convection zone indicated by SDO observations

abstract: The empirical finding with data from the Solar Dynamics Observatory (SDO) of positive (negative) horizontal Reynolds stress at the northern (southern) hemisphere for solar giant cells (Hathaway et al. 2013) is discussed for its consequences for the theory of the solar/stellar differential rotation. Solving the nonlinear Reynolds equation for the angular velocity under neglect of the meridional circulation we show that the horizontal Reynolds stress of the northern hemisphere is always negative at the surface but it is positive in the bulk of the solar convection zone by the action of the Lambda effect. The Lambda effect, which describes the angular momentum transport of rigidly rotating anisotropic turbulence and which avoids a rigid-body rotation of the convection zones, is in horizontal direction of cubic power in the rotation rate $\Omega$ and it is always equatorwards directed. Theories without Lambda effect which may also provide the observed solar rotation law only by the action of a meridional circulation lead to a horizontal Reynolds stress with the opposite sign as observed.


title: High Security Image Steganography with Modified Arnold cat map

abstract: Information security is concerned with maintaining the secrecy, reliability and accessibility of data. The main objective of information security is to protect information and information system from unauthorized access, revelation, disruption, alteration, annihilation and use. This paper uses spatial domain LSB substitution method for information embedding and modified forms of Arnold transform are applied twice in two different phases to ensure security. The system is tested and validated against a series of standard images and the results show that the method is highly secure and provides high data hiding capacity.


title: Tensor Numerical Approach to Linearized Hartree-Fock Equation for Lattice-type and Periodic Systems

abstract: This paper introduces and analyses the new grid-based tensor approach for approximate solution of the eigenvalue problem for linearized Hartree-Fock equation applied to the 3D lattice-structured and periodic systems. The set of localized basis functions over spatial $(L_1,L_2,L_3)$ lattice in a bounding box (or supercell) is assembled by multiple replicas of those from the unit cell. All basis functions and operators are discretized on a global 3D tensor grid in the bounding box which enables rather general basis sets. In the periodic case, the Galerkin Fock matrix is shown to have the three-level block circulant structure, that allows the FFT-based diagonalization. The proposed tensor techniques manifest the twofold benefits: (a) the entries of the Fock matrix are computed by 1D operations using low-rank tensors represented on a 3D grid, (b) the low-rank tensor structure in the diagonal blocks of the Fock matrix in the Fourier space reduces the conventional 3D FFT to the product of 1D FFTs. We describe fast numerical algorithms for the block circulant representation of the core Hamiltonian in the periodic setting based on low-rank tensor representation of arising multidimensional functions. Lattice type systems in a box with open boundary conditions are treated by our previous tensor solver for single molecules, which makes possible calculations on large $(L_1,L_2,L_3)$ lattices due to reduced numerical cost for 3D problems. The numerical simulations for box/periodic $(L,1,1)$ lattice systems in a 3D rectangular "tube" with $L$ up to several hundred confirm the theoretical complexity bounds for the tensor-structured eigenvalue solvers in the limit of large $L$.


title: Necessary and Sufficient Conditions for Local Unitary Equivalence of Multi-qubit States

abstract: We derive necessary and sufficient conditions for the LU-equivalence of two general (pure or mixed) $n$-qubit states as well as we determine the local unitary operators connecting them. Almost all relevant information is contained in the $1$-qubit reduced matrices of the multiqubit states under investigation Our technique relies on identifying {\it ab initio} all local symmetries and the corresponding local cyclic unitary operators. To derive the above conditions we use the reference forms of the multiqubit states whose definition requires the diagonalization of the 1-qubit reduced matrices. Based on those conditions we propose a straightforward protocol to decide wether or not two $n$-qubit states are LU-equivalent.


title: Extraction of Force-Chain Network Architecture in Granular Materials Using Community Detection

abstract: Force chains form heterogeneous physical structures that can constrain the mechanical stability and acoustic transmission of granular media. However, despite their relevance for predicting bulk properties of materials, there is no agreement on a quantitative description of force chains. Consequently, it is difficult to compare the force-chain structures in different materials or experimental conditions. To address this challenge, we treat granular materials as spatially-embedded networks in which the nodes (particles) are connected by weighted edges that represent contact forces. We use techniques from community detection, which is a type of clustering, to find sets of closely connected particles. By using a geographical null model that is constrained by the particles' contact network, we extract chain-like structures that are reminiscent of force chains. We propose three diagnostics to measure these chain-like structures, and we demonstrate the utility of these diagnostics for identifying and characterizing classes of force-chain network architectures in various materials. To illustrate our methods, we describe how force-chain architecture depends on pressure for two very different types of packings: (1) ones derived from laboratory experiments and (2) ones derived from idealized, numerically-generated frictionless packings. By resolving individual force chains, we quantify statistical properties of force-chain shape and strength, which are potentially crucial diagnostics of bulk properties (including material stability). These methods facilitate quantitative comparisons between different particulate systems, regardless of whether they are measured experimentally or numerically.

categories: cond-mat.soft nlin.AO nlin.PS physics.data-an


title: Stable foliations and semi-flow Morse homology

abstract: In case of the heat flow on the free loop space of a closed Riemannian manifold non-triviality of Morse homology for semi-flows is established by constructing a natural isomorphism to singular homology of the loop space. The construction is also new in finite dimensions. The main idea is to build a Morse filtration using Conley pairs and their pre-images under the time-$T$-map of the heat flow. A crucial step is to contract each Conley pair onto its part in the unstable manifold. To achieve this we construct stable foliations for Conley pairs using the recently found backward $\lambda$-Lemma [31]. These foliations are of independent interest [23].


title: Verifiable Member and Order Queries on a List in Zero-Knowledge

abstract: We introduce a formal model for order queries on lists in zero knowledge in the traditional authenticated data structure model. We call this model Privacy-Preserving Authenticated List (PPAL). In this model, the queries are performed on the list stored in the (untrusted) cloud where data integrity and privacy have to be maintained. To realize an efficient authenticated data structure, we first adapt consistent data query model. To this end we introduce a formal model called Zero-Knowledge List (ZKL) scheme which generalizes consistent membership queries in zero-knowledge to consistent membership and order queries on a totally ordered set in zero knowledge. We present a construction of ZKL based on zero-knowledge set and homomorphic integer commitment scheme. Then we discuss why this construction is not as efficient as desired in cloud applications and present an efficient construction of PPAL based on bilinear accumulators and bilinear maps which is provably secure and zero-knowledge.


title: A Generalization of the Petrov Strong Law of Large Numbers

abstract: In 1969 V.V.~Petrov found a new sufficient condition for the applicability of the strong law of large numbers to sequences of independent random variables. He proved the following theorem: let $\{X_{n}\}_{n=1}^{\infty}$ be a sequence of independent random variables with finite variances and let $S_{n}=\sum_{k=1}^{n} X_{k}$. If $Var (S_{n})=O (n^{2}/\psi(n))$ for a positive non-decreasing function $\psi(x)$ such that $\sum 1/(n \psi(n)) < \infty$ (Petrov's condition) then the relation $(S_{n}-ES_{n})/n \to 0$ a.s. holds. In 2008 V.V.~Petrov showed that under some additional assumptions Petrov's condition remains sufficient for the applicability of the strong law of large numbers to sequences of random variables without the independence condition. In the present work, we generalize Petrov's results (for both dependent and independent random variables), using an arbitrary norming sequence in place of the classical normalization.


title: A test for dependence between two point processes on the real line

abstract: Many scientific questions rely on determining whether two sequences of event times are associated. This article introduces a likelihood ratio test which can be parameterised in several ways to detect different forms of dependence. A common finite-sample distribution is derived, and shown to be asymptotically related to a weighted Kolmogorov-Smirnov test. Analysis leading to these results also motivates a more general tool for diagnosing dependence. The methodology is demonstrated on data generated on an email network, showing evidence of information flow using only timing information. Implementation code is available in the R package `mppa'.


title: The Moduli Space of Totally Marked Degree Two Rational Maps

abstract: A rational map $\phi: \mathbb{P}^1 \to \mathbb{P}^1$ along with an ordered list of fixed and critical points is called a totally marked rational map. The space of totally marked degree two rational maps, $Rat^{tm}_2$ can be parametrized by an affine open subset of $(\mathbb{P}^1)^5$. We consider the natural action of $SL_2$ on $Rat^{tm}_2$ induced from the action of $SL_2$ on $(\mathbb{P}^1)^5$ and prove that the quotient space $Rat^{tm}_2/SL_2$ exists as a scheme. The quotient is isomorphic to a Del Pezzo surface with the isomorphism being defined over $\mathbb{Z}[1/2]$.


title: Beta ensembles, quantum Painlev\'e equations and isomonodromy systems

abstract: This is a review of recent developments in the theory of beta ensembles of random matrices and their relations with conformal filed theory (CFT). There are (almost) no new results here. This article can serve as a guide on appearances and studies of quantum Painlev\'e and more general multidimensional linear equations of Belavin-Polyakov-Zamolodchikov (BPZ) type in literature. We demonstrate how BPZ equations of CFT arise from $\beta$-ensemble eigenvalue integrals. Quantum Painlev\'e equations are relatively simple instances of BPZ or confluent BPZ equations, they are PDEs in two independent variables ("time" and "space"). While CFT is known as quantum integrable theory, here we focus on the appearing links of $\beta$-ensembles and CFT with {\it classical} integrable structure and isomonodromy systems. The central point is to show on the example of quantum Painlev\'e II (QPII)~\cite{betaFP1} how classical integrable structure can be extended to general values of $\beta$ (or CFT central charge $c$), beyond the special cases $\beta=2$ ($c=1$) and $c\to\infty$ where its appearance is well-established. We also discuss an \'a priori very different important approach, the ODE/IM correspondence giving information about complex quantum integrable models, e.g.~CFT, from some stationary Schr\"odinger ODEs. Solution of the ODEs depends on (discrete) symmetries leading to functional equations for Stokes multipliers equivalent to discrete integrable Hirota-type equations. The separation of "time" and "space" variables, a consequence of our integrable structure, also leads to Schr\"odinger ODEs and thus may have a connection with ODE/IM methods.


title: Stability, Uniqueness and Recurrence of Generalized Traveling Waves in Time Heterogeneous Media of Ignition Type

abstract: The present paper is devoted to the study of stability, uniqueness and recurrence of generalized traveling waves of reaction-diffusion equations in time heterogeneous media of ignition type, whose existence has been proven by the authors of the present paper in a previous work. It is first shown that generalized traveling waves exponentially attract wave-like initial data. Next, properties of generalized traveling waves, such as space monotonicity and exponential decay ahead of interface, are obtained. Uniqueness up to space translations of generalized traveling waves is then proven. Finally, it is shown that the wave profile of the unique generalized traveling wave is of the same recurrence as the media. In particular, if the media is time almost periodic, then so is the wave profile of the unique generalized traveling wave.


title: Low-temperature illumination and annealing of ultra-high quality quantum wells

abstract: The effects of low temperature illumination and annealing on fractional quantum Hall (FQH) characteristics of a GaAs/AlGaAs quantum well are investigated. Illumination alone, below 1 K, decreases the density of the 2DEG electrons by more than an order of magnitude and resets the sample to a repeatable initial state. Subsequent thermal annealing at a few Kelvin restores the original density and dramatically improves FQH characteristics. A reliable illumination and annealing recipe is developed that yields an energy gap of 600 mK for the 5/2 state.


title: On the expected number of equilibria in a multi-player multi-strategy evolutionary game

abstract: In this paper, we analyze the mean number $E(n,d)$ of internal equilibria in a general $d$-player $n$-strategy evolutionary game where the agents' payoffs are normally distributed. First, we give a computationally implementable formula for the general case. Next we characterize the asymptotic behavior of $E(2,d)$, estimating its lower and upper bounds as $d$ increases. Two important consequences are obtained from this analysis. On the one hand, we show that in both cases the probability of seeing the maximal possible number of equilibria tends to zero when $d$ or $n$ respectively goes to infinity. On the other hand, we demonstrate that the expected number of stable equilibria is bounded within a certain interval. Finally, for larger $n$ and $d$, numerical results are provided and discussed.


title: Tate tame symbol and the joint torsion of commuting operators

abstract: We investigate determinants of Koszul complexes of holomorphic functions of a commuting tuple of bounded operators acting on a Hilbert space. Our main result shows that the analytic joint torsion, which compares two such determinants, can be computed by a local formula which involves a tame symbol of the involved holomorphic functions. As an application we are able to extend the classical tame symbol of meromorphic functions on a Riemann surface to the more involved setting of transversal functions on a complex analytic curve. This follows by spelling out our main result in the case of Toeplitz operators acting on the Hardy space over the polydisc.


title: Continuous Flavor Symmetries and the Stability of Asymmetric Dark Matter

abstract: Generically, the asymmetric interactions in asymmetric dark matter (ADM) models lead to decaying DM. We show that, for ADM that carries nonzero baryon number, the continuous flavor symmetries that generate the flavor structure in the quark sector also imply a looser lower bound on the mass scale of the asymmetric mediators between the dark and visible sectors. The mediators for $B=2$ ADM that can produce a signal in the future indirect dark matter searches can thus also be searched for at the LHC. For two examples of the mediator models, with either the MFV or Froggatt-Nielsen flavor breaking pattern, we derive the FCNC constraints and discuss the search strategies at the LHC.


title: A Technique for Extracting Highly Precise Photometry for the Two-Wheeled Kepler Mission

abstract: The original Kepler mission achieved high photometric precision thanks to ultra-stable pointing enabled by use of four reaction wheels. The loss of two of these reaction wheels reduced the telescope's ability to point precisely for extended periods of time, and as a result, the photometric precision has suffered. We present a technique for generating photometric light curves from pixel-level data obtained with the two-wheeled extended Kepler mission, K2. Our photometric technique accounts for the non-uniform pixel response function of the Kepler detectors by correlating flux measurements with the spacecraft's pointing and removing the dependence. When we apply our technique to the ensemble of stars observed during the Kepler Two-Wheel Concept Engineering Test, we find improvements over raw K2 photometry by factors of 2-5, with noise properties qualitatively similar to Kepler targets at the same magnitudes. We find evidence that the improvement in photometric precision depends on each target's position in the Kepler field of view, with worst precision near the edges of the field. Overall, this technique restores the median attainable photometric precision to within a factor of two of the original Kepler photometric precision for targets ranging from 10$^{th}$ to 15$^{th}$ magnitude in the Kepler bandpass, peaking with a median precision within 35% that of Kepler for stars between 12$^{th}$ and 13$^{th}$ magnitude in the Kepler bandpass.


title: Slow Manifold of a Neuronal Bursting Model

abstract: Comparing neuronal bursting models (NBM) with slow-fast autonomous dynamical systems (S-FADS), it appears that the specific features of a (NBM) do not allow a determination of the analytical slow manifold equation with the singular approximation method. So, a new approach based on Differential Geometry, generally used for (S-FADS), is proposed. Adapted to (NBM), this new method provides three equivalent manners of determination of the analytical slow manifold equation. Application is made for the three-variables model of neuronal bursting elaborated by Hindmarsh and Rose which is one of the most used mathematical representation of the widespread phenomenon of oscillatory burst discharges that occur in real neuronal cells.


title: Animated phase portraits of nonlinear and chaotic dynamical systems

abstract: The aim of this section is to present programs allowing to high- light the slow-fast evolution of the solutions of nonlinear and chaotic dynamical systems such as: Van der Pol, Chua and Lorenz models. These programs provide animated phase portraits in dimension two and three, i.e. integration step by step" which are useful tools enabling to understand the dynamic of such systems.


title: Extreme neutron stars from Extended Theories of Gravity

abstract: We discuss neutron stars with strong magnetic mean fields in the framework of Extended Theories of Gravity. In particular, we take into account models derived from $f(R)$ and $f(\cal G)$ extensions of General Relativity where functions of the Ricci curvature invariant $R$ and the Gauss-Bonnet invariant ${\cal G}$ are respectively considered. Dense matter in magnetic mean field, generated by magnetic properties of particles, is described by assuming a model with three meson fields and baryons octet. As result, the considerable increasing of maximal mass of neutron stars can be achieved by cubic corrections in $f(R)$ gravity. In principle, massive stars with $M> 4 M_{\odot}$ can be obtained. On the other hand, stable stars with high strangeness fraction (with central densities $\rho_{c}\sim 1.5-2.0$ GeV/fm$^{3}$) are possible considering quadratic corrections of $f(\cal {G})$ gravity. The magnetic field strength in the star center is of order $6-8\times 10^{18}$ G. In general, we can say that other branches of massive neutron stars are possible considering the extra pressure contributions coming from gravity extensions. Such a feature can constitute both a probe for alternative theories and a way out to address anomalous self-gravitating compact systems.


title: Dynamics of heterogeneous clusters under intense laser fields

abstract: We study the dynamics of atomic and molecular nano-clusters exposed to short and intense X-fel pulses


title: The approximate Loebl-Koml\'os-S\'os Conjecture I: The sparse decomposition

abstract: In a series of four papers we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$ vertices of degree at least $(1+\alpha)k$ contains each tree $T$ of order $k$ as a subgraph. The method to prove our result follows a strategy similar to approaches that employ the Szemer\'edi regularity lemma: we decompose the graph $G$, find a suitable combinatorial structure inside the decomposition, and then embed the tree $T$ into $G$ using this structure. Since for sparse graphs $G$, the decomposition given by the regularity lemma is not helpful, we use a more general decomposition technique. We show that each graph can be decomposed into vertices of huge degree, regular pairs (in the sense of the regularity lemma), and two other objects each exhibiting certain expansion properties. In this paper, we introduce this novel decomposition technique. In the three follow-up papers, we find a combinatorial structure suitable inside the decomposition, which we then use for embedding the tree.


title: Cocycles of isometries and denseness of domination

abstract: We consider the problem of approximating a linear cocycle (or, more generally, a vector bundle automorphism) over a fixed base dynamics by another cocycle admitting a dominated splitting. We prove that the possibility of doing so depends only on the homotopy class of the cocycle, provided that the base dynamics is a minimal diffeomorphism and the fiber dimension is least 3. This result is obtained by means of a general theorem on the existence of almost invariant sections for fiberwise isometries of bundles with compact fibers and finite fundamental group. The main novelty of the proofs is the use of a quantitative homotopy result due to Calder, Siegel, and Williams.


title: Unexpected fading of comet C/2003 T4 (LINEAR) and disintegration of C/2012 S1 (ISON)

abstract: Comet C/2003 T4 (LINEAR) exhibit a large asymmetry in brightness before and after perihelion, when it became much fainter. Large non-gravitational forces shows that mass of nucleus doesn't exceed 2.51*10^11 kg, which is nearly double than previously disintegrated comets C/2012 S1 (ISON) and C/1999 S4 (LINEAR). Amount of water mass loss of C/2003 T4 in interval between 70 days before to 60 after perihelion, was nearly 3.16(+/- 0.60)*10^10 kg or >13 % of total nucleus mass and >21 % for C/2012 S1, which is much larger than value >7 % previously stated for C/1999 S4.


title: Breakdown of the Fermi arcs in underdoped cuprates by incommensurate charge density waves

abstract: We studied interactions between the coherent excitations on disconnected arcs along a bare Fermi surface (the so-called Fermi arcs (FAs)) seen by angle-resolved photo emission spectroscopy (ARPES) in several underdoped (UD) cuprates and incommensurate charge density wave (IC CDW) ordering at lowering of the temperature.


title: Chiral 2D "Strange Metals" from N = 4 SYM

abstract: Familiar field theories may contain closed subsectors made out of only fermions, which can be used to explore new and unusual phases of matter in lower dimensions. We focus on the fermionic su(1,1) sector in N=4 SYM and on its ground states, which are Fermi surface states/operators. By computing their spectrum to order $(g_{YM}^2 N)^2$, we argue that fluctuations around this fermi surface, within the sector and in the limit $k_F\rightarrow\infty$, are governed by a chiral 1+1 dimensional sector of the "strange metal" coset $SU(N)_N \otimes SU(N)_N/SU(N)_{2N}$. On the gravity side, the conjectured dual configuration is an $S=0$ degeneration of a rotating black hole. On general grounds we expect that the near horizon excitations of $(S=0,\Omega=1,J\rightarrow\infty)$ degenerations of black holes will be governed by a chiral sector of a 1+1 CFT.


title: Semantic Publishing Challenge -- Assessing the Quality of Scientific Output

abstract: Linked Open Datasets about scholarly publications enable the development and integration of sophisticated end-user services; however, richer datasets are still needed. The first goal of this Challenge was to investigate novel approaches to obtain such semantic data. In particular, we were seeking methods and tools to extract information from scholarly publications, to publish it as LOD, and to use queries over this LOD to assess quality. This year we focused on the quality of workshop proceedings, and of journal articles w.r.t. their citation network. A third, open task, asked to showcase how such semantic data could be exploited and how Semantic Web technologies could help in this emerging context.


title: Casual Stability of Some Systems of Random Variables

abstract: Self-similarity of systems is very popular and intensively developing field during last decades. To this field belong so-called stable distributions and their generalization. In Klebanov and Sl\'amov\'a (2014) there was given an approach to define additive systems with the property of random self-similarity - casual stability (c.s.). Here we continue study the notion of casual stability for additive systems of random variables (r.v.). We also give a modification of this definition and spread them on multiplicative systems of r.v. and on the system with operations of taking minimum or maximum of r.v. The case of systems with a random number of elements is also considered.


title: Quantum criticality in two dimensions and Marginal Fermi Liquid

abstract: Kinetic properties of a two dimensional model of fermions interacting with antiferromagnetic spin excitations near the quantum critical point (QCP) are considered. The temperature or doping are assumed to be sufficiently high, such that the pseudogap does not appear. In contrast to standard spin-fermion models, it is assumed that there are intrinsic inhomogeneities in the system suppressing space correlations of the antiferromagnetic excitations. It is argued that the inhomogeneities in the spin excitations in the "strange metal" phase can be a consequence of existence of $\pi $-shifted domain walls in the doped antiferromagnetic phase. Averaging over the inhomogeneities and calculating physical quantities like resistivity and some others one can explain unusual properties of cuprates unified under the name "Marginal Fermi Liquid" (MFL). The dependence of the slope of the linear temperature dependence of the resistivity on doping is compared with experimental data.


title: The Approximate Loebl-Koml\'os-S\'os Conjecture III: The finer structure of LKS graphs

abstract: This is the third of a series of four papers in which we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$ vertices of degree at least $(1+\alpha)k$ contains each tree $T$ of order $k$ as a subgraph. In the first paper of the series, we gave a decomposition of the graph $G$ into several parts of different characteristics. In the second paper, we found a combinatorial structure inside the decomposition. In this paper, we will give a refinement of this structure. In the forthcoming fourth paper, the refined structure will be used for embedding the tree $T$.


title: The equivalent refraction index for the acoustic scattering by many small obstacles: with error estimates

abstract: Let $M$ be the number of bounded and Lipschitz regular obstacles $D_j, j:=1, ..., M$ having a maximum radius $a$, $a<<1$, located in a bounded domain $\Omega$ of $\mathbb{R}^3$. We are concerned with the acoustic scattering problem with a very large number of obstacles, as $M:=M(a):=O(a^{-1})$, $a\rightarrow 0$, when they are arbitrarily distributed in $\Omega$ with a minimum distance between them of the order $d:=d(a):=O(a^t)$ with $t$ in an appropriate range. We show that the acoustic farfields corresponding to the scattered waves by this collection of obstacles, taken to be soft obstacles, converge uniformly in terms of the incident as well the propagation directions, to the one corresponding to an acoustic refraction index as $a\rightarrow 0$. This refraction index is given as a product of two coefficients $C$ and $K$, where the first one is related to the geometry of the obstacles (precisely their capacitance) and the second one is related to the local distribution of these obstacles. In addition, we provide explicit error estimates, in terms of $a$, in the case when the obstacles are locally the same (i.e. have the same capacitance, or the coefficient $C$ is piecewise constant) in $\Omega$ and the coefficient $K$ is H$\ddot{\mbox{o}}$lder continuous. These approximations can be applied, in particular, to the theory of acoustic materials for the design of refraction indices by perforation using either the geometry of the holes, i.e. the coefficient $C$, or their local distribution in a given domain $\Omega$, i.e. the coefficient $K$.


title: Phase Locked Loop of the Spin-Torque Nanooscillator

abstract: We have studied the dynamics of a spin-torque nanooscillator's (STNO) phase locked loop (PLL) generating microwave oscillations in a broad range of frequencies under the effect of direct current and external magnetic field. Bifurcations in the system caused by a change in the frequency detuning of synchronized oscillations are considered. Bands of phase locking and synchronism are determined. The existence of a phase locking band in the filterless PLL of STNOs basically distinguishes these oscillators from other types of microwave generators.


title: Treewidth of graphs with balanced separations

abstract: We prove that if every subgraph of a graph $G$ has a balanced separation of order at most $a$ then $G$ has treewidth at most $15a$. This establishes a linear dependence between the treewidth and the separation number.


title: The approximate Loebl-Koml\'os-S\'os Conjecture IV: Embedding techniques and the proof of the main result

abstract: This is the last paper of a series of four papers in which we prove the following relaxation of the Loebl-Komlos-Sos Conjecture: For every $\alpha>0$ there exists a number~$k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$ vertices of degree at least $(1+\alpha)k$ contains each tree $T$ of order $k$ as a subgraph. In the first two papers of this series, we decomposed the host graph $G$, and found a suitable combinatorial structure inside the decomposition. In the third paper, we refined this structure, and proved that any graph satisfying the conditions of the above approximate version of the Loebl-Komlos-Sos Conjecture contains one of ten specific configurations. In this paper we embed the tree $T$ in each of the ten configurations.


title: The approximate Loebl-Koml\'os-S\'os Conjecture II: The rough structure of LKS graphs

abstract: This is the second of a series of four papers in which we prove the following relaxation of the Loebl-Komlos--Sos Conjecture: For every $\alpha>0$ there exists a number $k_0$ such that for every $k>k_0$ every $n$-vertex graph $G$ with at least $(\frac12+\alpha)n$ vertices of degree at least $(1+\alpha)k$ contains each tree $T$ of order $k$ as a subgraph. In the first paper of the series, we gave a decomposition of the graph $G$ into several parts of different characteristics; this decomposition might be viewed as an analogue of a regular partition for sparse graphs. In the present paper, we find a combinatorial structure inside this decomposition. In the last two papers, we refine the structure and use it for embedding the tree $T$.


title: An American mathematician in Moscow, or how I destroyed the Soviet Union

abstract: Reminiscences about I. M. Gel'fand on the 100th anniversary of his birth, and about mathematical life in Moscow in the former Soviet Union.


title: Classifying sequences by the optimized dissimilarity space embedding approach: a case study on the solubility analysis of the E. coli proteome

abstract: We evaluate a version of the recently-proposed classification system named Optimized Dissimilarity Space Embedding (ODSE) that operates in the input space of sequences of generic objects. The ODSE system has been originally presented as a classification system for patterns represented as labeled graphs. However, since ODSE is founded on the dissimilarity space representation of the input data, the classifier can be easily adapted to any input domain where it is possible to define a meaningful dissimilarity measure. Here we demonstrate the effectiveness of the ODSE classifier for sequences by considering an application dealing with the recognition of the solubility degree of the Escherichia coli proteome. Solubility, or analogously aggregation propensity, is an important property of protein molecules, which is intimately related to the mechanisms underlying the chemico-physical process of folding. Each protein of our dataset is initially associated with a solubility degree and it is represented as a sequence of symbols, denoting the 20 amino acid residues. The herein obtained computational results, which we stress that have been achieved with no context-dependent tuning of the ODSE system, confirm the validity and generality of the ODSE-based approach for structured data classification.


title: Remarks on elementary integral calculus for supersmooth functions on superspace ${\mathfrak{R}}^{m|n}$

abstract: After introducing Berezin integral for polynomials of odd variables, we develop the elementary integral calculus based on supersmooth functions on the superspace ${\mathfrak{R}}^{m|n}$. Here, ${\mathfrak{R}}$ is the Fr\'echet-Grassmann algebra with countably infinite Grassmann generators, which plays the role of real number field ${\mathbb{R}}$. As is well-known that the formula of change of variables under integral sign is indispensable not only to treat PDE applying funtional analytic method but also to introduce analysis on supermanifolds. But, if we define naively the integral for supersmooth functions, there exists discrepancy which should be ameliorated. Here, we extend the contour integral modifying the parameter space introduced basically by de Witt, Rogers and Vladimirov and Volovich


title: A Strange Partition Theorem Related to the Second Atkin-Garvan Moment

abstract: This paper contain results on a strange smallest parts function related to the second Atkin-Garvan moment. Some new identities are discovered in relation to Andrews $spt$ function as well as one of Borweins' two-dimensional theta functions.


title: HD139614: the interferometric case for a group-Ib pre-transitional young disk

abstract: The Herbig Ae star HD 139614 is a group-Ib object, which featureless SED indicates disk flaring and a possible pre-transitional evolutionary stage. We present mid- and near-IR interferometric results collected with MIDI, AMBER and PIONIER with the aim of constraining the spatial structure of the 0.1-10 AU disk region and assess its possible multi-component structure. A two-component disk model composed of an optically thin 2-AU wide inner disk and an outer temperature-gradient disk starting at 5.6 AU reproduces well the observations. This is an additional argument to the idea that group-I HAeBe inner disks could be already in the disk-clearing transient stage. HD 139614 will become a prime target for mid-IR interferometric imaging with the second-generation instrument MATISSE of the VLTI.


title: FESTUNG: A MATLAB / GNU Octave toolbox for the discontinuous Galerkin method. Part I: Diffusion operator

abstract: This is the first in a series of papers on implementing a discontinuous Galerkin method as a MATLAB / GNU Octave toolbox. The main goal is the development of techniques that deliver optimized computational performance combined with a compact, user-friendly interface. Our implementation relies on fully vectorized matrix / vector operations and is carefully documented; in addition, a direct mapping between discretization terms and code routines is maintained throughout. The present work focuses on a two-dimensional time-dependent diffusion equation with space / time-varying coefficients. The spatial discretization is based on the local discontinuous Galerkin formulation and is locally mass conservative. Approximations of orders zero through four based on orthogonal polynomials have been implemented; more spaces of arbitrary type and order can be easily accommodated by the code structure. Time discretization is performed using an implicit Euler method.


title: Unresolvable human mental states based on a parallel universe theory

abstract: We show that human mental states are unresolvable by suggesting a mathematical function that describes human mental states in relation to parallel universe theory. The function is a solution to a multi-dimensional advection equation; representing a situation a person is faced with, and its time-derivative showing the mental state in that situation. This function has interesting characteristics that explain why each person has different thoughts in a particular situation. Because the multi-dimensional advection equation has an infinite number of solutions, we can use them to represent an infinite number of mental states. We focus on the basic concepts of the model and explain the function using extremely simple cases. We also use the functions to explain remembering and forgetting.


title: Novel properties of graphene in the presence of energy gap: optics, transport and mobility studies

abstract: We review the transmission of Dirac electrons through a potential barrier in the presence of circularly polarized light. A different type of transmission is demonstrated and explained. Perfect transmission for nearly head-on collision in inffnite graphene is suppressed in gapped dressed states of electrons. We also present our results on enhanced mobility of hot Dirac electrons in nanoribbons and magnetoplasmons in graphene in the presence of the energy gap. The calculated carrier mobility for a graphene nanoribbon as a function of the bias field possesses a high threshold for entering the nonlinear transport regime. This threshold is a function of both extrinsic and intrinsic properties, such as lattice temperature, linear density, impurity scattering strength, ribbon width, and correlation length for the line-edge roughness. Analysis of non-equilibrium carrier distribution function confirms that the difference between linear and nonlinear transport is due to sweeping electrons from the right to left Fermi one through elastic scattering as well as moving electrons from low to high-energy ones through field-induced heating. The plasmons, as well as the electron-hole continuum are determined by both energy gap and the magnetic field, showing very specific features, which have been studied and discussed in details.


title: Star-cumulants of free unitary Brownian motion

abstract: We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infinitesimal determining sequence" which naturally accompanies an arbitrary R-diagonal element in a tracial *-probability space.


title: Fairer citation-based metrics

abstract: I describe a simple modification which can be applied to any citation count-based index (e.g. Hirsch's h-index) quantifying a researcher's publication output. The key idea behind the proposed approach is that the merit for the citations of a paper should be distributed amongst its authors according to their relative contributions. In addition to producing inherently fairer metrics I show that the proposed modification has the potential to partially normalize for the unfair effects of honorary authorship and thus discourage this practice.


title: Open manifolds with asymptotically nonnegative Ricci curvature and large volume growth

abstract: In this paper, we study the topology of complete noncompact Riemannian manifolds with asymptotically nonnegative Ricci curvature and large volume growth. We prove that they have finite topological types under some curvature decay and volume growth conditions. We also generize it to the manifolds with $k$-th asymptotically nonnegative Ricci curvature by using extensions of Abresch-Gromoll's excess function estimate.


title: Experimental and theoretical studies on visible light attenuation in water

abstract: In this study we describe lab experiments on determining the above water reflectance Rrs coefficient, and the water attenuation coefficient Kd for fresh water. Different types of screens (totally absorbent, gray, etc.) were submerged in water (0-0.6 m) and illuminated from outside. The spectral density of the water leaving radiance was measured for different depths. The results were ran by a code which took into account the geometry of the incident irradiation, the geometry of the screen under water, and boundary conditions at the water surface provided by the radiation transfer theory. From the experimental data and our model we obtain the spectral distribution of the attenuation coefficient for fresh water and compared it with other data in literature. These experiments, performed in the Nonlinear Wave Lab at ERAU# represent just a preliminary calibration of the experimental protocol. More tests with water of different degrees of turbidity, and possibly wave filed at the water surface are in progress and will be presented in a forthcoming paper.


title: Continuum modeling of mechanically-induced creep in dense granular materials

abstract: Recently, a new nonlocal granular rheology was successfully used to predict steady granular flows, including grain-size-dependent shear features, in a wide variety of flow configurations, including all variations of the split-bottom cell. A related problem in granular flow is that of mechanically-induced creep, in which shear deformation in one region of a granular medium fluidizes its entirety, including regions far from the sheared zone, effectively erasing the yield condition everywhere. This enables creep deformation when a force is applied in the nominally quiescent region through an intruder such as a cylindrical or spherical probe. We show that the nonlocal fluidity model is capable of capturing this phenomenology. Specifically, we explore creep of a circular intruder in a two-dimensional annular Couette cell and show that the model captures all salient features observed in experiments, including both the rate-independent nature of creep for sufficiently slow driving rates and the faster-than-linear increase in the creep speed with the force applied to the intruder.


title: Hydrodynamics on non-commutative space --A step toward hydrodynamics of granular materials--

abstract: Hydrodynamics on non-commutative space is studied based on a formulation of hydrodynamics by Y. Nambu in terms of Poisson and Nambu brackets. Replacing these brackets by Moyal brackets with a parameter $\theta$, a new hydrodynamics on non-commutative space is derived. It may be a step toward to find the hydrodynamics of granular materials whose minimum volume is given by $\theta$. To clarify this minimum volume, path integral quantization and uncertainty relation of Nambu dynamics are examined.


title: A restriction on the Alexander polynomials of $L$-space knots

abstract: Using an invariant defined by Rasmussen, we extend an argument given by Hedden and Watson which further restricts which Alexander polynomials can be realized by $L$-space knots.


title: Completion of continuity spaces with uniformly vanishing asymmetry

abstract: The classical Cauchy completion of a metric space (by means of Cauchy sequences) as well as the completion of a uniform space (by means of Cauchy filters) are well-known to rely on the symmetry of the metric space or uniform space in question. For qausi-metric spaces and quasi-uniform spaces various non-equivalent completions exist, often defined on a certain subcategory of spaces that satisfy a key property required for the particular completion to exist. The classical filter completion of a uniform space can be adapted to yield a filter completion of a metric space. We show that this completion by filters generalizes to continuity spaces that satisfy a form of symmetry which we call uniformly vanishing asymmetry.


title: Singularities of nilpotent orbit closures

abstract: This is an expository article on the singularities of nilpotent orbit closures in simple Lie algebras over the complex numbers. It is slanted towards aspects that are relevant for representation theory, including Maffei's theorem relating Slodowy slices to Nakajima quiver varieties in type A. There is one new observation: the results of Juteau and Mautner, combined with Maffei's theorem, give a geometric proof of a result on decomposition numbers of Schur algebras due to Fang, Henke and Koenig.


title: Convergence rates of adaptive methods, Besov spaces, and multilevel approximation

abstract: This paper concerns characterizations of approximation classes associated to adaptive finite element methods with isotropic h-refinements. It is known from the seminal work of Binev, Dahmen, DeVore and Petrushev that such classes are related to Besov spaces. The range of parameters for which the inverse embedding results hold is rather limited, and recently, Gaspoz and Morin have shown, among other things, that this limitation disappears if we replace Besov spaces by suitable approximation spaces associated to finite element approximation from uniformly refined triangulations. We call the latter spaces *multievel approximation spaces*, and argue that these spaces are placed naturally halfway between adaptive approximation classes and Besov spaces, in the sense that it is more natural to relate multilevel approximation spaces with either Besov spaces or adaptive approximation classes, than to go directly from adaptive approximation classes to Besov spaces. In particular, we prove embeddings of multilevel approximation spaces into adaptive approximation classes, complementing the inverse embedding theorems of Gaspoz and Morin. Furthermore, in the present paper, we initiate a theoretical study of adaptive approximation classes that are defined using a modified notion of error, the so-called *total error*, which is the energy error plus an oscillation term. Such approximation classes have recently been shown to arise naturally in the analysis of adaptive algorithms. We first develop a sufficiently general approximation theory framework to handle such modifications, and then apply the abstract theory to second order elliptic problems discretized by Lagrange finite elements, resulting in characterizations of modified approximation classes in terms of memberships of the problem solution and data into certain approximation spaces, which are in turn related to Besov spaces.


title: Ground-State Phases of Anisotropic Mixed Diamond Chains with Spins 1 and 1/2

abstract: The ground-state phases of anisotropic mixed diamond chains with spins 1 and 1/2 are investigated. Both single-site and exchange anisotropies are considered. We find the phases consisting of an array of uncorrelated spin-1 clusters separated by singlet dimers. Except in the simplest case where the cluster consists of a single $S=1$ spin, this type of ground state breaks the translational symmetry spontaneously. Although the mechanism leading to this type of ground state is the same as that in the isotropic case, it is nonmagnetic or paramagnetic depending on the competition between two types of anisotropy. We also find the N\'eel, period-doubled N\'eel, Haldane, and large-$D$ phases, where the ground state is a single spin cluster of infinite size equivalent to the spin-1 Heisenberg chain with alternating anisotropies. The ground-state phase diagrams are determined for typical sets of parameters by numerical analysis. In various limiting cases, the ground-state phase diagrams are determined analytically. The low-temperature behaviors of magnetic susceptibility and entropy are investigated to distinguish each phase by observable quantities. The relationship of the present model with the anisotropic rung-alternating ladder with spin-1/2 is also discussed.


title: An adaptive octree finite element method for PDEs posed on surfaces

abstract: The paper develops a finite element method for partial differential equations posed on hypersurfaces in $\mathbb{R}^N$, $N=2,3$. The method uses traces of bulk finite element functions on a surface embedded in a volumetric domain. The bulk finite element space is defined on an octree grid which is locally refined or coarsened depending on error indicators and estimated values of the surface curvatures. The cartesian structure of the bulk mesh leads to easy and efficient adaptation process, while the trace finite element method makes fitting the mesh to the surface unnecessary. The number of degrees of freedom involved in computations is consistent with the two-dimension nature of surface PDEs. No parametrization of the surface is required; it can be given implicitly by a level set function. In practice, a variant of the marching cubes method is used to recover the surface with the second order accuracy. We prove the optimal order of accuracy for the trace finite element method in $H^1$ and $L^2$ surface norms for a problem with smooth solution and quasi-uniform mesh refinement. Experiments with less regular problems demonstrate optimal convergence with respect to the number of degrees of freedom, if grid adaptation is based on an appropriate error indicator. The paper shows results of numerical experiments for a variety of geometries and problems, including advection-diffusion equations on surfaces. Analysis and numerical results of the paper suggest that combination of cartesian adaptive meshes and the unfitted (trace) finite elements provide simple, efficient, and reliable tool for numerical treatment of PDEs posed on surfaces.


abstract: Let $M$ be a simple holomorphically symplectic manifold, that is, a simply connected holomorphically symplectic manifold of Kahler type with $h^{2,0}=1$. We prove that the group of holomorphic automorphisms of $M$ acts on the set of faces of its Kahler cone with finitely many orbits, whenever $b_2(M)\neq 5$. This is a version of the Morrison-Kawamata cone conjecture for hyperkahler manifolds. The proof is based on the following observation, proven with ergodic theory. Let $M$ be a complete Riemannian orbifold of dimension at least three, constant negative curvature and finite volume, and $\{S_i\}$ an infinite set of locally geodesic hypersurfaces. Then the union of $S_i$ is dense in $M$.


title: Evaluation of the ADM mass and center of mass via the Ricci tensor

abstract: We prove directly without using a density theorem that (i) the ADM mass defined in the usual way on an asymptotically flat manifold is equal to the mass defined intrinsically using Ricci tensor; (ii) the Hamiltonian formulation of center of mass and the center of mass defined intrinsically using Ricci tensor are the same.


title: Anomalous magnetoresistance in the spinel superconductor LiTi2O4

abstract: Transition-metal oxides offer an opportunity to explore unconventional superconductors, where the superconductivity (SC) is often interrelated with novel phenomena such as spin/charge order, fluctuations, and Fermi surface instability (1-3). LiTi2O4 (LTO) is a unique compound in that it is the only known spinel oxide superconductor. In addition to electron-phonon coupling, electron-electron and spin fluctuation contributions have been suggested as playing important roles in the microscopic mechanism for its superconductivity (4-8). However, the lack of high quality single crystals has thus far prevented systematic investigation of their transport properties (9). Here, we report a careful study of transport and tunneling spectroscopy in epitaxial LTO thin films. In the superconducting state, the energy gap was found to decrease as a quadratic function of magnetic field. In the normal state, an unusual magnetoresistance (MR) was observed where it changes from anisotropic positive to isotropic negative as the temperature is increased. A constant charge carrier concentration without any abrupt change in lattice parameters as a function of temperature suggests that the isotropic MR stems from the suppression of spin scattering/fluctuations, while the anisotropic term originates from an orbital contribution. These observations point to an important role strong correlations play in this unique superconductor.


title: Unimodality of Partitions in Near-Rectangular Ferrers Diagrams

abstract: We look at the rank generating function $G_\lambda$ of partitions inside the Ferrers diagram of some partition $\lambda$, investigated by Stanton in 1990, as well as a closely related problem investigated by Stanley and Zanello in 2013. We show that $G_\lambda$ is not unimodal for a larger class of 4-part partitions than previously known, and also that if the ratios of parts of $\lambda$ are close enough to 1 (depending on how many parts $\lambda$ has), or if the first part is at least half the size of $\lambda$, then $G_\lambda$ is unimodal.


title: Special values of adjoint L-functions and congruences for automorphic forms on GL(n) over a number field

abstract: We prove an integrality result for the value at s=1 of the adjoint L-function associated to a cohomological cuspidal automorphic representation on GL(n) over any number field. We then show that primes (outside an exceptional set) dividing this special value give rise to congruences between automorphic forms. We also prove a non-vanishing property at infinity for the relevant Rankin-Selberg L-functions on GL(n) x GL(n).


title: Reconstruct the Distance Duality Relation by Gaussian Process

abstract: In this letter, the distance-duality (DD) relation is reconstructed by Gaussian process (GP) which is cosmological model-independent. Generally, the GP plays two important roles. One is to shape the $\eta$ tendency which denotes the deviation from the DD relation, the other one is to produce the luminosity-distance (LD, $D_{L}$) and the angular-diameter-distance (ADD, $D_{A}$) data at the same redshift. The shapes of $\eta$ are given out based on SNe Ia (Type Ia supernovae) data with different light-curve fitters (including MLCS2K2 and SALT2) and ADD data with different galaxy cluster morphologies (including the elliptical $\beta$ and spherical $\beta$ models). The data related to MLCS2K2 light-curve fitter have higher values of $\eta$ compared to that related to the SALT2 light-curve fitter. As for the morphology of galaxy cluster, the DD relation is favored by the elliptical one.


title: Sparse solution of the Lyapunov equation for large-scale interconnected systems

abstract: We consider the problem of computing an approximate banded solution of the continuous-time Lyapunov equation $\underline{A}\underline{X}+\underline{X}\underline{A}^{T}=\underline{P}$, where the coefficient matrices $\underline{A}$ and $\underline{P}$ are large, symmetric banded matrices. The (sparsity) pattern of $\underline{A}$ describes the interconnection structure of a large-scale interconnected system. Recently, it has been shown that the entries of the solution $\underline{X}$ are spatially localized or decaying away from a banded pattern. We show that the decay of the entries of $\underline{X}$ is faster if the condition number of $\underline{A}$ is smaller. By exploiting the decay of entries of $\underline{X}$, we develop two computationally efficient methods for approximating $\underline{X}$ by a banded matrix. For a well-conditioned and sparse banded $\underline{A}$, the computational and memory complexities of the methods scale linearly with the state dimension. We perform extensive numerical experiments that confirm this, and that demonstrate the effectiveness of the developed methods. The methods proposed in this paper can be generalized to (sparsity) patterns of $\underline{A}$ and $\underline{P}$ that are more general than banded matrices. The results of this paper open the possibility for developing computationally efficient methods for approximating the solution of the large-scale Riccati equation by a sparse matrix.


title: Wake Effects on Drift in Two-Dimensional Inviscid Incompressible Flows

abstract: This investigation analyzes the effect of vortex wakes on the Lagrangian displacement of particles induced by the passage of an obstacle in a two-dimensional incompressible and inviscid fluid. In addition to the trajectories of individual particles, we also study their drift and the corresponding total drift areas in the F\"oppl and Kirchhoff potential flow models. Our findings, which are obtained numerically and in some regimes are also supported by asymptotic analysis, are compared to the wakeless potential flow which serves as a reference. We show that in the presence of the F\"oppl vortex wake some of the particles follow more complicated trajectories featuring a second loop. The appearance of an additional stagnation point in the F\"oppl flow is identified as a source of this effect. It is also demonstrated that, while the total drift area increases with the size of the wake for large vortex strengths, it is actually decreased for small circulation values. On the other hand, the Kirchhoff flow model is shown to have an unbounded total drift area. By providing a systematic account of the wake effects on the drift, the results of this study will allow for more accurate modeling of hydrodynamic stirring.


title: {\Upsilon} Production in Heavy Ion Collisions at LHC

abstract: We investigate the {\Upsilon} production in heavy ion collisions at LHC energy in the frame of a dynamical transport approach. Both the initial production and in-medium regeneration and both the cold and hot nuclear matter effects are included in the calculations. In comparison with the ground state {\Upsilon}(1s), the excited state {\Upsilon}(2s) is much more sensitive to the heavy quark potential at finite temperature.


title: A countable definable set of reals containing no definable elements

abstract: We make use of a finite support product of Jensen forcing to define a model in which there is a countable non-empty lightface $\Pi^1_2$ set of reals containing no ordinal-definable real.


title: Two series expansions for the logarithm of the gamma function involving Stirling numbers and containing only rational coefficients for certain arguments related to $\pi^{-1}$

abstract: In this paper, two new series for the logarithm of the $\Gamma$-function are presented and studied. Their polygamma analogs are also obtained and discussed. These series involve the Stirling numbers of the first kind and have the property to contain only rational coefficients for certain arguments related to $\pi^{-1}$. In particular, for any value of the form $\ln\Gamma(\frac{1}{2}n\pm\alpha\pi^{-1})$ and $\Psi_k(\frac{1}{2}n\pm\alpha\pi^{-1})$, where $\Psi_k$ stands for the $k$th polygamma function, $\alpha$ is positive rational greater than $\frac{1}{6}\pi$, $n$ is integer and $k$ is non-negative integer, these series have rational terms only. In the specified zones of convergence, derived series converge uniformly at the same rate as $\sum(n\ln^m\!n)^{-2}$, where $m=1, 2, 3,\ldots$\,, depending on the order of the polygamma function. Explicit expansions into the series with rational coefficients are given for the most attracting values, such as $\ln\Gamma(\pi^{-1})$, $\ln\Gamma(2\pi^{-1})$, $\ln\Gamma(\tfrac{1}{2}+\pi^{-1})$, $\Psi(\pi^{-1})$, $\Psi(\tfrac{1}{2}+\pi^{-1})$ and $\Psi_k(\pi^{-1})$. Besides, in this article, the reader will also find a number of other series involving Stirling numbers, Gregory's coefficients (logarithmic numbers, also known as Bernoulli numbers of the second kind), Cauchy numbers and generalized Bernoulli numbers. Finally, several estimations and full asymptotics for Gregory's coefficients, for Cauchy numbers, for certain generalized Bernoulli numbers and for certain sums with the Stirling numbers are obtained. In particular, these include sharp bounds for Gregory's coefficients and for the Cauchy numbers of the second kind.