title: Bayesian Optimization with Expensive Integrands

abstract: We propose a Bayesian optimization algorithm for objective functions that are sums or integrals of expensive-to-evaluate functions, allowing noisy evaluations. These objective functions arise in multi-task Bayesian optimization for tuning machine learning hyperparameters, optimization via simulation, and sequential design of experiments with random environmental conditions. Our method is average-case optimal by construction when a single evaluation of the integrand remains within our evaluation budget. Achieving this one-step optimality requires solving a challenging value of information optimization problem, for which we provide a novel efficient discretization-free computational method. We also provide consistency proofs for our method in both continuum and discrete finite domains for objective functions that are sums. In numerical experiments comparing against previous state-of-the-art methods, including those that also leverage sum or integral structure, our method performs as well or better across a wide range of problems and offers significant improvements when evaluations are noisy or the integrand varies smoothly in the integrated variables.


title: Muon content of extensive air showers: comparison of the energy spectra obtained by the Sydney University Giant Air-shower Recorder and by the Pierre Auger Observatory

abstract: The Sydney University Giant Air-shower Recorder (SUGAR) measured the energy spectrum of ultra-high-energy cosmic rays reconstructed from muon-detector readings, while the Pierre Auger Observatory, looking at the same Southern sky, uses the calorimetric fluorescence method for the same purpose. Comparison of their two spectra allows us to reconstruct the empirical dependence of the number of muons in the shower on the primary energy for energies between $10^{17}$ and $10^{18.5}$ eV. We compare this dependence with the predictions of hadronic interaction models \mbox{QGSJET-II-04} and \mbox{EPOS-LHC}. The empirically determined number of muons with energies above 0.75 GeV exceeds the simulated one by the factors $\sim$1.67 and $\sim$1.28 for $10^{17}$ eV proton and iron primaries, respectively. The muon excess grows moderately with the primary energy, increasing by an additional factor of $\sim 1.2$ for $10^{18.5}$ eV primaries.


title: Into the fission valley of magic nucleus Polonium

abstract: The word "radioactive" was first coined by Marie Curie when she, along with her husband Pierre Curie, discovered the element Polonium. The nucleus 210Po is a testing ground for many theoretical and experimental aspects of nuclear structure as well as nuclear fission dynamics as it is a magic nucleus with neutron number N=126. At Variable Energy Cyclotron Centre, Kolkata the fission of Polonium nuclei is being studied in order to understand the survival of nuclear shell effects that is known to be the key for the stability of super heavy elements (SHE).


title: Fast, Accurate, and Lightweight Super-Resolution with Cascading Residual Network

abstract: In recent years, deep learning methods have been successfully applied to single-image super-resolution tasks. Despite their great performances, deep learning methods cannot be easily applied to real-world applications due to the requirement of heavy computation. In this paper, we address this issue by proposing an accurate and lightweight deep network for image super-resolution. In detail, we design an architecture that implements a cascading mechanism upon a residual network. We also present variant models of the proposed cascading residual network to further improve efficiency. Our extensive experiments show that even with much fewer parameters and operations, our models achieve performance comparable to that of state-of-the-art methods.


title: Topological phase transiton of anisotropic XY model with Dzyaloshinskii-Moriya interaction

abstract: Within the real space renormalization group we obtain the phase portrait of the anisotropic quantum XY model on square lattice in presence of Dzyaloshinskii-Moriya (DM) interaction. The model is characterized by two parameters, $\lambda$ corresponding to XY anisotropy, and $D$ corresponding to the strength of DM interaction. The flow portrait of the model is governed by two global Ising-Kitaev attractors at $(\lambda=\pm1,D=0)$ and a repeller line, $\lambda=0$. Renormalization flow of concurrence suggests that the $\lambda=0$ line corresponds to a topological phase transition. The gap starts at zero on this repeller line corresponding to super-fluid phase of underlying bosons; and flows towards a finite value at the Ising-Kitaev points. At these two fixed points the spin fields become purely classical, and hence the resulting Ising degeneracy can be interpreted as topological degeneracy of dual degrees of freedom. The state of affairs at the Ising-Kitaev fixed point is consistent with the picture of a p-wave pairing of strength $\lambda$ of Jordan-Wigner fermions coupled with Chern-Simons gauge fields.


title: APR: Architectural Pattern Recommender

abstract: This paper proposes Architectural Pattern Recommender (APR) system which helps in such architecture selection process. Main contribution of this work is in replacing the manual effort required to identify and analyse relevant architectural patterns in context of a particular set of software requirements. Key input to APR is a set of architecturally significant use cases concerning the application being developed. Central idea of APR's design is two folds: a) transform the unstructured information about software architecture design into a structured form which is suitable for recognizing textual entailment between a requirement scenario and a potential architectural pattern. b) leverage the rich experiential knowledge embedded in discussions on professional developer support forums such as Stackoverflow to check the sentiment about a design decision. APR makes use of both the above elements to identify a suitable architectural pattern and assess its suitability for a given set of requirements. Efficacy of APR has been evaluated by comparing its recommendations for "ground truth" scenarios (comprising of applications whose architecture is well known).


title: On efficient global optimization via universal Kriging surrogate models

abstract: In this paper, we investigate the capability of the universal Kriging (UK) model for single-objective global optimization applied within an efficient global optimization (EGO) framework. We implemented this combined UK-EGO framework and studied four variants of the UK methods, that is, a UK with a first-order polynomial, a UK with a second-order polynomial, a blind Kriging (BK) implementation from the ooDACE toolbox, and a polynomial-chaos Kriging (PCK) implementation. The UK-EGO framework with automatic trend function selection derived from the BK and PCK models works by building a UK surrogate model and then performing optimizations via expected improvement criteria on the Kriging model with the lowest leave-one-out cross-validation error. Next, we studied and compared the UK-EGO variants and standard EGO using five synthetic test functions and one aerodynamic problem. Our results show that the proper choice for the trend function through automatic feature selection can improve the optimization performance of UK-EGO relative to EGO. From our results, we found that PCK-EGO was the best variant, as it had more robust performance as compared to the rest of the UK-EGO schemes; however, total-order expansion should be used to generate the candidate trend function set for high-dimensional problems. Note that, for some test functions, the UK with predetermined polynomial trend functions performed better than that of BK and PCK, indicating that the use of automatic trend function selection does not always lead to the best quality solutions. We also found that although some variants of UK are not as globally accurate as the ordinary Kriging (OK), they can still identify better-optimized solutions due to the addition of the trend function, which helps the optimizer locate the global optimum.


title: Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

abstract: This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20, 2018 in Thessaloniki, Greece, as part of ETAPS 2018, the European Joint Conferences on Theory and Practice of Software. MARS emphasises modelling over verification. It aims at discussing the lessons learned from making formal methods for the verification and analysis of realistic systems. Examples are: (1) Which formalism is chosen, and why? (2) Which abstractions have to be made and why? (3) How are important characteristics of the system modelled? (4) Were there any complications while modelling the system? (5) Which measures were taken to guarantee the accuracy of the model? We invited papers that present full models of real systems, which may lay the basis for future comparison and analysis. An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them. Alternative formal descriptions of the systems presented at this workshop are encouraged, which should foster the development of improved specification formalisms. VPT aims to provide a forum where people from the areas of program transformation and program verification can fruitfully exchange ideas and gain a deeper understanding of the interactions between those two fields. These interactions have been beneficial in both directions. On the one hand, methods and tools developed in the field of program transformation, such as partial deduction, partial evaluation, fold/unfold transformations, and supercompilation, are applied with success to verification, in particular to the verification of infinite state and parameterized systems. On the other hand, methods developed in program verification, such as model checking, abstract interpretation, SAT and SMT solving, and automated theorem proving, are used to enhance program transformation techniques, thereby making these techniques more powerful and useful in practice.


title: Pyramid Stereo Matching Network

abstract: Recent work has shown that depth estimation from a stereo pair of images can be formulated as a supervised learning task to be resolved with convolutional neural networks (CNNs). However, current architectures rely on patch-based Siamese networks, lacking the means to exploit context information for finding correspondence in illposed regions. To tackle this problem, we propose PSMNet, a pyramid stereo matching network consisting of two main modules: spatial pyramid pooling and 3D CNN. The spatial pyramid pooling module takes advantage of the capacity of global context information by aggregating context in different scales and locations to form a cost volume. The 3D CNN learns to regularize cost volume using stacked multiple hourglass networks in conjunction with intermediate supervision. The proposed approach was evaluated on several benchmark datasets. Our method ranked first in the KITTI 2012 and 2015 leaderboards before March 18, 2018. The codes of PSMNet are available at: https://github.com/JiaRenChang/PSMNet.


title: Object Detection for Comics using Manga109 Annotations

abstract: With the growth of digitized comics, image understanding techniques are becoming important. In this paper, we focus on object detection, which is a fundamental task of image understanding. Although convolutional neural networks (CNN)-based methods archived good performance in object detection for naturalistic images, there are two problems in applying these methods to the comic object detection task. First, there is no large-scale annotated comics dataset. The CNN-based methods require large-scale annotations for training. Secondly, the objects in comics are highly overlapped compared to naturalistic images. This overlap causes the assignment problem in the existing CNN-based methods. To solve these problems, we proposed a new annotation dataset and a new CNN model. We annotated an existing image dataset of comics and created the largest annotation dataset, named Manga109-annotations. For the assignment problem, we proposed a new CNN-based detector, SSD300-fork. We compared SSD300-fork with other detection methods using Manga109-annotations and confirmed that our model outperformed them based on the mAP score.


title: Nonparametric inference on L\'evy measures of compound Poisson-driven Ornstein-Uhlenbeck processes under macroscopic discrete observations

abstract: This study examines a nonparametric inference on a stationary L\'evy-driven Ornstein-Uhlenbeck (OU) process $X = (X_{t})_{t \geq 0}$ with a compound Poisson subordinator. We propose a new spectral estimator for the L\'evy measure of the L\'evy-driven OU process $X$ under macroscopic observations. We also derive, for the estimator, multivariate central limit theorems over a finite number of design points, and high-dimensional central limit theorems in the case wherein the number of design points increases with an increase in the sample size. Built on these asymptotic results, we develop methods to construct confidence bands for the L\'evy measure and propose a practical method for bandwidth selection.


