title: Queuing for an infinite bus line and aging branching process

abstract: We study a queueing system with Poisson arrivals on a bus line indexed by integers. The buses move at constant speed to the right and the time of service per customer getting on the bus is fixed. The customers arriving at station i wait for a bus if this latter is less than d\_i stations before, where d\_i is non-decreasing. We determine the asymptotic behavior of a single bus and when two buses eventually coalesce almost surely by coupling arguments. Three regimes appear, two of which leading to a.s. coalescing of the buses.The approach relies on a connection with aged structured branching processes with immigration and varying environment. We need to prove a Kesten Stigum type theorem, i.e. the a.s. convergence of the successive size of the branching process normalized by its mean. The technics developed combines a spine approach for multitype branching process in varying environment and geometric ergodicity along the spine to control the increments of the normalized process.


title: One-dimensional ultracold atomic gases: Impact of the effective range on integrability

abstract: Three identical bosons or fermions are considered in the limit of zero-range interactions and finite effective range. By using a two channel model, we show that these systems are not integrable and that the wave function verifies specific continuity conditions at the contact of three particles. This last feature permits us to solve a contradiction brought by the contact model which can lead to an opposite result concerning the integrability issue. For fermions, the vicinity of integrability is characterized by large deviations with respect to the predictions of the Bethe ansatz.


title: Magnetic fields in early-type stars

abstract: For several decades we have been cognizant of the presence of magnetic fields in early-type stars, but our understanding of their magnetic properties has recently (over the last decade) expanded due to the new generation of high-resolution spectropolarimeters (ESPaDOnS at CFHT, Narval at TBL, HARPSpol at ESO). The most detailed surface magnetic field maps of intermediate-mass stars have been obtained through Doppler imaging techniques, allowing us to probe the small-scale structure of these stars. Thanks to the effort of large programmes (e.g. the MiMeS project), we have, for the first time, addressed key issues regarding our understanding of the magnetic properties of massive (M > 8 M_sun) stars, whose magnetic fields were only first detected about fifteen years ago. In this proceedings article we review the spectropolarimetric observations and statistics derived in recent years that have formed our general understanding of stellar magnetism in early-type stars. We also discuss how these observations have furthered our understanding of the interactions between the magnetic field and stellar wind, as well as the consequences and connections of this interaction with other observed phenomena.


title: Regular Totally Separable Sphere Packings

abstract: The topic of totally separable sphere packings is surveyed with a focus on regular constructions, uniform tilings, and contact number problems. An enumeration of all regular totally separable sphere packings in $\mathbb{R}^2$, $\mathbb{R}^3$, and $\mathbb{R}^4$ which are based on convex uniform tessellations, honeycombs, and tetracombs, respectively, is presented, as well as a construction of a family of regular totally separable sphere packings in $\mathbb{R}^d$ that is not based on a convex uniform $d$-honeycomb for $d \geq 3$.


title: Small glitches: the role of strange nuggets?

abstract: Pulsar glitches, i.e. the sudden spin-ups of pulsars, have been detected for most pulsars that we known. The mechanism giving rise to this kind of phenomenon is uncertain, although a large data set has been built. In the framework of star-quake model, based on~\cite{Baym1971}, the glitch-sizes (the relative increases of spin-frequencies during glitches) $\Delta \Omega/\Omega$ depend on the released energies during glitches, with less released energies corresponding to smaller glitch sizes. On the other hand, as one of dark matter candidates, our Galaxy might be filled with the so called strange nuggets (SNs) which are the relics from the early Universe. In this case the collisions between pulsars and SNs is inevitable, and these collisions would lead to glitches when enough elastic energy has been accumulated during the spin-down process. The SNs-triggered glitches could release less energy, because the accumulated elastic energy would be less than that in the scenario of glitches without SNs. Therefore, if a pulsar is hit frequently by SNs, it would tend to have more small size glitches, whose values of $\Delta \Omega/\Omega$ are smaller than that in standard star-quake model (with larger amounts of released energy). Based on the assumption that in our Galaxy the distribution of SNs is similar to that of dark matter, as well as on the glitch data in ATNF Pulsar Catalogue and Jodrell Bank glitch table, we find that in our Galaxy the incidences of small size glitches exhibit tendencies consistent with the collision rates of pulsars and strange nuggets. Further test of this scenario is expected by detecting more small glitches (e.g., by the Square Kilometre Array).


title: 10 Questions about Boggle Logic Puzzles

abstract: Boggle logic puzzles are based on the popular word game Boggle, where you are given list of words, and your goal is to recreate a Boggle board. In this paper we give an overview of known results and then propose a number of problems related to these puzzles.


title: Pattern-avoiding permutations and Brownian excursion, Part II: Fixed points

abstract: Permutations that avoid given patterns are among the most classical objects in combinatorics and have strong connections to many fields of mathematics, computer science and biology. In this paper we study fixed points of both 123- and 231-avoiding permutations. We find an exact description for a scaling limit of the empirical distribution of fixed points in term of Brownian excursion. This builds on the connections between pattern-avoiding permutations and Brownian excursion developed in Part I of this series and strengthens the recent results of Elizalde (2012) and Miner and Pak (2014) on fixed points of pattern-avoiding permutations.


title: Terrestrial Planet Occurrence Rates for the Kepler GK Dwarf Sample

abstract: We measure planet occurrence rates using the planet candidates discovered by the Q1-Q16 Kepler pipeline search. This study examines planet occurrence rates for the Kepler GK dwarf target sample for planet radii, 0.75<Rp<2.5 Rearth, and orbital periods, 50<Porb<300 days, with an emphasis on a thorough exploration and identification of the most important sources of systematic uncertainties. Integrating over this parameter space, we measure an occurrence rate of F=0.77 planets per star, with an allowed range of 0.3<F<1.9. The allowed range takes into account both statistical and systematic uncertainties, and values of F beyond the allowed range are significantly in disagreement with our analysis. We generally find higher planet occurrence rates and a steeper increase in planet occurrence rates towards small planets than previous studies of the Kepler GK dwarf sample. Through extrapolation, we find that the one year orbital period terrestrial planet occurrence rate, zeta_1=0.1, with an allowed range of 0.01<zeta_1<2, where zeta_1 is defined as the number of planets per star within 20% of the Rp and Porb of Earth. For G dwarf hosts, the zeta_1 parameter space is a subset of the larger eta_earth parameter space, thus zeta_1 places a lower limit on eta_earth for G dwarf hosts. From our analysis, we identify the leading sources of systematics impacting Kepler occurrence rate determinations as: reliability of the planet candidate sample, planet radii, pipeline completeness, and stellar parameters.


title: Using the Mean Absolute Percentage Error for Regression Models

abstract: We study in this paper the consequences of using the Mean Absolute Percentage Error (MAPE) as a measure of quality for regression models. We show that finding the best model under the MAPE is equivalent to doing weighted Mean Absolute Error (MAE) regression. We show that universal consistency of Empirical Risk Minimization remains possible using the MAPE instead of the MAE.


title: Search Strategies for Binary Feature Selection for a Naive Bayes Classifier

abstract: We compare in this paper several feature selection methods for the Naive Bayes Classifier (NBC) when the data under study are described by a large number of redundant binary indicators. Wrapper approaches guided by the NBC estimation of the classification error probability out-perform filter approaches while retaining a reasonable computational cost.


title: Robust preparation noncontextuality inequalities in the simplest scenario

abstract: Contextuality is the leading notion of nonclassicality for a single system. However, an experimental demonstration requires finding procedures that are operationally equivalent, which might seem impossible to achieve exactly. Here I focus on the simplest non-trivial case, four preparations and two tomographically complete binary measurements. Exploiting a subtle connection to the CHSH scenario gives eight non-linear inequalities which are together necessary and sufficient for the experimental statistics to admit a preparation noncontextual model in such a scenario. No fixed operational equivalences are required, removing a key difficulty with experimental tests of older preparation noncontextuality inequalities.


title: Effects of shock topology on temperature field in compressible turbulence

abstract: Effects of two types of shock topology, namely, small-scale shocklet and large-scale shock wave, on the statistics of temperature in compressible turbulence were investigated by simulations. The shocklet and shock wave are caused by the solenoidal and compressive modes of driven forces, respectively. Hereafter, the related two flows are called as SFT and CFT, respectively. It shows that in SFT the temperature spectrum follows the k^-5/3 power law, and the temperature field has "ramp-cliff" structures. By contrast, in CFT the temperature spectrum obeys the k^-2 power law, and the temperature field is dominated by large-scale rarefaction and compression. The power-law exponents for the p.d.f. of large negative dilatation are -2.5 in SFT and -3.5 in CFT, close to theoretical values. For the isentropic assumption of thermodynamic variables, the derivation in SFT grows with the turbulent Mach number (Mt), and for same Mt, the variables in CFT are more anisentropic. The angle statistics shows that the temperature gradient in CFT is preferentially perpendicular to the anisotropic strain rate tensor. It tends to be parallel with the first eigenvector and be orthogonal with the other two eigenvectors. For the cascade of temperature, the temperature variance is increased by the viscous dissipation and the pressure-dilatation, but is decreased by the SGS temperature flux. The statistics of pressure-dilatation proves that the negligible contribution of pressure-dilatation at small scales is due to the cancelations of high values between rarefaction and compression regions. The strongly positive skewness of the p.d.f.s of pressure-dilatation implies that the conversion from kinetic to internal energy through compression is more intense than the opposite process through rarefaction. Furthermore, in SFT the fluctuations of pressure-dilatation approximately follow the Zeman model.


title: On the $\eta$-function for bisingular pseudodifferential operators

abstract: In this work we consider the $\eta$-invariant for pseudodifferential operators of tensor product type, also called bisingular pseudodifferential operators. We study complex powers of classical bisingular operators. We prove the trace property for the Wodzicki residue of bisingular operators and show how the residues of the $\eta$-function can be expressed in terms of the Wodzicki trace of a projection operator. Then we calculate the $K$-theory of the algebra of $0$-order (global) bisingular operators. With these preparations we establish the regularity properties of the $\eta$-function at the origin for global bisingular operators which are self-adjoint, elliptic and of positive orders.


