title: The categories $L$\textbf{-Top_0} and $L$\textbf{Sob} as epireflective hulls

abstract: We show that the category $L\textbf{-Top}_{0}$ of $T_{0}$-$L$-topological spaces is the epireflective hull of Sierpinski $L$-topological space in the category $L\textbf{-Top}$ of $L$-topological spaces and the category $L\textbf{-Sob}$ of sober $L$-topological spaces is the epireflective hull of Sierpinski $L$-topological space in the category $L\textbf{-Top}_{0}$.


title: Flavor Dependence of Meson Melting Temperature in Relativistic Potential Model

abstract: We study the melting temperature of heavy mesons in the hot medium of light quarks. By solving the covariant Schr\"odinger equations at finite temperature for mesons $D$, $\phi$ and $J/\psi$, we obtained the temperature dependence of their masses, binding energies and averaged sizes and found the flavor dependence of the melting temperature: $T_D \simeq T_\phi < T_{J/\psi}$. The sequential melting temperature can explain the difference in meson elliptic flow observed in heavy ion collisions.


title: Decoherence, Entanglement and Cosmic Evolution

abstract: The possible imprint of quantum decoherence, in the framework of cosmology, is here investigated. Particular attention is paid to the observational fact that entanglement could lead to the interaction of different eras of cosmic evolution. The role played by decoherence provides the existence of "quantum entanglement" between cosmological eras giving, as observational results, dynamical constraints on the corresponding cosmological models.


title: Activity and Steady-State Kinetics of One-Dimensional Kinetic Ising Model

abstract: In this work we focused on the kinetics of a one-dimensional Ising system (1DIS) with constant nearest-neighbor interaction (NNI). The exact solution of both thermodynamics and kinetics of this system under quasi-chemical approximation (QCA) had been shown in the literature, and the equilibrium solution was exact. In this work, it was discussed why QCA applied the best in the case of 1DIS with constant NNI. Furthermore, extension had been made to discuss that due to this special reason, perhaps the kinetics of the system under QCA is the correct steady-state kinetics. Inspired by this observation, the activity and activity coefficients of the system was studied closely to re-examine the form of the equation of motion under QCA. A novel concept---the instantaneous activities and the corresponding instantaneous activity coefficients---was introduced, and in terms of these quantities the kinetics seemed to be much simpler and physically more meaningful. The chevron plot of this system was also discussed and new way of looking at the \emph{rollover} of chevron plots was presented.


title: Visibility graph analysis of solar wind velocity

abstract: We analyze in situ measurements of solar wind velocity obtained by Advanced Composition Explorer (ACE) spacecraft and Helios spacecraft during the years 1998-2012 and 1975-1983 respectively. The data belong to mainly solar cycle 23 (1996-2008) and solar cycle 21 (1976-1986) respectively. We use Directed Horizontal Visibility graph (DHVg) algorithm and estimate a graph functional, namely, the degree distance (D) as the Kullback-Leibler divergence (KLD) argument to understand time irreversibility of solar wind time series. We estimate this degree distance irreversibility parameter for these time series at different phases of solar activity cycle. Irreversibility parameter is first established for known dynamical data and then applied for solar wind velocity time series. It is observed that irreversibility in solar wind velocity fluctuations show similar behaviour at 0.3 AU (Helios data) and 1 AU (ACE data). Moreover it changes over the different phases of solar activity cycle.


title: A dynamic symbolic geometry environment based on the Gr\"obnerCover algorithm for the computation of geometric loci and envelopes

abstract: An enhancement of the dynamic geometry system GeoGebra for the automatic symbolic computation of algebraic loci and envelopes is presented. Given a GeoGebra construction, the prototype, after rewriting the construction as a polynomial system in terms of variables and parameters, uses an implementation of the recent Gr\"obnerCover algorithm to obtain the algebraic description of the sought locus/envelope as a locally closed set. The prototype shows the applicability of these techniques in general purpose dynamic geometry systems.


title: Eventual Linear Ranking Functions

abstract: Program termination is a hot research topic in program analysis. The last few years have witnessed the development of termination analyzers for programming languages such as C and Java with remarkable precision and performance. These systems are largely based on techniques and tools coming from the field of declarative constraint programming. In this paper, we first recall an algorithm based on Farkas' Lemma for discovering linear ranking functions proving termination of a certain class of loops. Then we propose an extension of this method for showing the existence of eventual linear ranking functions, i.e., linear functions that become ranking functions after a finite unrolling of the loop. We show correctness and completeness of this algorithm.


title: Wide range equation of state for fluid hydrogen within density functional theory

abstract: Wide range equation of state (EOS) for liquid hydrogen is ultimately built by combining two kinds of density functional theory (DFT) molecular dynamics simulations, namely, first-principles molecular dynamics simulations and orbital-free molecular dynamics simulations. Specially, the present introduction of short cutoff radius pseudopotentials enables the hydrogen EOS to be available in the range $9.82\times10^{-4}$ to $1.347\times10^{3}$ g/cm$^{3}$ and up to $5\times10^{7}$ K. By comprehensively comparing with various attainable experimental and theoretical data, we derive the conclusion that our DFT-EOS can be readily and reliably conducted to hydrodynamic simulations of the inertial confinement fusion.


title: First-principles study of temperature-dependent diffusion coefficients for helium in $\alpha$-Ti

abstract: The temperature-dependent diffusion coefficients of interstitial helium atom in $\alpha$-Ti are predicted using the transition state theory. The microscopic parameters in the pre-factor and activation energy of the impurity diffusion coefficients are obtained from first-principles total energy and phonon calculations including the full coupling between the vibrational modes of the diffusing atom and the host lattice. The climbing image nudged elastic band (CINEB) method is used to search for the minimum energy pathways and associated saddle point structures. It is demonstrated that the diffusion coefficients within the \emph{xy} plane ($D_{xy}$) is always higher than that along the \emph{z} axis ($D_{z}$), showing remarkable anisotropy. Also, it is found that the formation of helium dimer centered at the octahedral site reduces the total energy and confines the diffusion of helium atoms.


title: Network Inference Using Steady State Data and Goldbeter-Koshland Kinetics

abstract: Network inference approaches are widely used to shed light on regulatory interplay between molecular players such as genes and proteins. Biochemical processes underlying networks of interest (e.g. gene regulatory or protein signalling networks) are generally nonlinear. In many settings, knowledge is available concerning relevant chemical kinetics. However, existing network inference methods for continuous, steady-state data are typically rooted in statistical formulations, which do not exploit chemical kinetics to guide inference. Herein, we present an approach to network inference for steady-state data that is rooted in non-linear descriptions of biochemical mechanism. We use equilibrium analysis of chemical kinetics to obtain functional forms that are in turn used to infer networks using steady-state data. The approach we propose is directly applicable to conventional steady-state gene expression or proteomic data and does not require knowledge of either network topology or any kinetic parameters. We illustrate the approach in the context of protein phosphorylation networks, using data simulated from a recent mechanistic model and proteomic data from cancer cell lines. In the former, the true network is known and used for assessment, whereas in the latter, results are compared against known biochemistry. We find that the proposed methodology is more effective at estimating network topology than methods based on linear models.


title: Diffuse planar phase boundaries in a two-phase fluid with one incompressible phase

abstract: This note studies a family of Navier-Stokes-Allen-Cahn systems parameterized by temperature. Derived from an internal energy that corresponds to one incompressible and one compressible phase, this family is considered as a simple model for water. Decreasing temperature across a critical value, a transition takes places from a situation without towards one with planar diffuse phase boundaries.


title: Qualified Trust, not Surveillance, is the Basis of a Stable Society

abstract: Peaceful citizens and hard-working taxpayers are under government surveillance. Confidential communication of journalists is intercepted. Civilians are killed by drones, without a chance to prove their innocence. How could it come that far? And what are the alternatives?


title: Analytical Coexistence Benchmark for Assessing the Utmost Interference Tolerated by IEEE 802.20

abstract: Whether it is crosstalk, harmonics, or in-band operation of wireless technologies, interference between a reference system and a host of offenders is virtually unavoidable. In past contributions, a benchmark has been established and considered for coexistence analysis with a number of technologies including FWA, UMTS, and WiMAX. However, the previously presented model does not take into account the mobility factor of the reference node in addition to a number of interdependent requirements regarding the link direction, channel state, data rate and system factors; hence limiting its applicability for the MBWA (IEEE 802.20) standard. Thus, over diverse modes, in this correspondence we analytically derived the greatest aggregate interference level tolerated for high-fidelity transmission tailored specifically for the MBWA standard. Our results, in the form of benchmark indicators, should be of particular interest to peers analyzing and researching RF coexistence scenarios with this new protocol.


title: Plasmonic dark field microscopy with a polymer substrate

abstract: In this letter, a plasmonic dark field microscopy taking advantages of the polymer loaded surface plasmon polariton waveguide (PLSPPW) is experimentally demonstrated. The dye molecules (Rhodamine 6G, Rh6G) are doped in the PLSPPW to launch the plasmonic waves or guided waves. Due to the localized property of these waves, the near-field optical energy on the surface of PLSPPW can be scattered into the far-field only in the presence of the objects. The scattering signals then form the dark-field image of the objects. The proposed technique just utilizes a chip-scale integrated plasmonic multilayered structure which is highly compatible with the conventional optical microscopy. The polymer film involved in the PLSPPW also brings about the merits of small roughness, good stability and bio-compatibility


title: Temperature-dependent pressure-induced softening in Zn(CN)$_{2}$

abstract: We investigate the temperature dependence of the pressure-induced softening in the negative thermal expansion material Zn(CN)$_2$ using neutron powder diffraction and molecular dynamics simulations. Both the simulation and experiment show that the pressure-induced softening only occurs above a minimum temperature and also weakens at high temperatures.


title: Dark radiation from a unified dark fluid model

abstract: We present a unified dark fluid model to describe the possible evolutionary behavior of $\Delta N_\mathrm{eff}$ in dark radiation. This model can be viewed as an interacting model for the dark sectors, in which dark matter interacts with dark radiation. We show that the evolution of $\Delta N_\mathrm{eff}$ can be nicely explained without some drawbacks, such as the blowup of $\Delta N_\mathrm{eff}$ and the non-vanishing interaction at the late time.


