title: Heavy right-handed neutrino dark matter and PeV neutrinos at IceCube

abstract: We discuss a simple non-supersymmetric model based on the electroweak gauge group $SU(2)_L\times SU(2)^\prime\times U(1)_{B-L}$ where the lightest of the right-handed neutrinos, which are part of the leptonic doublet of $SU(2)^\prime$, play the role of a long-lived unstable dark matter with mass in the multi-PeV range. We use a resonant $s$-channel annihilation to obtain the correct thermal relic density and relax the unitarity bound on dark matter mass. In this model, there exists a 3-body dark matter decay mode producing tau leptons and neutrinos, which could be the source for the PeV cascade events observed in the IceCube experiment. The model can be tested with more precise flavor information of the highest-energy neutrino events in future data.


title: Sparsely Connected and Disjointly Trained Deep Neural Networks for Low Resource Behavioral Annotation: Acoustic Classification in Couples' Therapy

abstract: Observational studies are based on accurate assessment of human state. A behavior recognition system that models interlocutors' state in real-time can significantly aid the mental health domain. However, behavior recognition from speech remains a challenging task since it is difficult to find generalizable and representative features because of noisy and high-dimensional data, especially when data is limited and annotated coarsely and subjectively. Deep Neural Networks (DNN) have shown promise in a wide range of machine learning tasks, but for Behavioral Signal Processing (BSP) tasks their application has been constrained due to limited quantity of data. We propose a Sparsely-Connected and Disjointly-Trained DNN (SD-DNN) framework to deal with limited data. First, we break the acoustic feature set into subsets and train multiple distinct classifiers. Then, the hidden layers of these classifiers become parts of a deeper network that integrates all feature streams. The overall system allows for full connectivity while limiting the number of parameters trained at any time and allows convergence possible with even limited data. We present results on multiple behavior codes in the couples' therapy domain and demonstrate the benefits in behavior classification accuracy. We also show the viability of this system towards live behavior annotations.


title: Evidence for a postreproductive phase in female false killer whales Pseudorca crassidens

abstract: A substantial period of life after reproduction ends, known as postreproductive lifespan (PRLS), is at odds with classical life history theory. Prolonged PRLS has been confirmed in only two non-human mammals, both odontocete cetaceans. We investigate the evidence for PRLS in a third species, the false killer whale, Pseudorca crassidens, using a quantitative measure of PRLS and morphological evidence from reproductive tissue. We examined specimens from false killer whales from combined strandings (South Africa, 1981) and harvest (Japan 1979-80) and found morphological evidence of changes in the activity of the ovaries in relation to age. Ovulation had ceased in 50% of whales over 45 years, and all whales over 55 years old had ovaries classified as postreproductive. We also calculated a measure of PRLS, known as postreproductive representation (PrR) as an indication of the effect of inter-population demographic variability. PrR for the combined sample was 0.14, whereas the mean of the simulated distribution for PrR under the null hypothesis of no PRLS was 0.02. The 99th percentile of the simulated distribution was 0.08 and no simulated value exceeded 0.13. These results suggest that PrR was convincingly different from the measures simulated under the null hypothesis. We found morphological and statistical evidence for PRLS in South African and Japanese pods of false killer whales, suggesting that this species is the third non-human mammal in which this phenomenon has been demonstrated in wild populations. Our estimates for PrR in false killer whales (0.12-0.37) spanned the single values available for the short-finned pilot whale (0.28) and the killer whale (0.22) and are comparable to estimates for historical or hunter-gather human populations (0.3-0.47).


title: Selection Rules for Non-Radiative Carrier Relaxation Processes in Semiconductor Quantum Dots

abstract: Time resolved intensity cross-correlation measurements of radiative cascades are used for studying non-radiative relaxation processes of excited carriers confined in semiconductor quantum dots. We spectrally identify indirect radiative cascades which include intermediate phonon assisted relaxations. The energy of the first photon reveals the multicarrier configuration prior to the non-radiative relaxation, while the energy of the second photon reveals the configuration after the relaxation. The intensity cross correlation measurements thus provide quantitative measures of the non-radiative processes and their selection rules. We construct a model which accurately describes the experimental observations in terms of the electron-phonon and electron-hole exchange interactions. Our measurements and model provide a new tool for engineering relaxation processes in semiconductor nanostructures.


title: Training variance and performance evaluation of neural networks in speech

abstract: In this work we study variance in the results of neural network training on a wide variety of configurations in automatic speech recognition. Although this variance itself is well known, this is, to the best of our knowledge, the first paper that performs an extensive empirical study on its effects in speech recognition. We view training as sampling from a distribution and show that these distributions can have a substantial variance. These results show the urgent need to rethink the way in which results in the literature are reported and interpreted.


title: Two-Dimensional Multiferroics: Ferroelasticity, Ferroelectricity, Domain Wall, and Potential Mechano-Opto-Electronic Applications

abstract: Low-dimensional multiferroic materials hold great promises in miniaturized device applications such as nanoscale transducers, actuators, sensors, photovoltaics, and nonvolatile memories. Here, using first-principles theory we predict that two-dimensional (2D) monolayer Group IV monochalcogenides including GeS, GeSe, SnS, and SnSe are a class of 2D semiconducting multiferroics with strongly coupled giant in-plane spontaneous ferroelectric polarization and spontaneous ferroelastic lattice strain that are thermodynamically stable at room temperature and beyond, and can be effectively modulated by elastic strain engineering. Their optical absorption spectra exhibit strong in-plane anisotropy with visible-spectrum excitonic gaps and sizable exciton binding energies, rendering the unique characteristics of low-dimensional semiconductors. More importantly, the predicted low domain wall energy and small migration barrier together with the coupled multiferroic order and anisotropic electronic structures suggest their great potentials for tunable multiferroic functional devices by manipulating external electrical, mechanical, and optical field to control the internal responses, and enable the development of four device concepts including 2D ferroelectric memory, 2D ferroelastic memory, and 2D ferroelastoelectric nonvolatile photonic memory as well as 2D ferroelectric excitonic photovoltaics.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.comp-ph physics.optics


title: Quantum-coherent mixtures of causal relations

abstract: Understanding the causal influences that hold among parts of a system is critical both to explaining that system's natural behaviour and to controlling it through targeted interventions. In a quantum world, understanding causal relations is equally important, but the set of possibilities is far richer. The two basic ways in which a pair of time-ordered quantum systems may be causally related are by a cause-effect mechanism or by a common cause acting on both. Here, we show a coherent mixture of these two possibilities. We realize this nonclassical causal relation in a quantum optics experiment and derive a set of criteria for witnessing the coherence based on a quantum version of Berkson's effect, whereby two independent causes can become correlated upon observation of their common effect. The interplay of causality and quantum theory lies at the heart of challenging foundational puzzles, including Bell's theorem and the search for quantum gravity.


title: On global and local minimizers of prestrained thin elastic rods

abstract: We study the stable configurations of a thin three-dimensional weakly prestrained rod subject to a terminal load as the thickness of the section vanishes. By $\Gamma$-convergence we derive a one-dimensional limit theory and show that isolated local minimizers of the limit model can be approached by local minimizers of the three-dimensional model. In the case of isotropic materials and for two-layers prestrained three-dimensional models the limit energy further simplifies to that of a Kirchhoff rod-model of an intrinsically curved beam. In this case we study the limit theory and investigate global and/or local stability of straight and helical configurations. Through some simple simulations we finally compare our results with real experiments.


title: On the local existence for an active scalar equation in critical regularity setting

abstract: In this note, we address the local well-posedness for the active scalar equation $\partial_t \theta + u\cdot \nabla \theta =0$, where $u = - \nabla^\perp(-\Delta)^{-1+\beta/2}\theta$. The local existence of solutions in the Sobolev class $H^{1+\beta+\epsilon}$, where $\epsilon>0$ and $\beta \in (1,2)$, has been recently addressed in \cite{HKZ}. The critical case $\epsilon =0$ has remained open. Using a different technique, we prove the local well-posedness in the Besov space $B^{1+\beta}_{2,1}$, where $\beta \in (1,2)$. The proof is based on log-Lipschitz estimates for the transport equation.


title: CCD photometry of the Globular Cluster NGC 6093

abstract: In this paper we present photometric CCD observations of the globular cluster NGC 6093 (M80) in filters B, V , R and I. We produce the colour-magnitude diagrams for this object and obtain values for its metallicity [Fe/H], reddening E(V-B), E(V-I) and distance modulus (m - M)_0.


title: The Extraordinary Amount of Substructure in the Hubble Frontier Fields Cluster Abell 2744

abstract: We present a joint optical/X-ray analysis of the massive galaxy cluster Abell 2744 (z=0.308). Our strong- and weak-lensing analysis within the central region of the cluster, i.e., at R<1Mpc from the brightest cluster galaxy, reveals eight substructures, including the main core. All of these dark-matter halos are detected with a significance of at least 5sigma and feature masses ranging from 0.5 to 1.4x10^{14}Msun within R<150kpc. Merten et al. (2011) and Medezinski et al. (2016) substructures are also detected by us. We measure a slightly higher mass for the main core component than reported previously and attribute the discrepancy to the inclusion of our tightly constrained strong-lensing mass model built on Hubble Frontier Fields data. X-ray data obtained by XMM-Newton reveal four remnant cores, one of them a new detection, and three shocks. Unlike Merten et al. (2011), we find all cores to have both dark and luminous counterparts. A comparison with clusters of similar mass in the MXXL simulations yields no objects with as many massive substructures as observed in Abell 2744, confirming that Abell 2744 is an extreme system. We stress that these properties still do not constitute a challenge to $\Lambda$CDM, as caveats apply to both the simulation and the observations: for instance, the projected mass measurements from gravitational lensing and the limited resolution of the sub-haloes finders. We discuss implications of Abell 2744 for the plausibility of different dark-matter candidates and, finally, measure a new upper limit on the self-interaction cross-section of dark matter of sigma_{DM}<1.28cm2/g(68\% CL), in good agreement with previous results from Harvey et al. (2015).


title: The role of galactic cold gas in low-level supermassive black hole activity

