title: Marshall-positive SU($N$) quantum spin systems and classical loop models: A practical strategy to design sign-problem-free spin Hamiltonians

abstract: We consider bipartite SU($N$) spin Hamiltonians with a fundamental representation on one sublattice and a conjugate to fundamental on the other sublattice. By mapping these antiferromagnets to certain classical loop models in one higher dimension, we provide a practical strategy to write down a large family of SU($N$) symmetric spin Hamiltonians that satisfy Marshall's sign condition. This family includes all previously known sign-free SU($N$) spin models in this representation and in addition provides a large set of new models that are Marshall positive and can hence be studied efficiently with quantum Monte Carlo methods. As an application of our idea to the square lattice, we show that in addition to Sandvik's $Q$-term, there is an independent non-trivial four-spin $R$-term that is sign-free. Using numerical simulations, we show how the $R$-term provides a new route to the study of quantum criticality of N\'eel order.


title: FRW Cosmological Perturbations in Massive Bigravity

abstract: Cosmological perturbations of FRW solutions in ghost free massive bigravity, including also a second matter sector, are studied in detail. At early time, we find that sub horizon exponential instabilities are unavoidable and they lead to a premature departure from the perturbative regime of cosmological perturbations.


title: Lefschetz thimble Monte Carlo for many body theories: application to the repulsive Hubbard model away from half filling

abstract: Recently, a new method, based on stochastic integration on the surfaces of steepest descent of the action, was introduced to tackle the sign problem in quantum field theories. We show how this method can be used in many body theories to perform fully non-perturbative calculations of quantum corrections about mean field solutions. We discuss an explicit algorithm for implementing our method, and present results for the repulsive Hubbard model away from half-filling at intermediate temperatures. Our results are consistent with those from the recent state of the art cluster dynamical mean field theory calculations.

categories: cond-mat.str-el cond-mat.quant-gas hep-lat nucl-th physics.comp-ph


title: Hardy's paradox tested in the spin-orbit Hilbert space of single photons

abstract: We test experimentally the quantum ``paradox'' proposed by Lucien Hardy in 1993 [Phys. Rev. Lett. 71, 1665 (1993)] by using single photons instead of photon pairs. This is achieved by addressing two compatible degrees of freedom of the same particle, namely its spin angular momentum, determined by the photon polarization, and its orbital angular momentum, a property related to the optical transverse mode. Because our experiment involves a single particle, we cannot use locality to logically enforce non-contextuality, which must therefore be assumed based only on the observables' compatibility. On the other hand, our single-particle experiment can be implemented more simply and allows larger detection efficiencies than typical two-particle ones, with a potential future advantage in terms of closing the detection loopholes.


title: Convergence of the 2D Euler-$\alpha$ to Euler equations in the Dirichlet case: indifference to boundary layers

abstract: In this article we consider the Euler-$\alpha$ system as a regularization of the incompressible Euler equations in a smooth, two-dimensional, bounded domain. For the limiting Euler system we consider the usual non-penetration boundary condition, while, for the Euler-$\alpha$ regularization, we use velocity vanishing at the boundary. We also assume that the initial velocities for the Euler-$\alpha$ system approximate, in a suitable sense, as the regularization parameter $\alpha \to 0$, the initial velocity for the limiting Euler system. For small values of $\alpha$, this situation leads to a boundary layer, which is the main concern of this work. Our main result is that, under appropriate regularity assumptions, and despite the presence of this boundary layer, the solutions of the Euler-$\alpha$ system converge, as $\alpha \to 0$, to the corresponding solution of the Euler equations, in $L^2$ in space, uniformly in time. We also present an example involving parallel flows, in order to illustrate the indifference to the boundary layer of the $\alpha \to 0$ limit, which underlies our work.


title: Ranking structures and Rank-Rank Correlations of Countries. The FIFA and UEFA cases

abstract: Ranking of agents competing with each other in complex systems may lead to paradoxes according to the pre-chosen different measures. A discussion is presented on such rank-rank, similar or not, correlations based on the case of European countries ranked by UEFA and FIFA from different soccer competitions. The first question to be answered is whether an empirical and simple law is obtained for such (self-) organizations of complex sociological systems with such different measuring schemes. It is found that the power law form is not the best description contrary to many modern expectations. The stretched exponential is much more adequate. Moreover, it is found that the measuring rules lead to some inner structures, in both cases.

categories: physics.soc-ph cs.SI nlin.AO physics.data-an


title: Cylindrically symmetric static solutions of the Einstein field equations for elastic matter

abstract: The Einstein field equations are derived for a static cylindrically symmetric spacetime with elastic matter. The equations can be reduced to a system of two nonlinear ordinary differential equations and we present analytical and numerical solutions satisfying the dominant energy conditions. Furthermore, we show that the solutions can be matched at a finite radius to suitable $\Lambda$-vacuum exteriors given by the Linet-Tian spacetime.


title: Trajectory Based Models, Arbitrage and Continuity

abstract: The paper develops no arbitrage results for trajectory based models by imposing general constraints on the trading portfolios. The main condition imposed, in order to avoid arbitrage opportunities, is a local continuity requirement on the final portfolio value considered as a functional on the trajectory space. The paper shows this to be a natural requirement by proving that a large class of practical trading strategies, defined by means of trajectory based stopping times, give rise to locally continuous functionals. The theory is illustrated, with some detail, for two specific trajectory models of practical interest. The implications for stochastic models which are not semimartingales are described. The present paper extends some of the results in [1] by incorporating in the formalism a larger set of trading portfolios.


title: Iterative Learning for Reference-Guided DNA Sequence Assembly from Short Reads: Algorithms and Limits of Performance

abstract: Recent emergence of next-generation DNA sequencing technology has enabled acquisition of genetic information at unprecedented scales. In order to determine the genetic blueprint of an organism, sequencing platforms typically employ so-called shotgun sequencing strategy to oversample the target genome with a library of relatively short overlapping reads. The order of nucleotides in the reads is determined by processing the acquired noisy signals generated by the sequencing instrument. Assembly of a genome from potentially erroneous short reads is a computationally daunting task even in the scenario where a reference genome exists. Errors and gaps in the reference, and perfect repeat regions in the target, further render the assembly challenging and cause inaccuracies. In this paper, we formulate the reference-guided sequence assembly problem as the inference of the genome sequence on a bipartite graph and solve it using a message-passing algorithm. The proposed algorithm can be interpreted as the well-known classical belief propagation scheme under a certain prior. Unlike existing state-of-the-art methods, the proposed algorithm combines the information provided by the reads without needing to know reliability of the short reads (so-called quality scores). Relation of the message-passing algorithm to a provably convergent power iteration scheme is discussed. To evaluate and benchmark the performance of the proposed technique, we find an analytical expression for the probability of error of a genie-aided maximum a posteriori (MAP) decision scheme. Results on both simulated and experimental data demonstrate that the proposed message-passing algorithm outperforms commonly used state-of-the-art tools, and it nearly achieves the performance of the aforementioned MAP decision scheme.


title: Phase transition in loop percolation

abstract: We are interested in the clusters formed by a Poisson ensemble of Markovian loops on infinite graphs. This model was introduced and studied in [LeJ12] and [LL12]. It is a model with long range correlations with two parameters $\alpha$ and $\kappa$. The non-negative parameter $\alpha$ measures the amount of loops, and $\kappa$ plays the role of killing on vertices penalizing ($\kappa>0$) or favoring ($\kappa<0$) appearance of large loops. It was shown in [LL12] that for any fixed $\kappa$ and large enough $\alpha$, there exists an infinite cluster in the loop percolation on $\mathbb{Z}^d$. In the present article, we show a non-trivial phase transition on the integer lattice $\mathbb{Z}^d$ ($d\geq 3$) for $\kappa=0$. More precisely, we show that there is no loop percolation for $\kappa=0$ and $\alpha$ small enough. Interestingly, we observe a critical like behavior on the whole sub-critical domain of $\alpha$, namely, for $\kappa=0$ and any sub-critical value of $\alpha$, the probability of one-arm event decays at most polynomially. For $d\geq 5$, we prove that there exists a non-trivial threshold for the finiteness of the expected cluster size. For $\alpha$ below this threshold, we calculate, up to a constant factor, the decay of the probability of one-arm event, two point function, and the tail distribution of the cluster size. These rates are comparable with the ones obtained from a single large loop and only depend on the dimension. For $d=3$ or $4$, we give better lower bounds on the decay of the probability of one-arm event, which show importance of small loops for long connections. In addition, we show that the one-arm exponent in dimension $3$ depends on the intensity $\alpha$. [LeJ12] Y. Le Jan, Amas de lacets markoviens, C. R. Math. Acad. Sci. Paris 350 (2012), no.13-14, 643-646. [LL12] Y. Le Jan and S. Lemaire, Markovian loop clusters on graphs, arXiv.org:1211.0300


title: The HiSCORE concept for gamma-ray and cosmic-ray astrophysics beyond 10\,TeV

abstract: Air-shower measurements in the primary energy range beyond 10 TeV can be used to address important questions of astroparticle and particle physics. The most prominent among these questions are the search for the origin of charged Galactic cosmic rays and the so-far little understood transition from Galactic to extra-galactic cosmic rays. A very promising avenue towards answering these fundamental questions is the construction of an air-shower detector with sufficient sensitivity for gamma-rays to identify the accelerators and large exposure to achieve accurate spectroscopy of local cosmic rays. With the new ground-based large-area (up to 100 square-km) wide-angle (Omega ~ 0.6-0.85 sr) air-shower detector concept HiSCORE (Hundred*i Square-km Cosmic ORigin Explorer), we aim at exploring the cosmic ray and gamma-ray sky (accelerator-sky) in the energy range from few 10s of TeV to 1 EeV using the non-imaging air-Cherenkov detection technique. The full detector simulation is presented here. The resulting sensitivity of a HiSCORE-type detector to gamma-rays will extend the energy range so far accessed by other experiments beyond energies of 50 - 100 TeV, thereby opening up the ultra high energy gamma-ray (UHE gamma-rays, E > 10 TeV) observation window.


