title: Stability of Thin-Shell Wormholes from Noncommutative BTZ Black Hole

abstract: In this paper, we construct thin-shell wormholes in (2+1)-dimensions from noncommutative BTZ black hole by applying the cut-and-paste procedure implemented by Visser. We calculate the surface stresses localized at the wormhole throat by using the Darmois-Israel formalism, and we find that the wormholes are supported by matter violating the energy conditions. In order to explore the dynamical analysis of the wormhole throat, we consider that the matter at the shell is supported by dark energy equation of state P = w\rho with w < 0. The stability analysis is carried out of these wormholes to linearized spherically symmetric perturbations around static solutions. Preserving the symmetry we also consider the linearized radial perturbation around static solution to investigate the stability of wormholes which explored by the parameter \beta (speed of sound).


title: Vacuum Technology for Superconducting Devices

abstract: The basic notions of vacuum technology for superconducting applications are presented, with an emphasis on mass and heat transport in free molecular regimes. The working principles and practical details of turbomolecular pumps and cryopumps are introduced. The specific case of the Large Hadron Collider's cryogenic vacuum system is briefly reviewed.


title: Powder Lot Variations: A Case Study with Varget - Hodgdon Extreme

abstract: Small arms propellant distributor Hodgdon claims that rifle powders in its Extreme line have small velocity variations with both temperature changes and lot number. This paper reports on the variations in average velocity of four different lots of Hodgdon Extreme Varget tested in two .223 Remington loads. Compared to the lot with the slowest average velocity, the other three lots of powder had higher average velocities ranging from 23.4 ft/s faster up to 45.6 ft/s faster with a 69 grain Nosler Custom Competition bullet and from 7.9 ft/s faster to 15.3 ft/s with the 53 grain Hornady VMAX. The mean velocity differences between lots are slightly correlated between the two loads with a correlation coefficient of 0.54. This correlation suggests that factors other than lot to lot variations contribute significantly to the measured velocity variations. Unlike the much larger lot to lot variations that were reported previously for H4831, lot to lot variations in velocity for Varget seem consistent with Hodgdon's marketing claims.


title: Manufacturing and Testing of Accelerator Superconducting Magnets

abstract: Manufacturing of superconducting magnet for accelerators is a quite complex process that is not yet fully industrialized. In this paper, after a short history of the evolution of the magnet design and construction, we review the main characteristics of the accelerator magnets having an impact on the construction technology. We put in evidence how the design and component quality impact on construction and why the final product calls for a total-quality approach. LHC experience is widely discussed and main lessons are spelled out. Then the new Nb3Sn technology, under development for the next generation magnet construction, is outlined. Finally, we briefly review the testing procedure of accelerator superconducting magnets, underlining the close connection with the design validation and with the manufacturing process.


title: Neutral chlorine and molecular hydrogen at high redshift

abstract: Chlorine and molecular hydrogen are known to be tightly linked together in the cold phase of the local interstellar medium through rapid chemical reactions. We present here the first systematic study of this relation at high redshifts using H$_2$-bearing damped Ly$\alpha$ systems (DLAs) detected along quasar lines of sight. Using high-resolution spectroscopic data from VLT/UVES and Keck/HIRES, we report the detection of Cl$\,$I in 9 DLAs (including 5 new detections) out of 18 high-$z$ DLAs with $N($H$_2) \ge 10^{17.3}\,$cm$^{-2}$ (including a new H$_2$ detection at $z=3.09145$ towards J$\,$2100$-$0641) and present upper limits for the remaining 9 systems. We find a $\sim$5$\,\sigma$ correlation between $N$(Cl$\,$I) and $N$(H$_2$) with only $\sim$0.2$\,$dex dispersion over the range 18.1$\,<\,$log$\,N$(H$_2$)$\,<\,$20.1, thus probing column densities 10 times lower those seen towards nearby stars, roughly following the relation $N$(Cl$\,$I$) \approx 1.5\times10^{-6} \times N($H$_2)$. This relation between column densities is surprisingly the same at low and high redshift suggesting that the physical and chemical conditions are similar for a given H$_2$ (or Cl$\,$I) column density. In turn, the $N({Cl$\,$I})/N({\rm H_2})$ ratio is found to be uncorrelated with the overall metallicity in the DLA. Our results confirm that neutral chlorine is an excellent tracer of molecule-rich gas and show that the molecular fraction or/and metallicity in the H$_2$-bearing component of DLA could possibly be much higher than the line-of-sight average values usually measured in DLAs.


title: Current Leads, Links and Buses

abstract: Electrical transfer from a room temperature power source to a superconducting system is done via conventional or superconducting current leads and superconducting buses or links. The principles of optimization of these devices are presented, with emphasis on the cryogenic, electrical, and superconductor related aspects that drive choices for a system.


