title: Description of ion motion in a Paul trap immersed in a cold atomic gas

abstract: We investigate the problem of a single ion in a radio-frequency trap and immersed in an ultracold Bose gas either in a condensed or a non-condensed phase. We develop master equation formalism describing the sympathetic cooling and we determine the cooling rates of ions. We show that cold atomic reservoir modifies the stability diagram of the ion in the Paul trap creating the regions where the ion is either cooled or heated due to the energy quanta exchanged with the time-dependent potential.


title: Critical study and discrimination of different formulations of electromagnetic force density and consequent stress tensors inside matter

abstract: By examination of the exerted electromagnetic (EM) force on boundary of an object in a few examples, we look into the compatibility of the stress tensors corresponding to different formulae of the EM force density with special relativity. Ampere-Lorentz's formula of the EM force density is physically justifiable in that the electric field and the magnetic flux density act on the densities of the total charges and the total currents, unlike Minkowski's formula which completely excludes the densities of the bounded charges and the bounded currents inside homogeneous media. Abraham's formula is fanciful and devoid of physical meaning. Einstein-Laub's formula seems to include the densities of the total charges and the total currents at first sight, but grouping the bounded charges and the bounded currents into point-like dipoles erroneously results in the hidden momentum being omitted, hence the error in [Phys. Rev. Lett. 108, 193901 (2012)]. Naturally, the Ampere-Lorentz stress tensor accords with special relativity. The Minkowski stress tensor is also consistent with special relativity. It is worth noting that the mathematical expression of the Minkowski stress tensor can be quite different from the well-known form of this stress tensor in the literature. We show that the Einstein-Laub stress tensor is incompatible with special relativity, and therefore we rebut the Einstein-Laub force density. Since the Abraham momentum density of the EM fields is inherently corresponding to the Einstein-Laub force density [Phys. Rev. Lett 111, 043602 (2013)], our rebuttal may also shed light on the controversy over the momentum of light.


title: Linear Triangle Dynamics: The Pedal Map and Beyond

abstract: We present a moduli space for similar triangles, then classify triangle maps $f$ that arise from linear maps on this space, with the well-studied pedal map as a special case. Each linear triangle map admits a Markov partition, showing that $f$ is mixing, hence ergodic.


title: CII in the Interstellar Medium: Excitation by H2 Revisited

abstract: C$^+$ is a critical constituent of many regions of the interstellar medium, as it can be a major reservoir of carbon and, under a wide range of conditions, the dominant gas coolant. Emission from its 158$\mu$m fine structure line is used to trace the structure of photon dominated regions in the Milky Way and is often employed as a measure of the star formation rate in external galaxies. Under most conditions, the emission from the single [CII] line is proportional to the collisional excitation rate coefficient. We here used improved calculations of the deexcitation rate of [CII] by collisions with H$_2$ to calculate more accurate expressions for interstellar C$^+$ fine structure emission, its critical density, and its cooling rate. The collision rates in the new quantum calculation are $\sim$ 25% larger than those previously available, and narrow the difference between rates for excitation by atomic and molecular hydrogen. This results in [CII] excitation being quasi-independent of the molecular fraction and thus dependent only on the total hydrogen particle density. A convenient expression for the cooling rate at temperatures between 20 K and 400 K, assuming an LTE H$_2$ ortho to para ration is $\Lambda ({\rm LTE~OPR}) = \left(11.5 + 4.0\,e^{-100\,\mathrm K/T^{\rm kin}}\right)\;e^{-91.25\,\mathrm K/T^{\rm kin}}\,n ({\rm C}^{+})\,n({\rm H}_2)\times 10^{-24}\;{\rm ergs}~{\rm cm}^{-3}~{\rm s}^{-1}$. The present work should allow more accurate and convenient analysis of the [\CII] line emission and its cooling.


title: Stochastic areas of diffusions and applications in risk theory

abstract: In this paper we study the stochastic area swept by a regular time-homogeneous diffusion till a stopping time. This unifies some recent literature in this area. Through stochastic time change we establish a link between the stochastic area and the stopping time of another associated time-homogeneous diffusion. Then we characterize the Laplace transform of the stochastic area in terms of the eigenfunctions of the associated diffusion. We also explicitly obtain the integer moments of the stochastic area in terms of scale and speed densities of the associated diffusion. Specifically we study in detail three stopping times: the first passage time to a constant level, the first drawdown time and the Azema-Yor stopping time. We also study the total occupation area of the diffusion below a constant level. We show applications of the results to a new structural model of default (Yildirim 2006), the Omega risk model of bankruptcy in risk analysis (Gerber, Shiu and Yang 2012), and a diffusion risk model with surplus-dependent tax (Albrecher and Hipp 2007, Li, Tang and Zhou 2013).


title: Lyapunov stable Galerkin models of post-transient incompressible flows

abstract: A method for deriving provably stable low-dimensional Galerkin models of post-transient incompressible flows is introduced. The proposed approach involves an iterative procedure for expansion modes that satisfy Lyapunov stability in the neighborhood of a fixed point. The approach is demonstrated using two prototypical flow configurations: a two-dimensional mixing layer, and two-dimensional flow inside a lid-driven cavity. This new methodology can be a building block in an effort to develop more accurate and more robust low-dimensional models of incompressible flows.


title: Distributed Data Placement via Graph Partitioning

abstract: With the widespread use of shared-nothing clusters of servers, there has been a proliferation of distributed object stores that offer high availability, reliability and enhanced performance for MapReduce-style workloads. However, relational workloads cannot always be evaluated efficiently using MapReduce without extensive data migrations, which cause network congestion and reduced query throughput. We study the problem of computing data placement strategies that minimize the data communication costs incurred by typical relational query workloads in a distributed setting. Our main contribution is a reduction of the data placement problem to the well-studied problem of {\sc Graph Partitioning}, which is NP-Hard but for which efficient approximation algorithms exist. The novelty and significance of this result lie in representing the communication cost exactly and using standard graphs instead of hypergraphs, which were used in prior work on data placement that optimized for different objectives (not communication cost). We study several practical extensions of the problem: with load balancing, with replication, with materialized views, and with complex query plans consisting of sequences of intermediate operations that may be computed on different servers. We provide integer linear programs (IPs) that may be used with any IP solver to find an optimal data placement. For the no-replication case, we use publicly available graph partitioning libraries (e.g., METIS) to efficiently compute nearly-optimal solutions. For the versions with replication, we introduce two heuristics that utilize the {\sc Graph Partitioning} solution of the no-replication case. Using the TPC-DS workload, it may take an IP solver weeks to compute an optimal data placement, whereas our reduction produces nearly-optimal solutions in seconds.


title: Efficient Learning and Planning with Compressed Predictive States

abstract: Predictive state representations (PSRs) offer an expressive framework for modelling partially observable systems. By compactly representing systems as functions of observable quantities, the PSR learning approach avoids using local-minima prone expectation-maximization and instead employs a globally optimal moment-based algorithm. Moreover, since PSRs do not require a predetermined latent state structure as an input, they offer an attractive framework for model-based reinforcement learning when agents must plan without a priori access to a system model. Unfortunately, the expressiveness of PSRs comes with significant computational cost, and this cost is a major factor inhibiting the use of PSRs in applications. In order to alleviate this shortcoming, we introduce the notion of compressed PSRs (CPSRs). The CPSR learning approach combines recent advancements in dimensionality reduction, incremental matrix decomposition, and compressed sensing. We show how this approach provides a principled avenue for learning accurate approximations of PSRs, drastically reducing the computational costs associated with learning while also providing effective regularization. Going further, we propose a planning framework which exploits these learned models. And we show that this approach facilitates model-learning and planning in large complex partially observable domains, a task that is infeasible without the principled use of compression.


title: Point-Map-Probabilities of a Point Process and Mecke's Invariant Measure Equation

abstract: A compatible point-shift $F$ maps, in a translation invariant way, each point of a stationary point process $\Phi$ to some point of $\Phi$. It is fully determined by its associated point-map, $f$, which gives the image of the origin by $F$. It was proved by J. Mecke that if $F$ is bijective, then the Palm probability of $\Phi$ is left invariant by the translation of $-f$. The initial question motivating this paper is the following generalization of this invariance result: in the non-bijective case, what probability measures on the set of counting measures are left invariant by the translation of $-f$? The point-map probabilities of $\Phi$ are defined from the action of the semigroup of point-map translations on the space of Palm probabilities, and more precisely from the compactification of the orbits of this semigroup action. If the point-map probability exists, is uniquely defined, and if it satisfies certain continuity properties, it then provides a solution to this invariant measure problem. Point-map probabilities are objects of independent interest. They are shown to be a strict generalization of Palm probabilities: when $F$ is bijective, the point-map probability of $\Phi$ boils down to the Palm probability of $\Phi$. When it is not bijective, there exist cases where the point-map probability of $\Phi$ is singular with respect to its Palm probability. A tightness based criterion for the existence of the point-map probabilities of a stationary point process is given. An interpretation of the point-map probability as the conditional law of the point process given that the origin has $F$-pre-images of all orders is also provided. The results are illustrated by a few examples.


title: Preliminary Results on 3D Channel Modeling: From Theory to Standardization

abstract: Three dimensional beamforming (3D) (also elevation beamforming) is now gaining a growing interest among researchers in wireless communication. The reason can be attributed to its potential to enable a variety of strategies like sector or user specific elevation beamforming and cell-splitting. Since these techniques cannot be directly supported by current LTE releases, the 3GPP is now working on defining the required technical specifications. In particular, a large effort is currently made to get accurate 3D channel models that support the elevation dimension. This step is necessary as it will evaluate the potential of 3D and FD(Full Dimensional) beamforming techniques to benefit from the richness of real channels. This work aims at presenting the on-going 3GPP study item "Study on 3D-channel model for Elevation Beamforming and FD-MIMO studies for LTE", and positioning it with respect to previous standardization works.


title: Signatures of alpha clustering in light nuclei from relativistic nuclear collisions

abstract: We argue that relativistic nuclear collisions may provide experimental evidence of alpha clustering in light nuclei. A light alpha-clustered nucleus has a large intrinsic deformation. When collided against a heavy nucleus at very high energies, this deformation transforms into the deformation of the fireball in the transverse plane. The subsequent collective evolution of the fireball leads to harmonic flow reflecting the deformation of the initial shape, which can be measured with standard methods of relativistic heavy-ion collisions. We illustrate the feasibility of the idea by modeling the 12C-208Pb collisions and point out that very significant quantitative and qualitative differences between the alpha-clustered and uniform 12C nucleus occur in such quantities as the triangular flow, its event-by-event fluctuations, or the correlations of the elliptic and triangular flows. The proposal offers a possibility of studying low-energy nuclear phenomena with "snapshots" made with relativistic heavy-ion collisions.


