title: The Spitzer Archival Far-InfraRed Extragalactic Survey

abstract: We present the Spitzer Archival Far-InfraRed Extragalactic Survey (SAFIRES). This program produces refined mosaics and source lists for all far-infrared extragalactic data taken during the more than six years of the cryogenic operation of the Spitzer Space Telescope. The SAFIRES products consist of far-infrared data in two wavelength bands (70 um and 160 um) across approximately 180 square degrees of sky, with source lists containing far-infrared fluxes for almost 40,000 extragalactic point sources. Thus, SAFIRES provides a large, robust archival far-infrared data set suitable for many scientific goals.


title: Spectroscopy of $^{28}$Na: shell evolution toward the drip line

abstract: Excited states in $^{28}$Na have been studied using the $\beta$-decay of implanted $^{28}$Ne ions at GANIL/LISE as well as the in-beam $\gamma$-ray spectroscopy at the NSCL/S800 facility. New states of positive (J$^{\pi}$=3,4$^+$) and negative (J$^{\pi}$=1-5$^-$) parity are proposed. The former arise from the coupling between 0d$\_{5/2}$ protons and a 0d$\_{3/2}$ neutron, while the latter are due to couplings with 1p$\_{3/2}$ or 0f$\_{7/2}$ neutrons. While the relative energies between the J$^{\pi}$=1-4$^+$ states are well reproduced with the USDA interaction in the N=17 isotones, a progressive shift in the ground state binding energy (by about 500 keV) is observed between $^{26}$F and $^{30}$Al. This points to a possible change in the proton-neutron 0d$\_{5/2}$-0d$\_{3/2}$ effective interaction when moving from stability to the drip line. The presence of J$^{\pi}$=1-4$^-$ negative parity states around 1.5 MeV as well as of a candidate for a J$^{\pi}$=5$^-$ state around 2.5 MeV give further support to the collapse of the N=20 gap and to the inversion between the 0f$\_{7/2}$ and 1p$\_{3/2}$ levels below Z=12. These features are discussed in the framework of Shell Model and EDF calculations, leading to predicted negative parity states in the low energy spectra of the $^{26}$F and $^{25}$O nuclei.


title: Convolution estimates for measures on some complex curves

abstract: We consider the convolution operator for a measure supported on complex curves. The measure which we consider here is an analogue of the affine arclength measure for real curves. By modifying a combinatorial argument called the band structure argument, we prove the (nearly) optimal Lorentz space estimates. This includes the optimal strong type estimates as special cases. The complex curves we consider here are the ones considered for the Fourier restriction estimates for complex curves in \cite{BH}.


title: Uniform Information Exchange in Multi-channel Wireless Ad Hoc Networks

abstract: In the information exchange problem, k packets that are initially maintained by k nodes need to be disseminated to the whole network as quickly as possible. We consider this problem in single-hop multi- channel networks of n nodes, and propose a uniform protocol that with high probability accomplishes the dissemination in O(k/F + F \cdot log n) rounds, assuming F available channels and collision detection. This result is asymptotically optimal when k is large (k \geq F^2 \cdot log n). To our knowledge, this is the first uniform protocol for information exchange in multi-channel networks.


title: On flow equivalence of one-sided topological Markov shifts

abstract: We introduce notions of suspension and flow equivalence on one-sided topological Markov shifts, which we call one-sided suspension and one-sided flow equivalence, respectively. We prove that one-sided flow equivalence is equivalent to continuous orbit equivalence on one-sided topological Markov shifts. We also show that the zeta function of the flow on a one-sided suspension is a dynamical zeta function with some potential function and that the set of certain dynamical zeta functions is invariant under one-sided flow equivalence of topological Markov shifts.


title: Discrete Temporal Constraint Satisfaction Problems

abstract: A discrete temporal constraint satisfaction problem is a constraint satisfaction problem (CSP) whose constraint language consists of relations that are first-order definable over $(\Bbb Z,<)$. Our main result says that every distance CSP is in Ptime or NP-complete, unless it can be formulated as a finite domain CSP in which case the computational complexity is not known in general.


title: An elementary solution of Gessel's walks in the quadrant

abstract: Around 2000, Ira Gessel conjectured that the number of lattice walks in the quadrant N^2, starting and ending at the origin (0,0) and taking their steps in {E,NE,W,SW} had a simple hypergeometric form. In the following decade, this problem was recast in the systematic study of walks with small steps (that is,steps in {-1,0,1}^2) confined to the quadrant. The generating functions of such walks are archetypal solutions of partial discrete differential equations.A complete classification of quadrant walks according to the nature of their generating function(algebraic, D-finite or not) is now available, but Gessel'swalks remained mysterious because they were the only model among the 23D-finite ones that had not been given an elementarysolution. Instead, Gessel's conjecture was first proved usingan inventive computer algebra approach in 2008. A year later, the associated three-variate generating function was proved to be algebraic by a computer algebra tour de force. This was re-proved recently using elaborate complex analysis machinery. We give here an elementary and constructive proof. Our approach also solves other quadrant models (with multiple steps) recently proved to be algebraic via computer algebra.


title: Common hypercyclic vectors for high dimensional families of operators

abstract: Let $(T\_\lambda)\_{\lambda\in\Lambda}$ be a family of operators acting on a $F$-space $X$, where the parameter space $\Lambda$ is a subset of $\mathbb R^d$. We give sufficient conditions on the family to yield the existence of a vector $x\in X$ such that, for any $\lambda\in\Lambda$, the set $\big\{T\_\lambda^n x;\ n\geq 1\big\}$ is dense in $X$. We obtain results valid for any value of $d\geq 1$ whereas the previously known results where restricted to $d=1$. Our methods also shed new light on the one-dimensional case.


title: The compact strong Z-set property in a hyperspace of finite subsets

abstract: Let X be a non-degenerate, connected, locally path-connected metrizable space and Fin(X) be the hyperspace consisting of non-empty finite subsets in X endowed with the Vietoris topology. In this paper, we show that every compact set in Fin(X) is a strong Z-set.


title: Evidence for a disordered critical point in a glass-forming liquid

abstract: Using computer simulations of an atomistic glass-forming liquid, we investigate the fluctuations of the overlap between a fluid configuration and a quenched reference system. We find that large fluctuations of the overlap develop as temperature decreases, consistent with the existence of the random critical point that is predicted by effective field theories. We discuss the scaling of fluctuations near the presumed critical point, comparing the observed behaviour with that of the random-field Ising model. We argue that this critical point directly reveals the existence of an interfacial tension between amorphous metastable states, a quantity relevant both for equilibrium relaxation and for nonequilibrium melting of stable glass configurations.


title: Sparse Spikes Deconvolution on Thin Grids

abstract: This article analyzes the recovery performance of two popular finite dimensional approximations of the sparse spikes deconvolution problem over Radon measures. We examine in a unified framework both the L1 regularization (often referred to as Lasso or Basis-Pursuit) and the Continuous Basis-Pursuit (C-BP) methods. The Lasso is the de-facto standard for the sparse regularization of inverse problems in imaging. It performs a nearest neighbor interpolation of the spikes locations on the sampling grid. The C-BP method, introduced by Ekanadham, Tranchina and Simoncelli, uses a linear interpolation of the locations to perform a better approximation of the infinite-dimensional optimization problem, for positive measures. We show that, in the small noise regime, both methods estimate twice the number of spikes as the number of original spikes. Indeed, we show that they both detect two neighboring spikes around the locations of an original spikes. These results for deconvolution problems are based on an abstract analysis of the so-called extended support of the solutions of L1-type problems (including as special cases the Lasso and C-BP for deconvolution), which are of an independent interest. They precisely characterize the support of the solutions when the noise is small and the regularization parameter is selected accordingly. We illustrate these findings to analyze for the first time the support instability of compressed sensing recovery when the number of measurements is below the critical limit (well documented in the literature) where the support is provably stable.


title: Equivalence of Wilson Actions

abstract: We introduce the concept of equivalence among Wilson actions. Applying the concept to a real scalar theory on a euclidean space, we derive the exact renormalization group transformation of K. G. Wilson, and give a simple proof of universality of the critical exponents at any fixed point of the exact renormalization group transformation. We also show how to reduce the original formalism of Wilson to the simplified formalism by J. Polchinski.


title: Translating between the roots of the identity in quantum computers

abstract: The Clifford+$T$ quantum computing gate library for single qubit gates can create all unitary matrices that are generated by the group $\langle H, T\rangle$. The matrix $T$ can be considered the fourth root of Pauli $Z$, since $T^4 = Z$ or also the eighth root of the identity $I$. The Hadamard matrix $H$ can be used to translate between the Pauli matrices, since $(HTH)^4$ gives Pauli $X$. We are generalizing both these roots of the Pauli matrices (or roots of the identity) and translation matrices to investigate the groups they generate: the so-called Pauli root groups. In this work we introduce a formalization of such groups, study finiteness and infiniteness properties, and precisely determine equality and subgroup relations.


title: Signature Change of the Metric in CDT Quantum Gravity?

abstract: We study the effective transfer matrix within the semiclassical and bifurcation phases of CDT quantum gravity. We find that for sufficiently large lattice volumes the kinetic term of the effective transfer matrix has a different sign in each of the two phases. We argue that this sign change can be viewed as a Wick rotation of the metric. We discuss the likely microscopic mechanism responsible for the bifurcation phase transition, and propose an order parameter that can potentially be used to determine the precise location and order of the transition. Using the effective transfer matrix we approximately locate the position of the bifurcation transition in some region of coupling constant space, allowing us to present an updated version of the CDT phase diagram.


title: LSHTC: A Benchmark for Large-Scale Text Classification

abstract: LSHTC is a series of challenges which aims to assess the performance of classification systems in large-scale classification in a a large number of classes (up to hundreds of thousands). This paper describes the dataset that have been released along the LSHTC series. The paper details the construction of the datsets and the design of the tracks as well as the evaluation measures that we implemented and a quick overview of the results. All of these datasets are available online and runs may still be submitted on the online server of the challenges.


title: Spin-mixing Interferometry with Bose-Einstein Condensates

