title: Towards the Design of Gravitational-Wave Detectors for Probing Neutron-Star Physics

abstract: The gravitational waveform of merging binary neutron stars encodes information about extreme states of matter. Probing these gravitational emissions requires the gravitational-wave detectors to have high sensitivity above 1 kHz. Fortunately for current advanced detectors, there is a sizeable gap between the quantum-limited sensitivity and the classical noise at high frequencies. Here we propose a detector design that closes such a gap by reducing the high-frequency quantum noise with an active optomechanical filter, frequency-dependent squeezing, and high optical power. The resulting noise level from 1 kHz to 4 kHz approaches the current facility limit and is a factor of 20 to 30 below the design of existing advanced detectors. This will allow for precision measurements of (i) the post-merger signal of the binary neutron star, (ii) late-time inspiral, merger, and ringdown of low-mass black hole-neutron star systems, and possible detection of (iii) high-frequency modes during supernovae explosions. This design tries to maximize the science return of current facilities by achieving a sensitive frequency band that is complementary to the longer-baseline third-generation detectors: the10 km Einstein Telescope, and 40 km Cosmic Explorer. We have highlighted the main technical challenges towards realizing the design, which requires dedicated research programs. If demonstrated in current facilities, the techniques can be transferred to new facilities with longer baselines.


title: Mechanisms influencing the formation of the carbonized layer relief on the polymer surface after the ion-plasma treatment modeling

abstract: The work is devoted to modeling of the processes occurring in ion-plasma treatment of polyurethane and forming on its surface a special carbonized layer. The mechanisms affecting the formation of wave-like relief in the carbonized layer are examined. The boundary value problem for the heat equation for modeling the effect of temperature component was solved. Using the finite element method the deformation of the polyurethane sample during ion-plasma treatment was calculated. On the basis of calculations conclusion about the impact of these factors on the formation of wave-like relief in the carbonized layer was made.


title: Zero-dimensional Donaldson-Thomas invariants of Calabi-Yau 4-folds

abstract: We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a formula for their generating series, which we prove in certain cases when $L$ corresponds to a smooth divisor on $X$. A parallel equivariant conjecture for toric Calabi-Yau 4-folds is proposed. This conjecture is proved for smooth toric divisors and verified for more general toric divisors in many examples. Combining the equivariant conjecture with a vertex calculation, we find explicit positive rational weights, which can be assigned to solid partitions. The weighted generating function of solid partitions is given by $\exp(M(q)-1)$, where $M(q)$ denotes the MacMahon function.


title: Contraction property for large perturbations of shocks of the barotropic Navier-Stokes system

abstract: This paper is dedicated to the construction of a pseudo-norm, for which small shock profiles of the barotropic Navier-Stokes equation have a contraction property. This contraction property holds in the class of any large 1D weak solutions to the barotropic Navier-Stokes equation. It implies a stability condition which is independent of the strength of the viscosity. The proof is based on the relative entropy method, and is reminiscent to the notion of a-contraction first introduced by the authors in the hyperbolic case.


title: Data Science: A Three Ring Circus or a Big Tent?

abstract: This is part of a collection of discussion pieces on David Donoho's paper 50 Years of Data Science, appearing in Volume 26, Issue 4 of the Journal of Computational and Graphical Statistics (2017).


title: Calabi-Yau hypersurfaces and SU-bordism

abstract: Batyrev constructed a family of Calabi-Yau hypersurfaces dual to the first Chern class in toric Fano varieties. Using this construction, we introduce a family of Calabi-Yau manifolds whose SU-bordism classes generate the special unitary bordism ring $\varOmega^{SU}\otimes\mathbb{Z}[\frac{1}{2}]\cong\mathbb{Z}[\frac{1}{2}][y_{i}\colon i\ge 2]$. We also describe explicit Calabi-Yau representatives for multiplicative generators of the SU-bordism ring in low dimensions.


title: Transmission enhancement in loss-gain multilayers by resonant suppression of reflection

abstract: Using the transfer-matrix approach and solving time-domain differential equations, we analyze the loss compensation mechanism in multilayer systems composed of an absorbing transparent conductive oxide and dielectric doped with an active material. We reveal also another regime with the possibility of enhanced transmission with suppressed reflection originating from the resonant properties of the multilayers. For obliquely incident and evanescent waves, such enhanced transmission under suppressed reflection turns into the reflectionless regime, which is similar to that observed in the PT-symmetric structures, but does not require PT symmetry. We infer that the reflectionless transmission is due to the full loss compensation at the resonant wavelengths of the multilayers.


title: Robustness of Inflation to Large Tensor Perturbations

abstract: Extending our previous work on the robustness of inflation to perturbations in the scalar field, we investigate the effects of perturbations in the transverse traceless part of the extrinsic curvature on the evolution of an inhomogeneous inflaton field. Focusing on small field models, we show that these additional metric inhomogeneities initially reduce the total number of e-folds as the amplitude increases, but that the reduction saturates and even reverses above a certain amplitude. We present an argument that this is due to the presence of a large initial Hubble friction when metric perturbations are large.


title: Hausdorff dimension of planar self-affine sets and measures

abstract: Let $X=\bigcup\varphi_{i}X$ be a strongly separated self-affine set in $\mathbb{R}^2$ (or one satisfying the strong open set condition). Under mild non-compactness and irreducibility assumptions on the matrix parts of the $\varphi_{i}$, we prove that $\dim X$ is equal to the affinity dimension, and similarly for self-affine measures and the Lyapunov dimension. The proof is via analysis of the dimension of the orthogonal projections of the measures, and relies on additive combinatorics methods.


title: From CFT to Ramond super-quantum curves

abstract: As we have shown in the previous work, using the formalism of matrix and eigenvalue models, to a given classical algebraic curve one can associate an infinite family of quantum curves, which are in one-to-one correspondence with singular vectors of a certain (e.g. Virasoro or super-Virasoro) underlying algebra. In this paper we reformulate this problem in the language of conformal field theory. Such a reformulation has several advantages: it leads to the identification of quantum curves more efficiently, it proves in full generality that they indeed have the structure of singular vectors, it enables identification of corresponding eigenvalue models. Moreover, this approach can be easily generalized to other underlying algebras. To illustrate these statements we apply the conformal field theory formalism to the case of the Ramond version of the super-Virasoro algebra. We derive two classes of corresponding Ramond super-eigenvalue models, construct Ramond super-quantum curves that have the structure of relevant singular vectors, and identify underlying Ramond super-spectral curves. We also analyze Ramond multi-Penner models and show that they lead to supersymmetric generalizations of BPZ equations.


title: Packing Fraction of a Two-dimensional Eden Model with Random-Sized Particles

abstract: We have performed a numerical simulation of a two-dimensional Eden model with random-size particles. In the present model, the particle radii are generated from a Gaussian distribution with mean $\mu$ and standard deviation $\sigma$. First, we have examined the bulk packing fraction for the Eden cluster and investigated the effects of the standard deviation and the total number of particles $N_{\mathrm{T}}$. We show that the bulk packing fraction depends on the number of particles and the standard deviation. In particular, for the dependence on the standard deviation, we have determined the asymptotic value of the bulk packing fraction in the limit of the dimensionless standard deviation. This value is larger than the packing fraction obtained in a previous study of the Eden model with uniform-size particles. Secondly, we have investigated the packing fraction of the entire Eden cluster including the effect of the interface fluctuation. We find that the entire packing fraction depends on the number of particles while it is independent of the standard deviation, in contrast to the bulk packing fraction. In a similar way to the bulk packing fraction, we have obtained the asymptotic value of the entire packing fraction in the limit $N_{\mathrm{T}} \to \infty$. The obtained value of the entire packing fraction is smaller than that of the bulk value. This fact suggests that the interface fluctuation of the Eden cluster influences the packing fraction.


title: Bifurcation of limit cycles from a switched equilibrium in planar switched systems and its application to power converters

abstract: We consider a switched system of two subsystems that are activated as the trajectory enters the regions $\{(x,y):x>\bar x\}$ and $\{(x,y):x<-\bar x\}$ respectively, where $\bar x$ is a positive parameter. We prove that a regular asymptotically stable equilibrium of the associated Filippov equation of sliding motion (corresponding to $\bar x=0$) yields an orbitally stable limit cycle for all $\bar x>0$ sufficiently small. The research is motivated by an application to a dc-dc power converter, where $\bar x>0$ is used in place of $\bar x=0$ to avoid sliding motions.


title: On P-unique hypergraphs

abstract: We study hypergraphs which are uniquely determined by their chromatic, independence and matching polynomials. B. Bollob\'as, L. Pebody and O. Riordan (2000) conjectured (BPR-conjecture) that almost all graphs are uniquely determined by their chromatic polynomials. We show that for $r$-uniform hypergraphs with $r \geq 3$ this is almost never the case. This disproves the analolgue of the BPR-conjecture for $3$-uniform hypergraphs. For $r =2$ this also holds for the independence polynomial, as shown by J.A. Makowsky and V. Rakita (2017), whereas for the chromatic and matching polynomial this remains open.


title: A Witt Nadel vanishing theorem for threefolds

abstract: In this paper, we establish a vanishing theorem of Nadel type for the Witt multiplier ideals on threefolds over perfect fields of characteristic larger than five. As an application, if a projective normal threefold over $\mathbb{F}_q$ is not klt and its canonical divisor is anti-ample, then the number of the rational points on the klt-locus is divisible by $q$.


title: Broad-lined type Ic supernova iPTF16asu: A challenge to all popular models

abstract: It is well-known that ordinary supernovae (SNe) are powered by 56Ni cascade decay. Broad-lined type Ic SNe (SNe Ic-BL) are a subclass of SNe that are not all exclusively powered by 56Ni decay. It was suggested that some SNe Ic-BL are powered by magnetar spin-down. iPTF16asu is a peculiar broad-lined type Ic supernova discovered by the intermediate Palomar Transient Factory. With a rest-frame rise time of only 4 days, iPTF16asu challenges the existing popular models, for example, the radioactive heating (56Ni-only) and the magnetar+56Ni models. Here we show that this rapid rise could be attributed to interaction between the SN ejecta and a pre-existing circumstellar medium ejected by the progenitor during its final stages of evolution, while the late-time light curve can be better explained by energy input from a rapidly spinning magnetar. This model is a natural extension to the previous magnetar model. The mass-loss rate of the progenitor and ejecta mass are consistent with a progenitor that experienced a common envelope evolution in a binary. An alternative model for the early rapid rise of the light curve is the cooling of a shock propagating into an extended envelope of the progenitor. It is difficult at this stage to tell which model (interaction+magnetar+56Ni or cooling+magnetar+56Ni) is better for iPTF16asu. However, it is worth noting that the inferred envelope mass in the cooling+magnetar+56Ni is very high.