title: On the growth of high Sobolev norms for certain one-dimensional Hamiltonian PDEs

abstract: This paper is devoted to the study of large time bounds for the Sobolev norms of the solutions of the following fractional cubic Schr{\"o}dinger equation on the torus :$$i \partial\_t u = |D|^\alpha u+|u|^2 u, \quad u(0, \cdot)=u\_0,$$where $\alpha$ is a real parameter. We show that, apart from the case $\alpha = 1$, which corresponds to a half-wave equation with no dispersive property at all, solutions of this equation grow at a polynomial rate at most. We also address the case of the cubic and quadratic half-wave equations.


title: Model Exploration Using OpenMOLE - a workflow engine for large scale distributed design of experiments and parameter tuning

abstract: OpenMOLE is a scientific workflow engine with a strong emphasis on workload distribution. Workflows are designed using a high level Domain Specific Language (DSL) built on top of Scala. It exposes natural parallelism constructs to easily delegate the workload resulting from a workflow to a wide range of distributed computing environments. In this work, we briefly expose the strong assets of OpenMOLE and demonstrate its efficiency at exploring the parameter set of an agent simulation model. We perform a multi-objective optimisation on this model using computationally expensive Genetic Algorithms (GA). OpenMOLE hides the complexity of designing such an experiment thanks to its DSL, and transparently distributes the optimisation process. The example shows how an initialisation of the GA with a population of 200,000 individuals can be evaluated in one hour on the European Grid Infrastructure.


title: ADE Little String Theory on a Riemann Surface (and Triality)

abstract: We initiate the study of (2,0) little string theory of ADE type using its definition in terms of IIB string compactified on an ADE singularity. As one application, we derive a 5d ADE quiver gauge theory that describes the little string compactified on a sphere with three full punctures, at low energies. As a second application, we show the partition function of this theory equals the 3-point conformal block of ADE Toda CFT, q-deformed. To establish this, we generalize the A_n triality of \cite{AHS} to all ADE Lie algebras; IIB string perspective is crucial for this as well.


title: Tropically convex constraint satisfaction

abstract: A semilinear relation S is max-closed if it is preserved by taking the componentwise maximum. The constraint satisfaction problem for max-closed semilinear constraints is at least as hard as determining the winner in Mean Payoff Games, a notorious problem of open computational complexity. Mean Payoff Games are known to be in the intersection of NP and co-NP, which is not known for max-closed semilinear constraints. Semilinear relations that are max-closed and additionally closed under translations have been called tropically convex in the literature. One of our main results is a new duality for open tropically convex relations, which puts the CSP for tropically convex semilinaer constraints in general into NP intersected co-NP. This extends the corresponding complexity result for scheduling under and-or precedence constraints, or equivalently the max-atoms problem. To this end, we present a characterization of max-closed semilinear relations in terms of syntactically restricted first-order logic, and another characterization in terms of a finite set of relations L that allow primitive positive definitions of all other relations in the class. We also present a subclass of max-closed constraints where the CSP is in P; this class generalizes the class of max-closed constraints over finite domains, and the feasibility problem for max-closed linear inequalities. Finally, we show that the class of max-closed semilinear constraints is maximal in the sense that as soon as a single relation that is not max-closed is added to L, the CSP becomes NP-hard.


title: A Study of Dielectric Breakdown Along Insulators Surrounding Conductors in Liquid Argon

abstract: High voltage breakdown in liquid argon is an important concern in the design of liquid argon time projection chambers, which are often used as neutrino and dark matter detectors. We have made systematic measurements of breakdown voltages in liquid argon along insulators surrounding negative rod electrodes where the breakdown is initiated at the anode. The measurements were performed in an open cryostat filled with commercial grade liquid argon exposed to air, and not the ultra-pure argon required for electron drift. While not addressing all high voltage concerns in liquid argon, these measurements have direct relevance to the design of high voltage feedthroughs especially for averting the common problem of flash-over breakdown. The purpose of these tests is to understand the effects of materials, of breakdown path length, and of surface topology for this geometry and setup. We have found that the only material-specific effects are those due to their permittivity. We have found that the breakdown voltage has no dependence on the length of the exposed insulator. A model for the breakdown mechanism is presented that can help inform future designs.


title: Inflationary magnetogenesis, derivative couplings and relativistic Van der Waals interactions

abstract: When the gauge fields have derivative couplings to scalars, like in the case of the relativistic theory of Van der Waals (or Casimir-Polder) interactions, conformal invariance is broken but the magnetic and electric susceptibilities are not bound to coincide. We analyze the formation of large-scale magnetic fields in slow-roll inflation and find that they are generated at the level of a few hundredths of a nG and over typical length scales between few Mpc and $100$ Mpc. Using a new time parametrization that reduces to conformal time but only for coincident susceptibilities, the gauge action is quantized while the evolution equations of the corresponding mode functions are more easily solvable. The power spectra depend on the normalized rates of variation of the two susceptibilities (or of the corresponding gauge couplings) and on the absolute value of their ratio at the beginning of inflation. We pin down explicit regions in the parameter space where all the physical requirements (i.e. the backreaction constraints, the magnetogenesis bounds and the naturalness of the initial conditions of the scenario) are jointly satisfied. Weakly coupled initial data are favoured if the gauge couplings are of the same order at the end of inflation. Duality is systematically used to simplify the analysis of the wide parameter space of the model.


title: A reduction theorem for primitive binary permutation groups

abstract: A permutation group $(X,G)$ is said to be binary, or of relational complexity $2$, if for all $n$, the orbits of $G$ (acting diagonally) on $X^2$ determine the orbits of $G$ on $X^n$ in the following sense: for all $\bar{x},\bar{y} \in X^n$, $\bar{x}$ and $\bar{y}$ are $G$-conjugate if and only if every pair of entries from $\bar{x}$ is $G$-conjugate to the corresponding pair from $\bar{y}$. Cherlin has conjectured that the only finite primitive binary permutation groups are $S_n$, groups of prime order, and affine orthogonal groups $V\rtimes O(V)$ where $V$ is a vector space equipped with an anisotropic quadratic form; recently he succeeded in establishing the conjecture for those groups with an abelian socle. In this note, we show that what remains of the conjecture reduces, via the O'Nan-Scott Theorem, to groups with a nonabelian simple socle.


title: A case study in almost-perfect security for unconditionally secure communication

abstract: In the Russian cards problem, Alice, Bob and Cath draw $a$, $b$ and $c$ cards, respectively, from a publicly known deck. Alice and Bob must then communicate their cards to each other without Cath learning who holds a single card. Solutions in the literature provide weak security, where Cath does not know with certainty who holds each card that is not hers, or perfect security, where Cath learns no probabilistic information about who holds any given card from Alice and Bob's exchange. We propose an intermediate notion, which we call $\varepsilon$-strong security, where the probabilities perceived by Cath may only change by a factor of $\varepsilon$. We then show that a mild variant of the so-called geometric strategy gives $\varepsilon$-strong safety for arbitrarily small $\varepsilon$ and appropriately chosen values of $a,b,c$.


title: Multiplex Networks with Intrinsic Fitness: Modeling the Merit-Fame Interplay via Latent Layers

abstract: We consider the problem of growing multiplex networks with intrinsic fitness and inter-layer coupling. The model comprises two layers; one that incorporates fitness and another in which attachments are preferential. In the first layer, attachment probabilities are proportional to fitness values, and in the second layer, proportional to the sum of degrees in both layers. We provide analytical closed-form solutions for the joint distributions of fitness and degrees. We also derive closed-form expressions for the expected value of the degree as a function of fitness. The model alleviates two shortcomings that are present in the current models of growing multiplex networks: homogeneity of connections, and homogeneity of fitness. In this paper, we posit and analyze a growth model that is heterogeneous in both senses.

categories: cs.SI cond-mat.stat-mech cs.MA physics.soc-ph


title: Computing Active Subspaces Efficiently with Gradient Sketching

abstract: Active subspaces are an emerging set of tools for identifying and exploiting the most important directions in the space of a computer simulation's input parameters; these directions depend on the simulation's quantity of interest, which we treat as a function from inputs to outputs. To identify a function's active subspace, one must compute the eigenpairs of a matrix derived from the function's gradient, which presents challenges when the gradient is not available as a subroutine. We numerically study two methods for estimating the necessary eigenpairs using only linear measurements of the function's gradient. In practice, these measurements can be estimated by finite differences using only two function evaluations, regardless of the dimension of the function's input space.


title: Deep Structured Models For Group Activity Recognition

abstract: This paper presents a deep neural-network-based hierarchical graphical model for individual and group activity recognition in surveillance scenes. Deep networks are used to recognize the actions of individual people in a scene. Next, a neural-network-based hierarchical graphical model refines the predicted labels for each class by considering dependencies between the classes. This refinement step mimics a message-passing step similar to inference in a probabilistic graphical model. We show that this approach can be effective in group activity recognition, with the deep graphical model improving recognition rates over baseline methods.


title: Adsorption of annealed branched polymers on curved surfaces

abstract: The behavior of annealed branched polymers near adsorbing surfaces plays a fundamental role in many biological and industrial processes. Most importantly single stranded RNA in solution tends to fold up and self-bind to form a highly branched structure. Using a mean field theory, we both perturbatively and numerically examine the adsorption of branched polymers on surfaces of several different geometries in a good solvent. Independent of the geometry of the wall, we observe that as branching density increases, surface tension decreases. However, we find a coupling between the branching density and curvature in that a further lowering of surface tension occurs when the wall curves towards the polymer, but the amount of lowering of surface tension decreases when the wall curves away from the polymer. We find that for branched polymers confined into spherical cavities, most of branch-points are located in the vicinity of the interior wall and the surface tension is minimized for a critical cavity radius. For branch polymers next to sinusoidal surfaces, we find that branch-points accumulate at the valleys while end-points on the peaks.


title: The BANYAN All-Sky Survey for Brown Dwarf Members of Young Moving Groups

abstract: We describe in this work the BASS survey for brown dwarfs in young moving groups of the solar neighborhood, and summarize the results that it generated. These include the discovery of the 2MASS J01033563-5515561 (AB)b and 2MASS J02192210-3925225 B young companions near the deuterium-burning limit as well as 44 new low-mass stars and 69 new brown dwarfs with a spectroscopically confirmed low gravity. Among those, ~20 have estimated masses within the planetary regime, one is a new L4 $\gamma$ bona fide member of AB Doradus, three are TW Hydrae candidates with later spectral types (L1-L4) than all of its previously known members and six are among the first contenders to low-gravity $\geq$ L5 $\beta$/$\gamma$ brown dwarfs, reminiscent of WISEP J004701.06+680352.1, PSO J318.5338-22.8603 and VHS J125601.92-125723.9 b. Finally, we describe a future version of this survey, BASS-Ultracool, that will specifically target $\geq$ L5 candidate members of young moving groups. First experimentations in designing the survey have already led to the discovery of a new T dwarf member of AB Doradus, as well as the serendipitous discoveries of an L9 subdwarf and an L5 + T5 brown dwarf binary.


title: On Switching Stabilizability for Continuous-Time Switched Linear Systems

abstract: This paper studies switching stabilization problems for continuous-time switched linear systems. We consider four types of switching stabilizability defined under different assumptions on the switching control input. The most general switching stabilizability is defined as the existence of a measurable switching signal under which the resulting time-varying system is asymptotically stable. Discrete switching stabilizability is defined similarly but requires the switching signal to be piecewise constant on intervals of uniform length. In addition, we define feedback stabilizability in Filippov sense (resp. sample-and-hold sense) as the existence of a feedback law under which closed-loop Filippov solution (resp. sample-and-hold solution) is asymptotically stable. It is proved that the four switching stabilizability definitions are equivalent and their sufficient and necessary condition is the existence of a piecewise quadratic control-Lyapunov function that can be expressed as the pointwise minimum of a finite number of quadratic functions.


title: SDSS J111010.01+011613.1: A New Planetary-Mass T Dwarf Member of the AB Doradus Moving Group

abstract: We present a new radial velocity measurement that, together with a trigonometric parallax, proper motion and signs of low gravity from the literature, confirms that SDSS J111010.01+011613.1 is a new T5.5 bona fide member of AB Doradus. Fitting $\lambda/\Delta\lambda$ $\approx$ 6000 FIRE spectroscopy in the 1.20-1.33 $\mu$m region to BT-Settl atmosphere models yielded a radial velocity of $7.5 \pm 3.8$ km s$^{-1}$. At such a young age (110-130 Myr), current evolution models predict a mass of $\sim$ 10-12 $M_{\mathrm{Jup}}$, thus placing SDSS J1110+0116 well into the planetary-mass regime. We compare the fundamental properties of SDSS J1110+0116 with a sequence of seven recently identified M8-T5 brown dwarf bona fide or high-confidence candidate members of AB Doradus. We also note that its near-infrared $J-K$ color is redder than field T5-T6 brown dwarfs, however its absolute $J$-band magnitude is similar to them. SDSS J1110+0116 is one of the few age-calibrated T dwarfs known to date, as well as one of the coolest bona fide members of a young moving group.


title: Neutron Electric Dipole Moment and Tensor Charges from Lattice QCD

abstract: We present Lattice QCD results on the neutron tensor charges including, for the first time, a simultaneous extrapolation in the lattice spacing, volume, and light quark masses to the physical point in the continuum limit. We find that the "disconnected" contribution is smaller than the statistical error in the "connected" contribution. Our estimates in the $\bar{\text{MS}}$ scheme at $2$ GeV, including all systematics, are $g_T^{d-u}=1.020(76)$, $g_T^d = 0.774(66)$, $g_T^u = - 0.233(28)$, and $g_T^s = 0.008(9)$. The flavor diagonal charges determine the size of the neutron electric dipole moment (EDM) induced by quark EDMs that are generated in many new scenarios of CP-violation beyond the Standard Model (BSM). We use our results to derive model-independent bounds on the EDMs of light quarks and update the EDM phenomenology in split Supersymmetry with gaugino mass unification, finding a stringent upper bound of $d_n < 4 \times 10^{-28} \, e$ cm for the neutron EDM in this scenario.


title: Characterization of Reflection Positivity: Majoranas and Spins

abstract: We study linear functionals on a Clifford algebra (algebra of Ma- joranas) equipped with a reflection automorphism. For Hamiltonians that are functions of Majoranas or of spins, we find necessary and sufficient conditions on the coupling constants for reflection positivity to hold. One can easily check these conditions in concrete models. We illustrate this by discussing a number of spin systems with nearest-neighbor and long-range interactions.

categories: math-ph cond-mat.stat-mech math.MP quant-ph


title: Bayesian Budget Feasibility with Posted Pricing

abstract: We consider the problem of budget feasible mechanism design proposed by Singer (2010), but in a Bayesian setting. A principal has a public value for hiring a subset of the agents and a budget, while the agents have private costs for being hired. We consider both additive and submodular value functions of the principal. We show that there are simple, practical, ex post budget balanced posted pricing mechanisms that approximate the value obtained by the Bayesian optimal mechanism that is budget balanced only in expectation. A main motivating application for this work is the crowdsourcing large projects, e.g., on Mechanical Turk, where workers are drawn from a large population and posted pricing is standard. Our analysis methods relate to contention resolution schemes in submodular optimization of Vondrak et al. (2011) and the correlation gap analysis of Yan (2011).


title: Critical behavior of the Higgs- and Goldstone-mass gaps for the two-dimensional S=1 XY model

abstract: Spectral properties for the two-dimensional quantum S=1 XY model were investigated with the exact diagonalization method. In the symmetry-broken phase, there appear the massive Higgs and massless Goldstone excitations, which correspond to the longitudinal and transverse modes of the spontaneous magnetic moment, respectively. The former excitation branch is embedded in the continuum of the latter, and little attention has been paid to the details, particularly, in proximity to the critical point. The finite-size-scaling behavior is improved by extending the interaction parameters. An analysis of the critical amplitude ratio for these mass gaps is made.


title: Malicious Behavior Detection using Windows Audit Logs

abstract: As antivirus and network intrusion detection systems have increasingly proven insufficient to detect advanced threats, large security operations centers have moved to deploy endpoint-based sensors that provide deeper visibility into low-level events across their enterprises. Unfortunately, for many organizations in government and industry, the installation, maintenance, and resource requirements of these newer solutions pose barriers to adoption and are perceived as risks to organizations' missions. To mitigate this problem we investigated the utility of agentless detection of malicious endpoint behavior, using only the standard build-in Windows audit logging facility as our signal. We found that Windows audit logs, while emitting manageable sized data streams on the endpoints, provide enough information to allow robust detection of malicious behavior. Audit logs provide an effective, low-cost alternative to deploying additional expensive agent-based breach detection systems in many government and industrial settings, and can be used to detect, in our tests, 83% percent of malware samples with a 0.1% false positive rate. They can also supplement already existing host signature-based antivirus solutions, like Kaspersky, Symantec, and McAfee, detecting, in our testing environment, 78% of malware missed by those antivirus systems.


title: High-resolution 3D phase imaging using a partitioned detection aperture: a wave-optic analysis

abstract: Quantitative phase imaging has become a topic of considerable interest in the microscopy community. We have recently described one such technique based on the use of a partitioned detection aperture, which can be operated in a single shot with an extended source [Opt. Lett. 37, 4062 (2012)]. We follow up on this work by providing a rigorous theory of our technique using paraxial wave optics, where we derive fully three-dimensional spread functions for both phase and intensity. Using these functions we discuss methods of phase reconstruction for in- and out-of-focus samples, insensitive to weak attenuations of light. Our approach provides a strategy for detection-limited lateral resolution with an extended depth of field, and is applicable to imaging smooth and rough samples.


title: A remarkable recurrent nova in M31: Discovery and optical/UV observations of the predicted 2014 eruption

abstract: The Andromeda Galaxy recurrent nova M31N 2008-12a had been caught in eruption eight times. The inter-eruption period of M31N 2008-12a is ~1 year, making it the most rapidly recurring system known, and a strong single-degenerate Type Ia Supernova progenitor candidate. Following the 2013 eruption, a campaign was initiated to detect the predicted 2014 eruption and to then perform high cadence optical photometric and spectroscopic monitoring using ground-based telescopes, along with rapid UV and X-ray follow-up with the Swift satellite. Here we report the results of a high cadence multicolour optical monitoring campaign, the spectroscopic evolution, and the UV photometry. We also discuss tantalising evidence of a potentially related, vastly-extended, nebulosity. The 2014 eruption was discovered, before optical maximum, on October 2, 2014. We find that the optical properties of M31N 2008-12a evolve faster than all Galactic recurrent novae known, and all its eruptions show remarkable similarity both photometrically and spectroscopically. Optical spectra were obtained as early as 0.26 days post maximum, and again confirm the nova nature of the eruption. A significant deceleration of the inferred ejecta expansion velocity is observed which may be caused by interaction of the ejecta with surrounding material, possibly a red giant wind. We find a low ejected mass and low ejection velocity, which are consistent with high mass-accretion rate, high mass white dwarf, and short recurrence time models of novae. We encourage additional observations, especially around the predicted time of the next eruption, towards the end of 2015.


title: Electromagnetic $N-\Delta(1232)$ transitions within the point-form of relativistic quantum mechanics

abstract: The electromagnetic $N-\Delta(1232)$ transition amplitudes are calculated using the point-form of relativistic quantum mechanics. The relativistic effects incorporated in the electromagnetic matrix elements give a good description of the transition amplitudes to the $\Delta(1232)$ resonance, reproducing well the $Q^2$ behaviour of the data, apart from the low $Q^2$ one.


title: One-loop renormalization of the electroweak chiral Lagrangian with a light Higgs

abstract: We consider the general chiral effective action which parametrizes the nonlinear realization of the spontaneous breaking of the electroweak symmetry with a light Higgs, and compute the one-loop ultraviolet divergences coming from Higgs and electroweak Goldstone fluctuations using the background field method. The renormalization of the divergences is carried out through operators of next-to-leading order in the chiral counting, i.e. of O(p^4). Being of the same order in power counting, the logarithmic corrections linked to these divergences can be as important as the tree-level contributions from the O(p^4) operators, and must be accounted for in the phenomenological analysis of experimental data. Deviations in the O(p^2) (leading-order) couplings with respect to the Standard Model values, e.g., in the h->WW coupling, would generate contributions from the 1-loop chiral logarithms computed in this work to a vast variety of observables, which do not have a counterpart in the conventional electroweak effective theory with a linearly transforming Higgs complex doublet.


title: Gradual Certified Programming in Coq

abstract: Expressive static typing disciplines are a powerful way to achieve high-quality software. However, the adoption cost of such techniques should not be under-estimated. Just like gradual typing allows for a smooth transition from dynamically-typed to statically-typed programs, it seems desirable to support a gradual path to certified programming. We explore gradual certified programming in Coq, providing the possibility to postpone the proofs of selected properties, and to check "at runtime" whether the properties actually hold. Casts can be integrated with the implicit coercion mechanism of Coq to support implicit cast insertion a la gradual typing. Additionally, when extracting Coq functions to mainstream languages, our encoding of casts supports lifting assumed properties into runtime checks. Much to our surprise, it is not necessary to extend Coq in any way to support gradual certified programming. A simple mix of type classes and axioms makes it possible to bring gradual certified programming to Coq in a straightforward manner.


title: Discovery of a strongly phase-variable spectral feature in the isolated neutron star RX J0720.4-3125

abstract: We present the discovery of a strongly phase-variable absorption feature in the X-ray spectrum of the nearby, thermally-emitting, isolated neutron star RX J0720.4-3125. The absorption line was detected performing detailed phase-resolved spectroscopy in 20 XMM-Newton observations, covering the period May 2000 - September 2012. The feature has an energy of ~750eV, an equivalent width of ~30eV, and it is significantly detected for only ~20% of the pulsar rotation. The absorption feature appears to be stable over the timespan covered by the observations. Given its strong dependence on the pulsar rotational phase and its narrow width, a plausible interpretation is in terms of resonant proton cyclotron absorption/scattering in a confined magnetic structure very close to the neutron star surface. The inferred field in such a magnetic loop is B_loop ~ 2 x 10^{14} G, a factor of ~7 higher than the surface dipolar magnetic field.


title: Rockafellar's Sum Theorem

abstract: We show how to remove the boundedness condition from Eberhard-Wenczel proof of the Rockafellar's Sum Theorem.


title: Conditioning Gaussian measure on Hilbert space

abstract: For a Gaussian measure on a separable Hilbert space with covariance operator $C$, we show that the family of conditional measures associated with conditioning on a closed subspace $S^{\perp}$ are Gaussian with covariance operator the short $\mathcal{S}(C)$ of the operator $C$ to $S$. We provide two proofs. The first uses the theory of Gaussian Hilbert spaces and a characterization of the shorted operator by Andersen and Trapp. The second uses recent developments by Corach, Maestripieri and Stojanoff on the relationship between the shorted operator and $C$-symmetric oblique projections onto $S^{\perp}$. To obtain the assertion when such projections do not exist, we develop an approximation result for the shorted operator by showing, for any positive operator $A$, how to construct a sequence of approximating operators $A^{n}$ which possess $A^{n}$-symmetric oblique projections onto $S^{\perp}$ such that the sequence of shorted operators $\mathcal{S}(A^{n})$ converges to $\mathcal{S}(A)$ in the weak operator topology. This result combined with the martingale convergence of random variables associated with the corresponding approximations $C^{n}$ establishes the main assertion in general. Moreover, it in turn strengthens the approximation theorem for shorted operator when the operator is trace class; then the sequence of shorted operators $\mathcal{S}(A^{n})$ converges to $\mathcal{S}(A)$ in trace norm.


title: A Flexible and Efficient Algorithmic Framework for Constrained Matrix and Tensor Factorization

abstract: We propose a general algorithmic framework for constrained matrix and tensor factorization, which is widely used in signal processing and machine learning. The new framework is a hybrid between alternating optimization (AO) and the alternating direction method of multipliers (ADMM): each matrix factor is updated in turn, using ADMM, hence the name AO-ADMM. This combination can naturally accommodate a great variety of constraints on the factor matrices, and almost all possible loss measures for the fitting. Computation caching and warm start strategies are used to ensure that each update is evaluated efficiently, while the outer AO framework exploits recent developments in block coordinate descent (BCD)-type methods which help ensure that every limit point is a stationary point, as well as faster and more robust convergence in practice. Three special cases are studied in detail: non-negative matrix/tensor factorization, constrained matrix/tensor completion, and dictionary learning. Extensive simulations and experiments with real data are used to showcase the effectiveness and broad applicability of the proposed framework.


title: A Cambrian framework for the oriented cycle

abstract: This paper completes the project of constructing combinatorial models (called frameworks) for the exchange graph and g-vector fan associated to any exchange matrix B whose Cartan companion is of finite or affine type, using the combinatorics and geometry of Coxeter-sortable elements and Cambrian lattices/fans. Specifically, we construct a framework in the unique non-acyclic affine case, the cyclically oriented n-cycle. In the acyclic affine case, a framework was constructed by combining a copy of the Cambrian fan for B with an antipodal copy of the Cambrian fan for -B. In this paper, we extend this "doubled Cambrian fan" construction to the oriented n-cycle, using a more general notion of sortable elements for quivers with cycles.


title: A Criterion for Isomorphism of Artinian Gorenstein Algebras

abstract: Let $A$ be an Artinian Gorenstein algebra over an infinite field $k$ with either $\hbox{char}(k)=0$ or $\hbox{char}(k)>\nu$, where $\nu$ is the socle degree of $A$. To every such algebra and a linear projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the socle $\hbox {Soc}(A)$ of $A$, one can associate a certain algebraic hypersurface $S_{\pi}\subset{\mathfrak m}$, which is the graph of a polynomial map $P_{\pi}:\hbox{ker}\,\pi\to \hbox{Soc}(A)\simeq k$. Recently, the author and his collaborators have obtained the following surprising criterion: two Artinian Gorenstein algebras $A$, $\tilde A$ are isomorphic if and only if any two hypersurfaces $S_{\pi}$ and $S_{\tilde\pi}$ arising from $A$ and $\tilde A$, respectively, are affinely equivalent. The proof is indirect and relies on a geometric argument. In the present paper we give a short algebraic proof of this statement. We also discuss a connection, established elsewhere, between the polynomials $P_{\pi}$ and Macaulay inverse systems.


title: Control Infrastructure for a Pulsed Ion Accelerator

abstract: We report on updates to the accelerator controls for the Neutralized Drift Compression Experiment II, a pulsed induction-type accelerator for heavy ions. The control infrastructure is built around a LabVIEW interface combined with an Apache Cassandra backend for data archiving. Recent upgrades added the storing and retrieving of device settings into the database, as well as ZeroMQ as a message broker that replaces LabVIEW's shared variables. Converting to ZeroMQ also allows easy access via other programming languages, such as Python.


title: Coherent chemical kinetics as quantum walks I: Reaction operators for radical pairs

abstract: Classical chemical kinetics use rate-equation models to describe how a reaction proceeds in time. Such models are sufficient for describing state transitions in a reaction where coherences between different states do not arise, or in other words, a reaction which contain only incoherent transitions. A prominent example reaction containing coherent transitions is the radical-pair model. The kinetics of such reactions is defined by the so-called reaction operator which determines the radical-pair state as a function of intermediate transition rates. We argue that the well-known concept of quantum walks from quantum information theory is a natural and apt framework for describing multisite chemical reactions. By composing Kraus maps that act only on two sites at a time, we show how the quantum-walk formalism can be applied to derive a reaction operator for the standard avian radical-pair reaction. Our reaction operator predicts a recombination dephasing rate consistent with recent experiments [J. Chem. Phys. {\bf 139}, 234309 (2013)], in contrast to previous work by Jones and Hore [Chem. Phys. Lett. {\bf 488}, 90 (2010)]. The standard radical-pair reaction has conventionally been described by either a normalised density operator incorporating both the radical pair and reaction products, or by a trace-decreasing density operator that considers only the radical pair. We demonstrate a density operator that is both normalised and refers only to radical-pair states. Generalisations to include additional dephasing processes and an arbitrary number of sites are also discussed.


title: Convolutional LSTM Network: A Machine Learning Approach for Precipitation Nowcasting

abstract: The goal of precipitation nowcasting is to predict the future rainfall intensity in a local region over a relatively short period of time. Very few previous studies have examined this crucial and challenging weather forecasting problem from the machine learning perspective. In this paper, we formulate precipitation nowcasting as a spatiotemporal sequence forecasting problem in which both the input and the prediction target are spatiotemporal sequences. By extending the fully connected LSTM (FC-LSTM) to have convolutional structures in both the input-to-state and state-to-state transitions, we propose the convolutional LSTM (ConvLSTM) and use it to build an end-to-end trainable model for the precipitation nowcasting problem. Experiments show that our ConvLSTM network captures spatiotemporal correlations better and consistently outperforms FC-LSTM and the state-of-the-art operational ROVER algorithm for precipitation nowcasting.


title: Parallel sparse interpolation using small primes

abstract: To interpolate a supersparse polynomial with integer coefficients, two alternative approaches are the Prony-based "big prime" technique, which acts over a single large finite field, or the more recently-proposed "small primes" technique, which reduces the unknown sparse polynomial to many low-degree dense polynomials. While the latter technique has not yet reached the same theoretical efficiency as Prony-based methods, it has an obvious potential for parallelization. We present a heuristic "small primes" interpolation algorithm and report on a low-level C implementation using FLINT and MPI.


title: DSA: Decentralized Double Stochastic Averaging Gradient Algorithm

abstract: This paper considers convex optimization problems where nodes of a network have access to summands of a global objective. Each of these local objectives is further assumed to be an average of a finite set of functions. The motivation for this setup is to solve large scale machine learning problems where elements of the training set are distributed to multiple computational elements. The decentralized double stochastic averaging gradient (DSA) algorithm is proposed as a solution alternative that relies on: (i) The use of local stochastic averaging gradients. (ii) Determination of descent steps as differences of consecutive stochastic averaging gradients. Strong convexity of local functions and Lipschitz continuity of local gradients is shown to guarantee linear convergence of the sequence generated by DSA in expectation. Local iterates are further shown to approach the optimal argument for almost all realizations. The expected linear convergence of DSA is in contrast to the sublinear rate characteristic of existing methods for decentralized stochastic optimization. Numerical experiments on a logistic regression problem illustrate reductions in convergence time and number of feature vectors processed until convergence relative to these other alternatives.


title: On the Equivalence of CoCoA+ and DisDCA

abstract: In this document, we show that the algorithm CoCoA+ (Ma et al., ICML, 2015) under the setting used in their experiments, which is also the best setting suggested by the authors that proposed this algorithm, is equivalent to the practical variant of DisDCA (Yang, NIPS, 2013).


title: Remarks on mirror symmetry of Donaldson-Thomas theory for Calabi-Yau 4-folds

abstract: Motivated by Strominger-Yau-Zaslow's mirror symmetry proposal and Kontsevich's homological mirror symmetry conjecture, we study mirror phenomena (in A-model) of certain results from Donaldson-Thomas theory for Calabi-Yau 4-folds.


title: Superiorization and Perturbation Resilience of Algorithms: A Continuously Updated Bibliography

abstract: This document presents a (mostly) chronologically-ordered bibliography of scientific publications on the superiorization methodology and perturbation resilience of algorithms which is compiled and continuously updated by us at: http://math.haifa.ac.il/yair/bib-superiorization-censor.html. Since the beginnings of this topic we try to trace the work that has been published about it since its inception. To the best of our knowledge this bibliography represents all available publications on this topic to date, and while the URL is continuously updated we will revise this document and bring it up to date on arXiv approximately once a year. Abstracts of the cited works, and some links and downloadable files of preprints or reprints are available on the above mentioned Internet page. If you know of a related scientific work in any form that should be included here kindly write to me on: yair@math.haifa.ac.il with full bibliographic details, a DOI if available, and a PDF copy of the work if possible. The Internet page was initiated on March 7, 2015, and has been last updated on March 9, 2024. Comment: Some of the items have on the above mentioned Internet page more information and links than in this report. Acknowledgments: The compilation of this report was supported by the ISF-NSFC joint research program grant No. 2874/19, by the U.S. National Institutes of Health grant No. R01CA266467 and by the Cooperation Program in Cancer Research of the German Cancer Research Center (DKFZ) and the Israeli Ministry of Innovation, Science and Technology (MOST).


title: Improved Greedy Algorithm for Set Covering Problem

abstract: This paper proposes a greedy algorithm named as Big step greedy set cover algorithm to compute approximate minimum set cover. The Big step greedy algorithm, in each step selects p sets such that the union of selected p sets contains greatest number of uncovered elements and adds the selected p sets to partial set cover. The process of adding p sets is repeated until all the elements are covered. When p=1 it behaves like the classical greedy algorithm.


title: Fundamental scalar fields and the dark side of the universe

abstract: Starting with geometrical premises, we infer the existence of fundamental cosmological scalar fields. We then consider physically relevant situations in which spacetime metric is induced by one or, in general, by two scalar fields, in accord with the Papapetrou algorithm. The first of these fields, identified with dark energy, has exceedingly small but finite (subquantum) Hubble mass scale (~ 10^-33 eV), and might be represented as a neutral superposition of quasi-static electric fields. The second field is identified with dark matter as an effectively scalar conglomerate composed of primordial neutrinos and antineutrinos in a special tachyonic state.


title: Member candidates of the star clusters from LAMOST DR2 data

abstract: In this work, we provide 2189 photometric- and kinematic-selected member candidates of 24 star clusters from the LAMOST DR2 catalog. We perform two-step membership identification: selection along the stellar track in the color-magnitude diagram, i.e., photometric identification, and the selection from the distribution of radial velocities, i.e. the kinematic identification. We find that the radial velocity from the LAMOST data are very helpful in the membership identification. The mean probability of membership is 40\% for the radial velocity selected sample. With these 24 star clusters, we investigate the performance of the radial velocity and metallicity estimated in the LAMOST pipeline. We find that the systematic offset in radial velocity and metallicity are $0.85\pm1.26$\,\kms\ and $-0.08\pm0.04$\,dex, with dispersions of $5.47_{-0.71}^{+1.16}$\,\kms\ and $0.13_{-0.02}^{+0.04}$\,dex, respectively. Finally, we propose that the photometric member candidates of the clusters covered by the LAMOST footprints should be assigned higher priority so that more member stars can be observed.


title: The Hidden K-edge Signal in K-edge Imaging

abstract: K-edge imaging is commonly used for viewing contrast pharmaceuticals in a variety of multi-energy x-ray imaging techniques, ranging from dual-energy and spectral computed tomography to fluoroscopy. When looking for the K-edge signal of a specific contrast, by taking measurements either side of the K-edge, it is found that the K-edge is not always observable for low concentrations. We have also observed that the ability to see the K-edge is unit dependent - a K-edge that is not observable in computed tomography (CT) reconstructed linear attenuation units can often be made visible by converting to Hounsfield units. This paper presents an investigation of this K-edge hiding phenomenon. We conclude that if a multi-energy x-ray measurement of any K-edge material contains a signal of any other material, then there will be a positive concentration of that K-edge material below which its K-edge cannot be observed without extracting the K-edge signal through means of basis decomposition. Mathematical descriptions of this limiting minimum concentration is provided in three cases - multi-energy radiographic projection images; and reconstructed multi-energy CT images for both linear attenuation and Hounsfield units. Two important properties of this limiting concentration are provided: the minimum concentration for Hounsfield units is always strictly less than the minimum concentration for linear attenuation; and the minimum concentration for radiographic projections will typically be much larger than the minimum concentration for reconstructed linear attenuation. Finally experimental observation of this phenomenon is presented using data collected by the MARS spectral CT scanner equipped with a CdTe Medipix-3RX camera operating in charge-summing mode, where it is also shown that the K-edge can be recovered through basis decomposition.


title: General coupled mode theory in non-Hermitian waveguides

abstract: In the presence of loss and gain, the coupled mode equation on describing the mode hybridization of various waveguides or cavities, or cavities coupled to waveguides becomes intrinsically non-Hermitian. In such non-Hermitian waveguides, the standard coupled coupled mode theory fails. We generalize the coupled mode theory with a properly defined inner product based on reaction conservation. We apply our theory to the non-Hermitian parity-time symmetric waveguides, and obtain excellent agreement with results obtained by finite element fullwave simulations. The theory presented here is typically formulated in space to study coupling between waveguides, which can be transformed into time domain by proper reformulation to study coupling between non-Hermitian resonators. Our theory has the strength of studying non-Hermitian optical systems with inclusion of the full vector fields, thus is useful to study and design non-Hermitian devices that support asymmetric and even nonreciprocal light propagations


title: Subcubic edge chromatic critical graphs have many edges

abstract: We consider graphs $G$ with $\Delta=3$ such that $\chi'(G)=4$ and $\chi'(G-e)=3$ for every edge $e$, so-called \emph{critical} graphs. Jakobsen noted that the Petersen graph with a vertex deleted, $P^*$, is such a graph and has average degree only $\frac83$. He showed that every critical graph has average degree at least $\frac83$, and asked if $P^*$ is the only graph where equality holds. A result of Cariolaro and Cariolaro shows that this is true. We strengthen this average degree bound further. Our main result is that if $G$ is a subcubic critical graph other than $P^*$, then $G$ has average degree at least $\frac{46}{17}\approx2.706$. This bound is best possible, as shown by the Hajos join of two copies of $P^*$.


title: Student Teaching and Research Laboratory Focusing on Brain-computer Interface Paradigms - A Creative Environment for Computer Science Students -

abstract: This paper presents an applied concept of a brain-computer interface (BCI) student research laboratory (BCI-LAB) at the Life Science Center of TARA, University of Tsukuba, Japan. Several successful case studies of the student projects are reviewed together with the BCI Research Award 2014 winner case. The BCI-LAB design and project-based teaching philosophy is also explained. Future teaching and research directions summarize the review.


title: Safety Third: Roy's Criterion and Higher Order Moments

abstract: Roy's `Safety First' criterion for selecting one risky asset from many is adapted to the case of non-normal returns, via Cornish Fisher expansion. The resulting investment objective is consistent with first order stochastic dominance, and is equal to the Sharpe ratio for the case of normal returns. An investor selecting assets via this objective is not universally attracted to positive skew, rather the preference for skew depends on term, the expected return and the disastrous rate of return.


title: A Publicly Available Cross-Platform Lemmatizer for Bulgarian

abstract: Our dictionary-based lemmatizer for the Bulgarian language presented here is distributed as free software, publicly available to download and use under the GPL v3 license. The presented software is written entirely in Java and is distributed as a GATE plugin. To our best knowledge, at the time of writing this article, there are not any other free lemmatization tools specifically targeting the Bulgarian language. The presented lemmatizer is a work in progress and currently yields an accuracy of about 95% in comparison to the manually annotated corpus BulTreeBank-Morph, which contains 273933 tokens.


title: Evaluation of the Accuracy of the BGLemmatizer

abstract: This paper reveals the results of an analysis of the accuracy of developed software for automatic lemmatization for the Bulgarian language. This lemmatization software is written entirely in Java and is distributed as a GATE plugin. Certain statistical methods are used to define the accuracy of this software. The results of the analysis show 95% lemmatization accuracy.


title: Coupling-induced oscillations in two intrinsically quiescent populations

abstract: A model of two consumer-resource systems linked by interspecific interference competition of consumers is considered. The basic assumption of the model is that the dynamics of the resource is much slower than that of the consumer. In the absence of interaction each consumer-resource pair has a unique stable steady state which is completely nonoscillatory. When weakly coupled, the consumer-resource pairs are shown to exhibit sustained low-frequency synchronous antiphase relaxation oscillations.


title: Harnessing high-dimensional hyperentanglement through a biphoton frequency comb

abstract: Quantum entanglement is a fundamental resource for secure information processing and communications, where hyperentanglement or high-dimensional entanglement has been separately proposed towards high data capacity and error resilience. The continuous-variable nature of the energy-time entanglement makes it an ideal candidate for efficient high-dimensional coding with minimal limitations. Here we demonstrate the first simultaneous high-dimensional hyperentanglement using a biphoton frequency comb to harness the full potential in both energy and time domain. The long-postulated Hong-Ou-Mandel quantum revival is exhibited, with up to 19 time-bins, 96.5% visibilities. We further witness the high-dimensional energy-time entanglement through Franson revivals, which is observed periodically at integer time-bins, with 97.8% visibility. This qudit state is observed to simultaneously violate the generalized Bell inequality by up to 10.95 deviations while observing recurrent Clauser-Horne-Shimony-Holt S-parameters up to 2.76. Our biphoton frequency comb provides a platform in photon-efficient quantum communications towards the ultimate channel capacity through energy-time-polarization high-dimensional encoding.


title: Comments on the paper: Structural, optical properties and effect of amino acid on growth of KDP crystals

abstract: The L-arginine mixed potassium dihydrogenphosphate (KDP) crystal reported by Saravanan et al Indian J Pure App Phys 51 (2013) 254, is a dubious crystal. The reported unit cell parameters contradict the definition of the tetragonal crystal system.


title: Fog Computing based Radio Access Networks: Issues and Challenges

abstract: A fog computing based radio access network (F-RAN) is presented in this article as a promising paradigm for the fifth generation (5G) wireless communication system to provide high spectral and energy efficiency. The core idea is to take full advantages of local radio signal processing, cooperative radio resource management, and distributed storing capabilities in edge devices, which can decrease the heavy burden on fronthaul and avoid large-scale radio signal processing in the centralized baseband unit pool. This article comprehensively presents the system architecture and key techniques of F-RANs. In particular, key techniques and their corresponding solutions, including transmission mode selection and interference suppression, are discussed. Open issues in terms of edge caching, software-defined networking, and network function virtualization, are also identified.


title: Sequence Design to Minimize the Weighted Integrated and Peak Sidelobe Levels

abstract: Sequences with low aperiodic autocorrelation sidelobes are well known to have extensive applications in active sensing and communication systems. In this paper, we consider the problem of minimizing the weighted integrated sidelobe level (WISL), which can be used to design sequences with impulse-like autocorrelation and zero (or low) correlation zone. Two algorithms based on the general majorization-minimization method are developed to tackle the WISL minimization problem and the convergence to a stationary point is guaranteed. In addition, the proposed algorithms can be implemented via fast Fourier transform (FFT) operations and thus are computationally efficient, and an acceleration scheme has been considered to further accelerate the algorithms. Moreover, the proposed methods are extended to optimize the $\ell_{p}$-norm of the autocorrelation sidelobes, which lead to a way to minimize the peak sidelobe level (PSL) criterion. Numerical experiments show that the proposed algorithms can efficiently generate sequences with virtually zero autocorrelation sidelobes in a specified lag interval and can also produce very long sequences with much smaller PSL compared with some well known analytical sequences.


title: Compositeness of the strange, charm and beauty odd parity $\Lambda$ states

abstract: We study the dependence on the quark mass of the compositeness of the lowest-lying odd parity hyperon states. Thus, we pay attention to $\Lambda-$like states in the strange, charm and beauty, sectors which are dynamically generated using a unitarized meson-baryon model. In the strange sector we use an SU(6) extension of the Weinberg-Tomozawa meson-baryon interaction, and we further implement the heavy-quark spin symmetry to construct the meson-baryon interaction when charmed or beauty hadrons are involved. In the three examined flavor sectors, we obtain two $J^P=1/2^-$ and one $J^P=3/2^-$ $\Lambda$ states. We find that the $\Lambda$ states which are bound states (the three $\Lambda_b$) or narrow resonances (one $\Lambda(1405)$ and one $\Lambda_c(2595)$) are well described as molecular states composed of $s$-wave meson-baryon pairs. The $\frac{1}{2}^-$ wide $\Lambda(1405)$ and $\Lambda_c(2595)$ as well as the $\frac{3}{2}^-$ $\Lambda(1520)$ and $\Lambda_c(2625)$ states display smaller compositeness and so they would require new mechanisms, such as $d$-wave interactions.


title: On the space of connections having non-trivial twisted harmonic spinors

abstract: We consider Dirac operators on odd-dimensional compact spin manifolds which are twisted by a product bundle. We show that the space of connections on the twisting bundle which yield an invertible operator has infinitely many connected components if the untwisted Dirac operator is invertible and the dimension of the twisting bundle is sufficiently large.


title: Unconventional thermoelectric behaviors and enhancement of figure of merit in Rashba spintronic systems

abstract: Thermoelectric transport in strongly spin-orbit coupled two-dimensional Rashba system is studied using the exact solution of the linearized Boltzmann equation. Some unusual transport behaviors are revealed. We show that the electrical conductivity takes a Drude form when the Fermi energy $E_{F}$ is above the band crossing point, but a non-Drude form which is a quadratic function of $E_{F}$ when $E_{F}$ lies below the band crossing point. The Mott relation breaks down when $E_{F}$ lies in the vicinity of the band crossing point. It is shown that the thermopower and thermoelectric figure of merit are strongly enhanced when $E_{F}$ downs below the band crossing point. This enhancement is attributed to not only the one-dimensional-like density of state but also the unconventional intraband elastic scattering below the band crossing point. The differences between these results and those obtained by the relaxation time approximation are discussed in detail.


title: The Formation of Stellar Halos in Late-Type Galaxies

abstract: Near-field observations may provide tight constraints - i.e. "boundary conditions" - on any model of structure formation in the Universe. Detailed observational data have long been available for the Milky Way (e.g. Freeman $\&$ Bland-Hawthorn 2002) and have provided tight constraints on several Galaxy formation models (e.g. Abadi et al. 2003, Bekki $\&$ Chiba 2001). An implicit assumption still remains unanswered though: is the Milky Way a "normal" spiral? Searching for directions, it feels natural to look at our neighbour: Andromeda. An intriguing piece of the puzzle is provided by contrasting its stellar halo with that of our Galaxy, even more so since Mouhcine et al. (2005) have suggested that a correlation between stellar halo metallicity and galactic luminosity is in place and would leave the Milky Way halo as an outlier with respect to other spirals of comparable luminosities. Further questions hence arise: is there any stellar halo-galaxy formation symbiosis? Our first step has been to contrast the chemical evolution of the Milky Way with that of Andromeda by means of a semi-analytic model. We have then pursued a complementary approach through the analysis of several semi-cosmological late-type galaxy simulations which sample a wide variety of merging histories. We have focused on the stellar halo properties in the simulations at redshift zero and shown that - at any given galaxy luminosity - the metallicities of the stellar halos in the simulations span a range in excess of $\sim$ 1 dex, a result which is strengthened by the robustness tests we have performed. We suggest that the underlying driver of the halo metallicity dispersion can be traced to the diversity of galactic mass assembly histories inherent within the hierarchical clustering paradigm.


title: Multi-channel exchange-scattering spin polarimetry

abstract: Electron spin takes critical role in almost all novel phenomena discovered in modern condensed matter physics (High-temperature superconductivity, Kondo effect, Giant Magnetoresistance, topological insulator, quantum anomalous Hall effect, etc.). However, the measurements for electron spin is of poor quality which blocks the development of material sciences because of the low efficiency of spin polarimeter. Here we show an imaging type exchange-scattering spin polarimeter with 5 orders more efficiency compared with a classical Mott polarimeter. As a demonstration, the fine spin structure of electronic states in bismuth (111) is investigated, showing the strong Rashba type spin splitting behavior in both bulk and surface states. This improvement pave the way to study novel spin related phenomena with unprecedented accuracy.


title: Twisted X-rays: incoming waveforms yielding discrete diffraction patterns for helical structures

abstract: Conventional X-ray methods use incoming plane waves and result in discrete diffraction patterns when scattered at crystals. Here we find, by a systematic method, incoming waveforms which exhibit discrete diffraction patterns when scattered at helical structures. As examples we present simulated diffraction patterns of carbon nanotubes and tobacco mosaic virus. The new incoming waveforms, which we call twisted waves due to their geometric shape, are found theoretically as closed-form solutions to Maxwell's equations. The theory of the ensuing diffraction patterns is developed in detail. A twisted analogue of the Von Laue condition is seen to hold, with the peak locations encoding the symmetry and the helix parameters, and the peak intensities indicating the electronic structure in the unit cell. If suitable twisted X-ray sources can in the future be realized experimentally, it appears from our mathematical results that they will provide a powerful tool for directly determining the detailed atomic structure of numerous biomolecules and nanostructures with helical symmetries. This would eliminate the need to crystallize those structures or their subunits.


title: Limit theorems for monomer-dimer mean-field models with attractive potential

abstract: The number of monomers, in a monomer-dimer mean-field model with an attractive potential, fluctuates according to the central limit theorem when the parameters are outside the critical curve. At the critical point the model belongs to the same universality class of the mean-field ferromagnet. Along the critical curve the monomer and dimer phases coexist.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: A curved line search algorithm for atomic structure relaxation

abstract: Ab initio atomic relaxations often take large numbers of steps and long times to converge. An atomic relaxation method based on on-the-flight force learning and a corresponding new curved line minimization algorithm is presented to dramatically accelerate this process. Results for metal clusters demonstrate the significant speedup of this method compared with conventional conjugate-gradient method.


title: Large-Scale Convex Optimization for Ultra-Dense Cloud-RAN

abstract: The heterogeneous cloud radio access network (Cloud-RAN) provides a revolutionary way to densify radio access networks. It enables centralized coordination and signal processing for efficient interference management and flexible network adaptation. Thus, it can resolve the main challenges for next-generation wireless networks, including higher energy efficiency and spectral efficiency, higher cost efficiency, scalable connectivity, and low latency. In this article, we shall provide an algorithmic thinking on the new design challenges for the dense heterogeneous Cloud-RAN based on convex optimization. As problem sizes scale up with the network size, we will demonstrate that it is critical to take unique structures of design problems and inherent characteristics of wireless channels into consideration, while convex optimization will serve as a powerful tool for such purposes. Network power minimization and channel state information acquisition will be used as two typical examples to demonstrate the effectiveness of convex optimization methods. We will then present a two-stage framework to solve general large-scale convex optimization problems, which is amenable to parallel implementation in the cloud data center.


title: L\'evy-driven Fluid Queue with Server Breakdowns and Vacations

abstract: In this paper, we consider a L\'evy-driven fluid queueing system where the server may subject to breakdowns and repairs. In addition, the server will leave for a vacation each time when he finds an empty system. We cast the queueing process as a L\'evy process modified to have random jumps at two classes of stopping times. By using the Kella-Whitt martingale method, we obtain the limiting distribution of the virtual waiting time process. Moreover, we investigate the busy period, the correlation structure and the stochastic decomposition properties. These results may be generalized to L\'evy processes with multi-class jump inputs or L\'evy-driven queues with multiple input classes.


title: The filamentation of the laser beam as a labyrinth instability

abstract: At incident powers much higher than the threshold for filamentation a pulse from a high-power laser generates in the transversal plane a complex structure. It consists of randomly meandering stripes defining connected regions where the field intensity is high; and, the complementary regions dominated by diffusive plasma with defocusing property. The pattern is similar to an ensemble of clusters of various extensions. We provide evidence that there is a correlation between this filamentation and the {\it labyrinth} instability in reaction-diffusion systems. Besides the similarity of the spatial organization in the two cases, we show that the differential equations that describe these two dynamical processes lead to effects that can be mutually mapped. For the laser beam at high power the Non-linear Schrodinger Equation in a regime of strong self-focusing and ionization of the air leads to multiple filamentation and the structure of clusters. Under the effect of the {\it labyrinth} instability a model of activator-inhibitor leads to a similar pattern. The origin of this connection must be found in the fact that both optical turbulence and the activator-inhibitor dynamics have the nature of competition between two phases of the same system.


title: C, P, and CP asymmetry observables based on triple product asymmetries

abstract: The discrete symmetries C, P and CP are known to be violated by the weak interaction. It is possible to probe the breaking of these symmetries using asymmetries constructed from triple products based on the decay of some particle M to a four body final state. These proceedings discuss the full set of possible asymmetries that can be probed and applications to various measurement scenarios, focusing mostly on charm mesons and baryons. The ramifications of what can be learned from such measurements are also discussed.


title: Circuit electromechanics with single photon strong coupling

abstract: In circuit electromechanics, the coupling strength is usually very small. Here, replacing the capacitor in circuit electromechanics by a superconducting flux qubit, we show that the coupling among the qubit and the two resonators can induce effective electromechanical coupling which can attain the strong coupling regime at the single photon level with feasible experimental parameters. We use dispersive couplings among two resonators and the qubit while the qubit is also driven by an external classical field. These couplings form a three-wave mixing configuration among the three elements where the qubit degree of freedom can be adiabatically eliminated, and thus results in the enhanced coupling between the two resonators. Therefore, our work constitutes the first step towards studying quantum nonlinear effect in circuit electromechanics.


title: Direct measurements of the extraordinary optical momentum and transverse spin-dependent force using a nano-cantilever

abstract: Known since Kepler's observation that a comet's tail is oriented away from the sun, radiation pressure stimulated remarkable discoveries in electromagnetism, quantum physics and relativity [1,2]. This phenomenon plays a crucial role in a variety of systems, from atomic [3-5] to astronomical [6] scales. The pressure of light is associated with the momentum of photons, and it is usually assumed that both the optical momentum and the radiation-pressure force are naturally aligned with the propagation of light, i.e., its wavevector. Here we report the direct observation of an extraordinary optical momentum and force directed perpendicular to the wavevector, and proportional to the optical spin (i.e., degree of circular polarization). Such optical force was recently predicted for evanescent waves [7] and other structured fields [8]. It can be associated with the enigmatic "spin-momentum" part of the Poynting vector, which was introduced by Belinfante in field theory 75 years ago [9-11]. We measure this unusual transverse momentum using a nano-cantilever capable of femto-Newton resolution, which is immersed in an evanescent optical field above the total-internal-reflecting glass surface. Furthermore, the transverse force we measure exhibits another polarization-dependent contribution determined by the imaginary part of the complex Poynting vector. By revealing new types of optical forces in structured fields, our experimental findings revisit fundamental momentum properties of light and bring a new twist to optomechanics.


title: Strong Proximities on Smooth Manifolds and Vorono\" i Diagrams

abstract: This article introduces strongly near smooth manifolds. The main results are (i) second countability of the strongly hit and far-miss topology on a family $\mathcal{B}$ of subsets on the Lodato proximity space of regular open sets to which singletons are added, (ii) manifold strong proximity, (iii) strong proximity of charts in manifold atlases implies that the charts have nonempty intersection. The application of these results is given in terms of the nearness of atlases and charts of proximal manifolds and what are known as Vorono\" i manifolds.


title: Improved $L_p-$mixed volume inequality for convex bodies

abstract: A sharp quantitative version of the $L_p-$mixed volume inequality is established. This is achieved by exploiting an improved Jensen inequality. This inequality is a generalization of Pinsker-Csisz\'ar-Kullback inequality for the Tsallis entropy. Finally, a sharp quantitative version of the $L_p-$Brunn-Minkowski inequality is also proved as a corollary.


title: Efficiency in Multi-objective Games

abstract: In a multi-objective game, each agent individually evaluates each overall action-profile on multiple objectives. I generalize the price of anarchy to multi-objective games and provide a polynomial-time algorithm to assess it. This work asserts that policies on tobacco promote a higher economic efficiency.


title: Some Inconvenient Truths

abstract: A recent paper by Fr\"ob employs the linearized Weyl-Weyl correlator to construct the tensor power spectrum. Although his purpose was to argue that infrared divergences and secular growth in the graviton propagator are gauge artefacts, a closer examination of the problem leads to the opposite conclusion. The analogies with the BMS symmetries of graviton scattering on a flat background, and with the Aharonov-Bohm effect of quantum mechanics, suggest that de Sitter breaking secular growth is likely to be observable in graviton loop effects. And a recent result for the vacuum polarization does seem to show it.


title: Parameterized post-Newtonian limit of Horndeski's gravity theory

abstract: We discuss the parameterized post-Newtonian (PPN) limit of Horndeski's theory of gravity, also known under the name generalized G-inflation or $\text{G}^2$-inflation, which is the most general scalar-tensor theory of gravity with at most second order field equations in four dimensions. We derive conditions on the action for the validity of the post-Newtonian limit. For the most general class of theories consistent with these conditions we calculate the PPN parameters $\gamma(r)$ and $\beta(r)$, which in general depend on the interaction distance $r$ between the gravitating mass and the test mass. For a more restricted class of theories, in which the scalar field is massless, we calculate the full set of PPN parameters. It turns out that in this restricted case all parameters are constants and that the only parameters potentially deviating from observations are $\gamma$ and $\beta$. We finally apply our results to a number of example theories, including galileons and different models of Higgs inflation.


title: Quantitative unique continuation for operators with partially analytic coefficients. Application to approximate control for waves

abstract: In this article, we first prove quantitative estimates associated to the unique continuation theorems for operators with partially analytic coefficients of Tataru, Robbiano-Zuily and H\"ormander. We provide local stability estimates that can be propagated, leading to global ones. Then, we specify the previous results to the wave operator on a Riemannian manifold $\mathcal{M}$ with boundary. For this operator, we also prove Carleman estimates and local quantitative unique continuation from and up to the boundary $\partial \mathcal{M}$. This allows us to obtain a global stability estimate from any open set $\Gamma$ of $\mathcal{M}$ or $\partial \mathcal{M}$, with the optimal time and dependence on the observation. This provides the cost of approximate controllability: for any $T>2 \sup_{x \in \mathcal{M}}(dist(x,\Gamma))$, we can drive any data of $H^1_0 \times L^2$ in time $T$ to an $\varepsilon$-neighborhood of zero in $L^2 \times H^{-1}$, with a control located in $\Gamma$, at cost $e^{C/\varepsilon}$. We also obtain similar results for the Schr\"odinger equation.


title: Entropic and displacement interpolation: a computational approach using the Hilbert metric

abstract: Monge-Kantorovich optimal mass transport (OMT) provides a blueprint for geometries in the space of positive densities -- it quantifies the cost of transporting a mass distribution into another. In particular, it provides natural options for interpolation of distributions (displacement interpolation) and for modeling flows. As such it has been the cornerstone of recent developments in physics, probability theory, image processing, time-series analysis, and several other fields. In spite of extensive work and theoretical developments, the computation of OMT for large scale problems has remained a challenging task. An alternative framework for interpolating distributions, rooted in statistical mechanics and large deviations, is that of Schroedinger bridges (entropic interpolation). This may be seen as a stochastic regularization of OMT and can be cast as the stochastic control problem of steering the probability density of the state-vector of a dynamical system between two marginals. In this approach, however, the actual computation of flows had hardly received any attention. In recent work on Schroedinger bridges for Markov chains and quantum evolutions, we noted that the solution can be efficiently obtained from the fixed-point of a map which is contractive in the Hilbert metric. Thus, the purpose of this paper is to show that a similar approach can be taken in the context of diffusion processes which i) leads to a new proof of a classical result on Schroedinger bridges and ii) provides an efficient computational scheme for both, Schroedinger bridges and OMT. We illustrate this new computational approach by obtaining interpolation of densities in representative examples such as interpolation of images.


