title: R-parity as a residual gauge symmetry : probing a theory of cosmological dark matter

abstract: We present a non-supersymmetric scenario in which the R-parity symmetry $R_P = (-1)^{3(B-L)+2s}$ arises as a result of spontaneous gauge symmetry breaking, leading to a viable Dirac fermion WIMP dark matter candidate. Direct detection in nuclear recoil experiments probes dark matter masses around $2-5$ TeV for $M_{Z^{\prime}} \sim 3-4$ TeV consistent with searches at the LHC, while lepton flavor violation rates and flavor changing neutral currents in neutral meson systems lie within reach of upcoming experiments.


title: Fluorine in the Solar neighborhood: No evidence for the neutrino process

abstract: Asymptotic Giant Branch stars are known to produce `cosmic' fluorine but it is uncertain whether these stars are the main producers of fluorine in the Solar neighborhood or if any of the other proposed formation sites, type II supernovae and/or Wolf-Rayet stars, are more important. Recent articles have proposed both Asymptotic Giant Branch stars as well as type II supernovae as the dominant sources of fluorine in the Solar neighborhood. In this paper we set out to determine the fluorine abundance in a sample of 49 nearby, bright K-giants for which we previously have determined the stellar parameters as well as alpha abundances homogeneously from optical high-resolution spectra. The fluorine abundance is determined from a 2.3 $\mu$m HF molecular line observed with the spectrometer Phoenix. We compare the fluorine abundances with those of alpha elements mainly produced in type II supernovae and find that fluorine and the alpha-elements do not evolve in lock-step, ruling out type II supernovae as the dominating producers of fluorine in the Solar neighborhood. Furthermore, we find a secondary behavior of fluorine with respect to oxygen, which is another evidence against the type II supernovae playing a large role in the production of fluorine in the Solar neighborhood. This secondary behavior of fluorine will put new constraints on stellar models of the other two suggested production sites: Asymptotic Giant Branch stars and Wolf-Rayet stars.


title: Holographic Pair and Charge Density Waves

abstract: We examine a holographic model in which a U(1) symmetry and translational invariance are broken spontaneously at the same time. Our construction provides an example of a system with pair-density wave order, in which the superconducting order parameter is spatially modulated but has a zero average. In addition, the charge density oscillates at twice the frequency of the scalar condensate. Depending on the choice of parameters, the model also admits a state with co-existing superconducting and charge density wave orders, in which the scalar condensate has a uniform component.


title: On the Bousfield classes of $H_\infty$-ring spectra

abstract: We prove that any K(n)-acyclic, $D_p$-ring spectrum is K(n+1)-acyclic, affirming an old conjecture of Mark Hovey.


title: Thermodynamics of Regular Accelerating Black Holes

abstract: Using the covariant phase space formalism, we compute the conserved charges for a solution, describing an accelerating and electrically charged Reissner-Nordstrom black hole. The metric is regular provided that the acceleration is driven by an external electric field, in spite of the usual string of the standard C-metric. The Smarr formula and the first law of black hole thermodynamics are fulfilled. The resulting mass has the same form of the Christodoulou-Ruffini mass formula. On the basis of these results, we can extrapolate the mass and thermodynamics of the rotating C-metric, which describes a Kerr-Newman-(A)dS black hole accelerated by a pulling string.


title: Lattice Calculation of Nucleon Isovector Axial Charge with Improved Currents

abstract: We employ dimension-4 operators to improve the local vector and axial-vector currents and calculate the nucleon isovector axial coupling $g^3_A$ with overlap valence on $2+1$-flavor Domain Wall Fermion sea. Using the equality of $g^3_A$ from the spatial and temporal components of the axial-vector current as a normalization condition, we find that $g_A^3$ is increased by a few percent towards the experimental value. The excited-state contamination has been taken into account with three time separations between the source and sink. The improved axial charges $g_A^{3}(24I)=1.22(4)$ and $g_A^{3}(32I)=1.21(3)$ are obtained on a $24^3\times 64$ lattice at pion mass of 330 MeV and a $32^3\times 64$ lattice at pion mass 300 MeV are increased by $3.4\%$ and $1.7\%$ from their unimproved values, respectively. We have also used clover fermion on the same DWF configurations and find the same behavior for the local axial charge as that of the overlap fermion.


title: Four-loop photon quark form factor and cusp anomalous dimension in the large-$N_c$ limit of QCD

abstract: We compute the four-loop QCD corrections to the massless quark-anti-quark-photon form factor $F_q$ in the large-$N_c$ limit. From the pole part we extract analytic expressions for the corresponding cusp and collinear anomalous dimensions.


title: Spectral ageing in the era of big data: integrated vs resolved models

abstract: Continuous injection models of spectral ageing have long been used to determine the age of radio galaxies from their integrated spectrum; however, many questions about their reliability remain unanswered. With various large area surveys imminent (e.g. LOFAR, MeerKAT, MWA) and planning for the next generation of radio interferometer well underway (e.g. ngVLA, SKA), investigations of radio galaxy physics are set to shift away from studies of individual sources to the population as a whole. Determining if and how integrated models of spectral ageing can be applied in the era of big data is therefore crucial. In this paper, I compare classical integrated models of spectral ageing to recent well resolved studies that use modern analysis techniques on small spatial scales to determine their robustness and validity as a source selection method. I find that integrated models are unable to recover key parameters and, even when known a priori, provide a poor, frequency dependent description of a source's spectrum. I show a disparity of up to a factor of 6 in age between the integrated and resolved methods but suggest, even with these inconsistencies, such models still provide a potential method of candidate selection in the search for remnant radio galaxies and in providing a cleaner selection of high redshift radio galaxies in $z - {\alpha}$ selected samples.


title: A Robotic Prosthesis for an Amputee Drummer

abstract: The design and evaluation of a robotic prosthesis for a drummer with a transradial amputation is presented. The principal objective of the prosthesis is to simulate the role fingers play in drumming. This primarily includes controlling the manner in which the drum stick rebounds after initial impact. This is achieved using a DC motor driven by a variable impedance control framework in a shared control system. The user's ability to perform with and control the prosthesis is evaluated using a musical synchronization study. A secondary objective of the prosthesis is to explore the implications of musical expression and human-robotic interaction when a second, completely autonomous, stick is added to the prosthesis. This wearable robotic musician interacts with the user by listening to the music and responding with different rhythms and behaviors. We recount some empirical findings based on the user's experience of performing under such a paradigm.


title: Simultaneous X-ray and radio observations of the radio-mode switching pulsar PSR B1822-09

abstract: We report on simultaneous X-ray and radio observations of the radio-mode-switching pulsar PSR B1822-09 with ESA's XMM-Newton and the WSRT, GMRT and Lovell radio telescopes. PSR B1822-09 switches between a radio-bright and radio-quiet mode, and we discovered a relationship between the durations of its modes and a known underlying radio-modulation timescale within the modes. We discovered X-ray (energies 0.2-1.4 keV) pulsations with a broad sinusoidal pulse, slightly lagging the radio main pulse in phase by 0.094 +/- 0.017, with an energy-dependent pulsed fraction varying from ~0.15 at 0.3 keV to ~0.6 at 1 keV. No evidence is found for simultaneous X-ray and radio mode switching. The total X-ray spectrum consists of a cool component (T ~ 0.96 x 10^6 K, hot-spot radius R ~ 2.0 km) and a hot component (T ~ 2.2 x 10^6 K, R ~ 100 m). The hot component can be ascribed to the pulsed emission and the cool component to the unpulsed emission. The high-energy characteristics of PSR B1822-09 resemble those of middle-aged pulsars such as PSR B0656+14, PSR B1055-52 and Geminga, including an indication for pulsed high-energy gamma-ray emission in Fermi LAT data. Explanations for the high pulsed fraction seem to require different temperatures at the two poles of this orthogonal rotator, or magnetic anisotropic beaming effects in its strong magnetic field. In the X-ray skymap we found a harder source at only (5.1+/- 0.5 )arcsec from PSR B1822-09, which might be a pulsar wind nebula.


title: To the Edge of M87 and Beyond: Spectroscopy of Intracluster Globular Clusters and Ultra Compact Dwarfs in the Virgo Cluster

abstract: We present the results from a wide-field spectroscopic survey of globular clusters (GCs) in the Virgo Cluster. We obtain spectra for 201 GCs and 55 ultracompact dwarfs (UCDs) using the Hectospec on the Multiple Mirror Telescope, and derive their radial velocities. We identify 46 genuine intracluster GCs (IGCs), not associated with any Virgo galaxies, using the 3D GMM test on the spatial and radial velocity distribution.They are located at the projected distance 200 kpc $\lesssim$ R $\lesssim$ 500 kpc from the center of M87. The radial velocity distribution of these IGCs shows two peaks, one at $v_{\rm r}$ = 1023 km s$^{-1}$ associated with the Virgo main body, and another at $v_{\rm r}$ = 36 km s$^{-1}$ associated with the infalling structure. The velocity dispersion of the IGCs in the Virgo main body is $\sigma_{\rm{GC}} \sim$ 314 km s$^{-1}$, which is smoothly connected to the velocity dispersion profile of M87 GCs, but much lower than that of dwarf galaxies in the same survey field, $\sigma_{\rm{dwarf}} \sim$ 608 km s$^{-1}$. The UCDs are more centrally concentrated on massive galaxies, M87, M86, and M84. The radial velocity dispersion of the UCD system is much smaller than that of dwarf galaxies. Our results confirm the large-scale distribution of Virgo IGCs indicated by previous photometric surveys. The color distribution of the confirmed IGCs shows a bimodality similar to that of M87 GCs. This indicates that most IGCs are stripped off from dwarf galaxies and some from massive galaxies in the Virgo.


title: Holographic Preheating: Quasi-Normal Modes and Holographic Renormalization

abstract: In the holographic description of cosmic preheating proposed in an accompanied Letter [1], the energy transfer between the inflaton and matter field at strong coupling is suggested to be mimicked by superfluid and normal components of a superconductor on Friedmann-Robertson-Walker (FRW) boundary in an asymptotically Anti-de Sitter (AdS) spacetime. In this paper we investigated two aspects of the scenario of holographic preheating that are not included in the accompanied work. Firstly, we study in detail the evolution of the quasi-normal modes (QNMs) surrounding a metastable hairy black hole. This analysis can quantitatively describe the preheating process of the matter field that is produced continuously in the case of strong coupling. Secondly, we present a detailed analysis of the holographic renormalization for the AdS-FRW background, which allows us to extract operator expectation values for studying cosmological implications.


title: Using long-term millisecond pulsar timing to obtain physical characteristics of the bulge globular cluster Terzan 5

abstract: Over the past decade the discovery of three unique stellar populations and a large number of confirmed pulsars within the globular cluster Terzan 5 has raised questions over its classification. Using the long-term radio pulsar timing of 36 millisecond pulsars in the cluster core, we provide new measurements of key physical properties of the system. As Terzan 5 is located within the galactic bulge, stellar crowding and reddening make optical and near infrared observations difficult. Pulsar accelerations, however, allow us to study the intrinsic characteristics of the cluster independent of reddening and stellar crowding and probe the mass density profile without needing to quantify the mass to light ratio. Relating the spin and orbital periods of each pulsar to the acceleration predicted by a King model, we find a core density of $1.58\times$10$^6$ M$_\odot$ pc$^{-3}$, a core radius of 0.16 pc, a pulsar density profile $n\propto r^{-3.14}$, and a total mass of M$_{\rm T}$($R_\perp<$1.0 pc)$\simeq3.0\times$10$^5$ M$_\odot$ assuming a cluster distance of 5.9 kpc. Using this information we argue against Terzan 5 being a disrupted dwarf galaxy and discuss the possibility of Terzan 5 being a fragment of the Milky Way's proto-bulge. We also discuss whether low-mass pulsars were formed via electron capture supernovae or exist in a core full of heavy white dwarfs and hard binaries. Finally we provide an upper limit for the mass of a possible black hole at the core of the cluster of 3.0$\times$10$^4$ M$_\odot$.


title: Acoustic Edge Magnetoplasmons and Quantum Hall Effect

abstract: Discussed in the present study are details of the behavior of low-frequency "acoustic" ($ac$) modes in the spectrum of edge magnetoplasma oscillations in axially symmetric degenerate 2D electron systems where electron density distribution $n(\vec r)$ behaves as $n(\vec r \to R)\to 0$ when $r$ approaches the external radius $R$ of the domain occupied by electrons. It is shown that finding the dependence of the spectrum of $ac$-modes on radial ($l$) and azimuthal ($m$) indices when both $l$ and $m$ are small requires axially symmetric solution of the relevant problem. The desires is achieved in the so-called elliptic approximation for electron density distribution $n(\vec r)$. The obtained results are employed to interpret available data on the excitation of $ac$-modes in degenerate electron disks with smooth electron density profile placed in the magnetic field $H$ normal to the disk plane. The performed analysis confirms reported detection of the soft $ac$-mode in the range of $H \gg H_{max}$ where $H_{max}$ is the field at which the maximum of the $\omega_{lm}^{s}(H)$ curve is observed (here and below $\omega_{lm}^{s}(H)$ stands for the frequency of the soft $ac$-mode). A strong interaction of the $ac$-modes with $(integer)$-channels inevitably arising near the boundaries of 2D electron systems with smooth electron density profile as the magnetic field is varied in the Quantum Hall Effect (QHE) regime is emphasized. Well-formed $integer$-stripes can suppress some acoustic modes which is actually observed in experiments.


title: XMM-Newton Observations of the Peculiar Cataclysmic Variable Lanning 386: X-ray evidence for a Magnetic Primary

abstract: We present the first X-ray observations of the eclipsing cataclysmic variables Lanning 386 and MASTER OTJ192328.22+612413.5, possible SW Sextantis systems. The X-ray light curve of Lanning 386 shows deep eclipses, similar to the eclipses seen in the optical light curve, confirming the high inclination of the system. There is evidence of a periodicity between 17-22 min in the X-ray and optical light curves of Lanning 386, which is associated with quasi-periodic oscillations. This system also displays a hard X-ray spectrum which is well fit by a partially covered, absorbed 2 temperature plasma. The cool plasma temperature (0.24$^{+0.17}_{-0.08}$ keV) and hot plasma temperature (9$^{+4}_{-2}$ keV) are not atypical plasma temperatures of known intermediate polar systems. Based on this model, we suggest that Lanning 386 is an intermediate polar with a high accretion rate. The hot plasma temperature limits the white dwarf mass to $>$0.5 M$_{\odot}$. From the optical spectrum obtained using the Large Binocular Telescope, we find that the secondary in the system is consistent with an M5V star, and refine the distance to Lanning 386 to be 160$\pm$50 pc. Finally, we use the high time resolution of the optical spectra to crudely constrain the magnetic moment of the white dwarf in Lanning 386. J1923 was not detected during the observations, but the upper limit on the flux is inline with J1923 and Lanning 386 being related.


title: Chemical bonding and electronic-structure in MAX phases as viewed by X-ray spectroscopy and density functional theory

abstract: This is a critical review of MAX-phase carbides and nitrides from an electronic-structure and chemical bonding perspective. This large group of nanolaminated materials is of great scientific and technological interest and exhibit a combination of metallic and ceramic features. These properties are related to the special crystal structure and bonding characteristics with alternating strong M-C bonds in high-density MC slabs, and relatively weak M-A bonds between the slabs. Here, we review the trend and relationship between the chemical bonding, conductivity, elastic and magnetic properties of the MAX phases in comparison to the parent binary MX compounds with the underlying electronic structure probed by polarized X-ray spectroscopy. Spectroscopic studies constitute important tests of the results of state-of-the-art electronic structure density functional theory that is extensively discussed and are generally consistent. By replacing the elements on the M, A, or X-sites in the crystal structure, the corresponding changes in the conductivity, elasticity, magnetism and other materials properties makes it possible to tailor the characteristics of this class of materials by controlling the strengths of their chemical bonds.


title: Acid induced assembly of a reconstituted silk protein system

abstract: Silk cocoons are reconstituted into an aqueous suspension, and protein stability is investigated by comparing the protein's response to hydrochloric acid and sodium chloride. Aggregation occurs at <8 mM hydrochloric acid that is not correlated to protein protonation, while sodium chloride over the same range of concentrations does not cause aggregation. We measure the structures present on the protein and aggregate lengthscales in these solutions using both optical and neutron scattering, while mass spectrometry techniques shed light on a possible mechanism for aggregate formation. We find that the introduction of acid modulates the aggregate size and pervaded volume of the protein, an effect that is not observed with salt.


title: Two Dimensional Riemann Problems for the Nonlinear Wave System: Rarefaction Wave Interactions

abstract: We analyze rarefaction wave interactions of self-similar transonic irrotational flow in gas dynamics for the two dimensional Riemann problems. We establish the existence result of the supersonic solution to the prototype nonlinear wave system for the sectorial Riemann data, and study the formation of the sonic boundary and the transonic shock. The transition from the sonic boundary to the shock boundary inherits at least two types of degeneracies (1) the system is sonic, and in addition (2) the angular derivative of the solution becomes zero where the sonic and shock boundaries meet.


title: The Dense Molecular Gas and Nuclear Activity in the ULIRG IRAS 13120-5453

abstract: We present new ALMA Band 7 ($\sim340$ GHz) observations of the dense gas tracers HCN, HCO$^+$, and CS in the local, single-nucleus, ultraluminous infrared galaxy IRAS 13120-5453. We find centrally enhanced HCN (4-3) emission, relative to HCO$^+$ (4-3), but do not find evidence for radiative pumping of HCN. Considering the size of the starburst (0.5 kpc) and the estimated supernovae rate of $\sim1.2$ yr$^{-1}$, the high HCN/HCO$^+$ ratio can be explained by an enhanced HCN abundance as a result of mechanical heating by the supernovae, though the active galactic nucleus and winds may also contribute additional mechanical heating. The starburst size implies a high $\Sigma_{IR}$ of $4.7\times10^{12}$ $L_{\odot}$ kpc$^{-2}$, slightly below predictions of radiation-pressure limited starbursts. The HCN line profile has low-level wings, which we tentatively interpret as evidence for outflowing dense molecular gas. However, the dense molecular outflow seen in the HCN line wings is unlikely to escape the galaxy and is destined to return to the nucleus and fuel future star formation. We also present modeling of Herschel observations of the H$_2$O lines and find a nuclear dust temperature of $\sim40$ K. IRAS 13120-5453 has a lower dust temperature and $\Sigma_{IR}$ than is inferred for the systems termed "compact obscured nuclei" (such as Arp 220 and Mrk 231). If IRAS 13120-5453 has undergone a compact obscured nucleus phase, we are likely witnessing it at a time when the feedback has already inflated the nuclear ISM and diluted star formation in the starburst/AGN core.


title: Finding Tiny Faces

abstract: Though tremendous strides have been made in object recognition, one of the remaining open challenges is detecting small objects. We explore three aspects of the problem in the context of finding small faces: the role of scale invariance, image resolution, and contextual reasoning. While most recognition approaches aim to be scale-invariant, the cues for recognizing a 3px tall face are fundamentally different than those for recognizing a 300px tall face. We take a different approach and train separate detectors for different scales. To maintain efficiency, detectors are trained in a multi-task fashion: they make use of features extracted from multiple layers of single (deep) feature hierarchy. While training detectors for large objects is straightforward, the crucial challenge remains training detectors for small objects. We show that context is crucial, and define templates that make use of massively-large receptive fields (where 99% of the template extends beyond the object of interest). Finally, we explore the role of scale in pre-trained deep networks, providing ways to extrapolate networks tuned for limited scales to rather extreme ranges. We demonstrate state-of-the-art results on massively-benchmarked face datasets (FDDB and WIDER FACE). In particular, when compared to prior art on WIDER FACE, our results reduce error by a factor of 2 (our models produce an AP of 82% while prior art ranges from 29-64%).


title: You Are What You Eat... Listen to, Watch, and Read

abstract: This article describes a data driven method for deriving the relationship between personality and media preferences. A qunatifiable representation of such a relationship can be leveraged for use in recommendation systems and ameliorate the "cold start" problem. Here, the data is comprised of an original collection of 1,316 Okcupid dating profiles. Of these profiles, 800 are labeled with one of 16 possible Myers-Briggs Type Indicators (MBTI). A personality specific topic model describing a person's favorite books, movies, shows, music, and food was generated using latent Dirichlet allocation (LDA). There were several significant findings, for example, intuitive thinking types preferred sci-fi/fantasy entertainment, extraversion correlated positively with upbeat dance music, and jazz, folk, and international cuisine correlated positively with those characterized by openness to experience. Many other correlations confirmed previous findings describing the relationship among personality, writing style, and personal preferences. (For complete word/personality type assocations see the Appendix).


title: K3 String Theory, Lattices and Moonshine

abstract: In this paper we address the following two closely related questions. First, we complete the classification of finite symmetry groups of type IIA string theory on $K3\times \mathbb R^6$, where Niemeier lattices play an important role. This extends earlier results by including points in the moduli space with enhanced gauge symmetries in spacetime, or, equivalently, where the world-sheet CFT becomes singular. After classifying the symmetries as abstract groups, we study how they act on the BPS states of the theory. In particular, we classify the conjugacy classes in the T-duality group $O^+(\Gamma^{4,20})$ which represent physically distinct symmetries. Subsequently, we make two conjectures regarding the connection between the corresponding twining genera of $K3$ CFTs and Conway and umbral moonshine, building upon earlier work on the relation between moonshine and the $K3$ elliptic genus.


title: Partial regularity of weak solutions to a PDE system with cubic nonlinearity

abstract: In this paper we investigate regularity properties of weak solutions to a PDE system that arises in the study of biological transport networks. The system consists of a possibly singular elliptic equation for the scalar pressure of the underlying biological network coupled to a diffusion equation for the conductance vector of the network. There are several different types of nonlinearities in the system. Of particular mathematical interest is a term that is a polynomial function of solutions and their partial derivatives and this polynomial function has degree three. That is, the system contains a cubic nonlinearity. Only weak solutions to the system have been shown to exist. The regularity theory for the system remains fundamentally incomplete. In particular, it is not known whether or not weak solutions develop singularities. In this paper we obtain a partial regularity theorem, which gives an estimate for the parabolic Hausdorff dimension of the set of possible singular points.


title: Characterization of truncated Toeplitz operators by conjugations

abstract: Truncated Toeplitz operators are C--symmetric with respect to the canonical conjugation given on an appropriate model space. However, by considering only one conjugation one cannot characterize truncated Toeplitz operators. It will be proved, for some classes of inner functions and the model spaces connected with them, that if an operator on a model space is C--symmetric for a certain family of conjugations in the model space, then is has to be truncated Toeplitz. A characterization of classical Toeplitz operators is also presented in terms of conjugations.


title: Dynamic Convex Duality in Constrained Utility Maximization

abstract: In this paper, we study a constrained utility maximization problem following the convex duality approach. After formulating the primal and dual problems, we construct the necessary and sufficient conditions for both the primal and dual problems in terms of FBSDEs plus additional conditions. Such formulation then allows us to explicitly characterize the primal optimal control as a function of the adjoint process coming from the dual FBSDEs in a dynamic fashion and vice versa. Moreover, we also find that the optimal primal wealth process coincides with the adjoint process of the dual problem and vice versa. Finally we solve three constrained utility maximization problems, which contrasts the simplicity of the duality approach we propose and the technical complexity of solving the primal problems directly.


title: Effects of inertia and turbulence on rheological measurements of neutrally-buoyant suspensions

abstract: For low-Reynolds number shear-flows of neutrally-buoyant suspensions, the shear stress is often modeled using an effective viscosity that depends only on the solid fraction. As the Reynolds number ($Re$) is increased and inertia becomes important, the effective viscosity also depends on the Reynolds number itself. The current experiments measure the torque for flows of neutrally-buoyant particles in a coaxial-cylinder rheometer for solid fractions, $\phi$, from 10\% to 50\% and Reynolds numbers based on particle diameter from 2 to 1,000. For experiments for Reynolds of O(10) and solid fractions less than $30\%$, the effective viscosity increases with Reynolds number, in good agreement with recent numerical simulations found in the literature. At higher solid fractions over the same range of $Re$, the results show a decrease in torque with shear rate. For Reynolds numbers greater than 100 and lower solids concentrations, the effective viscosity continues to increase with Reynolds number. However, based on comparisons with pure fluid measurements the increase in the measured effective viscosity results from the transition to turbulence. The particles augment the turbulence by increasing the magnitude of the measured torques and causing the flow to transition at lower Reynolds numbers. For the highest solid fractions, the measurements show a significant increase in the magnitude of the torques, but the effective viscosity is independent of Reynolds number.


title: Comments on Improving Transferability Between Different Engineering Stages in the Development of Automated Material Flow Modules

abstract: In the paper by D. Regulin et al. (IEEE Trans. On Automation Science and Engineering, vol. 13, no. 4, 1422-1432, October 2016) authors claim that they present a meta-model for the modeling of the Automated Material Flow Module (aMFM) and a model-driven design approach for aMFMs. In this letter we comment on the presented meta-model and the proposed model-driven approach regarding their potential for exploitation. We present specific arguments and make cases that call the authors design decision into question.


title: The Divisibility Graph of finite groups of Lie Type

abstract: The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the Divisibility Graph of the finite groups of Lie type in odd characteristic.


title: Sur une variante des troncatures d'Arthur

abstract: We show that, for a large class of test functions, the unipotent contributions in the trace formula for $GL(n)$ over a number field, can be obtained from zeta functions and integrals of Eisenstein series. The main innovation is a new truncation borrowed from a work of Schiffmann on Higgs bundles.


title: Using Galaxy Formation Simulations to optimise LIGO Follow-Up Observations

abstract: The recent discovery of gravitational radiation from merging black holes poses a challenge of how to organize the electromagnetic follow-up of gravitational-wave events as well as observed bursts of neutrinos. We propose a technique to select the galaxies that are most likely to host the event given some assumptions of whether the particular event is associated with recent star formation, low metallicity stars or simply proportional to the total stellar mass in the galaxy. We combine data from the 2-MASS Photometric Redshift Galaxy Catalogue with results from galaxy formation simulations to develop observing strategies that potentially reduce the area of sky to search by up to a factor of two relative to an unweighted search of galaxies, and a factor twenty to a search over the entire LIGO localization region.


title: Inferring object rankings based on noisy pairwise comparisons from multiple annotators

abstract: Ranking a set of objects involves establishing an order allowing for comparisons between any pair of objects in the set. Oftentimes, due to the unavailability of a ground truth of ranked orders, researchers resort to obtaining judgments from multiple annotators followed by inferring the ground truth based on the collective knowledge of the crowd. However, the aggregation is often ad-hoc and involves imposing stringent assumptions in inferring the ground truth (e.g. majority vote). In this work, we propose Expectation-Maximization (EM) based algorithms that rely on the judgments from multiple annotators and the object attributes for inferring the latent ground truth. The algorithm learns the relation between the latent ground truth and object attributes as well as annotator specific probabilities of flipping, a metric to assess annotator quality. We further extend the EM algorithm to allow for a variable probability of flipping based on the pair of objects at hand. We test our algorithms on two data sets with synthetic annotations and investigate the impact of annotator quality and quantity on the inferred ground truth. We also obtain the results on two other data sets with annotations from machine/human annotators and interpret the output trends based on the data characteristics.


title: Einstein's quadrupole formula from the kinetic-conformal Horava theory

abstract: We analyze the radiative and nonradiative linearized variables in a gravity theory within the familiy of the nonprojectable Horava theories, the Horava theory at the kinetic-conformal point. There is no extra mode in this formulation, the theory shares the same number of degrees of freedom with general relativity. The large-distance effective action, which is the one we consider, can be given in a generally-covariant form under asymptotically flat boundary conditions, the Einstein-aether theory under the condition of hypersurface orthogonality on the aether vector. In the linearized theory we find that only the transverse-traceless tensorial modes obey a sourced wave equation, as in general relativity. The rest of variables are nonradiative. The result is gauge-independent at the level of the linearized theory. For the case of a weak source, we find that the leading mode in the far zone is exactly Einstein's quadrupole formula of general relativity, if some coupling constants are properly identified. There are no monopoles nor dipoles in this formulation, in distinction to the nonprojectable Horava theory outside the kinetic-conformal point. We also discuss some constraints on the theory arising from the observational bounds on Lorentz-violating theories.


title: Recommendations and illustrations for the evaluation of photonic random number generators

abstract: The never-ending quest to improve the security of digital information combined with recent improvements in hardware technology has caused the field of random number generation to undergo a fundamental shift from relying solely on pseudo-random algorithms to employing optical entropy sources. Despite these significant advances on the hardware side, commonly used statistical measures and evaluation practices remain ill-suited to understand or quantify the optical entropy that underlies physical random number generation. We review the state of the art in the evaluation of optical random number generation and recommend a new paradigm: quantifying entropy generation and understanding the physical limits of the optical sources of randomness. In order to do this, we advocate for the separation of the physical entropy source from deterministic post-processing in the evaluation of random number generators and for the explicit consideration of the impact of the measurement and digitization process on the rate of entropy production. We present the Cohen-Procaccia estimate of the entropy rate $h(\epsilon,\tau)$ as one way to do this. In order to provide an illustration of our recommendations, we apply the Cohen-Procaccia estimate as well as the entropy estimates from the new NIST draft standards for physical random number generators to evaluate and compare three common optical entropy sources: single photon time-of-arrival detection, chaotic lasers, and amplified spontaneous emission.


title: Volume dependence of baryon number cumulants and their ratios

abstract: We explore the influence of finite volume effects on baryon number fluctuations in a non-perturbative chiral model. In order to account for soft modes, we use the functional renormalization group in a finite volume, using a smooth regulator function in momentum space. We compare the results for a smooth regulator with those for a sharp (or Litim) regulator, and show that in a finite volume, the latter produces spurious artifacts. In a finite volume there are only apparent critical points, about which we compute the ratio of the fourth to the second order cumulant of quark number fluctuations. When the volume is sufficiently small the system has two apparent critical points; as the system size decreases, the location of the apparent critical point can move to higher temperature and lower chemical potential.


title: Projected distances to host galaxy reduce SNIa dispersion

abstract: We use multi-band imagery data from the Sloan Digital Sky Survey (SDSS) to measure projected distances of 302 supernova type Ia (SNIa) from the centre of their host galaxies, normalized to the galaxy's brightness scale length, with a Bayesian approach. We test the hypothesis that SNIas further away from the centre of their host galaxy are less subject to dust contamination (as the dust column density in their environment is smaller) and/or come from a more homogeneous environment. Using the Mann-Whitney U test, we find a statistically significant difference in the observed colour correction distribution between SNIas that are near and those that are far from the centre of their host. The local p-value is 3 x 10^{-3}, which is significant at the 5 per cent level after look-elsewhere effect correction. We estimate the residual scatter of the two subgroups to be 0.073 +/- 0.018 for the far SNIas, compared to 0.114 +/- 0.009 for the near SNIas -- an improvement of 30 per cent, albeit with a low statistical significance of 2sigma. This confirms the importance of host galaxy properties in correctly interpreting SNIa observations for cosmological inference.


title: User Model-Based Intent-Aware Metrics for Multilingual Search Evaluation

abstract: Despite the growing importance of multilingual aspect of web search, no appropriate offline metrics to evaluate its quality are proposed so far. At the same time, personal language preferences can be regarded as intents of a query. This approach translates the multilingual search problem into a particular task of search diversification. Furthermore, the standard intent-aware approach could be adopted to build a diversified metric for multilingual search on the basis of a classical IR metric such as ERR. The intent-aware approach estimates user satisfaction under a user behavior model. We show however that the underlying user behavior models is not realistic in the multilingual case, and the produced intent-aware metric do not appropriately estimate the user satisfaction. We develop a novel approach to build intent-aware user behavior models, which overcome these limitations and convert to quality metrics that better correlate with standard online metrics of user satisfaction.


title: Time-dependent restricted-active-space self-consistent-field theory for bosonic many-body systems

abstract: We describe the time-dependent restricted-active-space self-consistent-field (TD-RASSCF) method for a system of interacting bosons. We provide the theory of the method and discuss its numerical implementation. The method provides a general wavefunction based approach to solve the time-dependent and time-independent Schr\"odinger equation for a system of bosons. It is based on the time-dependent variational principle to optimize at each instant of time a set of time-dependent coefficients and time-dependent orbitals used to describe the total wavefunction. Including the concept of a restricted-active-space, the exponential growth of the configurational space, resulting from all possible distributions of $N$ bosons in $M$ orbitals, can be controlled trough a specific excitation scheme. We show, by illustrative time-independent and time-dependent examples, that the method provides an accurate description of the system with a substantially smaller configurational space than the one required in the multi-configurational time-dependent Hartree method for bosons (MCTDHB). The TD-RASSCF method can also tackle problems beyond the reach of the MCTDHB method when a large number of orbitals are required.


title: Gram Determinants of Real Binary Tensors

abstract: A binary tensor consists of $2^n$ entries arranged into hypercube format $2 \times 2 \times \cdots \times 2$. There are $n$ ways to flatten such a tensor into a matrix of size $2 \times 2^{n-1}$. For each flattening, $M$, we take the determinant of its Gram matrix, ${\rm det }(M M^T)$. We consider the map that sends a tensor to its $n$-tuple of Gram determinants. We propose a semi-algebraic characterization of the image of this map. This offers an answer to a question raised by Hackbusch and Uschmajew concerning the higher-order singular values of tensors.


title: Steady-state spin synchronization through the collective motion of trapped ions

abstract: Ultranarrow-linewidth atoms coupled to a lossy optical cavity mode synchronize, i.e. develop correlations, and exhibit steady-state superradiance when continuously repumped. This type of system displays rich collective physics and promises metrological applications. These features inspire us to investigate if analogous spin synchronization is possible in a different platform that is one of the most robust and controllable experimental testbeds currently available: ion-trap systems. We design a system with a primary and secondary species of ions that share a common set of normal modes of vibration. In analogy to the lossy optical mode, we propose to use a lossy normal mode, obtained by sympathetic cooling with the secondary species of ions, to mediate spin synchronization in the primary species of ions. Our numerical study shows that spin-spin correlations develop, leading to a macroscopic collective spin in steady-state. We propose an experimental method based on Ramsey interferometry to detect signatures of this collective spin; we predict that correlations prolong the visibility of Ramsey fringes, and that population statistics at the end of the Ramsey sequence can be used to directly infer spin-spin correlations.


title: On topological classification of complex mappings

abstract: We study the topological invariant $\phi$ of Kwieci\'nski and Tworzewski, particularly beyond the case of mappings with smooth targets. We derive a lower bound for $\phi$ of a general mapping, which is similarly effective as the upper bound given by Kwieci\'nski and Tworzewski. Some classes of mappings are identified for which the exact value of $\phi$ can be computed. Also, we prove that the variation of $\phi$ on the source space of a mapping with a smooth target is semicontinuous in Zariski topology.


title: Modeling cognitive deficits following neurodegenerative diseases and traumatic brain injuries with deep convolutional neural networks

abstract: The accurate diagnosis and assessment of neurodegenerative disease and traumatic brain injuries (TBI) remain open challenges. Both cause cognitive and functional deficits due to focal axonal swellings (FAS), but it is difficult to deliver a prognosis due to our limited ability to assess damaged neurons at a cellular level in vivo. We simulate the effects of neurodegenerative disease and TBI using convolutional neural networks (CNNs) as our model of cognition. We utilize biophysically relevant statistical data on FAS to damage the connections in CNNs in a functionally relevant way. We incorporate energy constraints on the brain by pruning the CNNs to be less over-engineered. Qualitatively, we demonstrate that damage leads to human-like mistakes. Our experiments also provide quantitative assessments of how accuracy is affected by various types and levels of damage. The deficit resulting from a fixed amount of damage greatly depends on which connections are randomly injured, providing intuition for why it is difficult to predict impairments. There is a large degree of subjectivity when it comes to interpreting cognitive deficits from complex systems such as the human brain. However, we provide important insight and a quantitative framework for disorders in which FAS are implicated.


title: A positive characterization of rational maps

abstract: When is a topological branched self-cover of the sphere equivalent to a rational map on CP^1? William Thurston gave one answer in 1982, giving a negative criterion (an obstruction to a map being rational). We give a complementary, positive criterion: the branched self-cover is equivalent to a rational map if and only if there is an elastic spine that gets "looser" under backwards iteration. This completes a series announced in arXiv:1502.02561 and started in arXiv:1507.05294 and arXiv:1607.00340.


title: On the Convergence of Asynchronous Parallel Iteration with Unbounded Delays

abstract: Recent years have witnessed the surge of asynchronous parallel (async-parallel) iterative algorithms due to problems involving very large-scale data and a large number of decision variables. Because of asynchrony, the iterates are computed with outdated information, and the age of the outdated information, which we call delay, is the number of times it has been updated since its creation. Almost all recent works prove convergence under the assumption of a finite maximum delay and set their stepsize parameters accordingly. However, the maximum delay is practically unknown. This paper presents convergence analysis of an async-parallel method from a probabilistic viewpoint, and it allows for large unbounded delays. An explicit formula of stepsize that guarantees convergence is given depending on delays' statistics. With $p+1$ identical processors, we empirically measured that delays closely follow the Poisson distribution with parameter $p$, matching our theoretical model, and thus the stepsize can be set accordingly. Simulations on both convex and nonconvex optimization problems demonstrate the validness of our analysis and also show that the existing maximum-delay induced stepsize is too conservative, often slowing down the convergence of the algorithm.


title: Improving Neural Language Models with a Continuous Cache

abstract: We propose an extension to neural network language models to adapt their prediction to the recent history. Our model is a simplified version of memory augmented networks, which stores past hidden activations as memory and accesses them through a dot product with the current hidden activation. This mechanism is very efficient and scales to very large memory sizes. We also draw a link between the use of external memory in neural network and cache models used with count based language models. We demonstrate on several language model datasets that our approach performs significantly better than recent memory augmented networks.


title: Generating indistinguishable photons from a quantum dot in a noisy environment

abstract: Single photons from semiconductor quantum dots are promising resources for linear optical quantum computing, or, when coupled to spin states, quantum repeaters. To realize such schemes, the photons must exhibit a high degree of indistinguishability. However, the solid-state environment presents inherent obstacles for this requirement as intrinsic semiconductor fluctuations can destroy the photon indistinguishability. Here we use resonance fluorescence to generate indistinguishable photons from a single quantum dot in an environment filled with many charge-fluctuating traps. Over long time-scales ($>50$ $\mu$s), flickering of the emission due to significant spectral fluctuations reduce the count rates. Nevertheless, due to the specificity of resonance fluorescence, high-visibility two-photon interference is achieved.


title: Non-Hermitian random matrices with a variance profile (I): Deterministic equivalents and limiting ESDs

abstract: For each $n$, let $A_n=(\sigma_{ij})$ be an $n\times n$ deterministic matrix and let $X_n=(X_{ij})$ be an $n\times n$ random matrix with i.i.d. centered entries of unit variance. We study the asymptotic behavior of the empirical spectral distribution $\mu_n^Y$ of the rescaled entry-wise product \[ Y_n = \left(\frac1{\sqrt{n}} \sigma_{ij}X_{ij}\right). \] For our main result we provide a deterministic sequence of probability measures $\mu_n$, each described by a family of Master Equations, such that the difference $\mu^Y_n - \mu_n$ converges weakly in probability to the zero measure. A key feature of our results is to allow some of the entries $\sigma_{ij}$ to vanish, provided that the standard deviation profiles $A_n$ satisfy a certain quantitative irreducibility property. An important step is to obtain quantitative bounds on the solutions to an associate system of Schwinger--Dyson equations, which we accomplish in the general sparse setting using a novel graphical bootstrap argument.


title: Differential Galois Groups and Representation of Quivers for Seismic Models with Constant Hessian of Square of Slowness

abstract: The trajectory of energy is modeled by the solution of the Eikonal equation, which can be solved by solving a Hamiltonian system. This system is amenable of treatment from the point view of the theory of Differential Algebra. In particular, by Morales-Ramis theory it is possible to analyze integrable Hamiltonian systems through the abelian structure of their variational equations. In this paper we obtain the abelian differential Galois groups and the representation of the quiver, that allow us to obtain such abelian differential Galois groups, for some seismic models with constant Hessian of square of slowness, proposed in Cerveny 2001, which are equivalent to linear Hamiltonian systems with three uncoupled harmonic oscillators.


title: Aesop Fable for Network Loops

abstract: Detecting loops in data networks usually involves counting down a hop limit or caching data at each hop to detect a cycle. Using a hop limit means that the origin of a packet must know the maximum distance a packet could travel without loops. It also means a loop is not detected until it travels that maximum distance, even if that is many loops. Caching a packet signature at each hop, such as a hash or nonce, could require large amounts of memory at every hop because that cached information must persist for as long as a loop could forward packets. This paper presents a new distributed loop detection mechanism based on a Tortoise and Hare algorithm that can quickly detect loops without caching per-packet data at each hop with a modest amount of additional state in each packet.


title: Identification of Cancer Patient Subgroups via Smoothed Shortest Path Graph Kernel

abstract: Characterizing patient somatic mutations through next-generation sequencing technologies opens up possibilities for refining cancer subtypes. However, catalogues of mutations reveal that only a small fraction of the genes are altered frequently in patients. On the other hand different genomic alterations may perturb the same pathways. We propose a novel clustering procedure that quantifies the similarities of patients from their mutational profile on pathways via a novel graph kernel. We represent each KEGG pathway as an undirected graph. For each patient the vertex labels are assigned based on her altered genes. Smoothed shortest path graph kernel (smSPK) evaluates each pair of patients by comparing their vertex labeled pathway graphs. Our clustering procedure involves two steps: the smSPK kernel matrix derived for each pathway are input to kernel k-means algorithm and each pathway is evaluated individually. In the next step, only those pathways that are successful are combined in to a single kernel input to kernel k-means to stratify patients. Evaluating the procedure on simulated data showed that smSPK clusters patients up to 88\% accuracy. Finally to identify ovarian cancer patient subgroups, we apply our methodology to the cancer genome atlas ovarian data that involves 481 patients. The identified subgroups are evaluated through survival analysis. Grouping patients into four clusters results with patients groups that are significantly different in their survival times ($p$-value $\le 0.005$).


title: An argumentative agent-based model of scientific inquiry

abstract: In this paper we present an agent-based model (ABM) of scientific inquiry aimed at investigating how different social networks impact the efficiency of scientists in acquiring knowledge. As such, the ABM is a computational tool for tackling issues in the domain of scientific methodology and science policy. In contrast to existing ABMs of science, our model aims to represent the argumentative dynamics that underlies scientific practice. To this end we employ abstract argumentation theory as the core design feature of the model. This helps to avoid a number of problematic idealizations which are present in other ABMs of science and which impede their relevance for actual scientific practice.


title: MaMaDroid: Detecting Android Malware by Building Markov Chains of Behavioral Models

abstract: The rise in popularity of the Android platform has resulted in an explosion of malware threats targeting it. As both Android malware and the operating system itself constantly evolve, it is very challenging to design robust malware mitigation techniques that can operate for long periods of time without the need for modifications or costly re-training. In this paper, we present MaMaDroid, an Android malware detection system that relies on app behavior. MaMaDroid builds a behavioral model, in the form of a Markov chain, from the sequence of abstracted API calls performed by an app, and uses it to extract features and perform classification. By abstracting calls to their packages or families, MaMaDroid maintains resilience to API changes and keeps the feature set size manageable. We evaluate its accuracy on a dataset of 8.5K benign and 35.5K malicious apps collected over a period of six years, showing that it not only effectively detects malware (with up to 99% F-measure), but also that the model built by the system keeps its detection capabilities for long periods of time (on average, 86% and 75% F-measure, respectively, one and two years after training). Finally, we compare against DroidAPIMiner, a state-of-the-art system that relies on the frequency of API calls performed by apps, showing that MaMaDroid significantly outperforms it.


title: Experimental detection of nonclassicality of single-mode fields via intensity moments

abstract: Nonclassicality criteria based on intensity moments and derived from the usual matrix approach are compared to those provided by the majorization theory. The majorization theory is shown to give a greater number of more suitable nonclassicality criteria. Fifteen experimentally useful criteria of the majorization theory containing the intensity moments up to the fifth order are identified. Their performance is experimentally demonstrated on the set of eleven potentially nonclassical states generated from a twin beam by postselection based on detecting a given number of photocounts in one arm by using an iCCD camera.


title: Li(e)nearity

abstract: We demonstrate the fact that linearity is a meaningful symmetry in the sense of Lie and Noether. The role played by that `linearity symmetry' in the quadrature of linear ordinary second-order differential equations is reviewed, by the use of canonical coordinates and the identification of a Wronskian-like conserved quantity as Lie invariant. The Jacobi last multiplier associated with two independent linearity symmetries is applied to derive the Caldirola-Kanai Lagrangian from symmetry principles. Then the symmetry is recognized to be also a Noether one. Finally, the study is extended to higher-order linear ordinary differential equations, derivable or not from an action principle.