title: Quantum Non-Barking Dogs

abstract: Quantum weak measurements with states both pre- and postselected offer a window into a hitherto neglected sector of quantum mechanics. A class of such systems involves time dependent evolution with transitions possible. In this paper we explore two very simple systems in this class. The first is a toy model representing the decay of an excited atom. The second is the tunneling of a particle through a barrier. The postselection criteria are chosen as follows: at the final time, the "atom" remains in its initial excited state for the first example and the particle remains behind the barrier for the second. We then ask what weak values are predicted in the physical environment of the "atom" (to which no net energy has been transferred) and in the region beyond the barrier (to which the particle has not tunneled). Previous work suggests that very large weak values might arise in these regions for long durations between pre- and postselection times. Our calculations reveal some distinct differences between the two model systems.


title: Probing the proton and its excitations in full QCD

abstract: We present a first look at the application of variational techniques for the extraction of the electromagnetic properties of an excited nucleon system. In particular, we include preliminary results for charge radii and magnetic moments of the proton, its first even-parity excitation and the $\Delta^{+}$.


title: Ergodic properties of invariant measures for systems with average shadowing property

abstract: In this paper, we explore a topological system $f:M\rightarrow M$ with average shadowing property. We extend Sigmund's results and show that every non-empty, compact and connected subset $V\subseteq\mathcal {M}_{inv}(f)$ coincides with $V_f(y)$, where $\mathcal {M}_{inv}(f)$ denotes the space of invariant Borel probability measures on M, and $V_f(y)$ denotes the accumulation set of time average of Dirac measures supported at the orbit of $y$. We also show that the set $M_{V}=\{y\in M\,\,|\,\,V_{f}(y)=V\}$ is dense in $\Delta_{V}=\bigcup_{\nu\in V}supp(\nu)$. In particular, if $\Delta_{max}=\bigcup_{\nu\in\mathcal {M}_{inv}(f)}supp(\nu)$ is isolated or coincides with $M$, then $M_{max}=\{y: V_{f}(y)=\mathcal {M}_{inv}(f)\}$ is residual in $\Delta_{max}$.


title: Thermodynamic properties of LiCu$_{2}$O$_{2}$ multiferroic compound

abstract: A spin model of quasi-one dimensional LiCu$_{2}$O$_{2}$ compound with ground state of ellipsoidal helical structure in which the helical axis is along the diagonal of CuO$_{4}$ squares has been adopted. By taking into account the interchain coupling and exchange anisotropy, the exotic magnetic properties and ferroelectricity induced by spiral spin order have been studied by performing Monte Carlo simulation. The simulation results qualitatively reproduce the main characters of ferroelectric and magnetic behaviors of LiCu$_{2}$O$_{2}$ compound and confirm the low-temperature incollinear spiral ordering. Furthermore, by performing the calculations of spin structure factor, we systematically investigate the effects of different exchange coupling on the lower-temperature magnetic transition, and find that the spiral spin order depends not only on the ratio of nearest and next-nearest neighbor inchain spin coupling but also strongly on the exchange anisotropy.


title: Goodness of fit in nonlinear dynamics: Misspecified rates or misspecified states?

abstract: This paper introduces diagnostic tests for the nature of lack of fit in ordinary differential equation models (ODEs) proposed for data. We present a hierarchy of three possible sources of lack of fit: unaccounted-for stochastic variation, misspecification of functional forms in rate equations, and omission of dynamic variables in the description of the system. We represent lack of fit by allowing a parameter vector to vary over time, and propose generic testing procedures that do not rely on specific alternative models. Instead, different sources for lack of fit are characterized in terms of nonparametric relationships among latent variables. The tests are carried out through a combination of residual bootstrap and permutation methods. We demonstrate the effectiveness of these tests on simulated data and on real data from laboratory ecological experiments and electro-cardiogram data.


title: Observed Gravitational Wave Effects: Amaldi 1980 Frascati-Rome Classical Bar Detectors, 2013 Perth-London Zener-Diode Quantum Detectors, Earth Oscillation Mode Frequencies

abstract: Amaldi et al. in 1981 reported two key discoveries from the Frascati and Rome gravitational wave cryogenic bar detectors: (a) Rome events delayed by within a few seconds to tens of seconds from the Frascati events, and (b) the Frascati Fourier-analysed data frequency peaks being the same as the earth oscillation frequencies from seismology. The time delay effects have been dismissed as being inconsistent with gravitational waves having speed c. However using data from zener diode quantum detectors, from Perth and London, for January 1-3, 2013, we report the same effects, and in excellent agreement with the Amaldi results. The time delay effects appear to be gravitational wave reverberations, recently observed, and for gravitational wave speeds of some 500km/s, as detected in numerous experiments. We conclude that the Amaldi et al. discoveries were very significant.


title: The subgroup commutativity degree of finite P-groups

abstract: The subgroup commutativity degree of a group G has been defined in [6] as the probability that two subgroups of G commute, or equivalently that the product of two subgroups is again a subgroup. Problem 4.3 of [6] asks whether there exist families of groups other than dihedral, quasi-dihedral or generalized quaternion (all of 2-power cardinality), whose subgroup commutativity degree tends to 0 as the size of the group tends to infinity. An affirmative answer to this question has been provided by Aivazidis [1, 2] for the family of projective special linear groups over fields of even characteristic and for the family of the simple Suzuki groups. In this short note we indicate another family of groups with this property, namely the finite P-groups.


title: Soft X-ray Extended Emissions of Short Gamma-Ray Bursts as Electromagnetic Counterparts of Compact Binary Mergers; Possible Origin and Detectability

abstract: We investigate the possible origin of extended emissions (EEs) of short gamma-ray bursts with an isotropic energy of ~ 10^(50-51) erg and a duration of a few 10 s to ~ 100 s, based on a compact binary (neutron star (NS)-NS or NS-black hole (BH)) merger scenario. We analyze the evolution of magnetized neutrino-dominated accretion disks of mass ~ 0.1 M_sun around BHs formed after the mergers, and estimate the power of relativistic outflows via the Blandford-Znajek (BZ) process. We show that a rotation energy of the BH up to > 10^52 erg can be extracted with an observed time scale of > 30 (1+z) s with a relatively small disk viscosity parameter of alpha < 0.01. Such a BZ power dissipates by clashing with non-relativistic pre-ejected matter of mass M ~ 10^-(2-4) M_sun, and forms a mildly relativistic fireball. We show that the dissipative photospheric emissions from such fireballs are likely in the soft X-ray band (1-10 keV) for M ~ 10^-2 M_sun possibly in NS-NS mergers, and in the BAT band (15-150 keV) for M ~ 10^-4 M_sun possibly in NS-BH mergers. In the former case, such soft EEs can provide a good chance of ~ 6 yr^-1 for simultaneous detections of the gravitational waves with a ~ 0.1 deg angular resolution by soft X-ray survey facilities like Wide-Field MAXI.


title: On quadratic orbital networks

abstract: These are some informal remarks on quadratic orbital networks over finite fields. We discuss connectivity, Euler characteristic, number of cliques, planarity, diameter and inductive dimension. We find a non-trivial disconnected graph for d=3. We prove that for d=1 generators, the Euler characteristic is always non-negative and for d=2 and large enough p the Euler characteristic is negative. While for d=1, all networks are planar, we suspect that for d larger or equal to 2 and large enough prime p, all networks are non-planar. As a consequence on bounds for the number of complete sub graphs of a fixed dimension, the inductive dimension of all these networks goes 1 as p goes to infinity.


title: What is Ramsey-equivalent to a clique?

abstract: A graph G is Ramsey for H if every two-colouring of the edges of G contains a monochromatic copy of H. Two graphs H and H' are Ramsey-equivalent if every graph G is Ramsey for H if and only if it is Ramsey for H'. In this paper, we study the problem of determining which graphs are Ramsey-equivalent to the complete graph K_k. A famous theorem of Nesetril and Rodl implies that any graph H which is Ramsey-equivalent to K_k must contain K_k. We prove that the only connected graph which is Ramsey-equivalent to K_k is itself. This gives a negative answer to the question of Szabo, Zumstein, and Zurcher on whether K_k is Ramsey-equivalent to K_k.K_2, the graph on k+1 vertices consisting of K_k with a pendent edge. In fact, we prove a stronger result. A graph G is Ramsey minimal for a graph H if it is Ramsey for H but no proper subgraph of G is Ramsey for H. Let s(H) be the smallest minimum degree over all Ramsey minimal graphs for H. The study of s(H) was introduced by Burr, Erdos, and Lovasz, where they show that s(K_k)=(k-1)^2. We prove that s(K_k.K_2)=k-1, and hence K_k and K_k.K_2 are not Ramsey-equivalent. We also address the question of which non-connected graphs are Ramsey-equivalent to K_k. Let f(k,t) be the maximum f such that the graph H=K_k+fK_t, consisting of K_k and f disjoint copies of K_t, is Ramsey-equivalent to K_k. Szabo, Zumstein, and Zurcher gave a lower bound on f(k,t). We prove an upper bound on f(k,t) which is roughly within a factor 2 of the lower bound.


title: Critical Field of Spin Torque Oscillator with Perpendicularly Magnetized Free Layer

abstract: The oscillation properties of a spin torque oscillator consisting of a perpendicularly magnetized free layer and an in-plane magnetized pinned layer are studied based on an analysis of the energy balance between spin torque and damping. The critical value of an external magnetic field applied normal to the film plane is found, below which the controllable range of the oscillation frequency by the current is suppressed. The value of the critical field depends on the magnetic anisotropy, the saturation magnetization, and the spin torque parameter.


title: The 1-Jettiness DIS event shape: NNLL + NLO results

