title: Clustering Categorical Time Series into Unknown Number of Clusters: A Perfect Simulation based Approach

abstract: Pamminger and Fruwirth-Schnatter (2010) considered a Bayesian approach to model-based clustering of categorical time series assuming a fixed number of clusters. But the popular methods for selecting the number of clusters, for example, the Bayes Information Criterion (BIC), turned out to have severe problems in the categorical time series context. In this paper, we circumvent the difficulties of choosing the number of clusters by adopting the Bayesian semiparametric mixture model approach introduced by Bhattacharya (2008), who assume that the number of clusters is a random quantity, but is bounded above by a (possibly large) number of clusters. We adopt the perfect simulation approach of Mukhopadhyay and Bhattacharya (2012) for posterior simulation for completely solving the problems of convergence of the underlying Markov chain Monte Carlo (MCMC) approach. Importantly, within our main perfect simulation algorithm, there arose the necessity to simulate perfectly from the joint distribution of a set of continuous random variables with log-concave full conditional densities. We propose and develop a novel and efficient perfect simulation methodology for joint distributions with log-concave full conditionals. This perfect sampling methodology is of independent interest as well since in a very large and important class of Bayesian applications the full conditionals turn out to be log-concave. We will consider application of our model and methodology to the Austrian wage mobility data, also analysed by Pamminger and Fruwirth-Schnatter (2010), and adopting the methods developed in Mukhopadhyay et al. (2011), Mukhopadhyay et al. (2012), will obtain the posterior modes of clusterings and also the desired highest posterior distribution credible regions of the posterior distribution of clusterings.


title: Application of CellDesigner to the Selection of Anticancer Drug Targets: Test Case using P53

abstract: Cancer is a disease involving many genes, consequently it has been difficult to design anticancer drugs that are efficacious over a broad range of cancers. The robustness of cellular responses to gene knockout and the need to reduce undesirable side effects also contribute to the problem of effective anti-cancer drug design. To promote the successful selection of drug targets, each potential target should be subjected to a systems biology scrutiny to locate effective and specific targets while minimizing undesirable side effects. The gene p53 is considered a good candidate for such a target because it has been implicated in 50% of all cancers and is considered to encode a hub protein that is highly connected to other proteins. Using P53 as a test case, this paper explores the capacity of the systems biology tool, CellDesigner, to aid in the selection of anticancer drug targets and to serve as a teaching resource for human resource development.


title: On singularities in B-orbit closures of 2-nilpotent matrices

abstract: This paper deals with singularities of closures of $2$-nilpotent Borel conjugacy classes in either a $\text{GL}_n$-conjugacy class or in the nilpotent cone of $\text{GL}_n$. In the latter case we construct a resolution of singularities, in the former we show that singularities are rational by applying a result of M. Brion. We reason why this generalizes the result of N. Perrin and E. Smirnov on the rationality of singularities of Springer fiber components in the two-column case. In the case of Borel orbit closures being contained in orbital varieties, we give an alternative version of L. Fresse's recent singularity criterion.


title: An Analytical Study on Fractional Fokker-Planck Equation by Homotopy Analysis Transform Method

abstract: In this article we introduce an analytical method, namely Homotopy Analysis Transform Method (HATM) which is a combination of Homotopy Analysis Method (HAM) and Laplace Decomposition Method (LDM).This scheme is simple to apply linear and nonlinear fractional differential equations and having less computational work in comparison of other exiting methods.The most useful advantage of this method is to solve the fractional nonlinear differential equation without using Adomian polynomials and He polynomials for the computation of nonlinear terms.The proposed method has no linearization and restrictive assumptions throughout the process.Presently homotopy analysis transform method is used to solve time fractional Fokker-Planck equation and similar equations.The series solution obtained by HATM converges very fast.A good agreement between the obtained solution and some well-known results has been demonstrated


title: Micro-CernVM: Slashing the Cost of Building and Deploying Virtual Machines

abstract: The traditional virtual machine building and and deployment process is centered around the virtual machine hard disk image. The packages comprising the VM operating system are carefully selected, hard disk images are built for a variety of different hypervisors, and images have to be distributed and decompressed in order to instantiate a virtual machine. Within the HEP community, the CernVM File System has been established in order to decouple the distribution from the experiment software from the building and distribution of the VM hard disk images. We show how to get rid of such pre-built hard disk images altogether. Due to the high requirements on POSIX compliance imposed by HEP application software, CernVM-FS can also be used to host and boot a Linux operating system. This allows the use of a tiny bootable CD image that comprises only a Linux kernel while the rest of the operating system is provided on demand by CernVM-FS. This approach speeds up the initial instantiation time and reduces virtual machine image sizes by an order of magnitude. Furthermore, security updates can be distributed instantaneously through CernVM-FS. By leveraging the fact that CernVM-FS is a versioning file system, a historic analysis environment can be easily re-spawned by selecting the corresponding CernVM-FS file system snapshot.


title: On permanents of Sylvester Hadamard matrices

abstract: It is well-known that the evaluation of the permanent of an arbitrary $(-1,1)$-matrix is a formidable problem. Ryser's formula is one of the fastest known general algorithms for computing permanents. In this paper, Ryser's formula has been rewritten for the special case of Sylvester Hadamard matrices by using their cocyclic construction. The rewritten formula presents an important reduction in the number of sets of $r$ distinct rows of the matrix to be considered. However, the algorithm needs a preprocessing part which remains time-consuming in general.


title: Disorder-Driven Spin-Reorientation in Multiferroic $h-YMn_{1-x}Fe_xO_3$

abstract: Magnetic structure evolution of multiferroic hexagonal $YMn_{1-x}Fe_{x}O_{3}$ (${x} = 0, 0.05,$ and $0.1$) has been studied by carrying out detailed temperature-dependent neutron diffraction at zero- and 5T-fields. Thermodynamic data confirm antiferromagnetic ordering at $T_{N}$ in all the compositions. Our sub-$T_{N}$ neutron diffraction results assign the magnetic structure of pure $YMnO_3$ to $\Gamma_{1}$ irreducible representation. Over the perturbative-doping range, the magnetic configuration changes via $\Gamma_{1}+\Gamma_{2}$ for $YMn_{0.95}Fe_{0.05}O_{3}$ on to $\Gamma_{2}$ for $YMn_{0.9}Fe_{0.1}O_{3}$, as the maiden compositional analogue of spin-reorientation; its occurrence in temperature-domain already reported for several manganites. Moreover, while the large thermal isostructural changes observed above ${T}_{N}$ are subdued in the ordered state, small alterations by the applied 5T-field are relatively uniform across, confirming strong magneto-elastic nature of the system. Decrease of the ordered magnetic moment ($\mu_{ord}$) and planar magnetic frustration noted with Fe-doping is enhanced by the applied field, apparently through canting.


title: High optical efficiency and photon noise limited sensitivity of microwave kinetic inductance detectors using phase readout

abstract: We demonstrate photon noise limited performance in both phase and amplitude readout in microwave kinetic inductance detectors (MKIDs) consisting of NbTiN and Al, down to 100 fW of optical power. We simulate the far field beam pattern of the lens-antenna system used to couple radiation into the MKID and derive an aperture efficiency of 75%. This is close to the theoretical maximum of 80% for a single-moded detector. The beam patterns are verified by a detailed analysis of the optical coupling within our measurement setup.


title: The $\mathcal{N}=1$ Chiral Multiplet on $T^2\times S^2$ and Supersymmetric Localization

abstract: We compute the supersymmetric partition function of an $\mathcal{N}=1$ chiral multiplet coupled to an external Abelian gauge field on complex manifolds with $T^2 \times S^2$ topology. The result is locally holomorphic in the complex structure moduli of $T^2\times S^2$. This computation illustrates in a simple example some recently obtained constraints on the parameter dependence of supersymmetric partition functions. We also devise a simple method to compute the chiral multiplet partition function on any four-manifold $\mathcal{M}_4$ preserving two supercharges of opposite chiralities, via supersymmetric localization. In the case of $\mathcal{M}_4=S^3\times S^1$, we provide a path integral derivation of the previously known result, the elliptic gamma function, which emphasizes its dependence on the $S^3 \times S^1$ complex structure moduli.


title: A Nitsche-based cut finite element method for a fluid--structure interaction problem

abstract: We present a new composite mesh finite element method for fluid--structure interaction problems. The method is based on surrounding the structure by a boundary-fitted fluid mesh which is embedded into a fixed background fluid mesh. The embedding allows for an arbitrary overlap of the fluid meshes. The coupling between the embedded and background fluid meshes is enforced using a stabilized Nitsche formulation which allows us to establish stability and optimal order \emph{a priori} error estimates, see~\cite{MassingLarsonLoggEtAl2013}. We consider here a steady state fluid--structure interaction problem where a hyperelastic structure interacts with a viscous fluid modeled by the Stokes equations. We evaluate an iterative solution procedure based on splitting and present three-dimensional numerical examples.


title: Magnetic helicity and energy spectra of a solar active region

abstract: We compute for the first time magnetic helicity and energy spectra of the solar active region NOAA 11158 during 11-15 February 2011 at 20^o southern heliographic latitude using observational photospheric vector magnetograms. We adopt the isotropic representation of the Fourier-transformed two-point correlation tensor of the magnetic field. The sign of magnetic helicity turns out to be predominantly positive at all wavenumbers. This sign is consistent with what is theoretically expected for the southern hemisphere. The magnetic helicity normalized to its theoretical maximum value, here referred to as relative helicity, is around 4% and strongest at intermediate wavenumbers of k ~ 0.4 Mm^{-1}, corresponding to a scale of 2pi/k ~ 16 Mm. The same sign and a similar value are also found for the relative current helicity evaluated in real space based on the vertical components of magnetic field and current density. The modulus of the magnetic helicity spectrum shows a k^{-11/3} power law at large wavenumbers, which implies a k^{-5/3} spectrum for the modulus of the current helicity. A k^{-5/3} spectrum is also obtained for the magnetic energy. The energy spectra evaluated separately from the horizontal and vertical fields agree for wavenumbers below 3 Mm^{-1}, corresponding to scales above 2 Mm. This gives some justification to our assumption of isotropy and places limits resulting from possible instrumental artefacts at small scales.