title: Structural Markov graph laws for Bayesian model uncertainty

abstract: This paper considers the problem of defining distributions over graphical structures. We propose an extension of the hyper Markov properties of Dawid and Lauritzen [Ann. Statist. 21 (1993) 1272-1317], which we term structural Markov properties, for both undirected decomposable and directed acyclic graphs, which requires that the structure of distinct components of the graph be conditionally independent given the existence of a separating component. This allows the analysis and comparison of multiple graphical structures, while being able to take advantage of the common conditional independence constraints. Moreover, we show that these properties characterise exponential families, which form conjugate priors under sampling from compatible Markov distributions.


title: Dispersive estimates for the Schr\"odinger operator on step 2 stratified Lie groups

abstract: The present paper is dedicated to the proof of dispersive estimates on stratified Lie groups of step 2, for the linear Schr\"odinger equation involving a sublaplacian. It turns out that the propagator behaves like a wave operator on a space of the same dimension p as the center of the group, and like a Schr\"odinger operator on a space of the same dimension k as the radical of the canonical skew-symmetric form, which suggests a decay with exponant -(k+p-1)/2. In this article, we identify a property of the canonical skew-symmetric form under which we establish optimal dispersive estimates with this rate. The relevance of this property is discussed through several examples.


title: Classification of simple weight modules over the 1-spatial ageing algebra

abstract: In this paper we use Block's classification of simple modules over the first Weyl algebra to obtain a complete classification of simple weight modules, in particular, of Harish-Chandra modules, over the 1-spatial ageing algebra age(1). Most of these modules have infinite dimensional weight spaces and so far the algebra age(1) is the only Lie algebra having simple weight modules with infinite dimensional weight spaces for which such a classification exists. As an application we classify all simple weight modules over the (1+1)-dimensional space-time Schrodinger algebra S that have a simple age(1)-submodule thus constructing many new simple weight S-modules.


title: Hilbert series of Segre transform, and Castelnuovo-Mumford regularity

abstract: In a recent preprint, Ilse Fischer and Martina Kubitzke, proved the bilinearity of the Segre transform under some restricted hypothesis, motivated by their results we show in this paper the bilinearity of the Segre transform in general. We apply these results to compute the postulation number of a series. Our second application is motivated by the paper of David A. Cox, and Evgeny Materov (2009), where is computed the Castelnuovo-Mumford regularity of the Segre Veronese embedding, we can extend partially their result and compute the Castelnuovo-Mumford regularity of the Segre product of Cohen-Macaulay modules.


title: Firefly Monte Carlo: Exact MCMC with Subsets of Data

abstract: Markov chain Monte Carlo (MCMC) is a popular and successful general-purpose tool for Bayesian inference. However, MCMC cannot be practically applied to large data sets because of the prohibitive cost of evaluating every likelihood term at every iteration. Here we present Firefly Monte Carlo (FlyMC) an auxiliary variable MCMC algorithm that only queries the likelihoods of a potentially small subset of the data at each iteration yet simulates from the exact posterior distribution, in contrast to recent proposals that are approximate even in the asymptotic limit. FlyMC is compatible with a wide variety of modern MCMC algorithms, and only requires a lower bound on the per-datum likelihood factors. In experiments, we find that FlyMC generates samples from the posterior more than an order of magnitude faster than regular MCMC, opening up MCMC methods to larger datasets than were previously considered feasible.


title: Radiative Neutrino Mass Model at the $e^{-}e^{+}$ Linear Collider

abstract: We study the phenomenology of a Standard Model (SM) extension with two charged singlet scalars and three right handed (RH) neutrinos at an electron-positron collider. In this model, the neutrino mass is generated radiatively at three-loop, the lightest RH neutrino is a good dark matter candidate; and the electroweak phase transition strongly first order as required for baryogenesis. We focus on the process $e^{+}+e^{-}\rightarrow e^{-}\mu^{+}+E_{miss}$, where the model contains new lepton flavor violating interactions that contribute to the missing energy. We investigate the feasibility of detecting this process at future $e^{-}e^{+}$ linear colliders at different center of mass energies: $E_{CM}$=250, 350, 500 GeV and 1 TeV.


title: Addendum to Computational Complexity and Black Hole Horizons

abstract: In this addendum to [arXiv:1402.5674] two points are discussed. In the first additional evidence is provided for a dual connection between the geometric length of an Einstein-Rosen bridge and the computational complexity of the quantum state of the dual CFT's. The relation between growth of complexity and Page's ``Extreme Cosmic Censorship" principle is also remarked on. The second point involves a gedanken experiment in which Alice measures a complete set of commuting observables at her end of an Einstein-Rosen bridge is discussed. An apparent paradox is resolved by appealing to the properties of GHZ tripartite entanglement.


title: Long time dynamics of defocusing energy critical 3 + 1 dimensional wave equation with potential in the radial case

abstract: Using channel of energy inequalities developed by T.Duyckaerts, C.Kenig and F.Merle, we prove that, modulo a free radiation, any finite energy radial solution to the defocusing energy critical wave equation with radial potential in 3 + 1 dimensions converges to the set of steady states as time goes to infinity. For generic potentials we prove there are only finitely many steady states, and in this case modulo some free radiation the solution converges to one steady state as time goes to infinity.


title: Bijective proofs of character evaluations using trace forest of the jeu de taquin

abstract: Irreducible characters in the symmetric group are of special interest in combinatorics. They can be expressed either combinatorially with ribbon tableaux, or algebraically with contents. In this paper, these two expressions are related in a combinatorial way. We first introduce a fine structure in the famous jeu de taquin called "trace forest", with which we are able to count certain types of ribbon tableaux, leading to a simple bijective proof of a character evaluation formula in terms of contents that dates back to Frobenius (1901). Inspired by this proof, we give an inductive scheme that gives combinatorial proofs to more complicated formulae for characters in terms of contents.


title: Secret-Sharing for NP

abstract: A computational secret-sharing scheme is a method that enables a dealer, that has a secret, to distribute this secret among a set of parties such that a "qualified" subset of parties can efficiently reconstruct the secret while any "unqualified" subset of parties cannot efficiently learn anything about the secret. The collection of "qualified" subsets is defined by a Boolean function. It has been a major open problem to understand which (monotone) functions can be realized by a computational secret-sharing schemes. Yao suggested a method for secret-sharing for any function that has a polynomial-size monotone circuit (a class which is strictly smaller than the class of monotone functions in P). Around 1990 Rudich raised the possibility of obtaining secret-sharing for all monotone functions in NP: In order to reconstruct the secret a set of parties must be "qualified" and provide a witness attesting to this fact. Recently, Garg et al. (STOC 2013) put forward the concept of witness encryption, where the goal is to encrypt a message relative to a statement "x in L" for a language L in NP such that anyone holding a witness to the statement can decrypt the message, however, if x is not in L, then it is computationally hard to decrypt. Garg et al. showed how to construct several cryptographic primitives from witness encryption and gave a candidate construction. One can show that computational secret-sharing implies witness encryption for the same language. Our main result is the converse: we give a construction of a computational secret-sharing scheme for any monotone function in NP assuming witness encryption for NP and one-way functions. As a consequence we get a completeness theorem for secret-sharing: computational secret-sharing scheme for any single monotone NP-complete function implies a computational secret-sharing scheme for every monotone function in NP.


title: Notes on error estimates for the standard Galerkin-finite element method for the Shallow Water equations

abstract: We consider a simple initial-boundary-value problem for the shallow water equations in one space dimension, and also the analogous problem for a symmetric variant of the system. Assuming smoothness of solutions, we discretize these problems in space using standard Galerkin-finite element methods and prove $L^{2}$-error estimates for the semidiscrete problems for quasiuniform and uniform meshes. In particular we show that in the case of spatial discretizations with piecewise linear continuous functions on a uniform mesh, suitable compatibility conditions at the boundary and superaccuracy properties of the $L^{2}$ projection on the finite element subspaces lead to an optimal-order $O(h^{2})$ $L^{2}$-error estimate. We also examine temporal discretizations of the semidiscrete problems by three explicit Runge-Kutta methods (the Euler, improved Euler, and the Shu-Osher scheme) and prove $L^{2}$-error estimates, which are of optimal order in the temporal variable, under appropriate stability conditions. In a final section of remarks we prove optimal-order $L^{2}$-error estimates for smooth spline spatial discretizations of the periodic initial-value problem for the systems. We also prove that small-amplitude, appropriately transformed solutions of the symmetric system are close to the corresponding solutions of the usual system while they are both smooth, thus providing a justification of the symmetric system.


title: Control of quantum transmission is trap free

abstract: We consider manipulation of the transmission coefficient for a quantum particle moving in one dimension where the shape of the potential is taken as the control. We show that the control landscape---the transmission as a functional of the potential---has no traps, i.e., any maxima correspond to full transmission.


title: Cortex simulation system proposal using distributed computer network environments

abstract: In the dawn of computer science and the eve of neuroscience we participate in rebirth of neuroscience due to new technology that allows us to deeply and precisely explore whole new world that dwells in our brains.


title: A Polynomial-time Algorithm for Outerplanar Diameter Improvement

abstract: The Outerplanar Diameter Improvement problem asks, given a graph $G$ and an integer $D$, whether it is possible to add edges to $G$ in a way that the resulting graph is outerplanar and has diameter at most $D$. We provide a dynamic programming algorithm that solves this problem in polynomial time. Outerplanar Diameter Improvement demonstrates several structural analogues to the celebrated and challenging Planar Diameter Improvement problem, where the resulting graph should, instead, be planar. The complexity status of this latter problem is open.


title: Comet McNaught (260P/2012 K2): spin axis orientation and rotation period

