title: The challenge of realistic music generation: modelling raw audio at scale

abstract: Realistic music generation is a challenging task. When building generative models of music that are learnt from data, typically high-level representations such as scores or MIDI are used that abstract away the idiosyncrasies of a particular performance. But these nuances are very important for our perception of musicality and realism, so in this work we embark on modelling music in the raw audio domain. It has been shown that autoregressive models excel at generating raw audio waveforms of speech, but when applied to music, we find them biased towards capturing local signal structure at the expense of modelling long-range correlations. This is problematic because music exhibits structure at many different timescales. In this work, we explore autoregressive discrete autoencoders (ADAs) as a means to enable autoregressive models to capture long-range correlations in waveforms. We find that they allow us to unconditionally generate piano music directly in the raw audio domain, which shows stylistic consistency across tens of seconds.


title: Are the Muonic Hydrogen and Electron Scattering Experiments Measuring the Same Observable?

abstract: Elastic scattering of relativistic electrons from the nucleon yields Lorentz invariant form factors that describe the fundamental distribution of charge and magnetism. The spatial dependence of the nucleon's charge and magnetism is typically interpreted in the Breit reference frame which is related by a Lorentz boost from the laboratory frame, where the nucleon is at rest. We construct a model to estimate how the Sachs electric and magnetic form factors can be corrected for the effects of relativistic recoil. When the corrections are applied, the ratio of the proton's Sachs form factors is approximately flat with $Q^2$, i.e. the spatial distributions of the proton's intrinsic charge and magnetization are similar. Further, we estimate the correction due to recoil that must be applied to the determination of the proton charge radius from elastic electron scattering before it can be compared to the value determined using the Lamb shift in hydrogen. Application of the correction brings the two values of the proton charge radius into significantly closer agreement. Predicted corrections based on the model are provided for the rms charge radii of the deuteron, the triton, and the helium isotopes.


title: Dynamical Gaussian quantum steering in optomechanics

abstract: Einstein-Podolski-Rosen steering is a form of quantum correlation exhibiting an intrinsic asymmetry between two entangled systems. In this paper, we propose a scheme for examining dynamical Gaussian quantum steering of two mixed mechanical modes. For this, we use two spatially separated optomechanical cavities fed by squeezed light. We work in the resolved sideband regime. Limiting to the adiabatic regime, we show that it is possible to generate dynamical Gaussian steering via a quantum fluctuations transfer from squeezed light to the mechanical modes. By an appropriate choice of the environmental parameters, one-way steering can be observed in different scenarios. Finally, comparing with entanglement - quantified by the Gaussian R\'enyi-2 entropy-, we show that Gaussian steering is strongly sensitive to the thermal effects and always upper bounded by entanglement degree.


title: Universal properties of bicategories of polynomials

abstract: We establish the universal properties of the bicategory of polynomials, considering both cartesian and general morphisms between these polynomials. A direct proof of these universal properties would be impractical due to the complicated coherence conditions arising from polynomial composition; however, in this paper we avoid most of these coherence conditions using the properties of generic bicategories. In addition, we give a new proof of the universal properties of the bicategory of spans, and also establish the universal properties of the bicategory of spans with invertible 2-cells; showing how these properties may be used to describe the universal properties of polynomials.


title: Neural Machine Translation for Query Construction and Composition

abstract: Research on question answering with knowledge base has recently seen an increasing use of deep architectures. In this extended abstract, we study the application of the neural machine translation paradigm for question parsing. We employ a sequence-to-sequence model to learn graph patterns in the SPARQL graph query language and their compositions. Instead of inducing the programs through question-answer pairs, we expect a semi-supervised approach, where alignments between questions and queries are built through templates. We argue that the coverage of language utterances can be expanded using late notable works in natural language generation.


title: On a quantum Hamiltonian in a unitary magnetic field with axisymmetric potential

abstract: We study a magnetic Schr{\"o}dinger Hamiltonian, with axisymmetric potential in any dimension. The associated magnetic field is unitary and non constant. The problem reduces to a 1D family of singular Sturm-Liouville operators on the half-line indexed by a quantum number. We study the associated band functions. They have finite limits that are the Landau levels. These limits play the role of thresholds in the spectrum of the Hamiltonian. We provide an asymptotic expansion of the band functions at infinity. Each Landau level concerns an infinity of band functions and each energy level is intersected by an infinity of band functions. We show that among the band functions that intersect a fixed energy level, the derivative can be arbitrary small. We apply this result to prove that even if they are localized in energy away from the thresholds, quantum states possess a bulk component. A similar result is also true in classical mechanics.


title: Employee Attrition Prediction

abstract: We aim to predict whether an employee of a company will leave or not, using the k-Nearest Neighbors algorithm. We use evaluation of employee performance, average monthly hours at work and number of years spent in the company, among others, as our features. Other approaches to this problem include the use of ANNs, decision trees and logistic regression. The dataset was split, using 70% for training the algorithm and 30% for testing it, achieving an accuracy of 94.32%.


title: Random sections of line bundles over real Riemann surfaces

abstract: Let $\mathcal{L}$ be a positive line bundle over a Riemann surface $\Sigma$ defined over $\mathbb{R}$. We prove that sections $s$ of $\mathcal{L}^d$, $d\gg 0$, whose number of real zeros $\#Z_s$ deviates from the expected one are rare. We also provide asymptotics of the form $\mathbb{E}[(\#Z_s-\mathbb{E}[\# Z_s])^k]=O(\sqrt{d}^{k-1-\alpha})$ and ${\mathbb{E}[\#Z^k_s]=a_k\sqrt{d}^{k}+b_k\sqrt{d}^{k-1}+O(\sqrt{d}^{k-1-\alpha})}$ for all the (central) moments of the number of real zeros. Here, $\alpha$ is any number in $(0,1)$, and $a_k$ and $b_k$ are some explicit and positive constants.Finally, we obtain similar asymptotics for the distribution of complex zeros of random sections. Our proof involves Bergman kernel estimates as well as Olver multispaces.


title: A unified analysis of elliptic problems with various boundary conditions and their approximation

abstract: We design an abstract setting for the approximation in Banach spaces of operators acting in duality. A typical example are the gradient and divergence operators in Lebesgue--Sobolev spaces on a bounded domain. We apply this abstract setting to the numerical approximation of Leray-Lions type problems, which include in particular linear diffusion. The main interest of the abstract setting is to provide a unified convergence analysis that simultaneously covers (i) all usual boundary conditions, (ii) several approximation methods. The considered approximations can be conforming, or not (that is, the approximation functions can belong to the energy space of the problem, or not), and include classical as well as recent numerical schemes. Convergence results and error estimates are given. We finally briefly show how the abstract setting can also be applied to other models, including flows in fractured medium, elasticity equations and diffusion equations on manifolds. A by-product of the analysis is an apparently novel result on the equivalence between general Poincar{\'e} inequalities and the surjectivity of the divergence operator in appropriate spaces.


title: A robustified posterior for Bayesian inference on a large number of parallel effects

abstract: Many modern experiments, such as microarray gene expression and genome-wide association studies, present the problem of estimating a large number of parallel effects. Bayesian inference is a popular approach for analyzing such data by modeling the large number of unknown parameters as random effects from a common prior distribution. However, misspecification of the prior distribution can lead to erroneous estimates of the random effects, especially for the largest and most interesting effects. This paper has two aims. First, we propose a robustified posterior distribution for a parametric Bayesian hierarchical model that can substantially reduce the impact of a misspecified prior. Second, we conduct a systematic comparison of the standard parametric posterior, the proposed robustified parametric posterior, and a nonparametric Bayesian posterior which uses a Dirichlet process mixture prior. The proposed robustifed posterior when combined with a flexible parametric prior can be a superior alternative to nonparametric Bayesian methods.


title: Anomalous zero-temperature magnetopolaronic blockade of resonant electron tunneling in Majorana-resonant-level single-electron transistor

abstract: The magnetopolaronic generalization of a Majorana-resonant-level (MRL) model is considered for a single-level vibrating quantum dot coupled to two half-infinite $g=1/2$ Tomonaga-Luttinger liquid (TLL) leads. A qualitatively new non-trivial formula for the effective transmission coefficient and differential conductance for resonant magnetopolaron-assisted tunneling is obtained under the assumption about a fermion-boson factorization of corresponding averages. This approach is valid for the case of weak magnetopolaronic coupling in a system. Surprisingly, it is found that despite a supposed weakness of interaction between fermionic and bosonic subsystems in that case, a strongly correlated electron transport in the system reveals features of strong (and, hence, anomalous) magnetopolaronic blockade at zero temperature if the energy of a vibrational quantum is the smallest (but nonzero) energy parameter in the system. Such an effect should be referred to as magnetic phase-coherent magnetopolaron-assisted resonant tunneling of Andreev type, that originates from a special, Majorana-like, symmetry of magnetopolaron-coupled tunnel Hamiltonian. The effect predicted in this paper can be used as an experimental fingerprint of Majorana-resonant level situation in single-electron transistors as well as for detection of ultra-slow zero-point oscillations of suspended carbon nanotubes in the Majorana-resonant level regime of electron tunneling through corresponding single-electron transistors.


title: On Jordan doubles of slow growth of Lie superalgebras

abstract: To an arbitrary Lie superalgebra $L$ we associate its Jordan double ${\mathcal Jor}(L)$, which is a Jordan superalgebra. This notion was introduced by the second author before. Now we study further applications of this construction. First, we show that the Gelfand-Kirillov dimension of a Jordan superalgebra can be an arbitrary number $\{0\}\cup [1,+\infty]$. Thus, unlike associative and Jordan algebras, one hasn't an analogue of Bergman's gap $(1,2)$ for the Gelfand-Kirillov dimension of Jordan superalgebras. Second, using the Lie superalgebra $\mathbf R$ constructed before, we construct a Jordan superalgebra $\mathbf J={\mathcal Jor}({\mathbf R})$ that is nil finely $\mathbb Z^3$-graded, in contrast with non-existence of such examples (roughly speaking, analogues of the Grigorchuk and Gupta-Sidki groups) of Lie algebras in characteristic zero and Jordan algebras in characteristic not 2. Also, $\mathbf J$ is just infinite but not hereditary just infinite. A similar Jordan superalgebra of slow polynomial growth was constructed before. The virtue of the present example is that it is of linear growth, of finite width 4, namely, its $\mathbb N$-gradation by degree in the generators has components of dimensions $\{0,2,3,4\}$, and the sequence of these dimensions is non-periodic. Third, we review constructions of Poisson and Jordan superalgebras starting with another example of a Lie superalgebra. We discuss the notion of self-similarity for Lie, associative, Poisson, and Jordan superalgebras. We also discuss the notion of a wreath product in case of Jordan superalgebras.


title: Temporal variations in scattering and dispersion measure in the Crab Pulsar and their effect on timing precision

abstract: We have measured variations in scattering time scales in the Crab Pulsar over a 30-year period, using observations made at 610 MHz with the 42-ft telescope at Jodrell Bank Observatory. Over more recent years, where regular Lovell Telescope observations at frequencies around 1400 MHz were available, we have also determined the dispersion measure variations, after disentangling the scattering delay from the dispersive delay. We demonstrate a relationship between scattering and dispersion measure variations, with a correlation coefficient of $0.56\pm0.01$. The short time scales over which these quantities vary, the size of the variations, and the close correlation between scattering and dispersion measure all suggest that the effects are due to discrete structures within the Crab Nebula, with size scales of $\sim6$ AU (corresponding to an angular size of $\sim2$ mas at an assumed distance of 2200 pc). We mitigate the effects of scattering on the observed pulse shape by using the measured scattering information to modify the template used for generating the pulse arrival times, thus improving the precision to which the pulsar can be timed. We test this on timing data taken during periods of high scattering, and obtain a factor of two improvement in the root mean square of the timing residuals.


title: Are there flux tubes in quark-gluon plasma?

abstract: We review both lattice evidences and theoretical arguments supporting the existence of electric flux tubes in quark-gluon plasma, above the deconfinement transition temperature $T>T_c$. At the end of this comment, we also point out certain questions which still needs to be answered.


title: Wormhole geometries supported by three-form fields

abstract: In this work, we find novel static and spherically symmetric wormhole geometries using a three-form field. By solving the gravitational field equations, we find a variety of analytical and numerical solutions and show that it is possible for the matter fields threading the wormhole to satisfy the null and weak energy conditions throughout the spacetime, when the three-form field is present. In these cases, the form field is responsible for supporting the wormhole and all the exoticity is confined to it. Thus, the three-form curvature terms, which may be interpreted as a gravitational fluid, sustain these non-standard wormhole geometries, fundamentally different from their counterparts in General Relativity. We also show that in the case of a vanishing redshift function the field can display a cosmological constant behavior.


title: Regular Jacobi Structures and Generalized Contact Bundles

abstract: A Jacobi structure $J$ on a line bundle $L\to M$ is weakly regular if the sharp map $J^\sharp : J^1 L \to DL$ has constant rank. A generalized contact bundle with regular Jacobi structure possess a transverse complex structure. Paralleling the work of Bailey in generalized complex geometry, we find condition on a pair consisting of a regular Jacobi structure and an transverse complex structure to come from a generalized contact structure. In this way we are able to construct interesting examples of generalized contact bundles. As applications: 1) we prove that every 5-dimensional nilmanifold is equipped with an invariant generalized contact structure, 2) we show that, unlike the generalized complex case, all contact bundles over a complex manifold possess a compatible generalized contact structure. Finally we provide a counterexample presenting a locally conformal symplectic bundle over a generalized contact manifold of complex type that do not possess a compatible generalized contact structure.


