title: Diffusion and subdiffusion of interacting particles on comb-like structures

abstract: We study the dynamics of a tracer particle (TP) on a comb lattice populated by randomly moving hard-core particles in the dense limit. We first consider the case where the TP is constrained to move on the backbone of the comb only, and, in the limit of high density of particles, we present exact analytical results for the cumulants of the TP position, showing a subdiffusive behavior $\sim t^{3/4}$. At longer times, a second regime is observed, where standard diffusion is recovered, with a surprising non analytical dependence of the diffusion coefficient on the particle density. When the TP is allowed to visit the teeth of the comb, based on a mean-field-like Continuous Time Random Walk description, we unveil a rich and complex scenario, with several successive subdiffusive regimes, resulting from the coupling between the inhomogeneous comb geometry and particle interactions. Remarkably, the presence of hard-core interactions speeds up the TP motion along the backbone of the structure in all regimes.


title: Heliosphere for a wide range of interstellar magnetic field strengths as a source of energetic neutral atoms

abstract: Observations of the energetic neutral atoms (ENAs) of heliospheric origin by IBEX differ from expectations based on heliospheric models. It was proposed that the structure of the heliosphere may be similar to the "two-stream" model derived in 1961 by Parker for the case of strong interstellar magnetic field. Using MHD simulations, we examine possible structure of the heliosphere for a wide range of interstellar magnetic field strengths, with different choices of interstellar medium and solar wind parameters. For the model heliospheres, we calculate the fluxes of ENAs created in the inner heliosheath, and compare with IBEX observations. We find that the plasma flow in the model heliospheres for strong interstellar field ($\sim$20 $\mu$G) has a "two-stream" structure, which remains visible down to $\sim$5 $\mu$G. The obtained ENA flux distribution show the features similar to the "split tail" effect observed by IBEX. In our model, the main cause of this effect is the two component (fast and slow) solar wind structure.


title: Relational Division in Rank-Aware Databases

abstract: We present a survey of existing approaches to relational division in rank-aware databases, discuss issues of the present approaches, and outline generalizations of several types of classic division-like operations. We work in a model which generalizes the Codd model of data by considering tuples in relations annotated by ranks, indicating degrees to which tuples in relations match queries. The approach utilizes complete residuated lattices as the basic structures of degrees. We argue that unlike the classic model, relational divisions are fundamental operations which cannot in general be expressed by means of other operations. In addition, we compare the existing and proposed operations and identify those which are faithful counterparts of universally quantified queries formulated in relational calculi. We introduce Pseudo Tuple Calculus in the ranked model which is further used to show mutual definability of the various forms of divisions presented in the paper.


title: Timing jitter of passively mode-locked semiconductor lasers subject to optical feedback; a semi-analytic approach

abstract: We propose a semi-analytical method of calculating the timing fluctuations in mode-locked semiconductor lasers and apply it to study the effect of delayed coherent optical feedback on pulse timing jitter in these lasers. The proposed method greatly reduces computation times and therefore allows for the investigation of the dependence of timing fluctuations over greater parameter domains. We show that resonant feedback leads to a reduction in the timing jitter and that a frequency-pulling region forms about the main resonances, within which a timing jitter reduction is observed. The width of these frequency-pulling regions increases linearly with short feedback delay times. We derive an analytic expression for the timing jitter, which predicts a monotonous decrease in the timing jitter for resonant feedback of increasing delay lengths, when timing jitter effects are fully separated from amplitude jitter effects. For long feedback cavities the decrease in timing jitter scales approximately as $1/\tau$ with the increase of the feedback delay time $\tau$.


title: Classical vs. Bayesian methods for linear system identification: point estimators and confidence sets

abstract: This paper compares classical parametric methods with recently developed Bayesian methods for system identification. A Full Bayes solution is considered together with one of the standard approximations based on the Empirical Bayes paradigm. Results regarding point estimators for the impulse response as well as for confidence regions are reported.


title: Comment on Limitations on the superposition principle: superselection rules in non-relativistic quantum mechanics

abstract: This is a comment to the paper, Limitations on the superposition principle: superselection rules in non-relativistic quantum mechanics by C Cisneros et al 1998 Eur. J. Phys. 19 237. doi:10.1088/0143-0807/19/3/005. The proof that the authors construct for the limitation on the superposition of state vectors corresponding to different sectors of the Hilbert space, partitioned by a superoperator has a flaw as outlined below.


title: On the difference between `tropical functions' and real-valued functions

abstract: I introduce the concept of integral closure for elements and ideals in idempotent semirings, and establish how it corresponds to its namesake in commutative algebra. In the case of free semirings, integral closure can be understood in terms of a certain monoid of convex bodies under Minkowski sum. I argue that integral closure therefore accounts for the difference between `tropical functions' and real functions.


title: Massive $2$-form field and holographic ferromagnetic phase transition

abstract: In this paper, we investigate in some detail the holographic ferromagnetic phase transition in an AdS${_4}$ black brane background by introducing a massive 2-form field coupled to the Maxwell field strength in the bulk. In the two probe limits, one is to neglect the back reaction of the 2-form field to the background geometry and to the Maxwell field, and the other to neglect the back reaction of both the Maxwell field and the 2-form field, we find that the spontaneous magnetization and the ferromagnetic phase transition always happen when the temperature gets low enough with similar critical behavior. We calculate the DC resistivity in a semi-analytical method in the second probe limit and find it behaves as the colossal magnetic resistance effect in some materials. In the case with the first probe limit, we obtain the off-shell free energy of the holographic model near the critical temperature and compare with the Ising-like model. We also study the back reaction effect and find that the phase transition is always second order. In addition, we find an analytical Reissner-Norstr\"om-like black brane solution in the Einstein-Maxwell-2-form field theory with a negative cosmological constant.


title: Short proofs of some extremal results II

abstract: We prove several results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are quite short.


title: A negative result on algebraic specifications of the meadow of rational numbers

abstract: $\mathbb{Q}_0$ - the involutive meadow of the rational numbers - is the field of the rational numbers where the multiplicative inverse operation is made total by imposing $0^{-1}=0$. In this note, we prove that $\mathbb{Q}_0$ cannot be specified by the usual axioms for meadows augmented by a finite set of axioms of the form $(1+ \cdots +1+x^2)\cdot (1+ \cdots +1 +x^2)^{-1}=1$.


title: Collision of almost parallel vortex filaments

abstract: We investigate the occurrence of collisions in the evolution of vortex filaments through a system introduced by Klein, Majda and Damodaran [KMD95] and Zakharov [Z88,Z99]. We first establish rigorously the existence of a pair of almost parallel vortex filaments, with opposite circulation, colliding at some point in finite time. The collision mechanism is based on the one of the self-similar solutions of the model, described in [BFM14]. In the second part of this paper we extend this construction to the case of an arbitrary number of filaments, with polygonial symmetry, that are perturbations of a configuration of parallel vortex filaments forming a polygon, with or without its center, rotating with constant angular velocity.


title: High order exponential integrators for nonlinear Schr\"odinger equations with application to rotating Bose-Einstein condensates

abstract: This article deals with the numerical integration in time of nonlinear Schr\"odinger equations. The main application is the numerical simulation of rotating Bose-Einstein condensates. The authors perform a change of unknown so that the rotation term disappears and they obtain as a result a nonautonomous nonlinear Schr\"odinger equation. They consider exponential integrators such as exponential Runge--Kutta methods and Lawson methods. They provide an analysis of the order of convergence and some preservation properties of these methods in a simplified setting and they supplement their results with numerical experiments with realistic physical parameters. Moreover, they compare these methods with the classical split-step methods applied to the same problem.


title: On chaotic minimal center of attraction of a Lagrange stable motion for topological semi flows

abstract: In this paper, we study the chaotic dynamics of a minimal center of attraction of a Lagrange stable motion for semi flows.


title: I/O-Efficient Similarity Join

abstract: We present an I/O-efficient algorithm for computing similarity joins based on locality-sensitive hashing (LSH). In contrast to the filtering methods commonly suggested our method has provable sub-quadratic dependency on the data size. Further, in contrast to straightforward implementations of known LSH-based algorithms on external memory, our approach is able to take significant advantage of the available internal memory: Whereas the time complexity of classical algorithms includes a factor of $N^\rho$, where $\rho$ is a parameter of the LSH used, the I/O complexity of our algorithm merely includes a factor $(N/M)^\rho$, where $N$ is the data size and $M$ is the size of internal memory. Our algorithm is randomized and outputs the correct result with high probability. It is a simple, recursive, cache-oblivious procedure, and we believe that it will be useful also in other computational settings such as parallel computation.


title: Business Models for e-Health: Evidence from Ten Case Studies

abstract: An increasingly aging population and spiraling healthcare costs have made the search for financially viable healthcare models an imperative of this century. The careful and creative application of information technology can play a significant role in meeting that challenge. Valuable lessons can be learned from an analysis of ten innovative telemedicine and e-health initiatives. Having proven their effectiveness in addressing a variety of medical needs, they have progressed beyond small-scale implementations to become an established part of healthcare delivery systems around the world.


title: Algebraic Invariance Conditions in the Study of Approximate (Null-)Controllability of Markov Switch Processes

abstract: We aim at studying approximate null-controllability properties of a particular class of piecewise linear Markov processes (Markovian switch systems). The criteria are given in terms of algebraic invariance and are easily computable. We propose several necessary conditions and a sufficient one. The hierarchy between these conditions is studied via suitable counterexamples. Equivalence criteria are given in abstract form for general dynamics and algebraic form for systems with constant coefficients or continuous switching. The problem is motivated by the study of lysis phenomena in biological organisms and price prediction on spike-driven commodities.


title: Moduli space of meromorphic differentials with marked horizontal separatrices

