title: Auxiliary master equation approach within matrix product states: Spectral properties of the nonequilibrium Anderson impurity model

abstract: Within the recently introduced auxiliary master equation approach it is possible to address steady state properties of strongly correlated impurity models, small molecules or clusters efficiently and with high accuracy. It is particularly suited for dynamical mean field theory in the nonequilibrium as well as in the equilibrium case. The method is based on the solution of an auxiliary open quantum system, which can be made quickly equivalent to the original impurity problem. In its first implementation a Krylov space method was employed. Here, we aim at extending the capabilities of the approach by adopting matrix product states for the solution of the corresponding auxiliary quantum master equation. This allows for a drastic increase in accuracy and permits us to access the Kondo regime for large values of the interaction. In particular, we investigate the nonequilibrium steady state of a single impurity Anderson model and focus on the spectral properties for temperatures T below the Kondo temperature T_K and for small bias voltages phi. For the two cases considered, with T=T_K/4 and T=T_K/10 we find a clear splitting of the Kondo resonance into a two-peak structure for phi close above T_K. In the equilibrium case (phi=0) and for T=T_K/4, the obtained spectral function essentially coincides with the one from numerical renormalization group.


title: On comparability of bigrassmannian permutations

abstract: Let $\mathfrak{S}_n$ and $\mathfrak{B}_n$ denote the respective sets of ordinary and bigrassmannian (BG) permutations of order $n$, and let $(\mathfrak{S}_n,\leq)$ denote the Bruhat ordering permutation poset. We study the restricted poset $(\mathfrak{B}_n,\leq)$, first providing a simple criterion for comparability. This criterion is used to show that that the poset is connected, to enumerate the saturated chains between elements, and to enumerate the number of maximal elements below $r$ fixed elements. It also quickly produces formulas for $\beta(\omega)$ ($\alpha(\omega)$ respectively), the number of BG permutations weakly below (weakly above respectively) a fixed $\omega\in\mathfrak{B}_n$, and is used to compute the M\"obius function on any interval in $\mathfrak{B}_n$. We then turn to a probabilistic study of $\beta=\beta(\omega)$ ($\alpha=\alpha(\omega)$ respectively) for the uniformly random $\omega\in\mathfrak{B}_n$. We show that $\alpha$ and $\beta$ are equidistributed, and that $\beta$ is of the same order as its expectation with high probability, but fails to concentrate about its mean. This latter fact derives from the limiting distribution of $\beta/n^3$. We also compute the probability that randomly chosen BG permutations form a 2- or 3-element multichain.


title: The optimal Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ for $2<p\leq4$ are $2^{2/p}$

abstract: We show that the optimal constants for the Hardy--Littlewood inequalities for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ are precisely $2^{2/p}$ for all $2<p<4.$


title: The role of water and steric constraints in the kinetics of cavity-ligand unbinding

abstract: A key factor influencing a drug's efficacy is its residence time in the binding pocket of the host protein. Using atomistic computer simulation to predict this residence time and the associated dissociation process is a desirable but extremely difficult task due to the long timescales involved. This gets further complicated by the presence of biophysical factors such as steric and solvation effects. In this work, we perform molecular dynamics (MD) simulations of the unbinding of a popular prototypical hydrophobic cavity-ligand system using a metadynamics based approach that allows direct assessment of kinetic pathways and parameters. When constrained to move in an axial manner, we find the unbinding time to be on the order of 4000 sec. In accordance with previous studies, we find that the ligand must pass through a region of sharp dewetting transition manifested by sudden and high fluctuations in solvent density in the cavity. When we remove the steric constraints on ligand, the unbinding happens predominantly by an alternate pathway, where the unbinding becomes 20 times faster, and the sharp dewetting transition instead becomes continuous. We validate the unbinding timescales from metadynamics through a Poisson analysis, and by comparison through detailed balance to binding timescale estimates from unbiased MD. This work demonstrates that enhanced sampling can be used to perform explicit solvent molecular dynamics studies at timescales previously unattainable, obtaining direct and reliable pictures of the underlying physio-chemical factors including free energies and rate constants.


title: Phase Analysis for Frequency Standards in the Microwave and Optical Domains

abstract: Coherent manipulation of atomic states is a key concept in high-precision spectroscopy and used in atomic fountain clocks and a number of optical frequency standards. Operation of these standards can involve a number of cyclic switching processes, which may induce cycle synchronous phase excursions of the interrogation signal and thus lead to shifts in the output of the frequency standard. We have built a FPGA-based phase analyzer to investigate these effects and conducted measurements on two frequency standards. For the caesium fountain PTB-CSF2 we were able to exclude phase variations of the microwave source at the level of a few $\mu$rad, corresponding to relative frequency shifts of less than 10$^{-16}$. In the optical domain, we investigated phase variations in PTB's Yb$^+$ optical frequency standard and made detailed measurements of AOM chirps and their scaling with duty cycle and driving power. We ascertained that cycle-synchronous as well as long-term phase excursion do not cause frequency shifts larger than 10$^{-18}$.


title: Genoogle: an indexed and parallelized search engine for similar DNA sequences

abstract: The search for similar genetic sequences is one of the main bioinformatics tasks. The genetic sequences data banks are growing exponentially and the searching techniques that use linear time are not capable to do the search in the required time anymore. Another problem is that the clock speed of the modern processors are not growing as it did before, instead, the processing capacity is growing with the addiction of more processing cores and the techniques which does not use parallel computing does not have benefits from these extra cores. This work aims to use data indexing techniques to reduce the searching process computation cost united with the parallelization of the searching techniques to use the computational capacity of the multi core processors. To verify the viability of using these two techniques simultaneously, a software which uses parallelization techniques with inverted indexes was developed. Experiments were executed to analyze the performance gain when parallelism is utilized, the search time gain, and also the quality of the results when it compared with others searching tools. The results of these experiments were promising, the parallelism gain overcame the expected speedup, the searching time was 20 times faster than the parallelized NCBI BLAST, and the searching results showed a good quality when compared with this tool. The software source code is available at https://github.com/felipealbrecht/Genoogle .


title: Programmatic and Direct Manipulation, Together at Last

abstract: Direct manipulation interfaces and programmatic systems have distinct and complementary strengths. The former provide intuitive, immediate visual feedback and enable rapid prototyping, whereas the latter enable complex, reusable abstractions. Unfortunately, existing systems typically force users into just one of these two interaction modes. We present a system called Sketch-n-Sketch that integrates programmatic and direct manipulation for the particular domain of Scalable Vector Graphics (SVG). In Sketch-n-Sketch, the user writes a program to generate an output SVG canvas. Then the user may directly manipulate the canvas while the system immediately infers a program update in order to match the changes to the output, a workflow we call live synchronization. To achieve this, we propose (i) a technique called trace-based program synthesis that takes program execution history into account in order to constrain the search space and (ii) heuristics for dealing with ambiguities. Based on our experience with examples spanning 2,000 lines of code and from the results of a preliminary user study, we believe that Sketch-n-Sketch provides a novel workflow that can augment traditional programming systems. Our approach may serve as the basis for live synchronization in other application domains, as well as a starting point for yet more ambitious ways of combining programmatic and direct manipulation.


title: A Bloom filter based semi-index on $q$-grams

abstract: We present a simple $q$-gram based semi-index, which allows to look for a pattern typically only in a small fraction of text blocks. Several space-time tradeoffs are presented. Experiments on Pizza & Chili datasets show that our solution is up to three orders of magnitude faster than the Claude et al. \cite{CNPSTjda10} semi-index at a comparable space usage.


title: Spanning trees in directed circulant graphs and cycle power graphs

abstract: The number of spanning trees in a class of directed circulant graphs with generators depending linearly on the number of vertices $\beta n$, and in the $n$-th and $(n-1)$-th power graphs of the $\beta n$-cycle are evaluated as a product of $\lceil\beta/2\rceil-1$ terms.


title: Rough interfaces, accurate predictions: The necessity of capillary modes in a minimal model of nanoscale hydrophobic solvation

abstract: Modern theories of the hydrophobic effect highlight its dependence on length scale, emphasizing in particular the importance of interfaces that emerge in the vicinity of sizable hydrophobes. We recently showed that a faithful treatment of such nanoscale interfaces requires careful attention to the statistics of capillary waves, with significant quantitative implications for the calculation of solvation thermodynamics. Here we show that a coarse-grained lattice model in the spirit of those pioneered by Chandler and coworkers, when informed by this understanding, can capture a broad range of hydrophobic behaviors with striking accuracy. Specifically, we calculate probability distributions for microscopic density fluctuations that agree very well with results of atomistic simulations, even many standard deviations from the mean, and even for probe volumes in highly heterogeneous environments. This accuracy is achieved without adjustment of free parameters, as the model is fully specified by well-known properties of liquid water. As illustrative examples of its utility, we characterize the free energy profile for a solute crossing the air-water interface, and compute the thermodynamic cost of evacuating the space between extended nanoscale surfaces. Together, these calculations suggest that a highly reduced model for aqueous solvation can serve as the basis for efficient multiscale modeling of spatial organization driven by hydrophobic and interfacial forces.


title: Secure Scrum: Development of Secure Software with Scrum

abstract: Nowadays, the use of agile software development methods like Scrum is common in industry and academia. Considering the current attacking landscape, it is clear that developing secure software should be a main concern in all software development projects. In traditional software projects, security issues require detailed planning in an initial planning phase, typically resulting in a detailed security analysis (e.g., threat and risk analysis), a security architecture, and instructions for security implementation (e.g., specification of key sizes and cryptographic algorithms to use). Agile software development methods like Scrum are known for reducing the initial planning phases (e.g., sprint 0 in Scrum) and for focusing more on producing running code. Scrum is also known for allowing fast adaption of the emerging software to changes of customer wishes. For security, this means that it is likely that there are no detailed security architecture or security implementation instructions from the start of the project. It also means that a lot of design decisions will be made during the runtime of the project. Hence, to address security in Scrum, it is necessary to consider security issues throughout the whole software development process. Secure Scrum is a variation of the Scrum framework with special focus on the development of secure software throughout the whole software development process. It puts emphasis on implementation of security related issues without the need of changing the underlying Scrum process or influencing team dynamics. Secure Scrum allows even non- security experts to spot security issues, to implement security features, and to verify implementations. A field test of Secure Scrum shows that the security level of software developed using Secure Scrum is higher then the security level of software developed using standard Scrum.