title: Statistical mechanics of an elastically pinned membrane: Equilibrium dynamics and power spectrum

abstract: In biological settings membranes typically interact locally with other membranes or the extracellular matrix in the exterior, as well as with internal cellular structures such as the cytoskeleton. Characterization of the dynamic properties of such interactions presents a difficult task. Significant progress has been achieved through simulations and experiments, yet analytical progress in modelling pinned membranes has been impeded by the complexity of governing equations. Here we circumvent these difficulties by calculating analytically the time-dependent Green's function of the operator governing the dynamics of an elastically pinned membrane in a hydrodynamic surrounding and subject to external forces. This enables us to calculate the equilibrium power spectral density for an overdamped membrane pinned by an elastic, permanently-attached spring subject to thermal excitations. By considering the effects of the finite experimental resolution on the measured spectra, we show that the elasticity of the pinning can be extracted from the experimentally measured spectrum. Membrane fluctuations can thus be used as a tool to probe mechanical properties of the underlying structures. Such a tool may be particularly relevant in the context of cell mechanics, where the elasticity of the membrane's attachment to the cytoskeleton could be measured.


title: Towards the Quantum Geometry of Saturated Quantum Uncertainty Relations: The Case of the (Q,P) Heisenberg Observables

abstract: This contribution to the present Workshop Proceedings outlines a general programme for identifying geometric structures--out of which to possibly recover quantum dynamics as well--associated to the manifold in Hilbert space of the quantum states that saturate the Schr\"odinger-Robertson uncertainty relation associated to a specific set of quantum observables which characterise a given quantum system and its dynamics. The first step in such an exploration is addressed herein in the case of the observables Q and P of the Heisenberg algebra for a single degree of freedom system. The corresponding saturating states are the well known general squeezed states, whose properties are reviewed and discussed in detail together with some original results, in preparation of a study deferred to a separated analysis of their quantum geometry and of the corresponding path integral representation over such states.


title: Ultrafast Transient Dynamics of Adsorbates on Surfaces Deciphered: The Case of CO on Cu(100)

abstract: Time-resolved vibrational spectroscopy constitutes an invaluable experimental tool for monitoring hot-carrier induced surface reactions. However, the absence of a full understanding on the precise microscopic mechanisms causing the transient spectral changes has been limiting its applicability. Here we introduce a robust first-principles theoretical framework that successfully explains both the nonthermal frequency and linewidth changes of the CO internal stretch mode on Cu(100) induced by femtosecond laser pulses. Two distinct processes engender the changes: electron-hole pair excitations underlie the nonthermal frequency shifts, while electron-mediated vibrational mode coupling gives rise to linewidth changes. Furthermore, the origin and precise sequence of coupling events are finally identified.


title: Distribution regression model with a Reproducing Kernel Hilbert Space approach

abstract: In this paper, we introduce a new distribution regression model for probability distributions. This model is based on a Reproducing Kernel Hilbert Space (RKHS) regression framework, where universal kernels are built using Wasserstein distances for distributions belonging to W 2 ($\Omega$) and $\Omega$ is a compact subspace of R. We prove the universal kernel property of such kernels and use this setting to perform regressions on functions. Different regression models are first compared with the proposed one on simulated functional data. We then apply our regression model to transient evoked otoascoutic emission (TEOAE) distribution responses and real predictors of the age.


title: Zonal-mean atmospheric dynamics of slowly-rotating terrestrial planets

abstract: The zonal-mean atmospheric flow of an idealized terrestrial planet is analyzed using both numerical simulations and zonally symmetric theories, focusing largely on the limit of low planetary rotation rate. Two versions of a zonally symmetric theory are considered, the standard Held-Hou model, which features a discontinuous zonal wind at the edge of the Hadley cell, and a variant with continuous zonal wind but discontinuous temperature. The two models have different scalings for the boundary latitude and zonal wind. Numerical simulations are found to have smoother temperature profiles than either model, with no temperature or velocity discontinuities even in zonally symmetric simulations. Continuity is achieved because of the presence of an overturning circulation poleward of the point of maximum zonal wind, which allows the zonal velocity profile to be smoother than the original theory without the temperature discontinuities of the variant theory. Zonally symmetric simulations generally fall between the two sets of theoretical scalings, and have a faster polar zonal flow than either. Three-dimensional simulations that allow for eddy motion fall closer to the scalings of the variant model. At very low rotation rates the maximum zonal wind falls with falling planetary rotation rate, even in the three-dimensional simulations, and collapses completely at zero rotation. Nevertheless, the low-rotation limit of the overturning circulation is strong enough to drive the temperature profile close to a state of nearly constant potential temperature.


title: Impact of predictor measurement heterogeneity across settings on performance of prediction models: a measurement error perspective

abstract: It is widely acknowledged that the predictive performance of clinical prediction models should be studied in patients that were not part of the data in which the model was derived. Out-of-sample performance can be hampered when predictors are measured differently at derivation and external validation. This may occur, for instance, when predictors are measured using different measurement protocols or when tests are produced by different manufacturers. Although such heterogeneity in predictor measurement between deriviation and validation data is common, the impact on the out-of-sample performance is not well studied. Using analytical and simulation approaches, we examined out-of-sample performance of prediction models under various scenarios of heterogeneous predictor measurement. These scenarios were defined and clarified using an established taxonomy of measurement error models. The results of our simulations indicate that predictor measurement heterogeneity can induce miscalibration of prediction and affects discrimination and overall predictive accuracy, to extents that the prediction model may no longer be considered clinically useful. The measurement error taxonomy was found to be helpful in identifying and predicting effects of heterogeneous predictor measurements between settings of prediction model derivation and validation. Our work indicates that homogeneity of measurement strategies across settings is of paramount importance in prediction research.


title: Customizing an Adversarial Example Generator with Class-Conditional GANs

abstract: Adversarial examples are intentionally crafted data with the purpose of deceiving neural networks into misclassification. When we talk about strategies to create such examples, we usually refer to perturbation-based methods that fabricate adversarial examples by applying invisible perturbations onto normal data. The resulting data reserve their visual appearance to human observers, yet can be totally unrecognizable to DNN models, which in turn leads to completely misleading predictions. In this paper, however, we consider crafting adversarial examples from existing data as a limitation to example diversity. We propose a non-perturbation-based framework that generates native adversarial examples from class-conditional generative adversarial networks.As such, the generated data will not resemble any existing data and thus expand example diversity, raising the difficulty in adversarial defense. We then extend this framework to pre-trained conditional GANs, in which we turn an existing generator into an "adversarial-example generator". We conduct experiments on our approach for MNIST and CIFAR10 datasets and have satisfactory results, showing that this approach can be a potential alternative to previous attack strategies.