title: Degenerate complex Monge-Amp\`ere flows on strictly pseudoconvex domains

abstract: We study the equation $\dot{u}=\log\det (u_{\alpha\bar{\beta}})+f(t,z,u)$ in domains of $\mathbb C^n$. This equation has a close connection with the K\"ahler-Ricci flow. In this paper, we consider the case of the boundary conditions are smooth and the initial conditions are bounded.


title: Finite determinacy of matrices over local rings. Tangent modules to the miniversal deformation for R-linear group actions

abstract: We consider matrices with entries in a local ring, Mat(m,n,R). Fix a group action, G on Mat(m,n,R), and a subset of allowed deformations, \Sigma\subseteq Mat(m,n,R). The standard question of Singularity Theory is the finite-(\Sigma,G)-determinacy of matrices. Finite determinacy implies algebraizability and is equivalent to a stronger notion: stable algebraizability. In our previous work this determinacy question was reduced to the study of the tangent spaces to \Sigma and to the orbit, T_{(\Sigma,A)}, T_{(GA,A)} , and their quotient, the tangent module to the miniversal deformation. In particular, the order of determinacy is controlled by the annihilator of this tangent module. In this work we study this tangent module for the group action GL(m,R)\times GL(n,R) on Mat(m,n,R) and various natural subgroups of it. We obtain ready-to-use criteria of determinacy for deformations of (embedded) modules, (skew-)symmetric forms, filtered modules, filtered morphisms of filtered modules, chains of modules etc.


title: Large Superconducting Magnet Systems

abstract: The increase of energy in accelerators over the past decades has led to the design of superconducting magnets for both accelerators and the associated detectors. The use of Nb-Ti superconducting materials allows an increase in the dipole field by up to 10 T compared with the maximum field of 2 T in a conventional magnet. The field bending of the particles in the detectors and generated by the magnets can also be increased. New materials, such as Nb3Sn and high temperature superconductor (HTS) conductors, can open the way to higher fields, in the range 13-20 T. The latest generations of fusion machines producing hot plasma also use large superconducting magnet systems.


title: Nonlinear closures for scale separation in supersonic magnetohydrodynamic turbulence

abstract: Turbulence in compressible plasma plays a key role in many areas of astrophysics and engineering. The extreme plasma parameters in these environments, e.g. high Reynolds numbers, supersonic and super-Alfvenic flows, however, make direct numerical simulations computationally intractable even for the simplest treatment -- magnetohydrodynamics (MHD). To overcome this problem one can use subgrid-scale (SGS) closures -- models for the influence of unresolved, subgrid-scales on the resolved ones. In this work we propose and validate a set of constant coefficient closures for the resolved, compressible, ideal MHD equations. The subgrid-scale energies are modeled by Smagorinsky-like equilibrium closures. The turbulent stresses and the electromotive force (EMF) are described by expressions that are nonlinear in terms of large scale velocity and magnetic field gradients. To verify the closures we conduct a priori tests over 137 simulation snapshots from two different codes with varying ratios of thermal to magnetic pressure ($\beta_\mathrm{p} = 0.25, 1, 2.5, 5, 25$) and sonic Mach numbers ($M_s = 2, 2.5, 4$). Furthermore, we make a comparison to traditional, phenomenological eddy-viscosity and $\alpha-\beta-\gamma$ closures. We find only mediocre performance of the kinetic eddy-viscosity and $\alpha-\beta-\gamma$ closures, and that the magnetic eddy-viscosity closure is poorly correlated with the simulation data. Moreover, three of five coefficients of the traditional closures exhibit a significant spread in values. In contrast, our new closures demonstrate consistently high correlation and constant coefficient values over time and and over the wide range of parameters tested. Important aspects in compressible MHD turbulence such as the bi-directional energy cascade, turbulent magnetic pressure and proper alignment of the EMF are well described by our new closures.

categories: physics.flu-dyn astro-ph.GA astro-ph.SR physics.plasm-ph


title: Integrability of S-deformable surfaces: conservation laws, Hamiltonian structures and more

abstract: We present infinitely many nonlocal conservation laws, a pair of compatible local Hamiltonian structures and a recursion operator for the equations describing surfaces in three-dimensional space that admit nontrivial deformations which preserve both principal directions and principal curvatures (or, equivalently, the shape operator).


title: Cycle lengths in finite groups and the size of the solvable radical

abstract: We prove the following: For any $\rho\in\left(0,1\right)$, if a finite group $G$ has an automorphism with a cycle of length at least $\rho\cdot|G|$, then the index of the solvable radical $\operatorname{Rad}(G)$ in $G$ is bounded from above in terms of $\rho$, and such a condition is strong enough to imply solvability of $G$ if and only if $\rho>\frac{1}{10}$. Furthermore, considering, for exponents $e\in\left(0,1\right)$, the condition that a finite group $G$ have an automorphism with a cycle of length at least $|G|^e$, such a condition is strong enough to imply $|\operatorname{Rad}(G)|\to\infty$ for $|G|\to\infty$ if and only if $e>\frac{1}{3}$. We also prove similar results for a larger class of bijective self-transformations of finite groups, so-called periodic affine maps.


title: Case Studies on Superconducting Magnets for Particle Accelerators

abstract: During the CERN Accelerator School 'Superconductivity for accelerators', the students were divided into 18 groups, and 6 different exercises (case studies), involving the design and analysis of superconducting magnets and RF cavities, were assigned. The problems covered a broad spectrum of topics, from properties of superconducting materials to operation conditions and general dimensions of components. The work carried out by the students turned out to be an extremely useful opportunity to review the material explained during the lectures, to become familiar with the orders of magnitude of the key parameters, and to understand and compare different design options. We provide in this paper a summary of the activities related to the case studies on superconducting magnets and present the main outcomes.


title: Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution

abstract: Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or semantic equivalence of constraints; e.g. the Green framework is able to reuse constraints which have different representations but are semantically equivalent, through canonizing constraints into syntactically equivalent normal forms. However, syntactic/semantic equivalence is not a necessary condition for reuse--some constraints are not syntactically or semantically equivalent, but their solutions still have potential for reuse. Existing approaches are unable to recognize and reuse such constraints. In this paper, we present GreenTrie, an extension to the Green framework, which supports constraint reuse based on the logical implication relations among constraints. GreenTrie provides a component, called L-Trie, which stores constraints and solutions into tries, indexed by an implication partial order graph of constraints. L-Trie is able to carry out logical reduction and logical subset and superset querying for given constraints, to check for reuse of previously solved constraints. We report the results of an experimental assessment of GreenTrie against the original Green framework, which shows that our extension achieves better reuse of constraint solving result and saves significant symbolic execution time.


title: On the notion of generic cut for models of ZFC

abstract: We define the notion of generic cut between models of ZFC and give some examples.


title: Integral powers of numbers in small intervals modulo $1$: The cardinality gap phenomenon

abstract: This paper deals with the distribution of $\alpha \zeta^{n} \bmod 1$, where $\alpha\neq 0,\zeta>1$ are fixed real numbers and $n$ runs through the positive integers. Denote by $\Vert.\Vert$ the distance to the nearest integer. We investigate the case of $\alpha\zeta^{n}$ all lying in prescribed small intervals modulo $1$ for all large $n$, with focus on the case $\Vert\alpha \zeta^{n}\Vert \leq \epsilon$ for small $\epsilon>0$. We are particularly interested in what we call cardinality gap phenomena. For example for fixed $\zeta>1$ and small $\epsilon>0$ there are at most countably many values of $\alpha$ such that $\Vert\alpha \zeta^{n}\Vert \leq \epsilon$ for all large $n$, whereas larger $\epsilon$ induces an uncountable set. We investigate the value of $\epsilon$ at which the gap occurs. We will pay particular attention to the case of algebraic and, more specific, rational $\zeta>1$. Results concerning Pisot and Salem numbers such as some contribution to Mahler's $3/2$-problem are implicitly deduced. We study similar questions for fixed $\alpha\neq 0$ as well.


title: Nonlocal quantum information transfer without superluminal signalling and communication

abstract: It is a frequent assumption that - via superluminal information transfers - superluminal signals capable of enabling communication are necessarily exchanged in any quantum theory that posits hidden superluminal influences. However, does the presence of hidden superluminal influences automatically imply superluminal signalling and communication? The non-signalling theorem mediates the apparent conflict between quantum mechanics and the theory of special relativity. However, as a 'no-go' theorem there exist two opposing interpretations of the non-signalling constraint: foundational and operational. Concerning Bell's theorem, we argue that Bell employed both interpretations at different times. Bell finally pursued an explicitly operational position on non-signalling which is often associated with ontological quantum theory, e.g., de Broglie-Bohm theory. This position we refer to as "effective non-signalling". By contrast, associated with orthodox quantum mechanics is the foundational position referred to here as "axiomatic non-signalling". In search of a decisive communication-theoretic criterion for differentiating between "axiomatic" and "effective" non-signalling, we employ the operational framework offered by Shannon's mathematical theory of communication. We find that an effective non-signalling theorem represents two sub-theorems, which we call (1) non-transfer-control (NTC) theorem, and (2) non-signification-control (NSC) theorem. Employing NTC and NSC theorems, we report that effective, instead of axiomatic, non-signalling is entirely sufficient for prohibiting nonlocal communication. An effective non-signalling theorem allows for nonlocal quantum information transfer yet - at the same time - effectively denies superluminal signalling and communication.


title: Stellar populations of the bulges of four spiral galaxies

abstract: Key information to understand the formation and evolution of disk galaxies are imprinted in the stellar populations of their bulges. This paper has the purpose to make available new measurements of the stellar population properties of the bulges of four spiral galaxies. Both the central values and radial profiles of the line strength of some of the most common Lick indices are measured along the major- and minor- axis of the bulge-dominated region of the sample galaxies. The corresponding age, metallicity, and {\alpha}/Fe ratio are derived by using the simple stellar population synthesis model predictions. The central values and the gradients of the stellar population properties of ESO-LV1890070, ESO-LV4460170, and ESO-LV 5140100 are consistent with previous findings for bulges of spiral galaxies. On the contrary, the bulge of ESO-LV 4500200 shows peculiar chemical properties possibly due to the presence of a central kinematically-decoupled component. The negative metallicity gradient found in our bulges sample indicates a relevant role for the dissipative collapse in bulge formation. However, the shallow gradients found for the age and {\alpha}/Fe ratio suggests that merging can not be completely ruled out for the sample bulges. This is confirmed by the properties of ESO-LV 4500200 which can hardly be explained without invoking the capture of external material.


title: Who's good this year? Comparing the Information Content of Games in the Four Major US Sports

abstract: In the four major North American professional sports (baseball, basketball, football, and hockey), the primary purpose of the regular season is to determine which teams most deserve to advance to the playoffs. Interestingly, while the ultimate goal of identifying the best teams is the same, the number of regular season games played differs dramatically between the sports, ranging from 16 (football) to 82 (basketball and hockey) to 162 (baseball). Though length of season is partially determined by many factors including travel logistics, rest requirements, playoff structure and television contracts, it is hard to reconcile the 10-fold difference in the number of games between, for example, the NFL and MLB unless football games are somehow more "informative" than baseball games. In this paper, we aim to quantify the amount of information games yield about the relative strength of the teams involved. Our strategy is to assess how well simple paired comparison models fitted from $X%$ of the games within a season predict the outcomes of the remaining $(100-X)%$ of games, for multiple values of $X$. We compare the resulting predictive accuracy curves between seasons within the same sport and across all four sports, and find dramatic differences in the amount of information yielded by individual game results in the four major U.S. sports.


title: End-to-End Photo-Sketch Generation via Fully Convolutional Representation Learning

abstract: Sketch-based face recognition is an interesting task in vision and multimedia research, yet it is quite challenging due to the great difference between face photos and sketches. In this paper, we propose a novel approach for photo-sketch generation, aiming to automatically transform face photos into detail-preserving personal sketches. Unlike the traditional models synthesizing sketches based on a dictionary of exemplars, we develop a fully convolutional network to learn the end-to-end photo-sketch mapping. Our approach takes whole face photos as inputs and directly generates the corresponding sketch images with efficient inference and learning, in which the architecture are stacked by only convolutional kernels of very small sizes. To well capture the person identity during the photo-sketch transformation, we define our optimization objective in the form of joint generative-discriminative minimization. In particular, a discriminative regularization term is incorporated into the photo-sketch generation, enhancing the discriminability of the generated person sketches against other individuals. Extensive experiments on several standard benchmarks suggest that our approach outperforms other state-of-the-art methods in both photo-sketch generation and face sketch verification.


title: The Parabolic Infinite-Laplace Equation in Carnot groups

abstract: By employing a Carnot parabolic maximum principle, we show existence-uniqueness of viscosity solutions to a class of equations modeled on the parabolic infinite Laplace equation in Carnot groups. We show stability of solutions within the class and examine the limit as t goes to infinity.


title: Reciprocal Relations in Dissipationless Hydrodynamics

abstract: Hidden symmetry in dissipationless terms of arbitrary hydrodynamics equations is recognized. We demonstrate that all fluxes are generated by a single function and derive conventional Euler equations using proposed formalism.


title: An algebraic characterization of a Dehn twist for nonorientable surfaces

abstract: Let $N_g^k$ be a nonorientable surface of genus \ $g\geq 5$ \ with \ $k$-punctures. In this note, we will give an algebraic characterization of a Dehn twist about a simple closed curve on $N_g^k$. Along the way, we will fill some little gaps in the proofs of some theorems in \cite{A} and \cite{I1} giving algebraic characterizations of Dehn twists about separating simple closed curves. Indeed, our results will give an algebraic characterization for the topological type of Dehn twists about separating simple closed curves.


title: One Size Does not Fit All: When to Use Signature-based Pruning to Improve Template Matching for RDF graphs

abstract: Signature-based pruning is broadly accepted as an effective way to improve query performance of graph template matching on general labeled graphs. Most existing techniques which utilize signature-based pruning claim its benefits on all datasets and queries. However, the effectiveness of signature-based pruning varies greatly among different RDF datasets and highly related with their dataset characteristics. We observe that the performance benefits from signature-based pruning depend not only on the size of the RDF graphs, but also the underlying graph structure and the complexity of queries. This motivates us to propose a flexible RDF querying framework, called RDF-h, which selectively utilizes signature-based pruning by evaluating the characteristics of RDF datasets and query templates. Scalability and efficiency of RDF-h is demonstrated in experimental results using both real and synthetic datasets. Keywords: RDF, Graph Template Matching, Signature-based Pruning


title: Mechanics of motility initiation and motility arrest in crawling cells

abstract: Motility initiation in crawling cells requires transformation of a symmetric state into a polarized state. In contrast, motility arrest is associated with re-symmetrization of the internal configuration of a cell. Experiments on keratocytes suggest that polarization is triggered by the increased contractility of motor proteins but the conditions of re-symmetrization remain unknown. In this paper we show that if adhesion with the extra-cellular substrate is sufficiently low, the progressive intensification of motor-induced contraction may be responsible for both transitions: from static (symmetric) to motile (polarized) at a lower contractility threshold and from motile (polarized) back to static (symmetric) at a higher contractility threshold. Our model of lamellipodial cell motility is based on a 1D projection of the complex intra-cellular dynamics on the direction of locomotion. In the interest of analytical transparency we also neglect active protrusion and view adhesion as passive. Despite the unavoidable oversimplifications associated with these assumptions, the model reproduces quantitatively the motility initiation pattern in fish keratocytes and reveals a crucial role played in cell motility by the nonlocal feedback between the mechanics and the transport of active agents. A prediction of the model that a crawling cell can stop and re-symmetrize when contractility increases sufficiently far beyond the motility initiation threshold still awaits experimental verification.


title: Residual sweeping effect in turbulent particle pair diffusion in a Lagrangian diffusion model

abstract: Thomson, D. J. \& Devenish, B. J. [{\em J.~Fluid Mech.} 526, 277 (2005)] and others have suggested that sweeping effects make Lagrangian properties in Kinematic Simulations (KS), Fung et al [Fung J. C. H., Hunt J. C. R., Malik N. A. \& Perkins R. J. {\em J.~Fluid Mech.} 236, 281 (1992)], unreliable. Here it is shown through a novel analysis based upon analysing pairs of particle trajectories in a frame of reference moving with the large energy containing scales of motion that the normalized integrated error $e^I_K$ in the turbulent pair diffusivity ($K$) due to the sweeping effect decreases with increasing pair separation ($\sigma_l$), such that $e^I_K\to 0$ as $\sigma_l/\eta\to \infty$; and $e^I_K\to \infty$ as $\sigma_l/\eta\to 0$. $\eta$ is the Kolmogorov turbulence microscale. There is an intermediate range of separations $1<\sigma_l/\eta< \infty$ in which the error $e^I_K$ remains negligible. Simulations using KS shows that in the swept frame of reference, this intermediate range is large covering almost the entire inertial subrange simulated, $1<\sigma_l/\eta< 10^5$, implying that the deviation from locality observed in KS therefore cannot be atributed to sweeping errors and could be real. This is important for pair diffusion theory and modeling.


title: On modules for double affine Lie algebras

abstract: Imaginary Verma modules, parabolic imaginary Verma modules, and Verma modules at level zero for double affine Lie algebras are constructed using three different triangular decompositions. Their relations are investigated, and several results are generalized from the affine Lie algebras. In particular, imaginary highest weight modules, integrable modules, and irreducibility criterion are also studied.


title: Label Placement in Road Maps

abstract: A road map can be interpreted as a graph embedded in the plane, in which each vertex corresponds to a road junction and each edge to a particular road section. We consider the cartographic problem to place non-overlapping road labels along the edges so that as many road sections as possible are identified by their name, i.e., covered by a label. We show that this is NP-hard in general, but the problem can be solved in polynomial time if the road map is an embedded tree.


title: Manipulation of a single magnetic atom using polarized single electron transport in a double quantum dot

abstract: We consider theoretically a magnetic impurity spin driven by polarized electrons tunneling through a double quantum dot system. Spin blockade effect and spin conservation in the system make the magnetic impurity sufficiently interact with each transferring electron. As a results, a single collected electron carries information about spin change of the magnetic impurity. The scheme may develop all electrical manipulation of magnetic atoms by means of single electrons, which is significant for the implementation of scalable logical gates in information processing systems.


title: Hydrodynamics for a model of a confined quasi-two-dimensional granular gas

abstract: The hydrodynamic equations for a model of a confined quasi-two-dimensional gas of smooth inelastic hard spheres are derived from the Boltzmann equation for the model, using a generalization of the Chapman-Enskog method. The heat and momentum fluxes are calculated to Navier-Stokes order, and the associated transport coefficients are explicitly determined as functions of the coefficient of normal restitution and the velocity parameter involved in the definition of the model. Also an Euler transport term contributing to the energy transport equation is considered. This term arises from the gradient expansion of the rate of change of the temperature due to the inelasticity of collisions, and vanishes for elastic systems. The hydrodynamic equations are particularized for the relevant case of a system in the homogeneous steady state. The relationship with previous works is analyzed.


title: On the detection of spectral ripples from the Recombination Epoch

abstract: Photons emitted during the epochs of Hydrogen ($500 \lesssim z \lesssim 1600$) and Helium recombination ($1600 \lesssim z \lesssim 3500$ for HeII $\rightarrow$ HeI, $5000 \lesssim z \lesssim 8000$ for HeIII $\rightarrow$ HeII) are predicted to appear as broad, weak spectral distortions of the Cosmic Microwave Background. We present a feasibility study for a ground-based experimental detection of these recombination lines, which would provide an observational constraint on the thermal ionization history of the Universe, uniquely probing astrophysical cosmology beyond the last scattering surface. We find that an octave band in the 2--6 GHz window is optimal for such an experiment, both maximizing signal-to-noise ratio and including sufficient line spectral structure. At these frequencies the predicted signal appears as an additive quasi-sinusoidal component with amplitude about $8$ nK that is embedded in a sky spectrum some nine orders of magnitude brighter. We discuss an algorithm to detect these tiny spectral fluctuations in the sky spectrum by foreground modeling. We introduce a \textit{Maximally Smooth} function capable of describing the foreground spectrum and distinguishing the signal of interest. With Bayesian statistical tests and mock data we estimate that a detection of the predicted distortions is possible with 90\% confidence by observing for 255 days with an array of 128 radiometers using cryogenically cooled state-of-the-art receivers. We conclude that detection is in principle feasible in realistic observing times; we propose APSERa---Array of Precision Spectrometers for the Epoch of Recombination---a dedicated radio telescope to detect these recombination lines.


title: A Leakage Current-based Measurement of the Radiation Damage in the ATLAS Pixel Detector

abstract: A measurement has been made of the radiation damage incurred by the ATLAS Pixel Detector barrel silicon modules from the beginning of operations through the end of 2012. This translates to hadronic fluence received over the full period of operation at energies up to and including 8 TeV. The measurement is based on a per-module measurement of the silicon sensor leakage current. The results are presented as a function of integrated luminosity and compared to predictions by the Hamburg Model. This information can be used to predict limits on the lifetime of the Pixel Detector due to current, for various operating scenarios.


title: Boundary and Exterior of a Multiset Topology

abstract: The concepts of exterior and boundary in multiset topological space are introduced. We further established few relationships between the concepts of boundary, closure, exterior and interior of an M- set. These concepts have been pigeonholed by other existing notions viz., open sets, closed sets, clopen sets and limit points. The necessary and sufficient condition for a multiset to have an empty exterior is also discussed.


title: Maximum velocity of self-propulsion for an active segment

abstract: The motor part of a crawling eukaryotic cell can be represented schematically as an active continuum layer. The main active processes in this layer are protrusion, originating from non-equilibrium polymerization of actin fibers, contraction, induced by myosin molecular motors and attachment due to active bonding of trans-membrane proteins to a substrate. All three active mechanisms are regulated by complex signaling pathways involving chemical and mechanical feedback loops whose microscopic functioning is still poorly understood. In this situation, it is instructive to take a reverse engineering approach and study a problem of finding the spatial organization of standard active elements inside a crawling layer ensuring an optimal cost-performance trade-off. In this paper we assume that (in the range of interest) the energetic cost of self-propulsion is velocity independent and adopt, as an optimality criterion, the maximization of the overall velocity. We then choose a prototypical setting, formulate the corresponding variational problem and obtain a set of bounds suggesting that radically different spatial distributions of adhesive complexes would be optimal depending on the domineering active mechanism of self-propulsion. Thus, for contraction-dominated motility, adhesion has to cooperate with 'pullers' which localize at the trailing edge of the cell, while for protrusion-dominated motility it must conspire with 'pushers' concentrating at the leading edge of the cell. Both types of crawling mechanisms were observed experimentally.


title: The Logic of Counting Query Answers

abstract: We consider the problem of counting the number of answers to a first-order formula on a finite structure. We present and study an extension of first-order logic in which algorithms for this counting problem can be naturally and conveniently expressed, in senses that are made precise and that are motivated by the wish to understand tractable cases of the counting problem.


title: ggRandomForests: Visually Exploring a Random Forest for Regression

abstract: Random Forests [Breiman:2001] (RF) are a fully non-parametric statistical method requiring no distributional assumptions on covariate relation to the response. RF are a robust, nonlinear technique that optimizes predictive accuracy by fitting an ensemble of trees to stabilize model estimates. The randomForestSRC package (http://cran.r-project.org/package=randomForestSRC) is a unified treatment of Breiman's random forests for survival, regression and classification problems. Predictive accuracy make RF an attractive alternative to parametric models, though complexity and interpretability of the forest hinder wider application of the method. We introduce the ggRandomForests package (http://cran.r-project.org/package=ggRandomForests), for visually understand random forest models grown in R with the randomForestSRC package. The vignette is a tutorial for using the ggRandomForests package with the randomForestSRC package for building and post-processing a regression random forest. In this tutorial, we explore a random forest model for the Boston Housing Data, available in the MASS package. We grow a random forest for regression and demonstrate how ggRandomForests can be used when determining variable associations, interactions and how the response depends on predictive variables within the model. The tutorial demonstrates the design and usage of many of ggRandomForests functions and features how to modify and customize the resulting ggplot2 graphic objects along the way. A development version of the ggRandomForests package is available on Github. We invite comments, feature requests and bug reports for this package at (https://github.com/ehrlinger/ggRandomForests).


title: Spin and Magnetism of White Dwarfs

abstract: The magnetism and rotation of white dwarf (WD) stars are investigated in relation to a hydromagnetic dynamo operating in the progenitor during shell burning phases. The downward pumping of angular momentum in the convective envelope, in combination with the absorption of a planet or tidal spin-up from a binary companion, can trigger strong dynamo action near the core-envelope boundary. Several arguments point to the outer core as the source for a magnetic field in the WD remnant: the outer third of a $\sim 0.55\,M_\odot$ WD is processed during the shell burning phase(s) of the progenitor; the escape of magnetic helicity through the envelope mediates the growth of (compensating) helicity in the core, as is needed to maintain a stable magnetic field in the remnant; and the intense radiation flux at the core boundary facilitates magnetic buoyancy within a relatively thick tachocline layer. The helicity flux into the growing core is driven by a dynamical imbalance with a latitude-dependent rotational stress. The magnetic field deposited in an isolated massive WD is concentrated in an outer shell of mass $\lesssim 0.1\,M_\odot$ and can reach $\sim 10\,$MG. A buried toroidal field experiences moderate ohmic decay above an age $\sim 0.3$ Gyr, which may lead to growth or decay of the external magnetic field. The final WD spin period is related to a critical spin rate below which magnetic activity shuts off, and core and envelope decouple; it generally sits in the range of hours to days. WD periods ranging up to a year are possible if the envelope re-expands following a late thermal pulse.


title: A nonparametric Bayesian test of dependence

abstract: In this article, we propose a new method for the fundamental task of testing for dependence between two groups of variables. The response densities under the null hypothesis of independence and the alternative hypothesis of dependence are specified by nonparametric Bayesian models. Under the null hypothesis, the joint distribution is modeled by the product of two independent Dirichlet Process Mixture (DPM) priors; under the alternative, the full joint density is modeled by a multivariate DPM prior. The test is then based on the posterior probability of favoring the alternative hypothesis. The proposed test not only has good performance for testing linear dependence among other popular nonparametric tests, but is also preferred to other methods in testing many of the nonlinear dependencies we explored. In the analysis of gene expression data, we compare different methods for testing pairwise dependence between genes. The results show that the proposed test identifies some dependence structures that are not detected by other tests.


title: The physical reality of the quantum wave function

abstract: Can it possibly be that the proper interpretation of quantum theory, which allows a quantum system to be in a superposition of mutually exclusive states, is itself a superposition of seemingly contradicting interpretations?


title: Proper actions on strongly regular homogeneous spaces

abstract: Let G/H be a strongly regular homogeneous space such that H is a Lie group of inner type. We show that G/H admits a proper action of a discrete non-virtually abelian subgroup of G if and only if G/H admits a proper action of a subgroup L of G locally isomorphic to SL(2,R). We classify all such spaces.


title: Everyday the Same Picture: Popularity and Content Diversity

abstract: Facebook is flooded by diverse and heterogeneous content, from kittens up to music and news, passing through satirical and funny stories. Each piece of that corpus reflects the heterogeneity of the underlying social background. In the Italian Facebook we have found an interesting case: a page having more than $40K$ followers that every day posts the same picture of a popular Italian singer. In this work, we use such a page as a control to study and model the relationship between content heterogeneity on popularity. In particular, we use that page for a comparative analysis of information consumption patterns with respect to pages posting science and conspiracy news. In total, we analyze about $2M$ likes and $190K$ comments, made by approximately $340K$ and $65K$ users, respectively. We conclude the paper by introducing a model mimicking users selection preferences accounting for the heterogeneity of contents.

categories: cs.SI cs.HC physics.data-an physics.soc-ph


title: Geometry and symmetry of quantum and classical-quantum variational principles

abstract: This paper presents the geometric setting of quantum variational principles and extends it to comprise the interaction between classical and quantum degrees of freedom. Euler-Poincar\'e reduction theory is applied to the Schr\"odinger, Heisenberg and Wigner-Moyal dynamics of pure states. This construction leads to new variational principles for the description of mixed quantum states. The corresponding momentum map properties are presented as they arise from the underlying unitary symmetries. Finally, certain semidirect-product group structures are shown to produce new variational principles for Dirac's interaction picture and the equations of hybrid classical-quantum dynamics.

categories: quant-ph math-ph math.MP physics.chem-ph


title: Structural Patterns of the Occupy Movement on Facebook

abstract: In this work we study a peculiar example of social organization on Facebook: the Occupy Movement -- i.e., an international protest movement against social and economic inequality organized online at a city level. We consider 179 US Facebook public pages during the time period between September 2011 and February 2013. The dataset includes 618K active users and 753K posts that received about 5.2M likes and 1.1M comments. By labeling user according to their interaction patterns on pages -- e.g., a user is considered to be polarized if she has at least the 95% of her likes on a specific page -- we find that activities are not locally coordinated by geographically close pages, but are driven by pages linked to major US cities that act as hubs within the various groups. Such a pattern is verified even by extracting the backbone structure -- i.e., filtering statistically relevant weight heterogeneities -- for both the pages-reshares and the pages-common users networks.


title: On the transferability of three water models developed by adaptive force matching

abstract: Water is perhaps the most simulated liquid. Recently three water models have been developed following the adaptive force matching (AFM) method that provides excellent predictions of water properties with only electronic structure information as a reference. Compared to many other electronic structure based force fields that rely on fairly sophisticated energy expressions, the AFM water models use point-charge based energy expressions that are supported by most popular molecular dynamics packages. An outstanding question regarding simple force fields is whether such force fields provide reasonable transferability outside of their conditions of parameterization. A survey of three AFM water models, B3LYPD-4F, BLYPSP-4F, and WAIL are provided for simulations under conditions ranging from the melting point up to the critical point. By including ice-Ih configurations in the training set, the WAIL potential predicts the melting temperate, TM, of ice-Ih correctly. Without training for ice, BLYPSP-4F underestimates TM by about 15 K. Interestingly, the B3LYPD-4F model gives a TM 14 K too high. The overestimation of TM by B3LYPD-4F mostly likely reflects a deficiency of the B3LYP reference. The BLYPSP-4F model gives the best estimate of the boiling temperature TB and is arguably the best potential for simulating water in the temperature range from TM to TB. None of the three AFM potentials provides a good description of the critical point. Although the B3LYPD-4F model gives the correct critical temperature TC and critical density, there are good reasons to believe the agreement is reached fortuitously. Links to Gromacs input files for the three water models are provided at the end of the paper.


title: Algebraic background for numerical methods, control theory and renormalization

abstract: We review some important algebraic structures which appear in a priori remote areas of Mathematics, such as control theory, numerical methods for solving differential equations, and renormalization in Quantum Field Theory. Starting with connected Hopf algebras we will also introduce augmented operads, and devote a substantial part to pre-Lie algebras. Other related algebraic structures (Rota-Baxter and dendriform algebras, NAP algebras) will be also mentioned.


title: Dynamics of heat and mass transport in a quantum insulator

abstract: The real time evolution of two pieces of quantum insulators, initially at different temperatures, is studied when they are glued together. Specifically, each subsystem is taken as a Bose-Hubbard model in a Mott insulator state. The process of temperature equilibration via heat transfer is simulated in real time using the Minimally Entangled Typical Thermal States algorithm. The analytic theory based on quasiparticles transport is also given.


title: Sweeping process by prox-regular sets in Riemannian Hilbert manifolds

abstract: In this paper, we deal with sweeping processes on (possibly infinite-dimensional) Riemannian Hilbert manifolds. We extend the useful notions (proximal normal cone, prox-regularity) already defined in the setting of a Hilbert space to the framework of such manifolds. Especially we introduce the concept of local prox-regularity of a closed subset in accordance with the geometrical features of the ambient manifold and we check that this regularity implies a property of hypomonotonicity for the proximal normal cone. Moreover we show that the metric projection onto a locally prox-regular set is single-valued in its neighborhood. Then under some assumptions, we prove the well-posedness of perturbed sweeping processes by locally prox-regular sets.


title: Field induced anisotropic cooperativity in a magnetic colloidal glass

abstract: The translational dynamics in a repulsive colloidal glass-former is probed by time-resolved X-ray Photon Correlation Spectroscopy. In this dense dispersion of charge-stabilized and magnetic nanoparticles, the interaction potential can be tuned, from quasi-isotropic to anisotropic by applying an external magnetic field. Structural and dynamical anisotropies are reported on interparticle lengthscales associated with highly anisotropic cooperativity, almost two orders of magnitude larger in the field direction than in the perpendicular direction and in zero field.


title: Bernays-Schoenfinkel-Ramsey with Simple Bounds is NEXPTIME-complete

abstract: First-order predicate logic extended with linear arithmetic is undecidable, in general. We show that the Bernays-Sch\"onfinkel-Ramsey (BSR) fragment extended with linear arithmetic restricted to simple bounds (SB) is decidable through finite ground instantiation. The identified ground instances can be employed to restrict the search space of existing automated reasoning procedures for BSR(SB). Satisfiability of BSR(SB) compared to BSR remains NEXPTIME-complete. The decidability result is almost tight because BSR is undecidable if extended with linear difference inequations, simple additive inequations, quotient inequations and multiplicative inequations.


title: Partial covering of emission regions of Q 0528-250 by intervening H$_2$ clouds

abstract: We present an analysis of the molecular hydrogen absorption system at z$_{\rm abs}$ = 2.811 in the spectrum of the blazar Q0528-250. We demonstrate that the molecular cloud does not cover the background source completely. The partial coverage reveals itself as a residual flux in the bottom of saturated H_2 absorption lines. This amounts to about (2.22$\pm$0.54)% of the continuum and does not depend on the wavelength. This value is small and it explains why this effect has not been detected in previous studies of this quasar spectrum. However, it is robustly detected and significantly higher than the zero flux level in the bottom of saturated lines of the Ly-alpha forest, (-0.21$\pm$0.22)%. The presence of the residual flux could be caused by unresolved quasar multicomponents, by light scattered by dust, and/or by jet-cloud interaction. The H$_2$ absorption system is very well described by a two-component model without inclusion of additional components when we take partial coverage into account. The derived total column densities in the H$_2$ absorption components A and B are logN(H$_2$)[cm$^{-2}$] = 18.10$\pm$0.02 and 17.82$\pm$0.02, respectively. HD molecules are present only in component B. Given the column density, logN(HD)= 13.33$\pm$0.02, we find N(HD)/2N(H$_2$)=(1.48$\pm$0.10)x10$^{-5}$, significantly lower than previous estimations. We argue that it is crucial to take into account partial coverage effects for any analysis of H$_2$ bearing absorption systems, in particular when studying the physical state of high-redshift interstellar medium.


title: A Parabolic Problem with a Fractional-Time Derivative

abstract: We study regularity for a parabolic problem with fractional diffusion in space and a fractional time derivative. Our main result is a De Giorgi-Nash-Moser Holder regularity theorem for solutions in a divergence form equation. We also prove results regarding existence, uniqueness, and higher regularity in time.


title: Continuous-variable quantum enigma machines for long-distance key distribution

abstract: Quantum physics allows for unconditionally secure communication through insecure communication channels. The achievable rates of quantum-secured communication are fundamentally limited by the laws of quantum physics and in particular by the properties of entanglement. For a lossy communication line, this implies that the secret-key generation rate vanishes at least exponentially with the communication distance. We show that this fundamental limitation can be violated in a realistic scenario where the eavesdropper can store quantum information for only a finite, yet arbitrarily long, time. We consider communication through a lossy bononic channel (modeling linear loss in optical fibers) and we show that it is in principle possible to achieve a constant rate of key generation of one bit per optical mode over arbitrarily long communication distances.


title: Cause of East-West Earth Asymmetry

abstract: The different slope of the Wadati-Benioff zones oriented towards east and west is considered a main asymmetry of the Earth's globe. Under the Americas they have angles of about 30o, while under the Pacific east coasts (Asia, Japan) the angles are steeper. In the framework of plate tectonics geodynamics the cause of this difference can be identified in the tidal drag that would cause a global shift of the lithosphere towards west. But this solution has been many times criticized on the basis of the irrelevance of the tidal forces with respect to viscous friction. Instead, it is possible to show that in a different framework, in which sudden extrusions of mantle materials occur by local phase change toward a more unpacked lattice, the value of the Coriolis fictitious force can rise of several magnitude orders, becoming the main cause of the east-west asymmetry of the Wadati-Benioff zones, which might be ascribed entirely to internal causes of the planet (its rotation and geodynamics) and not to external causes (influence of other celestial bodies). Some astrogeodetic clues supporting the new geodynamic scenario are scrutinized.


title: The three giri of Paradiso XXXIII

abstract: Our paper offers an analysis of how Dante describes the tre giri ("three rings") of the Holy Trinity in Paradiso 33 of the Divine Comedy. We point to the myriad possibilities Dante may have been envisioning when he describes his vision of God at this final stage in his journey. Saiber focuses on the features of shape, motion, size, color, and orientation that Dante details in describing the Trinity. Mbirika uses mathematical tools from topology (specifically, knot theory) and combinatorics to analyze all the possible configurations that have a specific layout of three intertwining circles which we find particularly compelling given Dante's description of the Trinity: the round figures arranged in a triangular format with rotational and reflective symmetry. Of the many possible link patterns, we isolate two particularly suggestive arrangements for the giri: the Brunnian link and the (3,3)-torus link. These two patterns lend themselves readily to a Trinitarian model.


title: Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras

abstract: Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. Similar to well-known results for monadic second-order logic over trees, we provide a translation of this logic into a class of automata, relative to the class of coalgebras that admit a tree-like supporting Kripke frame. We then consider invariance under behavioral equivalence of formulas; more in particular, we investigate whether the coalgebraic mu-calculus is the bisimulation-invariant fragment of monadic second-order logic. Building on recent results by the third author we show that in order to provide such a coalgebraic generalization of the Janin-Walukiewicz Theorem, it suffices to find what we call an adequate uniform construction for the functor. As applications of this result we obtain a partly new proof of the Janin-Walukiewicz Theorem, and bisimulation invariance results for the bag functor (graded modal logic) and all exponential polynomial functors. Finally, we consider in some detail the monotone neighborhood functor, which provides coalgebraic semantics for monotone modal logic. It turns out that there is no adequate uniform construction for this functor, whence the automata-theoretic approach towards bisimulation invariance does not apply directly. This problem can be overcome if we consider global bisimulations between neighborhood models: one of our main technical results provides a characterization of the monotone modal mu-calculus extended with the global modalities, as the fragment of monadic second-order logic for the monotone neighborhood functor that is invariant for global bisimulations.


title: Spectral functions and time evolution from the Chebyshev recursion

abstract: We link linear prediction of Chebyshev and Fourier expansions to analytic continuation. We push the resolution in the Chebyshev-based computation of $T=0$ many-body spectral functions to a much higher precision by deriving a modified Chebyshev series expansion that allows to reduce the expansion order by a factor $\sim\frac{1}{6}$. We show that in a certain limit the Chebyshev technique becomes equivalent to computing spectral functions via time evolution and subsequent Fourier transform. This introduces a novel recursive time evolution algorithm that instead of the group operator $e^{-iHt}$ only involves the action of the generator $H$. For quantum impurity problems, we introduce an adapted discretization scheme for the bath spectral function. We discuss the relevance of these results for matrix product state (MPS) based DMRG-type algorithms, and their use within dynamical mean-field theory (DMFT). We present strong evidence that the Chebyshev recursion extracts less spectral information from $H$ than time evolution algorithms when fixing a given amount of created entanglement.


title: Rotation of Giant Stars

abstract: The internal rotation of post-main sequence stars is investigated, in response to the convective pumping of angular momentum toward the stellar core, combined with a tight magnetic coupling between core and envelope. The spin evolution is calculated using model stars of initial mass 1, 1.5 and $5\,M_\odot$, taking into account mass loss on the giant branches. We also include the deposition of orbital angular momentum from a sub-stellar companion, as influenced by tidal drag along with the excitation of orbital eccentricity by a fluctuating gravitational quadrupole moment. A range of angular velocity profiles $\Omega(r)$ is considered in the envelope, extending from solid rotation to constant specific angular momentum. We focus on the back reaction of the Coriolis force, and the threshold for dynamo action in the inner envelope. Quantitative agreement with measurements of core rotation in subgiants and post-He core flash stars by Kepler is obtained with a two-layer angular velocity profile: uniform specific angular momentum where the Coriolis parameter ${\rm Co} \equiv \Omega \tau_{\rm con} \lesssim 1$ (here $\tau_{\rm con}$ is the convective time); and $\Omega(r) \propto r^{-1}$ where ${\rm Co} \gtrsim 1$. The inner profile is interpreted in terms of a balance between the Coriolis force and angular pressure gradients driven by radially extended convective plumes. Inward angular momentum pumping reduces the surface rotation of subgiants, and the need for a rejuvenated magnetic wind torque. The co-evolution of internal magnetic fields and rotation is considered in Kissin & Thompson, along with the breaking of the rotational coupling between core and envelope due to heavy mass loss.


title: Model-independent calculation of $SU(3)_f$ violation in baryon octet light-cone distribution amplitudes

abstract: In this work we present a minimal parametrization of the light-cone distribution amplitudes of the baryon octet including higher twist contributions. Simultaneously we obtain the quark mass dependence of the amplitudes at leading one-loop accuracy by the use of three-flavor baryon chiral perturbation theory (BChPT), which automatically yields model-independent results for the leading $SU(3)$ flavor breaking effects. For that purpose we have constructed the nonlocal light-cone three-quark operators in terms of baryon octet and meson fields and have carried out a next-to-leading order BChPT calculation. We were able to find a minimal set of distribution amplitudes (DAs) that do not mix under chiral extrapolation towards the physical point and naturally embed the $\Lambda$ baryon. Additionally they are chosen in such a way that all DAs of a certain symmetry class have a similar quark mass dependence (independent of the twist of the corresponding amplitude), which allows for a compact presentation. The results are well-suited for the extrapolation of lattice data and for model building.


title: Statistical Analysis and Stochastic Dislocation-Based Modelling of Microplasticity

abstract: Plastic deformation in microscale differs from the macroscopic plasticity in two respects: (i) the flow stress of small samples depends on their size (ii) the scatter of plasticity increases significantly. In this work we focus on the scatter of plasticity. We statistically characterize the deformation process of micropillars under tension using results from discrete dislocation dynamics (DDD) simulations. We then propose a stochastic microplasticity model which uses the extracted information from the above statistical characterization to make statistical predictions regarding the micropillar stress-strain curves. This model aims to map the complex dynamics of interacting dislocations onto a stochastic processes involving the continuum variables of stress and strain. Therefore, it combines a classical continuum description of the elastic-plastic problem with a stochastic description of the discrete dislocation dynamics. We compare the model predictions with the underlying DDD simulations and outline potential future applications of the same modelling approach.


title: Discovery of an OB Runaway Star Inside SNR S147

abstract: We present first results of a long term study: Searching for OB--type runaway stars inside supernova remnants (SNRs). We identified spectral types and measured radial velocities (RV) by optical spectroscopic observations and we found an early type runaway star inside SNR S147. HD 37424 is a B0.5V type star with a peculiar velocity of 74$\pm$8 km s$^{-1}$. Tracing back the past trajectories via Monte Carlo simulations, we found that HD 37424 was located at the same position as the central compact object, PSR J0538+2817, $30\!\pm\!4$ kyr ago. This position is only $\sim$4 arcmin away from the geometrical center of the SNR. So, we suggest that HD 37424 was the pre--supernova binary companion to the progenitor of the pulsar and the SNR. We found a distance of 1333$^{+103}_{-112}$ pc to the SNR. The zero age main sequence progenitor mass should be greater than 13 $M_\odot$. The age is $30\pm4$ kyr and the total visual absorption towards the center is 1.28$\pm$0.06 mag. For different progenitor masses, we calculated the pre--supernova binary parameters. The Roche Lobe radii suggest that it was an interacting binary in the late stages of the progenitor.


title: Simulating biofilm deformation and detachment with the immersed boundary method

abstract: We apply the immersed boundary (or IB) method to simulate deformation and detachment of a periodic array of wall-bounded biofilm colonies in response to a linear shear flow. The biofilm material is represented as a network of Hookean springs that are placed along the edges of a triangulation of the biofilm region. The interfacial shear stress, lift and drag forces acting on the biofilm colony are computed by using fluid stress jump method developed by Williams, Fauci and Gaver [Disc. Contin. Dyn. Sys. B 11(2):519-540, 2009], with a modified version of their exclusion filter. Our detachment criterion is based on the novel concept of an averaged equivalent continuum stress tensor defined at each IB point in the biofilm which is then used to determine a corresponding von Mises yield stress; wherever this yield stress exceeds a given critical threshold the connections to that node are severed, thereby signalling the onset of a detachment event. In order to capture the deformation and detachment behaviour of a biofilm colony at different stages of growth, we consider a family of four biofilm shapes with varying aspect ratio. Our numerical simulations focus on the behaviour of weak biofilms (with relatively low yield stress threshold) and investigate features of the fluid-structure interaction such as locations of maximum shear and increased drag. The most important conclusion of this work is that the commonly employed detachment strategy in biofilm models based only on interfacial shear stress can lead to incorrect or inaccurate results when applied to the study of shear induced detachment of weak biofilms. Our detachment strategy based on equivalent continuum stresses provides a unified and consistent IB framework that handles both sloughing and erosion modes of biofilm detachment, and is consistent with strategies employed in many other continuum based biofilm models.


title: Using the Galileoscope in astronomical observations

abstract: This project aims to attract school students and teachers from the state education system from Ca\c{c}apava do Sul - RS to Sciences and specially to Astronomy. We made astronomical observations using a Galileoscope choosing the Moon as a primary target. We also observed others objects that present high brightness in the night sky. The selection of targets, and their identification during the observations were carried out by a free software of planetary simulation, Stellarium. The results were in qualitative form and they show the great interest demonstrated by those participating in the project. Furthermore, this project helped to improve the understanding of the physical proprieties of the night sky objects (e.g. color). Finally, the project has showed that using a simple equipment and of relatively low cost it is possible to bring more people, specially the young students, to the Science World and to Astronomy.


title: First-principles theory of field-effect doping in transition-metal dichalcogenides: Structural properties, electronic structure, Hall coefficient, and electrical conductivity

abstract: We investigate how field-effect doping affects the structural properties, the electronic structure and the Hall coefficient of few-layers transition metal dichalcogenides by using density-functional theory. We consider mono-, bi-, and trilayers of the H polytype of MoS2, MoSe2, MoTe2, WS2, and WSe2 and provide a full database of electronic structures and Hall coefficients for hole and electron doping. We find that, for both electron and hole doping, the electronic structure depends on the number of layers and cannot be described by a rigid band shift. Furthermore, it is important to relax the structure under the asymmetric electric field. Interestingly, while the width of the conducting channel depends on the doping, the number of occupied bands at each given k point is almost uncorrelated with the thickness of the doping-charge distribution. Finally, we calculate within the constant-relaxation-time approximation the electrical conductivity and the inverse Hall coefficient. We demonstrate that in some cases the charge determined by Hall-effect measurements can deviate from the real charge by up to 50%. For hole-doped MoTe2 the Hall charge has even the wrong polarity at low temperature. We provide the mapping between the doping charge and the Hall coefficient. In the appendix we present more than 250 band structures for all doping levels of the transition-metal dichalcogenides considered within this work.


title: Decouplings for surfaces in R^4

abstract: We prove a sharp decoupling for non degenerate surfaces in $\R^4$. This puts the recent progress on the Lindel\"of hypothesis into a more general perspective.


title: Dual Plane Imaging

abstract: We outline a technique called Dual Plane Imaging which should significantly improve images which would otherwise be blurred due to atmospheric turbulence. The technique involves capturing all the spatial, directional and temporal information about the arriving photons and processing the data afterwards to produce the sharpened images. The technique has particular relevance for imaging at around 400-1000nm on extremely large telescopes (ELTs).


title: Higgs boson decay into b-quarks at NNLO accuracy

abstract: We compute the fully differential decay rate of the Standard Model Higgs boson into b-quarks at next-to-next-to-leading order (NNLO) accuracy in alpha_S. We employ a general subtraction scheme developed for the calculation of higher order perturbative corrections to QCD jet cross sections, which is based on the universal infrared factorization properties of QCD squared matrix elements. We show that the subtractions render the various contributions to the NNLO correction finite. In particular, we demonstrate analytically that the sum of integrated subtraction terms correctly reproduces the infrared poles of the two-loop double virtual contribution to this process. We present illustrative differential distributions obtained by implementing the method in a parton level Monte Carlo program. The basic ingredients of our subtraction scheme, used here for the first time to compute a physical observable, are universal and can be employed for the computation of more involved processes.


title: A Neural Network Anomaly Detector Using the Random Cluster Model

abstract: The random cluster model is used to define an upper bound on a distance measure as a function of the number of data points to be classified and the expected value of the number of classes to form in a hybrid K-means and regression classification methodology, with the intent of detecting anomalies. Conditions are given for the identification of classes which contain anomalies and individual anomalies within identified classes. A neural network model describes the decision region-separating surface for offline storage and recall in any new anomaly detection.


title: Shear-Transformation-Zone Theory of Yielding in Athermal Amorphous Materials

abstract: Yielding transitions in athermal amorphous materials resemble critical phenomena. Historically, they have been described by the Herschel-Bulkley rheological formula, which implies singular behaviors at yield points. In this paper, I examine this class of phenomena using an elementary version of the thermodynamic shear-transformation-zone (STZ) theory, focusing on the role of the effective disorder temperature, and paying special attention to scaling and dimensional arguments. I find a wide variety of Herschel-Bulkley-like rheologies but, for fundamental reasons not specific to the STZ theory, conclude that the yielding transition is not truly critical. In particular, there is a correlation length that grows rapidly, but ultimately saturates near the yield point.


title: Interplay of disorder and geometrical frustration in doped Gadolinium Gallium Garnet

abstract: The geometrically-frustrated, triangular antiferromagnet GGG exhibits a rich mix of short-range order and isolated quantum states. We investigate the effects of up to 1% Neodymium substitution for Gallium on the ac magnetic response at temperatures below 1 K in both the linear and nonlinear regimes. Substitutional disorder actually drives the system towards a more perfectly frustrated state, apparently compensating for the effect of imperfect Gadolinium/Gallium stoichiometry, while at the same time more closely demarcating the boundaries of isolated, coherent clusters composed of hundreds of spins. Optical measurements of the local Nd environment substantiate the picture of an increased frustration index with doping.


title: On the accuracy of using Fokker Planck equation in heavy ion collision

abstract: Application of Fokker-Planck equation to heavy quark transport in the evolving medium created in heavy ion collision is critically scrutinised. We realise that the approach introduces a moderate uncertainty in drag and diffusion coefficients culminating in huge ambiguity in the theoretical prediction of nuclear modification factor $R_{AA}$. Quantitative estimation of the error is presented by considering recent developments in this field.


title: Hidden antiferromagnetism on the light-irradiated surface of bulk SrTiO3 and at the LaAlO3_SrTiO3 interfaces

abstract: We study properties of electrons on illuminated surfaces of SrTiO3 with titanium dxz_dyz and dxy bands for their spectrum. Recently A. F. Santander-Syro et al [Nature Materials, 13, 1085 (2014)] found that the dxy bands actually comprise two chiral branches with the Kramers degeneracy at the zone center lifted in absence of a magnetic moment. From symmetry analysis of instabilities possible in the Fermi liquid with exchange interactions we identified the metallic in-layer state with the concrete antiferromagnetic phase and discuss if the same state materializes at conducting LaAlO3_SrTiO3 interfaces.


title: DES13S2cmm: The First Superluminous Supernova from the Dark Energy Survey

abstract: We present DES13S2cmm, the first spectroscopically-confirmed superluminous supernova (SLSN) from the Dark Energy Survey (DES). We briefly discuss the data and search algorithm used to find this event in the first year of DES operations, and outline the spectroscopic data obtained from the European Southern Observatory (ESO) Very Large Telescope to confirm its redshift (z = 0.663 +/- 0.001 based on the host-galaxy emission lines) and likely spectral type (type I). Using this redshift, we find M_U_peak = -21.05 +0.10 -0.09 for the peak, rest-frame U-band absolute magnitude, and find DES13S2cmm to be located in a faint, low metallicity (sub-solar), low stellar-mass host galaxy (log(M/M_sun) = 9.3 +/- 0.3); consistent with what is seen for other SLSNe-I. We compare the bolometric light curve of DES13S2cmm to fourteen similarly well-observed SLSNe-I in the literature and find it possesses one of the slowest declining tails (beyond +30 days rest frame past peak), and is the faintest at peak. Moreover, we find the bolometric light curves of all SLSNe-I studied herein possess a dispersion of only 0.2-0.3 magnitudes between +25 and +30 days after peak (rest frame) depending on redshift range studied; this could be important for 'standardising' such supernovae, as is done with the more common type Ia. We fit the bolometric light curve of DES13S2cmm with two competing models for SLSNe-I - the radioactive decay of 56Ni, and a magnetar - and find that while the magnetar is formally a better fit, neither model provides a compelling match to the data. Although we are unable to conclusively differentiate between these two physical models for this particular SLSN-I, further DES observations of more SLSNe-I should break this degeneracy, especially if the light curves of SLSNe-I can be observed beyond 100 days in the rest frame of the supernova.


title: Generalized Gramians: Creating frame vectors in maximal subspaces

abstract: A frame is a system of vectors $S$ in Hilbert space $\mathscr{H}$ with properties which allow one to write algorithms for the two operations, analysis and synthesis, relative to $S$, for all vectors in $\mathscr{H}$; expressed in norm-convergent series. Traditionally, frame properties are expressed in terms of an $S$-Gramian, $G_{S}$ (an infinite matrix with entries equal to the inner product of pairs of vectors in $S$); but still with strong restrictions on the given system of vectors in $S$, in order to guarantee frame-bounds. In this paper we remove these restrictions on $G_{S}$, and we obtain instead direct-integral analysis/synthesis formulas. We show that, in spectral subspaces of every finite interval $J$ in the positive half-line, there are associated standard frames, with frame-bounds equal the endpoints of $J$. Applications are given to reproducing kernel Hilbert spaces, and to random fields.


title: Einstein-Yang-Mills-Lorentz black holes

abstract: Different black hole solutions of the coupled Einstein-Yang-Mills equations have been well known for a long time. They have attracted much attention from mathematicians and physicists since their discovery. In this work, we analyze black holes associated with the gauge Lorentz group. In particular, we study solutions which identify the gauge connection with the spin connection. This ansatz allows one to find exact solutions to the complete system of equations. By using this procedure, we show the equivalence between the Yang-Mills-Lorentz model in curved space-time and a particular set of extended gravitational theories.


title: Monotonicity of zeros of polynomials orthogonal with respect to a discrete measure

abstract: We prove that all zeros of the polynomials orthogonal with respect to a measure $d \mu(x;a) = d \mu(x) + M \delta(x-a)$, where $d\mu$ is a nonatomic positive Borel measure and $M>0$, are increasing functions of the mass point $a$. Thus we solve partially an open problem posed by Mourad Ismail.


title: Stringy Symmetries and the Higher Spin Square

abstract: Tensionless string theory on AdS3 x S3 x T4, as captured by a free symmetric product orbifold, has a large set of conserved currents which can be usefully organised in terms of representations of a N=(4,4) supersymmetric higher spin algebra. In this paper we focus on the single particle currents which generate the asymptotic stringy symmetry algebra on AdS3, and whose wedge modes describe the unbroken gauge symmetries of string theory in this background. We show that this global subalgebra contains two distinct higher spin algebras that generate the full algebra as a `higher spin square'. The resulting unbroken stringy symmetry algebra is exponentially larger than the two individual higher spin algebras.