title: On Pseudo-Einstein Real Hypersurfaces

abstract: Let $M$ be a real hypersurface of a complex space form $M^n(c)$, $c\neq0$, $n\geq 3$. We show that the Ricci tensor $S$ of $M$ satisfies $S(X,Y)=ag(X,Y)$ for any vector fields $X$ and $Y$ on the holomorphic distribution, $a$ being a constant, if and only if $M$ is a pseudo-Einstein real hypersurface.


title: Uniform rates of the Glivenko-Cantelli convergence and their use in approximating Bayesian inferences

abstract: This paper deals with the problem of quantifying the approximation a probability measure by means of an empirical (in a wide sense) random probability measure, depending on the first n terms of a sequence of random elements. In Section 2, one studies the range of oscillation near zero of the Wasserstein distance $\ud^{(p)}_{\pms}$ between $\pfrak_0$ and $\hat{\pfrak}_n$, assuming that the $\xitil_i$'s are i.i.d. with $\pfrak_0$ as common law. Theorem 2.3 deals with the case in which $\pfrak_0$ is fixed as a generic element of the space of all probability measures on $(\rd, \mathscr{B}(\rd))$ and $\hat{\pfrak}_n$ coincides with the empirical measure. In Theorem 2.4 (Theorem 2.5, respectively) \pfrak_0 is a d-dimensional Gaussian distribution (an element of a distinguished type of statistical exponential family, respectively) and $\hat{\pfrak}_n$ is another $d$-dimensional Gaussian distribution with estimated mean and covariance matrix (another element of the same family with an estimated parameter, respectively). These new results improve on allied recent works (see, e.g., [31]) since they also provide uniform bounds with respect to $n$, meaning that the finiteness of the p-moment of the random variable $\sup_{n \geq 1} b_n \ud^{(p)}_{\pms}(\pfrak_0, \hat{\pfrak}_n)$ is proved for some suitable diverging sequence b_n of positive numbers. In Section 3, under the hypothesis that the $\xitil_i$'s are exchangeable, one studies the range of the random oscillation near zero of the Wasserstein distance between the conditional distribution--also called posterior--of the directing measure of the sequence, given $\xitil_1, \dots, \xitil_n$, and the point mass at $\hat{\pfrak}_n$. In a similar vein, a bound for the approximation of predictive distributions is given. Finally, Theorems from 3.3 to 3.5 reconsider Theorems from 2.3 to 2.5, respectively, according to a Bayesian perspective.


title: Irreducible components of the global nilpotent cone

abstract: This paper gives a combinatorial description of the set of irreducible components of the semistable locus of the global nilpotent cone, in genus $\ge2$. The first main result of this paper states that the set of irreducible components of the global nilpotent cone is given by the very natural decomposition in twisted Jordan strata, which are smooth. Then we move on to the semistable locus and obtain purely combinatorial conditions on the twisted Jordan type to be semistable. The proof uses an analogous result obtained in the context of moduli stacks of chains, and shows that semistability can be tested on the most `simple' subsheaves - the ones built with iterated kernels and images. The proof is constructive and do not rely on the coprimality of the rank and degree, in particular we get that the attracting cells are irreducible in any case. The last section describes this set of semistable components in terms of integral polytopes.


title: Oscillating superflow in multicomponent Bose-Einstein condensates

abstract: Conservation of angular momentum depends on the existence of rotational symmetry. However, even in systems where this symmetry is broken, flipping between angular momentum eigenstates often requires an activation energy. Here we discuss an example of superfluid flow in a toroidal potential, which shows sustained oscillations between two different rotation directions. The energy required to change the direction of rotation is taken out of and temporarily restored into the rotational and intra-component interaction energies of the system.


title: Transformation Models in High-Dimensions

abstract: Transformation models are a very important tool for applied statisticians and econometricians. In many applications, the dependent variable is transformed so that homogeneity or normal distribution of the error holds. In this paper, we analyze transformation models in a high-dimensional setting, where the set of potential covariates is large. We propose an estimator for the transformation parameter and we show that it is asymptotically normally distributed using an orthogonalized moment condition where the nuisance functions depend on the target parameter. In a simulation study, we show that the proposed estimator works well in small samples. A common practice in labor economics is to transform wage with the log-function. In this study, we test if this transformation holds in CPS data from the United States.


title: Intelligent Power Control for Spectrum Sharing in Cognitive Radios: A Deep Reinforcement Learning Approach

abstract: We consider the problem of spectrum sharing in a cognitive radio system consisting of a primary user and a secondary user. The primary user and the secondary user work in a non-cooperative manner. Specifically, the primary user is assumed to update its transmit power based on a pre-defined power control policy. The secondary user does not have any knowledge about the primary user's transmit power, or its power control strategy. The objective of this paper is to develop a learning-based power control method for the secondary user in order to share the common spectrum with the primary user. To assist the secondary user, a set of sensor nodes are spatially deployed to collect the received signal strength information at different locations in the wireless environment. We develop a deep reinforcement learning-based method, which the secondary user can use to intelligently adjust its transmit power such that after a few rounds of interaction with the primary user, both users can transmit their own data successfully with required qualities of service. Our experimental results show that the secondary user can interact with the primary user efficiently to reach a goal state (defined as a state in which both users can successfully transmit their data) from any initial states within a few number of steps.


title: Photocurrent Generation in a Metallic Transition Metal Dichalcogenide

abstract: Light induced current in two-dimensional (2D) layered materials emerges from mechanisms such as photothermoelectric effect, photovoltaic effect or nonlocal hot carrier transport. Semiconducting layered transition metal dichalcogenides have been studied extensively in recent years as the generation of current by light is a crucial process in optoelectronic and photovoltaic devices. However, photocurrent generation is unexpected in metallic 2D layered materials unless a photothermal mechanism is prevalent. Typically, high thermal conductivity and low absorption of the visible spectrum prevent photothermal current generation in metals. Here, we report photoresponse from two-terminal devices of mechanically exfoliated metallic 3R-NbS$_2$ thin crystals using scanning photocurrent microscopy (SPCM) both at zero and finite bias. SPCM measurements reveal that the photocurrent predominantly emerges from metal/NbS$_2$ junctions of the two-terminal device at zero bias. At finite biases, along with the photocurrent generated at metal/NbS$_2$ junctions, now a negative photoresponse from all over the NbS$_2$ crystal is evident. Among our results, we realized that the observed photocurrent can be explained by the local heating caused by the laser excitation. These findings show that NbS$_2$ is among a few metallic materials in which photocurrent generation is possible.


title: Independent sets, cliques, and colorings in graphons

abstract: We study graphon counterparts of the chromatic and the clique number, the fractional chromatic number, the b-chromatic number, and the fractional clique number. We establish some basic properties of the independence set polytope in the graphon setting, and duality properties between the fractional chromatic number and the fractional clique number. We present a notion of perfect graphons and characterize them in terms of induced densities of odd cycles and its complements.


title: Notes on noncommutative Fitting invariants

abstract: To each finitely presented module $M$ over a commutative ring $R$ one can associate an $R$-ideal $\mathrm{Fitt}_{R}(M)$, which is called the (zeroth) Fitting ideal of $M$ over $R$. This is of interest because it is always contained in the $R$-annihilator $\mathrm{Ann}_{R}(M)$ of $M$, but is often much easier to compute. This notion has recently been generalised to that of so-called `Fitting invariants' over certain noncommutative rings; the present author considered the case in which $R$ is an $\mathfrak{o}$-order $\Lambda$ in a finite dimensional separable algebra, where $\mathfrak{o}$ is an integrally closed commutative noetherian complete local domain. This article is a survey of known results and open problems in this context. In particular, we investigate the behaviour of Fitting invariants under direct sums. In the appendix, we present a new approach to Fitting invariants via Morita equivalence.


title: Improvement of Resting-state EEG Analysis Process with Spectrum Weight-Voting based on LES

abstract: EEG is a non-invasive technique for recording brain bioelectric activity, which has potential applications in various fields such as human-computer interaction and neuroscience. However, there are many difficulties in analyzing EEG data, including its complex composition, low amplitude as well as low signal-to-noise ratio. Some of the existing methods of analysis are based on feature extraction and machine learning to differentiate the phase of schizophrenia that samples belong to. However, medical research requires the use of machine learning not only to give more accurate classification results, but also to give the results that can be applied to pathological studies. The main purpose of this study is to obtain the weight values as the representation of influence of each frequency band on the classification of schizophrenia phases on the basis of a more effective classification method using the LES feature extraction, and then the weight values are processed and applied to improve the accuracy of machine learning classification. We propose a method called weight-voting to obtain the weights of sub-bands features by using results of classification for voting to fit the actual categories of EEG data, and using weights for reclassification. Through this method, we can first obtain the influence of each band in distinguishing three schizophrenia phases, and analyze the effect of band features on the risk of schizophrenia contributing to the study of psychopathology. Our results show that there is a high correlation between the change of weight of low gamma band and the difference between HC, CHR and FES. If the features revised according to weights are used for reclassification, the accuracy of result will be improved compared with the original classifier, which confirms the role of the band weight distribution.


title: Bi-Laplacians on graphs and networks

abstract: We study the differential operator $A=\frac{d^4}{dx^4}$ acting on a connected network $\mathcal{G}$ along with $\mathcal L^2$, the square of the discrete Laplacian acting on a connected discrete graph $\mathsf{G}$. For both operators we discuss well-posedness of the associated {linear} parabolic problems \[ \frac{\partial u}{\partial t}=-Au,\qquad\frac{df}{dt}=-\mathcal L^2 f, \] on $L^p(\mathcal{G})$ or $\ell^p(\mathsf{V})$, respectively, for $1\leq p\leq\infty$. In view of the well-known lack of parabolic maximum principle for all elliptic differential operators of order $2N$ for $N>1$, our most surprising finding is that, after some transient time, the parabolic equations driven by $-A$ may display Markovian features, depending on the imposed transmission conditions in the vertices. Analogous results seem to be unknown in the case of general domains and even bounded intervals. Our analysis is based on a detailed study of bi-harmonic functions complemented by simple combinatorial arguments. We elaborate on analogous issues for the discrete bi-Laplacian; a characterization of complete graphs in terms of the Markovian property of the semigroup generated by $-\mathcal L^2$ is also presented.