title: On a generalization of Solomon-Terao formula for subspace arrangements

abstract: We investigate in this paper a generalization of Solomon-Terao formula for central equidimensional subspace arrangements. We introduce generalized Solomon-Terao functions based on the Hilbert-Poincar\'e series of the modules of multi-logarithmic forms and logarithmic multi-residues. We show that as in the case of hyperplane arrangements, these Solomon-Terao functions are polynomial. We then prove that if the Solomon-Terao polynomial of the modules of multi-residues satisfies a certain property, then this polynomial is related to the characteristic polynomial of the subspace arrangement. In particular, we prove that this generalized Solomon-Terao formula holds for any line arrangement of any codimension.


title: Revisiting Single Image Depth Estimation: Toward Higher Resolution Maps with Accurate Object Boundaries

abstract: This paper considers the problem of single image depth estimation. The employment of convolutional neural networks (CNNs) has recently brought about significant advancements in the research of this problem. However, most existing methods suffer from loss of spatial resolution in the estimated depth maps; a typical symptom is distorted and blurry reconstruction of object boundaries. In this paper, toward more accurate estimation with a focus on depth maps with higher spatial resolution, we propose two improvements to existing approaches. One is about the strategy of fusing features extracted at different scales, for which we propose an improved network architecture consisting of four modules: an encoder, decoder, multi-scale feature fusion module, and refinement module. The other is about loss functions for measuring inference errors used in training. We show that three loss terms, which measure errors in depth, gradients and surface normals, respectively, contribute to improvement of accuracy in an complementary fashion. Experimental results show that these two improvements enable to attain higher accuracy than the current state-of-the-arts, which is given by finer resolution reconstruction, for example, with small objects and object boundaries.


title: On Fuchsian loci of PSL(n,R)-Hitchin components of a pair of pants

abstract: In this paper, we study Fuchsian loci of ${\rm PSL}_n(\mathbb{R})$-Hitchin components. In particular, using the Bonahon-Dreyer parametrization of ${\rm PSL}_n(\mathbb{R})$-Hitchin components, we give an explicit parametrization of Fuchsian loci of a pair of pants.


title: On the hydrostatic stratification of the solar tachocline

abstract: We present an attempt to reconcile the solar tachocline glitch, a thin layer immediately beneath the convection zone in which the seismically inferred sound speed in the Sun exceeds corresponding values in standard solar models, with a degree of partial material mixing which we presume to have resulted from a combination of convective overshoot, wave transport and tachocline circulation. We first summarize the effects of either modifying in the models the opacity in the radiative interior or of incorporating either slow or fast tachocline circulation. Neither alone is successful. We then consider, without physical justification, incomplete material redistribution immediately beneath the convection zone which is slow enough not to disturb radiative equilibrium. It is modelled simply as a diffusion process. We find that, in combination with an appropriate opacity modification, it is possible to find a density-dependent diffusion coefficient that removes the glitch almost entirely, with a radiative envelope that is consistent with seismology.


title: Regge Trajectories of Radial Meson Excitations: Exploring the Dyson-Schwinger-- Bethe-Salpeter Approach

abstract: The combined Dyson-Schwinger and Bethe-Salpeter equations in rainbow-ladder approximation are used to search for Regge trajectories of mesons in the pseudo-scalar and vector channels. We focus on the often employed Alkofer-Watson-Weigel kernel which is known to deliver good results for the ground state meson spectra; it provides linear Regge trajectories in the $J^P= 0^-$ channel.


title: An astrophysical interpretation of the remarkable g-mode frequency groups of the rapidly rotating $\gamma$ Dor star, KIC 5608334

abstract: The Fourier spectrum of the $\gamma$-Dor variable KIC 5608334 shows remarkable frequency groups at $\sim$3, $\sim$6, $\sim$9, and 11--12\,d$^{-1}$. We explain the four frequency groups as prograde sectoral g modes in a rapidly rotating star. Frequencies of intermediate-to-high radial order prograde sectoral g modes in a rapidly rotating star are proportional to $|m|$ (i.e., $\nu \propto |m|$) in the co-rotating frame as well as in the inertial frame. This property is consistent with the frequency groups of KIC 5608334 as well as the period vs. period-spacing relation present within each frequency group, if we assume a rotation frequency of $2.2$\,d$^{-1}$, and that each frequency group consists of prograde sectoral g modes of $|m| = 1, 2, 3,$ and 4, respectively. In addition, these modes naturally satisfy near-resonance conditions $\nu_i\approx\nu_j+\nu_k$ with $m_i=m_j+m_k$. We even find exact resonance frequency conditions (within the precise measurement uncertainties) in many cases, which correspond to combination frequencies.


title: Neutron-induced reactions in nuclear astrophysics

abstract: The quest for the origin of the chemical elements, which we find in our body, in our planet (Earth), in our star (Sun), or in our galaxy (Milky Way) could only be resolved with a thorough understanding of the nuclear physics properties of stable and unstable atomic nuclei. While the elements until iron are either created during the big bang or during fusion reactions in stars, most of the elements heavier than iron are produced via neutron-induced reactions. Therefore, neutron capture cross sections of stable and unstable isotopes are important. So far, time-of-flight or activation methods have been applied very successfully, but these methods reach their limits once the isotopes with half-lives shorter than a few months are of interest. A combination of a radioactive beam facility, an ion storage ring and a high flux reactor or a spallation source would allow a direct measurement of neutron-induced reactions over a wide energy range of isotopes with half-lives down to minutes. The idea is to measure neutron-induced reactions on radioactive ions in inverse kinematics. This means, the radioactive ions will pass through a neutron target. In order to efficiently use the rare nuclides as well as to enhance the luminosity, the exotic nuclides can be stored in an ion storage ring. The neutron target can be the core of a research reactor, where one of the central fuel elements is replaced by the evacuated beam pipe of the storage ring. Alternatively, a large moderator surrounding a spallation source can be intersected by the beam pipe of an ion storage ring. Using particle detectors and Schottky spectroscopy, most of the important neutron-induced reactions, such as (n,$\gamma$), (n,p), (n,$\alpha$), (n,2n), or (n,f), could be investigated.


title: Learning Spatial-Temporal Regularized Correlation Filters for Visual Tracking

abstract: Discriminative Correlation Filters (DCF) are efficient in visual tracking but suffer from unwanted boundary effects. Spatially Regularized DCF (SRDCF) has been suggested to resolve this issue by enforcing spatial penalty on DCF coefficients, which, inevitably, improves the tracking performance at the price of increasing complexity. To tackle online updating, SRDCF formulates its model on multiple training images, further adding difficulties in improving efficiency. In this work, by introducing temporal regularization to SRDCF with single sample, we present our spatial-temporal regularized correlation filters (STRCF). Motivated by online Passive-Agressive (PA) algorithm, we introduce the temporal regularization to SRDCF with single sample, thus resulting in our spatial-temporal regularized correlation filters (STRCF). The STRCF formulation can not only serve as a reasonable approximation to SRDCF with multiple training samples, but also provide a more robust appearance model than SRDCF in the case of large appearance variations. Besides, it can be efficiently solved via the alternating direction method of multipliers (ADMM). By incorporating both temporal and spatial regularization, our STRCF can handle boundary effects without much loss in efficiency and achieve superior performance over SRDCF in terms of accuracy and speed. Experiments are conducted on three benchmark datasets: OTB-2015, Temple-Color, and VOT-2016. Compared with SRDCF, STRCF with hand-crafted features provides a 5 times speedup and achieves a gain of 5.4% and 3.6% AUC score on OTB-2015 and Temple-Color, respectively. Moreover, STRCF combined with CNN features also performs favorably against state-of-the-art CNN-based trackers and achieves an AUC score of 68.3% on OTB-2015.


title: Improving DNN Robustness to Adversarial Attacks using Jacobian Regularization

abstract: Deep neural networks have lately shown tremendous performance in various applications including vision and speech processing tasks. However, alongside their ability to perform these tasks with such high accuracy, it has been shown that they are highly susceptible to adversarial attacks: a small change in the input would cause the network to err with high confidence. This phenomenon exposes an inherent fault in these networks and their ability to generalize well. For this reason, providing robustness to adversarial attacks is an important challenge in networks training, which has led to extensive research. In this work, we suggest a theoretically inspired novel approach to improve the networks' robustness. Our method applies regularization using the Frobenius norm of the Jacobian of the network, which is applied as post-processing, after regular training has finished. We demonstrate empirically that it leads to enhanced robustness results with a minimal change in the original network's accuracy.


title: Pattern Evolution Characterizes the Mechanism and Efficiency of CVD Graphene Growth

abstract: Growing large-area single-crystal monolayers is the holy grail of graphene synthesis. In this work, the efficiency of graphene growth and the quality of their continuous films are explored through the time evolution of individual domains and their surface coverage on the substrate. Our phase-field modeling results and experimental characterization clearly demonstrate the critical roles of the deposition flux, edge-reaction kinetics and the surface diffusion of active carbon sources in modulating the pattern evolution and rate of growth. The contrast in edge-kinetics-limited and surface-diffusion-limited regimes is remarkable, which can be characterized by the evolution of domain patterns and considered as an indicator of the growth regime. Common features exist in these two regimes, showing that the growth rate scales with time as t2 in the early stage of growth and is regime-independent, which is explained by the coarsen profiles of carbon concentration for both the compact and dendritic domains. The rate decays rapidly in the final stage of growth due to the competition between neighboring domains on the limited carbon sources diffusing on the substrate, which is highly regime-sensitive and extremely low in the surface-diffusion-limited regime with narrow gaps between the domains to be filled. Based on these findings, synthesis strategies to improve the growth efficiency and film quality are discussed.


title: A comprehensive understanding of planet formation is required for assessing planetary habitability and for the search for life

