title: Detecting Asymmetric Dark Matter in the Sun with Neutrinos

abstract: Dark Matter (DM) may have a relic density that is in part determined by a particle/antiparticle asymmetry, much like baryons. If this is the case, it can accumulate in stars like the Sun to sizable number densities and annihilate to Standard Model (SM) particles including neutrinos. We show that the combination of neutrino telescope and direct detection data can be used in conjunction to determine or constrain the DM asymmetry from data. Depending on the DM mass, the current neutrino data from Super-K and IceCube give powerful constraints on asymmetric DM unless its fractional asymmetry is $\lesssim 10^{-2}$. Future neutrino telescopes and detectors like Hyper-K and KM3NeT can search for the resulting signal of high-energy neutrinos from the center of the Sun. The observation of such a flux yields information on both the DM-nucleus cross section but also on the relative abundances of DM and anti-DM.


title: Magnon spin Nernst effect in antiferromagnets

abstract: We predict that a temperature gradient can induce a magnon-mediated spin Hall response in an antiferromagnet with non-trivial magnon Berry curvature. We develop a linear response theory which gives a general condition for a Hall current to be well defined, even when the thermal Hall response is forbidden by symmetry. We apply our theory to a honeycomb lattice antiferromagnet and discuss a role of magnon edge states in a finite geometry.


title: Mid-J CO Shock Tracing Observations of Infrared Dark Clouds III: SLED fitting

abstract: Giant molecular clouds contain supersonic turbulence that can locally heat small fractions of gas to over 100 K. We run shock models for low-velocity, C-type shocks propagating into gas with densities between 10^3 and 10^5 cm^(-3) and find that CO lines are the most important cooling lines. Comparison to photodissociation region (PDR) models indicates that mid-J CO lines (J = 8-7 and higher) should be dominated by emission from shocked gas. In Papers I and II we presented CO J = 3-2, 8-7, and 9-8 observations toward four primarily quiescent clumps within infrared dark clouds. Here we fit PDR models to the combined spectral line energy distributions and show that the PDR models that best fit the low-J CO emission underpredict the mid-J CO emission by orders of magnitude, strongly hinting at a hot gas component within these clumps. The low-J CO data clearly show that the integrated intensities of both the CO J = 8-7 and 9-8 lines are anomalously high, such that the line ratio can be used to characterize the hot gas component. Shock models are reasonably consistent with the observed mid-J CO emission, with models with densities near 10^(4.5) cm^(-3) providing the best agreement. Where this mid-J CO is detected, the mean volume filling factor of the hot gas is 0.1%. Much of the observed mid-J CO emission, however, is also associated with known protostars and may be due to protostellar feedback.


title: Sky reconstruction from transit visibilities: PAON-4 and Tianlai Dish Array

abstract: The spherical harmonics $m$-mode decomposition is a powerful sky map reconstruction method suitable for radio interferometers operating in transit mode. It can be applied to various configurations, including dish arrays and cylinders. We describe the computation of the instrument response function, the point spread function (PSF), transfer function, the noise covariance matrix and noise power spectrum. The analysis in this paper is focused on dish arrays operating in transit mode. We show that arrays with regular spacing have more pronounced side lobes as well as structures in their noise power spectrum, compared to arrays with irregular spacing, specially in the north-south direction. A good knowledge of the noise power spectrum $C^{\mathrm{noise}}(\ell)$ is essential for intensity mapping experiments as non uniform $C^{\mathrm{noise}}(\ell)$ is a potential problem for the measurement of the HI power spectrum. Different configurations have been studied to optimise the PAON-4 and Tianlai dish array layouts. We present their expected performance and their sensitivities to the 21-cm emission of the Milky Way and local extragalactic HI clumps


title: Generalized Splines and Graphic Arrangements

abstract: We define a chain complex for generalized splines on graphs, analogous to that introduced by Billera and refined by Schenck-Stillman for splines on polyhedral complexes. The hyperhomology of this chain complex yields bounds on the projective dimension of the ring of generalized splines. We apply this construction to the module of derivations of a graphic multi-arrangement, yielding homological criteria for bounding its projective dimension and determining freeness. As an application, we show that a graphic arrangement admits a free constant multiplicity iff it splits as a product of braid arrangements.


title: Consistency of the growth rate in different environments with the 6dF Galaxy Survey: measurement of the void-galaxy and galaxy-galaxy correlation functions

abstract: We present a new test of gravitational physics by comparing the growth rate of cosmic structure measured around voids with that measured around galaxies in the same large-scale structure dataset, the low-redshift 6-degree Field Galaxy Survey. By fitting a self-consistent Redshift Space Distortion model to the 2D galaxy-galaxy and void-galaxy correlation functions, we recover growth rate values f\sigma_8 = 0.42 \pm 0.06 and 0.39 \pm 0.11, respectively. The environmental-dependence of cosmological statistics can potentially discriminate between modified-gravity scenarios which modulate the growth rate as a function of scale or environment and test the underlying assumptions of homogeneity and isotropy.


title: Turbulence, Transport and Waves in Ohmic Dead Zones

abstract: We use local numerical simulations to study a vertically stratified accretion disk with a resistive mid-plane that damps magnetohydrodynamic (MHD) turbulence. This is an idealized model for the dead zones that may be present at some radii in protoplanetary and dwarf novae disks. We vary the relative thickness of the dead and active zones to quantify how forced fluid motions in the dead zone change. We find that the residual Reynolds stress near the mid-plane decreases with increasing dead zone thickness, becoming negligible in cases where the active to dead mass ratio is less than a few percent. This implies that purely Ohmic dead zones would be vulnerable to episodic accretion outbursts via the mechanism of Martin & Lubow (2011). We show that even thick dead zones support a large amount of kinetic energy, but this energy is largely in fluid motions that are inefficient at angular momentum transport. Confirming results from Oishi & Mac Low (2009), the perturbed velocity field in the dead zone is dominated by an oscillatory, vertically extended circulation pattern with a low frequency compared to the orbital frequency. This disturbance has the properties predicted for the lowest order r mode in a hydrodynamic disk. We suggest that in a global disk similar excitations would lead to propagating waves, whose properties would vary with the thickness of the dead zone and the nature of the perturbations (isothermal or adiabatic). Flows with similar amplitudes would buckle settled particle layers and could reduce the efficiency of pebble accretion.


title: Localization transition in one dimension using Wegner flow equations

abstract: The flow equation method was proposed by Wegner as a technique for studying interacting systems in one dimension. Here, we apply this method to a disordered one dimensional model with power-law decaying hoppings. This model presents a transition as function of the decaying exponent $\alpha$. We derive the flow equations, and the evolution of single-particle operators. The flow equation reveals the delocalized nature of the states for $\alpha<1/2$. Additionally, in the regime, $\alpha>1/2$, we present a strong-bond renormalization group structure based on iterating the three-site clusters, where we solve the flow equations perturbatively. This renormalization group approach allows us to probe the critical point $\left(\alpha=1\right)$. This method correctly reproduces the critical level-spacing statistics, and the fractal dimensionality of the eigenfunctions.


title: Bubbles of Nothing and Supersymmetric Compactifications

abstract: We investigate the non-perturbative stability of supersymmetric compactifications with respect to decay via a bubble of nothing. We show examples where this kind of instability is not prohibited by the spin structure, i.e., periodicity of fermions about the extra dimension. However, such "topologically unobstructed" cases do exhibit an extra-dimensional analog of the well-known Coleman-De Luccia suppression mechanism, which prohibits the decay of supersymmetric vacua. We demonstrate this explicitly in a four dimensional Abelian-Higgs toy model coupled to supergravity. The compactification of this model to $M_3 \times S_1$ presents the possibility of vacua with different windings for the scalar field. Away from the supersymmetric limit, these states decay by the formation of a bubble of nothing, dressed with an Abelian-Higgs vortex. We show how, as one approaches the supersymmetric limit, the circumference of the topologically unobstructed bubble becomes infinite, thereby preventing the realization of this decay. This demonstrates the dynamical origin of the decay suppression, as opposed to the more familiar argument based on the spin structure. We conjecture that this is a generic mechanism that enforces stability of any topologically unobstructed supersymmetric compactification.


title: Universal corner entanglement of Dirac fermions and gapless bosons from the continuum to the lattice

abstract: A quantum critical (QC) fluid exhibits universal subleading corrections to the area law of its entanglement entropies. In two dimensions when the partition involves a corner of angle $\theta$, the subleading term is logarithmic with coefficient $a_\alpha(\theta)$ for the $\alpha$-R\'enyi entropy. In the smooth limit $\theta\!\to\!\pi$, $a_1(\theta)$ yields the central charge of the stress tensor when the QC point is described by a conformal field theory (CFT). For general R\'enyi indices and angles, $a_\alpha(\theta)$ is richer and few general results exist. We study $a_\alpha(\theta)$ focusing on two benchmark CFTs, the free Dirac fermion and boson. We perform numerical lattice calculations to obtain high precision results in $\theta,\alpha$ regimes hitherto unexplored. We derive field theory estimates for $a_\alpha(\theta)$, including new exact results, and demonstrate an excellent quantitative match with our numerical calculations. We also develop and test strong lower bounds, which apply to both free and interacting QC systems. Finally, we comment on the near collapse of $a_\alpha(\theta)$ for various theories, including interacting $O(N)$ models.


title: A collider observable QCD axion

abstract: We present a model where the QCD axion is at the TeV scale and visible at a collider via its decays. Conformal dynamics and strong CP considerations account for the axion coupling strongly enough to the standard model to be produced as well as the coincidence between the weak scale and the axion mass. The model predicts additional pseudoscalar color octets whose properties are completely determined by the axion properties rendering the theory testable.


title: The Segre zeta function of an ideal

abstract: We define a power series associated with a homogeneous ideal in a polynomial ring, encoding information on the Segre classes defined by extensions of the ideal in projective spaces of arbitrarily high dimension. We prove that this power series is rational, with poles corresponding to generators of the ideal, and with numerator of bounded degree and with nonnegative coefficients. We also prove that this `Segre zeta function' only depends on the integral closure of the ideal. The results follow from good functoriality properties of the `shadows' of rational equivalence classes of projective bundles. More precise results can be given if all homogeneous generators have the same degree, and for monomial ideals. In certain cases, the general description of the Segre zeta function given here leads to substantial improvements in the speed of algorithms for the computation of Segre classes. We also compute the projective ranks of a nonsingular variety in terms of the corresponding zeta function, and we discuss the Segre zeta function of a local complete intersection of low codimension in projective space.