title: EstimatedWold Representation and Spectral Density-Driven Bootstrap for Time Series

abstract: The second-order dependence structure of purely nondeterministic stationary process is described by the coefficients of the famous Wold representation. These coefficients can be obtained by factorizing the spectral density of the process. This relation together with some spectral density estimator is used in order to obtain consistent estimators of these coefficients. A spectral density-driven bootstrap for time series is then developed which uses the entire sequence of estimated MA coefficients together with appropriately generated pseudo innovations in order to obtain a bootstrap pseudo time series. It is shown that if the underlying process is linear and if the pseudo innovations are generated by means of an i.i.d. wild bootstrap which mimics, to the necessary extent, the moment structure of the true innovations, this bootstrap proposal asymptotically works for a wide range of statistics. The relations of the proposed bootstrap procedure to some other bootstrap procedures, including the autoregressive-sieve bootstrap, are discussed. It is shown that the latter is a special case of the spectral density-driven bootstrap, if a parametric autoregressive spectral density estimator is used. Simulations investigate the performance of the new bootstrap procedure in finite sample situations. Furthermore, a real-life data example is presented.


title: Quantum chemical calculations to elucidate the electronic and elastic properties of topologically equivalent metal organic frameworks

abstract: We have theoretically investigated the elastic properties of three topologically identical zeolitic imidazolate frameworks: ZIF-4, ZIF-62 and TIF-4, by means of ab initio calculations. The ZIFs are a subset of metal organic frameworks (MOFs), whose versatile functionality is providing exciting opportunities in solid state science. Understanding the relationship between structure and elastic properties of hybrid materials is making it possible to develop a new generation of functional materials. In this work we have determined the bulk ($K$), shear ($G$) and Young's moduli ($E$), together with Poisson's ratio($\upsilon$), and the universal elastic anisotropy index ($A$$^{\textbf{U}}$) from the computed elastic coefficients. Tensorial analysis of the elastic constants reveals unusual and highly anisotropic elastic behaviour. All three materials exhibit low Young's and shear moduli. In addition, their flexibility incorporates regions of negative Poisson's ratio (NPR) and negative linear compressibility (NLC). The elastic properties of these ZIF crystals are are affected by the substituted organic linkages.


title: Relationship between the Elemental Abundances and the Kinematics of Galactic-Field RR Lyrae Stars

abstract: Data of our compiled catalog containing the positions, velocities, and metallicities of 415 RR~Lyrae variable stars and the relative abundances [el/Fe] of 12~elements for 101 RR~Lyrae stars, including four $\alpha$~elements (Mg, Ca, Si, and Ti), are used to study the relationships between the chemical and spatial--kinematic properties of these stars. In general, the dependences of the relative abundances of $\alpha$~elements on metallicity and velocity for the RR~Lyrae stars are approximately the same as those for field dwarfs. Despite the usual claim that these stars are old, among them are representatives of the thin disk, which is the youngest subsystem of the Galaxy. Attention is called to the problem of low-metallicity RR~Lyrae stars. Most RR~Lyrae stars that have the kinematic properties of thick disk stars have metallicities ${\rm [Fe/H]} < -1.0$ and high ratios [$\alpha$/Fe]$ \approx 0.4$, whereas only about 10\,\% of field dwarfs belonging to the so-called "low-metallicity tail" have this chemical composition. At the same time, there is a sharp change in [$\alpha$/Fe] in RR~Lyrae stars belonging just to the thick disk, providing evidence for a long period of formation of this subsystem. The chemical compositions of SDSS J1707+58, V455 Oph, MACHO 176.18833.411, V456 Ser, and BPS CS 30339--046 do not correspond to their kinematics. While the first three of these stars belong to the halo, according to their kinematics, the last two belong to the thick disk. It is proposed that they are all most likely extragalactic, but the possible appearance of some of them in the solar neighborhood as a result of the gravitational action of the bar on field stars cannot be ruled out.


title: Adversarial Structured Prediction for Multivariate Measures

abstract: Many predicted structured objects (e.g., sequences, matchings, trees) are evaluated using the F-score, alignment error rate (AER), or other multivariate performance measures. Since inductively optimizing these measures using training data is typically computationally difficult, empirical risk minimization of surrogate losses is employed, using, e.g., the hinge loss for (structured) support vector machines. These approximations often introduce a mismatch between the learner's objective and the desired application performance, leading to inconsistency. We take a different approach: adversarially approximate training data while optimizing the exact F-score or AER. Structured predictions under this formulation result from solving zero-sum games between a predictor seeking the best performance and an adversary seeking the worst while required to (approximately) match certain structured properties of the training data. We explore this approach for word alignment (AER evaluation) and named entity recognition (F-score evaluation) with linear-chain constraints.


title: HADES RV Programme with HARPS-N at TNG. VII. Rotation and activity of M-Dwarfs from time-series high-resolution spectroscopy of chromospheric indicators

abstract: We aim to investigate the presence of signatures of magnetic cycles and rotation on a sample of 71 early M-dwarfs from the HADES RV programme using high-resolution time-series spectroscopy of the Ca II H & K and Halpha chromospheric activity indicators, the radial velocity series, the parameters of the cross correlation function and the V-band photometry. We used mainly HARPS-N spectra, acquired over four years, and add HARPS spectra from the public ESO database and ASAS photometry light-curves as support data, extending the baseline of the observations of some stars up to 12 years. We provide log(R'hk) measurements for all the stars in the sample, cycle length measurements for 13 stars, rotation periods for 33 stars and we are able to measure the semi-amplitude of the radial velocity signal induced by rotation in 16 stars. We complement our work with previous results and confirm and refine the previously reported relationships between the mean level of chromospheric emission, measured by the log(R'hk), with the rotation period, and with the measured semi-amplitude of the activity induced radial velocity signal for early M-dwarfs. We searched for a possible relation between the measured rotation periods and the lengths of the magnetic cycle, finding a weak correlation between both quantities. Using previous v sin i measurements we estimated the inclinations of the star's poles to the line of sight for all the stars in the sample, and estimate the range of masses of the planets GJ 3998 b and c (2.5 - 4.9 Mearth and 6.3 - 12.5 Mearth), GJ 625 b (2.82 Mearth), GJ 3942 b (7.1 - 10.0 Mearth) and GJ 15A b (3.1 - 3.3 Mearth), assuming their orbits are coplanar with the stellar rotation.


title: Studying Pulsed Laser Deposition conditions for Ni/C-based multi-layers

abstract: Nickel carbon based multi-layers are a viable route towards future hard X-ray and soft $\gamma$-ray focusing telescopes. Here, we study the Pulsed Laser Deposition growth conditions of such bilayers by Reflective High Energy Electron Diffraction, X-ray Reflectivity and Diffraction, Atomic Force Microscopy, X-ray Photoelectron Spectroscopy and cross-sectional Transmission Electron Microscopy analysis, with emphasis on optimization of process pressure and substrate temperature during growth. The thin multi-layers are grown on a treated SiO substrate resulting in Ni and C layers with surface roughnesses (RMS) of $\leq$0.2 nm. Small droplets resulting during melting of the targets surface increase the roughness, however, and can not be avoided. The sequential process at temperatures beyond 300$^\circ$C results into intermixing between the two layers, being destructive for the reflectivity of the multi-layer.


title: Thermal responses in a coronal loop maintained by wave heating mechanisms

abstract: A full 3-dimensional compressible magnetohydrodynamic (MHD) simulation is conducted to investigate the thermal responses of a coronal loop to the dynamic dissipation processes of MHD waves. When the foot points of the loop are randomly and continuously forced, the MHD waves become excited and propagate upward. Then, a 1-MK temperature corona is produced naturally as the wave energy dissipates. The excited wave packets become non-linear just above the magnetic canopy, and the wave energy cascades into smaller spatial scales. Moreover, collisions between counter-propagating Alfv\'{e}n wave packets increase the heating rate, resulting in impulsive temperature increases. Our model demonstrates that the heating events in the wave-heated loops can be nanoflare-like in the sense that they are spatially localized and temporally intermittent.


title: Quantum Gases of Dipoles, Quadrupoles and Octupoles in Gross-Pitaevskii Formalism with Form Factor

abstract: Classical and quantum field theory of dipolar, axisymmetric quadrupolar and octupolar Bose gases is considered within a general approach. Dipole, axisymmetric quadrupole and octupole interaction potentials in the momentum representation are calculated. These results clearly demonstrate attraction and repulsion areas in corresponding gases. Then the Gross-Pitaevskii (GP) equation, which plays a key role in the present paper, is derived from the corresponding functional. The zoology of the form factors appearing in GP equation is studied in details. The classes of proper for the description of spatially non-uniform condensates form factors are chosen. In the Thomas-Fermi approximation a general solution of the GP equation with a quasilocal form factor is obtained. This solution has an interesting form in terms of a double rapidly converging series that universally includes all the interactions considered. An important analysis of the condensate stability, in other words the study of condensate excitations, is also performed in this paper. In the Gaussian approximation (from the GP functional), a functional describing the perturbations of the condensate is derived in details. For a probe wave function in the form of a plane wave, a spectrum of Bogoliubov excitations was obtained, from which an equation describing the threshold momentum for the emergence of instability was derived. An important result of this paper is the dependence of the threshold on the momentum of a stationary condensate. For completeness of the presentation, the approximating expression in the form of a rapidly converging series is obtained for the corresponding dependence. Finally, in the conclusion a quantum hydrodynamic theory for dipolar, axisymmetric quadrupolar and octupolar gases is briefly presented, giving a clue to the experimental determination of the form factors.


title: The ESO's VLT Type Ia supernova spectral set of the final two years of SNLS