abstract: The nature of the relationship between low-level supermassive black hole (SMBH) activity and galactic cold gas, if any, is currently unclear. Here, we test whether central black holes may feed at higher rates in gas-rich galaxies, probing SMBH activity well below the active regime down to Eddington ratios of ~1e-7. We use a combination of radio data from the ALFALFA survey and from the literature, along with archival X-ray flux measurements from the Chandra X-ray observatory, to investigate this potential relationship. We construct a sample of 129 late-type galaxies, with MB<-18 out to 50 Mpc, that have both HI masses and sensitive X-ray coverage. Of these, 75 host a nuclear X-ray source, a 58% detection fraction. There is a highly significant correlation between nuclear X-ray luminosity LX and galaxy stellar mass Mstar with a slope of 1.7+/-0.3, and a tentative correlation (significant at the 2.8 sigma level) between LX and HI gas mass MHI. However, a joint fit to LX as a function of both Mstar and MHI finds no significant dependence on MHI (slope 0.1+/00.3), and similarly the residuals of LX-LX(Mstar) show no trend with MHI; the apparent correlation between LX and MHI seems to be entirely driven by Mstar. We demonstrate quantitatively that these results are robust against X-ray binary contamination. We conclude that the galaxy-wide cold gas content in these spirals does not strongly correlate with their low-level supermassive black hole activity, and suggest fueling is a localized process.


title: Vaidya Spacetime for Galileon Gravity's Rainbow

abstract: In this paper, we analyze Vaidya spacetime with an energy dependent metric in Galileon gravity's rainbow. This will be done using the rainbow functions which are motivated from the results obtained in loop quantum gravity approach and non-commutative geometry. We will investigate the Gravitational collapse in this Galileon gravity's rainbow. We will discuss the behavior of singularities formed from the gravitational collapse in this rainbow deformed Galileon gravity.


title: Fusion and braiding in finite and affine Temperley-Lieb categories

abstract: Finite Temperley-Lieb (TL) algebras are diagram-algebra quotients of (the group algebra of) the famous Artin's braid group $B_N$, while the affine TL algebras arise as diagram algebras from a generalized version of the braid group. We study asymptotic `$N\to\infty$' representation theory of these quotients (parametrized by $q\in\mathbb{C}^{\times}$) from a perspective of braided monoidal categories. Using certain idempotent subalgebras in the finite and affine algebras, we construct infinite `arc' towers of the diagram algebras and the corresponding direct system of representation categories, with terms labeled by $N\in\mathbb{N}$. The corresponding direct-limit category is our main object of studies. For the case of the finite TL algebras, we prove that the direct-limit category is abelian and highest-weight at any $q$ and endowed with braided monoidal structure. The most interesting result is when $q$ is a root of unity where the representation theory is non-semisimple. The resulting braided monoidal categories we obtain at different roots of unity are new and interestingly they are not rigid. We observe then a fundamental relation of these categories to a certain representation category of the Virasoro algebra and give a conjecture on the existence of a braided monoidal equivalence between the categories. This should have powerful applications to the study of the `continuum' limit of critical statistical mechanics systems based on the TL algebra. We also introduce a novel class of embeddings for the affine Temperley-Lieb algebras and related new concept of fusion or bilinear $\mathbb{N}$-graded tensor product of modules for these algebras. We prove that the fusion rules are stable with the index $N$ of the tower and prove that the corresponding direct-limit category is endowed with an associative tensor product. We also study the braiding properties of this affine TL fusion.

categories: math.QA hep-th math-ph math.CT math.MP math.RT


title: The two-dimensional Jacobian Conjecture and unique factorization

abstract: The two-dimensional Jacobian Conjecture says that a $\mathbb{C}$-algebra endomorphism $F:\mathbb{C}[x,y] \to \mathbb{C}[x,y]$ that has an invertible Jacobian is an automorphism. We show that if a $\mathbb{C}$-algebra endomorphism $F:\mathbb{C}[x,y] \to \mathbb{C}[x,y]$ has an invertible Jacobian and if $v \in \mathbb{C}[F(x),F(y),x]$ is a product of prime elements of $\mathbb{C}[F(x),F(y),x]$, then $F$ is an automorphism, where $v$ is such that $y = u/v$, where $u \in \mathbb{C}[F(x),F(y),x]$.


title: Nondegenerate $2 \times k \times (k+1)$ Hypermatrices

abstract: We construct an extension of Gaussian elimination to show that if $\mathbb{F}$ is a topological field, then there is a transitive, free, and continuous action of a natural quotient of $GL_k(\mathbb{F}) \times GL_{k+1}(\mathbb{F})$ on the set $M_k(\mathbb{F})$ of $2 \times k \times (k+1)$ hypermatrices over $\mathbb{F}$ with nonzero hyperdeterminant. We use this action to answer a number of questions including determining the homotopy groups of $M_k(\mathbb{C})$, counting elements of $M_k(\mathbb{F}_q)$ (generalizing an unpublished result of Lewis and Sam), and computing hyperdeterminants for $2 \times k \times (k+1)$ hypermatrices in $O(k^4)$ time, which we use to compute explicit formulas in some special cases.


title: On functions without a normal order

abstract: The method of Tur\'an in establishing the normal order for the number of prime divisors of a number is used to show that a certain class of arithmetic functions do not have a normal order.


title: Thermosensitive Cu2O-PNIPAM core-shell nanoreactors with tunable photocatalytic activity

abstract: We report a facile and novel method for the fabrication of Cu2O@PNIPAM core-shell nanoreactors using Cu2O nanocubes as the core. The PNIPAM shell not only effectively protects the Cu2O nanocubes from oxidation, but also improves the colloidal stability of the system. The Cu2O@PNIPAM core-shell microgels can work efficiently as photocatalyst for the decomposition of methyl orange under visible light. A significant enhancement in the catalytic activity has been observed for the core-shell microgels compared with the pure Cu2O nanocubes. Most importantly, the photocatalytic activity of the Cu2O nanocubes can be further tuned by the thermosensitive PNIPAM shell, as rationalized by our recent theory.


title: Efficient adaptation of complex-valued noiselet sensing matrices for compressed single-pixel imaging

abstract: Minimal mutual coherence of discrete noiselets and Haar wavelets makes this pair of bases an essential choice for the measurement and compression matrices in compressed-sensing-based single-pixel detectors. In this paper we propose an efficient way of using complex-valued and non-binary noiselet functions for object sampling in single-pixel cameras with binary spatial light modulators and incoherent illumination. The proposed method allows to determine m complex noiselet coefficients from m+1 binary sampling measurements. Further, we introduce a modification to the complex fast noiselet transform, which enables computationally-efficient real-time generation of the binary noiselet-based patterns using efficient integer calculations on bundled patterns. The proposed method is verified experimentally with a single-pixel camera system using a binary spatial light modulator.


title: O VI Emission Imaging of a Galaxy with the Hubble Space Telescope: a Warm Gas Halo Surrounding the Intense Starburst SDSS J115630.63+500822.1

abstract: We report results from a new HST study of the OVI 1032,1038\AA\ doublet in emission around intensely star-forming galaxies. The programme aims to characterize the energy balance in starburst galaxies and gas cooling in the difficult-to-map coronal temperature regime of 2-5 x $10^5$K. We present the first resolved image of gas emission in the OVI line. Our target, SDSS J1156+5008, is very compact in the continuum but displays OVI emission to radii of 23 kpc. The surface brightness profile is well fit by an exponential with a scale of 7.5kpc. This is ten times the size of the photoionized gas, and we estimate that 1/6 the total OVI luminosity comes from resonantly scattered continuum radiation. Spectroscopy - which closely resembles a stacked sample of archival spectra - confirms the OVI emission, and determines the column density and outflow velocity from blueshifted absorption. The combination of measurements enables several new calculations with few assumptions. The OVI regions fill only ~$10^{-3}$ of the volume. By comparing the cooling time with the cloud sound-crossing time, the cooling distance with the size, and the pressure in the OVI and nebular gas, we conclude that the OVI-bearing gas cannot have been lifted to the scale height at this temperature, and must be cooling in situ through this coronal temperature regime. The coronal phase contains ~1% of the ionized mass, and its kinetic energy is currently ~1% of the budget set by supernova feedback. However a much larger amount of the gas must have cooled through this phase during the star formation episode. The outflow exceeds the escape velocity and the gas may become unbound, but it will recombine before it escapes and become visible to Lyman (and OI) spectroscopy. The mapping of this gas represents a crucial step in further constraining galaxy formation scenarios and guiding the development of future satellites.


title: Linearity of Holographic Entanglement Entropy

abstract: We consider the question of whether the leading contribution to the entanglement entropy in holographic CFTs is truly given by the expectation value of a linear operator as is suggested by the Ryu-Takayanagi formula. We investigate this property by computing the entanglement entropy, via the replica trick, in states dual to superpositions of macroscopically distinct geometries and find it consistent with evaluating the expectation value of the area operator within such states. However, we find that this fails once the number of semi-classical states in the superposition grows exponentially in the central charge of the CFT. Moreover, in certain such scenarios we find that the choice of surface on which to evaluate the area operator depends on the density matrix of the entire CFT. This nonlinearity is enforced in the bulk via the homology prescription of Ryu-Takayanagi. We thus conclude that the homology constraint is not a linear property in the CFT. We also discuss the existence of entropy operators in general systems with a large number of degrees of freedom.


title: A DECam Search for an Optical Counterpart to the LIGO Gravitational Wave Event GW151226