abstract: We study framed translation surfaces corresponding to meromorphic differentials on compact Riemann surfaces, for which a horizontal separatrix is marked for each pole or zero. Such geometric structures naturally appear when studying flat geometry surfaces "near" the Deligne-Mumford boundary.We compute the number of connected components of the corresponding strata, and give a simple topological invariant that distinguishes them. In particular we see that for $g>0$, there are at most two such components, except in the hyperelliptic case.


title: The PDF4LHC report on PDFs and LHC data: Results from Run I and preparation for Run II

abstract: The accurate determination of the Parton Distribution Functions (PDFs) of the proton is an essential ingredient of the Large Hadron Collider (LHC) program. PDF uncertainties impact a wide range of processes, from Higgs boson characterisation and precision Standard Model measurements to New Physics searches. A major recent development in modern PDF analyses has been to exploit the wealth of new information contained in precision measurements from the LHC Run I, as well as progress in tools and methods to include these data in PDF fits. In this report we summarise the information that PDF-sensitive measurements at the LHC have provided so far, and review the prospects for further constraining PDFs with data from the recently started Run II. This document aims to provide useful input to the LHC collaborations to prioritise their PDF-sensitive measurements at Run II, as well as a comprehensive reference for the PDF-fitting collaborations.


title: Characterization and recognition of some opposition and coalition graph classes

abstract: A graph is an opposition graph, respectively, a coalition graph, if it admits an acyclic orientation which puts the two end-edges of every chordless 4-vertex path in opposition, respectively, in the same direction. Opposition and coalition graphs have been introduced and investigated in connection to perfect graphs. Recognizing and characterizing opposition and coalition graphs are long-standing open problems. This paper gives characterizations for opposition graphs and coalition graphs on some restricted graph classes. Implicit in our arguments are polynomial time recognition algorithms for these graphs. We also give a good characterization for the so-called generalized opposition graphs.


title: Coherent quantum tomography

abstract: We discuss a quantum mechanical indirect measurement method to recover a position dependent Hamilton matrix from time evolution of coherent quantum mechanical states through an object. A mathematical formulation of this inverse problem leads to weighted X-ray transforms where the weight is a matrix. We show that such X-ray transforms are injective with very rough weights. Consequently, we can solve our quantum mechanical inverse problem in several settings, but many physically relevant problems we pose also remain open. We discuss the physical background of the proposed imaging method in detail. We give a rigorous mathematical treatment of a neutrino tomography method that has been previously described in the physical literature.


title: Ice sliding games

abstract: This paper deals with sliding games, which are a variant of the better known pushpush game. On a given structure (grid, torus...), a robot can move in a specific set of directions, and stops when it hits a block or boundary of the structure. The objective is to place the minimum number of blocks such that the robot can visit all the possible positions of the structure. In particular, we give the exact value of this number when playing on a rectangular grid and a torus. Other variants of this game are also considered, by constraining the robot to stop on each case, or by replacing blocks by walls.


title: Coexistence of incommensurate magnetism and superconductivity in the two-dimensional Hubbard model

abstract: We analyze the competition of magnetism and superconductivity in the two-dimensional Hubbard model with a moderate interaction strength, including the possibility of incommensurate spiral magnetic order. Using an unbiased renormalization group approach, we compute magnetic and superconducting order parameters in the ground state. In addition to previously established regions of Neel order coexisting with d-wave superconductivity, the calculations reveal further coexistence regions where superconductivity is accompanied by incommensurate magnetic order.


title: Quotients and Hopf Images of a Smash Coproduct

abstract: We describe the Hopf algebra quotients and Hopf images of the smash coproduct of a group algebra by the algebra of functions on a finite group.


title: Several Complex Variables

abstract: These are notes from a basic course in Several Complex Variables


title: Variational Principle of Bogoliubov and Generalized Mean Fields in Many-Particle Interacting Systems

abstract: The approach to the theory of many-particle interacting systems from a unified standpoint, based on the variational principle for free energy is reviewed. A systematic discussion is given of the approximate free energies of complex statistical systems. The analysis is centered around the variational principle of N. N. Bogoliubov for free energy in the context of its applications to various problems of statistical mechanics and condensed matter physics. The review presents a terse discussion of selected works carried out over the past few decades on the theory of many-particle interacting systems in terms of the variational inequalities. It is the purpose of this paper to discuss some of the general principles which form the mathematical background to this approach, and to establish a connection of the variational technique with other methods, such as the method of the mean (or self-consistent) field in the many-body problem, in which the effect of all the other particles on any given particle is approximated by a single averaged effect, thus reducing a many-body problem to a single-body problem. The method is illustrated by applying it to various systems of many-particle interacting systems, such as Ising and Heisenberg models, superconducting and superfluid systems, strongly correlated systems, etc. It seems likely that these technical advances in the many-body problem will be useful in suggesting new methods for treating and understanding many-particle interacting systems. This work proposes a new, general and pedagogical presentation, intended both for those who are interested in basic aspects, and for those who are interested in concrete applications.


title: Regularized linear system identification using atomic, nuclear and kernel-based norms: the role of the stability constraint

abstract: Inspired by ideas taken from the machine learning literature, new regularization techniques have been recently introduced in linear system identification. In particular, all the adopted estimators solve a regularized least squares problem, differing in the nature of the penalty term assigned to the impulse response. Popular choices include atomic and nuclear norms (applied to Hankel matrices) as well as norms induced by the so called stable spline kernels. In this paper, a comparative study of estimators based on these different types of regularizers is reported. Our findings reveal that stable spline kernels outperform approaches based on atomic and nuclear norms since they suitably embed information on impulse response stability and smoothness. This point is illustrated using the Bayesian interpretation of regularization. We also design a new class of regularizers defined by "integral" versions of stable spline/TC kernels. Under quite realistic experimental conditions, the new estimators outperform classical prediction error methods also when the latter are equipped with an oracle for model order selection.


title: A Hierarchical Dynamic Beta Regression Model of School Performance in the Brazilian Mathematical Olympiads for Public Schools

abstract: The Brazilian Mathematical Olympiads for Public Schools (OBMEP) is held every year since 2005. In the 2013 edition there were over 47,000 schools registered involving nearly 19.2 million students. The Brazilian public educational system is structured into three administrative levels: federal, state and municipal. Students participating in the OBMEP come from three educational levels, two in primary and one in secondary school. We aim at studying the performance of Brazilian public schools which have been taking part of the OBMEP from 2006 until 2013. We propose a standardization of the mean scores of schools per year and educational level which is modeled through a hierarchical dynamic beta regression model. Both the mean and precision of the beta distribution are modeled as a function of covariates whose effects evolve smoothly with time. Results show that, regardless of the educational level, federal schools have better performance than municipal or state schools. The mean performance of schools increases with the human development index (HDI) of the municipality the school is located in. Moreover, the difference in mean performance between federal and state or municipal schools tends to increase with the HDI. Schools with higher proportion of boys tend to have better mean performance in the second and third educational levels of OBMEP.


title: Anomaly Detection and Removal Using Non-Stationary Gaussian Processes

abstract: This paper proposes a novel Gaussian process approach to fault removal in time-series data. Fault removal does not delete the faulty signal data but, instead, massages the fault from the data. We assume that only one fault occurs at any one time and model the signal by two separate non-parametric Gaussian process models for both the physical phenomenon and the fault. In order to facilitate fault removal we introduce the Markov Region Link kernel for handling non-stationary Gaussian processes. This kernel is piece-wise stationary but guarantees that functions generated by it and their derivatives (when required) are everywhere continuous. We apply this kernel to the removal of drift and bias errors in faulty sensor data and also to the recovery of EOG artifact corrupted EEG signals.


title: Self-Learning Cloud Controllers: Fuzzy Q-Learning for Knowledge Evolution

abstract: Cloud controllers aim at responding to application demands by automatically scaling the compute resources at runtime to meet performance guarantees and minimize resource costs. Existing cloud controllers often resort to scaling strategies that are codified as a set of adaptation rules. However, for a cloud provider, applications running on top of the cloud infrastructure are more or less black-boxes, making it difficult at design time to define optimal or pre-emptive adaptation rules. Thus, the burden of taking adaptation decisions often is delegated to the cloud application. Yet, in most cases, application developers in turn have limited knowledge of the cloud infrastructure. In this paper, we propose learning adaptation rules during runtime. To this end, we introduce FQL4KE, a self-learning fuzzy cloud controller. In particular, FQL4KE learns and modifies fuzzy rules at runtime. The benefit is that for designing cloud controllers, we do not have to rely solely on precise design-time knowledge, which may be difficult to acquire. FQL4KE empowers users to specify cloud controllers by simply adjusting weights representing priorities in system goals instead of specifying complex adaptation rules. The applicability of FQL4KE has been experimentally assessed as part of the cloud application framework ElasticBench. The experimental results indicate that FQL4KE outperforms our previously developed fuzzy controller without learning mechanisms and the native Azure auto-scaling.


title: Solar System Constraints on Disformal Gravity Theories

abstract: Disformal theories of gravity are scalar-tensor theories where the scalar couples derivatively to matter via the Jordan frame metric. These models have recently attracted interest in the cosmological context since they admit accelerating solutions. We derive the solution for a static isolated mass in generic disformal gravity theories and transform it into the parameterised post-Newtonian form. This allows us to investigate constraints placed on such theories by local tests of gravity. The tightest constraints come from preferred-frame effects due to the motion of the Solar System with respect to the evolving cosmological background field. The constraints we obtain improve upon the previous solar system constraints by two orders of magnitude, and constrain the scale of the disformal coupling for generic models to $\mathcal{M} \gtrsim 100$ eV. These constraints render all disformal effects irrelevant for cosmology.


title: There are infinitely many rational Diophantine sextuples

abstract: A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple. In this paper, we prove that there exist infinitely many rational Diophantine sextuples.


title: Improved fast-rotating black hole evolution simulations with modified Baumgarte-Shapiro-Shibata-Nakamura formulation

