title: Trellis-Extended Codebooks and Successive Phase Adjustment: A Path from LTE-Advanced to FDD Massive MIMO Systems

abstract: It is of great interest to develop efficient ways to acquire accurate channel state information (CSI) for frequency division duplexing (FDD) massive multiple-input multiple-output (MIMO) systems for backward compatibility. It is theoretically well known that the codebook size for CSI quantization should be increased as the number of transmit antennas becomes larger, and 3GPP long term evolution (LTE) and LTE-Advanced codebooks also follow this trend. Thus, in massive MIMO, it is hard to apply the conventional approach of using pre-defined vector-quantized codebooks for CSI quantization mainly because of codeword search complexity. In this paper, we propose a trellis-extended codebook (TEC) that can be easily harmonized with current wireless standards such as LTE or LTE-Advanced by extending standardized codebooks designed for 2, 4, or 8 antennas with trellis structures. TEC exploits a Viterbi decoder and convolutional encoder in channel coding as the CSI quantizer and the CSI reconstructer, respectively. By quantizing multiple channel entries simultaneously using standardized codebooks in a state transition of trellis search, TEC can achieve fractional bits per channel entry quantization to have a practical feedback overhead. Thus, TEC can solve both the complexity and the feedback overhead issues of CSI quantization in massive MIMO systems. We also develop trellis-extended successive phase adjustment (TE-SPA) which works as a differential codebook of TEC. This is similar to the dual codebook concept of LTE-Advanced. TE-SPA can reduce CSI quantization error even with lower feedback overhead in temporally correlated channels. Numerical results verify the effectiveness of the proposed schemes in FDD massive MIMO systems.


title: Multidimensional finite quantum gravity

abstract: We advance a class of unitary higher derivative theories of gravity that realize an ultraviolet completion of Einstein general relativity in any dimension. This range of theories is marked by an entire function, which averts extra degrees of freedom (including poltergeists) and improves the high energy behavior of the loop amplitudes. It is proved that only one-loop divergences survive and the theory can be made super-renormalizable regardless of the spacetime dimension. Moreover, using the Pauli-Villars regularization procedure introduced by Diaz-Troost-van Nieuwenhuizen-van Proeyen (DTPN) and applied to Einstein's gravity by Anselmi, we are able to remove the divergences also at one-loop, making the theory completely finite in any dimension as expected by Anselmi and Asorey-Lopez-Shapiro.


title: Smallest complex nilpotent orbits with real points

abstract: Let us fix a complex simple Lie algebra and its non-compact real form. This paper focuses on non-zero adjoint nilpotent orbits in the complex simple Lie algebra meeting the real form. We show that the poset consisting of such nilpotent orbits equipped with the closure ordering has the minimum. Furthermore, we determine such the minimum orbit in terms of the Dynkin--Kostant classification even in the cases where the orbit does not coincide with the minimal nilpotent orbit in the complex simple Lie algebra. We also prove that the intersection of the orbit and the real form is the union of all minimal nilpotent orbits in the real form.


title: Chalker scaling, level repulsion, and conformal invariance in critically delocalized quantum matter: Disordered topological superconductors and artificial graphene

abstract: We numerically investigate critically delocalized wavefunctions in models of 2D Dirac fermions, subject to vector potential disorder. These describe the surface states of 3D topological superconductors, and can also be realized through long-range correlated bond randomness in artificial materials like molecular graphene. A frozen regime can occur for strong disorder in these systems, wherein a single wavefunction presents a few localized peaks separated by macroscopic distances. Despite this rarefied spatial structure, we find robust correlations between eigenstates at different energies, at both weak and strong disorder. The associated level statistics are always approximately Wigner-Dyson. The system shows generalized Chalker (quantum critical) scaling, even when individual states are quasilocalized in space. We confirm analytical predictions for the density of states and multifractal spectra. For a single Dirac valley, we establish that finite energy states show universal multifractal spectra consistent with the integer quantum Hall plateau transition. A single Dirac fermion at finite energy can therefore behave as a Quantum Hall critical metal. For the case of two valleys and non-abelian disorder, we verify predictions of conformal field theory. Our results for the non-abelian case imply that both delocalization and conformal invariance are topologically-protected for multivalley topological superconductor surface states.


title: Notes on a scalar field with a kinetic term non-minimally coupled to gravity

abstract: We explore the inflationary phase of a scalar field with a kinetic term non-minimally coupled to gravity. We find that one of the slow-roll conditions is naturally consequence of the equation of motion of the scalar field. Thus, slow-roll conditions impose fewer constraints on potentials than other inflationary models. Moreover, it is demonstrated that the inflationary phase can be described by just one slow-roll parameter. By investigating the metric perturbations, it is shown that except for one potential, almost all potentials have the same pattern in the ($n_{s}$, $r$) plane. We provide an exact solution for the exceptional case. The exact solution represents the condensed scalar field and results in an accelerated expansion.


title: Combinatorial structure of type dependency

abstract: We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf category. The objects of the presheaf category encode the basic judgements of a dependent sequent calculus, while the action of the monad encodes the deduction rules; so by giving an explicit description of the monad, we obtain an explicit account of the combinatorics of type dependency. We find that this combinatorics is controlled by a particular kind of decorated ordered tree, familiar from computer science and from innocent game semantics. Furthermore, we find that the monad at issue is of a particularly well-behaved kind: it is local right adjoint in the sense of Street--Weber. In future work, we will use this fact to describe nerves for dependent type theories, and to study the coherence problem for dependent type theory using the tools of two-dimensional monad theory.


title: An Improved Interactive Streaming Algorithm for the Distinct Elements Problem

abstract: The exact computation of the number of distinct elements (frequency moment $F_0$) is a fundamental problem in the study of data streaming algorithms. We denote the length of the stream by $n$ where each symbol is drawn from a universe of size $m$. While it is well known that the moments $F_0,F_1,F_2$ can be approximated by efficient streaming algorithms, it is easy to see that exact computation of $F_0,F_2$ requires space $\Omega(m)$. In previous work, Cormode et al. therefore considered a model where the data stream is also processed by a powerful helper, who provides an interactive proof of the result. They gave such protocols with a polylogarithmic number of rounds of communication between helper and verifier for all functions in NC. This number of rounds $\left(O(\log^2 m) \;\text{in the case of} \;F_0 \right)$ can quickly make such protocols impractical. Cormode et al. also gave a protocol with $\log m +1$ rounds for the exact computation of $F_0$ where the space complexity is $O\left(\log m \log n+\log^2 m\right)$ but the total communication $O\left(\sqrt{n}\log m\left(\log n+ \log m \right)\right)$. They managed to give $\log m$ round protocols with $\operatorname{polylog}(m,n)$ complexity for many other interesting problems including $F_2$, Inner product, and Range-sum, but computing $F_0$ exactly with polylogarithmic space and communication and $O(\log m)$ rounds remained open. In this work, we give a streaming interactive protocol with $\log m$ rounds for exact computation of $F_0$ using $O\left(\log m \left(\,\log n + \log m \log\log m\,\right)\right)$ bits of space and the communication is $O\left( \log m \left(\,\log n +\log^3 m (\log\log m)^2 \,\right)\right)$. The update time of the verifier per symbol received is $O(\log^2 m)$.


title: Universal logarithmic temperature dependence of magnetic susceptibility of one-dimensional electrons at critical values of magnetic field

abstract: We study the leading low temperature dependence of magnetic susceptibility of one-dimensional electrons with fixed total number of particles at the magnetic fields equal to zero temperature critical values where magnetic field induces commensurate-incommensurate quantum phase transitions. For free and repulsively interacting electrons there is only one such critical field corresponding to the transition to the fully polarized state. For attractively interacting electrons besides saturation field there is another critical field equal to the spin gap where zero temperature magnetization sets in. For all cases, except of the lattice models at half filling, the magnetic susceptibility at critical values of magnetic field has a universal logarithmic temperature dependence,x(T)=x(0)(1+2/Log(T)+...) for T -> 0.


title: Polyakov Loops for the ABJ Theory

abstract: In this paper we will first construct Polyakov loops for the ABJ theory. Then we will construct the connection and curvature in this loop space. We will also analyse certain generalization of Polyakov loops and apply them to the ABJ theory. Finally, we will use this formalism for analysing topological defects like monopoles in the ABJ theory.


title: K3 surfaces with an automorphism of order 66, the maximum possible

abstract: In each characteristic $p\neq 2, 3$, it was shown in a previous work that the order of an automorphism of a K3 surface is bounded by 66, if finite. Here, it is shown that in each characteristic $p\neq 2, 3$ a K3 surface with a cyclic action of order 66 is unique up to isomorphism. The equation of the unique surface is given explicitly in the tame case ($p\nmid 66$) and in the wild case ($p=11$).


title: Extending ALCQIO with reachability

abstract: We introduce a description logic ALCQIO_{b,Re} which adds reachability assertions to ALCQIO, a sub-logic of the two-variable fragment of first order logic with counting quantifiers. ALCQIO_{b,Re} is well-suited for applications in software verification and shape analysis. Shape analysis requires expressive logics which can express reachability and have good computational properties. We show that ALCQIO_{b,Re} can describe complex data structures with a high degree of sharing and allows compositions such as list of trees. We show that the finite satisfiability and implication problems of ALCQIO_{b,Re}-formulae are polynomial-time reducible to finite satisfiability of ALCQIO-formulae. As a consequence, we get that finite satisfiability and finite implication in ALCQIO_{b,Re} are NEXPTIME-complete. Description logics with transitive closure constructors have been studied before, but ALCQIO_{b,Re} is the first description logic that remains decidable on finite structures while allowing at the same time nominals, inverse roles, counting quantifiers and reachability assertions,


title: Dual-color decompositions at one-loop level in Yang-Mills theory

abstract: In this work, we extend the construction of dual color decomposition in Yang-Mills theory to one-loop level, i.e., we show how to write one-loop integrands in Yang-Mills theory to the dual DDM-form and the dual trace-form. In dual forms, integrands are decomposed in terms of color-ordered one-loop integrands for color scalar theory with proper dual color coefficients.In dual DDM decomposition, The dual color coefficients can be obtained directly from BCJ-form by applying Jacobi-like identities for kinematic factors. In dual trace decomposition, the dual trace factors can be obtained by imposing one-loop KK relations, reflection relation and their relation with the kinematic factors in dual DDM-form.