title: Generating minimally transitive permutation groups

abstract: We improve the upper bounds (in terms of $n$) in [9] and [13] on the minimal number of elements required to generate a minimally transitive permutation group of degree $n$.


title: Contamination Estimation via Convex Relaxations

abstract: Identifying anomalies and contamination in datasets is important in a wide variety of settings. In this paper, we describe a new technique for estimating contamination in large, discrete valued datasets. Our approach considers the normal condition of the data to be specified by a model consisting of a set of distributions. Our key contribution is in our approach to contamination estimation. Specifically, we develop a technique that identifies the minimum number of data points that must be discarded (i.e., the level of contamination) from an empirical data set in order to match the model to within a specified goodness-of-fit, controlled by a p-value. Appealing to results from large deviations theory, we show a lower bound on the level of contamination is obtained by solving a series of convex programs. Theoretical results guarantee the bound converges at a rate of $O(\sqrt{\log(p)/p})$, where p is the size of the empirical data set.


title: Impaction of spray droplets on leaves: influence of formulation and leaf character on shatter, bounce and adhesion

abstract: This paper combines experimental data with simple mathematical models to investigate the influence of spray formulation type and leaf character (wettability) on shatter, bounce and adhesion of droplets impacting with cotton, rice and wheat leaves. Impaction criteria that allow for different angles of the leaf surface and the droplet impact trajectory are presented; their predictions are based on whether combinations of droplet size and velocity lie above or below bounce and shatter boundaries. In the experimental component, real leaves are used, with all their inherent natural variability. Further, commercial agricultural spray nozzles are employed, resulting in a range of droplet characteristics. Given this natural variability, there is broad agreement between the data and predictions. As predicted, the shatter of droplets was found to increase as droplet size and velocity increased, and the surface became harder to wet. Bouncing of droplets occurred most frequently on hard to wet surfaces with high surface tension mixtures. On the other hand, a number of small droplets with low impact velocity were observed to bounce when predicted to lie well within the adhering regime. We believe this discrepancy between the predictions and experimental data could be due to air layer effects that were not taken into account in the current bounce equations. Other discrepancies between experiment and theory are thought to be due to the current assumption of a dry impact surface, whereas, in practice, the leaf surfaces became increasingly covered with fluid throughout the spray test runs.