abstract: We report the results of a Dark Energy Camera (DECam) optical follow-up of the gravitational wave (GW) event GW151226, discovered by the Advanced LIGO detectors. Our observations cover 28.8 deg$^2$ of the localization region in the $i$ and $z$ bands (containing 3% of the BAYESTAR localization probability), starting 10 hours after the event was announced and spanning four epochs at $2-24$ days after the GW detection. We achieve $5\sigma$ point-source limiting magnitudes of $i\approx21.7$ and $z\approx21.5$, with a scatter of $0.4$ mag, in our difference images. Given the two day delay, we search this area for a rapidly declining optical counterpart with $\gtrsim 3\sigma$ significance steady decline between the first and final observations. We recover four sources that pass our selection criteria, of which three are cataloged AGN. The fourth source is offset by $5.8$ arcsec from the center of a galaxy at a distance of 187 Mpc, exhibits a rapid decline by $0.5$ mag over $4$ days, and has a red color of $i-z\approx 0.3$ mag. These properties roughly match the expectations for a kilonova. However, this source was detected several times, starting $94$ days prior to GW151226, in the Pan-STARRS Survey for Transients (dubbed as PS15cdi) and is therefore unrelated to the GW event. Given its long-term behavior, PS15cdi is likely a Type IIP supernova that transitioned out of its plateau phase during our observations, mimicking a kilonova-like behavior. We comment on the implications of this detection for contamination in future optical follow-up observations.


title: Detection and localization of continuous gravitational waves with pulsar timing arrays: the role of pulsar terms

abstract: A pulsar timing array is a Galactic-scale detector of nanohertz gravitational waves (GWs). Its target signals contain two components: the `Earth term' and the `pulsar term' corresponding to GWs incident on the Earth and pulsar respectively. In this work we present a Frequentist method for the detection and localization of continuous waves that takes into account the pulsar term and is significantly faster than existing methods. We investigate the role of pulsar terms by comparing a full-signal search with an Earth-term-only search for non-evolving black hole binaries. By applying the method to synthetic data sets, we find that (i) a full-signal search can slightly improve the detection probability (by about five percent); (ii) sky localization is biased if only Earth terms are searched for and the inclusion of pulsar terms is critical to remove such a bias; (iii) in the case of strong detections (with signal-to-noise ratio $\gtrsim$ 30), it may be possible to improve pulsar distance estimation through GW measurements.


title: A close look at secular evolution: Boxy/peanut bulges reduce gas inflow to the central kiloparsec

abstract: In this letter we investigate the effect of boxy/peanut (b/p) bulges on bar-induced gas inflow to the central kiloparsec, which plays a crucial role on the evolution of disc galaxies. We carry out hydrodynamic gas response simulations in realistic barred galaxy potentials, including or not the geometry of a b/p bulge, to investigate the amount of gas inflow induced in the different models. We find that b/p bulges can reduce the gas inflow rate to the central kiloparsec by more than an order of magnitude, which leads to a reduction in the amount of gas available in the central regions. We also investigate the effect of the dark matter halo concentration on these results, and find that for maximal discs, the effect of b/p bulges on gas inflow remains significant. The reduced amount of gas reaching the central regions due to the presence of b/p bulges could have significant repercussions on the formation of discy- (pseudo-) bulges, on the amount of nuclear star formation and feedback, on the fuel reservoir for AGN activity, and on the overall secular evolution of galaxies.


title: Search for light scalar dark matter with atomic gravitational wave detectors

abstract: We show that gravitational wave detectors based on a type of atom interferometry are sensitive to ultralight scalar dark matter. Such dark matter can cause temporal oscillations in fundamental constants with a frequency set by the dark matter mass, and amplitude determined by the local dark matter density. The result is a modulation of atomic transition energies. This signal is ideally suited to a type of gravitational wave detector that compares two spatially separated atom interferometers referenced by a common laser. Such a detector can improve on current searches for electron-mass or electric-charge modulus dark matter by up to 10 orders of magnitude in coupling, in a frequency band complementary to that of other proposals. It demonstrates that this class of atomic sensors is qualitatively different from other gravitational wave detectors, including those based on laser interferometry. By using atomic-clock-like interferometers, laser noise is mitigated with only a single baseline. These atomic sensors can thus detect scalar signals in addition to tensor signals.


title: Effect of long-range hopping and interactions on entanglement dynamics and many-body localization

abstract: We numerically investigate the dynamics of entanglement in a chain of spinless fermions with nonrandom but long-range hopping and interactions, and with random on-site energies. For moderate disorder in the absence of interactions, the chain hosts delocalized states at the top of the band which undergo a delocalization-localization transition with increasing disorder. We find an interesting regime in this noninteracting disordered chain where the long-time entanglement entropy scales as $S(t) \sim \ln t$ and the saturated entanglement entropy scales with system size $L$ as $S(L,t \to {\infty}) \sim \ln L$. We further study the interplay of long-range hopping and interactions on the growth of entanglement and the many-body localization (MBL) transition in this system. We develop an analogy to higher-dimensional short-range systems to compare and contrast such behavior with the physics of MBL in a higher dimension.


title: Dirac Neutrinos and Dark Matter Stability from Lepton Quarticity

abstract: We propose to relate dark matter stability to the possible Dirac nature of neutrinos. The idea is illustrated in a simple scheme where small Dirac neutrino masses arise from a type--I seesaw mechanism as a result of a $Z_4$ discrete lepton number symmetry. The latter implies the existence of a viable WIMP dark matter candidate, whose stability arises from the same symmetry which ensures the Diracness of neutrinos.


title: Classification of symmetry fractionalization in gapped $\mathbb Z_2$ spin liquids

abstract: In quantum spin liquids, fractional spinon excitations carry half-integer spins and other fractional quantum numbers of lattice and time-reversal symmetries. Different patterns of symmetry fractionalization distinguish different spin liquid phases. In this work, we derive a general constraint on the symmetry fractionalization of spinons in a gapped spin liquid, realized in a system with an odd number of spin-$1/2$ per unit cell. In particular, when applied to kagome/triangular lattices, we obtain a complete classification of symmetric gapped $\mathbb{Z_2}$ spin liquids.


title: The scatter and evolution of the global hot gas properties of simulated galaxy cluster populations

abstract: We use the cosmo-OWLS suite of cosmological hydrodynamical simulations to investigate the scatter and evolution of the global hot gas properties of large simulated populations of galaxy groups and clusters. Our aim is to compare the predictions of different physical models and to explore the extent to which commonly-adopted assumptions in observational analyses (e.g. self-similar evolution) are violated. We examine the relations between (true) halo mass and the X-ray temperature, X-ray luminosity, gas mass, Sunyaev-Zel'dovich (SZ) flux, the X-ray analogue of the SZ flux ($Y_X$) and the hydrostatic mass. For the most realistic models, which include AGN feedback, the slopes of the various mass-observable relations deviate substantially from the self-similar ones, particularly at late times and for low-mass clusters. The amplitude of the mass-temperature relation shows negative evolution with respect to the self-similar prediction (i.e. slower than the prediction) for all models, driven by an increase in non-thermal pressure support at higher redshifts. The AGN models predict strong positive evolution of the gas mass fractions at low halo masses. The SZ flux and $Y_X$ show positive evolution with respect to self-similarity at low mass but negative evolution at high mass. The scatter about the relations is well approximated by log-normal distributions, with widths that depend mildly on halo mass. The scatter decreases significantly with increasing redshift. The exception is the hydrostatic mass-halo mass relation, for which the scatter increases with redshift. Finally, we discuss the relative merits of various hot gas-based mass proxies.


title: Asymptotic Freedom versus Open/Closed Duality in Large-N QCD

abstract: The solution of the large-N 't Hooft limit of QCD is universally believed to be a String Theory of Closed Strings in the Glueball Sector and of Open Strings in the Meson Sector. Yet, we prove a no-go theorem, that the large-N limit of QCD with massless quarks, or more generally, that the large-N limit of a vast class of confining, i.e. with a Mass Gap in the Glueball Sector, asymptotically-free Gauge Theories coupled to matter fields with no mass scale in perturbation theory cannot be a canonically-defined String Theory of Closed and Open Strings, i.e. admitting Open/Closed Duality. The no-go theorem occurs because Open/Closed Duality, implying that the ultraviolet divergences of annulus diagrams in the Open Sector arise from infrared divergences of tadpoles of massless particles in the Closed Sector, turns out to be incompatible with the existence of the Mass Gap in the Glueball Sector of confining asymptotically-free theories with no mass scale in perturbation theory in which, as for example in QCD, the first coefficient of the beta function for 't Hooft gauge coupling gets $1/N$ corrections due to the matter fields. Moreover, we suggest a way-out to the no-go theorem on the basis of a new non-canonical construction of the String S-matrix for asymptotically-free Gauge Theories such as large-N QCD, involving Topological Strings on Non-Commutative Twistor Space.


title: Longitudinal fluctuations in the Berezinskii-Kosterlitz-Thouless phase

abstract: We analyze the interplay of longitudinal and transverse fluctuations in a $U(1)$ symmetric two-dimensional $\phi^4$-theory. To this end, we derive coupled renormalization group equations for both types of fluctuations obtained from a linear (cartesian) decomposition of the order parameter field. Discarding the longitudinal fluctuations, the expected Berezinskii-Kosterlitz-Thouless (BKT) phase characterized by a finite stiffness and an algebraic decay of order parameter correlations is recovered. Renormalized by transverse fluctuations, the longitudinal mass scales to zero, so that longitudinal fluctuations become increasingly important for small momenta. Within our expansion of the effective action, they generate a logarithmic decrease of the stiffness, in agreement with previous functional renormalization group calculations. The logarithmic terms imply a deviation from the vanishing beta-function for the stiffness in the non-linear sigma model describing the phase fluctuations at three-loop order. To gain further insight, we also compute the flow of the parameters characterizing longitudinal and transverse fluctuations from a density-phase representation of the order parameter field, with a cutoff on phase fluctuations. The power-law flow of the longitudinal mass and other quantities is thereby confirmed, but the stiffness remains finite in this approach. We conclude that the marginal flow of the stiffness obtained in the cartesian representation is an artifact of the truncated expansion of momentum dependences.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.supr-con hep-th


title: The Frontier Fields Lens Modeling Comparison Project