abstract: Different formulations of Einstein's equations used in numerical relativity can affect not only the stability but also the accuracy of numerical simulations. In the original Baumgarte-Shapiro-Shibata-Nakamura (BSSN) formulation, the loss of the angular momentum, $J$, is non-negligible in highly spinning single black hole evolutions. This loss also appears, usually right after the merger, in highly spinning binary black hole simulations, The loss of $J$ may be attributed to some unclear numerical dissipation. Reducing unphysical dissipation is expected to result in more stable and accurate evolutions. In the previous work \cite{yhlc12} we proposed several modifications which are able to prevent black hole evolutions from the unphysical dissipation, and the resulting simulations are more stable than in the traditional BSSN formulation. Specifically, these three modifications (M1, M2, and M3) enhance the effects of stability, hyperbolicity, and dissipation of the formulation. We experiment further in this work with these modifications, and demonstrate that these modifications improve the accuracy and also effectively suppress the loss of $J$, particularly in the black hole simulations with the initially large ratio of $J$ and the square of the ADM mass.


title: Dark matter and spin-1 milli-charged particles

abstract: New physics scenarios beyond the Standard Model predict the existence of milli-charged particles. So far, only spin-1/2 and spin-0 milli-charged particles have been considered in literature, leaving out the interesting case of spin-1. We propose a minimal unitary and renormalizable model of massive milli-charged vector particles. Unitarity requires that these particles are gauge bosons of a non-abelian spontaneously broken gauge symmetry. The minimal scenario then consists of an extended Standard Model gauge group $SU(2)_L \times U(1)_Y \times SU(2)_D$ together with a $SU(2)_D$ dark Higgs boson responsible for the symmetry breaking in the dark sector. By imposing that the dark Higgs multiplet has a non-vanishing milli-hypercharge, stable milli-charged spin-1 fields arise thereby providing a potential dark matter candidate. We analyse the phenomenological constraints on this scenario and discuss their implications.


title: Quantifying the Difference Between the Flux-Tube Expansion Factor at the Source Surface and at the Alfv\'en Surface Using A Global MHD Model for the Solar Wind

abstract: The potential field approximation has been providing a fast, and computationally inexpensive estimation for the solar corona's global magnetic field geometry for several decades. In contrast, more physics-based global magnetohydrodynamic (MHD) models have been used for a similar purpose, while being much more computationally expensive. Here, we investigate the difference in the field geometry between a global MHD model and the potential field source surface model (PFSSM) by tracing individual magnetic field lines in the MHD model from the Alfven surface (AS), through the source surface (SS), all the way to the field line footpoint, and then back to the source surface in the PFSSM. We also compare the flux-tube expansion at two points at the SS and the AS along the same radial line. We study the effect of solar cycle variations, the order of the potential field harmonic expansion, and different magnetogram sources. We find that the flux-tube expansion factor is consistently smaller at the AS than at the SS for solar minimum and the fast solar wind, but it is consistently larger for solar maximum and the slow solar wind. We use the Wang--Sheeley--Arge (WSA) model to calculate the associated wind speed for each field line, and propagate these solar-wind speeds to 1AU. We find a more than five hours deviation in the arrival time between the two models for 20% of the field lines in the solar minimum case, and for 40% of the field lines in the solar maximum case.


title: Comparison results for derived Deligne-Mumford stacks

abstract: In this short note we write down a comparison between the notion of derived Deligne-Mumford stack in the sense of B. To\"en and G. Vezzosi [HAG-II] and the one introduced by J. Lurie in [DAG-V]. It is folklore that the two theories yield essentially the same objects, but it is difficult to locate in the literature a precise result, despite being sometimes useful to be able to switch between the two frameworks.


title: On one-step replica symmetry breaking in the Edwards-Anderson spin glass model

abstract: We consider a one-step replica symmetry breaking description of the Edwards-Anderson spin glass model in 2D. The ingredients of this description are a Kikuchi approximation to the free energy and a second-level statistical model built on the extremal points of the Kikuchi approximation, which are also fixed points of a Generalized Belief Propagation (GBP) scheme. We show that a generalized free energy can be constructed where these extremal points are exponentially weighted by their Kikuchi free energy and a Parisi parameter $y$, and that the Kikuchi approximation of this generalized free energy leads to second-level, one-step replica symmetry breaking (1RSB), GBP equations. We then proceed analogously to Bethe approximation case for tree-like graphs, where it has been shown that 1RSB Belief Propagation equations admit a Survey Propagation solution. We discuss when and how the one-step-replica symmetry breaking GBP equations that we obtain also allow a simpler class of solutions which can be interpreted as a class of Generalized Survey Propagation equations for the single instance graph case.


title: Status of measurement of KS -> pi e nu branching ratio and lepton charge asymmetry with the KLOE detector

abstract: We present the current status of the analysis of about 1.7 billion KSKL pair events collected at DAFNE with the KLOE detector to determine the branching ratio of KS -> pi e nu decay and the lepton charge asymmetry. This sample is ~4 times larger in statistics than the one used in a previous KLOE analysis, allowing us to improve the accuracy of the measurement and of the related tests of CPT symmetry and Delta S = Delta Q rule.


title: Flip the Cloud: Cyber-Physical Signaling Games in the Presence of Advanced Persistent Threats

abstract: Access to the cloud has the potential to provide scalable and cost effective enhancements of physical devices through the use of advanced computational processes run on apparently limitless cyber infrastructure. On the other hand, cyber-physical systems and cloud-controlled devices are subject to numerous design challenges; among them is that of security. In particular, recent advances in adversary technology pose Advanced Persistent Threats (APTs) which may stealthily and completely compromise a cyber system. In this paper, we design a framework for the security of cloud-based systems that specifies when a device should trust commands from the cloud which may be compromised. This interaction can be considered as a game between three players: a cloud defender/administrator, an attacker, and a device. We use traditional signaling games to model the interaction between the cloud and the device, and we use the recently proposed FlipIt game to model the struggle between the defender and attacker for control of the cloud. Because attacks upon the cloud can occur without knowledge of the defender, we assume that strategies in both games are picked according to prior commitment. This framework requires a new equilibrium concept, which we call Gestalt Equilibrium, a fixed-point that expresses the interdependence of the signaling and FlipIt games. We present the solution to this fixed-point problem under certain parameter cases, and illustrate an example application of cloud control of an unmanned vehicle. Our results contribute to the growing understanding of cloud-controlled systems.


title: McKay correspondence and new Calabi-Yau threefolds

abstract: In this note, we consider crepant resolutions of the quotient varieties of smooth quintic threefolds by Gorenstein group actions. We compute their Hodge numbers via McKay correspondence. In this way, we find some new pairs $(h^{1,1},\;h^{2,1})$ of Hodge numbers of Calabi-Yau threefolds.


title: Analysis of Professional Trajectories using Disconnected Self-Organizing Maps

abstract: In this paper we address an important economic question. Is there, as mainstream economic theory asserts it, an homogeneous labor market with mechanisms which govern supply and demand for work, producing an equilibrium with its remarkable properties? Using the Panel Study of Income Dynamics (PSID) collected on the period 1984-2003, we study the situations of American workers with respect to employment. The data include all heads of household (men or women) as well as the partners who are on the labor market, working or not. They are extracted from the complete survey and we compute a few relevant features which characterize the worker's situations. To perform this analysis, we suggest using a Self-Organizing Map (SOM, Kohonen algorithm) with specific structure based on planar graphs, with disconnected components (called D-SOM), especially interesting for clustering. We compare the results to those obtained with a classical SOM grid and a star-shaped map (called SOS). Each component of D-SOM takes the form of a string and corresponds to an organized cluster. From this clustering, we study the trajectories of the individuals among the classes by using the transition probability matrices for each period and the corresponding stationary distributions. As a matter of fact, we find clear evidence of heterogeneous parts, each one with high homo-geneity, representing situations well identified in terms of activity and wage levels and in degree of stability in the workplace. These results and their interpretation in economic terms contribute to the debate about flexibility which is commonly seen as a way to obtain a better level of equilibrium on the labor market.


title: Neural Networks with Non-Uniform Embedding and Explicit Validation Phase to Assess Granger Causality

abstract: A challenging problem when studying a dynamical system is to find the interdependencies among its individual components. Several algorithms have been proposed to detect directed dynamical influences between time series. Two of the most used approaches are a model-free one (transfer entropy) and a model-based one (Granger causality). Several pitfalls are related to the presence or absence of assumptions in modeling the relevant features of the data. We tried to overcome those pitfalls using a neural network approach in which a model is built without any a priori assumptions. In this sense this method can be seen as a bridge between model-free and model-based approaches. The experiments performed will show that the method presented in this work can detect the correct dynamical information flows occurring in a system of time series. Additionally we adopt a non-uniform embedding framework according to which only the past states that actually help the prediction are entered into the model, improving the prediction and avoiding the risk of overfitting. This method also leads to a further improvement with respect to traditional Granger causality approaches when redundant variables (i.e. variables sharing the same information about the future of the system) are involved. Neural networks are also able to recognize dynamics in data sets completely different from the ones used during the training phase.


title: QED without Gauge Fields

abstract: We begin by studying a very simple Hamiltonian for Maxwell's equations that has no gauge fields and is made entirely of the electromagnetic fields. We then show that this theory cannot be quantized. We also show that no other such simple theory that only involves the electromagnetic fields can be quantized. This gives further evidence for the important role of gauge fields in QED.


title: Continuous Lunches Are Not Free

abstract: Stemming from a paper of Auger and Teytaud, there is a common misconception that for continuous domains No Free Lunch (NFL) does not hold. However, Rowe, Vose, and Wright have demonstrated that NFL holds for arbitrary domains and co-domains. This paper resolves the apparent contradiction.


title: Entanglement constant for conformal families

