title: Complete moduli of cubic threefolds and their intermediate Jacobians

abstract: The intermediate Jacobian map, which associates to a smooth cubic threefold its intermediate Jacobian, does not extend to the GIT compactification of the space of cubic threefolds, not even as a map to the Satake compactification of the moduli space of principally polarized abelian fivefolds. A much better "wonderful" compactification of the space of cubic threefolds was constructed by the first and fourth authors --- it has a modular interpretation, and divisorial normal crossing boundary. We prove that the intermediate Jacobian map extends to a morphism from the wonderful compactification to the second Voronoi toroidal compactification of the moduli of principally polarized abelian fivefolds --- the first and fourth author previously showed that it extends to the Satake compactification. Since the second Voronoi compactification has a modular interpretation, our extended intermediate Jacobian map encodes all of the geometric information about the degenerations of intermediate Jacobians, and allows for the study of the geometry of cubic threefolds via degeneration techniques. As one application we give a complete classification of all degenerations of intermediate Jacobians of cubic threefolds of torus rank 1 and 2.


title: A Randomized Algorithm for Long Directed Cycle

abstract: Given a directed graph $G$ and a parameter $k$, the {\sc Long Directed Cycle (LDC)} problem asks whether $G$ contains a simple cycle on at least $k$ vertices, while the {\sc $k$-Path} problems asks whether $G$ contains a simple path on exactly $k$ vertices. Given a deterministic (randomized) algorithm for {\sc $k$-Path} as a black box, which runs in time $t(G,k)$, we prove that {\sc LDC} can be solved in deterministic time $O^*(\max\{t(G,2k),4^{k+o(k)}\})$ (randomized time $O^*(\max\{t(G,2k),4^k\})$). In particular, we get that {\sc LDC} can be solved in randomized time $O^*(4^k)$.


title: A Deep Siamese Network for Scene Detection in Broadcast Videos

abstract: We present a model that automatically divides broadcast videos into coherent scenes by learning a distance measure between shots. Experiments are performed to demonstrate the effectiveness of our approach by comparing our algorithm against recent proposals for automatic scene segmentation. We also propose an improved performance measure that aims to reduce the gap between numerical evaluation and expected results, and propose and release a new benchmark dataset.


title: Narrow Zero-Field Tunneling Resonance in Triclinic Mn$_{12}$ Acetate Ribbons

abstract: We report synthesis, structural characterization, and magnetic measurements of amorphous Mn$_{12}$-acetate ribbons with a triclinic short-range crystal order not previously seen in experiment. The ribbons exhibit the same structure of Mn$_{12}$ molecules and the same positions of tunneling resonances on the magnetic field as a conventional tetragonal Mn$_{12}$-acetate crystal. However, the width of the zero-field resonance is by at least one order of magnitude smaller, indicating very small inhomoge- neous broadening due to dipolar and nuclear fields. Possible origins of this effect are discussed.


title: Martingale central-limit theorems for pivotal sampling

abstract: Ordered pivotal sampling is one of the simplest algorithm to perform without-replacement unequal probability sampling. It has found uses in the context of longitudinal surveys and spatial sampling, and enables in particular a good spatial balance of the selected units. In this work, we follow the approach proposed by Ohlsson~(1986), and apply a martingale central-limit theorem to prove the asymptotic normality of the Horvitz-Thompson estimator under a design-based approach, and under a model-assisted approach. In particular, our model assumptions allow for correlations between values, which is of particular interest for applications in spatial sampling.


title: Robust Shift-and-Invert Preconditioning: Faster and More Sample Efficient Algorithms for Eigenvector Computation

abstract: We provide faster algorithms and improved sample complexities for approximating the top eigenvector of a matrix. Offline Setting: Given an $n \times d$ matrix $A$, we show how to compute an $\epsilon$ approximate top eigenvector in time $\tilde O ( [nnz(A) + \frac{d \cdot sr(A)}{gap^2}]\cdot \log 1/\epsilon )$ and $\tilde O([\frac{nnz(A)^{3/4} (d \cdot sr(A))^{1/4}}{\sqrt{gap}}]\cdot \log1/\epsilon )$. Here $sr(A)$ is the stable rank and $gap$ is the multiplicative eigenvalue gap. By separating the $gap$ dependence from $nnz(A)$ we improve on the classic power and Lanczos methods. We also improve prior work using fast subspace embeddings and stochastic optimization, giving significantly improved dependencies on $sr(A)$ and $\epsilon$. Our second running time improves this further when $nnz(A) \le \frac{d\cdot sr(A)}{gap^2}$. Online Setting: Given a distribution $D$ with covariance matrix $\Sigma$ and a vector $x_0$ which is an $O(gap)$ approximate top eigenvector for $\Sigma$, we show how to refine to an $\epsilon$ approximation using $\tilde O(\frac{v(D)}{gap^2} + \frac{v(D)}{gap \cdot \epsilon})$ samples from $D$. Here $v(D)$ is a natural variance measure. Combining our algorithm with previous work to initialize $x_0$, we obtain a number of improved sample complexity and runtime results. For general distributions, we achieve asymptotically optimal accuracy as a function of sample size as the number of samples grows large. Our results center around a robust analysis of the classic method of shift-and-invert preconditioning to reduce eigenvector computation to approximately solving a sequence of linear systems. We then apply fast SVRG based approximate system solvers to achieve our claims. We believe our results suggest the general effectiveness of shift-and-invert based approaches and imply that further computational gains may be reaped in practice.


title: AIDE: An Automated Sample-based Approach for Interactive Data Exploration

abstract: In this paper, we argue that database systems be augmented with an automated data exploration service that methodically steers users through the data in a meaningful way. Such an automated system is crucial for deriving insights from complex datasets found in many big data applications such as scientific and healthcare applications as well as for reducing the human effort of data exploration. Towards this end, we present AIDE, an Automatic Interactive Data Exploration framework that assists users in discovering new interesting data patterns and eliminate expensive ad-hoc exploratory queries. AIDE relies on a seamless integration of classification algorithms and data management optimization techniques that collectively strive to accurately learn the user interests based on his relevance feedback on strategically collected samples. We present a number of exploration techniques as well as optimizations that minimize the number of samples presented to the user while offering interactive performance. AIDE can deliver highly accurate query predictions for very common conjunctive queries with small user effort while, given a reasonable number of samples, it can predict with high accuracy complex disjunctive queries. It provides interactive performance as it limits the user wait time per iteration of exploration to less than a few seconds.


title: Recent CMS searches for exotic phenomena beyond the Standard Model

abstract: The results of several recent CMS searches for exotic phenomena beyond the Standard Model are presented in this talk. Two searches look for new physics in a final state with a vector boson and missing transverse energy. Three searches target massive resonances decaying to a Higgs boson and a vector boson. Finally, preliminary results are presented for the first CMS search for exotic phenomena using $\sqrt{s} = 13$ TeV data, the search for dijet resonances.


title: Real-time simulation of dissipation-driven quantum systems

abstract: We set up a real-time path integral to study the evolution of quantum systems driven in real-time completely by the coupling of the system to the environment. For specifically chosen interactions, this can be interpreted as measurements being performed on the system. For a spin-1/2 system, in particular, when the measurement results are averaged over, the resulting sign problem completely disappears, and the system can be simulated with an efficient cluster algorithm.


title: On Solutions of Mean Field Games with Ergodic Cost

abstract: A general class of mean field games are considered where the governing dynamics are controlled diffusions in $\mathbb{R}^d$. The optimization criterion is the long time average of a running cost function. Under various sets of hypotheses, we establish the existence of mean field game solutions. We also study the long time behavior of mean field game solutions associated with the finite horizon problem, and under the assumption of geometric ergodicity for the dynamics, we show that these converge to the ergodic mean field game solution as the horizon tends to infinity. Lastly, we study the associated $N$-player games, show existence of Nash equilibria, and establish the convergence of the solutions associated to Nash equilibria of the game to a mean field game solution as $N\to\infty$.


title: Upper Bounds of Interference Alignment Degree of Freedom

abstract: Interference alignment allows multiple users to share the same frequency and time resource in a wireless communications system. At present, two performance bounds, in terms of degree of freedom, have been proposed. One is for infinite-dimension extension and the other is for MIMO systems. This paper provides an understanding of the MIMO bound by examining its proofs and shows that it does not apply to a more practical case: MIMO-OFDM. Several approaches are proposed in searching for DoF bounds for systems such as finite-dimension time extension and MIMO-OFDM systems.


title: High ionisation absorption in low mass X-ray binaries

abstract: The advent of the new generation of X-ray telescopes yielded a significant step forward in our understanding of ionised absorption generated in the accretion discs of X-ray binaries. It has become evident that these relatively weak and narrow absorption features, sporadically present in the X-ray spectra of some systems, are actually the signature of equatorial outflows, which might carry away more matter than that being accreted. Therefore, they play a major role in the accretion phenomenon. These outflows (or ionised atmospheres) are ubiquitous during the softer states but absent during the power-law dominated, hard states, suggesting a strong link with the state of the inner accretion disc, presence of the radio-jet and the properties of the central source. Here, we discuss the current understanding of this field.


title: Blow-up problems for the heat equation with a local nonlinear Neumann boundary condition

abstract: This paper estimates the blow-up time for the heat equation $u_t=\Delta u$ with a local nonlinear Neumann boundary condition: The normal derivative $\partial u/\partial n=u^{q}$ on $\Gamma_{1}$, one piece of the boundary, while on the rest part of the boundary, $\partial u/\partial n=0$. The motivation of the study is the partial damage to the insulation on the surface of space shuttles caused by high speed flying subjects. We prove the solution blows up in finite time and estimate both upper and lower bounds of the blow-up time in terms of the area of $\Gamma_1$. In many other work, they need the convexity of the domain $\Omega$ and only consider the problem with $\Gamma_1=\partial\Omega$. In this paper, we remove the convexity condition and only require $\partial\Omega$ to be $C^{2}$. In addition, we deal with the local nonlinearity, namely $\Gamma_1$ can be just part of $\partial\Omega$.


title: Engel condition on enveloping algebras of lie superalgebras