title: The hunt for axions

abstract: Many theoretically well-motivated extensions of the Standard Model of particle physics predict the existence of the axion and further ultralight axion-like particles. They may constitute the mysterious dark matter in the universe and solve some puzzles in stellar and high-energy astrophysics. There are new, relatively small experiments around the globe, which started to hunt for these elusive particles and complement the accelerator based search for physics beyond the Standard Model.


title: Inhomogeneous chiral symmetry breaking phases in isospin-asymmetric matter

abstract: We investigate the effects of isospin asymmetry on inhomogeneous chiral symmetry breaking phases within the two-flavor NJL model. After introducing a plane-wave ansatz for each quark-flavor condensate, we find that, as long as their periodicities are enforced to be equal, a non-zero isospin chemical potential shrinks the size of the inhomogeneous phase. The asymmetry reached in charge neutral matter is nevertheless not excessively large, so that an inhomogeneous window is still present in the phase diagram. Lifting the constraint of equal periodicities alters the picture significantly, as the inhomogeneous phase survives in a much larger region of the phase diagram.


title: Low-error and broadband microwave frequency measurement in a silicon chip

abstract: Instantaneous frequency measurement (IFM) of microwave signals is a fundamental functionality for applications ranging from electronic warfare to biomedical technology. Photonic techniques, and nonlinear optical interactions in particular, have the potential to broaden the frequency measurement range beyond the limits of electronic IFM systems. The key lies in efficiently harnessing optical mixing in an integrated nonlinear platform, with low losses. In this work, we exploit the low loss of a 35 cm long, thick silicon waveguide, to efficiently harness Kerr nonlinearity, and demonstrate the first on-chip four-wave mixing (FWM) based IFM system. We achieve a large 40 GHz measurement bandwidth and record-low measurement error. Finally, we discuss the future prospect of integrating the whole IFM system on a silicon chip to enable the first reconfigurable, broadband IFM receiver with low-latency.


