title: Competitive Erosion is Conformally Invariant

abstract: We study a graph-theoretic model of interface dynamics called $Competitive\, Erosion$. Each vertex of the graph is occupied by a particle, which can be either red or blue. New red and blue particles are emitted alternately from their respective bases and perform random walk. On encountering a particle of the opposite color they remove it and occupy its position. We consider competitive erosion on discretizations of `smooth', planar, simply connected domains. The main result of this article shows that at stationarity, with high probability, the blue and the red regions are separated by the level curves of the Green function, with Neumann boundary conditions, which are orthogonal circular arcs on the disc and hyperbolic geodesics on a general simply connected domain. This establishes $conformal\,invariance$ of the model.


title: Young [$\alpha$/Fe]-enhanced stars discovered by CoRoT and APOGEE: What is their origin?

abstract: We report the discovery of a group of apparently young CoRoT red-giant stars exhibiting enhanced [alpha/Fe] abundance ratios (as determined from APOGEE spectra) with respect to Solar values. Their existence is not explained by standard chemical evolution models of the Milky Way, and shows that the chemical-enrichment history of the Galactic disc is more complex. We find similar stars in previously published samples for which isochrone-ages could be robustly obtained, although in smaller relative numbers, which could explain why these stars have not received prior attention. The young [alpha/Fe]-rich stars are much more numerous in the CoRoT-APOGEE (CoRoGEE) inner-field sample than in any other high-resolution sample available at present, as only CoRoGEE can explore the inner-disc regions and provide ages for its field stars. The kinematic properties of the young [$\alpha$/Fe]-rich stars are not clearly thick-disc like, despite their rather large distances from the Galactic mid-plane. Our tentative interpretation of these and previous intriguing observations in the Milky Way is that these stars were formed close to the end of the Galactic bar, near corotation -- a region where gas can be kept inert for longer times, compared to other regions shocked more frequently by the passage of spiral arms. Moreover, that is where the mass return from older inner-disc stellar generations should be maximal (according to an inside-out disc-formation scenario), further diluting the in-situ gas. Other possibilities to explain these observations (e.g., a recent gas-accretion event) are also discussed.


title: On the magnetism of sigma-Fe54Cr46 alloy: AC and DC susceptibility studies

abstract: Sigma-phase intermetallic compound of Fe54Cr46 was investigated using DC and AC magnetic susceptibility techniques. A clear-cut evidence was found that the sample orders magnetically at Tc=23.5 K and its ground magnetic state is constituted by a spin glass. The temperature at which the zero-field cooled magnetization has its maximum decreases with an external magnetic field in line with the Gabay-Toulouse prediction. The temperature at which the AC magnetic susceptibility has its maximum does not depend on frequency which, in the light of the mean-field theory, testifies to very long magnetic interactions.


title: Classification of flag-transitive primitive symmetric $(v,k,\lambda)$ designs with $PSL(2,q)$ as socle

abstract: Let $\mathcal D$ be a nontrivial symmetric $(v,k,\lambda)$ design, and $G$ be a subgroup of the full automorphism group of $\mathcal D$. In this paper we prove that if $G$ acts flag-transitively, point-primitively on $\mathcal D$ and $Soc(G)= PSL(2,q)$, then D has parameters $(7, 3, 1)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 3)$ or $(15, 8, 4)$.


title: A covariant variational approach to Yang-Mills Theory at finite temperatures

abstract: We extend the covariant variational approach for SU(N) Yang-Mills theory in Landau gauge to non-zero temperatures. The renormalization of the zero-temperature case is revisited and it is shown that the same counterterms are sufficient to render the low-order Green's function finite at non-zero temperature. We compute the ghost and gluon propagator numerically and show that it agrees in all qualitative respects with the results of high-precision lattice calculations.


title: Global dynamics and asymptotics for monomial scalar field potentials and perfect fluids

abstract: We consider a minimally coupled scalar field with a monomial potential and a perfect fluid in flat FLRW cosmology. We apply local and global dynamical systems techniques to a new three-dimensional dynamical systems reformulation of the field equations on a compact state space. This leads to a visual global description of the solution space and asymptotic behavior. At late times we employ averaging techniques to prove statements about how the relationship between the equation of state of the fluid and the monomial exponent of the scalar field affects asymptotic source dominance and asymptotic manifest self-similarity breaking. We also situate the `attractor' solution in the three-dimensional state space and show that it corresponds to the one-dimensional unstable center manifold of a de Sitter fixed point, located on an unphysical boundary associated with the dynamics at early times. By deriving a center manifold expansion we obtain approximate expressions for the attractor solution. We subsequently improve the accuracy and range of the approximation by means of Pad\'e approximants and compare with the slow-roll approximation.


title: Interpolation of a spline developable surface between a curve and two rulings

abstract: In this paper we address the problem of interpolating a spline developable patch bounded by a given spline curve and the first and the last rulings of the developable surface. In order to complete the boundary of the patch a second spline curve is to be given. Up to now this interpolation problem could be solved, but without the possibility of choosing both endpoints for the rulings. We circumvent such difficulty here by resorting to degree elevation of the developable surface. This is useful not only to solve this problem, but also other problems dealing with triangular developable patches.


title: Surface Instabilities and Patterning in Liquids: Exemplifications of the "Hairy Ball Theorem"

abstract: Application of the "hairy ball theorem" to the analysis of the surface instabilities inherent for liquid/vapor interfaces is reported. When a continuous tangential velocity field exists on the surface of the liquid sample which is homeomorphic to a ball, zero velocity points will be necessarily present at the surface. The theorem is exemplified with the analysis of the instability occurring under the rapid evaporation of polymer solutions. Zero velocity points, accumulating pores, enable direct visualization of the instability. The patterning may be essentially different on the surface of a torus.


title: Cramer's Rule for Generalized Inverse Solutions of Some Matrices Equations

abstract: By a generalized inverse of a given matrix, we mean a matrix that exists for a larger class of matrices than the nonsingular matrices, that has some of the properties of the usual inverse, and that agrees with inverse when given matrix happens to be nonsingular. In theory, there are many different generalized inverses that exist. We shall consider the Moore Penrose, weighted Moore-Penrose, Drazin and weighted Drazin inverses. New determinantal representations of these generalized inverse based on their limit representations are introduced in this paper. Application of this new method allows us to obtain analogues classical adjoint matrix. Using the obtained analogues of the adjoint matrix, we get Cramer's rules for the least squares solution with the minimum norm and for the Drazin inverse solution of singular linear systems. Cramer's rules for the minimum norm least squares solutions and the Drazin inverse solutions of the matrix equations ${\rm {\bf A}}{\rm {\bf X}} = {\rm {\bf D}}$, ${\rm {\bf X}}{\rm {\bf B}} = {\rm {\bf D}}$ and ${\rm {\bf A}}{\rm {\bf X}}{\rm {\bf B}} ={\rm {\bf D}} $ are also obtained, where ${\rm {\bf A}}$, ${\rm {\bf B}}$ can be singular matrices of appropriate size. Finally, we derive determinantal representations of solutions of the differential matrix equations, ${\bf X}'+ {\bf A}{\bf X}={\bf B}$ and ${\bf X}'+{\bf X}{\bf A}={\bf B}$, where the matrix ${\bf A}$ is singular.


title: Gravitational waves from domain walls in the next-to-minimal supersymmetric standard model

abstract: The next-to-minimal supersymmetric standard model predicts the formation of domain walls due to the spontaneous breaking of the discrete $Z_3$-symmetry at the electroweak phase transition, and they collapse before the epoch of big bang nucleosynthesis if there exists a small bias term in the potential which explicitly breaks the discrete symmetry. Signatures of gravitational waves produced from these unstable domain walls are estimated and their parameter dependence is investigated. It is shown that the amplitude of gravitational waves becomes generically large in the decoupling limit, and that their frequency is low enough to be probed in future pulsar timing observations.


title: On the ambiguities in the tri-bimaximal mixing matrix and corresponding charged lepton corrections

abstract: Two negative signs naturally appear in the $U_{\mu 1}$ and $U_{\tau 2}$ elements of the Tri-bimaximal (TBM) matrix for positive values of the mixing angles $\theta_{12}$ and $\theta_{23}$. Apart from this, in other TBM matrices negative signs are shifted to other elements in each case. They account for positive as well as negative values of $\theta_{12}$ and $\theta_{23}$. We discuss the sign ambiguity in the TBM matrix and find that the TBM matrices, in fact, can be divided into two groups under certain circumstances. Interestingly, this classification of TBM matrices is accompanied by two different $\mu-\tau$ symmetric mass matrices which can separately be related to the groups. To accommodate non-zero value of $\theta_{13}$ and deviate $\theta_{23}$ towards first octant, we then perturb the TBM mixing ansatz with the help of charged lepton correction. The diagonalizing matrices for charged lepton mass matrices also possess sign ambiguity and respect the grouping of TBM matrices. They are parametrized in terms of the Wolfenstein parameter $\lambda$ and satisfy unitarity condition up to second order in $\lambda$.


title: Thermal Covert Channels on Multi-core Platforms

abstract: Side channels remain a challenge to information flow control and security in modern computing platforms. Resource partitioning techniques that minimise the number of shared resources among processes are often used to address this challenge. In this work, we focus on multi-core platforms and we demonstrate that even seemingly strong isolation techniques based on dedicated cores and memory can be circumvented through the use of thermal side channels. Specifically, we show that the processor core temperature can be used both as a side channel as well as a covert communication channel even when the system implements strong spatial and temporal partitioning. Our experiments on an x86-based platform demonstrate covert thermal channels that achieve up to 12.5 bps and a weak side channel that can detect processes executed on neighbouring cores. This work therefore shows a limitation in the isolation that can be achieved on existing multi-core systems.


title: GerAPlanO - A new building design tool: design generation, thermal assessment and performance optimization