abstract: Dozens of habitable zone, approximately earth-sized exoplanets are known today. An emerging frontier of exoplanet studies is identifying which of these habitable zone, small planets are actually habitable (have all necessary conditions for life) and, of those, which are earth-like. Many parameters and processes influence habitability, ranging from the orbit through detailed composition including volatiles and organics, to the presence of geological activity and plate tectonics. While some properties will soon be directly observable, others cannot be probed by remote sensing for the foreseeable future. Thus, statistical understanding of planetary systems' formation and evolution is a key supplement to the direct measurements of planet properties. Probabilistically assessing parameters we cannot directly measure is essential to reliably assess habitability, to prioritizing habitable-zone planets for follow-up, and for interpreting possible biosignatures.


title: The Redshift-Dependence of Radial Acceleration: Modified Gravity versus Particle Dark Matter

abstract: Modified Newtonian Dynamics has one free parameter and requires an interpolation function to recover the normal Newtonian limit. We here show that this interpolation function is unnecessary in a recently proposed covariant completion of Erik Verlinde's emergent gravity, and that Verlinde's approach moreover fixes the function's one free parameter. The so-derived correlation between the observed acceleration (inferred from rotation curves) and the gravitational acceleration due to merely the baryonic matter fits well with data. We then argue that the redshift-dependence of galactic rotation curves could offer a way to tell apart different versions of modified gravity from particle dark matter.


title: Atmospheric mass loss of extrasolar planets orbiting magnetically active host stars

abstract: Magnetic stellar activity of exoplanet hosts can lead to the production of large amounts of high-energy emission, which irradiates extrasolar planets, located in the immediate vicinity of such stars. This radiation is absorbed in the planets' upper atmospheres, which consequently heat up and evaporate, possibly leading to an irradiation-induced mass-loss. We present a study of the high-energy emission in the four magnetically active planet-bearing host stars Kepler-63, Kepler-210, WASP-19, and HAT-P-11, based on new XMM-Newton observations. We find that the X-ray luminosities of these stars are rather high with orders of magnitude above the level of the active Sun. The total XUV irradiation of these planets is expected to be stronger than that of well studied hot Jupiters. Using the estimated XUV luminosities as the energy input to the planetary atmospheres, we obtain upper limits for the total mass loss in these hot Jupiters.


title: Width of a two-body coupled-channel resonance

abstract: We study the width of a two-body resonance in a coupled-channel system. We demonstrate how the width does not come only determined by the available phase space for its decay to the detection channel, but it greatly depends on the relative position of the mass of the resonance with respect to the masses of the coupled-channels generating the state. Our results are consistent with the experimental observation of narrow hadrons lying well above their lowest decay threshold.


title: Uplink Achievable Rate in One-bit Quantized Massive MIMO with Superimposed Pilots

abstract: In this work, we consider a 1-bit quantized massive MIMO channel with superimposed pilot (SP) scheme, dubbed QSP. With linear minimum mean square error (LMMSE) channel estimator and maximum ratio combining (MRC) receiver at the BS, we derive an approximate lower bound on the achievable rate. When optimizing pilot and data powers, the optimal power allocation maximizing the data rate is obtained in a closed-form solution. Although there is a performance gap between the quantized and unquantized systems, it is shown that this gap diminishes as the number of BS antennas is asymptotically large. Moreover, we show that pilot removal from the received signal by using the channel estimate doesn't result in a significant increase in information, especially in the cases of low signal-to-noise ratio (SNR) and a large number of users. We present some numerical results to corroborate our analytical findings and insights are provided for further exploration of the quantized systems with SP.


title: Region-filtering Correlation Tracking

abstract: Recently, correlation filters have demonstrated the excellent performance in visual tracking. However, the base training sample region is larger than the object region,including the Interference Region(IR). The IRs in training samples from cyclic shifts of the base training sample severely degrade the quality of a tracking model. In this paper, we propose the novel Region-filtering Correlation Tracking (RFCT) to address this problem. We immediately filter training samples by introducing a spatial map into the standard CF formulation. Compared with existing correlation filter trackers, our proposed tracker has the following advantages: (1) The correlation filter can be learned on a larger search region without the interference of the IR by a spatial map. (2) Due to processing training samples by a spatial map, it is more general way to control background information and target information in training samples. The values of the spatial map are not restricted, then a better spatial map can be explored. (3) The weight proportions of accurate filters are increased to alleviate model corruption. Experiments are performed on two benchmark datasets: OTB-2013 and OTB-2015. Quantitative evaluations on these benchmarks demonstrate that the proposed RFCT algorithm performs favorably against several state-of-the-art methods.


title: On the similarity between Nakagami-m Fading distribution and the Gaussian ensembles of random matrix theory

abstract: We report the similarity between the Nakagami-m fading distribution and the three Gaussian ensembles of random matrix theory. We provide a brief review of random matrix theory and wireless fading. We show that the Nakagami-m distribution serves as mapping between the three ensembles. The statistics of the wireless fading amplitude, as modeled by Nakagami-m distribution, provide a rare example of a classically chaotic system that exhibits a transition between the Gaussian orthogonal, Gaussian unitary, and Gaussian symplectic ensembles of random matrix theory.


title: Soft thermal contributions to 3-loop gauge coupling

abstract: We analyze 3-loop contributions to the gauge coupling felt by ultrasoft ("magnetostatic") modes in hot Yang-Mills theory. So-called soft/hard terms, originating from dimension-six operators within the soft effective theory, are shown to cancel 1097/1098 of the IR divergence found in a recent determination of the hard 3-loop contribution to the soft gauge coupling. The remaining 1/1098 originates from ultrasoft/hard contributions, induced by dimension-six operators in the ultrasoft effective theory. Soft 3-loop contributions are likewise computed, and are found to be IR divergent, rendering the ultrasoft gauge coupling non-perturbative at relative order O(alphas^{3/2}). We elaborate on the implications of these findings for effective theory studies of physical observables in thermal QCD.


title: Polariton hyperspectral imaging of two-dimensional semiconductor crystals

abstract: Atomically thin crystals of transition metal dichalcogenides (TMDs) host excitons with strong binding energies and sizable light-matter interactions. Coupled to optical cavities, monolayer TMDs routinely reach the regime of strong light-matter coupling, where excitons and photons admix coherently to form quasiparticles known as polaritons up to room temperature. Here, we explore the two-dimensional nature of TMD polaritons with cavity-assisted hyperspectral imaging. Using extended WS$_2$ monolayers, we establish the regime of strong coupling with a scanning microcavity to map out polariton properties and correlate their spatial features with intrinsic and extrinsic effects. We find a high level of homogeneity, and show that polariton splitting variations are correlated with intrinsic exciton properties such as oscillator strength and linewidth. Moreover, we observe a deviation from thermal equilibrium in the resonant polariton population, which we ascribe to non-perturbative polariton-phonon coupling. Our measurements reveal a promisingly consistent polariton landscape, and highlight the importance of phonons for future polaritonic devices.


title: Deep learning and its application to medical image segmentation

abstract: One of the most common tasks in medical imaging is semantic segmentation. Achieving this segmentation automatically has been an active area of research, but the task has been proven very challenging due to the large variation of anatomy across different patients. However, recent advances in deep learning have made it possible to significantly improve the performance of image recognition and semantic segmentation methods in the field of computer vision. Due to the data driven approaches of hierarchical feature learning in deep learning frameworks, these advances can be translated to medical images without much difficulty. Several variations of deep convolutional neural networks have been successfully applied to medical images. Especially fully convolutional architectures have been proven efficient for segmentation of 3D medical images. In this article, we describe how to build a 3D fully convolutional network (FCN) that can process 3D images in order to produce automatic semantic segmentations. The model is trained and evaluated on a clinical computed tomography (CT) dataset and shows state-of-the-art performance in multi-organ segmentation.


title: A model of a tidally synchronized solar dynamo

abstract: We discuss a solar dynamo model of Tayler-Spruit type whose Omega-effect is conventionally produced by a solar-like differential rotation but whose alpha-effect is assumed to be periodically modulated by planetary tidal forcing. This resonance-like effect has its rationale in the tendency of the current-driven Tayler instability to undergo intrinsic helicity oscillations which, in turn, can be synchronized by periodic tidal perturbations. Specifically, we focus on the 11.07 years alignment periodicity of the tidally dominant planets Venus, Earth, and Jupiter, whose persistent synchronization with the solar dynamo is briefly touched upon. The typically emerging dynamo modes are dipolar fields, oscillating with a 22.14 years period or pulsating with a 11.07 years period, but also quadrupolar fields with corresponding periodicities. In the absence of any constant part of alpha, we prove the subcritical nature of this Tayler-Spruit type dynamo. The resulting amplitude of the alpha oscillation that is required for dynamo action turns out to lie in the order of 1 m/s, which seems not implausible for the sun. When starting with a more classical, non-periodic part of alpha, even less of the oscillatory alpha part is needed to synchronize the entire dynamo. Typically, the dipole solutions show butterfly diagrams, although their shapes are not convincing yet. Phase coherent transitions between dipoles and quadrupoles, which are reminiscent of the observed behaviour during the Maunder minimum, can be easily triggered by long-term variations of dynamo parameters, but may also occur spontaneously even for fixed parameters. Further interesting features of the model are the typical second intensity peak and the intermittent appearance of reversed helicities in both hemispheres.


title: Low lying eigenmodes and meson propagator symmetries

abstract: In situations where the low lying eigenmodes of the Dirac operator are suppressed one observed degeneracies of some meson masses. Based on these results a hidden symmetry was conjectured, which is not a symmetry of the Lagrangian but emerges in the quantization process. We show here how the difference between classes of meson propagators is governed by the low modes and shrinks when they disappear.


title: SENATE: A Permissionless Byzantine Consensus Protocol in Wireless Networks