abstract: Extensive observations of comet 260P (McNaught) were carried out between August 2012 and January 2013. The images obtained were used to analyze the inner coma morphology of the comet at resolutions ranging from 250 to about 1000 km/pixel. A deep investigation of the dust features in the inner coma allowed us to identify only a single main active source on the nucleus of the comet, at an estimated latitude of -50 deg +/-15 deg. A thorough analysis of the appearance and of the motion of the morphological structures, supported by graphic simulations of the geometrical conditions of the observations, allowed us to determine a pole orientation located within a circular spot of a 15 deg-radius centered at RA=60 deg, Dec=0 deg. The rotation of the nucleus seems to occur on a single axis and is not chaotic, furthermore no precession effects could be estimated from our measurements. The comet's spin axis never reached the plane of the sky from October 2012 to January 2013; during this period it did not change its direction significantly (less than 30 deg), thus giving us the opportunity to observe mainly structures such as bow-shaped jets departing from the single active source located on the comet's nucleus. Only during the months of August 2012 and January 2013 the polar axis was directed towards the Earth at an angle of about 45 deg from the plane of the sky; this made it possible to observe the development of faint structures like fragments of shells or spirals. A possible rotation period of 0.340 +/-0.01 days was estimated by means of differential photometric analysis.


title: Antitonicity of the inverse for selfadjoint matrices, operators, and relations

abstract: Let $H_1$ and $H_2$ be selfadjoint operators or relations (multivalued operators) acting on a separable Hilbert space and assume that the inequality $H_1 \leq H_2$ holds. Then the validity of the inequalities $-H_1^{-1} \leq -H_2^{-1}$ and $H_2^{-1} \leq H_1^{-1}$ is characterized in terms of the inertia of $H_1$ and $H_2$. Such results are known for matrices and boundedly invertible operators. In the present paper those results are extended to selfadjoint, in general unbounded, not necessarily boundedly invertible, operators and, more generally, for selfadjoint relations in separable Hilbert spaces.


title: Low-dimensional behavior of Kuramoto model with inertia in complex networks

abstract: Low-dimensional behavior of large systems of globally coupled oscillators has been intensively investigated since the introduction of the Ott-Antonsen ansatz. In this report, we generalize the Ott-Antonsen ansatz to second-order Kuramoto models in complex networks. With an additional inertia term, we find a low-dimensional behavior similar to the first-order Kuramoto model, derive a self-consistent equation and seek the time-dependent derivation of the order parameter. Numerical simulations are also conducted to verify our analytical results.


title: Dark energy models through nonextensive Tsallis' statistics

abstract: The accelerated expansion of the Universe is one of the greatest challenges of modern physics. One candidate to explain this phenomenon is a new field called dark energy. In this work we have used the Tsallis nonextensive statistical formulation of the Friedmann equation to explore the Barboza-Alcaniz and Chevalier-Polarski-Linder parametric dark energy models and the Wang-Meng and Dalal vacuum decay models. After that, we have discussed the observational tests and the constraints concerning the Tsallis nonextensive parameter.


title: Partitioning strategies for the interaction of a fluid with a poroelastic material based on a Nitsche's coupling approach

abstract: We develop a computational model to study the interaction of a fluid with a poroelastic material. The coupling of Stokes and Biot equations represents a prototype problem for these phenomena, which feature multiple facets. On one hand it shares common traits with fluid-structure interaction. On the other hand it resembles the Stokes-Darcy coupling. For these reasons, the numerical simulation of the Stokes-Biot coupled system is a challenging task. The need of large memory storage and the difficulty to characterize appropriate solvers and related preconditioners are typical shortcomings of classical discretization methods applied to this problem. The application of loosely coupled time advancing schemes mitigates these issues because it allows to solve each equation of the system independently with respect to the others. In this work we develop and thoroughly analyze a loosely coupled scheme for Stokes-Biot equations. The scheme is based on Nitsche's method for enforcing interface conditions. Once the interface operators corresponding to the interface conditions have been defined, time lagging allows us to build up a loosely coupled scheme with good stability properties. The stability of the scheme is guaranteed provided that appropriate stabilization operators are introduced into the variational formulation of each subproblem. The error of the resulting method is also analyzed, showing that splitting the equations pollutes the optimal approximation properties of the underlying discretization schemes. In order to restore good approximation properties, while maintaining the computational efficiency of the loosely coupled approach, we consider the application of the loosely coupled scheme as a preconditioner for the monolithic approach. Both theoretical insight and numerical results confirm that this is a promising way to develop efficient solvers for the problem at hand.


title: Admittivity imaging from multi-frequency micro-electrical impedance tomography

abstract: The aim of this paper is to propose an optimal control optimization algorithm for reconstructing admittivity distributions (i.e., both conductivity and permittivity) from multi-frequency micro-electrical impedance tomography. A convergent and stable optimization scheme is shown to be obtainable from multi-frequency data. The results of this paper have potential applicability in cancer imaging, cell culturing and differentiation, food sciences, and biotechnology.


title: Stochastic B\"acklund transformations