title: Smoluchowski Diffusion Equation for Active Brownian Swimmers

abstract: We study the free diffusion in two dimensions of active-Brownian swimmers subject to passive fluctuations on the translational motion and to active fluctuations on the rotational one. The Smoluchowski equation is derived from a Langevin-like model of active swimmers, and analytically solved in the long-time regime for arbitrary values of the P\'eclet number, this allows us to analyze the out-of-equilibrium evolution of the positions distribution of active particles at all time regimes. Explicit expressions for the mean-square displacement and for the kurtosis of the probability distribution function are presented, and the effects of persistence discussed. We show through Brownian dynamics simulations that our prescription for the mean-square displacement gives the exact time dependence at all times. The departure of the probability distribution from a Gaussian, measured by the kurtosis, is also analyzed both analytically and computationally. We find that for P\'eclet numbers $\lesssim 0.1$, the distance from Gaussian increases as $\sim t^{-2}$ at short times, while it diminishes as $\sim t^{-1}$ in the asymptotic limit.


title: High Resolution Muon Computed Tomography at Neutrino Beam Facilities

abstract: X-ray computed tomography (CT) has an indispensable role in constructing 3D images of objects made from light materials. However, limited by absorption coefficients, X-rays cannot deeply penetrate materials such as copper and lead. Here we show via simulation that muon beams can provide high resolution tomographic images of dense objects and of structures within the interior of dense objects. The effects of resolution broadening from multiple scattering diminish with increasing muon momentum. As the momentum of the muon increases, the contrast of the image goes down and therefore requires higher resolution in the muon spectrometer to resolve the image. The variance of the measured muon momentum reaches a minimum and then increases with increasing muon momentum. The impact of the increase in variance is to require a higher integrated muon flux to reduce fluctuations. The flux requirements and level of contrast needed for high resolution muon computed tomography are well matched to the muons produced in the pion decay pipe at a neutrino beam facility and what can be achieved for momentum resolution in a muon spectrometer. Such an imaging system can be applied in archaeology, art history, engineering, material identification and whenever there is a need to image inside a transportable object constructed of dense materials.