abstract: We aim to present 70 spectra of 68 new high-redshift type Ia supernovae (SNeIa) measured at ESO's VLT during the final two years of operation (2006-2008) of the Supernova Legacy Survey (SNLS). We use the full five year SNLS VLT spectral set to investigate a possible spectral evolution of SNeIa populations with redshift and study spectral properties as a function of lightcurve fit parameters and the mass of the host-galaxy. Reduction and extraction are based on both IRAF standard tasks and our own reduction pipeline. Redshifts are estimated from host-galaxy lines whenever possible or alternatively from supernova features. We used the spectrophotometric SNIa model SALT2 combined with a set of galaxy templates that model the host-galaxy contamination to assess the type Ia nature of the candidates. We identify 68 new SNeIa with redshift ranging from z=0.207 to z=0.98 (<z>=0.62). Each spectrum is presented individually along with its best-fit SALT2 model. The five year dataset contains 209 spectra corresponding to 192 SNeIa identified at the VLT. We also publish the redshifts of other candidates (host galaxies or other transients) whose spectra were obtained at the same time as the spectra of live SNe Ia. Using the full VLT SNeIa sample, we build composite spectra around maximum light with cuts in color, lightcurve shape parameter ('stretch'), host-galaxy mass and redshift. We find that high-z SNeIa are bluer, brighter and have weaker intermediate mass element absorption lines than their low-z counterparts at a level consistent with what is expected from selection effects. We also find a flux excess in the range [3000-3400] A for SNeIa in low mass host-galaxies or with locally blue U-V colors, and suggest that the UV flux (or local color) may be used in future cosmological studies as a third standardization parameter in addition to stretch and color.


title: Missing flux in VLBI observations of SiO maser at 7mm in IRC+10011

abstract: VLBI observations of SiO masers recover at most 40-50% of the total flux obtained by single dish observations at any spectral channel. Some previous studies seems to indicate that, at least, part of the lost flux is divided up into many weak components rather than in a large resolved emission area. Taking benefit of the high sensitivity and resolution of the HSA, we investigate the problem of the missing flux in VLBI observations of SiO maser emission at 7mm in the AGB stars and obtain a high dynamic range map of IRC+10011. We conclude that the missing flux is mostly contained in many very weak maser components.


title: Extreme Value Analysis Without the Largest Values: What Can Be Done?

abstract: In this paper we are concerned with the analysis of heavy-tailed data when a portion of the extreme values is unavailable. This research was motivated by an analysis of the degree distributions in a large social network. The degree distributions of such networks tend to have power law behavior in the tails. We focus on the Hill estimator, which plays a starring role in heavy-tailed modeling. The Hill estimator for this data exhibited a smooth and increasing "sample path" as a function of the number of upper order statistics used in constructing the estimator. This behavior became more apparent as we artificially removed more of the upper order statistics. Building on this observation we introduce a new version of the Hill estimator. It is a function of the number of the upper order statistics used in the estimation, but also depends on the number of unavailable extreme values. We establish functional convergence of the normalized Hill estimator to a Gaussian process. An estimation procedure is developed based on the limit theory to estimate the number of missing extremes and extreme value parameters including the tail index and the bias of Hill's estimator. We illustrate how this approach works in both simulations and real data examples.


title: An Electrochemical Technique for Measurements of Electrical Conductivity of Aqueous Electrolytes

abstract: The technique presented here for the measurement of electrical conductivity is based on the principle that the current converges on a small disk electrode. Most of the ohmic resistance therefore lies within a narrow region surrounding the disk. If the reference electrode is kept outside this zone, the potential difference between the working and the reference electrode includes practically all ohmic potential drops occurring in the solution. Moreover, this ohmic drop can be related to the conductivity of the solution by an analytical expression derived by Newman. At sufficiently high overpotentials, the rate of charge transfer is limited by the conduction of current from the bulk solution to the electrode. In this regime, the current varies linearly with the electrode potential and the conductivity of the solution can be estimated from the slope of the voltammogram using Newman's expression. The electrochemical reaction used for measuring conductivity of solutions of salts is the cathodic reduction of water and that used for aqueous acids is the cathodic reduction of hydrogen ions. The technique has been used to measure conductivity of several common aqueous electrolytes. A good agreement is found between the present technique and the conventional technique based on AC impedance analysis.


title: Monte-Carlo methods for the pricing of American options: a semilinear BSDE point of view

abstract: We extend the viscosity solution characterization proved in [5] for call/put American option prices to the case of a general payoff function in a multi-dimensional setting: the price satisfies a semilinear re-action/diffusion type equation. Based on this, we propose two new numerical schemes inspired by the branching processes based algorithm of [8]. Our numerical experiments show that approximating the discontinu-ous driver of the associated reaction/diffusion PDE by local polynomials is not efficient, while a simple randomization procedure provides very good results.


title: DeepFuse: A Deep Unsupervised Approach for Exposure Fusion with Extreme Exposure Image Pairs

abstract: We present a novel deep learning architecture for fusing static multi-exposure images. Current multi-exposure fusion (MEF) approaches use hand-crafted features to fuse input sequence. However, the weak hand-crafted representations are not robust to varying input conditions. Moreover, they perform poorly for extreme exposure image pairs. Thus, it is highly desirable to have a method that is robust to varying input conditions and capable of handling extreme exposure without artifacts. Deep representations have known to be robust to input conditions and have shown phenomenal performance in a supervised setting. However, the stumbling block in using deep learning for MEF was the lack of sufficient training data and an oracle to provide the ground-truth for supervision. To address the above issues, we have gathered a large dataset of multi-exposure image stacks for training and to circumvent the need for ground truth images, we propose an unsupervised deep learning framework for MEF utilizing a no-reference quality metric as loss function. The proposed approach uses a novel CNN architecture trained to learn the fusion operation without reference ground truth image. The model fuses a set of common low level features extracted from each image to generate artifact-free perceptually pleasing results. We perform extensive quantitative and qualitative evaluation and show that the proposed technique outperforms existing state-of-the-art approaches for a variety of natural images.


title: Particles Systems for Mean Reflected BSDEs

abstract: In this paper, we deal with Reflected Backward Stochastic Differential Equations for which the constraint is not on the paths of the solution but on its law as introduced by Briand, Elie and Hu in [3]. We extend the recent work [2] of Briand, Chaudru de Raynal, Guillin and Labart on the chaos propagation for mean reflected SDEs to the backward framework. When the driver does not depend on z, we are able to treat general reflexions for the particles system. We consider linear reflexion when the driver depends also on z. In both cases, we get the rate of convergence of the particles system towards the square integrable deterministic flat solution to the mean reflected BSDE.


title: Variational image regularization with Euler's elastica using a discrete gradient scheme

abstract: This paper concerns an optimization algorithm for unconstrained non-convex problems where the objective function has sparse connections between the unknowns. The algorithm is based on applying a dissipation preserving numerical integrator, the Itoh--Abe discrete gradient scheme, to the gradient flow of an objective function, guaranteeing energy decrease regardless of step size. We introduce the algorithm, prove a convergence rate estimate for non-convex problems with Lipschitz continuous gradients, and show an improved convergence rate if the objective function has sparse connections between unknowns. The algorithm is presented in serial and parallel versions. Numerical tests show its use in Euler's elastica regularized imaging problems and its convergence rate and compare the execution time of the method to that of the iPiano algorithm and the gradient descent and Heavy-ball algorithms.


title: Interaction between U/UO2 bilayers and hydrogen studied by in-situ X-ray diffraction

abstract: This paper reports experiments investigating the reaction of H$_{2}$ with uranium metal-oxide bilayers. The bilayers consist of $\leq$ 100 nm of epitaxial $\alpha$-U (grown on a Nb buffer deposited on sapphire) with a UO$_{2}$ overlayer of thicknesses of between 20 and 80 nm. The oxides were made either by depositing via reactive magnetron sputtering, or allowing the uranium metal to oxidise in air at room temperature. The bilayers were exposed to hydrogen, with sample temperatures between 80 and 200 C, and monitored via in-situ x-ray diffraction and complimentary experiments conducted using Scanning Transmission Electron Microscopy - Electron Energy Loss Spectroscopy (STEM-EELS). Small partial pressures of H$_{2}$ caused rapid consumption of the U metal and lead to changes in the intensity and position of the diffraction peaks from both the UO$_{2}$ overlayers and the U metal. There is an orientational dependence in the rate of U consumption. From changes in the lattice parameter we deduce that hydrogen enters both the oxide and metal layers, contracting the oxide and expanding the metal. The air-grown oxide overlayers appear to hinder the H$_{2}$-reaction up to a threshold dose, but then on heating from 80 to 140 C the consumption is more rapid than for the as-deposited overlayers. STEM-EELS establishes that the U-hydride layer lies at the oxide-metal interface, and that the initial formation is at defects or grain boundaries, and involves the formation of amorphous and/or nanocrystalline UH$_{3}$. This explains why no diffraction peaks from UH$_{3}$ are observed. {\textcopyright British Crown Owned Copyright 2017/AWE}


title: Kayak: Safe Semantic Refactoring to Java Streams

abstract: Refactorings are structured changes to existing software that leave its externally observable behaviour unchanged. Their intent is to improve readability, performance or other non-behavioural properties. State-of-the-art automatic refactoring tools are syntax-driven and, therefore, overly conservative. In this paper we explore semantics-driven refactoring, which enables much more sophisticated refactoring schemata. As an exemplar of this broader idea, we present Kayak, an automatic refactoring tool that transforms Java with external iteration over collections into code that uses Streams, a new abstraction introduced by Java 8. Our refactoring procedure performs semantic reasoning and search in the space of possible refactorings using automated program synthesis. Our experimental results support the conjecture that semantics-driven refactorings are more precise and are able to rewrite more complex code scenarios when compared to syntax-driven refactorings.


title: Non-existence results for the weighted $p$-Laplace equation with singular nonlinearities

abstract: In this paper we present some non existence results concerning the stable solutions to the equation $$\operatorname{div}(w(x)|\nabla u|^{p-2}\nabla u)=g(x)f(u)\;\;\mbox{in}\;\;\mathbb{R}^N;\;\;p\geq 2$$ when $f(u)$ is either $u^{-\delta}+u^{-\gamma}$, $\delta,\gamma>0$ or $\exp(\frac{1}{u})$ and for a suitable class of weight functions $w,g$.


title: A reverse KAM method to estimate unknown mutual inclinations in exoplanetary systems