abstract: Unstable spinor Bose-Einstein condensates are ideal candidates to create nonlinear three-mode interferometers. Our analysis goes beyond the standard SU(1,1) parametric approach and therefore provides the regime of parameters where sub shot-noise sensitivities can be reached with respect to the input total average number of particles. Decoherence due to particle losses and finite detection efficiency are also considered.


title: Hierarchical Random Graphs Based on Motifs

abstract: Network motifs are characteristic patterns which occur in the networks essentially more frequently than the other patterns. For five motifs found in S. Itzkovitz, U. Alon, Phys. Rev.~E, 2005, 71, 026117-1, hierarchical random graphs are proposed in which the motifs appear at each hierarchical level. A rigorous construction of such graphs is given and a number of their structural properties are analyzed. This includes degree distribution, amenability, clustering, and the small world property. For one of the motifs, annealed phase transitions in the Ising model based on the corresponding graph are also studied.


title: Quantum Computation with Rotational States of Nonpolar Ionic Molecules

abstract: We propose a quantum computer architecture which is robust against decoherence and scalable. As a qubit, we adopt rotational states of a nonpolar ionic molecule trapped in an ion-trap. It is revealed that the rotational-state qubits are much more immune to decoherence than the conventional electronic-state qubits of atomic ions. A complete method set for state preparation, single-qubit gate, controlled-NOT gate, and qubit-readout suitable for the rotational-state qubits is provided. Since the ionic molecules can be transported in an array of ion traps, the rotational-state qubits are expected to be a promising candidate to build a large-scale quantum computer.


title: The Complexity-Rate Tradeoff of Centralized Radio Access Networks

abstract: In a centralized RAN, the signals from multiple RAPs are processed centrally in a data center. Centralized RAN enables advanced interference coordination strategies while leveraging the elastic provisioning of data processing resources. It is particularly well suited for dense deployments, such as within a large building where the RAPs are connected via fibre and many cells are underutilized. This paper considers the computational requirements of centralized RAN with the goal of illuminating the benefits of pooling computational resources. A new analytical framework is proposed for quantifying the computational load associated with the centralized processing of uplink signals in the presence of block Rayleigh fading, distance-dependent path-loss, and fractional power control. Several new performance metrics are defined, including computational outage probability, outage complexity, computational gain, computational diversity, and the complexity-rate tradeoff. The validity of the analytical framework is confirmed by comparing it numerically with a simulator compliant with the 3GPP LTE standard. Using the developed metrics, it is shown that centralizing the computing resources provides a higher net throughput per computational resource as compared to local processing.


title: New class of distortion risk measures and their tail asymptotics with emphasis on VaR

abstract: Distortion risk measures are extensively used in finance and insurance applications because of their appealing properties. We present three methods to construct new class of distortion functions and measures. The approach involves the composting methods, the mixing methods and the approach that based on the theory of copula. Subadditivity is an important property when aggregating risks in order to preserve the benefits of diversification. However, Value at risk (VaR), as the most well-known example of distortion risk measure is not always globally subadditive, except of elliptically distributed risks. In this paper, instead of study subadditivity we investigate the tail subadditivity for VaR and other distortion risk measures. In particular, we demonstrate that VaR is tail subadditive for the case where the support of risk is bounded. Various examples are also presented to illustrate the results.


title: Phase diagram and superconductivity of polonium hydrides under high pressure

abstract: High pressure structures, phase diagram and superconductivity of polonium hydrides have been systematically investigated through the first-principles calculations based on the density functional theory. With the increasing pressure, several stoichiometries (PoH, $\textrm{PoH}_\textrm{2}$, $\textrm{PoH}_4$ and $\textrm{PoH}_6$) are predicted to stabilize in the excess hydrogen environment. All of the reported hydrides, exception of PoH, exhibit intriguing structural character with the appearing $\textrm{H}_2$ units. Moreover, our electronic band structure and the projected density of states (PDOS) demonstrate that these energetically stable phases are metallic. The application of the Allen-Dynes modified McMillan equation with the calculated electron-phonon coupling parameter reveals that $\textrm{PoH}_4$ is a superconductor with a critical temperature $T_c$ of 41.2-47.2 K at 300 GPa.


title: Why graphene growth is very different on the C face than on the Si face of SiC: Insights from surface equilibria and the (3$\times$3)-3C-SiC($\bar{\text{1}}\bar{\text{1}}\bar{\text{1}}$) reconstruction

abstract: We address the stability of the surface phases that occur on the C-side of 3C-SiC($\bar{1} \bar{1} \bar{1}$) at the onset of graphene formation. In this growth range, experimental reports reveal a coexistence of several surface phases. This coexistence can be explained by a Si-rich model for the unknown (3$\times$3) reconstruction, the known (2$\times$2)$_{C}$ adatom phase, and the graphene covered (2$\times$2)$_{C}$ phase. By constructing an $ab$ $initio$ surface phase diagram using a van der Waals corrected density functional, we show that the formation of a well defined interface structure like the "buffer-layer" on the Si side is blocked by Si-rich surface reconstructions.


title: Local risk-minimization for Barndorff-Nielsen and Shephard models

abstract: We obtain explicit representations of locally risk-minimizing strategies of call and put options for the Barndorff-Nielsen and Shephard models, which are Ornstein--Uhlenbeck-type stochastic volatility models. Using Malliavin calculus for Levy processes, Arai and Suzuki (2015) obtained a formula for locally risk-minimizing strategies for Levy markets under many additional conditions. Supposing mild conditions, we make sure that the Barndorff-Nielsen and Shephard models satisfy all the conditions imposed in Arai and Suzuki (2015). Among others, we investigate the Malliavin differentiability of the density of the minimal martingale measure. Moreover, some numerical experiments for locally risk-minimizing strategies are introduced.


title: An uncertainty principle and sampling inequalities in Besov spaces

abstract: We extend Strichartz's uncertainty principle [18] from the setting of the Sobolov space W 1,2 (R) to more general Besov spaces B 1/p p,1 (R). The main result gives an estimate from below of the trace of a function from the Besov space on a uniformly distributed discrete subset. We also prove the corresponding result in the multivariate case and discuss some applications to irregular approximate sampling in critical Besov spaces.


title: Investigation of Crystal Structure of SrLa(FeTi)O6 and BaLa(FeTi)O6 Perovskites by Rietveld Refinement

abstract: The structures of the recently reported ordered perovskites SrLa(FeTi)O6 and BaLa(FeTi)O6 have been revisited using Rietveld analysis of the powder x-ray diffraction data. Our studies clearly show that earlier authors have incorrectly reported the tetragonal structure in the I4/m space group for SrLa(FeTi)O6 and the cubic structure in the Fm3m space group for BaLa(FeTi)O6. The correct structure is found to be orthorhombic in the Pnma space group for SrLa(FeTi)O6 while cubic in the Pm3m space group for BaLa(FeTi)O6. Thus the BaLa(FeTi)O6 is not an ordered double perovskite as the occupancies of Ba/La ions at A-site and Fe/Ti ions at B-site are disordered resulting in the primitive cubic unit cell in the Pm3m space group. Similarly, the occupancies of Sr/La ions at A-site and Fe/Ti ions at B-site are disordered in SrLa(FeTi)O6 also, ruling out the ordered perovskite structure.


title: Exact holographic mapping in free fermion systems

abstract: In this paper, we shall perform a detailed analysis of the Exact Holographic Mapping first introduced in arXiv:1309.6282, which was proposed as an explicit example of holographic duality between quantum many-body systems and gravitational theories. We obtain analytic results for free-fermion systems that not only confirm previous numerical results, but also elucidate the exact relationships between the various physical properties of the bulk and boundary systems. Our analytic results allow us to study the asymptotic properties that are difficult to probe numerically, such as the near horizon regime of the black hole geometry. We shall also explore a few interesting but hitherto unexplored bulk geometries, such as that corresponding to a boundary critical fermion with nontrivial dynamic critical exponent. Our analytic framework also allows us to study the holographic mapping of some of these boundary theories in dimensions 2+1 or higher.


title: Enumeration of Complex and Real Surfaces via Tropical Geometry

abstract: We prove a correspondence theorem for singular tropical surfaces in real three space, which recovers singular algebraic surfaces in an appropriate toric three-fold that tropicalize to a given singular tropical surface. Furthermore, we develop a three-dimensional version of Mikhalkin's lattice path algorithm that enumerates singular tropical surfaces passing through an appropriate configuration of points in real three space. As application we show that there are pencils of real surfaces of degree $d$ in projective three space containing at least $(3/2)d^3+O(d^2)$ singular surfaces, which is asymptotically comparable to the number $4(d-1)^3$ of all complex singular surfaces in the pencil. Our result relies on the classification of singular tropical surfaces (arXiv:1106.2676).


title: Multi-Base Representations of Integers: Asymptotic Enumeration and Central Limit Theorems

abstract: In a multi-base representation of an integer (in contrast to, for example, the binary or decimal representation) the base (or radix) is replaced by products of powers of single bases. The resulting numeral system has desirable properties for fast arithmetic. It is usually redundant, which means that each integer can have multiple different digit expansions, so the natural question for the number of representations arises. In this paper, we provide a general asymptotic formula for the number of such multi-base representations of a positive integer $n$. Moreover, we prove central limit theorems for the sum of digits, the Hamming weight (number of non-zero digits, which is a measure of efficiency) and the occurrences of a fixed digits in a random representation.


title: Magnon contribution to the magnetoresistance of iron nanowires deposited using pulsed electrodeposition

abstract: Iron nanowires with a square cross section are grown by pulsed electrodeposition within a newly developed nanochannel template that allows for easy characterization. Measurements of the magnetoresistance as a function of magnetic field and temperature are performed within a large parameter window allowing for the investigation of the magnonic contribution to the magnetoresistance of electrodeposited iron nanowires. Values for the temperature dependent magnon stiffness D(T) are extracted.


title: Fast Optimal Transport Averaging of Neuroimaging Data