abstract: The blockchain technology has achieved tremendous success in open (permissionless) decentralized consensus by employing proof-of-work (PoW) or its variants, whereby unauthorized nodes cannot gain disproportionate impact on consensus beyond their computational power. However, PoW-based systems incur a high delay and low throughput, making them ineffective in dealing with real-time applications. On the other hand, byzantine fault-tolerant (BFT) consensus algorithms with better delay and throughput performance have been employed in closed (permissioned) settings to avoid Sybil attacks. In this paper, we present Sybil-proof wirelEss Network coordinAte based byzanTine consEnsus (SENATE), which is based on the conventional BFT consensus framework yet works in open systems of wireless devices where faulty nodes may launch Sybil attacks. As in a Senate in the legislature where the quota of senators per state (district) is a constant irrespective with the population of the state, "senators" in SENATE are selected from participating distributed nodes based on their wireless network coordinates (WNC) with a fixed number of nodes per district in the WNC space. Elected senators then participate in the subsequent consensus reaching process and broadcast the result. Thereby, SENATE is proof against Sybil attacks since pseudonyms of a faulty node are likely to be adjacent in the WNC space and hence fail to be elected.


title: Self propulsion of droplets driven by an active permeating gel

abstract: We discuss the flow field and propulsion velocity of active droplets, which are driven by body forces residing on a rigid gel. The latter is modelled as a porous medium which gives rise to permeation forces. In the simplest model, the Brinkman equation, the porous medium is characterised by a single length scale $\ell$ --the square root of the permeability. We compute the flow fields inside and outside of the droplet as well as the energy dissipation as a function of $\ell$. We furthermore show that there are optimal gel fractions, giving rise to maximal linear and rotational velocities. In the limit $\ell\to\infty$, corresponding to a very dilute gel, we recover Stokes flow. The opposite limit, $\ell\to 0$, corresponding to a space filling gel, is singular and not equivalent to Darcy's equation, which cannot account for self-propulsion.


title: An Incremental Boolean Tensor Factorization approach to model Change Patterns of Objects in Images

abstract: Change detection process has recently progressed from a post-classification method to an expert knowledge interpretation process of the time-series data. The technique finds applications mainly in remote sensing images and can be utilized to analyze urbanization and monitor forest regions. In this paper, a framework to perform a knowledge based interpretation of the changes/no changes observed in a spatiotemporal domain using tensor based approaches is presented. An incremental approach to Boolean Tensor Factorization method is proposed in this work, which is adopted to model the change patterns of objects/classes as well as their associated features. The framework is evaluated under different datasets to visualize the performance for the dependency factors. The algorithm is also validated in comparison with the tradition Boolean Tensor Factorization method and the results are substantial.


title: Future X-ray Polarimetry of Relativistic Accelerators: PWNe and SNRs

abstract: Supernova Remnants and Pulsar Wind Nebulae are among the most significant sources of non-thermal X-rays in the sky, and the closest laboratories where relativistic plasma dynamics and particle acceleration can be investigated. Being strong synchrotron emitters, they are ideal candidates for X-ray polarimetry, and indeed the Crab nebula is up to present the only object where X-ray polarization has been detected with a high level of significance. Future polarimetric measures will likely provide us crucial informations on the level of turbulence that is expected at the particle acceleration sites, together with the spacial and temporal coherence of the magnetic field geometry, enabling us to set stronger constraints on our acceleration models. In PWNe it will also allow us to estimate the level of internal dissipation. I will briefly review the current knowledge on the polarization signatures in SNR/PWNe and I will illustrate what can we hope to achieve with future missions like IXPE/XIPE.


title: Measurement of the evolution of technology: A new perspective

abstract: A fundamental problem in technological studies is how to measure the evolution of technology. The literature has suggested several approaches to measuring the level of technology (or state-of-the-art) and changes in technology. However, the measurement of technological advances and technological evolution is often a complex and elusive topic in science. The study here starts by establishing a conceptual framework of technological evolution based on the theory of technological parasitism, in broad analogy with biology. Then, the measurement of the evolution of technology is modelled in terms of morphological changes within complex systems considering the interaction between a host technology and its subsystems of technology. The coefficient of evolutionary growth of the model here indicates the grade and type of the evolutionary route of a technology. This coefficient is quantified in real instances using historical data of farm tractor, freight locomotive and electricity generation technology in steam-powered plants and internal-combustion plants. Overall, then, it seems that the approach here is appropriate in grasping the typology of evolution of complex systems of technology and in predicting which technologies are likeliest to evolve rapidly.


title: Double Character Sums with Intervals and Arbitrary Sets in Finite Fields

abstract: We obtain a new bound on certain double sums of multiplicative characters improving the range of several previous results. This improvement comes from new bounds on the number of collinear triples in finite fields, which is a classical object of study of additive combinatorics.


title: Determinantal Point Processes for Coresets

abstract: When faced with a data set too large to be processed all at once, an obvious solution is to retain only part of it. In practice this takes a wide variety of different forms, and among them "coresets" are especially appealing. A coreset is a (small) weighted sample of the original data that comes with the following guarantee: a cost function can be evaluated on the smaller set instead of the larger one, with low relative error. For some classes of problems, and via a careful choice of sampling distribution (based on the so-called "sensitivity" metric), iid random sampling has turned to be one of the most successful methods for building coresets efficiently. However, independent samples are sometimes overly redundant, and one could hope that enforcing diversity would lead to better performance. The difficulty lies in proving coreset properties in non-iid samples. We show that the coreset property holds for samples formed with determinantal point processes (DPP). DPPs are interesting because they are a rare example of repulsive point processes with tractable theoretical properties, enabling us to prove general coreset theorems. We apply our results to both the k-means and the linear regression problems, and give extensive empirical evidence that the small additional computational cost of DPP sampling comes with superior performance over its iid counterpart. Of independent interest, we also provide analytical formulas for the sensitivity in the linear regression and 1-means cases.


title: The relationship of generalized manifolds to Poincar\'{e} duality complexes and topological manifolds

abstract: The primary purpose of this paper concerns the relation of (compact) generalized manifolds to finite Poincar\'{e} duality complexes (PD complexes). The problem is that an arbitrary generalized manifold $X$ is always an ENR space, but it is not necessarily a complex. Moreover, finite PD complexes require the Poincar\'{e} duality with coefficients in the group ring $\Lambda$ ($\Lambda$-complexes). Standard homology theory implies that $X$ is a $\mathbb{Z}$-PD complex. Therefore by Browder's theorem, $X$ has a Spivak normal fibration which in turn, determines a Thom class of the pair $(N,\partial N)$ of a mapping cylinder neighborhood of $X$ in some Euclidean space. Then $X$ satisfies the $\Lambda$-Poincar\'{e} duality if this class induces an isomorphism with $\Lambda$-coefficients. Unfortunately, the proof of Browder's theorem gives only isomorphisms with $\mathbb{Z}$-coefficients. It is also not very helpful that $X$ is homotopy equivalent to a finite complex $K$, because $K$ is not automatically a $\Lambda$-PD complex. Therefore it is convenient to introduce $\Lambda$-PD structures. To prove their existence on $X$, we use the construction of $2$-patch spaces and some fundamental results of Bryant, Ferry, Mio, and Weinberger. Since the class of all $\Lambda$-PD complexes does not contain all generalized manifolds, we appropriately enlarge this class and then describe (i.e. recognize) generalized manifolds within this enlarged class in terms of the Gromov-Hausdorff metric


title: Fiber mode scrambler for the Subaru infrared Doppler instrument (IRD)

abstract: We report the results of fiber mode scrambler experiments for the Infra-Red Doppler instrument (IRD) on the Subaru 8.2-m telescope. IRD is a fiber-fed, high precision radial velocity (RV) instrument to search for exoplanets around nearby M dwarfs at near-infrared wavelengths. It is a high-resolution spectrograph with an Echelle grating. The expected RV measurement precision is 1 m s-1 with a state of the art laser frequency comb for the wavelength calibration. In IRD observations, one of the most significant instrumental noise is a change of intensity distribution of multi-mode fiber exit, which degrades RV measurement precision. To stabilize the intensity distribution of fiber exit an introduction of fiber mode scrambler is mandatory. Several kinds of mode scramblers have been suggested in previous research, though it is necessary to determine the most appropriate mode scrambler system for IRD. Thus, we conducted systematic measurements of performance for a variety of mode scramblers, both static and dynamic. We tested various length multi-mode fibers, an octagonal fiber, a double fiber scrambler, and two kinds of dynamic scramblers, and their combinations. We report the performances of these mode scramblers and propose candidate mode scrambler systems for IRD.


title: Exploring the physics of the accretion and jet in nearby narrow-line Seyfert 1 galaxies

abstract: In this paper, we explore the physics of the accretion and jet in narrow-line Seyfert 1 galaxies (NLS1). Specifically, we compile a sample composed of 16 nearby NLS1 with $L_{\rm bol}/L_{\rm Edd} \gtrsim 0.1$. We investigate the mutual correlation between their radio luminosity $L_{\rm R}$, X-ray luminosity $L_{\rm X}$, optical luminosity $L_{\rm 5100}$ and black hole mass $M_{\rm BH}$. By adopting partial correlation analysis: (1) we find a positive correlation between $L_{\rm X}$ and $M_{\rm BH}$, and (2) we find a weak positive correlation between $L_{\rm R}$ and $L_{5100}$. However, we don't find significant correlations between $L_{\rm R}$ and $L_{\rm X}$ or between $L_{\rm X}$ and $L_{5100}$ after considering the effect of the black hole mass, which leads to a finding of the independence of $L_{\rm X}/L_{\rm Edd}$ on $L_{5100}/L_{\rm Edd}$. Interestingly, the findings that $L_{\rm X}$ is correlated with $M_{\rm BH}$ and $L_{\rm X}/L_{\rm Edd}$ is not correlated with $L_{5100}/L_{\rm Edd}$ support that the X-ray emission is saturated with increasing $\dot{M}$ for $L_{\rm bol}/L_{\rm Edd} \gtrsim 0.1$ in NLS1s, which may be understood in the framework of slim disc scenario. Finally, we suggest that a larger NLS1 sample with high quality radio and X-ray data is needed to further confirm this result in the future.


title: On the Picard numbers of abelian varieties in positive characteristic