abstract: The inclinations of exoplanets detected via radial velocity method are essentially unknown. We aim to provide estimations of the ranges of mutual inclinations that are compatible with the long-term stability of the system. Focusing on the skeleton of an extrasolar system, i.e., considering only the two most massive planets, we study the Hamiltonian of the three-body problem after the reduction of the angular momentum. Such a Hamiltonian is expanded both in Poincar\'e canonical variables and in the small parameter $D_2$, which represents the normalised Angular Momentum Deficit. The value of the mutual inclination is deduced from $D_2$ and, thanks to the use of interval arithmetic, we are able to consider open sets of initial conditions instead of single values. Looking at the convergence radius of the Kolmogorov normal form, we develop a reverse KAM approach in order to estimate the ranges of mutual inclinations that are compatible with the long-term stability in a KAM sense. Our method is successfully applied to the extrasolar systems HD 141399, HD 143761 and HD 40307.


title: The fourth smallest Hamming weight in the code of the projective plane over $\mathbb{Z}/p \mathbb{Z}$

abstract: Let $p$ be a prime and let $C_p$ denote the $p$-ary code of the projective plane over ${\mathbb Z}/p\mathbb{Z}$. It is well known that the minimum weight of non-zero words in $C_p$ is $p+1$, and Chouinard proved that, for $p \geq 3$, the second and third minimum weights are $2p$ and $2p+1$. In 2007, Fack et. al. determined, for $p\geq 5$, all words of $C_p$ of these three weights. In this paper we recover all these results and also prove that, for $p \geq 5$, the fourth minimum weight of $C_p$ is $3p-3$. The problem of determining all words of weight $3p-3$ remains open.


title: Implementation of mixed-dimensional models for flow in fractured porous media

abstract: Models that involve coupled dynamics in a mixed-dimensional geometry are of increasing interest in several applications. Here, we describe the development of a simulation model for flow in fractured porous media, where the fractures and their intersections form a hierarchy of interacting subdomains. We discuss the implementation of a simulation framework, with an emphasis on reuse of existing discretization tools for mono-dimensional problems. The key ingredients are the representation of the mixed-dimensional geometry as a graph, which allows for convenient discretization and data storage, and a non-intrusive coupling of dimensions via boundary conditions and source terms. This approach is applicable for a wide class of mixed-dimensional problems. We show simulation results for a flow problem in a three-dimensional fracture geometry, applying both finite volume and virtual finite element discretizations.


title: A weighted reduced basis method for parabolic PDEs with random data

abstract: This work considers a weighted POD-greedy method to estimate statistical outputs parabolic PDE problems with parametrized random data. The key idea of weighted reduced basis methods is to weight the parameter-dependent error estimate according to a probability measure in the set-up of the reduced space. The error of stochastic finite element solutions is usually measured in a root mean square sense regarding their dependence on the stochastic input parameters. An orthogonal projection of a snapshot set onto a corresponding POD basis defines an optimum reduced approximation in terms of a Monte Carlo discretization of the root mean square error. The errors of a weighted POD-greedy Galerkin solution are compared against an orthogonal projection of the underlying snapshots onto a POD basis for a numerical example involving thermal conduction. In particular, it is assessed whether a weighted POD-greedy solutions is able to come significantly closer to the optimum than a non-weighted equivalent. Additionally, the performance of a weighted POD-greedy Galerkin solution is considered with respect to the mean absolute error of an adjoint-corrected functional of the reduced solution.


title: Light Field Segmentation From Super-pixel Graph Representation

abstract: Efficient and accurate segmentation of light field is an important task in computer vision and graphics. The large volume of input data and the redundancy of light field make it an open challenge. In the paper, we propose a novel graph representation for interactive light field segmentation based on light field super-pixel (LFSP). The LFSP not only maintains light field redundancy, but also greatly reduces the graph size. These advantages make LFSP useful to improve segmentation efficiency. Based on LFSP graph structure, we present an efficient light field segmentation algorithm using graph-cuts. Experimental results on both synthetic and real dataset demonstrate that our method is superior to previous light field segmentation algorithms with respect to accuracy and efficiency.


title: The Feynman-Kitaev computer's clock: bias, gaps, idling and pulse tuning

abstract: We present a collection of results about the clock in Feynman's computer construction and Kitaev's Local Hamiltonian problem. First, by analyzing the spectra of quantum walks on a line with varying endpoint terms, we find a better lower bound on the gap of the Feynman Hamiltonian, which translates into a less strict promise gap requirement for the QMA-complete Local Hamiltonian problem. We also translate this result into the language of adiabatic quantum computation. Second, introducing an idling clock construction with a large state space but fast Cesaro mixing, we provide a way for achieving an arbitrarily high success probability of computation with Feynman's computer with only a logarithmic increase in the number of clock qubits. Finally, we tune and thus improve the costs (locality, gap scaling) of implementing a (pulse) clock with a single excitation.


title: SEPIA - a new single pixel receiver at the APEX Telescope

abstract: Context: We describe the new SEPIA (Swedish-ESO PI Instrument for APEX) receiver, which was designed and built by the Group for Advanced Receiver Development (GARD), at Onsala Space Observatory (OSO) in collaboration with ESO. It was installed and commissioned at the APEX telescope during 2015 with an ALMA Band 5 receiver channel and updated with a new frequency channel (ALMA Band 9) in February 2016. Aims: This manuscript aims to provide, for observers who use the SEPIA receiver, a reference in terms of the hardware description, optics and performance as well as the commissioning results. Methods: Out of three available receiver cartridge positions in SEPIA, the two current frequency channels, corresponding to ALMA Band 5, the RF band 158--211 GHz, and Band 9, the RF band 600--722 GHz, provide state-of-the-art dual polarization receivers. The Band 5 frequency channel uses 2SB SIS mixers with an average SSB noise temperature around 45K with IF (intermediate frequency) band 4--8 GHz for each sideband providing total 4x4 GHz IF band. The Band 9 frequency channel uses DSB SIS mixers with a noise temperature of 75--125K with IF band 4--12 GHz for each polarization. Results: Both current SEPIA receiver channels are available to all APEX observers.


title: Multi-stage generation of extreme ultraviolet dispersive waves by tapering gas-filled hollow-core anti-resonant fibers

abstract: In this work, we numerically investigate an experimentally feasible design of a tapered Ne-filled hollow-core anti-resonant fiber and we report the generation of multiple dispersive waves (DWs) in the range 90-120 nm, well into the extreme ultraviolet (UV) region. The simulations assume an 800 nm pump pulse with 30 fs 10 $\mu$J pulse energy, launched into a 9 bar Ne-filled fiber with $34~\mu$m initial core diameter that is then tapered to a $10~\mu$m core diameter. The simulations were performed using a new model that provides a realistic description of both loss and dispersion of the resonant and anti-resonant spectral bands of the fiber, and also importantly includes the material loss of silica in the UV. We show that by first generating solitons that emit DWs in the far-UV region in the pre-taper section, optimization of the following taper structure can allow re-collision with the solitons and further up-conversion of the far-UV DWs to the extreme-UV with energies up to 190 nJ in the 90-120 nm range. This process provides a new way to generate light in the extreme-UV spectral range using relatively low gas pressure.


title: Towards the Holographic Dual of N = 2 SYK

abstract: The gravitational part of the holographic dual to the SYK model has been conjectured to be Jackiw-Teitelboim (JT) gravity. In this paper we construct an AdS2 background in N = (2,2) JT gravity and show that the gravitational dynamics are - as in the N = 0 and N = 1 cases - fully captured by the extrinsic curvature as an effective boundary action. This boundary term is given by the super-Schwarzian of the N = 2 SYK model, thereby providing further evidence of the JT/SYK duality. The chirality of this SYK model is reproduced by the inherent chirality of axial N = (2,2) supergravity.


title: Equivalence of tensor products over a category of W*-algebras

abstract: We prove the equivalence of two tensor products over a category of W*-algebras with normal (not necessarily unital) *-homomorphisms, defined by Guichardet and Dauns, respectively. This structure differs from the standard tensor product construction by Misonou--Takeda--Turumaru, which is based on weak topological completion, and does not have a categorical universality property.


title: Shorter unentangled proofs for Ground State Connectivity

abstract: Can one considerably shorten a proof for a quantum problem by using a protocol with a constant number of unentangled provers? We consider a frustration-free variant of the QCMA-complete Ground State Connectivity (GSCON) problem for a system of size n with a proof of superlinear-size. We show that we can shorten this proof in QMA(2): there exists a two-copy, unentangled proof with length of order n, up to logarithmic factors, while the completeness-soundness gap of the new protocol becomes a small inverse polynomial in n.


title: Existence of solutions to discrete boundary value problem of fractional difference equations

abstract: In this paper, we obtained the sufficient conditions for the existence of solutions to the discrete boundary value problems of fractional difference equation depending on parameters. We use Krasnoselskii fixed point theorem to establish the existence results.


title: On the third coefficient of TYZ expansion for radial scalar flat metrics

abstract: We classify radial scalar flat metrics with constant third coeffcient of its TYZ expansion. As a byproduct of our analysis we provide a characterization of Simanca's scalar flat metric.


title: First results from the LIFE project: discovery of two magnetic hot evolved stars

abstract: We present the initial results of the Large Impact of magnetic Fields on the Evolution of hot stars (LIFE) project. The focus of this project is the search for magnetic fields in evolved OBA giants and supergiants with visual magnitudes between 4 and 8, with the aim to investigate how the magnetic fields observed in upper main sequence (MS) stars evolve from the MS until the late post-MS stages. In this paper, we present spectropolarimetric observations of 15 stars observed using the ESPaDOnS instrument of the CFHT. For each star, we have determined the fundamental parameters and have used stellar evolution models to calculate their mass, age and radius. Using the LSD technique, we have produced averaged line profiles for each star. From these profiles, we have measured the longitudinal magnetic field strength and have calculated the detection probability. We report the detection of magnetic fields in two stars of our sample: a weak field of $B_l=1.0\pm0.2\,$G is detected in the post-MS A5 star 19$\,$Aur and a stronger field of $B_l=-230\,\pm\,10\,$G is detected in the MS/post-MS B8/9 star HR$\,$3042.


title: The evolution of magnetic fields from the main-sequence to very late stages

