title: Quantum versus Classical Online Streaming Algorithms with Advice

abstract: We consider online algorithms with respect to the competitive ratio. Here, we investigate quantum and classical one-way automata with non-constant size of memory (streaming algorithms) as a model for online algorithms. We construct problems that can be solved by quantum online streaming algorithms better than by classical ones in a case of logarithmic or sublogarithmic size of memory, even if classical online algorithms get advice bits. Furthermore, we show that a quantum online algorithm with a constant number of qubits can be better than any deterministic online algorithm with a constant number of advice bits and unlimited computational power.


title: Uniform result for solutions of an equation with boundary singularity

abstract: We consider a variational problem with boundary singularity and Dirichlet condition. We give a blow-up analysis for sequences of solutions of an equation with exponential nonlinearity. Also, we derive a compactness criterion under some conditions.


title: Yukawa couplings from magnetized D-brane models on non-factorisable tori

abstract: We compute Yukawa couplings in type IIB string theory compactified on a non factorisable six-torus in the presence of D9 branes and fluxes. The setting studied in detail, is obtained by T-dualising an intersecting brane configuration of type IIA theory compactified on a torus generated by the SO(12) root lattice. Particular deformations of such torus are taken into account and provide moduli dependent couplings. Agreement with the type IIA result is found in a non trivial way. The classical type IIB calculation gives also information on a factor accessible only by quantum computations on the type IIA side.


title: A Space Time Domain Decomposition Approach using Enhanced Velocity Mixed Finite Element Method

abstract: A space-time domain decomposition approach is presented as a natural extension of the enhanced velocity mixed finite element (EVMFE) [Wheeler et. al] for spatial domain decomposition. The proposed approach allows for different space-time discretizations on non-overlapping, subdomains by enforcing a mass continuity argument at the non-matching interface to preserve the local mass conservation property inherent to the mixed finite element methods. To this effect, we consider three different model formulations: (1) a linear single phase flow problem, (2) a non-linear slightly compressible flow and tracer transport, and (3) a non-linear slightly compressible, multiphase flow and transport. We also present a numerical solution algorithm for the proposed domain decomposition approach where a monolithic (fully coupled in space and time) system is constructed that does not require subdomain iterations. This space-time EVMFE method accurately resolves advection-diffusion transport features, in a heterogeneous medium, while circumventing non-linear solver convergence issues associated with large time-step sizes for non-linear problems. Numerical results are presented for the aforementioned, three, model formulations to demonstrate the applicability of this approach to a general class of problems in flow and transport in porous media.


title: Study of diffuse HII regions potentially forming part of the gas streams around Sgr A*

abstract: We present a study of diffuse extended ionised gas toward three clouds located in the Galactic Centre (GC). One line of sight (LOS) is toward the 20 km s$^{-1}$ cloud (LOS$-$0.11) in the Sgr A region, another LOS is toward the 50 km s$^{-1}$ cloud (LOS$-$0.02), also in Sgr A, while the third is toward the Sgr B2 cloud (LOS+0.693). The emission from the ionised gas is detected from H$n\alpha$ and H$m\beta$ radio recombination lines (RRLs). He$n\alpha$ and He$m\beta$ RRL emission is detected with the same $n$ and $m$ as those from the hydrogen RRLs only toward LOS+0.693. RRLs probe gas with positive and negative velocities toward the two Sgr A sources. The H$m\beta$ to H$n\alpha$ ratios reveal that the ionised gas is emitted under local thermodynamic equilibrium conditions in these regions. We find a He to H mass fraction of 0.29$\pm$0.01 consistent with the typical GC value, supporting the idea that massive stars have increased the He abundance compared to its primordial value. Physical properties are derived for the studied sources. We propose that the negative velocity component of both Sgr A sources is part of gas streams considered previously to model the GC cloud kinematics. Associated massive stars with what are presumably the closest HII regions to LOS$-$0.11 (positive velocity gas), LOS$-$0.02 and LOS+0.693 could be the main sources of UV photons ionising the gas. The negative velocity components of both Sgr A sources might be ionised by the same massive stars, but only if they are in the same gas stream.


title: Structural changes in the interbank market across the financial crisis from multiple core-periphery analysis

abstract: Interbank markets are often characterised in terms of a core-periphery network structure, with a highly interconnected core of banks holding the market together, and a periphery of banks connected mostly to the core but not internally. This paradigm has recently been challenged for short time scales, where interbank markets seem better characterised by a bipartite structure with more core-periphery connections than inside the core. Using a novel core-periphery detection method on the eMID interbank market, we enrich this picture by showing that the network is actually characterised by multiple core-periphery pairs. Moreover, a transition from core-periphery to bipartite structures occurs by shortening the temporal scale of data aggregation. We further show how the global financial crisis transformed the market, in terms of composition, multiplicity and internal organisation of core-periphery pairs. By unveiling such a fine-grained organisation and transformation of the interbank market, our method can find important applications in the understanding of how distress can propagate over financial networks.


title: MOND and the dynamics of NGC 628

abstract: Aniyan et al. (2018) have recently published direct measurements of the baryonic mass distribution and the rotation curve of the almost-face-on disc galaxy NGC 628. While its very low inclination makes this galaxy anything but ideal for rotation-curve analysis, these new results, taken at face value, have interesting ramifications for MOND. The methods employed afford a direct determination of the stellar mass in the disc, which, in turn, affords a parameter-free MOND prediction of the rotation curve, which I show. In comparison, the dark-matter fits that Aniyan et al. present have two free parameters. To boot, these results further negate an earlier claim deleterious to MOND. It is that stellar $M/L$ ratios deduced from vertical velocity dispersions in disc galaxies are rather lower than what is required by MOND fits to rotation curves. Specifically, it was claimed that even high-surface-density discs are, by and large, sub maximal; viz., that they show substantial mass discrepancies near their center. This is contrary to the prediction of MOND that in such high-acceleration regions only small discrepancies should appear, if any to speak of. Such claims of low $M/L$ values have been rebutted before, and the fallacy that may have led to them pointed out. The new results strongly buttress these rebuttals.


title: Deep Learning and Data Assimilation for Real-Time Production Prediction in Natural Gas Wells

abstract: The prediction of the gas production from mature gas wells, due to their complex end-of-life behavior, is challenging and crucial for operational decision making. In this paper, we apply a modified deep LSTM model for prediction of the gas flow rates in mature gas wells, including the uncertainties in input parameters. Additionally, due to changes in the system in time and in order to increase the accuracy and robustness of the prediction, the Ensemble Kalman Filter (EnKF) is used to update the flow rate predictions based on new observations. The developed approach was tested on the data from two mature gas production wells in which their production is highly dynamic and suffering from salt deposition. The results show that the flow predictions using the EnKF updated model leads to better Jeffreys' J-divergences than the predictions without the EnKF model updating scheme.

categories: cs.LG cs.AI physics.flu-dyn physics.geo-ph stat.ML


title: Morphologic for knowledge dynamics: revision, fusion, abduction

abstract: Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper we exploit the algebraic framework of mathematical morphology in the context of propositional logic, and define operations such as dilation or erosion of a set of formulas. We derive concrete operators, based on a semantic approach, that have an intuitive interpretation and that are formally well behaved, to perform revision, fusion and abduction. Computation and tractability are addressed, and simple examples illustrate the typical results that can be obtained.


title: On completeness and parametricity in the realizability semantics of System F

abstract: We investigate completeness and parametricity for a general class of realizability semantics for System F defined in terms of closure operators over sets of $\lambda$-terms. This class includes most semantics used for normalization theorems, as those arising from Tait's saturated sets and Girard's reducibility candidates. We establish a completeness result for positive types which subsumes those existing in the literature, and we show that closed realizers satisfy parametricity conditions expressed either as invariance with respect to logical relations or as dinaturality. Our results imply that, for positive types, typability, realizability and parametricity are equivalent properties of closed normal $\lambda$-terms.


title: Maximum Total Correntropy Diffusion Adaptation over Networks with Noisy Links

abstract: Distributed estimation over networks draws much attraction in recent years. In many situations, due to imperfect information communication among nodes, the performance of traditional diffusion adaptive algorithms such as the diffusion LMS (DLMS) may degrade. To deal with this problem, several modified DLMS algorithms have been proposed. However, these DLMS based algorithms still suffer from biased estimation and are not robust to impulsive link noise. In this paper, we focus on improving the performance of diffusion adaptation with noisy links from two aspects: accuracy and robustness. A new algorithm called diffusion maximum total correntropy (DMTC) is proposed. The new algorithm is theoretically unbiased in Gaussian noise, and can efficiently handle the link noises in the presence of large outliers. The adaptive combination rule is applied to further improve the performance. The stability analysis of the proposed algorithm is given. Simulation results show that the DMTC algorithm can achieve good performance in both Gaussian and non-Gaussian noise environments.


title: Sub-logarithmic Distributed Oblivious RAM with Small Block Size

abstract: Oblivious RAM (ORAM) is a cryptographic primitive that allows a client to securely execute RAM programs over data that is stored in an untrusted server. Distributed Oblivious RAM is a variant of ORAM, where the data is stored in $m>1$ servers. Extensive research over the last few decades have succeeded to reduce the bandwidth overhead of ORAM schemes, both in the single-server and the multi-server setting, from $O(\sqrt{N})$ to $O(1)$. However, all known protocols that achieve a sub-logarithmic overhead either require heavy server-side computation (e.g. homomorphic encryption), or a large block size of at least $\Omega(\log^3 N)$. In this paper, we present a family of distributed ORAM constructions that follow the hierarchical approach of Goldreich and Ostrovsky [GO96]. We enhance known techniques, and develop new ones, to take better advantage of the existence of multiple servers. By plugging efficient known hashing schemes in our constructions, we get the following results: 1. For any $m\geq 2$, we show an $m$-server ORAM scheme with $O(\log N/\log\log N)$ overhead, and block size $\Omega(\log^2 N)$. This scheme is private even against an $(m-1)$-server collusion. 2. A 3-server ORAM construction with $O(\omega(1)\log N/\log\log N)$ overhead and a block size almost logarithmic, i.e. $\Omega(\log^{1+\epsilon}N)$. We also investigate a model where the servers are allowed to perform a linear amount of light local computations, and show that constant overhead is achievable in this model, through a simple four-server ORAM protocol.