abstract: In this paper, we study the set $R_g^{(p)}$ of possible Picard numbers of abelian varieties of dimension $g$ over algebraically closed fields of characteristic $p>0$. We show that many of the results for complex abelian varieties have analogues in positive characteristic: non-completeness in dimension $g \geq 2$, asymptotic completeness as $g \rightarrow +\infty$, structure results for abelian varieties of large Picard number. On the way, we highlight and discuss new characteristic $p>0$ features and pathologies: non-additivity of the range of Picard numbers, supersingularity index of an abelian variety, dependence of $R_g^{(p)}$ on $p$, relation to the $p$-rank and the Newton polygon.


title: Suppression of the critical collapse for one-dimensional solitons by saturable quintic nonlinear lattices

abstract: The stabilization of one-dimensional solitons by a nonlinear lattice against the critical collapse in the focusing quintic medium is a challenging issue. We demonstrate that this purpose can be achieved by combining a nonlinearlatticeandsaturationofthequinticnonlinearity. Thesystemsupportsthreespeciesofsolitons, namely, fundamental (even-parity) ones and dipole (odd-parity) modes of on- and off-site-centered types. Very narrow fundamental solitons are found in an approximate analytical form, and systematic results for very broad unstable and moderately broad partly stable solitons, including their existence and stability areas, are produced by means of numerical methods. Stability regions of the solitons are identified by means of systematic simulations. The stability of all the soliton species obeys the Vakhitov-Kolokolov criterion.


title: Alarm-Based Prescriptive Process Monitoring

abstract: Predictive process monitoring is concerned with the analysis of events produced during the execution of a process in order to predict the future state of ongoing cases thereof. Existing techniques in this field are able to predict, at each step of a case, the likelihood that the case will end up in an undesired outcome. These techniques, however, do not take into account what process workers may do with the generated predictions in order to decrease the likelihood of undesired outcomes. This paper proposes a framework for prescriptive process monitoring, which extends predictive process monitoring approaches with the concepts of alarms, interventions, compensations, and mitigation effects. The framework incorporates a parameterized cost model to assess the cost-benefit tradeoffs of applying prescriptive process monitoring in a given setting. The paper also outlines an approach to optimize the generation of alarms given a dataset and a set of cost model parameters. The proposed approach is empirically evaluated using a range of real-life event logs.


title: Optimizing the Trade-off between Single-Stage and Two-Stage Object Detectors using Image Difficulty Prediction

abstract: There are mainly two types of state-of-the-art object detectors. On one hand, we have two-stage detectors, such as Faster R-CNN (Region-based Convolutional Neural Networks) or Mask R-CNN, that (i) use a Region Proposal Network to generate regions of interests in the first stage and (ii) send the region proposals down the pipeline for object classification and bounding-box regression. Such models reach the highest accuracy rates, but are typically slower. On the other hand, we have single-stage detectors, such as YOLO (You Only Look Once) and SSD (Singe Shot MultiBox Detector), that treat object detection as a simple regression problem by taking an input image and learning the class probabilities and bounding box coordinates. Such models reach lower accuracy rates, but are much faster than two-stage object detectors. In this paper, we propose to use an image difficulty predictor to achieve an optimal trade-off between accuracy and speed in object detection. The image difficulty predictor is applied on the test images to split them into easy versus hard images. Once separated, the easy images are sent to the faster single-stage detector, while the hard images are sent to the more accurate two-stage detector. Our experiments on PASCAL VOC 2007 show that using image difficulty compares favorably to a random split of the images. Our method is flexible, in that it allows to choose a desired threshold for splitting the images into easy versus hard.


title: Understanding Stellar Contamination in Exoplanet Transmission Spectra as an Essential Step in Small Planet Characterization

abstract: Transmission spectroscopy during planetary transits is expected to be a major source of information on the atmospheres of small (approximately Earth-sized) exoplanets in the next two decades. This technique, however, is intrinsically affected by stellar spectral contamination caused by the fact that stellar photo- and chromospheres are not perfectly homogeneous. Such stellar contamination will often reach or exceed the signal introduced by the planetary spectral features. Finding effective methods to correct stellar contamination -- or at least to quantify its possible range -- for the most important exoplanets is a necessary step for our understanding of exoplanet atmospheres. This will require significantly deepening our understanding of stellar heterogeneity, which is currently limited by the available data.


title: Pose-Driven Deep Models for Person Re-Identification

abstract: Person re-identification (re-id) is the task of recognizing and matching persons at different locations recorded by cameras with non-overlapping views. One of the main challenges of re-id is the large variance in person poses and camera angles since neither of them can be influenced by the re-id system. In this work, an effective approach to integrate coarse camera view information as well as fine-grained pose information into a convolutional neural network (CNN) model for learning discriminative re-id embeddings is introduced. In most recent work pose information is either explicitly modeled within the re-id system or explicitly used for pre-processing, for example by pose-normalizing person images. In contrast, the proposed approach shows that a direct use of camera view as well as the detected body joint locations into a standard CNN can be used to significantly improve the robustness of learned re-id embeddings. On four challenging surveillance and video re-id datasets significant improvements over the current state of the art have been achieved. Furthermore, a novel reordering of the MARS dataset, called X-MARS is introduced to allow cross-validation of models trained for single-image re-id on tracklet data.


title: Twisted Massive Non-Compact Models

abstract: We study interacting massive N=(2,2) supersymmetric field theories in two dimensions which arise from deforming conformal field theories with a continuous spectrum. Firstly, we deform N=2 superconformal Liouville theory with relevant operators, and twist the theory into a topological quantum field theory. These theories can be thought of as twisted Landau-Ginzburg models with negative power superpotential. We determine the structure constants of the chiral ring and therefore all correlators of these topological quantum field theories. We provide general formulas for the deformed operators of given charge as well as explicit solutions to the WDVV equations. Secondly, we analyze the topological anti-topological sector of the theory. We compute the metric at the conformal point through localization. Moreover, we show that the topological-anti-topological fusion differential equations on the metric in a family of non-compact theories takes the affine Toda form. The metric as a function of the family of theories is identical to the metric in certain deformed compact models. For a negative cubic power Landau-Ginzburg superpotential, for instance, it is governed by the Painlev\'e III differential equation.


title: The Price of Uncertainty: Chance-constrained OPF vs. In-hindsight OPF

abstract: The operation of power systems has become more challenging due to feed-in of volatile renewable energy sources. Chance-constrained optimal power flow (ccOPF) is one possibility to explicitly consider volatility via probabilistic uncertainties resulting in mean-optimal feedback policies. These policies are computed before knowledge of the realization of the uncertainty is available. On the other hand, the hypothetical case of computing the power injections knowing every realization beforehand---called in-hindsight OPF(hOPF)---cannot be outperformed w.r.t. costs and constraint satisfaction. In this paper, we investigate how ccOPF feedback relates to the full-information hOPF. To this end, we introduce different dimensions of the price of uncertainty. Using mild assumptions on the uncertainty we present sufficient conditions when ccOPF is identical to hOPF. We suggest using the total variational distance of probability densities to quantify the performance gap of hOPF and ccOPF. Finally, we draw upon a tutorial example to illustrate our results.


title: Large-Scale and Global Maximization of the Distance to Instability

abstract: The larger the distance to instability from a matrix is, the more robustly stable the associated autonomous dynamical system is in the presence of uncertainties and typically the less severe transient behavior its solution exhibits. Motivated by these issues, we consider the maximization of the distance to instability of a matrix dependent on several parameters, a nonconvex optimization problem that is likely to be nonsmooth. In the first part we propose a globally convergent algorithm when the matrix is of small size and depends on a few parameters. In the second part we deal with the problems involving large matrices. We tailor a subspace framework that reduces the size of the matrix drastically. The strength of the tailored subspace framework is proven with a global convergence result as the subspaces grow and a superlinear rate-of-convergence result with respect to the subspace dimension.


title: On essentially 4-edge-connected cubic bricks

abstract: Lov\'asz (1987) proved that every matching covered graph $G$ may be uniquely decomposed into a list of bricks (nonbipartite) and braces (bipartite); we let $b(G)$ denote the number of bricks. An edge $e$ is removable if $G-e$ is also matching covered; furthermore, $e$ is $b$-invariant if $b(G-e)=1$, and $e$ is quasi-$b$-invariant if $b(G-e)=2$. (Each edge of the Petersen graph is quasi-$b$-invariant.) A brick $G$ is near-bipartite if it has a pair of edges $\{e,f\}$ so that $G-e-f$ is matching covered and bipartite; such a pair $\{e,f\}$ is a removable doubleton. (Each of $K_4$ and the triangular prism $\overline{C_6}$ has three removable doubletons.) Carvalho, Lucchesi and Murty (2002) proved a conjecture of Lov\'asz which states that every brick, distinct from $K_4$, $\overline{C_6}$ and the Petersen graph, has a $b$-invariant edge. A cubic graph is essentially $4$-edge-connected if it is $2$-edge-connected and if its only $3$-cuts are the trivial ones; it is well-known that each such graph is either a brick or a brace; we provide a graph-theoretical proof of this fact. We prove that if $G$ is any essentially $4$-edge-connected cubic brick then its edge-set may be partitioned into three (possibly empty) sets: (i) edges that participate in a removable doubleton, (ii) $b$-invariant edges, and (iii) quasi-$b$-invariant edges; our Main Theorem states that if $G$ has two adjacent quasi-$b$-invariant edges, say $e_1$ and $e_2$, then either $G$ is the Petersen graph or the (near-bipartite) Cubeplex graph, or otherwise, each edge of $G$ (distinct from $e_1$ and $e_2$) is $b$-invariant. As a corollary, we deduce that each essentially $4$-edge-connected cubic non-near-bipartite brick $G$, distinct from the Petersen graph, has at least $|V(G)|$ $b$-invariant edges.


title: Caratheodory completeness on the complex plane

abstract: In 1975 N. Sibony and, independently, M. A. Selby proved that on the complex plane $c$-completeness is equivalent to $c$-finitely compactness. In the paper we give a local version of their results. We also simplify the proofs.


title: A density result for homogeneous Sobolev spaces

abstract: We show that in a bounded Gromov hyperbolic domain $\Omega$ smooth functions with bounded derivatives $C^\infty(\Omega)\cap W^{k,\infty}(\Omega)$ are dense in the homogeneous Sobolev spaces $L^{k,p}(\Omega)$.