abstract: Magnetic fields have been detected in most if not all types of stars across the Hertzsprung-Russell diagram. Where present, these fields have the potential to significantly impact the evolution of their host stars. Furthermore, they themselves are affected by the various structural changes which occur in a star during its life. For example, the significant radius expansion during the post-main-sequence phase, due to flux conservation, may lead to a decrease in surface magnetic field strength, to a point where the magnetic field may no longer be detectable. As a result, it is a challenge to link the magnetic fields observed in main sequence (MS) stars with those observed in very late stage stars and even to those in post-MS stars. In this review, I present what we know, from observations, about magnetic stars at various stages of stellar evolution.


title: Circumstellar interaction in supernovae in dense environments - an observational perspective

abstract: In a supernova explosion, the ejecta interacting with the surrounding circumstellar medium (CSM) give rise to variety of radiation. Since CSM is created from the mass lost from the progenitor star, it carries footprints of the late time evolution of the star. This is one of the unique ways to get a handle on the nature of the progenitor star system. Here, I will focus mainly on the supernovae (SNe) exploding in dense environments, a.k.a. Type IIn SNe. Radio and X-ray emission from this class of SNe have revealed important modifications in their radiation properties, due to the presence of high density CSM. Forward shock dominance of the X-ray emission, internal free-free absorption of the radio emission, episodic or non-steady mass loss rate, asymmetry in the explosion seem to be common properties of this class of SNe.


title: Formal Representation of SysML/KAOS Domain Model (Complete Version)

abstract: Nowadays, the usefulness of a formal language for ensuring the consistency of requirements is well established. The work presented here is part of the definition of a formally-grounded, model-based requirements engineering method for critical and complex systems. Requirements are captured through the SysML/KAOS method and the targeted formal specification is written using the Event-B method. Firstly, an Event-B skeleton is produced from the goal hierarchy provided by the SysML/KAOS goal model. This skeleton is then completed in a second step by the Event-B specification obtained from system application domain properties that gives rise to the system structure. Considering that the domain is represented using ontologies through the SysML/KAOS Domain Model method, is it possible to automatically produce the structural part of system Event-B models ? This paper proposes a set of generic rules that translate SysML/KAOS domain ontologies into an Event-B specification. The rules have been expressed, verified and validated through the Rodin tool using the Event-B method. They are illustrated through a case study dealing with a landing gear system. Our proposition makes it possible to automatically obtain, from a representation of the system application domain in the form of ontologies, the structural part of the Event-B specification which will be used to formally validate the consistency of system requirements.


title: Sharp concentration of the equitable chromatic number of dense random graphs

abstract: An equitable colouring of a graph $G$ is a colouring of the vertices of $G$ so that no two adjacent vertices are coloured the same and, additionally, the colour class sizes differ by at most $1$. The equitable chromatic number $\chi_=(G)$ is the minimum number of colours required for this. We study the equitable chromatic number of the dense random graph $G(n,m)$, where $m = \left\lfloor p {n \choose 2} \right \rfloor $ and $0<p< 0.86$ is constant. It is a well-known question of Bollob\'as whether for $p=1/2$ there is a function $f(n) \rightarrow \infty$ so that for any sequence of intervals of length $f(n)$, the normal chromatic number of $G(n,m)$ lies outside the intervals with probability at least $1/2$ if $n$ is large enough. Bollob\'as proposes that this is likely to hold for $f(n) = \log n$. We show that for the \emph{equitable} chromatic number, the answer to the analogous question is negative. In fact, there is a subsequence $(n_j)_{j}$ of the integers where $\chi_=(G(n_j,m_j)) = n/j$ with high probability, i.e., $\chi_=(G(n_j,m_j))$ is concentrated on exactly one explicitly known value. This constitutes surprisingly narrow concentration since in this range the equitable chromatic number, like the normal chromatic number, is rather large in absolute value, namely asymptotically equal to $n / (2\log_b n)$ where $b=1/(1-p)$.


title: Automaton Semigroups and Groups: On the Undecidability of Problems Related to Freeness and Finiteness

abstract: In this paper, we study algorithmic problems for automaton semigroups and automaton groups related to freeness and finiteness. In the course of this study, we also exhibit some connections between the algebraic structure of automaton (semi)groups and their dynamics on the boundary. First, we show that it is undecidable to check whether the group generated by a given invertible automaton has a positive relation, i.e. a relation p = 1 such that p only contains positive generators. Besides its obvious relation to the freeness of the group, the absence of positive relations has previously been studied and is connected to the triviality of some stabilizers of the boundary. We show that the emptiness of the set of positive relations is equivalent to the dynamical property that all (directed positive) orbital graphs centered at non-singular points are acyclic. Gillibert showed that the finiteness problem for automaton semigroups is undecidable. In the second part of the paper, we show that this undecidability result also holds if the input is restricted to be bi-reversible and invertible (but, in general, not complete). As an immediate consequence, we obtain that the finiteness problem for automaton subsemigroups of semigroups generated by invertible, yet partial automata, so called automaton-inverse semigroups, is also undecidable. Erratum: Contrary to a statement in a previous version of the paper, our approach does not show that that the freeness problem for automaton semigroups is undecidable. We discuss this in an erratum at the end of the paper.


title: Moduli Space of Quasi-Maps from P^{1} with Two Marked Points to P(1,1,1,3) and j-invariant

abstract: In this paper, we construct toric data of moduli space of quasi maps of degree $d$ from P^{1} with two marked points to weighted projective space P(1.1,1,3). With this result, we prove that the moduli space is a compact toric orbifold. We also determine its Chow ring. Moreover, we give a proof of the conjecture proposed by Jinzenji that a series of intersection numbers of the moduli spaces coincides with expansion coefficients of inverse function of -log(j(tau)).


title: The stellar content of the XMM-Newton slew survey

abstract: We present a detailed analysis of the stellar content of the current version of the XMM-Newton slew survey (XMMSL2). Since stars emit only a small fraction of their total luminosity in the X-ray band, the stellar XMMSL2 sources ought to have relatively bright optical counterparts. Therefore the stellar identifications are obtained by an automatic crossmatch of the XMMSL2 catalog with the first Gaia data release (Gaia DR1), the 2MASS and the Tycho2 catalogs. The reliability of this procedure is verified by a comparison with the individually classified Einstein Observatory medium sensitivity survey X-ray sources and by a crossmatch with the Chandra Source Catalog. We identify 6815 of the 23252 unique XMMSL2 sources to be stellar sources, while 893 sources are flagged as unreliable. For every counterpart a matching probability is estimated based upon the distance between the XMMSL2 source and the counterpart. Given this matching probability the sample is expected to be reliable to 96.7 % and complete to 96.3 %. The sample contains stars of all spectral types and luminosity classes, with late-type dwarfs having the largest share. For many stellar sources the fractional contribution of the X-ray band to the total energy output is found above the saturation limit of previous studies ($L_\mathrm{X}/L_\mathrm{bol}=10^{-3}$), because the XMMSL2 sources are more affected by flares due to their short exposure times of typically 6 s. A comparison with the "Second ROSAT all-sky survey (2RXS) source catalog" shows that about 25 % of the stellar XMMSL2 sources are previously unknown X-ray sources. The results of our identification procedure can be accessed via VizieR.


title: Optimization of stochastic lossy transport networks and applications to power grids

abstract: Motivated by developments in renewable energy and smart grids, we formulate a stylized mathematical model of a transport network with stochastic load fluctuations. Using an affine control rule, we explore the trade-off between the number of controllable resources in a lossy transport network and the performance gain they yield in terms of expected power losses. Our results are explicit and reveal the interaction between the level of flexibility, the intrinsic load uncertainty and the network structure.


title: Bursting dynamics of viscous film without circular symmetry: the effect of confinement

abstract: We experimentally investigate the bursting dynamics of confined liquid film suspended in air and find a viscous dynamics distinctly different from the non-confined counterpart, due to lack of circular symmetry in the shape of expanding hole: the novel confined-viscous bursting proceeds at a constant speed and a rim formed at the bursting tip does not grow. We find a confined-viscous to confined-inertial crossover, as well as a nonconfined-inertial to confined-inertial crossover, at which bursting speed does not change although the circular symmetry in the hole shape breaks dynamically.

categories: physics.flu-dyn cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Extending general covariance: Moyal-type noncommutative manifolds

abstract: In the Hamiltonian formulation of general relativity, Einstein's equation is replaced by a set of four constraints. Classically, the constraints can be identified with the generators of the hypersurface-deformation Lie algebroid (HDA) that belongs to the groupoid of finite evolutions in space-time. Taken over to deformed general relativity, this connection allows one to study possible Drinfeld twists of space-time diffeomorphisms with Hopf-algebra techniques. After a review of noncommutative differential structures, two cases --- twisted diffeomorphisms with standard action and deformed (or $\star$-) diffeomorphisms with deformed action --- are considered in this paper. The HDA of twisted diffeomorphisms agrees with the classical one, while the HDA obtained from deformed diffeomorphisms is modified due to the explicit presence of $\star$-products in the brackets. The results allow one to distinguish between twisted and deformed symmetries, and they indicate that the latter should be regarded as the relevant symmetry transformations for noncommutative manifolds. The algebroid brackets maintain the same general structure regardless of space-time noncommutativity, but they still show important consequences of non-locality.


title: Courant's Nodal Domain Theorem for Positivity Preserving Forms

abstract: We introduce a notion of nodal domains for positivity preserving forms. This notion generalizes the classical ones for Laplacians on domains and on graphs. We prove the Courant nodal domain theorem in this generalized setting using purely analytical methods.


title: Wide-Field Multiphoton Imaging Through Scattering Media Without Correction

abstract: Optical approaches to fluorescent, spectroscopic, and morphological imaging have made exceptional advances in the last decade. Super-resolution imaging and wide-field multiphoton imaging are now underpinning major advances across the biomedical sciences. While the advances have been startling, the key unmet challenge to date in all forms of optical imaging is to penetrate deeper. A number of schemes implement aberration correction or the use of complex photonics to address this need. In contrast, we approach this challenge by implementing a scheme that requires no a priori information about the medium nor its properties. Exploiting temporal focusing and single-pixel detection in our innovative scheme, we obtain wide-field two-photon images through various turbid media including a scattering phantom and tissue reaching a depth of up to seven scattering mean free path lengths. Our results show that it competes favorably with standard point-scanning two-photon imaging, with up to a fivefold improvement in signal-to-background ratio while showing significantly lower photobleaching.