title: Molecfit: A general tool for telluric absorption correction. I. Method and application to ESO instruments

abstract: Context: The interaction of the light from astronomical objects with the constituents of the Earth's atmosphere leads to the formation of telluric absorption lines in ground-based collected spectra. Correcting for these lines, mostly affecting the red and infrared region of the spectrum, usually relies on observations of specific stars obtained close in time and airmass to the science targets, therefore using precious observing time. Aims: We present molecfit, a tool for correcting for telluric absorption lines based on synthetic modelling of the Earth's atmospheric transmission. Molecfit is versatile and can be used with data obtained with various ground-based telescopes and instruments. Methods: Molecfit combines a publicly available radiative transfer code, a molecular line database, atmospheric profiles, and various kernels to model the instrument line spread function. The atmospheric profiles are created by merging a standard atmospheric profile representative of a given observatory's climate, of local meteorological data, and of dynamically retrieved altitude profiles for temperature, pressure, and humidity. We discuss the various ingredients of the method, its applicability, and its limitations. We also show examples of telluric line correction on spectra obtained with a suite of ESO Very Large Telescope (VLT) instruments. Results: Compared to previous similar tools, molecfit takes the best results for temperature, pressure, and humidity in the atmosphere above the observatory into account. As a result, the standard deviation of the residuals after correction of unsaturated telluric lines is frequently better than 2% of the continuum. Conclusion: Molecfit is able to accurately model and correct for telluric lines over a broad range of wavelengths and spectral resolutions. (Abridged)