title: Channel Reconstruction-Based Hybrid Precoding for Millimeter Wave Multi-User MIMO Systems

abstract: The focus of this paper is on multi-user MIMO transmissions for millimeter wave systems with a hybrid precoding architecture at the base-station. To enable multi-user transmissions, the base-station uses a cell-specific codebook of beamforming vectors over an initial beam alignment phase. Each user uses a user-specific codebook of beamforming vectors to learn the top-P (where P >= 1) beam pairs in terms of the observed SNR in a single-user setting. The top-P beam indices along with their SNRs are fed back from each user and the base-station leverages this information to generate beam weights for simultaneous transmissions. A typical method to generate the beam weights is to use only the best beam for each user and either steer energy along this beam, or to utilize this information to reduce multi-user interference. The other beams are used as fall back options to address blockage or mobility. Such an approach completely discards information learned about the channel condition(s) even though each user feeds back this information. With this background, this work develops an advanced directional precoding structure for simultaneous transmissions at the cost of an additional marginal feedback overhead. This construction relies on three main innovations: 1) Additional feedback to allow the base-station to reconstruct a rank-P approximation of the channel matrix between it and each user, 2) A zeroforcing structure that leverages this information to combat multi-user interference by remaining agnostic of the receiver beam knowledge in the precoder design, and 3) A hybrid precoding architecture that allows both amplitude and phase control at low-complexity and cost to allow the implementation of the zeroforcing structure. Numerical studies show that the proposed scheme results in a significant sum rate performance improvement over naive schemes even with a coarse initial beam alignment codebook.


title: Some central limit theorems for random walks associated with hypergeometric functions of type BC

abstract: The spherical functions of the noncompact Grassmann manifolds over the real or complex numbers or the quaternions with rank q and dimension parameter p can be seen as Heckman-Opdam hypergeometric functions of type BC, when the double coset space is identified with some Weyl chamber of type B. The associated double coset hypergroups may be embedded into a continuous family of commutative hypergroups with these hypergeometric functions as multiplicative functions with p in some continuous parameter range by a result of R\"osler. Several limit theorems for random walks associated with these hypergroups were recently derived by the second author. We here present further limit theorems in particular for the case where the time parameter as well as p tend to infinity. For integers p, these results admit interpretations for group-invariant random walks on the Grassmann manifolds.


title: Stepwise Transmit Antenna Selection in Downlink Massive Multiuser MIMO

abstract: Due to the large power consumption in RF-circuitry of massive MIMO systems, practically relevant performance measures such as energy efficiency or bandwidth efficiency are neither necessarily monotonous functions of the total transmit power nor the number of active antennas. Optimal antenna selection is however computationally infeasible in these systems. In this paper, we propose an iterative algorithm to optimize the transmit power and the subset of selected antennas subject to non-monotonous performance measures in massive multiuser MIMO settings. Numerical results are given for energy efficiency and demonstrate that for several settings the optimal number of selected antennas reported by the proposed algorithm is significantly smaller than the total number of transmit antennas. This fact indicates that antenna selection in several massive MIMO scenarios not only reduces the hardware complexity and RF-costs, but also enhances the energy efficiency of the system.


title: A Convection-Diffusion Model for Gang Territoriality

abstract: We present an agent-based model to simulate gang territorial development motivated by graffiti marking on a two-dimensional discrete lattice. For simplicity, we assume that there are two rival gangs present, and they compete for territory. In this model, agents represent gang members and move according to a biased random walk, adding graffiti with some probability as they move and preferentially avoiding the other gang's graffiti. All agent interactions are indirect, with the interactions occurring through the graffiti field. We show numerically that as parameters vary, a phase transition occurs between a well-mixed state and a well-segregated state. The numerical results show that system mass, decay rate and graffiti rate influence the critical parameter. From the discrete model, we derive a continuum system of convection-diffusion equations for territorial development. Using the continuum equations, we perform a linear stability analysis to determine the stability of the equilibrium solutions and we find that we can determine the precise location of the phase transition in parameter space as a function of the system mass and the graffiti creation and decay rates.

categories: nlin.CG math.DS nlin.AO nlin.PS physics.soc-ph


title: Study of the feasibility of a compact gamma camera for real-time cancer assessment

abstract: Results from the simulations of a Compton gamma camera based on compact configuration of detectors consisting in two detection modules, each of them having two stages of high-resolution position- and energy-sensitive radiation detectors operated in time-coincidence are presented. Monolithic scintillation crystals instead of pixelated crystals in order to reduce dead areas have been simulated. In order to study the system feasibility to produce real-time images, different setups are considered. Performance in terms of acquisition times have been calculated to determine the real-time capabilities and limitations of such a system.


title: The Effect of Dielectric Crystals on the Electron Diffraction

abstract: A dynamic diffraction theory is developed for describing electron diffraction by dielectric crystals in a strong electromagnetic field. It is shown that additional diffraction maxima arise in an electromagnetic field, their intensity appreciably depending on the field strength. In some cases the intensity of the diffraction maxima is modulated by the electromagnetic field frequency.


title: Interaction of a Supernova with a Circumstellar Disk

abstract: Interaction between supernova (SN) ejecta and a dense circumstellar medium (CSM) can power a luminous light curve and create narrow emission lines in the spectra. While theoretical studies of interaction often assume a spherically symmetric CSM, there are observational indications that the gas surrounding some SN has a disk-like geometry. Here, we use moving-mesh hydrodynamics simulations to study the interaction of a SN with a disk and determine how the dynamics and observable signatures may depend on the disk mass, thickness, and radial extent. We find that simple modifications to standard spherically-symmetric scaling laws can be used to describe the propagation and heating rate of the interaction shock. We use the resulting shock heating rates to derive approximate bolometric light curves, and provide analytic formulas that can be used to generate simple synthetic light curves for general supernova-disk interactions. For certain disk parameters and explosion energies, we are able to produce luminosities akin to those seen in super-luminous SN. Because the SN ejecta can flow around and engulf the CSM disk, the interaction region may become embedded and from certain viewing angles the narrow emission lines indicative of interaction may be hidden.


title: The Solar Wind Environment in Time

abstract: We use magnetograms of 8 solar analogues of ages 30~Myr to 3.6~Gyr obtained from Zeeman Doppler Imaging (ZDI) and taken from the literature, together with two solar magnetograms, to drive magnetohydrodynamical (MHD) wind simulations and construct an evolutionary scenario of the solar wind environment and its angular momentum loss rate. With observed magnetograms of the radial field strength as the only variant in the wind model, we find that power law model fitted to the derived angular momentum loss rate against time, $t$, results in a spin down relation $\Omega\propto t^{-0.51}$, for angular speed $\Omega$, which is remarkably consistent with the well-established Skumanich law $\Omega\propto t^{-0.5}$. We use the model wind conditions to estimate the magnetospheric standoff distances for an Earth-like test planet situated at 1~AU for each of the stellar cases, and to obtain trends of minimum and maximum wind ram pressure and average ram pressure in the solar system through time. The wind ram pressure declines with time as $\overline{P_{ram}}\propto t^{2/3}$, amounting to a factor of 50 or so over the present lifetime of the solar system.


title: Linear recurrence sequences and twisted binary forms

abstract: Let $ \prod_{i=1}^d (X-\alpha_i Y) \in{\mathbb C}[X,Y]$ be a binary form and let $\epsilon_1,\dots,\epsilon_d$ be nonzero complex numbers. We consider the family of binary forms $ \prod_{i=1}^d (X-\alpha_i \epsilon_i^aY)$, $a\in {\mathbb Z}$, which we write as $$ X^d-U_1(a)X^{d-1}Y+\cdots+(-1)^{d-1} U_{d-1}(a) XY^{d-1}+(-1)^d U_d(a) Y^d.$$ In this paper we study these sequences $\bigl(U_h(a)\bigr)_{a\in {\mathbb Z}}$ which turn out to be linear recurrence sequences.


title: A Diffusion Approximation Theory of Momentum SGD in Nonconvex Optimization

abstract: Momentum Stochastic Gradient Descent (MSGD) algorithm has been widely applied to many nonconvex optimization problems in machine learning, e.g., training deep neural networks, variational Bayesian inference, and etc. Despite its empirical success, there is still a lack of theoretical understanding of convergence properties of MSGD. To fill this gap, we propose to analyze the algorithmic behavior of MSGD by diffusion approximations for nonconvex optimization problems with strict saddle points and isolated local optima. Our study shows that the momentum helps escape from saddle points, but hurts the convergence within the neighborhood of optima (if without the step size annealing or momentum annealing). Our theoretical discovery partially corroborates the empirical success of MSGD in training deep neural networks.


title: On Cohen-Macaulay Auslander algebras

abstract: Cohen-Macaulay Auslander algebras are the endomorphism algebras of representation generators of the subcategory of Gorenstein projective modules over $\rm{CM}$-finite algebras. In this paper, we study Cohen-Macaulay Auslander algebras over $1$-Gorenstein algebras and $\Omega_{\mathcal{G}}$-algebras. $1$-Gorenstein algebras are those of algebras with global Gorenstein projective dimension at most one and $\Omega_{\mathcal{G}}$-algebras are a class of algebras introduced in this paper, including some important class of algebras for example Gentle algebras and more generally quadratic monomial algebras. It will be shown how the results for Gorenstein projective representations of a quiver over an Artin algebra, including the submodule category introduced in [RS], or more generally, the (separated) monomorphism category defined in [LZh2] and [XZZ], can be applied to study the Cohen-Macaulay Auslander algebras.


title: Plasmofluidic Single-Molecule Surface Enhanced Raman Scattering from Dynamic Assembly of Plasmonic Nanoparticles