title: Combinatorics of Beacon-based Routing in Three Dimensions

abstract: A beacon is a point-like object which can be enabled to exert a magnetic pull on other point-like objects in space. Those objects then move towards the beacon in a greedy fashion until they are either stuck at an obstacle or reach the beacon's location. Beacons placed inside polyhedra can be used to route point-like objects from one location to another. A second use case is to cover a polyhedron such that every point-like object at an arbitrary location in the polyhedron can reach at least one of the beacons once the latter is activated. The notion of beacon-based routing and guarding was introduced by Biro et al. [FWCG'11] in 2011 and covered in detail by Biro in his PhD thesis [SUNY-SB'13], which focuses on the two-dimensional case. We extend Biro's result to three dimensions by considering beacon routing in polyhedra. We show that $\lfloor\frac{m+1}{3}\rfloor$ beacons are always sufficient and sometimes necessary to route between any pair of points in a given polyhedron $P$, where $m$ is the number of tetrahedra in a tetrahedral decomposition of $P$. This is one of the first results that show that beacon routing is also possible in three dimensions.


title: Quantum approaches to music cognition

abstract: Quantum cognition emerged as an important discipline of mathematical psychology during the last two decades. Using abstract analogies between mental phenomena and the formal framework of physical quantum theory, quantum cognition demonstrated its ability to resolve several puzzles from cognitive psychology. Until now, quantum cognition essentially exploited ideas from projective (Hilbert space) geometry, such as quantum probability or quantum similarity. However, many powerful tools provided by physical quantum theory, e.g., symmetry groups have not been utilized in the field of quantum cognition research sofar. Inspired by seminal work by Guerino Mazzola on the symmetries of tonal music, our study aims at elucidating and reconciling static and dynamic tonal attraction phenomena in music psychology within the quantum cognition framework. Based on the fundamental principles of octave equivalence, fifth similarity and transposition symmetry of tonal music that are reflected by the structure of the circle of fifths, we develop different wave function descriptions over this underlying tonal space. We present quantum models for static and dynamic tonal attraction and compare them with traditional computational models in musicology. Our approach replicates and also improves predictions based on symbolic models of music perception.


title: Ordered states in the Kitaev-Heisenberg model: From 1D chains to 2D honeycomb

abstract: We study the ground state of the 1D Kitaev-Heisenberg (KH) model using the density-matrix renormalization group and Lanczos exact diagonalization methods. We obtain a rich ground-state phase diagram as a function of the ratio between Heisenberg ($J=\cos\phi)$ and Kitaev ($K=\sin\phi$) interactions. Depending on the ratio, the system exhibits four long-range ordered states: ferromagnetic-$z$ , ferromagnetic-$xy$, staggered-$xy$, N\'eel-$z$, and two liquid states: Tomonaga-Luttinger liquid and spiral-$xy$. The two Kitaev points $\phi=\frac{\pi}{2}$ and $\phi=\frac{3\pi}{2}$ are singular. The $\phi$-dependent phase diagram is similar to that for the 2D honeycomb-lattice KH model. Remarkably, all the ordered states of the honeycomb-lattice KH model can be interpreted in terms of the coupled KH chains. We also discuss the magnetic structure of the K-intercalated RuCl$_3$, a potential Kitaev material, in the framework of the 1D KH model. Furthermore, we demonstrate that the low-lying excitations of the 1D KH Hamiltonian can be explained within the combination of the known six-vertex model and spin-wave theory.


title: Scheduling Algorithms for Minimizing Age of Information in Wireless Broadcast Networks with Random Arrivals: The No-Buffer Case

abstract: Age of information is a new network performance metric that captures the freshness of information at end-users. This paper studies the age of information from a scheduling perspective. To that end, we consider a wireless broadcast network where a base-station (BS) is updating many users on random information arrivals under a transmission capacity constraint. For the offline case when the arrival statistics are known to the BS, we develop a structural MDP scheduling algorithm and an index scheduling algorithm, leveraging Markov decision process (MDP) techniques and the Whittle's methodology for restless bandits. By exploring optimal structural results, we not only reduce the computational complexity of the MDP-based algorithm, but also simplify deriving a closed form of the Whittle index. Moreover, for the online case, we develop an MDP-based online scheduling algorithm and an index-based online scheduling algorithm. Both the structural MDP scheduling algorithm and the MDP-based online scheduling algorithm asymptotically minimize the average age, while the index scheduling algorithm minimizes the average age when the information arrival rates for all users are the same. Finally, the algorithms are validated via extensive numerical studies.


title: Finding Competitive Network Architectures Within a Day Using UCT

abstract: The design of neural network architectures for a new data set is a laborious task which requires human deep learning expertise. In order to make deep learning available for a broader audience, automated methods for finding a neural network architecture are vital. Recently proposed methods can already achieve human expert level performances. However, these methods have run times of months or even years of GPU computing time, ignoring hardware constraints as faced by many researchers and companies. We propose the use of Monte Carlo planning in combination with two different UCT (upper confidence bound applied to trees) derivations to search for network architectures. We adapt the UCT algorithm to the needs of network architecture search by proposing two ways of sharing information between different branches of the search tree. In an empirical study we are able to demonstrate that this method is able to find competitive networks for MNIST, SVHN and CIFAR-10 in just a single GPU day. Extending the search time to five GPU days, we are able to outperform human architectures and our competitors which consider the same types of layers.


title: Rainbow cycles in flip graphs

abstract: The flip graph of triangulations has as vertices all triangulations of a convex $n$-gon, and an edge between any two triangulations that differ in exactly one edge. An $r$-rainbow cycle in this graph is a cycle in which every inner edge of the triangulation appears exactly $r$ times. This notion of a rainbow cycle extends in a natural way to other flip graphs. In this paper we investigate the existence of $r$-rainbow cycles for three different flip graphs on classes of geometric objects: the aforementioned flip graph of triangulations of a convex $n$-gon, the flip graph of plane trees on an arbitrary set of $n$ points, and the flip graph of non-crossing perfect matchings on a set of $n$ points in convex position. In addition, we consider two flip graphs on classes of non-geometric objects: the flip graph of permutations of $\{1,2,\dots,n\}$ and the flip graph of $k$-element subsets of $\{1,2,\dots,n\}$. In each of the five settings, we prove the existence and non-existence of rainbow cycles for different values of $r$, $n$ and~$k$.


title: Bayesian model checking: A comparison of tests

abstract: Two procedures for checking Bayesian models are compared using a simple test problem based on the local Hubble expansion. Over four orders of magnitude, p-values derived from a global goodness-of-fit criterion for posterior probability density functions (Lucy 2017) agree closely with posterior predictive p-values. The former can therefore serve as an effective proxy for the difficult-to-calculate posterior predictive p-values.


title: Mixed Hodge structures with modulus

abstract: We define a notion of mixed Hodge structure with modulus that generalizes the classical notion of mixed Hodge structure introduced by Deligne and the level one Hodge structures with additive parts introduced by Kato and Russell in their description of Albanese varieties with modulus. With modulus triples of any dimension we attach mixed Hodge structures with modulus. We combine this construction with an equivalence between the category of level one mixed Hodge structures with modulus and the category of Laumon $1$-motives to generalize Kato-Russell's Albanese varieties with modulus to $1$-motives.


title: ADINE: An Adaptive Momentum Method for Stochastic Gradient Descent

abstract: Two major momentum-based techniques that have achieved tremendous success in optimization are Polyak's heavy ball method and Nesterov's accelerated gradient. A crucial step in all momentum-based methods is the choice of the momentum parameter $m$ which is always suggested to be set to less than $1$. Although the choice of $m < 1$ is justified only under very strong theoretical assumptions, it works well in practice even when the assumptions do not necessarily hold. In this paper, we propose a new momentum based method $\textit{ADINE}$, which relaxes the constraint of $m < 1$ and allows the learning algorithm to use adaptive higher momentum. We motivate our hypothesis on $m$ by experimentally verifying that a higher momentum ($\ge 1$) can help escape saddles much faster. Using this motivation, we propose our method $\textit{ADINE}$ that helps weigh the previous updates more (by setting the momentum parameter $> 1$), evaluate our proposed algorithm on deep neural networks and show that $\textit{ADINE}$ helps the learning algorithm to converge much faster without compromising on the generalization error.


title: Probing primordial features with next-generation photometric and radio surveys

abstract: We investigate the possibility of using future photometric and radio surveys to constrain the power spectrum of primordial fluctuations that is predicted by inflationary models with a violation of the slow-roll phase. We forecast constraints with a Fisher analysis on the amplitude of the parametrized features on ultra-large scales, in order to assess whether these could be distinguishable over the cosmic variance. We find that the next generation of photometric and radio surveys has the potential to test these models at a sensitivity better than current CMB experiments and that the synergy between galaxy and CMB observations is able to constrain models with many extra parameters. In particular, an SKA continuum survey with a huge sky coverage and a flux threshold of a few $\mu$Jy could confirm the presence of a new phase in the early Universe at more than 3$\sigma$.


title: Actions of $E-$dense semigroups and an application to the discrete log problem

abstract: We describe the structure of $E-$dense acts over $E-$dense semigroups in an analogous way to that for inverse semigroup acts over inverse semigroups. This is based, to a large extent, on the work of Schein on representations of inverse semigroups by partial one-to-one maps. We consider an application to the discrete log problem in cryptography as well as an application to the same problem using completely regular semigroups.


title: Rich Ground State Chemical Ordering in Nanoparticles: Exact Solution of a Model for Ag-Au Clusters

abstract: We show that nanoparticles can have very rich ground state chemical order. This is illustrated by determining the chemical ordering of Ag-Au 309-atom Mackay icosahedral nanoparticles. The energy of the nanoparticles is described using a cluster expansion model, and a Mixed Integer Programming (MIP) approach is used to find the exact ground state configurations for all stoichiometries. The chemical ordering varies widely between the different stoichiometries, and display a rich zoo of structures with non-trivial ordering.


title: Measurement of $CP$ asymmetry in $B_s^0 \to D_s^{\mp} K^{\pm}$ decays

abstract: We report the measurements of the $CP$-violating parameters in $B_s^0 \to D_s^{\mp} K^{\pm}$ decays observed in $pp$ collisions, using a data set corresponding to an integrated luminosity of $3.0\,\text{fb}^{-1}$ recorded with the LHCb detector. We measure $C_f = 0.73 \pm 0.14 \pm 0.05$, $A^{\Delta \Gamma}_f = 0.39 \pm 0.28 \pm 0.15$, $A^{\Delta \Gamma}_{\overline{f}} = 0.31 \pm 0.28 \pm 0.15$, $S_f = -0.52 \pm 0.20 \pm 0.07$, $S_{\overline{f}} = -0.49 \pm 0.20 \pm 0.07$, where the uncertainties are statistical and systematic, respectively. These parameters are used together with the world-average value of the $B_s^0$ mixing phase, $-2\beta_s$, to obtain a measurement of the CKM angle $\gamma$ from $B_s^0 \to D_s^{\mp} K^{\pm}$ decays, yielding $\gamma = (128\,_{-22}^{+17})^\circ$ modulo $180^\circ$, where the uncertainty contains both statistical and systematic contributions. This corresponds to $3.8\,\sigma$ evidence for $CP$ violation in the interference between decay and decay after mixing.


title: Direct frequency-comb-driven Raman transitions in the terahertz range

abstract: We demonstrate the use of a femtosecond frequency comb to coherently drive stimulated Raman transitions between terahertz-spaced atomic energy levels. More specifically, we address the $3d~^2D_{3/2}$ and $3d~^2D_{5/2}$ fine structure levels of a single trapped $^{40}$Ca$^+$ ion and spectroscopically resolve the transition frequency to be $\nu_D = 1{,}819{,}599{,}021{,}534 \pm 8$ Hz. The achieved accuracy is nearly a factor of five better than the previous best Raman spectroscopy, and is currently limited by the stability of our atomic clock reference. Furthermore, the population dynamics of frequency-comb-driven Raman transitions can be fully predicted from the spectral properties of the frequency comb, and Rabi oscillations with a contrast of 99.3(6)\% and millisecond coherence time has been achieved. Importantly, the technique can be easily generalized to transitions in the sub-kHz to tens of THz range and should be applicable for driving, e.g., spin-resolved rovibrational transitions in molecules and hyperfine transitions in highly charged ions.


title: Note About Hamiltonian Formalism for Newton-Cartan String and p-Brane

abstract: We construct non-relativistic string and p-brane actions in Newton-Cartan background using the limiting procedure from the relativistic string and p-brane action in general background. We also find their Hamiltonian formulations when however we restrict ourselves to the case of the vanishing gauge field.


title: Text Indexing and Searching in Sublinear Time

abstract: We introduce the first index that can be built in $o(n)$ time for a text of length $n$, and can also be queried in $o(q)$ time for a pattern of length $q$. On an alphabet of size $\sigma$, our index uses $O(n\sqrt{\log n\log\sigma})$ bits, is built in $O(n((\log\log n)^2+\sqrt{\log\sigma})/\sqrt{\log_\sigma n})$ deterministic time, and computes the number $\mathrm{occ}$ of occurrences of the pattern in time $O(q/\log_\sigma n+\log n)$. Each such occurrence can then be found in $O(\sqrt{\log n\log\sigma})$ time. By slightly increasing the space and construction time, to $O(n(\sqrt{\log n\log\sigma}+ \log\sigma\log^\varepsilon n))$ and $O(n\log^{3/2}\sigma/\log^{1/2-\varepsilon} n)$, respectively, for any constant $0<\varepsilon<1/2$, we can find the $\mathrm{occ}$ pattern occurrences in time $O(q/\log_\sigma n + \sqrt{\log_\sigma n}\log\log n + \mathrm{occ})$. We build on a novel text sampling based on difference covers, which enjoys properties that allow us efficiently computing longest common prefixes in constant time. We extend our results to the secondary memory model as well, where we give the first construction in $o(\mathit{Sort}(n))$ I/Os of a data structure with suffix array functionality; this data structure supports pattern matching queries with optimal or nearly-optimal cost.


title: Fourier transform on hyperplane arrangements

abstract: We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can be described in terms of certain diagrams of vector spaces labelled by all the faces of the real arrangement (we call such diagrams hyperbolic sheaves). In this paper we calculate, in these terms, several fundamental operations of sheaf theory such as forming the space of vanishing cycles, specialization and the Fourier-Sato transform.


title: Conformal Yano-Killing tensors for space-times with cosmological constant

abstract: We present a new method for constructing conformal Yano-Killing tensors in five-di\-men\-sio\-nal Anti-de Sitter space-time. The found tensors are represented in two different coordinate systems. We also discuss, in terms of CYK tensors, global charges which are well defined for asymptotically (five-dimensional) Anti-de Sitter space-time. Additionally in Appendix we present our own derivation of conformal Killing one-forms in four-dimensional Anti-de Sitter space-time as an application of the Theorem presented in the paper.


title: Removing Type II singularities off the axis for the 3D axisymmetric Euler equations

abstract: We prove local blow-up criterion for smooth axisymmetric solutions to the 3D incompressible Euler equation. If the vorticity satisfies $ \intl_{0}^{t_*} (t_*-t) \| \omega (t)\|_{ L^\infty(B(x_{ \ast}, R_0))} dt <+\infty$ for a ball $B(x_{ \ast}, R_0)$ away from the axis of symmetry, then there exists no singularity at $t=t_*$ in the torus $T(x_*, R)$ generated by rotation of the ball $B(x_{ \ast}, R_0)$ around the axis. This implies that possible singularity at $t=t_*$ in the torus $T(x_*, R)$ is excluded if the vorticity satisfies the blow-up rate $ \|\o (t)\|_{L^\infty (T(x_*, R))}= O\left(\frac{1}{(t_*-t)^\gamma}\right)$ as $t\to t_*$, where $\gamma <2$ and the torus $T(x_*, R)$ does not touch the axis.


title: Molecular Signal Modeling of a Partially Counting Absorbing Spherical Receiver

abstract: To communicate at the nanoscale, researchers have proposed molecular communication as an energy-efficient solution. The drawback to this solution is that the histogram of the molecules' hitting times, which constitute the molecular signal at the receiver, has a heavy tail. Reducing the effects of this heavy tail, inter-symbol interference (ISI), has been the focus of most prior research. In this paper, a novel way of decreasing the ISI by defining a counting region on the spherical receiver's surface facing towards the transmitter node is proposed. The beneficial effect comes from the fact that the molecules received from the back lobe of the receiver are more likely to be coming through longer paths that contribute to ISI. In order to justify this idea, the joint distribution of the arrival molecules with respect to angle and time is derived. Using this distribution, the channel model function is approximated for the proposed system, i.e., the partially counting absorbing spherical receiver. After validating the channel model function, the characteristics of the molecular signal are investigated and improved performance is presented. Moreover, the optimal counting region in terms of bit error rate is found analytically.


title: Incremental Adversarial Domain Adaptation for Continually Changing Environments

abstract: Continuous appearance shifts such as changes in weather and lighting conditions can impact the performance of deployed machine learning models. While unsupervised domain adaptation aims to address this challenge, current approaches do not utilise the continuity of the occurring shifts. In particular, many robotics applications exhibit these conditions and thus facilitate the potential to incrementally adapt a learnt model over minor shifts which integrate to massive differences over time. Our work presents an adversarial approach for lifelong, incremental domain adaptation which benefits from unsupervised alignment to a series of intermediate domains which successively diverge from the labelled source domain. We empirically demonstrate that our incremental approach improves handling of large appearance changes, e.g. day to night, on a traversable-path segmentation task compared with a direct, single alignment step approach. Furthermore, by approximating the feature distribution for the source domain with a generative adversarial network, the deployment module can be rendered fully independent of retaining potentially large amounts of the related source training data for only a minor reduction in performance.


title: Laplace approximation and the natural gradient for Gaussian process regression with the heteroscedastic Student-t model

abstract: This paper considers the Laplace method to derive approximate inference for the Gaussian process (GP) regression in the location and scale parameters of the Student-t probabilistic model. This allows both mean and variance of the data to vary as a function of covariates with the attractive feature that the Student-t model has been widely used as a useful tool for robustifying data analysis. The challenge in the approximate inference for the GP regression with the Student-t probabilistic model, lies in the analytical intractability of the posterior distribution and the lack of concavity of the log-likelihood function. We present the natural gradient adaptation for the estimation process which primarily relies on the property that the Student-t model naturally has orthogonal parametrization with respect to the location and scale paramaters. Due to this particular property of the model, we also introduce an alternative Laplace approximation by using the Fisher information matrix in place of the Hessian matrix of the negative log-likelihood function. According to experiments this alternative approximation provides very similar posterior approximations and predictive performance when compared to the traditional Laplace approximation. We also compare both of these Laplace approximations with the Monte Carlo Markov Chain (MCMC) method. Moreover, we compare our heteroscedastic Student-t model and the GP regression with the heteroscedastic Gaussian model. We also discuss how our approach can improve the inference algorithm in cases where the probabilistic model assumed for the data is not log-concave.


title: CameraTransform: a Scientific Python Package for Perspective Camera Corrections

abstract: Scientific applications often require an exact reconstruction of object positions and distances from digital images. Therefore, the images need to be corrected for perspective distortions. We present \textit{CameraTransform}, a python package that performs a perspective image correction whereby the height, tilt/roll angle and heading of the camera can be automatically obtained from the images if additional information such as GPS coordinates or object sizes are provided. We present examples of images of penguin colonies that are recorded with stationary cameras and from a helicopter.


title: Transition from wakefield generation to soliton formation

abstract: It is well known that when a short laser pulse propagates in an underdense plasma, it induces longitudinal plasma oscillations at the plasma frequency after the pulse, typically referred to as the 'wakefield'. However, for plasma densities approaching the critical density wakefield generation is suppressed, and instead the EM-pulse undergoes nonlinear self-modulation. In this article we have studied the transition from the wakefield generation to formation of quasi-solitons as the plasma density is increased. For this purpose we have applied a one dimensional (1D) relativistic cold fluid model, which has also been compared with particle-in-cell simulations. A key result is that the energy loss of the EM-pulse due to wakefield generation has its maximum for a plasma density of the order 10 percent of the critical density, but that wakefield generation is sharply suppressed when the density is increased further.