title: The use of a common location measure in the invariant coordinate selection and projection pursuit

abstract: Invariant coordinate selection (ICS) and projection pursuit (PP) are two methods that can be used to detect clustering directions in multivariate data by optimizing criteria sensitive to non-normality. In particular, ICS finds clustering directions using a relative eigen-decomposition of two scatter matrices with different levels of robustness; PP is a one-dimensional variant of ICS. Each of the two scatter matrices includes an implicit or explicit choice of location. However, when different measures of location are used, ICS and PP can behave counter-intuitively. In this paper we explore this behavior in a variety of examples and propose a simple and natural solution: use the same measure of location for both scatter matrices.


title: Near-field enhanced optical tweezers utilizing femtosecond-laser nanostructured substrates

abstract: We present experimental evidence of plasmonic-enhanced optical tweezers, of polystyrene beads in deionized water in the vicinity of metal-coated nanostructures. The optical tweezers operate with a continuous wave (CW) near-infrared laser. We employ a Cu/Au bilayer that significantly improves dissipation of heat generated by the trapping laser beam and avoid de-trapping from heat convection currents. We investigate the improvement of the optical trapping force, the effective trapping quality factor, and observe an exponential distance dependence of the trapping force from the nanostructures, expected from the evanescent plasmon field.


title: Escaping the Local Minima via Simulated Annealing: Optimization of Approximately Convex Functions