abstract: Let L be a Lie superalgebra over a fled of characteristic p\neq 2 with enveloping algebra U(L) or let L be a restricted Lie superalgebra over a field of characteristic p > 2 with restricted enveloping algebra u(L). In this note, we establish when u(L) or U(L) is bounded Lie Engel.


title: Revivals in Quantum Walks with quasi-periodically time-dependent coin

abstract: We provide an explanation of recent experimental results of Xue et al., where full revivals in a time-dependent quantum walk model with a periodically changing coin are found. Using methods originally developed for "electric" walks with a space-dependent, rather than a time-dependent coin, we provide a full explanation of the observations of Xue et al. We extend the analysis from periodic time-dependence to quasi-periodic behaviour with periods incommensurate to the step size. Spectral analysis, one of the principal tools for the study of electric walks, fails for time-dependent systems, but we find qualitative propagation behaviour of the time-dependent system in close analogy to the electric case.


title: Sample Complexity of Episodic Fixed-Horizon Reinforcement Learning

abstract: Recently, there has been significant progress in understanding reinforcement learning in discounted infinite-horizon Markov decision processes (MDPs) by deriving tight sample complexity bounds. However, in many real-world applications, an interactive learning agent operates for a fixed or bounded period of time, for example tutoring students for exams or handling customer service requests. Such scenarios can often be better treated as episodic fixed-horizon MDPs, for which only looser bounds on the sample complexity exist. A natural notion of sample complexity in this setting is the number of episodes required to guarantee a certain performance with high probability (PAC guarantee). In this paper, we derive an upper PAC bound $\tilde O(\frac{|\mathcal S|^2 |\mathcal A| H^2}{\epsilon^2} \ln\frac 1 \delta)$ and a lower PAC bound $\tilde \Omega(\frac{|\mathcal S| |\mathcal A| H^2}{\epsilon^2} \ln \frac 1 {\delta + c})$ that match up to log-terms and an additional linear dependency on the number of states $|\mathcal S|$. The lower bound is the first of its kind for this setting. Our upper bound leverages Bernstein's inequality to improve on previous bounds for episodic finite-horizon MDPs which have a time-horizon dependency of at least $H^3$.


title: Detection of the first infra-red quasi periodic oscillation in a black hole X-ray binary

abstract: We present analysis of fast variability of Very Large Telescope/ISAAC (infra-red), \textit{XMM-Newton}/OM (optical) and EPIC-pn (X-ray), and RXTE/PCA (X-ray) observations of the black hole X-ray binary GX 339-4 in a rising hard state of its outburst in 2010. We report the first detection of a Quasi Periodic Oscillation (QPO) in the infra-red band (IR) of a black hole X-ray binary. The QPO is detected at 0.08 Hz in the IR as well as two optical bands (U and V). Interestingly, these QPOs are at half the X-ray QPO frequency at 0.16 Hz, which is classified as the type-C QPO; a weak sub-harmonic close to the IR and optical QPO frequency is also detected in X-rays. The broad band sub-second time scale variability is strongly correlated in IR/X-ray bands, with X-rays leading the IR by over 100 ms. This short time delay, shape of the cross correlation function and spectral energy distribution strongly indicate that this broad band variable IR emission is the synchrotron emission from the jet. A jet origin for the IR QPO is strongly favoured, but cannot be definitively established with the current data. The spectral energy distribution indicates a thermal disc origin for the bulk of the optical emission, but the origin of the optical QPO is unclear. We discuss our findings in the context of the existing models proposed to explain the origin of variability.


title: Performance of the Cathode Strip Chamber endcap muon detectors in Run 2

abstract: Since the end of Run 1 of the LHC in 2012, the outermost ring has been added to the CMS Cathode Strip Chambers (CSC) endcap muon detector, and the readout electronics of the innermost ring of CSCs have been upgraded to accommodate the larger luminosity and collision energy anticipated in Run 2. A major effort was required to build, install, and commission these new chambers and electronics. This talk summarizes the improvements made during this upgrade and presents the performance of the CSC detector during the early stages of Run 2.


title: Search for disappearing tracks

abstract: We present a search for long-lived charged particles that decay within the CMS detector and produce the signature of a disappearing track. Disappearing tracks are identified as those with little or no associated calorimeter energy deposits and with missing hits in the outer layers of the tracker. The search uses proton-proton collision data recorded at $\sqrt{s} = 8$ TeV that corresponds to an integrated luminosity of 19.5 fb$^{-1}$. The results of the search are interpreted in the context of the anomaly-mediated supersymmetry breaking model and in terms of the phenomenological MSSM.


title: Active mode locking of quantum cascade lasers operating in external ring cavity

abstract: Stable ultrashort light pulses and frequency combs generated by mode-locked lasers have many important applications including high-resolution spectroscopy, fast chemical detection and identification, studies of ultrafast processes, and laser metrology. While compact mode-locked lasers emitting in the visible and near infrared range have revolutionized photonic technologies, the systems operating in the mid-infrared range where most gases have their strong absorption lines, are bulky and expensive and rely on nonlinear frequency down-conversion. Quantum cascade lasers are the most powerful and versatile compact light sources in the mid-infrared range, yet achieving their mode locked operation remains a challenge despite dedicated effort. Here we report the first demonstration of active mode locking of an external-cavity quantum cascade laser. The laser operates in the mode-locked regime at room temperature and over the full dynamic range of injection currents of a standard commercial laser chip.


title: Homological mirror symmetry for hypersurface cusp singularities

abstract: We study versions of homological mirror symmetry for hypersurface cusp singularities and the three hypersurface simple elliptic singularities. We show that the Milnor fibres of each of these carries a distinguished Lefschetz fibration; its derived directed Fukaya category is equivalent to the derived category of coherent sheaves on a smooth rational surface $Y_{p,q,r}$. By using localization techniques on both sides, we get an isomorphism between the derived wrapped Fukaya category of the Milnor fibre and the derived category of coherent sheaves on a quasi-projective surface given by deleting an anti-canonical divisor $D$ from $Y_{p,q,r}$. In the cusp case, the pair $(Y_{p,q,r}, D)$ is naturally associated to the dual cusp singularity, tying into Gross, Hacking and Keel's proof of Looijenga's conjecture.


title: Lie Properties of Restricted Enveloping Algebras

abstract: Let L be a restricted Lie algebra over a field of positive characteristic. We survey the known results about the Lie structure of the restricted enveloping algebra u(L) of L. Related results about the structure of the group of units and the symmetric and skew-symmetric elements of u(L) are also discussed. Moreover, a new theorem about an upper bound for the Lie nilpotency class of u(L) is proved.


title: Discovery and the QuarkNet Data Portfolio

abstract: Student and public understanding of new discoveries in particle physics are enhanced by preparatory activities. Such activities give the user experience and context to understand a representation of the data associated with the discovery and some familiarity with the topics associated with the discovery. The QuarkNet Data Portfolio is a developing model of high-quality activities that address this need.


title: Lie identities on symmetric elements of restricted enveloping algebras

abstract: Let L be a restricted Lie algebra over a field of characteristic p > 2 and denote by u(L) its restricted enveloping algebra. We determine the conditions under which the set of symmetric elements of u(L) with respect to the principal involution is Lie solvable, Lie nilpotent, or bounded Lie Engel.


title: Optimal distributed control for platooning via sparse coprime factorizations

abstract: We introduce a novel distributed control architecture for heterogeneous platoons of linear time--invariant autonomous vehicles. Our approach is based on a generalization of the concept of {\em leader--follower} controllers for which we provide a Youla--like parameterization while the sparsity constraints are imposed on the controller's left coprime factors, outlying a new concept of structural constraints in distributed control. The proposed scheme is amenable to optimal controller design via norm based costs, it guarantees string stability and eliminates the accordion effect from the behavior of the platoon. We also introduce a synchronization mechanism for the exact compensation of the time delays induced by the wireless broadcasting of information.


title: Cavity quantum electrodynamics of continuously monitored Bose-condensed atoms

abstract: We study cavity quantum electrodynamics of Bose-condensed atoms that are subjected to continuous monitoring of the light leaking out of the cavity. Due to a given detection record of each stochastic realization, individual runs spontaneously break the symmetry of the spatial profile of the atom cloud and this symmetry can be restored by considering ensemble averages over many realizations. We show that the cavity optomechanical excitations of the condensate can be engineered to target specific collective modes. This is achieved by exploiting the spatial structure and symmetries of the collective modes and light fields. The cavity fields can be utilized both for strong driving of the collective modes and for their measurement. In the weak excitation limit the condensate-cavity system may be employed as a sensitive phonon detector which operates by counting photons outside the cavity that have been selectively scattered by desired phonons.


title: A Fast Hyperplane-Based Minimum-Volume Enclosing Simplex Algorithm for Blind Hyperspectral Unmixing

abstract: Hyperspectral unmixing (HU) is a crucial signal processing procedure to identify the underlying materials (or endmembers) and their corresponding proportions (or abundances) from an observed hyperspectral scene. A well-known blind HU criterion, advocated by Craig in early 1990's, considers the vertices of the minimum-volume enclosing simplex of the data cloud as good endmember estimates, and it has been empirically and theoretically found effective even in the scenario of no pure pixels. However, such kind of algorithms may suffer from heavy simplex volume computations in numerical optimization, etc. In this work, without involving any simplex volume computations, by exploiting a convex geometry fact that a simplest simplex of N vertices can be defined by N associated hyperplanes, we propose a fast blind HU algorithm, for which each of the N hyperplanes associated with the Craig's simplex of N vertices is constructed from N-1 affinely independent data pixels, together with an endmember identifiability analysis for its performance support. Without resorting to numerical optimization, the devised algorithm searches for the N(N-1) active data pixels via simple linear algebraic computations, accounting for its computational efficiency. Monte Carlo simulations and real data experiments are provided to demonstrate its superior efficacy over some benchmark Craig-criterion-based algorithms in both computational efficiency and estimation accuracy.


title: Formation and Stellar Spin-Orbit Misalignment of Hot Jupiters from Lidov-Kozai Oscillations in Stellar Binaries