title: Hyperbolic deformation of a gauge field theory and the hierarchy problem

abstract: The problem of the gauge hierarchy is brought up in a hypercomplex scheme for a U(1) field theory; in such a scheme a compact gauge group is deformed through a \gamma-parameter that varies along a non-compact internal direction, transverse to the U(1) compact one, and thus an additional SO(1,1) gauge symmetry is incorporated. This transverse direction can be understood as an extra internal dimension, which will control the spontaneous symmetry breakdown, and will allow us to establish a mass hierarchy. In this mechanism there is no brane separation to be stabilized as in the braneworld paradigm, however, a different kind of fine-tuning is needed in order to generate the wished electroweak/Planck hierarchy. By analyzing the effective self-interactions and mass terms of the theory, an interesting duality is revealed between the real and hybrid parts of the effective potential. This duality relates the weak and strong self-interaction regimes of the theory, due to the fact that both mass terms and self-coupling constants appear as one-parameter flows in \gamma. Additionally the \gamma-deformation will establish a flow for the electromagnetic coupling that mimics the renormalization group flow for the charge in QED.


title: Inverse problems for quadratic derivative nonlinear wave equations

abstract: For semilinear wave equations on Lorentzian manifolds with quadratic derivative non-linear terms, we study the inverse problem of determining the background Lorentzian metric. Under some conditions on the nonlinear term, we show that from the source-to-solution map, one can determine the Lorentzian metric up to diffeomorphisms.