title: Statistical inference based on robust low-rank data matrix approximation

abstract: The singular value decomposition is widely used to approximate data matrices with lower rank matrices. Feng and He [Ann. Appl. Stat. 3 (2009) 1634-1654] developed tests on dimensionality of the mean structure of a data matrix based on the singular value decomposition. However, the first singular values and vectors can be driven by a small number of outlying measurements. In this paper, we consider a robust alternative that moderates the effect of outliers in low-rank approximations. Under the assumption of random row effects, we provide the asymptotic representations of the robust low-rank approximation. These representations may be used in testing the adequacy of a low-rank approximation. We use oligonucleotide gene microarray data to demonstrate how robust singular value decomposition compares with the its traditional counterparts. Examples show that the robust methods often lead to a more meaningful assessment of the dimensionality of gene intensity data matrices.


title: Uniqueness of Butson Hadamard matrices of small degrees

abstract: For positive integers $m$ and $n$, we denote by $\mathrm{BH}(m,n)$ the set of all $H\in M_{n\times n}(\mathbb{C})$ such that $HH^\ast=nI_n$ and each entry of $H$ is an $m$-th root of unity where $H^\ast$ is the adjoint matrix of $H$ and $I_n$ is the identity matrix. For $H_1,H_2\in \mathrm{BH}(m,n)$ we say that $H_1$ is \textit{equivalent} to $H_2$ if $H_1=PH_2 Q$ for some monomial matrices $P, Q$ whose nonzero entries are $m$-th roots of unity. In this paper we classify $\mathrm{BH}(17,17)$ up to equivalence by computer search.


title: Parallel Lepton Mass Matrices with Texture and Cofactor Zeros

abstract: In this paper we investigate the parallel texture structures containing texture zeros in charged lepton mass matrix $M_{l}$ and cofactor zeros in neutrino mass matrix $M_{\nu}$. These textures are interesting since they are related to the $Z_{n}$ flavor symmetries. Using the weak basis permutation transformation, the 15 parallel textures are grouped as 4 classes (class I,II,III and IV) with the matrices in each class sharing the same physical implications. Under the current experimental data, the class I, III with inverted mass hierarchy and class II with normal mass hierarchy are phenomenologically acceptable. The correlations between some important physical variables are presented, which are essential for the model selection and can be text by future experiments. The model realization is illustrated by means of $Z_{4}\times Z_{2}$ flavor symmetry.


title: Analyzing Cascading Failures in Smart Grids under Random and Targeted Attacks

abstract: We model smart grids as complex interdependent networks, and study targeted attacks on smart grids for the first time. A smart grid consists of two networks: the power network and the communication network, interconnected by edges. Occurrence of failures (attacks) in one network triggers failures in the other network, and propagates in cascades across the networks. Such cascading failures can result in disintegration of either (or both) of the networks. Earlier works considered only random failures. In practical situations, an attacker is more likely to compromise nodes selectively. We study cascading failures in smart grids, where an attacker selectively compromises the nodes with probabilities proportional to their degrees; high degree nodes are compromised with higher probability. We mathematically analyze the sizes of the giant components of the networks under targeted attacks, and compare the results with the corresponding sizes under random attacks. We show that networks disintegrate faster for targeted attacks compared to random attacks. A targeted attack on a small fraction of high degree nodes disintegrates one or both of the networks, whereas both the networks contain giant components for random attack on the same fraction of nodes.

categories: cs.SI cs.DM cs.NI math.CO physics.soc-ph


title: Detecting Radio Afterglows of Gamma-Ray Bursts with FAST

abstract: Using the generic hydrodynamic model of Gamma-Ray Burst (GRB) afterglows, we calculate the radio afterglow light curves of low luminosity, high luminosity, failed and standard GRBs in different observational bands of FAST's energy window. The GRBs are assumed to be located at different distances from us. Our results rank the detectability of GRBs in descending order as high luminosity, standard, failed and low luminosity GRBs. We predict that almost all types of radio afterglows except that of low luminosity GRBs could be observed by the large radio telescope as long as the domains of time and frequency are appropriate. It is important to note that FAST can detect relatively weak radio afterglows at a higher frequency of 2.5 GHz for very high redshift up to z=15 or even more. Radio afterglows of low luminosity GRBs can be detected only after the completion of the 2nd phase of FAST. FAST is expected to significantly expand the sample of GRB radio afterglows in the near future.


title: Systematics of small parahydrogen clusters in two dimensions

abstract: We studied by means of computer simulations the low temperature properties of two-dimensional parahydrogen clusters comprising between 7 and 30 molecules. Computed energetics is in quantitative agreement with that reported in the only previous study [Phys. Rev. B 65, 174527 (2002)], but a generally stronger superfluid response is obtained here for clusters with more than ten molecules. Moreover, all the clusters, including the smallest one, display a well-defined, clearly identifiable solidlike structure; with only one possible exception, those with fewer than 25 molecules are (almost) entirely superfluid at the lowest temperature considered here (i.e., 0.25 K), and can thus be regarded as nanoscale "supersolids". The implications of these results on a possible bulk two-dimensional superfluid phase of parahydrogen are discussed.


title: Generalized Bicomplex Numbers and Lie Groups

abstract: In this paper, we denone the generalized bicomplex numbers and give some algebraic properties of them. Also, we show that some hyperquadrics in R4 and R42 are Lie groups by using generalized bicomplex number product and obtain Lie algebras of these Lie groups. Morever, by using tensor product surfaces, we determine some special Lie subgroups of these hyperquadrics.


title: Indication of transverse radial flow in high-multiplicity proton-proton collisions at the Large Hadron Collider