abstract: Observed hot Jupiter (HJ) systems exhibit a wide range of stellar spin-orbit misalignment angles. The origin of these HJs remains unclear. This paper investigates the inward migration of giant planets due to Lidov-Kozai (LK) oscillations induced by a distant (100-1000 AU) stellar companion. We conduct a large population synthesis study, including the octupole gravitational potential from the stellar companion, mutual precession of the host stellar spin axis and planet orbital axis, tidal dissipation in the planet, and stellar spin-down in the host star due to magnetic braking. We consider a range of planet masses ($0.3-5\,M_J$) and initial semi-major axes ($1-5$AU), different properties for the host star, and varying tidal dissipation strengths. The fraction of systems that result in HJs depends on planet mass and stellar type, with $f_{\rm HJ} = 1-4\%$ (depending on tidal dissipation strength) for $M_p=1\,M_J$, and larger (up to $8\%$) for more massive planets. The production efficiency of "hot Saturns" ($M_p=0.3M_J$) is much lower, because most migrating planets are tidally disrupted. We find that the fraction of systems that result in either HJ formation or tidal disruption, $f_{\rm mig} \simeq 11-14\%$ is roughly constant, having little variation with planet mass, stellar type and tidal dissipation strength. This "universal" migration fraction can be understood qualitatively from analytical migration criteria based on the properties of octupole LK oscillations. The distribution of final HJ stellar obliquities exhibits a complex dependence on the planet mass and stellar type. For $M_p = (1-3)M_J$, the distribution is always bimodal, with peaks around $30^{\circ}$ and $130^{\circ}$. The distribution for $5M_J$ planets depends on host stellar type, with a preference for low obliquities for solar-type stars, and higher obliquities for more massive ($1.4M_{\odot}$) stars.


title: Random Perturbations of a Periodically Driven Nonlinear Oscillator: Escape from a resonance zone

abstract: The phase space for a periodically driven nonlinear oscillator consists of many resonance zones. Let the strength of periodic excitation and the strength of the damping be indexed by a small parameter $\varepsilon$. It is well known that, as $\varepsilon \to 0$, the measure of the set of initial conditions which lead to 'capture in a resonance zone' goes to zero. In this paper we study the effect of weak noise on the escape from a resonance zone.


title: Extreme Events of Markov Chains

abstract: The extremal behaviour of a Markov chain is typically characterized by its tail chain. For asymptotically dependent Markov chains existing formulations fail to capture the full evolution of the extreme event when the chain moves out of the extreme tail region and for asymptotically independent chains recent results fail to cover well-known asymptotically independent processes such as Markov processes with a Gaussian copula between consecutive values. We use more sophisticated limiting mechanisms that cover a broader class of asymptotically independent processes than current methods, including an extension of the canonical Heffernan-Tawn normalization scheme, and reveal features which existing methods reduce to a degenerate form associated with non-extreme states.


title: Taxotopy Theory of Posets I: van Kampen Theorems

abstract: Given functors $F,G:\mathcal C\to\mathcal D$ between small categories, when is it possible to say that $F$ can be "continuously deformed" into $G$ in a manner that is not necessarily reversible? In an attempt to answer this question in purely category-theoretic language, we use adjunctions to define a `taxotopy' preorder $\preceq$ on the set of functors $\mathcal C\to\mathcal D$, and combine this data into a `fundamental poset' $(\Lambda(\mathcal C,\mathcal D),\preceq)$. The main objects of study in this paper are the fundamental posets $\Lambda(\mathbf 1,P)$ and $\Lambda(\mathbb Z,P)$ for a poset $P$, where $\mathbf 1$ is the singleton poset and $\mathbb Z$ is the ordered set of integers; they encode the data about taxotopy of points and chains of $P$ respectively. Borrowing intuition from homotopy theory, we show that a suitable cone construction produces `null-taxotopic' posets and prove two forms of van Kampen theorem for computing fundamental posets via covers of posets.


title: Two evolved supernova remnants with newly identified Fe-rich cores in the Large Magellanic Cloud

abstract: Aims. We present a multi-wavelength analysis of the evolved supernova remnants MCSNR J0506-7025 and MCSNR J0527-7104 in the Large Magellanic Cloud. Methods. We used data from XMM-Newton, the Australian Telescope Compact Array, and the Magellanic Cloud Emission Line Survey to study their broadband emission and used Spitzer and HI data to gain a picture of their environments. We performed a multi-wavelength morphological study and detailed radio and X-ray spectral analyses to determine their physical characteristics. Results. Both remnants were found to have bright X-ray cores, dominated by Fe L-shell emission, consistent with reverse shock heated ejecta with determined Fe masses in agreement with Type Ia explosion yields. A soft X-ray shell, consistent with swept-up interstellar medium, was observed in MCSNR J0506-7025, suggestive of a remnant in the Sedov phase. Using the spectral fit results and the Sedov self-similar solution, we estimated the age of MCSNR J0506-7025 to be ~16-28 kyr, with an initial explosion energy of (0.07-0.84)x10^51 erg. A soft shell was absent in MCSNR J0527-7104, with only ejecta emission visible in an extremely elongated morphology extending beyond the optical shell. We suggest that the blast wave has broken out into a low density cavity, allowing the shock heated ejecta to escape. We found that the radio spectral index of MCSNR J0506-7025 is consistent with the standard ~0.5 for SNRs. Radio polarisation at 6 cm indicates a higher degree of polarisation along the western front and at the eastern knot, with a mean fractional polarisation across the remnant of P~(20 \pm 6)%. Conclusions. The detection of Fe-rich ejecta in the remnants suggests that both resulted from Type Ia explosions. The newly identified Fe-rich cores in MCSNR J0506-7025 and MCSNR J0527-7104 makes them members of the expanding class of evolved Fe-rich remnants in the Magellanic Clouds.


title: Poloidal tilting symmetry of high order tokamak flux surface shaping in gyrokinetics

abstract: A poloidal tilting symmetry of the local nonlinear $\delta f$ gyrokinetic model is demonstrated analytically and verified numerically. This symmetry shows that poloidally rotating all the flux surface shaping effects with large poloidal mode number by a single tilt angle has an exponentially small effect on the transport properties of a tokamak. This is shown using a generalization of the Miller local equilibrium model to specify an arbitrary flux surface geometry. With this geometry specification we find that, when performing an expansion in large flux surface shaping mode number, the governing equations of gyrokinetics are symmetric in the poloidal tilt of the high order shaping effects. This allows us to take the fluxes from a single configuration and calculate the fluxes in any configuration that can be produced by tilting the large mode number shaping effects. This creates a distinction between tokamaks with mirror symmetric flux surfaces and tokamaks without mirror symmetry, which is expected to have important consequences for generating toroidal rotation using up-down asymmetry.


title: On the effective oxygen yield in the disks of spiral galaxies

abstract: The factors influencing chemical evolution of galaxies are poorly understood. Both gas inflow and gas outflow reduce a gas-phase abundance of heavy elements (metallicity) whereas the ongoing star formation continuously increases it. To exclude the stellar nucleosynthesis from consideration, we analyze for the sample of 14 spiral galaxies the radial distribution of the effective yield of oxygen $y_{eff}$, which would be identical to the true stellar yield (per stellar generation) $y_o$ if the evolution followed the closed box model. As the initial data for gas-phase abundance we used the O/H radial profiles from Moustakas, Kennicutt, Tremonti et al. (2010), based on two different calibrations (Pilyugin & Thuan 2005 (PT2005) and Kobulnicky & Kewley 2004 (KK2004) methods). In most of galaxies with the PT2005 calibration, which we consider as a preferred one, the yield $y_{eff}$ in the main disk ($R \ge 0.2~R_{25}$, where $R_{25}$ is the optical radius) increases with radius, remaining lower than the empirically found true stellar yield $y_o$. This may indicate the inflow of low-enriched gas predominantly to the inner disk regions, which reduces $y_{eff}$. We show that the maximal values of the effective yield in the main disks of galaxies, $y_{eff,max}$, anti-correlate with the total mass of galaxies and with the mass of their dark halo enclosed within $R_{25}$. It allows to propose the higher role of gas accretion for galaxies with massive halos. We also found that the radial gradient of oxygen abundance normalized to $R_{25}$ has a tendency to be shallower in the systems with lower dark halo to stellar mass ratio within the optical radius, which, if confirmed, gives evidences of the effective radial mixing of gas in galaxies with the relatively light dark matter halo.


title: Hochschild homology, lax codescent, and duplicial structure

abstract: We study the duplicial objects of Dwyer and Kan, which generalize the cyclic objects of Connes. We describe duplicial objects in terms of the decalage comonads, and we give a conceptual account of the construction of duplicial objects due to Bohm and Stefan. This is done in terms of a 2-categorical generalization of Hochschild homology. We also study duplicial structure on nerves of categories, bicategories, and monoidal categories.


title: Consistent Pauli reduction on group manifolds

abstract: We prove an old conjecture by Duff, Nilsson, Pope and Warner asserting that the NS-NS sector of supergravity (and more general the bosonic string) allows for a consistent Pauli reduction on any d-dimensional group manifold G, keeping the full set of gauge bosons of the G x G isometry group of the bi-invariant metric on G. The main tool of the construction is a particular generalised Scherk-Schwarz reduction ansatz in double field theory which we explicitly construct in terms of the group's Killing vectors. Examples include the consistent reduction from ten dimensions on $S^3\times S^3$ and on similar product spaces. The construction is another example of globally geometric non-toroidal compactifications inducing non-geometric fluxes.


title: Are Mobilities in Hybrid Organic-Inorganic Halide Perovskites Actually 'High'?

abstract: We present an experimental and theoretical viewpoint on the electronic carrier mobilities of typical hybrid organic-inorganic perovskites (HOIPs). While these mobilities are often quoted as high, a review of them shows that although otherwise the semiconducting properties of HOIPs are impressively good, mobilities of HOIPs used in most solar cells are actually not that high. This is especially apparent if they are compared to those of inorganic semiconductors used in other high efficiency solar cells. We critically examine possible causes and focus on electron-lattice coupling mechanisms that are active at room temperature, and can lead to carrier scattering. From this, we propose scattering due to acoustic phonons or polarons as possible causes, but also point out the difficulties with each of these in view of additional experimental and theoretical findings in the literature. Further research in this direction will contribute to making HOIP solar cells even more efficient than they already are.