title: CSfM: Community-based Structure from Motion

abstract: Structure-from-Motion approaches could be broadly divided into two classes: incremental and global. While incremental manner is robust to outliers, it suffers from error accumulation and heavy computation load. The global manner has the advantage of simultaneously estimating all camera poses, but it is usually sensitive to epipolar geometry outliers. In this paper, we propose an adaptive community-based SfM (CSfM) method which takes both robustness and efficiency into consideration. First, the epipolar geometry graph is partitioned into separate communities. Then, the reconstruction problem is solved for each community in parallel. Finally, the reconstruction results are merged by a novel global similarity averaging method, which solves three convex $L1$ optimization problems. Experimental results show that our method performs better than many of the state-of-the-art global SfM approaches in terms of computational efficiency, while achieves similar or better reconstruction accuracy and robustness than many of the state-of-the-art incremental SfM approaches.


title: Weak lensing by voids in weak lensing maps

abstract: Cosmic voids are an important probe of large-scale structure that can constrain cosmological parameters and test cosmological models. We present a new paradigm for void studies: void detection in weak lensing convergence maps. This approach identifies objects that relate directly to our theoretical understanding of voids as underdensities in the total matter field and presents several advantages compared to the customary method of finding voids in the galaxy distribution. We exemplify this approach by identifying voids using the weak lensing peaks as tracers of the large-scale structure. We find self-similarity in the void abundance across a range of peak signal-to-noise selection thresholds. The voids obtained via this approach give a tangential shear signal up to $\sim40$ times larger than voids identified in the galaxy distribution.


title: Learning protein constitutive motifs from sequence data

abstract: Statistical analysis of evolutionary-related protein sequences provides insights about their structure, function, and history. We show that Restricted Boltzmann Machines (RBM), designed to learn complex high-dimensional data and their statistical features, can efficiently model protein families from sequence information. We here apply RBM to twenty protein families, and present detailed results for two short protein domains, Kunitz and WW, one long chaperone protein, Hsp70, and synthetic lattice proteins for benchmarking. The features inferred by the RBM are biologically interpretable: they are related to structure (such as residue-residue tertiary contacts, extended secondary motifs ($\alpha$-helix and $\beta$-sheet) and intrinsically disordered regions), to function (such as activity and ligand specificity), or to phylogenetic identity. In addition, we use RBM to design new protein sequences with putative properties by composing and turning up or down the different modes at will. Our work therefore shows that RBM are a versatile and practical tool to unveil and exploit the genotype-phenotype relationship for protein families.


title: $\mathcal{O}(k)$-robust spanners in one dimension

abstract: A geometric $t$-spanner on a set of points in Euclidean space is a graph containing for every pair of points a path of length at most $t$ times the Euclidean distance between the points. Informally, a spanner is $\mathcal{O}(k)$-robust if deleting $k$ vertices only harms $\mathcal{O}(k)$ other vertices. We show that on any one-dimensional set of $n$ points, for any $\varepsilon>0$, there exists an $\mathcal{O}(k)$-robust $1$-spanner with $\mathcal{O}(n^{1+\varepsilon})$ edges. Previously it was only known that $\mathcal{O}(k)$-robust spanners with $\mathcal{O}(n^2)$ edges exists and that there are point sets on which any $\mathcal{O}(k)$-robust spanner has $\Omega(n\log{n})$ edges.


title: A Unified and Strengthened Framework for the Uncertainty Relation

abstract: We provide a unified and strengthened framework for the product form and the sum form variance-based uncertainty relations by constructing a unified uncertainty relation. In the unified framework, we deduce that the uncertainties of the incompatible observables are bounded by not only the commutator of themselves, but also the quantities related with the other operator. This operator can provide information so that we can capture the uncertainty of the measurement result more accurately, and thus is named as the information operator. The introduction of the information operator can fix the deficiencies in both the product form and the sum form uncertainty relations, and provides a more accurate description of the quantum uncertainty relation. The unified framework also proposes a new interpretation of the uncertainty relation for non-Hermitian operators; i.e., the "observable" second-order origin moments of the non-Hermitian operators cannot be arbitrarily small at the same time when they are generalized-incompatible on the new definition of the generalized commutator.


title: Unsupervised Keyphrase Extraction with Multipartite Graphs

abstract: We propose an unsupervised keyphrase extraction model that encodes topical information within a multipartite graph structure. Our model represents keyphrase candidates and topics in a single graph and exploits their mutually reinforcing relationship to improve candidate ranking. We further introduce a novel mechanism to incorporate keyphrase selection preferences into the model. Experiments conducted on three widely used datasets show significant improvements over state-of-the-art graph-based models.


title: The neutrino mass hierarchy from oscillation

abstract: The ordering of the neutrino mass eigenstates, also addressed as Mass Hierarchy (MH), is one of the most relevant issues in neutrino physics, currently under investigation by many proposals and experiments. In this short note focus will be given to the different ways to determine MH from neutrino oscillation data in the near future. A pragmatic strategy is suggested and two recent new methods of analysis are recalled. Statistical issues and concerns are also addressed, envisaging the necessity of more accurate studies and analyses.


title: Very degenerate elliptic equations under almost critical Sobolev regularity

abstract: We prove the local Lipschitz continuity and the higher differentiability of local minimizers of integral functionals with non autonomous integrand which is degenerate convex with respect to the gradient variable. The main novelty here is that the results are obtained assuming that the coefficients have weak derivative in an almost critical Zygmund class and the datum f is assumed to belong to the same Zygmund class.


title: Quantum and thermal fluctuations in two-component Bose gases

abstract: We study the effects of quantum and thermal fluctuations on Bose-Bose mixtures at finite temperature employing the time-dependent Hartree-Fock-Bogoliubov (TDHFB) theory. The theory governs selfconsistently the motion of the condensates, the noncondensates and of the anomalous components on an equal footing. The finite temperature criterion for the phase separation is established. We numerically analyze the temperature dependence of different densities for both miscible and immiscible mixtures. We show that the degree of the overlap between the two condensates and the thermal clouds is lowered and the relative motion of the centers-of-mass of the condensed and thermal components is strongly damped due to the presence of the pair anomalous fluctuations. Our results are compared with previous theoretical and experimental findings. On the other hand, starting from our TDHFB equations, we develop a random-phase theory for the elementary excitations in a homogeneous mixture. We find that the normal and anomalous fluctuations may lead to enhance the excitations and the thermodynamics of the system.


title: Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy

abstract: Over the last few years, the complexity of web applications has increased to provide more dynamic web applications to users. The drawback of this complexity is the growing number of errors in the front-end applications. In this paper, we present an approach to provide self-healing for the web. We implemented this approach in two different tools: 1) BikiniProxy, an HTTP repair proxy, and 2) BugBlock, a browser extension. They use five self-healing strategies to rewrite the buggy HTML and Javascript code to handle errors in web pages. We evaluate BikiniProxy and BugBlock with a new benchmark of 555 reproducible Javascript errors of which 31.76% can be automatically self-healed by BikiniProxy and 15.67% by BugBlock.


title: Robustness of Yu-Shiba-Rusinov resonances in presence of a complex superconducting order parameter

abstract: Robust quantum systems rely on having a protective environment with minimized relaxation channels. Superconducting gaps play an important role in the design of such environments. The interaction of localized single spins with a conventional superconductor generally leads to intrinsically extremely narrow Yu-Shiba-Rusinov (YSR) resonances protected inside the superconducting gap. However, this may not apply to superconductors with nontrivial, energy dependent order parameters. Exploiting the Fe-doped two-band superconductor NbSe$_2$, we show that due to the nontrivial relation between its complex valued and energy dependent order parameters, YSR states are no longer restricted to be inside the gap. They can appear outside the gap (i. e. inside the coherence peaks), where they can also acquire a substantial intrinsic lifetime broadening. T-matrix scattering calculations show excellent agreement with the experimental data and relate the intrinsic YSR state broadening to the imaginary part of the host's order parameters. Our results suggest that non-thermal relaxation mechanisms contribute to the finite lifetime of the YSR states, even within the superconducting gap, making them less protected against residual interactions than previously assumed. YSR states may serve as valuable probes for nontrivial order parameters promoting a judicious selection of protective superconductors.


title: Equivariant ZFA with Choice: a position paper

abstract: We propose Equivariant ZFA with Choice as a foundation for nominal techniques that is stronger than ZFC and weaker than FM, and why this may be particularly helpful in the context of automated reasoning.


title: Preferential attachment graphs with co-existing types of different fitnesses

abstract: We extend the work of Antunovi\'{c}, Mossel and R\'{a}cz on competing types in preferential attachment models to include cases where the types have different fitnesses, which may be either multiplicative or additive. We will show that, depending on the values of the parameters of the models, there are different possible limiting behaviours depending on the zeros of a certain function. In particular we will show the existence of choices of the parameters where one type is favoured both by having higher fitness and by the type attachment mechanism, but the other type has a positive probability of dominating the network in the limit.


title: Normal and anomalous random walks of 2-d solitons

abstract: Solitons, which describe the propagation of concentrated beams of light through nonlinear media, can exhibit a variety of behaviors as a result of the intrinsic dissipation, diffraction, and the nonlinear effects. One of these phenomena, modeled by the complex Ginzburg-Landau equation, are chaotic explosions, transient enlargements of the soliton that may induce random transversal displacements, which in the long run lead to a random walk of the soliton center. As we show in this work, the transition from non-moving to moving solitons is not a simple bifurcation but includes a sequence of normal and anomalous random walks. We analyze their statistics with the distribution of generalized diffusivities, a novel approach that has been used successfully for characterizing anomalous diffusion.


title: Particle accretion onto planets in discs with hydrodynamic turbulence