abstract: We consider the problem of optimizing an approximately convex function over a bounded convex set in $\mathbb{R}^n$ using only function evaluations. The problem is reduced to sampling from an \emph{approximately} log-concave distribution using the Hit-and-Run method, which is shown to have the same $\mathcal{O}^*$ complexity as sampling from log-concave distributions. In addition to extend the analysis for log-concave distributions to approximate log-concave distributions, the implementation of the 1-dimensional sampler of the Hit-and-Run walk requires new methods and analysis. The algorithm then is based on simulated annealing which does not relies on first order conditions which makes it essentially immune to local minima. We then apply the method to different motivating problems. In the context of zeroth order stochastic convex optimization, the proposed method produces an $\epsilon$-minimizer after $\mathcal{O}^*(n^{7.5}\epsilon^{-2})$ noisy function evaluations by inducing a $\mathcal{O}(\epsilon/n)$-approximately log concave distribution. We also consider in detail the case when the "amount of non-convexity" decays towards the optimum of the function. Other applications of the method discussed in this work include private computation of empirical risk minimizers, two-stage stochastic programming, and approximate dynamic programming for online learning.


title: The area-angular momentum inequality for black holes in cosmological spacetimes

abstract: For a stable marginally outer trapped surface (MOTS) in an axially symmetric spacetime with cosmological constant $\Lambda > 0$ and with matter satisfying the dominant energy condition, we prove that the area $A$ and the angular momentum $J$ satisfy the inequality $8\pi |J| \le A\sqrt{(1-\Lambda A/4\pi)(1-\Lambda A/12\pi)}$ which is saturated precisely for the extreme Kerr-deSitter family of metrics. This result entails a universal upper bound $|J| \le J_{\max} \approx 0.17/\Lambda$ for such MOTS, which is saturated for one particular extreme configuration. Our result sharpens the inequality $8\pi |J| \le A$, [7,14] and we follow the overall strategy of its proof in the sense that we estimate the area from below in terms of the energy corresponding to a "mass functional", which is basically a suitably regularised harmonic map $\mathbb{S}^2 \rightarrow \mathbb{H}^2 $. However, in the cosmological case this mass functional acquires an additional potential term which itself depends on the area. To estimate the corresponding energy in terms of the angular momentum and the cosmological constant we use a subtle scaling argument, a generalised "Carter-identity", and various techniques from variational calculus, including the mountain pass theorem.