abstract: Gravitational lensing by clusters of galaxies offers a powerful probe of their structure and mass distribution. Deriving a lens magnification map for a galaxy cluster is a classic inversion problem and many methods have been developed over the past two decades to solve it. Several research groups have developed techniques independently to map the predominantly dark matter distribution in cluster lenses. While these methods have all provided remarkably high precision mass maps, particularly with exquisite imaging data from the Hubble Space Telescope (HST), the reconstructions themselves have never been directly compared. In this paper, we report the results of comparing various independent lens modeling techniques employed by individual research groups in the community. Here we present for the first time a detailed and robust comparison of methodologies for fidelity, accuracy and precision. For this collaborative exercise, the lens modeling community was provided simulated cluster images -- of two clusters Ares and Hera -- that mimic the depth and resolution of the ongoing HST Frontier Fields. The results of the submitted reconstructions with the un-blinded true mass profile of these two clusters are presented here. Parametric, free-form and hybrid techniques have been deployed by the participating groups and we detail the strengths and trade-offs in accuracy and systematics that arise for each methodology. We note in conclusion that lensing reconstruction methods produce reliable mass distributions that enable the use of clusters as extremely valuable astrophysical laboratories and cosmological probes.


title: An electroweak basis for neutrinoless double $\beta$ decay

abstract: A discovery of neutrinoless double-$\beta$ decay would be profound, providing the first direct experimental evidence of $\Delta L=2$ lepton number violating processes. While a natural explanation is provided by an effective Majorana neutrino mass, other new physics interpretations should be carefully evaluated. At low--energies such new physics could manifest itself in the form of color and $SU(2)_L \times U(1)_{Y}$ invariant higher dimension operators. Here we determine a complete set of electroweak invariant dimension--9 operators, and our analysis supersedes those that only impose $U(1)_{em}$ invariance. Imposing electroweak invariance implies: 1) a significantly reduced set of leading order operators compared to only imposing $U(1)_{em}$ invariance; and 2) other collider signatures. Prior to imposing electroweak invariance we find a minimal basis of 24 dimension-9 operators, which is reduced to 11 electroweak invariant operators at leading order in the expansion in the Higgs vacuum expectation value. We set up a systematic analysis of the hadronic realization of the 4-quark operators using chiral perturbation theory, and apply it to determine which of these operators have long-distance pion enhancements at leading order in the chiral expansion. We also find at dimension--11 and dimension--13 the electroweak invariant operators that after electroweak symmetry breaking produce the remaining $\Delta L=2$ operators that would appear at dimension--9 if only $U(1)_{em}$ is imposed.


title: Settling the complexity of computing approximate two-player Nash equilibria

abstract: We prove that there exists a constant $\epsilon>0$ such that, assuming the Exponential Time Hypothesis for PPAD, computing an $\epsilon$-approximate Nash equilibrium in a two-player (nXn) game requires quasi-polynomial time, $n^{\log^{1-o(1)} n}$. This matches (up to the o(1) term) the algorithm of Lipton, Markakis, and Mehta [LMM03]. Our proof relies on a variety of techniques from the study of probabilistically checkable proofs (PCP); this is the first time that such ideas are used for a reduction between problems inside PPAD. En route, we also prove new hardness results for computing Nash equilibria in games with many players. In particular, we show that computing an $\epsilon$-approximate Nash equilibrium in a game with n players requires $2^{\Omega(n)}$ oracle queries to the payoff tensors. This resolves an open problem posed by Hart and Nisan [HN13], Babichenko [Bab14], and Chen et al. [CCT15]. In fact, our results for n-player games are stronger: they hold with respect to the $(\epsilon,\delta)$-WeakNash relaxation recently introduced by Babichenko et al. [BPR16].


title: TMAC: A Toolbox of Modern Async-Parallel, Coordinate, Splitting, and Stochastic Methods

abstract: TMAC is a toolbox written in C++11 that implements algorithms based on a set of modern methods for large-scale optimization. It covers a variety of optimization problems, which can be both smooth and nonsmooth, convex and nonconvex, as well as constrained and unconstrained. The algorithms implemented in TMAC, such as the coordinate up- date method and operator splitting method, are scalable as they decompose a problem into simple subproblems. These algorithms can run in a multi-threaded fashion, either synchronously or asynchronously, to take advantages of all the cores available. TMAC architecture mimics how a scientist writes down an optimization algorithm. Therefore, it is easy for one to obtain a new algorithm by making simple modifications such as adding a new operator and adding a new splitting, while maintaining the multicore parallelism and other features. The package is available at https://github.com/uclaopt/TMAC.


title: A New Approach to Dimensionality Reduction for Anomaly Detection in Data Traffic

abstract: The monitoring and management of high-volume feature-rich traffic in large networks offers significant challenges in storage, transmission and computational costs. The predominant approach to reducing these costs is based on performing a linear mapping of the data to a low-dimensional subspace such that a certain large percentage of the variance in the data is preserved in the low-dimensional representation. This variance-based subspace approach to dimensionality reduction forces a fixed choice of the number of dimensions, is not responsive to real-time shifts in observed traffic patterns, and is vulnerable to normal traffic spoofing. Based on theoretical insights proved in this paper, we propose a new distance-based approach to dimensionality reduction motivated by the fact that the real-time structural differences between the covariance matrices of the observed and the normal traffic is more relevant to anomaly detection than the structure of the training data alone. Our approach, called the distance-based subspace method, allows a different number of reduced dimensions in different time windows and arrives at only the number of dimensions necessary for effective anomaly detection. We present centralized and distributed versions of our algorithm and, using simulation on real traffic traces, demonstrate the qualitative and quantitative advantages of the distance-based subspace approach.


title: Fast Reconstruction Algorithm for Perturbed Compressive Sensing Based on Total Least-Squares and Proximal Splitting

abstract: We consider the problem of finding a sparse solution for an underdetermined linear system of equations when the known parameters on both sides of the system are subject to perturbation. This problem is particularly relevant to reconstruction in fully-perturbed compressive-sensing setups where both the projected measurements of an unknown sparse vector and the knowledge of the associated projection matrix are perturbed due to noise, error, mismatch, etc. We propose a new iterative algorithm for tackling this problem. The proposed algorithm utilizes the proximal-gradient method to find a sparse total least-squares solution by minimizing an l1-regularized Rayleigh-quotient cost function. We determine the step-size of the algorithm at each iteration using an adaptive rule accompanied by backtracking line search to improve the algorithm's convergence speed and preserve its stability. The proposed algorithm is considerably faster than a popular previously-proposed algorithm, which employs the alternating-direction method and coordinate-descent iterations, as it requires significantly fewer computations to deliver the same accuracy. We demonstrate the effectiveness of the proposed algorithm via simulation results.


title: Interaction-Driven Distinctive Electronic States of Artificial Atoms at the ZnO Interface

abstract: We have investigated the electronic states of planar quantum dots at the ZnO interface containing a few interacting electrons in an externally applied magnetic field. In these systems, the electron-electron interaction effects are expected to be much stronger than in traditional semiconductor quantum systems, such as in GaAs or InAs quantum dots. In order to highlight that stronger Coulomb effects in the ZnO quantum dots, we have compared the energy spectra and the magnetization in this system to those of the InAs quantum dots. We have found that in the ZnO quantum dots, the signatures of stronger Coulomb interaction manifests in an unique ground state that has very different properties than the corresponding ones in the InAs dot. Our results for the magnetization also exhibits behaviors never before observed in a quantum dot: We have found a stronger temperature dependence and other unexpected features, such as paramagnetic-like behavior at high temperatures for a quantum-dot helium.


title: Cycle transversal flag domains of Hodge type

abstract: Flag domains are open orbits of real semisimple Lie groups in flag manifolds of their complexification. A special class of flag domains constitute the classifying spaces for variations of Hodge structure, namely period domains or more generally Mumford-Tate domains. In this paper we classify all proper, equivariant embeddings of a flag domain of Hodge type, required to satisfy a certain transversality condition, in a period domain and show that any such flag domain must be a Hermitian symmetric space of non-compact type of classical type. In particular, the classification describes also the proper, equivariant embeddings of a flag domain of Hodge type in a period domain satisfying Griffiths transversality.


title: HAT-P-47b AND HAT-P-48b: Two Low Density Sub-Saturn-Mass Transiting Planets on the Edge of the Period--Mass Desert

abstract: We report the discovery of two new transiting extrasolar planets orbiting moderately bright (V = 10.7 and 12.2 mag) F stars (masses of 1.39 Msun and 1.10 Msun, respectively). The planets have periods of P = 4.7322 d and 4.4087 d, and masses of 0.21 MJ and 0.17 MJ which are almost half-way between those of Neptune and Saturn. With radii of 1.31 RJ and 1.13 RJ, these very low density planets are the two lowest mass planets with radii in excess that of Jupiter. Comparing with other recent planet discoveries, we find that sub-Saturns (0.18MJ < Mp < 0.3MJ) and super-Neptunes (0.05MJ < Mp < 0.18MJ) exhibit a wide range of radii, and their radii exhibit a weaker correlation with irradiation than higher mass planets. The two planets are both suitable for measuring the Rossiter-McLaughlin effect and for atmospheric characterization. Measuring the former effect would allow an interesting test of the theory that star-planet tidal interactions are responsible for the tendency of close-in giant planets around convective envelope stars to be on low obliquity orbits. Both planets fall on the edge of the short period Neptunian desert in the semi-major axis-mass plane.


title: Flexible superconducting Nb transmission lines on thin film polyimide for quantum computing applications

abstract: We describe progress and initial results achieved towards the goal of developing integrated multi-conductor arrays of shielded controlled-impedance flexible superconducting transmission lines with ultra-miniature cross sections and wide bandwidths (dc to >10 GHz) over meter-scale lengths. Intended primarily for use in future scaled-up quantum computing systems, such flexible thin-film Nb/polyimide ribbon cables provide a physically compact and ultra-low thermal conductance alternative to the rapidly increasing number of discrete coaxial cables that are currently used by quantum computing experimentalists to transmit signals between the low-temperature stages (from ~ 4 K down to ~ 20 mK) of a dilution refrigerator. S-parameters are presented for 2-metal layer Nb microstrip structures with lengths ranging up to 550 mm. Weakly coupled open-circuit microstrip resonators provided a sensitive measure of the overall transmission line loss as a function of frequency, temperature, and power. Two common polyimide dielectrics, one conventional and the other photo-definable (PI-2611 and HD-4100, respectively) were compared. Our most striking result, not previously reported to our knowledge, was that the dielectric loss tangents of both polyimides are remarkably low at deep cryogenic temperatures, typically 100$\times$ smaller than corresponding room temperature values. This enables fairly long-distance transmission of microwave signals without excessive attenuation and permits usefully high rf power levels to be transmitted without creating excessive dielectric heating. We observed loss tangents as low as 2.2$\times$10$^{-5}$ at 20 mK. Our fabrication techniques could be extended to more complex structures such as multiconductor, multi-layer stripline or rectangular coax, and integrated attenuators and thermalization structures.