title: Searching for New Physics with bbar -> sbar Bs -> V_1 V_2 Penguin Decays

abstract: We present the most general (six-helicity) angular analysis of Bs -> V_1 (-> P_1P'_1) V_2 (-> P_2P'_2) (V_i is a vector meson, and P_i, P'_i are pseudoscalars). We focus on final states accessible to both Bs and Bsbar -- these are mainly bbar -> sbar penguin decays. We also derive the most general decay amplitude, and discuss the differences between it and that used by LHCb in its analysis of Bs -> phi phi. In the standard model, all CP violation is predicted to be small, so that the simple measurement of a sizeable CP-violating observable indicates the presence of new physics. A full fit to the data is not necessary. By determining which of the CP-violating observables are nonzero, one can learn about the structure of the underlying NP. Finally, we apply the angular analysis to Bs -> K^{*0} Kbar^{*0}, and show that there are numerous CP-violating observables that remain in the untagged data sample.


title: Spectral perturbation theory and the two weights problem

abstract: The famous two weights problem consists in characterising all possible pairs of weights such that the Hardy projection is bounded between the corresponding weighted $L^2$ spaces. Koosis' theorem of 1980 gives a way to construct a certain class of pairs of weights. We show that Koosis' theorem is closely related to (in fact, is a direct consequence of) a spectral perturbation model suggested by de Branges in 1962. Further, we show that de Branges' model provides an operator-valued version of Koosis' theorem.


title: Emotional Expression Classification using Time-Series Kernels

abstract: Estimation of facial expressions, as spatio-temporal processes, can take advantage of kernel methods if one considers facial landmark positions and their motion in 3D space. We applied support vector classification with kernels derived from dynamic time-warping similarity measures. We achieved over 99% accuracy - measured by area under ROC curve - using only the 'motion pattern' of the PCA compressed representation of the marker point vector, the so-called shape parameters. Beyond the classification of full motion patterns, several expressions were recognized with over 90% accuracy in as few as 5-6 frames from their onset, about 200 milliseconds.


title: Propagation dynamics on the Fermi-Pasta-Ulam lattices

abstract: The spatiotemporal propagation of a momentum excitation on the finite Fermi-Pasta-Ulam lattices is investigated. The competition between the solitary wave and phonons gives rise to interesting propagation behaviors. For a moderate nonlinearity, the initially excited pulse may propagate coherently along the lattice for a long time in a solitary wave manner accompanied by phonon tails. The lifetime of the long-transient propagation state exhibits a sensitivity to the nonlinear parameter. The solitary wave decays exponentially during the final loss of stability, and the decay rate varying with the nonlinear parameter exhibits two different scaling laws. This decay is found to be related to the largest Lyapunov exponent of the corresponding Hamiltonian system, which manifests a transition from weak to strong chaos. The mean-free-path of the solitary waves is estimated in the strong chaos regime, which may be helpful to understand the origin of anomalous conductivity in the Fermi-Pasta-Ulam lattice.


title: Perturbations of intermediate C*-subalgebras for simple C*-algebras

abstract: We study uniform perturbations of intermediate C*-subalgebras of inclusions of simple C*-algebras. If a unital simple C*-algebra has a simple C*-subalgebra of finite index, then sufficiently close simple intermediate C*-subalgebras are unitarily equivalent. These C*-subalgebras need not to be nuclear. The unitary can be chosen in the relative commutant algebra. An imediate corollary is the following: If the relative commutant is trivial, then the set of intermediate C*-subagebras is a finite set.


title: Performance Evaluation of Low Power MIPS Crypto Processor based on Cryptography Algorithms

abstract: This paper presents the design and implementation of low power 32-bit encrypted and decrypted MIPS processor for Data Encryption Standard (DES), Triple DES, Advanced Encryption Standard (AES) based on MIPS pipeline architecture. The organization of pipeline stages has been done in such a way that pipeline can be clocked at high frequency. Encryption and Decryption blocks of three standard cryptography algorithms on MIPS processor and dependency among themselves are explained in detail with the help of a block diagram. Clock gating technique is used to reduce the power consumption in MIPS crypto processor. This approach results in processor that meets power consumption and performance specification for security applications. Proposed Implementation approach concludes higher system performance while reducing operating power consumption. Testing results shows that the MIPS crypto processor operates successfully at a working frequency of 218MHz and a bandwidth of 664Mbits/s.


title: Translational and great Darboux cyclides

abstract: A surface that is the pointwise sum of circles in Euclidean space is either coplanar or contains no more than 2 circles through a general point. A surface that is the pointwise product of circles in the unit-quaternions contains either 2, 3, 4, or 5 circles through a general point. A surface in a unit-sphere of any dimension that contains 2 great circles through a general point contains either 4, 5, 6, or infinitely many circles through a general point. These are some corollaries from our classification of translational and great Darboux cyclides. We use the combinatorics associated to the set of low degree curves on such surfaces modulo numerical equivalence.


title: Loss of stability of a solitary wave through exciting a cnoidal wave on a Fermi-Pasta-Ulam ring

abstract: The spatiotemporal propagation behavior of a solitary wave is investigated on a Fermi-Pasta-Ulam ring. We observe the emergence of a cnoidal wave excited by the solitary wave. The cnoidal wave may coexist with the solitary wave for a long time associated with the periodic exchange of energy between these two nonlinear waves. The module of the cnoidal wave, which is considered as an indicator of the nonlinearity, is found to oscillate with the same period of the energy exchange. After the stage of coexistence, the interaction between these two nonlinear waves leads to the destruction of the cnoidal wave by the radiation of phonons. Finally, the interaction of the solitary wave with phonons leads to the loss of stability of the solitary wave.


title: Practical Inlining of Functions with Free Variables

abstract: A long-standing practical challenge in the optimization of higher-order languages is inlining functions with free variables. Inlining code statically at a function call site is safe if the compiler can guarantee that the free variables have the same bindings at the inlining point as they do at the point where the function is bound as a closure (code and free variables). There have been many attempts to create a heuristic to check this correctness condition, from Shivers' kCFA-based reflow analysis to Might's Delta-CFA and anodization, but all of those have performance unsuitable for practical compiler implementations. In practice, modern language implementations rely on a series of tricks to capture some common cases (e.g., closures whose free variables are only top-level identifiers such as +) and rely on hand-inlining by the programmer for anything more complicated. This work provides the first practical, general approach for inlining functions with free variables. We also provide a proof of correctness, an evaluation of both the execution time and performance impact of this optimization, and some tips and tricks for implementing an efficient and precise control-flow analysis.


title: Properties of Galactic Dark Matter: Constraints from Astronomical Observations

abstract: The distributions of normal matter and of dark matter in the Galaxy are coupled to each other as they both move in the common gravitational potential. In order to fully exploit this interplay and to derive the various properties of dark matter relevant to their direct and indirect detection, we have comprehensively reviewed the astronomical observations of the spatial and velocity distributions of the components of normal matter. We then postulate that the phase-space distribution of dark matter follows a lowered-isothermal form and self-consistently solve Poisson's equation to construct several models for the spatial and velocity distributions of dark matter. In this paper, we compute the total gravitational potential of the normal and dark matter components and investigate their consistency with current observations of the rotation curve of the Galaxy and of the spatial and velocity distributions of blue horizontal-branch and blue straggler stars. Even with this demand of consistency, a large number of models with a range of parameters characterizing the dark matter distribution remain. We find the best choice of parameters, within the range of allowed values, for the surface density of the disk 55 M$_\odot$ pc$^{-2}$, are the following: the dark matter density at the Galactic center $\rho_{DM,c}\approx 100-250$ GeV cm$^{-3}$, the local dark matter density $\rho_{DM}(R_0) \approx 0.56-0.72$ GeV cm$^{-3}$, and the root-mean-speed of dark matter particles $< v_{DM}^{2}(R_0)> ^{1/2}\approx490-550$ km s$^{-1}$. We also discuss possible astronomical observations that may further limit the range of the allowed models.


title: Magnetic susceptibility and Landau diamagnetism of a quantum collisional Plasmas with arbitrary degree of degeneration of electronic gas

abstract: The kinetic description of magnetic susceptibility and Landau diamagnetism of quantum collisional plasmas with any degeration of electronic gas is given. The correct expression of electric conductivity of quantum collisional plasmas with any degeration of electronic gas (see A. V. Latyshev and A. A. Yushkanov, Transverse electrical conductivity of a quantum collisional plasma in the Mermin approach. - Theor. and Math. Phys., V. 175(1):559-569 (2013)) is used.


title: Collaborative 20 Questions for Target Localization

abstract: We consider the problem of 20 questions with noise for multiple players under the minimum entropy criterion in the setting of stochastic search, with application to target localization. Each player yields a noisy response to a binary query governed by a certain error probability. First, we propose a sequential policy for constructing questions that queries each player in sequence and refines the posterior of the target location. Second, we consider a joint policy that asks all players questions in parallel at each time instant and characterize the structure of the optimal policy for constructing the sequence of questions. This generalizes the single player probabilistic bisection method for stochastic search problems. Third, we prove an equivalence between the two schemes showing that, despite the fact that the sequential scheme has access to a more refined filtration, the joint scheme performs just as well on average. Fourth, we establish convergence rates of the mean-square error (MSE) and derive error exponents. Lastly, we obtain an extension to the case of unknown error probabilities. This framework provides a mathematical model for incorporating a human in the loop for active machine learning systems.


title: Principal angles and approximation for quaternionic projections

abstract: We extend Jordan's notion of principal angles to work for two subspaces of quaternionic space, and so have a method to analyze two orthogonal projections in M_n(A) for A the real, complex or quaternionic field (or skew field). From this we derive an algorithm to turn almost commuting projections into commuting projections that minimizes the sum of the displacements of the two projections. We quickly prove what we need using the universal real C*-algebra generated by two projections.


title: Micro-Pattern Gas Detectors for Charged-Particle Tracking and Muon Detection

abstract: In the context of the 2013 APS-DPF Snowmass summer study conducted by the U.S. HEP community, this white paper outlines a roadmap for further development of Micro-pattern Gas Detectors for tracking and muon detection in HEP experiments. We briefly discuss technical requirements and summarize current capabilities of these detectors with a focus of operation in experiments at the energy frontier in the medium-term to long-term future. Some key directions for future R&D on Micro-pattern Gas Detectors in the U.S. are suggested.


title: Observation of Quantum Spin Hall States in InAs/GaSb Bilayers under Broken Time-Reversal Symmetry

abstract: Topological insulators (TIs) are a novel class of materials with nontrivial surface or edge states. Time-reversal symmetry (TRS) protected TIs are characterized by the Z2 topological invariant and their helical property becomes lost in an applied magnetic field. Currently there exist extensive efforts searching for TIs that are protected by symmetries other than TRS. Here we show, a topological phase characterized by a spin Chern topological invariant is realized in an inverted electron-hole bilayer engineered from indium arsenide-gallium antimonide (InAs/GaSb) semiconductors which retains robust helical edges under a strong magnetic field. Wide conductance plateaus of 2e2/h value are observed; they persist to 12T applied in-plane magnetic field without evidence for transition to a trivial insulator. In a perpendicular magnetic field up to 8T, there exists no signature to the bulk gap closing. While the Fermi energy remains inside the bulk gap, the longitudinal conductance increases from 2e2/h in strong magnetic fields suggesting a trend towards chiral edge transport. Our findings are first evidences for a quantum spin Hall (QSH) insulator protected by a spin Chern invariant. These results demonstrate that InAs/GaSb bilayers are a novel system for engineering the robust helical edge channels much needed for spintronics and for creating and manipulating Majorana particles in solid state.


title: Incremental Network Design with Minimum Spanning Trees

abstract: Given an edge-weighted graph $G=(V,E)$ and a set $E_0\subset E$, the incremental network design problem with minimum spanning trees asks for a sequence of edges $e'_1,\ldots,e'_T\in E\setminus E_0$ minimizing $\sum_{t=1}^Tw(X_t)$ where $w(X_t)$ is the weight of a minimum spanning tree $X_t$ for the subgraph $(V,E_0\cup\{e'_1,\ldots,e'_t\})$ and $T=\lvert E\setminus E_0\rvert$. We prove that this problem can be solved by a greedy algorithm.


title: Learning About Meetings

abstract: Most people participate in meetings almost every day, multiple times a day. The study of meetings is important, but also challenging, as it requires an understanding of social signals and complex interpersonal dynamics. Our aim this work is to use a data-driven approach to the science of meetings. We provide tentative evidence that: i) it is possible to automatically detect when during the meeting a key decision is taking place, from analyzing only the local dialogue acts, ii) there are common patterns in the way social dialogue acts are interspersed throughout a meeting, iii) at the time key decisions are made, the amount of time left in the meeting can be predicted from the amount of time that has passed, iv) it is often possible to predict whether a proposal during a meeting will be accepted or rejected based entirely on the language (the set of persuasive words) used by the speaker.