title: Joint recovery algorithms using difference of innovations for distributed compressed sensing

abstract: Distributed compressed sensing is concerned with representing an ensemble of jointly sparse signals using as few linear measurements as possible. Two novel joint reconstruction algorithms for distributed compressed sensing are presented in this paper. These algorithms are based on the idea of using one of the signals as side information; this allows to exploit joint sparsity in a more effective way with respect to existing schemes. They provide gains in reconstruction quality, especially when the nodes acquire few measurements, so that the system is able to operate with fewer measurements than is required by other existing schemes. We show that the algorithms achieve better performance with respect to the state-of-the-art.


title: Basic functions and unramified local L-factors for split groups

abstract: According to a program of Braverman, Kazhdan and Ng\^o Bao Ch\^au, for a large class of split unramified reductive groups $G$ and representations $\rho$ of the dual group $\hat{G}$, the unramified local $L$-factor $L(s,\pi,\rho)$ can be expressed as the trace of $\pi(f_{\rho,s})$ for a suitable function $f_{\rho,s}$ with non-compact support whenever $\mathrm{Re}(s) \gg 0$. Such functions can be plugged into the trace formula to study certain sums of automorphic $L$-functions. It also fits into the conjectural framework of Schwartz spaces for reductive monoids due to Sakellaridis, who coined the term basic functions; this is supposed to lead to a generalized Tamagawa-Godement-Jacquet theory for $(G,\rho)$. In this article, we derive some basic properties for the basic functions $f_{\rho,s}$ and interpret them via invariant theory. In particular, their coefficients are interpreted as certain generalized Kostka-Foulkes polynomials defined by Panyushev. These coefficients can be encoded into a rational generating function.


title: The first steps of adaptation of Escherichia coli to the gut are dominated by soft sweeps

abstract: The accumulation of adaptive mutations is essential for survival in novel environments. However, in clonal populations with a high mutational supply, the power of natural selection is expected to be limited. This is due to clonal interference - the competition of clones carrying different beneficial mutations - which leads to the loss of many small effect mutations and fixation of large effect ones. If interference is abundant, then mechanisms for horizontal transfer of genes, which allow the immediate combination of beneficial alleles in a single background, are expected to evolve. However, the relevance of interference in natural complex environments, such as the gut, is poorly known. To address this issue, we studied the invasion of beneficial mutations responsible for Escherichia coli's adaptation to the mouse gut and demonstrate the pervasiveness of clonal interference. The observed dynamics of change in frequency of beneficial mutations are consistent with soft sweeps, where a similar adaptive mutation arises repeatedly on different haplotypes without reaching fixation. The genetic basis of the adaptive mutations revealed a striking parallelism in independently evolving populations. This was mainly characterized by the insertion of transposable elements in both coding and regulatory regions of a few genes. Interestingly in most populations, we observed a complete phenotypic sweep without loss of genetic variation. The intense clonal interference during adaptation to the gut environment, here demonstrated, may be important for our understanding of the levels of strain diversity of E. coli inhabiting the human gut microbiota and of its recombination rate.


title: Equivariant spectral asymptotics for h-pseudodifferential operators

abstract: We prove equivariant spectral asymptotics for $ h$-pseudodifferential operators for compact orthogonal group actions generalizing results of El-Houakmi and Helffer (1991) and Cassanas (2006). Using recent results for certain oscillatory integrals with singular critical sets (Ramacher 2010) we can deduce a weak equivariant Weyl law. Furthermore, we can prove a complete asymptotic expansion for the Gutzwiller trace formula without any additional condition on the group action by a suitable generalization of the dynamical assumptions on the Hamilton flow.


title: SPM Bulletin 36

abstract: In addition to a number of new developments in the field, this issue announces the completion of the special issue of Topology and its Applications, dedicated to the proceedings of the Fourth Workshop on Coverings, Selections and Games in Topology, on the occasion of Ljubi\v{s}a D.R. Ko\v{c}inac's 65th birthday.


title: Interplay of fractional quantum Hall states and localization in quantum point contacts

abstract: We investigate integer and fractional quantum Hall states in quantum point contacts (QPCs) of different geometries, defined in AlGaAs/GaAs heterostructures employing different doping and screening techniques. We find that, even in the highest mobility samples, interference and localization strongly influence the transport properties. We propose microscopic models for these effects, based on single- and many-electron physics. For integer quantum Hall states, transport is modulated due to the self-consistent formation of compressible regions of enhanced or reduced density in the incompressible region of the constriction. In the fractional quantum Hall regime, we observe the localization of fractionally charged quasi-particles in the constriction and an interplay of single- and many-electron physics. At low electron densities and in comparatively weak magnetic fields, single-electron interference dominates transport. Utilizing optimized growth and gating techniques, the $\nu$=5/2 state can be observed in a QPC, conserving the bulk properties in an unprecedented quality. Our results might improve the understanding of the influence of localization on the transmission properties of QPCs, which is necessary for the interpretation of interference experiments employing QPCs, especially at $\nu$=5/2.


title: Derivations and Alberti representations

abstract: We relate generalized Lebesgue decompositions of measures in terms of curve fragments (Alberti representations) and Weaver derivations. This correspondence leads to a geometric characterization of the local norm on the Weaver cotangent bundle of a metric measure space $(X,\mu)$: the local norm of a form $df$ sees how fast $f$ grows on curve fragments seen by $\mu$. This implies a new characterization of differentiability spaces in terms of the $\mu$-a.e.~equality of the local norm of $df$ and the local Lipschitz constant of $f$. As a consequence, the Lip-lip inequality of Keith must be an equality. We also provide dimensional bounds for the module of derivations in terms of the Assouad dimension of $X$.


title: Singlet and triplet bound state spectra in the four-electron Be-like atomic systems

abstract: A large number of bound singlet and triplet states in the four-electron Be-atom and Be-like ions B$^+$, C$^{2+}$, F$^{5+}$ and Mg$^{8+}$ are determined to milli-Hartree numerical accuracy ($1\cdot 10^{-3}$ a.u.). These states include the bound singlet and triplet $S$-, $P$-, $D$-, $F$-, $G$-, $H$-, $I$- and $K$-states. Based on computational results we analyze the singlet and triplet series of the Be atom bound state spectrum and some four-electron ions: B$^+$, C$^{2+}$, F$^{5+}$ and Mg$^{8+}$ (Be-like ions). The analogous study of the Be atom triplet states was the topic of our earlier study (A.M. Frolov and M.B. Ruiz, CPL 595-596, 197 (2014)). The computational data allowed us to draw the spectral diagram of the bound state spectrum of the Be-atom and other four-electron ions mentioned above. The Be-atom spectrum contains the two optical series of bound states: singlets and triplets.


title: On the comparison between MASS and G-SCIDAR techniques

abstract: The Multi Aperture Scintillation Sensor (MASS) and the Generalized-Scintillation Detection and Ranging (Generalized SCIDAR) are two instruments conceived to measure the optical turbulence (OT) vertical distribution on the whole troposphere and low stratosphere (~ 20 km) widely used in the astronomical context. In this paper we perform a detailed analysis/comparison of measurements provided by the two instruments and taken during the extended site testing campaign carried out on 2007 at Cerro Paranal and promoted by the European Southern Observatory (ESO). The main and final goal of the study is to provide a detailed estimation of the measurements reliability i.e dispersion of turbulence measurements done by the two instruments at different heights above the ground. This information is directly related to our ability in estimating the absolute value of the turbulence stratification. To better analyse the uncertainties between the MASS and the GS we took advantage of the availability of measurements taken during the same campaign by a third independent instrument (DIMM - Differential Imaging Motion Monitor) measuring the integrated turbulence extended on the whole 20 km. Such a cross-check comparison permitted us to define the reliability of the instruments and their measurements, their limits and the contexts in which their use can present some risk.


title: StreaMon: a data-plane programming abstraction for Software-defined Stream Monitoring

abstract: The fast evolving nature of modern cyber threats and network monitoring needs calls for new, "software-defined", approaches to simplify and quicken programming and deployment of online (stream-based) traffic analysis functions. StreaMon is a carefully designed data-plane abstraction devised to scalably decouple the "programming logic" of a traffic analysis application (tracked states, features, anomaly conditions, etc.) from elementary primitives (counting and metering, matching, events generation, etc), efficiently pre-implemented in the probes, and used as common instruction set for supporting the desired logic. Multi-stage multi-step real-time tracking and detection algorithms are supported via the ability to deploy custom states, relevant state transitions, and associated monitoring actions and triggering conditions. Such a separation entails platform-independent, portable, online traffic analysis tasks written in a high level language, without requiring developers to access the monitoring device internals and program their custom monitoring logic via low level compiled languages (e.g., C, assembly, VHDL). We validate our design by developing a prototype and a set of simple (but functionally demanding) use-case applications and by testing them over real traffic traces.


title: Symmetry of solutions for some Bernoulli initial-value problems

abstract: In this paper, we show that under certain conditions on the coefficients and initial values, solutions of two different Bernoulli initial-value problems are symmetric to each other either with respect to the t-axis, or the y-axis, or the origin. This knowledge of symmetry is very useful since solving one Bernoulli problem solves automatically the other. To the best of our knowledge, this interesting property has not been described in any other papers.


title: Flexible Parallel Algorithms for Big Data Optimization

abstract: We propose a decomposition framework for the parallel optimization of the sum of a differentiable function and a (block) separable nonsmooth, convex one. The latter term is typically used to enforce structure in the solution as, for example, in Lasso problems. Our framework is very flexible and includes both fully parallel Jacobi schemes and Gauss-Seidel (Southwell-type) ones, as well as virtually all possibilities in between (e.g., gradient- or Newton-type methods) with only a subset of variables updated at each iteration. Our theoretical convergence results improve on existing ones, and numerical results show that the new method compares favorably to existing algorithms.


title: Asymptotic behavior of unregularized and ridge-regularized high-dimensional robust regression estimators : rigorous results