title: Vorticity dynamics of revolving wings: The role of planetary vortex tilting on the stability of the leading-edge vortex

abstract: This work investigated the vorticity dynamics and stability of leading-edge vortices (LEVs) in revolving wings. Previous studies suggested that Coriolis acceleration and spanwise flow both played key roles in stabilizing the LEV; however, the exact mechanism remains unclear. The current study examined a mechanism that relates the effects of Coriolis acceleration, spanwise flow, and the tilting of the planetary vortex on limiting the growth of the LEV. Specifically, this mechanism states that a vertical gradient in spanwise flow can create a vertical gradient in Coriolis acceleration, which will in turn produce oppositely-signed vorticity within the LEV. This gradient of Coriolis acceleration corresponds to the spanwise (radial) component of planetary vortex tilting (PVTr) that reorients the planetary vortex into the spanwise direction therefore creating oppositely-signed LEV vorticity. Using an in-house, immersed-boundary-method flow solver, this mechanism was investigated alongside the other vorticity dynamics for revolving wings of varying aspect ratio (AR=3, 5, and 7) and Reynolds number (Re=110, and 1400). Analyses of vorticity dynamics showed that the PVTr consistently produced oppositely-signed vorticity for all values of AR and Re investigated, although other three-dimensional phenomena play a similar but more dominant role when Re = 1400. In addition, the relative strength of the PVTr increased with increasing AR due to a decrease in the magnitude of advection. Finally, the effects of AR and Re on the vorticity dynamics and LEV stability were also investigated.


title: Dynamic Trees with Almost-Optimal Access Cost

abstract: An optimal binary search tree for an access sequence on elements is a static tree that minimizes the total search cost. Constructing perfectly optimal binary search trees is expensive so the most efficient algorithms construct almost optimal search trees. There exists a long literature of constructing almost optimal search trees dynamically, i.e., when the access pattern is not known in advance. All of these trees, e.g., splay trees and treaps, provide a multiplicative approximation to the optimal search cost. In this paper we show how to maintain an almost optimal weighted binary search tree under access operations and insertions of new elements where the approximation is an additive constant. More technically, we maintain a tree in which the depth of the leaf holding an element $e_i$ does not exceed $\min(\log(W/w_i),\log n)+O(1)$ where $w_i$ is the number of times $e_i$ was accessed and $W$ is the total length of the access sequence. Our techniques can also be used to encode a sequence of $m$ symbols with a dynamic alphabetic code in $O(m)$ time so that the encoding length is bounded by $m(H+O(1))$, where $H$ is the entropy of the sequence. This is the first efficient algorithm for adaptive alphabetic coding that runs in constant time per symbol.


title: Site-selective Probe of Magnetic Excitations in Rare-earth Nickelates using Resonant Inelastic X-ray Scattering

abstract: We have used high-resolution resonant inelastic x-ray scattering (RIXS) to study a thin film of NdNiO$_3$, a compound whose unusual spin- and bond-ordered electronic ground state has been of long-standing interest. Below the magnetic ordering temperature, we observe well-defined collective magnon excitations along different high-symmetry directions in momentum space. The magnetic spectra depend strongly on the incident photon energy, which we attribute to RIXS coupling to different local electronic configurations of the expanded and compressed NiO$_6$ octahedra in the bond-ordered state. Both the noncollinear magnetic ground state and the observed site-dependent magnon excitations are well described by a model that assumes strong competition between the antiferromagnetic superexchange and ferromagnetic double-exchange interactions. Our study provides direct insight into the magnetic dynamics and exchange interactions of the rare-earth nickelates, and demonstrates that RIXS can serve as a site-selective probe of magnetism in these and other materials.


title: Product irregularity strength of graphs with small clique cover number

abstract: For a graph $X$ without isolated vertices and without isolated edges, a product-irregular labelling $\omega:E(X)\rightarrow \{1,2,\ldots,s\}$, first defined by Anholcer in 2009, is a labelling of the edges of $X$ such that for any two distinct vertices $u$ and $v$ of $X$ the product of labels of the edges incident with $u$ is different from the product of labels of the edges incident with $v$. The minimal $s$ for which there exist a product irregular labeling is called the product irregularity strength of $X$ and is denoted by $ps(X)$. Clique cover number of a graph is the minimum number of cliques that partition its vertex-set. In this paper we prove that connected graphs with clique cover number $2$ or $3$ have the product-irregularity strength equal to $3$, with some small exceptions.


title: Computing the Chromatic Number Using Graph Decompositions via Matrix Rank

abstract: Computing the smallest number $q$ such that the vertices of a given graph can be properly $q$-colored is one of the oldest and most fundamental problems in combinatorial optimization. The $q$-Coloring problem has been studied intensively using the framework of parameterized algorithmics, resulting in a very good understanding of the best-possible algorithms for several parameterizations based on the structure of the graph. While there is an abundance of work for parameterizations based on decompositions of the graph by vertex separators, almost nothing is known about parameterizations based on edge separators. We fill this gap by studying $q$-Coloring parameterized by cutwidth, and parameterized by pathwidth in bounded-degree graphs. Our research uncovers interesting new ways to exploit small edge separators. We present two algorithms for $q$-Coloring parameterized by cutwidth $cutw$: a deterministic one that runs in time $O^*(2^{\omega \cdot cutw})$, where $\omega$ is the matrix multiplication constant, and a randomized one with runtime $O^*(2^{cutw})$. In sharp contrast to earlier work, the running time is independent of $q$. The dependence on cutwidth is optimal: we prove that even 3-Coloring cannot be solved in $O^*((2-\varepsilon)^{cutw})$ time assuming the Strong Exponential Time Hypothesis (SETH). Our algorithms rely on a new rank bound for a matrix that describes compatible colorings. Combined with a simple communication protocol for evaluating a product of two polynomials, this also yields an $O^*((\lfloor d/2\rfloor+1)^{pw})$ time randomized algorithm for $q$-Coloring on graphs of pathwidth $pw$ and maximum degree $d$. Such a runtime was first obtained by Bj\"orklund, but only for graphs with few proper colorings. We also prove that this result is optimal in the sense that no $O^*((\lfloor d/2\rfloor+1-\varepsilon)^{pw})$-time algorithm exists assuming SETH.


title: On analytic analogues of quantum groups

abstract: In this paper we present a new construction of analytic analogues of quantum groups over non-Archimedean fields and construct braided monoidal categories of their representations. We do this by constructing analytic Nichols algebras and use Majid's double-bosonisation construction to glue them together. We then go on to study the rigidity of these analytic quantum groups as algebra deformations of completed enveloping algebras through bounded cohomology. This provides the first steps towards a $p$-adic Drinfel'd-Kohno Theorem, which should relate this work to Furusho's $p$-adic Drinfel'd associators. Finally, we adapt these constructions to working over Archimedean fields.


title: Belief Propagation List Decoding of Polar Codes

abstract: We propose a belief propagation list (BPL) decoder with comparable performance to the successive cancellation list (SCL) decoder of polar codes, which already achieves the maximum likelihood (ML) bound of polar codes for sufficiently large list size $L$. The proposed decoder is composed of multiple parallel independent belief propagation (BP) decoders based on differently permuted polar code factor graphs. A list of possible transmitted codewords is generated and the one closest to the received vector, in terms of Euclidean distance, is picked. To the best of our knowledge, the proposed BPL decoder provides the best performance of plain polar codes under iterative decoding known so far. The proposed algorithm does not require any changes in the polar code structure itself, rendering the BPL into an alternative to the SCL decoder, equipped with a soft output capability enabling, e.g., iterative detection and decoding to further improve performance. Further benefits are lower decoding latency compared to the SCL decoder and the possibility of high throughput implementations. Additionally, we show that a different selection strategy of frozen bit positions can further enhance the error-rate performance of the proposed decoder.


title: Compact ultracold electron source based on a grating magneto optical trap

abstract: The ultrafast and ultracold electron source, based on near-threshold photoionisation of a laser-cooled and trapped atomic gas, offers a unique combination of low transverse beam emittance and high bunch charge. Its use is however still limited because of the required cold-atom laser-cooling techniques. Here we present a compact ultracold electron source based on a grating magneto-optical trap (GMOT), which only requires one trapping laser beam that passes through a transparent accelerator module. This makes the technique more widely accessible and increases its applicability. We show the GMOT can be operated with a hole in the center of the grating and with large electric fields applied across the trapping region, which is required for extracting electron bunches. The calculated values of the applied electric field were found to agree well with measured Stark shifts of the laser cooling transition. The electron beams extracted from the GMOT have been characterised. Beam energies up to 10 keV were measured using a time-of-flight method. The normalised root-mean-squared transverse beam emittance was determined using a waist scan method, resulting in $\epsilon = 1.9 \rm{nm}$. The root-mean-squared transverse size of the ionisation volume is $30 \mu\rm{m}$ or larger, implying an electron source temperature in the few-10K range, $2-3$ orders of magnitude lower than conventional electron sources, based on photoemission or thermionic emission from solid state surfaces.


title: A thermally driven out-of-equilibrium two-impurity Kondo system

abstract: The archetypal two-impurity Kondo problem in a serially-coupled double quantum dot is investigated in the presence of a thermal bias $\theta$. The slave-boson formulation is employed to obtain the nonlinear thermal and thermoelectrical responses. When the Kondo correlations prevail over the antiferromagnetic coupling $J$ between dot spins we demonstrate that the setup shows negative differential thermal conductance regions behaving as a thermal diode. Besides, we report a sign reversal of the thermoelectric current $I(\theta)$ controlled by $t/\Gamma$ ($t$ and $\Gamma$ denote the interdot tunnel and reservoir-dot tunnel couplings, respectively) and $\theta$. All these features are attributed to the fact that at large $\theta$, both $Q(\theta)$ (heat current) and $I(\theta)$ are suppressed regardless the value of $t/\Gamma$ because the double dot decouples at high thermal biases. Eventually, and for a finite $J$, we investigate how the Kondo-to-antiferromagnetic crossover is altered by $\theta$.