abstract: Building practitioners (architects, engineers, energy managers) are showing a growing interest in the design of more energy efficient and livable buildings. The best way to predict how a building will behave regarding energy consumption and thermal comfort is to use a dynamic simulation tool. However, the use of this kind of tools is difficult on a daily basis practice due to the heuristic and exploratory nature of the architectural design process. To deal with this difficulty, the University of Coimbra and three companies have been working on the development of a prototype design aiding tool, specifically devoted to the space planning phase of building design, under the project GerAPlanO (Automatic Generation of Architecture Floor plans with Energy Optimization). This project aims to combine the capabilities of design generation techniques, thermal assessment programs, and design optimization methods to provide assistance to decision makers. This paper presents the overall concept, as well as the current status of development of this tool.


title: Polarisation spectral synthesis for Type Ia supernova explosion models

abstract: We present a Monte Carlo radiative transfer technique for calculating synthetic spectropolarimetry for multi-dimensional supernova explosion models. The approach utilises "virtual-packets" that are generated during the propagation of the Monte Carlo quanta and used to compute synthetic observables for specific observer orientations. Compared to extracting synthetic observables by direct binning of emergent Monte Carlo quanta, this virtual-packet approach leads to a substantial reduction in the Monte Carlo noise. This is vital for calculating synthetic spectropolarimetry (since the degree of polarisation is typically very small) but also useful for calculations of light curves and spectra. We first validate our approach via application of an idealised test code to simple geometries. We then describe its implementation in the Monte Carlo radiative transfer code ARTIS and present test calculations for simple models for Type Ia supernovae. Specifically, we use the well-known one-dimensional W7 model to verify that our scheme can accurately recover zero polarisation from a spherical model, and to demonstrate the reduction in Monte Carlo noise compared to a simple packet-binning approach. To investigate the impact of aspherical ejecta on the polarisation spectra, we then use ARTIS to calculate synthetic observables for prolate and oblate ellipsoidal models with Type Ia supernova compositions.


title: Rank tests for corrupted linear models

abstract: For some variants of regression models, including partial, measurement error or error-in-variables, latent effects, semi-parametric and otherwise corrupted linear models, the classical parametric tests generally do not perform well. Various modifications and generalizations considered extensively in the literature rests on stringent regularity assumptions which are not likely to be tenable in many applications. However, in such non-standard cases, rank based tests can be adapted better, and further, incorporation of rank analysis of covariance tools enhance their power-efficiency. Numerical studies and a real data illustration show the superiority of rank based inference in such corrupted linear models.


title: Impact of symmetry breaking in networks of globally coupled oscillators

abstract: We analyze the consequences of symmetry breaking in the coupling in a network of globally coupled identical Stuart-Landau oscillators. We observe that symmetry breaking leads to increased disorderliness in the dynamical behavior of oscillatory states and consequently results in a rich variety of dynamical states. Depending on the strength of the nonisochronicity parameter, we find various dynamical states such as amplitude chimera, amplitude cluster, frequency chimera and frequency cluster states. In addition we also find disparate transition routes to recently observed chimera death state in the presence of symmetry breaking even with global coupling. We also analytically verify the chimera death region which corroborates the numerical results. The above results are compared with that of the symmetry preserving case as well.


title: Quantacell: Powerful charging of quantum batteries

abstract: We study the problem of charging a quantum battery in finite time. We demonstrate an analytical optimal protocol for the case of a single qubit. Extending this analysis to an array of N qubits, we demonstrate that an N-fold advantage in power per qubit can be achieved when global operations are permitted. The exemplary analytic argument for this quantum advantage in the charging power is backed up by numerical analysis using optimal control techniques. It is demonstrated that the quantum advantage for power holds when, with cyclic operation in mind, initial and final states are required to be separable.


title: Topological structure of non-contractible loop space and closed geodesics on real projective spaces with odd dimensions

abstract: In this paper, we use Chas-Sullivan theory on loop homology and Leray-Serre spectral sequence to investigate the topological structure of the non-contractible component of the free loop space on the real projective spaces with odd dimensions. Then we apply the result to get the resonance identity of non-contractible homologically visible prime closed geodesics on such spaces provided the total number of distinct prime closed geodesics is finite.


title: Optimal Position Management for a Market Maker with Stochastic Price Impacts

abstract: This paper deals with an optimal position management problem for a market maker who has to face uncertain customer order flows in an illiquid market, where the market maker's continuous trading incurs a stochastic linear price impact. Although the execution timing is uncertain, the market maker can also ask its OTC counterparties to transact a block trade without causing a direct price impact. We adopt quite generic stochastic processes of the securities, order flows, price impacts, quadratic penalties as well as security borrowing/lending rates. The solution of the market maker's optimal position-management strategy is represented by a stochastic Hamilton-Jacobi-Bellman equation, which can be decomposed into three (one non-linear and two linear) backward stochastic differential equations (BSDEs). We provide the verification using the standard BSDE techniques for a single security case. For a multiple-security case, we make use of the connection of the non-linear BSDE to a special type of backward stochastic Riccati differential equation (BSRDE) whose properties were studied by Bismut(1976). We also propose a perturbative approximation scheme for the resultant BSRDE, which only requires a system of linear ODEs to be solved at each expansion order. Its justification and the convergence rate are also given.


title: Monomorphous decomposition method for phase retrieval and phase-contrast tomography

abstract: We show that an arbitrary spatial distribution of complex refractive index inside an object can be exactly represented as a sum of two "monomorphous" complex distributions, i.e. the distributions with the ratios of the real part to the imaginary part being constant throughout the object. A priori knowledge of constituent materials can be used to estimate the global lower and upper boundaries for this ratio. This approach can be viewed as an extension of the successful phase-retrieval method, based on the Transport of Intensity equation, that was previously developed for monomorphous (homogeneous) objects, such as e.g. objects consisting of a single material. We demonstrate that the monomorphous decomposition can lead to more stable methods for phase retrieval using the Transport of Intensity Equation. Such methods may find application in quantitative in-line phase-contrast imaging and phase-contrast tomography.


title: Mesoscopic modeling of stochastic reaction-diffusion kinetics in the subdiffusive regime

abstract: Subdiffusion has been proposed as an explanation of various kinetic phenomena inside living cells. In order to fascilitate large-scale computational studies of subdiffusive chemical processes, we extend a recently suggested mesoscopic model of subdiffusion into an accurate and consistent reaction-subdiffusion computational framework. Two different possible models of chemical reaction are revealed and some basic dynamic properties are derived. In certain cases those mesoscopic models have a direct interpretation at the macroscopic level as fractional partial differential equations in a bounded time interval. Through analysis and numerical experiments we estimate the macroscopic effects of reactions under subdiffusive mixing. The models display properties observed also in experiments: for a short time interval the behavior of the diffusion and the reaction is ordinary, in an intermediate interval the behavior is anomalous, and at long times the behavior is ordinary again.


title: Phase Transitions in Continuum Ferromagnets with Unbounded Spins

abstract: States of thermal equilibrium of an infinite system of interacting particles in a Euclidean space are studied. The particles bear 'unbounded' spins with a given symmetric a priori distribution. The interaction between the particles is pairwise and splits into position-position and spin-spin parts. The position-position part is described by a superstable potential, and the spin-spin part is attractive and of finite range. Thermodynamic states of the system are defined as tempered Gibbs measures on the space of marked configurations. It is proved that the set of such measures contains at least two elements if the activity is big enough.


title: A Note on Darboux Polynomials of Monomial Derivations

abstract: We study a monomial derivation $d$ proposed by J. Moulin Ollagnier and A. Nowicki in the polynomial ring of four variables, and prove that $d$ has no Darboux polynomials if and only if $d$ has a trivial field of constants.


title: The Conway-Maxwell-Poisson distribution: distributional theory and approximation

abstract: The Conway-Maxwell-Poisson (CMP) distribution is a natural two-parameter generalisation of the Poisson distribution which has received some attention in the statistics literature in recent years by offering flexible generalisations of some well-known models. In this work, we begin by establishing some properties of both the CMP distribution and an analogous generalisation of the binomial distribution, which we refer to as the CMB distribution. We also consider some convergence results and approximations, including a bound on the total variation distance between a CMB distribution and the corresponding CMP limit.


title: Linear representations of formal loops

abstract: A representation of an object in a category is an abelian group in the corresponding comma category. In this paper we derive the formulas describing linear representations of objects in the category of formal loops and apply them to obtain a new approach to the representation theory of formal Moufang loops and Malcev algebras based on Moufang elements. Certain 'non-associative Moufang symmetry' of groups is revealed.


title: Continuity of the isoperimetric profile of a complete Riemannian manifold under sectional curvature conditions

abstract: Let $M$ be a complete Riemannian manifold possessing a strictly convex Lipschitz continuous exhaustion function. We show that the isoperimetric profile of $M$ is a continuous and non-decreasing function. Particular cases are Hadamard manifolds and complete non-compact manifolds with strictly positive sectional curvatures.


title: Online Monaural Speech Enhancement Based on Periodicity Analysis and A Priori SNR Estimation

abstract: This paper describes an online algorithm for enhancing monaural noisy speech. Firstly, a novel phase-corrected low-delay gammatone filterbank is derived for signal subband decomposition and resynthesis; the subband signals are then analyzed frame by frame. Secondly, a novel feature named periodicity degree (PD) is proposed to be used for detecting and estimating the fundamental period (P0) in each frame and for estimating the signal-to-noise ratio (SNR) in each frame-subband signal unit. The PD is calculated in each unit as the multiplication of the normalized autocorrelation and the comb filter ratio, and shown to be robust in various low-SNR conditions. Thirdly, the noise energy level in each signal unit is estimated recursively based on the estimated SNR for units with high PD and based on the noisy signal energy level for units with low PD. Then the a priori SNR is estimated using a decision-directed approach with the estimated noise level. Finally, a revised Wiener gain is calculated, smoothed, and applied to each unit; the processed units are summed across subbands and frames to form the enhanced signal. The P0 detection accuracy of the algorithm was evaluated on two corpora and showed comparable performance on one corpus and better performance on the other corpus when compared to a recently published pitch detection algorithm. The speech enhancement effect of the algorithm was evaluated on one corpus with two objective criteria and showed better performance in one highly non-stationary noise and comparable performance in two other noises when compared to a state-of-the-art statistical-model based algorithm.