title: Quantum entanglement

abstract: Expository paper providing a historical survey of the gradual transformation of the "philosophical discussions" between Bohr, Einstein and Schr\"odinger on foundational issues in quantum mechanics into a quantitative prediction of a new quantum effect, its experimental verification and its proposed (and loudly advertised) applications. The basic idea of the 1935 paper of Einstein-Podolsky-Rosen (EPR) was reformulated by David Bohm for a finite dimensional spin system. This allowed John Bell to derive his inequalities that separate the prediction of quantum entanglement from its possible classical interpretation. We reproduce here their later (1971) version, reviewing on the way the generalization (and mathematical derivation) of Heisenberg's uncertainty relations (due to Weyl and Schr\"odinger) needed for the passage from EPR to Bell. We also provide an improved derivation of the quantum theoretic violation of Bell's inequalities. Soon after the experimental confirmation of the quantum entanglement (culminating with the work of Alain Aspect) it was Feynman who made public the idea of a quantum computer based on the observed effect.


title: Necessity of Future Information in Admission Control

abstract: We study the necessity of predictive information in a class of queueing admission control problems, where a system manager is allowed to divert incoming jobs up to a fixed rate, in order to minimize the queueing delay experienced by the admitted jobs. Spencer et al. (2014) show that the system's delay performance can be significantly improved by having access to future information in the form of a lookahead window, during which the times of future arrivals and services are revealed. They prove that, while delay under an optimal online policy diverges to infinity in the heavy-traffic regime, it can stay bounded by making use of future information. However, the diversion polices of Spencer et al. (2014) require the length of the lookahead window to grow to infinity at a non-trivial rate in the heavy-traffic regime, and it remained open whether substantial performance improvement could still be achieved with less future information. We resolve this question to a large extent by establishing an asymptotically tight lower bound on how much future information is necessary to achieve superior performance, which matches the upper bound of Spencer et al. (2014) up to a constant multiplicative factor. Our result hence demonstrates that the system's heavy-traffic delay performance is highly sensitive to the amount of future information available. Our proof is based on analyzing certain excursion probabilities of the input sample paths, and exploiting a connection between a policy's diversion decisions and subsequent server idling, which may be of independent interest for related dynamic resource allocation problems.