title: Numerical detection of the Gardner transition in a mean-field glass former

abstract: Recent theoretical advances predict the existence, deep into the glass phase, of a novel phase transition, the so-called Gardner transition. This transition is associated with the emergence of a complex free energy landscape composed of many marginally stable sub-basins within a glass metabasin. In this study, we explore several methods to detect numerically the Gardner transition in a simple structural glass former, the infinite-range Mari-Kurchan model. The transition point is robustly located from three independent approaches: (i) the divergence of the characteristic relaxation time, (ii) the divergence of the caging susceptibility, and (iii) the abnormal tail in the probability distribution function of cage order parameters. We show that the numerical results are fully consistent with the theoretical expectation. The methods we propose may also be generalized to more realistic numerical models as well as to experimental systems.


title: Approximate indicators for closed subgroups of locally compact groups with applications to weakly amenable groups

abstract: We generalize the notion of an approximate indicator for a closed subgroup $H$ of a locally compact group $G$ introduced by Aristov, Runde, and Spronk and extend their characterization of the existence of such nets in terms of the approximability of $\chi_{H}$ in an appropriate ${weak}^{*}$ topology. We find that this equivalent condition is satisfied whenever $H$ is weakly amenable and $\chi_{H}$, considered as acting on $\ell^{1}(G)$ by multiplication, extends to a bounded map on $VN(G)$. This occurs in particular when a natural projection $VN(G)arrow I(A(G),H)^{\perp}$ exists. Applications are obtained to the existence (and non-existence) of natural and invariant projections onto $I(A(G),H)^{\perp}$ and $I(A_{cb}(G),H)^{\perp}$ and to the existence of ($\Delta$-weak) bounded approximate identities in ideals of $A(G)$ and $A_{cb}(G)$. In particular, we exhibit a locally compact group without the invariant complementation property.