title: Prompt Signals and Displaced Vertices in Sparticle Searches for Next-to-Minimal Gauge Mediated Supersymmetric Models

abstract: We study the LHC phenomenology of the next-to-minimal model of gauge-mediated supersymmetry breaking (NMGMSB), both for Run I and Run II. The Higgs phenomenology of the model is consistent with observations: a 125 GeV Standard Model-like Higgs which mixes with singlet-like state of mass around 90 GeV that provides a 2$\sigma$ excess at LEP II. The model possesses regions of parameter space where a longer-lived lightest neutralino decays in the detector into a gravitino and a $b-$jet pair or a tau pair. We investigate current lower bounds on sparticle masses and the discovery potential of the model, both via conventional sparticle searches and via searches for displaced vertices. The strongest bound from searches for promptly decaying sparticles yields a lower limit on the gluino mass of 1080 GeV. An analysis of 100 fb$^{-1}$ from Run II, on the other hand, is expected to be sensitive up to 1900 GeV. The displaced vertex searches from Run I suffer from a very low signal efficiency, mainly due to the presence of $b-$quarks in the final state. We show how the displaced vertex cuts might be relaxed in order to improve signal efficiency, while simultaneous prompt objects can be used to cut down background. We find that a combined search strategy with both prompt and displaced cuts potentially has a far better sensitivity to this model than either set alone, motivating a fully fledged experimental study.


title: A novel mechanism for the distance-redshift relation

abstract: We consider a novel mechanism to account for the observed distance-redshift relation. This is done by presenting a toy model for the large-scale matter distribution in a static Universe. Our model mainly concerns particles with masses far below those in the Standard Model of Particle Physics. The model is founded on three main assumptions: (1) a mass spectrum dN$_{\rm i}$/dm$_{\rm i}$ $=$ $\beta$m$_{\rm i}^{-\alpha}$ (where $\alpha$ and $\beta$ are both positive constants) for low-mass particles with m$_{\rm i}$ $\ll$ 10$^{-22}$ eV $\ll$ M$_{\rm P}$, where M$_{\rm P}$ is the Planck mass; (2) a particle mass-wavelength relation of the form $\lambda_{\rm i} =$ $\hbar$/$\delta_{\rm i}$m$_{\rm i}$c, where $\delta_{\rm i} =$ $\eta$m$_{\rm i}^{\gamma}$ and $\eta$ and $\gamma$ are both constants; and (3) For such low-mass particles, locality can only be defined on large spatial scales, comparable to or exceeding the particle wavelengths. We use our model to derive the cosmological redshift characteristic of the Standard Model of Cosmology, which becomes a gravitational redshift in our model. We compare the results of our model to empirical data and show that, in order to reproduce the sub-linear form of the observed distance-redshift relation, our model requires $\alpha$ + $\gamma$ $<$ 0. We further place our toy model in the context of the Friedmann Universe via a superposition of Einstein Universes, each with its own scale factor a$_{\rm i}$. Given the overwhelming evidence supporting an expanding Universe, we then address possible modifications to our base model that would be required to account for the available empirical constraints, including the addition of some initial expansion. Finally, we consider potentially observable distinctions between the cosmological redshift and our proposed mechanism to account for the observed distance-redshift relation.


title: An embedding constant for the Hardy space of Dirichlet series

abstract: A new and simple proof of the embedding of the Hardy--Hilbert space of Dirichlet series into a conformally invariant Hardy space of the half-plane is presented, and the optimal constant of the embedding is computed.


title: Neutrino mass hierarchy and \delta^{CP} investigation within the biprobability (P-P^T ) plane

abstract: This article illustrates the possibility of investigating mass hierarchy and CP-violating phase \delta^{CP}, in the context of CP trajectory diagrams in the bi-probability plane. Separation between normal mass hierarchy (NH) and inverted mass hierarchy (IH) CP trajectory ellipses in the P-P^T plane seems to be very promising in order to investigate mass hierarchy. Illustration of separation between two hierarchy ellipses in the E-L plane is very helping to cover all the desired base lines and beam energies and also to analyze benefits and drawbacks at single place. If we know the mass hierarchy, then from the large sizes of CP trajectory ellipse which is possible at appropriately long base line (L) and at specific value of beam energy (E), it becomes possible to investigate at-least narrow ranges of CP/T-violating phase \delta^{CP}. The Possibility of more than one set of (\theta_{13}; \delta^{CP}) parameters to correspond to any chosen coordinate in P-P^T plane, known as parameter degeneracy, may hinder exact determination of mass hierarchy as well as \delta^{CP} value. To circumvent this degeneracy in the (\theta_{13}; \delta^{CP}) parameter space, in case of opposite sign solutions corresponding to NH and IH case points toward the need of sufficiently long base lines, so as to separate opposite hierarchy ellipses to observable separation, and in case of same sign solutions corresponding to either NH or IH, we need to choose an experimental configuration with L = 2,535 Km, E = 5 GeV for n=1 scenario.


title: Scattering with partial information

abstract: We study relativistic scattering when one only has access to a subset of the particles, using the language of quantum measurement theory. We give an exact, non-perturbative formula for the von Neumann entanglement entropy of an apparatus particle scattered off an arbitrary set of system particles, in either the elastic or inelastic regime, and show how to evaluate it perturbatively. We give general formulas for the late-time expectation values of apparatus observables. Some simple example applications are included: in particular, a protocol to verify preparation of coherent superpositions of spatially localized system states using position-space information in the outgoing apparatus state, at lowest order in perturbation theory in a weak apparatus-system coupling.


title: First Sound in Holographic Superfluids at Zero Temperature

abstract: Within the context of AdS/CFT, the gravity dual of an s-wave superfluid is given by scalar QED on an asymptotically AdS spacetime. While this conclusion is vastly supported by numerical arguments, here we provide an analytical proof that this is indeed the case. Working at zero temperature, we explicitly find the quadratic action for the superfluid phonon at the boundary in an arbitrary number of dimensions and for an arbitrary scalar field potential, recovering the known dispersion relation for conformal first sound.


title: On the discriminant of twisted tensor products

abstract: We provide formulas for computing the discriminant of noncommutative algebras over central subalgebras in the case of Ore extensions and skew group extensions. The formulas follow from a more general result regarding the discriminants of certain twisted tensor products. We employ our formulas to compute automorphism groups for examples in each case.


title: An extended footnote on finitely minimal martingale measures

abstract: This note contains a short discussion on the sufficiency of finite optimality in martingale transport. It is shown that finitely minimal martingale measures are solutions of the martingale transport problem when the cost function is upper semi-continuous and bounded from above by a sum of integrable functions. As an application a transparent proof of the uniqueness of left-monotone martingale transport plans is given.


title: Constraining anomalous Higgs boson couplings to the heavy flavor fermions using matrix element techniques

abstract: In this paper we investigate anomalous interactions of the Higgs boson with heavy fermions, employing shapes of kinematic distributions. We study the processes $pp \to t\bar{t} + H$, $b\bar{b} + H$, $tq+H$, and $pp \to H\to\tau^+\tau^-$, and present applications of event generation, re-weighting techniques for fast simulation of anomalous couplings, as well as matrix element techniques for optimal sensitivity. We extend the MELA technique, which proved to be a powerful matrix element tool for Higgs boson discovery and characterization during Run I of the LHC, and implement all analysis tools in the JHU generator framework. A next-to-leading order QCD description of the $pp \to t\bar{t} + H$ process allows us to investigate the performance of MELA in the presence of extra radiation. Finally, projections for LHC measurements through the end of Run III are presented.


title: Ising Spin Glasses in dimension five

abstract: Ising spin glass models with bimodal, Gaussian, uniform and Laplacian interaction distributions in dimension five are studied through detailed numerical simulations. The data are analyzed in both the finite-size scaling regime and the thermodynamic limit regime. It is shown that the values of critical exponents and of dimensionless observables at criticality are model dependent. Models in a single universality class have identical values for each of these critical parameters, so Ising spin glass models in dimension five with different interaction distributions each lie in different universality classes. This result confirms conclusions drawn from measurements in dimension four and dimension two.


title: On joint sum/max stability and sum/max domains of attraction

abstract: Let (W_i, J_i) be a sequence of i.i.d. R_+ x R-valued random vectors. Considering the partial sum of the first component and the corresponding maximum of the second component, we are interested in the limit distributions that can be obtained under an appropriate scaling. In the case that W_i and J_i are independent, the joint distribution of the sum and the maximum is the product measure of the limit distributions of the two components. But if we allow dependence between the two components, this dependence can still appear in the limit, and we need a new theory to describe the possible limit distributions. This is achieved via harmonic analysis on semigroups, which can be utilized to characterize the scaling limit distributions and describe their domains of attraction.


title: Boggio's formula for fractional polyharmonic Dirichlet problems

abstract: Boggio's formula in balls is known for integer-polyharmonic Dirichlet problems and for fractional Dirichlet problems with fractional parameter less than 1. We give here a consistent formulation for fractional polyharmonic Dirichlet problems such that Boggio's formula in balls yields solutions also for the general fractional case.


title: Dependence of two-proton radioactivity on nuclear pairing models

abstract: Sensitivity of two-proton emitting decay to nuclear pairing correlation is discussed within a time-dependent three-body model. We focus on the $^6$Be nucleus assuming $\alpha + p + p$ configuration, and its decay process is described as a time-evolution of the three-body resonance state. For a proton-proton subsystem, a schematic density-dependent contact (SDDC) pairing model is employed. From the time-dependent calculation, we observed the exponential decay rule of a two-proton emission. It is shown that the density dependence does not play a major role in determining the decay width, which can be controlled only by the asymptotic strength of the pairing interaction. This asymptotic pairing sensitivity can be understood in terms of the dynamics of the wave function driven by the three-body Hamiltonian, by monitoring the time-dependent density distribution. With this simple SDDC pairing model, there remains an impossible trinity problem: it cannot simultaneously reproduce the empirical $Q$ value, decay width, and the nucleon-nucleon scattering length. This problem suggests that a further sophistication of the theoretical pairing model is necessary, utilizing the two-proton radioactivity data as the reference quantities.


title: Absorption of a Particle by a Rotating Black Hole: The Potential Barrier