abstract: We present results for the complete NNLL+NLO (~ \alpha_s) 1-jettiness (\tau_1) event shape distribution for single jet (J) production in electron-nucleus (N_A) collisions e^- + N_A \to e^- + J + X, in the deep inelastic scattering (DIS) region where the hard scale is set by the jet transverse momentum P_{J_T}. These results cover the entire \tau_1-spectrum including the resummation (\tau_1<<P_{J_T}) and fixed-order (\tau_1~ P_{J_T}) perturbative QCD regions. They incorporate non-perturbative soft radiation effects, the anti-k_T jet algorithm in the fixed-order calculation, and a smooth matching between the resummation and fixed-order perturbative QCD regions. The matching smoothly connects the spectrum in the resummation region, which can be computed without reference to an external jet algorithm, and the fixed-order region where an explicit jet algorithm must be specified. Our code, used for generating the numerical results, is flexible enough to incorporate different jet algorithms for the fixed-order calculation. We also perform a jet shape analysis, defined within the 1-jettiness framework, which allows one to control the amount of radiation included in the definition of the final state jet. This formalism can allow for detailed studies of jet energy-loss mechanisms and nuclear medium effects. The analysis presented here can be used for precision studies of QCD and as a probe of nuclear dynamics using data collected at HERA and in proposed future electron-ion colliders such as the EIC and the LHeC.


title: On the Equivalence between Bayesian and Classical Hypothesis Testing

abstract: For hypotheses of the type H_0:theta=theta_0 vs H_1:theta ne theta_0 we demonstrate the equivalence of a Bayesian hypothesis test using a Bayes factor and the corresponding classical test, for a large class of models, which are detailed in the paper. In particular, we show that the role of the prior and critical region for the Bayes factor test is only to specify the type I error. This is their only role since, as we show, the power function of the Bayes factor test coincides exactly with that of the classical test, once the type I error has been fixed. For more complex tests involving nuisance parameters, we recover the classical test by using Jeffreys prior on the nuisance parameters, while the prior on the hypothesized parameters can be arbitrary up to a large class. On the other hand, we show that using proper priors on the nuisance parameters results in a test with uniformly lower power than the classical test.


title: Algorithms for entanglement renormalization: boundaries, impurities and interfaces

abstract: We propose algorithms, based on the multi-scale entanglement renormalization ansatz, to obtain the ground state of quantum critical systems in the presence of boundaries, impurities, or interfaces. By exploiting the theory of minimal updates [G. Evenbly and G. Vidal, arXiv:1307.0831], the ground state is completely characterized in terms of a number of variational parameters that is independent of the system size, even though the presence of a boundary, an impurity, or an interface explicitly breaks the translation invariance of the host system. Similarly, computational costs do not scale with the system size, allowing the thermodynamic limit to be studied directly and thus avoiding finite size effects e.g. when extracting the universal properties of the critical system.


title: Flavor Changing Neutral Current Processes in a Reduced Minimal Scalar Sector

abstract: In this work we overhaul previous studies of Flavor Changing Neutral Current processes in the context of the Reduced Minimal 3-3-1 model(RM331). We sift the individual contributions from the CP even scalars and the $Z^{\prime}$ gauge boson using two different parametrizations schemes and compare our results with current measurements. In particular, studying the $B^{0}-\bar{B^{0}}$ meson system we find the most stringent bounds in the literature on this model, namely $M_{Z^{\prime}} \gtrsim 3326$~GeV, $M_{V^{\pm}} \gtrsim 910$~GeV, $M_{U^{++}} \gtrsim 914$~GeV and $m_{h_2^0} \gtrsim 889$~GeV.


title: Preparation of Knill-Lafamme-Milburn states based on superconducting qutrits

abstract: We propose two schemes for generating the Knill-Lafamme-Milburn (KLM) states of two distant polar molecules (PMs) ensembles respectively in two transmission-line resonators (TLRs) connected by a superconducting charge qutrit (SCQ), and of two SCQs in a TLR, respectively. Both of the schemes are robust against photon decay due to the virtual excitations of the microwave photons of the TLRs, and the spontaneous emission can be suppressed owing to the virtual transitions of the SCQs in the second scheme. In addition, the schemes have high controllability and feasibility under the current available techniques.


title: $K_L-K_S$ mass difference from Lattice QCD

abstract: We will report on the first full calculation of the $K_L-K_S$ mass difference in lattice QCD. The calculation is performed on a 2+1 flavor, domain wall fermion, $24^3\times 64$ ensemble with a 329 MeV pion mass and a 575 MeV kaon mass. Both double penguin diagrams and disconnected diagrams are included in this calculation. The calculation is made finite through the GIM mechanism by introducing a 949 MeV valence charm quark. While the double penguin diagrams contribute a very small fraction to the mass difference, there is a large cancellation between disconnected diagrams and other types of diagrams. We obtain the mass difference $\Delta M_K$=$3.30(34)\times 10^{-12}$ MeV for these unphysical kinematics.


title: Inhomogeneous chiral phase in the magnetic field

abstract: Inhomogeneous chiral phase is discussed in the presence of the magnetic field. A topological aspect is pointed out for the complex order parameter, in relation to the spectral asymmetry of the Dirac operator. It induces an anomalous baryon number and extremely extends the region of the inhomogeneous chiral phase in the QCD phase diagram. It is also shown that the novel tricritical point appears at zero chemical potential, which should be examined by the lattice QCD simulation.


title: Stochastic Convergence of Persistence Landscapes and Silhouettes

abstract: Persistent homology is a widely used tool in Topological Data Analysis that encodes multiscale topological information as a multi-set of points in the plane called a persistence diagram. It is difficult to apply statistical theory directly to a random sample of diagrams. Instead, we can summarize the persistent homology with the persistence landscape, introduced by Bubenik, which converts a diagram into a well-behaved real-valued function. We investigate the statistical properties of landscapes, such as weak convergence of the average landscapes and convergence of the bootstrap. In addition, we introduce an alternate functional summary of persistent homology, which we call the silhouette, and derive an analogous statistical theory.


title: Times in noise-based logic: increased dimensions of logic hyperspace

abstract: Time shifts beyond the correlation time of the logic and reference signals create new elements that are orthogonal to the original components. This fact can be utilized to increase the number of dimensions of the logic space while keeping the number of reference noises fixed. Using just a single noise and time shifts can realize exponentially large hyperspaces with large numbers of dimensions. Other, independent applications of time shifts include holographic noise-based logic systems and changing commutative operations into non-commuting ones. For the sake of simplicity, these ideas are illustrated by deterministic time shifts, even though random timing and random time shifts would yield the most robust systems.


title: Meson exchange effects in elastic $ep$ scattering at loop level and the electromagnetic form factors of the proton

abstract: A new form of two-photon exchange(TPE) effect is studied to explain the discrepancy between unpolarized and polarized experimental data in elastic $ep$ scattering. The mechanism is based on a simple idea that apart from the usual TPE effects from box and crossed-box diagrams, the mesons may also be exchanged in elastic $ep$ scattering by two-photon coupling at loop level. The detailed study shows such contributions to reduced unpolarized cross section ($\sigma_{un}$) and polarized observables ($P_t,P_l$) at fixed $Q^2$ are only dependent on proton's electromagnetic form factors $G_{E,M}$ and a new unknown universal parameter $g$. After combining this contribution with the usual TPE contributions from box and crossed-box diagrams, the ratio $\mu_pG_E/G_M$ extracted from the recent precise unpolarized and polarized experimental data can be described consistently.


title: Quantum Field Theory in de Sitter spacetime

abstract: In this paper we will analyse quantum field theory on de Sitter spacetime. We will analyse a general scalar and vector field theory on de Sitter spacetime. This is done by first calculating these propagators on four-Sphere and then analytically continuing it to de Sitter spacetime.


title: A novel scheme for simple and precise measurement of the complex refractive index and thickness of thin films

abstract: We demonstrate applications of a novel scheme which is used for measuring refractive index and thickness of thin film by analyzing the relative phase difference and reflected ratio at reflection point of a monolithic folded Fabry-Perot cavity (MFC). The complex refractive index and the thickness are calculated according to the Fresnel formula. Results show that the proposed method has a big improvement in accuracy with simple and clear operating process compared with the conventional Ellipsometry.


title: One formation of finite groups

abstract: It is shown that two formations of finite groups, one was introduced by V.S. Monakhov and V.N. Kniahina and another one was introduced by R. Brandl, are coincides.


title: The real and apparent convergence of N-body simulations of the dark matter structures: is the Navarro-Frenk-White profile real?

abstract: We consider the reasons why a cuspy NFW-like profile persistently occurs in N-body simulations, in contradiction to some astronomical observations. The routine method of testing the convergence of N-body simulations (in particular, the negligibility of two-body scattering effect) is to find the conditions under which the shape of the formed structures is insensitive to numerical parameters. The results obtained with this approach suggest a surprisingly minor role of the particle collisions: the central density profile remains untouched and close to NFW, even if the simulation time significantly exceeds the collisional relaxation time $\tau_r$. We analyze the test body distribution in the halo center with help of the Fokker-Planck equation. It turns out that the Fokker-Planck diffusion transforms any reasonable initial distribution into NFW-like profile $\rho\propto r^{-1}$ in a time shorter than $\tau_r$. On the contrary, profile $\rho\propto r^{-1}$ should survive much longer, being a sort of attractor: the Fokker-Planck diffusion is self-compensated in this case. Thus the test body scattering may create a stable NFW-like pseudosolution that can be mixed up with the real convergence. This fact might help to eliminate the well-known 'cusp vs. core' problem.


title: Hot Molecular Circumstellar Disk around Massive Protostar Orion Source I

abstract: We report new Atacama Large Millimeter/Submillimeter Array (ALMA) observations of a circumstellar disk around Source I in Orion KL, an archetype of massive protostar candidate. We detected two ortho-H$_{2}$O lines at 321 GHz ($10_{2,9}$-$9_{3,6}$) and 336 GHz ($\nu_{2}=1, 5_{2,3}$-$6_{1,6}$) for the first time in Source I. The latter one is in vibrationally excited state at the lower state energy of 2939 K, suggesting an evidence of hot molecular gas close to Source I. The integrated intensity map of the 321 GHz line is elongated along the bipolar outflow while the 336 GHz line map is unresolved with a beam size of 0.4\arcsec. Both of these maps show velocity gradient perpendicular to the bipolar outflow. The velocity centroid map of the 321 GHz line implies spatial and velocity structure similar to that of vibrationally-excited SiO masers tracing the root of the outflow emanating from the disk surface. In contrast, the 336 GHz line is most likely emitted from the disk midplane with a diameter of 0.2\arcsec (84 AU) as traced by a radio continuum emission and a dark lane devoid of the vibrationally-excited SiO maser emission. The observed velocity gradient and the spectral profile of the 336 GHz H$_{2}$O line can be reconciled with a model of an edge-on ring-like structure with an enclosed mass of $>$7$M_{\odot}$ and an excitation temperature of $>$3000 K. The present results provide a further evidence of hot and neutral circumstellar disk rotating around Source I with a diameter of $\sim$100 AU scale.