title: A reduced-order NLTE kinetic model for radiating plasmas of outer envelopes of stellar atmospheres

abstract: The present work proposes a self-consistent reduced-order NLTE kinetic model for radiating plasmas such as are found in the outer layers of stellar atmospheres. Starting from the most up-to-date set of ab-initio and experimental data, the highly complex collisional-radiative kinetic mechanism is simplified by lumping the bound energy states in groups. Different grouping strategies are investigated, such as uniform and Maxwell-Boltzmann. The reduced set of governing equations for the material gas and the radiation field is obtained based on a moment method. Applications consider the steady flow across a shock wave in partially ionized hydrogen. The results show that adopting a Maxwell-Boltzmann grouping allows, on the one hand, for a substantial reduction of the number of unknowns and, on the other, to maintain accuracy for both gas and radiation quantities. It is observed that, when neglecting line radiation, the use of two groups already leads to a very accurate resolution of the photo-ionization precursor, internal relaxation and radiative cooling regions. The inclusion of line radiation requires adopting just one additional group to account for optically thin losses in the alpha, beta and gamma lines of the Balmer and Paschen series. This trend has been observed for a wide range of shock wave velocities.


title: Blow-up criteria for the Navier-Stokes equations in non-endpoint critical Besov spaces

abstract: We obtain an improved blow-up criterion for solutions of the Navier-Stokes equations in critical Besov spaces. If a mild solution $u$ has maximal existence time $T^* < \infty$, then the non-endpoint critical Besov norms must become infinite at the blow-up time: $$ \lim_{t \uparrow T^*} \lVert{u(\cdot,t)}\rVert_{\dot B^{-1+3/p}_{p,q}(\mathbb{R}^3)} = \infty, \quad 3 < p,q < \infty. $$ In particular, we introduce a priori estimates for the solution based on elementary splittings of initial data in critical Besov spaces and energy methods. These estimates allow us to rescale around a potential singularity and apply backward uniqueness arguments. The proof does not use profile decomposition.