abstract: For a test particle approaching a rapidly rotating black hole we find a range of values of the particle's energy and angular momentum, on the order of 1\% or more of the corresponding values of the hole, such that three conditions are satisfied. 1) The particle can reach the horizon. 2) After absorption the new hole still has a horizon. 3) The area of the new hole is less than the area of the original one, in apparent violation of a theorem of Hawking. We offer support for the claim that the test particle approximation is the cause of the violation.


title: Tilings in graphons

abstract: We introduce a counterpart to the notion of vertex disjoint tilings by copy of a fixed graph F to the setting of graphons. The case F=K_2 gives the notion of matchings in graphons. We give a transference statement that allows us to switch between the finite and limit notion, and derive several favorable properties, including the LP-duality counterpart to the classical relation between the fractional vertex covers and fractional matchings/tilings, and discuss connections with property testing. As an application of our theory, we determine the asymptotically almost sure F-tiling number of inhomogeneous random graphs \mathbb{G}(n,W). As another application, in an accompanying paper [Hladky, Hu, Piguet: Komlos's tiling theorem via graphon covers, preprint] we give a proof of a strengthening of a theorem of Komlos [Komlos: Tiling Tur\'an Theorems, Combinatorica, 2000].


title: The Alcock Paczynski test with Baryon Acoustic Oscillations: systematic effects for future surveys

abstract: We investigate the Alcock Paczynski (AP) test applied to the Baryon Acoustic Oscillation (BAO) feature in the galaxy correlation function. By using a general formalism that includes relativistic effects, we quantify the importance of the linear redshift space distortions and gravitational lensing corrections to the galaxy number density fluctuation. We show that redshift space distortions significantly affect the shape of the correlation function, both in radial and transverse directions, causing different values of galaxy bias to induce offsets up to 1% in the AP test. On the other hand, we find that the lensing correction around the BAO scale modifies the amplitude but not the shape of the correlation function and therefore does not introduce any systematic effect. Furthermore, we investigate in details how the AP test is sensitive to redshift binning: a window function in transverse direction suppresses correlations and shifts the peak position toward smaller angular scales. We determine the correction that should be applied in order to account for this effect, when performing the test with data from three future planned galaxy redshift surveys: Euclid, the Dark Energy Spectroscopic Instrument (DESI) and the Square Kilometer Array (SKA).


title: On the role of dissipation in structure formation for dilute relativistic gases: the static background case

abstract: A correction to the Jeans stability criterion due to heat conduction is established for the case of high temperature gases. This effect is only relevant for relativistic fluids and includes an additional term due to a density gradient driven heat flux. The result is obtained by thoroughly analyzing the exponentially growing modes present in the dynamics of density fluctuations in the linearized relativistic Navier-Stokes regime. The corrections to the corresponding Jeans mass and wavenumber are explicitly obtained and are compared to the non-relativistic and non-dissipative values using the transport coefficients obtained in the BGK approximation.


title: Rubel's problem on bounded analytic functions

abstract: The paper shows that for any $G_\delta$ set $F$ of Lebesgue measure zero on the unit circle $T$ there exists a function $f \in H^{\infty}$ such that the radial limits of $f$ exist at each point of $T$ and vanish precisely on $F$. This solves a problem proposed by Lee Rubel in 1973.


title: Analytic gravitational waveforms for generic precessing compact binaries

abstract: Binary systems of two compact objects circularize and spiral toward each other via the emission of gravitational waves. The coupling of the spins of each object with the orbital angular momentum causes the orbital plane to precess, which leads to modulation of the gravitational wave signal. Until now, generating frequency-domain waveforms for fully precessing systems for use in gravitational wave data analysis meant numerically integrating the equations of motion, then Fourier transforming the result, which is very computationally intensive for systems that complete hundreds or thousands of cycles in the sensitive band of a detector. Previously, analytic solutions were only available for certain special cases or for simplified models. Here we describe the construction of closed-form, frequency-domain waveforms for fully-precessing, quasi-circular binary inspirals.


title: A Dwarf Protoplanetary Disk around XZ Tau B

abstract: We report the discovery of a dwarf protoplanetary disk around the star XZ Tau B that shows all the features of a classical transitional disk but on a much smaller scale. The disk has been imaged with the Atacama Large Millimeter/Submillimeter Array (ALMA), revealing that its dust emission has a quite small radius of ~ 3.4 au and presents a central cavity of ~ 1.3 au in radius that we attribute to clearing by a compact system of orbiting (proto)planets. Given the very small radii involved, evolution is expected to be much faster in this disk (observable changes in a few months) than in classical disks (observable changes requiring decades) and easy to monitor with observations in the near future. From our modeling we estimate that the mass of the disk is large enough to form a compact planetary system.


title: Derivations and Centroids of Four Dimensional Associative Algebras

abstract: In this paper, we focus on derivations and centroids of four dimensional associative algebras. Using an existing classification result of low dimensional associative algebras, we describe the derivations and centroids of four dimensional associative algebras. We also identify algebra(s) that belong to the characteristically nilpotent class among the algebras of four dimensional associative algebras.


title: Photoassociative production of ultracold heteronuclear YbLi* molecules

abstract: We report on the production of ultracold heteronuclear YbLi* molecules in a dual-species magneto-optical trap by photoassociation (PA). The formation of the electronically excited molecules close to dissociation was observed by trap loss spectroscopy. We find 4 rovibrational states within a range of $250\,$GHz below the Yb($^1S_0$) + Li($^2P_{1/2}$) asymptote and observe isotopic PA line shifts in mixtures of $^6$Li with $^{174}$Yb, $^{172}$Yb, and $^{176}$Yb. We also describe our theoretical ab-initio calculation for the relevant electronic potentials and utilize it to analyze and identify the lines in the experimentally observed spectrum.


title: The role of turbulence, magnetic fields and feedback for star formation

abstract: Star formation is inefficient. Only a few percent of the available gas in molecular clouds forms stars, leading to the observed low star formation rate (SFR). The same holds when averaged over many molecular clouds, such that the SFR of whole galaxies is again surprisingly low. Indeed, considering the low temperatures, molecular clouds should be highly gravitationally unstable and collapse on their global mean freefall timescale. And yet, they are observed to live about 10-100 times longer, i.e., the SFR per freefall time is only a few percent. Thus, other physical mechanisms must provide support against quick global collapse. Magnetic fields, turbulence and stellar feedback have been proposed as stabilising agents controlling star formation, but it is still unclear which of these processes is the most important and what their relative contributions are. Here I present high-resolution, adaptive-mesh-refinement simulations of star cluster formation that include turbulence, magnetic fields, and protostellar jet/outflow feedback. These simulations produce nearly realistic star formation rates consistent with observations, but only if turbulence, magnetic fields and feedback are included simultaneously.

categories: astro-ph.GA astro-ph.SR physics.comp-ph physics.plasm-ph


title: Asymptotically Hilbertian Modular Banach Spaces: Examples of Uncountable Categoricity

abstract: We give a criterion ensuring that the elementary class of a modular Banach space E (that is, the class of Banach spaces, some ultrapower of which is linearly isometric to an ultrapower of E) consists of all direct sums E\oplus_m H, where H is an arbitrary Hilbert space and \oplus_m denotes the modular direct sum. Also, we give several families of examples in the class of Nakano direct sums of finite dimensional normed spaces that satisfy this criterion. This yields many new examples of uncountably categorical Banach spaces, in the model theory of Banach space structures.


title: Ternary borides Nb$_7$Fe$_3$B$_8$ and Ta$_7$Fe$_3$B$_8$ with Kagome-type iron framework

abstract: Two new ternary borides $TM$$_7$Fe$_3$B$_8$ ($TM$ = Nb, Ta) were synthesized by high-temperature thermal treatment of samples obtained by arc-melting. This new type of structure with space group $P$6/$mmm$, comprises $TM$ slabs containing isolated planar hexagonal [B$_6$] rings and iron centered $TM$ columns in a Kagome type of arrangement. Chemical bonding analysis in Nb$_7$Fe$_3$B$_8$ by means of the electron localizability approach reveals two-center interactions forming the Kagome net of Fe and embedded B, while weaker multicenter bonding present between this net and Nb atoms. Magnetic susceptibility measurements reveal antiferromagnetic order below $T_N$ = 240 K for Nb$_7$Fe$_3$B$_8$ and $T_N$ =265 K for Ta$_7$Fe$_3$B$_8$. Small remnant magnetization below 0.01 $\mu_B$/f.u. is observed in the antiferromagnetic state. The bulk nature of the magnetic transitions was confirmed by the hyperfine splitting of the M\"o{\ss}bauer spectra, the sizable anomalies in the specific heat capacity, and the kinks in the resistivity curves. The high-field paramagnetic susceptibilities fitted by the Curie-Weiss law show effective paramagnetic moments $\mu_{eff}$ about 3.1 $\mu_B$/Fe in both compounds. The temperature dependence of the electrical resistivity also reveals metallic character of both compounds. Density functional calculations corroborate the metallic behaviour of both compounds and demonstrate the formation of a sizable local magnetic moment on the Fe-sites. They indicate the presence of both antiferro- and ferromagnetic interactions.


title: Random Matrix Theory of Resonances: an Overview

abstract: Scattering of electromagnetic waves in billiard-like systems has become a standard experimental tool of studying properties associated with Quantum Chaos. Random Matrix Theory (RMT) describing statistics of eigenfrequencies and associated eigenfunctions remains one of the pillars of theoretical understanding of quantum chaotic systems. In a scattering system coupling to continuum via antennae converts real eigenfrequencies into poles of the scattering matrix in the complex frequency plane and the associated eigenfunctions into decaying resonance states. Understanding statistics of these poles, as well as associated non-orthogonal resonance eigenfunctions within RMT approach is still possible, though much more challenging task.


title: OGLE16aaa - a Signature of a Hungry Super Massive Black Hole

abstract: We present the discovery and first three months of follow-up observations of a currently on-going unusual transient detected by the OGLE-IV survey, located in the centre of a galaxy at redshift z=0.1655. The long rise to absolute magnitude of -20.5 mag, slow decline, very broad He and H spectral features make OGLE16aaa similar to other optical/UV Tidal Disruption Events (TDEs). Weak narrow emission lines in the spectrum and archival photometric observations suggest the host galaxy is a weak-line Active Galactic Nucleus (AGN), which has been accreting at higher rate in the past. OGLE16aaa, along with SDSS J0748, seems to form a sub-class of TDEs by weakly or recently active super-massive black holes (SMBHs). This class might bridge the TDEs by quiescent SMBHs and flares observed as "changing-look QSOs", if we interpret the latter as TDEs. If this picture is true, the previously applied requirement for identifying a flare as a TDE that it had to come from an inactive nucleus, could be leading to observational bias in TDE selection, thus affecting TDE-rate estimations.


title: Key-Value Memory Networks for Directly Reading Documents

abstract: Directly reading documents and being able to answer questions from them is an unsolved challenge. To avoid its inherent difficulty, question answering (QA) has been directed towards using Knowledge Bases (KBs) instead, which has proven effective. Unfortunately KBs often suffer from being too restrictive, as the schema cannot support certain types of answers, and too sparse, e.g. Wikipedia contains much more information than Freebase. In this work we introduce a new method, Key-Value Memory Networks, that makes reading documents more viable by utilizing different encodings in the addressing and output stages of the memory read operation. To compare using KBs, information extraction or Wikipedia documents directly in a single framework we construct an analysis tool, WikiMovies, a QA dataset that contains raw text alongside a preprocessed KB, in the domain of movies. Our method reduces the gap between all three settings. It also achieves state-of-the-art results on the existing WikiQA benchmark.


title: Real Algebraic Geometry for Geometric Constraints

abstract: Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling geometric constraints that are physically meaningful, real algebraic geometry is a core mathematical input for geometric constraint systems.


title: Chevalley-Weil Theorem and Subgroups of Class Groups

abstract: We prove, under some mild hypothesis, that an \'etale cover of curves defined over a number field has infinitely many specializations into an everywhere unramified extension of number fields. This constitutes an "absolute" version of the Chevalley-Weil theorem. Using this result, we are able to generalize the techniques of Mestre, Levin and the second author for constructing and counting number fields with large class group.


title: The stabilizer group of honeycomb lattices and its application to deformed monolayers

abstract: Isospectral transformations of exactly solvable models constitute a fruitful method for obtaining new structures with prescribed properties. In this paper we study the stability group of the Dirac algebra in honeycomb lattices representing graphene or boron nitride. New crystalline arrays with conical (Dirac) points are obtained; in particular, a model for dichalcogenide monolayers is proposed and analyzed. In our studies we encounter unitary and non-unitary transformations. We show that the latter give rise to $\mbox{$\cal P\,$}\mbox{$\cal T\,$}$-symmetric Hamiltonians, in compliance with known results in the context of boosted Dirac equations. The results of the unitary part are applied to the description of invariant bandgaps and dispersion relations in materials such as MoS$_2$. A careful construction based on atomic orbitals is proposed and the resulting dispersion relation is compared with previous results obtained through DFT.

categories: quant-ph cond-mat.mtrl-sci math-ph math.MP


title: Coevolving complex networks in the model of social interactions

abstract: We analyze Axelrod's model of social interactions on coevolving complex networks. We introduce four extensions with different mechanisms of edge rewiring. The models are intended to catch two kinds of interactions - preferential attachment, which can be observed in scientists or actors collaborations, and local rewiring, which can be observed in friendship formation in everyday relations. Numerical simulations show that proposed dynamics can lead to the power-law distribution of nodes' degree and high value of the clustering coefficient, while still retaining the small-world effect in three models. All models are characterized by two phase transitions of a different nature. In case of local rewiring we obtain order-disorder discontinuous phase transition even in the thermodynamic limit, while in case of long-distance switching discontinuity disappears in the thermodynamic limit, leaving one continuous phase transition. In addition, we discover a new and universal characteristic of the second transition point - an abrupt increase of the clustering coefficient, due to formation of many small complete subgraphs inside the network.


title: Asymptotics for moments of certain cotangent sums

abstract: In this paper we improve a result on the order of magnitude of certain cotangent sums associated to the Estermann and the Riemann zeta functions.


title: The $C^0$ integrability of symplectic twist maps without conjugate points

abstract: We prove that symplectic twist maps defined on the cotangent bundle of the d-dimensional torus that have no conjugate points are $C^0$ integrable, i.e. the cotangent bundle is continuously foliated by a family of invariant Lagrangian graphs.


title: Metastability of Mn$^{3+}$ in ZnO driven by strong $d$(Mn) intrashell Coulomb repulsion: experiment and theory

abstract: Depopulation of the Mn$^{2+}$ state in ZnO:Mn upon illumination, monitored by quenching of the Mn$^{2+}$ EPR signal intensity, was observed at temperatures below 80~K. Mn$^{2+}$ photoquenching is shown to result from the Mn$^{2+}$ $\to$ Mn$^{3+}$ ionization transition, promoting one electron to the conduction band. Temperature dependence of this process indicates the existence of an energy barrier for electron recapture of the order of 1~meV. GGA$+U$ calculations show that after ionization of Mn$^{2+}$ a moderate breathing lattice relaxation in the 3+ charge state occurs, which increases energies of $d$(Mn) levels. At its equilibrium atomic configuration, Mn$^{3+}$ is metastable since the direct capture of photo-electron is not possible. The metastability is mainly driven by the strong intra-shell Coulomb repulsion between $d$(Mn) electrons. Both the estimated barrier for electron capture and the photoionization energy are in good agreement with the experimental values.


title: Limits on Planetary Companions from Doppler Surveys of Nearby Stars

abstract: Most of our knowledge of planets orbiting nearby stars comes from Doppler surveys. For spaced-based, high-contrast imaging missions, nearby stars with Doppler-discovered planets are attractive targets. The known orbits tell imaging missions where and when to observe, and the dynamically-determined masses provide important constraints for the interpretation of planetary spectra. Quantifying the set of planet masses and orbits that could have been detected will enable more efficient planet discovery and characterization. We analyzed Doppler measurements from Lick and Keck Observatories collected by the California Planet Survey. We focused on stars that are likely targets for three space-based planet imaging mission concepts studied by NASA--WFIRST-AFTA, Exo-C, and Exo-S. The Doppler targets are primarily F8 and later main sequence stars, with observations spanning 1987-2014. We identified 76 stars with Doppler measurements from the prospective mission target lists. We developed an automated planet search and a methodology to estimate the pipeline completeness using injection and recovery tests. We applied this machinery to the Doppler data and computed planet detection limits for each star as a function of planet minimum mass and semi-major axis. For typical stars in the survey, we are sensitive to approximately Saturn-mass planets inside of 1 AU, Jupiter-mass planets inside of ~3 AU, and our sensitivity declines out to ~10 AU. For the best Doppler targets, we are sensitive to Neptune-mass planets in 3 AU orbits. Using an idealized model of Doppler survey completeness, we forecast the precision of future surveys of non-ideal Doppler targets that are likely targets of imaging missions.


title: The Overlapped Radial Basis Function-Finite Difference (RBF-FD) Method: A Generalization of RBF-FD

abstract: We present a generalization of the RBF-FD method that computes RBF-FD weights in finite-sized neighborhoods around the centers of RBF-FD stencils by introducing an overlap parameter $\delta \in [0,1]$ such that $\delta=1$ recovers the standard RBF-FD method and $\delta=0$ results in a full decoupling of stencils. We provide experimental evidence to support this generalization, and develop an automatic stabilization procedure based on local Lebesgue functions for the stable selection of stencil weights over a wide range of $\delta$ values. We provide an a priori estimate for the speedup of our method over RBF-FD that serves as a good predictor for the true speedup. We apply our method to parabolic partial differential equations with time-dependent inhomogeneous boundary conditions-- Neumann in 2D, and Dirichlet in 3D. Our results show that our method can achieve as high as a 60x speedup in 3D over existing RBF-FD methods in the task of forming differentiation matrices.


title: Dynamical sampling and systems from iterative actions of operators

abstract: We review some of the recent developments and prove new results concerning frames and Bessel systems generated by iterations of the form $\{A^ng: g\in G,\, n=0,1,2,\dots \}$, where $A$ is a bounded linear operators on a separable complex Hilbert space $ \mathcal{H} $ and $G$ is a countable set of vectors in $ \mathcal{H} $. The system of iterations mentioned above was motivated from the so called dynamical sampling problem. In dynamical sampling, an unknown function $f$ and its future states $A^nf$ are coarsely sampled at each time level $n$, $0\leq n< L$, where $A$ is an evolution operator that drives the system. The goal is to recover $f$ from these space-time samples.


title: Cooperative Inverse Reinforcement Learning

abstract: For an autonomous system to be helpful to humans and to pose no unwarranted risks, it needs to align its values with those of the humans in its environment in such a way that its actions contribute to the maximization of value for the humans. We propose a formal definition of the value alignment problem as cooperative inverse reinforcement learning (CIRL). A CIRL problem is a cooperative, partial-information game with two agents, human and robot; both are rewarded according to the human's reward function, but the robot does not initially know what this is. In contrast to classical IRL, where the human is assumed to act optimally in isolation, optimal CIRL solutions produce behaviors such as active teaching, active learning, and communicative actions that are more effective in achieving value alignment. We show that computing optimal joint policies in CIRL games can be reduced to solving a POMDP, prove that optimality in isolation is suboptimal in CIRL, and derive an approximate CIRL algorithm.


title: Formal Modeling and Analysis of Pancreatic Cancer Microenvironment

abstract: The focus of pancreatic cancer research has been shifted from pancreatic cancer cells towards their microenvironment, involving pancreatic stellate cells that interact with cancer cells and influence tumor progression. To quantitatively understand the pancreatic cancer microenvironment, we construct a computational model for intracellular signaling networks of cancer cells and stellate cells as well as their intercellular communication. We extend the rule-based BioNetGen language to depict intra- and inter-cellular dynamics using discrete and continuous variables respectively. Our framework also enables a statistical model checking procedure for analyzing the system behavior in response to various perturbations. The results demonstrate the predictive power of our model by identifying important system properties that are consistent with existing experimental observations. We also obtain interesting insights into the development of novel therapeutic strategies for pancreatic cancer.


title: Abstract Harmonic Analysis On the non Singular Matrix Lie Group

abstract: As well known that it is no way to do the abstract harmonic analysis on the non connected Lie groups. The goal of this paper is to draw the attention of Mathematicians to solve this problem. therefore let R be the group of nonzero real numbers with multiplication and let H be the 3-dimensional Heisenberg group. I denote by G the semi direct of the Heisenberg group with R3 which is non connected solvable Lie group, and isomorphic onto the 6- dimensional non singular triangular matrix Lie group. I define the Fourier-Mellin transform and establish the Plancherel theorem on the group G. Besides I prove the solvability of any non zero invariant differential operator on the identity component of the group G. Finally, I give a classification of all left ideals of the its group algebra


title: Tsirelson's problem and an embedding theorem for groups arising from non-local games

abstract: Tsirelson's problem asks whether the commuting operator model for two-party quantum correlations is equivalent to the tensor-product model. We give a negative answer to this question by showing that there are non-local games which have perfect commuting-operator strategies, but do not have perfect tensor-product strategies. The weak Tsirelson problem, which is known to be equivalent to Connes embedding problem, remains open. The examples we construct are instances of (binary) linear system games. For such games, previous results state that the existence of perfect strategies is controlled by the solution group of the linear system. Our main result is that every finitely-presented group embeds in some solution group. As an additional consequence, we show that the problem of determining whether a linear system game has a perfect commuting-operator strategy is undecidable.

categories: quant-ph math-ph math.GR math.MP math.OA


title: Mutual Exclusivity Loss for Semi-Supervised Deep Learning

abstract: In this paper we consider the problem of semi-supervised learning with deep Convolutional Neural Networks (ConvNets). Semi-supervised learning is motivated on the observation that unlabeled data is cheap and can be used to improve the accuracy of classifiers. In this paper we propose an unsupervised regularization term that explicitly forces the classifier's prediction for multiple classes to be mutually-exclusive and effectively guides the decision boundary to lie on the low density space between the manifolds corresponding to different classes of data. Our proposed approach is general and can be used with any backpropagation-based learning method. We show through different experiments that our method can improve the object recognition performance of ConvNets using unlabeled data.


title: Branched covers of elliptic curves and K\"ahler groups with exotic finiteness properties

abstract: We construct K\"ahler groups with arbitrary finiteness properties by mapping products of closed Riemann surfaces holomorphically onto an elliptic curve: for each $r\geq 3$, we obtain large classes of K\"ahler groups that have classifying spaces with finite $(r-1)$-skeleton but do not have classifying spaces with finitely many $r$-cells. We describe invariants which distinguish many of these groups. Our construction is inspired by examples of Dimca, Papadima and Suciu.


title: PerSum: Novel Systems for Document Summarization in Persian

abstract: In this paper we explore the problem of document summarization in Persian language from two distinct angles. In our first approach, we modify a popular and widely cited Persian document summarization framework to see how it works on a realistic corpus of news articles. Human evaluation on generated summaries shows that graph-based methods perform better than the modified systems. We carry this intuition forward in our second approach, and probe deeper into the nature of graph-based systems by designing several summarizers based on centrality measures. Ad hoc evaluation using ROUGE score on these summarizers suggests that there is a small class of centrality measures that perform better than three strong unsupervised baselines.


title: Sentence Similarity Measures for Fine-Grained Estimation of Topical Relevance in Learner Essays

abstract: We investigate the task of assessing sentence-level prompt relevance in learner essays. Various systems using word overlap, neural embeddings and neural compositional models are evaluated on two datasets of learner writing. We propose a new method for sentence-level similarity calculation, which learns to adjust the weights of pre-trained word embeddings for a specific task, achieving substantially higher accuracy compared to other relevant baselines.


title: The topological susceptibility in finite temperature QCD and axion cosmology

abstract: We study the topological susceptibility in 2+1 flavor QCD above the chiral crossover transition temperature using Highly Improved Staggered Quark action and several lattice spacings, corresponding to temporal extent of the lattice, $N_\tau=6,8,10$ and $12$. We observe very distinct temperature dependences of the topological susceptibility in the ranges above and below $250$ MeV. While for temperatures above $250$ MeV, the dependence is found to be consistent with dilute instanton gas approximation, at lower temperatures the fall-off of topological susceptibility is milder. We discuss the consequence of our results for cosmology wherein we estimate the bounds on the axion decay constant and the oscillation temperature if indeed the QCD axion is a possible dark matter candidate.


title: Low-temperature-compatible tunneling-current-assisted scanning microwave microscope utilizing a rigid coaxial resonator

abstract: We present a design for a tunneling-current-assisted scanning near-field microwave microscope. For stable operation at cryogenic temperatures, making a small and rigid microwave probe is important. Our coaxial resonator probe has a length of approxomately 30 mm and can fit inside the 2-inch bore of a superconducting magnet. The probe design includes an insulating joint, which separates DC and microwave signals without degrading the quality factor. By applying the SMM to the imaging of an electrically inhomogeneous superconductor, we obtain the spatial distribution of the microwave response with a spatial resolution of approximately 200 nm. Furthermore, we present an analysis of our SMM probe based on a simple lumped-element circuit model along with the near-field microwave measurements of silicon wafers having different conductivities.


title: High-Speed Magnetoresistive Random-Access Memory Random Number Generator Using Error-Correcting Code

abstract: A high-speed random number generator (RNG) circuit based on magnetoresistive random-access memory (MRAM) using an error-correcting code (ECC) post processing circuit is presented. ECC post processing increases the quality of randomness by increasing the entropy of random number. { We experimentally show that a small error-correcting capability circuit is sufficient for this post processing. It is shown that the ECC post processing circuit powerfully improves the quality of randomness with minimum overhead, ending up with high-speed random number generation. We also show that coupling with a linear feedback shift resistor is effective for improving randomness


title: Injection to rapid diffusive shock acceleration at perpendicular shocks in partially ionized plasmas

abstract: We present a three-dimensional hybrid simulation of a collisionless perpendicular shock in a partially ionized plasma for the first time. In this simulation, the shock velocity and the upstream ionization fraction are Vsh ~ 1333 km/s and fi ~ 0.5, that are typical values for isolated young supernova remnants in the interstellar medium. We confirm previous two-dimensional simulation results that downstream hydrogen atoms leak into the upstream region, they are accelerated by the pickup process in the upstream region, and large magnetic field fluctuations are generated both in the upstream and downstream regions. In addition, we find that the magnetic field fluctuations have three-dimensional structures and the leaking hydrogen atoms are injected to the diffusive shock acceleration at the perpendicular shock after the pickup process. The observed diffusive shock acceleration can be interpreted as the shock drift acceleration with scattering. Particles are accelerated to v ~ 100 Vsh ~ 0.3c within ~ 100 gyroperiods in this simulation. The acceleration time scale is faster than that of the diffusive shock acceleration in parallel shocks. Our simulation results suggest that supernova remnants can accelerate cosmic rays to 10^{15.5} eV (the knee) during the Sedov phase.


title: Theoretical estimate on tensor-polarization asymmetry in proton-deuteron Drell-Yan process

abstract: Tensor-polarized parton distribution functions are new quantities in spin-one hadrons such as the deuteron, and they could probe new quark-gluon dynamics in hadron and nuclear physics. In charged-lepton deep inelastic scattering (DIS), they are studied by the twist-two structure functions $b_1$ and $b_2$. The HERMES collaboration found unexpectedly large $b_1$ values than a naive theoretical expectation based on the standard deuteron model. The situation should be significantly improved in the near future by an approved experiment to measure $b_1$ at JLab (Thomas Jefferson National Accelerator Facility). There is also an interesting indication in the HERMES result that finite antiquark tensor polarization exists. It could play an important role in solving a mechanism on tensor structure in the quark-gluon level. The tensor-polarized antiquark distributions are not easily determined from the charged-lepton DIS; however, they can be measured in a proton-deuteron Drell-Yan process with a tensor-polarized deuteron target. In this article, we estimate the tensor-polarization asymmetry for a possible Fermilab Main-Injector experiment by using optimum tensor-polarized PDFs to explain the HERMES measurement. We find that the asymmetry is typically a few percent. If it is measured, it could probe new hadron physics, and such studies could create an interesting field of high-energy spin physics. In addition, we find that a significant tensor-polarized gluon distribution should exist due to $Q^2$ evolution, even if it were zero at a low $Q^2$ scale. The tensor-polarized gluon distribution has never been observed, so that it is an interesting future project.


title: Performance Analysis of ZF Receivers with Imperfect CSI for Uplink Massive MIMO Systems

abstract: We consider the uplink of massive multipleinput multiple-output systems in a multicell environment. Since the base station (BS) estimates the channel state information (CSI) using the pilot signals transmitted from the users, each BS will have imperfect CSI in practice. Assuming zero-forcing method to eliminate the multi-user interference, we derive the exact analytical expressions for the probability density function (PDF) of the signal-to-interference-plus-noise ratio (SINR), the corresponding achievable rate, the outage probability, and the symbol error rate (SER) when the BS has imperfect CSI. An upper bound of the SER is also derived for an arbitrary number of antennas at the BS. Moreover, we derive the upper bound of the achievable rate for the case where the number of antennas at the BS goes to infinity, and the analysis is verified by presenting numerical results.


title: Onion-peeling inversion of stellarator images

abstract: An onion-peeling technique is developed for inferring the emissivity profile of a stellarator plasma from a two-dimensional image acquired through a CCD or CMOS camera. Each pixel in the image is treated as an integral of emission along a particular line-of-sight. Additionally, the flux surfaces in the plasma are partitioned into discrete layers, each of which is assumed to have uniform emissivity. If the topology of the flux surfaces is known, this construction permits the development of a system of linear equations that can be solved for the emissivity of each layer. We present initial results of this method applied to wide-angle visible images of the CNT stellarator plasma.


title: Policy Networks with Two-Stage Training for Dialogue Systems

abstract: In this paper, we propose to use deep policy networks which are trained with an advantage actor-critic method for statistically optimised dialogue systems. First, we show that, on summary state and action spaces, deep Reinforcement Learning (RL) outperforms Gaussian Processes methods. Summary state and action spaces lead to good performance but require pre-engineering effort, RL knowledge, and domain expertise. In order to remove the need to define such summary spaces, we show that deep RL can also be trained efficiently on the original state and action spaces. Dialogue systems based on partially observable Markov decision processes are known to require many dialogues to train, which makes them unappealing for practical deployment. We show that a deep RL method based on an actor-critic architecture can exploit a small amount of data very efficiently. Indeed, with only a few hundred dialogues collected with a handcrafted policy, the actor-critic deep learner is considerably bootstrapped from a combination of supervised and batch RL. In addition, convergence to an optimal policy is significantly sped up compared to other deep RL methods initialized on the data with batch RL. All experiments are performed on a restaurant domain derived from the Dialogue State Tracking Challenge 2 (DSTC2) dataset.


title: Unsupervised Learning of Word-Sequence Representations from Scratch via Convolutional Tensor Decomposition

abstract: Unsupervised text embeddings extraction is crucial for text understanding in machine learning. Word2Vec and its variants have received substantial success in mapping words with similar syntactic or semantic meaning to vectors close to each other. However, extracting context-aware word-sequence embedding remains a challenging task. Training over large corpus is difficult as labels are difficult to get. More importantly, it is challenging for pre-trained models to obtain word-sequence embeddings that are universally good for all downstream tasks or for any new datasets. We propose a two-phased ConvDic+DeconvDec framework to solve the problem by combining a word-sequence dictionary learning model with a word-sequence embedding decode model. We propose a convolutional tensor decomposition mechanism to learn good word-sequence phrase dictionary in the learning phase. It is proved to be more accurate and much more efficient than the popular alternating minimization method. In the decode phase, we introduce a deconvolution framework that is immune to the problem of varying sentence lengths. The word-sequence embeddings we extracted using ConvDic+DeconvDec are universally good for a few downstream tasks we test on. The framework requires neither pre-training nor prior/outside information.


title: Alice-Bob Physics: Coherent Solutions of Nonlocal KdV Systems

abstract: In natural and social science, many events happened at different space-times may be closely correlated. Two events, $A$ (Alice) and $B$ (Bob) are defined correlated if one event is determined by another, say, $B=\hat{f}A$ for suitable $\hat{f}$ operators. Taking KdV and coupled KdV systems as examples, we can find some types of models (AB-KdV systems) to exhibit the existence on the correlated solutions linked with two events. The idea of this report is valid not only for physical problems related to KdV systems but also for problems described by arbitrary continuous or discrete models. The parity and time reversal symmetries are extended to shifted parity and delayed time reversal. The new symmetries are found to be useful not only to establish AB-systems but also to find group invariant solutions of numerous AB-systems. A new elegant form of the $N$-soliton solutions of the KdV equation and then the AB-KdV systems is obtained. A concrete AB-KdV system derived from the nonlinear inviscid dissipative and barotropic vorticity equation in a $\beta$-plane channel is applied to the two correlated monople blocking events which is responsible for the snow disaster in the winter of 2007/2008 happened in Southern China.

categories: nlin.SI math-ph math.MP physics.class-ph


title: Raghavan Narsimhan's proof of L. Schwartz's perturbation theorem

abstract: Raghavan Narasimhan outlined a new proof of L. Schwartz's perturbation theorem during a course of lectures at IMSc, Chennai in Spring 2007. The details are given.


title: On the uniqueness of injective III$_1$ factor

abstract: We give a new proof of a theorem due to Alain Connes, that an injective factor $N$ of type III$_1$ with separable predual and with trivial bicentralizer is isomorphic to the Araki--Woods type III$_1$ factor $R_{\infty}$. This, combined with the author's solution to the bicentralizer problem for injective III$_1$ factors provides a new proof of the theorem that up to $*$-isomorphism, there exists a unique injective factor of type III$_1$ on a separable Hilbert space.


title: Resolving the VO$_2$ controversy: Mott mechanism dominates the insulator-to-metal transition

abstract: We consider a minimal model to investigate the metal-insulator transition in VO$_2$. We adopt a Hubbard model with two orbital per unit cell, which captures the competition between Mott and singlet-dimer localization. We solve the model within Dynamical Mean Field Theory, characterizing in detail the metal-insulator transition and finding new features in the electronic states. We compare our results with available experimental data obtaining good agreement in the relevant model parameter range. Crucially, we can account for puzzling optical conductivity data obtained within the hysteresis region, which we associate to a novel metallic state characterized by a split heavy quasiparticle band. Our results show that the thermal-driven insulator-to-metal transition in VO$_2$ is compatible with a Mott electronic mechanism, providing fresh insight to a long standing "chicken-and-egg" debate and calling for further research of "Mottronics" applications of this system.


title: Quark-Meson Coupling model based upon the Nambu-Jona Lasinio model

abstract: The NJL model for the octet baryons, using proper time regularization to simulate some of the features of confinement, is solved self-consistently in nuclear matter. This provides an alternative framework to the MIT bag model which has been used in the quark-meson coupling model. After fitting the parameters of the model to the saturation properties of symmetric nuclear matter the model is used to explore the equation of state of pure neutron matter as well as nuclear matter at densities relevant to heavy ion collisions. With a view to future studies of high mass neutron stars, the binding of hyperons is also explored.


title: Self-inversive polynomials, curves, and codes

abstract: We study connections between self-inversive and self-reciprocal polynomials, reduction theory of binary forms, minimal models of curves, and formally self-dual codes. We prove that if $\mathcal X$ is a superelliptic curve defined over $\mathbb C$ and its reduced automorphism group is nontrivial or not isomorphic to a cyclic group, then we can write its equation as $y^n = f(x)$ or $y^n = x f(x)$, where $f(x)$ is a self-inversive or self-reciprocal polynomial. Moreover, we state a conjecture on the coefficients of the zeta polynomial of extremal formally self-dual codes.


title: On the field of moduli of superelliptic curves

abstract: A superelliptic curve $\X$ of genus $g\geq 2$ is not necessarily defined over its field of moduli but it can be defined over a quadratic extension of it. While a lot of work has been done by many authors to determine which hyperelliptic curves are defined over their field of moduli, less is known for superelliptic curves. In this paper we observe that if the reduced group of a genus $g\geq 2$ superelliptic curve $\X$ is different from the trivial or cyclic group, then $\X$ can be defined over its field of moduli; in the cyclic situation we provide a sufficient condition for this to happen. We also determine those families of superelliptic curves of genus at most $10$ which might not be definable over their field of moduli.


title: Bounds on Lifting Continuous Markov Chains to Speed Up Mixing

abstract: It is often possible to speed up the mixing of a Markov chain $\{ X_{t} \}_{t \in \mathbb{N}}$ on a state space $\Omega$ by \textit{lifting}, that is, running a more efficient Markov chain $\{ \hat{X}_{t} \}_{t \in \mathbb{N}}$ on a larger state space $\hat{\Omega} \supset \Omega$ that projects to $\{ X_{t} \}_{t \in \mathbb{N}}$ in a certain sense. In [CLP99], Chen, Lov{\'a}sz and Pak prove that for Markov chains on finite state spaces, the mixing time of any lift of a Markov chain is at least the square root of the mixing time of the original chain, up to a factor that depends on the stationary measure. Unfortunately, this extra factor makes the bound in [CLP99] very loose for Markov chains on large state spaces and useless for Markov chains on continuous state spaces. In this paper, we develop an extension of the evolving set method that allows us to refine this extra factor and find bounds for Markov chains on continuous state spaces that are analogous to the bounds in [CLP99]. These bounds also allow us to improve on the bounds in [CLP99] for some chains on finite state spaces.


title: Unified Band Theoretic Description of Electronic and Magnetic Properties of Vanadium Dioxide Phases

abstract: The debate about whether the insulating phases of vanadium dioxide (VO2) can be described by band theory or must be described by a theory of strong electron correlations remains unresolved even after decades of research. Energy-band calculations using hybrid exchange functionals or including self-energy corrections account for the insulating or metallic nature of different phases, but have not yet successfully accounted for the observed magnetic orderings. Strongly-correlated theories have had limited quantitative success. Here we report that, by using hard pseudopotentials and an optimized hybrid exchange functional, the energy gaps and magnetic orderings of both monoclinic VO2 phases and the metallic nature of the high-temperature rutile phase are consistent with available experimental data, obviating an explicit role for strong correlations. We also report a potential candidate for the newly-found metallic monoclinic phase and present a detailed magnetic structure of the M2 monoclinic phase.


title: Surface code fidelity at finite temperatures

abstract: We study the dependence of the fidelity of the surface code in the presence of a single finite-temperature massless bosonic environment after a quantum error correction cycle. The three standard types of environment are considered: super-Ohmic, Ohmic, and sub-Ohmic. Our results show that, for regimes relevant to current experiments, quantum error correction works well even in the presence of environment-induced, long-range inter-qubit interactions. A threshold always exists at finite temperatures, although its temperature dependence is very sensitive to the type of environment. For the super-Ohmic case, the critical coupling constant separating high- from low-fidelity decreases with increasing temperature. For both Ohmic and super-Ohmic cases, the dependence of the critical coupling on temperature is weak. In all cases, the critical coupling is determined by microscopic parameters of the environment. For the sub-Ohmic case, it also depends strongly on the duration of the QEC cycle.


title: D* polarization as a probe to discriminate new physics in B --> D* tau nubar

abstract: The confirmation of excess in $R_{D^*}$ at the LHCb is an indication of lepton flavor non-universality. Various different new physics operators and their coupling strengths, which provide a good fit to $R_D$, $R_{D^*}$ and $q^2$ spectra, were identfied previously. In this work, we try to find angular observables in $\bar{B} \to D^* \tau \bar{\nu}$ which enable us to distinguish between these new physics operators. We find that the $D^*$ polarization fraction $f_L(q^2)$ is a good discriminant of scalar and tensor new physics operators. The change in $\langle f_L(q^2) \rangle$, induced by scalar and tensor operators, is about three times larger than the expected uncertainty in the upcoming Belle measurement.


title: Improvement of thermo-mechanical position stability of the beam position monitor in PLS-II

abstract: In the storage ring of PLS-II, we reduced mechanical displacement of electron beam position monitors (e-BPMs) that is caused by heating during e-beam storage. The orbit feedback system intends that the electron beam pass through the center of the BPM, so to provide stable photon beam into beamlines the BPM pickup itself must be stable to sub-micrometer precision. Thermal deformation of the vacuum chambers on which the BPM pickups are mounted is inevitable when the electron beam current is changed by unintended beam abort. We reduced this deformation by improving the vacuum chamber support and by enhancing the water cooling. We report the thermo-mechanical analysis and displacement measurements of BPM pickups after the improvements.


title: A threshold-force model for adhesion and mode I fracture

abstract: We study the relation between a threshold-force based model at the microscopic scale and mode I fracture at the macroscopic scale in a system of discrete interacting springs. Specifically, we idealize the contact between two surfaces as that between a rigid surface and a collection of springs with long-range interaction and a constant tensile threshold force. We show that a particular scaling similar to that of crack-tip stress in Linear Elastic Fracture Mechanics leads to a macroscopic limit behavior. The model also reproduces the scaling behaviors of the JKR model of adhesive contact. We determine how the threshold force depends on the fracture energy and elastic properties of the material. The model can be used to study rough-surface adhesion.


title: Solutions of random-phase approximation equation for positive-semidefinite stability matrix

abstract: It is mathematically proven that, if the stability matrix $\mathsf{S}$ is positive-semidefinite, solutions of the random-phase approximation (RPA) equation are all physical or belong to Nambu-Goldstone (NG) modes, and the NG-mode solutions may form Jordan blocks of $\mathsf{N\,S}$ ($\mathsf{N}$ is the norm matrix) but their dimension is not more than two. This guarantees that the NG modes in the RPA can be separated out via canonically conjugate variables.


title: Finding Low-Rank Solutions via Non-Convex Matrix Factorization, Efficiently and Provably

abstract: A rank-$r$ matrix $X \in \mathbb{R}^{m \times n}$ can be written as a product $U V^\top$, where $U \in \mathbb{R}^{m \times r}$ and $V \in \mathbb{R}^{n \times r}$. One could exploit this observation in optimization: e.g., consider the minimization of a convex function $f(X)$ over rank-$r$ matrices, where the set of rank-$r$ matrices is modeled via the factorization $UV^\top$. Though such parameterization reduces the number of variables, and is more computationally efficient (of particular interest is the case $r \ll \min\{m, n\}$), it comes at a cost: $f(UV^\top)$ becomes a non-convex function w.r.t. $U$ and $V$. We study such parameterization for optimization of generic convex objectives $f$, and focus on first-order, gradient descent algorithmic solutions. We propose the Bi-Factored Gradient Descent (BFGD) algorithm, an efficient first-order method that operates on the $U, V$ factors. We show that when $f$ is (restricted) smooth, BFGD has local sublinear convergence, and linear convergence when $f$ is both (restricted) smooth and (restricted) strongly convex. For several key applications, we provide simple and efficient initialization schemes that provide approximate solutions good enough for the above convergence results to hold.


title: Can realistic interaction be useful for nuclear mean-field approaches?

abstract: Recent applications of the M3Y-type semi-realistic interaction to the nuclear mean-field approaches are presented: (i) Prediction of magic numbers and (ii) isotope shifts of nuclei with magic proton numbers. The results exemplify that realistic interaction, which is derived from the base $2N$ and $3N$ interaction, furnish a new theoretical instrument for advancing nuclear mean-field approaches.


title: Octahedral rotation patterns in strained EuFeO3 and other Pbnm perovskite films: Implications for hybrid improper ferroelectricity

abstract: We report the relationship between epitaxial strain and the crystallographic orientation of the in-phase rotation axis and A-site displacements in Pbnm-type perovskite films. Synchrotron diffraction measurements of EuFeO3 films under strain states ranging from 2% compressive to 0.9% tensile on cubic or rhombohedral substrates exhibit a combination of a-a+c- and a+a-c- rotational patterns. We compare the EuFeO3 behavior with previously reported experimental and theoretical work on strained Pbnm-type films on non-orthorhombic substrates, as well as additional measurements from LaGaO3, LaFeO3, and Eu0.7Sr0.3MnO3 films on SrTiO3. Compiling the results from various material systems reveals a general strain dependence in which compressive strain strongly favors a-a+c- and a+a-c- rotation patterns and tensile strain weakly favors a-a-c+ structures. In contrast, EuFeO3 films grown on Pbnm-type GdScO3 under 2.3% tensile strain take on a uniform a-a+c- rotation pattern imprinted from the substrate, despite strain energy considerations that favor the a-a-c+ pattern. These results point to the use of substrate imprinting as a more robust route than strain for tuning the crystallographic orientations of the octahedral rotations and A-site displacements needed to realize rotation-induced hybrid improper ferroelectricity in oxide heterostructures.


title: The adaptive Crouzeix-Raviart element method for convection-diffusion eigenvalue problems

abstract: The convection-diffusion eigenvalue problems are hot topics, and computational mathematics community and physics community are concerned about them in recent years. In this paper, we consider the a posteriori error analysis and the adaptive algorithm of the Crouzeix-Raviart nonconforming element method for the convection-diffusion eigenvalue problems. We give the corresponding a posteriori error estimators, and prove their reliability and efficiency. Finally, the numerical results validate the theoretical analysis and show that the algorithm presented in this paper is efficient.


title: Congruences between Heegner points and quadratic twists of elliptic curves

abstract: We establish a congruence formula between $p$-adic logarithms of Heegner points for two elliptic curves with the same mod $p$ Galois representation. As a first application, we use the congruence formula when $p=2$ to explicitly construct many quadratic twists of analytic rank zero (resp. one) for a wide class of elliptic curves $E$. We show that the number of twists of $E$ up to twisting discriminant $X$ of analytic rank zero (resp. one) is $\gg X/\log^{5/6}X$, improving the current best general bound towards Goldfeld's conjecture due to Ono--Skinner (resp. Perelli--Pomykala). We also prove the 2-part of the Birch and Swinnerton-Dyer conjecture for many rank zero and rank one twists of $E$, which was only recently established for specific CM elliptic curves $E$.


title: Collision tomography: Physical properties of possible progenitors of the Andromeda stellar stream

abstract: To unveil a progenitor of the Andromeda Giant Stellar Stream, we investigate the interaction between an accreting satellite galaxy and the Andromeda Galaxy using an $N$-body simulation. A comprehensive parameter study with 247 models is performed by varying size and mass distribution of the progenitor dwarf galaxy. We show that the binding energy of the progenitor is the crucial parameter in reproducing the Andromeda Giant Stellar Stream and the shell-like structures surrounding the Andromeda Galaxy. As a result of the simulations, the progenitor must satisfy a simple scaling relation between the core radius, the total mass and the tidal radius. Using this relation, we successfully constrain the physical properties of the progenitors to have mass ranging from $5\times10^8 M_\odot$ to $5\times10^9 M_\odot$ and central surface density around $10^3\, M_\odot\, \mathrm{pc}^{-2}$. A detailed comparison between our result and the nearby observed galaxies indicates that possible progenitors of the Andromeda Giant Stellar Stream include a dwarf elliptical galaxy, a dwarf irregular galaxy, and a small spiral galaxy.


title: Constrained optimal rearrangement problem leading to a new type obstacle problem

abstract: We consider a new type of obstacle problem in the cylindrical domain $\Omega=D\times (0,1)$ arising from minimization of the functional $$ \int_\Omega \frac{1}{2}|\nabla u|^2+\chi_{\{v>0\}}udx, $$ where $v(x')=\int_0^1 u(x', t) dt $. We prove several existence and regularity results and show that the comparison principle does not hold for minimizers. This problem is derived from a classical optimal rearrangement problem in a cylindrical domain, under the constraint that the force function does not depend on the $x_n$ variable of the cylindrical axis. A mistake in the Theorem 4.2 of the previous version has been found. The statement remains an open problem.


title: Degrees of Freedom of Cache-Aided Wireless Interference Networks

abstract: We study the role of caches in wireless interference networks. We focus on content caching and delivery across a Gaussian interference network, where both transmitters and receivers are equipped with caches. We provide a constant-factor approximation of the system's degrees of freedom (DoF), for arbitrary number of transmitters, number of receivers, content library size, receiver cache size, and transmitter cache size (as long as the transmitters combined can store the entire content library among them). We demonstrate approximate optimality with respect to information-theoretic bounds that do not impose any restrictions on the caching and delivery strategies. Our characterization reveals three key insights. First, the approximate DoF is achieved using a strategy that separates the physical and network layers. This separation architecture is thus approximately optimal. Second, we show that increasing transmitter cache memory beyond what is needed to exactly store the entire library between all transmitters does not provide more than a constant-factor benefit to the DoF. A consequence is that transmit zero-forcing is not needed for approximate optimality. Third, we derive an interesting trade-off between the receiver memory and the number of transmitters needed for approximately maximal performance. In particular, if each receiver can store a constant fraction of the content library, then only a constant number of transmitters are needed. Our solution to the caching problem requires formulating and solving a new communication problem, the symmetric multiple multicast X-channel, for which we provide an exact DoF characterization.


title: Systematic analysis of structural and magnetic properties of spinel $CoB_2O_4$(B=Cr,Mn and Fe)compounds from their electronic structures

abstract: The structural and magnetic properties of spinel compounds $CoB_2O_4$ (B=Cr,Mn and Fe) are studied using the DFT+U method and generalized gradient approximation (GGA). We concentrate on understanding the trends in the properties of these materials as the B cation changes, in terms of relative strengths of crystal fields and exchange fields through an analysis of their electronic densities of states. We find that the electron-electron correlation plays a significant role in obtaining the correct structural and electronic ground states. Significant structural distortion in CoMn$_{2}$O$_{4}$ and "inverted" sublattice occupancy in CoFe$_{2}$O$_{4}$ affects the magnetic exchange interactions substantially. The trends in the magnetic exchange interactions are analysed in terms of the structural parameters and the features in their electronic structures. We find that the Fe states in CoFe$_{2}$O$_{4}$ are extremely localised, irrespective of the symmetry of the site, which makes it very different from the features of the states of the B cations in other two compounds. These results provide useful insights into the trends in the properties of CoB$_{2}$O$_{4}$ compounds with variation of B cation which would help in understanding the results of recent experiments on doping of Mn and Cr in multiferroic CoCr$_{2}$O$_{4}$.


title: Information thermodynamics for a multi-feedback process with time delay

abstract: We investigate a measurement-feedback process of repeated operations with time delay. During a finite-time interval, measurement on the system is performed and the feedback protocol derived from the measurement outcome is applied with time delay. This protocol is maintained into the next interval until a new protocol from the next measurement is applied. Unlike a feedback process without delay, both memories associated with previous and present measurement outcomes are involved in the system dynamics, which naturally brings forth a joint system described by a system state and two memory states. The thermodynamic second law provides a lower bound for heat flow into a thermal reservoir by the (3-state) Shannon entropy change of the joint system. However, as the feedback protocol depends on memory states sequentially, we can deduce a tighter bound for heat flow by integrating out irrelevant memory states during dynamics. As a simple example, we consider the so-called cold damping feedback process where the velocity of a particle is measured and a dissipative feedback protocol is applied to decelerate the particle. We confirm that the heat flow is well above the tightest bound. We also examine the long-time limit of this feedback process, which turns out to exhibit an interesting instability transition as well as heating by controlling parameters such as measurement errors, time interval, protocol strength, and time delay length. We discuss the underlying mechanism for instability and heating, which might be unavoidable in reality.


title: One dimensional PIC simulation of relativistic Buneman instability

abstract: Spatio-temporal evolution of the relativistic Buneman instability has been investigated in one dimension using an in-house developed particle-in-cell simulation code. Starting from the excitation of the instability, its evolution has been followed numerically till its quenching and beyond. As compared to the well understood non-relativistic case, it is found that the maximum growth rate ($\gamma_{max}$) reduces due to relativistic effects and varies with $\gamma_{e0}$ and m/M as $\gamma_{max} \sim \frac{\sqrt{3}}{2\sqrt{\gamma_{e0}}}\biglb(\frac{m}{2M}\bigrb)^{1/3}$, where $\gamma_{e0}$ is Lorentz factor associated with the initial electron drift velocity ($v_{0}$) and (m/M) is the electron to ion mass ratio. Further it is observed that in contrast to the non-relativistic results[Hirose,Plasma Phys. 20, 481(1978)] at the saturation point, ratio of electrostatic field energy density ($\sum\limits_{k} |E_{k}|^{2}/8\pi$) to initial drift kinetic energy density ($W_{0}$) scales with $\gamma_{e0}$ as $\sim 1/\gamma^{2}_{e0}$. These simulation results are found to be in good agreement with that derived using fluid theory.


title: Understanding the internal structures of the $X(4140)$, $X(4274)$, $X(4500)$ and $X(4700)$

abstract: We investigate the newly observed $X(4500)$ and $X(4700)$ based on the diquark-antidiquark configuration within the framework of QCD sum rules. Both of them may be interpreted as the $D$-wave $cs\bar{c}\bar{s}$ tetraquark states of $J^P = 0^+$, but with opposite color structures, which is remarkably similar to the result obtained in Ref.~\cite{Chen:2010ze} that the $X(4140)$ and $X(4274)$ can be both interpreted as the $S$-wave $cs\bar{c}\bar{s}$ tetraquark states of $J^P = 1^+$, also with opposite color structures. However, the extracted masses and these suggested assignments to these $X$ states do depend on these running quark masses where $m_s (2 \mbox{ GeV}) = 95 \pm 5$ MeV and $m_c (m_c) = 1.23 \pm 0.09$ GeV. As a byproduct, the masses of the hidden-bottom partner states of the $X(4500)$ and $X(4700)$ are extracted to be both around 10.64 GeV, which can be searched for in the $\Upsilon \phi$ invariant mass distribution.


title: Calculi for Intuitionistic Normal Modal Logic

abstract: This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box fragment of the intuitionistic modal logic IK. The strong normalizability and the confluency of the calculi are shown. Moreover, we define a CPS transformation from the call-by-value calculus to the call-by-name calculus, and show its soundness and completeness.


title: Alternative framework for quantifying coherence

abstract: We propose an alternative framework for quantifying coherence. The framework is based on a natural property of coherence, the additivity of coherence for subspace-independent states, which is described by an operation-independent equality rather than operation-dependent inequalities and therefore applicable to various physical contexts. Our framework is compatible with all the known results on coherence measures but much more flexible and convenient for applications, and by using it many open questions can be resolved.


title: Cyber Attack Thread: A Control-flow Based Approach to Deconstruct and Mitigate Cyber Threats

abstract: Attacks in cyberspace have got attention due to risk at privacy, breach of trust and financial losses for individuals as well as organizations. In recent years, these attacks have become more complex to analyze technically, as well as to detect and prevent from accessing confidential data. Although there are many methodologies and mechanisms which have been suggested for cyber-attack detection and prevention, but not from the perspective of an attacker. This paper presents the cyber-defence as hindrances, faced by the attacker, by understanding attack thread and defence possibilities with existing security mechanisms. Seven phases of Cyber Attack Thread are introduced and technical aspects are discussed with reference to APT attacks. The paper aims for security practitioner and administrators as well as for the general audience to understand the attack scenario and defensive security measures.


title: Yokohama to Ruby Valley : Around the World in 80 Years. II

abstract: We two had year-long research leaves in Japan, working together fulltime with several Japanese plus Tony De Groot back in Livermore and Harald Posch in Vienna. We summarize a few of the high spots from that very productive year ( 1989-1990 ), followed by an additional fifteen years' work in Livermore, with extensive travel. Next came our retirement in Nevada in 2005, which has turned out to be a long-term working vacation. Carol narrates this part of our history together.


title: Technical Aspects of Cyber Kill Chain

abstract: Recent trends in targeted cyber-attacks has increased the interest of research in the field of cyber security. Such attacks have massive disruptive effects on rganizations, enterprises and governments. Cyber kill chain is a model to describe cyber-attacks so as to develop incident response and analysis capabilities. Cyber kill chain in simple terms is an attack chain, the path that an intruder takes to penetrate information systems over time to execute an attack on the target. This paper broadly categories the methodologies, techniques and tools involved in cyber-attacks. This paper intends to help a cyber security researcher to realize the options available to an attacker at every stage of a cyber-attack.


title: Approximation algorithms for the vertex happiness

abstract: We investigate the maximum happy vertices (MHV) problem and its complement, the minimum unhappy vertices (MUHV) problem. We first show that the MHV and MUHV problems are a special case of the supermodular and submodular multi-labeling (Sup-ML and Sub-ML) problems, respectively, by re-writing the objective functions as set functions. The convex relaxation on the Lov\'{a}sz extension, originally presented for the submodular multi-partitioning (Sub-MP) problem, can be extended for the Sub-ML problem, thereby proving that the Sub-ML (Sup-ML, respectively) can be approximated within a factor of $2 - \frac{2}{k}$ ($\frac{2}{k}$, respectively). These general results imply that the MHV and the MUHV problems can also be approximated within $\frac{2}{k}$ and $2 - \frac{2}{k}$, respectively, using the same approximation algorithms. For MHV, this $\frac{2}{k}$-approximation algorithm improves the previous best approximation ratio $\max \{\frac{1}{k}, \frac{1}{\Delta + 1}\}$, where $\Delta$ is the maximum vertex degree of the input graph. We also show that an existing LP relaxation is the same as the concave relaxation on the Lov\'{a}sz extension for the Sup-ML problem; we then prove an upper bound of $\frac{2}{k}$ on the integrality gap of the LP relaxation. These suggest that the $\frac{2}{k}$-approximation algorithm is the best possible based on the LP relaxation. For MUHV, we formulate a novel LP relaxation and prove that it is the same as the convex relaxation on the Lov\'{a}sz extension for the Sub-ML problem; we then show a lower bound of $2 - \frac{2}{k}$ on the integrality gap of the LP relaxation. Similarly, these suggest that the $(2 - \frac{2}{k})$-approximation algorithm is the best possible based on the LP relaxation. Lastly, we prove that this $(2 - \frac{2}{k})$-approximation is optimal for the MUHV problem, assuming the Unique Games Conjecture.


title: Projecting the distribution of planar Browian motion at a stopping time through an analytic function

abstract: A method is given of deriving the distribution of planar Brownian motion evaluated at certain stopping times using analytic functions. This method relies upon a generalization of the standard conformal invariance of harmonic measure. A number of examples are given, including several in which the stopping time in question is not the exit time of a domain. It is also shown how appropriate choices of domains and stopping times can lead to new proofs of identities, including Euler's Basel sum and a generalization of Leibniz's formula for $\pi$.


title: Biharmonic hypersurfaces with constant scalar curvature in space forms

abstract: Let $M^n$ be a biharmonic hypersurface with constant scalar curvature in a space form $\mathbb M^{n+1}(c)$. We show that $M^n$ has constant mean curvature if $c>0$ and $M^n$ is minimal if $c\leq0$, provided that the number of distinct principal curvatures is no more than 6. This partially confirms Chen's conjecture and Generalized Chen's conjecture. As a consequence, we prove that there exist no proper biharmonic hypersurfaces with constant scalar curvature in Euclidean space $\mathbb E^{n+1}$ or hyperbolic space $\mathbb H^{n+1}$ for $n<7$.


title: A simulation study on image reconstruction in magnetic particle imaging with field-free-line encoding

abstract: The purpose of this study was to present image reconstruction methods for magnetic particle imaging (MPI) with a field-free-line (FFL) encoding scheme and to propose the use of the maximum likelihood-expectation maximization (ML-EM) algorithm for improving the image quality of MPI. The feasibility of these methods was investigated by computer simulations, in which the projection data were generated by summing up the Fourier harmonics obtained from the MPI signals based on the Langevin function. Images were reconstructed from the generated projection data using the filtered backprojection (FBP) method and the ML-EM algorithm. The effects of the gradient of selection magnetic field (SMF), the strength of drive magnetic field (DMF), the diameter of magnetic nanoparticles (MNPs), and the number of projection data on the image quality of the reconstructed images were investigated. The spatial resolution of the reconstructed images became better with increasing gradient of SMF and with increasing diameter of MNPs up to approximately 30 nm. For the diameter greater than approximately 30 nm, the spatial resolution was almost constant. It also became better with decreasing strength of DMF. The image quality was improved by use of the ML-EM algorithm compared to the FBP method, especially when the strength of DMF was weak and the number of projection data was small. In conclusion, we presented image reconstruction methods for MPI with an FFL encoding scheme and our preliminary results suggest that the ML-EM algorithm will be useful for improving the image quality of MPI.


title: Bringing Order to the Chaos in the Brickyard

abstract: An allegory published in 1963 titled Chaos in the Brickyard spoke to the decline in the quality of research. In the intervening time greater awareness of the issues and actions to improve research endeavors have emerged. Still, problems persist. This paper is intended to clarify some of the challenges, particularly with respect to quantitative research, then suggest ways to improve the quality of published research. The paper highlights where feasible refinements in analytical techniques can be made and provides a guide to fundamental principles related to data analysis in research.