abstract: We analyze the measured spectra of $\pi^\pm$, $K^\pm$, $p$($\bar p$) in $pp$ collisions at $\sqrt {s}$ = 0.9, 2.76 and 7 TeV, in the light of blast-wave model to extract the transverse radial flow velocity and kinetic temperature at freeze-out for the system formed in $pp$ collisions. The dependency of the blast-wave parameters on average charged particle multiplicity of event sample or the `centrality' of collisions has been studied and compared with results of similar analysis in nucleus-nucleus ($AA$) and proton-nucleus ($pA$) collisions. We analyze the spectra of $K_{s}^0$, $\Lambda$($\bar \Lambda$) and $\Xi^-$ also to see the dependence of blast-wave description on the species of produced particles. Within the framework of the blast-wave model, the study reveals indication of collective behavior for high-multiplicity events in $pp$ collisions at LHC. Strong transverse radial flow in high multiplicity $pp$ collisions and its comparison with that in $pA$ and $AA$ collisions match with predictions from a very recent theoretical work [Shuryak and Zahed 2013 arXiv:1301.4470] that addresses the conditions for applicability of hydrodynamics in $pp$ and $pA$ collisions.


title: Tsunami generated by a granular collapse down a rough inclined plane

abstract: In this Letter, we experimentally investigate the collapse of initially dry granular media into water and the subsequent impulse waves. We systematically characterize the influence of the slope angle and the granular material on the initial amplitude of the generated leading wave and the evolution of its amplitude during the propagation. The experiments show that whereas the evolution of the leading wave during the propagation is well predicted by a solution of the linearized Korteweg-de Vries equation, the generation of the wave is more complicated to describe. Our results suggest that the internal properties of the granular media and the interplay with the surrounding fluid are important parameters for the generation of waves at low velocity impacts. Moreover, the amplitude of the leading wave reaches a maximum value at large slope angle. The runout distance of the collapse is also shown to be smaller in the presence of water than under totally dry conditions. This study provides a first insight into tsunamis generated by subaerial landslides at low Froude number.


title: Implications of the Little Higgs Dark Matter and T-odd Fermions

abstract: We study the phenomenology of dark matter in the Littlest Higgs model with T-parity after the discovery of Higgs boson. We analyze the relic abundance of dark matter, focusing on the effects of coannihilaitons with T-odd fermions. After determining the parameter space that predicts the correct relic abundance measured by WMAP and Planck collaborations, we evaluate the elastic scattering cross section between dark matter and nucleon. In comparison with experimental results, we find that the lower mass of dark matter is constrained mildly by LUX 2013 while the future XENON experiment has potential to explore most of the parameter space for both T-odd lepton and T-odd quark coannihilation scenarios. We also study the collider signatures of T-odd fermion pair production at the LHC. Even though the production cross sections are large, it turns out very challenging to search for these T-odd fermions directly at the collider because the visible charged leptons or jets are very soft. Furthermore, we show that, with an extra hard jet radiated out from the initial state, the T-odd quark pair production can contribute significantly to mono-jet plus missing energy search at the LHC.


title: Continuous approximations of a class of piece-wise continuous systems

abstract: In this paper we provide a rigorous mathematical foundation for continuous approximations of a class of systems with piece-wise continuous functions. By using techniques from the theory of differential inclusions, the underlying piece-wise functions can be locally or globally approximated. The approximation results can be used to model piece-wise continuous-time dynamical systems of integer or fractional-order. In this way, by overcoming the lack of numerical methods for diffrential equations of fractional-order with discontinuous right-hand side, unattainable procedures for systems modeled by this kind of equations, such as chaos control, synchronization, anticontrol and many others, can be easily implemented. Several examples are presented and three comparative applications are studied.


title: Lower bounds on maximal determinants of binary matrices via the probabilistic method

abstract: Let $D(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and ${\mathcal R}(n) = D(n)/n^{n/2}$ be the ratio of $D(n)$ to the Hadamard upper bound. We give several new lower bounds on ${\mathcal R}(n)$ in terms of $d$, where $n = h+d$, $h$ is the order of a Hadamard matrix, and $h$ is maximal subject to $h \le n$. A relatively simple bound is \[{\mathcal R}(n) \ge \left(\frac{2}{\pi e}\right)^{d/2} \left(1 - d^2\left(\frac{\pi}{2h}\right)^{1/2}\right) \;\text{ for all }\; n \ge 1.\] An asymptotically sharper bound is \[{\mathcal R}(n) \ge \left(\frac{2}{\pi e}\right)^{d/2} \exp\left(d\left(\frac{\pi}{2h}\right)^{1/2} + \; O\left(\frac{d^{5/3}}{h^{2/3}}\right)\right).\] We also show that \[{\mathcal R}(n) \ge \left(\frac{2}{\pi e}\right)^{d/2}\] if $n \ge n_0$ and $n_0$ is sufficiently large, the threshold $n_0$ being independent of $d$, or for all $n\ge 1$ if $0 \le d \le 3$ (which would follow from the Hadamard conjecture). The proofs depend on the probabilistic method, and generalise previous results that were restricted to the cases $d=0$ and $d=1$.


title: Weak Poisson structures on infinite dimensional manifolds and hamiltonian actions

abstract: We introduce a notion of a weak Poisson structure on a manifold $M$ modeled on a locally convex space. This is done by specifying a Poisson bracket on a subalgebra $\cA \subeq C^\infty(M)$ which has to satisfy a non-degeneracy condition (the differentials of elements of $\cA$ separate tangent vectors) and we postulate the existence of smooth Hamiltonian vector fields. Motivated by applications to Hamiltonian actions, we focus on affine Poisson spaces which include in particular the linear and affine Poisson structures on duals of locally convex Lie algebras. As an interesting byproduct of our approach, we can associate to an invariant symmetric bilinear form $\kappa$ on a Lie algebra $\g$ and a $\kappa$-skew-symmetric derivation $D$ a weak affine Poisson structure on $\g$ itself. This leads naturally to a concept of a Hamiltonian $G$-action on a weak Poisson manifold with a $\g$-valued momentum map and hence to a generalization of quasi-hamiltonian group actions.


title: Macroscopic and microscopic structures of the family tree for decomposable critical branching processes

abstract: A decomposable strongly critical Galton-Watson branching process with $N$ types of particles labelled $1,2,...,N$ is considered in which a type~$i$ parent may produce individuals of types $j\geq i$ only. This model may be viewed as a stochastic model for the sizes of a geographically structured population occupying $N$ islands, the location of a particle being considered as its type. The newborn particles of island $i\leq N-1$ either stay at the same island or migrate, just after their birth to the islands $% i+1,i+2,...,N$. Particles of island $N$ do not migrate. We investigate the structure of the family tree for this process, the distributions of the birth moment and the type of the most recent common ancestor of the individuals existing in the population at a distant moment $n.$


title: Multiplicity distributions in the forward rapidity region in proton-proton collisions at the Large Hadron Collider

abstract: Measured multiplicity distributions of primary charged particles produced in the forward rapidity region of the $proton-proton$ ($pp$) collisions at the centre-of-mass energy, $\sqrt {s}$ = 7 TeV at the Large Hadron Collider (LHC) have been analyzed in terms of the Negative Binomial Distribution (NBD) function. Like the multiplicity distributions in the mid-rapidity region for the $pp$ collisions at $\sqrt {s}$ = 7 TeV, the distributions for the minimum bias events in the forward region also are better described with the superposition of two-NBDs, as proposed by a two-component model of particle production from two processes, the "$soft$" and the "$hard$". However, the multiplicity distribution for the "hard-QCD" events in a large pseudorapidity window does not oblige the two-component model.


title: Quintessence Scalar Field: A Dynamical Systems Study

abstract: The present work deals with a dynamical systems study of quintessence potentials leading to the present accelerated expansion of the universe. The principal interest is to check for late time attractors which give an accelerated expansion for the universe. Two examples are worked out, namely the exponential and the power-law potentials.


title: Switchable Magnetic Bottles and Field Gradients for Particle Traps

abstract: Versatile methods for the manipulation of individual quantum systems, such as confined particles, have become central elements in current developments in precision spectroscopy, frequency standards, quantum information processing, quantum simulation, and alike. For atomic and some subatomic particles, both neutral and charged, a precise control of magnetic fields is essen- tial. In this paper, we discuss possibilities for the creation of specific magnetic field configurations which find appli- cation in these areas. In particular, we pursue the idea of a magnetic bottle which can be switched on and off by transition between the normal and the superconducting phase of a suitable material in cryogenic environments, for example in trap experiments in moderate magnetic fields. Methods for a fine-tuning of the magnetic field and its linear and quadratic components in a trap are presented together with possible applications.


title: Gravitational lensing in Tangherlini spacetime in the weak gravitational field and the strong gravitational field

abstract: The gravitational lensing effects in the weak gravitational field by exotic lenses have been investigated intensively to find nonluminous exotic objects. Gravitational lensing based on 1/r^n fall-off metric, as a one-parameter model that can treat by hand both the Schwarzschild lens (n=1) and the Ellis wormhole (n=2) in the weak field, has been recently studied. Only for n=1 case, however, it has been explicitly shown that effects of relativistic lens images by the strong field on the light curve can be neglected. We discuss whether relativistic images by the strong field can be neglected for n>1 in the Tangherlini spacetime which is one of the simplest models for our purpose. We calculate the divergent part of the deflection angle for arbitrary n and the regular part for n=1, 2 and 4 in the strong field limit, the deflection angle for arbitrary n under the weak gravitational approximation. We also compare the radius of the Einstein ring with the radii of the relativistic Einstein rings for arbitrary n. We conclude that the images in the strong gravitational field have little effect on the total light curve and that the time-symmetric demagnification parts in the light curve will appear even after taking account of the images in the strong gravitational field for n>1.


title: Long-Period Charge Correlations in Charge-Frustrated Molecular theta-(BEDT-TTF)2X

abstract: Charge ordering (CO) with long-periodicities in a geometrically frustrated system, theta-(BEDT-TTF)2X, is numerically studied. We consider interacting fermion models on the anisotropic triangular lattice: the extended Hubbard model and the spinless fermion model, taking account of the inter-site Coulomb interactions on not only the nearest neighbor (NN) but also the next nearest neighbor (NNN) bonds. By applying Lanczos exact diagonalization method, we find that long-period charge correlations become dominant when NNN terms are included, in the charge-frustrated region. The calculated optical excitation spectra show that the charge transfer excitations in the long-period CO extend to a lower energy range compared to those in the short-period CO states including the 3-fold CO stabilized when NNN terms are absent. Our results suggest that the charge correlations experimentally observed in the title compounds near the CO insulating phase can be viewed as a tendency toward `tilted stripe'-type CO with large charge fluctuations.


title: Beltrami fields with a nonconstant proportionality factor are rare

abstract: We consider the existence of Beltrami fields with a nonconstant proportionality factor $f$ in an open subset $U$ of $\mathbf{R}^3$. By reformulating this problem as a constrained evolution equation on a surface, we find an explicit differential equation that $f$ must satisfy whenever there is a nontrivial Beltrami field with this factor. This ensures that there are no nontrivial solutions for an open and dense set of factors $f$ in the $C^k$ topology. In particular, there are no nontrivial Beltrami fields whenever $f$ has a regular level set diffeomorphic to the sphere. This provides an explanation of the helical flow paradox of Morgulis, Yudovich and Zaslavsky.


title: Non-relativistic Nambu-Goldstone modes associated with spontaneously broken space-time and internal symmetries

abstract: We show that a momentum operator of a translational symmetry may not commute with an internal symmetry operator in the presence of a topological soliton in non-relativistic theories. As a striking consequence, there appears a coupled Nambu-Goldstone mode with a quadratic dispersion consisting of translational and internal zero modes in the vicinity of a domain wall in an O(3) sigma model, a magnetic domain wall in ferromagnets with an easy axis.


title: Aleksandrov-Fenchel inequalities for unitary valuations of degree 2 and 3

abstract: We extend the classical Aleksandrov-Fenchel inequality for mixed volumes to functionals arising naturally in hermitian integral geometry. As a consequence, we obtain Brunn-Minkowski and isoperimetric inequalities for hermitian quermassintegrals.


title: Comment on "Accurate and Scalable O(N) Algorithm for First-Principles Molecular-Dynamics Computations on Large Parallel Computers"

abstract: Comment in response to Phys. Rev. Lett. 112, 046401 (2014)


title: Dependence of the thermoluminescent high-temperature ratio (HTR) of LiF:Mg,Ti detectors on proton energy and dose

abstract: The high-temperature ratio (HTR) is a parameter quantifying changes of the shape of the high-temperature part of the LiF:Mg,Ti glow-curve after exposure to densely ionizing radiation. It was introduced in order to estimate the effective LET of an unknown radiation field and to correct the decreased relative TL efficiency for high Linear Energy Transfer (LET) radiation. In the present work the dependence of HTR on proton energy (14.5 to 58 MeV) and dose (0.5 to 30 Gy) was investigated. All measured HTR values were at the level of 1.2 or higher, therefore significantly different from the respective value for gamma rays (HTR is equal to 1), but HTR was found to be insensitive to changes of proton energy above 20 MeV. As a result the relationship between HTR and relative TL efficiency is not unequivocal. The HTR was found to be dependent on absorbed dose even for the lowest studied doses.


title: Half-open Penning trap with efficient light collection for precision laser spectroscopy of highly charged ions

abstract: We have conceived, built and operated a 'half-open' cylindrical Penning trap for the confinement and laser spectroscopy of highly charged ions. This trap allows fluorescence detection employing a solid angle which is about one order of magnitude larger than in conventional cylindrical Penning traps. At the same time, the desired electrostatic and magnetostatic properties of a closed-endcap cylindrical Penning trap are preserved in this congfiuration. We give a detailed account on the design and confinement properties, a characterization of the trap and show first results of light collection with in-trap produced highly charged ions.


title: Limit formulas for metric measure invariants and phase transition property

abstract: We generalize the observable diameter and the separation distance for metric measure spaces to those for pyramids, and prove some limit formulas for these invariants for a convergent sequence of pyramids. We obtain various applications of our limit formulas as follows. We have a criterion of the phase transition property for a sequence of metric measure spaces or pyramids, and find some examples of symmetric spaces of noncompact type with the phase transition property. We also give a simple proof of a theorem by Funano-Shioya on the limit of an $N$-L\'evy family.


title: Gapless topological Fulde-Ferrell superfluidity in spin-orbit coupled Fermi gases

abstract: Topological superfluids usually refer to a superfluid state which is gapped in the bulk but metallic at the boundary. Here we report that a gapless, topologically non-trivial superfluid with inhomogeneous Fulde-Ferrell pairing order parameter can emerge in a two-dimensional spin-orbit coupled Fermi gas, in the presence of both in-plane and out-of-plane Zeeman fields. The Fulde-Ferrell pairing - induced by the spin-orbit coupling and in-plane Zeeman field - is responsible for this gapless feature. This exotic superfluid has a significant Berezinskii-Kosterlitz-Thouless (BKT) transition temperature and has robust Majorana edge modes against disorder owing to its topological nature.