abstract: We show that in 1+1 dimensional conformal field theories, exciting a state with a local operator increases the Renyi entanglement entropies by a constant which is the same for every member of the conformal family. Hence, it is an intrinsic parameter that characterises local operators from the perspective of quantum entanglement. In rational conformal field theories this constant corresponds to the logarithm of the quantum dimension of the primary operator. We provide several detailed examples for the second Renyi entropies and a general derivation.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: The qubit reveals a qubit-cavity system

abstract: We show that the coupling between a qubit and a single mode cavity can be estimated from the process tomography data for the qubit alone. All the parameters of the coupling Hamiltonian between the qubit and the cavity mode can be obtained from observations on the qubit. We also show that the variance matrix and the photon number statistics of the single mode cavity can be reconstructed. Our results provide an alternate means of obtaining the coupling and reconstructing the state of the cavity mode in comparison with the techniques presently used.


title: Relation between the usual and the entanglement temperature, in a simple quantum system

abstract: We develop a thermodynamical theory to describe the behavior of the entanglement between a single two-level atom with a single mode of the electromagnetic field. The resonant Jaynes-Cummings model is used to study both the entanglement thermodynamics, in particular the entanglement temperature, and its connection with the average number of photons in the optical cavity. We find that this entanglement temperature has a strong dependence with the initial conditions of the atom. We show that the entanglement temperature between the photons and the atom defined in this work is the same temperature obtained within the Jaynes-Cummings model at finite temperature developed in the Thermo-Field Dynamics formalism.


title: Spin-dependent tunneling in semiconductor heterostructures with a magnetic layer

abstract: We present a theory that describes the appearance of circular polarization of the photoluminescence (PL) in ferromagnet-semiconductor hybrid heterostructures due to spin-dependent tunneling of photoexcited carriers from a quantum well into a magnetic layer. The theory succeeds in explaining the experimental data on time-resolved PL for heterostructures consisting of InGaAs-based quantum well (QW) and a spatially separated Mn $\delta$-layer. We show that the circular polarization of the PL originates from dynamic spin polarization of electrons due to spin-dependent leakage from the QW onto Mn donor states split by the exchange field of the ferromagnetic Mn delta-layer.


title: Resolution analysis of imaging with $\ell_1$ optimization

abstract: We study array imaging of a sparse scene of point-like sources or scatterers in a homogeneous medium. For source imaging the sensors in the array are receivers that collect measurements of the wave field. For imaging scatterers the array probes the medium with waves and records the echoes. In either case the image formation is stated as a sparsity promoting $\ell_1$ optimization problem, and the goal of the paper is to quantify the resolution. We consider both narrow-band and broad-band imaging, and a geometric setup with a small array. We take first the case of the unknowns lying on the imaging grid, and derive resolution limits that depend on the sparsity of the scene. Then we consider the general case with the unknowns at arbitrary locations. The analysis is based on estimates of the cumulative mutual coherence and a related concept, which we call interaction coefficient. It complements recent results in compressed sensing by deriving deterministic resolution limits that account for worse case scenarios in terms of locations of the unknowns in the imaging region, and also by interpreting the results in some cases where uniqueness of the solution does not hold. We demonstrate the theoretical predictions with numerical simulations.


title: Aerosol Effect on the Mobility of Cloud Droplets

abstract: Cloud droplet mobility is referred to here as a measure of the droplets ability to move with ambient air. We claim that an important part of the aerosol effect on convective clouds is driven by changes in droplet mobility. We show that the mass-weighted average droplet terminal velocity, defined here as the effective terminal velocity (eta) and its spread (sigma_eta) serve as direct measures of this effect. Moreover, we develop analytical estimations for eta and sigma_eta to show that changes in the relative dispersion of eta (epsilon_eta = sigma_eta/eta) can serve as a sensitive predictor of the onset of droplet-collection processes.


title: The Origin of Ferroelectricity in Hf$_{x}$ Zr$_{1-x}$ O$_2$: A Computational Investigation and a Surface Energy Model

abstract: The structural, thermal, and dielectric properties of the ferroelectric phase of HfO$_2$, ZrO$_2$ and Hf$_{0.5}$ Zr$_{0.5}$ O$_2$ (HZO) are investigated with carefully validated density functional computations. We find, that the free bulk energy of the ferroelectric orthorhombic Pca2$_{1}$ phase is unfavorable compared to the monoclinic P2$_{1}$/c and the orthorhombic Pbca phase for all investigated stoichiometries in the Hf$_{\chi}$Zr$_{1-\chi}$O$_2$ system. To explain the existence of the ferroelectric phase in nanoscale thin films we explore the Gibbs / Helmholtz free energies as a function of stress and film strain and find them unlikely to become minimal in HZO films for technological relevant conditions. To assess the contribution of surface energy to the phase stability we parameterize a model, interpolating between existing data, and find the Helmholtz free energy of ferroelectric grains minimal for a range of size and stoichiometry. From the model we predict undoped HfO$_2$ to be ferroelectric for a grain size of about 4 nm and epitaxial HZO below 5 nm. Furthermore we calculate the strength of an applied electric field necessary to cause the antiferroelectric phase transformation in ZrO$_2$ from the P4$_2$/nmc phase as 1 MV/cm in agreement with experimental data, explaining the mechanism of field induced phase transformation.


title: Reinventing Pocket Microscopy

abstract: The key to the success of pocket microscopes stems from the convenience for anyone to magnify the fine details (tens of micrometres) of any object on-thespot. The capability with a portable microscope lets us surpass our limited vision and is commonly used in many areas of science, industry, education. The growth of imaging and computing power in smartphones is creating the possibility of converting your smartphone into a high power pocket microscope. In this article, we briefly describe the history of pocket microscopy and elucidate how mobile technologies are set to become the next platform for pocket microscopes


title: A power counting theorem for a $p^{2a}\phi^4$ tensorial group field theory

abstract: We introduce a tensorial group field theory endowed with weighted interaction terms of the form $p^{2a} \phi^4$. The model can be seen as a field theory over $d=3,4$ copies of $U(1)$ where formal powers of Laplacian operators, namely $\Delta^{a}$, $a>0$, act on tensorial $\phi^4$-interactions producing, after Fourier transform, $p^{2a}\phi^4$ interactions. Using multi-scale analysis, we provide a power counting theorem for this type of models. A new quantity depending on the incidence matrix between vertices and faces of Feynman graphs is invoked in the degree of divergence of amplitudes. As a result, generally, the divergence degree is enhanced compared to the divergence degree of models without weighted vertices. The subleading terms in the partition function of the $\phi^4$ tensorial models become, in some cases, the dominant ones in the $p^{2a}\phi^4$ models. Finally, we explore sufficient conditions on the parameter $a$ yielding a list of potentially super-renormalizable $p^{2a}\phi^4$ models.


title: AdS/CFT without holography: A hidden dimension on the CFT side and implications for black-hole entropy

abstract: We propose a new non-holographic formulation of AdS/CFT correspondence, according to which quantum gravity on AdS and its dual non-gravitational field theory both live in the same number D of dimensions. The field theory, however, appears (D-1)-dimensional because the interactions do not propagate in one of the dimensions. The D-dimensional action for the field theory can be identified with the sum over (D-1)-dimensional actions with all possible values $\Lambda$ of the UV cutoff, so that the extra hidden dimension can be identified with $\Lambda$. Since there are no interactions in the extra dimension, most of the practical results of standard holographic AdS/CFT correspondence transcribe to non-holographic AdS/CFT without any changes. However, the implications on black-hole entropy change significantly. The maximal black-hole entropy now scales with volume, while the Bekenstein-Hawking entropy is interpreted as the minimal possible black-hole entropy. In this way, the non-holographic AdS/CFT correspondence offers a simple resolution of the black-hole information paradox, consistent with a recently proposed gravitational crystal.


title: GHZ correlation provides secure Anonymous Veto Protocol

abstract: Anonymous Veto (AV) and Dining cryptographers (DC) are two basic primitives for the cryptographic problems where the main aim is to hide the identity of the senders of the messages. These can be achieved by classical methods where the security is based either on computational hardness or on shared private keys. In this regard, we present a secure quantum protocol for both DC and AV by exploiting the GHZ correlations. We first solve a generalized version of the DC problem with the help of multiparty GHZ state. This allow us to provide a secure quantum protocol for the AV. Securities for both the protocols rely on some novel and fundamental features of GHZ correlations related to quantum nonlocality.


title: Notes on a theorem of Naji

abstract: We present a new proof of an algebraic characterization of circle graphs due to W. Naji. For bipartite graphs, Naji's theorem is equivalent to an algebraic characterization of planar matroids due to J. Geelen and B. Gerards. Naji's theorem also yields an algebraic characterization of permutation graphs.


title: Non-linear cosmic ray Galactic transport in the light of AMS-02 and Voyager data

abstract: Context: Features in the spectra of primary cosmic rays (CRs) provide invaluable information on the propagation of these particles in the Galaxy. In the rigidity region around a few hundred GV, such features have been measured in the proton and helium spectra by the PAMELA experiment and later confirmed with a higher significance by AMS-02. We investigate the implications of these datasets for the scenario in which CRs propagate under the action of self-generated waves. Aims: We show that the recent data on the spectrum of protons and helium nuclei as collected with AMS-02 and Voyager are in very good agreement with the predictions of a model in which the transport of Galactic CRs is regulated by self-generated waves. We also study the implications of the scenario for the boron-to-carbon ratio: although a good overall agreement is found, at high energy we find marginal support for a (quasi) energy independent contribution to the grammage, that we argue may come from the sources themselves Results: A break in the spectra of all nuclei is found at rigidity of a few hundred GV, as a result of a transition from self-generated waves to pre-existing waves with a Kolmogorov power spectrum. Neither the slope of the diffusion coefficient, nor its normalisation are free parameters. Moreover, at rigidities below a few GV, CRs are predicted to be advected with the self-generated waves at the local Alfv\'en speed. This effect, predicted in our previous work, provides an excellent fit to the Voyager data on the proton and helium spectra at low energies, providing additional support to the model.