title: A Light-Weight Distributed System for the processing of Replicated Counter-like Objects

abstract: In order to increase availability in a distributed system some or all of the data items are replicated and stored at separate sites. This is an issue of key concern especially since there is such a proliferation of wireless technologies and mobile users. However, the concurrent processing of transactions at separate sites can generate inconsistencies in the stored information. We have built a distributed service that manages updates to widely deployed counter-like replicas. There are many heavy-weight distributed systems targeting large information critical applications. Our system is intentionally, relatively lightweight and useful for the somewhat reduced information critical applications. The service is built on our distributed concurrency control scheme which combines optimism and pessimism in the processing of transactions. The service allows a transaction to be processed immediately (optimistically) at any individual replica as long as the transaction satisfies a cost bound. All transactions are also processed in a concurrent pessimistic manner to ensure mutual consistency.


title: Representation theorem for generators of BSDEs driven by G-Brownian motion and its applications

abstract: We obtain a representation theorem for the generators of BSDEs driven by G-Brownian motions, and then we use the representation theorem to get a converse comparison theorem for G-BSDEs and some equivalent results for nonlinear expectations generated by G-BSDEs.


title: Correlation Functions of the SU(infinity) Principal Chiral Model

abstract: We obtain exact matrix elements of physical operators of the (1+1)-dimensional nonlinear sigma model of an SU(N)-valued bare field, in the 't Hooft limit N goes to infinity. Specifically, all the form factors of the Noether current and the stress-energy-momentum tensor are found with an integrable bootstrap method. These form factors are used to find vacuum expectation values of products of these operators.


title: 0-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebra

abstract: We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood symmetric functions and their (q,t)-analogues introduced by Bergeron and Zabrocki, and to a more general family of noncommutative symmetric functions having parameters associated with paths in binary trees introduced recently by Lascoux, Novelli, and Thibon. We also obtain multivariate quasisymmetric function identities, which specialize to results of Garsia and Gessel on generating functions of multivariate distributions of permutation statistics.


title: Finite temperature Mott transition in a nonlocal PNJL model

abstract: We provide a novel calculation of the Mott effect in non-local PNJL models. We find that the "deconfinement" transition temperature in these models is lower than the Mott temperature. Furthermore, the mass and the width of the $\sigma$ and the $\pi$ meson modes is calculated with the result that the width in nonlocal models is in general reduced as compared to local models. Difficulties encountered while attempting to "Wick rotate" covariant models are carefully discussed.


title: Testing the effects of gravity and motion on quantum entanglement in space-based experiments

abstract: We propose an experiment to test the effects of gravity and acceleration on quantum entanglement in space-based setups. We show that the entanglement between excitations of two Bose-Einstein condensates is degraded after one of them undergoes a change in the gravitational field strength. This prediction can be tested if the condensates are initially entangled in two separate satellites while being in the same orbit and then one of them moves to a different orbit. We show that the effect is observable in a typical orbital manoeuvre of nanosatellites like CanX4 and CanX5.


title: Derivation of the Dirac Equation from Principles of Information Processing

abstract: We show how the Dirac equation in three space-dimensions emerges from the large-scale dynamics of the minimal nontrivial quantum cellular automaton satisfying unitariety, locality, homogeneity, and discrete isotropy, without using the relativity principle. The Dirac equation is recovered for small wave-vector and inertial mass, whereas Lorentz covariance is distorted in the ultra-relativistic limit. The automaton can thus be regarded as a theory unifying scales from Planck to Fermi. A simple asymptotic approach leads to a dispersive Schroedinger equation describing the evolution of narrow-band states at all scales.


title: On pseudocompact topological Brandt $\lambda^0$-extensions of semitopological monoids

abstract: In the paper we investigate topological properties of a topological Brandt $\lambda^0$-extension $B^0_{\lambda}(S)$ of a semitopological monoid $S$ with zero. In particular we prove that for every Tychonoff pseudocompact (resp., Hausdorff countably compact, Hausdorff compact) semitopological monoid $S$ with zero there exists a unique semiregular pseudocompact (resp., Hausdorff countably compact, Hausdorff compact) extension $B^0_{\lambda}(S)$ of $S$ and establish theirs Stone-\v{C}ech and Bohr compactifications. We also describe a category whose objects are ingredients in the constructions of pseudocompact (resp., countably compact, sequentially compact, compact) topological Brandt $\lambda^0$-extensions of pseudocompact (resp., countably compact, sequentially compact, compact) semitopological monoids with zeros.


title: On principles between $\Sigma_1$- and $\Sigma_2$-induction, and monotone enumerations

abstract: We show that many principles of first-order arithmetic, previously only known to lie strictly between $\Sigma_1$-induction and $\Sigma_2$-induction, are equivalent to the well-foundedness of $\omega^\omega$. Among these principles are the iteration of partial functions ($P\Sigma_1$) of H\'ajek and Paris, the bounded monotone enumerations principle (non-iterated, BME$_1$) by Chong, Slaman, and Yang, the relativized Paris-Harrington principle for pairs, and the totality of the relativized Ackermann-P\'eter function. With this we show that the well-foundedness of $\omega^\omega$ is a far more widespread than usually suspected. Further, we investigate the $k$-iterated version of the bounded monotone iterations principle (BME$_k$), and show that it is equivalent to the well-foundedness of the $k+1$-height $\omega$-tower.


title: Does the first part of the second law also imply its second part?

abstract: Sommerfeld called the first part of the second law to be the entropy axiom, which is about the existence of the state function entropy. It was usually thought that the second part of the second law, which is about the non-decreasing nature of entropy of thermally isolated systems, did not follow from the first part. In this note, we point out the surprise that the first part in fact implies the second part.


title: Evolutionary accessibility of modular fitness landscapes