title: Measurement of optical losses in a high-finesse 300 m filter cavity for broadband quantum noise reduction in gravitational-wave detectors

abstract: Earth-based gravitational-wave detectors will be limited by quantum noise in a large part of their spectrum. The most promising technique to achieve a broadband reduction of such noise is the injection of a frequency dependent squeezed vacuum state from the output port of the detector, whit the squeeze angle rotated by the reflection off a Fabry-Perot filter cavity. One of the most important parameters limiting the squeezing performance is represented by the optical losses of the filter cavity. We report here the operation of a 300 m filter cavity prototype installed at the National Astronomical Observatory of Japan (NAOJ). The cavity is designed to obtain a rotation of the squeeze angle below 100 Hz. After achieving the resonance of the cavity with a multi-wavelength technique, the round trip losses have been measured to be between 50 ppm and 90 ppm. This result demonstrates that with realistic assumption on the input squeeze factor and on the other optical losses, a quantum noise reduction of at least 4 dB in the frequency region dominated by radiation pressure can be achieved.


title: Massive Unimodular Gravity

abstract: A ghost free massive deformation of unimodular gravity (UG), in the spirit of {\em mimetic massive gravity}, is shown to exist. This construction avoids the no-go theorem for a Fierz-Pauli type of mass term in UG by giving up on Lorentz invariance. In our framework, the mimetic degree of freedom vanishes on-shell.


title: New Approach to Evolving Gravitational Waves in Loop Quantum Cosmology

abstract: With the observational advance in recent years, primordial gravitational waves (GWs), known as the tensor-mode cosmic perturbations, in the Loop Quantum Cosmology (LQC) are becoming testable and thus require better framework through which to bridge between the observations and the theories. In this work we present a new formalism that employs the transfer functions to bring the GWs from any epoch, even before the quantum bounce, to a later time, including the present. The evolutionary epochs considered here include the possible deflation, quantum bounce, and inflation. This formalism enables us to predict more accurately the GW power spectrum today. With the ADM formalism for the LQC background dynamics, our approach is equivalent to the commonly used Bogoliubov transformations for evolving the primordial GWs, but more transparent for discussions and easier to calculate due to its nature of being linear algebra dealing with linear perturbations. We utilize this advantage to have resolved the IR suppression problem. We also propose the field-free approximation for the effective mass in the quantum bounce epoch to largely improve the accuracy in the predicted GW power spectrum. Our transfer-function formalism is general in dealing with any linear problems, and thus expected to be equally useful under other context with linearity.


title: A BGK model for gas mixtures of polyatomic molecules allowing for slow and fast relaxation of the temperatures

abstract: Kinetic models for polyatomic gases have two temperatures for the two different types of degrees of freedom, the translational and the internal energy degrees of freedom. Therefore, in the case of BGK models one expects two types of relaxations, a relaxation of the distribution function to a Maxwell distribution and a relaxation of the two temperatures to an equal value. The speed for the first type of relaxation may be faster or slower than the second type of relaxation. Models found in the literature often allow only for one of these two cases. We believe that a model should allow for both cases. That is why we derive a new multi-species polyatomic BGK model which allows for both regimes. For this new model we prove conservation properties, positivity of the temperatures, the H-theorem and characterize the equilibrium as a Maxwell distribution with equal temperatures. Moreover, we prove the convergence rate to equilibrium and that we can actually capture both regimes of the relaxation processes.


title: Multiple zeta star values on 3-2-1 indices

abstract: In 2008, Muneta found explicit evaluation of the multiple zeta star value $\zeta^\star(\{3, 1\}^d)$, and in 2013, Yamamoto proved a sum formula for multiple zeta star values on 3-2-1 indices. In this paper, we provide another way of deriving the formulas mentioned above. It is based on our previous work on generating functions for multiple zeta star values and also on constructions of generating functions for restricted sums of alternating Euler sums. As a result, the formulas obtained are simpler and computationally more effective than the known ones. Moreover, we give explicit evaluations of $\zeta^\star(\{\{2\}^m, 3, \{2\}^m, 1\bigr\}^d)$ and $\zeta^\star(\{\{2\}^m, 3, \{2\}^m, 1\}^d, \{2\}^{m+1})$ in two ways. The first is based on computation of product of generating functions, while the second uses properties of Bell polynomials.


title: Enumerating isoclinism classes of semi-extraspecial groups

abstract: We enumerate the number of isoclinism classes of semi-extraspecial $p$-groups with derived subgroup of order $p^2$. To do this, we enumerate $\text{GL}(2, p)$-orbits of sets of irreducible, monic polynomials in $\mathbb{F}_p[x]$. Along the way, we also provide a new construction of an infinite family of semi-extraspecial groups as central quotients of Heisenberg groups over local algebras.


title: Quantum correlations and thermodynamic performances of two-qubit engines with local and collective baths

abstract: We investigate heat engines whose working substance is made of two coupled qubits performing a generalised Otto cycle by varying their applied magnetic field or their interaction strength during the compression and expansion strokes. During the heating and cooling strokes, the two qubits are coupled to local and common environments that are not necessarily at equilibrium. We find instances of quantum engines coupled to non equilibrium common environments exhibiting non-trivial connections to quantum correlations as witnessed by a monotonic dependence of the work produced on quantum discord and entanglement.


title: Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth

abstract: Many combinatorial problems can be solved in time $O^*(c^{tw})$ on graphs of treewidth $tw$, for a problem-specific constant $c$. In several cases, matching upper and lower bounds on $c$ are known based on the Strong Exponential Time Hypothesis (SETH). In this paper we investigate the complexity of solving problems on graphs of bounded cutwidth, a graph parameter that takes larger values than treewidth. We strengthen earlier treewidth-based lower bounds to show that, assuming SETH, Independent Set cannot be solved in $O^*((2-\varepsilon)^{cutw})$ time, and Dominating Set cannot be solved in $O^*((3-\varepsilon)^{cutw})$ time. By designing a new crossover gadget, we extend these lower bounds even to planar graphs of bounded cutwidth or treewidth. Hence planarity does not help when solving Independent Set or Dominating Set on graphs of bounded width. This sharply contrasts the fact that in many settings, planarity allows problems to be solved much more efficiently.


title: $2$-Neighbour-Transitive Codes with Small Blocks of Imprimitivity

abstract: A code $C$ in the Hamming graph $\varGamma=H(m,q)$ is $2\it{\text{-neighbour-transitive}}$ if ${\rm Aut}(C)$ acts transitively on each of $C=C_0$, $C_1$ and $C_2$, the first three parts of the distance partition of $V\varGamma$ with respect to $C$. Previous classifications of families of $2$-neighbour-transitive codes leave only those with an affine action on the alphabet to be investigated. Here, $2$-neighbour-transitive codes with minimum distance at least $5$ and that contain "small" subcodes as blocks of imprimitivity are classified. When considering codes with minimum distance at least $5$, completely transitive codes are a proper subclass of $2$-neighbour-transitive codes. Thus, as a corollary of the main result, completely transitive codes satisfying the above conditions are also classified.


title: Electron and hole spin relaxation in InP-based self-assembled quantum dots emitting at telecom wavelengths

abstract: We investigate the electron and hole spin relaxation in an ensemble of self-assembled InAs/In$_{0.53}$Al$_{0.24}$Ga$_{0.23}$As/InP quantum dots with emission wavelengths around $1.5$~$\mu$m by pump-probe Faraday rotation spectroscopy. Electron spin dephasing due to the randomly oriented nuclear Overhauser fields is observed. At low temperatures we find a sub-microsecond longitudinal electron spin relaxation time $T_1$ which unexpectedly strongly depends on temperature. At high temperatures the electron spin relaxation time is limited by optical phonon scattering through spin-orbit interaction decreasing down to $0.1$~ns at 260~K. We show that the hole spin relaxation is activated much more effectively by a temperature increase compared to the electrons.


title: On the sharp time decay rates for the 2D generalized quasi-geostrophic equation and the Boussinesq system

abstract: We compute the sharp time decay rates of the solutions of the IVP for quasi-geostrophic equation and the Boussinesq model, subject to fractional dissipation. Moreover, we explicitly identify the asymptotic profiles, the kernel of the $\alpha$ stable processes, which are analogues of the Oseen vortices.


title: Convergence rate of solutions toward stationary solutions to the isentropic micropolar fluid model in a half line

abstract: In this paper, we study the asymptotic behavior of solutions to the initial boundary value problem for the one-dimensional compressible isentropic micropolar fluid model in a half line \mathbb{R}_{+}:=(0,\infty). We mainly investigates the unique existence, the asymptotic stability and convergence rates of stationary solutions to the outflow problem for this model. We obtain the convergence rates of global solutions towards corresponding stationary solutions if the initial perturbation belongs to the weighted Sobolev space. The proof is based on the weighted energy method by taking into account the effect of the microrotational velocity on the viscous compressible fluid.


title: Autonomous Wireless Systems with Artificial Intelligence

abstract: This paper discusses technology and opportunities to embrace artificial intelligence (AI) in the design of autonomous wireless systems. We aim to provide readers with motivation and general AI methodology of autonomous agents in the context of self-organization in real time by unifying knowledge management with sensing, reasoning and active learning. We highlight differences between training-based methods for matching problems and training-free methods for environment-specific problems. Finally, we conceptually introduce the functions of an autonomous agent with knowledge management.


title: Symmetry breaking at the (111) interfaces of SrTiO${_3}$ hosting a 2D-electron system