title: A parametric study of window-to-floor ratio of three window types using dynamic simulation

abstract: The windows can be responsible for unnecessary energy consumption in a building, if incorrectly designed, shadowed or oriented. Considering an annual thermal comfort assessment of a space, if windows are over-dimensioned, they can contribute to the increase of the heating needs due to heat losses, and also to the increase of cooling needs due to over-exposure to solar radiation. When under-dimensioned, the same space may benefit from reduced heat losses through the glazing surface but does not benefit from solar radiation gains. Therefore, it is important to find the optimum design that minimizes both the heating and cooling needs. This paper presents a parametric study of window type (single, double and triple glazing), orientation and opening size, located in the city of Coimbra, Portugal. An annual and a seasonal assessment were done, in order to obtain the set of optimum values around 360 degree orientation.


title: The Emergence of Norms via Contextual Agreements in Open Societies

abstract: This paper explores the emergence of norms in agents' societies when agents play multiple -even incompatible- roles in their social contexts simultaneously, and have limited interaction ranges. Specifically, this article proposes two reinforcement learning methods for agents to compute agreements on strategies for using common resources to perform joint tasks. The computation of norms by considering agents' playing multiple roles in their social contexts has not been studied before. To make the problem even more realistic for open societies, we do not assume that agents share knowledge on their common resources. So, they have to compute semantic agreements towards performing their joint actions. %The paper reports on an empirical study of whether and how efficiently societies of agents converge to norms, exploring the proposed social learning processes w.r.t. different society sizes, and the ways agents are connected. The results reported are very encouraging, regarding the speed of the learning process as well as the convergence rate, even in quite complex settings.


title: MIDAS: Software for the detection and analysis of lunar impact flashes

abstract: Since 2009 we are running a project to identify flashes produced by the impact of meteoroids on the surface of the Moon. For this purpose we are employing small telescopes and high-sensitivity CCD video cameras. To automatically identify these events a software package called MIDAS was developed and tested. This package can also perform the photometric analysis of these flashes and estimate the value of the luminous efficiency. Besides, we have implemented in MIDAS a new method to establish which is the likely source of the meteoroids (known meteoroid stream or sporadic background). The main features of this computer program are analyzed here, and some examples of lunar impact events are presented.


title: Integrals of motion for one-dimensional Anderson localized systems

abstract: Anderson localization is known to be inevitable in one dimension for generic disordered models. Since localization leads to Poissonian energy level statistics, we ask if localized systems possess "additional" integrals of motion as well, so as to enhance the analogy with quantum integrable systems. We answer this in the affirmative in the present work. We construct a set of nontrivial integrals of motion for Anderson localized models, in terms of the original creation and annihilation operators. These are found as a power series in the hopping parameter. The recently found Type-1 Hamiltonians, which are known to be quantum integrable in a precise sense, motivate our construction. We note that these models can be viewed as disordered electron models with infinite-range hopping, where a similar series truncates at the linear order. We show that despite the infinite range hopping, all states but one are localized. We also study the conservation laws for the disorder free Aubry-Andre model, where the states are either localized or extended, depending on the strength of a coupling constant. We formulate a specific procedure for averaging over disorder, in order to examine the convergence of the power series. Using this procedure in the Aubry-Andre model, we show that integrals of motion given by our construction are well-defined in localized phase, but not so in the extended phase. Finally, we also obtain the integrals of motion for a model with interactions to lowest order in the interaction.


title: Limb darkening and exoplanets: testing stellar model atmospheres and identifying biases in transit parameters

abstract: Limb-darkening is fundamental in determining transit lightcurve shapes, and is typically modeled by a variety of laws that parametrize the intensity profile of the star that is being transited. Confronted with a transit lightcurve, some authors fix the parameters of these laws, the so-called limb-darkening coefficients (LDCs), while others prefer to let them float in the lightcurve fitting procedure. Which of these is the best strategy, however, is still unclear, as well as how and by how much each of these can bias the retrieved transit parameters. In this work we attempt to clarify those points by first re-calculating these LDCs, comparing them to measured values from Kepler transit lightcurves using an algorithm that takes into account uncertainties in both the geometry of the transit and the parameters of the stellar host. We show there are significant departures from predicted model values, suggesting that our understanding of limb-darkening still needs to improve. Then, we show through simulations that if one uses the quadratic limb-darkening law to parametrize limb-darkening, fixing and fitting the LDCs can lead to significant biases -up to $\sim 3\%$ and $\sim 1\%$ in $R_p/R_*$, respectively-, which are important for several confirmed and candidate exoplanets. We conclude that, in this case, the best approach is to let the LDCs be free in the fitting procedure. Strategies to avoid biases in data from present and future missions involving high precision measurements of transit parameters are described.


title: Minimal Reachability Problems

abstract: In this paper, we address a collection of state space reachability problems, for linear time-invariant systems, using a minimal number of actuators. In particular, we design a zero-one diagonal input matrix B, with a minimal number of non-zero entries, so that a specified state vector is reachable from a given initial state. Moreover, we design a B so that a system can be steered either into a given subspace, or sufficiently close to a desired state. This work extends the recent results of Olshevsky and Pequito, where a zero-one diagonal or column matrix B is constructed so that the involved system is controllable. Specifically, we prove that the first two of our aforementioned problems are NP-hard; these results hold for a zero-one column matrix B as well. Then, we provide efficient polynomial time algorithms for their general solution, along with their worst case approximation guarantees. Finally, we illustrate their performance over large random networks.


title: Co-Moufang deformations of the universal enveloping algebra of the algebra of traceless octonions

abstract: By means of graphical calculus we prove that, over fields of characteristic zero, any bialgebra deformation of the universal enveloping algebra of the algebra of traceless octonions satisfying the dual of the left and right Moufang identities must be coassociative and cocommutative.


title: From Doubled Chern-Simons-Maxwell Lattice Gauge Theory to Extensions of the Toric Code

abstract: We regularize compact and non-compact Abelian Chern-Simons-Maxwell theories on a spatial lattice using the Hamiltonian formulation. We consider a doubled theory with gauge fields living on a lattice and its dual lattice. The Hilbert space of the theory is a product of local Hilbert spaces, each associated with a link and the corresponding dual link. The two electric field operators associated with the link-pair do not commute. In the non-compact case with gauge group $\mathbb{R}$, each local Hilbert space is analogous to the one of a charged "particle" moving in the link-pair group space $\mathbb{R}^2$ in a constant "magnetic" background field. In the compact case, the link-pair group space is a torus $U(1)^2$ threaded by $k$ units of quantized "magnetic" flux, with $k$ being the level of the Chern-Simons theory. The holonomies of the torus $U(1)^2$ give rise to two self-adjoint extension parameters, which form two non-dynamical background lattice gauge fields that explicitly break the manifest gauge symmetry from $U(1)$ to $\mathbb{Z}(k)$. The local Hilbert space of a link-pair then decomposes into representations of a magnetic translation group. In the pure Chern-Simons limit of a large "photon" mass, this results in a $\mathbb{Z}(k)$-symmetric variant of Kitaev's toric code, self-adjointly extended by the two non-dynamical background lattice gauge fields. Electric charges on the original lattice and on the dual lattice obey mutually anyonic statistics with the statistics angle $\frac{2 \pi}{k}$. Non-Abelian $U(k)$ Berry gauge fields that arise from the self-adjoint extension parameters may be interesting in the context of quantum information processing.


title: Higher Order Central Schemes for Multi-dimensional Hyperbolic Problems

abstract: Different ways of implementing dimension-by-dimension CWENO reconstruction are discussed and the most efficient method is applied to develop a fourth order central scheme for multi-dimensional hyperbolic problems. Fourth order accuracy and shock capturing nature of the scheme are demonstrated in various nonlinear multi-dimensional problems. In order to show the overall performance of the present central scheme numerical errors and non-oscillatory behavior are compared with existing multi-dimensional CWENO based central schemes for various multi-dimensional problems. Moreover, the benefits of the present fourth order central scheme over third order implementation are shown by comparing the numerical dissipation and computational cost between the two.


title: Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization

abstract: While abstract interpretation is not theoretically restricted to specific kinds of properties, it is, in practice, mainly developed to compute linear over-approximations of reachable sets, aka. the collecting semantics of the program. The verification of user-provided properties is not easily compatible with the usual forward fixpoint computation using numerical abstract domains. We propose here to rely on sums-of-squares programming to characterize a property-driven polynomial invariant. This invariant generation can be guided by either boundedness, or in contrary, a given zone of the state space to avoid. While the target property is not necessarily inductive with respect to the program semantics, our method identifies a stronger inductive polynomial invariant using numerical optimization. Our method applies to a wide set of programs: a main while loop composed of a disjunction (if-then-else) of polynomial updates e.g. piecewise polynomial controllers. It has been evaluated on various programs.


title: A new model-free design for vehicle control and its validation through an advanced simulation platform

abstract: A new model-free setting and the corresponding "intelligent" P and PD controllers are employed for the longitudinal and lateral motions of a vehicle. This new approach has been developed and used in order to ensure simultaneously a best profile tracking for the longitudinal and lateral behaviors. The longitudinal speed and the derivative of the lateral deviation, on one hand, the driving/braking torque and the steering angle, on the other hand, are respectively the output and the input variables. Let us emphasize that a "good" mathematical modeling, which is quite difficult, if not impossible to obtain, is not needed for such a design. An important part of this publication is focused on the presentation of simulation results with actual and virtual data. The actual data, used in Matlab as reference trajectories, have been obtained from a properly instrumented car (Peugeot 406). Other virtual sets of data have been generated through the interconnected platform SiVIC/RTMaps. It is a dedicated virtual simulation platform for prototyping and validation of advanced driving assistance systems. Keywords- Longitudinal and lateral vehicle control, model-free control, intelligent P controller (i-P controller), algebraic estimation, ADAS (Advanced Driving Assistance Systems).