abstract: Knowing how the Human brain is anatomically and functionally organized at the level of a group of healthy individuals or patients is the primary goal of neuroimaging research. Yet computing an average of brain imaging data defined over a voxel grid or a triangulation remains a challenge. Data are large, the geometry of the brain is complex and the between subjects variability leads to spatially or temporally non-overlapping effects of interest. To address the problem of variability, data are commonly smoothed before group linear averaging. In this work we build on ideas originally introduced by Kantorovich to propose a new algorithm that can average efficiently non-normalized data defined over arbitrary discrete domains using transportation metrics. We show how Kantorovich means can be linked to Wasserstein barycenters in order to take advantage of an entropic smoothing approach. It leads to a smooth convex optimization problem and an algorithm with strong convergence guarantees. We illustrate the versatility of this tool and its empirical behavior on functional neuroimaging data, functional MRI and magnetoencephalography (MEG) source estimates, defined on voxel grids and triangulations of the folded cortical surface.


title: Electrochemical synthesis of highly ordered nanowires with a rectangular cross-section using an in-plane nanochannel array

abstract: Rapid and reproducible assembly of aligned nanostructures on a wafer-scale is a crucial, yet one of the most challenging tasks in the incorporation of nanowires into integrated circuits. We present the synthesis of a periodic nanochannel template designed for electrochemical growth of perfectly aligned, rectangular nanowires over large areas. The nanowires can be electrically contacted and characterized in situ using a pre-patterned multi-point measurement platform. During the measurement the wires remain within a thick oxide matrix providing protection against breaking and oxidation. We use laser interference lithography, reactive ion etching and atomic layer deposition to create cm-long parallel nanochannels with characteristic dimensions as small as 40 nm. In a showcase study pulsed electrodeposition of iron is carried out creating rectangular shaped iron nanowires within the nanochannels. By design of the device, the grown wires are in contact with an integrated electrode system on both ends directly after the deposition. No further processing steps are required for electrical characterization, minimizing the risk of damage and oxidation. The developed nanowire measurement device allows for multi-probe resistance measurements and can easily be adopted for transistor applications. The guided, in-plane growth of electrodeposited nanowire arrays which are tunable in size and density paves the way for the incorporation of nanowires into a large variety of multifunctional devices.


title: Topological and nematic ordered phases in many-body cluster-Ising models

abstract: We present a fully analytically solvable family of models with many-body cluster interaction and Ising interaction. This family exhibits two phases, dubbed cluster and Ising phases, respectively. The critical point turns out to be independent of the cluster size $n+2$ and is reached exactly when both interactions are equally weighted. For even $n$ we prove that the cluster phase corresponds to a nematic ordered phase and in the case of odd $n$ to a symmetry protected topological ordered phase. Though complex, we are able to quantify the multi-particle entanglement content of neighboring spins. We prove that there exists no bipartite or, in more detail, no $n+1$-partite entanglement. This is possible since the non-trivial symmetries of the Hamiltonian restrict the state space. Indeed, only if the Ising interaction is strong enough (local) genuine $n+2$-partite entanglement is built up. Due to their analytically solvableness the $n$-cluster-Ising models serve as a prototype for studying non trivial-spin orderings and due to their peculiar entanglement properties they serve as a potential reference system for the performance of quantum information tasks.


title: Generation of magnetic fields by large-scale vortices in rotating convection

abstract: We propose a new self-consistent dynamo mechanism for the generation of large-scale magnetic fields in natural objects. Recent computational studies have described the formation of large-scale vortices (LSVs) in rotating turbulent convection. Here we demonstrate that for magnetic Reynolds numbers below the threshold for small-scale dynamo action, such turbulent flows can sustain large-scale magnetic fields --- i.e. fields with a significant component on the scale of the system.


title: On orthogonal systems of shifts of scaling function on local fields of positive characteristic

abstract: We present a new method for constructing an orthogonal step scaling function on local fields of positive characteristic, which generates multiresolution analysis.


title: Finding a low-rank basis in a matrix subspace

abstract: For a given matrix subspace, how can we find a basis that consists of low-rank matrices? This is a generalization of the sparse vector problem. It turns out that when the subspace is spanned by rank-1 matrices, the matrices can be obtained by the tensor CP decomposition. For the higher rank case, the situation is not as straightforward. In this work we present an algorithm based on a greedy process applicable to higher rank problems. Our algorithm first estimates the minimum rank by applying soft singular value thresholding to a nuclear norm relaxation, and then computes a matrix with that rank using the method of alternating projections. We provide local convergence results, and compare our algorithm with several alternative approaches. Applications include data compression beyond the classical truncated SVD, computing accurate eigenvectors of a near-multiple eigenvalue, image separation and graph Laplacian eigenproblems.


title: Pairs of Languages Closed under Shuffle Projection

abstract: Shuffle projection is motivated by the verification of safety properties of special parameterized systems. Basic definitions and properties, especially related to alphabetic homomorphisms, are presented. The relation between iterated shuffle products and shuffle projections is shown. A special class of multi-counter automata is introduced, to formulate shuffle projection in terms of computations of these automata represented by transductions. This reformulation of shuffle projection leads to construction principles for pairs of languages closed under shuffle projection. Additionally, it is shown that under certain conditions these transductions are rational, which implies decidability of closure against shuffle projection. Decidability of these conditions is proven for regular languages. Finally, without additional conditions, decidability of the question, whether a pair of regular languages is closed under shuffle projection, is shown. In an appendix the relation between shuffle projection and the shuffle product of two languages is discussed. Additionally, a kind of shuffle product for computations in S-automata is defined.


title: Proper modifications of generalized $p-$K\"ahler manifolds

abstract: In this paper, we consider a proper modification $f : \tilde M \to M$ between complex manifolds, and study when a generalized $p-$K\"ahler property goes back from $M$ to $\tilde M$. When $f$ is the blow-up at a point, every generalized $p-$K\"ahler property is conserved, while when $f$ is the blow-up along a submanifold, the same is true for $p=1$. For $p=n-1$, we prove that the class of compact generalized balanced manifolds is closed with respect to modifications, and we show that the fundamental forms can be chosen in the expected cohomology class. We get some partial results also in the non-compact case; finally, we end the paper with some examples of generalized $p-$K\"ahler manifolds.


title: Liquid FM: Recommending Music through Viscous Democracy

abstract: Most modern recommendation systems use the approach of collaborative filtering: users that are believed to behave alike are used to produce recommendations. In this work we describe an application (Liquid FM) taking a completely different approach. Liquid FM is a music recommendation system that makes the user responsible for the recommended items. Suggestions are the result of a voting scheme, employing the idea of viscous democracy. Liquid FM can also be thought of as the first testbed for this voting system. In this paper we outline the design and architecture of the application, both from the theoretical and from the implementation viewpoints.


title: Nonequilibrium dynamics of spin-orbit coupled lattice bosons

abstract: We study the non-equilibrium dynamics of two component bosonic atoms in a one-dimensional optical lattice in the presence of spin-orbit coupling. In the Mott insulating regime, the two-component bosonic system at unity filling can be described by the quantum spin XXZ model. The atoms are initially prepared in their lower spin states. The system becomes out of equilibrium by suddenly introducing spin-orbit coupling to the atoms. The system shows the relaxation and non-stationary dynamics, respectively, in the different interaction regimes. We find that the time average of magnetization is useful to characterize the many-body dynamics. The effects of even and odd numbers of sites are discussed. Our result sheds light on non-equilibrium dynamics due to the interplay between spin-orbit coupling and atomic interactions.


title: The masses of vector mesons in holographic QCD at finite chiral chemical potential

abstract: Central heavy-ion collisions may induce sizeable fluctuations of the topological charge. This effect is expected to distort the dispersion relation for the hadron masses. We construct a general setup for a compact description of this phenomenon in the framework of bottom-up holographic approach to QCD. A couple of soft wall holographic models are proposed for the vector mesons. The states having different circular polarizations are shown to have different effective mass. The requirement of stability imposes strong constraints on the possible choice of models.


title: Superradiance and instability of small rotating charged AdS black holes in all dimensions

abstract: Rotating small AdS black holes exhibit the superradiant instability to low-frequency scalar perturbations, which is amenable to a complete analytic description in four dimensions. In this paper, we extend this description to all higher dimensions, focusing on slowly rotating charged AdS black holes with a single angular momentum. We divide the spacetime of these black holes into the near-horizon and far regions and find solutions to the scalar wave equation in each of these regions. Next, we perform the matching of these solutions in the overlap between the regions, by employing the idea that the orbital quantum number $ \ell $ can be thought of as an approximate integer. Thus, we obtain the complete low-frequency solution that allows us to calculate the complex frequency spectrum of quasinormal modes, whose imaginary part is determined by a small damping parameter. Finally, we find a remarkably instructive expression for the damping parameter, which appears to be a complex quantity in general. We show that the real part of the damping parameter can be used to give a {\it universal} analytic description of the superradiant instability for slowly rotating charged AdS black holes in all spacetime dimensions.


title: Freezing of energy of a soliton in an external potential

abstract: In this paper we study the dynamics of a soliton in the generalized NLS with a small external potential $\epsilon V$ of Schwartz class. We prove that there exists an effective mechanical system describing the dynamics of the soliton and that, for any positive integer $r$, the energy of such a mechanical system is almost conserved up to times of order $\epsilon^{-r}$. In the rotational invariant case we deduce that the true orbit of the soliton remains close to the mechanical one up to times of order $\epsilon^{-r}$.


title: ALMA view of the circumstellar environment of the post-common-envelope-evolution binary system HD101584

abstract: We study the circumstellar evolution of the binary HD101584, consisting of a post-AGB star and a low-mass companion, which is most likely a post-common-envelope-evolution system. We used ALMA observations of the 12CO, 13CO, and C18O J=2-1 lines and the 1.3mm continuum to determine the morphology, kinematics, masses, and energetics of the circumstellar environment. The circumstellar medium has a bipolar hour-glass structure, seen almost pole-on, formed by an energetic jet, about 150 km/s. We conjecture that the circumstellar morphology is related to an event that took place about 500 year ago, possibly a capture event where the companion spiraled in towards the AGB star. However, the kinetic energy of the accelerated gas exceeds the released orbital energy, and, taking into account the expected energy transfer efficiency of the process, the observed phenomenon does not match current common-envelope scenarios. This suggests that another process must augment, or even dominate, the ejection process. A significant amount of material resides in an unresolved region, presumably in the equatorial plane of the binary system.