abstract: We used x-ray absorption spectroscopy to study the orbital symmetry and the energy band splitting of (111) LaAlO${_3}$/SrTiO${_3}$ and LaAlO${_3}$/EuTiO${_3}$/SrTiO${_3}$ heterostructures, hosting a quasi two-dimensional electron system (q2DES), and of a Ti-terminated (111) SrTiO${_3}$ single crystal, also known to form a q2DES at its surface. We demonstrate that the bulk tetragonal Ti-3d D${_4}$${_h}$ crystal field is turned into trigonal D${_3}$${_d}$ crystal field in all cases. The symmetry adapted a${_1}$${_g}$ and e${^\pi_g}$ orbitals are non-degenerate in energy and their splitting, \Delta, is positive at the bare STO surface but negative in the heterostructures, where the a${_1}$${_g}$ orbital is lowest in energy. These results demonstrate that the interfacial symmetry breaking induced by epitaxial engineering of oxide interfaces has a dramatic effect on their electronic properties, and it can be used to manipulate the ground state of the q2DES.


title: Resonance fluorescence from an atomic-quantum-memory compatible single photon source based on GaAs droplet quantum dots

abstract: Single photon sources, which are compatible with quantum memories are an important component of quantum networks. In this article, we show optical investigations on isolated GaAs/Al$_{0.25}$Ga$_{0.75}$As quantum dots grown via droplet epitaxy, which emit single photons on resonance with the Rb-87-D$_2$ line (780 nm). Under continuous wave resonant excitation conditions, we observe bright, clean and narrowband resonance fluorescence emission from such a droplet quantum dot. Furthermore, the second-order correlation measurement clearly demonstrates the single photon emission from this resonantly driven transition. Spectrally resolved resonance fluorescence of a similar quantum dot yields a linewidth as narrow as 660 MHz ($ 2.7~\mu eV $), which corresponds to a coherence time of 0.482 ns. The observed linewidth is the smallest reported so far for strain free GaAs quantum dots grown via the droplet method. We believe that this single photon source can be a prime candidate for applications in optical quantum networks.


title: Reliable Wireless Multi-Hop Networks with Decentralized Slot Management: An Analysis of IEEE 802.15.4 DSME

abstract: Wireless communication is a key element in the realization of the Industrial Internet of Things for flexible and cost-efficient monitoring and control of industrial processes. Wireless mesh networks using IEEE 802.15.4 have a high potential for executing monitoring and control tasks with low energy consumption and low costs for deployment and maintenance. However, conventional medium access techniques based on carrier sensing cannot provide the required reliability for industrial applications. Therefore, the standard was extended with techniques for time-slotted medium access on multiple channels. In this paper, we present openDSME, a comprehensive implementation of the Deterministic and Synchronous Multi-channel Extension (DSME) and propose a method for traffic-aware and decentralized slot scheduling to enable scalable wireless industrial networks. The performance of DSME and our implementation is demonstrated in the OMNeT++ simulator and on a physically deployed wireless network in the FIT/IoT-LAB. It is shown that in the given scenarios, twice as much traffic can be delivered reliably by using DSME instead of CSMA/CA and that the energy consumption can be reduced significantly. The paper is completed by presenting important trade-offs for parameter selection and by uncovering open issues of the current specification that call for further effort in research and standardization.


title: Speech Denoising with Deep Feature Losses

abstract: We present an end-to-end deep learning approach to denoising speech signals by processing the raw waveform directly. Given input audio containing speech corrupted by an additive background signal, the system aims to produce a processed signal that contains only the speech content. Recent approaches have shown promising results using various deep network architectures. In this paper, we propose to train a fully-convolutional context aggregation network using a deep feature loss. That loss is based on comparing the internal feature activations in a different network, trained for acoustic environment detection and domestic audio tagging. Our approach outperforms the state-of-the-art in objective speech quality metrics and in large-scale perceptual experiments with human listeners. It also outperforms an identical network trained using traditional regression losses. The advantage of the new approach is particularly pronounced for the hardest data with the most intrusive background noise, for which denoising is most needed and most challenging.


title: An Overview of Machine Learning Approaches in Wireless Mesh Networks

abstract: Wireless Mesh Networks (WMNs) have been extensively studied for nearly two decades as one of the most promising candidates expected to power the high bandwidth, high coverage wireless networks of the future. However, consumer demand for such networks has only recently caught up, rendering efforts at optimizing WMNs to support high capacities and offer high QoS, while being secure and fault tolerant, more important than ever. To this end, a recent trend has been the application of Machine Learning (ML) to solve various design and management tasks related to WMNs. In this work, we discuss key ML techniques and analyze how past efforts have applied them in WMNs, while noting some existing issues and suggesting potential solutions. We also provide directions on how ML could advance future research and examine recent developments in the field.


title: Chaos from Equivariant Fields on Fuzzy $S^4$

abstract: We examine the $5d$ Yang-Mills matrix model in $0+1$-dimensions with $U(4N)$ gauge symmetry and a mass deformation term. We determine the explicit $SU(4)\approx SO(6)$ equivariant parametrizations of the gauge field and the fluctuations about the classical four concentric fuzzy four sphere configuration and obtain the low energy reduced actions(LEAs) by tracing over the $S_F^4$s for the first five lowest matrix levels. The LEA's so obtained have potentials bounded from below indicating that the equivariant fluctuations about the $S_F^4$ do not lead to any instabilities. These reduced systems exhibit chaotic dynamics, which we reveal by computing their Lyapunov exponents.Using our numerical results, we explore various aspects of chaotic dynamics emerging from the LEAs. In particular, we model how the largest Lyapunov exponents change as a function of the energy. We also show that, in the Euclidean signature, the LEAs support the usual kink type soliton solutions, i.e. instantons in $1+0$-dimensions, which may be seen as the imprints of the topological fluxes penetrating the concentric $S_F^4$s due to the equivariance conditions, and preventing them to shrink to zero radius.


title: Time discretization of the spin Calogero-Moser model and the semi-discrete matrix KP hierarchy

abstract: We introduce the discrete time version of the spin Calogero-Moser system. The equations of motion follow from the dynamics of poles of rational solutions to the matrix KP hierarchy with discrete time. The dynamics of poles is derived using the auxiliary linear problem for the discrete flow.


title: The Positive Mass Theorem with Angular Momentum and Charge for Manifolds with Boundary

abstract: Motivated by the cosmic censorship conjecture in mathematical relativity, we establish the precise mass lower bound for an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and minimal surface boundary, in terms of angular momentum and charge. In particular this result does not require the restrictive assumptions of simple connectivity and completeness, which are undesirable from both a mathematical and physical perspective.


title: Subgroup growth of virtually cyclic right-angled Coxeter groups and their free products

abstract: We determine the asymptotic number of index $n$ subgroups in virtually cyclic right-angled Coxeter groups and their free products as $n\to\infty$.


title: Local Rankin--Selberg integrals for Speh representations

abstract: We construct analogues of Rankin--Selberg integrals for Speh representations of the general linear group over a $p$-adic field. The integrals are in terms of the Shalika model and are expected to be the local counterparts of (suitably regularized) global integrals involving square-integrable automorphic forms and Eisenstein series on the general linear group over a global field. We relate the local integrals to the classical ones studied by Jacquet--Piatetski-Shapiro--Shalika. We also introduce a unitary structure for Speh representation on the Shalika model, as well as various other models including Zelevinsky's degenerate Whittaker model.


title: Cloud-droplet growth due to supersaturation fluctuations in stratiform clouds

abstract: Condensational growth of cloud droplets due to supersaturation fluctuations is investigated by solving the hydrodynamic and thermodynamic equations using direct numerical simulations with droplets being modeled as Lagrangian particles. The supersaturation field is calculated directly by simulating the temperature and water vapor fields instead of being treated as a passive scalar. Thermodynamic feedbacks to the fields due to condensation are also included for completeness. We find that the width of droplet size distributions increases with time, which is contrary to the classical theory without supersaturation fluctuations, where condensational growth leads to progressively narrower size distributions. Nevertheless, in agreement with earlier Lagrangian stochastic models of the condensational growth, the standard deviation of the surface area of droplets increases as $t^{1/2}$. Also, for the first time, we explicitly demonstrate that the time evolution of the size distribution is sensitive to the Reynolds number, but insensitive to the mean energy dissipation rate. This is shown to be due to the fact that temperature fluctuations and water vapor mixing ratio fluctuations increases with increasing Reynolds number, therefore the resulting supersaturation fluctuations are enhanced with increasing Reynolds number. Our simulations may explain the broadening of the size distribution in stratiform clouds qualitatively, where the mean updraft velocity is almost zero.


title: Advanced Scenario Creation Strategies for Stochastic Economic Dispatch with Renewables

abstract: Real-time dispatch practices for operating the electric grid in an economic and reliable manner are evolving to accommodate higher levels of renewable energy generation. In particular, stochastic optimization is receiving increased attention as a technique for handling the inherent uncertainty in wind and solar generation. The typical two-stage stochastic optimization formulation relies on a sample average approximation with scenarios representing errors in forecasting renewable energy ramp events. Standard Monte Carlo sampling approaches can result in prohibitively high-dimensional systems for optimization, as well as a poor representation of extreme events that challenge grid reliability. We propose two alternative scenario creation strategies, importance sampling and Bayesian quadrature, that can reduce the estimator's variance. Their performance is assessed on a week's worth of 5 minute stochastic economic dispatch decisions for realistic wind and electrical system data. Both strategies yield more economic solutions and improved reliability compared to Monte Carlo sampling, with Bayesian quadrature being less computationally intensive than importance sampling and more economic when considering at least 20 scenarios.


title: Self-adjoint Jacobi matrices on trees and multiple orthogonal polynomials

abstract: We consider a set of measures on the real line and the corresponding system of multiple orthogonal polynomials (MOPs) of the first and second type. Under some very mild assumptions, which are satisfied by Angelesco systems, we define self-adjoint Jacobi matrices on certain rooted trees. We express their Green's functions and the matrix elements in terms of MOPs. This provides a generalization of the well-known connection between the theory of polynomials orthogonal on the real line and Jacobi matrices on $\mathbb{Z}_+$ to higher dimension. We illustrate importance of this connection by proving ratio asymptotics for MOPs using methods of operator theory.