title: Disentangling Space and Time in Video with Hierarchical Variational Auto-encoders

abstract: There are many forms of feature information present in video data. Principle among them are object identity information which is largely static across multiple video frames, and object pose and style information which continuously transforms from frame to frame. Most existing models confound these two types of representation by mapping them to a shared feature space. In this paper we propose a probabilistic approach for learning separable representations of object identity and pose information using unsupervised video data. Our approach leverages a deep generative model with a factored prior distribution that encodes properties of temporal invariances in the hidden feature set. Learning is achieved via variational inference. We present results of learning identity and pose information on a dataset of moving characters as well as a dataset of rotating 3D objects. Our experimental results demonstrate our model's success in factoring its representation, and demonstrate that the model achieves improved performance in transfer learning tasks.


title: Geometric formulas on Rumely's weight function and crucial measure in non-archimedean dynamics

abstract: We introduce the $f$-crucial function $\operatorname{Crucial}_f$ associated to a rational function $f\in K(z)$ of degree $>1$ over an algebraically closed field $K$ of possibly positive characteristic that is complete with respect to a non-trivial and non-archimedean absolute value, and give a global and explicit expression of Rumely's (resultant) function $\operatorname{ordRes}_f$ in terms of the hyperbolic metric $\rho$ on the Berkovich upper half space $\mathsf{H}^1$ in the Berkovich projective line $\mathsf{P}=\mathsf{P}(K)$. We also obtain geometric formulas for Rumely's weight function $w_f$ and crucial measure $\nu_f$ on $\mathsf{P}^1$ associated to $f$, as well as improvements of Rumely's principal results. As an application to dynamics, we obtain a quantitative equidistribution of the sequence $(\nu_{f^n})_n$ of $f^n$-crucial measures towards the $f$-equilibrium (or canonical) measure $\mu_f$ on $\mathsf{P}^1$.


