title: Combining pattern-based CRFs and weighted context-free grammars

abstract: We consider two models for the sequence labeling (tagging) problem. The first one is a {\em Pattern-Based Conditional Random Field }(\PB), in which the energy of a string (chain labeling) $x=x_1\ldots x_n\in D^n$ is a sum of terms over intervals $[i,j]$ where each term is non-zero only if the substring $x_i\ldots x_j$ equals a prespecified word $w\in \Lambda$. The second model is a {\em Weighted Context-Free Grammar }(\WCFG) frequently used for natural language processing. \PB and \WCFG encode local and non-local interactions respectively, and thus can be viewed as complementary. We propose a {\em Grammatical Pattern-Based CRF model }(\GPB) that combines the two in a natural way. We argue that it has certain advantages over existing approaches such as the {\em Hybrid model} of Bened{\'i} and Sanchez that combines {\em $\mbox{$N$-grams}$} and \WCFGs. The focus of this paper is to analyze the complexity of inference tasks in a \GPB such as computing MAP. We present a polynomial-time algorithm for general \GPBs and a faster version for a special case that we call {\em Interaction Grammars}.


title: Accurate transport cross sections for the Lennard-Jones potential

abstract: Physically motivated expressions for the transport cross sections describing classical scattering in the Lennard-Jones potential are proposed. These expressions, which agree with the numerical results better than to within $\pm 1%$, can be easy implemented in practical situations. Some relevant examples are provided.


title: On the characterization of J\'onsson-Tarski and of subtractive varieties

abstract: We investigate unital, subtractive and strongly unital regular categories with enough projectives and give characterizations of their projective covers. The categorical equation "strongly unital = unital + subtractive" is explored: this leads to proofs of their varietal characterizations in terms of the categorical properties of the corresponding algebraic theories.


title: Optimal control of information epidemics modeled as Maki Thompson rumors

abstract: We model the spread of information in a homogeneously mixed population using the Maki Thompson rumor model. We formulate an optimal control problem, from the perspective of single campaigner, to maximize the spread of information when the campaign budget is fixed. Control signals, such as advertising in the mass media, attempt to convert ignorants and stiflers into spreaders. We show the existence of a solution to the optimal control problem when the campaigning incurs non-linear costs under the isoperimetric budget constraint. The solution employs Pontryagin's Minimum Principle and a modified version of forward backward sweep technique for numerical computation to accommodate the isoperimetric budget constraint. The techniques developed in this paper are general and can be applied to similar optimal control problems in other areas. We have allowed the spreading rate of the information epidemic to vary over the campaign duration to model practical situations when the interest level of the population in the subject of the campaign changes with time. The shape of the optimal control signal is studied for different model parameters and spreading rate profiles. We have also studied the variation of the optimal campaigning costs with respect to various model parameters. Results indicate that, for some model parameters, significant improvements can be achieved by the optimal strategy compared to the static control strategy. The static strategy respects the same budget constraint as the optimal strategy and has a constant value throughout the campaign horizon. This work finds application in election and social awareness campaigns, product advertising, movie promotion and crowdfunding campaigns.


title: The monoid of queue actions

abstract: We investigate the monoid of transformations that are induced by sequences of writing to and reading from a queue storage. We describe this monoid by means of a confluent and terminating semi-Thue system and study some of its basic algebraic properties, e.g., conjugacy. Moreover, we show that while several properties concerning its rational subsets are undecidable, their uniform membership problem is NL-complete. Furthermore, we present an algebraic characterization of this monoid's recognizable subsets. Finally, we prove that it is not Thurston-automatic.


title: An Abstraction of Whitney's Broken Circuit Theorem

abstract: We establish a broad generalization of Whitney's broken circuit theorem on the chromatic polynomial of a graph to sums of type $\sum_{A\subseteq S} f(A)$ where $S$ is a finite set and $f$ is a mapping from the power set of $S$ into an abelian group. We give applications to the domination polynomial and the subgraph component polynomial of a graph, the chromatic polynomial of a hypergraph, the characteristic polynomial and Crapo's beta invariant of a matroid, and the principle of inclusion-exclusion. Thus, we discover several known and new results in a concise and unified way. As further applications of our main result, we derive a new generalization of the maximums-minimums identity and of a theorem due to Blass and Sagan on the M\"obius function of a finite lattice, which generalizes Rota's crosscut theorem. For the classical M\"obius function, both Euler's totient function and its Dirichlet inverse, and the reciprocal of the Riemann zeta function we obtain new expansions involving the greatest common divisor resp. least common multiple. We finally establish an even broader generalization of Whitney's broken circuit theorem in the context of convex geometries (antimatroids).


title: Causal study of Network Performance

abstract: The use of Internet in the every day life has pushed its evolution in a very fast way. The heterogeneity of the equipments supporting its networks, as well as the different devices from which it can be accessed, have participated in increasing the complexity of understanding its global behavior and performance. In our study we propose a new method for studying the performance of TCP protocol based on causal graphs. Causal graphs offer models easy to interpret and use. They highlight the structural model of the system they represent and give us access to the causal dependences between the different parameters of the system. One of the major contribution of causal graphs is their ability to predict the effects of an intervention from observations made before this intervention.


title: Superconducting Transitions in Flat Band Systems

abstract: The physics of strongly correlated quantum particles within a flat band was originally explored as a route to itinerant ferromagnetism and, indeed, a celebrated theorem by Lieb rigorously establishes that the ground state of the repulsive Hubbard model on a bipartite lattice with unequal number of sites in each sublattice must have nonzero spin S at half-filling. Recently, there has been interest in Lieb geometries due to the possibility of novel topological insulator, nematic, and Bose-Einstein condensed (BEC) phases. In this paper, we extend the understanding of the attractive Hubbard model on the Lieb lattice by using Determinant Quantum Monte Carlo to study real space charge and pair correlation functions not addressed by the Lieb theorems.


title: Direction-sensitive transverse velocity measurement by phase-modulated structured light beams

abstract: The use of structured light beams to detect the velocity of targets moving perpendicularly to the beam's propagation axis opens new avenues for remote sensing of moving objects. However, determining the direction of motion is still a challenge since detection is usually done by means of an interferometric setup which only provides an absolute value of the frequency shift. Here, we put forward a novel method that addresses this issue. It uses dynamic control of the phase in the transverse plane of the structured light beam so that the direction of the particles' movement can be deduced. This is done by noting the change in the magnitude of the frequency shift as the transverse phase of the structured light is moved appropriately. We demonstrate our method with rotating micro-particles that are illuminated by a Laguerre-Gaussian beam with a rotating phase about its propagation axis. Our method, which only requires a dynamically configurable optical beam generator, can easily be used with other types of motion by appropriate engineering and dynamic modulation of the phase of the light beam.


title: Quantum-mechanical calculation of ionization potential lowering in dense plasmas

abstract: The charged environment within a dense plasma leads to the phenomenon of ionization potential depression (IPD) for ions embedded in the plasma. Accurate predictions of the IPD effect are of crucial importance for modeling atomic processes occurring within dense plasmas. Several theoretical models have been developed to describe the IPD effect, with frequently discrepant predictions. Only recently, first experiments on IPD in Al plasma have been performed with an x-ray free-electron laser (XFEL), where their results were found to be in disagreement with the widely-used IPD model by Stewart and Pyatt. Another experiment on Al, at the Orion laser, showed disagreement with the model by Ecker and Kr\"oll. This controversy shows a strong need for a rigorous and consistent theoretical approach to calculate the IPD effect. Here we propose such an approach: a two-step Hartree-Fock-Slater model. With this parameter-free model we can accurately and efficiently describe the experimental Al data and validate the accuracy of standard IPD models. Our model can be a useful tool for calculating atomic properties within dense plasmas with wide-ranging applications to studies on warm dense matter, shock experiments, planetary science, inertial confinement fusion and studies of non-equilibrium plasmas created with XFELs.


title: From Nash to Cournot-Nash equilibria via the Monge-Kantorovich problem

abstract: The notion of Nash equilibria plays a key role in the analysis of strategic interactions in the framework of $N$ player games. Analysis of Nash equilibria is however a complex issue when the number of players is large. In this article we emphasize the role of optimal transport theory in: 1) the passage from Nash to Cournot-Nash equilibria as the number of players tends to infinity, 2) the analysis of Cournot-Nash equilibria.


title: Conservation of the spin and orbital angular momenta in electromagnetism