title: Complete Generalized Gibbs Ensemble in an interacting Theory

abstract: In integrable many-particle systems, it is widely believed that the stationary state reached at late times after a quantum quench can be described by a generalized Gibbs ensemble (GGE) constructed from their extensive number of conserved charges. A crucial issue is then to identify a complete set of these charges, enabling the GGE to provide exact steady state predictions. Here we solve this long-standing problem for the case of the spin-1/2 Heisenberg chain by explicitly constructing a GGE which uniquely fixes the macrostate describing the stationary behaviour after a general quantum quench. A crucial ingredient in our method, which readily generalizes to other integrable models, are recently discovered quasi-local charges. As a test, we reproduce the exact post-quench steady state of the Neel quench problem obtained previously by means of the Quench Action method.


title: Networks of digital humanities scholars: The informational and social uses and gratifications of Twitter

abstract: Big data research is currently split on whether and to what extent Twitter can be characterised as an informational or social network. We contribute to this line of inquiry through an investigation of digital humanities scholars' uses and gratifications of Twitter. We conducted a thematic analysis of 25 semistructured interview transcripts to learn about these scholars' professional use of Twitter. Our findings show that Twitter is considered a critical tool for informal communication within DH invisible colleges, functioning at varying levels as both an informational network (learning to 'Twitter' and maintaining awareness) and a social network (imagining audiences and engaging other digital humanists). We find that Twitter follow relationships reflect common academic interests and are closely tied to scholars' preexisting social ties and conference or event co-attendance. The concept of the invisible college continues to be relevant but requires revisiting. The invisible college formed on Twitter is messy, consisting of overlapping social contexts (professional, personal, and public), scholars with different habits of engagement, and both formal and informal ties. Our research illustrates the value of using multiple methods to explore the complex questions arising from big data studies and points toward future research that could implement big data techniques on a small scale, focusing on sub-topics or emerging fields, to expose the nature of scholars' invisible colleges made visible on Twitter.


title: The non-symmetric Wilson polynomials are the Bannai-Ito polynomials

abstract: The one-variable non-symmetric Wilson polynomials are shown to coincide with the Bannai-Ito polynomials. The isomorphism between the corresponding degenerate double affine Hecke algebra of type $(C_1^{\vee}, C_1)$ and the Bannai-Ito algebra is established. The Bannai-Ito polynomials are seen to satisfy an orthogonality relation with respect to a positive-definite and continuous measure on the real line. A non-compact form of the Bannai-Ito algebra is introduced and a four-parameter family of its infinite-dimensional and self-adjoint representations is exhibited.


title: img2net: Automated network-based analysis of imaged phenotypes

abstract: Automated analysis of imaged phenotypes enables fast and reproducible quantification of biologically relevant features. Despite recent developments, recordings of complex, networked structures, such as: leaf venation patterns, cytoskeletal structures, or traffic networks, remain challenging to analyze. Here we illustrate the applicability of img2net to automatedly analyze such structures by reconstructing the underlying network, computing relevant network properties, and statistically comparing networks of different types or under different conditions. The software can be readily used for analyzing image data of arbitrary 2D and 3D network-like structures. img2net is open-source software under the GPL and can be downloaded from http://mathbiol.mpimp-golm.mpg.de/img2net/, where supplementary information and data sets for testing are provided.


title: Dissipative quantum control of a spin chain

abstract: A protocol is discussed for preparing a spin chain in a generic many-body state in the asymptotic limit of tailored non-unitary dynamics. The dynamics require the spectral resolution of the target state, optimized coherent pulses, engineered dissipation, and feedback. As an example, we discuss the preparation of an entangled antiferromagnetic state, and argue that the procedure can be applied to chains of trapped ions or Rydberg atoms.


title: Testing the "no-hair" property of black holes with X-ray observations of accretion disks

abstract: Accretion disks around black holes radiate a significant fraction of the rest mass of the accreting material in the form of thermal radiation from within a few gravitational radii of the black hole ($ r \lesssim 20 G M / c^{2}$). In addition, the accreting matter may also be illuminated by hard X-rays from the surrounding plasma which adds fluorescent transition lines to the emission. This radiation is emitted by matter moving along geodesics in the metric, therefore the strong Doppler and gravitational redshifts observed in the emission encode information about the strong gravitational field around the black hole. In this paper the possibility of using the X-ray emission as a strong field test of General Relativity is explored by calculating the spectra for both the transition line and thermal emission from a thin accretion disk in a series of parametrically deformed Kerr metrics. In addition the possibility of constraining a number of known black hole spacetimes in alternative theories of gravity is considered.


title: Compressive Detection of Random Subspace Signals

abstract: The problem of compressive detection of random subspace signals is studied. We consider signals modeled as $\mathbf{s} = \mathbf{H} \mathbf{x}$ where $\mathbf{H}$ is an $N \times K$ matrix with $K \le N$ and $\mathbf{x} \sim \mathcal{N}(\mathbf{0}_{K,1},\sigma_x^2 \mathbf{I}_K)$. We say that signal $\mathbf{s}$ lies in or leans toward a subspace if the largest eigenvalue of $\mathbf{H} \mathbf{H}^T$ is strictly greater than its smallest eigenvalue. We first design a measurement matrix $\mathbf{\Phi}=[\mathbf{\Phi}_s^T,\mathbf{\Phi}_o^T]^T$ comprising of two sub-matrices $\mathbf{\Phi}_s$ and $\mathbf{\Phi}_o$ where $\mathbf{\Phi}_s$ projects the signals to the strongest left-singular vectors, i.e., the left-singular vectors corresponding to the largest singular values, of subspace matrix $\mathbf{H}$ and $\mathbf{\Phi}_o$ projects it to the weakest left-singular vectors. We then propose two detectors which work based on the difference in energies of the samples measured by two sub-matrices $\mathbf{\Phi}_s$ and $\mathbf{\Phi}_o$ and prove their optimality. Simplified versions of the proposed detectors for the case when the variance of noise is known are also provided. Furthermore, we study the performance of the detector when measurements are imprecise and show how imprecision can be compensated by employing more measurement devices. The problem is then re-formulated for the case when the signal lies in the union of a finite number of linear subspaces instead of a single linear subspace. Finally, we study the performance of the proposed methods by simulation examples.


title: Toward Practical Differential Privacy in Smart Grid with Capacity-Limited Rechargeable Batteries

abstract: The technology of differential privacy, adding a noise drawn from the Laplace distribution, successfully overcomes a difficulty of keeping both the privacy of individual data and the utility of the statistical result simultaneously. Therefore, it is prevalent to use a rechargeable battery as the noise for achieving differential privacy in the application of smart grid. Unfortunately, to the best of our knowledge, we observe that the existing privacy protection mechanisms cannot satisfy differential privacy, when considering physical restrictions of the battery in practice. In this paper, we first classify two types of challenges caused by two physical restrictions, the maximum charging/discharging rate and the capacity of battery. We then propose a stateless privacy protection scheme by exploring a boundary-changeable distribution for noise, and prove this scheme satisfies differential privacy, with regard to the first type of challenge. We further explain the difficulty to achieve differential privacy under the second type of challenge, and formalize the definition of a relaxed differential privacy. Finally, we present a stateful privacy protection scheme that satisfies the relaxed differential privacy. Experimental analysis shows that the maximum privacy leakage of our privacy protection schemes at each time point stably outperforms that of the existing work.


title: Recombination era magnetic fields from axion dark matter

abstract: We introduce a new mechanism for generating magnetic fields in the recombination era. This Harrison-like mechanism utilizes vorticity in baryons that is sourced through the Bose-Einstein condensate of axions via gravitational interactions. The magnetic fields generated are on the galactic scales $\sim 10\,{\rm kpc}$ and have a magnitude of the order of $B\sim10^{-23}\,{\rm G}$ today. The field has a greater magnitude than those generated from other mechanisms relying on second order perturbation theory, and is sufficient to provide a seed for battery mechanisms.


title: Topologically protected elastic waves in phononic metamaterials

abstract: Topological states of quantum matter exhibit unique disorder-immune surface states protected by underlying nontrivial topological invariants of the bulk. Such immunity from backscattering makes topological surface or edge states ideal carriers for both classical and quantum information. So far, topological matters have been explored only in the realms of electronics and photonics, with limited range of bulk properties and largely immutable materials. These constraints thus impose severe performance trade-offs in experimentally realizable topologically ordered states. In contrast, phononic metamaterials not only provide access to a much wider range of material properties, but also allow temporal modulation in the non-adiabatic regime. Here, from the first-principles we demonstrate numerically the first phononic topological metamaterial in an elastic-wave analogue of the quantum spin Hall effect. A dual-scale phononic crystal slab is used to support two effective spins of phonon over a broad bandwidth, and strong spin-orbit coupling is realized by breaking spatial mirror symmetry. By preserving the spin polarization with an external load or spatial symmetry, phononic edge states are shown to be robust against scattering from discrete defects as well as disorders in the continuum. Our system opens up the possibility of realizing topological materials for phonons in both static and time-dependent regimes.


title: High-Dimensional Asymptotics of Prediction: Ridge Regression and Classification

abstract: We provide a unified analysis of the predictive risk of ridge regression and regularized discriminant analysis in a dense random effects model. We work in a high-dimensional asymptotic regime where $p, n \to \infty$ and $p/n \to \gamma \in (0, \, \infty)$, and allow for arbitrary covariance among the features. For both methods, we provide an explicit and efficiently computable expression for the limiting predictive risk, which depends only on the spectrum of the feature-covariance matrix, the signal strength, and the aspect ratio $\gamma$. Especially in the case of regularized discriminant analysis, we find that predictive accuracy has a nuanced dependence on the eigenvalue distribution of the covariance matrix, suggesting that analyses based on the operator norm of the covariance matrix may not be sharp. Our results also uncover several qualitative insights about both methods: for example, with ridge regression, there is an exact inverse relation between the limiting predictive risk and the limiting estimation risk given a fixed signal strength. Our analysis builds on recent advances in random matrix theory.