title: Split Q-Balls

abstract: We investigate the presence of non-topological solutions of the Q-ball type in (1, 1) spacetime dimensions. The model engenders the global U(1) symmetry and is of the k-field type, since it contains a new term, of the fourth-order power in the derivative of the complex scalar field. It supports analytical solution of the Q-ball type which is stable quantum mechanically. The new solution engenders an interesting behavior, with the charge and energy densities unveiling a splitting profile.


title: Indivisibility of class numbers of imaginary quadratic fields

abstract: We quantify a recent theorem of Wiles on class numbers of imaginary quadratic fields by proving an estimate for the number of negative fundamental discriminants down to -X whose class numbers are indivisible by a given prime and whose imaginary quadratic fields satisfy any given set of local conditions. This estimate matches the best results in the direction of the Cohen-Lenstra heuristics for the number of imaginary quadratic fields with class number indivisible by a given prime. This general result is applied to study rank 0 twists of certain elliptic curves.


title: Self-Assembled, Nanostructured, Tunable Metamaterials via Spinodal Decomposition

abstract: Self-assembly via nanoscale phase-separation offers an elegant route to fabricate nanocomposites with physical properties unattainable in single-component systems. One important class of nanocomposites are optical metamaterials which exhibit exotic properties and lead to opportunities for agile control of light propagation. Such metamaterials are typically fabricated via expensive and hard-to-scale top-down processes requiring precise integration of dissimilar materials. In turn, there is a need for alternative, more efficient routes to fabricate large-scale metamaterials for practical applications with deep-subwavelength resolution. Here, we demonstrate a bottom-up approach to fabricate scalable nanostructured metamaterials via spinodal decomposition. To demonstrate the potential of such an approach, we leverage the innate spinodal decomposition of the VO2-TiO2 system, the metal-to-insulator transition in VO2, and thin-film epitaxy, to produce self-organized nanostructures with coherent interfaces and a structural unit cell down to 15 nm (tunable between horizontally- and vertically-aligned lamellae) wherein the iso-frequency surface is temperature-tunable from elliptic- to hyperbolic-dispersion producing metamaterial behavior. These results provide an efficient route for the fabrication of nanostructured metamaterials and other nanocomposites for desired functionalities.