title: A Note on the Discrete Jordan Curve Theorem (Revised)

abstract: According to a general definition of discrete curves, surfaces, and manifolds. This paper focuses on the Jordan curve theorem in 2D discrete spaces. The Jordan curve theorem says that a (simply) closed curve separates a simply connected surface into two components. Based on the definition of discrete surfaces, we give three reasonable definitions of simply connected spaces. Theoretically, these three definition shall be equivalent. We have proved the Jordan curve theorem under the third definition of simply connected spaces. The Jordan theorem shows the relationship among an object, its boundary, and its outside area. After the publication of the first version of the paper ({\it L. Chen, Note on the discrete Jordan Curve Theorem. In: SPIE Conf. on Vision Geometry VIII, vol. 3811, pp. 82-94. (1999).}), we found some statements in the original proof of the Jordan Curve Theorem were not explained well. One case was not proven in details. In this revision, we added two more minor definitions and make the proof more solid and sound when it is needed for embedding a discrete surface into a Euclidean space. In this revision, we also proved that the third definition of simply connected spaces equivalent to the second definition of simply connected spaces.


title: Evolutionary Dynamics of Information Diffusion over Social Networks

abstract: Current social networks are of extremely large-scale generating tremendous information flows at every moment. How information diffuse over social networks has attracted much attention from both industry and academics. Most of the existing works on information diffusion analysis are based on machine learning methods focusing on social network structure analysis and empirical data mining. However, the dynamics of information diffusion, which are heavily influenced by network users' decisions, actions and their socio-economic interactions, is generally ignored by most of existing works. In this paper, we propose an evolutionary game theoretic framework to model the dynamic information diffusion process in social networks. Specifically, we derive the information diffusion dynamics in complete networks, uniform degree and non-uniform degree networks, with the highlight of two special networks, Erd\H{o}s-R\'enyi random network and the Barab\'asi-Albert scale-free network. We find that the dynamics of information diffusion over these three kinds of networks are scale-free and the same with each other when the network scale is sufficiently large. To verify our theoretical analysis, we perform simulations for the information diffusion over synthetic networks and real-world Facebook networks. Moreover, we also conduct experiment on Twitter hashtags dataset, which shows that the proposed game theoretic model can well fit and predict the information diffusion over real social networks.


title: A superradiant laser based on two-photon Raman transition of caesium atoms

abstract: We propose a superradiant laser based on two-photon Raman transition of caesium-133 atoms which collectively emit photons on an ultra narrow transition into the mode of a low Q resonator known as optical bad-cavity regime. The spin-spin correlation which characterizes the collective effect is demonstrated. We theoretically predict that the optical radiation has an extremely narrow linewidth in the 98 (1) *10-2 mHz range, smaller than the transition itself due to collective effects, and a power level of 7 (1)*10-10 W is possible, which can provide a possible new way to realize an optical clock with a millihertz linewidth.


title: Terahertz transition radiation of bulk and surface electromagnetic waves by an electron entering a layered superconductor

abstract: We theoretically study the transition radiation of bulk and surface electromagnetic waves by an electron crossing an interface between a layered superconductor and an isotropic dielectric. We assume that the direction of the electron motion and the orientation of the superconducting layers are perpendicular to the interface. We derive the analytical expressions for the strongly anisotropic radiation fields and for the time-integrated energy fluxes of bulk and oblique surface electromagnetic waves (OSWs). We show that the OSWs with frequencies close to the Josephson plasma frequency $\omega_J$ provide the main contribution to the OSWs energy flux. Moreover, for frequencies close to the Josephson plasma frequency, the spectral density of the OSWs radiation diverges at some critical value of the azimuth angle $\varphi$. At the angles $\varphi=0$ and $\varphi=90^o$, the radiation field has a transverse magnetic polarization. We have also studied the Cherenkov radiation by the electron escaping from the layered superconductor and show that this radiation is almost monochromatic. A remarkable feature of the Cherenkov radiation in a layered superconductor is that, contrary to the isotropic case, the Cherenkov radiation distinctly manifests itself in the angular dependence of the radiation energy flux.


title: Explicit construction of companion bases

abstract: We present a simple procedure for explicitly constructing a companion basis for a quiver mutation equivalent to a simply-laced Dynkin quiver.


title: On monomial ideals whose Lyubeznik resolution is minimal

abstract: For a monomial ideal $I$, let $G(I)$ be its minimal set of monomial generators. If there is a total order on $G(I)$ such that the corresponding Lyubeznik resolution of $I$ is a minimal free resolution of $I$, then $I$ is called a Lyubeznik ideal. In this paper, we characterize the Lyubeznik ideals, and we discover some classes of Lyubeznik ideals.


title: A Note on Tetrablock Contractions

abstract: A commuting triple of operators $(A,B,P)$ on a Hilbert space $\mathcal{H}$ is called a tetrablock contraction if the closure of the set $$ E = \{\underline{x}=(x_1,x_2,x_3)\in \mathbb{C}^3: 1-x_1z-x_2w+x_3zw \neq 0 \text{whenever}|z| \leq 1\text{and}|w| \leq 1 \} $$ is a spectral set. In this paper, we have constructed a functional model and produced a complete unitary invariant for a pure tetrablock contraction. In this construction, the fundamental operators, which are the unique solutions of the operator equations $$ A-B^*P = D_PX_1D_P \text{and} B-A^*P=D_PX_2D_P, \text{where $X_1,X_2 \in \mathcal{B}(\mathcal{D}_P)$}, $$ play a big role. As a corollary to the functional model, we show that every pure tetrablock isometry $(A,B,P)$ on a Hilbert space $\mathcal{H}$ is unitarily equivalent to $(M_{G_1^*+G_2z}, M_{G_2^*+G_1z},M_z)$ on $H^2_{\mathcal{D}_{P^*}}(\mathbb{D})$, where $G_1$ and $G_2$ are the fundamental operators of $(A^*,B^*,P^*)$. We prove a Beurling-Lax-Halmos type theorem for a triple of operators $(M_{F_1^*+F_2z},M_{F_2^*+F_1z},M_z)$, where $\mathcal{E}$ is a Hilbert space and $F_1,F_2 \in \mathcal{B}(\mathcal{E})$. We deal with a natural example of tetrablock contraction on functions space to find out its fundamental operators.


title: Towards a microeconomic theory of the finance-driven business cycle

abstract: I sketch a program for a microeconomic theory of the main component of the business cycle as a recurring disequilibrium, driven by incompleteness of the financial market and by information asymmetries between borrowers and lenders. This proposal seeks to incorporate five distinct but connected processes that have been discussed at varying lengths in the literature: the leverage cycle, financial panic, debt deflation, debt overhang, and deleveraging of households. In the wake of the 2007-08 financial crisis, policy responses by central banks have addressed only financial panic and debt deflation. Debt overhang and the slowness of household deleveraging account for the Keynesian "excessive saving" seen in recessions, which raises questions about the suitability of the standard Keynesian remedies.


title: Perfect Sets and $f$-Ideals

abstract: A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $\delta_{\mathcal{F}}(I)$ and $\delta_{\mathcal{N}}(I)$ have the same $f$-vector, where $\delta_{\mathcal{F}}(I)$ ($\delta_{\mathcal{N}}(I)$, respectively) is the facet (Stanley-Reisner, respectively) complex related to $I$. In this paper, we introduce and study perfect subsets of $2^{[n]}$ and use them to characterize the $f$-ideals of degree $d$. We give a decomposition of $V(n, 2)$ by taking advantage of a correspondence between graphs and sets of square-free monomials of degree $2$, and then give a formula for counting the number of $f$-ideals of degree $2$, where $V(n, 2)$ is the set of $f$-ideals of degree 2 in $K[x_1,\ldots,x_n]$. We also consider the relation between an $f$-ideal and an unmixed monomial ideal.


title: On the $(n, d)^{th}$ $f$-Ideals

abstract: A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $\delta_{\mathcal{F}}(I)$ and $\delta_{\mathcal{N}}(I)$ have the same $f$-vector, where $\delta_{\mathcal{F}}(I)$ ($\delta_{\mathcal{N}}(I)$, respectively) is the facet (Stanley-Reisner, respectively) complex related to $I$. In this paper, we introduce the concepts of perfect set containing $k$ and perfect set without $k$. We study the $(n, d)^{th}$ perfect sets and show that $V(n, d) \neq \emptyset$ for $d \geq 2$ and $n \geq d+2$. Then we give some algorithms to construct $(n, d)^{th}$ $f$-ideals and show an upper bound for the $(n, d)^{th}$ perfect number.


title: Spin Operator and Entanglement in Quantum Field Theory

abstract: Entanglement is studied in the framework of Dyson's S-matrix theory in relativistic quantum field theory, which leads to a natural definition of entangled states of a particle-antiparticle pair and the spin operator from a Noether current. As an explicit example, the decay of a massive pseudo-scalar particle into a pair of electron and positron is analyzed. Two spin operators are extracted from the Noether current. The Wigner spin operator characterizes spin states at the rest frame of each fermion and, although not measurable in the laboratory, gives rise to a straightforward generalization of low energy analysis of entanglement to the ultra-relativistic domain. In contrast, if one adopts a (modified) Dirac spin operator, the entanglement measured by spin correlation becomes maximal near the threshold of the decay, while the entanglement is replaced by the classical correlation for the ultra-relativistic electron-positron pair by analogy to the case of neutrinos, for which a hidden-variables-type description is possible. Chiral symmetry differentiates the spin angular momentum and the magnetic moment. The use of weak interaction that can measure helicity is suggested in the analysis of entanglement at high energies instead of a Stern-Gerlach apparatus which is useless for the electron. A difference between the electron spin at high energies and the photon linear polarization is also noted. The Standard Model can describe all the observable properties of leptons.


title: Monomial ideals under ideal operations