title: Feasibility of the debris ring transit method for the solar-like star HD 107146 by an occulted galaxy

abstract: Occulting galaxy pairs have been used to determine the transmission and dust composition within the foreground galaxy. Observations of the nearly face-on ring-like debris disk around the solar-like star HD 107146 by HST/ACS in 2004 and HST/STIS in 2011 reveal that the debris ring is occulting an extended background galaxy over the subsequent decades. Our aim is to use 2004 HST observations of this system to model the galaxy and apply this to the 2011 observation in order to measure the transmission of the galaxy through the outer regions of the debris disk. We model the galaxy with an exponential disk and a S\'{e}rsic pseudo-bulge in the V- and I-band, but irregularities due to small scale structure from star forming regions limits accurate determination of the foreground dust distribution. We show that debris ring transit photometry is feasible for optical depth increases of $\Delta \tau \geq$ 0.04 ($1 \sigma$) on tens of au scales the width of the background galaxy { when the 2011 STIS data are compared directly with new HST/STIS observations, instead of the use of a smoothed model as a reference.


title: Impacts of radiative accelerations on solar-like oscillating main-sequence stars

abstract: Chemical element transport processes are among the crucial physical processes needed for precise stellar modelling. Atomic diffusion by gravitational settling nowadays is usually taken into account, and is essential for helioseismic studies. On the other hand, radiative accelerations are rarely accounted for, act differently on the various chemical elements, and can strongly counteract gravity in some stellar mass domains. In this study we aim at determining whether radiative accelerations impact the structure of solar-like oscillating main-sequence stars observed by asteroseismic space missions. We implemented the calculation of radiative accelerations in the CESTAM code using the Single-Valued Parameter method. We built and compared several grids of stellar models including gravitational settling, but some with and others without radiative accelerations. We found that radiative accelerations may not be neglected for stellar masses larger than 1.1~M$_{\odot}$ at solar metallicity. The difference in age due to their inclusion in models can reach 9\% for the more massive stars of our grids. We estimated that the percentage of the PLATO core program stars whose modelling would require radiative accelerations ranges between 33 and 58\% depending on the precision of the seismic data. We conclude that, in the context of Kepler, TESS, and PLATO missions, which provide (or will provide) high quality seismic data, radiative accelerations can have a significant effect when inferring the properties of solar-like oscillators properly. This is particularly important for age inferences. However, the net effect for each individual star results from the competition between atomic diffusion including radiative accelerations and other internal transport processes. This will be investigated in a forthcoming companion paper.


title: A graphene transmon operating at 1 T

abstract: A superconducting transmon qubit resilient to strong magnetic fields is an important component for proposed topological and hybrid quantum computing (QC) schemes. Transmon qubits consist of a Josephson junction (JJ) shunted by a large capacitance, coupled to a high quality factor superconducting resonator. In conventional transmon devices, the JJ is made from an Al/AlO$_x$/Al tunnel junction which ceases operation above the critical magnetic field of Al, 10 mT. Alternative junction technologies are therefore required to push the operation of these qubits into strong magnetic fields. Graphene JJs are one such candidate due to their high quality, ballistic transport and electrically tunable critical current densities. Importantly the monolayer structure of graphene protects the JJ from orbital interference effects that would otherwise inhibit operation at high magnetic field. Here we report the integration of ballistic graphene JJs into microwave frequency superconducting circuits to create the first graphene transmons. The electric tunability allows the characteristic band dispersion of graphene to be resolved via dispersive microwave spectroscopy. We demonstrate that the device is insensitive to the applied field and perform energy level spectroscopy of the transmon at 1 T, more than an order of magnitude higher than previous studies.


title: A generalization of the spherical ensemble to even-dimensional spheres

abstract: In a recent article, Alishahi and Zamani discuss the spherical ensemble, a rotationally invariant determinantal point process on the 2-sphere. In this paper we extend this process in a natural way to the 2d-dimensional sphere. We prove that the expected value of the Riesz s-energy associated to this determinantal point process has a reasonably low value compared to the known asymptotic expansion of the minimal Riesz s-energy.


title: Topological Time Crystals

abstract: By analogy with the formation of space crystals, crystalline structures can also appear in the time domain. While in the case of space crystals we often ask about periodic arrangements of atoms in space at a moment of a detection, in time crystals the role of space and time is exchanged. That is, we fix a space point and ask if the probability density for detection of a system at this point behaves periodically in time. Here, we show that in periodically driven systems it is possible to realize topological insulators, which can be observed in time. The bulk-edge correspondence is related to the edge in time, where edge states localize. We focus on two examples: Su-Schrieffer-Heeger (SSH) model in time and Bose Haldane insulator which emerges in the dynamics of a periodically driven many-body system.

categories: cond-mat.quant-gas cond-mat.mes-hall physics.atom-ph quant-ph


title: A highly precise shear bias estimator independent of the measured shape noise

abstract: We present a new method to estimate shear measurement bias in image simulations that significantly improves the precision with respect to current techniques. Our method is based on measuring the shear response for individual images. We generated sheared versions of the same image to measure how the galaxy shape changes with the small applied shear. This shear response is the multiplicative shear bias for each image. In addition, we also measured the individual additive bias. Using the same noise realizations for each sheared version allows us to compute the shear response at very high precision. The estimated shear bias of a sample of galaxies is then the average of the individual measurements. The precision of this method leads to an improvement with respect to previous methods concerned with the precision of estimates of multiplicative bias since our method is not affected by noise from shape measurements, which until now has been the dominant uncertainty. As a consequence, the method does not require shape-noise suppression for a precise estimation of shear multiplicative bias. Our method can be readily used for numerous applications such as shear measurement validation and calibration, reducing the number of necessary simulated images by a few orders of magnitude to achieve the same precision.


title: Theory of the Drift-Wave Instability at Arbitrary Collisionality

abstract: A numerically efficient framework that takes into account the effect of the Coulomb collision operator at arbitrary collisionalities is introduced. Such model is based on the expansion of the distribution function on a Hermite-Laguerre polynomial basis, to study the effects of collisions on magnetized plasma instabilities at arbitrary mean-free path. Focusing on the drift-wave instability, we show that our framework allows retrieving established collisional and collisionless limits. At the intermediate collisionalities relevant for present and future magnetic nuclear fusion devices, deviations with respect to collision operators used in state-of-the-art turbulence simulation codes show the need for retaining the full Coulomb operator in order to obtain both the correct instability growth rate and eigenmode spectrum, which, for example, may significantly impact quantitative predictions of transport. The exponential convergence of the spectral representation that we propose makes the representation of the velocity space dependence, including the full collision operator, more efficient than standard finite difference methods.


title: Uniqueness of static, isotropic low-pressure solutions of the Einstein-Vlasov system

abstract: Due to R. Beig and W. Simon (1990) there is a uniqueness theorem for static solutions of the Einstein-Euler system which applies to fluid models whose equation of state fulfills certain conditions. In this article it is shown that this uniqueness theorem can be applied to isotropic Vlasov matter, if the gravitational potential well is shallow. To this end we first show how isotropic Vlasov matter can be described as a perfect fluid giving rise to a barotropic equation of state. This 'Vlasov' equation of state is investigated and it is shown analytically that the requirements of the uniqueness theorem are met for shallow potential wells. Finally the regime of shallow gravitational potential is investigated by numerical means. An example for a unique static solution is constructed and it is compared to astrophysical objects like globular clusters. Finally we find numerical indications that solutions with deep potential wells are not unique.


title: Evaluating author name disambiguation for digital libraries: A case of DBLP

abstract: Author name ambiguity in a digital library may affect the findings of research that mines authorship data of the library. This study evaluates author name disambiguation in DBLP, a widely used but insufficiently evaluated digital library for its disambiguation performance. In doing so, this study takes a triangulation approach that author name disambiguation for a digital library can be better evaluated when its performance is assessed on multiple labeled datasets with comparison to baselines. Tested on three types of labeled data containing 5,000 ~ 700K disambiguated names and 6M pairs of disambiguated names, DBLP is shown to assign author names quite accurately to distinct authors, resulting in pairwise precision, recall, and F1 measures around 0.90 or above overall. DBLP's author name disambiguation performs well even on large ambiguous name blocks but deficiently on distinguishing authors with the same names. When compared to other disambiguation algorithms, DBLP's disambiguation performance is quite competitive, possibly due to its hybrid disambiguation approach combining algorithmic disambiguation and manual error correction. A discussion follows on strengths and weaknesses of labeled datasets used in this study for future efforts to evaluate author name disambiguation on a digital library scale.


title: Social media metrics for new research evaluation

abstract: This chapter approaches, both from a theoretical and practical perspective, the most important principles and conceptual frameworks that can be considered in the application of social media metrics for scientific evaluation. We propose conceptually valid uses for social media metrics in research evaluation. The chapter discusses frameworks and uses of these metrics as well as principles and recommendations for the consideration and application of current (and potentially new) metrics in research evaluation.


title: Comments on David Aldous and Persi Diaconis' "Longest increasing subsequences: from patience sorting to the Baik-Deift-Johansson theorem"

abstract: This is a commentary on the article: David Aldous and Persi Diaconis, Longest increasing subsequences: from patience sorting to the Baik-Deift-Johansson theorem, Bull. Amer. Math. Soc. 36 (1999), no. 4, 413-432.


title: Dynamic interface formation in magnetic thin film heterostructures