title: Convergence radius and sample complexity of ITKM algorithms for dictionary learning

abstract: In this work we show that iterative thresholding and K-means (ITKM) algorithms can recover a generating dictionary with K atoms from noisy $S$ sparse signals up to an error $\tilde \varepsilon$ as long as the initialisation is within a convergence radius, that is up to a $\log K$ factor inversely proportional to the dynamic range of the signals, and the sample size is proportional to $K \log K \tilde \varepsilon^{-2}$. The results are valid for arbitrary target errors if the sparsity level is of the order of the square root of the signal dimension $d$ and for target errors down to $K^{-\ell}$ if $S$ scales as $S \leq d/(\ell \log K)$.


title: A mathematical study of meteo and landslide tsunamis : The Proudman resonance

abstract: In this paper, we want to understand the Proudman resonance. It is a resonant respond in shallow waters of a water body on a traveling atmospheric disturbance when the speed of the disturbance is close to the typical water wave velocity. We show here that the same kind of resonance exists for landslide tsunamis and we propose a mathematical approach to investigate these phenomena based on the derivation, justification and analysis of relevant asymptotic models. This approach allows us to investigate more complex phenomena that are not dealt with in the physics literature such as the influence of a variable bottom or the generalization of the Proudman resonance in deeper waters. First, we prove a local well-posedness of the water waves equations with a moving bottom and a non constant pressure at the surface taking into account the dependence of small physical parameters and we show that these equations are a Hamiltonian system (which extend the result of Zakharov [33]). Then, we justify some linear asymptotic models in order to study the Proudman resonance and submarine landslide tsunamis; we study the linear water waves equations and dispersion estimates allow us to investigate the amplitude of the sea level. To complete these asymptotic models, we add some numerical simulations.


title: Majority bootstrap percolation on the random graph G(n,p)

abstract: Majority bootstrap percolation on the random graph $G_{n,p}$ is a process of spread of "activation" on a given realisation of the graph with a given number of initially active nodes. At each step those vertices which have more active neighbours than inactive neighbours become active as well. We study the size $A^*$ of the final active set. The parameters of the model are, besides $n$ (tending to $\infty$), the size $A(0)=A_0(n)$ of the initially active set and the probability $p=p(n)$ of the edges in the graph. We prove that the process cannot percolate for $A(0) = o(n)$. We study the process for $A(0) = \theta n$ and every range of $p$ and show that the model exhibits different behaviours for different ranges of $p$. For very small $p \ll \frac{1}{n}$, the activation does not spread significantly. For large $p \gg \frac{1}{n}$ then we see a phase transition at $A(0) \simeq \frac{1}{2}n$. In the case $p= \frac{c}{n}$, the activation propagates to a significantly larger part of the graph but (the process does not percolate) a positive part of the graph remains inactive.


title: Cohomology of finite monogenic self-distributive structures

abstract: A shelf is a set with a binary operation~$\op$ satisfying $a \op (b \op c) = (a \op b) \op (a \op c)$. Racks are shelves with invertible translations $b \mapsto a \op b$; many of their aspects, including cohomological, are better understood than those of general shelves. Finite monogenic shelves (FMS), of which Laver tables and cyclic racks are the most famous examples, form a remarkably rich family of structures and play an important role in set theory. We compute the cohomology of FMS with arbitrary coefficients. On the way we develop general tools for studying the cohomology of shelves. Moreover, inside any finite shelf we identify a sub-rack which inherits its major characteristics, including the cohomology. For FMS, these sub-racks are all cyclic.


title: Ion trajectory analysis for micromotion minimization and the measurement of small forces

abstract: For experiments with ions confined in a Paul trap, minimization of micromotion is often essential. In order to diagnose and compensate micromotion we have implemented a method that allows for finding the position of the radio-frequency (RF) null reliably and efficiently, in principle, without any variation of direct current (DC) voltages. We apply a trap modulation technique and focus-scanning imaging to extract 3d ion positions for various RF drive powers and analyze the power dependence of the equilibrium position of the trapped ion. In contrast to commonly used methods, the search algorithm directly makes use of a physical effect as opposed to efficient numerical minimization in a high-dimensional parameter space. Using this method we achieve a compensation of the residual electric field that causes excess micromotion in the radial plane of a linear Paul trap down to 0.09V/m. Additionally, the precise position determination of a single harmonically trapped ion employed here can also be utilized for the detection of small forces. This is demonstrated by determining light pressure forces with a precision of 135yN. As the method is based on imaging only, it can be applied to several ions simultaneously and is independent of laser direction and thus well-suited to be used with, for example, surface-electrode traps.


title: Simultaneous and accurate measurement of the dielectric constant at many frequencies spanning a wide range

abstract: We present an innovative technique which allows the simultaneous measurement of the dielectric constant of a material at many frequencies, spanning a four orders of magnitude range chosen between 10 --2 Hz and 10 4 Hz. The sensitivity and accuracy are comparable to those obtained using standard single frequency techniques. The technique is based on three new and simple features: a) the precise real time correction of the amplication of a current amplier; b) the specic shape of the excitation signal and its frequency spectrum; and c) the precise synchronization between the generation of the excitation signal and the acquisition of the dielectric response signal. This technique is useful in the case of relatively fast dynamical measurements when the knowledge of the time evolution of the dielectric constant is needed.


title: The Static Quark Potential from the Gauge Independent Abelian Decomposition

abstract: We investigate the relationship between colour confinement and the gauge independent Cho-Duan-Ge Abelian decomposition. The decomposition is defined in terms of a colour field $n$; the principle novelty of our study is that we have defined this field in terms of the eigenvectors of the Wilson Loop. This establishes an equivalence between the path ordered integral of the non-Abelian gauge fields with an integral over an Abelian restricted gauge field which is tractable both theoretically and numerically in lattice QCD. We circumvent path ordering without needing an additional path integral. By using Stokes' theorem, we can compute the Wilson Loop in terms of a surface integral over a restricted field strength, and show that the restricted field strength may be dominated by certain structures, which occur when one of the quantities parametrising the colour field $n$ winds itself around a non-analyticity in the colour field. If they exist, these structures will lead to a area law scaling for the Wilson Loop and provide a mechanism for quark confinement. We search for these structures in quenched lattice QCD. We perform the Abelian decomposition, and compare the electric and magnetic fields with the patterns expected theoretically. We find that the restricted field strength is dominated by objects which may be peaks a single lattice spacing in size or extended string-like lines of electromagnetic flux. The objects are not isolated monopoles, as they generate electric fields in addition to magnetic fields, and the fields are not spherically symmetric, but may be either caused by a monopole/anti-monopole condensate, some other types of topological objects or a combination of these. Removing these peaks removes the area law scaling of the string tension, suggesting that they are responsible for confinement.


title: Quantum Mechanical Treatment of Variable Molecular Composition: From "Alchemical" Changes of State Functions to Rational Compound Design

abstract: "Alchemical" interpolation paths, i.e.~coupling systems along fictitious paths that without realistic correspondence, are frequently used within materials and molecular modeling and simulation protocols for the estimation of relative changes in state functions such as free energies. We discuss alchemical changes in the context of quantum chemistry, and present illustrative numerical results for the changes of HOMO eigenvalues of the He atom due to a linear alchemical teleportation---the simultaneous annihilation and creation of nuclear charges at different locations. To demonstrate the predictive power of alchemical first order derivatives (Hellmann-Feynman) the covalent bond potential of hydrogen fluoride and hydrogen chloride is investigated, as well as the van-der-Waals binding in the water-water and water-hydrogen fluoride dimer, respectively. Based on converged electron densities for one configuration, the versatility of alchemical derivatives is exemplified for the screening of entire binding potentials with reasonable accuracy. Finally, we discuss constraints for the identification of non-linear coupling potentials for which the energy's Hellmann-Feynman derivative will yield accurate predictions.


title: H\"older estimates for parabolic operators on domains with rough boundary

abstract: We investigate linear parabolic, second-order boundary value problems with mixed boundary conditions on rough domains. Assuming only boundedness and ellipticity on the coefficient function and very mild conditions on the geometry of the domain, including a very weak compatibility condition between the Dirichlet boundary part and its complement, we prove H\"older continuity of the solution in space and time.


title: Rubber Elasticity: Solution of the James-Guth Model

abstract: The solution of the many-body statistical mechanical theory of elasticity formulated by James and Guth in the 1940s is presented. The remarkable aspect of the solution is that it gives an elastic free energy that is essentially equivalent to that developed by Flory over a period of several decades.


title: Canonical density matrix perturbation theory

abstract: Density matrix perturbation theory [Niklasson and Challacombe, Phys. Rev. Lett. 92, 193001 (2004)] is generalized to canonical (NVT) free energy ensembles in tight-binding, Hartree-Fock or Kohn-Sham density functional theory. The canonical density matrix perturbation theory can be used to calculate temperature dependent response properties from the coupled perturbed self-consistent field equations as in density functional perturbation theory. The method is well suited to take advantage of sparse matrix algebra to achieve linear scaling complexity in the computational cost as a function of system size for sufficiently large non-metallic materials and metals at high temperatures.


title: A QoS aware Novel Probabilistic strategy for Dynamic Resource Allocation

abstract: The paper proposes a two player game based strategy for resource allocation in service computing domain such as cloud, grid etc. The players are modeled as demand/workflows for the resource and represent multiple types of qualitative and quantitative factors. The proposed strategy will classify them in two classes. The proposed system would forecast outcome using a priori information available and measure/estimate existing parameters such as utilization and delay in an optimal load-balanced paradigm. Keywords: Load balancing; service computing; Logistic Regression; probabilistic estimation


title: Model of two-dimensional electron gas formation at ferroelectric interfaces