title: Change point analysis of second order characteristics in non-stationary time series

abstract: An important assumption in the work on testing for structural breaks in time series consists in the fact that the model is formulated such that the stochastic process under the null hypothesis of "no change-point" is stationary. This assumption is crucial to derive (asymptotic) critical values for the corresponding testing procedures using an elegant and powerful mathematical theory, but it might be not very realistic from a practical point of view. This paper develops change point analysis under less restrictive assumptions and deals with the problem of detecting change points in the marginal variance and correlation structures of a non-stationary time series. A CUSUM approach is proposed, which is used to test the "classical" hypothesis of the form $H_0: \theta_1=\theta_2$ vs. $H_1: \theta_1 \not =\theta_2$, where $\theta_1$ and $\theta_2$ denote second order parameters of the process before and after a change point. The asymptotic distribution of the CUSUM test statistic is derived under the null hypothesis. This distribution depends in a complicated way on the dependency structure of the nonlinear non-stationary time series and a bootstrap approach is developed to generate critical values. The results are then extended to test the hypothesis of a {\it non relevant change point}, i.e. $H_0: | \theta_1-\theta_2 | \leq \delta$, which reflects the fact that inference should not be changed, if the difference between the parameters before and after the change-point is small. In contrast to previous work, our approach does neither require the mean to be constant nor - in the case of testing for lag $k$-correlation - that the mean, variance and fourth order joint cumulants are constant under the null hypothesis. In particular, we allow that the variance has a change point at a different location than the auto-covariance.


title: Generalized quantum interference of correlated photon pairs

abstract: Superposition and indistinguishablility between probability amplitudes have played an essential role in observing quantum interference effects of correlated photons. The Hong-Ou-Mandel interference and interferences of the path-entangled photon number state are of special interest in the field of quantum information technologies. However, a fully generalized two-photon quantum interferometric scheme accounting for the Hong-Ou-Mandel scheme and path-entangled photon number states has not yet been proposed. Here we report the experimental demonstrations of the generalized two-photon interferometry with both the interferometric properties of the Hong-Ou-Mandel effect and the fully unfolded version of the path-entangled photon number state using photon-pair sources, which are independently generated by spontaneous parametric down-conversion. Our experimental scheme explains two-photon interference fringes revealing single- and two-photon coherence properties in a single interferometer setup. Using the proposed interferometric measurement, it is possible to directly estimate the joint spectral intensity of a photon pair source.


title: Numerical evaluation of multi-gluon amplitudes for High Energy Factorization

abstract: We present a program to evaluate tree-level multi-gluon amplitudes with up to two of them off-shell. Furthermore, it evaluates squared amplitudes summed over colors and helicities for up to six external gluons. It employs both analytic expressions, obtained via BCFW recursion, and numerical BCFW recursion. It has been validated numerically with the help of an independent program employing numerical Dyson-Schwinger recursion.


title: On the Statistical Relationship between CME Speed and Soft X-ray Flux and Fluence of the Associated Flare

abstract: Both observation and theory reveal a close relationship between the kinematics of coronal mass ejections (CMEs) and the thermal energy release traced by the related soft X-ray (SXR) emission. The major problem of empirical studies of this relationship is the distortion of the CME speed by the projection effect in the coronagraphic measurements. We present a re-assessment of the statistical relationship between CME velocities and SXR parameters, using the SOHO/LASCO catalog and GOES whole Sun observations during the period 1996 to 2008. 49 events were identified where CMEs originated near the limb, at central meridian distances between 70$^\circ$ and 85$^\circ$, and had a reliably identified SXR burst, the parameters of which - peak flux and fluence - could be determined with some confidence. We find similar correlations between the logarithms of CME speed and of SXR peak flux and fluence as several earlier studies, with correlation coefficients of 0.48 and 0.58, respectively. Correlations are slightly improved over an unrestricted CME sample when only limb events are used. However, a broad scatter persists. We derive the parameters of the CME-SXR relationship and use them to predict ICME arrival times at Earth. We show that the CME speed inferred from SXR fluence measurements tends to perform better than SoHO/LASCO measurements in the prediction of ICME arrival times near 1 AU. The estimation of the CME speed from SXR observations can therefore make a valuable contribution to space weather predictions.


title: DNS of laminar-turbulent boundary layer transition induced by solid obstacles

abstract: Results of numerical simulations obtained by a staggered finite difference scheme together with an efficient immersed boundary method are presented to understand the effects of the shape of three-dimensional obstacles on the transition of a boundary layer from a laminar to a turbulent regime. Fully resolved Direct Numerical Simulations (DNS), highlight that the closer to the obstacle the symmetry is disrupted the smaller is the transitional Reynolds number. It has been also found that the transition can not be related to the critical roughness Reynolds number used in the past. The simulations highlight the differences between wake and inflectional instabilities, proving that two-dimensional tripping devices are more efficient in promoting the transition. Simulations at high Reynolds number demonstrate that the reproduction of a real experiment with a solid obstacle at the inlet is an efficient tool to generate numerical data bases for understanding the physics of boundary layers. The quality of the numerical method to fully resolve the small scales, that is one ingredient for a DNS was shown by a comparison of the exponential range of the velocity spectra, in Kolmogorov units, with those for isotropic turbulence. The good comparison reinforces the idea of local isotropy at the smallest scales.


title: Accumulation of complex eigenvalues of an indefinite Sturm--Liouville operator with a shifted Coulomb potential

abstract: For a particular family of long-range potentials $V$, we prove that the eigenvalues of the indefinite Sturm--Liouville operator $A = \mathrm{sign}(x)(-\Delta + V(x))$ accumulate to zero asymptotically along specific curves in the complex plane. Additionally, we relate the asymptotics of complex eigenvalues to the two-term asymptotics of the eigenvalues of associated self-adjoint operators.


title: Microbranching in mode-I fracture using large scale simulations of amorphous and perturbed lattice models

abstract: We study the high-velocity regime mode-I fracture instability when small microbranches start to appear near the main crack, using large scale simulations. Some of the features of those microbranches have been reproduced qualitatively in smaller scale studies (using ${\cal O}(10^4)$ atoms) on both a model of an amorphous materials (via the continuous random network model) and using perturbed lattice models. In this study, larger scale simulations (${\cal O}(10^6)$ atoms) were performed using multi-threading computing on a GPU device, in order to achieve more physically realistic results. First, we find that the microbranching pattern appears to be converging with the lattice width. Second, the simulations reproduce the growth of the size of a microbranch as a function of the crack velocity, as well as the increase of the amplitude of the derivative of the electrical resistance RMS with respect to the time as a function of the crack velocity. In addition, the simulations yield the correct branching angle of the microbranches, and the power law governing the shape of the microbranches seems to be lower than one, so that the side cracks turn over in the direction of propagation of the main crack as seen in experiment.


title: Protected quantum-state transfer in decoherence-free subspaces

abstract: We propose and analyse a robust quantum state transfer protocol by the use of a combination of coherent quantum coupling and decoherence-free subspaces in a coupled quantum spin chain. Under decoherence, an arbitrary unknown quantum state embedded in a decoherence-free subspace can be perfectly transferred through a noisy channel being weakly coupled to two end registers. The method protects quantum information from both the channel noise and the environmental decoherence. A special case of utilizing two physical qubits to encode one logical qubit is considered as an example and the robustness is confirmed by numerical performances.


title: Molecular quantum rotors in gyroscopic motion with a nonspreading rotational wavepacket

abstract: We provide a way of generating and observing molecular quantum gyroscopic motion that resembles gyroscopic motion of classical rotors. After producing a nonspreading rotational wavepacket called a cogwheel state, one can generate a gyroscopic precession motion by applying an external magnetic field interacting through a rotational magnetic dipole moment. The quantum rotors, realized with linear nonparamagnetic ionic molecules trapped in an ion trap, can keep their gyroscopic motion for a long time in a collectively synchronized fashion. A Coulomb-explosion technique is suggested to observe the gyroscopic motion. Despite limited molecular species, the observation of the gyroscopic motion can be adopted as a method to measure rotational g factors of molecules.


title: Wide-field Variability Survey of the Globular Cluster M79 and a New Period -- Luminosity Relation for SX Phe Stars

abstract: We present the results of a search for variable stars in a 26x39 arcmin^2 field around globular cluster M79 (NGC1904). The search was made by means of an extended version of image subtraction, which allows to analyze in a uniform manner CCD frames obtained with different telescopes and cameras of different sizes and resolutions. The search resulted in finding 20 new variable stars, among which 13 are cluster members. The members include one new RR Lyr star of subtype c, three SX Phe stars, and nine variable red giants. We also show that V7 is a W Vir star with a period of 13.985 d. Revised mean periods of RRab and RRc stars, <P_ab>=0.71 d and <P_c>=0.34 d, respectively, and relative percentage of RRc stars, N_c/(N_ab+N_c)=45 % confirm that M79 belongs to the Oosterhoff II group of globular clusters. The mean V magnitude of the horizontal branch of M79 based on ten RR Lyr stars has been estimated to be $V_HB=<V_RR>=16.11\pm0.03$ mag. In one RRc star, V9, light changes with three close frequencies were detected, indicating excitation of nonradial modes. An SX Phe star, V18, is a double-mode pulsator with two radial modes excited, fundamental and first overtone. Moreover, we have discovered two SX Phe or delta Sct stars and one W UMa type system, all likely field objects. We also studied the period -- luminosity relation for SX Phe stars. Using 62 fundamental and fundamentalized periods of radial double-mode and high-amplitude SX Phe stars known in Galactic globular clusters, we have derived the slope and zero point of this relation to be, $-3.35\pm0.24$ and $2.68\pm0.03$ mag (at log(P/d)=-1.24), respectively.


title: On the derived functors of destabilization and of iterated loop functors

abstract: These notes explain how to construct small functorial chain complexes which calculate the derived functors of destabilization (respectively iterated loop functors) in the theory of modules over the mod 2 Steenrod algebra; this shows how to unify results of Singer and of Lannes and Zarati.


title: Variational Bayes with Intractable Likelihood