title: Weighted Korn inequality on John domains

abstract: We show a weighted version of Korn inequality on bounded euclidean John domains, where the weights are nonnegative powers of the distance to the boundary. In this theorem, we also provide an estimate of the constant involved in the inequality which depends on the power that appears in the weight and a geometric condition that characterizes John domains. The proof uses a local-to-global argument based on a certain decomposition of functions. In addition, we prove the solvability in weighted Sobolev spaces of div(u)=f on the same class of domains. In this case, the weights are nonpositive powers of the distance to the boundary. The constant appearing in this problem is also estimated.


title: Transport coherence in a time-asymmetric rocked ratchet model

abstract: We study the dynamics of an over damped Brownian particle in a saw tooth potential in the presence of a temporal asymmetric driving force. We observe that in the deterministic limit, the transport coherence, which is determined by a dimensionless quantity called Peclet number, $Pe$ is quite high for larger spatial asymmetry in the ratchet potential. For all the regime of parameter space of this model, $Pe$ follows the nature of current like Stokes efficiency. Diffusion as a function of amplitude of drive shows a minimum exactly at which the current shows a maximum. Unlike the previously studied models, the $Pe$ as a function of temperature shows a peaking behavior and the coherence in transport decreases for high temperatures. In the nonadiabatic regime, the $Pe$ as a function of amplitude of drive decreases and the peak gets broader as a result the transport becomes unreliable.


title: Analysis of proposed PDE-based underwater image enhancement algorithms

abstract: This report describes the experimental analysis of proposed underwater image enhancement algorithms based on partial differential equations (PDEs). The algorithms perform simultaneous smoothing and enhancement due to the combination of both processes within the PDE-formulation. The framework enables the incorporation of suitable colour and contrast enhancement algorithms within one unified functional. Additional modification of the formulation includes the combination of the popular Contrast Limited Adaptive Histogram Equalization (CLAHE) with the proposed approach. This modification enables the hybrid algorithm to provide both local enhancement (due to the CLAHE) and global enhancement (due to the proposed contrast term). Additionally, the CLAHE clip limit parameter is computed dynamically in each iteration and used to gauge the amount of local enhancement performed by the CLAHE within the formulation. This enables the algorithm to reduce or prevent the enhancement of noisy artifacts, which if present, are also smoothed out by the anisotropic diffusion term within the PDE formulation. In other words, the modified algorithm combines the strength of the CLAHE, AD and the contrast term while minimizing their weaknesses. Ultimately, the system is optimized using image data metrics for automated enhancement and compromise between visual and quantitative results. Experiments indicate that the proposed algorithms perform a series of functions such as illumination correction, colour enhancement correction and restoration, contrast enhancement and noise suppression. Moreover, the proposed approaches surpass most other conventional algorithms found in the literature.


title: Random Knockout Tournaments

abstract: We consider a random knockout tournament among players $1, \ldots, n$, in which each match involves two players. The match format is specified by the number of matches played in each round, where the constitution of the matches in a round is random. Supposing that there are numbers $v_1, \ldots, v_n$ such that a match between $i$ and $j$ will be won by $i$ with probability $\frac{v_i}{v_i+v_j}$, we obtain a lower bound on the tournament win probability for the best player, as well as upper and lower bounds for all the players. We also obtain additional bounds by considering the best and worst formats for player $1$ in the special case $v_1 > v_2 = v_3 = \cdots = v_n.$


title: Weighted generalized Korn inequality on John domains

abstract: The goal of this work is to show that the generalized Korn inequality that replaces the symmetric part of the differential matrix in the classical Korn inequality by its trace-free part is valid over John domains and weighted Sobolev spaces. The weights considered are nonnegative powers of the distance to the boundary.


title: Strict n-categories and augmented directed complexes model homotopy types

abstract: In this paper we show that both the homotopy category of strict $n$-categories, $1\leqslant n \leqslant \infty$, and the homotopy category of Steiner's augmented directed complexes are equivalent to the category of homotopy types. In order to do so, we first prove an abstract result, based on a strategy of Fritsch and Latch, giving sufficient conditions for a nerve functor with values in simplicial sets to induce an equivalence at the level of homotopy categories. We then apply this result to strict $n$-categories and augmented directed complexes, for which the hypothesis of our theorem were established by Ara and Maltsiniotis.


title: Preemptive Termination of Suggestions during Sequential Kriging Optimization of a Brain Activity Reconstruction Simulation

abstract: Reconstructing brain activity through electroencephalography requires a boundary value problem (BVP) solver to take a proposed distribution of current dipoles within the brain and compute the resulting electrostatic potential on the scalp. This article proposes the use of sequential kriging optimization to identify different optimal BVP solver parameters for dipoles located in isolated sections of the brain by considering the cumulative impact of randomly oriented dipoles within a chosen isolated section. We attempt preemptive termination of parametrizations suggested during the sequential kriging optimization which, given the results to that point, seem unlikely to produce high quality solutions. Numerical experiments on a simplification of the full geometry for which an approximate solution is available show a benefit from this preemptive termination.


abstract: In this paper we study Johnson-Schechtman inequalities for noncommutative martingales. More precisely, disjointification inequalities of noncommutative martingale difference sequences are proved in an arbitrary symmetric operator space $E(\mathcal{M})$ of a finite von Neumann algebra $\mathcal{M}$ without making any assumption on the Boyd indices of $E$. We show that we can obtain Johnson-Schechtman inequalities for arbitrary martingale difference sequences and that, in contrast with the classical case of independent random variables or the noncommutative case of freely independent random variables, the inequalities are one-sided except when $E=L_2(0,1)$. As an application, we partly resolve a problem stated by Randrianantoanina and Wu in \cite{NW}. We also show that we can obtain sharp $\Phi$-moment analogues for Orlicz functions satisfying $p$-convexity and $q$-concavity for $1 \leq p \leq 2$, $q=2$ and $p=2$, $2< q < \infty$. This is new even for the classical case. We also extend and strengthen the noncommutative Burkholder-Gundy inequalities in symmetric spaces and in the $\Phi$-moment case.


title: Interactive Preference Learning of Utility Functions for Multi-Objective Optimization