title: Nanocluster ionization energies and work function of aluminum, and their temperature dependence

abstract: Ionization threshold energies of Al$_n$ (n=32-95) nanoclusters are determined by laser ionization of free neutral metal clusters thermalized to several temperatures in the range from 65 K to 230 K. The photoion yield curves of cold clusters follow a quadratic energy dependence above threshold, in agreement with the Fowler law of surface photoemission. Accurate data collection and analysis procedures make it possible to resolve very small (few parts in a thousand) temperature-induced shifts in the ionization energies. Extrapolation of the data to the bulk limit enables a determination of the thermal shift of the polycrystalline metal work function, found to be in excellent agreement with theoretical prediction based on the influence of thermal expansion. Small clusters display somewhat larger thermal shifts, reflecting their greater susceptibility to thermal expansion. Ionization studies of free size-resolved nanoclusters facilitate understanding of the interplay of surface, electronic, and lattice properties under contamination-free conditions.


title: Increasing Indoor Spectrum Sharing Capacity using Smart Reflect-Array

abstract: The radio frequency (RF) spectrum becomes overly crowded in some indoor environments due to the high density of users and bandwidth demands. To accommodate the tremendous wireless data demands, efficient spectrum-sharing approaches are highly desired. To this end, this paper introduces a new spectrum sharing solution for indoor environments based on the usage of a reconfigurable reflect-array in the middle of the wireless channel. By optimally controlling the phase shift of each element on the reflect-array, the useful signals for each transmission pair can be enhanced while the interferences can be canceled. As a result, multiple wireless users in the same room can access the same spectrum band at the same time without interfering each other. Hence, the network capacity can be dramatically increased. To prove the feasibility of the proposed solution, an experimental testbed is first developed and evaluated. Then, the effects of the reflect-array on transport capacity of the indoor wireless networks are investigated. Through experiments, theoretical deduction, and simulations, this paper demonstrates that significantly higher spectrum-spatial efficiency can be achieved by using the smart reflect-array without any modification of the hardware and software in the users' devices.


title: Cubic Ideal Ferromagnets at Low Temperature and Weak Magnetic Field

abstract: The low-temperature series for the free energy density, pressure, magnetization and susceptibility of cubic ideal ferromagnets in weak external magnetic fields are discussed within the effective Lagrangian framework up to three loops. The structure of the simple, body-centered, and face-centered cubic lattice is taken into account explicitly. The expansion involves integer and half-integer powers of the temperature. The corresponding coefficients depend on the magnetic field and on low-energy effective constants that can be expressed in terms of microscopic quantities. Our formulas may also serve as efficiency or consistency check for other techniques like Green's function methods, where spurious terms in the low-temperature expansion have appeared. We explore the sign and magnitude of the spin-wave interaction in the pressure, magnetization and susceptibility, and emphasize that our effective field theory approach is fully systematic and rigorous.


title: Comparing allosteric transitions in the domains of calmodulin through coarse-grained simulations

abstract: Calmodulin (CaM) is a ubiquitous calcium binding protein consisting of two structurally similar domains with distinct stabilities, binding affinities, and flexibilities. We present coarse grained simulations that suggest the mechanism for the domain's allosteric transitions between the open and closed conformations depend on subtle differences in the folded state topology of the two domains. Throughout a wide temperature range, the simulated transition mechanism of the N-terminal domain (nCaM) follows a two-state transition mechanism while domain opening in the C-terminal domain (cCaM) involves unfolding and refolding of the tertiary structure. The appearance of the unfolded intermediate occurs at a higher temperature in nCaM than it does in cCaM consistent with nCaM's higher thermal stability. Under approximate physiological conditions, the simulated unfolded state population of cCaM accounts for 10% of the population with nearly all of the sampled transitions (approximately 95%) unfolding and refolding during the conformational change. Transient unfolding significantly slows the domain opening and closing rates of cCaM. This potentially influences the mechanism of calcium binding to each domain.


title: Avoiding Tokamak disruptions by applying static magnetic fields that align locked modes with stabilizing wave-driven currents