abstract: Variational Bayes (VB) is rapidly becoming a popular tool for Bayesian inference in statistical modeling. However, the existing VB algorithms are restricted to cases where the likelihood is tractable, which precludes the use of VB in many interesting situations such as in state space models and in approximate Bayesian computation (ABC), where application of VB methods was previously impossible. This paper extends the scope of application of VB to cases where the likelihood is intractable, but can be estimated unbiasedly. The proposed VB method therefore makes it possible to carry out Bayesian inference in many statistical applications, including state space models and ABC. The method is generic in the sense that it can be applied to almost all statistical models without requiring too much model-based derivation, which is a drawback of many existing VB algorithms. We also show how the proposed method can be used to obtain highly accurate VB approximations of marginal posterior distributions.


title: Lepton flavor violation beyond the MSSM

abstract: Most extensions of the Standard Model lepton sector predict large lepton flavor violating rates. Given the promising experimental perspectives for lepton flavor violation in the next few years, this generic expectation might offer a powerful indirect probe to look for new physics. In this review we will cover several aspects of lepton flavor violation in supersymmetric models beyond the Minimal Supersymmetric Standard Model. In particular, we will concentrate on three different scenarios: high-scale and low-scale seesaw models as well as models with R-parity violation. We will see that in some cases the LFV phenomenology can have characteristic features for specific scenarios, implying that dedicated studies must be performed in order to correctly understand the phenomenology in non-minimal supersymmetric models.


title: Fine-grained Language Composition: A Case Study

abstract: Although run-time language composition is common, it normally takes the form of a crude Foreign Function Interface (FFI). While useful, such compositions tend to be coarse-grained and slow. In this paper we introduce a novel fine-grained syntactic composition of PHP and Python which allows users to embed each language inside the other, including referencing variables across languages. This composition raises novel design and implementation challenges. We show that good solutions can be found to the design challenges; and that the resulting implementation imposes an acceptable performance overhead of, at most, 2.6x.


title: Search for New Physics in SHiP and at future colliders

abstract: SHiP is a newly proposed fixed-target experiment at the CERN SPS with the aim of searching for hidden particles that interact very weakly with SM particles. The work presented in this document investigates SHiP's physics reach in the parameter space of the Neutrino Minimal Standard Model ($\nu$MSM), which is a theory that could solve most problems left open by the Standard Model with sterile neutrinos. A model introducing an extra $U(1)$ symmetry in the hidden sector, providing a natural candidate for dark matter, is also explored. This work shows that the SHiP experiment can improve by several orders of magnitude the sensitivity to Heavy Neutral Leptons below 2 GeV, scanning a large part of the parameter space below the $B$ meson mass. The remainder of the $\nu$MSM parameter space, dominated by right-handed neutrinos with masses above 2 GeV, can be explored at a future $e^+e^-$ collider. Similarly, SHiP can greatly improve present constraints on $U(1)$ dark photons.


title: Generalized Inner-Outer Factorization in non commutative Hardy Algebras

abstract: Let $H^{\infty}(E)$ be a non commutative Hardy algebra, associated with a $W^*$-correspondence $E$. In this paper we construct factorizations of inner-outer type of the elements of $H^{\infty}(E)$ represented via the induced representation, and of the elements of its commutant. These factorizations generalize the classical inner-outer factorization of elements of $H^\infty(\mathbb{D})$. Our results also generalize some results that were obtained by several authors in some special cases.


title: Finite quotients of Bruhat-Tits buildings as geometric expanders

abstract: In \cite{FGLNP}, Fox, Gromov, Lafforgue, Naor and Pach, in a respond to a question of Gromov \cite{G}, constructed bounded degree geometric expanders, namely, simplical complexes having the affine overlapping property. Their explicit constructions are finite quotients of $\tilde{A_d}$-buildings, for $d\geq 2$, over local fields. In this paper, this result is extended to general high rank Bruhat-Tits buildings.


title: Traffic Demand-Aware Topology Control for Enhanced Energy-Efficiency of Cellular Networks

abstract: The service provided by mobile networks operated today is not adapted to spatio-temporal fluctuations in traffic demand, although such fluctuations offer opportunities for energy savings. In particular, significant gains in energy efficiency are realizable by disengaging temporarily redundant hardware components of base stations. We therefore propose a novel optimization framework that considers both the load-dependent energy radiated by the antennas and the remaining forms of energy needed for operating the base stations. The objective is to reduce the energy consumption of mobile networks, while ensuring that the data rate requirements of the users are met throughout the coverage area. Building upon sparse optimization techniques, we develop a majorization-minimization algorithm with the ability to identify energy-efficient network configurations. The iterative algorithm is load-aware, has low computational complexity, and can be implemented in an online fashion to exploit load fluctuations on a short time scale. Simulations show that the algorithm can find network configurations with the energy consumption similar to that obtained with global optimization tools, which cannot be applied to real large networks. Although we consider only one currently deployed cellular technology, the optimization framework is general, potentially applicable to a large class of access technologies.


title: Dynamic indifference pricing via the G-expectation

abstract: We study the dynamic indifference pricing with ambiguity preferences. For this, we introduce the dynamic expected utility with ambiguity via the nonlinear expectation--G-expectation, introduced by Peng (2007). We also study the risk aversion and certainty equivalent for the agents with ambiguity. We obtain the dynamic consistency of indifference pricing with ambiguity preferences. Finally, we obtain comparative statics.


title: Measurement and shaping of biphoton spectral wavefunctions

abstract: In this work we present a simple method to reconstruct the complex spectral wavefunction of a biphoton, and hence gain complete information about the spectral and temporal properties of a photon pair. The technique, which relies on quantum interference, is applicable to biphoton states produced with a monochromatic pump when a shift of the pump frequency produces a shift in the relative frequencies contributing to the biphoton. We demonstrate an example of such a situation in type-II parametric down-conversion (SPDC) allowing arbitrary paraxial spatial pump and detection modes. Moreover, our test cases demonstrate the possibility to shape the spectral wavefunction. This is achieved by choosing the spatial mode of the pump and of the detection modes, and takes advantage of spatiotemporal correlations.


title: Was the Higgs boson discovered?

abstract: The standard model has postulated the existence of a scalar boson, named the Higgs boson. This boson plays a central role in a symmetry breaking scheme called the Brout-Englert-Higgs mechanism (or the Brout-Englert-Higgs-Guralnik-Hagen-Kibble mechanism, for completeness) making the standard model realistic. However, until recently at least, the 50-year-long-sought Higgs boson had remained the only particle in the standard model not yet discovered experimentally. It is the last but very important missing ingredient of the standard model. Therefore, searching for the Higgs boson is a crucial task and an important mission of particle physics. For this purpose, many theoretical works have been done and different experiments have been organized. It may be said in particular that to search for the Higgs boson has been one of the ultimate goals of building and running the LHC, the world's largest and most powerful particle accelerator, at CERN, which is a great combination of science and technology. Recently, in the summer of 2012, ATLAS and CMS, the two biggest and general-purpose LHC collaborations, announced the discovery of a new boson with a mass around 125 GeV. Since then, for over two years, ATLAS, CMS and other collaborations have carried out intensive investigations on the newly discovered boson to confirm that this new boson is really the Higgs boson (of the standard model). It is a triumph of science and technology and international cooperation. Here, we will review the main results of these investigations following a brief introduction to the Higgs boson within the theoretical framework of the standard model and Brout-Englert-Higgs mechanism as well as a theoretical and experimental background of its search. This paper may attract interest of not only particle physicists but also a broader audience.


title: Anomalous valley polarization in monolayer MoSe2

abstract: Modern electronic devices heavily rely on the accurate control of charge and spin of electrons. The emergence of controllable valley degree of freedom brings new possibilities and presents a promising prospect towards valleytronics. Recently, valley excitation selected by chiral optical pumping has been observed in monolayer MoS2. In this work, we report polarized photoluminescence (PL) measurements for monolayer MoSe2, another member of the family of transition-metal-dichalcogenides (MX2), and observe drastic difference from the outcomes of MoS2. In particular, we identify a valley polarization (VP) up to 70% for B exciton, while that for A exciton is less than 3%. Besides, we also find a small but finite negative VP for A- trion. These results reveal several new intra- and inter-valley scattering processes which significantly affect valley polarization, hence provide new insights into exciton physics in monolayer MX2 and possible valleytronic applications.


title: Entrance and sojourn times for Markov chains. Application to $(L,R)$-random walks

abstract: In this paper, we provide a methodology for computing the probability distribution of sojourn times for a wide class of Markov chains. Our methodology consists in writing out linear systems and matrix equations for generating functions involving relations with entrance times. We apply the developed methodology to some classes of random walks with bounded integer-valued jumps.


title: On dynamical realizations of l-conformal Galilei and Newton-Hooke algebras

abstract: In two recent papers [N. Aizawa, Y. Kimura, J. Segar, J. Phys. A 46 (2013) 405204] and [N. Aizawa, Z. Kuznetsova, F. Toppan, J. Math. Phys. 56 (2015) 031701], representation theory of the centrally extended l-conformal Galilei algebra with half-integer l has been applied so as to construct second order differential equations exhibiting the corresponding group as kinematical symmetry. It was suggested to treat them as the Schrodinger equations which involve Hamiltonians describing dynamical systems without higher derivatives. The Hamiltonians possess two unusual features, however. First, they involve the standard kinetic term only for one degree of freedom, while the remaining variables provide contributions linear in momenta. This is typical for Ostrogradsky's canonical approach to the description of higher derivative systems. Second, the Hamiltonian in the second paper is not Hermitian in the conventional sense. In this work, we study the classical limit of the quantum Hamiltonians and demonstrate that the first of them is equivalent to the Hamiltonian describing free higher derivative nonrelativistic particles, while the second can be linked to the Pais-Uhlenbeck oscillator whose frequencies form the arithmetic sequence omega_k=(2k-1), k=1,...,n. We also confront the higher derivative models with a genuine second order system constructed in our recent work [A. Galajinsky, I. Masterov, Nucl. Phys. B 866 (2013) 212] which is discussed in detail for l=3/2.