title: Trace map and regularity of finite extensions of a DVR

abstract: We interpret the regularity of a finite and flat extension of a discrete valuation ring in terms of the trace map of the extension.


title: A Study and Implementation of RSA Cryptosystem

abstract: This project involves an implementation of the Rivest Shamir Adleman (RSA) encryption algorithm in C. It consists of generation of two random prime numbers and a number co- prime to phi(n) also called euler toitent function. These three are used to generate a public key and private key. The user has to enter a message which is encrypted by the public key. The algorithm also decrypts the generated cipher text with the help of the private key and returns the plain text message which was encrypted earlier.


title: The Order and Integration of Knowledge

abstract: William Oliver Martin published "The Order and Integration of Knowledge" in 1957 to address the problem of the nature and the order of various kinds of knowledge; in particular, the theoretical problem of how one kind of knowledge is related to another kind. Martin characterizes kinds of knowledge as being either autonomous or synthetic. The latter are reducible to two or more of the autonomous (or irreducible) kinds of knowledge, viz., history (H), metaphysics (Meta), theology (T), formal logic (FL), mathematics (Math), and generalizations of experimental science (G). Metaphysics and theology constitute the two domains of the ontological context while history and experimental science are the two domains of the phenomenological context. The relation of one kind of knowledge to another may be instrumental, constitutive, and/or regulative. For instance, historical propositions are constitutive of G, metaphysical propositions are regulative of G, and propositions in formal logic and mathematics are instrumental to G. Theological propositions are not related to G and so there is no conflict between science and theology. Martin's work sheds light on the possible areas of incompatibility between science and religion.