abstract: The formation of a two-dimensional electron gas at oxide interfaces as a consequence of polar discontinuities has generated an enormous amount of activity due to the variety of interesting effects it gives rise to. Here we study under what circumstances similar processes can also take place underneath ferroelectric thin films. We use a simple Landau model to demonstrate that in the absence of extrinsic screening mechanisms a monodomain phase can be stabilized in ferroelectric films by means of an electronic reconstruction. Unlike in the LaAlO$_3$/SrTiO$_3$ heterostructure, the emergence with thickness of the free charge at the interface is discontinuous. This prediction is confirmed by performing first principles simulations of free standing slabs of PbTiO$_3$. The model is also used to predict the response of the system to an applied electric field, demonstrating that the two-dimensional electron gas can be switched on and off discontinuously and in a non-volatile fashion. Furthermore, the reversal of the polarization can be used to switch between a two-dimensional electron gas and a two-dimensional hole gas, which should, in principle, have very different transport properties. We discuss the possible formation of polarization domains and how such configuration competes with the spontaneous accumulation of free charge at the interfaces.


title: Traditional aging theories: which ones are useful?

abstract: Many theories have been proposed to answer two questions on aging: "Why do we age?" and "How do we age?" Among them, evolutionary theories are proposed to interpret the evolutionary advantage of aging, and "saving resources for group benefit" is thought to be the purpose of aging. However for saving resources, a more economic strategy should be to make a rapid death to the individuals who are over the reproduction age rather than to make them aging. Biological theories are proposed to identify the causes and the biological processes of aging. However, some theories including cell senescence/telomere theory, gene-controlling theory, and developmental theory, have unfortunately ignored the influence of damage on aging. Free-radical theory suggests that free radicals by causing intrinsic damage are the main cause of aging. However, even if intracellular free radicals cause injuries, they could be only associated with some but not all of the aging changes. Damage (fault)-accumulation theory predicts that faults as intrinsic damage can accumulate and lead to aging. However, in fact an unrepaired fault could not possibly remain in a living organism, since it can destroy the integrity of tissue structure and cause rapid failure of the organism. These traditional theories are all incomplete on interpreting aging phenomena. Nevertheless, developmental theory and damage (fault)-accumulation theory are more useful, because they have recognized the importance of damage and development process in aging. Some physical theories are useful, because they point out the common characteristics of aging changes, including loss of complexity, consequence of increase of entropy, and failure of information-transmission. An advanced theory, which can include all of these useful ideas in traditional theories, is needed.


title: Model of the vibrationally excited H$_2$O maser at 658 GHz in circumstellar envelopes around asymptotic giant branch stars

abstract: The model is presented of H$_2$O maser in the $1_{10}-1_{01}$ line within the first excited vibrational state of the molecule around oxygen-rich asymptotic giant branch stars. It is suggested that the maser cloud is located in the inner layers of the circumstellar envelope where intense dust formation takes place. The calculations took into account rotational levels belonging to the five lowest vibrational states of the H$_2$O molecule. The model predicts the gain values of the 658-GHz maser about $10^{-14} -10^{-13}$ cm$^{-1}$ at H$_2$ molecule concentrations $10^9 - 10^{11}$ cm$^{-3}$ and at high ortho-H$_2$O concentrations $ \gtrsim 10^5$ cm$^{-3}$. The gas temperatures $1000 - 1500$ K are considered to be a necessary condition for the effective maser operation. Results are presented for other maser transitions of the excited vibrational states of the molecule.


title: Energy-momentum tensor on the lattice: non-perturbative renormalization in Yang--Mills theory