title: Radio monitoring of the hard state jets in the 2011 outburst of MAXI J1836-194

abstract: MAXI J1836-194 is a Galactic black hole candidate X-ray binary that was discovered in 2011 when it went into outburst. In this paper, we present the full radio monitoring of this system during its `failed' outburst, in which the source did not complete a full set of state changes, only transitioning as far as the hard intermediate state. Observations with the Karl G. Jansky Very Large Array (VLA) and Australia Telescope Compact Array (ATCA) show that the jet properties changed significantly during the outburst. The VLA observations detected linearly polarised emission at a level of ~1% early in the outburst, increasing to ~3% as the outburst peaked. High-resolution images with the Very Long Baseline Array (VLBA) show a ~15 mas jet along the position angle $-21 \pm 2^\circ$, in agreement with the electric vector position angle found from our polarisation results ($-21 \pm 4^\circ$), implying that the magnetic field is perpendicular to the jet. Astrometric observations suggest that the system required an asymmetric natal kick to explain its observed space velocity. Comparing quasi-simultaneous X-ray monitoring with the 5 GHz VLA observations from the 2011 outburst shows an unusually steep hard-state radio/X-ray correlation of $L_{\rm R} \propto L_{\rm X}^{1.8\pm0.2}$, where $L_{\rm R}$ and $L_{\rm X}$ denote the radio and X-ray luminosities, respectively. With ATCA and Swift monitoring of the source during a period of re-brightening in 2012, we show that the system lay on the same steep correlation. Due to the low inclination of this system, we then investigate the possibility that the observed correlation may have been steepened by variable Doppler boosting.


title: N=(4,4) Gauged Linear Sigma Models for Defect Five-branes

abstract: We study two-dimensional ${\cal N}=(4,4)$ gauged linear sigma model (GLSM). Its low energy effective theory is a nonlinear sigma model whose target space gives rise to a configuration of five-branes in string theory. In this article we focus on sigma models for NS5-branes, KK5-branes and an exotic $5^2_2$-brane. In particular, we carefully analyze the GLSM for an exotic $5^2_2$-brane whose background configuration is multi-valued. The exotic $5^2_2$-brane is a concrete example of nongeometric configuration in string theory. We find that the exotic feature originates from the string winding coordinate in a very clear way. In order to complete this analysis, we propose a duality transformation formula which converts an ${\cal N}=(2,2)$ chiral superfield in F-term to a twisted chiral superfield coupled to an unconstrained complex superfield. This article is a short review based on arXiv:1304.4061 in collaboration with Shin Sasaki.


title: Design & Implementation Approach for Error Free Clinical Data Repository for the Medical Practitioners

abstract: The modern treatment of any disease is heavily dependent on the medical diagnosis. Clinical data obtained through the diagnostics tests need to be collected and entered into the computer database in order to make a clinical data repository. In most of the cases, manual entry is an absolute necessity. However, manual entry can cause errors also, leading to wrong diagnosis. This paper explains how data could be entered free of error to reduce the chances of wrong diagnosis by designing and implementation of a simple database driven application.


title: Random convex analysis (II): continuity and subdifferentiability theorems in $L^{0}$--pre--barreled random locally convex modules

abstract: In this paper, we continue to study random convex analysis. First, we introduce the notion of an $L^0$--pre--barreled module. Then, we develop the theory of random duality under the framework of a random locally convex module endowed with the locally $L^0$--convex topology in order to establish a characterization for a random locally convex module to be $L^0$--pre--barreled, in particular we prove that the model space $L^{p}_{\mathcal{F}}(\mathcal{E})$ employed in the module approach to conditional risk measures is $L^0$--pre--barreled, which forms the most difficult part of this paper. Finally, we prove the continuity and subdifferentiability theorems for a proper lower semicontinuous $L^0$--convex function on an $L^{0}$--pre--barreled random locally convex module. So the principal results of this paper may be well suited to the study of continuity and subdifferentiability for $L^0$--convex conditional risk measures.


title: Solvability of the Initial-Boundary value problem of the Navier-Stokes equations with rough data

abstract: In this paper, we study the initial and boundary value problem of the Navier-Stokes equations in the half space. We prove the unique existence of weak solution $u\in L^q(\R_+\times (0,T))$ with $\nabla u\in L^{\frac{q}{2}}_{loc}(\R_+\times (0,T))$ for a short time interval when the initial data $h\in {B}_q^{-\frac{2}{q}}(\R_+)$ and the boundary data $ g\in L^q(0,T;B^{-\frac{1}{q}}_q(\Rn))+L^q(\Rn;B^{-\frac{1}{2q}}_q(0,T)) $ with normal component $g_n\in L^q(0,T;\dot{B}^{-\frac{1}{q}}_q(\Rn))$, $n+2<q<\infty$ are given.


title: Sparse plus low-rank autoregressive identification in neuroimaging time series

abstract: This paper considers the problem of identifying multivariate autoregressive (AR) sparse plus low-rank graphical models. Based on the corresponding problem formulation recently presented, we use the alternating direction method of multipliers (ADMM) to efficiently solve it and scale it to sizes encountered in neuroimaging applications. We apply this decomposition on synthetic and real neuroimaging datasets with a specific focus on the information encoded in the low-rank structure of our model. In particular, we illustrate that this information captures the spatio-temporal structure of the original data, generalizing classical component analysis approaches.


title: New first order Lagrangian for General Relativity

abstract: We describe a new BF-type first-order in derivatives Lagrangian for General Relativity. The Lagrangian depends on a connection field as well as a Lie-algebra valued two-form field, with no other fields present. There are two free parameters, which translate into the cosmological constant and the coefficient in front of a topological term. When one of the parameters is set to zero, the theory becomes topological. When the other parameter is zero, the theory reduces to the (anti-) self-dual gravity. Thus, our new Lagrangian interpolates between the topological and anti-self-dual gravities. It also interprets GR as the (anti-) self-dual gravity with an extra quadratic in the auxiliary two-form field term added to the Lagrangian, precisely paralleling the situation in Yang-Mills theory.


title: Iterated quasi-reversibility method applied to elliptic and parabolic data completion problems

abstract: We study the iterated quasi-reversibility method to regularize ill-posed elliptic and parabolic problems: data completion problems for Poisson's and heat equations. We define an abstract setting to treat both equations at once. We demonstrate the convergence of the regularized solution to the exact one, and propose a strategy to deal with noise on the data. We present numerical experiments for both problems: a two-dimensional corrosion detection problem and the one-dimensional heat equation with lateral data. In both cases, the method prove to be efficient even with highly corrupted data.


title: Generalized Integral Siding Mode Manifold Design: A Sum of Squares Approach

abstract: This paper presents a general form of integral sliding mode manifold, and proposes an algorithmic approach based on Sum of Squares (SOS) programming to design generalized integral sliding mode manifold and controller for nonlinear systems with both matched and unmatched uncertainties. The approach also gives a sufficient condition for successful design of controller and manifold parameters. The result of the paper is then verified by several simulation examples and two practical applications, namely Glucose-insulin regulation problem and the unicycle dynamics steering problem are considered.


title: Strong and weak separability conditions for two-qubits density matrices

abstract: Explicit separable density matrices, for mixed two qubits states, are derived by the use of Hilbert Schmidt decompositions and Peres Horodecki criterion. A strongly separable two qubits mixed state is defined by multiplications of two density matrices given with pure states while weakly separable two qubits state is defined by multiplications of two density matrices which includes non-pure states. We find the sufficient and necessary condition for separability of two-qubits density matrices and show that under this condition the two-qubit density matrices are strongly separable.


title: On the Capacity of the Wiener Phase-Noise Channel: Bounds and Capacity Achieving Distributions

abstract: In this paper, the capacity of the additive white Gaussian noise (AWGN) channel, affected by time-varying Wiener phase noise is investigated. Tight upper and lower bounds on the capacity of this channel are developed. The upper bound is obtained by using the duality approach, and considering a specific distribution over the output of the channel. In order to lower-bound the capacity, first a family of capacity-achieving input distributions is found by solving a functional optimization of the channel mutual information. Then, lower bounds on the capacity are obtained by drawing samples from the proposed distributions through Monte-Carlo simulations. The proposed capacity-achieving input distributions are circularly symmetric, non-Gaussian, and the input amplitudes are correlated over time. The evaluated capacity bounds are tight for a wide range of signal-to-noise-ratio (SNR) values, and thus they can be used to quantify the capacity. Specifically, the bounds follow the well-known AWGN capacity curve at low SNR, while at high SNR, they coincide with the high-SNR capacity result available in the literature for the phase-noise channel.


title: DSE inspired model for the pion's valence dressed-quark GPD

abstract: We sketch here an approach to the computation of generalised parton distributions (GPDs), based upon a rainbow-ladder (RL) truncation of QCD's Dyson-Schwinger equations and exemplified via the pion's valence dressed-quark GPD, $H_\pi^{\rm v}(x,\xi,t)$. Our analysis focuses on the case of zero skewness, $\xi=0$, and underlines that the impulse-approximation used hitherto to define the pion's valence dressed-quark GPD is generally invalid owing to omission of contributions from the gluons which bind dressed-quarks into the pion. A simple correction enables us to identify a practicable improvement to the approximation for $H_\pi^{\rm v}(x,0,t)$, expressed as the Radon transform of a single amplitude. Therewith we obtain results for $H_\pi^{\rm v}(x,0,t)$ and the associated impact-parameter dependent distribution, $q_\pi^{\rm v}(x,|\vec{b}_\perp|)$, which provide a qualitatively sound picture of the pion's dressed-quark structure at an hadronic scale.


title: Phase Diagram of the Half-Filled Ionic Hubbard Model

abstract: We study the phase diagram of the ionic Hubbard model (IHM) at half-filling using dynamical mean field theory (DMFT), with two impurity solvers, namely, iterated perturbation theory (IPT) and continuous time quantum Monte Carlo (CTQMC). The physics of the IHM is governed by the competition between the staggered potential $\Delta$ and the on-site Hubbard U. In both the methods we find that for a finite $\Delta$ and at zero temperature, anti-ferromagnetic (AFM) order sets in beyond a threshold $U=U_{AF}$ via a first order phase transition below which the system is a paramagnetic band insulator. Both the methods show a clear evidence for a transition to a half-metal phase just after the AFM order is turned on, followed by the formation of an AFM insulator on further increasing U. We show that the results obtained within both the methods have good qualitative and quantitative consistency in the intermediate to strong coupling regime. On increasing the temperature, the AFM order is lost via a first order phase transition at a transition temperature $T_{AF}(U, \Delta)$ within both the methods, for weak to intermediate values of U/t. But in the strongly correlated regime, where the effective low energy Hamiltonian is the Heisenberg model, IPT is unable to capture the thermal (Neel) transition from the AFM phase to the paramagnetic phase, but the CTQMC does. As a result, at any finite temperature T, DMFT+CTQMC shows a second phase transition (not seen within DMFT+IPT) on increasing U beyond $U_{AF}$. At $U_N > U_{AF}$, when the Neel temperature $T_N$ for the effective Heisenberg model becomes lower than T, the AFM order is lost via a second order transition. In the 3-dimensonal parameter space of $(U/t,T/t,\Delta/t)$, there is a line of tricritical points that separates the surfaces of first and second order phase transitions.


title: Evolution of the luminosity-to-halo mass relation of LRGs from a combined SDSS-DR10+RCS2 analysis

abstract: We study the evolution of the luminosity-to-halo mass relation of Luminous Red Galaxies (LRGs). We select a sample of 52 000 LOWZ and CMASS LRGs from the Baryon Oscillation Spectroscopic Survey (BOSS) SDSS-DR10 in the ~450 deg^2 that overlaps with imaging data from the second Red-sequence Cluster Survey (RCS2), group them into bins of absolute magnitude and redshift and measure their weak lensing signals. The source redshift distribution has a median of 0.7, which allows us to study the lensing signal as a function of lens redshift. We interpret the lensing signal using a halo model, from which we obtain the halo masses as well as the normalisations of the mass-concentration relations. We find that the concentration of haloes that host LRGs is consistent with dark matter only simulations once we allow for miscentering or satellites in the modelling. The slope of the luminosity-to-halo mass relation has a typical value of 1.4 and does not change with redshift, but we do find evidence for a change in amplitude: the average halo mass of LOWZ galaxies increases by 25_{-14}^{+16} % between z=0.36 and 0.22 to an average value of 6.43+/-0.52 x 10^13 h70^-1 Msun. If we extend the redshift range using the CMASS galaxies and assume that they are the progenitors of the LOWZ sample, we find that the average mass of LRGs increases by 80^{+39}_{-28} % between z=0.6 and 0.2


title: Thermalization of matter waves in speckle potentials

abstract: We show that the momentum distribution of a nonlinear matter wave suddenly released with a finite velocity in a speckle potential converges, after an out-of-equilibrium evolution, to a universal Rayleigh-Jeans thermal distribution. By exploring the complete phase diagram of the equilibrated wave, we discover that for low but nonzero values of the disorder strength, a large-scale structure -a condensate- appears in the equilibrium distribution.


title: Van Hove singularity and ferromagnetic instability in phosphorene

abstract: Using Wannier function-based interpolation techniques, we present compelling numerical evidence for the presence of a saddle-point van Hove singularity at the $\Gamma $ point near the phosphorene Fermi energy. We show that in proximity of the van Hove singularity the spin susceptibility presents the logarithmic temperature dependence typical of Liftshitz phase transitions. Furthermore, we demonstrate that the critical temperature for the ferromagnetic transition can be greatly increased (up to 0.05 K) if strain along the zigzag ridges is applied. Although the ferromagnetic state would be very difficult to experimentally reach, the logarithmic temperature behaviour of the spin susceptibility due to the van Hove singularity is found to persist at much higher temperatures (up to $\sim$97 K).


title: Comparison of Bayesian predictive methods for model selection

abstract: The goal of this paper is to compare several widely used Bayesian model selection methods in practical model selection problems, highlight their differences and give recommendations about the preferred approaches. We focus on the variable subset selection for regression and classification and perform several numerical experiments using both simulated and real world data. The results show that the optimization of a utility estimate such as the cross-validation (CV) score is liable to finding overfitted models due to relatively high variance in the utility estimates when the data is scarce. This can also lead to substantial selection induced bias and optimism in the performance evaluation for the selected model. From a predictive viewpoint, best results are obtained by accounting for model uncertainty by forming the full encompassing model, such as the Bayesian model averaging solution over the candidate models. If the encompassing model is too complex, it can be robustly simplified by the projection method, in which the information of the full model is projected onto the submodels. This approach is substantially less prone to overfitting than selection based on CV-score. Overall, the projection method appears to outperform also the maximum a posteriori model and the selection of the most probable variables. The study also demonstrates that the model selection can greatly benefit from using cross-validation outside the searching process both for guiding the model size selection and assessing the predictive performance of the finally selected model.


title: Measurement of a false electric dipole moment signal from $^{199}$Hg atoms exposed to an inhomogeneous magnetic field

abstract: We report on the measurement of a Larmor frequency shift proportional to the electric-field strength for $^{199}{\rm Hg}$ atoms contained in a volume permeated with aligned magnetic and electric fields. This shift arises from the interplay between the inevitable magnetic field gradients and the motional magnetic field. The proportionality to electric-field strength makes it apparently similar to an electric dipole moment (EDM) signal, although unlike an EDM this effect is P- and T-conserving. We have used a neutron magnetic resonance EDM spectrometer, featuring a mercury co-magnetometer and an array of external cesium magnetometers, to measure the shift as a function of the applied magnetic field gradient. Our results are in good agreement with theoretical expectations.


title: On the Unity Row Summation and Real Valued Nature of the $F_{LG}$ Matrix

abstract: Electrical power system calculations rely heavily on the $Y_{bus}$ matrix, which is the Laplacian matrix of the network under study, weighted by the complex-valued admittance of each branch. It is often useful to partition the $Y_{bus}$ into four submatrices, to separately quantify the connectivity between and among the load and generation nodes in the network. Simple manipulation of these submatrices gives the $F_{LG}$ matrix, which offers useful insights on how voltage deviations propagate through a power system and on how energy losses may be minimized. Various authors have observed that in practice the elements of $F_{LG}$ are real-valued and its rows sum close to one: the present paper explains and proves these properties.


title: Exponentiated Extended Weibull-Power Series Class of Distributions

abstract: In this paper, we introduce a new class of distributions by compounding the exponentiated extended Weibull family and power series family. This distribution contains several lifetime models such as the complementary extended Weibull-power series, generalized exponential-power series, generalized linear failure rate-power series, exponentiated Weibull-power series, generalized modified Weibull-power series, generalized Gompertz-power series and exponentiated extended Weibull distributions as special cases. We obtain several properties of this new class of distributions such as Shannon entropy, mean residual life, hazard rate function, quantiles and moments. The maximum likelihood estimation procedure via a EM-algorithm is presented.


title: Statistics of Chaotic Resonances in an Optical Microcavity

abstract: Distributions of eigenmodes are widely concerned in both bounded and open systems. In the realm of chaos, counting resonances can characterize the underlying dynamics (regular vs. chaotic), and is often instrumental to identify classical-to-quantum correspondence. Here, we study, both theoretically and experimentally, the statistics of chaotic resonances in an optical microcavity with a mixed phase space of both regular and chaotic dynamics. Information on the number of chaotic modes is extracted by counting regular modes, which couple to the former via dynamical tunneling. The experimental data are in agreement with a known semiclassical prediction for the dependence of the number of chaotic resonances on the number of open channels, while they deviate significantly from a purely random-matrix-theory-based treatment, in general. We ascribe this result to the ballistic decay of the rays, which occurs within Ehrenfest time, and importantly, within the timescale of transient chaos. The present approach may provide a general tool for the statistical analysis of chaotic resonances in open systems.


title: Statistical properties of Charney-Hasegawa-Mima zonal flows

abstract: A theoretical interpretation of numerically generated probability density functions (PDFs) of intermittent plasma transport events in unforced zonal flows is provided within the Charney-Hasegawa-Mima (CHM) model. The governing equation is solved numerically with various prescribed density gradients that are designed to produce different configurations of parallel and anti-parallel streams. Long-lasting vortices form whose flow is governed by the zonal streams. It is found that the numerically generated PDFs can be matched with analytical predictions of PDFs based on the instanton method by removing the autocorrelations from the time series. In many instances the statistics generated by the CHM dynamics relaxes to Gaussian distributions for both the electrostatic and vorticity perturbations, whereas in areas with strong nonlinear interactions it is found that the PDFs are exponentially distributed.


title: Measurement of the drift velocities of electrons and holes in high-ohmic <100> silicon

abstract: Measurements of the drift velocities of electrons and holes as functions of electric field and temperature in high-purity n- and p-type silicon with <100> orientation are presented. The measurements cover electric field values between 2.5 and 50 kV/cm and temperatures between 233 and 333 K. For both electrons and holes differences of more than 15 % are found between our <100> results and the <111> drift velocities from literature, which are frequently also used for simulating <100> sensors. For electrons, the <100> results agree with previous <100> measurements, however, for holes differences between 5 to 15 % are observed for fields above 10 kV/cm. Combining our results with published data of low-field mobilities, we derive parametrizations of the drift velocities in high-ohmic <100> silicon for electrons and holes for fields between 0 and 50 kV/cm, and temperatures between 233 and 333 K. In addition, new parametrizations for the drift velocities for electrons and holes are introduced, which provide somewhat better descriptions of existing data for <111> silicon, than the standard parametrization.


title: Nodal solutions of a NLS equation concentrating on lower dimensional spheres

abstract: In this work we deal with a following nonlinear Schrodinger equation in dimension greater or equal to 3, with a subcritical power-type nonlinearity and a positive potential satisfying a local condition. We prove the existence and concentration of nodal solutions which concentrate around a k - dimensional sphere of RN, where k is between 1 and N-1, as a parameter goes to 0. The radius of such sphere is related with the local minimum of a function which takes into account the potential. Variational methods are used together with the penalization technique in order to overcome the lack of compactness.


title: Dynamic models for estimating the effect of HAART on CD4 in observational studies: application to the Aquitaine Cohort study and the Swiss HIV Cohort Study

abstract: Highly active antiretroviral therapy (HAART) has proved efficient in increasing CD4 counts in many randomized clinical trials. Because randomized trials have some limitations (e.g., short duration, highly selected subjects), it is interesting to assess it using observational studies. This is challenging because treatment is started preferentially in subjects with severe conditions, in particular in subjects with low CD4 counts. This general problem had been treated using Marginal Structural Models (MSM) relying on the counterfactual formulation. Another approach to causality is based on dynamical models. First, we present three discrete-time dynamic models based on linear increments (LIM): the simplest model is described by one difference equation for CD4 counts; the second has an equilibrium point; the third model is based on a system of two difference equations which allows jointly modeling CD4 counts and viral load. Then we consider continuous time models based on ordinary differential equations with random effects (ODE-NLME). These mechanistic models allow incorporating biological knowledge when available, which leads to increased power for detecting treatment effect. Inference in ODE-NLME models, however, is challenging from a numerical point of view, and requires specific methods and softwares. LIMs are a valuable intermediary option in terms of consistency, precision and complexity. The different approaches are compared in simulation and applied to HIV cohorts (the ANRS CO3 Aquitaine Cohort and the Swiss HIV Cohort Study).


title: Binary Adder Circuits of Asymptotically Minimum Depth, Linear Size, and Fan-Out Two

abstract: We consider the problem of constructing fast and small binary adder circuits. Among widely-used adders, the Kogge-Stone adder is often considered the fastest, because it computes the carry bits for two $n$-bit numbers (where $n$ is a power of two) with a depth of $2\log_2 n$ logic gates, size $4 n\log_2 n$, and all fan-outs bounded by two. Fan-outs of more than two are avoided, because they lead to the insertion of repeaters for repowering the signal and additional depth in the physical implementation. However, the depth bound of the Kogge-Stone adder is off by a factor of two from the lower bound of $\log_2 n$. This bound is achieved asymptotically in two separate constructions by Brent and Krapchenko. Brent's construction gives neither a bound on the fan-out nor the size, while Krapchenko's adder has linear size, but can have up to linear fan-out. With a fan-out bound of two, neither construction achieves a depth of less than $2 \log_2 n$. In a further approach, Brent and Kung proposed an adder with linear size and fan-out two, but twice the depth of the Kogge-Stone adder. These results are 33-43 years old and no substantial theoretical improvement for has been made since then. In this paper we integrate the individual advantages of all previous adder circuits into a new family of full adders, the first to improve on the depth bound of $2\log_2 n$ while maintaining a fan-out bound of two. Our adders achieve an asymptotically optimum logic gate depth of $\log_2 n + o(\log_2 n)$ and linear size $\mathcal {O}(n)$.


title: The general theory of secondary weak gravitational lensing

abstract: Weak gravitational lensing is normally assumed to have only two principle effects: a magnification of a source and a distortion of the sources shape in the form of a shear. However, further distortions are actually present owing to changes in the gravitational field across the scale of the ray bundle of light propagating to us, resulting in the familiar arcs in lensed images. This is normally called the flexion, and is approximated by Taylor expanding the shear and magnification across the image plane. However, the physical origin of this effect arises from higher-order corrections in the geodesic deviation equation governing the gravitational force between neighbouring geodesics - so involves derivatives of the Riemann tensor. We show that integrating the second-order geodesic deviation equation results in a 'Hessian map' for gravitational lensing, which is a higher-order addition to the Jacobi map. We derive the general form of the Hessian map in an arbitrary spacetime paying particular attention to the separate effects of local Ricci versus non-local Weyl curvature. We then specialise to the case of a perturbed FLRW model, and give the general form of the Hessian for the first time. This has a host of new contributions which could in principle be used as tests for modified gravity.


title: Optimal Cell Load and Throughput in Green Small Cell Networks with Generalized Cell Association

abstract: This paper thoroughly explored the fundamental interactions between cell association, cell load and throughput in a green (energy-efficient) small cell network in which all base stations form a homogeneous Poisson point process (PPP) of intensity $\lambda_B$ and all users form another independent PPP of intensity $\lambda_U$. Cell voidness, usually disregarded due to rarity in cellular network modeling, is first theoretically analyzed under generalized (channel-aware) cell association (GCA). We showed that the void cell probability cannot be neglected any more since it is bounded above by $\exp(-\lambda_U/\lambda_B)$ that is typically not small in a small cell network. The accurate expression of the void cell probability for GCA was characterized and it was used to derive the average cell and user throughputs. We learned that cell association and cell load $\lambda_U/\lambda_B$ significantly affect these two throughputs. According to the average cell and user throughputs, the green cell and user throughputs are defined respectively to reflect whether the energy of a base station is efficiently used to transmit information or not. In order to achieve satisfactory throughput with certain level of greenness, cell load should be properly determined. We presented the theoretical solutions of the optimal cell loads that maximize the green cell and user throughputs, respectively, and verified their correctness by simulation.


title: Shear melting and high temperature embrittlement: theory and application to machining titanium

abstract: We describe a dynamical phase transition occurring within a shear band at high temperature and under extremely high shear rates. With increasing temperature, dislocation deformation and grain boundary sliding is supplanted by amorphization in a highly localized nanoscale band, which allows massive strain and fracture. The mechanism is similar to shear melting and leads to liquid metal embrittlement at high temperature. From simulation, we find that the necessary conditions are, lack of dislocation slip systems, low thermal conduction and temperature near the melting point. The first two are exhibited by bcc titanium alloys, and we show that the final one can be achieved experimentally by adding low-melting point elements: specifically we use insoluble rare earth metals (REMs). Under high shear, the REM becomes mixed with the titanium, lowering the melting point within the shear band and triggering the shear-melting transition. This in turn generates heat which remains localized in the shear band due to poor heat conduction. The material fractures along the shear band. We show how to utilize this transition in the creation of new titanium-based alloys with improved machinability.


title: Visual Saliency Based on Multiscale Deep Features

abstract: Visual saliency is a fundamental problem in both cognitive and computational sciences, including computer vision. In this CVPR 2015 paper, we discover that a high-quality visual saliency model can be trained with multiscale features extracted using a popular deep learning architecture, convolutional neural networks (CNNs), which have had many successes in visual recognition tasks. For learning such saliency models, we introduce a neural network architecture, which has fully connected layers on top of CNNs responsible for extracting features at three different scales. We then propose a refinement method to enhance the spatial coherence of our saliency results. Finally, aggregating multiple saliency maps computed for different levels of image segmentation can further boost the performance, yielding saliency maps better than those generated from a single segmentation. To promote further research and evaluation of visual saliency models, we also construct a new large database of 4447 challenging images and their pixelwise saliency annotation. Experimental results demonstrate that our proposed method is capable of achieving state-of-the-art performance on all public benchmarks, improving the F-Measure by 5.0% and 13.2% respectively on the MSRA-B dataset and our new dataset (HKU-IS), and lowering the mean absolute error by 5.7% and 35.1% respectively on these two datasets.


title: Two-particle irreducible effective actions versus resummation: analytic properties and self-consistency

abstract: Approximations based on two-particle irreducible (2PI) effective actions (also known as $\Phi$-derivable, Cornwall-Jackiw-Tomboulis or Luttinger-Ward functionals depending on context) have been widely used in condensed matter and non-equilibrium quantum/statistical field theory because this formalism gives a robust, self-consistent, non-perturbative and systematically improvable approach which avoids problems with secular time evolution. The strengths of 2PI approximations are often described in terms of a selective resummation of Feynman diagrams to infinite order. However, the Feynman diagram series is asymptotic and summation is at best a dangerous procedure. Here we show that, at least in the context of a toy model where exact results are available, the true strength of 2PI approximations derives from their self-consistency rather than any resummation. This self-consistency allows truncated 2PI approximations to capture the branch points of physical amplitudes where adjustments of coupling constants can trigger an instability of the vacuum. This, in effect, turns Dyson's argument for the failure of perturbation theory on its head. As a result we find that 2PI approximations perform better than Pad\'e approximation and are competitive with Borel-Pad\'e resummation. Finally, we introduce a hybrid 2PI-Pad\'e method.


title: A Linear First-Order Functional Intermediate Language for Verified Compilers

abstract: We present the linear first-order intermediate language IL for verified compilers. IL is a functional language with calls to a nondeterministic environment. We give IL terms a second, imperative semantic interpretation and obtain a register transfer language. For the imperative interpretation we establish a notion of live variables. Based on live variables, we formulate a decidable property called coherence ensuring that the functional and the imperative interpretation of a term coincide. We formulate a register assignment algorithm for IL and prove its correctness. The algorithm translates a functional IL program into an equivalent imperative IL program. Correctness follows from the fact that the algorithm reaches a coherent program after consistently renaming local variables. We prove that the maximal number of live variables in the initial program bounds the number of different variables in the final coherent program. The entire development is formalized in Coq.


title: Erratum: Anisotropy in the EoS of Magnetized Quark Matter [Phys Rev C91, 065205 (2015)]

abstract: In this erratum we present the correct result for the magnetization of the three flavor Nambu--Jona-Lasinio model which was originally obtained by us in Phys Rev C91, 065205 (2015).


title: A 10-100 GHz Coax To Double-Ridged Waveguide Launcher and Horn Antenna

abstract: The design, fabrication, and measurement of a coax to double-ridged waveguide launcher and horn antenna is presented. The novel launcher design employs two symmetric field probes across the ridge gap to minimize spreading inductance in the transition, and achieves better than 15 dB return loss over a 10:1 bandwidth. The aperture-matched horn uses a half-cosine transition into a linear taper for the outer waveguide dimensions and ridge width, and a power-law scaled gap in order to realize monotonically-varying cutoff frequencies, thus avoiding the appearance of trapped mode resonances. It achieves a nearly constant beamwidth in both E- and H-planes for an overall directivity of about 16.5 dB from 10-100 GHz.


title: Ampleness of the CM line bundle on the moduli space of canonically polarized varieties

abstract: We prove that the CM line bundle is ample on the proper moduli space which parametrizes KSBA stable varieties.