abstract: Magnetic thin film heterostructures have been widely studied for fundamental interests in the emergence of novel phenomena accompanied by the heterointerface formation as well as their promising practical potential. Combining x-ray magnetic circular dichroism with scanning tunneling microscopy, we show for Mn/Fe thin film heterostructures that the interfacial factors dominating electronic and magnetic properties of the entire system dynamically change with the amount of the Mn overlayer. Element specific magnetization curves of the Fe layer exhibit a two-step spin reorientation transition from out-of-plane to in-plane direction with increasing the Mn coverage. Atomic-scale characterizations of structural and electronic properties in combination with the first-principles calculations successfully unravel the roles of the entangled interfacial factors, and clarify the driving forces of the transition. The first step of the transition at a low Mn coverage is dominantly induced by the formation of FeMn disordered alloy at the heterointerface, and the electronic hybridization with interfacial FeMn ordered alloy is dominant as the origin of the second step of the transition at a high Mn coverage.


title: Strong linearizations of rational matrices with polynomial part expressed in an orthogonal basis

abstract: We construct a new family of strong linearizations of rational matrices considering the polynomial part of them expressed in a basis that satisfies a three term recurrence relation. For this purpose, we combine the theory developed by Amparan et al., MIMS EPrint 2016.51, and the new linearizations of polynomial matrices introduced by Fa{\ss}bender and Saltenberger, Linear Algebra Appl., 525 (2017). In addition, we present a detailed study of how to recover eigenvectors of a rational matrix from those of its linearizations in this family. We complete the paper by discussing how to extend the results when the polynomial part is expressed in other bases, and by presenting strong linearizations that preserve the structure of symmetric or Hermitian rational matrices. A conclusion of this work is that the combination of the results in this paper with those in Amparan et al., MIMS EPrint 2016.51, allows us to use essentially all the strong linearizations of polynomial matrices developed in the last fifteen years to construct strong linearizations of any rational matrix by expressing such matrix in terms of its polynomial and strictly proper parts.


title: Untangling entanglement and chaos

abstract: We present a method to calculate an upper bound on the generation of entanglement in any spin system using the Fannes-Audenaert inequality for the von Neumann entropy. Our method not only is useful for efficiently estimating entanglement, but also shows that entanglement generation depends on the distance of the quantum states of the system from corresponding minimum-uncertainty spin coherent states (SCSs). We illustrate our method using a quantum kicked top model, and show that our upper bound is a very good estimator for entanglement generated in both regular and chaotic regions. In a deep quantum regime, the upper bound on entanglement can be high in both regular and chaotic regions, while in the semiclassical regime, the bound is higher in chaotic regions where the quantum states diverge from the corresponding SCSs. Our analysis thus explains previous studies and clarifies the relationship between chaos and entanglement.


title: Non-Abelian Fourier Series on $\mathbb{Z}^2\backslash SE(2)$

abstract: This paper discusses computational structure of coefficients of non-Abelian Fourier series on the right coset space $\mathbb{Z}^2\backslash SE(2)$ expressed in the trigonometric basis, where $SE(2)$ is the group of handedness preserving Euclidean isometries of the plane and $\mathbb{Z}^2$ denotes the discrete subgroup of translations of the orthogonal (square) lattice in $\mathbb{R}^2$. Assume that $\mu$ is the finite $SE(2)$-invariant measure on the right coset space $\mathbb{Z}^2\backslash SE(2)$, normalized with respect to Weil's formula. We present a constructive computational characterization including discrete sampling of non-Abelian Fourier matrix elements on $SE(2)$ for coefficients of $\mu$-square integrable functions on $\mathbb{Z}^2\backslash SE(2)$ with respect to the concrete trigonometric basis. The paper is concluded with discussion of the method for non-Abelian Fourier coefficients of convolutions on $\mathbb{Z}^2\backslash SE(2)$.


title: Online optimal task offloading with one-bit feedback

abstract: Task offloading is an emerging technology in fog-enabled networks. It allows users to transmit tasks to neighbor fog nodes so as to utilize the computing resources of the networks. In this paper, we investigate a stochastic task offloading model and propose a multi-armed bandit framework to formulate this model. We consider the fact that different helper nodes prefer different kinds of tasks. Further, we assume each helper node just feeds back one-bit information to the task node to indicate the level of happiness. The key challenge of this problem lies in the exploration-exploitation tradeoff. We thus implement a UCB-type algorithm to maximize the long-term happiness metric. Numerical simulations are given in the end of the paper to corroborate our strategy.


title: Hamiltonian distributed chaos in the north-south dipole and quadrupole teleconnections

abstract: It is shown that the north-south teleconnections in the northern hemisphere: North Atlantic (NAO), East Pacific (EPO), Western Pacific (WPO) dipole oscillations and Pacific/North American quadrupole pattern (PNA), are dominated by the Hamiltonian distributed chaos on the daily to intraseasonal time scales. Differences of the chaotic properties of the dipole and quadrupole oscillations as well as their relation to the surface air temperature have been briefly discussed. A chaotic spectral affinity of the PNA quadrupole pattern to the Arctic Oscillation and the Greenland blocking phenomenon have been considered in this context.


title: Minimal Surfaces in Hyperbolic 3-manifolds

abstract: In this paper, we show the existence of smoothly embedded closed minimal surfaces in infinite volume hyperbolic $3$-manifolds except some special cases.


title: Computing dynamics of thin films via large scale GPU-based simulations

abstract: We present the results of large scale simulations of 4th order nonlinear partial differential equations of dif- fusion type that are typically encountered when modeling dynamics of thin fluid films on substrates. The simulations are based on the alternate direction implicit (ADI) method, with the main part of the compu- tational work carried out in the GPU computing environment. Efficient and accurate computations allow for simulations on large computational domains in three spatial dimensions (3D) and for long computational times. We apply the methods developed to the particular problem of instabilities of thin fluid films of nanoscale thickness. The large scale of the simulations minimizes the effects of boundaries, and also allows for simulating domains of the size encountered in published experiments. As an outcome, we can analyze the development of instabilities with an unprecedented level of detail. A particular focus is on analyzing the manner in which instability develops, in particular regarding differences between spinodal and nucleation types of dewetting for linearly unstable films, as well as instabilities of metastable films. Simulations in 3D allow for consideration of some recent results that were previously obtained in the 2D geometry (J. Fluid Mech. 841, 925 (2018)). Some of the new results include using Fourier transforms as well as topological invariants (Betti numbers) to distinguish the outcomes of spinodal and nucleation types of instabilities, describing in precise terms the complex processes that lead to the formation of satellite drops, as well as distinguishing the shape of the evolving film front in linearly unstable and metastable regimes. We also discuss direct comparison between simulations and available experimental results for nematic liquid crystal and polymer films.


title: A Tunable Particle Swarm Size Optimization Algorithm for Feature Selection

abstract: Feature selection is the process of identifying statistically most relevant features to improve the predictive capabilities of the classifiers. To find the best features subsets, the population based approaches like Particle Swarm Optimization(PSO) and genetic algorithms are being widely employed. However, it is a general observation that not having right set of particles in the swarm may result in sub-optimal solutions, affecting the accuracies of classifiers. To address this issue, we propose a novel tunable swarm size approach to reconfigure the particles in a standard PSO, based on the data sets, in real time. The proposed algorithm is named as Tunable Particle Swarm Size Optimization Algorithm (TPSO). It is a wrapper based approach wherein an Alternating Decision Tree (ADT) classifier is used for identifying influential feature subset, which is further evaluated by a new objective function which integrates the Classification Accuracy (CA) with a modified F-Score, to ensure better classification accuracy over varying population sizes. Experimental studies on bench mark data sets and Wilcoxon statistical test have proved the fact that the proposed algorithm (TPSO) is efficient in identifying optimal feature subsets that improve classification accuracies of base classifiers in comparison to its standalone form.


title: Characterisation of ALPAO deformable mirrors for the NAOMI VLTI Auxiliary Telescopes Adaptive Optics

abstract: The Very Large Telescope Interferometer Auxiliary Telescopes will soon be equipped with an adaptive optics system called NAOMI. The corrective optics deformable mirror is the commercial DM241 from ALPAO. Being part of an interferometer operating from visible to mid-infrared, the DMs of NAOMI face several challenges (high level of reliability, open-loop chopping, piston-free control, WFS/DM pupil rotation, high desired bandwidth and stroke). We here describe our extensive characterization of the DMs through measurements and simulations. We summarize the operational scenario we have defined to handle the specific mirror properties. We conclude that the ALPAO DMs have overall excellent properties that fulfill most of the stringent requirements and that deviations from specifications are easily handled. To our knowledge, NAOMI will be the first astronomical system with a command in true Zernike modes (allowing software rotation), and the first astronomical system in which a chopping is performed with the deformable mirror (5'' sky, at 5~Hz).


title: A Subarcsecond ALMA Molecular Line Imaging Survey of the Circumbinary, Protoplanetary Disk Orbiting V4046 Sgr

abstract: We present a suite of ALMA interferometric molecular line and continuum images that elucidate, on linear size scales of $\sim$30--40 AU, the chemical structure of the nearby, evolved, protoplanetary disk orbiting the close binary system V4046 Sgr. The observations were undertaken in the 1.1--1.4 mm wavelength range (ALMA Bands 6 and 7) with antenna configurations involving maximum baselines of several hundred meters, yielding subarcsecond-resolution images in more than a dozen molecular species and isotopologues. Isotopologues of CO and HCN display centrally peaked morphologies of integrated emission line intensity, whereas the line emission from complex nitrile group molecules (HC$_3$N, CH$_3$CN), deuterated molecules (DCN, DCO$^+$), hydrocarbons (as traced by C$_2$H), and potential CO ice line tracers (N$_2$H$^+$, and H$_2$CO) appears as a sequence of sharp and diffuse rings. The dimensions and morphologies of HC$_3$N and CH$_3$CN emission are suggestive of photodesorption of organic ices from the surfaces of dust grains, while the sequence of increasing radius of peak intensity represented by DCN (smallest), DCO$^+$, N$_2$H$^+$, and H$_2$CO (largest) is qualitatively consistent with the expected decline of midplane gas temperature with increasing disk radius. Empirical modeling indicates that the sharp-edged C$_2$H emission ring lies at relatively deep disk layers, leaving open the question of the origin of C$_2$H abundance enhancements in evolved disks. This study of the "molecular anatomy" of V4046 Sgr should serve as motivation for additional subarcsecond ALMA molecular line imaging surveys of nearby, evolved protoplanetary disks aimed at addressing major uncertainties in protoplanetary disk physical and chemical structure and molecular production pathways.