abstract: Real-world engineering systems are typically compared and contrasted using multiple metrics. For practical machine learning systems, performance tuning is often more nuanced than minimizing a single expected loss objective, and it may be more realistically discussed as a multi-objective optimization problem. We propose a novel generative model for scalar-valued utility functions to capture human preferences in a multi-objective optimization setting. We also outline an interactive active learning system that sequentially refines the understanding of stakeholders ideal utility functions using binary preference queries.


title: Signature inversion for monotone paths

abstract: The aim of this article is to provide a simple sampling procedure to reconstruct any monotone path from its signature. For every N, we sample a lattice path of N steps with weights given by the coefficient of the corresponding word in the signature. We show that these weights on lattice paths satisfy the large deviations principle. In particular, this implies that the probability of picking up a "wrong" path is exponentially small in N. The argument relies on a probabilistic interpretation of the signature for monotone paths.


title: Nanostructure analysis of InGaN/GaN quantum wells based on semi-polar-faced GaN nanorods

abstract: We demonstrate a series of InGaN/GaN double quantum well nanostructure elements. We grow a layer of 2 {\mu}m undoped GaN template on top of a (0001)-direction sapphire substrate. A 100 nm SiO2 thin film is deposited on top as a masking pattern layer. This layer is then covered with a 300 nm aluminum layer as the anodic aluminum oxide (AAO) hole pattern layer. After oxalic acid etching, we transfer the hole pattern from the AAO layer to the SiO2 layer by reactive ion etching. Lastly, we utilize metal-organic chemical vapor deposition to grow GaN nanorods approximately 1.5 {\mu}m in size. We then grow two layers of InGaN/GaN double quantum wells on the semi-polar face of the GaN nanorod substrate under different temperatures. We then study the characteristics of the InGaN/GaN quantum wells formed on the semi-polar faces of GaN nanorods. We report the following findings from our study: first, using SiO2 with repeating hole pattern, we are able to grow high-quality GaN nanorods with diameters of approximately 80-120 nm; second, photoluminescence (PL) measurements enable us to identify Fabry-Perot effect from InGaN/GaN quantum wells on the semi-polar face. We calculate the quantum wells' cavity thickness with obtained PL measurements. Lastly, high resolution TEM images allow us to study the lattice structure characteristics of InGaN/GaN quantum wells on GaN nanorod and identify the existence of threading dislocations in the lattice structure that affects the GaN nanorod's growth mechanism.


title: Binary Linear Codes From Vectorial Boolean Functions and Their Weight Distribution

abstract: Binary linear codes with good parameters have important applications in secret sharing schemes, authentication codes, association schemes, and consumer electronics and communications. In this paper, we construct several classes of binary linear codes from vectorial Boolean functions and determine their parameters, by further studying a generic construction developed by Ding \emph{et al.} recently. First, by employing perfect nonlinear functions and almost bent functions, we obtain several classes of six-weight linear codes which contains the all-one codeword. Second, we investigate a subcode of any linear code mentioned above and consider its parameters. When the vectorial Boolean function is a perfect nonlinear function or a Gold function in odd dimension, we can completely determine the weight distribution of this subcode. Besides, our linear codes have larger dimensions than the ones by Ding et al.'s generic construction.


title: Millimeter Wave Communications with OAM-SM Scheme for Future Mobile Networks

abstract: The orbital angular momentum (OAM) technique provides a new degree of freedom for information transmissions in millimeter wave communications. Considering the spatial distribution characteristics of OAM beams, a new OAM spatial modulation (OAM-SM) millimeter wave communication system is first proposed for future mobile networks. Furthermore, the capacity, average bit error probability and energy efficiency of OAM-SM millimeter wave communication systems are analytically derived for performance analysis. Compared with the conventional multi-input multi-output (MIMO) millimeter wave communication systems, the maximum capacity and energy efficiency of OAM-SM millimeter wave communication systems are improved by 36% and 472.3%, respectively. Moreover, numerical results indicate that the proposed OAM-SM millimeter wave communication systems are more robust to path-loss attenuations than the conventional MIMO millimeter wave communication systems, which makes it suitable for long-range transmissions. Therefore, OAM-SM millimeter wave communication systems provide a great growth space for future mobile networks.


title: Thermal Inflation with Flaton Chemical Potential

abstract: Thermal inflation driven by a scalar field called "flaton" is a possible scenario to solve the cosmological moduli problem. We study a model of thermal inflation with a flaton chemical potential. In the presence of the chemical potential, a negative mass squared of the flaton, which is necessary to terminate the thermal inflation, is naturally induced. We identify the allowed parameter region for the chemical potential ($\mu$) and the flaton self-coupling constant to solve the cosmological moduli problem and satisfy theoretical consistencies. In general, the chemical potential is a free parameter and it can be taken to be much larger than the typical scale of soft supersymmetry breaking parameters of $\mathcal{O} (1)$ TeV. For $\mu \gtrsim 10^8$ GeV, we find that the reheating temperature after the thermal inflation can be high enough for the thermal leptogenesis scenario to be operative. This is in sharp contrast to the standard thermal inflation scenario, in which the reheating temperature is quite low and a special mechanism is necessary for generating sufficient amount of baryon asymmetry in the Universe after thermal inflation.


title: Energy and coverage efficiency trade-off in 5G small cell networks

abstract: When small cells are densely deployed in the fifth generation (5G) cellular networks, the base stations (BSs) switch-off strategy is an effective approach for saving energy consumption considering changes of traffic load. In general, the loss of coverage efficiency is an inevitable cost for cellular networks adopting BSs switch-off strategies. Based on the BSs switch-off strategy, an optimized energy density efficiency of hard core point process (HCPP) small cell networks is proposed to trade off the energy and coverage efficiency. Simulation results imply that the minimum active BS distance used for the BSs switch-off strategy is recommended as 150 meters to achieve a tradeoff between energy and coverage efficiency in 5G small cell networks.


title: Hypernyms under Siege: Linguistically-motivated Artillery for Hypernymy Detection

abstract: The fundamental role of hypernymy in NLP has motivated the development of many methods for the automatic identification of this relation, most of which rely on word distribution. We investigate an extensive number of such unsupervised measures, using several distributional semantic models that differ by context type and feature weighting. We analyze the performance of the different methods based on their linguistic motivation. Comparison to the state-of-the-art supervised methods shows that while supervised methods generally outperform the unsupervised ones, the former are sensitive to the distribution of training instances, hurting their reliability. Being based on general linguistic hypotheses and independent from training data, unsupervised measures are more robust, and therefore are still useful artillery for hypernymy detection.


title: A new Slow Control and Run Initialization Byte-wise Environment (SCRIBE) for the quality control of mass-produced CMS GEM detectors

abstract: The CMS collaboration aims at improving the muon trigger and tracking performance at the HL-LHC by installing new Gas Electron Multiplier (GEM) chambers in the endcaps of the CMS experiment. Construction and commissioning of GEM chambers for the first muon endcap stations is ramping up in several laboratories using common quality control protocols. The SCRIBE framework is a scalable and cross-platform webbased application for the RD51 Scalable Readout System (SRS) that controls data acquisition and analyzes data in near real time. It has been developed mainly to simplify and standardize measurements of the GEM chamber response uniformities with x-rays across all production sites. SCRIBE works with zero suppression of raw SRS pulse height data. This has increased acquisition rates to 5 kHz for a CMS GEM chamber with 3072 strips and allows strip-by-strip response comparisons with a few hours of data taking. SCRIBE also manages parallel data reconstruction to provide near real-time feedback on the chamber response to the user. Preliminary results on the response performance of the first mass-produced CMS GEM chambers commissioned with SCRIBE are presented.


title: On the synchronization of planar automata

abstract: Planar automata seems to be representative of the synchronizing behavior of deterministic finite state automata. We conjecture that \v{C}erny's conjecture holds true, if and only if, it holds true for planar automata. In this paper we have gathered some evidence concerning this conjecture. This evidence amounts to show that the class of planar automata is representative of the algorithmic hardness of synchronization


title: A Dual-Directional Path-loss Model in 5G Wireless Fractal Small Cell Networks

abstract: With the anticipated increase in the number of low power base stations (BSs) deployed in small cell networks, blockage effects becoming more sensitive on wireless transmissions over high spectrums, variable propagation fading scenarios make it hard to describe coverage of small cell networks. In this paper, we propose a dual-directional path loss model cooperating with Line-of-Sight (LoS) and Non-Line-of-Sight (NLoS) transmissions for the fifth generation (5G) fractal small cell networks. Based on the proposed path loss model, a LoS transmission probability is derived as a function of the coordinate azimuth of the BS and the distance between the mobile user (MU) and the BS. Moreover, the coverage probability and the average achievable rate are analyzed for 5G fractal small cell networks. Numerical results imply that the minimum intensity of blockages and the maximum intensity of BSs can not guarantee the maximum average achievable rate in 5G fractal small cell networks. Our results explore the relationship between the anisotropic path loss fading and the small cell coverage in 5G fractal small cell networks.


title: Frames and numerical approximation

abstract: Functions of one or more variables are usually approximated with a basis: a complete, linearly-independent system of functions that spans a suitable function space. The topic of this paper is the numerical approximation of functions using the more general notion of frames: that is, complete systems that are generally redundant but provide infinite representations with bounded coefficients. While frames are well-known in image and signal processing, coding theory and other areas of applied mathematics, their use in numerical analysis is far less widespread. Yet, as we show via a series of examples, frames are more flexible than bases, and can be constructed easily in a range of problems where finding orthonormal bases with desirable properties (rapid convergence, high resolution power, etc.) is difficult or impossible. A key concern when using frames is that computing a best approximation requires solving an ill-conditioned linear system. Nonetheless, we construct a frame approximation via regularization with bounded condition number (with respect to perturbations in the data), and which approximates any function up to an error of order $\sqrt{\epsilon}$, or even of order $\epsilon$ with suitable modifications. Here $\epsilon$ is a threshold value that can be chosen by the user. Crucially, rate of decay of the error down to this level is determined by the existence of approximate representations of $f$ in the frame possessing small-norm coefficients. We demonstrate the existence of such representations in all of our examples. Overall, our analysis suggests that frames are a natural generalization of bases in which to develop numerical approximation. In particular, even in the presence of severely ill-conditioned linear systems, the frame condition imposes sufficient mathematical structure in order to give rise to accurate, well-conditioned approximations.