title: Regularity of $C^1$ surfaces with prescribed mean curvature in three-dimensional contact sub-Riemannian manifolds

abstract: In this paper we consider surfaces of class $C^1$ with continuous prescribed mean curvature in a three-dimensional contact sub-Riemannian manifold and prove that their characteristic curves are of class $C^2$. This regularity result also holds for critical points of the sub-Riemannian perimeter under a volume constraint. All results are valid in the first Heisenberg group $\mathbb{H}^1$.


title: Visible light carrier generation in co-doped epitaxial titanate films

abstract: Perovskite titanates such as SrTiO$_{3}$ (STO) exhibit a wide range of important functional properties, including high electron mobility, ferroelectricity, and excellent photocatalytic performance. The wide optical band gap of titanates limits their use in these applications, however, making them ill-suited for integration into solar energy harvesting technologies. Our recent work has shown that by doping STO with equal concentrations of La and Cr we can enhance visible light absorption in epitaxial thin films while avoiding any compensating defects. In this work, we explore the optical properties of photoexcited carriers in these films. Using spectroscopic ellipsometry, we show that the Cr$^{3+}$ dopants, which produce electronic states immediately above the top of the O 2p valence band in STO reduce the direct band gap of the material from 3.75 eV to between 2.4 and 2.7 eV depending on doping levels. Transient reflectance spectroscopy measurements are in agreement with the observations from ellipsometry and confirm that optically generated carriers are present for longer than 2 ns. Finally, through photoelectrochemical methylene blue degradation measurements, we show that these co-doped films exhibit enhanced visible light photocatalysis when compared to pure STO.


title: Dimensional oxidation and modular completion of non-geometric type IIB action

abstract: Utilizing a setup of type IIB superstring theory compactified on an orientifold of T^6/(Z2xZ2), we propose a modular invariant dimensional oxidation of the four-dimensional scalar potential. In the oxidized ten-dimensional supergravity action, the standard NS-NS and RR three form fluxes (H-, F-) as well as the non-geometric fluxes (Q-, P-) are found to nicely rearrange themselves to form generalized flux-combinations. As an application towards moduli stabilization, using the same S-duality invariant scalar potential, we examine the recently proposed No-Go theorem (in arXiv:1409.7075) about creating a mass-hierarchy between universal-axion and the dilaton relevant for axionic-inflation. Considering a two-field dynamics of universal axion and dilaton while assuming the other moduli/axions being stabilized, we find a part of the No-Go arguments to be quite robust even with the inclusion of non-geometric (Q-, P-) fluxes.


title: A few words about Resonances in the Electroweak Effective Lagrangian

abstract: Contrary to a widely spread believe, we have demonstrated that strongly coupled electroweak models including both a light Higgs-like boson and massive spin-1 resonances are not in conflict with experimental constraints on the oblique S and T parameters. We use an effective Lagrangian implementing the chiral symmetry breaking SU(2)_L x SU(2)_R -> SU(2)_{L+R} that contains the Standard Model gauge bosons coupled to the electroweak Goldstones, one Higgs-like scalar state h with mass m_h=126 GeV and the lightest vector and axial-vector resonance multiplets V and A. We have considered the one-loop calculation of S and T in order to study the viability of these strongly-coupled scenarios, being short-distance constraints and dispersive relations the main ingredients of the calculation. Once we have constrained the resonance parameters, we do a first approach to the determination of the low energy constants of the electroweak effective theory at low energies (without resonances). We show this determination in the case of the purely Higgsless bosonic Lagrangian.


title: FMAP: Distributed Cooperative Multi-Agent Planning

abstract: This paper proposes FMAP (Forward Multi-Agent Planning), a fully-distributed multi-agent planning method that integrates planning and coordination. Although FMAP is specifically aimed at solving problems that require cooperation among agents, the flexibility of the domain-independent planning model allows FMAP to tackle multi-agent planning tasks of any type. In FMAP, agents jointly explore the plan space by building up refinement plans through a complete and flexible forward-chaining partial-order planner. The search is guided by $h_{DTG}$, a novel heuristic function that is based on the concepts of Domain Transition Graph and frontier state and is optimized to evaluate plans in distributed environments. Agents in FMAP apply an advanced privacy model that allows them to adequately keep private information while communicating only the data of the refinement plans that is relevant to each of the participating agents. Experimental results show that FMAP is a general-purpose approach that efficiently solves tightly-coupled domains that have specialized agents and cooperative goals as well as loosely-coupled problems. Specifically, the empirical evaluation shows that FMAP outperforms current MAP systems at solving complex planning tasks that are adapted from the International Planning Competition benchmarks.


title: Canonical polyadic decomposition of third-order tensors: relaxed uniqueness conditions and algebraic algorithm

abstract: Canonical Polyadic Decomposition (CPD) of a third-order tensor is a minimal decomposition into a sum of rank-$1$ tensors. We find new mild deterministic conditions for the uniqueness of individual rank-$1$ tensors in CPD and present an algorithm to recover them. We call the algorithm "algebraic" because it relies only on standard linear algebra. It does not involve more advanced procedures than the computation of the null space of a matrix and eigen/singular value decomposition. Simulations indicate that the new conditions for uniqueness and the working assumptions for the algorithm hold for a randomly generated $I\times J\times K$ tensor of rank $R\geq K\geq J\geq I\geq 2$ if $R$ is bounded as $R\leq (I+J+K-2)/2 + (K-\sqrt{(I-J)^2+4K})/2$ at least for the dimensions that we have tested. This improves upon the famous Kruskal bound for uniqueness $R\leq (I+J+K-2)/2$ as soon as $I\geq 3$. In the particular case $R=K$, the new bound above is equivalent to the bound $R\leq(I-1)(J-1)$ which is known to be necessary and sufficient for the generic uniqueness of the CPD. An existing algebraic algorithm (based on simultaneous diagonalization of a set of matrices) computes the CPD under the more restrictive constraint $R(R-1)\leq I(I-1)J(J-1)/2$ (implying that $R<(J-\frac{1}{2})(I-\frac{1}{2})/\sqrt{2}+1$). On the other hand, optimization-based algorithms fail to compute the CPD in a reasonable amount of time even in the low-dimensional case $I=3$, $J=7$, $K=R=12$. By comparison, in our approach the computation takes less than $1$ sec. We demonstrate that, at least for $R\leq 24$, our algorithm can recover the rank-$1$ tensors in the CPD up to $R\leq(I-1)(J-1)$.


title: In-plane anisotropy effect on critical transition field in nanogranular films with perpendicular anisotropy

abstract: The influence of the in-plane anisotropy on the magnetization of a nanogranular film with perpendicular anisotropy has been studied. It is shown that if a magnetic field is tilted with respect to the film normal, a critical transition from the inhomogeneous magnetic state of granules with noncollinear directions of their moments to the homogeneous one with parallel orientation of granular magnetic moments takes place. The in-plane anisotropy is found to affect the angular dependence of the critical field. The ensemble of oriented biaxial particles is theoretically described in the double-well potential approximation. Despite the biaxial magnetic anisotropy of particles, their ensemble, if in the inhomogeneous state, is divided into two subensembles, with the magnetic moments of particles being collinear in each of them. In the critical field, a transition from the inhomogeneous state with two subensembles into the homogeneous one takes place. The results of theoretical calculations are compared with experimental data for a nanogranular Co/Al2On film with perpendicular anisotropy containing 74.5 at.% Co, which exceeds the percolation threshold. The magnetic moment of this film is a sum of two contributions: from nanogranules with biaxial anisotropy and a phase forming the percolation cluster. The magnetic properties of nanogranules, whose contribution is separated from the total film magnetization, agree well with the calculation data.


title: Symmetric quotient stacks and Heisenberg actions

abstract: For every smooth projective variety, we construct an action of the Heisenberg algebra on the direct sum of the Grothendieck groups of all the symmetric quotient stacks which contains the Fock space as a subrepresentation. The action is induced by functors on the level of the derived categories which form a weak categorification of the action.


title: 57Fe Mossbauer study of Lu2Fe3Si5 iron silicide superconductor

abstract: With the advent of Fe-As based superconductivity it has become important to study how superconductivity manifests itself in details of 57Fe Mossbauer spectroscopy of conventional, Fe - bearing superconductors. To this end, the iron-based superconductor Lu2Fe3Si5 has been studied by 57Fe Mossbauer spectroscopy over the temperature range from 4.4 K to room temperature with particular attention to the region close to the superconducting transition temperature (Tc = 6.1 K). Consistent with the two crystallographic sites for Fe in this structure, the observed spectra appear to have a pattern consisting of two doublets over the whole temperature range. The value of Debye temperature was estimated from temperature dependence of the isomer shift and the total spectral area and compared with the specific heat capacity data. Neither abnormal behavior of the hyperfine parameters at or near Tc, nor phonon softening were observed.


title: Elliptic-cylindrical Wavelets: The Mathieu Wavelets

abstract: This note introduces a new family of wavelets and a multiresolution analysis, which exploits the relationship between analysing filters and Floquet's solution of Mathieu differential equations. The transfer function of both the detail and the smoothing filter is related to the solution of a Mathieu equation of odd characteristic exponent. The number of notches of these filters can be easily designed. Wavelets derived by this method have potential application in the fields of Optics and Electromagnetism.


title: An approach to multi-agent planning with incomplete information

abstract: Multi-agent planning (MAP) approaches have been typically conceived for independent or loosely-coupled problems to enhance the benefits of distributed planning between autonomous agents as solving this type of problems require less coordination between the agents' sub-plans. However, when it comes to tightly-coupled agents' tasks, MAP has been relegated in favour of centralized approaches and little work has been done in this direction. In this paper, we present a general-purpose MAP capable to efficiently handle planning problems with any level of coupling between agents. We propose a cooperative refinement planning approach, built upon the partial-order planning paradigm, that allows agents to work with incomplete information and to have incomplete views of the world, i.e. being ignorant of other agents' information, as well as maintaining their own private information. We show various experiments to compare the performance of our system with a distributed CSP-based MAP approach over a suite of problems.