abstract: Non-rotating (`locked') magnetic islands often lead to complete losses of confinement in tokamak plasmas, called major disruptions. Here locked islands were suppressed for the first time, by a combination of applied three-dimensional magnetic fields and injected millimetre waves. The applied fields were used to control the phase of locking and so align the island O-point with the region where the injected waves generated non-inductive currents. This resulted in stabilization of the locked island, disruption avoidance, recovery of high confinement and high pressure, in accordance with the expected dependencies upon wave power and relative phase between O-point and driven current.


title: Period Ratio Distribution of Near-Resonant Planets Indicates Planetesimal Scattering

abstract: An intriguing trend among Kepler's multi-planet systems is an overabundance of planet pairs with period ratios just wide of mean motion resonances (MMR) and a dearth of systems just narrow of them. In a recently published paper Chatterjee & Ford (2015; henceforth CF15) has proposed that gas-disk migration traps planets in a MMR. After gas dispersal, orbits of these trapped planets are altered through interaction with a residual planetesimal disk. They found that for massive enough disks planet-planetesimal disk interactions can break resonances and naturally create moderate to large positive offsets from the initial period ratio for large ranges of planetesimal disk and planet properties. Divergence from resonance only happens if the mass of planetesimals that interact with the planets is at least a few percent of the total planet mass. This threshold, above which resonances are broken and the offset from resonances can grow, naturally explains why the asymmetric large offsets were not seen in more massive planet pairs found via past radial velocity surveys. In this article we will highlight some of the key findings of CF15. In addition, we report preliminary results from an extension of this study, that investigates the effects of planet-planetesimal disk interactions on initially non-resonant planet pairs. We find that planetesimal scattering typically increases period ratios of non-resonant planets. If the initial period ratios are below and in proximity of a resonance, under certain conditions, this increment in period ratios can create a deficit of systems with period ratios just below the exact integer corresponding to the MMR and an excess just above. From an initially uniform distribution of period ratios just below a 2:1 MMR, planetesimal interactions can create an asymmetric distribution across this MMR similar to what is observed for the Kepler planet pairs.


title: Regular patterns, substitudes, Feynman categories and operads

abstract: We show that the regular patterns of Getzler (2009) form a 2-category biequivalent to the 2-category of substitudes of Day and Street (2003), and that the Feynman categories of Kaufmann and Ward (2013) form a 2-category biequivalent to the 2-category of coloured operads (with invertible 2-cells). These biequivalences induce equivalences between the corresponding categories of algebras. There are three main ingredients in establishing these biequivalences. The first is a strictification theorem (exploiting Power's General Coherence Result) which allows to reduce to the case where the structure maps are identity-on-objects functors and strict monoidal. Second, we subsume the Getzler and Kaufmann--Ward hereditary axioms into the notion of Guitart exactness, a general condition ensuring compatibility between certain left Kan extensions and a given monad, in this case the free-symmetric-monoidal-category monad. Finally we set up a biadjunction between substitudes and what we call pinned symmetric monoidal categories, from which the results follow as a consequence of the fact that the hereditary map is precisely the counit of this biadjunction.


title: Static black holes with axial symmetry in asymptotically AdS$_4$ spacetime

abstract: The known static electro-vacuum black holes in a globally AdS$_4$ background have an event horizon which is geometrically a round sphere. In this work we argue that the situation is different in models with matter fields possessing an explicit dependence on the azimuthal angle $\varphi$, which, however, does not manifest at the level of the energy-momentum tensor. As a result, the full solutions are axially symmetric only, possessing a single (timelike) Killing vector field. Explicit examples of such static black holes are constructed in Einstein--(complex) scalar field and Einstein--Yang-Mills theories. The basic properties of these solutions are discussed, looking for generic features. For example, we notice that the horizon has an oblate spheroidal shape for solutions with a scalar field and a prolate one for black holes with Yang-Mills fields. The deviation from sphericity of the horizon geometry manifests itself in the holographic stress-tensor. Finally, based on the results obtained in the probe limit, we conjecture the existence in the Einstein-Maxwell theory of static black holes with axial symmetry only.


title: Inertial manifolds for the 3D modified-Leray-$\alpha$ model with periodic boundary conditions

abstract: The existence of an inertial manifold for the modified Leray-$\alpha$ model with periodic boundary conditions in three-dimensional space is proved by using the so-called spatial averaging principle. Moreover, an adaptation of the Perron method for constructing inertial manifolds in the particular case of zero spatial averaging is suggested.


title: Measurement of $\theta_{13}$ in Double Chooz using neutron captures on hydrogen with novel background rejection techniques

abstract: The Double Chooz collaboration presents a measurement of the neutrino mixing angle $\theta_{13}$ using reactor $\overline{\nu}_{e}$ observed via the inverse beta decay reaction in which the neutron is captured on hydrogen. This measurement is based on 462.72 live days data, approximately twice as much data as in the previous such analysis, collected with a detector positioned at an average distance of 1050m from two reactor cores. Several novel techniques have been developed to achieve significant reductions of the backgrounds and systematic uncertainties. Accidental coincidences, the dominant background in this analysis, are suppressed by more than an order of magnitude with respect to our previous publication by a multi-variate analysis. These improvements demonstrate the capability of precise measurement of reactor $\overline{\nu}_{e}$ without gadolinium loading. Spectral distortions from the $\overline{\nu}_{e}$ reactor flux predictions previously reported with the neutron capture on gadolinium events are confirmed in the independent data sample presented here. A value of $\sin^{2}2\theta_{13} = 0.095^{+0.038}_{-0.039}$(stat+syst) is obtained from a fit to the observed event rate as a function of the reactor power, a method insensitive to the energy spectrum shape. A simultaneous fit of the hydrogen capture events and of the gadolinium capture events yields a measurement of $\sin^{2}2\theta_{13} = 0.088\pm0.033$(stat+syst).


title: A three-scale model of spatio-temporal bursting

abstract: We study spatio-temporal bursting in a three-scale reaction diffusion equation organized by the winged cusp singularity. For large time-scale separation the model exhibits traveling bursts, whereas for large space-scale separation the model exhibits standing bursts. Both behaviors exhibit a common singular skeleton, whose geometry is fully determined by persistent bifurcation diagrams of the winged cusp. The modulation of spatio-temporal bursting in such a model naturally translates into paths in the universal unfolding of the winged-cusp.


title: The Physics of Stratum Corneum Lipid Membranes

abstract: The Stratum Corneum (SC), the outermost layer of skin, comprises rigid corneocytes (keratin filled dead cells) in a specialized lipid matrix. The continuous lipid matrix provides the main barrier against uncontrolled water loss and invasion of external pathogens. Unlike all other biological lipid membranes (like intracellular organelles and plasma membranes), molecules in SC lipid matrix show small hydrophilic group and large variability in the length of the alkyl tails and in the numbers and positions of groups that are capable of forming hydrogen bonds. Molecular simulations provide a route for systematically probing the effects of each of these differences separately. In this article we present results from atomistic molecular dynamics of selected lipid bilayers and multilayers to probe the effect of these polydispersities. We address the nature of the tail packing in the gel-like phase, the hydrogen bond network among head groups, the bending moduli expected for leaflets comprising SC lipids, and the conformation of very long ceramide lipids (EOS) in multibilayer lipid assemblies.

categories: cond-mat.soft physics.bio-ph physics.chem-ph q-bio.TO


title: Combining Peer-to-Peer and Cloud Computing for Large Scale On-line Games

abstract: This thesis investigates the combination of Peer-to-Peer (P2P) and Cloud Computing to support Massively Multiplayer On- line Games (MMOGs). MMOGs are large-scale distributed applications where a large number of users concurrently share a real-time virtual environment. Commercial MMOG infrastructures are sized to support peak loads, incurring in high economical cost. Cloud Computing represents an attractive solution, as it lifts MMOG operators from the burden of buying and maintaining hardware, while offering the illusion of infinite machines. However, it requires balancing the tradeoff between resource provisioning and operational costs. P2P- based solutions present several advantages, including the inherent scalability, self-repairing, and natural load distribution capabilities. They require additional mechanisms to suit the requirements of a MMOG, such as backup solutions to cope with peer unreliability and heterogeneity. We propose mechanisms that integrate P2P and Cloud Computing combining their advantages. Our techniques allow operators to select the ideal tradeoff between performance and economical costs. Using realistic workloads, we show that hybrid infrastructures can reduce the economical effort of the operator, while offering a level of service comparable with centralized architectures.


title: The Standardisation and Sequencing of Solar Eclipse Images for the Eclipse Megamovie Project

abstract: We present a new tool, the Solar Eclipse Image Standardisation and Sequencing (SEISS), developed to process multi-source total solar eclipse images by adjusting them to the same standard of size, resolution, and orientation. Furthermore, by analysing the eclipse images we can determine the relative time between the observations and order them to create a movie of the observed total solar eclipse sequence. We successfully processed images taken at the 14 November 2012 total solar eclipse that occurred in Queensland, Australia, and created a short eclipse proto-movie. The SEISS tool was developed for the Eclipse Megamovie Project (EMP: https://www.eclipsemegamovie.org), with the goal of processing thousands of images taken by the public during solar eclipse events. EMP is a collaboration among multiple institutes aiming to engage and advance the public interest in solar eclipses and the science of the Sun-Earth connection.


title: Trapped Modes in Linear Quantum Stochastic Networks with Delays

abstract: Networks of open quantum systems with feedback have become an active area of research for applications such as quantum control, quantum communication and coherent information processing. A canonical formalism for the interconnection of open quantum systems using quantum stochastic differential equations (QSDEs) has been developed by Gough, James and co-workers and has been used to develop practical modeling approaches for complex quantum optical, microwave and optomechanical circuits/networks. In this paper we fill a significant gap in existing methodology by showing how trapped modes resulting from feedback via coupled channels with finite propagation delays can be identified systematically in a given passive linear network. Our method is based on the Blaschke-Potapov multiplicative factorization theorem for inner matrix-valued functions, which has been applied in the past to analog electronic networks. Our results provide a basis for extending the Quantum Hardware Description Language (QHDL) framework for automated quantum network model construction (Tezak \textit{et al.} in Philos. Trans. R. Soc. A, Math. Phys. Eng. Sci. 370(1979):5270-5290, to efficiently treat scenarios in which each interconnection of components has an associated signal propagation time delay.


title: MessageGuard: A Browser-based Platform for Usable, Content-Based Encryption Research

abstract: This paper describes MessageGuard, a browser-based platform for research into usable content-based encryption. MessageGuard is designed to enable collaboration between security and usability researchers on long-standing research questions in this area. It significantly simplifies the effort required to work in this space and provides a place for research results to be shared, replicated, and compared with minimal confounding factors. MessageGuard provides ubiquitous encryption and secure cryptographic operations, enabling research on any existing web application, with realistic usability studies on a secure platform. We validate MessageGuard's compatibility and performance, and we illustrate its utility with case studies for Gmail and Facebook Chat.


title: Quantum-Bath Decoherence of Hybrid Electron-Nuclear Spin Qubits

abstract: A major problem facing the realisation of scalable solid-state quantum computing is that of overcoming decoherence - the process whereby phase information encoded in a qubit is lost as the qubit interacts with its environment. Due to the vast number of environmental degrees of freedom, it is challenging to accurately calculate decoherence times $T_2$, especially when the qubit and environment are highly correlated. Hybrid or mixed electron-nuclear spin qubits, such as donors in silicon, possess 'optimal working points' (OWPs) which are sweet-spots for reduced decoherence in magnetic fields. Analysis of sharp variations of $T_2$ near OWPs was previously based on insensitivity to classical noise, even though hybrid qubits are situated in highly correlated quantum environments, such as the nuclear spin bath of $^{29}$Si impurities. This presented limited understanding of the decoherence mechanism and gave unreliable predictions for $T_2$. I present quantum many-body calculations of the qubit-bath dynamics, which (i) yield $T_2$ for hybrid qubits in excellent agreement with experiments in multiple regimes, (ii) elucidate the many-body nature of the nuclear spin bath and (iii) expose significant differences between quantum-bath and classical-field decoherence. To achieve these, the cluster correlation expansion was adapted to include electron-nuclear state mixing. In addition, an analysis supported by experiment was carried out to characterise the nuclear spin bath for a bismuth donor as the hybrid qubit, a simple analytical formula for $T_2$ was derived with predictions in agreement with experiment, and the established method of dynamical decoupling was combined with operating near OWPs in order to maximise $T_2$. Finally, the decoherence of a $^{29}$Si spin in proximity to the hybrid qubit was studied, in order to establish the feasibility for its use as a quantum register.


title: Non-asymptotical sharp exponential estimates for maximum distribution of discontinuous random fields

abstract: We offer in this paper the non-asymptotical bilateral sharp exponential estimates for tail of maximum distribution of {\it discontinuous} random fields. Our consideration based on the theory of Prokhorov-Skorokhod spaces of random fields and on the theory of multivariate Banach spaces of random variables with exponential decreasing tails of distributions.


title: Stability analysis of semiconductor manufacturing process with EWMA run-to-run controllers

abstract: In the semiconductor manufacturing batch processes, each step is a complicated physiochemical batch process; generally it is difficult to perform measurements online or carry out the measurement for each run, and hence there will be delays in the feedback of the system. The effect of the delay on the stability of the system is an important issue which needs to be understood. Based on the exponentially weighted moving average (EWMA) algorithm, we propose two kinds of controllers, EWMA-I and II controllers for single product process and mixed product process in semiconductor manufacturing in this paper. For the single product process, the stabilities of systems with both controllers which undergo different kinds of metrology delays are investigated. Necessary and sufficient conditions for the stochastic stability are established. Routh-Hurwitz criterion and Lyapunov's direct method are used to obtain the stability regions for the system with fixed metrology delay. By using Lyapunov's direct method, the stability region is established for the system with fixed sampling metrology and with stochastic metrology delay. We also extended the theorems of single product process to mixed product process. Based on the proposed theorems, some numerical examples are provided to illustrate the stability of the delay system.


title: Optimization of cooling load in quantum self-contained fridge based on endoreversible approach

abstract: We consider a quantum self-contained fridge consisting of three qubits interacting with three separate heat reservoirs, respectively, and functioning without any external controls. Applying the methods of endoreversible thermodynamics, we derive explicit expressions of cooling load versus efficiency of this fridge, which demonstrate behaviors of trade-off between those two quantities and thus enable to discuss the thermoeconomic optimization of performance. We also discuss a possibility for the amplification of cooling load briefly in a simple modification from the original architecture of fridge.


title: Neutron capture and the antineutrino yield from nuclear reactors

abstract: We identify a new, flux-dependent correction to the antineutrino spectrum as produced in nuclear reactors. The abundance of certain nuclides, whose decay chains produce antineutrinos above the threshold for inverse beta decay, has a nonlinear dependence on the neutron flux, unlike the vast majority of antineutrino producing nuclides, whose decay rate is directly related to the fission rate. We have identified four of these so-called nonlinear nuclides and determined that they result in an antineutrino excess at low-energies below 3.2MeV, dependent on the reactor thermal neutron flux. We develop an analytic model for the size of the correction and compare it to the results of detailed reactor simulations for various real existing reactors, spanning 3 orders of magnitude in neutron flux. In a typical pressurized water reactor the resulting correction can reach 0.9% of the low energy flux which is comparable in size to other, known low-energy corrections from spent nuclear fuel and the non-equilibrium correction. For naval reactors the nonlinear correction may reach the 10% level.


title: Testing Visual Attention in Dynamic Environments

abstract: We investigate attention as the active pursuit of useful information. This contrasts with attention as a mechanism for the attenuation of irrelevant information. We also consider the role of short-term memory, whose use is critical to any model incapable of simultaneously perceiving all information on which its output depends. We present several simple synthetic tasks, which become considerably more interesting when we impose strong constraints on how a model can interact with its input, and on how long it can take to produce its output. We develop a model with a different structure from those seen in previous work, and we train it using stochastic variational inference with a learned proposal distribution.


title: Estimation of the direct-to-reverberant Energy Ratio using a spherical microphone array

abstract: This paper proposes a practical approach to estimate the direct-to-reverberant energy ratio (DRR) using a spherical microphone array without having knowledge of the source signal. We base our estimation on a theoretical relationship between the DRR and the coherence estimation function between coincident pressure and particle velocity. We discuss the proposed method's ability to estimate the DRR in a wide variety of room sizes, reverberation times and source receiver distances with appropriate examples. Test results show that the method can estimate the room DRR for frequencies between 199 - 2511 Hz, with $\pm$ 3 dB accuracy.


title: Topological barriers for locally homeomorphic quasiregular mappings in 3-space

abstract: We construct a new type of locally homeomorphic quasiregular mappings in the 3-sphere and discuss their relation to the M.A.Lavrentiev problem, the Zorich map with an essential singularity at infinity, the Fatou's problem and a quasiregular analogue of domains of holomorphy in complex analysis. The construction of such mappings comes from our construction of non-trivial compact 4-dimensional cobordisms $M$ with symmetric boundary components and whose interiors have complete 4-dimensional real hyperbolic structures. Such locally homeomorphic quasiregular mappings are defined in the 3-sphere $S^3$ as mappings equivariant with the standard conformal action of uniform hyperbolic 3-lattices $\Gamma$ in the unit 3-ball and its complement in $S^3$ and with its discrete representation $G=\rho(\Gamma)$ in the group of isometries of $H^4 $. Here $G$ is the fundamental group of our non-trivial hyperbolic 4-cobordism $M=(H^4\cup\Omega(G))/G$ and the kernel of the homomorphism $\rho \!:\! \Gamma\rightarrow G$ is a free group $F_3$ on three generators.


title: An Information Theoretic Analysis of Sequential Decision-Making

abstract: We provide a novel analysis of Wald's sequential probability ratio test based on information theoretic measures for symmetric thresholds, symmetric noise, and equally likely hypotheses under the assumption that the test exactly terminates at one of the thresholds. This test is optimal in the sense that it yields the minimum mean decision time. To analyze the decision-making process we consider information densities, which represent the stochastic information content of the observations yielding a stochastic termination time of the test. Based on this, we show that the conditional probability to decide for hypothesis $\mathcal{H}_1$ (or the counter-hypothesis $\mathcal{H}_0$) given that the test terminates at time instant $k$ is independent of time $k$. An analogous property has been found for a continuous-time first passage problem with two absorbing boundaries in the contexts of non-equilibrium statistical physics and communication theory. Moreover, we study the evolution of the mutual information between the binary variable to be tested and the output of the Wald test. Notably, we show that the decision time of the Wald test contains no information on which hypothesis is true beyond the decision outcome.


title: A Game-theoretic Perspective on Communication for Omniscience

abstract: We propose a coalition game model for the problem of communication for omniscience (CO). In this game model, the core contains all achievable rate vectors for CO with sum-rate being equal to a given value. Any rate vector in the core distributes the sum-rate among users in a way that makes all users willing to cooperate in CO. We give the necessary and sufficient condition for the core to be nonempty. Based on this condition, we derive the expression of the minimum sum-rate for CO and show that this expression is consistent with the results in multivariate mutual information (MMI) and coded cooperative data exchange (CCDE). We prove that the coalition game model is convex if the sum-rate is no less than the minimal value. In this case, the core is non-empty and a rate vector in the core that allocates the sum-rate among the users in a fair manner can be found by calculating the Shapley value.


title: Anatomy of a Spin: The Information-Theoretic Structure of Classical Spin Systems

abstract: Collective organization in matter plays a significant role in its expressed physical properties. Typically, it is detected via an order parameter, appropriately defined for each given system's observed emergent patterns. Recent developments in information theory, however, suggest quantifying collective organization in a system- and phenomenon-agnostic way: decompose the system's thermodynamic entropy density into a localized entropy, that solely contained in the dynamics at a single location, and a bound entropy, that stored in space as domains, clusters, excitations, or other emergent structures. We compute this decomposition and related quantities explicitly for the nearest-neighbor Ising model on the 1D chain, the Bethe lattice with coordination number k=3, and the 2D square lattice, illustrating its generality and the functional insights it gives near and away from phase transitions. In particular, we consider the roles that different spin motifs play (in cluster bulk, cluster edges, and the like) and how these affect the dependencies between spins.

categories: cond-mat.stat-mech cs.IT math.IT nlin.AO


title: Virasoro symmetry of the constrained multi-component KP hierarchy and its integrable discretization

abstract: In this paper, we construct the Virasoro type additional symmetries of a kind of constrained multi-component KP hierarchy and give the Virasoro flow equation on eigenfunctions and adjoint eigenfunctions. It can also be seen that the algebraic structure of the Virasoro symmetry is kept after discretization from the constrained multi-component KP hierarchy to the discrete constrained multi-component KP hierarchy.


title: Principal Differences Analysis: Interpretable Characterization of Differences between Distributions

abstract: We introduce principal differences analysis (PDA) for analyzing differences between high-dimensional distributions. The method operates by finding the projection that maximizes the Wasserstein divergence between the resulting univariate populations. Relying on the Cramer-Wold device, it requires no assumptions about the form of the underlying distributions, nor the nature of their inter-class differences. A sparse variant of the method is introduced to identify features responsible for the differences. We provide algorithms for both the original minimax formulation as well as its semidefinite relaxation. In addition to deriving some convergence results, we illustrate how the approach may be applied to identify differences between cell populations in the somatosensory cortex and hippocampus as manifested by single cell RNA-seq. Our broader framework extends beyond the specific choice of Wasserstein divergence.


title: Quantum random number generation

abstract: Quantum physics can be exploited to generate true random numbers, which play important roles in many applications, especially in cryptography. Genuine randomness from the measurement of a quantum system reveals the inherent nature of quantumness --- coherence, an important feature that differentiates quantum mechanics from classical physics. The generation of genuine randomness is generally considered impossible with only classical means. Based on the degree of trustworthiness on devices, quantum random number generators (QRNGs) can be grouped into three categories. The first category, practical QRNG, is built on fully trusted and calibrated devices and typically can generate randomness at a high speed by properly modeling the devices. The second category is self-testing QRNG, where verifiable randomness can be generated without trusting the actual implementation. The third category, semi-self-testing QRNG, is an intermediate category which provides a tradeoff between the trustworthiness on the device and the random number generation speed.


title: Dark-resonance Doppler cooling and high fluorescence in trapped Ca-43 ions at intermediate magnetic field

abstract: We demonstrate simple and robust methods for Doppler cooling and obtaining high fluorescence from trapped 43Ca+ ions at a magnetic field of 146 Gauss. This field gives access to a magnetic-field-independent "atomic clock" qubit transition within the ground level hyperfine structure of the ion, but also causes the complex internal structure of the 64 states relevant to Doppler cooling to be spread over many times the atomic transition line-width. Using a time-dependent optical Bloch equation simulation of the system we develop a simple scheme to Doppler-cool the ion on a two-photon dark resonance, which is robust to typical experimental variations in laser intensities, detunings and polarizations. We experimentally demonstrate cooling to a temperature of 0.3 mK, slightly below the Doppler limit for the corresponding two-level system, and then use Raman sideband laser cooling to cool further to the ground states of the ion's radial motional modes. These methods will enable two-qubit entangling gates with this ion, which is one of the most promising qubits so far developed.


title: Polarization of the top quark as a probe of its chromomagnetic and chromoelectric couplings in single-top production at the Large Hadron Collider

abstract: We study the sensitivity of the Large Hadron Collider (LHC) to top quark chromomagnetic (CMDM) and chromoelectric (CEDM) dipole moments and $Wtb$ effective couplings in single-top production in association with a $W^-$ boson, followed by semileptonic decay of the top. We calculate the top polarization and the effects of these anomalous couplings on it at two centre-of-mass (cm) energies, 8 TeV and 14 TeV. As a measure of top polarization, we look at decay-lepton angular distributions in the laboratory frame, without requiring reconstruction of the rest frame of the top, and study the effect of the anomalous couplings on these distributions. We construct certain asymmetries to study the sensitivity of these distributions to top-quark couplings. The Wt single-top production mode helps to isolate the anomalous $ttg$ and $Wtb$ couplings, in contrast to top-pair production and other single-top production modes, where other new-physics effects can also contribute. We determine individual limits on the dominant couplings, viz., the real part of the CMDM $Re\rho_2$, the imaginary part of the CEDM $Im\rho_3$, and the real part of the tensor Wtb coupling $Ref_{2r}$, which may be obtained by utilizing these asymmetries at the LHC. We also obtain simultaneous limits on pairs of these couplings taking two couplings to be non-zero at a time.


title: Loss-tolerant measurement-device-independent quantum random number generation

abstract: Quantum random number generators (QRNGs) output genuine random numbers based upon the uncertainty principle. A QRNG contains two parts in general --- a randomness source and a readout detector. How to remove detector imperfections has been one of the most important questions in practical randomness generation. We propose a simple solution, measurement-device-independent QRNG, which not only removes all detector side channels but is robust against losses. In contrast to previous fully device-independent QRNGs, our scheme does not require high detector efficiency or nonlocality tests. Simulations show that our protocol can be implemented efficiently with a practical coherent state laser and other standard optical components. The security analysis of our QRNG consists mainly of two parts: measurement tomography and randomness quantification, where several new techniques are developed to characterize the randomness associated with a positive-operator valued measure.


title: Surface energy calculations from Zinc blende (111)/(-1-1-1) to Wurtzite (0001)/(000-1):a study of ZnO and GaN

abstract: The accurate absolute surface energies of (0001)/(000-1) surfaces of wurtzite structures are crucial in determining the thin film growth mode of important energy materials. However, the surface energies still remain to be solved due to the intrinsic difficulty of calculating dangling bond energy of asymmetrically bonded surface atoms. In this study, we used a pseudo-hydrogen passivation method to estimate the dangling bond energy and calculate the polar surfaces of ZnO and GaN. The calculations were based on the pseudo chemical potentials obtained from a set of tetrahedral clusters or simple pseudo-molecules, using density functional theory approaches. And the surface energies of (0001)/(000-1) surfaces of wurtzite ZnO and GaN we obtained showed relatively high self-consistencies. A wedge structure calculation with a new bottom surface passivation scheme of group I and group VII elements was also proposed and performed to show converged absolute surface energy of wurtzite ZnO polar surfaces, and the result were also compared with the above method. These calculations and comparisons may provide important insights to crystal growths of the above materials, thereby leading to significant performance enhancements of semiconductor devices.


title: Modular generalized Springer correspondence: an overview

abstract: This is an overview of our series of papers on the modular generalized Springer correspondence. It is an expansion of a lecture given by the second author in the Fifth Conference of the Tsinghua Sanya International Mathematics Forum, Sanya, December 2014, as part of the Master Lecture `Algebraic Groups and their Representations' Workshop honouring G. Lusztig. The material that has not appeared in print before includes some discussion of the motivating idea of modular character sheaves, and heuristic remarks about geometric functors of parabolic induction and restriction.


title: PSD estimation in Beamspace for Estimating Direct-to-Reverberant Ratio from A Reverberant Speech Signal

abstract: A method for estimation of direct-to-reverberant ratio (DRR) using a microphone array is proposed. The proposed method estimates the power spectral density (PSD) of the direct sound and the reverberation using the algorithm \textit{PSD estimation in beamspace} with a microphone array and calculates the DRR of the observed signal. The speech corpus of the ACE (Acoustic Characterisation of Environments) Challenge was utilised for evaluating the practical feasibility of the proposed method. The experimental results revealed that the proposed method was able to effectively estimate the DRR from a recording of a reverberant speech signal which included various environmental noise.


title: CO and HI emission from the circumstellar envelopes of some evolved stars

abstract: Studies of the CO and HI radio emission of some evolved stars are presented using data collected by the IRAM Plateau de Bure interferometer and Pico Veleta telescope, the Nan\c{c}ay Radio Telescope and the JVLA and ALMA arrays. Approximate axial symmetry of the physical and kinematic properties of the circumstellar envelope (CSE) are observed in CO emission, in particular, from RS Cnc, EP Aqr and the Red Rectangle. A common feature is the presence of a bipolar outflow causing an enhanced wind velocity in the polar directions. HI emission extends to larger radial distances than probed by CO emission and displays features related to the interaction between the stellar outflow and interstellar matter. With its unprecedented sensitivity, FAST will open a new window on such studies. Its potential in this domain is briefly illustrated.


title: Defining individual size in the model filamentous fungus $\textit{Neurospora crassa}$

abstract: It is challenging to apply the tenets of individuality to filamentous fungi: a fungal mycelium can contain millions of genetically diverse but totipotent nuclei, each capable of founding new mycelia. Moreover a single mycelium can potentially stretch over kilometers and it is unlikely that its distant parts share resources or have the same fitness. Here we directly measure how a single mycelium of the model ascomycete {\it Neurospora crassa} is patterned into Reproductive Units (RUs); subpopulations of nuclei that propagate together as spores, and function as reproductive individuals. The density of RUs is sensitive to the geometry of growth; we detect 50-fold smaller RUs when mycelia had expanding frontiers than when they were constrained to grow in one direction only. RUs fragmented further when the mycelial network was perturbed. In mycelia with expanding frontiers RU composition was strongly influenced by the distribution of genotypes early in development. Our results provide a concept of fungal individuality that is directly connected to reproductive potential, and therefore to theories of how fungal individuals adapt and evolve over time. Our data show that the size of reproductive individuals is a dynamic and environment-dependent property, even within apparently totally connected fungal mycelia.


title: Finiteness conditions and cotorsion pairs

abstract: We study the interplay between the notions of $n$-coherent rings and finitely $n$-presented modules, and also study the relative homological algebra associated to them. We show that the $n$-coherency of a ring is equivalent to the thickness of the class of finitely $n$-presented modules. The relative homological algebra part comes from the study of orthogonal complements to this class of modules with respect to ${\rm Ext}^1_R(F,-)$ and ${\rm Tor}_1^R(F,-)$. We also construct cotorsion pairs from these orthogonal complements, allowing us to provide further characterizations of $n$-coherent rings.


title: 3-D IR imaging with uncooled GaN photodiodes using nondegenerate two-photon absorption

abstract: We utilize the recently demonstrated orders of magnitude enhancement of extremely nondegenerate two-photon absorption in direct-gap semiconductor photodiodes to perform scanned imaging of 3D structures using IR femtosecond illumination pulses (1.6 um and 4.93 um) gated on the GaN detector by sub-gap, femtosecond pulses. While transverse resolution is limited by the usual imaging criteria, the longitudinal or depth resolution can be less than a wavelength, dependent on the pulsewidths in this nonlinear interaction within the detector element. The imaging system can accommodate a wide range of wavelengths in the mid-IR and near-IR without the need to modify the detection and imaging systems.


title: Mean Field Games with Ergodic cost for Discrete Time Markov Processes

abstract: We consider mean field games with ergodic cost in the framework of a general discrete time controlled Markov processes. The state space of the processes is given by a general $\sigma$-compact Polish space. Under certain conditions, we show the existence of a mean field game equilibrium. We also study the $N$-person game where the players interacts with each other via their empirical measure. We show that the $N$-person game has Nash equilibrium and as $N$ tends to infinity the equilibria converge to a mean field game solution.


title: The complexity of the classification problem of continua

abstract: We prove that the homeomorphism problem for connected compact metric spaces is Borel bireducible with a universal orbit equivalence relation induced by a Borel action of a Polish group.


title: Robust Linear Temporal Logic

abstract: Although it is widely accepted that every system should be robust, in the sense that "small" violations of environment assumptions should lead to "small" violations of system guarantees, it is less clear how to make this intuitive notion of robustness mathematically precise. In this paper, we address this problem by developing a robust version of Linear Temporal Logic (LTL), which we call robust LTL and denote by rLTL. Formulas in rLTL are syntactically identical to LTL formulas but are endowed with a many-valued semantics that encodes robustness. In particular, the semantics of the rLTL formula $\varphi \Rightarrow \psi$ is such that a "small" violation of the environment assumption $\varphi$ is guaranteed to only produce a "small" violation of the system guarantee $\psi$. In addition to introducing rLTL, we study the verification and synthesis problems for this logic: similarly to LTL, we show that both problems are decidable, that the verification problem can be solved in time exponential in the number of subformulas of the rLTL formula at hand, and that the synthesis problem can be solved in doubly exponential time.


title: Robust Subspace Clustering via Tighter Rank Approximation

abstract: Matrix rank minimization problem is in general NP-hard. The nuclear norm is used to substitute the rank function in many recent studies. Nevertheless, the nuclear norm approximation adds all singular values together and the approximation error may depend heavily on the magnitudes of singular values. This might restrict its capability in dealing with many practical problems. In this paper, an arctangent function is used as a tighter approximation to the rank function. We use it on the challenging subspace clustering problem. For this nonconvex minimization problem, we develop an effective optimization procedure based on a type of augmented Lagrange multipliers (ALM) method. Extensive experiments on face clustering and motion segmentation show that the proposed method is effective for rank approximation.


title: Shifted Hecke insertion and the K-theory of OG(n,2n+1)

abstract: Patrias and Pylyavskyy introduced shifted Hecke insertion as an application of their theory of dual filtered graphs. We use shifted Hecke insertion to construct symmetric function representatives for the K-theory of the orthogonal Grassmannian. These representatives are closely related to the shifted Grothendieck polynomials of Ikeda and Naruse. We then recover the K-theory structure coefficients of Clifford-Thomas-Yong/Buch-Samuel by introducing a shifted K-theoretic Poirier-Reutenauer algebra. Our proofs depend on the theory of shifted K-theoretic jeu de taquin and the weak K-Knuth relations.


title: VISALOGY: Answering Visual Analogy Questions

abstract: In this paper, we study the problem of answering visual analogy questions. These questions take the form of image A is to image B as image C is to what. Answering these questions entails discovering the mapping from image A to image B and then extending the mapping to image C and searching for the image D such that the relation from A to B holds for C to D. We pose this problem as learning an embedding that encourages pairs of analogous images with similar transformations to be close together using convolutional neural networks with a quadruple Siamese architecture. We introduce a dataset of visual analogy questions in natural images, and show first results of its kind on solving analogy questions on natural images.


title: CONQUER: Confusion Queried Online Bandit Learning

abstract: We present a new recommendation setting for picking out two items from a given set to be highlighted to a user, based on contextual input. These two items are presented to a user who chooses one of them, possibly stochastically, with a bias that favours the item with the higher value. We propose a second-order algorithm framework that members of it use uses relative upper-confidence bounds to trade off exploration and exploitation, and some explore via sampling. We analyze one algorithm in this framework in an adversarial setting with only mild assumption on the data, and prove a regret bound of $O(Q_T + \sqrt{TQ_T\log T} + \sqrt{T}\log T)$, where $T$ is the number of rounds and $Q_T$ is the cumulative approximation error of item values using a linear model. Experiments with product reviews from 33 domains show the advantage of our methods over algorithms designed for related settings, and that UCB based algorithms are inferior to greed or sampling based algorithms.


title: Effective hydrodynamic field theory and condensation picture of topological insulators

abstract: While many features of topological band insulators are commonly discussed at the level of single-particle electron wave functions, such as the gapless Dirac spectrum at their boundary, it remains elusive to develop a {\it hydrodynamic} or {\it collective} description of fermionic topological band insulators in 3+1 dimensions. As the Chern-Simons theory for the 2+1-dimensional quantum Hall effect, such a hydrodynamic effective field theory provides a universal description of topological band insulators, even in the presence of interactions, and that of putative fractional topological insulators. In this paper, we undertake this task by using the functional bosonization. The effective field theory in the functional bosonization is written in terms of a two-form gauge field, which couples to a $U(1)$ gauge field that arises by gauging the continuous symmetry of the target system (the $U(1)$ particle number conservation). Integrating over the $U(1)$ gauge field by using the electromagnetic duality, the resulting theory describes topological band insulators as a condensation phase of the $U(1)$ gauge theory (or as a monopole condensation phase of the dual gauge field). The hydrodynamic description, and the implication of its duality, of the surface of topological insulators are also discussed. We also touch upon the hydrodynamic theory of fractional topological insulators by using the parton construction.


title: Critical links and nonlocal rerouting in complex supply networks

abstract: Link failures repeatedly induce large-scale outages in power grids and other supply networks. Yet, it is still not well understood, which links are particularly prone to inducing such outages. Here we analyze how the nature and location of each link impact the network's capability to maintain stable supply. We propose two criteria to identify critical links on the basis of the topology and the load distribution of the network prior to link failure. They are determined via a link's redundant capacity and a renormalized linear response theory we derive. These criteria outperform critical link prediction based on local measures such as loads. The results not only further our understanding of the physics of supply networks in general. As both criteria are available before any outage from the state of normal operation, they may also help real-time monitoring of grid operation, employing counter-measures and support network planning and design.


title: Efficient noiseless linear amplification for light fields with larger amplitudes

abstract: We suggest and investigate a scheme for non-deterministic noiseless linear amplification of coherent states using successive photon addition, $(\hat a^{\dagger})^2$, where $\hat a^\dagger$ is the photon creation operator. We compare it with a previous proposal using the photon addition-then-subtraction, $\hat a \hat a^\dagger$, where $\hat a$ is the photon annihilation operator, that works as an appropriate amplifier only for weak light fields. We show that when the amplitude of a coherent state is $|\alpha| \gtrsim 0.91$, the $(\hat a^{\dagger})^2$ operation serves as a more efficient amplifier compared to the $\hat a \hat a^\dagger$ operation in terms of equivalent input noise. Using $\hat a \hat a^\dagger$ and $(\hat a^{\dagger})^2$ as basic building blocks, we compare combinatorial amplifications of coherent states using $(\hat a \hat a^\dagger)^2$, $\hat a^{\dagger 4}$, $\hat a \hat a^\dagger\hat a^{\dagger 2}$, and $\hat a^{\dagger 2}\hat a \hat a^\dagger$, and show that $(\hat a \hat a^\dagger)^2$, $\hat a^{\dagger 2}\hat a \hat a^\dagger$, and $\hat a^{\dagger 4}$ exhibit strongest noiseless properties for $|\alpha| \lesssim 0.51$, $0.51 \lesssim |\alpha| \lesssim 1.05 $, and $|\alpha|\gtrsim 1.05 $, respectively. We further show that the $(\hat a^{\dagger})^2$ operation can be used for amplifying superpositions of the coherent states. In contrast to previous studies, our work provides efficient schemes to implement a noiseless amplifier for light fields with medium and large amplitudes.


title: Geometry-induced memory effects in isolated quantum systems: Observations and applications

abstract: Memory effects can lead to history-dependent behavior of a system, and they are ubiquitous in our daily life and have broad applications. Here we explore possibilities of generating memory effects in simple isolated quantum systems. By utilizing geometrical effects from a class of lattices supporting flat-bands consisting of localized states, memory effects could be observed in ultracold atoms in optical lattices. As the optical lattice continuously transforms from a triangular lattice into a kagome lattice with a flat band, history-dependent density distributions manifest quantum memory effects even in noninteracting systems, including fermionic as well as bosonic systems in the proper ranges of temperatures. Rapid growth in ultracold technology predicts a bright future for quantum memory-effect systems, and here two prototypical applications of geometry-induced quantum memory effects are proposed: An accelerometer recording the mechanical change rate in a coupled system and a rate-controlled memvalve where the rate of ramping the lattice potential acts as a control of the remnant density in the lattice.


title: Towards More Security in Data Exchange: Defining Unparsers with Context-Sensitive Encoders for Context-Free Grammars

abstract: To exchange complex data structures in distributed systems, documents written in context-free languages are exchanged among communicating parties. Unparsing these documents correctly is as important as parsing them correctly because errors during unparsing result in injection vulnerabilities such as cross-site scripting (XSS) and SQL injection. Injection attacks are not limited to the web world. Every program that uses input to produce documents in a context-free language may be vulnerable to this class of attack. Even for widely used languages such as HTML and JavaScript, there are few approaches that prevent injection attacks by context-sensitive encoding, and those approaches are tied to the language. Therefore, the aim of this paper is to derive context-sensitive encoder from context-free grammars to provide correct unparsing of maliciously crafted input data for all context-free languages. The presented solution integrates encoder definition into context-free grammars and provides a generator for context-sensitive encoders and decoders that are used during (un)parsing. This unparsing process results in documents where the input data does neither influence the structure of the document nor change their intended semantics. By defining encoding during language definition, developers who use the language are provided with a clean interface for writing and reading documents written in that language, without the need to care about security-relevant encoding.


title: The Complexity of Equilibria for Risk-Modeling Valuations

abstract: We study the complexity of deciding the existence of mixed equilibria for minimization games where players use valuations other than expectation to evaluate their costs. We consider risk-averse players seeking to minimize the sum ${\mathsf{V}} = {\mathsf{E}} + {\mathsf{R}}$ of expectation ${\mathsf{E}}$ and a risk valuation ${\mathsf{R}}$ of their costs; ${\mathsf{R}}$ is non-negative and vanishes exactly when the cost incurred to a player is constant over all choices of strategies by the other players. In a ${\mathsf{V}}$-equilibrium, no player could unilaterally reduce her cost. Say that ${\mathsf{V}}$ has the Weak-Equilibrium-for-Expectation property if all strategies supported in a player's best-response mixed strategy incur the same conditional expectation of her cost. We introduce ${\mathsf{E}}$-strict concavity and observe that every ${\mathsf{E}}$-strictly concave valuation has the Weak-Equilibrium-for-Expectation property. We focus on a broad class of valuations shown to have the Weak-Equilibrium-for-Expectation property, which we exploit to prove two main complexity results, the first of their kind, for the two simplest cases of the problem: games with two strategies, or games with two players. For each case, we show that deciding the existence of a ${\mathsf{V}}$-equilibrium is strongly ${\mathcal{NP}}$-hard for certain choices of significant valuations (including variance and standard deviation).


title: Generating Domain-Specific Transformation Languages for Component & Connector Architecture Descriptions

abstract: Component-based software engineering (CBSE) decomposes complex systems into reusable components. Model-driven engineering (MDE) aims to abstract from complexities by lifting abstract models to primary development artifacts. Component and connector architecture description languages (ADLs) combine CBSE and MDE to describe software systems as hierarchies of component models. Using models as development artifacts is accompanied with the need to evolve, maintain and refactor those models, which can be achieved by model transformations. Domain-specific transformation languages (DSTLs) are tailored to a specific modeling language as the modeling language's concrete syntax is used to describe transformations. To automate the development of DSTLs for ADLs, we present a framework to systematically derive such languages from domain-specific C&C language grammars. These DSTLs enable to describe such model transformations concisely in vocabulary of the underlying ADL. These domain-specific transformations are better comprehensible to ADL experts than generic transformations.


title: Asynchronous Parallel Computing Algorithm implemented in 1D Heat Equation with CUDA

abstract: In this note, we present the stability as well as performance analysis of asynchronous parallel computing algorithm implemented in 1D heat equation with CUDA. The primary objective of this note lies in dissemination of asynchronous parallel computing algorithm by providing CUDA code for fast and easy implementation. We show that the simulations carried out on nVIDIA GPU device with asynchronous scheme outperforms synchronous parallel computing algorithm. In addition, we also discuss some drawbacks of asynchronous parallel computing algorithms.


title: Highway Long Short-Term Memory RNNs for Distant Speech Recognition

abstract: In this paper, we extend the deep long short-term memory (DLSTM) recurrent neural networks by introducing gated direct connections between memory cells in adjacent layers. These direct links, called highway connections, enable unimpeded information flow across different layers and thus alleviate the gradient vanishing problem when building deeper LSTMs. We further introduce the latency-controlled bidirectional LSTMs (BLSTMs) which can exploit the whole history while keeping the latency under control. Efficient algorithms are proposed to train these novel networks using both frame and sequence discriminative criteria. Experiments on the AMI distant speech recognition (DSR) task indicate that we can train deeper LSTMs and achieve better improvement from sequence training with highway LSTMs (HLSTMs). Our novel model obtains $43.9/47.7\%$ WER on AMI (SDM) dev and eval sets, outperforming all previous works. It beats the strong DNN and DLSTM baselines with $15.7\%$ and $5.3\%$ relative improvement respectively.


title: Summary of Super Doubler Approach on Exact Lattice Supersymmetry

abstract: We have proposed a lattice SUSY formulation which we may call super doubler approach, where chiral fermion species doublers and their bosonic counter parts are either identified as super partners or truncated by chiral conditions. We claim that the super symmetry is exactly kept on the lattice. However the formulation is nonlocal and breaks lattice translational invariance. We argue that these features cause no fundamental difficulties in the continuum limit. Although a naive version of this formulation breaks associativity of the product of fields we have found a modified super doubler approach that recovers the associativity and is applicable to super Yang-Mills theory. It turns out that this formulation is essentially equivalent to the continuum formulation and thus keeps all the symmetry exact even at a finite lattice constant. Inspired by this formulation we propose a non-local lattice field theory formulation which is free of chiral fermion problem and has the same exact lattice symmetry as continuum theory.


title: Prediction-Adaptation-Correction Recurrent Neural Networks for Low-Resource Language Speech Recognition

abstract: In this paper, we investigate the use of prediction-adaptation-correction recurrent neural networks (PAC-RNNs) for low-resource speech recognition. A PAC-RNN is comprised of a pair of neural networks in which a {\it correction} network uses auxiliary information given by a {\it prediction} network to help estimate the state probability. The information from the correction network is also used by the prediction network in a recurrent loop. Our model outperforms other state-of-the-art neural networks (DNNs, LSTMs) on IARPA-Babel tasks. Moreover, transfer learning from a language that is similar to the target language can help improve performance further.