title: On the Connections Between Surficial Processes and Stratigraphy in River Deltas

abstract: We explore connections between surficial deltaic processes (e.g. avulsion, deposition) and the stratigraphic record using a simple numerical model of delta-plain evolution, with the aim of constraining these connections and thus improving prediction of subsurface features. The model represents channel dynamics using a simple but flexible cellular approach, and is unique in that it explicitly includes backwater effects that are known to be important in low-gradient channel networks. The patterns of channel deposits in the stratigraphic record vary spatially due to variation in avulsion statistics with radial distance from the delta's source of water and sediment. We introduce channel residence time as an important statistical measure of the surface channel kinematics. The model suggests that the mean channel residence time anywhere within the delta is nicely described by a power law distribution showing a cutoff that depends on radial distance. Thicknesses of channel deposits are not uniquely determined by the residence time of channelization. The channel residence time distributions at given radial distances from the source are found to be approximately lognormally distributed, a finding consistent with the scale-dependent radial structure of channel deposits in the stratigraphic record.


title: Precession Relaxation of Viscoelastic Oblate Rotators

abstract: Perturbations of all sorts destabilise the rotation of a small body and leave it in a non-principal spin state. In such a state, the body experiences alternating stresses generated by the inertial forces. This yields nutation relaxation, i.e., evolution of the spin towards the principal rotation about the maximal-inertia axis. Knowledge of the timescales needed to damp the nutation is crucial in studies of small bodies' dynamics. In the literature hitherto, nutation relaxation has always been described with aid of an empirical quality factor $\,Q\,$ introduced to parameterise the energy dissipation rate. Among the drawbacks of this approach was its inability to describe the dependence of the relaxation rate upon the current nutation angle. This inability stemmed from our lack of knowledge of the quality factor's dependence on the forcing frequency. In this article, we derive our description of nutation damping directly from the rheological law obeyed by the material. This renders us the nutation damping rate as a function of the current nutation angle, as well as of the shape and the rheological parameters of the body. In contradistinction from the approach based on an empirical $\,Q\,$-factor, our development gives a zero damping rate in the spherical-shape limit. Our method is generic and applicable to any shape and to any linear rheological law. However, to simplify the developments, here we consider a dynamically oblate rotator with a Maxwell rheology.


title: Ruelle zeta function at zero for surfaces

abstract: We show that the Ruelle zeta function for a negatively curved oriented surface vanishes at zero to the order given by the absolute value of the Euler characteristic. This result was previously known only in constant curvature.


title: A two-stage learning method for protein-protein interaction prediction

abstract: In this paper, a new method for PPI (proteinprotein interaction) prediction is proposed. In PPI prediction, a reliable and sufficient number of training samples is not available, but a large number of unlabeled samples is in hand. In the proposed method, the denoising auto encoders are employed for learning robust features. The obtained robust features are used in order to train a classifier with a better performance. The experimental results demonstrate the capabilities of the proposed method. Protein-protein interaction; Denoising auto encoder;Robust features; Unlabelled data;


title: Relation between halo spin and cosmic web filaments at z=3

abstract: We investigate the spin evolution of dark matter haloes and their dependence on the number of connected filaments from the cosmic web at high redshift (spin-filament relation hereafter). To this purpose, we have simulated $5000$ haloes in the mass range $5\times10^{9}h^{-1}M_{\odot}$ to $5\times10^{11}h^{-1}M_{\odot}$ at $z=3$ in cosmological N-body simulations. We confirm the relation found by Prieto et al. 2015 where haloes with fewer filaments have larger spin. We also found that this relation is more significant for higher halo masses, and for haloes with a passive (no major mergers) assembly history. Another finding is that haloes with larger spin or with fewer filaments have their filaments more perpendicularly aligned with the spin vector. Our results point to a picture in which the initial spin of haloes is well described by tidal torque theory and then gets subsequently modified in a predictable way because of the topology of the cosmic web, which in turn is given by the currently favoured LCDM model. Our spin-filament relation is a prediction from LCDM that could be tested with observations.


title: An Algorithm for Real-Time Optimal Photocurrent Estimation including Transient Detection for Resource-Constrained Imaging Applications

abstract: Mega-pixel charge-integrating detectors are common in near-IR imaging applications. Optimal signal-to-noise ratio estimates of the photocurrents, which are particularly important in the low-signal regime, are produced by fitting linear models to sequential reads of the charge on the detector. Algorithms that solve this problem have a long history, but can be computationally intensive. Furthermore, the cosmic ray background is appreciable for these detectors in Earth orbit, particularly above the Earth's magnetic poles and the South Atlantic Anomaly, and on-board reduction routines must be capable of flagging affected pixels. In this paper we present an algorithm that generates optimal photocurrent estimates and flags random transient charge generation from cosmic rays, and is specifically designed to fit on a computationally restricted platform. We take as a case study the Spectro-Photometer for the History of the Universe, Epoch of Reionization, and Ices Explorer (SPHEREx), a NASA Small Explorer astrophysics experiment concept, and show that the algorithm can easily fit in the resource-constrained environment of such a restricted platform. Detailed simulations of the input astrophysical signals and detector array performance are used to characterize the fitting routines in the presence of complex noise properties and charge transients. We use both Hubble Space Telescope Wide Field Camera-3 and Wide-field Infrared Survey Explorer to develop an empirical understanding of the susceptibility of near-IR detectors in low earth orbit and build a model for realistic cosmic ray energy spectra and rates. We show that our algorithm generates an unbiased estimate of the true photocurrent that is identical to that from a standard line fitting package, and characterize the rate, energy, and timing of both detected and undetected transient events.


title: Non-Gaussian bivariate modelling with application to atmospheric trace-gas inversion

abstract: Atmospheric trace-gas inversion is the procedure by which the sources and sinks of a trace gas are identified from observations of its mole fraction at isolated locations in space and time. This is inherently a spatio-temporal bivariate inversion problem, since the mole-fraction field evolves in space and time and the flux is also spatio-temporally distributed. Further, the bivariate model is likely to be non-Gaussian since the flux field is rarely Gaussian. Here, we use conditioning to construct a non-Gaussian bivariate model, and we describe some of its properties through auto- and cross-cumulant functions. A bivariate non-Gaussian, specifically trans-Gaussian, model is then achieved through the use of Box--Cox transformations, and we facilitate Bayesian inference by approximating the likelihood in a hierarchical framework. Trace-gas inversion, especially at high spatial resolution, is frequently highly sensitive to prior specification. Therefore, unlike conventional approaches, we assimilate trace-gas inventory information with the observational data at the parameter layer, thus shifting prior sensitivity from the inventory itself to its spatial characteristics (e.g., its spatial length scale). We demonstrate the approach in controlled-experiment studies of methane inversion, using fluxes extracted from inventories of the UK and Ireland and of Northern Australia.


title: High sensitivity phonon-mediated kinetic inductance detector with combined amplitude and phase read-out

abstract: The development of wide-area cryogenic light detectors with good energy resolution is one of the priorities of next generation bolometric experiments searching for rare interactions, as the simultaneous read-out of the light and heat signals enables background suppression through particle identification. Among the proposed technological approaches for the phonon sensor, the naturally-multiplexed Kinetic Inductance Detectors (KIDs) stand out for their excellent intrinsic energy resolution and reproducibility. To satisfy the large surface requirement (several cm$^2$) KIDs are deposited on an insulating substrate that converts the impinging photons into phonons. A fraction of phonons is absorbed by the KID, producing a signal proportional to the energy of the original photons. The potential of this technique was proved by the CALDER project, that reached a baseline resolution of 154$\pm$7 eV RMS by sampling a 2$\times$2 cm$^2$ Silicon substrate with 4 Aluminum KIDs. In this paper we present a prototype of Aluminum KID with improved geometry and quality factor. The design improvement, as well as the combined analysis of amplitude and phase signals, allowed to reach a baseline resolution of 82$\pm$4 eV by sampling the same substrate with a single Aluminum KID.


title: iSURF: A family of infinite-time surface flux methods

abstract: The computation and analysis of photoelectron spectra (PES) is a fundamental technique in atomic and molecular physics to study the structural and dynamical properties of a target system, and to gain insight into the process of its ionization. Since the first numerical solutions of the time-dependent Schr\"odinger equation, numerous methods have been developed to extract PES from the calculated wave functions. However, most of these methods have severe limitations or are computationally very demanding. Here we present a new family of methods, based on the ideas of the so-called analytical Volkov continuation, or time-dependent surface flux ([Ermolaev, A. M. et al. Phys. Rev. A 60, 4831 (1999), Ermolaev, A. M. et al. Phys. Rev. A 62, 015401 (2000), Tao L. and Scrinzi A. New Journal of Physics 14, 013021 (2012)]), that allows one to obtain fully-converged PES at the end of the laser pulse using either Volkov states or the exact scattering-states, and that has been implemented in the Time Dependent Schr\"odinger Equation (TDSE) solver ([Patchkovskii S. and Muller H. G., Computer Physics Communications 199, 153 (2016)]).


title: Regression-based reduced-order models to predict transient thermal output for enhanced geothermal systems