abstract: We study the behavior of high-dimensional robust regression estimators in the asymptotic regime where $p/n$ tends to a finite non-zero limit. More specifically, we study ridge-regularized estimators, i.e $\widehat{\beta}=\text{argmin}_{\beta \in \mathbb{R}^p} \frac{1}{n}\sum_{i=1}^n \rho(\varepsilon_i-X_i' \beta)+\frac{\tau}{2}\lVert\beta\rVert^2$. In a recently published paper, we had developed with collaborators probabilistic heuristics to understand the asymptotic behavior of $\widehat{\beta}$. We give here a rigorous proof, properly justifying all the arguments we had given in that paper. Our proof is based on the probabilistic heuristics we had developed, and hence ideas from random matrix theory, measure concentration and convex analysis. While most the work is done for $\tau>0$, we show that under some extra assumptions on $\rho$, it is possible to recover the case $\tau=0$ as a limiting case. We require that the $X_i$'s be i.i.d with independent entries, but our proof handles the case where these entries are not Gaussian. A 2-week old paper of Donoho and Montanari [arXiv:1310.7320] studied a similar problem by a different method and with a different point of view. At this point, their interesting approach requires Gaussianity of the design matrix.


title: Optical cavities and waveguides in hyperuniform disordered photonic solids

abstract: Using finite difference time domain and band structure computer simulations, we show that it is possible to construct optical cavities and waveguide architectures in hyperuniform disordered photonic solids that are unattainable in photonic crystals. The cavity modes can be classified according to the symmetry (monopole, dipole, quadrupole,etc.) of the confined electromagnetic wave pattern. Owing to the isotropy of the band gaps characteristic of hyperuniform disordered solids, high-quality waveguides with freeform geometries (e.g., arbitrary bending angles) can be constructed that have no analogue in periodic or quasiperiodic solids. These capabilities have implications for many photonic applications.


title: Analysis of an attempt at detection of neutrons produced in a plasma discharge electrolytic cell

abstract: R. Faccini et al. \cite{Faccini:2013} have attempted a replication of an earlier experiment by D. Cirillo et al. \cite{Cirillo:2012} in which neutrons [as well as nuclear transmutations] were observed in a modified Mizuno cell. No neutron production is observed in the recent experiment \cite{Faccini:2013} and no evidence for microwave radiation or nuclear transmutations are reported. A careful analysis shows major technical differences in the two experiments and we explore the underlying reasons for the lack of any nuclear activity in the newer experiment.


title: Recovery of Sparse Matrices via Matrix Sketching

abstract: In this paper, we consider the problem of recovering an unknown sparse matrix X from the matrix sketch Y = AX B^T. The dimension of Y is less than that of X, and A and B are known matrices. This problem can be solved using standard compressive sensing (CS) theory after converting it to vector form using the Kronecker operation. In this case, the measurement matrix assumes a Kronecker product structure. However, as the matrix dimension increases the associated computational complexity makes its use prohibitive. We extend two algorithms, fast iterative shrinkage threshold algorithm (FISTA) and orthogonal matching pursuit (OMP) to solve this problem in matrix form without employing the Kronecker product. While both FISTA and OMP with matrix inputs are shown to be equivalent in performance to their vector counterparts with the Kronecker product, solving them in matrix form is shown to be computationally more efficient. We show that the computational gain achieved by FISTA with matrix inputs over its vector form is more significant compared to that achieved by OMP.


title: Time-dependent amplitude analysis of semileptonically-tagged D0 -> KS0 pi+ pi- decays at LHCb

abstract: The hadronic decay D0 -> KS0 pi+ pi- provides access to the measurement of the mixing parameters of the neutral D-meson system and allows to test for CP violation. A measurement of the mixing parameters x_D and y_D as well as of the parameters |q/p| and phi=arg(q,p), which govern indirect CP violation, will be performed based on a time-dependent amplitude-model analysis of the full LHCb dataset of 2011 and 2012 corresponding to an integrated luminosity of 3/fb.


title: Amenability of Hecke pairs and a question of Eymard

abstract: In this short paper we show that if $(G,H)$ is an amenable Hecke pair and $\Gamma$ is a subgroup of $G$ containing $H$, then the Hecke pair $(\Gamma, H)$ is amenable too. This answers positively a question of Pierre Eymard, asked in 1972, when it is restricted to Hecke pairs


title: Holographic duality and the resistivity of strange metals

abstract: We present a strange metal, described by a holographic duality, which reproduces the famous linear resistivity of the normal state of the copper oxides, in addition to the linear specific heat. This holographic metal reveals a simple and general mechanism for producing such a resistivity, which requires only quenched disorder and a strongly interacting, locally quantum critical state. The key is the minimal viscosity of the latter: unlike in a Fermi-liquid, the viscosity is very small and therefore is important for the electrical transport. This mechanism produces a resistivity proportional to the electronic entropy.


title: MAGNA: Maximizing Accuracy in Global Network Alignment

abstract: Biological network alignment aims to identify similar regions between networks of different species. Existing methods compute node "similarities" to rapidly identify from possible alignments the "high-scoring" alignments with respect to the overall node similarity. However, the accuracy of the alignments is then evaluated with some other measure that is different than the node similarity used to construct the alignments. Typically, one measures the amount of conserved edges. Thus, the existing methods align similar nodes between networks hoping to conserve many edges (after the alignment is constructed!). Instead, we introduce MAGNA to directly "optimize" edge conservation while the alignment is constructed. MAGNA uses a genetic algorithm and our novel function for crossover of two "parent" alignments into a superior "child" alignment to simulate a "population" of alignments that "evolves" over time; the "fittest" alignments survive and proceed to the next "generation", until the alignment accuracy cannot be optimized further. While we optimize our new and superior measure of the amount of conserved edges, MAGNA can optimize any alignment accuracy measure. In systematic evaluations against existing state-of-the-art methods (IsoRank, MI-GRAAL, and GHOST), MAGNA improves alignment accuracy of all methods.


title: Stability of cosmological deflagration fronts

abstract: In a cosmological first-order phase transition, bubbles of the stable phase nucleate and expand in the supercooled metastable phase. In many cases, the growth of bubbles reaches a stationary state, with bubble walls propagating as detonations or deflagrations. However, these hydrodynamical solutions may be unstable under corrugation of the interface. Such instability may drastically alter some of the cosmological consequences of the phase transition. Here, we study the hydrodynamical stability of deflagration fronts. We improve upon previous studies by making a more careful and detailed analysis. In particular, we take into account the fact that the equation of motion for the phase interface depends separately on the temperature and fluid velocity on each side of the wall. Fluid variables on each side of the wall are similar for weakly first-order phase transitions, but differ significantly for stronger phase transitions. As a consequence, we find that, for large enough supercooling, any subsonic wall velocity becomes unstable. Moreover, as the velocity approaches the speed of sound, perturbations become unstable on all wavelengths. For smaller supercooling and small wall velocities, our results agree with those of previous works. Essentially, perturbations on large wavelengths are unstable, unless the wall velocity is higher than a critical value. We also find a previously unobserved range of marginally unstable wavelengths. We analyze the dynamical relevance of the instabilities, and we estimate the characteristic time and length scales associated to their growth. We discuss the implications for the electroweak phase transition and its cosmological consequences.


title: The position-momentum symmetry principle

abstract: It is shown that the Fourier transformation that relates position and momentum representations of quantum mechanics can be understood as a consequence of a symmetry principle that establishes the equivalence of being and becoming in the description of reality. There are however other transformation compatible with the same principle that could lead to different formalisms of quantum mechanics.


title: Scalar fields with barotropic equation of state: quintessence versus phantom

abstract: We constrain the parameters of dynamical dark energy in the form of a classical scalar field with barotropic equation of state jointly with other cosmological parameters using various combined datasets including the CMB power spectra from WMAP7, the baryon acoustic oscillations in the space distribution of galaxies from SDSS DR7 and WiggleZ, the light curves of SN Ia from 3 different compilations: SDSS (SALT2 and MLCS2k2 light curve fittings), SNLS3 and Union2.1. The considered class of models involves both quintessential and phantom subclasses. The analysis has shown that the phantom models are generally preferred by the observational data. We discuss the effect of allowing for non-zero masses of active neutrinos, non-zero curvature or non-zero contribution from the tensor mode of perturbations on the precision of dark energy parameters estimation. We also perform a forecast for the Planck mock data.


title: Families with infants: a general approach to solve hard partition problems

abstract: We introduce a general approach for solving partition problems where the goal is to represent a given set as a union (either disjoint or not) of subsets satisfying certain properties. Many NP-hard problems can be naturally stated as such partition problems. We show that if one can find a large enough system of so-called families with infants for a given problem, then this problem can be solved faster than by a straightforward algorithm. We use this approach to improve known bounds for several NP-hard problems as well as to simplify the proofs of several known results. For the chromatic number problem we present an algorithm with $O^*((2-\varepsilon(d))^n)$ time and exponential space for graphs of average degree $d$. This improves the algorithm by Bj\"{o}rklund et al. [Theory Comput. Syst. 2010] that works for graphs of bounded maximum (as opposed to average) degree and closes an open problem stated by Cygan and Pilipczuk [ICALP 2013]. For the traveling salesman problem we give an algorithm working in $O^*((2-\varepsilon(d))^n)$ time and polynomial space for graphs of average degree $d$. The previously known results of this kind is a polyspace algorithm by Bj\"{o}rklund et al. [ICALP 2008] for graphs of bounded maximum degree and an exponential space algorithm for bounded average degree by Cygan and Pilipczuk [ICALP 2013]. For counting perfect matching in graphs of average degree~$d$ we present an algorithm with running time $O^*((2-\varepsilon(d))^{n/2})$ and polynomial space. Recent algorithms of this kind due to Cygan, Pilipczuk [ICALP 2013] and Izumi, Wadayama [FOCS 2012] (for bipartite graphs only) use exponential space.


title: An hourglass model for the flare of HST-1 in M87

abstract: To explain the multi-wavelength light curves (from radio to X-ray) of HST-1 in the M87 jet, we propose an hourglass model that is a modified two-zone system of Tavecchio & Ghisellini (hereafter TG08): a slow hourglass-shaped or Laval nozzle-shaped layer connected by two revolving exponential surfaces surrounding a fast spine, through which plasma blobs flow. Based on the conservation of magnetic flux, the magnetic field changes along the axis of the hourglass. We adopt the result of TG08---the high-energy emission from GeV to TeV can be produced through inverse Compton by the two-zone system, and the photons from radio to X-ray are mainly radiated by the fast inner zone system. Here, we only discuss the light curves of the fast inner blob from radio to X-ray. When a compressible blob travels down the axis of the first bulb in the hourglass, because of magnetic flux conservation, its cross section experiences an adiabatic compression process, which results in particle acceleration and the brightening of HST-1. When the blob moves into the second bulb of the hourglass, because of magnetic flux conservation, the dimming of the knot occurs along with an adiabatic expansion of its cross section. A similar broken exponential function could fit the TeV peaks in M87, which may imply a correlation between the TeV flares of M87 and the light curves from radio to X-ray in HST-1. The Very Large Array (VLA) 22 GHz radio light curve of HST-1 verifies our prediction based on the model fit to the main peak of the VLA 15 GHz radio light curve.


title: First submillimeter observation of CO in the stratosphere of Uranus

abstract: Context. Carbon monoxide (CO) has been detected in all Giant Planets and its origin is both internal and external in Jupiter and Neptune. Despite its first detection in Uranus a decade ago, the magnitude of its internal and external sources remains unconstrained. Aims. We targeted CO lines in Uranus in the submillimeter range to constrain its origin. Methods. We recorded disk-averaged spectra of Uranus with a very high spectral resolution at the frequencies of CO rotational lines in the submillimeter range in 2011-2012. We used empirical and diffusion models of the atmosphere of Uranus to constrain the origin of CO. We also used a thermochemical model of its troposphere to derive an upper limit on the O/H ratio in the deep atmosphere of Uranus. Results. We have detected the CO(8-7) rotational line for the first time, with Herschel-HIFI. Both empirical and diffusion model results show that CO has an external origin. An empirical profile in which CO is constant above the 100mbar level with a mole fraction of 7.1-9.0E-9 (depending on the adopted stratospheric thermal structure) reproduces the data. Sporadic and steady source models cannot be differentiated with our data. Taking Teanby & Irwin's internal source model upper limit of a mole fraction of 2.1E-9 [Teanby & Irwin 2013. ApJ, 775, L49], the deep O/H ratio of Uranus is lower than 500 times solar according to our thermochemical computations. Conclusions. Our work shows that the average mole fraction of CO decreases from the stratosphere to the troposphere and thus strongly advocates for an external source of CO in Uranus. Photochemical modeling of oxygen species in the atmosphere of Uranus and more sensitive observations are needed to reveal the nature of the external source.


title: Crystalline Confinement

abstract: We show that exotic phases arise in generalized lattice gauge theories known as quantum link models in which classical gauge fields are replaced by quantum operators. While these quantum models with discrete variables have a finite-dimensional Hilbert space per link, the continuous gauge symmetry is still exact. An efficient cluster algorithm is used to study these exotic phases. The $(2+1)$-d system is confining at zero temperature with a spontaneously broken translation symmetry. A crystalline phase exhibits confinement via multi-stranded strings between charge-anti-charge pairs. A phase transition between two distinct confined phases is weakly first order and has an emergent spontaneously broken approximate $SO(2)$ global symmetry. The low-energy physics is described by a $(2+1)$-d $\mathbb{R}P(1)$ effective field theory, perturbed by a dangerously irrelevant $SO(2)$ breaking operator, which prevents the interpretation of the emergent pseudo-Goldstone boson as a dual photon. This model is an ideal candidate to be implemented in quantum simulators to study phenomena that are not accessible using Monte Carlo simulations such as the real-time evolution of the confining string and the real-time dynamics of the pseudo-Goldstone boson.


title: Vision-Guided Robot Hearing

abstract: Natural human-robot interaction in complex and unpredictable environments is one of the main research lines in robotics. In typical real-world scenarios, humans are at some distance from the robot and the acquired signals are strongly impaired by noise, reverberations and other interfering sources. In this context, the detection and localisation of speakers plays a key role since it is the pillar on which several tasks (e.g.: speech recognition and speaker tracking) rely. We address the problem of how to detect and localize people that are both seen and heard by a humanoid robot. We introduce a hybrid deterministic/probabilistic model. Indeed, the deterministic component allows us to map the visual information into the auditory space. By means of the probabilistic component, the visual features guide the grouping of the auditory features in order to form AV objects. The proposed model and the associated algorithm are implemented in real-time (17 FPS) using a stereoscopic camera pair and two microphones embedded into the head of the humanoid robot NAO. We performed experiments on (i) synthetic data, (ii) a publicly available data set and (iii) data acquired using the robot. The results we obtained validate the approach and encourage us to further investigate how vision can help robot hearing.


title: Multi-mode Alfv\'enic Fast Particle Transport and Losses: Numerical vs. Experimental Observation

abstract: In many discharges at ASDEX Upgrade fast particle losses can be observed due to Alfv\'enic gap modes, Reversed Shear Alfv\'en Eigenmodes or core-localized Beta Alfv\'en Eigenmodes. For the first time, simulations of experimental conditions in the ASDEX Upgrade fusion device are performed for different plasma equilibria (particularly for different, also non-monotonic q profiles). The numerical tool is the extended version of the HAGIS code [Pinches'98, Br\"udgam PhD Thesis, 2010], which also computes the particle motion in the vacuum region between vessel wall in addition to the internal plasma volume. For this work, a consistent fast particle distribution function was implemented to represent the strongly anisotropic fast particle population as generated by ICRH minority heating. Furthermore, HAGIS was extended to use more realistic eigenfunctions, calculated by the gyrokinetic eigenvalue solver LIGKA [Lauber'07]. The main aim of these simulations is to allow fast ion loss measurements to be interpreted with a theoretical basis. Fast particle losses are modeled and directly compared with experimental measurements [Garc\'ia-Mu\~noz'10]. The phase space distribution and the mode-correlation signature of the fast particle losses allows them to be characterized as prompt, resonant or diffusive (non-resonant). The experimental findings are reproduced numerically. It is found that a large number of diffuse losses occur in the lower energy range (at around 1/3 of the birth energy) particularly in multiple mode scenarios (with different mode frequencies), due to a phase space overlap of resonances leading to a so-called domino [Berk'95] transport process. In inverted q profile equilibria, the combination of radially extended global modes and large particle orbits leads to losses with energies down to 1/10th of the birth energy.


title: On Scaling Functionality in Urban Form

abstract: Assuming that the ultimate purpose of the city is to provide support to human interaction and that opportunities to that social interaction are unevenly distributed across the urban fabric, this paper reports some attempts to describe such a distribution, as well as to infer the role of urban form in it. In order to do that, it is proposed, firstly, a method to describe urban form from its smallest components up to the different urban fabric patches, to the entire spatial system, and second, a model to represent social interaction as a process associated to the urban morphology. Both the spatial description and the analytical model are discussed through the examination of some results, obtained through simulation.


title: Turbulence decay towards the linearly-stable regime of Taylor-Couette flow

abstract: Taylor-Couette (TC) flow is used to probe the hydrodynamical stability of astrophysical accretion disks. Experimental data on the subcritical stability of TC are in conflict about the existence of turbulence (cf. Ji et al. Nature, 444, 343-346 (2006) and Paoletti et al., A$\&$A, 547, A64 (2012)), with discrepancies attributed to end-plate effects. In this paper we numerically simulate TC flow with axially periodic boundary conditions to explore the existence of sub-critical transitions to turbulence when no end-plates are present. We start the simulations with a fully turbulent state in the unstable regime and enter the linearly stable regime by suddenly starting a (stabilizing) outer cylinder rotation. The shear Reynolds number of the turbulent initial state is up to $Re_s \sim10^5$ and the radius ratio is $\eta=0.714$. The stabilization causes the system to behave as a damped oscillator and correspondingly the turbulence decays. The evolution of the torque and turbulent kinetic energy is analysed and the periodicity and damping of the oscillations are quantified and explained as a function of shear Reynolds number. Though the initially turbulent flow state decays, surprisingly, the system is found to absorb energy during this decay.


title: Formal Killing fields for minimal Lagrangian surfaces in complex space forms

abstract: The differential system for minimal Lagrangian surfaces in a $2_{\mathbb{C}}$-dimensional, non-flat, complex space form is an elliptic system defined on the bundle of oriented Lagrangian planes. This is a 6-symmetric space associated with the Lie group SL(3,$\mathbb{C}$), and the minimal Lagrangian surfaces arise as the primitive maps. Utilizing this property, we derive the differential algebraic inductive formulas for a pair of loop algebra $\mathfrak{sl}(3,\mathbb{C})[[\lambda]]$-valued canonical formal Killing fields. As a result, we give a complete classification of the (infinite sequence of) Jacobi fields for the minimal Lagrangian system. We also obtain an infinite sequence of higher-order conservation laws from the components of the formal Killing fields.


title: Braid equivalence in 3-manifolds with rational surgery description

abstract: In this paper we describe braid equivalence for knots and links in a 3-manifold $M$ obtained by rational surgery along a framed link in $S^3$. We first prove a sharpened version of the Reidemeister theorem for links in $M$. We then give geometric formulations of the braid equivalence via mixed braids in $S^3$ using the $L$-moves and the braid band moves. We finally give algebraic formulations in terms of the mixed braid groups $B_{m,n}$ using cabling and the techniques of parting and combing for mixed braids. We also provide concrete formuli of the braid equivalence in the case where $M$ is a lens space, a Seifert manifold or a homology sphere obtained from the trefoil. The algebraic classification of knots and links in a $3$-manifold via mixed braids is a useful tool for studying skein modules of $3$-manifolds.


title: Parameterized Approximation Schemes using Graph Widths

abstract: Combining the techniques of approximation algorithms and parameterized complexity has long been considered a promising research area, but relatively few results are currently known. In this paper we study the parameterized approximability of a number of problems which are known to be hard to solve exactly when parameterized by treewidth or clique-width. Our main contribution is to present a natural randomized rounding technique that extends well-known ideas and can be used for both of these widths. Applying this very generic technique we obtain approximation schemes for a number of problems, evading both polynomial-time inapproximability and parameterized intractability bounds.


title: Funding the Search for Extraterrestrial Intelligence with a Lottery Bond

abstract: I propose the establishment of a SETI Lottery Bond to provide a continued source of funding for the search for extraterrestrial intelligence (SETI). The SETI Lottery Bond is a fixed rate perpetual bond with a lottery at maturity, where maturity occurs only upon discovery and confirmation of extraterrestrial intelligent life. Investors in the SETI Lottery Bond purchase shares that yield a fixed rate of interest that continues indefinitely until SETI succeeds---at which point a random subset of shares will be awarded a prize from a lottery pool. SETI Lottery Bond shares also are transferable, so that investors can benefact their shares to kin or trade them in secondary markets. The total capital raised this way will provide a fund to be managed by a financial institution, with annual payments from this fund to support SETI research, pay investor interest, and contribute to the lottery fund. Such a plan could generate several to tens of millions of dollars for SETI research each year, which would help to revitalize and expand facilities such as the Allen Telescope Array. The SETI Lottery Bond is a savings product that only can be offered by a financial institution with authorization to engage in banking and gaming activities. I therefore suggest that one or more banks offer a lottery-linked savings product in support of SETI research, with the added benefit of promoting personal savings and intergenerational wealth building among individuals.


title: Fundamental Particle Structure in the Cosmological Dark Matter

abstract: The nonbaryonic dark matter of the Universe is assumed to consist of new stable forms of matter. Their stability reflects symmetry of micro world and mechanisms of its symmetry breaking. Particle candidates for cosmological dark matter are lightest particles that bear new conserved quantum numbers. Dark matter particles may represent ideal gas of non-interacting particles. Self-interacting dark matter weakly or superweakly coupled to ordinary matter is also possible, reflecting nontrivial pattern of particle symmetry in the hidden sector of particle theory. In the early Universe the structure of particle symmetry breaking gives rise to cosmological phase transitions, from which macroscopic cosmological defects or primordial nonlinear structures can be originated. Primordial black holes (PBHs) can be not only a candidate for dark matter, but also represent a universal probe for super-high energy physics in the early Universe. Evaporating PBHs turn to be a source of even superweakly interacting particles, while clouds of massive PBHs can serve as a nonlinear seeds for galaxy formation. The observed broken symmetry of the three known families may provide a simultaneous solution for the problems of the mass of neutrino and strong CP violation in the unique framework of models of horizontal unification. The existence of new stable charged leptons and quarks is possible, hidden in elusive "dark atoms". Such possibility, strongly restricted by the constraints on anomalous isotopes of light elements, is not excluded in scenarios that predict stable double charged particles. The excessive -2 charged particles are bound in these scenarios with primordial helium in O-helium "atoms", maintaining specific nuclear-interacting form of the dark matter, which may provide an interesting solution for the puzzles of the direct dark matter searches. (abridged)


title: NGC 1817, NGC 2141, and Berkeley 81: three BOCCE clusters of intermediate age

abstract: In this paper we analyse the evolutionary status of three open clusters: NGC 1817, NGC 2141, and Berkeley 81. They are all of intermediate age, two are located in the Galactic anti-centre direction while the third one is located in the Galactic centre direction. All of them were observed with LBC@LBT using the Bessel B, V, and I filters. The cluster parameters have been obtained using the synthetic colour-magnitude diagram (CMD) method, i.e. the direct comparison of the observational CMDs with a library of synthetic CMDs generated with different evolutionary sets (Padova, FRANEC, and FST). This analysis shows that NGC 1817 has subsolar metallicity, age between 0.8 and 1.2 Gyr, reddening E(B-V) in the range 0.21 and 0.34, and distance modulus (m-M)_0 of about 10.9; NGC 2141 is older, with age in the range 1.25 and 1.9 Gyr, E(B-V) between 0.36 and 0.45, (m-M)_0 between 11.95 and 12.21, and subsolar metallicity; Berkeley~81 has metallicity about solar, with age between 0.75 and 1.0 Gyr, has reddening E(B-V)~0.90 and distance modulus (m-M)_0~12.4. Exploiting the large field of view of the instrument we derive the structure parameters for NGC 2141 and Be 81 by fitting a King profile to the estimated density profile. Combining this information with the synthetic CMD technique we estimate a lower limit for the cluster total mass for these two systems.


title: Differential algebra on lattice Green functions and Calabi-Yau operators (unabridged version)

abstract: We revisit miscellaneous linear differential operators mostly associated with lattice Green functions in arbitrary dimensions, but also Calabi-Yau operators and order-seven operators corresponding to exceptional differential Galois groups. We show that these irreducible operators are not only globally nilpotent, but are such that they are homomorphic to their (formal) adjoints. Considering these operators, or, sometimes, equivalent operators, we show that they are also such that, either their symmetric square or their exterior square, have a rational solution. This is a general result: an irreducible linear differential operator homomorphic to its (formal) adjoint is necessarily such that either its symmetric square, or its exterior square has a rational solution, and this situation corresponds to the occurrence of a special differential Galois group. We thus define the notion of being "Special Geometry" for a linear differential operator if it is irreducible, globally nilpotent, and such that it is homomorphic to its (formal) adjoint. Since many Derived From Geometry n-fold integrals ("Periods") occurring in physics, are seen to be diagonals of rational functions, we address several examples of (minimal order) operators annihilating diagonals of rational functions, and remark that they also seem to be, systematically, associated with irreducible factors homomorphic to their adjoint.


title: Anomalous magnetic moment with heavy virtual leptons

abstract: We compute the contributions to the electron and muon anomalous magnetic moment induced by heavy leptons up to four-loop order. Asymptotic expansion is applied to obtain three analytic expansion terms which show rapid convergence.


title: The Hubble flow: an observer's perspective

abstract: In this methodological note we discuss some details and peculiarities of the cosmic expansion as viewed by a realistic observer. We show that the velocity $v_\Theta$ related to a change (measured by observer's clock) of the angular distance, plays an important role in formation of a meaningful observed picture of the expansion of the universe. Usage of this velocity and the angular distance (in addition to the standard approach --- proper distance and corresponding velocity) allows to present the cosmic expansion in a more illustrative manner. These parameters play a key role in visualization of the expansion.


title: Charm production in double parton scattering at the LHC

abstract: We calculate $c\bar{c}c\bar{c}$ and $b\bar{b}b\bar{b}$ production cross section in Double Parton Scattering (DPS) processes at the energies of LHC. In our calculation we include saturation effects in the gluon distribution. For charm production, our results confirm the prediction of a previous work in which saturation effects were neglected, namely that at the energies of LHC charm production in DPS processes becomes comparable with charm production in SPS. We also estimate the production of $c\bar{c}b\bar{b}$ in DPS. Our results indicate that at $\sqrt{s}=14$ TeV half of the total amount of bottom produced in proton-proton collisions comes from this process.


title: Low dimensional neutron moderators for enhanced source brightness

abstract: In a recent numerical optimization study we have found that liquid para-hydrogen coupled cold neutron moderators deliver 3 - 5 times higher cold neutron brightness at a spallation neutron source if they take the form of a flat, quasi 2-dimensional disc, in contrast to the conventional more voluminous shapes used by now. In the present paper we describe a simple theoretical explanation of this unexpected behavior, which is based on the large difference in para-hydrogen between the values of the scattering mean free path for thermal neutrons (in the range of 1 cm) and its much larger equivalent for cold neutrons. This model leads to the conclusions that the optimal shape for high brightness para-hydrogen neutron moderators is the quasi 1-dimensional tube and these low dimensional moderators can also deliver much enhanced cold neutron brightness in fission reactor neutron sources, compared to much more voluminous liquid D2 or H2 moderators currently used. Neutronic simulation calculations confirm both of these theoretical conclusions.


title: On almost complex Lie algebroids

abstract: The almost complex Lie algebroids over smooth manifolds are introduced in the paper. In the first part we give some examples and we obtain a Newlander-Nirenberg type theorem on almost complex Lie algebroids. Next the almost Hermitian Lie algebroids and some related structures on the associated complex Lie algebroid are studied. For instance, we obtain that the $E$-Chern form of $E^{1,0}$ associated to an almost complex connection $\nabla$ on $E$ can be expressed in terms of the matrix $J_ER$, where $J_E$ is the almost complex structure of $E$ and $R$ is the curvature of $\nabla$. Also, we consider a metric product connection associated to an almost Hermitian Lie algebroid and we prove that the mean curvature section of $E^{0,1}$ vanishes and the second fundamental $2$--form section of $E^{0,1}$ vanishes iff the Lie algebroid is Hermitian.


title: Existentially closed structures and some embedding theorems

abstract: Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.


title: Characterisation of the Energy of Gaussian Beams on Lorentzian Manifolds - with Applications to Black Hole Spacetimes

abstract: It is known that using the Gaussian beam approximation one can show that there exist solutions of the wave equation on a general globally hyperbolic Lorentzian manifold whose energy is localised along a given null geodesic for a finite, but arbitrarily long time. In this paper, we show that the energy of such a localised solution is determined by the energy of the underlying null geodesic. This result opens the door to various applications of Gaussian beams on Lorentzian manifolds that do not admit a globally timelike Killing vector field. In particular we show that trapping in the exterior of Kerr or at the horizon of an extremal Reissner-Nordstr\"om black hole necessarily leads to a `loss of derivative' in a local energy decay statement. We also demonstrate the obstruction formed by the red-shift effect at the event horizon of a Schwarzschild black hole to scattering constructions from the future (where the red-shift turns into a blue-shift): we construct solutions to the backwards problem whose energies grow exponentially for a finite, but arbitrarily long time. Finally, we give a simple mathematical realisation of the heuristics for the blue-shift effect near the Cauchy horizon of sub-extremal and extremal black holes: we construct a sequence of solutions to the wave equation whose initial energies are uniformly bounded, whereas the energy near the Cauchy horizon goes to infinity.


title: Snowmass 2013 Computing Frontier: Networking

abstract: Computing has become a major component of all particle physics experiments and in many areas of theoretical particle physics. Progress in HEP experiment and theory will require significantly more computing, software development, storage, and networking, with different projects stretching future capabilities in different ways. However, there are many common needs among different areas in HEP, so more community planning is advised to increase efficiency. Careful and continuing review of the topics we studied, i.e., user needs and capabilities of current and future technology, is needed.


title: Degenerate Parametric Amplification of Squeezed Photons: Explicit Solutions, Statistics, Means and Variances

abstract: In the Schroedinger picture, we find explicit solutions for two models of degenerate parametric oscillators in the case of multiparameter squeezed input photons. The corresponding photon statistics and Wigner's function are also derived in coordinate representation. Their time evolution is investigated in detail. The unitary transformation is briefly discussed too.


title: A first principles study of As doping at a disordered Si--SiO$_2$ interface

abstract: Understanding the interaction between dopants and semiconductor-oxide interfaces is an increasingly important concern in the drive to further miniaturize modern transistors. To this end, using a combination of first-principles density-functional theory and a continuous random network Monte Carlo method, we investigate electrically active arsenic donors at the interface between silicon and its oxide. Using a realistic model of the disordered interface, we find that a small percentage (on the order of ~10%) of the atomic sites in the first few monolayers on the silicon side of the interface are energetically favourable for segregation, and that this is controlled by the local bonding and local strain of the defect centre. We also find that there is a long-range quantum confinement effect due to the interface, which results in an energy barrier for dopant segregation, but that this barrier is small in comparison to the effect of the local environment. Finally, we consider the extent to which the energetics of segregation can be controlled by the application of strain to the interface.


title: A Hybrid MPI-OpenMP Parallel Implementation for pseudospectral simulations with application to Taylor-Couette Flow

abstract: A hybrid-parallel direct-numerical-simulation method with application to turbulent Taylor-Couette flow is presented. The Navier-Stokes equations are discretized in cylindrical coordinates with the spectral Fourier-Galerkin method in the axial and azimuthal directions, and high-order finite differences in the radial direction. Time is advanced by a second-order, semi-implicit projection scheme, which requires the solution of five Helmholtz/Poisson equations, avoids staggered grids and renders very small slip velocities. Nonlinear terms are computed with the pseudospectral method. The code is parallelized using a hybrid MPI-OpenMP strategy, which is simpler to implement, reduces inter-node communications and is more efficient compared to a flat MPI parallelization. A strong scaling study shows that the hybrid code maintains very good scalability up to more than 20000 processor cores and thus allows to perform simulations at higher resolutions than previously feasible, and opens up the possibility to simulate turbulent Taylor-Couette flows at Reynolds numbers up to $\mathcal{O}(10^5)$. This enables to probe hydrodynamic turbulence in Keplerian flows in experimentally relevant regimes.


title: Roadmap on the theoretical work of BinaMIcS

abstract: We review the different theoretical challenges concerning magnetism in interacting binary or multiple stars that will be studied in the BinaMIcS (Binarity and Magnetic Interactions in various classes of Stars) project during the corresponding spectropolarimetric Large Programs at CFHT and TBL. We describe how completely new and innovative topics will be studied with BinaMIcS such as the complex interactions between tidal flows and stellar magnetic fields, the MHD star-star interactions, and the role of stellar magnetism in stellar formation and vice versa. This will strongly modify our vision of the evolution of interacting binary and multiple stars.


title: Global Sensitivity Analysis with Dependence Measures

abstract: Global sensitivity analysis with variance-based measures suffers from several theoretical and practical limitations, since they focus only on the variance of the output and handle multivariate variables in a limited way. In this paper, we introduce a new class of sensitivity indices based on dependence measures which overcomes these insufficiencies. Our approach originates from the idea to compare the output distribution with its conditional counterpart when one of the input variables is fixed. We establish that this comparison yields previously proposed indices when it is performed with Csiszar f-divergences, as well as sensitivity indices which are well-known dependence measures between random variables. This leads us to investigate completely new sensitivity indices based on recent state-of-the-art dependence measures, such as distance correlation and the Hilbert-Schmidt independence criterion. We also emphasize the potential of feature selection techniques relying on such dependence measures as alternatives to screening in high dimension.


title: Scaling Navier-Stokes Equation in Nanotubes

abstract: On one hand, classical Monte Carlo and molecular dynamics (MD) simulations have been very useful in the study of liquids in nanotubes, enabling a wide variety of properties to be calculated in intuitive agreement with experiments. On the other hand, recent studies indicate that the theory of continuum breaks down only at the nanometer level; consequently flows through nanotubes still can be investigated with Navier-Stokes equations if we take suitable boundary conditions into account. The aim of this paper is to study the statics and dynamics of liquids in nanotubes by using methods of non-linear continuum mechanics. We assume that the nanotube is filled with only a liquid phase; by using a second gradient theory the static profile of the liquid density in the tube is analytically obtained and compared with the profile issued from molecular dynamics simulation. Inside the tube there are two domains: a thin layer near the solid wall where the liquid density is non-uniform and a central core where the liquid density is uniform. In the dynamic case a closed form analytic solution seems to be no more possible, but by a scaling argument it is shown that, in the tube, two distinct domains connected at their frontiers still exist. The thin inhomogeneous layer near the solid wall can be interpreted in relation with the Navier length when the liquid slips on the boundary as it is expected by experiments and molecular dynamics calculations.

categories: physics.flu-dyn math-ph math.MP physics.chem-ph


abstract: Continuous-time quantum error correction (CTQEC) is an approach to protecting quantum information from noise in which both the noise and the error correcting operations are treated as processes that are continuous in time. This chapter investigates CTQEC based on continuous weak measurements and feedback from the point of view of the subsystem principle, which states that protected quantum information is contained in a subsystem of the Hilbert space. We study how to approach the problem of constructing CTQEC protocols by looking at the evolution of the state of the system in an encoded basis in which the subsystem containing the protected information is explicit. This point of view allows us to reduce the problem to that of protecting a known state, and to design CTQEC procedures from protocols for the protection of a single qubit. We show how previously studied CTQEC schemes with both direct and indirect feedback can be obtained from strategies for the protection of a single qubit via weak measurements and weak unitary operations. We also review results on the performance of CTQEC with direct feedback in cases of Markovian and non-Markovian decoherence, where we have shown that due to the existence of a Zeno regime in non-Markovian dynamics, the performance of CTQEC can exhibit a quadratic improvement if the time resolution of the weak error-correcting operations is high enough to reveal the non-Markovian character of the noise process.


title: How Vertex reinforced jump process arises naturally

abstract: We prove that the only nearest neighbor jump process with local dependence on the occupation times satisfying the partial exchangeability property is the vertex reinforced jump process, under some technical conditions. This result gives a counterpart to the characterization of edge reinforced random walk given by Rolles.


title: Rashba spin splitting in symmetric structures

abstract: It is widely believed that Rasba spin splitting occurs only in systems lacking space inversion invariance. In this letter we present analytical analysis which suggests that non-zero Rashba spin splitting occurs in systems possessing space inversion invariance. We present numerical simulations which confirm that non-zero Rashba spin splitting occurs in symmetric structures but this splitting is several orders of magnitude smaller than the Rashba spin splitting due to broken space inversion invariance.


title: A numerical strategy to discretize and solve the Poisson equation on dynamically adapted multiresolution grids for time-dependent streamer discharge simulations

abstract: We develop a numerical strategy to solve multi-dimensional Poisson equations on dynamically adapted grids for evolutionary problems disclosing propagating fronts. The method is an extension of the multiresolution finite volume scheme used to solve hyperbolic and parabolic time-dependent PDEs. Such an approach guarantees a numerical solution of the Poisson equation within a user-defined accuracy tolerance. Most adaptive meshing approaches in the literature solve elliptic PDEs level-wise and hence at uniform resolution throughout the set of adapted grids. Here we introduce a numerical procedure to represent the elliptic operators on the adapted grid, strongly coupling inter grid relations that guarantee the conservation and accuracy properties of multiresolution finite volume schemes. The discrete Poisson equation is solved at once over the entire computational domain as a completely separate process. The accuracy and numerical performance of the method is assessed in the context of streamer discharge simulations.


title: Quantum gravity via supersymmetry and holography

abstract: We review the approach to quantum gravity based on supersymmetry, strings, and holography. This includes a survey of black holes in higher-dimensions, supersymmetry and supergravity, as well as string theory, black hole microstates, and the gauge/gravity duality. This presentation will appear as a chapter in "General Relativity and Gravitation: A Centennial Perspective", to be published by Cambridge University Press.


title: Semiclassical quantization of classical field theories

abstract: These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in the usual Hamiltonian framework. Then we outline formal semiclassical quantization in the finite dimensional case. Towards the end we give an example of such a quantization in the case of Abelian Chern-Simons theory.


title: The Prime Number Theorem via Karamata's proof of the Landau-Ingham Tauberian theorem

abstract: This is an exposition, in 12 pages including all prerequisites and a generalization, of Karamata's little known elementary proof of the Landau-Ingham Tauberian theorem, a result in real analysis from which the Prime Number Theorem follows in a few lines. We believe this to be the most transparent of the elementary proofs of the PNT.


title: Notes on Elementary Spectral Graph Theory. Applications to Graph Clustering Using Normalized Cuts

abstract: These are notes on the method of normalized graph cuts and its applications to graph clustering. I provide a fairly thorough treatment of this deeply original method due to Shi and Malik, including complete proofs. I include the necessary background on graphs and graph Laplacians. I then explain in detail how the eigenvectors of the graph Laplacian can be used to draw a graph. This is an attractive application of graph Laplacians. The main thrust of this paper is the method of normalized cuts. I give a detailed account for K = 2 clusters, and also for K > 2 clusters, based on the work of Yu and Shi. Three points that do not appear to have been clearly articulated before are elaborated: 1. The solutions of the main optimization problem should be viewed as tuples in the K-fold cartesian product of projective space RP^{N-1}. 2. When K > 2, the solutions of the relaxed problem should be viewed as elements of the Grassmannian G(K,N). 3. Two possible Riemannian distances are available to compare the closeness of solutions: (a) The distance on (RP^{N-1})^K. (b) The distance on the Grassmannian. I also clarify what should be the necessary and sufficient conditions for a matrix to represent a partition of the vertices of a graph to be clustered.


title: Nanoantennas for ultrabright single photon sources

abstract: We propose to use nanoantennas coupled to incoherently pumped quantum dots for ultra-bright single photon emission. Besides fully quantum calculations, we analyze an analytical expression for the emitted photon rate. From these analytical considerations it turns out that the Purcell factor and the pumping rate are the main quantities of interest. We also disclose a trade-off between the emitted photon rate and the nonclassical nature of the emitted light. This trade-off has to be considered while designing suitable nanoantennas, which we also discuss in depth.


title: Improved annotation of 3-prime untranslated regions and complex loci by combination of strand-specific Direct RNA Sequencing, RNA-seq and ESTs

abstract: The reference annotations made for a genome sequence provide the framework for all subsequent analyses of the genome. Correct annotation is particularly important when interpreting the results of RNA-seq experiments where short sequence reads are mapped against the genome and assigned to genes according to the annotation. Inconsistencies in annotations between the reference and the experimental system can lead to incorrect interpretation of the effect on RNA expression of an experimental treatment or mutation in the system under study. Until recently, the genome-wide annotation of 3-prime untranslated regions received less attention than coding regions and the delineation of intron/exon boundaries. In this paper, data produced for samples in Human, Chicken and A. thaliana by the novel single-molecule, strand-specific, Direct RNA Sequencing technology from Helicos Biosciences which locates 3-prime polyadenylation sites to within +/- 2 nt, were combined with archival EST and RNA-Seq data. Nine examples are illustrated where this combination of data allowed: (1) gene and 3-prime UTR re-annotation (including extension of one 3-prime UTR by 5.9 kb); (2) disentangling of gene expression in complex regions; (3) clearer interpretation of small RNA expression and (4) identification of novel genes. While the specific examples displayed here may become obsolete as genome sequences and their annotations are refined, the principles laid out in this paper will be of general use both to those annotating genomes and those seeking to interpret existing publically available annotations in the context of their own experimental data


title: The Noisy Power Method: A Meta Algorithm with Applications

abstract: We provide a new robust convergence analysis of the well-known power method for computing the dominant singular vectors of a matrix that we call the noisy power method. Our result characterizes the convergence behavior of the algorithm when a significant amount noise is introduced after each matrix-vector multiplication. The noisy power method can be seen as a meta-algorithm that has recently found a number of important applications in a broad range of machine learning problems including alternating minimization for matrix completion, streaming principal component analysis (PCA), and privacy-preserving spectral analysis. Our general analysis subsumes several existing ad-hoc convergence bounds and resolves a number of open problems in multiple applications including streaming PCA and privacy-preserving singular vector computation.


title: Spectroscopy in the Era of LSST

abstract: This report summarizes the results of the 'Spectroscopy in the Era of LSST' workshop held April 11-12, 2013 in Tucson, Arizona. At the workshop, there were breakout sessions covering four broad science topics. These were: time domain science, Galactic structure and stellar populations, galaxies and AGN, and dark energy and cosmology. We present the science cases discussed in these breakout sessions and provide a synthesis of highly desired capabilities that meet needs across all four broad topics. We also present a table that will be useful to characterize the needs of specific science cases in a format that provides a general framework for discussion of future spectroscopic capabilities.


title: Stable cohomology of spaces of non-singular hypersurfaces

abstract: We prove that the rational cohomology of the space of non-singular complex homogeneous polynomials of degree d in a fixed number of variables stabilizes to the cohomology of the general linear group for d sufficiently large.


title: Magneto-electric and thermo-magneto-electric effects in ferromagnetic transition-metal alloys from first-principles

abstract: The electric and thermo-magneto-electric transport of the prototypical ferromagnetic transition-metal alloy system fcc-Co$_x$Pd$_{1-x}$ has been investigated on the basis of Kubo's linear response formalism. The results for the full electric conductivity tensor allow to discuss the spin-orbit induced anisotropic magneto-resistance (AMR) and the anomalous Hall effect (AHE). These are complemented by results for the corresponding thermo-magneto-electric transport properties anisotropy of the Seebeck effect (ASE) and anomalous Nernst effect (ANE). The relation between the respective response coefficients is discussed with the underlying electronic structure calculated relativistically within the Korringa-Kohn-Rostoker coherent potential approximation (KKR-CPA) band structure method for disordered alloys.


title: Thermally-Activated Post-Glitch Response of the Neutron Star Inner Crust and Core. I: Theory

abstract: Pinning of superfluid vortices is predicted to prevail throughout much of a neutron star. Based on the idea of Alpar et al., I develop a description of the coupling between the solid and liquid components of a neutron star through {\em thermally-activated vortex slippage}, and calculate the the response to a spin glitch. The treatment begins with a derivation of the vortex velocity from the vorticity equations of motion. The activation energy for vortex slippage is obtained from a detailed study of the mechanics and energetics of vortex motion. I show that the "linear creep" regime introduced by Alpar et al. and invoked in fits to post-glitch response is not realized for physically reasonable parameters, a conclusion that strongly constrains the physics of post-glitch response through thermal activation. Moreover, a regime of "superweak pinning", crucial to the theory of Alpar et al. and its extensions, is probably precluded by thermal fluctuations. The theory given here has a robust conclusion that can be tested by observations: {\em for a glitch in spin rate of magnitude $\Delta\nu$, pinning introduces a delay in the post-glitch response time}. The delay time is $t_d=7 (t_{sd}/10^4\mbox{yr})((\Delta\nu/\nu)/10^{-6})$ d where $t_{sd}$ is the spin-down age; $t_d$ is typically weeks for the Vela pulsar and months in older pulsars, and is independent of the details of vortex pinning. Post-glitch response through thermal activation cannot occur more quickly than this timescale. Quicker components of post-glitch response as have been observed in some pulsars, notably, the Vela pulsar, cannot be due to thermally-activated vortex motion but must represent a different process, such as drag on vortices in regions where there is no pinning. I also derive the mutual friction force for a pinned superfluid at finite temperature for use in other studies of neutron star hydrodynamics.


title: Compact embedded minimal surfaces in $\mathbb{S}^2\times \mathbb{S}^1$

abstract: We prove that closed surfaces of all topological types, except for the non-orientable odd-genus ones, can be minimally embedded in the Riemannian product of a sphere and a circle of arbitrary radius. We illustrate it by obtaining some periodic minimal surfaces in $\mathbb{S}^2\times\mathbb{R}$ via conjugate constructions. The resulting surfaces can be seen as the analogy to the Schwarz P-surface in these homogeneous 3-manifolds.


title: A reduction of proof complexity to computational complexity for $AC^0[p]$ Frege systems

abstract: We give a general reduction of lengths-of-proofs lower bounds for constant depth Frege systems in DeMorgan language augmented by a connective counting modulo a prime $p$ (the so called $AC^0[p]$ Frege systems) to computational complexity lower bounds for search tasks involving search trees branching upon values of maps on the vector space of low degree polynomials over the finite filed with $p$ elements.


title: Higher order temporal finite element methods through mixed formulations

abstract: The EHP and the MCAP provide new rigorous weak variational formalism for a broad range of initial boundary value problems in mathematical physics and mechanics. Both approaches utilize the mixed formulation and lead to the development of various space-time finite element methods. In this paper, their potential when adopting temporally higher order approximations is investigated. The classical single-degree-of-freedom dynamical systems are primarily considered to validate and to investigate the performance of the numerical algorithms developed from both formulations. For the undamped system, all the algorithms are found to be symplectic and unconditionally stable with respect to the time step. On the other hand, for the damped system, the approach is shown to be robust and to be accurate with good convergence characteristics.


title: Predictable Feature Analysis

abstract: Every organism in an environment, whether biological, robotic or virtual, must be able to predict certain aspects of its environment in order to survive or perform whatever task is intended. It needs a model that is capable of estimating the consequences of possible actions, so that planning, control, and decision-making become feasible. For scientific purposes, such models are usually created in a problem specific manner using differential equations and other techniques from control- and system-theory. In contrast to that, we aim for an unsupervised approach that builds up the desired model in a self-organized fashion. Inspired by Slow Feature Analysis (SFA), our approach is to extract sub-signals from the input, that behave as predictable as possible. These "predictable features" are highly relevant for modeling, because predictability is a desired property of the needed consequence-estimating model by definition. In our approach, we measure predictability with respect to a certain prediction model. We focus here on the solution of the arising optimization problem and present a tractable algorithm based on algebraic methods which we call Predictable Feature Analysis (PFA). We prove that the algorithm finds the globally optimal signal, if this signal can be predicted with low error. To deal with cases where the optimal signal has a significant prediction error, we provide a robust, heuristically motivated variant of the algorithm and verify it empirically. Additionally, we give formal criteria a prediction-model must meet to be suitable for measuring predictability in the PFA setting and also provide a suitable default-model along with a formal proof that it meets these criteria.


title: A Semi-automated Peer-review System

abstract: A semi-supervised model of peer review is introduced that is intended to overcome the bias and incompleteness of traditional peer review. Traditional approaches are reliant on human biases, while consensus decision-making is constrained by sparse information. Here, the architecture for one potential improvement (a semi-supervised, human-assisted classifier) to the traditional approach will be introduced and evaluated. To evaluate the potential advantages of such a system, hypothetical receiver operating characteristic (ROC) curves for both approaches will be assessed. This will provide more specific indications of how automation would be beneficial in the manuscript evaluation process. In conclusion, the implications for such a system on measurements of scientific impact and improving the quality of open submission repositories will be discussed.


title: On optimal constacyclic codes

abstract: In this paper we investigate the class of constacyclic codes, which is a natural generalization of the class of cyclic and negacyclic codes. This class of codes is interesting in the sense that it contains codes with good or even optimal parameters. In this light, we propose constructions of families of classical block and convolutional maximum-distance-separable (MDS) constacyclic codes, as well as families of asymmetric quantum MDS codes derived from (classical-block) constacyclic codes. These results are mainly derived from the investigation of suitable properties on cyclotomic cosets of these corresponding codes.


title: A Comment on "Cycles and Instability in a Rock-Paper-Scissors Population Game: A Continuous Time Experiment"

abstract: The authors (Cason, Friedman and Hopkins, Reviews of Economics Studies, 2014) claimed a result that the treatments (using simultaneous matching in discrete time) replicate previous results that exhibit weak or no cycles. After correct two mathematical mistakes in their cycles tripwire algorithm, we research the cycles by scanning the tripwire in the full strategy space of the games and we find significant cycles missed by the authors. So we suggest that, all of the treatments (using simultaneous matching in discrete time) exhibit significant cycles.


title: Robust Beamforming for Secure Communication in Systems with Wireless Information and Power Transfer

abstract: This paper considers a multiuser multiple-input single-output (MISO) downlink system with simultaneous wireless information and power transfer. In particular, we focus on secure communication in the presence of passive eavesdroppers and potential eavesdroppers (idle legitimate receivers). We study the design of a resource allocation algorithm minimizing the total transmit power for the case when the legitimate receivers are able to harvest energy from radio frequency signals. Our design advocates the dual use of both artificial noise and energy signals in providing secure communication and facilitating efficient wireless energy transfer. The algorithm design is formulated as a non-convex optimization problem. The problem formulation takes into account artificial noise and energy signal generation for protecting the transmitted information against both considered types of eavesdroppers when imperfect channel state information (CSI) of the potential eavesdroppers and no CSI of the passive eavesdroppers are available at the transmitter. In light of the intractability of the problem, we reformulate the considered problem by replacing a non-convex probabilistic constraint with a convex deterministic constraint. Then, a semi-definite programming (SDP) relaxation approach is adopted to obtain the optimal solution for the reformulated problem. Furthermore, we propose a suboptimal resource allocation scheme with low computational complexity for providing communication secrecy and facilitating efficient energy transfer. Simulation results demonstrate a close-to-optimal performance achieved by the proposed schemes and significant transmit power savings by optimization of the artificial noise and energy signal generation.


title: Funk and Hilbert geometries from the Finslerian Viewpoint

abstract: In 1929, Paul Funk and Ludwig Berwald gave a characterization of Hilbert geometries from the Finslerian viewpoint. They showed that a smooth Finsler metric in a convex bounded domain of $\mathbb{R}^n$ is the Hilbert geometry in that domain if and only if it is complete, if its geodesics are straight lines and if its flag curvature is equal to -1. The goal of this chapter is to explain these notions in details, to illustrate the relation between Hilbert geometry, Finsler geometry and the calculus of variations, and to prove the Funk-Berwald characterization Theorem.


title: Cartan-type criterions for constancy of almost Hermitian manifolds

abstract: We studied the axiom of anti-invariant 2-spheres and the axiom of co-holomorphic $(2n+1)$-spheres. We proved that a nearly K\"{a}hlerian manifold satisfying the axiom of anti-invariant 2-spheres is a space of constant holomorphic sectional curvature. We also showed that an almost Hermitian manifold $M$ of dimension $2m\geq6$ satisfying the axiom of co-holomorphic $(2n+1)$-spheres for some $n,$ where $(1\leq n\leq m-1)$, the manifold $M$ has pointwise constant type $\alpha$ if and only if $M$ has pointwise constant anti-holomorphic sectional curvature $\alpha$.


title: Ab-initio characterization of the quantum linear-zigzag transition using DMRG

abstract: Ions of the same charge inside confining potentials can form crystalline structures which can be controlled by means of the ions density and of the external trap parameters. In particular, a linear chain of trapped ions exhibits a transition to a zigzag equilibrium configuration, which is controlled by the strength of the transverse confinement. Studying this phase transition in the quantum regime is a challenging problem, even when employing numerical methods to simulate microscopically quantum many-body systems. Here we present a compact analytical treatment to map the original long-range problem into a short-range quantum field theory on a lattice. We provide a complete numerical architecture, based on Density Matrix Renormalization Group, to address the effective quantum phi-four model. This technique is instrumental in giving a complete characterization of the phase diagram, as well as pinpoint the universality class of the criticality.


title: Spin Glasses and Nonlinear Constraints in Portfolio Optimization

abstract: We discuss the portfolio optimization problem with the obligatory deposits constraint. Recently it has been shown that as a consequence of this nonlinear constraint, the solution consists of an exponentially large number of optimal portfolios, completely different from each other, and extremely sensitive to any changes in the input parameters of the problem, making the concept of rational decision making questionable. Here we reformulate the problem using a quadratic obligatory deposits constraint, and we show that from the physics point of view, finding an optimal portfolio amounts to calculating the mean-field magnetizations of a random Ising model with the constraint of a constant magnetization norm. We show that the model reduces to an eigenproblem, with 2N solutions, where N is the number of assets defining the portfolio. Also, in order to illustrate our results, we present a detailed numerical example of a portfolio of several risky common stocks traded on the Nasdaq Market.


title: Exact high temperature expansion of the one-loop thermodynamic potential with complex chemical potential

abstract: We present a derivation of an exact high temperature expansion for a one-loop thermodynamic potential $\Omega(\tilde{\mu})$ with complex chemical potential $\tilde{\mu}$. The result is given in terms of a single sum the coefficients of which are analytical functions of $\tilde{\mu}$ consisting of polynomials and polygamma functions, decoupled from the physical expansion parameter $\beta m$. The analytic structure of the coefficients permits us to explicitly calculate the thermodynamic potential for the imaginary chemical potential and analytically continue the domain to the complex $\tilde{\mu}$ plane. Furthermore, our representation of $\Omega(\tilde{\mu})$ is particularly well suited for the Landau--Ginzburg-type of phase transition analysis. This fact, along with the possibility of interpreting the imaginary chemical potential as an effective generalized-statistics phase, allows us to investigate the singular origin of the $m^3$ term appearing only in the bosonic thermodynamic potential.


title: Breaking the PPSZ Barrier for Unique 3-SAT

abstract: The PPSZ algorithm by Paturi, Pudl\'ak, Saks, and Zane (FOCS 1998) is the fastest known algorithm for (Promise) Unique k-SAT. We give an improved algorithm with exponentially faster bounds for Unique 3-SAT. For uniquely satisfiable 3-CNF formulas, we do the following case distinction: We call a clause critical if exactly one literal is satisfied by the unique satisfying assignment. If a formula has many critical clauses, we observe that PPSZ by itself is already faster. If there are only few clauses allover, we use an algorithm by Wahlstr\"om (ESA 2005) that is faster than PPSZ in this case. Otherwise we have a formula with few critical and many non-critical clauses. Non-critical clauses have at least two literals satisfied; we show how to exploit this to improve PPSZ.


title: Tight-Binding Model for Adatoms on Graphene: Analytical Density of States, Spectral Function, and Induced Magnetic Moment

abstract: In the limit of low adatom concentration, we obtain exact analytic expressions for the local and total density of states (LDOS, TDOS) for a tight-binding model of adatoms on graphene. The model is not limited to nearest-neighbor hopping but can include hopping between carbon atoms at any separation. We also find an analytical expression for the spectral function $A({\bf k}, E)$ of an electron of Bloch vector ${\bf k}$ and energy E on the graphene lattice, to first order in the adatom concentration. We treat the electron-electron interaction by including a Hubbard term on the adatom, which we solve within a mean-field approximation. For finite Hubbard $U$, we find the spin-polarized LDOS, TDOS, and spectral function self-consistently. For any choice of parameters of the tight-binding model within mean field theory, we find a critical value of $U$ above which a moment develops on the adatom. For most choices of parameters, we find a substantial charge transfer from the adatom to the graphene host.


title: Some haracterizations of almost Hermitian manifolds

abstract: We give a condition for an almost constant-type manifold to be a constant-type manifold, and holomorphic and $R$-invariant submanifolds of almost Hermitian manifolds are studied. Generalizations of some results in [5] are given.


title: Localized orientational order chaperons the nucleation of Rotator phases in hard polyhedral particles

abstract: The nucleation kinetics of the rotator phase in hard cuboctahedra, truncated octahedra, and rhombic dodecahedra is simulated via a combination of Forward Flux Sampling and Umbrella Sampling. For comparable degree of supersaturation, the polyhedra are found to have significantly lower free-energy barriers and faster nucleation rates than hard spheres. This difference primarily stems from localized orientational ordering, which steers polyhedral particles to pack more efficiently. Orientational order hence fosters here the growth of orientationally disordered nuclei.


title: Covert Ephemeral Communication in Named Data Networking

abstract: In the last decade, there has been a growing realization that the current Internet Protocol is reaching the limits of its senescence. This has prompted several research efforts that aim to design potential next-generation Internet architectures. Named Data Networking (NDN), an instantiation of the content-centric approach to networking, is one such effort. In contrast with IP, NDN routers maintain a significant amount of user-driven state. In this paper we investigate how to use this state for covert ephemeral communication (CEC). CEC allows two or more parties to covertly exchange ephemeral messages, i.e., messages that become unavailable after a certain amount of time. Our techniques rely only on network-layer, rather than application-layer, services. This makes our protocols robust, and communication difficult to uncover. We show that users can build high-bandwidth CECs exploiting features unique to NDN: in-network caches, routers' forwarding state and name matching rules. We assess feasibility and performance of proposed cover channels using a local setup and the official NDN testbed.


title: Restrictions of harmonic functions and Dirichlet eigenfunctions of the Hata set to the interval

abstract: In this paper we study the harmonic functions and the Dirichlet eigenfunctions of the Hata set, and their restrictions to the interval $[0,1]$, its main edge. We prove that these restrictions of the harmonic functions are singular, \ie monotone and with zero derivatives almost everywhere, and provide numerical evidence that this is also the case for the eigenfunctions.


title: QED plasma in a background of static gravitational fields

abstract: We obtain the effective Lagrangian of static gravitational fields interacting with a QED plasma at high temperature. Using the equivalence between the static hard thermal loops and those with zero external energy-momentum, we compute the effective Lagrangian up to two-loop order. We also obtain a non-perturbative contribution which arises from the sum of all infrared divergent ring-diagrams. From the gauge and Weyl symmetries of the theory, we deduce to all orders that this effective Lagrangian is equivalent to the pressure of a QED plasma in Minkowski space-time, with the global temperature replaced by the Tolman local temperature.