title: Computation of matrix gamma function

abstract: Matrix functions with potential applications have a major role in science and engineering. One of the fundamental matrix functions, which is particularly important due to its connections with certain matrix differential equations and other special matrix functions, is the matrix gamma function. This research article is focused on the numerical computation of this function. Well-known techniques for the scalar gamma function, such as Lanczos and Spouge methods, are carefully extended to the matrix case. This extension raises many challenging issues and several strategies used in the computation of matrix functions, like Schur decomposition and block Parlett recurrences, need to be incorporated to turn the methods more effective. We also propose a third technique based on the reciprocal gamma function that is shown to be competitive with the other two methods in terms of accuracy, with the advantage of being rich in matrix multiplications. Strengths and weaknesses of the proposed methods are illustrated with a set of numerical examples. Bounds for truncation errors and other bounds related with the matrix gamma function will be discussed as well.


title: Search for pair and single production of vectorlike quarks in final states with at least one $Z$ boson decaying into a pair of electrons or muons in $pp$ collision data collected with the ATLAS detector at $\sqrt{s} = 13$ TeV

abstract: A search for vectorlike quarks is presented, which targets their decay into a $Z$ boson and a third-generation Standard Model quark. In the case of a vectorlike quark $T$ ($B$) with charge $+2/3e$ ($-1/3e$), the decay searched for is $T \rightarrow Zt$ ($B \rightarrow Zb$). Data for this analysis were taken during 2015 and 2016 with the ATLAS detector at the Large Hadron Collider and correspond to an integrated luminosity of 36.1 fb$^{-1}$ of $pp$ collisions at $\sqrt{s} = 13$ TeV. The final state used is characterized by the presence of $b$-tagged jets, as well as a $Z$ boson with high transverse momentum, which is reconstructed from a pair of opposite-sign same-flavor leptons. Pair and single production of vectorlike quarks are both taken into account and are each searched for using optimized dileptonic exclusive and trileptonic inclusive event selections. In these selections, the high scalar sum of jet transverse momenta, the presence of high-transverse-momentum large-radius jets, as well as - in the case of the single-production selections - the presence of forward jets are used. No significant excess over the background-only hypothesis is found and exclusion limits at 95% confidence level allow masses of vectorlike quarks of $m_T > 1030$ GeV ($m_T > 1210$ GeV) and $m_B > 1010$ GeV ($m_B > 1140$ GeV) in the singlet (doublet) model. In the case of 100% branching ratio for $T\rightarrow Zt$ ($B\rightarrow Zb$), the limits are $m_T > 1340$ GeV ($m_B > 1220$ GeV). Limits at 95% confidence level are also set on the coupling to Standard Model quarks for given vectorlike quark masses.


title: Every Pixel Counts: Unsupervised Geometry Learning with Holistic 3D Motion Understanding

abstract: Learning to estimate 3D geometry in a single image by watching unlabeled videos via deep convolutional network has made significant process recently. Current state-of-the-art (SOTA) methods, are based on the learning framework of rigid structure-from-motion, where only 3D camera ego motion is modeled for geometry estimation.However, moving objects also exist in many videos, e.g. moving cars in a street scene. In this paper, we tackle such motion by additionally incorporating per-pixel 3D object motion into the learning framework, which provides holistic 3D scene flow understanding and helps single image geometry estimation. Specifically, given two consecutive frames from a video, we adopt a motion network to predict their relative 3D camera pose and a segmentation mask distinguishing moving objects and rigid background. An optical flow network is used to estimate dense 2D per-pixel correspondence. A single image depth network predicts depth maps for both images. The four types of information, i.e. 2D flow, camera pose, segment mask and depth maps, are integrated into a differentiable holistic 3D motion parser (HMP), where per-pixel 3D motion for rigid background and moving objects are recovered. We design various losses w.r.t. the two types of 3D motions for training the depth and motion networks, yielding further error reduction for estimated geometry. Finally, in order to solve the 3D motion confusion from monocular videos, we combine stereo images into joint training. Experiments on KITTI 2015 dataset show that our estimated geometry, 3D motion and moving object masks, not only are constrained to be consistent, but also significantly outperforms other SOTA algorithms, demonstrating the benefits of our approach.


title: Challenges and New Directions in Augmented Reality, Computer Security, and Neuroscience -- Part 1: Risks to Sensation and Perception

abstract: Rapidly advancing AR technologies are in a unique position to directly mediate between the human brain and the physical world. Though this tight coupling presents tremendous opportunities for human augmentation, it also presents new risks due to potential adversaries, including AR applications or devices themselves, as well as bugs or accidents. In this paper, we begin exploring potential risks to the human brain from augmented reality. Our initial focus is on sensory and perceptual risks (e.g., accidentally or maliciously induced visual adaptations, motion-induced blindness, and photosensitive epilepsy), but similar risks may span both lower- and higher-level human brain functions, including cognition, memory, and decision-making. Though they have not yet manifested in practice in early-generation AR technologies, we believe that such risks are uniquely dangerous in AR due to the richness and depth with which it interacts with a user's experience of the physical world. We propose a framework, based in computer security threat modeling, to conceptually and experimentally evaluate such risks. The ultimate goal of our work is to aid AR technology developers, researchers, and neuroscientists to consider these issues before AR technologies are widely deployed and become targets for real adversaries. By considering and addressing these issues now, we can help ensure that future AR technologies can meet their full, positive potential.


title: The type II Weyl semimetals at low temperatures: chiral anomaly, elastic deformations, zero sound

abstract: We consider the properties of the type II Weyl semimetals at low temperatures basing on the particular tight - binding model. In the presence of electric field directed along the line connecting the Weyl points of opposite chirality the occupied states flow along this axis giving rise to the creation of electron - hole pairs. The electrons belong to a vicinity of one of the two type II Weyl points while the holes belong to the vicinity of the other. This process may be considered as the manifestation of the chiral anomaly that exists without any external magnetic field. It may be observed experimentally through the measurement of conductivity. Next, we consider the modification of the theory in the presence of elastic deformations. In the domain of the considered model, where it describes the type I Weyl semimetals the elastic deformations lead to the appearance of emergent gravity. In the domain of the type II Weyl semimetals the form of the Fermi surface is changed due to the elastic deformations, and its fluctuations represent the special modes of the zero sound. We find that there is one - to one correspondence between them and the sound waves of the elasticity theory. Next, we discuss the influence of the elastic deformations on the conductivity. The particularly interesting case is when our model describes the intermediate state between the type I and the type II Weyl semimetal. Then without the elastic deformations there are the Fermi lines instead of the Fermi points/Fermi surface, while the DC conductivity vanishes. However, even small elastic deformations may lead to the appearance of large conductivity.


title: Asymptotic behavior of projections of supercritical multi-type continuous state and continuous time branching processes with immigration

abstract: Under a fourth order moment condition on the branching and a second order moment condition on the immigration mechanisms, we show that an appropriately scaled projection of a supercritical and irreducible continuous state and continuous time branching process with immigration on certain left non-Perron eigenvectors of the branching mean matrix is asymptotically mixed normal. With an appropriate random scaling, under some conditional probability measure, we prove asymptotic normality as well. In case of a non-trivial process, under a first order moment condition on the immigration mechanism, we also prove the convergence of the relative frequencies of distinct types of individuals on a suitable event; for instance, if the immigration mechanism does not vanish, then this convergence holds almost surely.


title: A modular toolkit for bulk reconstruction

abstract: We introduce new tools for studying modular flow in AdS/CFT. These tools allow us to efficiently extract bulk information related to causality and locality. For example, we discuss the relation between analyticity in modular time and entanglement wedge nesting which can then be used to extract the location of the Ryu-Takayanagi (RT) surface directly from the boundary theory. Probing the RT surface close to the boundary our results reduce to the recent proof of the Quantum Null Energy Condition. We focus on heavy probe operators whose correlation functions are determined by spacelike geodesics. These geodesics interplay with the RT surface via a set of rules that we conjecture and give evidence for using the replica trick.


title: Knowledge Compilation in Multi-Agent Epistemic Logics

abstract: Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning. Knowledge compilation provides a promising way of resolving the intractability by identifying expressive fragments of epistemic logics that are tractable for important reasoning tasks such as satisfiability and forgetting. The property of logical separability allows to decompose a formula into some of its subformulas and thus modular algorithms for various reasoning tasks can be developed. In this paper, by employing logical separability, we propose an approach to knowledge compilation for the logic Kn by defining a normal form SDNF. Among several novel results, we show that every epistemic formula can be equivalently compiled into a formula in SDNF, major reasoning tasks in SDNF are tractable, and formulas in SDNF enjoy the logical separability. Our results shed some lights on modular approaches to knowledge compilation. Furthermore, we apply our results in the multi-agent epistemic planning. Finally, we extend the above result to the logic K45n that is Kn extended by introspection axioms 4 and 5.


title: Heegaard Floer homology and concordance bounds on the Thurston norm

abstract: We prove that twisted correction terms in Heegaard Floer homology provide lower bounds on the Thurston norm of certain cohomology classes determined by the strong concordance class of a 2-component link $L$ in $S^3$. We then specialise this procedure to knots in $S^2\times S^1$, and obtain a lower bound on their geometric winding number. Furthermore we produce an obstruction for a knot in $S^3$ to have untwisting number 1. We then provide an infinite family of null-homologous knots with increasing geometric winding number, on which the bound is sharp.


title: Hodge classes and the Jacquet-Langlands correspondence

abstract: We prove that the Jacquet-Langlands correspondence for cohomological automorphic forms on quaternionic Shimura varieties is realized by a Hodge class. Conditional on Kottwitz's conjecture for Shimura varieties attached to unitary similitude groups, we also show that the image of this Hodge class in $\ell$-adic cohomology is Galois invariant for all $\ell$.