abstract: In this paper, we show for a monomial ideal $I$ of $K[x_1,x_2,\ldots,x_n]$ that the integral closure $\ol{I}$ is a monomial ideal of Borel type (Borel-fixed, strongly stable, lexsegment, or universal lexsegment respectively), if $I$ has the same property. We also show that the $k^{th}$ symbolic power $I^{(k)}$ of $I$ preserves the properties of Borel type, Borel-fixed and strongly stable, and $I^{(k)}$ is lexsegment if $I$ is stably lexsegment. For a monomial ideal $I$ and a monomial prime ideal $P$, a new ideal $J(I, P)$ is studied, which also gives a clear description of the primary decomposition of $I^{(k)}$. Then a new simplicial complex $_J\bigtriangleup$ of a monomial ideal $J$ is defined, and it is shown that $I_{_J\bigtriangleup^{\vee}} = \sqrt{J}$. Finally, we show under an additional weak assumption that a monomial ideal is universal lexsegment if and only if its polarization is a squarefree strongly stable ideal.


title: Derived equivalences between symmetric special biserial algebras

abstract: The notion of mutation plays crucial roles in representation theory of algebras. Two kinds of mutation are well-known: tilting/silting mutation and quiver-mutation. In this paper, we focus on tilting mutation for symmetric algebras. Introducing mutation of SB quivers, we explicitly give a combinatorial description of tilting mutation of symmetric special biserial algebras. As an application, we generalize Rickard's star theorem. We also introduce flip of Brauer graphs and apply our results to Brauer graph algebras.


title: Cellphone based Portable Bacteria Pre-Concentrating microfluidic Sensor and Impedance Sensing System

abstract: Portable low-cost sensors and sensing systems for the identification and quantitative measurement of bacteria in field water are critical in preventing drinking water from being contaminated by bacteria. In this article, we reported the design, fabrication and testing of a low-cost, miniaturized and sensitive bacteria sensor based on electrical impedance spectroscopy method using a smartphone as the platform. Our design of microfluidics enabled the pre-concentration of the bacteria which lowered the detection limit to 10 bacterial cells per milliliter. We envision that our demonstrated smartphone-based sensing system will realize highly-sensitive and rapid in-field quantification of multiple species of bacteria and pathogens.


title: Generalized Kashaev invariants for knots in three manifolds

abstract: Kashaev's invariants for a knot in a three sphere are generalized to invariants of a knot in a three manifold. A relation between the newly constructed invariants and the hyperbolic volume of the knot complement is observed for some knots in lens spaces.


title: The Objective Past of a Quantum Universe: Redundant Records of Consistent Histories

abstract: Motivated by the advances of quantum Darwinism and recognizing the role played by redundancy in identifying the small subset of quantum states with resilience characteristic of objective classical reality, we explore the implications of redundant records for consistent histories. The consistent histories formalism is a tool for describing sequences of events taking place in an evolving closed quantum system. A set of histories is consistent when one can reason about them using Boolean logic, i.e., when probabilities of sequences of events that define histories are additive. However, the vast majority of the sets of histories that are merely consistent are flagrantly non-classical in other respects. This embarras de richesses (known as the set selection problem) suggests that one must go beyond consistency to identify how the classical past arises in our quantum Universe. The key intuition we follow is that the records of events that define the familiar objective past are inscribed in many distinct systems, e.g., subsystems of the environment, and are accessible locally in space and time to observers. We identify histories that are not just consistent but redundantly consistent using the partial-trace condition introduced by Finkelstein as a bridge between histories and decoherence. The existence of redundant records is a sufficient condition for redundant consistency. It selects, from the multitude of the alternative sets of consistent histories, a small subset endowed with redundant records characteristic of the objective classical past. The information about an objective history of the past is then simultaneously within reach of many, who can independently reconstruct it and arrive at compatible conclusions in the present.


title: Semidefinite programming and eigenvalue bounds for the graph partition problem

abstract: The graph partition problem is the problem of partitioning the vertex set of a graph into a fixed number of sets of given sizes such that the sum of weights of edges joining different sets is optimized. In this paper we simplify a known matrix-lifting semidefinite programming relaxation of the graph partition problem for several classes of graphs and also show how to aggregate additional triangle and independent set constraints for graphs with symmetry. We present an eigenvalue bound for the graph partition problem of a strongly regular graph, extending a similar result for the equipartition problem. We also derive a linear programming bound of the graph partition problem for certain Johnson and Kneser graphs. Using what we call the Laplacian algebra of a graph, we derive an eigenvalue bound for the graph partition problem that is the first known closed form bound that is applicable to any graph, thereby extending a well-known result in spectral graph theory. Finally, we strengthen a known semidefinite programming relaxation of a specific quadratic assignment problem and the above-mentioned matrix-lifting semidefinite programming relaxation by adding two constraints that correspond to assigning two vertices of the graph to different parts of the partition. This strengthening performs well on highly symmetric graphs when other relaxations provide weak or trivial bounds.


title: State Transition Analysis of Time-Frequency Resource Conversion-based Call Admission Control for LTE-Type Cellular Network

abstract: To address network congestion stemmed from traffic generated by advanced user equipments, in [1] we propose a novel network resource allocation strategy, time-frequency resource conversion (TFRC), via exploiting user behavior, a specific kind of context information. Considering an LTE-type cellular network, a call admission control policy called double-threshold guard channel policy is proposed there to facilitate the implementation of TFRC. In this report, we present state transition analysis of this TFRC-based call admission control policy for an LTE-type cellular network. Overall, there are five categories of events that can trigger a transition of the system state: 1) a new call arrival; 2) a handoff user arrival; 3) a handoff user departure; 4) a call termination; and 5) a periodic time-frequency resource conversion. We analyze them case by case in this report and the validation of the analysis has been provided in [1].


title: Properties of Solar Ephemeral Regions at the Emergence Stage

abstract: For the first time, we statistically study the properties of ephemeral regions (ERs) and quantitatively determine their parameters at the emergence stage based on a sample of 2988 ERs observed by the \emph{Solar Dynamics Observatory}. During the emergence process, there are three kinds of kinematic performances, i.e., separation of dipolar patches, shift of ER's magnetic centroid, and rotation of ER's axis. The average emergence duration, flux emergence rate, separation velocity, shift velocity, and angular speed are 49.3 min, 2.6 $\times$ 10$^{15}$ Mx s$^{-1}$, 1.1 km s$^{-1}$, 0.9 km s$^{-1}$, and 0$\degr$.6 min$^{-1}$, respectively. At the end of emergence, the mean magnetic flux, separation distance, shift distance, and rotation angle are 9.3 $\times$ 10$^{18}$ Mx, 4.7 Mm, 1.1 Mm, and 12$\degr$.9, respectively. We also find that the higher the ER magnetic flux is, (1) the longer the emergence lasts, (2) the higher the flux emergence rate is, (3) the further the two polarities separate, (4) the lower the separation velocity is, (5) the larger the shift distance is, (6) the slower the ER shifts, and (7) the lower the rotation speed is. However, the rotation angle seems not to depend on the magnetic flux. Not only at the start time, but also at the end time, the ERs are randomly oriented in both the northern and the southern hemispheres. Besides, neither the anticlockwise rotated ERs, nor the clockwise rotated ones dominate the northern or the southern hemisphere.


title: Inferring Regulatory Networks by Combining Perturbation Screens and Steady State Gene Expression Profiles

abstract: Reconstructing transcriptional regulatory networks is an important task in functional genomics. Data obtained from experiments that perturb genes by knockouts or RNA interference contain useful information for addressing this reconstruction problem. However, such data can be limited in size and/or are expensive to acquire. On the other hand, observational data of the organism in steady state (e.g. wild-type) are more readily available, but their informational content is inadequate for the task at hand. We develop a computational approach to appropriately utilize both data sources for estimating a regulatory network. The proposed approach is based on a three-step algorithm to estimate the underlying directed but cyclic network, that uses as input both perturbation screens and steady state gene expression data. In the first step, the algorithm determines causal orderings of the genes that are consistent with the perturbation data, by combining an exhaustive search method with a fast heuristic that in turn couples a Monte Carlo technique with a fast search algorithm. In the second step, for each obtained causal ordering, a regulatory network is estimated using a penalized likelihood based method, while in the third step a consensus network is constructed from the highest scored ones. Extensive computational experiments show that the algorithm performs well in reconstructing the underlying network and clearly outperforms competing approaches that rely only on a single data source. Further, it is established that the algorithm produces a consistent estimate of the regulatory network.


title: A Unifying Framework for the Electrical Structure-Based Approach to PMU Placement in Electric Power Systems

abstract: The electrical structure of the power grid is utilized to address the phasor measurement unit (PMU) placement problem. First, we derive the connectivity matrix of the network using the resistance distance metric and employ it in the linear program formulation to obtain the optimal number of PMUs, for complete network observability without zero injection measurements. This approach was developed by the author in an earlier work, but the solution methodology to address the location problem did not fully utilize the electrical properties of the network, resulting in an ambiguity. In this paper, we settle this issue by exploiting the coupling structure of the grid derived using the singular value decomposition (SVD)-based analysis of the resistance distance matrix to solve the location problem. Our study, which is based on recent advances in complex networks that promote the electrical structure of the grid over its topological structure and the SVD analysis which throws light on the electrical coupling of the network, results in a unified framework for the electrical structure-based PMU placement. The proposed method is tested on IEEE bus systems, and the results uncover intriguing connections between the singular vectors and average resistance distance between buses in the network.


title: Puzzling accretion onto a black hole in the ultraluminous X-ray source M101 ULX-1

abstract: There are two proposed explanations for ultraluminous X-ray sources (ULXs) with luminosities in excess of $10^{39}$ erg s$^{-1}$. They could be intermediate-mass black holes (more than 100-1,000, solar masses, $M_\odot$) radiating at sub-maximal (sub-Eddington) rates, as in Galactic black-hole X-ray binaries but with larger, cooler accretion disks. Alternatively, they could be stellar-mass black holes radiating at Eddington or super-Eddington rates. On its discovery, M101 ULX-1 had a luminosity of $3\times10^{39}$ erg s$^{-1}$ and a supersoft thermal disk spectrum with an exceptionally low temperature -- uncomplicated by photons energized by a corona of hot electrons -- more consistent with the expected appearance of an accreting intermediate-mass black hole. Here we report optical spectroscopic monitoring of M101 ULX-1. We confirm the previous suggestion that the system contains a Wolf-Rayet star, and reveal that the orbital period is 8.2 days. The black hole has a minimum mass of $5M_\odot$, and more probably a mass of $20-30M_\odot$, but we argue that it is very unlikely to be an intermediate-mass black hole. Therefore its exceptionally soft spectra at high Eddinton ratios violate the expectations for accretion onto stellar-mass black holes. Accretion must occur from captured stellar wind, which has hitherto been thought to be so inefficient that it could not power an ultraluminous source.