abstract: Single-molecule surface enhanced Raman scattering (SM-SERS) is one of the vital applications of plasmonic nanoparticles. The SM-SERS sensitivity critically depends on plasmonic hot-spots created at the vicinity of such nanoparticles. In conventional fluid-phase SM-SERS experiments, plasmonic hot-spots are facilitated by chemical aggregation of nanoparticles. Such aggregation is usually irreversible, and hence, nanoparticles cannot be re-dispersed in the fluid for further use. Here, we show how to combine SM-SERS with plasmon-polariton assisted, reversible assembly of plasmonic nanoparticles at an unstructured metal-fluid interface. One of the unique features of our method is that we use a single evanescent-wave optical excitation for nanoparticle-assembly, manipulation and SM-SERS measurements. Furthermore, by utilizing dual excitation of plasmons at metal-fluid interface, we create interacting assemblies of metal nanoparticles, which may be further harnessed in dynamic lithography of dispersed nanostructures. Our work will have implications in realizing optically addressable, plasmofluidic, single-molecule detection platforms.

categories: physics.optics cond-mat.mes-hall cond-mat.soft physics.app-ph physics.chem-ph


title: Algebraically grid-like graphs have large tree-width

abstract: By the Grid Minor Theorem of Robertson and Seymour, every graph of sufficiently large tree-width contains a large grid as a minor. Tree-width may therefore be regarded as a measure of 'grid-likeness' of a graph. The grid contains a long cycle on the perimeter, which is the $\mathbb{F}_2$-sum of the rectangles inside. Moreover, the grid distorts the metric of the cycle only by a factor of two. We prove that every graph that resembles the grid in this algebraic sense has large tree-width: Let $k, p$ be integers, $\gamma$ a real number and $G$ a graph. Suppose that $G$ contains a cycle of length at least $2 \gamma p k$ which is the $\mathbb{F}_2$-sum of cycles of length at most $p$ and whose metric is distorted by a factor of at most $\gamma$. Then $G$ has tree-width at least $k$.


title: SAT solving techniques: a bibliography

abstract: We present a selective bibliography about efficient SAT solving, focused on optimizations for the CDCL-based algorithms.


title: Cognitive Deficit of Deep Learning in Numerosity

abstract: Subitizing, or the sense of small natural numbers, is an innate cognitive function of humans and primates; it responds to visual stimuli prior to the development of any symbolic skills, language or arithmetic. Given successes of deep learning (DL) in tasks of visual intelligence and given the primitivity of number sense, a tantalizing question is whether DL can comprehend numbers and perform subitizing. But somewhat disappointingly, extensive experiments of the type of cognitive psychology demonstrate that the examples-driven black box DL cannot see through superficial variations in visual representations and distill the abstract notion of natural number, a task that children perform with high accuracy and confidence. The failure is apparently due to the learning method not the CNN computational machinery itself. A recurrent neural network capable of subitizing does exist, which we construct by encoding a mechanism of mathematical morphology into the CNN convolutional kernels. Also, we investigate, using subitizing as a test bed, the ways to aid the black box DL by cognitive priors derived from human insight. Our findings are mixed and interesting, pointing to both cognitive deficit of pure DL, and some measured successes of boosting DL by predetermined cognitive implements. This case study of DL in cognitive computing is meaningful for visual numerosity represents a minimum level of human intelligence.


title: Thermalization of dipole oscillations in confined systems by rare collisions

abstract: We study the relaxation of the center-of-mass, or dipole oscillations in the system of interacting fermions confined spatially. With the confinement frequency $\omega_{\perp}$ fixed the particles were considered to freely move along one (quasi-1D) or two (quasi-2D) spatial dimensions. We have focused on the regime of rare collisions, such that the inelastic collision rate, $1/\tau_{in} \ll \omega_{\perp}$. The dipole oscillations relaxation rate, $1/\tau_{\perp}$ is obtained at three different levels: by direct perturbation theory, solving the integral Bethe-Salpeter equation and applying the memory function formalism. As long as anharmonicity is weak, $1/\tau_{\perp} \ll 1/ \tau_{in}$ the three methods are shown to give identical results. In quasi-2D case $1/\tau_{\perp} \neq 0$ at zero temperature. In quasi-1D system $1/\tau_{\perp} \propto T^3$ if the Fermi energy, $E_F$ lies below the critical value, $E_F < 3 \omega_{\perp}/4$. Otherwise, unless the system is close to integrability, the rate $1/\tau_{\perp}$ has the temperature dependence similar to that in quasi-2D. In all cases the relaxation results from the excitation of particle-hole pairs propagating along unconfined directions resulting in the relationship $1/\tau_{\perp} \propto 1/\tau_{in}$, with the inelastic rate $1/\tau_{in} \neq 0$ as the phase-space opens up at finite energy of excitation, $\hbar \omega_{\perp}$. While $1/\tau_{\perp} \propto \tau_{in}$ in the hydrodynamic regime, $\omega_{\perp} \ll 1/\tau_{in}$, in the regime of rare collisions, $\omega_{\perp} \gg 1/\tau_{in}$, we obtain the opposite trend $1/\tau_{\perp} \propto 1/\tau_{in}$.


title: BachProp: Learning to Compose Music in Multiple Styles

abstract: Hand in hand with deep learning advancements, algorithms of music composition increase in performance. However, most of the successful models are designed for specific musical structures. Here, we present BachProp, an algorithmic composer that can generate music scores in any style given sufficient training data. To adapt BachProp to a broad range of musical styles, we propose a novel normalized representation of music and train a deep network to predict the note transition probabilities of a given music corpus. In this paper, new music scores sampled by BachProp are compared with the original corpora via crowdsourcing. This evaluation indicates that the music scores generated by BachProp are not less preferred than the original music corpus the algorithm was provided with.


title: Observational aspects of Outbursting Black Hole Sources - Evolution of Spectro-Temporal features and X-ray Variability