abstract: How does one introduce randomness into a classical dynamical system in order to produce something which is related to the `corresponding' quantum system? We consider this question from a probabilistic point of view, in the context of some integrable Hamiltonian systems.


title: Testing for independence between functional time series

abstract: Frequently econometricians are interested in verifying a relationship between two or more time series. Such analysis is typically carried out by causality and/or independence tests which have been well studied when the data is univariate or multivariate. Modern data though is increasingly of a high dimensional or functional nature for which finite dimensional methods are not suitable. In the present paper we develop methodology to check the assumption that data obtained from two functional time series are independent. Our procedure is based on the norms of empirical cross covariance operators and is asymptotically validated when the underlying populations are assumed to be in a class of weakly dependent random functions which include the functional ARMA, ARCH and GARCH processes.


title: Large-Scale MIMO Detection for 3GPP LTE: Algorithms and FPGA Implementations

abstract: Large-scale (or massive) multiple-input multiple-output (MIMO) is expected to be one of the key technologies in next-generation multi-user cellular systems, based on the upcoming 3GPP LTE Release 12 standard, for example. In this work, we propose - to the best of our knowledge - the first VLSI design enabling high-throughput data detection in single-carrier frequency-division multiple access (SC-FDMA)-based large-scale MIMO systems. We propose a new approximate matrix inversion algorithm relying on a Neumann series expansion, which substantially reduces the complexity of linear data detection. We analyze the associated error, and we compare its performance and complexity to those of an exact linear detector. We present corresponding VLSI architectures, which perform exact and approximate soft-output detection for large-scale MIMO systems with various antenna/user configurations. Reference implementation results for a Xilinx Virtex-7 XC7VX980T FPGA show that our designs are able to achieve more than 600 Mb/s for a 128 antenna, 8 user 3GPP LTE-based large-scale MIMO system. We finally provide a performance/complexity trade-off comparison using the presented FPGA designs, which reveals that the detector circuit of choice is determined by the ratio between BS antennas and users, as well as the desired error-rate performance.


title: Deficit Round-Robin-Based ISP Traffic Control Scheme Enabling Excess Bandwidth Allocation in Shared Access Networks

abstract: In shared access shaping subscriber traffic based on token bucket by ISPs wastes network resources when there are few active subscribers, because it cannot allocate excess bandwidth in the long term. To address it, traffic control schemes based on core-stateless fair queueing (CSFQ) and token bucket meters (TBMs) have been proposed, which can allocate excess bandwidth among active subscribers proportional to their token generation rates. Using FIFO queue for all packets, however, degrades the short-term performance of conformant traffic due to the presence of non-conformant packets already in the queue. Also, the rate estimation based on exponential averaging makes it difficult to react to rapid changes in traffic conditions. In this paper we propose a new traffic control scheme based on deficit round-robin (DRR) and TBMs to guarantee the quality of service of conformant packets in all time scales while allocating excess bandwidth among active subscribers proportional to their token generation rates, whose advantages over the CSFQ-based schemes are demonstrated through simulation results.


title: Eigenvalue, global bifurcation and positive solutions for a class of fully nonlinear problems

abstract: In this paper, we shall study global bifurcation phenomenon for the following Kirchhoff type problem \begin{equation} \left\{ \begin{array}{l} -\left(a+b\int_\Omega \vert \nabla u\vert^2\,dx\right)\Delta u=\lambda u+h(x,u,\lambda)\,\,\text{in}\,\, \Omega,\\ u=0~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~\text{on}\,\,\Omega. \end{array} \right.\nonumber \end{equation} Under some natural hypotheses on $h$, we show that $\left(a\lambda_1,0\right)$ is a bifurcation point of the above problem. As applications of the above result, we shall determine the interval of $\lambda$, in which there exist positive solutions for the above problem with $h(x,u;\lambda)=\lambda f(x,u)-\lambda u$, where $f$ is asymptotically linear at zero and is asymptotically 3-linear at infinity. To study global structure of bifurcation branch, we also establish some properties of the first eigenvalue for a nonlocal eigenvalue problem. Moreover, we also provide a positive answer to an open problem involving the case of $a=0$.


title: Application of the lace expansion to the $\varphi^4$ model

abstract: Using the Griffiths-Simon construction of the $\varphi^4$ model and the lace expansion for the Ising model, we prove that, if the strength $\lambda\ge0$ of nonlinearity is sufficiently small for a large class of short-range models in dimensions $d>4$, then the critical $\varphi^4$ two-point function $\langle\varphi_o\varphi_x\rangle_{\mu_c}$ is asymptotically $|x|^{2-d}$ times a model-dependent constant, and the critical point is estimated as $\mu_c=\mathscr{\hat J}-\frac\lambda2\langle\varphi_o^2\rangle_{\mu_c}+O(\lambda^2)$, where $\mathscr{\hat J}$ is the massless point for the Gaussian model.


title: Mining Attribute-Based Access Control Policies from Logs

abstract: Attribute-based access control (ABAC) provides a high level of flexibility that promotes security and information sharing. ABAC policy mining algorithms have potential to significantly reduce the cost of migration to ABAC, by partially automating the development of an ABAC policy from information about the existing access-control policy and attribute data. This paper presents an algorithm for mining ABAC policies from operation logs and attribute data. To the best of our knowledge, it is the first algorithm for this problem.


title: The challenge for single field inflation with BICEP2 result

abstract: The detection of B-mode power spectrum by the BICEP2 collaboration constrains the tensor-to-scalar ratio $r=0.20^{+0.07}_{-0.05}$ for the lensed-$\Lambda$CDM model. The consistency of this big value with the {\em Planck} results requires a large running of the spectral index. The large values of the tensor-to-scalar ratio and the running of the spectral index put a challenge to single field inflation. For the chaotic inflation, the larger the value of the tensor-to-scalar ratio is, the smaller the value of the running of the spectral index is. For the natural inflation, the absolute value of the running of the spectral index has an upper limit.


title: keV Photon Emission from Light Nonthermal Dark Matter

abstract: We propose a possible explanation for the recent claim of an excess at 3.5 keV in the X-ray spectrum within a minimal extension of the standard model that explains dark matter and baryon abundance of the universe. The dark matter mass in this model is ${\cal O}({\rm GeV})$ and its relic density has a non-thermal origin. The model includes two colored scalars of ${\cal O}({\rm TeV})$ mass ($X_{1,2}$), and two singlet fermions that are almost degenerate in mass with the proton ($N_{1,2}$). The heavier fermion $N_2$ undergoes radiative decay to the lighter one $N_1$ that is absolutely stable. Radiative decay with a life time $\sim 10^{23}$ seconds can account for the claimed 3.5 keV line, which requires couplings $\sim 10^{-3}-10^{-1}$ between $X_{1,2}, ~ N_{1,2}$ and the up-type quarks. The model also gives rise to potentially detectable monojet, dijet, and monotop signals at the LHC.


title: SmartAnnotator: An Interactive Tool for Annotating RGBD Indoor Images

abstract: RGBD images with high quality annotations in the form of geometric (i.e., segmentation) and structural (i.e., how do the segments are mutually related in 3D) information provide valuable priors to a large number of scene and image manipulation applications. While it is now simple to acquire RGBD images, annotating them, automatically or manually, remains challenging especially in cluttered noisy environments. We present SmartAnnotator, an interactive system to facilitate annotating RGBD images. The system performs the tedious tasks of grouping pixels, creating potential abstracted cuboids, inferring object interactions in 3D, and comes up with various hypotheses. The user simply has to flip through a list of suggestions for segment labels, finalize a selection, and the system updates the remaining hypotheses. As objects are finalized, the process speeds up with fewer ambiguities to resolve. Further, as more scenes are annotated, the system makes better suggestions based on structural and geometric priors learns from the previous annotation sessions. We test our system on a large number of database scenes and report significant improvements over naive low-level annotation tools.


title: Logic Blog 2013

abstract: The 2013 logic blog has focussed on the following: 1. Higher randomness. Among others, the Borel complexity of $\Pi^1_1$ randomness and higher weak 2 randomness is determined. 2. Reverse mathematics and its relationship to randomness. For instance, what is the strength of Jordan's theorem in analysis? (His theorem states that each function of bounded variation is the difference of two nondecreasing functions.) 3. Randomness and computable analysis. This focusses on the connection of randomness of a real $z$ and Lebesgue density of effectively closed sets at $z$. 4. Exploring similarity relations for Polish metric spaces, such as isometry, or having Gromov-Hausdorff distance $0$. In particular their complexity was studied. 5. Various results connecting computability theory and randomness.


title: Nonlocal and controlled unitary operators of Schmidt rank three

abstract: Implementing nonlocal unitary operators is an important and hard question in quantum computing and cryptography. We show that any bipartite nonlocal unitary operator of Schmidt rank three on the $(d_A \times d_B)$-dimensional system is locally equivalent to a controlled unitary when $d_A$ is at most three. This operator can be locally implemented assisted by a maximally entangled state of Schmidt rank $r=\min\{d_A^2,d_B\}$. We further show that stochastic-equivalent nonlocal unitary operators are indeed locally equivalent, and propose a sufficient condition on which nonlocal and controlled unitary operators are locally equivalent. We also provide the solution to a special case of a conjecture on the ranks of multipartite quantum states.


title: Logic Blog 2011

abstract: This year's logic blog has focussed on: 1. Demuth randomness 2. traceability 3. The connection of computable analysis and randomness 4. $K$-triviality in metric spaces.


title: $\epsilon$-Strong Simulation for Multidimensional Stochastic Differential Equations via Rough Path Analysis

abstract: Consider a multidimensional diffusion process $X=\{X\left(t\right) :t\in\lbrack0,1]\}$. Let $\varepsilon>0$ be a \textit{deterministic}, user defined, tolerance error parameter. Under standard regularity conditions on the drift and diffusion coefficients of $X$, we construct a probability space, supporting both $X$ and an explicit, piecewise constant, fully simulatable process $X_{\varepsilon}$ such that \[ \sup_{0\leq t\leq1}\left\Vert X_{\varepsilon}\left(t\right) -X\left(t\right) \right\Vert_{\infty}<\varepsilon \] with probability one. Moreover, the user can adaptively choose $\varepsilon^{\prime}\in\left(0,\varepsilon\right) $ so that $X_{\varepsilon^{\prime}}$ (also piecewise constant and fully simulatable) can be constructed conditional on $X_{\varepsilon}$ to ensure an error smaller than $\varepsilon^{\prime}>0$ with probability one. Our construction requires a detailed study of continuity estimates of the Ito map using Lyon's theory of rough paths. We approximate the underlying Brownian motion, jointly with the L\'{e}vy areas with a deterministic $\varepsilon$ error in the underlying rough path metric.


title: Game-theoretic Resource Allocation Methods for Device-to-Device (D2D) Communication

abstract: Device-to-device (D2D) communication underlaying cellular networks allows mobile devices such as smartphones and tablets to use the licensed spectrum allocated to cellular services for direct peer-to-peer transmission. D2D communication can use either one-hop transmission (i.e., in D2D direct communication) or multi-hop cluster-based transmission (i.e., in D2D local area networks). The D2D devices can compete or cooperate with each other to reuse the radio resources in D2D networks. Therefore, resource allocation and access for D2D communication can be treated as games. The theories behind these games provide a variety of mathematical tools to effectively model and analyze the individual or group behaviors of D2D users. In addition, game models can provide distributed solutions to the resource allocation problems for D2D communication. The aim of this article is to demonstrate the applications of game-theoretic models to study the radio resource allocation issues in D2D communication. The article also outlines several key open research directions.


title: Electromagnetically induced transparency with controlled van der Waals interaction

abstract: We study the electromagnetically induced transparency (EIT) effect with two individually addressed four-level Rydberg atoms subjected to the interatomic van der Waals interaction. We derive an effectively atomic Raman transition model where two ladders of the usual Rydberg-EIT setting terminating at the same upper Rydberg level of long radiative lifetime are turned into a Rydberg-EIT lambda setup via two-photon transitions, leaving the middle levels of each ladder largely detuned from the coupling and probe laser beams. It can hence overcome the limits of applications for EIT with atoms of the ladder-type level configuration involving a strongly decaying intermediate state by inducing coherence between two ground states. By probing one of the atoms, we observe four doublets of absorption induced by the Autler-Townes (AT) splitting and the van der Waals interaction. In particular, we find that the location of the EIT center remains unchanged compared to the interatomic-interaction-free case, which demonstrated that the interference among the multiple transition channels is basically destructive. The EIT with controlled Rydberg-Rydberg interaction among few atoms provides a versatile tool for engineering the propagation dynamics of light.


title: Uniform measures on the arbitrary compact metric spaces, with applications

abstract: We introduce and investigate in this short report the new notion of uniform measure (distribution) on the arbitrary compact metric space. We consider also some possible applications of these measures in the theory of imbedding theorems and in the theory of random processes (fields), in particular, in the so-called majorizing (and minorizing) measures method, belonging to X.Fernique and M.Talagrand. These considerations based on the L.Arnold and P.Imkeller generalization of the classical A.M.Garsia-E.Rodemich-H.Jr.Rumsey inequality and X.Fernique-M.Talagrand estimation for random fields.


title: On factorisation systems for surjective quandle homomorphisms

abstract: We study and compare two factorisation systems for surjective homomorphisms in the category of quandles. The first one is induced by the adjunction between quandles and trivial quandles, and a precise description of the two classes of morphisms of this factorisation system is given. In doing this we observe that a special class of congruences in the category of quandles always permute in the sense of the composition of relations, a fact that opens the way to some new universal algebraic investigations in the category of quandles. The second factorisation system is the one discovered by E. Bunch, P. Lofgren, A. Rapp and D. N. Yetter. We conclude with an example showing a difference between these factorisation systems.


title: Gauge Theories in Noncommutative Homogeneous K\"ahler Manifolds

abstract: We construct a gauge theory on a noncommutative homogeneous K\"ahler manifold, where we employ the deformation quantization with separation of variables for K\"ahler manifolds formulated by Karabegov. A key point in this construction is to obtaining vector fields which act as inner derivations for the deformation quantization. We show that these vector fields are the only Killing vector fields. We give an explicit construction of this gauge theory on noncommutative ${\mathbb C}P^N$ and noncommutative ${\mathbb C}H^N$.


title: On the relationship between cosmic rays, solar activity and powerful earthquakes

abstract: In this paper we analyze the correlation of cosmic rays intensity to increases in seismic activity. We also show that high-magnitude earthquakes appear in group. As a prequel, we discuss in \S1 naive visualization of the solar-cosmic ray interplay.


title: Synchronizing weighted automata

abstract: We introduce two generalizations of synchronizability to automata with transitions weighted in an arbitrary semiring K=(K,+,*,0,1). (or equivalently, to finite sets of matrices in K^nxn.) Let us call a matrix A location-synchronizing if there exists a column in A consisting of nonzero entries such that all the other columns of A are filled by zeros. If additionally all the entries of this designated column are the same, we call A synchronizing. Note that these notions coincide for stochastic matrices and also in the Boolean semiring. A set M of matrices in K^nxn is called (location-)synchronizing if M generates a matrix subsemigroup containing a (location-)synchronizing matrix. The K-(location-)synchronizability problem is the following: given a finite set M of nxn matrices with entries in K, is it (location-)synchronizing? Both problems are PSPACE-hard for any nontrivial semiring. We give sufficient conditions for the semiring K when the problems are PSPACE-complete and show several undecidability results as well, e.g. synchronizability is undecidable if 1 has infinite order in (K,+,0) or when the free semigroup on two generators can be embedded into (K,*,1).


title: Resource Allocation for Coordinated Multipoint Networks with Wireless Information and Power Transfer

abstract: This paper studies the resource allocation algorithm design for multiuser coordinated multipoint (CoMP) networks with simultaneous wireless information and power transfer (SWIPT). In particular, remote radio heads (RRHs) are connected to a central processor (CP) via capacity-limited backhaul links to facilitate CoMP joint transmission. Besides, the CP transfers energy to the RRHs for more efficient network operation. The considered resource allocation algorithm design is formulated as a non-convex optimization problem with a minimum required signal-to-interference-plus-noise ratio (SINR) constraint at multiple information receivers and a minimum required power transfer constraint at the energy harvesting receivers. By optimizing the transmit beamforming vectors at the CP and energy sharing between the CP and the RRHs, we aim at jointly minimizing the total network transmit power and the maximum capacity consumption per backhaul link. The resulting non-convex optimization problem is NP-hard. In light of the intractability of the problem, we reformulate it by replacing the non-convex objective function with its convex hull, which enables the derivation of an efficient iterative resource allocation algorithm. In each iteration, a non-convex optimization problem is solved by semi-definite programming (SDP) relaxation and the proposed iterative algorithm converges to a local optimal solution of the original problem. Simulation results illustrate that our proposed algorithm achieves a close-to-optimal performance and provides a significant reduction in backhaul capacity consumption compared to full cooperation. Besides, the considered CoMP network is shown to provide superior system performance as far as power consumption is concerned compared to a traditional system with multiple antennas co-located.


title: Pseudo-goldstino and electroweak gauginos at the LHC

abstract: The multi-sector SUSY breaking predicts the existence of pseudo-goldstino, which could couple more strongly to visible fields than ordinary gravitino. Then the lightest neutralino and chargino can decay into a pseudo-goldstino plus a Z-boson, Higgs boson or W-boson. In this note we perform a Monte Carlo simulation for the direct productions of the lightest neutralino and chargino followed by the decays to pseudo-goldstino. Considering scenarios with higgsino-like, bino-like or wino-like lightest neutralino, we find that the signal-to-background ratio at the high luminosity LHC is between 6% and 25% and the statistical significance can be above 5-sigma.


title: Blue Gravity Waves from BICEP2 ?

abstract: We present new constraints on the spectral index n_T of tensor fluctuations from the recent data obtained by the BICEP2 experiment. We found that the BICEP2 data alone slightly prefers a positive, "blue", spectral index with n_T=1.36\pm0.83 at 68 % c.l.. However, when a TT prior on the tensor amplitude coming from temperature anisotropy measurements is assumed we get n_T=1.67\pm0.53 at 68 % c.l., ruling out a scale invariant $n_T=0$ spectrum at more than three standard deviations. These results are at odds with current bounds on the tensor spectral index coming from pulsar timing, Big Bang Nucleosynthesis, and direct measurements from the LIGO experiment. Considering only the possibility of a "red", n_T<0 spectral index we obtain the lower limit n_T > -0.76 at 68 % c.l. (n_T>-0.09 when a TT prior is included).


title: Spatiotemporal Orthogonal Polynomial Approximation for Partial Differential Equations

abstract: Starting with some fundamental concepts, in this article we present the essential aspects of spectral methods and their applications to the numerical solution of Partial Differential Equations (PDEs). We start by using Lagrange and Techbychef orthogonal polynomials for spatiotemporal approximation of PDEs as a weighted sum of polynomials. We use collocation at some clustered grid points to generate a system of equations to approximate the weights for the polynomials. We finish the study by demonstrating approximate solutions of some PDEs in one space dimension.


title: Software Agents Interaction Algorithms in Virtual Learning Environment

abstract: This paper highlights the multi-agent learning virtual environment and agents communication algorithms. The researcher proposed three algorithms required software agents interaction in virtual learning information system environment. The first proposed algorithm is agents interaction localization algorithm, the second one is the dynamic agents distribution algorithm (load distribution algorithm), and the third model is Agent communication algorithm based on using agents intermediaries. The main objectives of these algorithms are to reduce the response time for any agents changes in virtual learning environment (VLE) by increasing the information exchange intensity between software agents and reduce the overall network load, and to improve the communication between mobile agents in distributed information system to support effectiveness. Finally the paper describe the algorithms of information exchange between mobile agents in VLE based on the expansion of the address structure and the use of an agent, intermediary agents, matchmaking agents, brokers and their entrepreneurial functions


title: Cooperative Energy Trading in CoMP Systems Powered by Smart Grids

abstract: This paper studies the energy management in the coordinated multi-point (CoMP) systems powered by smart grids, where each base station (BS) with local renewable energy generation is allowed to implement the two-way energy trading with the grid. Due to the uneven renewable energy supply and communication energy demand over distributed BSs as well as the difference in the prices for their buying/selling energy from/to the gird, it is beneficial for the cooperative BSs to jointly manage their energy trading with the grid and energy consumption in CoMP based communication for reducing the total energy cost. Specifically, we consider the downlink transmission in one CoMP cluster by jointly optimizing the BSs' purchased/sold energy units from/to the grid and their cooperative transmit precoding, so as to minimize the total energy cost subject to the given quality of service (QoS) constraints for the users. First, we obtain the optimal solution to this problem by developing an algorithm based on techniques from convex optimization and the uplink-downlink duality. Next, we propose a sub-optimal solution of lower complexity than the optimal solution, where zero-forcing (ZF) based precoding is implemented at the BSs. Finally, through extensive simulations, we show the performance gain achieved by our proposed joint energy trading and communication cooperation schemes in terms of energy cost reduction, as compared to conventional schemes that separately design communication cooperation and energy trading.


title: Effect of electron-phonon interactions on Raman line at ferromagnetic ordering

abstract: The theory of Raman scattering in half-metals by optical phonons interacting with conduction electrons is developed. We evaluate the effect of electron-phonon interactions at ferromagnetic ordering in terms of the Boltzmann equation for carriers. The chemical potential is found to decrease with temperature decreasing. Both the linewidth and frequency shift exhibit a dependence on temperature.


title: Spin-polarized electron transport in the high-pressure ferromagnetic phases (GaSb)$_2$M (M=Cr,Mn)

abstract: For the first time magnetrotransport of the ferromagnetic high-pressure phases of (GaSb)$_2$M (M=Cr,Mn) was measured. It was found that the main component of magnetotransport in these phases is negative and its amplitude is increasing with temperature rising and approaching Curie temperature. Measuring of magnetoresistance in the cycling magnetic fields demonstrated that the Yosida component of magnetresistance is negligible and the main part of the magnetoresistance can be attributed to the spin-polarized electron transport.


title: Particle production and long-range correlations in p+Pb collisions with the ATLAS detector

abstract: The ATLAS experiment at the LHC has measured the centrality dependence of charged particle pseudorapidity distribution, charged particle spectra, and the two-particle correlations in p+Pb collisions at a nucleon-nucleon centre-of-mass energy of sqrt(s_NN)=5.02TeV. Charged particles were measured over |eta|<2.7 using the ATLAS detector tracking system. The p+Pb collision centrality was characterized by the total transverse energy deposited over the interval 3.2<eta<4.9 in the direction of the Pb-beam. Three different calculations of the number of participating nucleons, have been carried out using a standard Glauber initial state model as well as two Glauber-Gribov extensions. Charged particle multiplicities per participant pair, and the normalised charged particle spectra are found to vary in shape with eta and also with the model, pointing to the importance of the fluctuating nature of nucleon-nucleon collisions in the modelling of the initial state of p+Pb collisions. The two particle correlation exhibits flow-like modulations for all centrality intervals and particle p_T.


title: Remarks on the Egyptian 2/D table in favor of a global approach (D prime number)

abstract: For h=3 or 4, Egyptian decompositions into h unit fractions, like 2/D = 1/D1 + ... +1/Dh, were given by using (h-1) divisors (di) of D1. This ancient modus operandi, well recognized today, provides Di=DD1/di for i greater than 1. Decompositions selected (depending on di) have generally been studied by modern researchers through the intrinsic features of di itself. An unconventional method is presented here without considering the di properties but just the differences d(h-1)-dh. In contrast to widespread ideas about the last denominator like 'Dh smaller than 1000', it is more appropriate to adopt a global boundary of the form 'Dh smaller or equal to 10D', where 10 comes from the Egyptian decimal system. Singular case 2/53 (with 15 instead of 10) is explained. The number of preliminary alternatives before the final decisions is found tobe so low (71) for h=3 or 4 that a detailed overview is possible. A simple additive method of trials, independent of any context, can be carried out, namely 2n+1= d2+ ... + dh. Clearly the decisions fit with a minimal value of the differences d(h-1)-dh, independently of any di values.


title: On groups of $I$-type and involutive Yang-Baxter groups

abstract: We suggest a cohomological framework to describe groups of $I$-type and involutive Yang-Baxter groups. These groups are key in the study of involutive non-degenerate set-theoretic solutions of the quantum Yang-Baxter equation. Our main tool is a lifting criterion for 1-cocycles, established here in a general non-abelian setting.


title: Infinite-dimensional manifolds as ringed spaces

abstract: We analyze the possibility of defining infinite-dimensional manifolds as ringed spaces. More precisely, we consider three definitions of manifolds modeled on locally convex spaces: in terms of charts and atlases, in terms of ringed spaces, and in terms of functored spaces, as introduced by Douady in his thesis. It is shown that for large classes of locally convex model spaces (containing Fr\'echet spaces and duals of Fr\'echet-Schwartz spaces), the three definitions are actually equivalent. The equivalence of the definition via charts with the definition via ringed spaces is based on the fact that for the classes of model spaces under consideration, smoothness of maps turns out to be equivalent to their scalarwise smoothness (that is, the smoothness of their composition with smooth real-valued functions).


title: Magnon dispersion and Single hole motion in 2D frustrated antiferromagnets with four-sublattice structures

abstract: We study a two dimensional spin-$\frac{1}{2}$ $J_1-J_2$ antiferromagnet in a square lattice using the linearized spin wave theory recognizing the 4-sublattice nature of the underlying magnetic lattice. Multiple magnon modes with optical and acoustic branches about the stable Neel ordered and double acoustic branches about the columnar reference states are obtained for small and large values of $\lambda(=J_2/J_1)$ respectively. An additional uniaxial anisotropy, for large $\lambda$, can lead to distinct spin gaps in such systems, as also witnessed experimentally. The single hole spectral behavior in a 2D $t-J_1-J_2$ model, for small frustration, is then calculated within the non-crossing approximation. Our results match fairly well with exact diagonalization results from a $4\times4$ cluster. Hole spectral features and their evolution with $\lambda$ resulting in "water-fall"-like smooth spectral weight transfer are discussed. Hole energy bands are identified and the corresponding energy-shift and reduction in width with spin-frustration are indicated.


title: Smoluchowski-Kramers approximation and large deviations for infinite dimensional gradient systems

abstract: In this paper, we explicitly calculate the quasi-potentials for the damped semilinear stochastic wave equation when the system is of gradient type. We show that in this case the infimum of the quasi-potential with respect to all possible velocities does not depend on the density of the mass and does coincide with the quasi-potential of the corresponding stochastic heat equation that one obtains from the zero mass limit. This shows in particular that the Smoluchowski-Kramers approximation can be used to approximate long time behavior in the zero noise limit, such as exit time and exit place from a basin of attraction.


title: Separate chemical freeze-out of strange particles with conservation laws

abstract: The Hadron Resonance Gas Model with two chemical freeze-outs, connected by conservation laws is considered. We are arguing that the chemical freeze-out of strange hadrons should occur earlier than the chemical freeze-out of non-strange hadrons. The hadron multiplicities measured in the heavy ion collisions for the center of mass energy range 2.7 - 200 GeV are described well by such a model. Based on a success of such an approach, a radical way to improve the Hadron Resonance Gas Model performance is suggested. Thus, we suggest to identify the hadronic reactions that freeze-out noticeably earlier or later that most of the others reactions (for different collision energies they may be different) and to consider a separate freeze-out for them.


title: Smoluchowski-Kramers approximation and large deviations for infinite dimensional non-gradient systems with applications to the exit problem

abstract: In this paper, we study the quasi-potential for a general class of damped semilinear stochastic wave equations. We show that, as the density of the mass converges to zero, the infimum of the quasi-potential with respect to all possible velocities converges to the quasi-potential of the corresponding stochastic heat equation, that one obtains from the zero mass limit. This shows in particular that the Smoluchowski-Kramers approximation is not only valid for small time, but, in the zero noise limit regime, can be used to approximate long-time behaviors such as exit time and exit place from a basin of attraction.


title: Spinning black hole in the puncture method: Numerical experiments

abstract: The strong-field region inside a black hole needs special attention during numerical simulation. One approach for handling the problem is the moving puncture method, which has become an important tool in numerical relativity since it allows long term simulations of binary black holes. An essential component of this method is the choice of the '1+log'-slicing condition. We present an investigation of this slicing condition in rotating black hole spacetimes. We discuss how the results of the stationary Schwarzschild '1+log'-trumpet change when spin is added. This modification enables a simple and cheap algorithm for determining the spin of a non-moving black hole for this particular slicing condition. Applicability of the algorithm is verified in simulations of single black hole, binary neutron star and mixed binary simulations.


title: Calibration and performance of the photon sensor response of FACT -- The First G-APD Cherenkov telescope

abstract: The First G-APD Cherenkov Telescope (FACT) is the first in-operation test of the performance of silicon photo detectors in Cherenkov Astronomy. For more than two years it is operated on La Palma, Canary Islands (Spain), for the purpose of long-term monitoring of astrophysical sources. For this, the performance of the photo detectors is crucial and therefore has been studied in great detail. Special care has been taken for their temperature and voltage dependence implementing a correction method to keep their properties stable. Several measurements have been carried out to monitor the performance. The measurements and their results are shown, demonstrating the stability of the gain below the percent level. The resulting stability of the whole system is discussed, nicely demonstrating that silicon photo detectors are perfectly suited for the usage in Cherenkov telescopes, especially for long-term monitoring purpose.


title: On the inviscid limit of the Navier-Stokes equations

abstract: We consider the convergence in the $L^2$ norm, uniformly in time, of the Navier-Stokes equations with Dirichlet boundary conditions to the Euler equations with slip boundary conditions. We prove that if the Oleinik conditions of no back-flow in the trace of the Euler flow, and of a lower bound for the Navier-Stokes vorticity is assumed in a Kato-like boundary layer, then the inviscid limit holds.


title: Analyticity of Lagrangian trajectories for well posed inviscid incompressible fluid models

abstract: We discuss general incompressible inviscid models, including the Euler equations, the surface quasi-geostrophic equation, incompressible porous medium equation, and Boussinesq equations. All these models have classical unique solutions, at least for short time. We show that they have real analytic Lagrangian paths. More precisely, we show that as long as a solution of any of these equations is in a class of regularity that assures H\"{o}lder continuous gradients of velocity, the corresponding Lagrangian paths are real analytic functions of time. The method of proof is conceptually straightforward and general, and we address the combinatorial issues head-on.


title: An algorithmic exploration of the existence of high-order summation by parts operators with diagonal norm

abstract: This paper explores a common class of diagonal-norm summation by parts (SBP) operators found in the literature, which can be parameterized by an integer triple $(s,t,r)$ representing the interior order of accuracy ($2s)$, the boundary order of accuracy ($t$), and the dimension of the boundary closure ($r$). There is no simple formula for determining whether or not an SBP operator exists for a given triple of parameters. Instead, one must check that certain compatibility conditions are met: namely that a particular linear system of equations has a positive solution. Partly because of the complexity involved, not much is known about diagonal-norm SBP operators with $2s>10$. By utilizing a new algorithm for answering the question "Does an SBP operator exist for the parameters $(s,t,r)$?", it is possible to explore the existence of SBP operators with high order accuracy, and previously unknown SBP operators with interior order of accuracy as large as $2s=30$ are found. Additionally, a method for optimizing the spectral radius of the SBP derivative is introduced, and the effectiveness of this method is explored through numerical experiment.


title: Spatially-resolved Energetic Electron Properties for the 21 May 2004 Flare from Radio Observations and 3D Simulations

abstract: We investigate in detail the 21 May 2004 flare using simultaneous observations of the Nobeyama Radioheliograph, Nobeyama Radiopolarimeters, Reuven Ramaty High Energy Solar Spectroscopic Imager (RHESSI) and Solar and Heliospheric Observatory (SOHO). The flare images in different spectral ranges reveal the presence of a well-defined single flaring loop in this event. We have simulated the gyrosynchrotron microwave emission using the recently developed interactive IDL tool GX Simulator. By comparing the simulation results with the observations, we have deduced the spatial and spectral properties of the non-thermal electron distribution. The microwave emission has been found to be produced by the high-energy electrons ($>100$ keV) with a relatively hard spectrum ($\delta\simeq 2$); the electrons were strongly concentrated near the loop top. At the same time, the number of high-energy electrons near the footpoints was too low to be detected in the RHESSI images and spatially unresolved data. The SOHO Extreme-ultraviolet Imaging Telescope images and the low-frequency microwave spectra suggest the presence of an extended "envelope" of the loop with lower magnetic field. Most likely, the energetic electron distribution in the considered flare reflects the localized (near the loop top) particle acceleration (injection) process accompanied by trapping and scattering.


title: Quantum Computing in Plato's Cave

abstract: We show that mere observation of a quantum system can turn its dynamics from a very simple one into a universal quantum computation. This effect, which occurs if the system is regularly observed at short time intervals, can be rephrased as a modern version of Plato's Cave allegory. More precisely, while in the original version of the myth, the reality perceived within the Cave is described by the projected shadows of some more fundamental dynamics which is intrinsically more complex, we found that in the quantum world the situation changes drastically as the "projected" reality perceived through sequences of measurements can be more complex than the one that originated it. After discussing examples we go on to show that this effect is generally to be expected: almost any quantum dynamics will become universal once "observed" as outlined above. Conversely, we show that any complex quantum dynamics can be "purified" into a simpler one in larger dimensions.


title: D-CFPR: D numbers extended consistent fuzzy preference relations

abstract: How to express an expert's or a decision maker's preference for alternatives is an open issue. Consistent fuzzy preference relation (CFPR) is with big advantages to handle this problem due to it can be construed via a smaller number of pairwise comparisons and satisfies additive transitivity property. However, the CFPR is incapable of dealing with the cases involving uncertain and incomplete information. In this paper, a D numbers extended consistent fuzzy preference relation (D-CFPR) is proposed to overcome the weakness. The D-CFPR extends the classical CFPR by using a new model of expressing uncertain information called D numbers. The D-CFPR inherits the merits of classical CFPR and can be totally reduced to the classical CFPR. This study can be integrated into our previous study about D-AHP (D numbers extended AHP) model to provide a systematic solution for multi-criteria decision making (MCDM).


title: Subgeometries and linear sets on a projective line

abstract: We define the splash of a subgeometry on a projective line, extending the definition of \cite{BaJa13} to general dimension and prove that a splash is always a linear set. We also prove the converse: each linear set on a projective line is the splash of some subgeometry. Therefore an alternative description of linear sets on a projective line is obtained. We introduce the notion of a club of rank $r$, generalizing the definition from \cite{FaSz2006}, and show that clubs correspond to tangent splashes. We determine the condition for a splash to be a scattered linear set and give a characterization of clubs, or equivalently of tangent splashes. We also investigate the equivalence problem for tangent splashes and determine a necessary and sufficient condition for two tangent splashes to be (projectively) equivalent.


title: Absolute-Magnitude Distributions of Supernovae

abstract: The absolute-magnitude distributions of seven supernova types are presented. The data used here were primarily taken from the Asiago Supernova Catalogue, but were supplemented with additional data. We accounted for both foreground and host-galaxy extinction. A bootstrap method is used to correct the samples for Malmquist bias. Separately, we generate volume-limited samples, restricted to events within 100 Mpc. We find that the superluminous events (M_B < -21) make up only about 0.1% of all supernovae in the bias-corrected sample. The subluminous events (M_B > -15) make up about 3%. The normal Ia distribution was the brightest with a mean absolute blue magnitude of -19.25. The IIP distribution was the dimmest at -16.75.


title: Non-collinear Andreev reflections in semiconductor nanowires

abstract: We show that noncollinear Andreev reflections can be induced at interfaces of semiconductor nanowires with spin-orbit coupling, Zeeman splitting and proximity-induced superconductivity. In a noncollinear local Andreev reflection, the spin polarizations of the injected and the retro-reflected carriers are typically at an angle which is tunable via system parameters. While in a nonlocal transport, this noncollinearity enables us to identify and block, at different voltage configurations, the noncollinear cross Andreev reflection and the direct charge transfer processes. We demonstrate that the intriguing noncollinearity originates from the spin-dependent coupling between carriers in the lead and the lowest discrete states in the wire, which, for a topological superconducting nanowire, are related to the overlap-induced hybridization of Majorana edge states in a finite system. These interesting phenomena can be observed in semiconductor nanowires of experimentally relevant lengths, and are potentially useful for spintronics.


title: A generalization of Solovay's $\Sigma$-construction with application to intermediate models

abstract: A $\Sigma$-construction of Solovay is extended to the case of intermediate sets which are not necessarily subsets of the ground model, with a more transparent description of the resulting forcing notion than in the classical paper of Grigorieff. As an application, we prove that, for a given name $t$ (not necessarily a name of a subset of the ground model), the set of all sets of the form $t[G]$ (the $G$-interpretation of $t$), $G$ being generic over the ground model, is Borel. This result was first established by Zapletal by a descriptive set theoretic argument.


title: New Benchmark Set of Transition-Metal Coordination Reactions for the Assessment of Density Functionals

abstract: We present the WCCR10 data set of ten ligand dissociation energies of large cationic transition metal complexes for the assessment of approximate exchange--correlation functionals. We analyze nine popular functionals, namely BP86, BP86-D3, B3LYP, B3LYP-D3, B97-D-D2, PBE, TPSS, PBE0, and TPSSh by mutual comparison and by comparison to experimental gas-phase data measured with well-known precision. The comparison of all calculated data reveals a large, system-dependent scattering of results with nonnegligible consequences for computational chemistry studies on transition metal compounds. Considering further the comparison with experiment, the non-empirical functionals PBE and TPSS turn out to be among the best functionals for our reference data set. The deviation can be lowered further by including Hartree--Fock exchange. Accordingly, PBE0 and TPSSh are the two most accurate functionals for our test set, but also these functionals exhibit deviations from experiment by up to 50 kJ/mol for individual reactions. As an important result we found no functional to be reliable for all reactions. Furthermore, for some of the ligand dissociation energies studied in this work, dispersion corrections yield results which increase the deviation from experiment. This deviation increases further if structure optimization including dispersion corrections is performed. Finally, we compare our results to other benchmark studies and highlight that the performance assessed for different density functionals depends significantly on the reference molecule set chosen.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.str-el physics.comp-ph


title: Local discontinuous Galerkin methods for fractional ordinary differential equations

abstract: This paper discusses the upwinded local discontinuous Galerkin methods for the one-term/multi-term fractional ordinary differential equations (FODEs). The natural upwind choice of the numerical fluxes for the initial value problem for FODEs ensures stability of the methods. The solution can be computed element by element with optimal order of convergence $k+1$ in the $L^2$ norm and superconvergence of order $k+1+\min\{k,\alpha\}$ at the downwind point of each element. Here $k$ is the degree of the approximation polynomial used in an element and $\alpha$ ($\alpha\in (0,1]$) represents the order of the one-term FODEs. A generalization of this includes problems with classic $m$'th-term FODEs, yielding superconvergence order at downwind point as $k+1+\min\{k,\max\{\alpha,m\}\}$. The underlying mechanism of the superconvergence is discussed and the analysis confirmed through examples, including a discussion of how to use the scheme as an efficient way to evaluate the generalized Mittag-Leffler function and solutions to more generalized FODE's.


title: The Quest for an Intermediate-Scale Accidental Axion and Further ALPs

abstract: The recent detection of the cosmic microwave background polarimeter experiment BICEP2 of tensor fluctuations in the B-mode power spectrum basically excludes all plausible axion models where its decay constant is above $10^{13}$ GeV. Moreover, there are strong theoretical, astrophysical, and cosmological motivations for models involving, in addition to the axion, also axion-like particles (ALPs), with decay constants in the intermediate scale range, between $10^9$ GeV and $10^{13}$ GeV. Here, we present a general analysis of models with an axion and further ALPs and derive bounds on the relative size of the axion and ALP photon (and electron) coupling. We discuss what we can learn from measurements of the axion and ALP photon couplings about the fundamental parameters of the underlying ultraviolet completion of the theory. For the latter we consider extensions of the Standard Model in which the axion and the ALP(s) appear as pseudo Nambu-Goldstone bosons from the breaking of global chiral $U(1)$ (Peccei-Quinn (PQ)) symmetries, occuring accidentally as low energy remnants from exact discrete symmetries. In such models, the axion and the further ALP are protected from disastrous explicit symmetry breaking effects due to Planck-scale suppressed operators. The scenarios considered exploit heavy right handed neutrinos getting their mass via PQ symmetry breaking and thus explain the small mass of the active neutrinos via a seesaw relation between the electroweak and an intermediate PQ symmetry breaking scale. We show some models that can accommodate simultaneously an axion dark matter candidate, an ALP explaining the anomalous transparency of the universe for $\gamma$-rays, and an ALP explaining the recently reported 3.55 keV gamma line from galaxies and clusters of galaxies, if the respective decay constants are of intermediate scale.


title: The Lyapunov Concept of Stability from the Standpoint of Poincare Approach: General Procedure of Utilization of Lyapunov Functions for Non-Linear Non-Autonomous Parametric Differential Inclusions

abstract: The objective of the research is to develop a general method of constructing Lyapunov functions for non-linear non-autonomous differential inclusions described by ordinary differential equations with parameters. The goal has been attained through the following ideas and tools. First, three-point Poincare strategy of the investigation of differential equations and manifolds has been used. Second, the geometric-topological structure of the non-linear non-autonomous parametric differential inclusions has been presented and analyzed in the framework of hierarchical fiber bundles. Third, a special canonizing transformation of the differential inclusions that allows to present them in special canonical form, for which certain standard forms of Lyapunov functions exist, has been found. The conditions establishing the relation between the local asymptotical stability of two corresponding particular integral curves of a given differential inclusion in its initial and canonical forms are ascertained. The global asymptotical stability of the entire free dynamical systems as some restrictions of a given parametric differential inclusion and the whole latter one per se has been investigated in terms of the classificational stability of the typical fiber of the meta-bundle. There have discussed the prospects of development and modifications of the Lyapunov second method in the light of the discovery of the new features of Lyapunov functions.


title: Feynman Path Integral Approach on Superconducting Qubits and Readout Process

abstract: In this paper we introduce a new procedure on precise analysis of various physical manifestations in superconducting Qubits using the concept of Feynman path integral in quantum mechanics and quantum field theory. Three specific problem are discussed, we devote the main efforts to studying the wave function and imaginary part of the energy of the pseudo ground state of the Hamiltonian in Phase Qubits and we estimate decay rate, and thus the life time of meta stable states using the approach of 't Hooft's Instantons model. Correction to the Tilted-Washboard potential and current of Phase Qubits by precise analysis of Ginzburg-Landau's free energy equation has been considered. Also we evaluate the most accurate value of energy levels and wave function in Charge and Flux Qubits by Semi classical approximation in path integral formalism by considering limits of experimental errors, comparing them with WKB results and finally, we try to study more specific the evolution of spectrum of Hamiltonian in time after addition of interaction Hamiltonian, in order to obtain the high fidelity quantum gates.


title: Indiscernible extraction and Morley sequences

abstract: We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erd\H{o}s-Rado theorem and instead use only Ramsey's theorem and compactness. The proof shows that the basic theory of forking in simple theories can be developed using only principles from "ordinary mathematics", answering a question of Grossberg, Iovino and Lessmann, as well as a question of Baldwin.


title: High dimensional Hawkes processes

abstract: We generalise the construction of multivariate Hawkes processes to a possibly infinite network of counting processes on a directed graph $\mathbb G$. The process is constructed as the solution to a system of Poisson driven stochastic differential equations, for which we prove pathwise existence and uniqueness under some reasonable conditions. We next investigate how to approximate a standard $N$-dimensional Hawkes process by a simple inhomogeneous Poisson process in the mean-field framework where each pair of individuals interact in the same way, in the limit $N \rightarrow \infty$. In the so-called linear case for the interaction, we further investigate the large time behaviour of the process. We study in particular the stability of the central limit theorem when exchanging the limits $N, T\rightarrow \infty$ and exhibit different possible behaviours. We finally consider the case $\mathbb G = \mathbb Z^d$ with nearest neighbour interactions. In the linear case, we prove some (large time) laws of large numbers and exhibit different behaviours, reminiscent of the infinite setting. Finally we study the propagation of a {\it single impulsion} started at a given point of $\zz^d$ at time $0$. We compute the probability of extinction of such an impulsion and, in some particular cases, we can accurately describe how it propagates to the whole space.


title: Status of the Forward Tracker Detector of ILD

abstract: An overview of the present activities and long-term R&D plans of the Spanish network for future linear accelerators aiming to design and construct the Forward Tracker Detector (FTD) system of ILD, is shown


title: Self-unitarization of New Higgs Inflation and compatibility with Planck and BICEP2 data

abstract: In this paper we show that the Germani-Kehagias model of Higgs inflation (or New Higgs Inflation), where the Higgs boson is kinetically non-minimally coupled to the Einstein tensor is in perfect compatibility with the latest Planck and BICEP2 data. Moreover, we show that the tension between the Planck and BICEP2 data can be relieved within the New Higgs inflation scenario by a negative running of the spectral index. Regarding the unitarity of the model, we argue that it is unitary throughout the evolution of the Universe. Weak couplings in the Higgs-Higgs and Higgs-graviton sectors are provided by a large background dependent cut-off scale during inflation. In the same regime, the W and Z gauge bosons acquire a very large mass, thus decouple. On the other hand, if they are also non-minimally coupled to the Higgs boson, their effective masses can be enormously reduced. In this case, the W and Z bosons are no longer decoupled. After inflation, the New Higgs model is well approximated by a quartic Galileon with a renormalizable potential. We argue that this can unitarily create the right conditions for inflation to eventually start.


title: Optimal observables to determine entanglement of a two qubit state

abstract: Experimental determination of entanglement is important not only to characterize the state and use it in quantum information, but also in understanding complicated phenomena such as phase transitions. In this paper we show that in many cases, it is possible to determine entanglement of a two qubit state, as represented by concurrence, with a few observables, most of which are local. In particular, rank 1 and rank 2 states need exclusively measurement of local observables while rank 3 states need measurement of just one correlation observable in addition to local observables. Only the rank 4 states are shown to require a more detailed tomography. The analysis also sheds light on the other measure, non separability since it is a lower bound on concurrence.


title: Optimizing Your Online-Advertisement Asynchronously

abstract: We consider the problem of designing optimal online-ad investment strategies for a single advertiser, who invests at multiple sponsored search sites simultaneously, with the objective of maximizing his average revenue subject to the advertising budget constraint. A greedy online investment scheme is developed to achieve an average revenue that can be pushed to within $O(\epsilon)$ of the optimal, for any $\epsilon>0$, with a tradeoff that the temporal budget violation is $O(1/\epsilon)$. Different from many existing algorithms, our scheme allows the advertiser to \emph{asynchronously} update his investments on each search engine site, hence applies to systems where the timescales of action update intervals are heterogeneous for different sites. We also quantify the impact of inaccurate estimation of the system dynamics and show that the algorithm is robust against imperfect system knowledge.


title: On a generic symmetry defect hypersurface

abstract: Let f : X -> Y be a dominant polynomial mapping of affine varieties. For generic y in Y we have Sing(f^{-1}(y)) = f^{-1}(y) \cap Sing(X): As an application we show that symmetry defect hypersurfaces for two generic members of the irreducible algebraic family of n-dimensional smooth irreducible subvarieties in general position in C^{2n} are homeomorphic and they have homeomorphic sets of singular points. In particular symmetry defect curves for two generic curves in C^2 of the same degree have the same number of singular points.


title: BV functions on convex domains in Wiener spaces

abstract: We study functions of bounded variation defined in an abstract Wiener space X, relating the variation of a function u on a convex open set O in X to the behavior near t=0 of T(t)u, T(t) being the Ornstein--Uhlenbeck semigroup in O.


title: A Novel Method to Calculate Click Through Rate for Sponsored Search

abstract: Sponsored search adopts generalized second price (GSP) auction mechanism which works on the concept of pay per click which is most commonly used for the allocation of slots in the searched page. Two main aspects associated with GSP are the bidding amount and the click through rate (CTR). The CTR learning algorithms currently being used works on the basic principle of (#clicks_i/ #impressions_i) under a fixed window of clicks or impressions or time. CTR are prone to fraudulent clicks, resulting in sudden increase of CTR. The current algorithms are unable to find the solutions to stop this, although with the use of machine learning algorithms it can be detected that fraudulent clicks are being generated. In our paper, we have used the concept of relative ranking which works on the basic principle of (#clicks_i /#clicks_t). In this algorithm, both the numerator and the denominator are linked. As #clicks_t is higher than previous algorithms and is linked to the #clicks_i, the small change in the clicks which occurs in the normal scenario have a very small change in the result but in case of fraudulent clicks the number of clicks increases or decreases rapidly which will add up with the normal clicks to increase the denominator, thereby decreasing the CTR.


title: Recent Progress in the Definition of Thermodynamic Entropy

abstract: The principal methods for the definition of thermodynamic entropy are discussed with special reference to those developed by Carath\'eodory, the Keenan School, Lieb and Yngvason, and the present authors. An improvement of the latter method is then presented. Seven basic axioms are employed: three Postulates, which are considered as having a quite general validity, and four Assumptions, which identify the domains of validity of the definitions of energy (Assumption 1) and entropy (Assumptions 2, 3, 4). The domain of validity of the present definition of entropy is not restricted to stable equilibrium states. For collections of simple systems, it coincides with that of the proof of existence and uniqueness of an entropy function which characterizes the relation of adiabatic accessibility proposed by Lieb and Yngvason. However, our treatment does not require the formation of scaled copies so that it applies not only to collections of simple systems, but also to systems contained in electric or magnetic fields and to small and few-particle systems.


title: MicroSQUID Force microscopy in a dilution refrigerator

abstract: We present a new generation of a scanning MicroSQUID microscope operating in an inverted dilution refrigerator. The MicroSQUIDs have a size of 1.21$ \ \mu$m\textsuperscript{2} and a magnetic flux sensitivity of 120 $\mu\Phi_{0} / \sqrt{\textrm{Hz}}$ and thus a field sensitivity of %$550^{-6} \ \Phi_{0} / \sqrt{\textrm{Hz}}$ 550$ \ \mu \textrm{G}/ \sqrt{\textrm{Hz}}$. The scan range at low temperatures is about 80 $\mu$m and a coarse displacement of 5 mm in x and y direction has been implemented. The MicroSQUID-to-sample distance is regulated using a tuning fork based force detection. A MicroSQUID-to-sample distance of 420 nm has been obtained. The reliable knowledge of this distance is necessary to obtain a trustworthy estimate of the absolute value of the superconducting penetration depth. An outlook will be given on the ongoing direction of development.


title: Generation and Detection of Multivariate Regular Variation and Hidden Regular Variation

abstract: We review definitions of multivariate regular variation (MRV) and hidden regular variation (HRV) for distributions of random vectors and then summarize methods for generating models exhibiting both properties. We also discuss diagnostic techniques that detect these properties in multivariate data and indicate when models exhibiting both MRV and HRV are plausible fits for the data. We illustrate our techniques on simulated data and also two real Internet data sets.


title: Fuzzy transformations and extremality of Gibbs measures for the Potts model on a Cayley tree

abstract: We continue our study of the full set of translation-invariant splitting Gibbs measures (TISGMs, translation-invariant tree-indexed Markov chains) for the $q$-state Potts model on a Cayley tree. In our previous work \cite{KRK} we gave a full description of the TISGMs, and showed in particular that at sufficiently low temperatures their number is $2^{q}-1$. In this paper we find some regions for the temperature parameter ensuring that a given TISGM is (non-)extreme in the set of all Gibbs measures. In particular we show the existence of a temperature interval for which there are at least $2^{q-1} + q$ extremal TISGMs. For the Cayley tree of order two we give explicit formulae and some numerical values.


title: Lyubeznik numbers for nonsingular projective varieties

abstract: In this paper, we determine completely the Lyubeznik numbers $\lambda_{i,j}(A)$ of the local ring $A$ at the vertex of the affine cone over a nonsingular projective variety $V$, where $V$ is defined over a field of characteristic zero, in terms of the dimensions of the algebraic de Rham cohomology spaces of $V$. In particular, we prove that these numbers are intrinsic numerical invariants of $V$, even though a priori their definition depends on an embedding into projective space. This provides supporting evidence for a positive answer to the question of embedding-independence for arbitrary varieties in characteristic zero, which is still open.


title: Finite size effects in Neutron Star and Nuclear matter simulations

abstract: In this work we study molecular dynamics simulations of symmetric nuclear matter using a semi-classical nucleon interaction model. We show that, at sub-saturation densities and low temperatures, the solutions are non-homogeneous structures reminiscent of the ``nuclear pasta'' phases expected in Neutron Star Matter simulations, but shaped by artificial aspects of the simulations. We explore different geometries for the periodic boundary conditions imposed on the simulation cell: cube, hexagonal prism and truncated octahedron. We find that different cells may yield different solutions for the same physical conditions (i.e. density and temperature). The particular shape of the solution at a given density can be predicted analytically by energy minimization. We also show that even if this behavior is due to finite size effects, it does not mean that it vanishes for very large systems and it actually is independent of the system size: The system size sets the only characteristic length scale for the inhomogeneities. We then include a screened Coulomb interaction, as a model of Neutron Star Matter, and perform simulations in the three cell geometries. In this case, the competition between competing interactions of different range produces the well known nuclear pasta, with (in most cases) several structures per cell. However, we find that the results are affected by finite size in different ways depending on the geometry of the cell. In particular, at the same physical conditions and system size, the hexagonal prism yields a single structure per cell while the cubic and truncated octahedron show consistent results with more than one structure per cell. In this case, the results in every cell are expected to converge for systems much larger than the characteristic length scale that arises from the competing interactions.


title: New constraints on the Yukawa-type corrections to Newtonian gravity at short separations

abstract: We discuss the strongest constraints on the Yukawa-type corrections to Newton's gravitational law within a submicrometer interaction range following from measurements of the Casimir force. In this connection the complicated problems arising when comparing the measurement data with the Lifshitz theory are analyzed. Special attention is paid to the results of two recent experiments on measuring the Casimir interaction between ferromagnetic surfaces and sinusoidally corrugated surfaces at various angles between corrugations.


title: On the theory of relaxation in nonlinear elasticity with constraints on the determinant

abstract: We consider vectorial variational problems in nonlinear elasticity of the form $I[u]=\int W(Du)dx$, where $W$ is continuous on matrices with positive determinant and diverges to infinity long sequences of matrices whose determinant is positive and tends to zero. We show that, under suitable growth assumptions, the functional $\int W^{qc}(Du)dx$ is an upper bound on the relaxation of $I$, and coincides with the relaxation if the quasiconvex envelope $W^{qc}$ of $W$ is polyconvex and has $p$-growth from below with $p\ge n$. This includes several physically relevant examples. We also show how a constraint of incompressibility can be incorporated in our results.