title: Non-Archimedean analytic geometry as relative algebraic geometry

abstract: We show that Berkovich analytic geometry can be viewed as relative algebraic geometry in the sense of To\"{e}n--Vaqui\'{e}--Vezzosi over the category of non-Archimedean Banach spaces. For any closed symmetric monoidal quasi-abelian category we can define a topology on certain subcategories of the of the category of affine schemes with respect to this category. By examining this topology for the category of Banach spaces we recover the G-topology or the topology of admissible subsets on affinoids which is used in analytic geometry. This gives a functor of points approach to non-Archimedean analytic geometry and in this way we also get definitions of (higher) non-Archimedean analytic stacks. We demonstrate that the category of Berkovich analytic spaces embeds fully faithfully into the category of varieties in our version of relative algebraic geometry. We also include a treatment of quasi-coherent sheaf theory in analytic geometry. Along the way, we use heavily the homological algebra in quasi-abelian categories developed by Schneiders.


title: Rigidity of pairs of quasiregular mappings whose symmetric part of gradient are close

abstract: For $A\in M^{2\times 2}$ let $S(A)=\sqrt{A^T A}$, i.e. the symmetric part of the polar decomposition of $A$. We consider the relation between two quasiregular mappings whose symmetric part of gradient are close. Our main result is the following. Suppose $v,u\in W^{1,2}(B_1(0):\mathbb{R}^2)$ are $Q$-quasiregular mappings with $\int_{B_1(0)} \det(Du)^{-p} dz\leq C_p$ for some $p\in (0,1)$ and $\int_{B_1(0)} |Du|^2 dz\leq 1$. There exists constant $M>1$ such that if $$ \int_{B_1(0)} |S(Du)-S(Dv)|^2 dz=\epsilon $$ then $$ \int_{B_{\frac{1}{2}}(0)} |Dv-R Du| dz\leq c C_p^{\frac{1}{p}}\epsilon^{\frac{p^3}{M Q^5\log(10 C_p Q)}}\text{ for some }R\in SO(2). $$ Taking $u=Id$ we obtain a special case of the quantitative rigidity result of Friesecke, James and Muller. Our main result can be considered as a first step in a new line of generalization of F-J-M Theorem in which $Id$ is replaced by a mapping of non-trivial degree.


title: Living in a Low Density Black Hole, Non-Expanding Universe - Perhaps a Reflecting Universe

abstract: What is the average density of a black hole, assuming its spin can prevent it from collapsing into a singularity? For stellar black holes, the average density is incredibly dense and has over a trillion G force and tidal force that will rip almost anything apart at the black hole boundary. Surprisingly, the average density decreases dramatically for massive black holes. A black hole of 387 million solar masses would have the average density of water and would be comparable to a giant water balloon extending from the sun almost to Jupiter. A black hole of 11 billion solar masses would have the average density of air and would be analogous to a giant air filled party balloon extending 2.5 times farther out than Pluto. The average mass density in space itself, however small, eventually can become a low density black hole. If the average density of the universe matches the critical density of just 5.67 hydrogen atoms per cubic meter, it would form a Schwarzschild low density black hole of approximately 13.8 billion light years, matching the big bang model of the universe. A black hole can use rotation and/or charge to keep from collapsing. The G and tidal forces become negligible for large low density black holes. Thus one can be living in a large low density black hole and not know it. Further analysis about the critical density rules out an expanding universe and disproves the big bang theory. Higher densities could produce a much smaller reflecting universe.


title: The TTC 2013 Flowgraphs Case

abstract: This case for the Transformation Tool Contest 2013 is about evaluating the scope and usability of transformation languages and tools for a set of four tasks requiring very different capabilities. One task deals with typical model-to-model transformation problem, there's a model-to-text problem, there are two in-place transformation problems, and finally there's a task dealing with validation of models resulting from the transformations. The tasks build upon each other, but the transformation case project also provides all intermediate models, thus making it possible to skip tasks that are not suited for a particular tool, or for parallelizing the work among members of participating teams.


title: The Petri-Nets to Statecharts Transformation Case

abstract: This paper describes a case study for the sixth Transformation Tool Contest. The case is based on a mapping from Petri-Nets to statecharts (i.e., from flat process models to hierarchical ones). The case description separates a simple mapping phase from a phase that involves the step by step destruction Petri-Net elements and the corresponding construction of a hierarchy of statechart elements. Although the focus of this case study is on the comparison of the runtime performance of solutions, we also include correctness tests as well as bonus criteria for evaluating transformation language and tool features.


title: Analyzing Flowgraphs with ATL

abstract: This paper presents a solution to the Flowgraphs case study for the Transformation Tool Contest 2013 (TTC 2013). Starting from Java source code, we execute a chain of model transformations to derive a simplified model of the program, its control flow graph and its data flow graph. Finally we develop a model transformation that validates the program flow by comparing it with a set of flow specifications written in a domain specific language. The proposed solution has been implemented using ATL.


title: An NMF solution for the Flowgraphs case at the TTC 2013

abstract: Software systems are getting more and more complex. Model-driven engineering (MDE) offers ways to handle such increased complexity by lifting development to a higher level of abstraction. A key part in MDE are transformations that transform any given model into another. These transformations are used to generate all kinds of software artifacts from models. However, there is little consensus about the transformation tools. Thus, the Transformation Tool Contest (TTC) 2013 aims to compare different transformation engines. This is achieved through three different cases that have to be tackled. One of these cases is the Flowgraphs case. A solution has to transform a Java code model into a simplified version and has to derive control and data flow. This paper presents the solution for this case using NMF Transformations as transformation engine.


title: Optimal Transportation for Generalized Lagrangian

abstract: In this paper, we study the optimal transportation for generalized Lagrangian $L=L(x, u,t)$, and consider the cost function as following: $$c(x, y)=\inf_{\substack{x(0)=x\\x(1)=y\\u\in\mathcal{U}}}\int_0^1L(x(s), u(x(s),s), s)ds.$$ Where $\mathcal{U}$ is a control set, and $x$ satisfies the following ordinary equation: $$\dot{x}(s)=f(x(s),u(x(s),s)).$$ We prove that under the condition that the initial measure $\mu_0$ is absolutely continuous w.r.t. the Lebesgue measure, the Monge problem has a solution, and the optimal transport map just walks along the characteristic curves of the corresponding Hamilton-Jacobi equation: \begin{equation*} \begin{cases} V_t(t, x)+\sup_{\substack{u\in\mathcal{U}}}<V_x(t, x), f(x, u(x(t), t),t)-L(x(t), u(x(t), t),t)>=0.\\ V(0,x)=\phi_0(x) \end{cases} \end{equation*}


title: Solving the Flowgraphs Case with Eclectic

abstract: This paper presents a solution for the Flow Graphs case of the Transformation Tool Contest 2013, using the Eclectic model transformation tool. The solution makes use of several languages of Eclectic, showing how it is possible to combine them to address a non-trivial transformation problem in a concise and modulary way.


title: Solving the TTC 2013 Flowgraphs Case with FunnyQT

abstract: FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Flowgraphs Transformation Case. It solves all four tasks, and it has won the best efficiency award for this case.


title: A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

abstract: After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations. Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic features that allow a controlled fallback to programmed graph transformations and Java. Based on the Flowgraphs case study of the Transformation Tool Contest (TTC 2013), we present (i) attribute constraints used to express complex bidirectional attribute manipulation, (ii) binding expressions for specifying arbitrary context relationships, and (iii) post-processing methods as a black box extension for TGG rules. In each case, we discuss the enabled trade-off between guaranteed formal properties and expressiveness. Our solution, implemented with our metamodelling and model transformation tool eMoflon (www.emoflon.org), is available as a virtual machine hosted on Share.


title: Solving the Class Diagram Restructuring Transformation Case with FunnyQT

abstract: FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Class Diagram Restructuring Transformation Case. This solution and the GROOVE solution share the best overall solution award for this case.


title: Class Diagram Restructuring with GROOVE

abstract: This paper describes the GROOVE solution to the "Class Diagram Restructuring" case study of the Tool Transformation Contest 2013. We show that the visual rule formalism enables the required restructuring to be formulated in a very concise manner. Moreover, the GROOVE functionality for state space exploration allows checking confluence. Performance-wise, however, the solution does not scale well.


title: Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT

abstract: FunnyQT is a model querying and model transformation library for the functional Lisp-dialect Clojure providing a rich and efficient querying and transformation API. This paper describes the FunnyQT solution to the TTC 2013 Petri-Nets to Statcharts Transformation Case. This solution has won the best overall solution award and the best efficiency award for this case.


title: Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS

abstract: This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.


title: A Comparison of Six Methods for Stabilizing Population Dynamics

abstract: Over the last two decades, several methods have been proposed for stabilizing the dynamics of biological populations. However, these methods have typically been evaluated using different population dynamics models and in the context of very different concepts of stability, which makes it difficult to compare their relative efficiencies. Moreover, since the dynamics of populations are dependent on the life-history of the species and its environment, it is conceivable that the stabilizing effects of control methods would also be affected by such factors, a complication that has typically not been investigated. In this study we compare six different control methods with respect to their efficiency at inducing a common level of enhancement (50% increase) for two kinds of stability (constancy and persistence) under four different life history/ environment combinations. Since these methods have been analytically studied elsewhere, we focus on an intuitive understanding of realistic simulations incorporating noise, extinction probability and lattice effect. We show that for these six methods, even when the magnitude of stabilization attained is the same, other aspects of the dynamics like population size distribution can be very different. Consequently, correlated aspects of stability, like the amount of persistence for a given degree of constancy stability (and vice versa) or the corresponding effective population size (a measure of resistance to genetic drift) vary widely among the methods. Moreover, the number of organisms needed to be added or removed to attain similar levels of stabilization also varies for these methods, a fact that has economic implications. Finally, we compare the relative efficiency of these methods through a composite index of various stability related measures. We find that restocking to a constant lower threshold seems to be the optimal method under most conditions.


title: PN2SC Case Study: An EMF-IncQuery solution

abstract: The paper presents a solution for the Petri-Net to Statecharts case study of the Transformation Tool Contest 2013, using EMF-IncQuery and Xtend for implementing the model transformation.