title: Hybrid scheme for Brownian semistationary processes

abstract: We introduce a simulation scheme for Brownian semistationary processes, which is based on discretizing the stochastic integral representation of the process in the time domain. We assume that the kernel function of the process is regularly varying at zero. The novel feature of the scheme is to approximate the kernel function by a power function near zero and by a step function elsewhere. The resulting approximation of the process is a combination of Wiener integrals of the power function and a Riemann sum, which is why we call this method a hybrid scheme. Our main theoretical result describes the asymptotics of the mean square error of the hybrid scheme and we observe that the scheme leads to a substantial improvement of accuracy compared to the ordinary forward Riemann-sum scheme, while having the same computational complexity. We exemplify the use of the hybrid scheme by two numerical experiments, where we examine the finite-sample properties of an estimator of the roughness parameter of a Brownian semistationary process and study Monte Carlo option pricing in the rough Bergomi model of Bayer et al. [Quant. Finance 16(6), 887-904, 2016], respectively.


title: Spectrum and Quantum Symmetries of the ${\rm AdS}_5 \times {\rm S}^5$ Superstring

abstract: The the duality between ${\cal N}=4$ SYM and the AdS$_5\times\;$S$^5$ superstring appears to enjoy quantum integrability in the planar limit, which allowed to devise powerful methods ostensibly solving the spectral problem. However, quantization of the AdS$_5\times\;$S$^5$ superstring from first principles is still an open question and especially the spectrum of short string states has previously been derived only at leading order in large 't Hooft coupling. In this thesis we investigate possible routes to take the perturbative quantization of short string states beyond the leading order, where equally our aim is to gain better appreciation of the quantum symmetries at play. A prominent role is played by the lowest excited string states, dual to the Konishi supermultiplet, and we start by reviewing critically an asserted derivation of the Konishi anomalous dimension in the setup of pure spinor string theory. Next, we study the bosonic AdS$_5\times\;$S$^5$ string in static gauge, where we construct a so-called single-mode string solution, which shows classical integrability and invariance under the isometries SO(2,4)$\;\times\;$SO(6) at the quantum level. Arguing heuristically about the effects of supersymmetry, we indeed recover the first non-trivial quantum correction to the Konishi anomalous dimension. We continue by implementing static gauge for the full AdS$_5\times\;$S$^5$ superstring and find elegant expressions for the Lagrangian density and the supercharges. We then constrain our interest to the superparticle and, using two different methods, find canonical coordinates at quadratic order in fermions. As the single-mode string is just the SO(2,4)$\;\times\;$SO(6) orbit of the pulsating string, we conclude by applying orbit method quantization to the particle and spinning string solutions in bosonic AdS$_3\times\;$S$^3$ yielding consistent results for the spectra.


title: Hidden Gauge Symmetry in Holomorphic Models

abstract: We study the effect of a hidden gauge symmetry on complex holomorphic systems. For this purpose, we show that intrinsically any holomorphic system has this gauge symmetry. We establish that this symmetry is related to the Cauchy-Riemann equations, in the sense that the associated constraint is a first class constraint only in the case that the potential be holomorphic. As a consequence of this gauge symmetry on the complex space, we can fix the gauge condition in several ways and project from the complex phase-space to real phase space. Different projections are gauge related on the complex phase-space but are not directly related on the real physical phase-space.


title: Fractionalized spin-wave continuum in spin liquid states on the kagome lattice

abstract: Motivated by spin-wave continuum (SWC) observed in recent neutron scattering experiments in Herbertsmithite, we use Gutzwiller-projected wave functions to study dynamic spin structure factor $S(\mathbf{q},\omega)$ of spin liquid states on the kagome lattice. Spin-1 excited states in spin liquids are represented by Gutzwiller-projected two-spinon excited wave functions. We investigate three different spin liquid candidates, spinon Fermi-surface spin liquid (FSL), Dirac spin liquid (DSL) and random-flux spin liquid (RSL). FSL and RSL have low energy peaks in $S(\mathbf{q},\omega)$ at $K$ points in the extended magnetic Brillouin zone, in contrast to experiments where low energy peaks are found at $M$ points. There is no obviuos contradiction between DSL and neutron scattering measurements. Besides a fractionalized spin (i.e. spin-1/2), spinons in DSL carry a fractionalized crystal momentum which is potentially detectable in SWC in the neutron scattering measurements.


title: Infrared Variability from Circumbinary Disc Temperature Modulations

abstract: The temperature of a circumbinary disc edge should undulate due to variations in illumination as a function of binary orbital phase. We explore circumbinary disc temperature variations as a source of broad-band infrared light curve variability. Approximating the wall of a circumbinary disc edge as a wide optically thick cylinder with surface temperature dependent on its illumination, we find that a binary comprised of 1 M$_\odot$ and 0.5 M$_\odot$ pre-main sequence stars in a $\sim$15.5 day period, would exhibit the largest amplitude variations of $\sim$9% at 3.77 and 4.68 {\mu}m as seen by a distant observer. The amplitude of variations and shape of the light curve is sensitive to the luminosity and mass ratios of the stars in the binary, the radius of the circumbinary disc clearing, the binary separation, and the orbital inclination. The light curve variations are smooth and very red with a non-sinusoidal shape for most of the parameter space explored. Possible morphologies include a single peak with a flat region, two peaks of different heights or a single dip.


title: A $1.75$ LP approximation for the Tree Augmentation Problem

abstract: In the Tree Augmentation Problem (TAP) the goal is to augment a tree $T$ by a minimum size edge set $F$ from a given edge set $E$ such that $T \cup F$ is $2$-edge-connected. The best approximation ratio known for TAP is $1.5$. In the more general Weighted TAP problem, $F$ should be of minimum weight. Weighted TAP admits several $2$-approximation algorithms w.r.t. to the standard cut LP-relaxation, but for all of them the performance ratio of $2$ is tight even for TAP. The problem is equivalent to the problem of covering a laminar set family. Laminar set families play an important role in the design of approximation algorithms for connectivity network design problems. In fact, Weighted TAP is the simplest connectivity network design problem for which a ratio better than $2$ is not known. Improving this "natural" ratio is a major open problem, which may have implications on many other network design problems. It seems that achieving this goal requires finding an LP-relaxation with integrality gap better than $2$, which is a long time open problem even for TAP. In this paper we introduce such an LP-relaxation and give an algorithm that computes a feasible solution for TAP of size at most $1.75$ times the optimal LP value. This gives some hope to break the ratio $2$ for the weighted case. Our algorithm computes some initial edge set by solving a partial system of constraints that form the integral edge-cover polytope, and then applies local search on $3$-leaf subtrees to exchange some of the edges and to add additional edges. Thus we do not need to solve the LP, and the algorithm runs roughly in time required to find a minimum weight edge-cover in a general graph.


title: ASASSN-15lh: A Highly Super-Luminous Supernova

abstract: We report the discovery of ASASSN-15lh (SN 2015L), which we interpret as the most luminous supernova yet found. At redshift z = 0.2326, ASASSN-15lh reached an absolute magnitude of M_{u,AB} = -23.5+/-0.1 and bolometric luminosity L_bol = (2.2+/-0.2)x 10^45 ergs s^-1, which is more than twice as luminous as any previously known supernova. It has several major features characteristic of the hydrogen-poor super-luminous supernovae (SLSNe-I), whose energy sources and progenitors are currently poorly understood. In contrast to most previously known SLSNe-I that reside in star-forming dwarf galaxies, ASASSN-15lh appears to be hosted by a luminous galaxy (M_K ~ -25.5) with little star formation. In the 4 months since first detection, ASASSN-15lh radiated (1.1+/- 0.2)x10^52 ergs, challenging the magnetar model for its engine.


title: The Distribution of Star Formation and Metals in the Low Surface Brightness Galaxy UGC 628

abstract: We introduce the MUSCEL Program (MUltiwavelength observations of the Structure, Chemistry and Evolution of LSB galaxies), a project aimed at determining the star-formation histories of low surface brightness galaxies. MUSCEL utilizes ground-based optical spectra and space-based UV and IR photometry to fully constrain the star-formation histories of our targets with the aim of shedding light on the processes that led low surface brightness galaxies down a different evolutionary path from that followed by high surface brightness galaxies, such as our Milky Way. Here we present the spatially-resolved optical spectra of UGC 628, observed with the VIRUS-P IFU at the 2.7-m Harlen J. Smith Telescope at the McDonald Observatory, and utilize emission-line diagnostics to determine the rate and distribution of star formation as well as the gas-phase metallicity and metallicity gradient. We find highly clustered star formation throughout UGC 628, excluding the core regions, and a log(O/H) metallicity around -4.2, with more metal rich regions near the edges of the galactic disk. Based on the emission-line diagnostics alone, the current mode of star formation, slow and concentrated in the outer disk, appears to have dominated for quite some time, although there are clear signs of a much older stellar population formed in a more standard inside-out fashion.


title: Efficient and long-lived Zeeman-sublevel atomic population storage in an erbium-doped glass fiber

abstract: Long-lived population storage in optically pumped levels of rare-earth ions doped into solids, referred to as persistent spectral hole burning, is of significant fundamental and technological interest. However, the demonstration of deep and persistent holes in rare-earth ion doped amorphous hosts, e.g. glasses, has remained an open challenge since many decades -- a fact that motivates our work towards a better understanding of the interaction between impurities and vibrational modes in glasses. Here we report the first observation and detailed characterization of such holes in an erbium-doped silica glass fiber cooled to below 1 K. We demonstrate population storage in electronic Zeeman-sublevels of the erbium ground state with lifetimes up to 30 seconds and 80\% spin polarization. In addition to its fundamental aspect, our investigation reveals a potential technological application of rare-earth ion doped amorphous materials, including at telecommunication wavelength.


title: A Dark Matter Superfluid