title: Electrodynamical Forbiddance of Strong Quadrupole Light-Molecule Interaction in the Methane Molecule and its Manifestation in Surface Enhanced Hyper Raman Scattering Spectra

abstract: It is demonstrated in the framework of the Dipole-Quadrupole theory, that strong quadrupole light-molecule interaction, which is responsible for the most enhancement of SEHRS in the methane molecule, which belongs to the symmetry group, experiences so-called electrodynamical forbiddance due to electrodynamical law, and does not influence on the formation of the SEHRS spectra. This forbiddance results in the fact that the lines, caused by the totally symmetric vibrations, transforming after the unit irreducible representation, which are observed in symmetrical molecules with another sufficiently high groups of the point symmetry, such as pyrazine and phenazine, with symmetry group, must be slight, or be absent at all. In this case in methane the most enhanced lines are those, caused by vibrations, transforming by the irreducible representation, or .


title: The relative Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields on 6-dimensional plane

abstract: Using Crystal basis theory, we study the relative Gel'fand-Kalinin-Fuks cohomology groups of the formal Hamiltonian vector fields on 6-dimensional plane with weight =2,4,6.


title: Spatial Design of Physical Network Robust against Earthquakes

abstract: This paper analyzes the survivability of a physical network against earthquakes and proposes spatial network design rules to make a network robust against earthquakes. The disaster area model used is fairly generic and bounded. The proposed design rules for physical networks include: (i) a shorter zigzag route can reduce the probability that a network intersects a disaster area, (ii) an additive performance metric, such as repair cost, is independent of the network shape if the route length is fixed, and (iii) additional routes within a ring network does not decrease the probability that all the routes between a given pair of nodes intersect the disaster area, but a wider detour route decreases it. Formulas for evaluating the probability of disconnecting two given nodes are also derived. An optimal server placement is shown as an application of the theoretical results. These analysis results are validated through empirical earthquake data.


title: Central limit theorems for directional and linear random variables with applications

abstract: A central limit theorem for the integrated squared error of the directional-linear kernel density estimator is established. The result enables the construction and analysis of two testing procedures based on squared loss: a nonparametric independence test for directional and linear random variables and a goodness-of-fit test for parametric families of directional-linear densities. Limit distributions for both test statistics, and a consistent bootstrap strategy for the goodness-of-fit test, are developed for the directional-linear case and adapted to the directional-directional setting. Finite sample performance for the goodness-of-fit test is illustrated in a simulation study. This test is also applied to datasets from biology and environmental sciences.


title: Thermodynamical Phase transitions, the mean-field theories, and the renormalization (semi)group: A pedagogical introduction