title: Formulas vs. Circuits for Small Distance Connectivity

abstract: We give the first super-polynomial separation in the power of bounded-depth boolean formulas vs. circuits. Specifically, we consider the problem Distance $k(n)$ Connectivity, which asks whether two specified nodes in a graph of size $n$ are connected by a path of length at most $k(n)$. This problem is solvable (by the recursive doubling technique) on {\bf circuits} of depth $O(\log k)$ and size $O(kn^3)$. In contrast, we show that solving this problem on {\bf formulas} of depth $\log n/(\log\log n)^{O(1)}$ requires size $n^{\Omega(\log k)}$ for all $k(n) \leq \log\log n$. As corollaries: (i) It follows that polynomial-size circuits for Distance $k(n)$ Connectivity require depth $\Omega(\log k)$ for all $k(n) \leq \log\log n$. This matches the upper bound from recursive doubling and improves a previous $\Omega(\log\log k)$ lower bound of Beame, Pitassi and Impagliazzo [BIP98]. (ii) We get a tight lower bound of $s^{\Omega(d)}$ on the size required to simulate size-$s$ depth-$d$ circuits by depth-$d$ formulas for all $s(n) = n^{O(1)}$ and $d(n) \leq \log\log\log n$. No lower bound better than $s^{\Omega(1)}$ was previously known for any $d(n) \nleq O(1)$. Our proof technique is centered on a new notion of pathset complexity, which roughly speaking measures the minimum cost of constructing a set of (partial) paths in a universe of size $n$ via the operations of union and relational join, subject to certain density constraints. Half of our proof shows that bounded-depth formulas solving Distance $k(n)$ Connectivity imply upper bounds on pathset complexity. The other half is a combinatorial lower bound on pathset complexity.


title: Applying AOSE Concepts to Model Crosscutting Variability in Variant-Rich Processes

abstract: Software process models need to be variant-rich, in the sense that they should be systematically customizable to specific project goals and project environments. It is currently very difficult to model Variant-Rich Process (VRP) because variability mechanisms are largely missing in modern process modeling languages. Variability mechanisms from other domains, such as programming languages, might be suitable for the representation of variability and could be adapted to the modeling of software processes. Mechanisms from Software Product Line Engineering (SPLE) and concepts from Aspect- Oriented Software Engineering (AOSE) show particular promise when modeling variability. This paper presents an approach that integrates variability concepts from SPLE and AOSE in the design of a VRP approach for the systematic support of tailoring in software processes. This approach has also been implemented in SPEM, resulting in the vSPEM notation. It has been used in a pilot application, which indicates that our approach based on AOSE can make process tailoring easier and more productive.


title: The spatial distribution of dark-matter-annihilation originated gamma-ray line signal

abstract: The GeV$-$TeV $\gamma-$ray line signal is the smoking gun signature of the dark matter annihilation or decay. The detection of such a signal is one of the main targets of some space-based telescopes, including Fermi-LAT and the upcoming CALET, DAMPE and Gamma-400. An important feature of the dark-matter-annihilation originated $\gamma-$ray line photons is their concentration at the center of the Galaxy. So far no reliable $\gamma-$ray line has been detected by Fermi-LAT and the upper limits on the cross section of annihilation into $\gamma-$rays have been reported. We use these upper limits to estimate the "maximal" number of $\gamma-$ray line photons detectable for Fermi-LAT, DAMPE and Gamma-400 and then investigate the spatial distribution of these photons. We show that usually the center of the distribution region will be offset from the Galactic centre (Sgr A$^{\star}$) due to the limited statistics. Such a result is almost independent of the dark matter distribution models and renders the reconstruction of the dark matter distribution with the $\gamma-$ray line signal very challenging for the foreseeable space-based detectors.


title: Dark matter halo assembly bias: environmental dependence in the non-Markovian excursion set theory

abstract: In the standard excursion set model for the growth of structure, the statistical properties of halos are governed by the halo mass and are independent of the larger scale environment in which the halos reside. Numerical simulations, however, have found the spatial distributions of halos to depend not only on their mass but also on the details of their assembly history and environment. Here we present a theoretical framework for incorporating this "assembly bias" into the excursion set model. Our derivations are based on modifications of the path integral approach of Maggiore & Riotto (2010) that models halo formation as a non-Markovian random walk process. The perturbed density field is assumed to evolve stochastically with the smoothing scale and exhibits correlated walks in the presence of a density barrier. We write down conditional probabilities for multiple barrier crossings, and derive from them analytic expressions for descendant and progenitor halo mass functions and halo merger rates as a function of both halo mass and the linear overdensity of the larger-scale environment of the halo. Our results predict a higher halo merger rate and higher progenitor halo mass function in regions of higher overdensity, consistent with the behavior seen in N-body simulations.


title: Multi- Physics analysis of the RFQ for the Injector Scheme II of CADS Driver Linac

abstract: A 162.5 MHz, 2.1 MeV Radio Frequency Quadruples (RFQ) structure is being designed for the Injector Scheme II of China Accelerator Driver System (CADS) driver linac. The RFQ will operate at continuous wave (CW) mode as required. For the CW normal conducting machine, the heat management will be one of the most important issues, since the temperature fluctuation may cause cavity deformation and leading to the resonant frequency shift. Therefor a detailed multi-physics analysis is necessary to ensure that the cavity can be stably worked at the required power level. The multi-physics analysis process includes RF Electromagnetic analysis, Thermal analysis, Mechnical analysis, and this process will be iterated for several cycles until the satisfied solution can be found. As one of the widely accepted measures, the cooling water system is used for frequency fine tunning, so the tunning capability of the cooling water system is also studied at different conditions. The results indicate that with the cooling water system, both the temperature rise and the frequency shift can be controlled in an acceptable level.


title: Optimized quantum state transfer through an XY spin chain

abstract: Quantum state transfer along a one-dimensional spin chain has become a fundamental ingredient for quantum communication between distant nodes in a quantum network. We study the average fidelity of quantum state transfer (QST) along a XY spin chain by adjusting the basis identification between the first spin and the last spin. In a proper choice of the basis identification, we find that the QST fidelity depends only on the average parity of the initial state linearly. We propose a simple scheme to adjusting the basis identification to optimize the average fidelity such that it depends linearly on the absolute value of the average parity. In the case that the absolute value of the average parity is $1$ we prove that the fidelity takes the maximum at any time over arbitrary initial state and basis identification.


title: On edge-colorings of bicubic planar graphs

abstract: In the first part, we introduce a notion a degree of edge-colorings of bicubic plane graphs and proves some local formula of the graded number of colorings. In the second part, we give a new proof of a result of Fisk saying that any two edge-3-colorings of a planar bicubic graph are Kempe equivalent. Additionaly we show that the degree of colorings behaves well with respect to Kempe equivalence.


title: Computation of Composition Functions and Invariant Vector Fields in Terms of Structure Constants of Associated Lie Algebras

abstract: Methods of construction of the composition function, left- and right-invariant vector fields and differential 1-forms of a Lie group from the structure constants of the associated Lie algebra are proposed. It is shown that in the second canonical coordinates these problems are reduced to the matrix inversions and matrix exponentiations, and the composition function can be represented in quadratures. Moreover, it is proven that the transition function from the first canonical coordinates to the second canonical coordinates can be found by quadratures.


title: Optimal Stochastic Coordinated Beamforming for Wireless Cooperative Networks with CSI Uncertainty

abstract: Transmit optimization and resource allocation for wireless cooperative networks with channel state information (CSI) uncertainty are important but challenging problems in terms of both the uncertainty modeling and performance op- timization. In this paper, we establish a generic stochastic coordinated beamforming (SCB) framework that provides flex- ibility in the channel uncertainty modeling, while guaranteeing optimality in the transmission strategies. We adopt a general stochastic model for the CSI uncertainty, which is applicable for various practical scenarios. The SCB problem turns out to be a joint chance constrained program (JCCP) and is known to be highly intractable. In contrast to all the previous algo- rithms for JCCP that can only find feasible but sub-optimal solutions, we propose a novel stochastic DC (difference-of-convex) programming algorithm with optimality guarantee, which can serve as the benchmark for evaluating heuristic and sub-optimal algorithms. The key observation is that the highly intractable probability constraint can be equivalently reformulated as a DC constraint. This further enables efficient algorithms to achieve optimality. Simulation results will illustrate the convergence, conservativeness, stability and performance gains of the proposed algorithm.


title: Genuine Irregular Galaxies as a Relic of Building Blocks of Galaxies

abstract: In order to understand nature of building blocks of galaxies in the early universe, we investigate "genuine irregular galaxies (GIGs)" in the nearby universe. Here, GIGs are defined as isolated galaxies without regular structures (spheroid, bulge, disk, bar, spiral arm, and nucleus). Using the results of two excellent studies on galaxy morphology based on the Sloan Digital Sky Survey (SDSS), we obtain a sample of 66 irregular galaxies. We carry out new classification of them into GIGs and non-GIGs which have regular structure or show evidence for galaxy interaction, by using the SDSS Data Release 10 images. We then find that a half of these irregular galaxies (33/66) are GIGs and obtain an unambiguous sample of 33 GIGs for the first time. We discuss their observational properties by comparing them with those of elliptical, S0, spiral galaxies, and irregular galaxies without the GIGs. We find that our GIGs have smaller sizes, lower optical luminosities, bluer rest-frame optical colors, lower surface stellar mass densities, and lower gas metallicity than normal galaxies. All these properties suggest that they are in chemically and dynamically younger phases even in the nearby universe.


title: The Law of Total Odds

abstract: The law of total probability may be deployed in binary classification exercises to estimate the unconditional class probabilities if the class proportions in the training set are not representative of the population class proportions. We argue that this is not a conceptually sound approach and suggest an alternative based on the new law of total odds. We quantify the bias of the total probability estimator of the unconditional class probabilities and show that the total odds estimator is unbiased. The sample version of the total odds estimator is shown to coincide with a maximum-likelihood estimator known from the literature. The law of total odds can also be used for transforming the conditional class probabilities if independent estimates of the unconditional class probabilities of the population are available. Keywords: Total probability, likelihood ratio, Bayes' formula, binary classification, relative odds, unbiased estimator, supervised learning, dataset shift.


title: Imprint of Multi-component Dark Matter on AMS-02