abstract: In this talk we present a novel framework that unifies the stunning success of MOND on galactic scales with the triumph of the LambdaCDM model on cosmological scales. This is achieved through the rich and well-studied physics of superfluidity. The dark matter and MOND components have a common origin, representing different phases of a single underlying substance. In galaxies, dark matter thermalizes and condenses to form a superfluid phase. The superfluid phonons couple to baryonic matter particles and mediate a MOND-like force. Our framework naturally distinguishes between galaxies (where MOND is successful) and galaxy clusters (where MOND is not): dark matter has a higher temperature in clusters, and hence is in a mixture of superfluid and normal phase. The rich and well-studied physics of superfluidity leads to a number of striking observational signatures, which we briefly discuss. Remarkably the critical temperature and equation of state of the dark matter superfluid are similar to those of known cold atom systems. Identifying a precise cold atom analogue would give important insights on the microphysical interactions underlying DM superfluidity. Tantalizingly, it might open the possibility of simulating the properties and dynamics of galaxies in laboratory experiments.


title: Near-IR Polarized Scattered Light Imagery of the DoAr 28 Transitional Disk

abstract: We present the first spatially resolved polarized scattered light H-band detection of the DoAr 28 transitional disk. Our two epochs of imagery detect the scattered light disk from our effective inner working angle of 0.10" (13 AU) out to 0.50" (65 AU). This inner working angle is interior to the location of the system's gap inferred by previous studies using SED modeling (15 AU). We detected a candidate point source companion 1.08" northwest of the system; however, our second epoch of imagery strongly suggests that this object is a background star. We constructed a grid of Monte Carlo Radiative Transfer models of the system, and our best fit models utilize a modestly inclined (50 deg), 0.01 Msun disk that has a partially depleted inner gap from the dust sublimation radius out to ~8 AU. Subtracting this best fit, axi-symmetric model from our polarized intensity data reveals evidence for two small asymmetries in the disk, which could be attributable to variety of mechanisms.


title: Searching for MeV-Scale Gauge Bosons with IceCube