abstract: We review and re-examine the description and separation of the spin and orbital angular momenta (AM) of an electromagnetic field in free space. While the spin and orbital AM of light are not separately-meaningful physical quantities in orthodox quantum mechanics or classical field theory, these quantities are routinely measured and used for applications in optics. A meaningful quantum description of the spin and orbital AM of light was recently provided by several authors, which describes separately conserved and measurable integral values of these quantities. However, the electromagnetic field theory still lacks corresponding locally-conserved spin and orbital AM currents. In this paper, we construct these missing spin and orbital AM densities and fluxes that satisfy the proper continuity equations. We show that these are physically measurable and conserved quantities. These are, however, not Lorentz-covariant, so only make sense in the single laboratory reference frame of the measurement probe. The fluxes we derive improve the canonical (non-conserved) spin and orbital AM fluxes, and include a `spin-orbit' term that describes the spin-orbit interaction effects observed in nonparaxial optical fields. We also consider both standard and dual-symmetric versions of the electromagnetic field theory. Applying the general theory to nonparaxial optical vortex beams validates our results and allows us to discriminate between earlier approaches to the problem. Our treatment yields the complete and consistent description of the spin and orbital AM of free Maxwell fields in both quantum-mechanical and field-theory approaches.


title: Ion-molecule reactions involving HCO$^+$ and N$_2$H$^+$: Isotopologue equilibria from new theoretical calculations and consequences for interstellar isotope fractionation

abstract: $Aims$: We revisit with new augmented accuracy the theoretical dynamics of basic isotope exchange reactions involved in the $^{12}$C/$^{13}$C, $^{16}$O/$^{18}$O, and $^{14}$N/$^{15}$N balance because these reactions have already been studied experimentally in great detail. $Methods$: Electronic structure methods were employed to explore potential energy surfaces, full-dimensional rovibrational calculations to compute rovibrational energy levels that are numerically exact, and chemical network models to estimate the abundance ratios under interstellar conditions. $Results$: New exothermicities, derived for HCO$^+$ reacting with CO, provide rate coefficients markedly different from previous theoretical values in particular at low temperatures, resulting in new abundance ratios relevant for carbon chemistry networks. In concrete terms, we obtain a reduction in the abundance of H$^{12}$C$^{18}$O$^+$ and an increase in the abundance of H$^{13}$C$^{16}$O$^+$ and D$^{13}$C$^{16}$O$^+$. In all studied cases, the reaction of the ion with a neutral polarizable molecule proceeds through the intermediate proton-bound complex found to be very stable. For the complexes OCH$^+$...CO, OCH$^+$...OC, COHOC$^+$, N$_2$...HCO$^+$, N$_2$H$^+$...OC, and N$_2$HN$_2^+$, we also calculated vibrational frequencies and dissociation energies. $Conclusions$: The linear proton-bound complexes possess sizeable dipole moments, which may facilitate their detection.


title: Simultaneous Investigation of Ultrafast Structural Dynamics and Transient Electric Field by Sub-picosecond Electron Pulses

abstract: The ultrafast structure dynamics and surface transient electric field, which are concurrently induced by laser excited electrons of an aluminum nanofilm, have been investigated simultaneously by the same transmission electron diffraction patterns. These two processes are found to be significantly different and distinguishable by tracing the time dependent changes of electron diffraction and deflection angles, respectively. This study also provides a practical means to evaluate simultaneously the effect of transient electric field during the study of structural dynamics under low pump fluence by transmission ultrafast electron diffraction.


title: Border Basis relaxation for polynomial optimization

abstract: A relaxation method based on border basis reduction which improves the efficiency of Lasserre's approach is proposed to compute the optimum of a polynomial function on a basic closed semi algebraic set. A new stopping criterion is given to detect when the relaxation sequence reaches the minimum, using a sparse flat extension criterion. We also provide a new algorithm to reconstruct a finite sum of weighted Dirac measures from a truncated sequence of moments, which can be applied to other sparse reconstruction problems. As an application, we obtain a new algorithm to compute zero-dimensional minimizer ideals and the minimizer points or zero-dimensional G-radical ideals. Experimentations show the impact of this new method on significant benchmarks.


title: Order-by-disorder and spin-orbital liquids in a distorted Heisenberg-Kitaev model

abstract: The microscopic modeling of spin-orbit entangled $j=1/2$ Mott insulators such as the layered hexagonal Iridates Na$_2$IrO$_3$ and Li$_2$IrO$_3$ has spurred an interest in the physics of Heisenberg-Kitaev models. Here we explore the effect of lattice distortions on the formation of the collective spin-orbital states which include not only conventionally ordered phases but also gapped and gapless spin-orbital liquids. In particular, we demonstrate that in the presence of spatial anisotropies of the exchange couplings conventionally ordered states are formed through an order-by-disorder selection which is not only sensitive to the type of exchange anisotropy but also to the relative strength of the Heisenberg and Kitaev couplings. The spin-orbital liquid phases of the Kitaev limit -- a gapless phase in the vicinity of spatially isotropic couplings and a gapped Z$_2$ phase for a dominant spatial anisotropy of the exchange couplings -- show vastly different sensitivities to the inclusion of a Heisenberg exchange. While the gapless phase is remarkably stable, the gapped Z$_2$ phase quickly breaks down in what might be a rather unconventional phase transition driven by the simultaneous condensation of its elementary excitations.


title: Eichler-Selberg Type Identities for Mixed Mock Modular Forms

abstract: Using holomorphic projection, we work out a parametrization for all relations of products (resp. Rankin-Cohen brackets) of weight $\tfrac 32$ mock modular forms with holomorphic shadow and weight $\tfrac 12$ modular forms in the spirit of the Kronecker-Hurwitz class number relations. In particular we obtain new proofs for several class number relations among which some are classical, others are relatively new. We also obtain similar results for the mock theta functions.


title: Boundary quantum Knizhnik-Zamolodchikov equations and fusion

abstract: In this paper we extend our previous results concerning Jackson integral solutions of the boundary quantum Knizhnik-Zamolodchikov equations with diagonal K-operators to higher-spin representations of quantum affine $\mathfrak{sl}_2$. First we give a systematic exposition of known results on $R$-operators acting in the tensor product of evaluation representations in Verma modules over quantum $\mathfrak{sl}_2$. We develop the corresponding fusion of $K$-operators, which we use to construct diagonal $K$-operators in these representations. We construct Jackson integral solutions of the associated boundary quantum Knizhnik-Zamolodchikov equations and explain how in the finite-dimensional case they can be obtained from our previous results by the fusion procedure.


title: Unconditionality of orthogonal spline systems in $H^1$

abstract: We give a simple geometric characterization of knot sequences for which the corresponding orthonormal spline system of arbitrary order $k$ is an unconditional basis in the atomic Hardy space $H^1[0,1]$.


title: Spectral Triples on Carnot Manifolds

abstract: We analyze whether one can construct a spectral triple for a Carnot manifold $M$, which detects its Carnot-Carath\'{e}odory metric and its graded dimension. Therefore we construct self-adjoint horizontal Dirac operators $D^H$ and show that each horizontal Dirac operator detects the metric via Connes' formula, but we also find that in no case these operators are hypoelliptic, which means they fail to have a compact resolvent. First we consider an example on compact Carnot nilmanifolds in detail, where we present a construction for a horizontal Dirac operator arising via pullback from the Dirac operator on the torus. Following an approach by Christian B\"ar to decompose the horizontal Clifford bundle, we detect that this operator has an infinite dimensional kernel. But in spite of this, in the case of Heisenberg nilmanifolds we will be able to discover the graded dimension from the asymptotic behavior of the eigenvalues of this horizontal Dirac operator. Afterwards we turn to the general case, showing that any horizontal Dirac operator fails to be hypoelliptic. Doing this, we develop a criterion from which hypoellipticity of certain graded differential operators can be excluded by considering the situation on a Heisenberg manifold, for which a complete characterization of hypoellipticity in known by the Rockland condition. Finally, we show how spectral triples can be constructed from horizontal Laplacians via the Heisenberg pseudodifferential calculus developed by Richard Beals and Peter Greiner. We suggest a few of these constructions, and discuss under which assumptions it may be possible to get an equivalent metric to the Carnot-Carath\'{e}odory metric from these operators. In addition, we mention a formula by which the Carnot-Carath\'{e}odory metric can be detected from arbitrary horizontal Laplacians.


title: Inducing chaos by breaking axial symmetry in a black hole magnetosphere

abstract: While the motion of particles near a rotating, electrically-neutral (Kerr), and charged (Kerr--Newman) black hole is always strictly regular, a perturbation in the gravitational or the electromagnetic field generally leads to chaos. The transition from regular to chaotic dynamics is relatively gradual if the system preserves axial symmetry, whereas non-axisymmetry induces chaos more efficiently. Here we study the development of chaos in an oblique (electro-vacuum) magnetosphere of a magnetized black hole. Besides the strong gravity of the massive source represented by the Kerr metric we consider the presence of a weak, ordered, large-scale magnetic field. An axially-symmetric model consisting of a rotating black hole embedded in an aligned magnetic field is generalized by allowing an oblique direction of the field having a general inclination, with respect to the rotation axis of the system. The inclination of the field acts as an additional perturbation to the motion of charged particles as it breaks the axial symmetry of the system and cancels the related integral of motion. The axial component of angular momentum is no longer conserved and the resulting system thus has three degrees of freedom. Our primary concern within this contribution is to find out how sensitive the system of bound particles is to the inclination of the field. We employ the method of the maximal Lyapunov exponent to distinguish between regular and chaotic orbits and to quantify their chaoticity. We find that even a small misalignment induces chaotic motion.


title: Baryonic R-parity violation and its running

abstract: Baryonic R-parity violation arises naturally once Minimal Flavor Violation (MFV) is imposed on the supersymmetric flavor sector at the low scale. At the same time, the yet unknown flavor dynamics behind MFV could take place at a very high scale. In this paper, we analyze the renormalization group (RG) evolution of this scenario. We find that low-scale MFV is systematically reinforced through the evolution, with the R-parity violating couplings exhibiting infrared fixed points. Intriguingly, we also find that if holomorphy is imposed on MFV at some scale, it is preserved by the RG evolution. Furthermore, low-scale holomorphy is a powerful infrared attractor for a large class of non-holomorphic scenarios. Therefore, supersymmetry with minimally flavor violating baryon number violation at the low scale, especially in the holomorphic case but not only, is viable and resilient under the RG evolution, and should constitute a leading contender for the physics beyond the Standard Model waiting to be discovered at the LHC.


title: A reduced fast component-by-component construction of lattice points for integration in weighted spaces with fast decreasing weights

abstract: Lattice rules and polynomial lattice rules are quadrature rules for approximating integrals over the $s$-dimensional unit cube. Since no explicit constructions of such quadrature methods are known for dimensions $s > 2$, one usually has to resort to computer search algorithms. The fast component-by-component approach is a useful algorithm for finding suitable quadrature rules. We present a modification of the fast component-by-component algorithm which yields savings of the construction cost for (polynomial) lattice rules in weighted function spaces. The idea is to reduce the size of the search space for coordinates which are associated with small weights and are therefore of less importance to the overall error compared to coordinates associated with large weights. We analyze tractability conditions of the resulting QMC rules. Numerical results demonstrate the effectiveness of our method.


title: Experimental demonstration of a graph state quantum error-correction code

abstract: Scalable quantum computing and communication requires the protection of quantum information from the detrimental effects of decoherence and noise. Previous work tackling this problem has relied on the original circuit model for quantum computing. However, recently a family of entangled resources known as graph states has emerged as a versatile alternative for protecting quantum information. Depending on the graph's structure, errors can be detected and corrected in an efficient way using measurement-based techniques. In this article we report an experimental demonstration of error correction using a graph state code. We have used an all-optical setup to encode quantum information into photons representing a four-qubit graph state. We are able to reliably detect errors and correct against qubit loss. The graph we have realized is setup independent, thus it could be employed in other physical settings. Our results show that graph state codes are a promising approach for achieving scalable quantum information processing.


title: Non-Fermi liquid manifold in a Majorana device

abstract: We propose and study a setup realizing a stable manifold of non-Fermi liquid states. The device consists of a mesoscopic superconducting island hosting $N \ge 3$ Majorana bound states tunnel-coupled to normal leads, with a Josephson contact to a bulk superconductor. We find a nontrivial interplay between multi-channel Kondo and resonant Andreev reflection processes, which results in the fixed point manifold. The scaling dimension of the leading irrelevant perturbation changes continuously within the manifold and determines the power-law scaling of the temperature dependent conductance.


title: Phenomenological picture of fluctuations in branching random walks

abstract: We propose a picture of the fluctuations in branching random walks, which leads to predictions for the distribution of a random variable that characterizes the position of the bulk of the particles. We also interpret the $1/\sqrt{t}$ correction to the average position of the rightmost particle of a branching random walk for large times $t\gg 1$, computed by Ebert and Van Saarloos, as fluctuations on top of the mean-field approximation of this process with a Brunet-Derrida cutoff at the tip that simulates discreteness. Our analytical formulas successfully compare to numerical simulations of a particular model of branching random walk.


title: Polar Codes for Distributed Hierarchical Source Coding

abstract: We show that polar codes can be used to achieve the rate-distortion functions in the problem of hierarchical source coding also known as the successive refinement problem. We also analyze the distributed version of this problem, constructing a polar coding scheme that achieves the rate distortion functions for successive refinement with side information.


title: Search for light massive gauge bosons as an explanation of the $(g-2)_\mu$ anomaly at MAMI

abstract: A massive, but light abelian U(1) gauge boson is a well motivated possible signature of physics beyond the Standard Model of particle physics. In this paper, the search for the signal of such a U(1) gauge boson in electron-positron pair-production at the spectrometer setup of the A1 Collaboration at the Mainz Microtron (MAMI) is described. Exclusion limits in the mass range of 40 MeV up to 300 MeV with a sensitivity in the mixing parameter of down to $\epsilon^2 = 8\times 10^{-7}$ are presented. A large fraction of the parameter space has been excluded where the discrepancy of the measured anomalous magnetic moment of the muon with theory might be explained by an additional U(1) gauge boson.


title: Cross-Correlation of Cosmic Shear and Extragalactic Gamma-ray Background: Constraints on the Dark Matter Annihilation Cross-Section

abstract: We present the first measurement of the cross-correlation of weak gravitational lensing and the extragalactic gamma-ray background emission using data from the Canada-France-Hawaii Lensing Survey and the Fermi Large Area Telescope. The cross-correlation is a powerful probe of signatures of dark matter annihilation, because both cosmic shear and gamma-ray emission originate directly from the same DM distribution in the universe, and it can be used to derive constraints on dark matter annihilation cross-section. We show that the measured lensing-gamma correlation is consistent with a null signal. Comparing the result to theoretical predictions, we exclude dark matter annihilation cross sections of <sigma v> =10^{-24}-10^{-25} cm^3 s^-1 for a 100 GeV dark matter. If dark matter halos exist down to the mass scale of 10^-6 M_sun, we are able to place constraints on the thermal cross sections <sigma v> ~ 3 x 10^{-26} cm^3 s^-1 for a 10 GeV dark matter annihilation into tau^{+} tau^{-}. Future gravitational lensing surveys will increase sensitivity to probe annihilation cross sections of <sigma v> ~ 5 x 10^{-26} cm^3 s^-1 even for a 100 GeV dark matter. Detailed modeling of the contributions from astrophysical sources to the cross correlation signal could further improve the constraints by ~ 40-70 %.


title: Single-shot fault-tolerant quantum error correction

abstract: Conventional quantum error correcting codes require multiple rounds of measurements to detect errors with enough confidence in fault-tolerant scenarios. Here I show that for suitable topological codes a single round of local measurements is enough. This feature is generic and is related to self-correction and confinement phenomena in the corresponding quantum Hamiltonian model. 3D gauge color codes exhibit this single-shot feature, which applies also to initialization and gauge-fixing. Assuming the time for efficient classical computations negligible, this yields a topological fault-tolerant quantum computing scheme where all elementary logical operations can be performed in constant time.


title: Pickands' constant $H_{\alpha}$ does not equal $1/\Gamma(1/\alpha)$, for small $\alpha$

abstract: Pickands' constants $H_{\alpha}$ appear in various classical limit results about tail probabilities of suprema of Gaussian processes. It is an often quoted conjecture that perhaps $H_{\alpha} = 1/\Gamma(1/\alpha)$ for all $0 < \alpha \leq 2$, but it is also frequently observed that this doesn't seem compatible with evidence coming from simulations. We prove the conjecture is false for small $\alpha$, and in fact that $H_{\alpha} \geq (1.1527)^{1/\alpha}/\Gamma(1/\alpha)$ for all sufficiently small $\alpha$. The proof is a refinement of the "conditioning and comparison" approach to lower bounds for upper tail probabilities, developed in a previous paper of the author. Some calculations of hitting probabilities for Brownian motion are also involved.


title: VLBI Observations of H2O Maser Annual Parallax and Proper Motion in IRAS 20143+3634: Reflection on the Galactic Constants

abstract: We report the results of VLBI observations of H$_{2}$O masers in the IRAS 20143+3634 star forming region using VERA (VLBI Exploration of Radio Astronomy). By tracking masers for a period of over two years we measured a trigonometric parallax of $\pi = 0.367 \pm 0.037$ mas, corresponding to a source distance of $D = 2.72 ^{+0.31}_{-0.25}$ kpc and placing it in the Local spiral arm. Our trigonometric distance is just 60% of the previous estimation based on radial velocity, significantly impacting the astrophysics of the source. We measured proper motions of $-2.99 \pm 0.16$ mas yr$^{-1}$ and $-4.37 \pm 0.43$ mas yr$^{-1}$ in R.A. and Decl. respectively, which were used to estimate the peculiar motion of the source as $(U_{s},V_{s},W_{s}) = (-0.9 \pm 2.9, -8.5 \pm 1.6, +8.0 \pm 4.3)$ km s$^{-1}$ for $R_0=8$ kpc and $\Theta_0=221$ km s$^{-1}$, and $(U_{s},V_{s},W_{s}) = (-1.0 \pm 2.9, -9.3 \pm 1.5, +8.0 \pm 4.3)$ km s$^{-1}$ for $R_0=8.5$ kpc and $\Theta_0=235$ km s$^{-1}$. IRAS 20143+3634 was found to be located near the tangent point in the Cygnus direction. Using our observations we derived the angular velocity of Galactic rotation of the local standard of rest (LSR), $\Omega_{0} = 27.3 \pm 1.6$ km s$^{-1}$ kpc$^{-1}$, which is consistent with previous values derived using VLBI astrometry of SFRs at the tangent points and Solar circle. It is higher than the value recommended by the IAU of $\Omega_{0} = 25.9$ km s$^{-1}$ kpc$^{-1}$ which was calculated using the Galactocentric distance of the Sun and circular velocity of the LSR.


title: Strong Converse and Second-Order Asymptotics of Channel Resolvability

abstract: We study the problem of channel resolvability for fixed i.i.d. input distributions and discrete memoryless channels (DMCs), and derive the strong converse theorem for any DMCs that are not necessarily full rank. We also derive the optimal second-order rate under a condition. Furthermore, under the condition that a DMC has the unique capacity achieving input distribution, we derive the optimal second-order rate of channel resolvability for the worst input distribution.


title: Discovery of new magnetic early-B stars within the MiMeS HARPSpol survey

abstract: To understand the origin of the magnetic fields in massive stars as well as their impact on stellar internal structure, evolution, and circumstellar environment, within the MiMeS project, we searched for magnetic objects among a large sample of massive stars, and build a sub-sample for in-depth follow-up studies required to test the models and theories of fossil field origins, magnetic wind confinement and magnetospheric properties, and magnetic star evolution. We obtained high-resolution spectropolarimetric observations of a large number of OB stars thanks to three large programs that have been allocated on the high-resolution spectropolarimeters ESPaDOnS, Narval, and the polarimetric module HARPSpol of the HARPS spectrograph. We report here on the methods and first analysis of the HARPSpol magnetic detections. We identified the magnetic stars using a multi-line analysis technique. Then, when possible, we monitored the new discoveries to derive their rotation periods, which are critical for follow-up and magnetic mapping studies. We also performed a first-look analysis of their spectra and identified obvious spectral anomalies (e.g., abundance peculiarities, Halpha emission), which are also of interest for future studies. In this paper, we focus on eight of the 11 stars in which we discovered or confirmed a magnetic field from the HARPSpol LP sample (the remaining three were published in a previous paper). Seven of the stars were detected in early-type Bp stars, while the last star was detected in the Ap companion of a normal early B-type star. We report obvious spectral and multiplicity properties, as well as our measurements of their longitudinal field strengths, and their rotation periods when we are able to derive them. We also discuss the presence or absence of Halpha emission with respect to the theory of centrifugally-supported magnetospheres. (Abriged)


title: A Global Version of a Classical Result of Joachimsthal

abstract: A classical result attributed to Joachimsthal in 1846 states that if two surfaces intersect with constant angle along a line of curvature of one surface, then the curve of intersection is also a line of curvature of the other surface. In this note we prove a global analogue of this result, as follows. Suppose that two closed convex surfaces intersect with constant angle along a curve that is not umbilic in either surface. We prove that the principal foliations of the two surfaces along the curve are either both orientable, or both non-orientable. We prove this by characterizing the constant angle intersection of two surfaces in Euclidean 3-space as the intersection of a surface and a hypersurface in the space of oriented lines. The surface is Lagrangian, while the hypersurface is null, with respect to the canonical neutral Kaehler structure. We establish a relationship between the principal directions of the two surfaces along the intersection curve in Euclidean space, which yields the result. This method of proof is motivated by topology and, in particular, the slice problem for curves in the boundary of a 4-manifold.


title: Toward Online Mobile Facility Location on General Metrics

abstract: We introduce an online variant of mobile facility location (MFL) (introduced by Demaine et al. [SODA' 07]). We call this new problem online mobile facility location (OMFL). In the OMFL problem, initially, we are given a set of $k$ mobile facilities with their starting locations. One by one, requests are added. After each request arrives, one can make some changes to the facility locations before the subsequent request arrives. Each request is always assigned to the nearest facility. The cost of this assignment is the distance from the request to the facility. The objective is to minimize the total cost, which consists of the relocation cost of facilities and the distance cost of requests to their nearest facilities. We provide a lower bound for the OMFL problem that even holds on uniform metrics. A natural approach to solve the OMFL problem for general metric spaces is to utilize hierarchically well-separated trees (HSTs) and directly solve the OMFL problem on HSTs. In this paper, we provide the first step in this direction by solving a generalized variant of the OMFL problem on uniform metrics that we call G-OMFL. We devise a simple deterministic online algorithm and provide a tight analysis for the algorithm. The second step remains an open question. Inspired by the $k$-server problem, we introduce a new variant of the OMFL problem that focuses solely on minimizing movement cost. We refer to this variant as M-OMFL. Additionally, we provide a lower bound for M-OMFL that is applicable even on uniform metrics.


title: Coactive Learning for Locally Optimal Problem Solving

abstract: Coactive learning is an online problem solving setting where the solutions provided by a solver are interactively improved by a domain expert, which in turn drives learning. In this paper we extend the study of coactive learning to problems where obtaining a globally optimal or near-optimal solution may be intractable or where an expert can only be expected to make small, local improvements to a candidate solution. The goal of learning in this new setting is to minimize the cost as measured by the expert effort over time. We first establish theoretical bounds on the average cost of the existing coactive Perceptron algorithm. In addition, we consider new online algorithms that use cost-sensitive and Passive-Aggressive (PA) updates, showing similar or improved theoretical bounds. We provide an empirical evaluation of the learners in various domains, which show that the Perceptron based algorithms are quite effective and that unlike the case for online classification, the PA algorithms do not yield significant performance gains.


title: Comment on Magnetohydrodynamic non-Darcy mixed convection heat transfer from a vertical heated plate embedded in a porous medium with variable porosity, by Dulal Pal

abstract: In the above paper the author treats the boundary layer flow along a vertical flat plate, immersed in a Darcy Brinkman Forchheimer porous medium. The porosity and the permeability of the porous medium are variable across the boundary layer. In addition a magnetic field with constant strength is applied normal to the plate. The fluid temperature at the plate is constant and different from that of the ambient fluid. This temperature difference creates a buoyancy force and the flow is characterized as mixed convection. The partial differential equations of the boundary layer flow are transformed into ordinary differential equations and subsequently are solved with the Runge-Kutta Fehlberg method. The results are presented in two tables and 11 figures.


title: The condensation phase transition in random graph coloring

abstract: Based on a non-rigorous formalism called the "cavity method", physicists have put forward intriguing predictions on phase transitions in discrete structures. One of the most remarkable ones is that in problems such as random $k$-SAT or random graph $k$-coloring, very shortly before the threshold for the existence of solutions there occurs another phase transition called "condensation" [Krzakala et al., PNAS 2007]. The existence of this phase transition appears to be intimately related to the difficulty of proving precise results on, e.g., the $k$-colorability threshold as well as to the performance of message passing algorithms. In random graph $k$-coloring, there is a precise conjecture as to the location of the condensation phase transition in terms of a distributional fixed point problem. In this paper we prove this conjecture for $k$ exceeding a certain constant $k_0$.


title: The COS/UVES Absorption Survey of the Magellanic Stream. III: Ionization, Total Mass, and Inflow Rate onto the Milky Way

abstract: Dynamic interactions between the two Magellanic Clouds have flung large quantities of gas into the halo of the Milky Way, creating the Magellanic Stream, the Magellanic Bridge, and the Leading Arm (collectively referred to as the Magellanic System). In this third paper of a series studying the Magellanic gas in absorption, we analyze the gas ionization level using a sample of 69 Hubble Space Telescope/Cosmic Origins Spectrograph sightlines that pass through or within 30 degrees of the 21 cm-emitting regions. We find that 81% (56/69) of the sightlines show UV absorption at Magellanic velocities, indicating that the total cross section of the Magellanic System is ~11 000 square degrees, or around a quarter of the entire sky. Using observations of the Si III/Si II ratio together with Cloudy photoionization modeling, we calculate that the total mass (atomic plus ionized) of the Magellanic System is ~2.0 billion solar masses, with the ionized gas contributing over twice as much mass as the atomic gas. This is larger than the current-day interstellar H I mass of both Magellanic Clouds combined, indicating that they have lost most of their initial gas mass. If the gas in the Magellanic System survives to reach the Galactic disk over its inflow time of ~0.5-1.5 Gyr, it will represent an average inflow rate of ~3.7-6.7 solar masses per year, potentially raising the Galactic star formation rate. However, multiple signs of an evaporative interaction with the hot Galactic corona indicate that the Stream may not survive its journey to the disk fully intact, and will instead add material to (and cool) the corona.


title: An Algorithm for Detecting Fixed Points of Boolean Networks

abstract: In the applications of Boolean networks to modeling biological systems, an important computational problem is the detection of the fixed points of these networks. This is an NP-complete problem in general. There have been various attempts to develop algorithms to address the computation need for large size Boolean networks. The existing methods are usually based on known algorithms and thus limited to the situations where these known algorithms can apply. In this paper, we propose a novel approach to this problem. We show that any system of Boolean equations is equivalent to one Boolean equation, and thus it is possible to divide the polynomial equation system which defines the fixed points of a Boolean network into subsystems that can be solved easily. After solving these subsystems and thus reducing the number of states, we can combine the solutions to obtain all fixed points of the given network. This approach does not depend on other algorithms and it is straightforward and easy to implement. We show that our method can handle large size Boolean networks, and demonstrate its effectiveness by using MAPLE to compute the fixed points of Boolean networks with hundreds of nodes and thousands of interactions.


title: Boolean Networks with Multi-Expressions and Parameters

abstract: To model biological systems using networks, it is desirable to allow more than two levels of expression for the nodes and to allow the introduction of parameters. Various modeling and simulation methods addressing these needs using Boolean models, both synchronous and asynchronous, have been proposed in the literature. However, analytical study of these more general Boolean networks models is lagging. This paper aims to develop a concise theory for these different Boolean logic based modeling methods. Boolean models for networks where each node can have more than two levels of expression and Boolean models with parameters are defined algebraically with examples provided. Certain classes of random asynchronous Boolean networks and deterministic moduli asynchronous Boolean networks are investigated in detail using the setting introduced in this paper. The derived theorems provide a clear picture for the attractor structures of these asynchronous Boolean networks.


title: Influence of spatially varying pseudo-magnetic field on a 2D electron gas in graphene

abstract: The effect of a varying pseudo-magnetic field, which falls as $1/x^2$, on a two dimensional electron gas in graphene is investigated. By considering the second order Dirac equation, we show that its correct general solution is that which might present singular wavefunctions since such field induced by elastic deformations diverges as $x\rightarrow0$. We show that only this consideration yields the known relativistic Landau levels when we remove such elastic field. We have observed that the zero Landau level fails to develop for certain values of it. We then speculate about the consequences of these facts to the quantum Hall effect on graphene. We also analyze the changes in the relativistic cyclotron frequency. We hope our work being probed in these contexts, since graphene has great potential for electronic applications.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: Axion monodromy inflation with sinusoidal corrections

abstract: We study the axion monodromy inflation with a non-perturbatively generated sinusoidal term. The potential form is a mixture between the natural inflation and the axion monodromy inflation potentials. The sinusoidal term is subdominant in the potential, but leaves significant effects on the resultant fluctuation generated during inflation. A larger tensor-to-scalar ratio can be obtained in our model. We study two scenarios, single inflation scenario and the double inflation scenario. In the first scenario, the axion monodromy inflation with a sufficient number of e-fold generates a larger tensor-to-scalar ratio about $0.1 - 0.15$ but also a tiny running of spectral index. In the second scenario of double inflation, axion monodromy inflation is its first stage and, we assume another inflation follows. In this case, our model can realize a larger tensor-to-scalar ratio and a large negative running of spectral index simultaneously.


title: Stable Numerical Approximation of Two-Phase Flow with a Boussinesq--Scriven Surface Fluid

abstract: We consider two-phase Navier--Stokes flow with a Boussinesq--Scriven surface fluid. In such a fluid the rheological behaviour at the interface includes surface viscosity effects, in addition to the classical surface tension effects. We introduce and analyze parametric finite element approximations, and show, in particular, stability results for semi-discrete versions of the methods, by demonstrating that a free energy inequality also holds on the discrete level. We perform several numerical simulations for various scenarios in two and three dimensions, which illustrate the effects of the surface viscosity.


title: A Computationally Efficient Limited Memory CMA-ES for Large Scale Optimization

abstract: We propose a computationally efficient limited memory Covariance Matrix Adaptation Evolution Strategy for large scale optimization, which we call the LM-CMA-ES. The LM-CMA-ES is a stochastic, derivative-free algorithm for numerical optimization of non-linear, non-convex optimization problems in continuous domain. Inspired by the limited memory BFGS method of Liu and Nocedal (1989), the LM-CMA-ES samples candidate solutions according to a covariance matrix reproduced from $m$ direction vectors selected during the optimization process. The decomposition of the covariance matrix into Cholesky factors allows to reduce the time and memory complexity of the sampling to $O(mn)$, where $n$ is the number of decision variables. When $n$ is large (e.g., $n$ > 1000), even relatively small values of $m$ (e.g., $m=20,30$) are sufficient to efficiently solve fully non-separable problems and to reduce the overall run-time.


title: Together we stand, Together we fall, Together we win: Dynamic Team Formation in Massive Open Online Courses

abstract: Massive Open Online Courses (MOOCs) offer a new scalable paradigm for e-learning by providing students with global exposure and opportunities for connecting and interacting with millions of people all around the world. Very often, students work as teams to effectively accomplish course related tasks. However, due to lack of face to face interaction, it becomes difficult for MOOC students to collaborate. Additionally, the instructor also faces challenges in manually organizing students into teams because students flock to these MOOCs in huge numbers. Thus, the proposed research is aimed at developing a robust methodology for dynamic team formation in MOOCs, the theoretical framework for which is grounded at the confluence of organizational team theory, social network analysis and machine learning. A prerequisite for such an undertaking is that we understand the fact that, each and every informal tie established among students offers the opportunities to influence and be influenced. Therefore, we aim to extract value from the inherent connectedness of students in the MOOC. These connections carry with them radical implications for the way students understand each other in the networked learning community. Our approach will enable course instructors to automatically group students in teams that have fairly balanced social connections with their peers, well defined in terms of appropriately selected qualitative and quantitative network metrics.


title: On non-conjugate Coxeter elements in well-generated reflection groups

abstract: Given an irreducible well-generated complex reflection group W with Coxeter number h, we call a Coxeter element any regular element (in the sense of Springer) of order h in W; this is a slight extension of the most common notion of Coxeter element. We show that the class of these Coxeter elements forms a single orbit in W under the action of reflection automorphisms. For Coxeter and Shephard groups, this implies that an element c is a Coxeter element if and only if there exists a simple system S of reflections such that c is the product of the generators in S. We moreover deduce multiple further implications of this property. In particular, we obtain that all noncrossing partition lattices of W associated to different Coxeter elements are isomorphic. We also prove that there is a simply transitive action of the Galois group of the field of definition of W on the set of conjugacy classes of Coxeter elements. Finally, we extend several of these properties to Springer's regular elements of arbitrary order.


title: Finitely Generated Nil but Not Nilpotent Evolution Algebra

abstract: To use evolution algebras to model population dynamics that both allow extinction and introduction of certain gametes in finite generations, nilpotency must be built into the algebraic structures of these algebras with the entire algebras not to be nilpotent if the populations are assumed to evolve for a long period of time. To adequately address this need, evolution algebras over rings with nilpotent elements must be considered instead of evolution algebras over fields. This paper develops some criteria, which are computational in nature, about the nilpotency of these algebras, and shows how to construct finitely generated evolution algebras which are nil but not nilpotent.


title: A global convergence result for processive multisite phosphorylation systems

abstract: Multisite phosphorylation plays an important role in intracellular signaling. There has been much recent work aimed at understanding the dynamics of such systems when the phosphorylation/dephosphorylation mechanism is distributive, that is, when the binding of a substrate and an enzyme molecule results in addition or removal of a single phosphate group and repeated binding therefore is required for multisite phosphorylation. In particular, such systems admit bistability. Here we analyze a different class of multisite systems, in which the binding of a substrate and an enzyme molecule results in addition or removal of phosphate groups at all phosphorylation sites. That is, we consider systems in which the mechanism is processive, rather than distributive. We show that in contrast with distributive systems, processive systems modeled with mass-action kinetics do not admit bistability and, moreover, exhibit rigid dynamics: each invariant set contains a unique equilibrium, which is a global attractor. Additionally, we obtain a monomial parametrization of the steady states. Our proofs rely on a technique of Johnston for using "translated" networks to study systems with "toric steady states", recently given sign conditions for injectivity of polynomial maps, and a result from monotone systems theory due to Angeli and Sontag.


title: Global Newton Iteration over Archimedean and non-Archimedean Fields

abstract: In this paper, we study iterative methods on the coefficients of the rational univariate representation (RUR) of a given algebraic set, called global Newton iteration. We compare two natural approaches to define locally quadratically convergent iterations: the first one involves Newton iteration applied to the approximate roots individually and then interpolation to find the RUR of these approximate roots; the second one considers the coefficients in the exact RUR as zeroes of a high dimensional map defined by polynomial reduction, and applies Newton iteration on this map. We prove that over fields with a p-adic valuation these two approaches give the same iteration function, but over fields equipped with the usual Archimedean absolute value, they are not equivalent. In the latter case, we give explicitly the iteration function for both approaches. Finally, we analyze the parallel complexity of the different versions of the global Newton iteration, compare them, and demonstrate that they can be efficiently computed. The motivation for this study comes from the certification of approximate roots of overdetermined and singular polynomial systems via the recovery of an exact RUR from approximate numerical data.


title: Cloud angular momentum and effective viscosity in global SPH simulations with feedback

abstract: We examine simulations of isolated galaxies to analyse the effects of localised feedback on the formation and evolution of molecular clouds. Feedback contributes to turbulence and the destruction of clouds, leading to a population of clouds that is younger, less massive, and with more retrograde rotation. We investigate the evolution of clouds as they interact with each other and the diffuse ISM, and determine that the role of cloud interactions differs strongly with the presence of feedback: in models without feedback, scattering events dramatically increase the retrograde fraction, but in models with feedback, mergers between clouds may slightly increase the prograde fraction. We also produce an estimate of the viscous time-scale due to cloud-cloud collisions, which increases with increasing strength of feedback (~20 Gyr vs ~10 Gyr), but is still much smaller than previous estimates (~1000 Gyr); although collisions become more frequent with feedback, less energy is lost in each collision than in the models without feedback.


title: Boundaries and Defects of N=4 SYM with 4 Supercharges, Part I: Boundary/Junction Conditions

abstract: We consider ${\cal N}=4$ supersymmetric Yang Mills theory on a space with supersymmetry preserving boundary conditions. The boundaries preserving half of the 16 supercharges were analyzed and classified in an earlier work by Gaiotto and Witten. We extend that analysis to the case with fewer supersymmetries, concentrating mainly on the case preserving one quarter. We develop tools necessary to explicitly construct boundary conditions which can be viewed as taking the zero slope limit of a system of D3 branes intersecting and ending on a collection of NS5 and D5 branes oriented to preserve the appropriate number of supersymmetries. We analyze how these boundary conditions constrain the bulk degrees of freedom and enumerate the unconstrained degrees of freedom from the boundary/defect field theory point of view. The key ingredients used in the analysis are a generalized version of Nahm's equations and the explicit boundary/interface conditions for the NS5-like and D5-like impurities and boundaries, which we construct and describe in detail. Some bulk degrees of freedom suggested by the naive brane diagram considerations are lifted.


title: Hybrid Genetic Algorithm for Cloud Computing Applications

abstract: In this paper with the aid of genetic algorithm and fuzzy theory, we present a hybrid job scheduling approach, which considers the load balancing of the system and reduces total execution time and execution cost. We try to modify the standard Genetic algorithm and to reduce the iteration of creating population with the aid of fuzzy theory. The main goal of this research is to assign the jobs to the resources with considering the VM MIPS and length of jobs. The new algorithm assigns the jobs to the resources with considering the job length and resources capacities. We evaluate the performance of our approach with some famous cloud scheduling models. The results of the experiments show the efficiency of the proposed approach in term of execution time, execution cost and average Degree of Imbalance (DI).


title: Nature's software

abstract: I bring forward some arguments to support the thesis that nature is fundamentally discrete, and present my own thoughts about the direction in which one could look for a possible, consistent "theory of everything" describing gravitation and quantum particles.


title: First result of the experimental search for the 2K-capture of Xe-124 with the copper proportional counter

abstract: First result of experiment for searching of 2K-capture of Xe-124 with the large-volume copper proportional counter is given. The 12 litre sample with 63.3% (44 g) of Xe-124 was used in measurements. The limit on the half-life of Xe-124 with regard to 2K(2\nu)-capture for the ground state of Te-124 has been found: T_{1/2} > 4.67x10^{20} y (90% C.L.). A sample with volume 52 L comprising of Xe-124 (10.6 L - 58.6 g) and Xe-126 (14.1 L - 79.3 g) will used at the next step of the experiment to increase a sensitivity of 2K-caption of Xe-124 registration. In this case sensitivity to the investigated process will be at the level of S=1.46 x 10^{21} y (90% C.L.) for 1 year measurement.


title: A non-increasing Lindley-type equation

abstract: In this paper we study the Lindley-type equation $W=\max\{0, B - A - W\}$. Its main characteristic is that it is a non-increasing monotone function in its main argument $W$. Our main goal is to derive a closed-form expression of the steady-state distribution of $W$. In general this is not possible, so we shall state a sufficient condition that allows us to do so. We also examine stability issues, derive the tail behaviour of $W$, and briefly discuss how one can iteratively solve this equation by using a contraction mapping.


title: Exact solution to a Lindley-type equation on a bounded support

abstract: We derive the limiting waiting-time distribution $F_W$ of a model described by the Lindley-type equation $W=\max\{0, B - A - W\}$, where $B$ has a polynomial distribution. This exact solution is applied to derive approximations of $F_W$ when $B$ is generally distributed on a finite support. We provide error bounds for these approximations.


title: A Lindley-type equation arising from a carousel problem

abstract: In this paper we consider a system with two carousels operated by one picker. The items to be picked are randomly located on the carousels and the pick times follow a phase-type distribution. The picker alternates between the two carousels, picking one item at a time. Important performance characteristics are the waiting time of the picker and the throughput of the two carousels. The waiting time of the picker satisfies an equation very similar to Lindley's equation for the waiting time in the PH/U/1 queue. Although the latter equation has no simple solution, we show that the one for the waiting time of the picker can be solved explicitly. Furthermore, it is well known that the mean waiting time in the PH/U/1 queue depends on to the complete interarrival time distribution, but numerical results show that, for the carousel system, the mean waiting time and throughput are rather insensitive to the pick-time distribution.


title: An alternating service problem

abstract: We consider a system consisting of a server alternating between two service points. At both service points there is an infinite queue of customers that have to undergo a preparation phase before being served. We are interested in the waiting time of the server. The waiting time of the server satisfies an equation very similar to Lindley's equation for the waiting time in the GI/G/1 queue. We will analyse this Lindley-type equation under the assumptions that the preparation phase follows a phase-type distribution while the service times have a general distribution. If we relax the condition that the server alternates between the service points, then the model turns out to be the machine repair problem. Although the latter is a well-known problem, the distribution of the waiting time of the server has not been studied yet. We shall derive this distribution under the same setting and we shall compare the two models numerically. As expected, the waiting time of the server is on average smaller in the machine repair problem than in the alternating service system, but they are not stochastically ordered.


title: Abstract Harmonic Analysis on the General Linear Group GL(n,R)

abstract: Consider the general linear group, which is not connected but rather has two connected components, the matrices with positive determinant and the ones with negative determinant. Consider the Iwasawa decomposition of its special linear group. We adopt the technique of the paper [12] to generalize the definition of the Fourier transform and to obtain the Plancherel theorem for the special linear group. Besides we prove that the component with negative determinant has a structure of group, which is isomorphic onto the group of the component with positive determinant in order to obtain the Plancherel theorem the general linear group


title: Lengths of attractors and transients in neuronal networks with random connectivities

abstract: We study how the dynamics of a class of discrete dynamical system models for neuronal networks depends on the connectivity of the network. Specifically, we assume that the network is an Erd\H{o}s-R\'{enyi} random graph and analytically derive scaling laws for the average lengths of the attractors and transients under certain restrictions on the intrinsic parameters of the neurons, that is, their refractory periods and firing thresholds. In contrast to earlier results that were reported in \cite{TAWJ}, here we focus on the connection probabilities near the phase transition where the most complex dynamics is expected to occur.


title: A study of the magnetotransport properties of the graphene (I. Monolayer)

abstract: We present a single electron approach to analyse the magnetotransport properties of the monolayer graphene as a function of both, the gate voltage and the magnetic field; and, also, their evolution with temperature. The model proposed means the extension of our previous one developed for studying the quantum Hall and Shubnikov-de Haas effects of a two-dimensional electron system in a semiconductor quantum well. Now, the study in this framework of both phenomena in graphene involves including the presence of two bands and two degeneracy valleys, (points K and K' in the reciprocal space). Based in a single electron approximation, we show it is capable to reproduce the entire characteristics observed in the experiments for the Hall and diagonal magnetoconductivities (and the corresponding magnetoresistivities), as a function of the gate voltage and the magnetic field. In the model the observed Hall plateaux series in the monolayer graphene, determined by the expression 2(2n+1), arises in a natural way as a consequence of the particular quantization of the energy spectrum of graphene. Therefore, on the other hand the proposed approach integrates the quantum Hall effects observed in graphene and quantum wells semiconductors


title: Analysis and Design of Two-Hop Diffusion-Based Molecular Communication Networks

abstract: In this paper, we consider a two-hop molecular communication network consisting of one nanotransmitter, one nanoreceiver, and one nanotransceiver acting as a relay. We consider two different schemes for relaying to improve the range of diffusion-based molecular communication. In the first scheme, two different types of messenger molecules are utilized at the relay node for transmission and detection. In the second scheme, we assume that there is only one type of molecule available to be used as an information carrier. We identify self-interference as the performance-limiting effect for the second relaying scheme. Self-interference occurs when the relay must detect the same type of molecule that it also emits. Furthermore, we consider two relaying modes analogous to those used in wireless communication systems, i.e., full-duplex and half-duplex. In particular, while our main focus is on full-duplex relaying, half-duplex relaying is employed as a means to mitigate self-interference. In addition, we propose the adaptation of the decision threshold as an effective mechanism to mitigate self-interference at the relay for full-duplex transmission. We derive closed-form expressions for the expected error probability of the network for both considered relaying schemes.


title: Electricity Pooling Markets with Strategic Producers Possessing Asymmetric Information II: Inelastic Demand

abstract: In the restructured electricity industry, electricity pooling markets are an oligopoly with strategic producers possessing private information (private production cost function). We focus on pooling markets where aggregate demand is represented by a non-strategic agent. Inelasticity of demand is a main difficulty in electricity markets which can potentially result in market failure and high prices. We consider demand to be inelastic. We propose a market mechanism that has the following features. (F1) It is individually rational. (F2) It is budget balanced. (F3) It is price efficient, that is, at equilibrium the price of electricity is equal to the marginal cost of production. (F4) The energy production profile corresponding to every non-zero Nash equilibrium of the game induced by the mechanism is a solution of the corresponding centralized problem where the objective is the maximization of the sum of the producers' and consumers' utilities. We identify some open problems associated with our approach to electricity pooling markets.


title: Tripartite Counterfactual Quantum Cryptography

abstract: We show how two distrustful parties, "Bob" and "Charlie", can share a secret key with the help of a mutually trusted "Alice", counterfactually - that is with no information-carrying particles travelling between any of the three parties.


title: Ferrofluid aggregates phase transitions in the planar magnetic field

abstract: The influence of the cyclic heating and cooling on properties of the aggregates (aka "ferrofluid clusters") in a ferrofluid, which made on the basis of magnetite nanoparticles, are investigated. The heating of the ferrofluid layer with such aggregates leads to equalization of the concentration between high- and low-concentrated phases. The temperature of the equalization of the phase concentrations was determined at different values of an external constant magnetic field, which was applied parallel to the layer of the ferrofluid. The temperature of the destruction of a periodic structure of the magnetic aggregates, which were formed during cooling of a homogeneous phase of the ferrofluid, was obtained at the different values of the applied external magnetic field.


title: Thermofield qubits, generalized expectations and quantum information protocols

abstract: Thermofield dynamics (TFD) approach is a real time quantum field method for dealing with finite temperature quantum states in a purified version of usual density operator formalism at finite temperature. In the domain of quantum information, TFD represents a quite promising direction for dealing with qubits under thermal influence and can also be associated to Gaussian states. Here, we propose a generalized TFD mean expectation for the case of thermofield qubits considering the action of gate operators. We propose quantum teleportation protocols involving thermofield states, considering thermal-to-thermal and thermal-to-non-thermal transfering cases. In particular, we discuss the case in which Alice and Bob are at different temperatures. Action of gate operators on the result of the Mandel parameter for thermofields and on Gibbs-like density operators are also discussed. The no-cloning and non-broadcasting theorems in TFD are also considered and cases of superposed thermofield states and maps connecting thermofield vacua at different temperatures are also addressed and associated to metastable and non-equilibrium scenarios.


title: Localization on the Landscape and Eternal Inflation

abstract: We investigate the validity of the assertion that eternal inflation populates the landscape of string theory. We verify that bubble solutions do not satisfy the Klein Gordon equation for the landscape potential. Solutions to the landscape potential within the formalism of quantum cosmology are Anderson localized wavefunctions. Those are inconsistent with inflating bubble solutions. The physical reasons behind the failure of a relation between eternal inflation and the landscape are rooted in quantum phenomena such as interference between wavefunction concentrated around the various vacua in the landscape.


title: Estimating binding properties of transcription factors from genome-wide binding profiles

abstract: The binding of transcription factors (TFs) is essential for gene expression. One important characteristic is the actual occupancy of a putative binding site in the genome. In this study, we propose an analytical model to predict genomic occupancy that incorporates the preferred target sequence of a TF in the form of a position weight matrix (PWM), DNA accessibility data (in case of eukaryotes), the number of TF molecules expected to be bound specifically to the DNA and a parameter that modulates the specificity of the TF. Given actual occupancy data in form of ChIP-seq profiles, we backwards inferred copy number and specificity for five Drosophila TFs during early embryonic development: Bicoid, Caudal, Giant, Hunchback and Kruppel. Our results suggest that these TFs display thousands of molecules that are specifically bound to the DNA and that, while Bicoid and Caudal display a higher specificity, the other three transcription factors (Giant, Hunchback and Kruppel) display lower specificity in their binding (despite having PWMs with higher information content). This study gives further weight to earlier investigations into TF copy numbers that suggest a significant proportion of molecules are not bound specifically to the DNA.


title: $L_p$-Testers for Bounded Derivative Properties on Product Distributions

abstract: We consider the problem of $L_p$-testing of class of bounded derivative properties over hypergrid domain with points distributed according to some product distribution. This class includes monotonicity, the Lipschitz property, $(\alpha,\beta)$-generalized Lipschitz and many more properties. Previous results for $L_p$ testing on $[n]^d$ for this class were known for monotonicity and $c$-Lipschitz properties over uniformly distributed domains. \medskip Our results imply testers that give the same upper bound for arbitrary product distributions as the hitherto known testers, which use uniformly randomly chosen samples from $[n]^d$, for monotonicity and Lipschitz testing. Also, our testers are \emph{optimal} for a large class of bounded derivative properties, that includes $(\alpha, \beta)$-generalized Lipschitz property, over uniform distributions. Infact, each edge in $[n]^d$ is allowed to have it's own left and right Lipschitz constants. The time complexity is \emph{same} for arbitrary product distributions.


title: Constituents of magnetic anisotropy and a screening of spin-orbit coupling in solids

abstract: Using quantum mechanical perturbation theory (PT) we analyze how the energy of perturbation of different orders is renormalized in solids. We test the validity of PT analysis by considering a specific case of spin-orbit coupling as a perturbation. We further compare the relativistic energy and the magnetic anisotropy from the PT approach with direct density functional calculations in FePt, CoPt, FePd, MnAl, MnGa, FeNi, and tetragonally strained FeCo. In addition using decomposition of anisotropy into contributions from individual sites and different spin components we explain the microscopic origin of high anisotropy in FePt and CoPt magnets.


title: Renormalization of myoglobin-ligand binding energetics by quantum many-body effects

abstract: We carry out a first-principles atomistic study of the electronic mechanisms of ligand binding and discrimination in the myoglobin protein. Electronic correlation effects are taken into account using one of the most advanced methods currently available, namely a linear-scaling density functional theory (DFT) approach wherein the treatment of localized iron 3d electrons is further refined using dynamical mean-field theory (DMFT). This combination of methods explicitly accounts for dynamical and multi-reference quantum physics, such as valence and spin fluctuations, of the 3d electrons, whilst treating a significant proportion of the protein (more than 1000 atoms) with density functional theory. The computed electronic structure of the myoglobin complexes and the nature of the Fe-O2 bonding are validated against experimental spectroscopic observables. We elucidate and solve a long standing problem related to the quantum-mechanical description of the respiration process, namely that DFT calculations predict a strong imbalance between O2 and CO binding, favoring the latter to an unphysically large extent. We show that the explicit inclusion of many body-effects induced by the Hund's coupling mechanism results in the correct prediction of similar binding energies for oxy- and carbonmonoxymyoglobin.


title: Online Colored Bin Packing

abstract: In the Colored Bin Packing problem a sequence of items of sizes up to $1$ arrives to be packed into bins of unit capacity. Each item has one of $c\geq 2$ colors and an additional constraint is that we cannot pack two items of the same color next to each other in the same bin. The objective is to minimize the number of bins. In the important special case when all items have size zero, we characterize the optimal value to be equal to color discrepancy. As our main result, we give an (asymptotically) 1.5-competitive algorithm which is optimal. In fact, the algorithm always uses at most $\lceil1.5\cdot OPT\rceil$ bins and we show a matching lower bound of $\lceil1.5\cdot OPT\rceil$ for any value of $OPT\geq 2$. In particular, the absolute ratio of our algorithm is $5/3$ and this is optimal. For items of unrestricted sizes we give an asymptotically $3.5$-competitive algorithm. When the items have sizes at most $1/d$ for a real $d \geq 2$ the asymptotic competitive ratio is $1.5+d/(d-1)$. We also show that classical algorithms First Fit, Best Fit and Worst Fit are not constant competitive, which holds already for three colors and small items. In the case of two colors---the Black and White Bin Packing problem---we prove that all Any Fit algorithms have absolute competitive ratio $3$. When the items have sizes at most $1/d$ for a real $d \geq 2$ we show that the Worst Fit algorithm is absolutely $(1+d/(d-1))$-competitive.


title: On queues with service and interarrival times depending on waiting times

abstract: We consider an extension of the standard G/G/1 queue, described by the equation $W\stackrel{\mathcal{D}}{=}\max\{0, B-A+YW\}$, where $\mathbb{P}[Y=1]=p$ and $\mathbb{P}[Y=-1]=1-p$. For $p=1$ this model reduces to the classical Lindley equation for the waiting time in the G/G/1 queue, whereas for $p=0$ it describes the waiting time of the server in an alternating service model. For all other values of $p$ this model describes a FCFS queue in which the service times and interarrival times depend linearly and randomly on the waiting times. We derive the distribution of $W$ when $A$ is generally distributed and $B$ follows a phase-type distribution, and when $A$ is exponentially distributed and $B$ deterministic.


title: Decrypting gauge-Yukawa cookbooks

abstract: For many years, theorists have calculated formulas for useful quantities in general gauge-Yukawa theories. However, these cookbooks are often very difficult to use since the general notation is far removed from practical model building. In this paper, we present the structure delta which allows us to use a surprisingly convenient notation that bridges the gap between general gauge-Yukawa theories and specific models. This is particularly useful for the computation of beta functions, but can also be extended to handle spontaneous symmetry breaking, the effective potential and a variety of other quantities. We will introduce it using the standard model of particle physics and a toy model with an SU(N_c) gauge symmetry.


title: Soft sub-leading divergences in Yang-Mills amplitudes

abstract: In this short note I show that the soft limit for colour-ordered tree-level Yang-Mills amplitudes contains a sub-leading divergent term analogous to terms found recently by Cachazo and Strominger for tree-level gravity amplitudes.


title: Tolerating Silent Data Corruption in Opaque Preconditioners

abstract: We demonstrate algorithm-based fault tolerance for silent, transient data corruption in "black-box" preconditioners. We consider both additive Schwarz domain decomposition with an ILU(k) subdomain solver, and algebraic multigrid, both implemented in the Trilinos library. We evaluate faults that corrupt preconditioner results in both single and multiple MPI ranks. We then analyze how our approach behaves when then application is scaled. Our technique is based on a Selective Reliability approach that performs most operations in an unreliable mode, with only a few operations performed reliably. We also investigate two responses to faults and discuss the performance overheads imposed by each. For a non-symmetric problem solved using GMRES and ILU, we show that at scale our fault tolerance approach incurs only 22% overhead for the worst case. With detection techniques, we are able to reduce this overhead to 1.8% in the worst case.


title: Anomalous and Planar Nernst effects in thin-films of half-metallic ferromagnet La2/3Sr1/3MnO3

abstract: We report the planar and anomalous Nernst effect in epitaxial thin films of spin polarized La2/3Sr1/3MnO3. The thermal counterpart of the anomalous Hall effect in this material (i.e. the anomalous Nernst effect) shows a extreme sensitivity to any parasitic thermal gradient, resulting in large asymmetric voltages under small temperature differences. This should be considered when interpreting the magnitude of the electrical response in nanostructures and devices that operate under high current densities. Finally, none of the observed magneto-thermoelectric signals is compatible with the observation of the Spin Seebeck Effect in this material.


title: A two-station queue with dependent preparation and service times

abstract: We discuss a single-server multi-station alternating queue where the preparation times and the service times are auto- and cross-correlated. We examine two cases. In the first case, preparation and service times depend on a common discrete time Markov chain. In the second case, we assume that the service times depend on the previous preparation time through their joint Laplace transform. The waiting time process is directly analysed by solving a Lindley-type equation via transform methods. Numerical examples are included to demonstrate the effect of the autocorrelation of and the cross-correlation between the preparation and service times.


title: Allee effects in a Ricker-type predator-prey system

abstract: We study a discrete host-parasitoid system where the host population follows the classical Ricker functional form and is also subject to Allee effects. We determine basins of attraction of the local attractors of the single population model when the host intrinsic growth rate is not large. In this situation, existence and local stability of the interior steady states for the host-parasitoid interaction are completely analyzed. If the host's intrinsic growth rate is large, then the interaction may support multiple interior steady states. Linear stability of these steady states is provided.


title: M/G/$\infty$ polling systems with random visit times

abstract: We consider a polling system where a group of an infinite number of servers visits sequentially a set of queues. When visited, each queue is attended for a random time. Arrivals at each queue follow a Poisson process, and service time of each individual customer is drawn from a general probability distribution function. Thus, each of the queues comprising the system is, in isolation, an M/G/$\infty$-type queue. A job that is not completed during a visit will have a new service time requirement sampled from the service-time distribution of the corresponding queue. To the best of our knowledge, this paper is the first in which an M/G/$\infty$-type polling system is analysed. For this polling model, we derive the probability generating function and expected value of the queue lengths, and the Laplace-Stieltjes transform and expected value of the sojourn time of a customer. Moreover, we identify the policy that maximises the throughput of the system per cycle and conclude that under the Hamiltonian-tour approach, the optimal visiting order is \emph{independent} of the number of customers present at the various queues at the start of the cycle.


title: The Degrees of Freedom of Partly Smooth Regularizers

abstract: In this paper, we are concerned with regularized regression problems where the prior regularizer is a proper lower semicontinuous and convex function which is also partly smooth relative to a Riemannian submanifold. This encompasses as special cases several known penalties such as the Lasso ($\ell^1$-norm), the group Lasso ($\ell^1-\ell^2$-norm), the $\ell^\infty$-norm, and the nuclear norm. This also includes so-called analysis-type priors, i.e. composition of the previously mentioned penalties with linear operators, typical examples being the total variation or fused Lasso penalties.We study the sensitivity of any regularized minimizer to perturbations of the observations and provide its precise local parameterization.Our main sensitivity analysis result shows that the predictor moves locally stably along the same active submanifold as the observations undergo small perturbations. This local stability is a consequence of the smoothness of the regularizer when restricted to the active submanifold, which in turn plays a pivotal role to get a closed form expression for the variations of the predictor w.r.t. observations. We also show that, for a variety of regularizers, including polyhedral ones or the group Lasso and its analysis counterpart, this divergence formula holds Lebesgue almost everywhere.When the perturbation is random (with an appropriate continuous distribution), this allows us to derive an unbiased estimator of the degrees of freedom and of the risk of the estimator prediction.Our results hold true without requiring the design matrix to be full column rank.They generalize those already known in the literature such as the Lasso problem, the general Lasso problem (analysis $\ell^1$-penalty), or the group Lasso where existing results for the latter assume that the design is full column rank.


title: New W-prime signals at the LHC

abstract: We study the $W^{'}$ phenomenology in composite Higgs/ warped extra dimensional models focusing on the effect of fermionic resonances at $\sim$1 TeV. After deriving the existing bounds from the current LHC-8 analyses, we highlight the most promising signatures for $W^{'}$ discovery at the 14 TeV LHC. We find in particular very promising the study of $W^{'}$ decay modes into vector-like top partners, specifically the decay into a doublet of custodian heavy fermions, $T_{5/3} T_{2/3}$, and the decay into a heavy fermion plus a Standard Model quark. We perform a detailed parton level analysis of the channel $W^{'}\to T_{5/3} T_{2/3}$ in the same-sign dilepton final state, finding that it is a very promising signature to test the region at high $W^{'}$ mass, $m_{W^{'}}\gtrsim 2$ TeV, and of the $W^{'}\to Tb$ mode, that is one of the best channels to test the intermediate $W^{'}$ mass region and that, already with the LHC-8 data, could extend the present exclusion bounds.


title: Right-angled Artin subgroups of the $C^{\infty}$ diffeomorphism group of the real line

abstract: We prove that every right-angled Artin group embeds into the $C^{\infty}$ diffeomorphism group of the real line. As a corollary, we show every limit group, and more generally every countable residually RAAG group, embeds into the $C^{\infty}$ diffeomorphism group of the real line.


title: A posteriori error analysis for nonconforming approximation of multiple eigenvalues

abstract: In this paper we study an a posteriori error indicator introduced in E. Dari, R.G. Duran, C. Padra, Appl. Numer. Math., 2012, for the approximation of the Laplace eigenvalue problem with Crouzeix-Raviart non-conforming finite elements. In particular, we show that the estimator is robust also in presence of eigenvalues of multiplicity greater than one. Some numerical examples confirm the theory and illustrate the convergence of an adaptive algorithm when dealing with multiple eigenvalues.


title: Worm-Like-Chain Model of Forced Desorption of a Polymer Adsorbed on an Attractive Wall

abstract: Forced desorption of a semiflexible polymer chain on a solid substrate is theoretically investigated. The pulling force versus displacement is studied for different adsorption energy and persistence length P. It is found that the relationships between pulling force and cantilever displacement show a series of characteristic force spikes at different persistence length P. These force spikes becomes more pronounced but the average magnitude of this force decrease as P grows. Our results are of relevance to forced desorption of DNA on an attractive wall in single-molecule pulling experiments.


title: Characterizing Information Spreading in Online Social Networks

abstract: Online social networks (OSNs) are changing the way in which the information spreads throughout the Internet. A deep understanding of the information spreading in OSNs leads to both social and commercial benefits. In this paper, we characterize the dynamic of information spreading (e.g., how fast and widely the information spreads against time) in OSNs by developing a general and accurate model based on the Interactive Markov Chains (IMCs) and mean-field theory. This model explicitly reveals the impacts of the network topology on information spreading in OSNs. Further, we extend our model to feature the time-varying user behaviors and the ever-changing information popularity. The complicated dynamic patterns of information spreading are captured by our model using six key parameters. Extensive tests based on Renren's dataset validate the accuracy of our model, which demonstrate that it can characterize the dynamic patterns of video sharing in Renren precisely and predict future spreading tendency successfully.


title: Strong Uniform Attractors for Non-Autonomous Dissipative PDEs with non translation-compact external forces

abstract: We give a comprehensive study of strong uniform attractors of non-autonomous dissipative systems for the case where the external forces are not translation compact. We introduce several new classes of external forces which are not translation compact, but nevertheless allow to verify the attraction in a strong topology of the phase space and discuss in a more detailed way the class of so-called normal external forces introduced before. We also develop a unified approach to verify the asymptotic compactness for such systems based on the energy method and apply it to a number of equations of mathematical physics including the Navier-Stokes equations, damped wave equations and reaction-diffusing equations in unbounded domains.


title: Effects of surface interactions on heterogeneous ice nucleation for a monatomic water model

abstract: Despite its importance in atmospheric science, much remains unknown about the microscopic mechanism of heterogeneous ice nucleation. In this work, we perform hybrid Monte Carlo simulations of the heterogeneous nucleation of ice on a range of generic surfaces, both flat and structured, in order to probe the underlying factors affecting the nucleation process. The structured surfaces we study comprise one basal plane bilayer of ice with varying lattice parameters and interaction strengths. We show that what determines the propensity for nucleation is not just the surface attraction, but also the orientational ordering imposed on liquid water near a surface. In particular, varying the ratio of the surface's attraction and orientational ordering can change the mechanism by which nucleation occurs: ice can nucleate on the structured surface even when the orientational ordering imposed by the surface is weak, as the water molecules that interact strongly with the surface are themselves a good template for further growth. We also show that lattice matching is important for heterogeneous nucleation on the structured surface we study. We rationalise these brute-force simulation results by explicitly calculating the interfacial free energies of ice and liquid water in contact with the nucleating surface and their variation with surface interaction parameters.


title: On the Satisfiability of Quantum Circuits of Small Treewidth

abstract: It has been known for almost three decades that many $\mathrm{NP}$-hard optimization problems can be solved in polynomial time when restricted to structures of constant treewidth. In this work we provide the first extension of such results to the quantum setting. We show that given a quantum circuit $C$ with $n$ uninitialized inputs, $\mathit{poly}(n)$ gates, and treewidth $t$, one can compute in time $(\frac{n}{\delta})^{\exp(O(t))}$ a classical assignment $y\in \{0,1\}^n$ that maximizes the acceptance probability of $C$ up to a $\delta$ additive factor. In particular, our algorithm runs in polynomial time if $t$ is constant and $1/poly(n) < \delta < 1$. For unrestricted values of $t$, this problem is known to be complete for the complexity class $\mathrm{QCMA}$, a quantum generalization of MA. In contrast, we show that the same problem is $\mathrm{NP}$-complete if $t=O(\log n)$ even when $\delta$ is constant. On the other hand, we show that given a $n$-input quantum circuit $C$ of treewidth $t=O(\log n)$, and a constant $\delta<1/2$, it is $\mathrm{QMA}$-complete to determine whether there exists a quantum state $\mid\!\varphi\rangle \in (\mathbb{C}^d)^{\otimes n}$ such that the acceptance probability of $C\mid\!\varphi\rangle$ is greater than $1-\delta$, or whether for every such state $\mid\!\varphi\rangle$, the acceptance probability of $C\mid\!\varphi\rangle$ is less than $\delta$. As a consequence, under the widely believed assumption that $\mathrm{QMA} \neq \mathrm{NP}$, we have that quantum witnesses are strictly more powerful than classical witnesses with respect to Merlin-Arthur protocols in which the verifier is a quantum circuit of logarithmic treewidth.


title: Vertex Cover Gets Faster and Harder on Low Degree Graphs

abstract: The problem of finding an optimal vertex cover in a graph is a classic NP-complete problem, and is a special case of the hitting set question. On the other hand, the hitting set problem, when asked in the context of induced geometric objects, often turns out to be exactly the vertex cover problem on restricted classes of graphs. In this work we explore a particular instance of such a phenomenon. We consider the problem of hitting all axis-parallel slabs induced by a point set P, and show that it is equivalent to the problem of finding a vertex cover on a graph whose edge set is the union of two Hamiltonian Paths. We show the latter problem to be NP-complete, and we also give an algorithm to find a vertex cover of size at most k, on graphs of maximum degree four, whose running time is 1.2637^k n^O(1).


title: Variable Speed of Light Cosmology, Primordial Fluctuations and Gravitational Waves

abstract: A variable speed of light (VSL) cosmology is described in which the causal mechanism of generating primordial perturbations is achieved by varying the speed of light in a primordial epoch. This yields an alternative to inflation for explaining the formation of the cosmic microwave background (CMB) and the large scale structure (LSS) of the universe. The initial value horizon and flatness problems in cosmology are solved. The model predicts primordial scalar and tensor fluctuation spectral indices $n_s=0.96$ and $n_t=- 0.04$, respectively. We make use of the $\delta{\cal N}$ formalism to identify signatures of primordial nonlinear fluctuations, and this allows the VSL model to be distinguished from inflationary models. In particular, we find that the parameter $f_{\rm NL}=5$ in the variable speed of light cosmology. The value of the parameter $g_{\rm NL}$ evolves during the primordial era and shows a running behavior.


title: The Power of an Example: Hidden Set Size Approximation Using Group Queries and Conditional Sampling

abstract: We study a basic problem of approximating the size of an unknown set $S$ in a known universe $U$. We consider two versions of the problem. In both versions the algorithm can specify subsets $T\subseteq U$. In the first version, which we refer to as the group query or subset query version, the algorithm is told whether $T\cap S$ is non-empty. In the second version, which we refer to as the subset sampling version, if $T\cap S$ is non-empty, then the algorithm receives a uniformly selected element from $T\cap S$. We study the difference between these two versions under different conditions on the subsets that the algorithm may query/sample, and in both the case that the algorithm is adaptive and the case where it is non-adaptive. In particular we focus on a natural family of allowed subsets, which correspond to intervals, as well as variants of this family.


title: Online Bin Stretching with Three Bins

abstract: Online Bin Stretching is a semi-online variant of bin packing in which the algorithm has to use the same number of bins as an optimal packing, but is allowed to slightly overpack the bins. The goal is to minimize the amount of overpacking, i.e., the maximum size packed into any bin. We give an algorithm for Online Bin Stretching with a stretching factor of $11/8 = 1.375$ for three bins. Additionally, we present a lower bound of $45/33 = 1.\overline{36}$ for Online Bin Stretching on three bins and a lower bound of $19/14$ for four and five bins that were discovered using a computer search.


title: MEMS-reconfigurable metamaterials and antenna applications

abstract: This paper reviews some of our contributions to reconfigurable metamaterials, where dynamic control is enabled by micro-electro-mechanical systems (MEMS) technology. First, we show reconfigurable composite right/left handed transmission lines (CRLH-TLs) having state of the art phase velocity variation and loss, thereby enabling efficient reconfigurable phase shifters and leaky-wave antennas (LWA). Second, we present very low loss metasurface designs with reconfigurable reflection properties, applicable in reflectarrays and partially reflective surface (PRS) antennas. All the presented devices have been fabricated and experimentally validated. They operate in X- and Ku-bands.


title: The Extent of the Stop Coannihilation Strip

abstract: Many supersymmetric models such as the CMSSM feature a strip in parameter space where the lightest neutralino \chi is identified as the lightest supersymmetric particle (LSP), the lighter stop squark \tilde t_1 is the next-to-lightest supersymmetric particle (NLSP), and the relic \chi cold dark matter density is brought into the range allowed by astrophysics and cosmology by coannihilation with the lighter stop squark \tilde t_1 NLSP. We calculate the stop coannihilation strip in the CMSSM, incorporating Sommerfeld enhancement effects, and explore the relevant phenomenological constraints and phenomenological signatures. In particular, we show that the \tilde t_1 may weigh several TeV, and its lifetime may be in the nanosecond range, features that are more general than the specific CMSSM scenarios that we study in this paper.


title: Top-squark pair production at the LHC: a complete analysis at next-to-leading order

abstract: We present a complete next-to-leading order study of top-squark pair production at the LHC, including QCD and EW corrections. The calculation is performed within the Minimal Supersymmetric Standard Model and numerical results are presented for parameter regions compatible with the observed Higgs boson. We employ the most recent parton distribution functions including QED corrections and we find NLO EW corrections to the inclusive stop-pair production cross section up to $25 - 30\%$ compared to the leading-order prediction. Besides corrections to inclusive cross sections also important kinematic distributions are investigated.