abstract: While analyzing second order thermodynamical phase transitions, Lev Landau (the famous Russian physicist) introduced a very vital concept, the concept of an "order parameter". This not only amalgamated the previous fragmentary theoretical understanding of phase transitions (an arsenal of mean-field theories) but also it put forward the important theory of "spontaneous symmetry breaking". Today, order parameter concept is a paradigm both in condensed matter physics and in high energy physics, and Landau theory is a pinnacle of all mean-field theories. Mean field theories are good qualitative descriptors of the phase transition behavior. But all mean-field theories (including Landau's theory) fail at the critical point (the problem of large correlation length). The problems with large correlation length in quantum many-body systems are the hardest problems known in theoretical physics (both in condensed matter and in particle physics). It was Ken Wilson's physical insights and his powerful mathematical skills that opened a way to the solution of such hard problems. This manuscript is a perspective on these issues. Starting with simple examples of phase transitions (like ice/water; diamond/graphite etc.) we address the following important questions: Why does non-analyticity (sharp phase transitions) arise when thermodynamical functions (i.e., free energies etc) are good analytic functions? How does Landau's program unify all the previous mean-field theories? Why do all the mean-field theories fail near the critical point? How does Wilson's program go beyond all the mean-field theories? What is the origin emergence and universality?


title: Multi-bump solutions for a class of quasilinear problems involving variable exponents

abstract: We establish the existence of multi-bump solutions for the following class of quasilinear problems $$ - \Delta_{ p(x) } u + \big( \lambda V(x) + Z(x) \big) u ^{ p(x)-1 } = f(x,u) \text{ in } \mathbb R^N, \, u \ge 0 \text{ in } \mathbb R^N, $$ where the nonlinearity $ f \colon \mathbb R^N \times \mathbb R \to \mathbb R $ is a continuous function having a subcritical growth and potentials $ V, Z \colon \mathbb R^N \to \mathbb R $ are continuous functions verifying some hypotheses. The main tool used is the variational method.


title: Comment on Microscopic magnetic modeling for the S = 1/2 alternating chain compounds Na3Cu2SbO6 and Na2Cu2TeO6 (arXiv:1402.1091)

abstract: In a recent paper by Schmitt et al. (arXiv:1402.1091), signs of two exchange interactions of one-dimensional alternating chains in distorted honeycomb systems of Na3Cu2SbO6 and Na2Cu2TeO6 are argued by theoretical calculations. Although the authors report that they have clarified that the interaction J1a is ferromagnetic between the spins within a structural dimer, and J1b is antiferromagnetic between these dimers, these results have been known for a long time by our two papers, which are cited by Schmitt et al.


title: Determination of the map of efficiency of the J-PET detector with the GATE package

abstract: A novel PET detector consisting of strips of polymer scintillators is being developed by the J-PET Collaboration. The map of efficiency and the map of geometrical acceptance of the 2-strip J-PET scanner are presented. Map of efficiency was determined using the Monte Carlo simulation software GATE based on GEANT4. Both maps were compared using method based on the chi2 test.


title: On the failure of mean-field theories near a critical point

abstract: It is well known that mean-field theories fail to reproduce the experimentally known critical exponents. The traditional argument which explain this failure of mean-field theories near a critical point is the Ginsburg criterion in which diverging fluctuations of the order parameter is the root cause. We argue, contrary to the above mentioned traditional view, that diverging fluctuations in real physical systems near a critical point are genuine consequence of the breakdown of the property of statistical independence, and are faithfully reproduced by the mean-field theory. By looking at the problem from the point of view of "statistical independence" the divergence of fluctuations in real physical systems near criticality becomes immediately apparent as a connection can be established between diverging correlation length and diverging fluctuations. To address the question of why mean-field theories, much successful qualitatively, fail to reproduce the known values of critical indices we argue, using the essential ideas of the Wilsonian renormalization group, that mean-field theories fail to capture the long length scale averages of an order parameter near a critical point.


title: Type Ia supernova bolometric light curves and ejected mass estimates from the Nearby Supernova Factory

abstract: We present a sample of normal type Ia supernovae from the Nearby Supernova Factory dataset with spectrophotometry at sufficiently late phases to estimate the ejected mass using the bolometric light curve. We measure $^{56}$Ni masses from the peak bolometric luminosity, then compare the luminosity in the $^{56}$Co-decay tail to the expected rate of radioactive energy re- lease from ejecta of a given mass. We infer the ejected mass in a Bayesian context using a semi-analytic model of the ejecta, incorporating constraints from contemporary numerical models as priors on the density structure and distribution of $^{56}$Ni throughout the ejecta. We find a strong correlation between ejected mass and light curve decline rate, and consequently $^{56}$Ni mass, with ejected masses in our data ranging from 0.9-1.4 $M_\odot$. Most fast-declining (SALT2 $x_1 < -1$) normal SNe Ia have significantly sub-Chandrasekhar ejected masses in our fiducial analysis.


title: Experimental determination of Rashba spin-orbit coupling in wurtzite $n$-GaN:Si

abstract: Millikelvin magnetotransport studies are carried out on heavily $n$-doped wurtzite GaN:Si films grown on semi-insulating GaN:Mn buffer layers by metal-organic vapor phase epitaxy. The dependency of the conductivity on magnetic field and temperature is interpreted in terms of theories that take into account disorder-induced quantum interference of one-electron and many-electron self-crossing trajectories. The Rashba parameter $\alpha_{\text{R}}\,=\,(4.5 \pm 1)$ meV$\AA$ is determined, and it is shown that in the previous studies of electrons adjacent to GaN/(Al,Ga)N interfaces, bulk inversion asymmetry was dominant over structural inversion asymmetry. The comparison of experimental and theoretical values of $\alpha_{\text{R}}$ across a series of wurtzite semiconductors is presented as a test of current relativistic ab initio computation schemes. It is found that electron-electron scattering with small energy transfer accounts for low temperature decoherence in these systems.


title: Evidence for a New Resonance from Polarized Neutron-Proton Scattering

abstract: Exclusive and kinematically complete high-statistics measurements of quasifree polarized $\vec{n}p$ scattering have been performed in the energy region of the narrow resonance structure $d^*$ with $I(J^P) = 0(3^+)$, $M \approx$ 2380 MeV/$c^2$ and $\Gamma \approx$ 70 MeV observed recently in the double-pionic fusion channels $pn \to d\pi^0\pi^0$ and $pn \to d\pi^+\pi^-$. The experiment was carried out with the WASA detector setup at COSY having a polarized deuteron beam impinged on the hydrogen pellet target and utilizing the quasifree process $\vec{d}p \to np + p_{spectator}$. That way the $np$ analyzing power $A_y$ was measured over a large angular range. The obtained $A_y$ angular distributions deviate systematically from the current SAID SP07 NN partial-wave solution. Incorporating the new $A_y$ data into the SAID analysis produces a pole in the $^3D_3 - ^3G_3$ waves as expected from the $d^*$ resonance hypothesis.


title: Nonlinear conductivity in CaRuO3 thin films measured by short current pulses

abstract: Metals near quantum critical points have been predicted to display universal out-of equilibrium behavior in the steady current-carrying state. We have studied the non-linear conductivity of high-quality CaRuO$_3$ thin films with residual resistivity ratio up to 57 using micro-second short, high-field current pulses at low temperatures. Even for the shortest pulses of $5\mu$s, Joule heating persists, making it impossible to observe a possible universal non-linearity. Much shorter pulses are needed for the investigation of universal non-linear conductivity.


title: Radio quasars and the link with GAIA

abstract: Modeling VLBI ejections of nuclei of extragalactic radio sources, indicates that their nuclei contain a binary black hole system. One can derive the distance and the positions of the two black holes in the plane of the sky. We can also use the RMS of the time series of the ICRF2 survey to obtain an estimate of the structure and the size of the nuclei. We will discuss the possible problems to link VLBI observations and GAIA optical observations of radio quasars if they contain a binary black hole system.


title: Induced self-stabilization in fractional quantum Hall states of light

abstract: Recent progress in nanoscale quantum optics and superconducting qubits has made the creation of strongly correlated, and even topologically ordered, states of photons a real possibility. Many of these states are gapped and exhibit anyon excitations, which could be used for a robust form of quantum information processing. However, while numerous qubit array proposals exist to engineer the Hamiltonian for these systems, the question of how to stabilize the many-body ground state of these photonic quantum simulators against photon losses remains largely unanswered. We here propose a simple mechanism which achieves this goal for abelian and non-abelian fractional quantum Hall states of light. Our construction uses a uniform two-photon drive field to couple the qubits of the primary lattice with an auxiliary ``shadow" lattice, composed of qubits with a much faster loss rate than the qubits of the primary quantum simulator itself. This coupling causes hole states created by photon losses to be rapidly refilled, and the system's many-body gap prevents further photons from being added once the strongly correlated ground state is reached. The fractional quantum Hall state (with a small, transient population of quasihole excitations) is thus the most stable state of the system, and all other configurations will relax toward it over time. The physics described here could be implemented in a circuit QED architecture, and the device parameters needed for our scheme to succeed are in reach of current technology. We also propose a simple 6 qubit device, which could easily be built in the near future, that can act as a proof of principle for our scheme.


title: Homogeneous hydrodynamics of a collisional model of confined granular gases

abstract: The hydrodynamic equation governing the homogeneous time evolution of the temperature in a model of confined granular gas is studied by means of the Enskog equation. The existence of a normal solution of the kinetic equation is assumed as a condition for hydrodynamics. Dimensional analysis implies a scaling of the distribution function that is used to determine it in the first Sonine approximation, with a coefficient that evolves in time through its dependence on the temperature. The theoretical predictions are compared with numerical results obtained by the direct simulation Monte Carlo method, and a good agreement is found. The relevance of the normal homogeneous distribution function to derive inhomogeneous hydrodynamic equations, for instance using the Champan-Enskog algorithm, is indicated.


title: Orthogonally additive and orthogonally multiplicative holomorphic functions of matrices

abstract: Let $H:M_m\to M_m$ be a holomorphic function of the algebra $M_m$ of complex $m\times m$ matrices. Suppose that $H$ is orthogonally additive and orthogonally multiplicative on self-adjoint elements. We show that either the range of $H$ consists of zero trace elements, or there is a scalar sequence $\{\lambda_n\}$ and an invertible $S$ in $M_m$ such that $$ H(x) =\sum_{n\geq 1} \lambda_n S^{-1}x^nS, \quad\forall x \in M_m,%\eqno{(\ddag)} $$ or $$ H(x) =\sum_{n\geq 1} \lambda_n S^{-1}(x^t)^nS, \quad\forall x \in M_m. $$ Here, $x^t$ is the transpose of the matrix $x$. In the latter case, we always have the first representation form when $H$ also preserves zero products. We also discuss the cases where the domain and the range carry different dimensions.


title: A dynamical transition from atomic to molecular intermediate-velocity clouds

abstract: Towards the high galactic latitude sky, the far-infrared (FIR) intensity is tightly correlated to the total hydrogen column density which is made up of atomic (HI) and molecular hydrogen (H$_{2})$. Above a certain column density threshold, atomic hydrogen turns molecular. We analyse gas and dust properties of intermediate-velocity clouds (IVCs) in the lower galactic halo to explore their transition from the atomic to the molecular phase. Driven by observations, we investigate the physical processes that transform a purely atomic IVC into a molecular one. Data from the Effelsberg-Bonn HI-Survey (EBHIS) are correlated to FIR wavebands of the Planck satellite and IRIS. Modified black-body emission spectra are fitted to deduce dust optical depths and grain temperatures. We remove the contribution of atomic hydrogen to the FIR intensity to estimate molecular hydrogen column densities. Two IVCs show different FIR properties, despite their similarity in HI, such as narrow spectral lines and large column densities. One FIR bright IVC is associated with H$_{2}$, confirmed by $^{12}$CO $(1\rightarrow0)$ emission; the other IVC is FIR dim and shows no FIR excess, which indicates the absence of molecular hydrogen. We propose that the FIR dim and bright IVCs probe the transition between the atomic and molecular gas phase. Triggered by dynamical processes, this transition happens during the descent of IVCs onto the galactic disk. The most natural driver is ram pressure exerted onto the cloud by the increasing halo density. Because of the enhanced pressure, the formation timescale of H$_{2}$ is reduced, allowing the formation of large amounts of H$_{2}$ within a few Myr.


title: A microfluidic device to sort capsules by deformability: A numerical study

abstract: Guided by extensive numerical simulations, we propose a microfluidic device that can sort elastic capsules by their deformability. The device consists of a duct embedded with a semi-cylindrical obstacle, and a diffuser which further enhances the sorting capability. We demonstrate that the device can operate reasonably well under changes in the initial position of the the capsule. The efficiency of the device remains essentially unaltered under small changes of the obstacle shape (from semi-circular to semi-elliptic cross-section). Confinement along the direction perpendicular to the plane of the device increases its efficiency. This work is the first numerical study of cell sorting by a realistic microfluidic device.

categories: physics.flu-dyn physics.bio-ph physics.comp-ph physics.med-ph


title: Observation of photon polarization in the $b \to s\gamma$ transition

abstract: This Letter presents a study of the flavor-changing neutral current radiative $B^{\pm} \to K^{\pm}\pi^{\mp}\pi^{\pm}\gamma$ decays performed using data collected in proton-proton collisions with the LHCb detector at $7$ and $8\,$TeV center-of-mass energies. In this sample, corresponding to an integrated luminosity of $3\,\text{fb}^{-1}$, nearly $14\,000$ signal events are reconstructed and selected, containing all possible intermediate resonances with a $K^{\pm}\pi^{\mp}\pi^{\pm}$ final state in the $[1.1, 1.9]\,$GeV/$c^{2}$ mass range. The distribution of the angle of the photon direction with respect to the plane defined by the final-state hadrons in their rest frame is studied in intervals of $K^{\pm}\pi^{\mp}\pi^{\pm}$ mass and the asymmetry between the number of signal events found on each side of the plane is obtained. The first direct observation of the photon polarization in the $b \to s\gamma$ transition is reported with a significance of $5.2\,\sigma$.


title: Vortices associated with the wave function of a single electron emitted in slow ion-atom collisions

abstract: We present measurements and calculations of the momentum distribution of electrons emitted during the ion-atom collision 10 keV/u $He^{2+}+He \rightarrow He^{+} + He^{2+} + e^{-}$, which show rich structures for ion scattering angles above 2 mrad arising dominantly from two-electron states. Our calculations reveal that minima in the measured distributions are zeros in the electronic probability density resulting from vortices in the electronic current.


title: Asymptotic Solutions of the Phase Space Schrodinger Equation: Anisotropic Gaussian Approximation

abstract: We consider the singular semiclassical initial value problem for the phase space Schrodinger equation. We approximate semiclassical quantum evolution in phase space by analyzing initial states as superpositions of Gaussian wave packets and applying individually semiclassical anisotropic Gaussian wave packet dynamics, which is based on the the nearby orbit approximation; we accordingly construct a semiclassical approximation of the phase space propagator, the semiclassical wave packet propagator. By the semiclassical propagator we construct asymptotic solutions of the phase space Schrodinger equation, noting the connection of this construction to the initial value repsresentations.


title: A new relation between the zero of $A_{FB}$ in $B^0 \to K^* \mu^+\mu^-$ and the anomaly in $P_5^\prime$

abstract: We present two exact relations, valid for any dilepton invariant mass region (large and low-recoil) and independent of any effective Hamiltonian computation, between the observables $P_i$ and $P_i^{CP}$ of the angular distribution of the 4-body decay $B \to K^*(\to K\pi) l^+l^-$. These relations emerge out of the symmetries of the angular distribution. We discuss the implications of these relations under the (testable) hypotheses of no scalar or tensor contributions and no New Physics weak phases in the Wilson coefficients. Under these hypotheses there is a direct relation among the observables $P_{1}$,$P_2$ and $P_{4,5}^\prime$. This can be used as an independent consistency test of the measurements of the angular observables. Alternatively, these relations can be applied directly in the fit to data, reducing the number of free parameters in the fit. This opens up the possibility to perform a full angular fit of the observables with existing datasets. An important consequence of the found relations is that a priori two different measurements, namely the measured position of the zero ($q_0^2$) of the forward-backward asymmetry $A_{FB}$ and the value of $P_5^\prime$ evaluated at this same point, are related by $P_4^2(q_0^{2})+P_5^2(q_0^{2})=1$. Under the hypotheses of real Wilson coefficients and $P_4^\prime$ being SM-like, we show that the higher the position of $q_0^{2}$ the smaller should be the value of $P_5^\prime$ evaluated at the same point. A precise determination of the position of the zero of $A_{FB}$ together with a measurement of $P_4^\prime$ (and $P_1$) at this position can be used as an independent experimental test of the anomaly in $P_5^\prime$. We also point out the existence of upper and lower bounds for $P_1$, namely $P_5^{\prime 2}-1 \leq P_1 \leq 1-P_4^{\prime 2}$, which constraints the physical region of the observables.


title: The "ghost" symmetry in the CKP hierarchy

abstract: In this paper, we systematically study the "ghost" symmetry in the CKP hierarchy through its actions on the Lax operator, dressing operator, eigenfunctions and the tau function. In this process, the spectral representation of the eigenfunction is developed and the squared eigenfunction potential is investigated.


title: Advanced superconducting circuits and devices

abstract: Short review on advanced superconducting circuits and devices.


title: Spectral density of the quantum Ising model in two fields: Gaussian and multi-Gaussian approximations

abstract: Spectral density of quantum Ising model in two fields for large but finite number of spins $N$, is discussed in detail. When all coupling constants are of the same order, spectral densities in the bulk are well approximated by a Gaussian function which is typical behaviour for many-body models with short-range interactions. The main part of the paper is devoted to the investigation of a different characteristic case when spectral densities have peaks related with strong degeneracies of unperturbed states in certain limits of coupling constants. In the strict limit $N\to\infty$, peaks overlap and disappear but for values of $N$ accessible in numerical calculations they often strongly influence spectral densities and other quantities as well. A simple method is developed which permits to find general approximation formulae for multi-peak structure of spectral density in good agreement with numerics.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Outlier Detection using Improved Genetic K-means

abstract: The outlier detection problem in some cases is similar to the classification problem. For example, the main concern of clustering-based outlier detection algorithms is to find clusters and outliers, which are often regarded as noise that should be removed in order to make more reliable clustering. In this article, we present an algorithm that provides outlier detection and data clustering simultaneously. The algorithmimprovesthe estimation of centroids of the generative distribution during the process of clustering and outlier discovery. The proposed algorithm consists of two stages. The first stage consists of improved genetic k-means algorithm (IGK) process, while the second stage iteratively removes the vectors which are far from their cluster centroids.


title: Global phase diagram of two-component Bose gases in antiparallel magnetic fields

abstract: We study the ground-state phase diagram of two-dimensional two-component (or pseudospin-1/2) Bose gases in mutually antiparallel synthetic magnetic fields in the space of the total filling factor and the ratio of the intercomponent coupling $g_{\uparrow\downarrow}$ to the intracomponent one g>0. This time-reversal-invariant setting represents a bosonic analogue of spin Hall systems. Using exact diagonalization, we find that (fractional) quantum spin Hall states composed of a pair of nearly independent quantum Hall states are remarkably robust and persist for $g_{\uparrow\downarrow}$ up to as large as g. For $g_{\uparrow\downarrow}=-g$, we find the exact many-body ground state in which particles in different spin states form pairs. This gives the exact critical line beyond which the system collapses.


title: On formality of Sasakian manifolds

abstract: We investigate some topological properties, in particular formality, of compact Sasakian manifolds. Answering some questions raised by Boyer and Galicki, we prove that all higher (than three) Massey products on any compact Sasakian manifold vanish. Hence, higher Massey products do obstruct Sasakian structures. Using this we produce a method of constructing simply connected K-contact non-Sasakian manifolds. On the other hand, for every $n \geq 3$, we exhibit the first examples of simply connected compact Sasakian manifolds of dimension $2n + 1$ which are non-formal. They are non-formal because they have a non-zero triple Massey product. We also prove that arithmetic lattices in some simple Lie groups cannot be the fundamental group of a compact Sasakian manifold.


title: A Fast, robust algorithm for power line interference cancellation in neural recording

abstract: Power line interference may severely corrupt neural recordings at 50/60 Hz and harmonic frequencies. In this paper, we present a robust and computationally efficient algorithm for removing power line interference from neural recordings. The algorithm includes four steps. First, an adaptive notch filter is used to estimate the fundamental frequency of the interference. Subsequently, based on the estimated frequency, harmonics are generated by using discrete-time oscillators, and then the amplitude and phase of each harmonic are estimated through using a modified recursive least squares algorithm. Finally, the estimated interference is subtracted from the recorded data. The algorithm does not require any reference signal, and can track the frequency, phase, and amplitude of each harmonic. When benchmarked with other popular approaches, our algorithm performs better in terms of noise immunity, convergence speed, and output signal-to-noise ratio (SNR). While minimally affecting the signal bands of interest, the algorithm consistently yields fast convergence and substantial interference rejection in different conditions of interference strengths (input SNR from -30 dB to 30 dB), power line frequencies (45-65 Hz), and phase and amplitude drifts. In addition, the algorithm features a straightforward parameter adjustment since the parameters are independent of the input SNR, input signal power, and the sampling rate. The proposed algorithm features a highly robust operation, fast adaptation to interference variations, significant SNR improvement, low computational complexity and memory requirement, and straightforward parameter adjustment. These features render the algorithm suitable for wearable and implantable sensor applications, where reliable and real-time cancellation of the interference is desired.


title: Addendum on the scoring of Gaussian directed acyclic graphical models

abstract: We provide a correction to the expression for scoring Gaussian directed acyclic graphical models derived in Geiger and Heckerman [Ann. Statist. 30 (2002) 1414-1440] and discuss how to evaluate the score efficiently.


title: The late-time behaviour of tilted Bianchi type VIII universes in presence of diffusion

abstract: We apply the dynamical systems approach to ever-expanding Bianchi type VIII cosmologies filled with a tilted $\gamma$-fluid undergoing velocity diffusion on a scalar field. We determine the future attractors and investigate the late-time behaviour of the models. We find that at late times the normalized energy density $\Omega$ tends to zero, while the scalar potential $\Phi$ approaches 1 and dominates the evolution. Moreover, we demonstrate that in presence of diffusion fluids with $\gamma<3/2$, which includes physically important cases of dust $(\gamma=1)$ and radiation $(\gamma=4/3)$, are asymptotically non-tilted; the velocity of the fluid with $\gamma=3/2$ tends to a constant value $0<\bar{V}<1$; and stiffer fluids evolve towards a state of extreme tilt. Finally, we show that diffusion significantly reduces the decay rates of energy density for dust and fluids stiffer than dust $(\gamma \geq 1)$; for example, at $\gamma=4/3$ (radiation) we obtain $\rho/H^2 \propto e^{-3H_0 t}$ at late times, while $\rho/H^2 \propto e^{-4H_0 t}$ when diffusion is absent.


title: Applications of Structural Balance in Signed Social Networks

abstract: We present measures, models and link prediction algorithms based on the structural balance in signed social networks. Certain social networks contain, in addition to the usual 'friend' links, 'enemy' links. These networks are called signed social networks. A classical and major concept for signed social networks is that of structural balance, i.e., the tendency of triangles to be 'balanced' towards including an even number of negative edges, such as friend-friend-friend and friend-enemy-enemy triangles. In this article, we introduce several new signed network analysis methods that exploit structural balance for measuring partial balance, for finding communities of people based on balance, for drawing signed social networks, and for solving the problem of link prediction. Notably, the introduced methods are based on the signed graph Laplacian and on the concept of signed resistance distances. We evaluate our methods on a collection of four signed social network datasets.


title: The explicit probability distribution of the sum of two telegraph processes

abstract: We consider two independent Goldstein-Kac telegraph processes $X_1(t)$ and $X_2(t)$ on the real line $\Bbb R$, both developing with finite constant speed $c>0$, that, at the initial time instant $t=0$, simultaneously start from the origin $0\in\Bbb R$ and whose evolutions are controlled by two independent homogeneous Poisson processes of the same rate $\lambda>0$. Closed-form expressions for the transition density $p(x,t)$ and the probability distribution function $\Phi(x,t)=\text{Pr} \{ S(t)<x \}, \; x\in\Bbb R, \; t>0,$ of the sum $S(t)=X_1(t)+X_2(t)$ of these processes at arbitrary time instant $t>0$, are obtained. It is also proved that the shifted time derivative $g(x,t)=(\partial/\partial t+2\lambda)p(x,t)$ satisfies the Goldstein-Kac telegraph equation with doubled parameters $2c$ and $2\lambda$. From this fact it follows that $p(x,t)$ solves a third-order hyperbolic partial differential equation, but is not its fundamental solution. The general case is also discussed.


title: Information-theoretic measurements of coupling between structure and dynamics in glass-formers

abstract: We analyse the connections between structure and dynamics in two model glass-formers, using the mutual information between an initial configuration and the ensuing dynamics to compare the predictive value of different structural observables. We consider the predictive power of normal modes, locally favoured structures, and coarse-grained measurements of local energy and density. The mutual information allows the influence of the liquid structure on the dynamics to be analysed quantitatively as a function of time, showing that normal modes give the most useful predictions on short time scales while local energy and density are most strongly predictive at long times.


title: Approximations of pseudo-differential flows

abstract: Given a classical symbol $M$ of order zero, and associated semiclassical operators ${\rm op}_\varepsilon(M),$ we prove that the flow of ${\rm op}_\varepsilon(M)$ is well approximated, in time $O(|\ln \varepsilon|),$ by a pseudo-differential operator, the symbol of which is the flow $\exp(t M)$ of the symbol $M.$ A similar result holds for non-autonomous equations, associated with time-dependent families of symbols $M(t).$ This result was already used, by the author and co-authors, to give a stability criterion for high-frequency WKB approximations, and to prove a strong Lax-Mizohata theorem. We give here two further applications: sharp semigroup bounds, implying nonlinear instability under the assumption of spectral instability at the symbolic level, and a new proof of sharp G\r{a}rding inequalities.


title: Uniform N-particle Anderson localization and unimodal eigenstates in deterministic disordered media without induction on the number of particles

abstract: We present the first rigorous result on Anderson localization for interacting systems of quantum particles subject to a deterministic (e.g., almost periodic) disordered external potential. For a particular class of deterministic, fermionic, Anderson-type Hamiltonians on the lattice of an arbitrary dimension, and for a large class of underlying dynamical systems generating the external potential, we prove that the spectrum is pure point, all eigenstates are unimodal and feature a uniform exponential decay. In contrast to all prior mathematical works on multi-particle Anderson localization, we do not use the induction on the number of particles.


title: Homotopically equivalent simple loops on 2-bridge spheres in Heckoid orbifolds for 2-bridge links (I)

abstract: In this paper and its sequel, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be homotopic in the orbifold. We also give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be peripheral or torsion in the orbifold. This paper treats the case when the 2-bridge link is a $(2,p)$-torus link, and its sequel will treat the remaining cases.


title: Temperature dependence of the light yield of the LAB-based and mesitylene-based liquid scintillators

abstract: We studied the temperature dependence of the light yield of the linear alkyl benzene (LAB)-based and mesitylene-based liquid scintillators. The light yield increases by 23% for both liquid scintillators when the temperature is lowered from $26\;^{\circ}$C to $-40\;^{\circ }$C, correcting for the temperature response of the photomultiplier tube. The measurements help to understand the energy response of the liquid scintillator detectors. Especially, the next generation reactor neutrino experiments for neutrino mass hierarchy, such as the Jiangmen Underground Neutrino Observatory (JUNO), require very high energy resolution. As no apparent degradation on the liquid scintillator transparency was observed, lowering the operation temperature of the detector to $\sim4\;^\circ$C will increase the photoelectron yield of the detector by 13%, combining the light yield increase of the liquid scintillator and the quantum efficiency increase of the photomultiplier tubes.


title: On regularization of $J$-plurisubharmonic functions

abstract: We show that on almost complex surfaces plurisubharmonic functions can be locally approximated by smooth plurisubharmonic functions. The main tool is the Poletsky type theorem due to U. Kuzman.


title: Homotopically equivalent simple loops on 2-bridge spheres in Heckoid orbifolds for 2-bridge links (II)

abstract: In this paper and its prequel, we give a necessary and sufficient condition for two essential simple loops on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be homotopic in the orbifold. We also give a necessary and sufficient condition for an essential simple loop on a 2-bridge sphere in an even Heckoid orbifold for a 2-bridge link to be peripheral or torsion in the orbifold. The prequel treated the case when the 2-bridge link is a $(2,p)$-torus link, and this paper treats the remaining cases.


title: Benchmarking the performance of Density Functional Theory and Point Charge Force Fields in their Description of sI Methane Hydrate against Diffusion Monte Carlo

abstract: High quality reference data from diffusion Monte Carlo calculations are presented for bulk sI methane hydrate, a complex crystal exhibiting both hydrogen-bond and dispersion dominated interactions. The performance of some commonly used exchange-correlation functionals and all-atom point charge force fields is evaluated. Our results show that none of the exchange-correlation functionals tested are sufficient to describe both the energetics and the structure of methane hydrate accurately, whilst the point charge force fields perform badly in their description of the cohesive energy but fair well for the dissociation energetics. By comparing to ice Ih, we show that a good prediction of the volume and cohesive energies for the hydrate relies primarily on an accurate description of the hydrogen bonded water framework, but that to correctly predict stability of the hydrate with respect to dissociation to ice Ih and methane gas, accuracy in the water-methane interaction is also required. Our results highlight the difficulty that density functional theory faces in describing both the hydrogen bonded water framework and the dispersion bound methane.


title: Imaging single Rydberg electrons in a Bose-Einstein condensate

abstract: The quantum mechanical states of electrons in atoms and molecules are distinct orbitals, which are fundamental for our understanding of atoms, molecules and solids. Electronic orbitals determine a wide range of basic atomic properties, allowing also for the explanation of many chemical processes. Here, we propose a novel technique to optically image the shape of electron orbitals of neutral atoms using electron-phonon coupling in a Bose-Einstein condensate. To validate our model we carefully analyze the impact of a single Rydberg electron onto a condensate and compare the results to experimental data. Our scheme requires only well-established experimental techniques that are readily available and allows for the direct capture of textbook-like spatial images of single electronic orbitals in a single shot experiment.


title: Cosmic Muon Induced Backgrounds in the Daya Bay Reactor Neutrino Experiment

abstract: Muon induced neutrons and long-lived radioactive isotopes are important background sources for low-energy underground experiments. We study the produced processes and properties of cosmic muon induced backgrounds, show the muon veto system used for rejecting these backgrounds and the methods to estimate residual backgrounds in the Daya Bay Reactor Neutrino Experiment.


title: Transformations of Self-Similar Solutions for porous medium equations of fractional type

abstract: We consider four different models of nonlinear diffusion equations involving fractional Laplacians and study the existence and properties of classes of self-similar solutions. Such solutions are an important tool in developing the general theory. We introduce a number of transformations that allow us to map complete classes of solutions of one equation into those of another one, thus providing us with a number of new solutions, as well as interesting connections. Special attention is paid to the property of finite propagation.


title: Gravitational tempering in colloidal epitaxy to reduce defects further

abstract: Less-defective colloidal crystals can be used as photonic crystals. To this end, colloidal epitaxy was proposed in 1997 as a method to reduce the stacking defects in the colloidal crystals. In this method, face-centered cubic (fcc) (001) stacking is forced by a template. In fcc (001) stacking, in contract to fcc {111} stacking, the stacking sequence is unique and thus the stacking fault can be avoided. Additionally, in 1997, an effect of gravity that reduces the stacking disorder in hard-sphere (HS) colloidal crystals was found. Recently, we have proposed a gravitational tempering method based on a result of Monte Carlo (MC) simulations using the HS model; after a colloidal crystal is grown in a relatively strong gravitational field, the defects can be reduced by decreasing the gravity strength and maintain for a period of time. Here, we demonstrate this method using MC simulations with a programed gravitation. The dramatic disappearance of defect structures is observed. Gravitational tempering can complement gravitational annealing; some defect structures that accidentally remain after gravitational annealing (keeping the colloidal crystal under gravity of a considerable constant strength) can be erased.

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


title: Melting/freezing transition in polydisperse Lennard-Jones system: Remarkable agreement between predictions of inherent structure, bifurcation phase diagram, Hansen-Verlet rule and Lindemann criteria

abstract: We use polydispersity in size as a control parameter to explore certain aspects of melting and freezing transitions in a system of Lennard-Jones spheres. Both analytical theory and computer simulations are employed to establish a potentially interesting relationship between observed terminal polydispersity in Lennard-Jones polydisperse spheres and prediction of the same in the integral equation based theoretical analysis of liquid-solid transition. As we increase polydispersity, solid becomes inherently unstable because of the strain built up due to the size disparity. This aspect is studied here by calculating the inherent structure (IS) calculation. With polydispersity at constant volume fraction we find initially a sharp rise of the average IS energy of the crystalline solid until transition polydispersity, followed by a cross over to a weaker dependence of IS energy on polydispersity in the amorphous state. This cross over from FCC to amorphous state predicted by IS analysis agrees remarkably well with the solid-liquid phase diagram (with extension into the metastable phase) generated by non-linear integral equation theories of freezing. Two other well-known criteria of freezing/melting transitions, the Hansen-Verlet rule of freezing and the Lindemann criterion of melting are both shown to be remarkably in good agreement with the above two estimates. Together they seem to indicate a small range of metastability in the liquid-solid transition in polydisperse solids.


title: It's distributions all the way down!: Second order changes in statistical distributions also occur

abstract: The textual, big-data literature misses Bentley, OBrien, & Brocks (Bentley et als) message on distributions; it largely examines the first-order effects of how a single, signature distribution can predict population behaviour, neglecting second-order effects involving distributional shifts, either between signature distributions or within a given signature distribution. Indeed, Bentley et al. themselves under-emphasise the potential richness of the latter, within-distribution effects.


title: Obstructions de Brauer-Manin enti\`eres sur les espaces homog\`enes \`a stabilisateurs finis nilpotents

abstract: Let $k$ be a number field. We construct homogeneous spaces of $SL_{n,k}$ with finite nilpotent non-abelian stabilizers for which the Brauer-Manin obstruction does not explain the failure of strong approximation (resp. the failure of the integral Hasse principle).


title: An Optimal Decoding Strategy for Physical-layer Network Coding over Multipath Fading Channels

abstract: We present an optimal decoder for physical-layer network coding (PNC) in a multipath fading channels. Previous studies on PNC have largely focused on the single path case. For PNC, multipath not only introduces inter-symbol interference (ISI), but also cross-symbol interference (Cross-SI) between signals simultaneously transmitted by multiple users. In this paper, we assume the transmitters do not have channel state information (CSI). The relay in the PNC system, however, has CSI. The relay makes use of a belief propagation (BP) algorithm to decode the multipath-distorted signals received from multiple users into a network-coded packet. We refer to our multipath decoding algorithm as MP-PNC. Our simulation results show that, benchmarked against synchronous PNC over a one-path channel, the bit error rate (BER) performance penalty of MP-PNC under a two-tap ITU channel model can be kept within 0.5dB. Moreover, it outperforms a MUD-XOR algorithm by 3dB -- MUD-XOR decodes the individual information from both users explicitly before performing the XOR network-coding mapping. Although the framework of fading-channel PNC presented in this paper is demonstrated based on two-path and three-path channel models, our algorithm can be easily extended to cases with more than three paths.


title: Rigidity Theorems for Complete Sasakian Manifolds with Constant Pseudo-Hermitian Scalar Curvature

abstract: The orthogonal decomposition of the Webster curvature provides us a way to characterize some canonical metrics on a pseudo-Hermitian manifold. We derive some subelliptic differential inequalities from the Weitzenb\"ock formulas for the traceless pseudo-Hermitian Ricci tensor and the Chern-Moser tensor of Sasakian manifolds with constant pseudo-Hermitian scalar curvature and Sasakian pseudo-Einstein manifolds respectively. By means of either subelliptic estimates or maximum principle, some rigidity theorems are established to characterize Sasakian pseudo-Einstein manifolds among Sasakian manifolds with constant pseudo-Hermitian scalar curvature and Sasakian space forms among Sasakian pseudo-Einstein manifolds respectively.


title: Early Attempts at Active Atmospheric Calibration with H.E.S.S. Phase 1

abstract: Using data derived from the H.E.S.S. Phase 1 telescope system and a Ceilometer facility on site, a method of correcting for changing atmospheric quality based on reconstructed shower parameters is presented. The method was applied to data from the active galactic nucleus PKS 2155-304, taken during August and September 2004 when the quality of the atmosphere at the site was highly variable. Corrected and uncorrected fluxes are shown, and the method is discussed as a first step towards a more complete atmospheric calibration.


title: Unstability of pseudoharmonic maps between pseudo-Hermitian manifolds

abstract: In this paper, we derive the second variation formula of pseudoharmonic maps into any pseudo-Hermitian manifolds. When the target manifold is an isometric embedded CR manifold in complex Euclidean space or a pseudo-Hermitian immersed submanifold in Heisenberg group, we give some conditions on Weingarten maps to obtain some unstability of pseudoharmonic maps between these pseudo-Hermitian manifolds.


title: Constructions of $H_r$-hypersurfaces, barriers and Alexandrov Theorem in $H^n \times R$

abstract: In this paper, we are concerned with hypersurfaces in $H^n\times R$ with constant r-mean curvature, to be called $H_r$-hypersurfaces. We construct examples of complete $H_r$-hypersurfaces which are invariant by parabolic screw motion or by rotation. We prove that there is a unique rotational strictly convex entire $H_r$-graph for each value $0<H_r\leq\frac{n-r}{n}$. Also, for each value $H_r>\frac{n-r}{n}$, there is a unique embedded compact strictly convex rotational $H_r$-hypersurface. By using them as barriers, we obtain some interesting geometric results, including height estimates and an Alexandrov-type Theorem. Namely, we prove that an embedded compact $H_r$-hypersurface in $H^n\times R$ is rotational ($H_r>0$).


title: Analysis of the strong $D_{2}^{*}(2460)^{0}\rightarrow D^+ \pi^- $ and $D_{s2}^{*}(2573)^{+}\rightarrow D^{+} K^{0}$ transitions via QCD sum rules

abstract: The strong $D_{2}^{*}(2460)^{0}\rightarrow D^+ \pi^- $ and $D_{s2}^{*}(2573)^{+}\rightarrow D^{+} K^{0}$ transitions are analyzed via three point QCD sum rules. First, we calculate the corresponding strong coupling constants $g_{D_2^*D\pi}$ and $g_{D_{s2}^*DK}$. Then, we use them to calculate the corresponding decay widths and branching ratios. Making use of the existing experimental data on the ratio of the decay width in the pseudoscaler $D$ channel to that of the vector $D^*$ channel, finally, we estimate the decay width and branching ratio of the strong $D_2^*(2460)^0 \rightarrow D^*(2010)^+\pi^-$ transition.


title: CriPS: Critical Dynamics in Particle Swarm Optimization

abstract: Particle Swarm Optimisation (PSO) makes use of a dynamical system for solving a search task. Instead of adding search biases in order to improve performance in certain problems, we aim to remove algorithm-induced scales by controlling the swarm with a mechanism that is scale-free except possibly for a suppression of scales beyond the system size. In this way a very promising performance is achieved due to the balance of large-scale exploration and local search. The resulting algorithm shows evidence for self-organised criticality, brought about via the intrinsic dynamics of the swarm as it interacts with the objective function, rather than being explicitly specified. The Critical Particle Swarm (CriPS) can be easily combined with many existing extensions such as chaotic exploration, additional force terms or non-trivial topologies.


title: Lazy Model Expansion: Interleaving Grounding with Search

abstract: Finding satisfying assignments for the variables involved in a set of constraints can be cast as a (bounded) model generation problem: search for (bounded) models of a theory in some logic. The state-of-the-art approach for bounded model generation for rich knowledge representation languages, like ASP, FO(.) and Zinc, is ground-and-solve: reduce the theory to a ground or propositional one and apply a search algorithm to the resulting theory. An important bottleneck is the blowup of the size of the theory caused by the reduction phase. Lazily grounding the theory during search is a way to overcome this bottleneck. We present a theoretical framework and an implementation in the context of the FO(.) knowledge representation language. Instead of grounding all parts of a theory, justifications are derived for some parts of it. Given a partial assignment for the grounded part of the theory and valid justifications for the formulas of the non-grounded part, the justifications provide a recipe to construct a complete assignment that satisfies the non-grounded part. When a justification for a particular formula becomes invalid during search, a new one is derived; if that fails, the formula is split in a part to be grounded and a part that can be justified. The theoretical framework captures existing approaches for tackling the grounding bottleneck such as lazy clause generation and grounding-on-the-fly, and presents a generalization of the 2-watched literal scheme. We present an algorithm for lazy model expansion and integrate it in a model generator for FO(ID), a language extending first-order logic with inductive definitions. The algorithm is implemented as part of the state-of-the-art FO(ID) Knowledge-Base System IDP. Experimental results illustrate the power and generality of the approach.


title: Controlled topological transitions in thin film phase separation

abstract: In this paper the evolution of a binary mixture in a thin-film geometry with a wall at the top and bottom is considered. By bringing the mixture into its miscibility gap so that no spinodal decomposition occurs in the bulk, a slight energetic bias of the walls towards each one of the constituents ensures the nucleation of thin boundary layers that grow until the constituents have moved into one of the two layers. These layers are separated by an interfacial region where the composition changes rapidly. Conditions that ensure the separation into two layers with a thin interfacial region are investigated based on a phase-field model. Using matched asymptotic expansions a corresponding sharp-interface problem for the location of the interface is established. It is then argued that this newly created two-layer system is not at its energetic minimum but destabilizes into a controlled self-replicating pattern of trapezoidal vertical stripes by minimizing the interfacial energy between the phases while conserving their area. A quantitative analysis of this mechanism is carried out via a thin-film model for the free interfaces, which is derived asymptotically from the sharp-interface model.


title: Asymmetry in the CME-CME interaction process for the events from 2011 February 14-15

abstract: We present a detailed study of the interaction process of two coronal mass ejections (CMEs) successively launched on 2011 February 14 (CME1) and 2011 February 15 (CME2). Reconstructing the 3D shape and evolution of the flux ropes we verify that the two CMEs interact. The frontal structure of both CMEs measured along different position angles (PA) over the entire latitudinal extent, reveals differences in the kinematics for the interacting flanks and the apexes. The interaction process is strongly PA-dependent in terms of timing as well as kinematical evolution. The central interaction occurs along PA-100{\deg}, which shows the strongest changes in kinematics. During interaction, CME1 accelerates from ~400 km/s to ~700 km/s and CME2 decelerates from ~1300 km/s to ~600 km/s. Our results indicate that a simplified scenario like inelastic collision may not be sufficient to describe the CME-CME interaction. Magnetic field structures of the intertwining flux ropes as well as momentum transfer due to shocks play an important role in the interaction process.


title: On conformable fractional calulus

abstract: Recently, the authors Khalil, R., Al Horani, M., Yousef. A. and Sababheh, M., in " A new Denition Of Fractional Derivative, J. Comput. Appl. Math. 264. pp. 6570, 2014. " introduced a new simple well-behaved definition of the fractional derivative called conformable fractional derivative. In this article we proceed on to develop the definitions there and set the basic concepts in this new simple interesting fractional calculus. The fractional versions of chain rule, exponential functions, Gronwall's inequality, integration by parts, Taylor power series expansions, Laplace transforms and linear differential systems are proposed and discussed.


title: Creation operators for the Fateev-Zamolodchikov spin chain

abstract: In our previous works on the XXZ chain of spin one half, we have studied the problem of constructing a basis of local operators whose members have simple vacuum expectation values. For this purpose a pair of fermionic creation operators have been introduced. In this article we extend this construction to the spin one case. We formulate the fusion procedure for the creation operators, and find a triplet of bosonic as well as two pairs of fermionic creation operators. We show that the resulting basis of local operators satisfies the dual reduced qKZ equation.


title: Large scale gas sloshing out to half the virial radius in the strongest cool core REXCESS galaxy cluster, RXJ2014.8-2430

abstract: We search the cool core galaxy clusters in the REXCESS sample for evidence of large scale gas sloshing, and find clear evidence for sloshing in RXJ2014.8-2430, the strongest cool core cluster in the REXCESS cluster sample. The residuals of the surface brightness distribution from the azimuthal average for RXJ2014 show a prominent swirling excess feature extending out to an abrupt surface brightness discontinuity at 800 kpc from the cluster core (half the virial radius) to the south, which the XMM-Newton observations confirm to be cold, low entropy gas. The gas temperature is significantly higher outside this southern surface brightness discontinuity, indicating that this is a cold front 800 kpc from the cluster core. Chandra observations of the central 200 kpc show two clear younger cold fronts on opposite sides of the cluster. The scenario appears qualitatively consistent with simulations of gas sloshing due to minor mergers which raise cold, low entropy gas from the core to higher radius, resulting in a swirling distribution of opposing cold fronts at increasing radii. However the scale of the observed sloshing is much larger than that which has been simulated at present, and is similar to the large scale sloshing recently observed in the Perseus cluster and Abell 2142.


title: On the Interpretation of Stratonovich Calculus

abstract: The Ito-Stratonovich dilemma is revisited from the perspective of the interpretation of Stratonovich calculus using shot noise. Over the long time scales of the displacement of an observable, the principal issue is how to deal with finite/zero autocorrelation of the stochastic noise. The former (non-zero) noise autocorrelation structure preserves the normal chain rule using a mid-point selection scheme, which is the basis Stratonovich calculus, whereas the instantaneous autocorrelation structure of Ito's approach does not. By considering the finite decay of the noise correlations on time scales very short relative to the overall displacement times of the observable, we suggest a generalization of the integral Taylor expansion criterion of Wong and Zakai (1965) for the validity of the Stratonovich approach.


title: Pontryagin's maximum principle for the Loewner equation in higher dimensions

abstract: In this paper we develop a variational method for the Loewner equation in higher dimensions. As a result we obtain a version of Pontryagin's maximum principle from optimal control theory for the Loewner equation in several complex variables. Based on recent work of Arosio, Bracci and Wold we then apply our version of the Pontryagin maximum principle to obtain first--order necessary conditions for the extremal functions for a wide class of extremal problems over the set of normalized biholomorphic mappings on the unit ball in $\mathbb{C}^n$.


title: Arbitrary-Lagrangian-Eulerian ADER-WENO Finite Volume Schemes with Time-Accurate Local Time Stepping for Hyperbolic Conservation Laws

abstract: In this article a new high order accurate cell-centered Arbitrary-Lagrangian-Eulerian (ALE) Godunov-type finite volume method with time-accurate local time stepping (LTS) is presented. The method is by construction locally and globally conservative. The scheme is based on a one-step predictor-corrector methodology in space-time and uses three main building blocks: First, a high order piecewise polynomial WENO reconstruction, to obtain a high order data representation in space from the known cell averages of the underlying finite volume scheme. Second, a high order space-time Galerkin predictor step based on a weak formulation of the governing PDE on moving control volumes. Third, a high order one-step finite volume scheme, based directly on the integral formulation of the conservation law in space-time. The algorithm being entirely based on space-time control volumes naturally allows for hanging nodes also in time, hence in this framework the implementation of a consistent and conservative time-accurate LTS becomes very natural and simple. The method is validated on some classical shock tube problems for the Euler equations of compressible gasdynamics and the magnetohydrodynamics equations (MHD). The performance of the new scheme is compared with a classical high order ALE finite volume scheme based on global time stepping. To the knowledge of the author, this is the first high order accurate Lagrangian finite volume method ever presented together with a conservative and time-accurate local time stepping feature.


title: Knotted Defects in Nematic Liquid Crystals

abstract: We show that the number of distinct topological states associated to a given knotted defect, $L$, in a nematic liquid crystal is equal to the determinant of the link $L$. We give an interpretation of these states, demonstrate how they may be identified in experiments and describe the consequences for material behaviour and interactions between multiple knots. We show that stable knots can be created in a bulk cholesteric and illustrate the topology by classifying a simulated Hopf link. In addition we give a topological heuristic for the resolution of strand crossings in defect coarsening processes which allows us to distinguish topological classes of a given link and to make predictions about defect crossings in nematic liquid crystals.