abstract: A fitness landscape is a mapping from the space of genetic sequences, which is modeled here as a binary hypercube of dimension $L$, to the real numbers. We consider random models of fitness landscapes, where fitness values are assigned according to some probabilistic rule, and study the statistical properties of pathways to the global fitness maximum along which fitness increases monotonically. Such paths are important for evolution because they are the only ones that are accessible to an adapting population when mutations occur at a low rate. The focus of this work is on the block model introduced by A.S. Perelson and C.A. Macken [Proc. Natl. Acad. Sci. USA 92:9657 (1995)] where the genome is decomposed into disjoint sets of loci (`modules') that contribute independently to fitness, and fitness values within blocks are assigned at random. We show that the number of accessible paths can be written as a product of the path numbers within the blocks, which provides a detailed analytic description of the path statistics. The block model can be viewed as a special case of Kauffman's NK-model, and we compare the analytic results to simulations of the NK-model with different genetic architectures. We find that the mean number of accessible paths in the different versions of the model are quite similar, but the distribution of the path number is qualitatively different in the block model due to its multiplicative structure. A similar statement applies to the number of local fitness maxima in the NK-models, which has been studied extensively in previous works. The overall evolutionary accessibility of the landscape, as quantified by the probability to find at least one accessible path to the global maximum, is dramatically lowered by the modular structure.


title: A critique of Sadi Carnot's work and a mathematical theory of the caloric

abstract: In this work, Sadi Carnot;s fundamental work is critically examined, and contrasted with modern thermodynamics. A mathematical theory of his work is given on the basis of the observation that in caloric theory dQ is a perfect differential.


title: Evidence for Helical Nuclear Spin Order in GaAs Quantum Wires

abstract: We present transport measurements of cleaved edge overgrowth GaAs quantum wires. The conductance of the first mode reaches 2 e^2/h at high temperatures T > 10 K, as expected. As T is lowered, the conductance is gradually reduced to 1 e^2/h, becoming T-independent at T < 0.1 K, while the device cools far below 0.1 K. This behavior is seen in several wires, is independent of density, and not altered by moderate magnetic fields B. The conductance reduction by a factor of two suggests lifting of the electron spin degeneracy in absence of B. Our results are consistent with theoretical predictions for helical nuclear magnetism in the Luttinger liquid regime.


title: Very Special Relativity and Lorentz Violating Theories

abstract: Very special relativity (VSR) keeps the main features of special relativity but breaks rotational invariance. It can not be regarded as a fundamental symmetry of nature because many observed phenomena depend on the existence of Lorentz boosts. However, within the scope of Lorentz violating theories it can have a role since it is breaking Lorentz symmetry in a very mild way. In this context, when VSR terms are incorporated in a Lorentz invariant theory several possibilities are allowed. In order to generate such terms systematically we start with a formulation for a spinning particle in VSR. It is then coupled minimally to the electromagnetic field and a gyromagnetic factor is added to give rise to a magnetic moment. In order to analyze the effects of VSR in Thomas precession a spin vector is then proposed in terms of the spinning particle variables. It is then found the VSR contributions to the equation which determines the spin precession angular velocity.


title: Analytic solution of nonlinear fractional Burgers-type equation by invariant subspace method

abstract: In this paper we study the analytic solutions of Burgers-type nonlinear fractional equations by means of the Invariant Subspace Method. We first study a class of nonlinear equations directly related to the time-fractional Burgers equation. Some generalizations linked to the forced time-fractional Burgers equations and variable-coefficient diffusion are also considered. Finally we study a Burgers-type equation involving both space and time-fractional derivatives.


title: Dark Energy From Fifth Dimensional Brans-Dicke Theory

abstract: Following the approach of the induced-matter theory, we investigate the cosmological implications of a five-dimensional Brans-Dicke theory, and propose to explain the acceleration of the universe. After inducing in a four-dimensional hypersurface, we classify the energy-momentum tensor into two parts in a way that, one part represents all kind of the matter (the baryonic and dark) and the other one contains every extra terms emerging from the scale factor of the fifth dimension and the scalar field, which we consider as the energy-momentum tensor of dark energy. We also separate the energy-momentum conservation equation into two conservation equations, one for matter and the other for dark energy. We perform this procedure for different cases, without interacting term and with two particular (suitable) interacting terms between the two parts. By assuming the parameter of the state equation for dark energy to be constant, the equations of the model admit the power-law solutions. Though, the non-interacting case does not give any accelerated universe, but the interacting cases give both decelerated and accelerated universes. For the interacting cases, we figure out analytically the acceptable ranges of some parameters of the model, and also investigate the data analysis to test the model parameter values consistency with the observational data of the distance modulus of 580 SNe Ia compiled in Union2.1. For one of these interacting cases, the best fitted values suggest that the Brans-Dicke coupling constant ({\omega}) is -7.75, however, it also gives the state parameter of dark energy (wX) equal to -0.67. In addition, the model gives the Hubble and deceleration parameters at the present time to be H0 = 69.4 (km/s)/Mpc and q0 = -0.38 (within their confidence intervals), where the scale factor of the fifth dimension shrinks with the time.


title: Systematic Effective Field Theory Analysis of the D=2+1 Quantum XY Model at Low Temperatures

abstract: The low-temperature properties of the (2+1)-dimensional quantum XY model are studied within the framework of effective Lagrangians up to three-loop order. At zero temperature, the system is characterized by a spontaneously broken spin rotation symmetry, O(2) $\to$ 1, where the corresponding Goldstone bosons are the spin waves or magnons. Even though there is no spontaneously broken order at finite $T$, the low-temperature behavior of the system is still governed by the spin waves. The partition function is evaluated and various thermodynamic quantities, including the order parameter, are derived in the presence of a weak external field. In particular, we show that the spin-wave interaction is repulsive at low temperatures, its magnitude depending on the strength of the external field. We compare our results with those for the (2+1)-dimensional antiferromagnetic Heisenberg model which, at T=0, exhibits the spontaneously broken spin rotation symmetry O(3) $\to$ O(2).


title: Automatic Abstraction in SMT-Based Unbounded Software Model Checking

abstract: Software model checkers based on under-approximations and SMT solvers are very successful at verifying safety (i.e. reachability) properties. They combine two key ideas -- (a) "concreteness": a counterexample in an under-approximation is a counterexample in the original program as well, and (b) "generalization": a proof of safety of an under-approximation, produced by an SMT solver, are generalizable to proofs of safety of the original program. In this paper, we present a combination of "automatic abstraction" with the under-approximation-driven framework. We explore two iterative approaches for obtaining and refining abstractions -- "proof based" and "counterexample based" -- and show how they can be combined into a unified algorithm. To the best of our knowledge, this is the first application of Proof-Based Abstraction, primarily used to verify hardware, to Software Verification. We have implemented a prototype of the framework using Z3, and evaluate it on many benchmarks from the Software Verification Competition. We show experimentally that our combination is quite effective on hard instances.


title: Nagy-Soper subtraction: a review

abstract: In this document, we present a review on an alternative NLO subtraction scheme, based on the splitting kernels of an improved parton shower that promises to facilitate the inclusion of higher order corrections into Monte Carlo event generators. We give expressions for the scheme for massless emitters, and point to work on the extension for massive cases. As an example, we show results for the C parameter of the process e+ e- -> 3 jets at NLO which have recently been published as a verification of this scheme. We equally provide analytic expressions for integrated counterterms that have not been presented in previous work, and comment on the possibility of analytic approximations for the remaining numerical integrals


title: Detecting Useless Transitions in Pushdown Automata

abstract: Pushdown automata may contain transitions that are never used in any accepting run of the automaton. We present an algorithm for detecting such useless transitions. A finite automaton that captures the possible stack content during runs of the pushdown automaton, is first constructed in a forward procedure to determine which transitions are reachable, and then employed in a backward procedure to determine which of these transitions can lead to a final stat


title: Link between quantum measurement and the i\epsilon\ term in the QFT propagator

abstract: Mensky has suggested to account for "continuous measurement" by attaching to a path integral a weight function centered around the classical path that the integral assigns a probability amplitude to. We show that in fact this weight function doesn't have to be viewed as an additional ingredient put in by hand. It can be derived instead from the conventional path integral if the infinitesimal term i\epsilon\ in the propagator is made finite; the "classical trajectory" is proportional to the current.


title: A connection between anomalous Poisson-Nernst-Planck models and equivalent circuits with constant--phase elements

abstract: A connection between the impedance spectroscopy response of anomalous Poisson-Nernst-Planck (PNPA) diffusional models and of equivalent circuits containing constant phase elements (CPE) is established for a typical electrolytic cell. The analysis is carried out in the limit of low frequency in order to highlight the surface effects and to explore how they can be connected to the presence of CPE in the circuit. It is shown that, depending on the choice of the equivalent circuit, the action of these elements can be the same as the one obtained by using integro-differential boundary conditions to describe anomalous diffusive processes in the framework of PNPA models. The predictions are also compared with an experimental data obtained from an electrolytic solution.


title: Reconstructing an atomic orthomodular lattice from the poset of its Boolean sublattices

abstract: We show that an atomic orthomodular lattice L can be reconstructed up to isomorphism from the poset B(L) of Boolean subalgebras of L. A motivation comes from quantum theory and the so-called topos approach, where one considers the poset of Boolean sublattices of L=P(H), the projection lattice of the algebra B(H) of bounded operators on Hilbert space.


title: Gauge Theory for Spectral Triples and the Unbounded Kasparov Product

abstract: We explore factorizations of noncommutative Riemannian spin geometries over commutative base manifolds in unbounded KK-theory. After setting up the general formalism of unbounded KK-theory and improving upon the construction of internal products, we arrive at a natural bundle-theoretic formulation of gauge theories arising from spectral triples. We find that the unitary group of a given noncommutative spectral triple arises as the group of endomorphisms of a certain Hilbert bundle; the inner fluctuations split in terms of connections on, and endomorphisms of, this Hilbert bundle. Moreover, we introduce an extended gauge group of unitary endomorphisms and a corresponding notion of gauge fields. We work out several examples in full detail, to wit Yang--Mills theory, the noncommutative torus and the $\theta$-deformed Hopf fibration over the two-sphere.


title: Stability of stationary solutions for nonintegrable peakon equations

abstract: The Camassa-Holm equation with linear dispersion was originally derived as an asymptotic equation in shallow water wave theory. Among its many interesting mathematical properties, which include complete integrability, perhaps the most striking is the fact that in the case where linear dispersion is absent it admits weak multi-soliton solutions - "peakons" - with a peaked shape corresponding to a discontinuous first derivative. There is a one-parameter family of generalized Camassa-Holm equations, most of which are not integrable, but which all admit peakon solutions. Numerical studies reported by Holm and Staley indicate changes in the stability of these and other solutions as the parameter varies through the family. In this article, we describe analytical results on one of these bifurcation phenomena, showing that in a suitable parameter range there are stationary solutions - "leftons" - which are orbitally stable.


title: A Formal Approach To Firewalls Testing Techniques

abstract: Traditional technologies of firewall testing are overlooked. A new formalized approach is presented. Recommendations on optimization of test procedures are given.


title: Some Convergence And Stability Results For The Kirk Multistep And Kirk-Sp Fixed Point Iterative Algorithms For Contractive-Like Operators In Normed Linear Spaces

abstract: The purpose of this paper is to introduce a new Kirk type iterative algorithm called Kirk multistep iteration and to study its convergence. We also prove some theorems related with the stability results for the Kirk-multistep and Kirk-SP iterative processes by employing certain contractive-like operators. Our results generalize and unify some other results in the literature.


title: The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware

abstract: An approach to the development of security test procedures for information security controls is presented. The recommendations for optimizing the test procedure are obtained


title: Rendezvous of Two Robots with Constant Memory

abstract: We study the impact that persistent memory has on the classical rendezvous problem of two mobile computational entities, called robots, in the plane. It is well known that, without additional assumptions, rendezvous is impossible if the entities are oblivious (i.e., have no persistent memory) even if the system is semi-synchronous (SSynch). It has been recently shown that rendezvous is possible even if the system is asynchronous (ASynch) if each robot is endowed with O(1) bits of persistent memory, can transmit O(1) bits in each cycle, and can remember (i.e., can persistently store) the last received transmission. This setting is overly powerful. In this paper we weaken that setting in two different ways: (1) by maintaining the O(1) bits of persistent memory but removing the communication capabilities; and (2) by maintaining the O(1) transmission capability and the ability to remember the last received transmission, but removing the ability of an agent to remember its previous activities. We call the former setting finite-state (FState) and the latter finite-communication (FComm). Note that, even though its use is very different, in both settings, the amount of persistent memory of a robot is constant. We investigate the rendezvous problem in these two weaker settings. We model both settings as a system of robots endowed with visible lights: in FState, a robot can only see its own light, while in FComm a robot can only see the other robot's light. We prove, among other things, that finite-state robots can rendezvous in SSynch, and that finite-communication robots are able to rendezvous even in ASynch. All proofs are constructive: in each setting, we present a protocol that allows the two robots to rendezvous in finite time.


title: (c-)AND: A new graph model

abstract: In this document, we study the scope of the following graph model: each vertex is assigned to a box in a metric space and to a representative element that belongs to that box. Two vertices are connected by an edge if and only if its respective boxes contain the opposite representative element. We focus our study on the case where boxes (and therefore representative elements) associated to vertices are spread in the Euclidean line. We give both, a combinatorial and an intersection characterization of the model. Based on these characterizations, we determine graph families that contain the model (e. g., boxicity 2 graphs) and others that the new model contains (e. g., rooted directed path). We also study the particular case where each representative element is the center of its respective box. In this particular case, we provide constructive representations for interval, block and outerplanar graphs. Finally, we show that the general and the particular model are not equivalent by constructing a graph family that separates the two cases.


title: Software Testing Models Against Information Security Requirements

abstract: An overview and classification of software testing models are done. Recommendations on the choice of models are proposed


title: Pattern Recognition and Revealing using Parallel Coordinates Plot

abstract: Parallel coordinates plot (PCP) is an excellent tool for multivariate visualization and analysis, but it may fail to reveal inherent structures for datasets with a large number of items. In this paper, we propose a suite of novel clustering, dimension ordering and visualization techniques based on PCP, to reveal and highlight hidden structures. First, we propose a continuous spline based polycurves design to extract and classify different cluster aspects of the data. Then, we provide an efficient and optimal correlation based sorting technique to reorder coordinates, as a helpful visualization tool for data analysis. Various results generated by our framework visually represent much structure, trend and correlation information to guide the user, and improve the efficacy of analysis, especially for complex and noisy datasets.


title: Hermite-Hadamard type inequalities for GA-s-convex functions

abstract: In this paper, The author introduces the concepts of the GA-s-convex functions in the first sense and second sense and establishes some integral inequalities of Hermite-Hadamard type related to the GA-s-convex functions.


title: Response to Comment on Repulsive contact interactions make jammed particulate systems inherently nonharmonic'

abstract: This is a response to the comment on our manuscript "Repulsive contact interactions make jammed particulate systems inherently nonharmonic" (Physical Review Letters 107 (2011) 078301) by C. P. Goodrich, A. J. Liu, and S. R. Nagel.


title: Dynamics in hybrid complex systems of switches and oscillators

abstract: While considerable progress has been made in the analysis of large systems containing a single type of coupled dynamical component (e.g., coupled oscillators or coupled switches), systems containing diverse components (e.g., both oscillators and switches) have received much less attention. We analyze large, hybrid systems of interconnected Kuramoto oscillators and Hopfield switches with positive feedback. In this system, oscillator synchronization promotes switches to turn on. In turn, when switches turn on they enhance the synchrony of the oscillators to which they are coupled. Depending on the choice of parameters, we find theoretically coexisting stable solutions with either (i) incoherent oscillators and all switches permanently off, (ii) synchronized oscillators and all switches permanently on, or (iii) synchronized oscillators and switches that periodically alternate between the on and off states. Numerical experiments confirm these predictions. We discuss how transitions between these steady state solutions can be onset deterministically through dynamic bifurcations or spontaneously due to finite-size fluctuations.


title: Notes on the pure spinor b ghost

abstract: In this work, a particular BRST-exact class of deformations of the b ghost in the non-minimal pure spinor formalism is investigated and the impact of this construction in the $\mathcal{N}=2$ $\hat{c}=3$ topological string algebra is analysed. As an example, a subclass of deformations is explicitly shown, where the U(1) current appears in a conventional form, involving only the ghost number currents. Furthermore, a c ghost like composite field is introduced, but with an unusual construction.


title: Formation of Feshbach molecules in the presence of artificial spin-orbit coupling and Zeeman fields

abstract: We derive general conditions for the emergence of singlet Feshbach molecules in the presence of artificial Zeeman fields for arbritary mixtures of Rashba and Dresselhaus spin-orbit orbit coupling in two or three dimensions. We focus on the formation of two-particle bound states resulting from interactions between ultra-cold spin-1/2 fermions, under the assumption that interactions are short-ranged and occur only in the s-wave channel. In this case, we calculate explicitly binding energies of Feshbach molecules and analyze their dependence on spin-orbit couplings, Zeeman fields, interactions and center of mass momentum, paying particular attention to the experimentally relevant case of spin-orbit couplings with equal Rashba and Dresselhaus (ERD) amplitudes.


title: A Raman-induced Feshbach resonance in an effectively single-component Fermi gas

abstract: Ultracold gases of interacting spin-orbit coupled fermions are predicted to display exotic phenomena such as topological superfluidity and its associated Majorana fermions. Here, we experimentally demonstrate a route to strongly-interacting single-component atomic Fermi gases by combining an s-wave Feshbach resonance (giving strong interactions) and spin-orbit coupling (creating an effective p-wave channel). We identify the Feshbach resonance by its associated atomic loss feature and show that, in agreement with our single-channel scattering model, this feature is preserved and shifted as a function of the spin-orbit coupling parameters.


title: Fermionic Isocurvature Perturbations

abstract: Isocurvature perturbations in the inflationary literature typically involve quantum fluctuations of bosonic field degrees of freedom. In this work, we consider isocurvature perturbations from fermionic quantum fluctuations during inflation. When a stable massive fermion is coupled to a non-conformal sector different from the scalar metric perturbations, observably large amplitude scale invariant isocurvature perturbations can be generated. In addition to the computation of the isocurvature two-point function, an estimate of the local non-Gaussianities is also given and found to be promising for observations in a corner of the parameter space. The results provide a new class of cosmological probes for theories with stable massive fermions. On the technical side, we explicitly renormalize the composite operator in curved spacetime and show that gravitational Ward identities play an important role in suppressing certain contributions to the fermionic isocurvature perturbations.


title: Matrix Partitions of Split Graphs

abstract: Matrix partition problems generalize a number of natural graph partition problems, and have been studied for several standard graph classes. We prove that each matrix partition problem has only finitely many minimal obstructions for split graphs. Previously such a result was only known for the class of cographs. (In particular, there are matrix partition problems which have infinitely many minimal chordal obstructions.) We provide (close) upper and lower bounds on the maximum size of a minimal split obstruction. This shows for the first time that some matrices have exponential-sized minimal obstructions of any kind (not necessarily split graphs). We also discuss matrix partitions for bipartite and co-bipartite graphs.


title: First-principles predicted low-energy structures of NaSc(BH4)4

abstract: According to previous interpretations of experimental data, sodium-scandium double-cation borohydride NaSc(BH$_4$)$_4$ crystallizes in the crystallographic space group $Cmcm$ where each sodium (scandium) atom is surrounded by six scandium (sodium) atoms. A careful investigation of this phase based on \textit{ab initio} calculations indicates that the structure is dynamically unstable and gives rise to an energetically and dynamically more favorable phase with $C222_1$ symmetry and nearly identical x-ray diffraction pattern. By additionally performing extensive structural searches with the minima-hopping method we discover a class of new low-energy structures exhibiting a novel structural motif in which each sodium (scandium) atom is surrounded by four scandium (sodium) atoms arranged at the corners of either a rectangle with nearly equal sides or a tetrahedron. These new phases are all predicted to be insulators with band gaps of $7.9-8.2$ eV. Finally, we estimate the influence of these structures on the hydrogen-storage performance of NaSc(BH$_4$)$_4$.


title: Momentum-independent reflectionless transmission in the non-Hermitian time-reversal symmetric system

abstract: We theoretically study the non-Hermitian systems, the non-Hermiticity of which arises from the unequal hopping amplitude (UHA) dimers. The distinguishing features of these models are that they have full real spectra if all of the eigenvectors are time-reversal (T) symmetric rather than parity-time-reversal (PT) symmetric, and that their Hermitian counterparts are shown to be an experimentally accessible system, which have the same topological structures as that of the original ones but modulated hopping amplitudes within the unbroken region. Under the reflectionless transmission condition, the scattering behavior of momentum-independent reflectionless transmission (RT) can be achieved in the concerned non-Hermitian system. This peculiar feature indicates that, for a certain class of non-Hermitian systems with a balanced combination of the RT dimers, the defects can appear fully invisible to an outside observer.


title: High-dimensional Fused Lasso Regression using Majorization-Minimization and Parallel Processing

abstract: In this paper, we propose a majorization-minimization (MM) algorithm for high-dimensional fused lasso regression (FLR) suitable for parallelization using graphics processing units (GPUs). The MM algorithm is stable and flexible as it can solve the FLR problems with various types of design matrices and penalty structures within a few tens of iterations. We also show that the convergence of the proposed algorithm is guaranteed. We conduct numerical studies to compare our algorithm with other existing algorithms, demonstrating that the proposed MM algorithm is competitive in many settings including the two-dimensional FLR with arbitrary design matrices. The merit of GPU parallelization is also exhibited.


title: Semiregular automorphisms of edge-transitive graphs

abstract: The polycirculant conjecture asserts that every vertex-transitive digraph has a semiregular automorphism, that is, a nontrivial automorphism whose cycles all have the same length. In this paper we investigate the existence of semiregular automorphisms of edge-transitive graphs. In particular, we show that any regular edge-transitive graph of valency three or four has a semiregular automorphism.


title: Commutators of small rank and reducibility of operator semigroups

abstract: It is easy to see that if $\cG$ is a non-abelian group of unitary matrices, then for no members $A$ and $B$ of $\cG$ can the rank of $AB-BA$ be one. We examine the consequences of the assumption that this rank is at most two for a general semigroup $\cS$ of linear operators. Our conclusion is that under obviously necessary, but trivial, size conditions, $\cS$ is reducible. In the case of a unitary group satisfying the hypothesis, we show that it is contained in the direct sum $\cG_1\oplus\cG_2$ where $\cG_1$ is at most $3\times 3$ and $\cG_2$ is abelian.


title: Semigroups of Partial Isometries

abstract: We study self-adjoint semigroups of partial isometries on a Hilbert space. These semigroups coincide precisely with faithful representations of abstract inverse semigroups. Groups of unitary operators are specialized examples of self-adjoint semigroups of partial isometries. We obtain a general structure result showing that every self-adjoint semigroup of partial isometries consists of "generalized weighted composition" operators on a space of square-integrable Hilbert-space valued functions. If the semigroup is irreducible and contains a compact operator then the underlying measure space is purely atomic, so that the semigroup is represented as "zero-unitary" matrices. In this case it is not even required that the semigroup be self-adjoint.


title: On matrix semigroups bounded above and below

abstract: An irreducible norm closed semigroup of complex matrices is simultaneously similar to a semigroup of partial isometries if and only if (a) the norms of all nonzero members of it are uniformly bounded above and below, and (b) its idempotents commute. This is a generalization of the well-known result on bounded groups.


title: Quantum nucleation of effective Minkowski spacetime in hyperbolic metamaterials based on high Tc superconductors

abstract: We demonstrate that high Tc superconductors exhibit hyperbolic metamaterial behavior in the far infrared and THz frequency ranges. In the THz range the hyperbolic behavior occurs only in the normal state, while no propagating modes exist in the superconducting state. Wave equation, which describes propagation of extraordinary light inside a hyperbolic metamaterial exhibits 2+1 dimensional Lorentz symmetry. The role of time in the corresponding effective 3D Minkowski spacetime is played by the spatial coordinate aligned perpendicular to the copper oxide layers. Such superconductor-based hyperbolic metamaterials exhibit a quantum phase transition at T=0, in which the effective Minkowski spacetime arise in the mixed state of the superconductor at some critical value of external magnetic field. Nucleation of Minkowski spacetime occurs via formation of quantized Abrikosov vortices, so that these vortices play the role of effective Minkowski spacetime quanta.


title: Corrections on energy spectrum and scatterings for fast neutron radiography at NECTAR facility

abstract: Neutron spectrum and scattered neutrons caused distortions are major problems in fast neutron radiography and should be considered for improving the image quality. This paper puts emphasis on the removal of these image distortions and deviations for fast neutron radiography performed at the NECTAR facility of the research reactor FRM-II in Technische Universit\"at M\"unchen (TUM), Germany. The NECTAR energy spectrum is analyzed and established to modify the influence caused by neutron spectrum, as well as the Point Scattered Function (PScF) simulated by the Monte-Carlo program MCNPX is used to evaluate scattering effects from the object and improve images qualities. Good analysis results prove the sounded effects of above two corrections.


title: Fidelity-Commensurability Tradeoff in Joint Embedding of Disparate Dissimilarities

abstract: In various data settings, it is necessary to compare observations from disparate data sources. We assume the data is in the dissimilarity representation and investigate a joint embedding method that results in a commensurate representation of disparate dissimilarities. We further assume that there are "matched" observations from different conditions which can be considered to be highly similar, for the sake of inference. The joint embedding results in the joint optimization of fidelity (preservation of within-condition dissimilarities) and commensurability (preservation of between-condition dissimilarities between matched observations). We show that the tradeoff between these two criteria can be made explicit using weighted raw stress as the objective function for multidimensional scaling. In our investigations, we use a weight parameter, $w$, to control the tradeoff, and choose match detection as the inference task. Our results show weights that are optimal (with respect to the inference task) are different than equal weights for commensurability and fidelity and the proposed weighted embedding scheme provides significant improvements in statistical power.


title: Stability of Coupled-Physics Inverse Problems with internal measurements

abstract: In this paper, we develop a general approach to prove stability for the non linear second step of hybrid inverse problems. We work with general functionals of the form $\sigma|\nabla u|^p$, $0 < p \leq 1$, where $u$ is the solution of the elliptic partial differential equation $\nabla\cdot \sigma \nabla u =0$ on a bounded domain $\Omega$ with boundary conditions $u|_{\partial \Omega} = f$. We prove stability of the linearization and H\"older conditional stability for the non-linear problem of recovering $\sigma$ from the internal measurement.


title: Modeling off-resonant nonlinear-optical cascading in mesoscopic thin films and guest-host molecular systems

abstract: A model for off-resonant microscopic cascading of (hyper)polarizabilities is developed using a self-consistent field approach to study mesoscopic systems of nonlinear polarizable atoms and molecules. We find enhancements in the higher-order susceptibilities resulting from geometrical and boundary orientation effects. We include an example of the dependence on excitation beam cross sectional structure and a simplified derivation of the microscopic cascading of the nonlinear optical response in guest-host systems.


title: Marcus rate for electron transfer and the Goldilocks principle

abstract: We examine electron transfer between two quantum states in the presence of a dissipative environment represented as a set of independent harmonic oscillators. For this simple model, the Marcus transfer rates can be derived and we show that these rates are associated to an explicit expression for the environment correlation time. We demonstrate that as a manifestation of the Goldilocks principle, the optimal transfer is governed by a single parameter which is equal to just the inverse root square of two.


title: On the Stability of D7 - anti-D7 Probes in Near-conformal Backgrounds

abstract: We investigate the perturbative stability of a nonsupersymmetric D7 - anti-D7 brane embedding in a particular class of type IIB backgrounds. These backgrounds are the gravitational duals of certain strongly-coupled gauge theories, that exhibit a nearly conformal regime (known as a walking regime). Previous studies in the literature have led to conflicting results as to whether the spectrum of fluctuations around the flavor D7 - anti-D7 embedding has a tachyonic mode or not. Here we reconsider the problem with a new analytical method and recover the previously obtained numerical results. We also point out that the earlier treatments relied on a coordinate system, in which it was not possible to take into account fluctuations of the point of confluence of the D7 - anti-D7 branes. Using an improved coordinate system, we confirm the presence of a normalizable tachyonic mode in this model, in agreement with the numerical calculations. Finally, we comment on the possibility of turning on worldvolume flux to stabilize the probe branes configuration.


title: Optical control of scattering, absorption and lineshape in nanoparticles

abstract: We find exact conditions for the enhancement or suppression of internal and/or scattered fields and the determination of their spatial distribution or angular momentum through the combination of simple fields. The incident fields can be generated by a single monochromatic or broad band light source, or by several sources, which may also be impurities embedded in the nanoparticle. We can design the lineshape of a particle introducing very narrow features in its spectral response.


title: Quasicoherent sheaves on toric schemes

abstract: Let X be the toric scheme over a ring R associated with a fan Sigma. It is shown that there are a group B, a B-graded R-algebra S and a graded ideal I of S such that there is an essentially surjective, exact functor ~ from the category of B-graded S-modules to the category of quasicoherent O_X-modules that vanishes on I-torsion modules and that induces for every B-graded S-module F a surjection Xi_F from the set of I-saturated graded sub-S-modules of F onto the set of quasicoherent sub-O_X-modules of ~F. If Sigma is simplicial, the above data can be chosen such that ~ vanishes precisely on I-torsion modules and that Xi_F is bijective for every F. In case R is noetherian, a toric version of the Serre-Grothendieck correspondence is proven, relating sheaf cohomology on X with B-graded local cohomology with support in I.


title: B2O3 glass former as a molecular matter revealed by heat capacity

abstract: Heat capacity of B2O3 glass former in a wide temperature region is described well with the intrinsic motions for non-spherical B2O3 molecules, revealing that rather than a conventional network glass former, B2O3 is a typical molecular matter in which the transition from liquid to glass in the system corresponds to the frozen of translational motions for molecules. The finding might provide an opportunity to understand the mysterious glass transition, as well as the intrinsic difference between solids and liquids.


title: Simulation of electron-positron annihilation into hadrons with the event generator PHOKHARA

abstract: The precise determination of the cross section for electron-positron annihilation into hadrons is one of the central tasks of ongoing experiments at low energy colliders. These measurements have to be complemented by Monte Carlo generators which simulate a large number of final states and include higher order radiative corrections. With this motivation in mind the generator PHOKHARA is extended to allow for the simulation of final states with zero, one or two real photons. At the same time corrections from the emission of one or two virtual photons are included, such that a full next-to-next-to leading order generator is available. The stability and consistency of the program is tested. The results (for muon-pair final states) are compared to the programs KKMC and MCGPJ and implications for the analysis of various hadronic final states are investigated.


title: On Determinism and Bell Test

abstract: Many Bell test results violate Bell's inequality. The premise of Bell's inequality is local determinism. We propose that, it can't be proved that something's mechanism isn't deterministic; if loopholes are not the reason of violation of Bell's inequality, violation of Bell's inequality illustrates that the mechanism isn't local. We propose a new explanation of Bell test, and the explanation illustrates the locality loophole is not closed by Weihs' experiment.


title: Sign-preserving of principal eigenfunctions in P1 finite element approximation of eigenvalue problems of second-order elliptic operators

abstract: This paper is concerned with the P1 finite element approximation of the eigenvalue problem of second-order elliptic operators subject to the Dirichlet boundary condition. The focus is on the preservation of basic properties of the principal eigenvalue and eigenfunctions of continuous problems. It is shown that when the stiffness matrix is an irreducible $M$-matrix, the algebraic eigenvalue problem maintains those properties such as the smallest eigenvalue being real and simple and the corresponding eigenfunctions being either positive or negative inside the physical domain. Mesh conditions leading to such a stiffness matrix are also studied. A sufficient condition is that the mesh is simplicial, acute when measured in the metric specified by the inverse of the diffusion matrix, and interiorly connected. The acute requirement can be replaced by the Delaunay condition in two dimensions. Numerical results are presented to verify the theoretical findings.


title: Breakdown of Kohn Theorem Near Feshbach Resonance

abstract: We study the collective excitation frequencies of a harmonically trapped 85Rb Bose-Einstein condensate (BEC) in the vicinity of a Feshbach resonance. To this end, we solve the underlying Gross-Pitaevskii (GP) equation by using a Gaussian variational approach and obtain the coupled set of ordinary differential equations for the widths and the center of mass of the condensate. A linearization shows that the dipole mode frequency decreases when the bias magnetic field approaches the Feshbach resonance, so the Kohn theorem is violated.


title: Dynamics of an optomechanical resonator containing a Quantum Well induced by periodic modulation of cavity field and external laser beam

abstract: We study in detail the dynamics of a non-stationary system composed of a Quantum Well confined in an optomechanical cavity. This system is investigated with classical and quantized motion of the cavity movable mirror. In both the cases, the cavity frequency is rapidly modulated in time. The resultant periodically modulated spectra is presented. In particular, we study the effect of two-photon process on the number of intracavity photons. The intensity of fluorescent light emitted by excitons in the quantum well is also examined for these non-stationary systems. It is observed that the initial stage of fluorescence spectrum helps in detecting the two-photon process. It is also noticed that under strong modulation, two-photon process dominates while under weak modulation, fluorescence dominates. We also analyzed the dynamics of the system induced by a periodic modulation of the external pump laser with constant cavity frequency. This modulation of external laser pump helps in phonon amplification.


title: Rota-Baxter 3-Lie algebras

abstract: In this paper we introduce the concepts of a Rota-Baxter operator and a differential operator with weights on an $n$-algebra. We then focus on Rota-Baxter 3-Lie algebras and show that they can be derived from Rota-Baxter Lie algebras and pre-Lie algebras and from Rota-Baxter commutative associative algebras with derivations. We also establish the inheritance property of Rota-Baxter 3-Lie algebras.


title: The Induced Charge Signal of Glass RPC Detector

abstract: The gas detector glass resistivity parallel chamber (GRPC) is proposed to use in the Hadron calorimeter (HCAL), the read-out system is based on the semi-digital system, then the charge information from GRPC is needed. To better understand the charge comes out from GRPC, we started from cosmic ray test to get the charge distribution and then study the induced charge distribution on the collection pad, after successfully compared with the prototype beam test data at CERN (European Council for Nuclear Research), the process was finally implanted into the Geant4 based simulation for future study.


title: Conditional statistical physical properties in two-joint complex systems having long-range interactions

abstract: We propose the sum and the difference of the normalized velocity of two-joint systems to describe its long-range interaction. It is found that the conditional probability distribution function (CPDF) of the normalized velocity between two-joint systems can be derived. The analytical CPDF needs only six parameters for arbitrary two-joint systems. Two typical currency exchange databases, i.e., EUR/USD and GBP/USD, which collect the minutely opening exchange prices from 1 January 1999 to 31 December 2011, are adopted as example. By calculating the CPDF in the currency exchange databases, it is shown that all of the results are well described by our theory. We also use the analytical CPDF to calculate the entropy of two-joint systems, it is found that the entropy of two-joint systems is less than the sum of entropy of each system in the two currency exchange databases. It means that some information of two-joint systems may overlap. We must important to note that the results presented here do not need to know the form of interaction of two-joint systems, and the analytical CPDF is a general expression. It is valid not only for current exchange systems, but also helpful for investigate other conditional statistical properties in any two-joint long-range interactions complex systems.


title: Entropy driven multi-photon frequency up-conversion

abstract: Frequency up-conversion of few low-energy photons into a single high-energy photon, greatly contributes to imaging, light sources, detection and other fields of research. However, it offers negligible efficiency when up-converting many photons. This is because coherent process are fundamentally limited due to momentum conservation requirements, while in incoherent up-conversion the finite intermediate states lifetime requires huge intensities. Thermodynamically, conventional incoherent up-conversion is driven by the internal energy of the incoming photons. However, a system can also drive work through change in its collective properties such as entropy. Here we experimentally demonstrate entropy driven ten-fold up-conversion from 10.6{\mu} to 1{\mu}m at internal efficiency above 27% and total efficiency above 10%. In addition, the emitted radiance at 1{\mu}m exceeds the maximal possible Black-Body radiance of our device, indicating emitter's effective-temperature that is considerably above the bulk-temperature. This work opens the way for up-conversion of thermal-radiation, and high-temperature chemistry done at room-temperature.


title: Constructing 3-Lie algebras

abstract: 3-Lie algebras are constructed by Lie algebras, derivations and linear functions, associative commutative algebras, whose involutions and derivations. Then the 3-Lie algebras are obtained from group algebras $F[G]$. An infinite dimensional simple 3-Lie algebra $(A, [,,]_{\omega, \delta_0})$ and a non-simple 3-Lie algebra $(A, [,,]_{\omega_1, \delta})$ are constructed by Laurent polynomials $A=F[t, t^{-1}]$ and its involutions $\omega$ and $\omega_1$ and derivations $\delta$ and $\delta_0$. At last of the paper, we summarize the methods of constructing $n$-Lie algebras for $n\geq 3$ and provide a problem.


title: Deficit of reactor antineutrinos at distances smaller than 100 m and inverse beta-decay

abstract: We analyse a change of a deficit of reactor antineutrinos at distances smaller than 100 m by changing the lifetime of the neutron from tau_n = 885.7 s to tau_n = 879.6 s, calculated for the axial coupling constants lambda = - 1.2694 and lambda = - 1.2750, respectively, in order to get a result corresponding the new world average value tau_n = 880.1(1.1) s. We calculate the angular distribution and cross section for the inverse beta-decay, taking into account the contributions of the "weak magnetism" and the neutron recoil to next-to-leading order in the large baryon mass expansion and the radiative corrections of order alpha/\pi ~ 10^(-3), calculated to leading order in the large baryon mass expansion. We obtain an increase of a deficit of reactor antineutrinos in of about 0.734%.


title: Long time existence for the bosonic membrane in the light cone gauge

abstract: This paper mainly aims to establish the well-posedness on time interval $[0,\varepsilon^{-\frac{1}{2}}T]$ of the classical initial problem for the bosonic membrane in the light cone gauge. Here $\varepsilon$ is the small parameter measures the nonlinear effects. In geometric, the bosonic membrane are timelike submanifolds with vanishing mean curvature. Since the initial Riemannian metric may be degenerate or non-degenerate, the corresponding equation can be reduce to a quasi-linear degenerate or non-degenerate hyperbolic system of second order with an area preserving constraint via a Hamiltonian reduction.


title: Stability estimates for discrete harmonic functions on product domains

abstract: We study the Dirichlet problem for discrete harmonic functions in unbounded product domains on multidimensional lattices. First we prove some versions of the Phragm\'en-Lindel\"of theorem and use Fourier series to obtain a discrete analog of the three-line theorem for the gradients of harmonic functions in a strip. Then we derive estimates for the discrete harmonic measure and use elementary spectral inequalities to obtain stability estimates for Dirichlet problem in cylinder domains.


title: Large Deviations of Shepp Statistics for Fractional Brownian Motion

abstract: Define the incremental fractional Brownian field $B_{H}(s+\tau)-B_{H}(s), H\in (0,1)$, where $B_{H}(s)$ is a standard fractional Brownian motion with Hurst index $H\in(0,1)$. In this paper we derive the exact asymptotic behaviour of the maximum $\max_{(\tau,s)\in[0,1]\times[0,T]} (B_{H}(s+\tau)-B_{H}(s)) $ for any $H\in (0,1/2)$ complimenting thus the result of Zholud (2008) for the Brownian motion.


title: Variational inference for sparse spectrum Gaussian process regression

abstract: We develop a fast variational approximation scheme for Gaussian process (GP) regression, where the spectrum of the covariance function is subjected to a sparse approximation. Our approach enables uncertainty in covariance function hyperparameters to be treated without using Monte Carlo methods and is robust to overfitting. Our article makes three contributions. First, we present a variational Bayes algorithm for fitting sparse spectrum GP regression models that uses nonconjugate variational message passing to derive fast and efficient updates. Second, we propose a novel adaptive neighbourhood technique for obtaining predictive inference that is effective in dealing with nonstationarity. Regression is performed locally at each point to be predicted and the neighbourhood is determined using a measure defined based on lengthscales estimated from an initial fit. Weighting dimensions according to lengthscales, this downweights variables of little relevance, leading to automatic variable selection and improved prediction. Third, we introduce a technique for accelerating convergence in nonconjugate variational message passing by adapting step sizes in the direction of the natural gradient of the lower bound. Our adaptive strategy can be easily implemented and empirical results indicate significant speedups.


title: On the Supremum of gamma-reflected Processes with Fractional Brownian Motion as Input

abstract: Let $X_H(t), t\ge 0$ be a fractional Brownian motion with Hurst index $H\in(0,1}$ and define a gamma-reflected process $W_\Ga(t)=X_H(t)-ct-\gammainf_{s\in[0,t]}\left(X_H(s)-cs \right)$, $t\ge0$ with $c>0,\gamma \in [0,1]$ two given constants. In this paper we establish the exact tail asymptotic behaviour of $\sup_{t\in [0,T]} W_\gamma(t)$ for any $T\in (0,\IF]$. Furthermore, we derive the exact tail asymptotic behaviour of the supremum of certain non-homogeneous mean-zero Gaussian random fields.


title: In-Gap Quasiparticle Excitations Induced by Non-Magnetic Cu Impurities in Na(Fe0.96Co0.03Cu0.01)As Revealed by Scanning Tunneling Spectroscopy

abstract: The pairing mechanism in the iron pnictides remains unresolved yet. One of the central issues is the structure of the superconducting order parameter which classifies the community into two different and highly disputed camps. On one hand the picture of pairing based on the magnetic origin predicts a sign reversal gap on the electron and hole Fermi pockets, leading to the S+- pairing. On the other hand, a more conventional S++ pairing gap was suggested based on the phonon or orbital fluctuation mediated pairing. In the superconducting state, the impurities may generate a unique pattern of local density of states in space and energy, which are regarded as the fingerprints for checking the structure of the pairing gap. In this study, we successfully identified the non-magnetic and magnetic impurities in Na(Fe0.97-xCo0.03Tx)As (T=Cu, Mn) and investigated the spatial resolved scanning tunneling spectroscopy. We present clear evidence of the in-gap quasiparticle states induced by the nonmagnetic Cu impurities, giving decisive evidence of the S+- pairing. This is corroborated by the consistency between the experimental data and the first-principles calculations based on the S+- pairing gap with a scalar scattering potential.


title: Apparent contours of nonsingular real cubic surfaces

abstract: We give a complete deformation classification of real Zariski sextics, that is of generic apparent contours of nonsingular real cubic surfaces. As a by-product, we observe a certain "reversion" duality in the set of deformation classes of these sextics.


title: Comparing Edge Detection Methods based on Stochastic Entropies and Distances for PolSAR Imagery

abstract: Polarimetric synthetic aperture radar (PolSAR) has achieved a prominent position as a remote imaging method. However, PolSAR images are contaminated by speckle noise due to the coherent illumination employed during the data acquisition. This noise provides a granular aspect to the image, making its processing and analysis (such as in edge detection) hard tasks. This paper discusses seven methods for edge detection in multilook PolSAR images. In all methods, the basic idea consists in detecting transition points in the finest possible strip of data which spans two regions. The edge is contoured using the transitions points and a B-spline curve. Four stochastic distances, two differences of entropies, and the maximum likelihood criterion were used under the scaled complex Wishart distribution; the first six stem from the h-phi class of measures. The performance of the discussed detection methods was quantified and analyzed by the computational time and probability of correct edge detection, with respect to the number of looks, the backscatter matrix as a whole, the SPAN, the covariance an the spatial resolution. The detection procedures were applied to three real PolSAR images. Results provide evidence that the methods based on the Bhattacharyya distance and the difference of Shannon entropies outperform the other techniques.


title: Optimal Rescaling and the Mahalanobis Distance

abstract: One of the basic problems in data analysis lies in choosing the optimal rescaling (change of coordinate system) to study properties of a given data-set $Y$. The classical Mahalanobis approach has its basis in the classical normalization/rescaling formula $Y \ni y \to \Sigma_Y^{-1/2} \cdot (y-\mathrm{m}_Y)$, where $\mathrm{m}_Y$ denotes the mean of $Y$ and $\Sigma_Y$ the covariance matrix . Based on the cross-entropy we generalize this approach and define the parameter which measures the fit of a given affine rescaling of $Y$ compared to the Mahalanobis one. This allows in particular to find an optimal change of coordinate system which satisfies some additional conditions. In particular we show that in the case when we put origin of coordinate system in $ \mathrm{m} $ the optimal choice is given by the transformation $Y \ni y \to \Sigma_Y^{-1/2} \cdot (y-\mathrm{m}_Y)$, where $$ \Sigma=\Sigma_Y(\Sigma_Y-\frac{(\mathrm{m}-\mathrm{m}_Y)(\mathrm{m}-\mathrm{m}_Y)^T}{1+\|\mathrm{m}-\mathrm{m}_Y\|_{\Sigma_Y}^2})^{-1}\Sigma_Y. $$


title: Wolstenholme and Morley, Primes and Pseudoprimes

abstract: In this note, we prove $p^2$ is a Morley pseudoprime (of order 2) iff $p^2$ is a Wolstenholme pseudoprime (of order 2) iff $p$ is a Wolstenholme prime iff $p$ is a Morley prime. Concerning pseudoprimes of order 1 that are not powers of primes, only 3 are known of Wolstenholme's type and absolutely none have yet been identified of Morley's type.


title: Strange freezeout

abstract: We argue that known systematics of hadron cross sections may cause different particles to freeze out of the fireball produced in heavy-ion collisions at different times. We find that a simple model with two freezeout points is a better description of data than that with a single freezeout, while still remaining predictive. The resulting fits seem to present constraints on the late stage evolution of the fireball, including the tantalizing possibility that the QCD chiral transition influences the yields at sqrt(S)=2700 GeV and the QCD critical point those at sqrt(S)=17.3 GeV.


title: Elliptic curves of bounded degree in a polarized Abelian variety

abstract: For a polarized complex Abelian variety A, of dimension g>1, we study the function N_A(t) counting the number of elliptic curves in A with degree bounded by t. We describe elliptic curves as solutions of Diophantine equations which, at least for small dimensions g=2 and g=3, can actually be made explicit, and we show that computing the number of solutions is reduced to the classical topic in Number Theory of counting points of the lattice Z^n lying on an explicit bounded subset of R^n. We obtain, for Abelian varieties of small dimension, some upper bounds for the counting function.


title: Investigating the linear structure of Boolean functions based on Simon's period-finding quantum algorithm

abstract: It is believed that there is no efficient classical algorithm to determine the linear structure of Boolean function. We investigate an extension of Simon's period-finding quantum algorithm, and propose an efficient quantum algorithm to determine the linear structure of Boolean function.


title: CSMA over Time-varying Channels: Optimality, Uniqueness and Limited Backoff Rate

abstract: Recent studies on MAC scheduling have shown that carrier sense multiple access (CSMA) algo- rithms can be throughput optimal for arbitrary wireless network topology. However, these results are highly sensitive to the underlying assumption on 'static' or 'fixed' system conditions. For example, if channel conditions are time-varying, it is unclear how each node can adjust its CSMA parameters, so-called backoff and channel holding times, using its local channel information for the desired high performance. In this paper, we study 'channel-aware' CSMA (A-CSMA) algorithms in time-varying channels, where they adjust their parameters as some function of the current channel capacity. First, we show that the achievable rate region of A-CSMA equals to the maximum rate region if and only if the function is exponential. Furthermore, given an exponential function in A-CSMA, we design updating rules for their parameters, which achieve throughput optimality for an arbitrary wireless network topology. They are the first CSMA algorithms in the literature which are proved to be throughput optimal under time-varying channels. Moreover, we also consider the case when back-off rates of A- CSMA are highly restricted compared to the speed of channel variations, and characterize the throughput performance of A-CSMA in terms of the underlying wireless network topology. Our results not only guide a high-performance design on MAC scheduling under highly time-varying scenarios, but also provide new insights on the performance of CSMA algorithms in relation to their backoff rates and the network topology.


title: The resolution of the Yang-Mills Plateau problem in super-critical dimensions

abstract: We study the minimization problem for the Yang-Mills energy under fixed boundary connection in supercritical dimension $n\geq 5$. We define the natural function space A_{G} in which to formulate this problem in analogy to the space of integral currents used for the classical Plateau problem. The space A_{G} can be also interpreted as a space of weak connections on a "real measure theoretic version" of reflexive sheaves from complex geometry. We prove the weak closure result which ensures the existence of energy-minimizing weak connections in A_{G}. We then prove that any weak connection from A_{G} can be obtained as a L^2-limit of classical connections over bundles with defects. This approximation result is then extended to a Morrey analogue. We prove the optimal regularity result for Yang-Mills local minimizers. On the way to prove this result we establish a Coulomb gauge extraction theorem for weak curvatures with small Yang-Mills density. This generalizes to the general framework of weak $L^2$ curvatures previous works of Meyer-Rivi\`ere and Tao-Tian in which respectively a strong approximability property and an admissibility property were assumed in addition.


title: Comment on 'Discussions on common errors in analyzing sea level accelerations, solar trends and global warming'

abstract: Comment on Scafetta, Nicola. 'Discussion on Common Errors in Analyzing Sea Level Accelerations, Solar Trends and Global Warming.' arXiv:1305.2812 (May 13, 2013a). doi:10.5194/prp-1-37-2013.


title: Asymptotic enumeration of sparse uniform hypergraphs with given degrees

abstract: Let $r \geq 2$ be a fixed integer. For infinitely many $n$, let $\boldsymbol{k} = (k_1,..., k_n)$ be a vector of nonnegative integers such that their sum $M$ is divisible by $r$. We present an asymptotic enumeration formula for simple $r$-uniform hypergraphs with degree sequence $k$. (Here "simple" means that all edges are distinct and no edge contains a repeated vertex.) Our formula holds whenever the maximum degree $k_{\mathrm{max}}$ satisfies $k_{\mathrm{max}}^3 = o(M)$.


title: Critical magnetic field in holographic superconductor in Gauss-Bonnet gravity with Born-Infeld electrodynamics

abstract: In the paper using matching method in the probe limit, we investigate some properties of holographic superconductor in Gauss-Bonnet gravity with Born-Infeld electrodynamics . We discuss the effects of the Gauss-Bonnet coupling $\a$ and Born-Infeld parameter $b$ on the critical temperature and condensate. We find that both of $\a$ and $b$ make the critical temperature decrease, which implies the condensate harder to form. Moreover we study the magnetic effect on holographic superconductor and obtain that the ratio between the critical magnetic field and the square of the critical temperature increases from zero as the temperature is lowered below the critical value $T_c$, which agrees well with the former results. We also find the critical magnetic field is indeed affected by Gauss-Bonnet coupling, but not by Born-Infeld parameter.


title: The early exercise premium representation for American options on multiply assets

abstract: In the paper we consider the problem of valuation of American options written on dividend-paying assets whose price dynamics follow the classical multidimensional Black and Scholes model. We provide a general early exercise premium representation formula for options with payoff functions which are convex or satisfy mild regularity assumptions. Examples include index options, spread options, call on max options, put on min options, multiply strike options and power-product options. In the proof of the formula we exploit close connections between the optimal stopping problems associated with valuation of American options, obstacle problems and reflected backward stochastic differential equations.