abstract: The multi-component decaying dark matter (DM) scenario is investigated to explain the possible excesses in the positron fraction by PAMELA and recently confirmed by AMS-02, and in the total $e^+ +e^-$ flux observed by Fermi-LAT. By performing the $\chi^2$ fits, we find that two DM components are already enough to give a reasonable fit of both AMS-02 and Fermi-LAT data. The best-fitted results show that the heavier DM component with its mass 1.5 TeV dominantly decays through the $\mu$-channel, while the lighter one of 100 GeV mainly through the $\tau$-channel. As a byproduct, the fine structure around 100 GeV observed by AMS-02 and Fermi-LAT can be naturally explained by the dropping due to the lighter DM component. With the obtained model parameters by the fitting, we calculate the diffuse $\gamma$-ray emission spectrum in this two-component DM scenario, and find that it is consistent with the data measured by Fermi-LAT. We also construct a microscopic particle DM model to naturally realize the two-component DM scenario, and point out an interesting neutrino signal which is possible to be measured in the near future by IceCube.


title: Disorder-Driven Superconductor-Insulator Transition in d-Wave Superconducting Ultrathin Films

abstract: We study the superconductor-insulator transition (SIT) in $d$-wave superconducting ultrathin films. By means of the kernel polynomial method, the Bogoliubov-de Gennes equations are solved for square lattices with up to $360\times 360$ unit cells self-consistently, making it possible to observe fully the nanoscale spatial fluctuations of the superconducting order parameters and discriminate accurately the localized quasiparticle states from the extended ones by the lattice-size scaling of the generalized inverse participation ratio. It is shown that Anderson localization can not entirely inhibit the occurrence of the local superconductivity in strongly-disordered $d$-wave superconductors. Separated by an insulating 'sea' completely, a few isolated superconducting 'islands' with significant enhancement of the local superconducting order parameters can survive across the SIT. The disorder-driven SIT, therefore, is a transition from a $d$-wave superconductor to a Bose insulator which consists of localized Cooper pairs. Unlike an $s$-wave superconductor which presents a robust single-particle gap across the SIT, the optical conductivity of a $d$-wave superconductor reveals a gapless insulating phase, where the SIT can be detected by observing the disappearance of the Drude weight with the increasing disorder.


title: On the Gromov hyperbolicity of convex domains in Cn

abstract: We give a necessary complex geometric condition for a bounded smooth convex domain in Cn, endowed with the Kobayashi distance, to be Gromov hyperbolic. More precisely, we prove that if a smooth bounded convex domain contains an analytic disk in its boundary, then the domain is not Gromov hyperbolic for the Kobayashi distance. We also provide examples of bounded smooth convex domains that are not strongly pseudoconvex but are Gromov hyperbolic.


title: Microscopic approach to string gas cosmology

abstract: In this contribution to the proceedings of the Conference on Modern Physics of Compact Stars and Relativistic Gravity in Yerevan, Armenia (September 18-21, 2013), I review recent work attempting to give a fundamental definition to string evolution in a dynamical, fully compact universe, and present a sketch of how the resulting formalism can be used for addressing questions of phenomenological significance in the field of string gas cosmology.


title: Stability of the Schwarzschild-de Sitter black hole in the dRGT massive gravity theory

abstract: The Schwarzschild-de Sitter solution in the Einstein theory with a positive cosmological constant $\Lambda=m^2/\alpha$ becomes an exact solution to the dRGT non-linear massive gravity theory with the mass parameter $m$ when the theory parameters $\alpha$ and $\beta$ satisfy the relation $\beta=\alpha^2$. We study the perturbative behaviour of this black hole solution in the non-linear dRGT theory with $\beta=\alpha^2$. We find that the linear perturbation equations become identical to those for the vacuum Einstein theory when they are expressed in terms of the gauge-invariant variables. This implies that this black hole is stable in the dRGT theory as far as the spacetime structure is concerned in contrast to the case of the bi-Schwarzschild solution in the bi-metric theory. However, we have also found a pathological feature that the general solution to the perturbation equations contain a single arbitrary function of spacetime coordinates. This implies a degeneracy of dynamics in the St\"uckelberg field sector at the linear perturbation level in this background. Physical significance of this degenercy depends on how the St\"uckelberg fields couple observable fields.


title: Statistical Properties of Super-hot Solar Flares

abstract: We use RHESSI high-resolution imaging and spectroscopy observations from ~6 to 100 keV to determine the statistical relationships between measured parameters (temperature, emission measure, etc.) of hot, thermal plasma in 37 intense (GOES M- and X-class) solar flares. The RHESSI data, most sensitive to the hottest flare plasmas, reveal a strong correlation between the maximum achieved temperature and the flare GOES class, such that "super-hot" temperatures >30 MK are achieved almost exclusively by X-class events; the observed correlation differs significantly from that of GOES-derived temperatures, and from previous studies. A nearly-ubiquitous association with high emission measures, electron densities, and instantaneous thermal energies suggests that super-hot plasmas are physically distinct from cooler, ~10-20 MK GOES plasmas, and that they require substantially greater energy input during the flare. High thermal energy densities suggest that super-hot flares require strong coronal magnetic fields, exceeding ~100 G, and that both the plasma {\beta} and volume filling factor f cannot be much less than unity in the super-hot region.

categories: astro-ph.SR astro-ph.HE physics.plasm-ph physics.space-ph


title: Polar Codes: Graph Representation and Duality

abstract: In this paper, we present an iterative construction of a polar code and develop properties of the dual of a polar code. Based on this approach, belief propagation of a polar code can be presented in the context of low-density parity check codes.


title: Subcritical mirror structures in an anisotropic plasma

abstract: Based on Grad-Shafranov-like equations, a gyrotropic plasma where the pressures in the static regime are only functions of the amplitude of the local magnetic field is shown to be amenable to a variational principle with a free energy density given by the parallel tension. This approach is used to demonstrate that small- amplitude static holes constructed slightly below the mirror instability threshold identify with lump solitons of KPII equation and turn out to be unstable. It is also shown that regularizing effects such as finite Larmor radius corrections cannot be ignored in the description of large-amplitude mirror structures.


title: Precision measurements of $B(D^+ \rightarrow \mu^+ \nu_{\mu})$, the pseudoscalar decay constant $f_{D^+}$, and the quark mixing matrix element $|V_{\rm cd}|$

abstract: We report a measurement of the branching fraction $B(D^+ \rightarrow \mu^+ \nu_{\mu}) = [3.71 \pm 0.19 (\rm stat) \pm 0.06 (\rm sys)]\times 10^{-4}$ based on 2.92 ${\rm fb^{-1}}$ of data accumulated at $\sqrt{s}=3.773$ GeV with the BESIII detector at the BEPCII collider. This measurement, in conjunction with the Cabibbo-Kobayashi-Maskawa matrix element $|V_{\rm cd}|$ determined from a global Standard Model fit, implies a value for the weak decay constant $f_{D^+}=(203.2 \pm 5.3 \pm 1.8)$ MeV. Additionally, using this branching fraction measurement together with a Lattice QCD prediction for $f_{D^+}$, we find $|V_{\rm cd}|=0.2210\pm 0.0058 \pm 0.0047$. In either case, these are the most precise results for these quantities to date.


title: Non-perturbative renormalization of overlap quark bilinears on domain wall fermion configurations

abstract: We present renormalization constants of overlap quark bilinear operators on 2+1-flavor domain wall fermion configurations. Both overlap and domain wall fermions have chiral symmetry on the lattice. The scale independent renormalization constant for the local axial vector current is computed using a Ward Identity. The renormalization constants for the scalar, pseudoscalar and vector current are calculated in the RI-MOM scheme. Results in the MS-bar scheme are obtained by using perturbative conversion ratios. The analysis uses in total six ensembles with lattice sizes 24^3x64 and 32^3x64.


title: Exact solution of the one-dimensional super-symmetric t-J model with unparallel boundary fields

abstract: The exact solution of the one-dimensional super-symmetric t-J model under generic integrable boundary conditions is obtained via the Bethe ansatz methods. With the coordinate Bethe ansatz, the corresponding R-matrix and K-matrices are derived for the second eigenvalue problem associated with spin degrees of freedom. It is found that the second eigenvalue problem can be transformed to that of the transfer matrix of the inhomogeneous XXX spin chain, which allows us to obtain the spectrum of the Hamiltonian and the associated Bethe ansatz equations by the off-diagonal Bethe ansatz method.


title: Eigenvalues of Frobenius Endomorphisms of Abelian varieties of low Dimension

abstract: In this paper we discuss multiplicative relations between eigenvalues of Frobenius endomorphism of abelian varieties of small dimension over finite fields.


title: The guillotine approach for TSP with neighborhoods revisited

abstract: The Euclidean TSP with neighborhoods (TSPN) is the following problem: Given a set R of k regions, find a shortest tour that visits at least one point from each region. We study the special cases of disjoint, connected, alpha-fat regions (i.e., every region P contains a disk of diameter diam(P)/alpha) and disjoint unit disks. For the latter, Dumitrescu and Mitchell proposed an algorithm based on Mitchell's guillotine subdivision approach for the Euclidean TSP and claimed it to be a PTAS. However, their proof contains a severe gap, which we will close in the following. Bodlaender et al. remark that their techniques for the minimum corridor connection problem carry over to the TSPN and yield an alternative PTAS for this problem. For disjoint connected alpha-fat regions of varying size, Mitchell proposed a slightly different PTAS candidate. We will expose several further problems and gaps in this approach. Some of them we can close, but overall, for alpha-fat regions, the existence of a PTAS for the TSPN remains open.


title: Topological phase transition and two dimensional topological insulators in Ge-based thin films

abstract: We discuss possible topological phase transitions in Ge-based thin films of Ge(Bi$_x$Sb$_{1-x}$)$_2$Te$_4$ as a function of layer thickness and Bi concentration $x$ using the first principles density functional theory framework. The bulk material is a topological insulator at $x$ = 1.0 with a single Dirac cone surface state at the surface Brillouin zone center, whereas it is a trivial insulator at $x$ = 0. Through a systematic examination of the band topologies we predict that thin films of Ge(Bi$_x$Sb$_{1-x}$)$_2$Te$_4$ with $x$ = 0.6, 0.8 and 1.0 are candidates for two-dimensional (2D) topological insulators, which would undergo a 2D topological phase transition as a function of $x$. A topological phase diagram for Ge(Bi$_x$Sb$_{1-x}$)$_2$Te$_4$ thin films is presented to help guide their experimental exploration.