abstract: Light gauge bosons can lead to resonant interactions between high-energy astrophysical neutrinos and the cosmic neutrino background. We study this possibility in detail, considering the ability of IceCube to probe such scenarios. We find the most dramatic effects in models with a very light $Z'$ ($m_{Z'} \lesssim 10$ MeV), which can induce a significant absorption feature at $E_{\nu} \sim\,$5-10$\,{\rm TeV} \times (m_{Z'}/{\rm MeV})^2$. In the case of the inverted hierarchy and a small sum of neutrino masses, such a light $Z'$ can result in a broad and deep spectral feature at $\sim\,$0.1-10$\,{\rm PeV} \times (m_{Z'}/{\rm MeV})^2$. Current IceCube data already excludes this case for a $Z'$ lighter than a few MeV and couplings greater than $g\sim10^{-4}$. We emphasize that the ratio of neutrino flavors observed by IceCube can be used to further increase their sensitivity to $Z'$ models and to other exotic physics scenarios.


title: On the Uncertainties of Stellar Mass Estimates via Colour Measurements

abstract: Mass-to-light versus colour relations (MLCRs), derived from stellar population synthesis models, are widely used to estimate galaxy stellar masses (M$_*$) yet a detailed investigation of their inherent biases and limitations is still lacking. We quantify several potential sources of uncertainty, using optical and near-infrared (NIR) photometry for a representative sample of nearby galaxies from the Virgo cluster. Our method for combining multi-band photometry with MLCRs yields robust stellar masses, while errors in M$_*$ decrease as more bands are simultaneously considered. The prior assumptions in one's stellar population modelling dominate the error budget, creating a colour-dependent bias of up to 0.6 dex if NIR fluxes are used (0.3 dex otherwise). This matches the systematic errors associated with the method of spectral energy distribution (SED) fitting, indicating that MLCRs do not suffer from much additional bias. Moreover, MLCRs and SED fitting yield similar degrees of random error ($\sim$0.1-0.14 dex) when applied to mock galaxies and, on average, equivalent masses for real galaxies with M$_* \sim$ 10$^{8-11}$ M$_{\odot}$. The use of integrated photometry introduces additional uncertainty in M$_*$ measurements, at the level of 0.05-0.07 dex. We argue that using MLCRs, instead of time-consuming SED fits, is justified in cases with complex model parameter spaces (involving, for instance, multi-parameter star formation histories) and/or for large datasets. Spatially-resolved methods for measuring M$_*$ should be applied for small sample sizes and/or when accuracies less than 0.1 dex are required. An Appendix provides our MLCR transformations for ten colour permutations of the $grizH$ filter set.


title: The MOSDEF Survey: Dissecting the star-formation rate vs. stellar mass relation using H$\alpha$ and H$\beta$ emission lines at z ~ 2

abstract: We present results on the star-formation rate (SFR) versus stellar mass ($M_*$) relation (i.e., the "main sequence") among star-forming galaxies at 1.37$\leq$$z$$\leq$2.61 using the MOSFIRE Deep Evolution Field (MOSDEF) survey. Based on a sample of 261 galaxies with H$\alpha$ and H$\beta$ spectroscopy, we have estimated robust dust-corrected instantaneous SFRs over a large range in $M_*$ ($\sim10^{9.5}-10^{11.5}M_\odot$). We find a correlation between log(SFR(H$\alpha$)) and log($M_*$) with a slope of 0.65$\pm$0.08 (0.58$\pm$0.10) at 1.4<z<2.6 (2.1<z<2.6). We find that different assumptions for the dust correction, such as using the color-excess of the stellar continuum to correct the nebular lines, sample selection biases against red star-forming galaxies, and not accounting for Balmer absorption can yield steeper slopes of the log(SFR)-log($M_*$) relation. Our sample is immune from these biases as it is rest-frame optically selected, H$\alpha$ and H$\beta$ are corrected for Balmer absorption, and the H$\alpha$ luminosity is dust-corrected using the nebular color-excess computed from the Balmer decrement. The scatter of the log(SFR(H$\alpha$))-log($M_*$) relation, after accounting for the measurement uncertainties, is 0.31 dex at 2.1<z<2.6, which is 0.05 dex larger than the scatter in log(SFR(UV))-log($M_*$). Based on comparisons to a simulated SFR-$M_*$ relation with some intrinsic scatter, we argue that in the absence of direct measurements of galaxy-to-galaxy variations in the attenuation/extinction curves and the IMF, one cannot use the difference in the scatter of the SFR(H$\alpha$)- and SFR(UV)-$M_*$ relations to constrain the stochasticity of star formation in high-redshift galaxies.


title: Analytic Boosted Boson Discrimination

abstract: Observables which discriminate boosted topologies from massive QCD jets are of great importance for the success of the jet substructure program at the Large Hadron Collider. Such observables, while both widely and successfully used, have been studied almost exclusively with Monte Carlo simulations. In this paper we present the first all-orders factorization theorem for a two-prong discriminant based on a jet shape variable, $D_2$, valid for both signal and background jets. Our factorization theorem simultaneously describes the production of both collinear and soft subjets, and we introduce a novel zero-bin procedure to correctly describe the transition region between these limits. By proving an all orders factorization theorem, we enable a systematically improvable description, and allow for precision comparisons between data, Monte Carlo, and first principles QCD calculations for jet substructure observables. Using our factorization theorem, we present numerical results for the discrimination of a boosted $Z$ boson from massive QCD background jets. We compare our results with Monte Carlo predictions which allows for a detailed understanding of the extent to which these generators accurately describe the formation of two-prong QCD jets, and informs their usage in substructure analyses. Our calculation also provides considerable insight into the discrimination power and calculability of jet substructure observables in general.


title: A Comprehensive Study of the Radio Properties of Brightest Cluster Galaxies

abstract: We examine the radio properties of the Brightest Cluster Galaxies (BCGs) in a large sample of X-ray selected galaxy clusters comprising the Brightest Cluster Sample (BCS), the extended BCS (eBCS) and ROSAT-ESO Flux Limited X-ray (REFLEX) cluster catalogues. We have multi-frequency radio observations of the BCG using a variety of data from the Australia Telescope Compact Array (ATCA), Jansky Very Large Array (VLA) and Very Long Baseline Array (VLBA) telescopes. The radio spectral energy distributions (SEDs) of these objects are decomposed into a component attributed to on-going accretion by the active galactic nuclei (AGN) that we refer to as the 'core', and a more diffuse, ageing component we refer to as the 'non-core'. These BCGs are matched to previous studies to determine whether they exhibit emission lines (principally H-alpha), indicative of the presence of a strong cooling cluster core. We consider how the radio properties of the BCGs vary with cluster environmental factors. Line emitting BCGs are shown to generally host more powerful radio sources, exhibiting the presence of a strong, distinguishable core component in about 60% of cases. This core component more strongly correlates with the BCG's [OIII]5007A line emission. For BCGs in line-emitting clusters, the X-ray cavity power correlates with both the extended and core radio emission, suggestive of steady fuelling of the AGN over bubble-rise time-scales in these clusters.


title: Proper motions in Terzan 5: membership of the multi-iron sub-populations and first constrain to the orbit

abstract: By exploiting two sets of high-resolution images obtained with HST ACS/WFC over a baseline of ~10 years we have measured relative proper motions of ~70,000 stars in the stellar system Terzan 5. The results confirm the membership of the three sub-populations with different iron abudances discovered in the system. The orbit of the system has been derived from a first estimate of its absolute proper motion, obtained by using bulge stars as reference. The results of the integration of this orbit within an axisymmetric Galactic model exclude any external accretion origin for this cluster. Terzan 5 is known to have chemistry similar to the Galactic bulge; our findings support a kinematic link between the cluster and the bulge, further strengthening the possibility that Terzan 5 is the fossil remnant of one of the pristine clumps that originated the bulge.


title: Helium Reionization Simulations. I. Modeling Quasars as Radiation Sources

abstract: We introduce a new project to understand helium reionization using fully coupled $N$-body, hydrodynamics, and radiative transfer simulations. This project aims to capture correctly the thermal history of the intergalactic medium (IGM) as a result of reionization and make predictions about the Lyman-$\alpha$ forest and baryon temperature-density relation. The dominant sources of radiation for this transition are quasars, so modeling the source population accurately is very important for making reliable predictions. In this first paper, we present a new method for populating dark matter halos with quasars. Our set of quasar models include two different light curves, a lightbulb (simple on/off) and symmetric exponential model, and luminosity-dependent quasar lifetimes. Our method self-consistently reproduces an input quasar luminosity function (QLF) given a halo catalog from an $N$-body simulation, and propagates quasars through the merger history of halo hosts. After calibrating quasar clustering using measurements from BOSS, we find that the characteristic mass of quasar hosts is $M_h \sim 2.5 \times 10^{12} M_\odot$ $h^{-1}$ for the lightbulb model, and $M_h \sim 2.3 \times 10^{12} M_\odot$ $h^{-1}$ for the exponential model. In the exponential model, the peak quasar luminosity for a given halo mass is larger than that in the lightbulb model, typically by a factor of 1.5-2. The effective lifetime for quasars in the lightbulb model is 59 Myr, and in the exponential case, the effective time constant is about 15 Myr. We include semi-analytic calculations of helium reionization, and discuss how to include these quasars as sources of ionizing radiation for full hydrodynamics with radiative transfer simulations in order to study helium reionization.


title: High Radio Frequency Properties and Variability of Brightest Cluster Galaxies

abstract: We consider the high radio frequency (15 GHz - 353 GHz) properties and variability of 35 Brightest Cluster Galaxies (BCGs). These are the most core-dominated sources drawn from a parent sample of more than 700 X-ray selected clusters, thus allowing us to relate our results to the general population. We find that >6.0% of our parent sample (>15.1% if only cool-core clusters are considered) contain a radio-source at 150 GHz of at least 3mJy (~1x10^23 W/Hz at our median redshift of z~0.13). Furthermore, >3.4% of the BCGs in our parent sample contain a peaked component (Gigahertz Peaked Spectrum, GPS) in their spectra that peaks above 2 GHz, increasing to >8.5% if only cool-core clusters are considered. We see little evidence for strong variability at 15 GHz on short (week-month) time-scales although we see variations greater than 20% at 150 GHz over 6-month times-frames for 4 of the 23 sources with multi-epoch observations. Much more prevalent is long-term (year-decade time-scale) variability, with average annual amplitude variations greater than 1% at 15 GHz being commonplace. There is a weak trend towards higher variability as the peak of the GPS-like component occurs at higher frequency. We demonstrate the complexity that is seen in the radio spectra of BCGs and discuss the potentially significant implications of these high-peaking components for Sunyaev-Zel'dovich cluster searches.


title: Shapiro Steps for Skyrmion Motion on a Washboard Potential with Longitudinal and Transverse ac Drives

abstract: We numerically study the behavior of two-dimensional skyrmions in the presence of a quasi-one-dimensional sinusoidal substrate under the influence of externally applied dc and ac drives. In the overdamped limit, when both dc and ac drives are aligned in the longitudinal direction parallel to the direction of the substrate modulation, the velocity-force curves exhibit classic Shapiro step features when the frequency of the ac drive matches the washboard frequency that is dynamically generated by the motion of the skyrmions over the substrate, similar to previous observations in superconducting vortex systems. In the case of skyrmions, the additional contribution to the skyrmion motion from a non-dissipative Magnus force shifts the location of the locking steps to higher dc drives, and we find that the skyrmions move at an angle with respect to the direction of the dc drive. For a longitudinal dc drive and a perpendicular or transverse ac drive, the overdamped system exhibits no Shapiro steps; however, when a finite Magnus force is present we find pronounced transverse Shapiro steps along with complex two-dimensional periodic orbits of the skyrmions in the phase-locked regimes. Both the longitudinal and transverse ac drives produce locking steps whose widths oscillate with increasing ac drive amplitude. We examine the role of collective skyrmion interactions and find that additional fractional locking steps occur for both longitudinal and transverse ac drives. At higher skyrmion densities, the system undergoes a series of dynamical order-disorder transitions, with the skyrmions forming a moving solid on the phase locking steps and a fluctuating dynamical liquid in regimes between the steps.


title: A Simple and Effective High-Order Shock-Capturing Limiter for Discontinuous Galerkin Methods

abstract: The discontinuous Galerkin (DG) finite element method when applied to hyperbolic conservation laws requires the use of shock-capturing limiters in order to suppress unphysical oscillations near large solution gradients. In this work we develop a novel shock-capturing limiter that combines key ideas from the limiter of Barth and Jespersen [AIAA-89-0366 (1989)] and the maximum principle preserving (MPP) framework of Zhang and Shu [Proc. R. Soc. A, 467 (2011), pp. 2752--2776]. The limiting strategy is based on traversing the mesh element-by-element in order to (1) find local upper and lower bounds on user-defined variables by sampling these variables on neighboring elements, and (2) to then enforce these local bounds by minimally damping the high-order corrections. The main advantages of this limiting strategy is that it is simple to implement, effective at shock capturing, and retains high-order accuracy of the solution in smooth regimes. The resulting numerical scheme is applied to several standard numerical tests in both one and two-dimensions and on both Cartesian and unstructured grids. These tests are used as benchmarks to verify and assess the accuracy and robustness of the method.


title: Can gravitational collapse and black-hole evaporation be a unitary process after all?

abstract: This paper shows a way of how one may resolve the non-unitarity problem in black-hole physics without modifications of the basic principles of local quantum field theory.


title: Stability of the tangent bundle of G/P in positive characteristics

abstract: Let $G$ be an almost simple simply-connected affine algebraic group over an algebraically closed field $k$ of characteristic $p > 0$. If $G$ has type $B_n$, $C_n$ or $F_4$, we assume that $p > 2$, and if $G$ has type $G_2$, we assume that $p > 3$. Let $P \subset G$ be a parabolic subgroup. We prove that the tangent bundle of $G/P$ is Frobenius stable with respect to the anticanonical polarization on $G/P$.


title: Critical points of Potts and O($N$) models from eigenvalue identities in periodic Temperley-Lieb algebras

abstract: In previous work with Scullard, we defined a graph polynomial P_B(q,T) that gives access to the critical temperature T_c of the q-state Potts model on a general two-dimensional lattice L. It depends on a basis B, containing n x m unit cells of L, and the relevant root of P_B(q,T) was observed to converge quickly to T_c in the limit n,m to infinity. Moreover, in exactly solvable cases there is no finite-size dependence at all. We reformulate this method as an eigenvalue problem within the periodic Temperley-Lieb algebra. This corresponds to taking m to infinity first, so the bases B are semi-infinite cylinders of circumference n. The limit implies faster convergence in n, while maintaining the n-independence in exactly solvable cases. In this setup, T_c(n) is determined by equating the largest eigenvalues of two topologically distinct sectors of the transfer matrix. Crucially, these two sectors determine the same critical exponent in the continuum limit, and the observed fast convergence is thus corroborated by results of conformal field theory. We obtain similar results for the dense and dilute phases of the O(N) loop model, using now a transfer matrix within the dilute periodic Temperley-Lieb algebra. The eigenvalue formulation allows us to double the size n for which T_c(n) can be obtained, using the same computational effort. We study in details three significant cases: (i) bond percolation on the kagome lattice, up to n = 14; (ii) site percolation on the square lattice, to n = 21; and (iii) self-avoiding polygons on the square lattice, to n = 19. Convergence properties of T_c(n) and extrapolation schemes are studied in details for the first two cases. This leads to rather accurate values for the percolation thresholds: p_c = 0.524404999167439(4) for bond percolation on the kagome lattice, and p_c = 0.59274605079210(2) for site percolation on the square lattice.


title: Endomorphisms, train track maps, and fully irreducible monodromies

abstract: Any endomorphism of a finitely generated free group naturally descends to an injective endomorphism of its stable quotient. In this paper, we prove a geometric incarnation of this phenomenon: namely, that every expanding irreducible train track map inducing an endomorphism of the fundamental group gives rise to an expanding irreducible train track representative of the injective endomorphism of the stable quotient. As an application, we prove that the property of having fully irreducible monodromy for a splitting of a hyperbolic free-by-cyclic group depends only on the component of the BNS-invariant containing the associated homomorphism to the integers.


title: Number of Solutions of Systems of Homogeneous Polynomial Equations over Finite Fields

abstract: We consider the problem of determining the maximum number of common zeros in a projective space over a finite field for a system of linearly independent multivariate homogeneous polynomials defined over that field. There is an elaborate conjecture of Tsfasman and Boguslavsky that predicts the maximum value when the homogeneous polynomials have the same degree that is not too large in comparison to the size of the finite field. We show that this conjecture holds in the affirmative if the number of polynomials does not exceed the total number of variables. This extends the results of Serre (1991) and Boguslavsky (1997) for the case of one and two polynomials, respectively. Moreover, it complements our recent result that the conjecture is false, in general, if the number of polynomials exceeds the total number of variables.


title: Estimation of Laplacian spectra of direct and strong product graphs

abstract: Calculating a product of multiple graphs has been studied in mathematics, engineering, computer science, and more recently in network science, particularly in the context of multilayer networks. One of the important questions to be addressed in this area is how to characterize spectral properties of a product graph using those of its factor graphs. While several such characterizations have already been obtained analytically (mostly for adjacency spectra), characterization of Laplacian spectra of direct product and strong product graphs has remained an open problem. Here we develop practical methods to estimate Laplacian spectra of direct and strong product graphs from spectral properties of their factor graphs using a few heuristic assumptions. Numerical experiments showed that the proposed methods produced reasonable estimation with percentage errors confined within a +/-10% range for most eigenvalues.


title: Search for a Higgs boson decaying into gamma* gamma to ll gamma with low dilepton mass in pp collisions at sqrt(s) = 8 TeV

abstract: A search is described for a Higgs boson decaying into two photons, one of which has an internal conversion to a muon or an electron pair (ll gamma). The analysis is performed using proton-proton collision data recorded with the CMS detector at the LHC at a centre-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 19.7 inverse femtobarns. The events selected have an opposite-sign muon or electron pair and a high transverse momentum photon. No excess above background has been found in the three-body invariant mass range 120 < m[ll gamma] < 150 GeV, and limits have been derived for the Higgs boson production cross section times branching fraction for the decay H to gamma* gamma to ll gamma, where the dilepton invariant mass is less than 20 GeV. For a Higgs boson with m[H] = 125 GeV, a 95% confidence level (CL) exclusion observed (expected) limit is 6.7 (5.9 +2.8/-1.8) times the standard model prediction. Additionally, an upper limit at 95% CL on the branching fraction of H to J/Psi gamma for the 125 GeV Higgs boson is set at 1.5E-3.


title: Spectral Smoothing via Random Matrix Perturbations

abstract: We consider stochastic smoothing of spectral functions of matrices using perturbations commonly studied in random matrix theory. We show that a spectral function remains spectral when smoothed using a unitarily invariant perturbation distribution. We then derive state-of-the-art smoothing bounds for the maximum eigenvalue function using the Gaussian Orthogonal Ensemble (GOE). Smoothing the maximum eigenvalue function is important for applications in semidefinite optimization and online learning. As a direct consequence of our GOE smoothing results, we obtain an $O((N \log N)^{1/4} \sqrt{T})$ expected regret bound for the online variance minimization problem using an algorithm that performs only a single maximum eigenvector computation per time step. Here $T$ is the number of rounds and $N$ is the matrix dimension. Our algorithm and its analysis also extend to the more general online PCA problem where the learner has to output a rank $k$ subspace. The algorithm just requires computing $k$ maximum eigenvectors per step and enjoys an $O(k (N \log N)^{1/4} \sqrt{T})$ expected regret bound.


title: The Dvoretsky-Rogers Theorem for vector valued integrals on function spaces

abstract: We show a Dvoretsky-Rogers type Theorem for the adapted version of the $q$-summing operators to the topology of the convergence of the vector valued integrals on Banach function spaces. In the pursuit of this objective we prove that the mere summability of the identity map does not guaranty that the space has to be finite dimensional, contrarily to the classical case. Some local compactness assumptions on the unit balls are required. Our results open the door to new convergence theorems and tools regarding summability of series of integrable functions and approximation in function spaces, since we may find infinite dimensional spaces in which convergence of the integrals ---our vector valued version of convergence in the weak topology--- is equivalent to the convergence with respect to the norm. Examples and applications are also given.


title: Toric completions and bounded functions on real algebraic varieties

abstract: Given a semi-algebraic set S, we study compactifications of S that arise from embeddings into complete toric varieties. This makes it possible to describe the asymptotic growth of polynomial functions on S in terms of combinatorial data. We extend our earlier work to compute the ring of bounded functions in this setting and discuss applications to positive polynomials and the moment problem. Complete results are obtained in special cases, like sets defined by binomial inequalities. We also show that the wild behaviour of certain examples constructed by Krug and by Mondal-Netzer cannot occur in a toric setting.


title: Principal ideals in mod-$\ell$ Milnor $K$-theory

abstract: Fix a symbol $\underline{a}$ in the mod-$\ell$ Milnor $K$-theory of a field $k$, and a norm variety $X$ for $\underline{a}$. We show that the ideal generated by $\underline{a}$ is the kernel of the $K$-theory map induced by $k\subset k(X)$ and give generators for the annihilator of the ideal. When $\ell=2$, this was done by Orlov, Vishik and Voevodsky.


title: String Bits at Finite Temperature and the Hagedorn Phase

abstract: We study the behavior of a simple string bit model at finite temperature. We use thermal perturbation theory to analyze the high temperature regime. But at low temperatures we rely on the large $N$ limit of the dynamics, for which the exact energy spectrum is known. Since the lowest energy states at infinite $N$ are free closed strings, the $N=\infty$ partition function diverges above a finite temperature $\beta_H^{-1}$, the Hagedorn temperature. We argue that in these models at finite $N$, which then have a finite number of degrees of freedom, there can be neither an ultimate temperature nor any kind of phase transition. We discuss how the discontinuous behavior seen at infinite $N$ can be removed at finite $N$. In this resolution the fundamental string bit degrees of freedom become more active at temperatures near and above the Hagedorn temperature.


title: SenseDroid: A Context-Aware Information Exchange Framework for Mobile Sensor Networks Using Android Phones

abstract: Mobile phones and smartphones have evolved to be very powerful devices that have the potential to be utilized in many application areas apart from generic communication. With each passing year, we see increasingly powerful smartphones being manufactured, which have a plethora of powerful embedded sensors like microphone, camera, digital compass, GPS, accelerometer, temperature sensors and many more. Moreover, the ability to easily program today's smartphones, enables us to exploit these sensors, in a wide variety of application such as personal safety, emergency and calamity response, situation awareness, remote activity monitoring, transportation and environment monitoring. In this paper, we survey the existing mobile phone sensing methodologies and application areas. We also formulate the architectural framework of our project, SenseDroid, its utility, limitations and possible future applications.


title: Gradient Ricci almost soliton warped product

abstract: We present the necessary and sufficient conditions for constructing gradient Ricci almost solitons that are realized as warped products. This will be done by means of Bishop-O'Neill's formulas and a particular study of Riemannian manifolds satisfying a Ricci-Hessian type equation. We prove existence results and give an example of particular solutions of the PDEs that arise from our construction. We also prove a rigidity result for a gradient Ricci soliton Riemannian product in the class of gradient Ricci almost soliton warped products under some natural geometric assumptions on the warping function.


title: Block-determinant formalism for an action of a multi-terminal scatterer

abstract: The scattering theory of electron transport allows for a compact and powerful description in terms of $\check{g}^2 = 1$ Green functions, so-called circuit theory of quantum transport. A scatterer in the theory is characterized by an action, most generally a Keldysh one, that can be further used as a building bock of theories describing statistics of electron transport, superconducting correlations, time-dependent and interaction effects. The action is usually used in the form suitable for a two-terminal scatterer. Here we provide a comprehensive derivation of a more general form of the action that is especially suitable and convenient for general multi-terminal scatterers. The action is expressed as a determinant of a block of the scattering matrix obtained by projection on the positive eigenvalues of the Green functions characterizing the reservoirs. We start with traditional Green function formalism introducing $\check{g}^2 = 1$ matrices and give a first example of multi-terminal counting statistics. Further we consider one-dimensional channels and discuss chiral anomaly arising in this context. Generalizing on many channels and superconducting situation, we arrive at the block-determinant relation. We give the necessary elaborative examples reproducing basic results of counting statistics and super-currents in multi-terminal junctions.


title: Tight Risk Bounds for Multi-Class Margin Classifiers

abstract: We consider a problem of risk estimation for large-margin multi-class classifiers. We propose a novel risk bound for the multi-class classification problem. The bound involves the marginal distribution of the classifier and the Rademacher complexity of the hypothesis class. We prove that our bound is tight in the number of classes. Finally, we compare our bound with the related ones and provide a simplified version of the bound for the multi-class classification with kernel based hypotheses.


title: The Length Spectrum of the Sub-Riemannian Three-Sphere

abstract: We determine the lengths of all closed sub-Riemannian geodesics on the three-sphere. Our methods are elementary and allow us to avoid using explicit formulas for the sub-Riemannian geodesics.


title: Weak versus $\mathcal{D}$-solutions to linear hyperbolic first order systems with constant coefficients

abstract: We establish a consistency result by comparing two independent notions of generalised solutions to a large class of linear hyperbolic first order PDE systems with constant coefficients, showing that they eventually coincide. The first is the usual notion of weak solutions defined via duality. The second is the new notion of $\mathcal{D}$-solutions introduced in the recent paper [K8], which arose in connection to vectorial Calculus of Variations in $L^\infty$ and fully nonlinear elliptic systems. This new approach is a duality-free alternative to distributions and is based on the probabilistic representation of limits of difference quotients.


title: The quantum mechanics correspondence principle for spin systems and its application for some magnetic resonance problems

abstract: Problems of interacting quantum magnetic moments become exponentially complex with increasing number of particles. As a result, classical equations are often used but the validity of reduction of a quantum problem to a classical problem should be justified. In this paper we formulate the correspondence principle, which shows that the classical equations of motion for a system of dipole interacting spins have identical form with the quantum equations. The classical simulations based on the correspondence principle for spin systems provide a practical tool to study different macroscopic spin physics phenomena. Three classical magnetic resonance problems in solids are considered as examples - free induction decay (FID), spin echo and the Pake doublet.

categories: quant-ph cond-mat.other physics.chem-ph physics.comp-ph


title: Persistent Homology Lower Bounds on High Order Network Distances

abstract: High order networks are weighted hypergraphs col- lecting relationships between elements of tuples, not necessarily pairs. Valid metric distances between high order networks have been defined but they are difficult to compute when the number of nodes is large. The goal here is to find tractable approximations of these network distances. The paper does so by mapping high order networks to filtrations of simplicial complexes and showing that the distance between networks can be lower bounded by the difference between the homological features of their respective filtrations. Practical implications are explored by classifying weighted pairwise networks constructed from different gener- ative processes and by comparing the coauthorship networks of engineering and mathematics academic journals. The persistent homology methods succeed in identifying different generative models, in discriminating engineering and mathematics commu- nities, as well as in differentiating engineering communities with different research interests.


title: Markov Logic Networks for Natural Language Question Answering

abstract: Our goal is to answer elementary-level science questions using knowledge extracted automatically from science textbooks, expressed in a subset of first-order logic. Given the incomplete and noisy nature of these automatically extracted rules, Markov Logic Networks (MLNs) seem a natural model to use, but the exact way of leveraging MLNs is by no means obvious. We investigate three ways of applying MLNs to our task. In the first, we simply use the extracted science rules directly as MLN clauses. Unlike typical MLN applications, our domain has long and complex rules, leading to an unmanageable number of groundings. We exploit the structure present in hard constraints to improve tractability, but the formulation remains ineffective. In the second approach, we instead interpret science rules as describing prototypical entities, thus mapping rules directly to grounded MLN assertions, whose constants are then clustered using existing entity resolution methods. This drastically simplifies the network, but still suffers from brittleness. Finally, our third approach, called Praline, uses MLNs to align the lexical elements as well as define and control how inference should be performed in this task. Our experiments, demonstrating a 15\% accuracy boost and a 10x reduction in runtime, suggest that the flexibility and different inference semantics of Praline are a better fit for the natural language question answering task.


title: An efficient tree decomposition method for permanents and mixed discriminants

abstract: We present an efficient algorithm to compute permanents, mixed discriminants and hyperdeterminants of structured matrices and multidimensional arrays (tensors). We describe the sparsity structure of an array in terms of a graph, and we assume that its treewidth, denoted as $\omega$, is small. Our algorithm requires $O(n 2^\omega)$ arithmetic operations to compute permanents, and $O(n^2 + n 3^\omega)$ for mixed discriminants and hyperdeterminants. We finally show that mixed volume computation continues to be hard under bounded treewidth assumptions.


title: Accelerated Nonparametrics for Cascades of Poisson Processes

abstract: Cascades of Poisson processes are probabilistic models for spatio-temporal phenomena in which (i) previous events may trigger subsequent events, and (ii) both the background and triggering processes are conditionally Poisson. Such phenomena are typically "data rich but knowledge poor", in the sense that large datasets are available yet a mechanistic understanding of the background and triggering processes which generate the data are unavailable. In these settings nonparametric estimation plays a central role. However existing nonparametric estimators have computational and storage complexity $\mathcal{O}(N^2)$, precluding their application on large datasets. Here, by assuming the triggering process acts only locally, we derive nonparametric estimators with computational complexity $\mathcal{O}(N\log N)$ and storage complexity $\mathcal{O}(N)$. Our approach automatically learns the domain of the triggering process from data and is essentially free from hyperparameters. The methodology is applied to a large seismic dataset where estimation under existing algorithms would be infeasible.


title: Geometric Langlands Twists of N = 4 Gauge Theory from Derived Algebraic Geometry

abstract: We develop techniques for describing the derived moduli spaces of solutions to the equations of motion in twists of supersymmetric gauge theories as derived algebraic stacks. We introduce a holomorphic twist of N=4 supersymmetric gauge theory and compute the derived moduli space. We then compute the moduli spaces for the Kapustin-Witten topological twists as its further twists. The resulting spaces for the A- and B-twist are closely related to the de Rham stack of the moduli space of algebraic bundles and the de Rham moduli space of flat bundles, respectively. In particular, we find the unexpected result that the moduli spaces following a topological twist need not be entirely topological, but can continue to capture subtle algebraic structures of interest for the geometric Langlands program.


title: Forecasting the cost of processing multi-join queries via hashing for main-memory databases (Extended version)

abstract: Database management systems (DBMSs) carefully optimize complex multi-join queries to avoid expensive disk I/O. As servers today feature tens or hundreds of gigabytes of RAM, a significant fraction of many analytic databases becomes memory-resident. Even after careful tuning for an in-memory environment, a linear disk I/O model such as the one implemented in PostgreSQL may make query response time predictions that are up to 2X slower than the optimal multi-join query plan over memory-resident data. This paper introduces a memory I/O cost model to identify good evaluation strategies for complex query plans with multiple hash-based equi-joins over memory-resident data. The proposed cost model is carefully validated for accuracy using three different systems, including an Amazon EC2 instance, to control for hardware-specific differences. Prior work in parallel query evaluation has advocated right-deep and bushy trees for multi-join queries due to their greater parallelization and pipelining potential. A surprising finding is that the conventional wisdom from shared-nothing disk-based systems does not directly apply to the modern shared-everything memory hierarchy. As corroborated by our model, the performance gap between the optimal left-deep and right-deep query plan can grow to about 10X as the number of joins in the query increases.


title: The Coarse Geometry of Hartnell's Firefighter Problem on Infinite Graphs

abstract: In this article, we study Hartnell's Firefighter Problem through the group theoretic notions of growth and quasi-isometry. A graph has the $n$-containment property if for every finite initial fire, there is a strategy to contain the fire by protecting $n$ vertices at each turn. A graph has the constant containment property if there is an integer $n$ such that it has the $n$-containment property. Our first result is that any locally finite connected graph with quadratic growth has the constant containment property; the converse does not hold. This result provides a unified way to recover previous results in the literature, in particular the class of graphs satisfying the constant containment property is infinite. A second result is that in the class of graphs with bounded degree, having the constant containment property is preserved by quasi-isometry. Some sample consequences of the second result are that any regular tiling of the Euclidean plane has the fire containment property; no regular tiling of the $n$-dimensional Euclidean space has the containment property if $n>2$; and no regular tiling of the $n$-dimensional hyperbolic space has the containment property if $n\geq 2$. We prove analogous results for the $\{f_n\}$-containment property, where $f_n$ is an integer sequence corresponding to the number of vertices protected at time $n$. In particular, we positively answer a conjecture by Develin and Hartke by proving that the $d$-dimensional square grid $\mathbb{L}^d$ does not satisfy the $cn^{d-3}$-containment property for any constant $c$.


title: Modulated semi-invariants

abstract: We prove the basic properties of determinantal semi-invariants for presentation spaces over any finite dimensional hereditary algebra over any field. These include the virtual generic decomposition theorem, stability theorem and the c-vector theorem which says that the c-vectors of a cluster tilting object are, up to sign, the determinantal weights of the determinantal semi-invariants defined on the cluster tilting objects. Applications of these theorems are given in several concurrently written papers.


title: Fast control of topological vortex formation in BEC by counter-diabatic driving

abstract: Topological vortex formation has been known as the simplest method for vortex formation in BEC of alkali atoms. This scheme requires inversion of the bias magnetic field along the axis of the condensate, which leads to atom loss when the bias field crosses zero. In this Letter, we propose a scheme with which the atom loss is greatly suppressed by adding counter-diabatic magnetic field. A naive counter-diabatic field violates the Maxwell equations and we need to introduce an approximation to make it physically feasible. The resulting field requires an extra currents, which is experimentally challenging. Finally we solve this problem by applying a gauge transformation so that the counter-diabatic field is generated by controlling the original trap field with the additional control of the bias field.


title: Memetic evolution of art to distinct aesthetics

abstract: Humans have been using symbolic representation (i.e. art) as a creative cultural form indisputably for at least 80,000 years. A description of the processes central to the evolution of art from sculpted earthen forms early in human existence to paintings in museums of the modern world is absent in scholarly literature. The present manuscript offers a memetic theory of art evolution demonstrating typological transitions of art in the period post the 3-dimensional to 2-dimensional transition occurring in the early Aurignacian period. The process of art evolution in the 2-dimensional form central to the typological transitions post this period was propelled by material and/or structure chosen to display the artistic message. Symbolic representational tinkering whether collectively or individually creates artistic typologies of display deemed aesthetic and non-aesthetic by the current cultural milieu. Contemporary forms of graffiti underscore the aesthetic/nonaesthetic dichotomy.


title: Quantum metrology with mixed states: When recovering lost information is better than never losing it

abstract: Quantum-enhanced metrology can be achieved by entangling a probe with an auxiliary system, passing the probe through an interferometer, and subsequently making measurements on both the probe and auxiliary system. Conceptually, this corresponds to performing metrology with the purification of a (mixed) probe state. We demonstrate via the quantum Fisher information how to design mixed states whose purifications are an excellent metrological resource. In particular, we give examples of mixed states with purifications that allow (near) Heisenberg-limited metrology, and provide example entangling Hamiltonians that can generate these states. Finally, we present the optimal measurement and parameter-estimation procedure required to realize these sensitivities (i.e. that saturate the quantum Cram\'er-Rao bound). Since pure states of comparable metrological usefulness are typically challenging to generate, it may prove easier to use this approach of entanglement and measurement of an auxiliary system. An example where this may be the case is atom interferometry, where entanglement with optical systems is potentially easier to engineer than the atomic interactions required to produce nonclassical atomic states.


title: Duals of Bernoulli Numbers and Polynomials and Euler Number and Polynomials

abstract: A sequence inverse relationship can be defined by a pair of infinite inverse matrices. If the pair of matrices are the same, they define a dual relationship. Here presented is a unified approach to construct dual relationships via pseudo-involution of Riordan arrays. Then we give four dual relationships for Bernoulli numbers and Euler numbers, from which the corresponding dual sequences of Bernoulli polynomials and Euler polynomials are constructed. Some applications in the construction of identities of Bernoulli numbers and polynomials and Euler numbers and polynomials are discussed based on the dual relationships.


title: On a biharmonic equations with steep potential well and indefinite potential

abstract: In this paper, we study the following biharmonic equations:% $$ \left\{\aligned&\Delta^2u-a_0\Delta u+(\lambda b(x)+b_0)u=f(u)&\text{ in }\bbr^N,\\% &u\in\h,\endaligned\right.\eqno{(\mathcal{P}_{\lambda})}% $$ where $N\geq3$, $a_0,b_0\in\bbr$ are two constants, $\lambda>0$ is a parameter, $b(x)\geq0$ is a potential well and $f(t)\in C(\bbr)$ is subcritical and superlinear or asymptotically linear at infinity. By the Gagliardo-Nirenberg inequality, we make some observations on the operator $\Delta^2-a_0\Delta+\lambda b(x)+b_0$ in $\h$. Based on these observations, we give a new variational setting to $(\mathcal{P}_{\lambda})$ for $a_0<0$. With this new variational setting in hands, we establish some new existence results of the nontrivial solutions to $(\mathcal{P}_{\lambda})$ for all $a_0, b_0\in\bbr$ with $\lambda$ sufficiently large by the variational method. The concentration behavior of the nontrivial solutions as $\lambda\to+\infty$ is also obtained. It is worth to point out that it seems to be the first time that the nontrivial solution of $(\mathcal{P}_{\lambda})$ is obtained in the case of $a_0<0$.


title: A Note on the Daubechies Approach in the Construction of Spline Type Orthogonal Scaling Functions

abstract: We use Lorentz polynomials to present the solutions explicitly of equations (6.1.7) of [I. Daubechies, Ten lectures on wavelets, CBMS-NSF Regional Conference Series in Applied Mathematics, 61. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1992] and (4.9) of [I. Daubechies, Orthonormal bases of compactly supported wavelets. Comm. Pure Appl. Math. 41 (1988), no. 7, 909--996] sot that we give an efficient way to prove Daubechies' results on the existence of spline type orthogonal scaling functions and to evaluate Daubechies scaling functions.


title: Complexity of Substitutive Sequences - Calculation of the Complexities of Substitutive Sequences Over a Binary Alphabet

abstract: We consider the complexities of substitutive sequences over a binary alphabet. By studying various types of special words, we show that, knowing some initial values, its complexity can be completely formulated via a recurrence formula determined by the characteristic polynomial.


title: Symmetry in Tur\'an Sums of Squares Polynomials from Flag Algebras

abstract: Tur\'an problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on semidefinite programming to find sums of squares that establish edge density inequalities in Tur\'an problems. Working with polynomial analogs of the flag algebra entities, we prove that such sums of squares created by flag algebras can be retrieved from a restricted version of the symmetry-adapted semidefinite program proposed by Gatermann and Parrilo. This involves using the representation theory of the symmetric group for finding succinct sums of squares expressions for invariant polynomials. The connection reveals several combinatorial and structural properties of flag algebra sums of squares, and offers new tools for Tur\'an and other related problems.


title: LooseCut: Interactive Image Segmentation with Loosely Bounded Boxes

abstract: One popular approach to interactively segment the foreground object of interest from an image is to annotate a bounding box that covers the foreground object. Then, a binary labeling is performed to achieve a refined segmentation. One major issue of the existing algorithms for such interactive image segmentation is their preference of an input bounding box that tightly encloses the foreground object. This increases the annotation burden, and prevents these algorithms from utilizing automatically detected bounding boxes. In this paper, we develop a new LooseCut algorithm that can handle cases where the input bounding box only loosely covers the foreground object. We propose a new Markov Random Fields (MRF) model for segmentation with loosely bounded boxes, including a global similarity constraint to better distinguish the foreground and background, and an additional energy term to encourage consistent labeling of similar-appearance pixels. This MRF model is then solved by an iterated max-flow algorithm. In the experiments, we evaluate LooseCut in three publicly-available image datasets, and compare its performance against several state-of-the-art interactive image segmentation algorithms. We also show that LooseCut can be used for enhancing the performance of unsupervised video segmentation and image saliency detection.


title: Type II chiral affine Lie algebras and string actions in doubled space

abstract: We present affine Lie algebras generated by the supercovariant derivatives and the supersymmetry generators for the left and right moving modes in the doubled space. Chirality is manifest in our doubled space as well as the T-duality symmetry. We present gauge invariant bosonic and superstring actions preserving the two-dimensional diffeomorphism invariance and the kappa-symmetry where doubled spacetime coordinates are chiral fields. The doubled space becomes the usual space by dimensional reduction constraints.


title: The light filament as a new nonlinear polarization state

abstract: We present an analytical approach to the theory of nonlinear propagation in gases of femtosecond optical pulses with broad-band spectrum . The vector character of the nonlinear third-order polarization of the electrical field in air is investigated in details. A new polarization state is presented by using left-hand and right-hand circular components of the electrical field . The corresponding system of vector amplitude equations is derived in the rotating basis. We found that this system of nonlinear equations has $3D+1$ vector soliton solutions with Lorentz shape. The solution presents a relatively stable propagation and rotation with GHz frequency of the vector of the electrical field in a plane orthogonal to the direction of propagation. The evolution of the intensity profile demonstrates a weak self-compression and a week spherical wave in the first milliseconds of propagation.


title: Incentive-Compatible Experimental Design

abstract: We consider the design of experiments to evaluate treatments that are administered by self-interested agents, each seeking to achieve the highest evaluation and win the experiment. For example, in an advertising experiment, a company wishes to evaluate two marketing agents in terms of their efficacy in viral marketing, and assign a contract to the winner agent. Contrary to traditional experimental design, this problem has two new implications. First, the experiment induces a game among agents, where each agent can select from multiple versions of the treatment it administers. Second, the action of one agent -- selection of treatment version -- may affect the actions of another agent, with the resulting strategic interference complicating the evaluation of agents. An incentive-compatible experiment design is one with an equilibrium where each agent selects its natural action, which is the action that would maximize the performance of the agent if there was no competition (e.g., expected number of conversions if agent was assigned the contract). Under a general formulation of experimental design, we identify sufficient conditions that guarantee incentive-compatible experiments. These conditions rely on the existence of statistics that can estimate how agents would perform without competition, and their use in constructing score functions to evaluate the agents. In the setting with no strategic interference, we also study the power of the design, i.e., the probability that the best agent wins, and show how to improve the power of incentive-compatible designs. From the technical side, our theory uses a range of statistical methods such as hypothesis testing, variance-stabilizing transformations and the Delta method, all of which rely on asymptotics.


title: Hall algebras of cyclic quivers and $q$-deformed Fock spaces

abstract: Based on the work of Ringel and Green, one can define the (Drinfeld) double Ringel--Hall algebra ${\mathscr D}(Q)$ of a quiver $Q$ as well as its highest weight modules. The main purpose of the present paper is to show that the basic representation $L(\Lambda_0)$ of ${\mathscr D}(\Delta_n)$ of the cyclic quiver $\Delta_n$ provides a realization of the $q$-deformed Fock space $\bigwedge^\infty$ defined by Hayashi. This is worked out by extending a construction of Varagnolo and Vasserot. By analysing the structure of nilpotent representations of $\Delta_n$, we obtain a decomposition of the basic representation $L(\Lambda_0)$ which induces the Kashiwara--Miwa--Stern decomposition of $\bigwedge^\infty$ and a construction of the canonical basis of $\bigwedge^\infty$ defined by Leclerc and Thibon in terms of certain monomial basis elements in ${\mathscr D}(\Delta_n)$.


title: RS Flip-Flop Circuit Dynamics Revisited

abstract: Logical RS flip-flop circuits are investigated once again in the context of discrete planar dynamical systems, but this time starting with simple bilinear (minimal) component models based on fundamental principles. The dynamics of the minimal model is described in detail, and shown to exhibit some of the expected properties, but not the chaotic regimes typically found in simulations of physical realizations of chaotic RS flip-flop circuits. Any physical realization of a chaotic logical circuit must necessarily involve small perturbations - usually with quite large or even nonexisting derivatives - and possibly some symmetry-breaking. Therefore, perturbed forms of the minimal model are also analyzed in considerable detail. It is proved that perturbed minimal models can exhibit chaotic regimes, sometimes associated with chaotic strange attractors, as well as some of the bifurcation features present in several more elaborate and less fundamentally grounded dynamical models that have been investigated in the recent literature. Validation of the approach developed is provided by some comparisons with (mainly simulated) dynamical results obtained from more traditional investigations.


title: On cyclic self-orthogonal codes over Zpm

abstract: The purpose of this paper is to study the cyclic self orthogonal codes over $\mathbb{Z}_{p^m}$. After providing the generator polynomial of cyclic self orthogonal codes over $\mathbb{Z}_{p^m}$, we give the necessary and sufficient condition for the existence of non-trivial self orthogonal codes over $\mathbb{Z}_{p^m}$ . We have also provided the number of such codes of length $n$ over $\mathbb{Z}_{p^m}$ for any $ (p,n) = 1 $.


title: Micro-Clustering: Finding Small Clusters in Large Diversity

abstract: We address the problem of un-supervised soft-clustering called micro-clustering. The aim of the problem is to enumerate all groups composed of records strongly related to each other, while standard clustering methods separate records at sparse parts. The problem formulation of micro-clustering is non-trivial. Clique mining in a similarity graph is a typical approach, but it results in a huge number of cliques that are of many similar cliques. We propose a new concept data polishing. The cause of huge solutions can be considered that the groups are not clear in the data, that is, the boundaries of the groups are not clear, because of noise, uncertainty, lie, lack, etc. Data polishing clarifies the groups by perturbating the data. Specifically, dense subgraphs that would correspond to clusters are replaced by cliques. The clusters are clarified as maximal cliques, thus the number of maximal cliques will be drastically reduced. We also propose an efficient algorithm applicable even for large scale data. Computational experiments showed the efficiency of our algorithm, i.e., the number of solutions is small, (e.g., 1,000), the members of each group are deeply related, and the computation time is short.


title: Stochastic thermodynamics of macrospins with fluctuating amplitude and direction

abstract: We consider stochastic energy balance and entropy production (EP) in a generalized Langevin dynamics of macrospins, allowing for both amplitude and direction fluctuations, under external magnetic field. EP is calculated using Fokker-Planck equation, distinguishing between reversible and irreversible parts of probability currents. The system entropy increases due to irreversible non-equilibrium processes, and reduces as heat dissipates to surrounding environment. Using path probability distributions of time-forward trajectories and conjugate trajectories under time reversal, we obtain fluctuation theorems (FT) for total stochastic EP. We show that the choice of conjugate trajectories is crucial in obtaining entropy like quantities that obey FTs.


title: Virtual Abelian varieties of $\mathrm{GL}_2$-type

abstract: This paper studies a class of Abelian varieties that are of $\GL_2$-type and with isogenous classes defined over a number field $k$. We treat the cases when their endomorphism algebras are either (1) a totally real field $K$ or (2) a totally indefinite quaternion algebra over a totally real field $K$. Among the isogenous class of such an Abelian variety, we identify one whose Galois conjugates can be described in terms of actions of Atkin-Lehner operators and the class group of $K$. Thus we deduce that such Abelian varieties are parametrised by finite quotients of certain PEL Shimura varieties. These new families of moduli spaces are further analysed when they are of dimension $2$. We provide explicit numerical bounds for when they are surfaces of general type. In addition, for two particular examples, we show that they are both rational surfaces by computing the coordinates of inequivalent elliptic points and studying the intersections of Hirzebruch cycles with exceptional divisors.