abstract: The growth process of proto-planets can be sped-up by accreting a large number of solid, pebble-sized objects that are still present in the protoplanetary disc. It is still an open question on how efficient this process works in realistic turbulent discs. Here, we investigate the accretion of pebbles in turbulent discs that are driven by the purely hydrodynamical vertical shear instability (VSI). For this purpose, we perform global three-dimensional simulations of locally isothermal, VSI turbulent discs with embedded protoplanetary cores from 5 to 100 $M_\oplus$ that are placed at 5.2 au distance from the star. In addition, we follow the evolution of a swarm of embedded pebbles of different size under the action of drag forces between gas and particles in this turbulent flow. Simultaneously, we perform a set of comparison simulations for laminar viscous discs where the particles experience stochastic kicks. For both cases, we measure the accretion rate onto the cores as a function of core mass and Stokes number ($\tau_s$) of the particles and compare it to recent MRI turbulence simulations. Overall the dynamic is very similar for the particles in the VSI turbulent disc and the laminar case with stochastic kicks. For the small mass planets (i.e. 5 and 10 $M_\oplus$), well-coupled particles with $\tau_s = 1$, which have a size of about one meter at this location, we find an accretion efficiency (rate of particles accreted over drifting inward) of about 1.6-3%. For smaller and larger particles this efficiency is higher. However, the fast inward drift for $\tau_s = 1$ particles makes them the most effective for rapid growth, leading to mass doubling times of about 20,000 yr. For masses between 10 and 30 $M_\oplus$ the core reaches the pebble isolation mass and the particles are trapped at the pressure maximum just outside of the planet, shutting off further particle accretion.


title: Topology of photonic time-crystals

abstract: We introduce topological phases in Photonic Time-Crystals. Photonic Time-Crystals are materials in which the refractive index varies periodically and abruptly in time. When the refractive index changes abruptly, the light propagating in the material experiences time-refraction and time-reflection, analogous to refraction and reflection in photonic crystals. Interference between time-refracted and time-reflected waves gives rise to Floquet-Bloch states and dispersion bands, which are gapped in the momentum. We show that photonic time-crystals can be in a topologically non-trivial phase, and calculate the topological invariant associated with the momentum bands of the Photonic Time-Crystal. The topological invariants are related to the phase between the forward and backward-propagating waves of the time-crystal, and to localized edge states in time.


title: New physics searches in nuclear and neutron $\beta$ decay

abstract: The status of tests of the standard electroweak model and of searches for new physics in allowed nuclear $\beta$ decay and neutron decay is reviewed including both theoretical and experimental developments. The sensitivity and complementarity of recent and ongoing experiments are discussed with emphasis on their potential to look for new physics. Measurements are interpreted using a model-independent effective field theory approach enabling to recast the outcome of the analysis in many specific new physics models. Special attention is given to the connection that this approach establishes with high-energy physics. A new global fit of available $\beta$-decay data is performed incorporating, for the first time in a consistent way, superallowed $0^+\to 0^+$ transitions, neutron decay and nuclear decays. The constraints on exotic scalar and tensor couplings involving left- or right-handed neutrinos are determined while a constraint on the pseudoscalar coupling from neutron decay data is obtained for the first time as well. The values of the vector and axial-vector couplings, which are associated within the standard model to $V_{ud}$ and $g_A$ respectively, are also updated. The ratio between the axial and vector couplings obtained from the fit under standard model assumptions is $C_A/C_V = -1.27510(66)$. The relevance of the various experimental inputs and error sources is critically discussed and the impact of ongoing measurements is studied. The complementarity of the obtained bounds with other low- and high-energy probes is presented including ongoing searches at the Large Hadron Collider.


title: Dimension groups for self-similar maps and matrix representations of the core of the associated C*-algebras

abstract: We introduce a dimension group for a self-similar map as the ${\rm K}_0$-group of the core of the $C^*$-algebra associated with the self-similar map together with the canonical endomorphism. The key step for the computation is an explicit description of the core as the inductive limit using their matrix representations over the coefficient algebra, which can be described explicitly by the singularity structure of branched points. We compute that the dimension group for the tent map is isomorphic to the countably generated free abelian group ${\mathbb Z}^{\infty}\cong {\mathbb Z}[t]$ together with the unilatral shift, i.e. the multiplication map by $t$ as an abstract group. Thus the canonical endomorphisms on the ${\rm K}_0$-groups are not automorphisms in geneal. This is a different point compared with dimension groups for topological Markov shifts. We can count the singularity structure in the dimension groups.


title: Spinorial classification of Spin(7) structures

abstract: We describe the different classes of $\mathrm{Spin(7)}$ structures in terms of spinorial equations. We relate them to the spinorial description of $\mathrm{G}_2$ structures in some geometrical situations. Our approach enables us to analyze invariant $\mathrm{Spin(7)}$ structures on quasi abelian Lie algebras.


title: Robust index bounds for minimal hypersurfaces of isoparametric submanifolds and symmetric spaces

abstract: We find many examples of compact Riemannian manifolds $(M,g)$ whose closed minimal hypersurfaces satisfy a lower bound on their index that is linear in their first Betti number. Moreover, we show that these bounds remain valid when the metric $g$ is replaced with $g'$ in a neighbourhood of $g$. Our examples $(M,g)$ consist of certain minimal isoparametric hypersurfaces of spheres; their focal manifolds; the Lie groups $SU(n)$ for $n\leq 17$, and $Sp(n)$ for all $n$; and all quaternionic Grassmannians.


title: Characteristic-free bases and BGG resolutions of unitary simple modules for quiver Hecke and Cherednik algebras

abstract: We construct characteristic-free bases and BGG resolutions of unitary simple modules of quiver Hecke algebras and Cherednik algebras. We hence solve and vastly generalise Berkesch-Griffeth-Sam's conjecture, calculate the Castelnuovo-Mumford regularity of ideals of of certain highly symmetric linear subspace arrangements, and compute Dirac homology of Cherednik algebras.


title: N=2 Supercomplexification of the Korteweg-de Vries, Sawada-Kotera and Kaup-Kupershmidt Equations

abstract: The supercomplexification is a special method of N=2 supersymmetrization of the integrable equations in which the bosonic sector could be reduced to the complex version of these equations. The N=2 supercomplex Korteweg de Vries, Sawada-Kotera and Kaup-Kupershmidt equations are defined and investigated. The common attribute of the supercomplex equations is appearance of the odd hamiltonian structures and superfermionic conservation laws. The odd bi-hamiltonian structure, Lax representation and superfermionic conserved currents for new N=2 supersymmetric Korteweg de Vries equation and for Sawada-Kotera, are given. The N=2 supercomplex Kaup-Kupershmidt equation is defined for which the odd bi-hamiltonian structure is presented with its superfermionic conserved currents.


title: Generalized AdS-Lorentz deformed supergravity on a manifold with boundary

abstract: The purpose of this paper is to explore the supersymmetry invariance of a particular supergravity theory, which we refer to as D=4 generalized AdS-Lorentz deformed supergravity, in the presence of a non-trivial boundary. In particular, we show that the so-called generalized minimal AdS-Lorentz superalgebra can be interpreted as a peculiar torsion deformation of osp(4|1), and we present the construction of a bulk Lagrangian based on the aforementioned generalized AdS-Lorentz superalgebra. In the presence of a non-trivial boundary of space-time, that is when the boundary is not thought of as set at infinity, the fields do not asymptotically vanish, and this has some consequences on the invariances of the theory, in particular on supersymmetry invariance. In this work, we adopt the so-called rheonomic (geometric) approach in superspace and show that a supersymmetric extension of a Gauss-Bonnet like term is required in order to restore the supersymmetry invariance of the theory. The action we end up with can be recast as a MacDowell-Mansouri type action, namely as a sum of quadratic terms in the generalized AdS-Lorentz covariant super field-strengths.


title: Periodic solutions for the one-dimensional fractional Laplacian

abstract: In this paper we are concerned with the construction of periodic solutions of the nonlocal problem $(-\Delta)^s u= f(u)$ in $\mathbb{R}$, where $(-\Delta)^s$ stands for the $s$-Laplacian, $s\in (0,1)$. We introduce a suitable framework which allows to reduce the search for such solutions to the resolution of a boundary value problem in a suitable Hilbert space, thereby making it possible to reach for the usual tools of nonlinear analysis, like bifurcation theory or variational methods. We obtain some existence theorems which are lately enlightened with the analysis of some examples.


title: Speeding-up Object Detection Training for Robotics with FALKON

abstract: Latest deep learning methods for object detection provide remarkable performance, but have limits when used in robotic applications. One of the most relevant issues is the long training time, which is due to the large size and imbalance of the associated training sets, characterized by few positive and a large number of negative examples (i.e. background). Proposed approaches are based on end-to-end learning by back-propagation [22] or kernel methods trained with Hard Negatives Mining on top of deep features [8]. These solutions are effective, but prohibitively slow for on-line applications. In this paper we propose a novel pipeline for object detection that overcomes this problem and provides comparable performance, with a 60x training speedup. Our pipeline combines (i) the Region Proposal Network and the deep feature extractor from [22] to efficiently select candidate RoIs and encode them into powerful representations, with (ii) the FALKON [23] algorithm, a novel kernel-based method that allows fast training on large scale problems (millions of points). We address the size and imbalance of training data by exploiting the stochastic subsampling intrinsic into the method and a novel, fast, bootstrapping approach. We assess the effectiveness of the approach on a standard Computer Vision dataset (PASCAL VOC 2007 [5]) and demonstrate its applicability to a real robotic scenario with the iCubWorld Transformations [18] dataset.


title: MultiMesh Finite Element Methods: Solving PDEs on Multiple Intersecting Meshes

abstract: We present a new framework for expressing finite element methods on multiple intersecting meshes: multimesh finite element methods. The framework enables the use of separate meshes to discretize parts of a computational domain that are naturally separate; such as the components of an engine, the domains of a multiphysics problem, or solid bodies interacting under the influence of forces from surrounding fluids or other physical fields. Such multimesh finite element methods are particularly well suited to problems in which the computational domain undergoes large deformations as a result of the relative motion of the separate components of a multi-body system. In the present paper, we formulate the multimesh finite element method for the Poisson equation. Numerical examples demonstrate the optimal order convergence, the numerical robustness of the formulation and implementation in the face of thin intersections and rounding errors, as well as the applicability of the methodology. In the accompanying paper~\cite{mmfem-2}, we analyze the proposed method and prove optimal order convergence and stability.