title: Luminosity-dependent spectral and timing properties of the accreting pulsar GX 304-1 measured with INTEGRAL

abstract: Context: Be/X-ray binaries show outbursts with peak luminosities up to a few times $10^{37}\,$erg/s, during which they can be observed and studied in detail. Most (if not all) Be/X-ray binaries harbour accreting pulsars, whose X-ray spectra in many cases contain cyclotron resonant scattering features related to the magnetic field of the sources. Spectral variations as a function of luminosity and of the rotational phase of the neutron star are observed in many accreting pulsars. Aims: We explore X-ray spectral and timing properties of the Be/X-ray binary GX 304-1 during an outburst episode. Specifically, we investigate the behavior of the cyclotron resonant scattering feature, the continuum spectral parameters, the pulse period, and the energy- and luminosity-resolved pulse profiles. We combine the luminosity-resolved spectral and timing analysis to probe the accretion geometry and the beaming patterns of the rotating neutron star. Methods: We analyze the INTEGRAL data from the two JEM-X modules, ISGRI and SPI, covering the January-February 2012 outburst, divided in six observations. We obtain pulse profiles in two energy bands, phase-averaged and phase-resolved spectra for each observation. Results: We confirm the positive luminosity-dependence of the cyclotron line energy in GX 304-1, and report a dependence of the photon index on luminosity. Using a pulse-phase connection technique, we find a pulse period solution valid for the entire outburst. Our pulse-phase resolved analysis shows, that the centroid energy of the cyclotron line is varying only slightly with pulse phase, while other spectral parameters show more pronounced variations. Our results are consistent with a scenario in which, as the pulsar rotates, we are exploring only a small portion of its beam pattern.


title: A fast and well-conditioned spectral method for singular integral equations

abstract: We develop a spectral method for solving univariate singular integral equations over unions of intervals by utilizing Chebyshev and ultraspherical polynomials to reformulate the equations as almost-banded infinite-dimensional systems. This is accomplished by utilizing low rank approximations for sparse representations of the bivariate kernels. The resulting system can be solved in ${\cal O}(m^2n)$ operations using an adaptive QR factorization, where $m$ is the bandwidth and $n$ is the optimal number of unknowns needed to resolve the true solution. The complexity is reduced to ${\cal O}(m n)$ operations by pre-caching the QR factorization when the same operator is used for multiple right-hand sides. Stability is proved by showing that the resulting linear operator can be diagonally preconditioned to be a compact perturbation of the identity. Applications considered include the Faraday cage, and acoustic scattering for the Helmholtz and gravity Helmholtz equations, including spectrally accurate numerical evaluation of the far- and near-field solution. The Julia software package SingularIntegralEquations.jl implements our method with a convenient, user-friendly interface.


title: A note on torus actions and the Witten genus

abstract: We show that the Witten genus of a string manifold $M$ vanishes, if there is an effective action of a torus $T$ on $M$ such that $\dim T>b_2(M)$. We apply this result to study group actions on $M\times G/T$, where $G$ is a compact connected Lie group and $T$ a maximal torus of $G$. Moreover, we use the methods which are needed to prove these results to the study of torus manifolds. We show that up to diffeomorphism there are only finitely many quasitoric manifolds $M$ with the same cohomology ring as $#_{i=1}^k \pm\mathbb{C} P^n$ with $k<n$.


title: Securing Physical-Layer Communications for Cognitive Radio Networks

abstract: This article investigates the physical-layer security of cognitive radio (CR) networks, which are vulnerable to various newly arising attacks targeting on the weaknesses of CR communications and networking. We first review a range of physical-layer attacks in CR networks, including the primary user emulation, sensing falsification, intelligence compromise, jamming and eavesdropping attacks. Then we focus on the physical-layer security of CR networks against eavesdropping and examine the secrecy performance of cognitive communications in terms of secrecy outage probability. We further consider the use of relays for improving the CR security against eavesdropping and propose an opportunistic relaying scheme, where a relay node that makes CR communications most resistant to eavesdropping is chosen to participate in assisting the transmission from a cognitive source to its destination. It is illustrated that the physical-layer secrecy of CR communications relying on the opportunistic relaying can be significantly improved by increasing the number of relays, showing the security benefit of exploiting relay nodes. Finally, we present some open challenges in the field of relays assisted physical-layer security for CR networks.


title: Convergence of Marked Point Processes of Excesses for Dynamical Systems