abstract: We report on our attempt to understand the outbursting profile of Galactic Black Hole (GBH) sources, keeping in mind the evolution of temporal and spectral features during the outburst. We present results of evolution of Quasi-periodic Oscillations (QPOs), spectral states and possible connection with Jet ejections during the outburst phase. Further, we attempt to connect the observed X-ray variabilities (i.e., `class' / `structured' variabilities, similar to GRS 1915+105) with spectral states of BH sources. Towards these studies, we consider three Black Hole sources that have undergone single (XTE J1859+226), a few (IGR J17091-3624) and many (GX 339-4) outbursts since the start of RXTE era. Finally, we model the broadband energy spectra (3 - 150 keV) of different spectral states using RXTE and NuSTAR observations. Results are discussed in the context of two component advective flow model, while constraining the mass of the three BH sources.


title: Quantum behavior of the "Little Sibling" of the Big Rip induced by a three-form field

abstract: A canonical quantization \`a la Wheeler-DeWitt is performed for a model of three-form fields in a homogeneous and isotropic universe. We start by carrying out the Hamiltonian formalism of this cosmological model. We then apply this formalism to a Little Sibling of the Big Rip (LSBR), an abrupt event milder than a Big Rip and that is known to be generic to several minimally coupled three-form fields for a variety of potentials. We obtain a set of analytical solutions of the Wheeler-DeWitt equation using different analytical approximations and explore the physical consequences of them. It turns out that there are quantum states where the wave function of the universe vanishes, i.e. the DeWitt condition is fulfilled for them. Given that this happens only for some subset of solutions of the Wheeler-DeWitt equation, this points out that the matter inducing the LSBR is equally important in the process as, it has been previously shown, a minimally coupled phantom scalar field feeding classically a LSBR is smoothed at the quantum level, i.e. all the quantum states lead to a vanishing wave function.


title: Large-scale dynamic assembly of metal nanostructures in plasmofluidic field

abstract: We discuss two aspects of the plasmofluidic assembly of plasmonic nanostructures at the metal fluid interface. First, we experimentally show how three and four spot evanescent wave excitation can lead to unconventional assembly of plasmonic nanoparticles at the metal fluid interface. We observed that the pattern of assembly was mainly governed by the plasmon interference pattern at the metal fluid interface, and further led to interesting dynamic effects within the assembly. The interference patterns were corroborated by 3D finite difference time domain simulations. Secondly, we show how anisotropic geometry, such as Ag nanowires, can be assembled and aligned in unstructured and structured plasmofluidic fields. We found that by structuring the metal-film, Ag nanowires can be aligned at the metal fluid interface with a single evanescent wave excitation, thus highlighting the prospect of assembling plasmonic circuits in a fluid. An interesting aspect of our method is that we obtain the assembly at locations away from the excitation points, thus leading to remote assembly of nanostructures. The results discussed herein may have implications in realizing a platform for reconfigurable plasmonic metamaterials, and a test-bed to understand the effect of plasmon interference on assembly of nanostructures in fluids.

categories: physics.optics cond-mat.mes-hall cond-mat.soft physics.app-ph


title: Hamiltonian dynamics and distributed chaos in DNA

abstract: It is shown that distributed chaos, generated by Hamiltonian DNA dynamics with spontaneously broken time translational symmetry, imprints itself on the DNA sequence of Arabidopsis thaliana (a model plant for genetic sequencing and mapping) and of the NRXN1 and BRCA2 human genes (as an example). The base-stacking interactions in the DNA duplex and degenerate codon groups have been discussed in this context.


title: $W^{1,p}$ regularity of solutions to Kolmogorov equation with Gilbarg-Serrin matrix

abstract: In $\mathbb R^d$, $d \geq 3$, consider the divergence and the non-divergence form operators \begin{equation} \tag{$i$} -\Delta - \nabla \cdot (a-I) \cdot \nabla + b \cdot \nabla, \end{equation} \begin{equation} \tag{$ii$} - \Delta - (a-I) \cdot \nabla^2 + b \cdot \nabla, \end{equation} where the second order perturbations are given by the matrix $$a-I=c|x|^{-2}x \otimes x, \quad c>-1.$$ The vector field $b:\mathbb R^d \rightarrow \mathbb R^d$ is form-bounded with the form-bound $\delta>0$ (this includes a sub-critical class $[L^d + L^\infty]^d$, as well as vector fields having critical-order singularities). We characterize quantitative dependence on $c$ and $\delta$ of the $L^q \rightarrow W^{1,qd/(d-2)}$ regularity of the resolvents of the operator realizations of ($i$), ($ii$) in $L^q$, $q \geq 2 \vee ( d-2)$ as (minus) generators of positivity preserving $L^\infty$ contraction $C_0$ semigroups.


title: The relativistic chiral Lagrangian for decuplet and octet baryons at next-to-leading order

abstract: A complete and minimal relativistic Lagrangian is constructed at next-to-leading order for SU(3) chiral perturbation theory in the presence of baryon octet and baryon decuplet states. The Lagrangian has 13 terms for the pure decuplet sector, 6 terms for the transition sector from baryon octet to decuplet and (as already known from the literature) 16 terms for the pure octet sector. The minimal field content of 25 of these terms is meson-baryon four-point interactions. 3 terms give rise to the mass splitting for baryon octet and decuplet states, respectively. 2 terms give rise to overall mass shifts. 4 terms provide anomalous magnetic moments and a decuplet-to-octet magnetic transition moment. 1 term leads to an axial vector transition moment. It is shown that meson-baryon three-point coupling constants come in at leading order whereas no additional one appears in the minimal Lagrangian at next-to-leading order. Those low-energy constants that give rise to mass splitting and magnetic moments, respectively, are determined. Predictions are provided for radiative decays of decuplet to octet baryons.


title: Internet Location Verification: Challenges and Solutions

abstract: This thesis addresses the problem of verifying the geographic locations of Internet clients. First, we demonstrate how current state-of-the-art delay-based geolocation techniques are susceptible to evasion through delay manipulations, which involve both increasing and decreasing the Internet delays that are observed between a client and a remote measuring party. We then propose Client Presence Verification (CPV) as a delay-based technique to verify an assertion about a client's physical presence in a prescribed geographic region. Three verifiers geographically encapsulating a client's asserted location are used to corroborate that assertion by measuring the delays between themselves and the client. CPV infers geographic distances from these delays and thus, using the smaller of the forward and reverse one-way delay between each verifier and the client is expected to result in a more accurate distance inference than using the conventional round-trip times. Accordingly, we devise a novel protocol for accurate one-way delay measurements between the client and the three verifiers to be used by CPV, taking into account that the client could manipulate the measurements to defeat the verification process. We evaluate CPV through extensive real-world experiments with legitimate clients (those truly present at where they asserted to be) modeled to use both wired and wireless access networks. Wired evaluation is done using the PlanetLab testbed, during which we examine various factors affecting CPV's efficacy, such as the client's geographical nearness to the verifiers. For wireless evaluation, we leverage the Internet delay information collected for wired clients from PlanetLab, and model additional delays representing the last-mile wireless link. Finally, we reinforce CPV against a (hypothetical) middlebox that an adversary specifically customizes to defeat CPV.


title: Molecular Computing for Markov Chains

abstract: In this paper, it is presented a methodology for implementing arbitrarily constructed time-homogenous Markov chains with biochemical systems. Not only discrete but also continuous-time Markov chains are allowed to be computed. By employing chemical reaction networks (CRNs) as a programmable language, molecular concentrations serve to denote both input and output values. One reaction network is elaborately designed for each chain. The evolution of species' concentrations over time well matches the transient solutions of the target continuous-time Markov chain, while equilibrium concentrations can indicate the steady state probabilities. Additionally, second-order Markov chains are considered for implementation, with bimolecular reactions rather that unary ones. An original scheme is put forward to compile unimolecular systems to DNA strand displacement reactions for the sake of future physical implementations. Deterministic, stochastic and DNA simulations are provided to enhance correctness, validity and feasibility.


title: Probing neutrino coupling to a light scalar with coherent neutrino scattering

abstract: Large neutrino event numbers in future experiments measuring coherent elastic neutrino nucleus scattering allow precision measurements of standard and new physics. We analyze the current and prospective limits of a light scalar particle coupling to neutrinos and quarks, using COHERENT and CONUS as examples. Both lepton number conserving and violating interactions are considered. It is shown that current (future) experiments can probe for scalar masses of a few MeV couplings down to the level of $10^{-4}$ $(10^{-6})$. Scalars with masses around the neutrino energy allow to determine their mass via a characteristic spectrum shape distortion. Our present and future limits are compared with constraints from supernova evolution, Big Bang nucleosynthesis and neutrinoless double beta decay. We also outline UV-complete underlying models that include a light scalar with coupling to quarks for both lepton number violating and conserving coupling to neutrinos.


title: Population study of Galactic supernova remnants at very high $\gamma$-ray energies with H.E.S.S.

abstract: Shell-type supernova remnants (SNRs) are considered prime candidates for the acceleration of Galactic cosmic rays (CRs) up to the knee of the CR spectrum at $\mathrm{E} \approx \mathrm{3}\times \mathrm{10}^\mathrm{15}$ eV. Our Milky Way galaxy hosts more than 350 SNRs discovered at radio wavelengths and at high energies, of which 220 fall into the H.E.S.S. Galactic Plane Survey (HGPS) region. Of those, only 50 SNRs are coincident with a H.E.S.S source and in 8 cases the very high-energy (VHE) emission is firmly identified as an SNR. The H.E.S.S. GPS provides us with a legacy for SNR population study in VHE $\gamma$-rays and we use this rich data set to extract VHE flux upper limits from all undetected SNRs. Overall, the derived flux upper limits are not in contradiction with the canonical CR paradigm. Assuming this paradigm holds true, we can constrain typical ambient density values around shell-type SNRs to $n\leq 7~\textrm{cm}^\textrm{-3}$ and electron-to-proton energy fractions above 10~TeV to $\epsilon_\textrm{ep} \leq 5\times 10^{-3}$. Furthermore, comparisons of VHE with radio luminosities in non-interacting SNRs reveal a behaviour that is in agreement with the theory of magnetic field amplification at shell-type SNRs.


title: A Family of Software Product Lines in Educational Technologies

abstract: Rapid advances in education domain demand the design and customization of educational technologies for a large scale and variety of evolving requirements. Here, scale is the number of systems to be developed and variety stems from a diversified range of instructional designs such as varied goals, processes, content, teacher styles, learner styles and, also for eLearning Systems for 22 Indian Languages and variants. In this paper, we present a family of software product lines as an approach to address this challenge of modeling a family of instructional designs as well as a family of eLearning Systems and demonstrate it for the case of adult literacy in India (287 million learners). We present a multi-level product line that connects product lines at multiple levels of granularity in education domain. We then detail two concrete product lines (http://rice.iiit.ac.in), one that generates instructional design editors and two, which generates a family of eLearning Systems based on flexible instructional designs. Finally, we demonstrate our approach by generating eLearning Systems for Hindi and Telugu languages (both web and android versions), which led to significant cost savings of 29 person months for 9 eLearning Systems.


title: Disordered configurations of the Glauber model in two-dimensional networks

abstract: We analyze the ordering efficiency and the structure of disordered configurations for the zero-temperature Glauber model on Watts-Strogatz networks obtained by rewiring 2D regular square lattices. In the small-world regime, the dynamics fails to reach the ordered state in the thermodynamic limit. Due to interplay of the perturbed regular topology and the energy neutral stochastic state transitions, the stationary state consists of two intertwined domains, manifested as multi-clustered states on the original lattice. Moreover, for intermediate rewiring probabilities, one finds an additional source of disorder due to the low connectivity degree, which gives rise to small isolated droplets of spins. We also examine the ordering process in paradigmatic two-layer networks with heterogeneous rewiring probabilities. Comparing the cases of a multiplex network and the corresponding network with random inter-layer connectivity, we demonstrate that the character of the final state qualitatively depends on the type of inter-layer connections.


title: Bounds on the norm of Wigner-type random matrices

abstract: We consider a Wigner-type ensemble, i.e. large hermitian $N\times N$ random matrices $H=H^*$ with centered independent entries and with a general matrix of variances $S_{xy}=\mathbb E|H_{xy}|^2$. The norm of $H$ is asymptotically given by the maximum of the support of the self-consistent density of states. We establish a bound on this maximum in terms of norms of powers of $S$ that substantially improves the earlier bound $2\| S\|^{1/2}_\infty$ given in [arXiv:1506.05098]. The key element of the proof is an effective Markov chain approximation for the contributions of the weighted Dyck paths appearing in the iterative solution of the corresponding Dyson equation.


title: Sampling Superquadric Point Clouds with Normals

abstract: Superquadrics provide a compact representation of common shapes and have been used both for object/surface modelling in computer graphics and as object-part representation in computer vision and robotics. Superquadrics refer to a family of shapes: here we deal with the superellipsoids and superparaboloids. Due to the strong non-linearities involved in the equations, uniform or close-to-uniform sampling is not attainable through a naive approach of direct sampling from the parametric formulation. This is specially true for more `cubic' superquadrics (with shape parameters close to $0.1$). We extend a previous solution of 2D close-to-uniform uniform sampling of superellipses to the superellipsoid (3D) case and derive our own for the superparaboloid. Additionally, we are able to provide normals for each sampled point. To the best of our knowledge, this is the first complete approach for close-to-uniform sampling of superellipsoids and superparaboloids in one single framework. We present derivations, pseudocode and qualitative and quantitative results using our code, which is available online.


title: Solving the Boundary Layer Flow of an Eyring-Powell Non-Newtonian Fluid

abstract: In this paper, the Rational Jacobi (RJ) collocation method is proposed to approximate the solution of the boundary layer flow of an Eyring-Powell fluid over a stretching sheet. This equation is nonlinear and by applying Quasilinearization method (QLM), the equation is converted into a sequence of linear ordinary differential equations (ODE) converging to the solution of the nonlinear equation. Unlike other methods, instead of truncation in domain, the infinity condition is satisfied implicitly. As a result, using the proposed method, the model is converted to a system of linear algebraic equations. The effect of different parameters on the velocity profile is also presented.


title: Similarity measures for vocal-based drum sample retrieval using deep convolutional auto-encoders

abstract: The expressive nature of the voice provides a powerful medium for communicating sonic ideas, motivating recent research on methods for query by vocalisation. Meanwhile, deep learning methods have demonstrated state-of-the-art results for matching vocal imitations to imitated sounds, yet little is known about how well learned features represent the perceptual similarity between vocalisations and queried sounds. In this paper, we address this question using similarity ratings between vocal imitations and imitated drum sounds. We use a linear mixed effect regression model to show how features learned by convolutional auto-encoders (CAEs) perform as predictors for perceptual similarity between sounds. Our experiments show that CAEs outperform three baseline feature sets (spectrogram-based representations, MFCCs, and temporal features) at predicting the subjective similarity ratings. We also investigate how the size and shape of the encoded layer effects the predictive power of the learned features. The results show that preservation of temporal information is more important than spectral resolution for this application.


title: Non-modal stability analysis of stratified two-phase channel flows

abstract: The non-modal transient growth of perturbations in horizontal and inclined channel flows of two immiscible fluids is studied. 3D perturbations are examined in order to find the optimal perturbations that attain the maximum amplification of perturbation energy at relatively short times. Definition of the energy norm is extended to account for the gravitational potential energy along with the kinetic energy and interfacial capillary energy. Contrarily to the fastest exponential growth, which is reached by essentially 2D perturbations, the maximal non-modal energy growth is attained mostly by three-dimensional spanwise perturbations. Significant transient energy growth is found to occur in linearly stable flow configurations, which, similarly to single phase shear flows, may trigger non-linear destabilizing mechanisms within one of the phases. It is shown that the transient energy growth in linearly stable cases can be accompanied by noticeable interface deformations. Therefore, flow pattern transition due to non-modal transient growth and reduction of the range of operational conditions for which stratified-smooth flow remains stable cannot be ruled out.


title: The twelfth moment of Dirichlet $L$-functions with smooth moduli

abstract: We prove an analogue of Heath-Brown's bound on the twelfth moment of the Riemann zeta function for Dirichlet L-functions with smooth moduli.


title: Localized modes in the Gross-Pitaevskii equation with a parabolic trapping potential and a nonlinear lattice pseudopotential

abstract: We study localized modes (LMs) of the one-dimensional Gross-Pitaevskii/nonlinear Schr\"{o}dinger equation with a harmonic-oscillator (parabolic) confining potential, and a periodically modulated coefficient in front of the cubic term (nonlinear lattice pseudopotential). The equation applies to a cigar-shaped Bose-Einstein condensate loaded in the combination of a magnetic trap and an optical lattice which induces the periodic pseudopotential via the Feshbach resonance. Families of stable LMs in the model feature specific properties which result from the interplay between spatial scales introduced by the parabolic trap and the period of the nonlinear pseudopotential. Asymptotic results on the shapes and stability of LMs are obtained for small-amplitude solutions and in the limit of a rapidly oscillating nonlinear pseudopotential. We show that the presence of the lattice pseudopotential may result in: (i) creation of new LM families which have no counterparts in the case of the uniform nonlinearity; (ii) stabilization of some previously unstable LM species; (iii) evolution of unstable LMs into a pulsating mode trapped in one well of the lattice pseudopotential.


title: Modelling of laser-plasma acceleration of relativistic electrons in the frame of ESCULAP project

abstract: We present numerical simulations results on the injection and acceleration of a 10 MeV, 10 pC electrons beam in a plasma wave generated in a gas cell by a 2J, 45 fs laser beam. This modeling is related to the ESCULAP project in which the electrons accelerated by the PHIL photo-injector is injected in a gas cell irradiated by the laser beam of the LASERIX system. Extensive modeling of the experiment was performed in order to determine optimal parameters of the laser plasma configurations. This was done with the newly developed numerical code WakeTraj . We propose a configuration that benefits of a highly compressed electron bunch and for which the injected electron beam can be efficiently coupled to the plasma wave and accelerated up to 140 MeV, with an energy spread lower than 5%.


title: Magnetic Field Dependent Microwave Losses in Superconducting Niobium Microstrip Resonators

abstract: We describe an experimental protocol to characterize magnetic field dependent microwave losses in superconducting niobium microstrip resonators. Our approach provides a unified view that covers two well-known magnetic field dependent loss mechanisms: quasiparticle generation and vortex motion. We find that quasiparticle generation is the dominant loss mechanism for parallel magnetic fields. For perpendicular fields, the dominant loss mechanism is vortex motion or switches from quasiparticle generation to vortex motion, depending on cooling procedures. In particular, we introduce a plot of the quality factor versus the resonance frequency as a general method for identifying the dominant loss mechanism. We calculate the expected resonance frequency and the quality factor as a function of the magnetic field by modeling the complex resistivity. Key parameters characterizing microwave loss are estimated from comparisons of the observed and expected resonator properties. Based on these key parameters, we find a niobium resonator whose thickness is similar to its penetration depth is the best choice for X-band electron spin resonance applications. Finally, we detect partial release of the Meissner current at the vortex penetration field, suggesting that the interaction between vortices and the Meissner current near the edges is essential to understand the magnetic field dependence of the resonator properties.


title: Enhancing Compressed Sensing 4D Photoacoustic Tomography by Simultaneous Motion Estimation

abstract: A crucial limitation of current high-resolution 3D photoacoustic tomography (PAT) devices that employ sequential scanning is their long acquisition time. In previous work, we demonstrated how to use compressed sensing techniques to improve upon this: images with good spatial resolution and contrast can be obtained from suitably sub-sampled PAT data acquired by novel acoustic scanning systems if sparsity-constrained image reconstruction techniques such as total variation regularization are used. Now, we show how a further increase of image quality can be achieved for imaging dynamic processes in living tissue (4D PAT). The key idea is to exploit the additional temporal redundancy of the data by coupling the previously used spatial image reconstruction models with sparsity-constrained motion estimation models. While simulated data from a two-dimensional numerical phantom will be used to illustrate the main properties of this recently developed joint-image-reconstruction-and-motion-estimation framework, measured data from a dynamic experimental phantom will also be used to demonstrate their potential for challenging, large-scale, real-world, three-dimensional scenarios. The latter only becomes feasible if a carefully designed combination of tailored optimization schemes is employed, which we describe and examine in more detail.


title: Performance of Tao-Mo semilocal density functional in projector-augmented-wave method

abstract: We assess the performance of Tao-Mo semilocal exchange correlation (TM) functional [J. Tao and Y. Mo, Phys. Rev. Lett. 117, 073001 (2016)] using projector-augmented-wave method with the plane wave basis set in Vienna ab initio simulation package (VASP). The meta-GGA level semilocal functional TM is an all purpose exchange-correlation functional which performs accurately for the wide range of molecular and solid state properties. The exchange functional part of TM is designed from the density matrix expansion (DME) technique together with the slowly varying fourth order gradient expansion. The correlation functional of the corresponding exchange is based on Tao-Perdew-Staroverov-Scuseria (TPSS) functional. We assess the performance of TM for solid state lattice constants, bulk moduli, band gaps, cohesive energies and magnetic moments of solids. It has been established that in plane wave basis the TM functional performs accurately in predicting all the solid state properties in semilocal level.


title: Bayesian Meta-Analysis of Multiple Continuous Treatments: An Application to Antipsychotic Drugs

abstract: Modeling dose-response relationships of drugs is essential to understanding their effect on patient outcomes under realistic circumstances. While intention-to-treat analyses of clinical trials provide the effect of assignment to a particular drug and dose, they do not capture observed exposure after factoring in non-adherence and dropout. We develop Bayesian methods to flexibly model dose-response relationships of binary outcomes with continuous treatment, allowing for treatment effect heterogeneity and a non-linear response surface. We use a hierarchical framework for meta-analysis with the explicit goal of combining information from multiple trials while accounting for heterogeneity. In an application, we examine the risk of excessive weight gain for patients with schizophrenia treated with the second generation antipsychotics paliperidone, risperidone, or olanzapine in 14 clinical trials. Averaging over the sample population, we found that olanzapine contributed to a 15.6% (95% CrI: 6.7, 27.1) excess risk of weight gain at a 500mg cumulative dose. Paliperidone conferred a 3.2% (95% CrI: 1.5, 5.2) and risperidone a 14.9% (95% CrI: 0.0, 38.7) excess risk at 500mg olanzapine equivalent cumulative doses. Blacks had an additional 6.8% (95% CrI: 1.0, 12.4) risk of weight gain over non-blacks at 1000mg olanzapine equivalent cumulative doses of paliperidone.


title: On the Blindspots of Convolutional Networks

abstract: Deep convolutional network has been the state-of-the-art approach for a wide variety of tasks over the last few years. Its successes have, in many cases, turned it into the default model in quite a few domains. In this work, we will demonstrate that convolutional networks have limitations that may, in some cases, hinder it from learning properties of the data, which are easily recognizable by traditional, less demanding, models. To this end, we present a series of competitive analysis studies on image recognition and text analysis tasks, for which convolutional networks are known to provide state-of-the-art results. In our studies, we inject a truth-revealing signal, indiscernible for the network, thus hitting time and again the network's blind spots. The signal does not impair the network's existing performances, but it does provide an opportunity for a significant performance boost by models that can capture it. The various forms of the carefully designed signals shed a light on the strengths and weaknesses of convolutional network, which may provide insights for both theoreticians that study the power of deep architectures, and for practitioners that consider applying convolutional networks to the task at hand.


title: Matrix Models of Fuzzy Field Theories

abstract: We briefly review the connection between the fuzzy field theories and matrix models and describe the main features of the models that appear. We summarize the different approaches to their analysis, some of the recent results and the challenges to be addressed in the future.


title: Particle Tracking and Extended Object Imaging by Interferometric Super Resolution Microscopy

abstract: An interferometric fluorescent microscope and a novel theoretic image reconstruction approach were developed and used to obtain super-resolution images of live biological samples and to enable dynamic real time tracking. The tracking utilizes the information stored in the interference pattern of both the illuminating incoherent light and the emitted light. By periodically shifting the interferometer phase and a phase retrieval algorithm we obtain information that allow localization with sub-2 nm axial resolution at 5 Hz.


title: Understanding the Role of Adaptivity in Machine Teaching: The Case of Version Space Learners

abstract: In real-world applications of education, an effective teacher adaptively chooses the next example to teach based on the learner's current state. However, most existing work in algorithmic machine teaching focuses on the batch setting, where adaptivity plays no role. In this paper, we study the case of teaching consistent, version space learners in an interactive setting. At any time step, the teacher provides an example, the learner performs an update, and the teacher observes the learner's new state. We highlight that adaptivity does not speed up the teaching process when considering existing models of version space learners, such as "worst-case" (the learner picks the next hypothesis randomly from the version space) and "preference-based" (the learner picks hypothesis according to some global preference). Inspired by human teaching, we propose a new model where the learner picks hypotheses according to some local preference defined by the current hypothesis. We show that our model exhibits several desirable properties, e.g., adaptivity plays a key role, and the learner's transitions over hypotheses are smooth/interpretable. We develop efficient teaching algorithms and demonstrate our results via simulation and user studies.


title: The fine structure of the finite-size effects for the spectrum of the $OSp(n|2m)$ spin chain

abstract: In this paper we investigate the finite-size properties of the spectrum of quantum spin chains with local spins taken to be the fundamental vector representation of the $OSp(n|2m)$ superalgebra.


title: Data Driven Charge Transfer Atlas Provides Topological View of Electronic Structure Properties for Arbitrary Proteins Complexes

abstract: Due to the highly complex chemical structure of biomolecules, the extensive understanding of the electronic information for proteomics can be challenging. Here, we constructed a charge transfer database at residue level derived from millions of electronic structure calculations among 20x20 possible amino acid side-chains combinations, which were extracted from available high-quality structures of thousands of protein complexes. Then, the data driven network (D2Net) analysis was proposed to quickly identify the critical residue or residue groups for any possible protein complex. As an initial evaluation, we applied this model to scrutinize the charge transfer networks for two randomly selected proteins, which highlighted the most critical residues with large node degrees as network hubs. This work may provide us a promising computional protocol for topologically understanding the electronic structure information in the growing number of high-quality experimental proteins structures, with minor computational costs.


title: Security Analysis and Enhancement of Model Compressed Deep Learning Systems under Adversarial Attacks

abstract: DNN is presenting human-level performance for many complex intelligent tasks in real-world applications. However, it also introduces ever-increasing security concerns. For example, the emerging adversarial attacks indicate that even very small and often imperceptible adversarial input perturbations can easily mislead the cognitive function of deep learning systems (DLS). Existing DNN adversarial studies are narrowly performed on the ideal software-level DNN models with a focus on single uncertainty factor, i.e. input perturbations, however, the impact of DNN model reshaping on adversarial attacks, which is introduced by various hardware-favorable techniques such as hash-based weight compression during modern DNN hardware implementation, has never been discussed. In this work, we for the first time investigate the multi-factor adversarial attack problem in practical model optimized deep learning systems by jointly considering the DNN model-reshaping (e.g. HashNet based deep compression) and the input perturbations. We first augment adversarial example generating method dedicated to the compressed DNN models by incorporating the software-based approaches and mathematical modeled DNN reshaping. We then conduct a comprehensive robustness and vulnerability analysis of deep compressed DNN models under derived adversarial attacks. A defense technique named "gradient inhibition" is further developed to ease the generating of adversarial examples thus to effectively mitigate adversarial attacks towards both software and hardware-oriented DNNs. Simulation results show that "gradient inhibition" can decrease the average success rate of adversarial attacks from 87.99% to 4.77% (from 86.74% to 4.64%) on MNIST (CIFAR-10) benchmark with marginal accuracy degradation across various DNNs.


title: Moderate Magnetic Field Induced Large Exchange Bias Effect in Ferrimagnetic 314-Sr3YCo4O10.5 Material

abstract: Herein, we report the appearance of a large exchange bias (EB) effect in a moderate cooling field (cooling field, H$_{FC}$ = 1 kOe) for the 314-Sr3YCo4O10.5 material. The exchange bias has started to appear near room temperature and reaches a maximum value of 5.5 kOe at 4 K. The existence of ferrimagnetic clusters in the compensated host in this layered structure originates the large exchange anisotropy. Remarkably, the observed value of moderate magnetic field induced exchange bias field is extremely large in comparison with material systems which are recognized to exhibit giant exchange bias effect. In combination with the feasibility of room temperature application, the appearance of large exchange bias in a moderate cooling field exemplifying the present material system as a promising class of compounds for designing coherent magnetic materials with huge exchange bias in low/moderate magnetic field.


title: F-theory models on K3 surfaces with various Mordell-Weil ranks -constructions that use quadratic base change of rational elliptic surfaces

abstract: We constructed several families of elliptic K3 surfaces with Mordell-Weil groups of ranks from 1 to 4. We studied F-theory compactifications on these elliptic K3 surfaces times a K3 surface. Gluing pairs of identical rational elliptic surfaces with nonzero Mordell-Weil ranks yields elliptic K3 surfaces, the Mordell-Weil groups of which have nonzero ranks. The sum of the ranks of the singularity type and the Mordell-Weil group of any rational elliptic surface with a global section is 8. By utilizing this property, families of rational elliptic surfaces with various nonzero Mordell-Weil ranks can be obtained by choosing appropriate singularity types. Gluing pairs of these rational elliptic surfaces yields families of elliptic K3 surfaces with various nonzero Mordell-Weil ranks. We also determined the global structures of the gauge groups that arise in F-theory compactifications on the resulting K3 surfaces times a K3 surface. $U(1)$ gauge fields arise in these compactifications.


title: Generative Models for Spear Phishing Posts on Social Media

abstract: Historically, machine learning in computer security has prioritized defense: think intrusion detection systems, malware classification, and botnet traffic identification. Offense can benefit from data just as well. Social networks, with their access to extensive personal data, bot-friendly APIs, colloquial syntax, and prevalence of shortened links, are the perfect venues for spreading machine-generated malicious content. We aim to discover what capabilities an adversary might utilize in such a domain. We present a long short-term memory (LSTM) neural network that learns to socially engineer specific users into clicking on deceptive URLs. The model is trained with word vector representations of social media posts, and in order to make a click-through more likely, it is dynamically seeded with topics extracted from the target's timeline. We augment the model with clustering to triage high value targets based on their level of social engagement, and measure success of the LSTM's phishing expedition using click-rates of IP-tracked links. We achieve state of the art success rates, tripling those of historic email attack campaigns, and outperform humans manually performing the same task.


title: Gorenstein flat modules with respect to duality pairs

abstract: Let $\mathcal{X}$ be a class of left $R$-modules, $\mathcal{Y}$ be a class of right $R$-modules. In this paper, we introduce and study Gorenstein $(\mathcal{X}, \mathcal{Y})$-flat modules as a common generalization of some known modules such as Gorenstein flat modules \cite{EJT93}, Gorenstein $n$-flat modules \cite{SUU14}, Gorenstein $\mathcal{B}$-flat modules \cite{EIP17}, Gorenstein AC-flat modules \cite{BEI17}, $\Omega$-Gorenstein flat modules \cite{EJ00} and so on. We show that the class of all Gorenstein $(\mathcal{X}, \mathcal{Y})$-flat modules have a strong stability. In particular, when $(\mathcal{X}, \mathcal{Y})$ is a perfect (symmetric) duality pair, we give some functorial descriptions of Gorenstein $(\mathcal{X}, \mathcal{Y})$-flat dimension, and construct a hereditary abelian model structure on $R$-Mod whose cofibrant objects are exactly the Gorenstein $(\mathcal{X}, \mathcal{Y})$-flat modules. These results unify the corresponding results of the aforementioned modules.


title: ICN enabling CoAP Extensions for IP based IoT devices

abstract: The Constrained Application Protocol (CoAP) and its extensions, such as observe and group communication, offer the potential for developing novel IoT applications. However, a full-fledged CoAP-based application requires delay-tolerant communication and support for multicast: since these properties cannot be easily provided by existing IP networks, developers cannot take full advantage of CoAP, preferring to use HTTP instead. In this demo we show how proxying CoAP traffic over an ICN network can unleash the full potential of CoAP, simultaneously shifting overhead and complexity from the (constrained) endpoints to the network.


title: Exciting Implications of LHC Higgs Boson Data

abstract: Naively, the LHC Higgs boson looks like a Standard Model Higgs boson, with no guidance to physics beyond the Standard Model, as has often been remarked. The data show that what was discovered is the true Higgs boson. If one includes the full information available, experimental and theoretical, there are actually four significant clues implied by data. They point toward a supersymmetric two-doublet decoupling theory, and a hierarchy problem solution via TeV scale supersymmetry. That in turn suggests an underlying compactified string/M theory with a de Sitter vacuum, so we can be confident that the low scale model has an ultraviolet completion.


title: Perfect shuffling by lazy swaps

abstract: We characterize the minimum-length sequences of independent lazy simple transpositions whose composition is a uniformly random permutation. For every reduced word of the reverse permutation there is exactly one valid way to assign probabilities to the transpositions. It is an open problem to determine the minimum length of such a sequence when the simplicity condition is dropped.


title: Exact Correlators on the Wilson Loop in $\mathcal{N}=4$ SYM: Localization, Defect CFT, and Integrability

abstract: We compute a set of correlation functions of operator insertions on the 1/8 BPS Wilson loop in $\mathcal{N}=4$ SYM by employing supersymmetric localization, OPE and the Gram-Schmidt orthogonalization. These correlators exhibit a simple determinant structure, are position-independent and form a topological subsector, but depend nontrivially on the 't Hooft coupling and the rank of the gauge group. When applied to the 1/2 BPS circular (or straight) Wilson loop, our results provide an infinite family of exact defect CFT data, including the structure constants of protected defect primaries of arbitrary length inserted on the loop. At strong coupling, we show precise agreement with a direct calculation using perturbation theory around the AdS$_2$ string worldsheet. We also explain the connection of our results to the "generalized Bremsstrahlung functions" previously computed from integrability techniques, reproducing the known results in the planar limit as well as obtaining some of their finite N generalizations. Furthermore, we show that the correlators at large N can be recast as simple integrals of products of polynomials (known as Q-functions) that appear in the Quantum Spectral Curve approach. This suggests an interesting interplay between localization, defect CFT and integrability.


title: Integrability of Exceptional Hydrodynamic Type Systems

abstract: In this paper we consider non-diagonalisable hydrodynamic type systems integrable by the Extended Hodograph Method. We restrict our consideration to non-diagonalisable hydrodynamic reductions of the Mikhalev equation. We show that families of these hydrodynamic type systems are reducible to the Heat hierarchy. Then we construct new particular explicit solutions for the Mikhalev equation.


title: Fully Convolutional Network Ensembles for White Matter Hyperintensities Segmentation in MR Images

abstract: White matter hyperintensities (WMH) are commonly found in the brains of healthy elderly individuals and have been associated with various neurological and geriatric disorders. In this paper, we present a study using deep fully convolutional network and ensemble models to automatically detect such WMH using fluid attenuation inversion recovery (FLAIR) and T1 magnetic resonance (MR) scans. The algorithm was evaluated and ranked 1 st in the WMH Segmentation Challenge at MICCAI 2017. In the evaluation stage, the implementation of the algorithm was submitted to the challenge organizers, who then independently tested it on a hidden set of 110 cases from 5 scanners. Averaged dice score, precision and robust Hausdorff distance obtained on held-out test datasets were 80%, 84% and 6.30mm respectively. These were the highest achieved in the challenge, suggesting the proposed method is the state-of-the-art. In this paper, we provide detailed descriptions and quantitative analysis on key components of the system. Furthermore, a study of cross-scanner evaluation is presented to discuss how the combination of modalities and data augmentation affect the generalization capability of the system. The adaptability of the system to different scanners and protocols is also investigated. A quantitative study is further presented to test the effect of ensemble size. Additionally, software and models of our method are made publicly available. The effectiveness and generalization capability of the proposed system show its potential for real-world clinical practice.


title: Oscillating sequences of higher orders and topological systems of quasi-discrete spectrum

abstract: Fully oscillating sequences are orthogonal to all topological dynamical systems of quasi-discrete spectrum in the sense of Hahn-Parry. This orthogonality concerns with not only simple but also multiple ergodic means. It is stronger than that required by Sarnak's conjecture.


title: Self-Organised Fractional Quantisation in a Hole Quantum Wire

abstract: We have investigated hole transport in one-dimensional quantum wires in strained germanium two-dimensional layers. The ballistic conductance characteristics show the regular quantised plateaux in units of n2e2/h, where n is an integer. Additionally, new quantised levels are formed which correspond to values of n = 1/4 reducing to 1/8 in the presence of a strong parallel magnetic field which lifts the spin degeneracy but does not quantise the wavefunction. A further plateau is observed corresponding to n = 1/32 which does not change in the presence of a parallel magnetic field. These values indicate that the system is behaving as if charge was fractionalised with values e/2 and e/4, possible mechanisms are discussed.


title: Enabling Interactive Mobile Simulations Through Distributed Reduced Models

abstract: Currently, various hardware and software companies are developing augmented reality devices, most prominently Microsoft with its Hololens. Besides gaming, such devices can be used for serious pervasive applications, like interactive mobile simulations to support engineers in the field. Interactive simulations have high demands on resources, which the mobile device alone is unable to satisfy. Therefore, we propose a framework to support mobile simulations by distributing the computation between the mobile device and a remote server based on the reduced basis method. Evaluations show that we can speed-up the numerical computation by over 131 times while using 73 times less energy.


title: Quantifying the Effect of Non-Larmor Motion of Electrons on the Pressure Tensor

abstract: In space plasma, various effects of magnetic reconnection and turbulence cause the electron motion to significantly deviate from their Larmor orbits. Collectively these orbits affect the electron velocity distribution function and lead to the appearance of the "non-gyrotropic" elements in the pressure tensor. Quantification of this effect has important applications in space and laboratory plasma, one of which is tracing the electron diffusion region (EDR) of magnetic reconnection in space observations. Three different measures of agyrotropy of pressure tensor have previously been proposed, namely, $A\varnothing_e$, $D_{ng}$ and $Q$. The multitude of contradictory measures has caused confusion within the community. We revisit the problem by considering the basic properties an agyrotropy measure should have. We show that $A\varnothing_e$, $D_{ng}$ and $Q$ are all defined based on the sum of the principle minors (i.e. the rotation invariant $I_2$) of the pressure tensor. We discuss in detail the problems of $I_2$-based measures and explain why they may produce ambiguous and biased results. We introduce a new measure $AG$ constructed based on the determinant of the pressure tensor (i.e. the rotation invariant $I_3$) which does not suffer from the problems of $I_2$-based measures. We compare $AG$ with other measures in 2 and 3-dimension particle-in-cell magnetic reconnection simulations, and show that $AG$ can effectively trace the EDR of reconnection in both Harris and force-free current sheets. On the other hand, $A\varnothing_e$ does not show prominent peaks in the EDR and part of the separatrix in the force-free reconnection simulations, demonstrating that $A\varnothing_e$ does not measure all the non-gyrotropic effects in this case, and is not suitable for studying magnetic reconnection in more general situations other than Harris sheet reconnection.

categories: physics.plasm-ph nlin.CD nlin.SI physics.space-ph


title: 2D-3D crossover in a dense electron liquid in silicon

abstract: Doping of silicon via phosphene exposures alternating with molecular beam epitaxy overgrowth is a path to Si:P substrates for conventional microelectronics and quantum information technologies. The technique also provides a new and well-controlled material for systematic studies of two-dimensional lattices with a half-filled band. We show here that for a dense ($n_s=2.8\times 10^{14}$\,cm$^{-2}$) disordered two-dimensional array of P atoms, the full field angle-dependent magnetostransport is remarkably well described by classic weak localization theory with no corrections due to interaction effects. The two- to three-dimensional cross-over seen upon warming can also be interpreted using scaling concepts, developed for anistropic three-dimensional materials, which work remarkably except when the applied fields are nearly parallel to the conducting planes.


title: Sum Secrecy Rate Maximization in a Multi-Carrier MIMO Wiretap Channel with Full-Duplex Jamming

abstract: In this paper we address a sum secrecy rate maximization problem for a multi-carrier and MIMO communication system. We consider the case that the receiver is capable of full-duplex (FD) operation and simultaneously sends jamming signal to a potential eavesdropper. In particular, we simultaneously take advantage of the spatial and frequency diversity in the system in order to obtain a higher level of security in the physical layer. Due to the non-convex nature of the resulting mathematical problem, we propose an iterative solution with a guaranteed convergence, based on block coordinate descent method, by re-structuring our problem as a separately convex program. Moreover, for the special case that the transmitter is equipped with a single antenna, an optimal transmit power allocation strategy is obtained analytically, assuming a known jamming strategy. We also study a FD bidirectional secure communication system, where the jamming power can be reused to enhance the sum secrecy rate. The performance of the proposed design is then numerically evaluated compared to the other design strategies, and under different system assumptions.


title: Rho-pion transition form factors in the $k_T$ factorization formulism revisited

abstract: We revisit the evaluations for the spacelike and timelike $\rho \pi$ transition form factors $F_{\rho\pi}(Q^2)$ and $G_{\rho\pi}(Q^2)$ with the inclusion of the the next-to-leading order (NLO) QCD contributions in the framework of the $k_T$ factorization theorem. The infrared divergence is regularized by the transversal momentum carried by external valence quarks, and ultimately absorbed into the meson wave functions. In the region of $ Q^2 \leqslant 2 \, \textrm{GeV}^2 $, where PQCD factorization apporach applicable, the NLO contribution can bring no larger than $ 35\%$ enhancement to the spacelike form factor $F_{\rho\pi}(Q^2)$. For the timelike form factor derived under the kinematic exchanging symmetry, this contribution is also under control when the momentum transfer squared is large enough. We also prolong our prediction into the small $Q^2$ region by taking the Lattice QCD results into account, and subsequently obtain the coupling $g_{\rho\pi\gamma} = G_{\rho\pi}(0)=0.596$.


title: Measurements of the self-assembly kinetics of individual viral capsids around their RNA genome

abstract: The formation of a viral capsid -- the highly-ordered protein shell that surrounds the genome of a virus -- is the canonical example of self-assembly. The capsids of many positive-sense RNA viruses spontaneously assemble from in vitro mixtures of the coat protein and RNA. The high yield of proper capsids that assemble is remarkable, given their structural complexity: 180 identical proteins must arrange into three distinct local configurations to form an icosahedral capsid with a triangulation number of 3 (T = 3). Despite a wealth of data from structural studies and simulations, even the most fundamental questions about how these structures assemble remain unresolved. Experiments have not determined whether the assembly pathway involves aggregation or nucleation, or how the RNA controls the process. Here we use interferometric scattering microscopy to directly observe the in vitro assembly kinetics of individual, unlabeled capsids of bacteriophage MS2. By measuring how many coat proteins bind to individual MS2 RNA strands over time scales from 1 ms to 900 s, we find that the start of assembly is broadly distributed in time and is followed by a rapid increase in the number of bound proteins. These measurements provide strong evidence for a nucleation-and-growth pathway. We also find that malformed structures assemble when multiple nuclei appear on the same RNA before the first nucleus has finished growing. Our measurements reveal the complex assembly pathways for viral capsids around RNA in quantitative detail, including the nucleation threshold, nucleation time, growth time, and constraints on the critical nucleus size. These results may inform strategies for engineering synthetic capsids or for derailing the assembly of pathogenic viruses.


title: First Extraction of Transversity from a Global Analysis of Electron-Proton and Proton-Proton Data

abstract: We present the first extraction of the transversity distribution in the framework of collinear factorization based on the global analysis of pion-pair production in deep-inelastic scattering off transversely polarized targets and in proton-proton collisions with one transversely polarized proton. The extraction relies on the knowledge of di-hadron fragmentation functions, which are taken from the analysis of electron-positron annihilation data. For the first time, the chiral-odd transversity is extracted from a global analysis similar to what is usually done for the chiral-even spin-averaged and helicity distributions. The knowledge of transversity is important for, among other things, detecting possible signals of new physics in high-precision low-energy experiments.


title: Counting subgraphs in fftp graphs with symmetry

abstract: Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano-Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the existence of a lower bound for the growth rate independent of the finite generating set and the infinite index quasi-convex subgroup.


title: Learning Privacy Preserving Encodings through Adversarial Training

abstract: We present a framework to learn privacy-preserving encodings of images that inhibit inference of chosen private attributes, while allowing recovery of other desirable information. Rather than simply inhibiting a given fixed pre-trained estimator, our goal is that an estimator be unable to learn to accurately predict the private attributes even with knowledge of the encoding function. We use a natural adversarial optimization-based formulation for this---training the encoding function against a classifier for the private attribute, with both modeled as deep neural networks. The key contribution of our work is a stable and convergent optimization approach that is successful at learning an encoder with our desired properties---maintaining utility while inhibiting inference of private attributes, not just within the adversarial optimization, but also by classifiers that are trained after the encoder is fixed. We adopt a rigorous experimental protocol for verification wherein classifiers are trained exhaustively till saturation on the fixed encoders. We evaluate our approach on tasks of real-world complexity---learning high-dimensional encodings that inhibit detection of different scene categories---and find that it yields encoders that are resilient at maintaining privacy.


title: The Eigenvalues Slicing Library (EVSL): Algorithms, Implementation, and Software

abstract: This paper describes a software package called EVSL (for EigenValues Slicing Library) for solving large sparse real symmetric standard and generalized eigenvalue problems. As its name indicates, the package exploits spectrum slicing, a strategy that consists of dividing the spectrum into a number of subintervals and extracting eigenpairs from each subinterval independently. In order to enable such a strategy, the methods implemented in EVSL rely on a quick calculation of the spectral density of a given matrix, or a matrix pair. What distinguishes EVSL from other currently available packages is that EVSL relies entirely on filtering techniques. Polynomial and rational filtering are both implemented and are coupled with Krylov subspace methods and the subspace iteration algorithm. On the implementation side, the package offers interfaces for various scenarios including matrix-free modes, whereby the user can supply his/her own functions to perform matrix-vector operations or to solve sparse linear systems. The paper describes the algorithms in EVSL, provides details on their implementations, and discusses performance issues for the various methods.


title: Mechanistic, empirical and numerical perspectives on wind-waves interaction

abstract: A mechanistic theory of wind-wave interaction must rely on verifiable assumptions and offer reproducible observable predictions. For decades, the limited mechanistic grasp on the problem has motivated RANS and LES modeling and has driven a vast empirical effort to describe the interaction in terms of wave-induced modifications of standard statistical characteristics of the wind, such as wind profile, kinetic energy balance or exchange coefficients. Because the mechanistic, empirical and numerical approaches are all concerned with the same phenomenon occurring in the same media, consistency here requires that the assumptions on which the approaches rest and the predictions they generate are compatible with each other and supported by measurements. Recent findings from theoretical analysis and field experiments advanced the understanding of the statistical and dynamic patterns of the wave-coherent flow, which is at the core of the mechanistic description of the wind-wave exchange. The progress prompts reexamining of earlier concepts, efforts and findings to evaluate their suitability, validity and usefulness. For the purpose, this survey traces the development of ideas, methods and results in the study of the wind wave generation.


title: The space of relative orders and a generalization of Morris indicability theorem

abstract: We introduce the space of relative orders on a group and show that it is compact whenever the group is finitely generated. We use this to show that if $G$ is a finitely generated group acting by order preserving homeomorphism of on the line, then if some stabilizer of a point is proper and co-amenable subgroup, then $G$ surjects onto $\mathbb{Z}$. This is a generalization of a theorem of Morris.


title: Statistical Inference for inter-arrival times of extreme events in bursty time series

abstract: In many complex systems studied in statistical physics, inter-arrival times between events such as solar flares, trades and neuron voltages follow a heavy-tailed distribution. The set of event times is fractal-like, being dense in some time windows and empty in others, a phenomenon which has been dubbed "bursty". A new model for the inter-exceedance times of events above high thresholds is proposed. For high thresholds and infinite-mean waiting times, it is shown that the times between threshold crossings are Mittag-Leffler distributed, and thus form a "fractional Poisson Process" which generalizes the standard Poisson Process of threshold exceedances. Graphical means of estimating model parameters and assessing model fit are provided. The inference method is applied to an empirical bursty time series, and it is shown how the memory of the Mittag-Leffler distribution affects prediction of the time until the next extreme event."


title: Who Killed Albert Einstein? From Open Data to Murder Mystery Games

abstract: This paper presents a framework for generating adventure games from open data. Focusing on the murder mystery type of adventure games, the generator is able to transform open data from Wikipedia articles, OpenStreetMap and images from Wikimedia Commons into WikiMysteries. Every WikiMystery game revolves around the murder of a person with a Wikipedia article and populates the game with suspects who must be arrested by the player if guilty of the murder or absolved if innocent. Starting from only one person as the victim, an extensive generative pipeline finds suspects, their alibis, and paths connecting them from open data, transforms open data into cities, buildings, non-player characters, locks and keys and dialog options. The paper describes in detail each generative step, provides a specific playthrough of one WikiMystery where Albert Einstein is murdered, and evaluates the outcomes of games generated for the 100 most influential people of the 20th century.


title: ON states as resource units for universal quantum computation with photonic architectures

abstract: Universal quantum computation using photonic systems requires gates whose Hamiltonians are of order greater than quadratic in the quadrature operators. We first review previous proposals to implement such gates, where specific non-Gaussian states are used as resources in conjunction with entangling gates such as the continuous-variable versions of C-PHASE and C-NOT gates. We then propose ON states which are superpositions of the vacuum and the $N^{th}$ Fock state, for use as non-Gaussian resource states. We show that ON states can be used to implement the cubic and higher-order quadrature phase gates to first order in gate strength. There are several advantages to this method such as reduced number of superpositions in the resource state preparation and greater control over the final gate. We also introduce useful figures of merit to characterize gate performance. Utilising a supply of on-demand resource states one can potentially scale up implementation to greater accuracy, by repeated application of the basic circuit.


title: Stochastic Darboux transformations for quasi-birth-and-death processes and urn models

abstract: We consider stochastic UL and LU block factorizations of the one-step transition probability matrix for a discrete-time quasi-birth-and-death process, namely a stochastic block tridiagonal matrix. The simpler case of random walks with only nearest neighbors transitions gives a unique LU factorization and a one-parameter family of factorizations in the UL case. The block structure considered here yields many more possible factorizations resulting in a much enlarged class of potential applications. By reversing the order of the factors (also known as a Darboux transformation) we get new families of quasi-birth-and-death processes where it is possible to identify the matrix-valued spectral measures in terms of a Geronimus (UL) or a Christoffel (LU) transformation of the original one. We apply our results to one example going with matrix-valued Jacobi polynomials arising in group representation theory. We also give urn models for some particular cases.


abstract: We prove that if $G$ is a group of finite Morley rank which acts definably and generically sharply $n$-transitively on a connected abelian group $V$ of Morley rank $n$ with no involutions, then there is an algebraically closed field $F$ of characteristic $\ne 2$ such that $V$ has a structure of a vector space of dimension $n$ over $F$ and $G$ acts on $V$ as the group $\operatorname{GL}_n(F)$ in its natural action on $F^n$. This is the final pre-publication version of the paper: A. Berkman and A. Borovik, Groups of finite Morley rank with a generically sharply multiply transitive action, J. Algebra (2018), https://doi.org/10.1016/j.jalgebra.2018.07.033. Accepted for publication 28 July 2018. The manuscript will undergo copyediting, typesetting, and review of the resulting proof before it is published


title: Ideal simplicial volume of manifolds with boundary

abstract: We define the ideal simplicial volume for compact manifolds with boundary. Roughly speaking, the ideal simplicial volume of a manifold $M$ measures the minimal size of possibly ideal triangulations of $M$ "with real coefficients", thus providing a variation of the ordinary simplicial volume defined by Gromov in 1982, the main difference being that ideal simplices are now allowed to appear in representatives of the fundamental class. We show that the ideal simplicial volume is bounded above by the ordinary simplicial volume, and that it vanishes if and only if the ordinary simplicial volume does. We show that, for manifolds with amenable boundary, the ideal simplicial volume coincides with the classical one, whereas for hyperbolic manifolds with geodesic boundary it can be strictly smaller. We compute the ideal simplicial volume of an infinite family of hyperbolic $3$-manifolds with geodesic boundary, for which the exact value of the classical simplicial volume is not known, and we exhibit examples where the ideal simplicial volume provides shaper bounds on mapping degrees than the classical simplicial volume.


title: Some more algebra on ultrafilters in metric spaces

abstract: We continue algebraization of the set of ultrafilters on a metric spaces initiated in [6]. In particular, we define and study metric counterparts of prime, strongly prime and right cancellable ultrafilters from the Stone-$\check{C}$ech compactification of a discrete group as a right topological semigroup [3]. Our approach is based on the concept of parallelity introduced in the context of balleans in [4].


title: Snapshot 3D tracking of insulin granules in live cells

abstract: Rapid and accurate volumetric imaging remains a challenge, yet has the potential to enhance understanding of cell function. We developed and used a multifocal microscope (MFM) for 3D snapshot imaging to allow 3D tracking of insulin granules labeled with mCherry in MIN6 cells. MFM employs a special diffractive optical element (DOE) to simultaneously image multiple focal planes. This simultaneous acquisition of information determines the 3D location of single objects at a speed only limited by the frame rate of array detector . We validated the accuracy of MFM imaging and tracking with fluorescence beads; the 3D positions and trajectories of single fluorescence beads can be determined accurately over a wide range of spatial and temporal scales. The 3D positions and trajectories of single insulin granules in a 3.2 micro meter deep volume were determined with imaging processing that combines 3D decovolution, shift correction, and finally tracking using the Imaris software package. We find that the motion of the granules is super-diffusive, but less so in 3D than 2D for cells grown on coverslip surfaces, suggesting an anisotropy in the cytoskeleton (e.g. microtubules and action).


title: Geometric and monotonic properties of hyper-Bessel functions

abstract: Some geometric properties of a normalized hyper-Bessel functions are investigated. Especially we focus on the radii of starlikeness, convexity, and uniform convexity of hyper-Bessel functions and we show that the obtained radii satisfy some transcendental equations. In addition, we give some bounds for the first positive zero of normalized hyper-Bessel functions, Redheffer-type inequalities, and bounds for this function. In this study we take advantage of Euler-Rayleigh inequalities and Laguerre-P\'{o}lya class of real entire functions, intensively.