title: Software-based discharge suppressor using an EPICS data acquisition system as a rapid prototype at the LIPAc beam extraction system

abstract: Internal continuous discharge can rapidly damage high-current ion sources and their extraction systems composed of several electrodes at high voltage. To prevent this continuous discharge inside the extraction system, a rapid prototype using an Experimental Physics and Industrial Control System (EPICS) software system for data acquisition has been implemented. During commissioning of the 140 mA deuterium electron cyclotron resonance ion source of the Linear IFMIF Prototype Accelerator (LIPAc), discharges were often observed during plasma tuning of the ion source and beam optics tuning of the extraction system. If such continuous discharge can be avoided, discharge-related damage such as melting electrode edges and holes in the boron nitride disk in the ion source can be minimized and thus an efficient machine operation can be achieved. A veto signal is output to the machine protection system, which is then in charge of the RF power shutdown of the ion source for a pre-determined time. The average reaction time of this system has been measured and is about 10 ms from discharge detection to RF power shutdown of the ion source with a 50 Hz sampling frequency. This is hundreds of times slower than hardware-based implementation. However, it prevents almost all continuous discharges at the LIPAc ion source and extraction system, and is still much faster than an operator's reaction time.


title: Type-II Dirac photons at the metasurfaces

abstract: Topological characteristics of energy bands, such as Dirac/Weyl nodes, have attracted substantial interest in condensed matter systems as well as in classical wave systems. Among these energy bands, the type-II Dirac point is a nodal degeneracy with tilted conical dispersion, leading to a peculiar crossing dispersion in the constant energy plane. Such nodal points have recently been found in electronic materials. The analogous topological feature in photonic systems remains a theoretical curiosity, with experimental realization expected to be challenging. Here, we experimentally realize the type-II Dirac point using a planar metasurface architecture, where the band degeneracy point is protected by the underlying mirror symmetry of the metasurface. Gapless edge modes are found and measured at the boundary between the different domains of the symmetry-broken metasurface. Our work shows that metasurfaces are simple and practical platforms for realizing electromagnetic type-II Dirac points, and their planar structure is a distinct advantage that facilitates applications in two-dimensional topological photonics.


title: Restricting open surjections

abstract: We show that any continuous open surjection from a complete metric space to another metric space can be restricted to a surjection for which the domain has the same density character as the target. This improves a recent result of Aron, Jaramillo and Le Donne.


title: SPIRou: a nIR spectropolarimeter / high-precision velocimeter for the CFHT

abstract: SPIRou is a near-infrared (nIR) spectropolarimeter / velocimeter for the Canada-France-Hawaii Telescope (CFHT), that will focus on two forefront science topics, (i) the quest for habitable Earth-like planets around nearby M stars, and (ii) the study of low-mass star/planet formation in the presence of magnetic fields. SPIRou will also efficiently tackle many key programmes beyond these two main goals, from weather patterns on brown dwarfs to Solar-System planet and exoplanet atmospheres. SPIRou will cover a wide spectral domain in a single exposure (0.98-2.44um at a resolving power of 70K, yielding unpolarized and polarized spectra of low-mass stars with a 15% average throughput at a radial velocity (RV) precision of 1 m/s. It consists of a Cassegrain unit mounted at the Cassegrain focus of CFHT and featuring an achromatic polarimeter, coupled to a cryogenic spectrograph cooled down at 80K through a fluoride fiber link. SPIRou is currently integrated at IRAP/OMP and will be mounted at CFHT in 2017 Q4 for a first light scheduled in late 2017. Science operation is predicted to begin in 2018 S2, allowing many fruitful synergies with major ground and space instruments such as the JWST, TESS, ALMA and later-on PLATO and the ELT.


title: Study of EIT resonances in an anti-relaxation coated Rb vapor cell

abstract: We demonstrate---experimentally and theoretically---that resonances obtained in electromagnetically induced transparency (EIT) can be both bright and dark. The experiments are done using magnetic sublevels of a hyperfine transition in the D$_1$ line of $^{87}$Rb. The degeneracy of the sublevels is removed by having a magnetic field of value 27 G. The atoms are contained in a room-temperature vapor cell with anti-relaxation coating on the walls. Theoretical analysis based on a two-region model reproduces the experimental spectrum quite well. This ability to have both bright and dark resonances promises applications in sub- and super-luminal propagation of light, and sensitive magnetometry.


title: Convolutions of Liouvillian Sequences

abstract: While Liouvillian sequences are closed under many operations, simple examples show that they are not closed under convolution, and the same goes for d'Alembertian sequences. Nevertheless, we show that d'Alembertian sequences are closed under convolution with rationally d'Alembertian sequences, and that Liouvillian sequences are closed under convolution with rationally Liouvillian sequences.


title: Causality in Nonlocal Gravity

abstract: We study the causal structure of a class of weakly nonlocal gravitational theories (eventually coupled to matter) that are compatible with perturbative unitarity and finiteness at quantum level. In particular, we show that in nonlocal quantum gravity a Shapiro's time advance never occurs. Moreover, we provide a recipe to construct a general ultraviolet complete gravitational theory coupled to matter (with or without supersymmetry) compatible with causality. Therefore, nonlocal gravity is consistent with causality, as well as string theory.


title: Spherical 3-manifolds bounding rational homology balls

abstract: We give a complete classification of the spherical 3-manifolds that bound smooth rational homology 4-balls. Furthermore, we determine the order of spherical 3-manifolds in the rational homology cobordism group of rational homology 3-spheres. To this end, we use constraints for 3-manifolds to bound rational homology balls induced from Donaldson's diagonalization theorem and Heegaard Floer correction terms.


title: Homogeneous symplectic 4-manifolds and finite dimensional Lie algebras of symplectic vector fields on the symplectic 4-space

abstract: We classify the finite type (in the sense of E. Cartan theory of prolongations) subalgebras $\mathfrak{h}\subset\mathfrak{sp}(V)$, where $V$ is the symplectic 4-dimensional space, and show that they satisfy $\mathfrak{h}^{(k)}=0$ for all $k>0$. Using this result, we reduce the problem of classification of graded transitive finite-dimensional Lie algebras $\mathfrak{g}$ of symplectic vector fields on $V$ to the description of graded transitive finite-dimensional subalgebras of the full prolongations $\mathfrak{p}_1^{(\infty)}$ and $\mathfrak{p}_2^{(\infty)}$, where $\mathfrak{p}_1$ and $\mathfrak{p}_2$ are the maximal parabolic subalgebras of $\mathfrak{sp}(V)$. We then classify all such $\mathfrak{g}\subset\mathfrak{p}_i^{(\infty)}$, $i=1,2$, under some assumptions and describe the associated homogeneous symplectic 4-manifolds $(M=G/K,\omega)$. We prove that any reductive homogeneous symplectic manifold (of any dimension) admits an invariant torsion free symplectic connection, i.e., it is a homogeneous Fedosov manifold, and give conditions for uniqueness of the Fedosov structure. Finally, we show that any nilpotent symplectic Lie group (of any dimension) admits a natural invariant Fedosov structure which is Ricci-flat.


title: On a generalization of restricted sum formula for multiple zeta values and finite multiple zeta values

abstract: We prove a new linear relation for multiple zeta values. This is a natural generalization of the restricted sum formula proved by Eie, Liaw and Ong. We also present an analogous result for finite multiple zeta values.


title: On Weierstrass gaps at several points

abstract: We consider the problem of determining Weierstrass gaps and pure Weierstrass gaps at several points. Using the notion of relative maximality in generalized Weierstrass semigroups due to Delgado \cite{D}, we present a description of these elements which generalizes the approach of Homma and Kim \cite{HK} given for pairs. Through this description, we study the gaps and pure gaps at several points on a certain family of curves with separated variables.


title: A violation of the Harris-Barghathi-Vojta criterion

abstract: In 1974, Harris proposed his celebrated criterion: Continuous phase transitions in $d$-dimensional systems are stable against quenched spatial randomness whenever $d\nu>2$, where $\nu$ is the clean critical exponent of the correlation length. Forty years later, motivated by violations of the Harris criterion for certain lattices such as Voronoi-Delaunay triangulations of random point clouds, Barghathi and Vojta put forth a modified criterion for topologically disordered systems: $a\nu >1$, where $a$ is the disorder decay exponent, which measures how fast coordination number fluctuations decay with increasing length scale. Here we present a topologically disordered lattice with coordination number fluctuations that decay as slowly as those of conventional uncorrelated randomness, but for which the universal behaviour is preserved, hence violating even the modified criterion.


title: Chance Constraints for Improving the Security of AC Optimal Power Flow

abstract: This paper presents a scalable method for improving the solutions of AC Optimal Power Flow (AC OPF) with respect to deviations in predicted power injections from wind and other uncertain generation resources. The focus of the paper is on providing solutions that are more robust to short-term deviations, and which optimize both the initial operating point and a parametrized response policy for control during fluctuations. We formulate this as a chance-constrained optimization problem. To obtain a tractable representation of the chance constraints, we introduce a number of modelling assumptions and leverage recent theoretical results to reformulate the problem as a convex, second-order cone program, which is efficiently solvable even for large instances. Our experiments demonstrate that the proposed procedure improves the feasibility and cost performance of the OPF solution, while the additional computation time is on the same magnitude as a single deterministic AC OPF calculation.


title: Counting decomposable polynomials with integer coefficients

abstract: A polynomial over a ring is called decomposable if it is a composition of two nonlinear polynomials. In this paper, we obtain sharp lower and upper bounds for the number of decomposable polynomials with integer coefficients of fixed degree and bounded height. Moreover, we obtain asymptotic formulas for the number of decomposable monic polynomials of even degree. For example, the number of monic sextic integer polynomials which are decomposable and of height at most $H$ is asymptotic to $(16\zeta(3)-5/4)H^3$ as $H \to \infty$.


title: On H\"{o}lder exponents of the self-similar functions

abstract: We study the class of affine self-similar and continuous on interval $[0;1]$ functions. Formulas for the H\"{o}lder exponents are obtained in terms of self-similarity parameters.