abstract: We consider stochastic processes arising from dynamical systems simply by evaluating an observable function along the orbits of the system and study marked point processes associated to extremal observations of such time series corresponding to exceedances of high thresholds. Each exceedance is marked by a quantity intended to measure the severity of the exceedance. In particular, we consider marked point processes measuring the aggregate damage by adding all the excesses over the threshold that mark each exceedance (AOT) or simply by adding the largest excesses in a cluster of exceedances (POT). We provide conditions to prove the convergence of such marked point processes to a compound Poisson process, for whose multiplicity distribution we give an explicit formula. These conditions are shown to follow from a strong form of decay of correlations of the system. Moreover, we prove that the convergence of the marked point processes for a `nice' first return induced map can be carried to the original system. The systems considered include non-uniformly expanding maps (in one or higher dimensions), maps with intermittent fixed points or non-recurrent critical points. For a general class of examples, the compound Poisson limit process is computed explicitly and, in particular, in the POT case we obtain a generalised Pareto multiplicity distribution.


title: Embedding rationally independent languages into maximal ones

abstract: We consider the embedding problem in coding theory: given an independence (a code-related property) and an independent language $L$, find a maximal independent language containing $L$. We consider the case where the code-related property is defined via a rational binary relation that is decreasing with respect to any fixed total order on the set of words. Our method works by iterating a max-min operator that has been used before for the embedding problem for properties defined by length-increasing-and-transitive binary relations. By going to order-decreasing rational relations, represented by input-decreasing transducers, we are able to include many known properties from both the noiseless and noisy domains of coding theory, as well as any combination of such properties. Moreover, in many cases the desired maximal embedding is effectively computable.


title: The $C^0$-inextendibility of the Schwarzschild spacetime and the spacelike diameter in Lorentzian Geometry

abstract: The maximal analytic Schwarzschild spacetime is manifestly inextendible as a Lorentzian manifold with a twice continuously differentiable metric. In this paper, we prove the stronger statement that it is even inextendible as a Lorentzian manifold with a continuous metric. To capture the obstruction to continuous extensions through the curvature singularity, we introduce the notion of the spacelike diameter of a globally hyperbolic region of a Lorentzian manifold with a merely continuous metric and give a sufficient condition for the spacelike diameter to be finite. The investigation of low-regularity inextendibility criteria is motivated by the strong cosmic censorship conjecture.


title: An improvement to an algorithm of Belabas, Diaz y Diaz and Friedman

abstract: In [BDyDF08] Belabas, Diaz y Diaz and Friedman show a way to determine, assuming the Generalized Riemann Hypothesis, a set of prime ideals that generate the class group of a number field. Their method is efficient because it produces a set of ideals that is smaller than earlier proved results. Here we show how to use their main result to algorithmically produce a bound that is lower than the one they prove.


title: Theoretical Estimate of the Sensitivity of the CUORE Detector to Solar Axions

abstract: In this paper we calculate the potential sensitivity of the CUORE detector to axions produced in the Sun through the Primakoff process and detected by the inverse coherent Bragg-Primakoff process. The conversion rate is calculated using density functional theory for the electron density and realistic expectations for the energy resolution and background of CUORE. Monte Carlo calculations for $5~$y$\times741~$kg=$3705~$kg y of exposure are analyzed using time correlation of individual events with the theoretical time-dependent counting rate and lead to an expected limit on the axion-photon coupling $g_{a\gamma\gamma}<3.83\times 10^{-10}~GeV^{-1}$ for axion masses less than $100$ eV.


title: On the Popularity of GitHub Applications: A Preliminary Note

abstract: GitHub is the world's largest collection of open source software. Therefore, it is important both to software developers and users to compare and track the popularity of GitHub repositories. In this paper, we propose a framework to assess the popularity of GitHub software, using their number of stars. We also propose a set of popularity growth patterns, which describe the evolution of the number of stars of a system over time. We show that stars tend to correlate with other measures, like forks, and with the effective usage of GitHub software by third-party programs. Throughout the paper we illustrate the application of our framework using real data extracted from GitHub.


title: On the $\Phi$-variation of stochastic processes with exponential moments

abstract: We obtain sharp sufficient conditions for exponentially integrable stochastic processes $X=\{X(t)\!\!: t\in [0,1]\}$, to have sample paths with bounded $\Phi$-variation. When $X$ is moreover Gaussian, we also provide a bound of the expectation of the associated $\Phi$-variation norm of $X$. For an Hermite process $X$ of order $m\in \N$ and of Hurst index $H\in (1/2,1)$, we show that $X$ is of bounded $\Phi$-variation where $\Phi(x)=x^{1/H}(\log(\log 1/x))^{-m/(2H)}$, and that this $\Phi$ is optimal. This shows that in terms of $\Phi$-variation, the Rosenblatt process (corresponding to $m=2$) has more rough sample paths than the fractional Brownian motion (corresponding to $m=1$).


title: A Formula for the Geometric Jacquet Functor and its Character Sheaf Analogue

abstract: Let (G,K) be a symmetric pair over the complex numbers, and let X=K\G be the corresponding symmetric space. In this paper we study a nearby cycles functor associated to a degeneration of X to MN\G, which we call the "wonderful degeneration". We show that on the category of character sheaves on X, this functor is isomorphic to a composition of two averaging functors (a parallel result, on the level of functions in the p-adic setting, was obtained in [BK, SV]). As an application, we obtain a formula for the geometric Jacquet functor of [ENV] and use this formula to give a geometric proof of the celebrated Casselman's submodule theorem and establish a second adjointness theorem for Harish-Chandra modules.


title: Investigation of background in large-area neutron detectors due to alpha emission from impurities in aluminium

abstract: Thermal neutron detector based on films of $^{10}$B$_4$C have been developed as an alternative to $^3$He detectors. In particular, The Multi-Grid detector concept is considered for future large area detectors for ESS and ILL instruments. An excellent signal-to-background ratio is essential to attain expected scientific results. Aluminium is the most natural material for the mechanical structure of of the Multi-Grid detector and other similar concepts due to its mechanical and neutronic properties. Due to natural concentration of $\alpha$ emitters, however, the background from $\alpha$ particles misidentified as neutrons can be unacceptably high. We present our experience operating a detector prototype affected by this issue. Monte Carlo simulations have been used to confirm the background as $\alpha$ particles. The issues have been addressed in the more recent implementations of the Multi-Grid detector by the use of purified aluminium as well as Ni-plating of standard aluminium. The result is the reduction in background by two orders of magnitude. A new large-area prototype has been built incorporating these modifications.


title: Spectral properties of magnetic chain graphs

abstract: We discuss spectral properties of a charged quantum particle confined to a chain graph consisting of an infinite array of rings under influence of a magnetic field assuming a $\delta$-coupling at the points where the rings touch. We start with the situation when the system has a translational symmetry and analyze spectral consequences of perturbations of various kind, such as a local change of the magnetic field, of the coupling constant, or of a ring circumference. A particular attention is paid to weak perturbations, both local and periodic; for the latter we prove a version of Saxon-Hutner conjecture.

categories: math-ph cond-mat.mes-hall math.MP math.SP quant-ph


title: Experimental Evidence of Near-Wall Reverse Flow Events in a Zero Pressure Gradient Turbulent Boundary Layer

abstract: This study reports on experimentally observed near-wall reverse flow events in a fully developed flat plate boundary layer at zero pressure gradient with Reynolds numbers between $Re_\tau = 1000$ and $Re_\tau = 2700$. The reverse flow events are captured using high magnification particle image velocimetry sequences with record lengths varying from 50,000 to 126,000 samples. Time resolved particle image sequences allow singular reverse flow events to be followed over several time steps whereas long records of nearly statistically independent samples provide a variety of single snapshots at a higher spatial resolution. The probability of occurrence lies in the range of 0.01% to 0.1% which matches predictions made with direct numerical simulations (DNS). The self-similar size of the reverse flow bubble is about 30-50 wall units in length and 5 wall units in height which also agrees well to DNS data provided by Lenaers et al. (ETC13, Journal of Physics: Conference Series 318 (2011) 022013).


title: Network growth with preferential attachment and without "rich get richer" mechanism

abstract: We propose a simple preferential attachment model of growing network using the complementary probability of Barab\'asi-Albert (BA) model, i.e., $\Pi(k_i) \propto 1-\frac{k_i}{\sum_j k_j}$. In this network, new nodes are preferentially attached to not well connected nodes. Numerical simulations, in perfect agreement with the master equation solution, give an exponential degree distribution. This suggests that the power law degree distribution is a consequence of preferential attachment probability together with "rich get richer" phenomena. We also calculate the average degree of a target node at time t $(<k_s(t)>)$ and its fluctuations, to have a better view of the microscopic evolution of the network, and we also compare the results with BA model.


title: A unifying E2-quasi-exactly solvable model

abstract: A new non-Hermitian E2-quasi-exactly solvable model is constructed containing two previously known models of this type as limits in one of its three parameters. We identify the optimal finite approximation to the double scaling limit to the complex Mathieu Hamiltonian. A detailed analysis of the vicinity of the exceptional points in the parameter space is provided by discussing the branch cut structures responsible for the chirality when exceptional points are surrounded and the structure of the corresponding energy eigenvalue loops stretching over several Riemann sheets. We compute the Stieltjes measure and momentum functionals for the coefficient functions that are univariate weakly orthogonal polynomials in the energy obeying three-term recurrence relations.


title: Killing quantum entanglement by acceleration or a black hole

abstract: We consider two entangled accelerating qubits coupled with real scalar fields, each described by the Unruh-Wald model. It is demonstrated that because of the Unruh effect, the bipartite entanglement of the two qubits suddenly dies when the acceleration of one or more qubits are large enough. We also consider three entangled accelerating qubits in GHZ state and in W state, with equal acceleration-frequency ratio, and found that in either state, the tripartite entanglement suddenly dies at a certain value of acceleration-frequency ratio. The equivalence between the Rindler metric and the Schwarzchild metric in the vicinity of the horizon of a black hole implies that for the two entangled qubits outside a black hole, the entanglement suddenly dies when one or both of the qubits are close enough to the horizon, while for the three entangled qubits in GHZ or W state, the tripartite entanglement suddenly dies when these qubits are close enough to the horizon.


title: Any law of group metric invariant is an inf-convolution

abstract: In this article, we bring a new light on the concept of the inf-convolution operation $\oplus$ and provides additional informations to the work started in \cite{Ba1} and \cite{Ba2}. It is shown that any internal law of group metric invariant (even quasigroup) can be considered as an inf-convolution. Consequently, the operation of the inf-convolution of functions on a group metric invariant is in reality an extension of the internal law of $X$ to spaces of functions on $X$. We give an example of monoid $(S(X),\oplus)$ for the inf-convolution structure, (which is dense in the set of all $1$-Lipschitz bounded from bellow functions) for which, the map $\arg\min : (S(X),\oplus) \rightarrow (X,.)$ is a (single valued) monoid morphism. It is also proved that, given a group complete metric invariant $(X,d)$, the complete metric space $(\mathcal{K}(X),d_{\infty})$ of all Katetov maps from $X$ to $\R$ equiped with the inf-convolution has a natural monoid structure which provides the following fact: the group of all isometric automorphisms $Aut_{Iso}(\mathcal{K}(X))$ of the monoid $\mathcal{K}(X)$, is isomorphic to the group of all isometric automorphisms $Aut_{Iso}(X)$ of the group $X$. On the other hand, we prove that the subset $\mathcal{K}_C(X)$ of $\mathcal{K}(X)$ of convex functions on a Banach space $X$, can be endowed with a convex cone structure in which $X$ embeds isometrically as Banach space.


title: A study of charm quark correlations in ultra-relativistic $p$ + $p$ collisions with PYTHIA

abstract: Measurements of heavy flavor quark (charm and bottom) correlations in heavy ion collisions are instrumental to understand the flavor dependence of energy loss mechanisms in hot and dense QCD media. Experimental measurements of these correlations in baseline $p$+$p$ collisions are crucial to understand the contributions of perturbative and non-perturbative QCD processes to the correlation functions and further help in interpreting correlation measurements in heavy ion collisions. In this paper, we investigate $D$-$\bar{D}$ meson correlations and $D$ with one particle from $D$ meson decay daughter correlations using PYTHIA Event Generator in $p$ + $p$ collisions at $\sqrt{s}$ = 200, 500 and 5500 GeV. Charm/bottom events are found to contribute mainly to the away side/near side pattern of $D$-electron correlations, respectively. In the energy region of RHIC, $D$-$\bar{D}$ correlations inherit initial $c$-$\bar{c}$ correlations and $B\rightarrow DX$ decay contribution is insignificant. Furthermore, Bottom quark correlations are suggested to be applicable at LHC energy, as the bottom contributions on $D$ related correlations are relatively large.


title: Bol loops as sections in semi-simple Lie groups of small dimension

abstract: Using the relations between the theory of differentiable Bol loops and the theory of affine symmetric spaces we classify all connected differentiable Bol loops having an at most $9$-dimensional semi-simple Lie group as the group topologically generated by their left translations. We show that all these Bol loops are isotopic to direct products of Bruck loops of hyperbolic type or to Scheerer extensions of Lie groups by Bruck loops of hyperbolic type.


title: Mechanisms of finite temperature magnetism in the three-dimensional Hubbard model

abstract: We examine the nature of the transition to the antiferromagnetically ordered state in the half-filled three-dimensional Hubbard model using the dual-fermion multiscale approach. Consistent with analytics, in the weak-coupling regime we find that spin-flip excitations across the Fermi surface are important, and that the strong coupling regime is described by Heisenberg physics. In the intermediate interaction, strong correlation regime we find aspects of both local and non-local correlations. We analyze the critical exponents of the transition in the strong coupling regime and find them to be consistent with Heisenberg physics down to an interaction of $U/t=10$.


title: Loops on spheres having a compact-free inner mapping group

abstract: We prove that any topological loop homeomorphic to a sphere or to a real projective space and having a compact-free Lie group as the inner mapping group is homeomorphic to the circle. Moreover, we classify the differentiable $1$-dimensional compact loops explicitly using the theory of Fourier series.


title: Approximate Solutions of Dirac Equation with Hyperbolic-type Potential

abstract: The energy eigenvalues of a Dirac particle for the hyperbolic-type potential field have been computed approximately. It is obtained a transcendental function of energy, $\mathcal{F}(E)$, by writing in terms of confluent Heun functions. The numerical values of energy are then obtained by fixing the zeros on "$E$-axis" for both complex functions $Re[\mathcal{F}(E)]$ and $Im[\mathcal{F}(E)]$.


title: Imaging with power controlled source pairs

abstract: Scatterers in a homogeneous medium are imaged by probing the medium with two point sources of waves modulated by correlated signals and by measuring only intensities at one single receiver. For appropriately chosen source pairs, we show that full waveform array measurements can be recovered from such intensity measurements by solving a linear least squares problem. The least squares solution can be used to image with Kirchhoff migration, even if the solution is determined only up to a known one-dimensional nullspace. The same imaging strategy can be used when the medium is probed with point sources driven by correlated Gaussian processes and autocorrelations are measured at a single location. Since autocorrelations are robust to noise, this can be used for imaging when the probing wave is drowned in background noise.


title: Optically-dressed resonant Auger processes induced by high-intensity x rays

abstract: We have unveiled coherent multiphoton interferences originating from different quantum paths taken by the Auger electron induced by a high-intensity x-ray/XUV pulse under the presence of a strong optical field. These interferences give rise to a clear signature in the angle-resolved Auger electron spectrum: an asymmetry with respect to the energy of the Auger decay channel. In order to illustrate this effect we have considered the resonant Auger decay of the transition $2p^{5} \!\leftrightarrow\! 1s^{-1}2p^{6}$ in Ne$^{+}$. The simulations show that these interferences are very sensitive to the parameters of the x-ray and optical fields.


title: Interior nodal sets of Steklov eigenfunctions on surfaces

abstract: We investigate the interior nodal sets $\mathcal{N}_\lambda$ of Steklov eigenfunctions on connected and compact surfaces with boundary. The optimal vanishing order of Steklov eigenfunctions is shown be $C\lambda$. The singular sets $\mathcal{S}_\lambda$ are finite points on the nodal sets. We are able to prove that the Hausdorff measure $H^0(\mathcal{S}_\lambda)\leq C\lambda^2$. Furthermore, we obtain an upper bound for the measure of interior nodal sets $H^1(\mathcal{N}_\lambda)\leq C\lambda^{\frac{3}{2}}$. Here those positive constants $C$ depend only on the surfaces.


title: On the cuspidalization problem for hyperbolic curves over finite fields

abstract: In this paper, we study some group-theoretic constructions associated to arithmetic fundamental groups of hyperbolic curves over finite fields. One of the main results of this paper asserts that any Frobenius-preserving isomorphism between the geometrically pro-$l$ fundamental groups of hyperbolic curves with one given point removed induces an isomorphism between the geometrically pro-$l$ fundamental groups of the hyperbolic curves obtained by removing other points. Finally, we apply this result to obtain results concerning certain cuspidalization problems for fundamental groups of (not necessarily proper) hyperbolic curves over finite fields.


title: Assume-Admissible Synthesis

abstract: In this paper, we introduce a novel rule for synthesis of reactive systems, applicable to systems made of n components which have each their own objectives. It is based on the notion of admissible strategies. We compare our novel rule with previous rules defined in the literature, and we show that contrary to the previous proposals, our rule defines sets of solutions which are rectangular. This property leads to solutions which are robust and resilient. We provide algorithms with optimal complexity and also an abstraction framework.


title: Duality for dormant opers

abstract: In the present paper, we prove that on a fixed pointed stable curve of characteristic $p>0$, there exists a duality between dormant $\mathfrak{sl}_n$-opers ($1 < n <p-1$) and dormant $\mathfrak{sl}_{(p-n)}$-opers. Also, we prove that there exists a unique (up to isomorphism) dormant $\mathfrak{sl}_{(p-1)}$-oper on a fixed pointed stable curve of characteristic $p>0$.


title: Maxima of the Q-index: graphs with no K_s,t

abstract: This note presents a new spectral version of the graph Zarankiewicz problem: How large can be the maximum eigenvalue of the signless Laplacian of a graph of order $n$ that does not contain a specified complete bipartite subgraph. A conjecture is stated about general complete bipartite graphs, which is proved for infinitely many cases. More precisely, it is shown that if $G$ is a graph of order $n,$ with no subgraph isomorphic to $K_{2,s+1},$ then the largest eigenvalue $q(G)$ of the signless Laplacian of $G$ satisfies \[ q(G)\leq\frac{n+2s}{2}+\frac{1}{2}\sqrt{(n-2s)^{2}+8s}, \] with equality holding if and only if $G$ is a join of $K_{1}$ and an $s$-regular graph of order $n-1.$


title: Practical Position-Based Quantum Cryptography

abstract: We study a general family of quantum protocols for position verification and present a new class of attacks based on the Clifford hierarchy. These attacks outperform current strategies based on port-based teleportation for a large class of practical protocols. We then introduce the Interleaved Product protocol, a new scheme for position verification involving only the preparation and measurement of single-qubit states for which the best available attacks have a complexity exponential in the number of classical bits transmitted.


title: Determining rural areas vulnerable to illegal dumping using GIS techniques. Case study: Neamt county, Romania

abstract: The paper aims to mapping the potential vulnerable areas to illegal dumping of household waste from rural areas in the extra- Carpathian region of Neamt County. These areas are ordinary in the proximity of built-up areas and buffers areas of 1 km were delimited for every locality. Based on various map layers in vector formats (land use, rivers, built-up areas, roads etc) an assessment method is performed to highlight the potential areas vulnerable to illegal dumping inside these buffer areas at local scale. The results are correlated to field observations and current situation of waste management systems. The maps outline local disparities due to various geographical conditions of county. This approach is a necessary tool in EIA studies particularly for rural waste management systems at local and regional scale which are less studied in current literature than urban areas.


title: Pulse design without rotating wave approximation

abstract: We design realizable time-dependent semiclassical pulses to invert the population of a two-level system faster than adiabatically when the rotating-wave approximation cannot be applied. Different approaches, based on the counterdiabatic method or on invariants, may lead to singularities in the pulse functions. Ways to avoid or cancel the singularities are put forward when the pulse spans few oscillations. For many oscillations an alternative numerical minimization method is proposed and demonstrated.


title: Analytical Derivation of the Inverse Moments of One-sided Correlated Gram Matrices with Applications

abstract: This paper addresses the development of analytical tools for the computation of the moments of random Gram matrices with one side correlation. Such a question is mainly driven by applications in signal processing and wireless communications wherein such matrices naturally arise. In particular, we derive closed-form expressions for the inverse moments and show that the obtained results can help approximate several performance metrics such as the average estimation error corresponding to the Best Linear Unbiased Estimator (BLUE) and the Linear Minimum Mean Square Error LMMSE or also other loss functions used to measure the accuracy of covariance matrix estimates.


title: Pure geometric thick $f(R)$-branes: stability and localization of gravity

abstract: We study two exactly solvable five-dimensional thick brane world models in pure metric $f(R)$ gravity. Working in the Einstein frame, we show that these solutions are stable against small linear perturbations, including the tensor, vector, and scalar modes. For both models, the corresponding gravitational zero mode is localized on the brane, which leads to the four-dimensional Newton's law; while the massive modes are nonlocalized and only contribute a small correction to the Newton's law at a large distance.


title: Three-dimensional loops as sections in a four-dimensional solvable Lie group

abstract: We classify all three-dimensional connected topological loops such that the group topologically generated by their left translations is the four-dimensional connected Lie group $G$ which has trivial center and precisely two one-dimensional normal subgroups. We show that $G$ is not the multiplication group of connected topological proper loops.


title: Ultimate Limit of Biaxial Tensile Strain and N-Type Doping for Realizing an Efficient Low-Threshold Ge Laser

abstract: We theoretically investigate how the threshold of a Ge-on-Si laser can be minimized and how the slope efficiency can be maximized in presence of both biaxial tensile strain and n-type doping. Our finding shows that there exist ultimate limits beyond which point no further benefit can be realized through increased tensile strain or n-type doping. Here were quantify these limits, showing that the optimal design for minimizing threshold involves about 3.7% biaxial tensile strain and 2x1018 cm-3 n-type doping, whereas the optimal design for maximum slope efficiency involves about 2.3% biaxial tensile strain with 1x1019 cm-3 n-type doping. Increasing the strain and/or doping beyond these limits will degrade the threshold or slope efficiency, respectively.


title: Particle Acceleration by Static Black Holes in a Model of $f(R)$ Gravity

abstract: Particle collisions are considered within the context of $f(R)$ gravity described by $f(R)=R+2\alpha\sqrt{R}$, where $R$ stands for the Ricci scalar and $\alpha$ is a non-zero constant. The center of mass (CM) energy of head-on colliding particles moving in opposite radial directions near the naked singularity/horizon are considered. Collision of particles in the same direction near the event horizon yields finite energy while the energy of oppositely moving particles grows unbounded. Addition of a cosmological constant does not change the feature. Collision of a massless outgoing photon with an infalling particle and collision of two oppositely moving photons following null-geodesics are also taken into account.


title: Competitive balance measures and the Uncertainty of Outcome Hypothesis in European football

abstract: Competitive balance is an important concept for professional sports and one of the key issues that European football has to address in order to ensure its long-term prosperity. However, the quantification of competitive balance is not an easy task. The difficulties are mainly associated with its multi-dimensionality character as well as the structure of each particular sport. This article uses data from eight domestic leagues over 60 years to identify the best index for a holistic view of competitive balance in European football. The findings support the longstanding Uncertainty of Outcome Hypothesis using indices designed for the important three identified levels of competition and offering a weighting pattern for ranking places. Important conclusions may be derived concerning the relative importance of different aspects of competitive balance depending on the specific features of the best index.


title: Attosecond XUV vortices from high-order harmonic generation

abstract: We present a theoretical study of high-order harmonic generation (HHG) and propagation driven by an infrared field carrying orbital angular momentum (OAM). Our calculations unveil the following relevant phenomena: extreme-ultraviolet harmonic vortices are generated and survive to the propagation effects, vortices transport high-OAM multiple of the corresponding OAM of the driving field and, finally, the different harmonic vortices are emitted with similar divergence. We also show the possibility of combining OAM and HHG phase-locking to produce attosecond pulses with helical pulse structure.


title: Some numerical characteristics of Sylvester and Hadamard matrices

abstract: We introduce numerical characteristics of Sylvester and Hadamard matrices and give their estimates and some of their applications.


title: Dynamics of solvation and desolvation of rubidium attached to He nanodroplets

abstract: The real-time dynamics of photoexcited and photoionized rubidium (Rb) atoms attached to helium (He) nanodroplets is studied by femtosecond pump-probe mass spectrometry. While excited Rb atoms in the perturbed 6p-state (Rb*) desorb off the He droplets, Rb^+ photoions tend to sink into the droplet interior when created near the droplet surface. The transition from Rb^+ solvation to full Rb* desorption is found to occur at a delay time t~600 fs for Rb* in the 6pSigma-state and t~1200 fs for the 6pPi-state. Rb^+He ions are found to be created by directly exciting bound Rb*He exciplex states as well as by populating bound Rb^+He-states in an photoassociative ionization process.


title: Topological loops having decomposable solvable multiplication group

abstract: In this paper we deal with the class C of decomposable solvable Lie groups having dimension at most six. We determine those Lie groups in C and their subgroups which are the multiplication group Mult(L) and the inner mapping group Inn(L) for three-dimensional connected simply connected topological loops L. These loops L have one- or two-dimensional centre and their group Mult(L) has two- or three-dimensional commutator subgroup. Together with this result we obtain that every at most 3-dimensional connected topological proper loop having a solvable Lie group of dimension at most six as its multiplication group is centrally nilpotent of class two.


title: Simple, Fast Semantic Parsing with a Tensor Kernel

abstract: We describe a simple approach to semantic parsing based on a tensor product kernel. We extract two feature vectors: one for the query and one for each candidate logical form. We then train a classifier using the tensor product of the two vectors. Using very simple features for both, our system achieves an average F1 score of 40.1% on the WebQuestions dataset. This is comparable to more complex systems but is simpler to implement and runs faster.


title: Fixed parameter complexity of distance constrained labeling and uniform channel assignment problems

abstract: We study computational complexity of the class of distance-constrained graph labeling problems from the fixed parameter tractability point of view. The parameters studied are neighborhood diversity and clique width. We rephrase the distance constrained graph labeling problem as a specific uniform variant of the Channel Assignment problem and show that this problem is fixed parameter tractable when parameterized by the neighborhood diversity together with the largest weight. Consequently, every $L(p_1, p_2, \dots, p_k)$-labeling problem is FPT when parameterized by the neighborhood diversity, the maximum $p_i$ and $k.$ Our results yield also FPT algorithms for all $L(p_1, p_2, \dots, p_k)$-labeling problems when parameterized by the size of a minimum vertex cover, answering an open question of Fiala et al.: Parameterized complexity of coloring problems: Treewidth versus vertex cover. The same consequence applies on Channel Assignment when the maximum weight is additionally included among the parameters. Finally, we show that the uniform variant of the Channel Assignment problem becomes NP-complete when generalized to graphs of bounded clique width.


title: Computing Highly Oscillatory Integrals

abstract: We develop two classes of composite moment-free numerical quadratures for computing highly oscillatory integrals having integrable singularities and stationary points. The first class of the quadrature rules has a polynomial order of convergence and the second class has an exponential order of convergence. We first modify the moment-free Filon-type method for the oscillatory integrals without a singularity or a stationary point to accelerate their convergence. We then consider the oscillatory integrals without a singularity or a stationary point and then those with singularities and stationary points. The composite quadrature rules are developed based on partitioning the integration domain according to the wave number and the singularity of the integrand. The integral defined on a subinterval has either a weak singularity without rapid oscillation or oscillation without a singularity. The classical quadrature rules for weakly singular integrals using graded points are employed for the singular integral without rapid oscillation and the modified moment-free Filon-type method is used for the oscillatory integrals without a singularity. Unlike the existing methods, the proposed methods do not have to compute the inverse of the oscillator. Numerical experiments are presented to demonstrate the approximation accuracy and the computational efficiency of the proposed methods. Numerical results show that the proposed methods outperform methods published most recently.


title: An inequality for the matrix pressure function and applications

abstract: We prove an a priori lower bound for the pressure, or $p$-norm joint spectral radius, of a measure on the set of $d \times d$ real matrices which parallels a result of J. Bochi for the joint spectral radius. We apply this lower bound to give new proofs of the continuity of the affinity dimension of a self-affine set and of the continuity of the singular-value pressure for invertible matrices, both of which had been previously established by D.-J. Feng and P. Shmerkin using multiplicative ergodic theory and the subadditive variational principle. Unlike the previous proof, our lower bound yields algorithms to rigorously compute the pressure, singular value pressure and affinity dimension of a finite set of matrices to within an a priori prescribed accuracy in finitely many computational steps. We additionally deduce a related inequality for the singular value pressure for measures on the set of $2 \times 2$ real matrices, give a precise characterisation of the discontinuities of the singular value pressure function for two-dimensional matrices, and prove a general theorem relating the zero-temperature limit of the matrix pressure to the joint spectral radius.


title: On the variable timing behavior of PSR B0540-69: an almost excellent example to study pulsar braking mechanism

abstract: PSR B0540-69 has braking index measurement in its persistent state: n=2.129 \pm 0.012. Recently, it is reported to have spin-down state changes: a suddenly 36 % increase in the spin-down rate. Combining the persistent state braking index measurement and different spin-down states, PSR B0540-69 is more powerful than intermittent pulsars in constraining pulsar spin-down models. The pulsar wind model is applied to explain the variable timing behavior of PSR B0540-69. The persistent state braking index of PSR B0540-69 is the combined effect of magnetic dipole radiation and particle wind. The particle density reflects the magnetospheric activity in real-time and may be responsible for the changing spin-down behavior. Corresponding to the 36 % increase in the spin-down rate of PSR B0540-69, the relative increase in the particle density is 88 % in the vacuum gap model. And the model calculated braking index in the new state is n=1.79. Future braking index observation of PSR B0540-69 in the new spin-down state will be very powerful in distinguishing between different pulsar spin-down models and different particle acceleration models in the wind braking scenario. The variable timing behavior of PSR J1846-0258 is also understandable in the pulsar wind model.


title: Compressed Manifold Modes: Fast Calculation and Natural Ordering

abstract: Compressed manifold modes are locally supported analogues of eigenfunctions of the Laplace-Beltrami operator of a manifold. In this paper we describe an algorithm for the calculation of modes for discrete manifolds that, in experiments, requires on average 47% fewer iterations and 44% less time than the previous algorithm. We show how to naturally order the modes in an analogous way to eigenfunctions, that is we define a compressed eigenvalue. Furthermore, in contrast to the previous algorithm we permit unlumped mass matrices for the operator and we show, unlike the case of eigenfunctions, that modes can, in general, be oriented.


title: The Skyrme Tensor Force in Heavy Ion Collisions

abstract: Background: [elided for arXiv character count] Purpose: With the advancement of computational power it is now possible to undertake TDHF calculations without any symmetry assumptions and incorporate the major strides made by the nuclear structure community in improving the energy density functionals used in these calculations. In particular, time-odd and tensor terms in these functionals are naturally present during the dynamical evolution, while being absent or minimally important for most static calculations. The parameters of these terms are determined by the requirement of Galilean invariance or local gauge invariance but their significance for the reaction dynamics have not been fully studied. This work addresses this question with emphasis on the tensor force. Method: The full version of the Skyrme force, including terms arising only from the Skyrme tensor force, is applied to the study of collisions within a completely symmetry-unrestricted TDHF implementation. Results: We examine the effect on fusion thresholds with and without the tensor force terms and find an effect on the fusion threshold energy of the order several MeV. Details of the distribution of the energy within terms in the energy density functional is also discussed. Conclusions: Terms in the energy density functional linked to the tensor force can play a non-negligible role in dynamic processes in nuclei, including those in which the terms do not affect ground state properties.


title: SQL for SRL: Structure Learning Inside a Database System

abstract: The position we advocate in this paper is that relational algebra can provide a unified language for both representing and computing with statistical-relational objects, much as linear algebra does for traditional single-table machine learning. Relational algebra is implemented in the Structured Query Language (SQL), which is the basis of relational database management systems. To support our position, we have developed the FACTORBASE system, which uses SQL as a high-level scripting language for statistical-relational learning of a graphical model structure. The design philosophy of FACTORBASE is to manage statistical models as first-class citizens inside a database. Our implementation shows how our SQL constructs in FACTORBASE facilitate fast, modular, and reliable program development. Empirical evidence from six benchmark databases indicates that leveraging database system capabilities achieves scalable model structure learning.


title: Absence of Critical Points of Solutions to the Helmholtz Equation in 3D

abstract: The focus of this paper is to show the absence of critical points for the solutions to the Helmholtz equation in a bounded domain $\Omega\subset\mathbb{R}^{3}$, given by \[ \left\{ \begin{array}{l} -\rm{div}(a\,\nabla u_{\omega}^{g})-\omega qu_{\omega}^{g}=0\quad\text{in $\Omega$,}\\ u_{\omega}^{g}=g\quad\text{on $\partial\Omega$.} \end{array}\right. \] We prove that for an admissible $g$ there exists a finite set of frequencies $K$ in a given interval and an open cover $\overline{\Omega}=\cup_{\omega\in K}\Omega_{\omega}$ such that $|\nabla u_{\omega}^{g}(x)|>0$ for every $\omega\in K$ and $x\in\Omega_{\omega}$. The set $K$ is explicitly constructed. If the spectrum of the above problem is simple, which is true for a generic domain $\Omega$, the admissibility condition on $g$ is a generic property.


title: Approximation Algorithms for Connected Maximum Cut and Related Problems

abstract: An instance of the Connected Maximum Cut problem consists of an undirected graph G = (V, E) and the goal is to find a subset of vertices S $\subseteq$ V that maximizes the number of edges in the cut \delta(S) such that the induced graph G[S] is connected. We present the first non-trivial \Omega(1/log n) approximation algorithm for the connected maximum cut problem in general graphs using novel techniques. We then extend our algorithm to an edge weighted case and obtain a poly-logarithmic approximation algorithm. Interestingly, in stark contrast to the classical max-cut problem, we show that the connected maximum cut problem remains NP-hard even on unweighted, planar graphs. On the positive side, we obtain a polynomial time approximation scheme for the connected maximum cut problem on planar graphs and more generally on graphs with bounded genus.