abstract: The goal of this paper is to assess the utility of Reduced-Order Models (ROMs) developed from 3D physics-based models for predicting transient thermal power output for an enhanced geothermal reservoir while explicitly accounting for uncertainties in the subsurface system and site-specific details. Numerical simulations are performed based on Latin Hypercube Sampling (LHS) of model inputs drawn from uniform probability distributions. Key sensitive parameters are identified from these simulations, which are fracture zone permeability, well/skin factor, bottom hole pressure, and injection flow rate. The inputs for ROMs are based on these key sensitive parameters. The ROMs are then used to evaluate the influence of subsurface attributes on thermal power production curves. The resulting ROMs are compared with field-data and the detailed physics-based numerical simulations. We propose three different ROMs with different levels of model parsimony, each describing key and essential features of the power production curves. ROM-1 is able to accurately reproduce the power output of numerical simulations for low values of permeabilities and certain features of the field-scale data, and is relatively parsimonious. ROM-2 is a more complex model than ROM-1 but it accurately describes the field-data. At higher permeabilities, ROM-2 reproduces numerical results better than ROM-1, however, there is a considerable deviation at low fracture zone permeabilities. ROM-3 is developed by taking the best aspects of ROM-1 and ROM-2 and provides a middle ground for model parsimony. It is able to describe various features of numerical simulations and field-data. From the proposed workflow, we demonstrate that the proposed simple ROMs are able to capture various complex features of the power production curves of Fenton Hill HDR system. For typical EGS applications, ROM-2 and ROM-3 outperform ROM-1.


title: Addressing the Regression Test Problem with Change Impact Analysis for Ada

abstract: The regression test selection problem--selecting a subset of a test-suite given a change--has been studied widely over the past two decades. However, the problem has seen little attention when constrained to high-criticality developments and where a "safe" selection of tests need to be chosen. Further, no practical approaches have been presented for the programming language Ada. In this paper, we introduce an approach to solving the selection problem given a combination of both static and dynamic data for a program and a change-set. We present a change impact analysis for Ada that selects the safe set of tests that need to be re-executed to ensure no regressions. We have implemented the approach in the commercial, unit-testing tool VectorCAST, and validated it on a number of open-source examples. On an example of a fully-functioning Ada implementation of a DNS server (IRONSIDES), the experimental results show a 97% reduction in test-case execution.


title: Generic Behaviour of Strongly Reinforced Polya Urns : Convergence and Stability