title: Time domain analysis of superradiant instability for the charged stringy black hole-mirror system

abstract: It has been proved that the charged stringy black holes are stable under the perturbations of massive charged scalar fields. However, superradiant instability can be generated by adding the mirror-like boundary condition to the composed system of charged stringy black hole and scalar field. The unstable boxed quasinormal modes have been calculated by using both analytical and numerical method. In this paper, we further provide a time domain analysis by performing a long time evolution of charged scalar field configuration in the background of the charged stringy black hole with the mirror-like boundary condition imposed. We have used the ingoing Eddington-Finkelstein coordinates to derive the evolution equation, and adopted Pseudo-spectral method and the forth-order Runge-Kutta method to evolve the scalar field with the initial Gaussian wave packet. It is shown by our numerical scheme that Fourier transforming the evolution data coincides well with the unstable modes computed from frequency domain analysis. The existence of the rapid growth mode makes the charged stringy black hole a good test ground to study the nonlinear development of superradiant instability.


title: A consistent solution of the reinitialization equation in the conservative level-set method

abstract: In this paper, a new re-initialization method for the conservative level-set function is put forward. First, it has been shown that the re-initialization and advection equations of the conservative level-set function are mathematically equivalent to the re-initialization and advection equations of the localized signed distance function. Next, a new discretization for the spatial derivatives of the conservative level-set function has been proposed. This new discretization is consistent with the re-initialization procedure and it guarantees a second-order convergence rate of the interface curvature on gradually refined grids. The new re-initialization method does not introduce artificial deformations to stationary and non-stationary interfaces, even when the number of re-initialization steps is large.


title: Some identities of Carlitz degenerate Bernoulli numbers and polynomials

abstract: In this paper, we study the Carlitz's degenerate Bernoulli numbers and polynomials and give some formulae and identities related to those numbers and polynomials.