abstract: We construct an energy-momentum tensor on the lattice which satisfies the appropriate Ward Identities (WIs) and has the right trace anomaly in the continuum limit. It is defined by imposing suitable WIs associated to the Poincare` invariance of the continuum theory. These relations come forth when the length of the box in the temporal direction is finite, and they take a particularly simple form if the coordinate and the periodicity axes are not aligned. We implement the method for the SU(3) Yang--Mills theory discretized with the standard Wilson action in presence of shifted boundary conditions in the (short) temporal direction. By carrying out extensive numerical simulations, the renormalization constants of the traceless components of the tensor are determined with a precision of roughly half a percent for values of the bare coupling constant in the range 0<= g^2_0<=1.


title: Spin dynamics and frequency dependence of magnetic damping study in soft ferromagnetic FeTaC film with a stripe domain structure

abstract: Perpendicular magnetic anisotropy (PMA) and low magnetic damping are the key factors for the free layer magnetization switching by spin transfer torque technique in magnetic tunnel junction devices. The magnetization precessional dynamics in soft ferromagnetic FeTaC thin film with a stripe domain structure was explored in broad band frequency range by employing micro-strip ferromagnetic resonance technique. The polar angular variation of resonance field and linewidth at different frequencies have been analyzed numerically using Landau-Lifshitz-Gilbert equation by taking into account the total free energy density of the film. The numerically estimated parameters Land\'{e} $g$-factor, PMA constant, and effective magnetization are found to be 2.1, 2$\times10^{5}$ erg/cm$^{3}$ and 7145 Oe, respectively. The frequency dependence of Gilbert damping parameter ($\alpha$) is evaluated by considering both intrinsic and extrinsic effects into the total linewidth analysis. The value of $\alpha$ is found to be 0.006 at 10 GHz and it increases with decreasing precessional frequency.


title: Multistable particle-field dynamics in cavity-generated optical lattices

abstract: Polarizable particles trapped in a resonator-sustained optical-lattice potential generate strong position-dependent backaction on the intracavity field. In the quantum regime particles in different energy bands are connected to different intracavity light intensities and optical-lattice depths. This generates a highly nonlinear coupled particle-field dynamics. For a given pump strength and detuning, a factorizing mean-field approach predicts several self-consistent stationary solutions of strongly distinct photon numbers and motional states. Quantum Monte Carlo wavefunction simulations of the master equation confirm these predictions and reveal complex multi-modal photon-number and particle-momentum distributions. Using larger nanoparticles in such a setup thus constitutes a well-controllable playground to study nonlinear quantum dynamics and the buildup of macroscopic quantum superpositions at the quantum-classical boundary.


title: Efficient evaluation of high-order moments and cumulants in tensor network states

abstract: We present a numerical scheme for efficiently extracting the higher-order moments and cumulants of various operators on spin systems represented as tensor product states, for both finite and infinite systems, and present several applications for such quantities. For example, the second cumulant of the energy of a state, $\langle \Delta H^2 \rangle$, gives a straightforward method to check the convergence of numerical ground-state approximation algorithms. Additionally, we discuss the use of moments and cumulants in the study of phase transitions. Of particular interest is the application of our method to calculate the so-called Binder's cumulant, which we use to detect critical points and study the critical exponent of the correlation length with only small finite numerical calculations. We apply these methods to study the behavior of a family of one-dimensional models (the transverse Ising model, the spin-1 Ising model, and the spin-1 Ising model in a crystal field), as well as the two-dimensional Ising model on a square lattice. Our results show that in one dimension, cumulant-based methods can produce precise estimates of the critical points at a low computational cost, and show promise for two-dimensional systems as well.


title: Examples of algebraic groups of type G2 having the same maximal tori

abstract: Answering a question of A. Rapinchuk, we construct examples of non- isomorphic semisimple algebraic groups H1 and H2 of type G2 with coherently equivalent systems of maximal k-tori.


title: Generalized nuclear contacts and the nucleon's momentum distributions

abstract: The general nuclear contact matrices are defined, taking into consideration all partial waves and finite-range interactions, extending Tan's work for the zero range model. The properties of these matrices are discussed and the relations between the contacts and the one-nucleon and two-nucleon momentum distributions are derived. Using these relations, a new asymptotic connection between the one-nucleon and two-nucleon momentum distributions, describing the two-body short-range correlations in nuclei, is obtained. Using available numerical data, we extract few connections between the different contacts and verify their relations to the momentum distributions. The numerical data also allows us to identify the main nucleon momentum range affected by two-body short-range correlations. Utilizing these relations and the numerical data, we also verify a previous independent prediction connecting between the Levinger constant and the contacts. This work provides an important indication for the relevance of the contact formalism to nuclear systems, and should open the path for revealing more useful relations between the contacts and interesting quantities of nuclei and nuclear matter.


title: Revisiting the Majorana Relativistic Theory of Particles with Arbitrary Spin

abstract: In 1932 Ettore Majorana published an article proving that relativity allows any value for the spin of a quantum particle and that there is no privilege for the half integer spin. The Majorana idea was so innovative for the time that the scientific community understood its importance only towards the end of the thirties. This paper aims to highlight the depth of the scientific thought of Majorana that, well in advance of its time, opened the way for modern particle physics and introduced for the first time the idea of a universal quantum equation, able to explain the behavior of particles with arbitrary spin and of any nature, regardless the value of their speed. It will be analyzed in detail and made explicit all the steps that lead to the physical mathematical formulation of the Majorana theory. A part of these steps require basic knowledge of quantum physics but not for this should be regarded as trivial since they show the physical meaning hidden into the structure of the equation. Moreover, the explicit method for the construction of the infinite matrices will be given, by which the infinite components of the wave functions representing the fundamental and excited states of the particle are calculated.


title: Fluctuation effects on QCD phase diagram at strong coupling

abstract: We study the QCD phase diagram away from the strong coupling limit (SCL) with fluctuation effects in the auxiliary field Monte-Carlo (AFMC) method. First, we give an effective action which contains next-to-leading order (NLO) finite coupling effects of the strong coupling expansion as well as fluctuation effects. Second, we examine NLO effects of the strong coupling expansion in AFMC at zero quark density. We find that the chiral condensate is reduced by both NLO terms from temporal plaquettes and fluctuation effects, and almost no dependence on NLO terms from spatial plaquettes in the current analysis. These behaviors can be understood from the modification of the mass and the wave function renormalization factor by auxiliary fields as in the mean field analysis and the fluctuation effects in the strong coupling limit.


title: Universal time scaling for Hamiltonian parameter estimation

abstract: Time is a valuable resource and it seems intuitive that longer time should lead to better precision in Hamiltonian parameter estimation. However recent studies have put this intuition into question, showing longer time may even lead to worse estimation in certain cases. Here we show that the intuition can be restored if coherent feedback controls are included. By deriving asymptotically optimal feedback controls we present a quantification of the maximal improvement feedback controls can provide in Hamiltonian parameter estimation and show a universal time scaling for the precision limit of Hamiltonian parameter estimation under the optimal feedback scheme.


title: Jerk and Hyperjerk in a Rotating Frame of Reference

abstract: Jerk is the derivative of acceleration with respect to time and then it is the third order derivative of the position vector. Hyperjerks are the n-th order derivatives with n>3. This paper describes the relations, for jerks and hyperjerks, between the quantities measured in an inertial frame of reference and those observed in a rotating frame. These relations can be interesting for teaching purposes.


title: Single-Spin Asymmetries in W Boson Production at Next-to-Leading Order

abstract: We present an analytic next-to-leading order QCD calculation of the partonic cross sections for single-inclusive lepton production in hadronic collisions, when the lepton originates from the decay of an intermediate electroweak boson and is produced at high transverse momentum. In particular, we consider the case of incoming longitudinally polarized protons for which parity-violating single-spin asymmetries arise that are exploited in the $W$ boson program at RHIC to constrain the proton's helicity parton distributions. Our calculation enables a very fast and efficient numerical computation of the relevant spin asymmetries at RHIC, which is an important ingredient for the inclusion of RHIC data in a global analysis of nucleon helicity structure. We confirm the validity of our calculation by comparing with an existing code that treats the next-to-leading order cross sections entirely numerically by Monte-Carlo integration techniques. We also provide new comparisons of the present RHIC data with results for some of the sets of polarized parton distributions available in the literature.


title: Continuous and discrete Neumann systems on Stiefel varieties as matrix generalizations of the Jacobi-Mumford systems

abstract: We study geometric and algebraic geometric properties of the continuous and discrete Neumann systems on cotangent bundles of Stiefel varieties $V_{n,r}$. The systems are integrable in the non-commutative sense, and by applying a $2r\times 2r$--Lax representation, we show that generic complex invariant manifolds are open subsets of affine (non-compact) Prym varieties on which the complex flow is linear. The characteristics of the varieties and the direction of the flow are calculated explicitly. Next, we construct a family of (multi-valued) integrable discretizations of the Neumann systems and describe them as translations on the Prym varieties, which are written explicitly in terms of divisors of points on the spectral curve. It appears that the systems inherit or naturally generalize the basic properties of the classical Neumann system on $S^{n-1}$ and, therefore, of the Jacobi--Mumford systems: the structure of the Lax matrices, the spectral curve, the equations of motion, linearization on Abelian varieties, and, in the discrete case, the formula for the translation on them.


title: A Geometric Perspective on the Singular Value Decomposition

abstract: This is an introductory survey, from a geometric perspective, on the Singular Value Decomposition (SVD) for real matrices, focusing on the role of the Terracini Lemma. We extend this point of view to tensors, we define the singular space of a tensor as the space spanned by singular vector tuples and we study some of its basic properties.


title: Measurement of the time-dependent CP asymmetries in $B_s^0\rightarrow J/\psi K_{\rm S}^0$

abstract: The first measurement of decay-time-dependent CP asymmetries in the decay $B_s^0\rightarrow J/\psi K_{\rm S}^0$ and an updated measurement of the ratio of branching fractions $\mathcal{B}(B_s^0\rightarrow J/\psi K_{\rm S}^0)/\mathcal{B}(B_d^0\rightarrow J/\psi K_{\rm S}^0)$} are presented. The results are obtained using data corresponding to an integrated luminosity of 3.0 fb$^{-1}$ of proton-proton collisions recorded with the LHCb detector at centre-of-mass energies of 7 and 8 TeV. The results on the CP asymmetries are $A_{\Delta\Gamma}(B_s^0\rightarrow J/\psi K_{\rm S}^0) = 0.49_{-0.65}^{+0.77}(stat) \pm 0.06(syst)$, $C_{\rm dir}(B_s^0\rightarrow J/\psi K_{\rm S}^0) = -0.28 \pm 0.41(stat) \pm 0.08(syst)$ and $S_{\rm mix}(B_s^0\rightarrow J/\psi K_{\rm S}^0) = -0.08 \pm 0.40(stat) \pm 0.08(syst)$. The ratio $\mathcal{B}(B_s^0\rightarrow J/\psi K_{\rm S}^0)/\mathcal{B}(B_d^0\rightarrow J/\psi K_{\rm S}^0)$ is measured to be $0.0431 \pm 0.0017(stat) \pm 0.0012(syst) \pm 0.0025(f_s/f_d)$, where the last uncertainty is due to the knowledge of the $B_s^0$ and $B_d^0$ production fractions.


title: The (2,3)-generation of the classical simple groups of dimension 6 and 7

abstract: In this paper we prove that the finite simple groups $PSp_6(q)$, $\Omega_7(q)$ and $PSU_7(q^2)$ are (2,3)-generated for all q. In particular, this result completes the classification of the (2,3)-generated finite classical simple groups up to dimension 7.


title: New Insights into White-Light Flare Emission from Radiative-Hydrodynamic Modeling of a Chromospheric Condensation

abstract: (abridged) The heating mechanism at high densities during M dwarf flares is poorly understood. Spectra of M dwarf flares in the optical and near-ultraviolet wavelength regimes have revealed three continuum components during the impulsive phase: 1) an energetically dominant blackbody component with a color temperature of T $\sim$ 10,000 K in the blue-optical, 2) a smaller amount of Balmer continuum emission in the near-ultraviolet at lambda $<$ 3646 Angstroms and 3) an apparent pseudo-continuum of blended high-order Balmer lines. These properties are not reproduced by models that employ a typical "solar-type" flare heating level in nonthermal electrons, and therefore our understanding of these spectra is limited to a phenomenological interpretation. We present a new 1D radiative-hydrodynamic model of an M dwarf flare from precipitating nonthermal electrons with a large energy flux of $10^{13}$ erg cm$^{-2}$ s$^{-1}$. The simulation produces bright continuum emission from a dense, hot chromospheric condensation. For the first time, the observed color temperature and Balmer jump ratio are produced self-consistently in a radiative-hydrodynamic flare model. We find that a T $\sim$ 10,000 K blackbody-like continuum component and a small Balmer jump ratio result from optically thick Balmer and Paschen recombination radiation, and thus the properties of the flux spectrum are caused by blue light escaping over a larger physical depth range compared to red and near-ultraviolet light. To model the near-ultraviolet pseudo-continuum previously attributed to overlapping Balmer lines, we include the extra Balmer continuum opacity from Landau-Zener transitions that result from merged, high order energy levels of hydrogen in a dense, partially ionized atmosphere. This reveals a new diagnostic of ambient charge density in the densest regions of the atmosphere that are heated during dMe and solar flares.


title: Reduced coupling with global pulses in quantum registers

abstract: Decoupling is an important tool to prolong the coherence time of quantum systems. Most decoupling schemes have been assuming selective controls on the system and it is believed that with global pulses one can only decouple systems with certain coupling terms like secular dipole-dipole coupling. In this article we show that with global pulses it is possible to reduce the coupling strength of other types of coupling, which we demonstrate with Ising coupling. The complexity of such pulses is independent of the size of system.


title: Explicit Correlated Exciton-Vibrational Dynamics of the FMO Complex

abstract: The coupled exciton-vibrational dynamics of a 3-site FMO model is investigated using the numerically exact multilayer multiconfiguration time-dependent Hartree approach. Thereby the vibrational mode specific coupling to local electronic transitions is adapted from a discretized experimental spectral density. The solution of the resulting time-dependent Schr\"odinger equation including three electronic and 450 vibrational degrees of freedom is analyzed in terms of excitonic populations and coherences. Emphasis is put onto the role of specific ranges of vibrational frequencies. It is observed that modes between 160 and 300 cm$^{-1}$ are responsible for the subpicosecond population and coherence decay. Further, it is found that a mean-field approach with respect to the vibrational degrees of freedom is not applicable.


title: Innermost stable circular orbits of spinning test particles in Schwarzschild and Kerr space-times

abstract: We consider the motion of classical spinning test particles in Schwarzschild and Kerr metrics and investigate innermost stable circular orbits (ISCO). The main goal of this work is to find analytically the small-spin corrections for the parameters of ISCO (radius, total angular momentum, energy, orbital angular frequency) of spinning test particles in the case of vectors of black hole spin, particle spin and orbital angular momentum being collinear to each other. We analytically derive the small-spin linear corrections for arbitrary Kerr parameter $a$. The cases of Schwarzschild, slowly rotating and extreme Kerr black hole are considered in details. For a slowly rotating black hole the ISCO parameters are obtained up to quadratic in $a$ and particle's spin $s$ terms. From the formulae obtained it is seen that the spin-orbital coupling has attractive character when spin and angular momentum are parallel and repulsive when they are antiparallel. For the case of the extreme Kerr black hole with co-rotating particle we succeed to find the exact analytical solution for the limiting ISCO parameters for arbitrary spin. It has been shown that the limiting values of ISCO radius and frequency do not depend on the particle's spin while values of energy and total angular momentum depend on it. We have also considered circular orbits of arbitrary radius and have found small-spin linear corrections for the total angular momentum and energy at given radius. System of equations for numerical calculation of ISCO parameters for arbitrary $a$ and $s$ is also explicitly written.


title: Ground states of large bosonic systems: The gross-pitaevskii limit revisited

abstract: We study the ground state of a dilute Bose gas in a scaling limit where the Gross-Pitaevskii functional emerges. This is a repulsive non-linear Schr\"odinger functional whose quartic term is proportional to the scattering length of the interparticle interaction potential. We propose a new derivation of this limit problem, with a method that bypasses some of the technical difficulties that previous derivations had to face. The new method is based on a combination of Dyson's lemma, the quantum de Finetti theorem and a second moment estimate for ground states of the effective Dyson Hamiltonian. It applies equally well to the case where magnetic fields or rotation are present.

categories: math-ph cond-mat.quant-gas math.AP math.MP


title: Order/disorder dynamics in a dodecanethiol-capped gold nanoparticles supracrystal by small-angle ultrafast electron diffraction

abstract: In metal nanoparticles (NPs) supracrystals, the metallic core provides some key properties, e.g. magnetization, plasmonic response or conductivity, with the ligand molecules giving rise to others like solubility, assembly or interaction with biomolecules. The formation of these supracrystals depends on a complex interplay between many forces, some stemming from the core, some from the ligands. At present, there is no known approach to characterize the local order of ligand molecules or their dynamics with atomic spatial resolution. Here, we develop a methodology based on small-angle ultrafast electron diffraction combined with angular cross-correlation analysis to characterize a two-dimensional supracrystal of dodecanethiol-coated gold NPs. We retrieve the static arrangement of the ligands, showing that at equilibrium they order in a preferential orientation on the NPs surface and throughout the two-dimensional supracrystal. Upon light excitation, positional disorder is induced in the supracrystal, while its overall homogeneity is surprisingly found to transiently increase. This suggests that transient annealing of the supracrystal takes place within few picoseconds (ps). This methodology will enable the systematic investigation of the dynamical structural properties of nano-assembled materials containing light elements, relevant for biological applications.


title: Optimal Transport with Coulomb cost. Approximation and duality

abstract: We revisit the duality theorem for multimarginal optimal transportation problems. In particular, we focus on the Coulomb cost. We use a discrete approximation to prove equality of the extremal values and some careful estimates of the approximating sequence to prove existence of maximizers for the dual problem (Kantorovich's potentials). Finally we observe that the same strategy can be applied to a more general class of costs and that a classical results on the topic cannot be applied here.


title: Comments on the radial distribution of charged particles in a magnetic field

abstract: Magnetic guiding fields in combination with energy dispersive semiconductor detectors have been employed already more than 50 years ago for in-beam internal conversion electron spectroscopy. Even then it was recognized that efficiency modulations may appear as function of the electron energy, arising when electrons hit a baffle or miss the sensitive area of the detector. Current high precision beta decay experiments of polarized neutrons with conceptional similar experimental devices resulted in a detailed study of the point spread function (PSF). The latter describes the radial probability distribution of mono-energetic electrons at the detector plane. Singularities occur as function of the radial detector coordinate which have been investigated and discussed by Sjue at al. (Rev. Scient. Instr. 86, 023102 (2015)), and Dubbers (arXiv:1501.05131v1 [physics.ins-det]). In this comment a rather precise numerical representation of the PSF is presented and compared with approximations in the mentioned papers.


title: Protection of a non-Fermi liquid by spin-orbit interaction

abstract: We show that a thermoelectric transport through a Quantum Dot (QD) - single-mode Quantum Point Contact (QPC) nano-device demonstrating pronounced fingerprints of Non-Fermi Liquid (NFL) behavior in the absence of external magnetic field is protected from magnetic field NFL destruction by strong spin-orbit interaction (SOI). The mechanism of protection is associated with appearance of additional scattering processes due to lack of spin conservation in the presence of both SOI and small Zeemann field. The interplay between in-plane magnetic field $\vec B$ and SOI is controlled by the angle between $\vec B$ and $\vec B_{SOI}$ We predict strong dependence of the thermoelectric coefficients on the orientation of the magnetic field and discuss a window of parameters for experimental observation of NFL effects.


title: Stability of Noisy Metropolis-Hastings

abstract: Pseudo-marginal Markov chain Monte Carlo methods for sampling from intractable distributions have gained recent interest and have been theoretically studied in considerable depth. Their main appeal is that they are exact, in the sense that they target marginally the correct invariant distribution. However, the pseudo-marginal Markov chain can exhibit poor mixing and slow convergence towards its target. As an alternative, a subtly different Markov chain can be simulated, where better mixing is possible but the exactness property is sacrificed. This is the noisy algorithm, initially conceptualised as Monte Carlo within Metropolis (MCWM), which has also been studied but to a lesser extent. The present article provides a further characterisation of the noisy algorithm, with a focus on fundamental stability properties like positive recurrence and geometric ergodicity. Sufficient conditions for inheriting geometric ergodicity from a standard Metropolis-Hastings chain are given, as well as convergence of the invariant distribution towards the true target distribution.


title: Overset LES with Application to a Turbulent Channel Flow

abstract: In this contribution, we present an application of a novel perturbation approach (denoted as an Overset approach) to a generic turbulent channel flow. The derivation of the governing equations (the Non-Linear Perturbation Equations extended with fluctuating viscous terms) is presented as well as subgrid-scale modeling aspects which results in the Overset LES (OLES) method. The application of the Overset method is illustrated with a generic fully developed turbulent channel flow, the results of which show excellent agreement with reference Direct Numerical Simulation data. The ability of the overset method to correct for an imperfect background flow is furthermore shown.


title: Characterization of majorization monotone quantum dynamics

abstract: In this article I study the dynamics of open quantum system in Markovian environment. I give necessary and sufficient conditions for such dynamics to be majorization monotone, which are those dynamics always mixing the states.


title: Strong interaction between electrons and collective excitations in multiband superconductor MgB2

abstract: We use a tunable laser ARPES to study the electronic properties of the prototypical multiband BCS superconductor MgB2. Our data reveal a strong renormalization of the dispersion (kink) at ~65 meV, which is caused by coupling of electrons to the E2g phonon mode. In contrast to cuprates, the 65 meV kink in MgB2 does not change significantly across Tc. More interestingly, we observe strong coupling to a second, lower energy collective mode at binding energy of 10 meV. This excitation vanishes above Tc and is likely a signature of the elusive Leggett mode.


title: Extended phase space thermodynamics and $P-V$ criticality of charged black holes in Brans-Dicke theory

abstract: In this paper, taking in to account Brans-Dick theory, we investigate thermodynamic behavior of charged black hole solutions. We study the analogy of the black hole solution with the Van der Waals liquid-gas system in the extended phase space by considering the cosmological constant as dynamical pressure. We obtain critical values of thermodynamic coordinates and plot $P-r_{+}$ and $G-T$ diagrams to study the phase transition.


title: Mesoscale solubilization and critical phenomena in binary and quasi binary solutions of hydrotropes

abstract: Hydrotropes are substances consisting of amphiphilic molecules that are too small to self assemble in equilibrium structures in aqueous solutions, but can form dynamic molecular clusters H bonded with water molecules. Some hydrotropes, such as low molecular weight alcohols and amines, can solubilize hydrophobic compounds in aqueous solutions at a mesoscopic scale, around 100 nm, with formation of long lived mesoscale droplets. In this work, we report on the studies of near critical and phase behavior of binary, 2,6-lutidine - H2O, and quasibinary, 2,6-lutidine - H2O - D2O, and tert-butanol - 2-butanol - H2O solutions in the presence of a solubilized hydrophobic impurity, cyclohexane. In additional to visual observation of fluid phase equilibria, two experimental techniques were used - light scattering and small - angle neutron scattering. It was found that the increase of the tert-butanol to 2-butanol ratio affects the liquid - liquid equilibria in the quasi-binary system at ambient pressure in the same way as the increase of pressure modifies the phase behavior of binary 2-butanol - H2O solutions. The correlation length of critical fluctuations near the liquid-liquid separation and the size of mesoscale droplets of solubilized cyclohexane were obtained by dynamic light scattering and by small - angle neutron scattering. It is shown that the effect of the presence of small amounts of cyclohexane on the near - critical phase behavior is twofold - the transition temperature changes towards increasing the two-phase domain, and long-lived mesoscopic inhomogeneities emerge in the macroscopically homogeneous domain. These homogeneities remain unchanged upon approach to the critical point of macroscopic phase separation and do not alter the universal nature of criticality. However, a larger amount of cyclohexane generates additional liquid-liquid phase separation at lower temperatures.


title: Products of families of types in the C-systems defined by a universe category

abstract: We introduce the notion of a $(\Pi,\lambda)$-structure on a C-system and show that C-systems with $(\Pi,\lambda)$-structures are constructively equivalent to contextual categories with products of families of types. We then show how to construct $(\Pi,\lambda)$-structures on C-systems of the form $CC({\cal C},p)$ defined by a universe $p$ in a locally cartesian closed category $\cal C$ from a simple pull-back square based on $p$. In the last section we prove a theorem that asserts that our construction is functorial. This version introduces some changes compared to the previous one to ensure rigorous compatibility with arXiv:1409.7925v3.


title: Overhauling SC Atomics in C11 and OpenCL

abstract: Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations. We conduct an overhaul of SC atomics in C11, reducing the associated axioms in both number and complexity. A consequence of our simplification is that the SC operations in an execution no longer need to be totally ordered. This relaxation enables, for the first time, efficient and exhaustive simulation of litmus tests that use SC atomics. We extend our improved C11 model to obtain the first rigorous memory model formalisation for OpenCL (which extends C11 with support for heterogeneous many-core programming). In the OpenCL setting, we refine the SC axioms still further to give a sensible semantics to SC operations that employ a 'memory scope' to restrict their visibility to specific threads. Our overhaul requires slight strengthenings of both the C11 and the OpenCL memory models, causing some behaviours to become disallowed. We argue that these strengthenings are natural, and that all of the formalised C11 and OpenCL compilation schemes of which we are aware (Power and x86 CPUs for C11, AMD GPUs for OpenCL) remain valid in our revised models. Using the Herd memory model simulator, we show that our overhaul leads to an exponential improvement in simulation time for C11 litmus tests compared with the original model, making exhaustive simulation competitive, time-wise, with the non-exhaustive CDSChecker tool.


title: Hayman's classical conjecture on some nonlinear second order algebraic ODEs

abstract: In this paper, we study the growth, in terms of the Nevanlinna characteristic function, of meromorphic solutions of three types of second order nonlinear algebraic ordinary differential equations. We give all their meromorphic solutions explicitly, and hence show that all of these ODEs satisfy the {\it classical conjecture} proposed by Hayman in 1996.


title: Classical capacity of a qubit depolarizing memory channel with Markovian correlated noise

abstract: We study the classical capacity of a forgetful quantum memory channel that switches between two qubit depolarizing channels according to an ergodic Markov chain. The capacity of this quantum memory channel depends on the parameters of the two depolarizing channels and the memory of the ergodic Markov chain. When the number of input qubit's is two, we show that depending on channel parameters either the maximally entangled input states or product input states achieve the classical capacity. Our conjecture based on numerics is that as the number of input qubits are increased the classical capacity approaches the product state capacity for all values of the parameters.


title: h-Transforms and Orthogonal Polynomials

abstract: We describe some examples of classical and explicit h-transforms as particular cases of a general mechanism, which is related to the existence of symmetric diffusion operators having orthogonal polynomials as spectral decomposition.


title: Rotation-invariant convolutional neural networks for galaxy morphology prediction

abstract: Measuring the morphological parameters of galaxies is a key requirement for studying their formation and evolution. Surveys such as the Sloan Digital Sky Survey (SDSS) have resulted in the availability of very large collections of images, which have permitted population-wide analyses of galaxy morphology. Morphological analysis has traditionally been carried out mostly via visual inspection by trained experts, which is time-consuming and does not scale to large ($\gtrsim10^4$) numbers of images. Although attempts have been made to build automated classification systems, these have not been able to achieve the desired level of accuracy. The Galaxy Zoo project successfully applied a crowdsourcing strategy, inviting online users to classify images by answering a series of questions. Unfortunately, even this approach does not scale well enough to keep up with the increasing availability of galaxy images. We present a deep neural network model for galaxy morphology classification which exploits translational and rotational symmetry. It was developed in the context of the Galaxy Challenge, an international competition to build the best model for morphology classification based on annotated images from the Galaxy Zoo project. For images with high agreement among the Galaxy Zoo participants, our model is able to reproduce their consensus with near-perfect accuracy ($> 99\%$) for most questions. Confident model predictions are highly accurate, which makes the model suitable for filtering large collections of images and forwarding challenging images to experts for manual annotation. This approach greatly reduces the experts' workload without affecting accuracy. The application of these algorithms to larger sets of training data will be critical for analysing results from future surveys such as the LSST.

categories: astro-ph.IM astro-ph.GA cs.CV cs.LG cs.NE stat.ML


title: Inert scalars and vacuum metastability around the electroweak scale

abstract: We analyse effective potential around the electroweak (EW) scale in the Standard Model extended with a heavy scalar doublet. We show that the additional scalars can have a strong impact on vacuum stability. Although the additional heavy scalars may improve the behaviour of running Higgs self-coupling at large field values, we prove that they can destabilise the vacuum due to EW-scale effects. A new EW symmetry conserving minimum of the effective potential can appear rendering the electroweak symmetry breaking minimum meta- or unstable. However, for the case of the inert doublet model (IDM) with a 125 GeV Higgs boson we demonstrate that the parameter space region where the vacuum is meta- or unstable cannot be reconciled with the constraints from perturbative unitarity, electroweak precision tests and dark matter relic abundance measurements.


title: The Alekseevskii conjecture in low dimensions

abstract: The long-standing Alekseevskii conjecture states that a connected homogeneous Einstein space G/K of negative scalar curvature must be diffeomorphic to R^n. This was known to be true only in dimensions up to 5, and in dimension 6 for non-semisimple G. In this work we prove that this is also the case in dimensions up to 10 when G is not semisimple. For arbitrary G, besides 5 possible exceptions, we show that the conjecture holds up to dimension 8.


title: Lyapunov exponents for families of rotated linear cocycles

abstract: In this work, we are interested in the study of the upper Lyapunov exponent $\lambda^+(\theta)$ associated to the periodic family of cocycles defined by $$A_\theta(x):=A(x)R_\theta,\qquad x\in X,$$ where $A\::\: X\to \mathbb{GL}^+(2,\mathbb{R})$ is a linear cocycle orientation--preser\-ving and $R_\theta$ is a rotation of angle $\theta\in\mathbb{R}$. We show that if the cocycle $A$ has dominated splitting, then there exists a non empty open set $\mathcal{U}$ of parameters $\theta$ such that the cocycle $A_\theta$ has dominated splitting and the function $\mathcal{U}\ni\theta\mapsto\lambda^+(\theta)$ is real analytic and strictly concave. As a consequence, we obtain that the set of parameters $\theta$ where the cocycle $A_\theta$ has not dominated splitting is non empty.


title: Jahn-Teller versus quantum effects in the spin-orbital material LuVO3

abstract: We report on combined neutron and resonant x-ray scattering results, identifying the nature of the spin-orbital ground state and magnetic excitations in LuVO3 as driven by the orbital parameter. In particular, we distinguish between models based on orbital Peierls dimerization, taken as a signature of quantum effects in orbitals, and Jahn-Teller distortions, in favor of the latter. In order to solve this long-standing puzzle, polarized neutron beams were employed as a prerequisite in order to solve details of the magnetic structure, which allowed quantitative intensity-analysis of extended magnetic excitation data sets. The results of this detailed study enabled us to draw definite conclusions about classical vs quantum behavior of orbitals in this system and to discard the previous claims about quantum effects dominating the orbital physics of LuVO3 and similar systems.


title: Recognition and Complexity of Point Visibility Graphs

abstract: A point visibility graph is a graph induced by a set of points in the plane, where every vertex corresponds to a point, and two vertices are adjacent whenever the two corresponding points are visible from each other, that is, the open segment between them does not contain any other point of the set. We study the recognition problem for point visibility graphs: given a simple undirected graph, decide whether it is the visibility graph of some point set in the plane. We show that the problem is complete for the existential theory of the reals. Hence the problem is as hard as deciding the existence of a real solution to a system of polynomial inequalities. The proof involves simple substructures forcing collinearities in all realizations of some visibility graphs, which are applied to the algebraic universality constructions of Mn\"ev and Richter-Gebert. This solves a longstanding open question and paves the way for the analysis of other classes of visibility graphs. Furthermore, as a corollary of one of our construction, we show that there exist point visibility graphs that do not admit any geometric realization with points having integer coordinates.


title: Complexity of the XY antiferromagnet at fixed magnetization

abstract: We prove that approximating the ground energy of the antiferromagnetic XY model on a simple graph at fixed magnetization (given as part of the instance specification) is QMA-complete. To show this, we strengthen a previous result by establishing QMA-completeness for approximating the ground energy of the Bose-Hubbard model on simple graphs. Using a connection between the XY and Bose-Hubbard models that we exploited in previous work, this establishes QMA-completeness of the XY model.


title: $SU(n)$ symmetry breaking by rank three and rank two antisymmetric tensor scalars

abstract: We study $SU(n)$ symmetry breaking by rank three and rank two antisymmetric tensor fields. Using tensor analysis, we derive branching rules for the adjoint and antisymmetric tensor representations, and explain why for general $SU(n)$ one finds the same $U(1)$ generator mismatch that we noted earlier in special cases. We then compute the masses of the various scalar fields in the branching expansion, in terms of parameters of the general renormalizable potential for the antisymmetric tensor fields.


title: TREX-DM: a low background Micromegas-based TPC for low mass WIMP detection

abstract: Dark Matter experiments are recently focusing their detection techniques in low-mass WIMPs, which requires the use of light elements and low energy threshold. In this context, we present the TREX-DM experiment, a low background Micromegas-based TPC for low-mass WIMP detection. Its main goal is the operation of an active detection mass $\sim$0.300 kg, with an energy threshold below 0.4 keVee and fully built with previously selected radiopure materials. This article describes the actual setup, the first results of the comissioning in Ar+2\%iC$_4$H$_{10}$ at 1.2 bar and the future updates for a possible physics run at the Canfranc Underground Laboratory in 2016. A first background model is also presented, based on Geant4 simulations and a muon/electron discrimination method. In a conservative scenario, TREX-DM could be sensitive to DAMA/LIBRA and other hints of positive WIMPs signals, with some space for improvement with a neutron/electron discrimination method or the use of other light gases.


title: Global minima for semilinear optimal control problems

abstract: We consider an optimal control problem subject to a semilinear elliptic PDE together with its variational discretization. We provide a condition which allows to decide whether a solution of the necessary first order conditions is a global minimum. This condition can be explicitly evaluated at the discrete level. Furthermore, we prove that if the above condition holds uniformly with respect to the discretization parameter the sequence of discrete solutions converges to a global solution of the corresponding limit problem. Numerical examples with unique global solutions are presented.


title: A New Tool for the study of the CP-violating NMSSM

abstract: Supersymmetric extensions of the Standard Model open up the possibility for new types of CP-violation. We consider the case of the Next-to-Minimal Supersymmetric Standard Model where, beyond the phases from the soft lagrangian, CP-violation could enter the Higgs sector directly at tree-level through complex parameters in the superpotential. We develop a series of Fortran subroutines, cast within the public tool NMSSMTools and allowing for a phenomenological analysis of the CP-violating NMSSM. This new tool performs the computation of the masses and couplings of the various new physics states in this model: leading corrections to the sparticle masses are included; the precision for the Higgs masses and couplings reaches the full one-loop and leading two-loop order. The two-body Higgs and top decays are also attended. We use the public tools HiggsBounds and HiggsSignals to test the Higgs sector. Additional subroutines check the viability of the sparticle spectrum in view of LEP-limits and constrain the phases of the model via a confrontation to the experimentally measured Electric Dipole Moments. These tools will be made publicly available in the near future. In this paper, we detail the workings of our code and illustrate its use via a comparison with existing results. We also consider some consequences of CP-violation for the NMSSM Higgs sector.


title: On graded decomposition numbers of Cherednik algebras

abstract: We provide an algorithmic description of a family of graded decomposition numbers for rational Cherednik algebras.