abstract: We consider, as proposed and studied in Hofstad et.\ al.\ \cite{HHKR}, a class of graph-based "interacting urn"-type Polya urn model inspired by neuronal processing in the brain where a signal enters the brain at some (randomly) chosen neuron and is transmitted to a (random) single neighbouring neuron with a probability depending on the relative `efficiency' of the synapses connecting the neurons, and in doing so the efficiency of the utilized synapse is improved/reinforced. We study the structures (or architectures) and relative efficiency of the neuronal networks that can arise from repeating this process a very large number of times in a "strong reinforcement regime". Under the most general conditions, we prove in the affirmative a part of the main open conjecture in \cite{HHKR} i.e. the zero probability of convergence of the corresponding "urn process" to any 'unstable' equilibrium. Under very generic conditions, i.e., for an open and dense subset of parameters with full measure, we also prove the full open conjecture by showing the finiteness of the equilibrium set and hence the unit probability of convergence of the "urn process" to some 'stable' equilibrium.


title: Glare suppression by coherence gated negation

abstract: Imaging of a weak target hidden behind a scattering medium can be significantly confounded by glare. We report a method, termed coherence gated negation (CGN), that uses destructive optical interference to suppress glare and allow improved imaging of a weak target. As a demonstration, we show that by permuting through a set range of amplitude and phase values for a reference beam interfering with the optical field from the glare and target reflection, we can suppress glare by an order of magnitude, even when the optical wavefront is highly disordered. This strategy significantly departs from conventional coherence gating methods in that CGN actively 'gates out' the unwanted optical contributions while conventional methods 'gate in' the target optical signal. We further show that the CGN method can outperform conventional coherence gating image quality in certain scenarios by more effectively rejecting unwanted optical contributions.


title: On Schur parameters in Steklov's problem

abstract: We study the recursion (aka Schur) parameters for monic polynomials orthogonal on the unit circle with respect to a weight which provides negative answer to the conjecture of Steklov.


title: The Dynamical Relationship Between the Bar and Spiral Patterns of NGC 1365

abstract: Theories that attempt to explain the dynamical relationship between bar and spiral patterns in galactic disks make different predictions about the radial profile of the pattern speed. These are tested for the H-alpha bar and spiral patterns of NGC 1365. The radial profile of the pattern speed is measured by fitting mathematical models that are based on the Tremaine-Weinberg method. The results show convincing evidence for the bar rotating at a faster rate than the spiral pattern, inconsistent with a global wave mode or a manifold. There is evidence for mode coupling of the bar and spiral patterns at the overlap of corotation and inner Lindblad resonances, but the evidence is unreliable and inconsistent. The results are the most consistent with the bar and spiral patterns being dynamically distinct features. The pattern speed of the bar begins near an ILR and ends near the corotation resonance. The radial profile of the pattern speed beyond the bar most closely resembles what is expected for coupled spiral modes and tidal interactions.


title: String Inference from the LCP Array

abstract: The suffix array, perhaps the most important data structure in modern string processing, is often augmented with the longest common prefix (LCP) array which stores the lengths of the LCPs for lexicographically adjacent suffixes of a string. Together the two arrays are roughly equivalent to the suffix tree with the LCP array representing the tree shape. In order to better understand the combinatorics of LCP arrays, we consider the problem of inferring a string from an LCP array, i.e., determining whether a given array of integers is a valid LCP array, and if it is, reconstructing some string or all strings with that LCP array. There are recent studies of inferring a string from a suffix tree shape but using significantly more information (in the form of suffix links) than is available in the LCP array. We provide two main results. (1) We describe two algorithms for inferring strings from an LCP array when we allow a generalized form of LCP array defined for a multiset of cyclic strings: a linear time algorithm for binary alphabet and a general algorithm with polynomial time complexity for a constant alphabet size. (2) We prove that determining whether a given integer array is a valid LCP array is NP-complete when we require more restricted forms of LCP array defined for a single cyclic or non-cyclic string or a multiset of non-cyclic strings. The result holds whether or not the alphabet is restricted to be binary. In combination, the two results show that the generalized form of LCP array for a multiset of cyclic strings is fundamentally different from the other more restricted forms.


title: Liverpool Telescope follow-up of candidate electromagnetic counterparts during the first run of Advanced LIGO

abstract: The first direct detection of gravitational waves was made in late 2015 with the Advanced LIGO detectors. By prior arrangement, a worldwide collaboration of electromagnetic follow-up observers were notified of candidate gravitational wave events during the first science run, and many facilities were engaged in the search for counterparts. No counterparts were identified, which is in line with expectations given that the events were classified as black hole - black hole mergers. However these searches laid the foundation for similar follow-up campaigns in future gravitational wave detector science runs, in which the detection of neutron star merger events with observable electromagnetic counterparts is much more likely. Three alerts were issued to the electromagnetic collaboration over the course of the first science run, which lasted from September 2015 to January 2016. Two of these alerts were associated with the gravitational wave events since named GW150914 and GW151226. In this paper we provide an overview of the Liverpool Telescope contribution to the follow-up campaign over this period. Given the hundreds of square degree uncertainty in the sky position of any gravitational wave event, efficient searching for candidate counterparts required survey telescopes with large (~degrees) fields-of-view. The role of the Liverpool Telescope was to provide follow-up classification spectroscopy of any candidates. We followed candidates associated with all three alerts, observing 1, 9 and 17 candidates respectively. We classify the majority of the transients we observed as supernovae.


title: Spatial distribution and kinematics of the molecular material associated with $\eta$ Carinae

abstract: Single-dish sub-millimeter observations have recently revealed the existence of a substantial, chemically peculiar, molecular gas component located in the innermost circumstellar environment of the very massive luminous blue variable star $\eta$ Carinae. Here, we present 5$"$-resolution interferometric observations of the 1$\rightarrow$0 rotational transition of hydrogen cyanide (HCN) obtained with the Australia Telescope Compact Array (ATCA) toward this star. The emission is concentrated in the central few arcseconds around $\eta$ Carinae and shows a clear 150 km s$^{-1}$ velocity gradient running from west-north-west (blue) to east-south-east (red). Given the extent, location, and kinematics of this molecular material, we associate it with the complex of dusty arcs and knots seen in mid-infrared emission near the center of the Homunculus nebula. Indeed, the shielding provided by this dust could help explain how molecules survive in the presence of the intense UV radiation field produced by $\eta$ Carinae. The dust located in the central few arcseconds around $\eta$ Carinae and the molecular component described here have most likely formed in situ, out of material expelled by the massive interacting binary system. Thus, $\eta$ Carinae offers us a rare glimpse on the processes leading to the formation of dust and molecules around massive stars that are so relevant to the interpretation of dust and molecule detections at high redshifts.


title: An observation of circular RNAs in bacterial RNA-seq data

abstract: Circular RNAs (circRNAs) are a class of RNA with an important role in micro RNA (miRNA) regulation recently discovered in Human and various other eukaryotes as well as in archaea. Here, we have analyzed RNA-seq data obtained from {\it Enterococcus faecalis} and {\it Escherichia coli} in a way similar to previous studies performed on eukaryotes. We report observations of circRNAs in RNA-seq data that are reproducible across multiple experiments performed with different protocols or growth conditions.


title: Dynamics of meandering spiral waves with weak lattice perturbations

abstract: Re-entrant spiral waves are observed in many different situations in nature, perhaps most importantly in excitable electrophysiological tissue where they are believed to be responsible for pathological conditions such as cardiac arrhythmias, epileptic seizures and hallucinations. Mathematically, spiral waves occur as solutions to systems of reaction-diffusion partial differential equations (RDPDEs) which are frequently used as models for electrophysiological phenomena. Because of the invariance of these RDPDEs with respect to the Euclidean group SE(2) of planar translations and rotations, much progress has been made in understanding the dynamics and bifurcations of spiral waves using the theory of group-equivariant dynamical systems. In reality however, Euclidean symmetry is at best an approximation. Inhomogeneities and anisotropy in the medium of propagation of the waves break the Euclidean symmetry, and can lead to such phenomena as anchoring and drifting. In this paper, we study the effects on quasi-periodic meandering spiral waves of a small perturbation which breaks the continuous SE(2) symmetry, but preserves the symmetry of a regular square lattice.


title: Sustaining educational and public outreach programs in astronomy

abstract: We advocate meaningful support of sustained education-outreach partnerships between regional metropolitan undergraduate institutions and astronomical clubs and societies. We present our experience as an example, in which we have grown a partnership between the University of Michigan-Dearborn (hereafter UM-D, a 4-year primarily undergraduate institution or PUI), Henry Ford College (hereafter HFC, a 2-year undergraduate college), and maintained a strong collaboration with the Ford Amateur Astronomy Club (FAAC), which is highly active in the Detroit Metropolitan Area. By allowing each organization to play to its strengths, we have developed a continuum of education-outreach efforts at all levels, with connecting tissue between the previously disparate efforts. To-date, faculty and staff effort on these initiatives has been nearly entirely voluntary and somewhat ad-hoc. Here we suggest an initiative to sustain the continuum of education-outreach for the long-term. There are two levels to the suggested initiative. Firstly, partner institutions should dedicate at least half an FTE of faculty or staff effort specifically to education and outreach development. Secondly, professional societies like the AAS now have a great opportunity to support the education-outreach continuum at a national level, by facilitating communication between institutions and clubs that are considering a long-term partnership, by acting as a central resource for such partnerships, and possibly by convening or sponsoring events such as professional meetings among the metropolitan educational community.


title: Effect of atomic disorder and Ce doping on superconductivity of Ca3Rh4Sn13: Electric transport properties under high pressure

abstract: We report the observation of a superconducting state below 8K coexistent with a spin-glass state caused by atomic disorder in Ce substituted Ca3Rh4Sn13. Measurements of specific heat, resistivity, and magnetism reveal the existence of inhomogeneous superconductivity in samples doped with Ce with superconducting critical temperatures Tc higher than those observed in the parent compound. For Ca3Rh4Sn13, the negative value of the change in resistivity with pressure P, correlates well with the calculated decrease in the density of states at the Fermi energy with P. Based on band structure calculations performed under pressure, we demonstrate how the change in DOS would affect Tc of Ca3Rh4Sn13 under negative lattice pressure in samples that are strongly defected by quenching.


title: Thermodynamics vs. local density fluctuations in the metal/Mott-insulator crossover

abstract: The crossover between a metal and a Mott insulator leads to a localization of fermions from delocalized Bloch states to localized states. We experimentally study this crossover using fermionic atoms in an optical lattice by measuring thermodynamic and local (on--site) density correlations. In the metallic phase at incommensurable filling we observe the violation of the local fluctuation--dissipation theorem indicating that the thermodynamics cannot be explained by local observables. In contrast, in the Mott-insulator we observe the convergence of local and thermodynamic fluctuations indicating the absence of long--range density-density correlations.


title: Experimental bounds on collapse models from gravitational wave detectors

abstract: Wave function collapse models postulate a fundamental breakdown of the quantum superposition principle at the macroscale. Therefore, experimental tests of collapse models are also fundamental tests of quantum mechanics. Here, we compute the upper bounds on the collapse parameters, which can be inferred by the gravitational wave detectors LIGO, LISA Pathfinder, and AURIGA. We consider the most widely used collapse model, the continuous spontaneous localization (CSL) model. We show that these experiments exclude a huge portion of the CSL parameter space, the strongest bound being set by the recently launched space mission LISA Pathfinder. We also rule out a proposal for quantum-gravity-induced decoherence.


title: Query-Reduction Networks for Question Answering

abstract: In this paper, we study the problem of question answering when reasoning over multiple facts is required. We propose Query-Reduction Network (QRN), a variant of Recurrent Neural Network (RNN) that effectively handles both short-term (local) and long-term (global) sequential dependencies to reason over multiple facts. QRN considers the context sentences as a sequence of state-changing triggers, and reduces the original query to a more informed query as it observes each trigger (context sentence) through time. Our experiments show that QRN produces the state-of-the-art results in bAbI QA and dialog tasks, and in a real goal-oriented dialog dataset. In addition, QRN formulation allows parallelization on RNN's time axis, saving an order of magnitude in time complexity for training and inference.


title: Nonlinear stability results for the modified Mullins-Sekerka and the surface diffusion flow

abstract: It is shown that any three-dimensional periodic configuration that is strictly stable for the area functional is exponentially stable for the surface diffusion flow and for the Mullins-Sekerka or Hele-Shaw flow. The same result holds for three-dimensional periodic configurations that are strictly stable with respect to the sharp-interface Ohta-Kawaski energy. In this case, they are exponentially stable for the so-called modified Mullins-Sekerka flow.


title: Quantum Superlattices, Wannier Stark Ladders and the 'Resonance' technique

abstract: We present a new method for solving the Schrodinger equation using the Lossless Transmission Line Model (LTL). The LTL model although extensively used in fiber optics and optical fiber design, it has not yet found application in solid state problems. We develop the transformation theory mapping the wave equation to LTL and we apply the model to the case of a solid state periodic lattice. We extend the theory with an additional Wannier-Stark term and we show with results the flexibility and the strength of the technique. The advantages of the method for arbitrary potentials are also stressed.


title: Latest MAGIC discoveries pushing redshift boundaries in VHE Astrophysics

abstract: The search for detection of gamma-rays from distant AGNs by Imaging Atmospheric Cherenkov Telescopes (IACTs) is challenging at high redshifts, not only because of lower flux due to the distance of the source, but also due to the consequent absorption of gamma-rays by the extragalactic background light (EBL). Before the MAGIC discoveries reported in this work, the farthest source ever detected in the VHE domain was the blazar PKS 1424+240, at z>0.6. MAGIC, a system of two 17 m of diameter IACTs located in the Canary island of La Palma, has been able to go beyond that limit and push the boundaries for VHE detection to redshifts z~ 1. The two sources detected and analyzed, the blazar QSO B0218+357 and the FSRQ PKS 1441+25 are located at redshift z=0.944 and z=0.939 respectively. QSO B0218+357 is also the first gravitational lensed blazar ever detected in VHE. The activity, triggered by Fermi-LAT in high energy gamma-rays, was followed up by other instruments, such as the KVA telescope in the optical band and the Swift-XRT in X-rays. In the present work we show results on MAGIC analysis on QSO B0218+357 and PKS 1441+25 together with multiwavelength lightcurves. The collected dataset allowed us to test for the first time the present generation of EBL models at such distances.


title: Regularization With Stochastic Transformations and Perturbations for Deep Semi-Supervised Learning

abstract: Effective convolutional neural networks are trained on large sets of labeled data. However, creating large labeled datasets is a very costly and time-consuming task. Semi-supervised learning uses unlabeled data to train a model with higher accuracy when there is a limited set of labeled data available. In this paper, we consider the problem of semi-supervised learning with convolutional neural networks. Techniques such as randomized data augmentation, dropout and random max-pooling provide better generalization and stability for classifiers that are trained using gradient descent. Multiple passes of an individual sample through the network might lead to different predictions due to the non-deterministic behavior of these techniques. We propose an unsupervised loss function that takes advantage of the stochastic nature of these methods and minimizes the difference between the predictions of multiple passes of a training sample through the network. We evaluate the proposed method on several benchmark datasets.


title: Self-duality and shock dynamics in the $n$-component priority ASEP

abstract: We study the $n$-component priority asymmetric simple exclusion process ($n$-ASEP) with reflecting boundaries. We obtain all invariant measures in explicit form and prove reversibility. Using the symmetry of the generator of the process under the quantum algebra $U_q[\mathfrak{gl}(n+1)]$ we construct duality functions with respect to which the $n$-ASEP is self-dual, both for the finite and the infinite integer lattice. For the $n$-ASEP on the infinite lattice we use self-duality to derive in explicit form the time evolution of a family of measures with $K$ shocks in terms of the transition probability of $K$ coloured particles in a shock exclusion process with particle-dependent hopping rates and nearest-neighbour colour exchange. This process is a gas of particles that forms a bound state, corresponding to shock coalescence on macroscopic scale.


title: Bernstein modal basis: application to the spectral Petrov-Galerkin method for fractional partial differential equations

abstract: In the spectral Petrov-Galerkin methods, the trial and test functions are required to satisfy particular boundary conditions. By a suitable linear combination of orthogonal polynomials, a basis, that is called the modal basis, is obtained. In this paper, we extend this idea to the non-orthogonal dual Bernstein polynomials. A compact general formula is derived for the modal basis functions based on dual Bernstein polynomials. Then, we present a Bernstein-spectral Petrov-Galerkin method for a class of time fractional partial differential equations with Caputo derivative. It is shown that the method leads to banded sparse linear systems for problems with constant coefficient. Some numerical examples are provided to show the efficiency and the spectral accuracy of the method.


title: Impossibility in Belief Merging

abstract: With the aim of studying social properties of belief merging and having a better understanding of impossibility, we extend in three ways the framework of logic-based merging introduced by Konieczny and Pino P\'erez. First, at the level of representation of the information, we pass from belief bases to complex epistemic states. Second, the profiles are represented as functions of finite societies to the set of epistemic states (a sort of vectors) and not as multisets of epistemic states. Third, we extend the set of rational postulates in order to consider the epistemic versions of the classical postulates of Social Choice Theory: Standard Domain, Pareto Property, Independence of Irrelevant Alternatives and Absence of Dictator. These epistemic versions of social postulates are given, essentially, in terms of the finite propositional logic. We state some representation theorems for these operators. These extensions and representation theorems allow us to establish an epistemic and very general version of Arrow's Impossibility Theorem. One of the interesting features of our result, is that it holds for different representations of epistemic states; for instance conditionals, Ordinal Conditional functions and, of course, total preorders.


title: In the Shadows, Shape Priors Shine: Using Occlusion to Improve Multi-Region Segmentation

abstract: We present a new algorithm for multi-region segmentation of 2D images with objects that may partially occlude each other. Our algorithm is based on the observation hat human performance on this task is based both on prior knowledge about plausible shapes and taking into account the presence of occluding objects whose shape is already known - once an occluded region is identified, the shape prior can be used to guess the shape of the missing part. We capture the former aspect using a deep learning model of shape; for the latter, we simultaneously minimize the energy of all regions and consider only unoccluded pixels for data agreement. Existing algorithms incorporating object shape priors consider every object separately in turn and can't distinguish genuine deviation from the expected shape from parts missing due to occlusion. We show that our method significantly improves on the performance of a representative algorithm, as evaluated on both preprocessed natural and synthetic images. Furthermore, on the synthetic images, we recover the ground truth segmentation with good accuracy.


title: Normal-metal quasiparticle traps for superconducting qubits

abstract: The presence of quasiparticles in superconducting qubits emerges as an intrinsic constraint on their coherence. While it is difficult to prevent the generation of quasiparticles, keeping them away from active elements of the qubit provides a viable way of improving the device performance. Here we develop theoretically and validate experimentally a model for the effect of a single small trap on the dynamics of the excess quasiparticles injected in a transmon-type qubit. The model allows one to evaluate the time it takes to evacuate the injected quasiparticles from the transmon as a function of trap parameters. With the increase of the trap size, this time decreases monotonically, saturating at the level determined by the quasiparticles diffusion constant and the qubit geometry. We determine the characteristic trap size needed for the relaxation time to approach that saturation value.


title: Algebraic Problems Equivalent to Beating Exponent 3/2 for Polynomial Factorization over Finite Fields

abstract: The fastest known algorithm for factoring univariate polynomials over finite fields is the Kedlaya-Umans (fast modular composition) implementation of the Kaltofen-Shoup algorithm. It is randomized and takes $\widetilde{O}(n^{3/2}\log q + n \log^2 q)$ time to factor polynomials of degree $n$ over the finite field $\mathbb{F}_q$ with $q$ elements. A significant open problem is if the $3/2$ exponent can be improved. We study a collection of algebraic problems and establish a web of reductions between them. A consequence is that an algorithm for any one of these problems with exponent better than $3/2$ would yield an algorithm for polynomial factorization with exponent better than $3/2$.


title: Strongvelope Multi-Party Encrypted Messaging Protocol design document

abstract: In this document we describe the design of a multi-party messaging encryption protocol "Strongvelope". We hope that it will prove useful to people interested in understanding the inner workings of this protocol as well as cryptography and security experts to review the underlying concepts and assumptions. In this design paper we are outlining the perspective of chat message protection through the Strongvelope module. This is different from the product (the Mega chat) and the transport means which it will be used with. Aspects of the chat product and transport are only referred to where appropriate, but are not subject to discussion in this document.


title: Quantum effects in the interference of photon number states

abstract: Multi-photon interference results in modulations of output probabilities with phase shift periods that are much shorter than 2 Pi. Here, we investigate the physics behind these statistical patterns in the case of well-defined photon numbers in the input and output modes of a two-path interferometer. We show that the periodicity of the multi-photon interference is related to the weak value of the unobserved intensity difference between the two arms of the interferometer. This means that the operator relations between the photon number differences in input, path, and output can be used to determine the periodicity of the experimentally observed quantum interference, establishing an important link between the classical causality of random phase interference and quantum effects that depend on the superposition of classically distinct possibilities.


title: Driving Skyrmions in a Composite Bilayer

abstract: Magnetic Skyrmions and multiferroics are the most interesting objects in nanostructure science that have great potential in future spin-electronic technology. The study of multiferroic Skyrmions has attracted much interest in recent years. This article reports magnetic Bloch Skyrmions induced by an electric driving field in a composite bilayer (chiral-magnetic/ferroelectric bilayer) lattice. By using the spin dynamics method, we use a classical magnetic spin model and an electric pseudospin model, which are coupled by a strong magnetoelectric coupling in the dynamical simulations. Interestingly, we observe some skyrmion-like objects in the electric component either during the switching process or by applying a magnetic field, which is due to the connection between the electric and the magnetic structures.


title: Semi-Supervised Learning for Neural Machine Translation

abstract: While end-to-end neural machine translation (NMT) has made remarkable progress recently, NMT systems only rely on parallel corpora for parameter estimation. Since parallel corpora are usually limited in quantity, quality, and coverage, especially for low-resource languages, it is appealing to exploit monolingual corpora to improve NMT. We propose a semi-supervised approach for training NMT models on the concatenation of labeled (parallel corpora) and unlabeled (monolingual corpora) data. The central idea is to reconstruct the monolingual corpora using an autoencoder, in which the source-to-target and target-to-source translation models serve as the encoder and decoder, respectively. Our approach can not only exploit the monolingual corpora of the target language, but also of the source language. Experiments on the Chinese-English dataset show that our approach achieves significant improvements over state-of-the-art SMT and NMT systems.


title: Agreement-based Learning of Parallel Lexicons and Phrases from Non-Parallel Corpora

abstract: We introduce an agreement-based approach to learning parallel lexicons and phrases from non-parallel corpora. The basic idea is to encourage two asymmetric latent-variable translation models (i.e., source-to-target and target-to-source) to agree on identifying latent phrase and word alignments. The agreement is defined at both word and phrase levels. We develop a Viterbi EM algorithm for jointly training the two unidirectional models efficiently. Experiments on the Chinese-English dataset show that agreement-based learning significantly improves both alignment and translation performance.


title: mpENC Multi-Party Encrypted Messaging Protocol design document

abstract: This document is a technical overview and discussion of our work, a protocol for secure group messaging. By secure we mean for the actual users i.e. end-to-end security, as opposed to "secure" for irrelevant third parties. Our work provides everything needed to run a messaging session between real users on top of a real transport protocol. That is, we specify not just a key exchange, but when and how to run these relative to transport-layer events; how to achieve liveness properties such as reliability and consistency, that are time-sensitive and lie outside of the send-receive logic that cryptography-only protocols often restrict themselves to; and offer suggestions for displaying accurate (i.e. secure) but not overwhelming information in user interfaces. We aim towards a general-purpose unified protocol. In other words, we'd prefer to avoid creating a completely new protocol merely to support automation, or asynchronity, or a different transport protocol. This would add complexity to the overall ecosystem of communications protocols. It is simply unnecessary if the original protocol is designed well, as we have tried to do. That aim is not complete -- our full protocol system, as currently implemented, is suitable only for use with certain instant messaging protocols. However, we have tried to separate out conceptually-independent concerns, and solve these individually using minimal assumptions even if other components make extra assumptions. This means that many components of our full system can be reused in future protocol extensions, and we know exactly which components must be replaced in order to lift the existing constraints on our full system.


title: Mega Key Authentication Mechanism

abstract: For secure communication it is not just sufficient to use strong cryptography with good and strong keys, but to actually have the assurance, that the keys in use for it are authentic and from the contact one is expecting to communicate with. Without that, it is possible to be subject to impersonation or man-in-the-middle (MitM) attacks. Mega meets this problem by providing a hierarchical authentication mechanism for contacts and their keys. To avoid any hassle when using multiple types of keys and key pairs for different purposes, the whole authentication mechanism is brought down to a single "identity key".


title: Periodic solutions in an SIRWS model with immune boosting and cross-immunity

abstract: Incidence of whooping cough, an infection caused by Bordetella pertussis and Bordetella parapertussis, has been on the rise since the 1980s in many countries. Immunological interactions, such as immune boosting and cross-immunity between pathogens, have been hypothesised to be important drivers of epidemiological dynamics. We present a two-pathogen model of transmission which examines how immune boosting and cross-immunity can influence the timing and severity of epidemics. We use a combination of numerical simulations and bifurcation techniques to study the dynamical properties of the system, particularly the conditions under which stable periodic solutions are present. We derive analytic expressions for the steady state of the single-pathogen model, and give a condition for the presence of periodic solutions. A key result from our two-pathogen model is that, while studies have shown that immune boosting at relatively strong levels can independently generate periodic solutions, cross-immunity allows for the presence of periodic solutions even when the level of immune boosting is weak. Asymmetric cross-immunity can produce striking increases in the incidence and period. Our study underscores the importance of developing a better understanding of the immunological interactions between pathogens in order to improve model-based interpretations of epidemiological data.


title: Cyclic codes over $\mathbb{Z}_4[u]/\langle u^k\rangle$ of odd length

abstract: Let $R=\mathbb{Z}_{4}[u]/\langle u^k\rangle=\mathbb{Z}_{4}+u\mathbb{Z}_{4}+\ldots+u^{k-1}\mathbb{Z}_{4}$ ($u^k=0$) where $k\in \mathbb{Z}^{+}$ satisfies $k\geq 2$. For any odd positive integer $n$, it is known that cyclic codes over $R$ of length $n$ are identified with ideals of the ring $R[x]/\langle x^{n}-1\rangle$. In this paper, an explicit representation for each cyclic code over $R$ of length $n$ is provided and a formula to count the number of codewords in each code is given. Then a formula to calculate the number of cyclic codes over $R$ of length $n$ is obtained. Precisely, the dual code of each cyclic code and self-dual cyclic codes over $R$ of length $n$ are investigated. When $k=4$, some optimal quasi-cyclic codes over $\mathbb{Z}_{4}$ of length $28$ and index $4$ are obtained from cyclic codes over $R=\mathbb{Z}_{4} [u]/\langle u^4\rangle$.


title: Using Hilbert transform and classical chains to simulate quantum walks

abstract: We propose a simulation strategy which uses a classical device of linearly coupled chain of springs to simulate quantum dynamics, in particular the quantum walks. Through this strategy, we obtain the quantum wave function from classical evolution. Specially, this goal is achieved with the classical momenta of the particles on the chain and their Hilbert transform, from which we construct the many-body momentum and Hilbert transformed momentum pair correlation functions yielding the real and imaginary parts of the wave function, respectively. With such wave function, we show that the classical chain's energy and heat spreading densities can be related to the wave function's modulus square. This relation indicates a concept of "phonon random walks", and thus it provides a new perspective to understand ballistic heat transport. The results here may give a definite answer to Feynman's idea of using a classical device to simulate quantum physics.