title: Grassmann-Grassmann conormal varieties, integrability, and plane partitions

abstract: We give a conjectural formula for sheaves supported on (irreducible) conormal varieties inside the cotangent bundle of the Grassmannian, such that their equivariant $K$-class is given by the partition function of an integrable loop model, and furthermore their $K$-theoretic pushforward to a point is a solution of the level $1$ quantum Knizhnik-Zamolodchikov equation. We prove these results in the case that the Lagrangian is smooth (hence is the conormal bundle to a subGrassmannian). To compute the pushforward to a point, or equivalently to the affinization, we simultaneously degenerate the Lagrangian and sheaf (over the affinization); the sheaf degenerates to a direct sum of cyclic modules over the geometric components, which are in bijection with plane partitions, giving a geometric interpretation to the Razumov-Stroganov correspondence satisfied by the loop model.


title: Cubical Geometry in the Polygonalisation Complex

abstract: We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface. We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.


title: On Procedures Controlling the FDR for Testing Hierarchically Ordered Hypotheses

abstract: Complex large-scale studies, such as those related to microarray data and fMRI studies, often involve testing multiple hierarchically ordered hypotheses. However, most existing false discovery rate (FDR) controlling procedures do not exploit the inherent hierarchical structure among the tested hypotheses. In this paper, we first present a generalized stepwise procedure which generalizes the usual stepwise procedure to the case where each hypothesis is tested with a different set of critical constants. This procedure is helpful in creating a general framework under which our hierarchical testing procedures are developed. Then, we present several hierarchical testing procedures which control the FDR under various forms of dependence such as positive dependence and block dependence. Our simulation studies show that these proposed methods can be more powerful in some situations than alternative methods such as Yekutieli's hierarchical testing procedure (Yekutieli, \emph{JASA} \textbf{103} (2008) 309-316). Finally, we apply our proposed procedures to a real data set involving abundances of microbes in different ecological environments.


title: Sparse Factorization Layers for Neural Networks with Limited Supervision

abstract: Whereas CNNs have demonstrated immense progress in many vision problems, they suffer from a dependence on monumental amounts of labeled training data. On the other hand, dictionary learning does not scale to the size of problems that CNNs can handle, despite being very effective at low-level vision tasks such as denoising and inpainting. Recently, interest has grown in adapting dictionary learning methods for supervised tasks such as classification and inverse problems. We propose two new network layers that are based on dictionary learning: a sparse factorization layer and a convolutional sparse factorization layer, analogous to fully-connected and convolutional layers, respectively. Using our derivations, these layers can be dropped in to existing CNNs, trained together in an end-to-end fashion with back-propagation, and leverage semisupervision in ways classical CNNs cannot. We experimentally compare networks with these two new layers against a baseline CNN. Our results demonstrate that networks with either of the sparse factorization layers are able to outperform classical CNNs when supervised data are few. They also show performance improvements in certain tasks when compared to the CNN with no sparse factorization layers with the same exact number of parameters.


title: Web-based Argumentation

abstract: Assumption-Based Argumentation (ABA) is an argumentation framework that has been proposed in the late 20th century. Since then, there was still no solver implemented in a programming language which is easy to setup and no solver have been interfaced to the web, which impedes the interests of the public. This project aims to implement an ABA solver in a modern programming language that performs reasonably well and interface it to the web for easier access by the public. This project has demonstrated the novelty of development of an ABA solver, that computes conflict-free, stable, admissible, grounded, ideal, and complete semantics, in Python programming language which can be used via an easy-to-use web interface for visualization of the argument and dispute trees. Experiments were conducted to determine the project's best configurations and to compare this project with proxdd, a state-of-the-art ABA solver, which has no web interface and computes less number of semantics. From the results of the experiments, this project's best configuration is achieved by utilizing "pickle" technique and tree caching technique. Using this project's best configuration, this project achieved a lower average runtime compared to proxdd. On other aspect, this project encountered more cases with exceptions compared to proxdd, which might be caused by this project computing more semantics and hence requires more resources to do so. Hence, it can be said that this project run comparably well to the state-of-the-art ABA solver proxdd. Future works of this project include computational complexity analysis and efficiency analysis of algorithms implemented, implementation of more semantics in argumentation framework, and usability testing of the web interface.


title: Efficient Realization of Householder Transform through Algorithm-Architecture Co-design for Acceleration of QR Factorization

abstract: We present efficient realization of Householder Transform (HT) based QR factorization through algorithm-architecture co-design where we achieve performance improvement of 3-90x in-terms of Gflops/watt over state-of-the-art multicore, General Purpose Graphics Processing Units (GPGPUs), Field Programmable Gate Arrays (FPGAs), and ClearSpeed CSX700. Theoretical and experimental analysis of classical HT is performed for opportunities to exhibit higher degree of parallelism where parallelism is quantified as a number of parallel operations per level in the Directed Acyclic Graph (DAG) of the transform. Based on theoretical analysis of classical HT, an opportunity re-arrange computations in the classical HT is identified that results in Modified HT (MHT) where it is shown that MHT exhibits 1.33x times higher parallelism than classical HT. Experiments in off-the-shelf multicore and General Purpose Graphics Processing Units (GPGPUs) for HT and MHT suggest that MHT is capable of achieving slightly better or equal performance compared to classical HT based QR factorization realizations in the optimized software packages for Dense Linear Algebra (DLA). We implement MHT on a customized platform for Dense Linear Algebra (DLA) and show that MHT achieves 1.3x better performance than native implementation of classical HT on the same accelerator. For custom realization of HT and MHT based QR factorization, we also identify macro operations in the DAGs of HT and MHT that are realized on a Reconfigurable Data-path (RDP). We also observe that due to re-arrangement in the computations in MHT, custom realization of MHT is capable of achieving 12% better performance improvement over multicore and GPGPUs than the performance improvement reported by General Matrix Multiplication (GEMM) over highly tuned DLA software packages for multicore and GPGPUs which is counter-intuitive.


title: Quantification of free-living activity patterns using accelerometry in adults with mental illness

abstract: Physical activity is disrupted in many psychiatric disorders. Advances in everyday technologies (e.g. accelerometers in smart phones) opens exciting possibilities for non-intrusive acquisition of activity data. Successful exploitation of this opportunity requires the validation of analytical methods that can capture the full movement spectrum. The study aim was to demonstrate an analytical approach to characterise accelerometer-derived activity patterns. Here, we use statistical methods to characterise accelerometer-derived activity patterns from a heterogeneous sample of 99 community-based adults with mental illnesses. Diagnoses were screened using the Mini international Neuropsychiatric Interview, and participants wore accelerometers for one week. We studies the relative ability of simple (exponential), complex (heavy-tailed), and composite models to explain patterns of activity and inactivity. Activity during wakefulness was a composite of brief random (exponential) movements and complex (heavy-tailed) processes, whereas movement during sleep lacked the heavy-tailed component. In contrast, inactivity followed a heavy-tailed process, lacking the random component. Activity patterns differed in nature between those with a diagnosis of bipolar disorder and a primary psychotic disorder. These results show the potential of complex models to quntify the rich nature of human movement captured by accelerometry during wake and sleep, and the interaction with diagnosis and health.


title: Matrix Dirichlet processes

abstract: Matrix Dirichlet processes, in reference to their reversible measure, appear in a natural way in many different models in probability. Applying the language of diffusion operators and the method of boundary equations, we describe Dirichlet processes on the simplex and provide two models of matrix Dirichlet processes, which can be realized by various projections, through the Brownian motion on the special unitary group, the polar decomposition of complex matrices and also through Wishart processes.


title: Radio detection of air showers with the ARIANNA experiment on the Ross Ice Shelf

abstract: The ARIANNA hexagonal radio array (HRA) is an experiment in its pilot phase designed to detect cosmogenic neutrinos of energies above 10^16 eV. The most neutrino-like background stems from the radio emission of air showers. This article reports on dedicated efforts of simulating and detecting the signals of cosmic rays. A description of the fully radio self-triggered data-set, the properties of the detected air shower signals in the frequency range of \unit[100-500]{MHz} and the consequences for neutrino detection are given. 38 air shower signals are identified by their distinct waveform characteristics, are in good agreement with simulations and their signals provide evidence that neutrino-induced radio signals will be distinguishable with high efficiency in ARIANNA. The cosmic ray flux at a mean energy of $6.5^{+1.2}_{-1.0}\times10^{17}$ eV is measured to be $1.1^{+1.0}_{-0.7}\times10^{-16}$ eV$^{-1}$km$^{-2}$sr$^{-1}$yr$^{-1}$ and one five-fold coincident event is used to illustrate the capabilities of the ARIANNA detector to reconstruct arrival direction and energy of air showers.


title: Your Processor Leaks Information - and There's Nothing You Can Do About It

abstract: Timing channels are information flows, encoded in the relative timing of events, that bypass the system's protection mechanisms. Any microarchitectural state that depends on execution history and affects the rate of progress of later executions potentially establishes a timing channel, unless explicit steps are taken to close it. Such state includes CPU caches, TLBs, branch predictors and prefetchers; removing the channels requires that the OS can partition such state or flush it on a switch of security domains. We measure the capacities of channels based on these microarchitectural features on several generations of processors across the two mainstream ISAs, x86 and ARM, and investigate the effectiveness of the flushing mechanisms provided by the respective ISA.We find that in all processors we studied, at least one significant channel remains. This implies that closing all timing channels seems impossible on contemporary mainstream processors.