title: Consistency-aware Shading Orders Selective Fusion for Intrinsic Image Decomposition

abstract: We address the problem of decomposing a single image into reflectance and shading. The difficulty comes from the fact that the components of image---the surface albedo, the direct illumination, and the ambient illumination---are coupled heavily in observed image. We propose to infer the shading by ordering pixels by their relative brightness, without knowing the absolute values of the image components beforehand. The pairwise shading orders are estimated in two ways: brightness order and low-order fittings of local shading field. The brightness order is a non-local measure, which can be applied to any pair of pixels including those whose reflectance and shading are both different. The low-order fittings are used for pixel pairs within local regions of smooth shading. Together, they can capture both global order structure and local variations of the shading. We propose a Consistency-aware Selective Fusion (CSF) to integrate the pairwise orders into a globally consistent order. The iterative selection process solves the conflicts between the pairwise orders obtained by different estimation methods. Inconsistent or unreliable pairwise orders will be automatically excluded from the fusion to avoid polluting the global order. Experiments on the MIT Intrinsic Image dataset show that the proposed model is effective at recovering the shading including deep shadows. Our model also works well on natural images from the IIW dataset, the UIUC Shadow dataset and the NYU-Depth dataset, where the colors of direct lights and ambient lights are quite different.


title: Cell detection on image-based immunoassays

abstract: Cell detection and counting in the image-based ELISPOT and Fluorospot immunoassays is considered a bottleneck. The task has remained hard to automatize, and biomedical researchers often have to rely on results that are not accurate. Previously proposed solutions are heuristic, and data-based solutions are subject to a lack of objective ground truth data. In this paper, we analyze a partial differential equations model for ELISPOT, Fluorospot, and assays of similar design. This leads us to a mathematical observation model for the images generated by these assays. We use this model to motivate a methodology for cell detection. Finally, we provide a real-data example that suggests that this cell detection methodology and a human expert perform comparably.


title: On the difference-to-sum power ratio of speech and wind noise based on the Corcos model

abstract: The difference-to-sum power ratio was proposed and used to suppress wind noise under specific acoustic conditions. In this contribution, a general formulation of the difference-to-sum power ratio associated with a mixture of speech and wind noise is proposed and analyzed. In particular, it is assumed that the complex coherence of convective turbulence can be modelled by the Corcos model. In contrast to the work in which the power ratio was first presented, the employed Corcos model holds for every possible air stream direction and takes into account the lateral coherence decay rate. The obtained expression is subsequently validated with real data for a dual microphone set-up. Finally, the difference-to- sum power ratio is exploited as a spatial feature to indicate the frame-wise presence of wind noise, obtaining improved detection performance when compared to an existing multi-channel wind noise detection approach.


title: Sharp reversals of steady-state nuclear polarisation as a tool for quantum sensing

abstract: The polarisation dynamics of nuclear spins weakly coupled to an NV center is highly sensitive to the parameters of the microwave control and the nuclear Larmor frequency. What is commonly regarded as a challenge, we propose here as a resource for quantum sensing. By varying a single experimental parameter in a suitable set-up, i.e., the Rabi frequency of a continual microwave driving or the nuclear Larmor frequency, we predict periodic reversals of the steady-state polarisation of the nuclear spin. Crucially, interference between the transverse and longitudinal dipolar interaction of electron and nuclear spins results in remarkably sharp steady-state polarisation reversals of nuclear spins within only a few tens of Hz change in the nuclear Larmor frequency. Our method is particularly robust against imperfections such as decoherence of the electron spin and the frequency resolution of the sensor is not limited by the coherence time $T_2$ of the electron sensor.


title: Number systems over general orders

abstract: Let $\mathcal{O}$ be an order, that is a commutative ring with $1$ whose additive structure is a free $\mathbb{Z}$-module of finite rank. A generalized number system (GNS for short) over $\mathcal{O}$ is a pair $(p,\mathcal{D} )$ where $p\in\mathcal{O}[x]$ is monic with constant term $p(0)$ not a zero divisor of $\mathcal{O}$, and where $\mathcal{D}$ is a complete residue system modulo $p(0)$ in $\mathcal{O}$ containing $0$. We say that $(p,\mathcal{D})$ is a GNS over $\mathcal{O}$ with the finiteness property if all elements of $\mathcal{O}[x]/(p)$ have a representative in $\mathcal{D}[x]$ (the polynomials with coefficients in $\mathcal{D}$). Our purpose is to extend several of the results from a previous paper of Peth\H{o} and Thuswaldner, where GNS over orders of number fields were considered. We prove that it is algorithmically decidable whether or not for a given order $\mathcal{O}$ and GNS $(p,\mathcal{D})$ over $\mathcal{O}$, the pair $(p,\mathcal{D})$ admits the finiteness property. This is closely related to work of Vince on matrix number systems. Let $\mathcal{F}$ be a fundamental domain for $\mathcal{O} \!\otimes_{\mathbb{Z}}\! \mathbb{R}/\mathcal{O}$ and $p\in \mathcal{O}[X]$ a monic polynomial. For $\alpha\in\mathcal{O}$, define $p_{\alpha}(x):=p(x+\alpha )$ and $\mathcal{D}_{\mathcal{F} ,p(\alpha )}:= p(\alpha )\mathcal{F}\cap\mathcal{O}$. Under mild conditions we show that the pairs $(p_{\alpha},\mathcal{D}_{\mathcal{F},p(\alpha)}\,)$ are GNS over $\mathcal{O}$ with finiteness property provided $\alpha\in\mathcal{O}$ in some sense approximates a sufficiently large positive rational integer. In the opposite direction we prove under different conditions that $(p_{-m},\mathcal{D}_{\mathcal{F} ,p(-m)}\,)$ does not have the finiteness property for each large enough positive rational integer $m$.


title: Wandering near the red edge: photometric observations of three cool ZZ Ceti stars

abstract: We summarize our findings on three cool ZZ Ceti type pulsating white dwarfs. We determined eight independent modes in HS 0733+4119, of which seven are new findings. For GD 154, we detected two new eigenmodes, and the recurrence of the pulsational behaviour first observed in 1977. We discuss that GD 154 does not only vary its pulsations between a multiperiodic and a quasi-monoperiodic phase, but there are also differences between the relative amplitudes of the near-subharmonics observed in the latter phase. In the complex pulsator, Ross 808, we compared the pre- and post Whole Earth Telescope campaign measurements, and determined two new frequencies besides the ones observed during the campaign. Studying these stars can contribute to better understanding of pulsations close to the empirical ZZ Ceti red edge. All three targets are in that regime of the ZZ Ceti instability strip where short-term amplitude variations or even outbursts are likely to occur, which are not well-understood theoretically.


title: Finding Appropriate Traffic Regulations via Graph Convolutional Networks

abstract: Appropriate traffic regulations, e.g. planned road closure, are important in congested events. Crowd simulators have been used to find appropriate regulations by simulating multiple scenarios with different regulations. However, this approach requires multiple simulation runs, which are time-consuming. In this paper, we propose a method to learn a function that outputs regulation effects given the current traffic situation as inputs. If the function is learned using the training data of many simulation runs in advance, we can obtain an appropriate regulation efficiently by bypassing simulations for the current situation. We use the graph convolutional networks for modeling the function, which enable us to find regulations even for unseen areas. With the proposed method, we construct a graph for each area, where a node represents a road, and an edge represents the road connection. By running crowd simulations with various regulations on various areas, we generate traffic situations and regulation effects. The graph convolutional networks are trained to output the regulation effects given the graph with the traffic situation information as inputs. With experiments using real-world road networks and a crowd simulator, we demonstrate that the proposed method can find a road to close that reduces the average time needed to reach the destination.


title: Complex Langevin: Boundary terms and application to QCD

abstract: We employ the Complex Langevin method for simulation of complex-valued actions. First, we show how to test for convergence of the method by explicitely computing boundary terms and demonstrate this in a model. Then we investigate the deconfinement phase transition of QCD with $N_f=2$ Wilson-fermions using the Complex Langevin Method and. We give preliminary results for the transition temperatures up to $\mu/T_c(\mu=0)\approx 5$ and compute the curvature coefficient $\kappa_2$.


title: Motivic theory of representation varieties via Topological Quantum Field Theories

abstract: In this paper, we use lax monoidal TQFTs as an effective computational method for motivic classes of representation varieties. In particular, we perform the calculation for parabolic $\mathrm{SL}_2(\mathbb{C})$-representation varieties over a closed orientable surface of arbitrary genus and any number of marked points with holonomies of Jordan type. This technique is based on a building method of lax monoidal TQFTs of physical inspiration that generalizes the construction of Gonz\'alez-Prieto, Logares and Mu\~noz.


title: Revisiting the Dipole Model for a Thermal Infrared Near-Field Spectroscope

abstract: We determine the scattered near-field and directly emitted power of a heated spherical nanoparticle above a sample within the framework of fluctuational electrodynamics using the dipole approximation. Our results deviate from previously obtained results. Additionally, we show that in a configuration where the nanoparticle is heated with respect to its environment, the scattered power of the near field of the sample is strictly zero. Only when the sample is heated or the temperature of the surroundings of the sample is lowered is there a contribution from the scattered power. Our results indicate that for the interpretation of near-field imaging setups as the thermal infrared near-field spectroscope not only the scattering of the near field but also the direct emission of the tip plays a role.


title: $\ell^2$-Betti numbers of random rooted simplicial complexes

abstract: We define unimodular measures on the space of rooted simplicial complexes and associate to each measure a chain complex and a trace function. As a consequence, we can define $\ell^2$-Betti numbers of unimodular random rooted simplicial complexes and show that they are continuous under Benjamini-Schramm convergence.


title: Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural Language

abstract: Program synthesis from natural language (NL) is practical for humans and, once technically feasible, would significantly facilitate software development and revolutionize end-user programming. We present SAPS, an end-to-end neural network capable of mapping relatively complex, multi-sentence NL specifications to snippets of executable code. The proposed architecture relies exclusively on neural components, and is trained on abstract syntax trees, combined with a pretrained word embedding and a bi-directional multi-layer LSTM for processing of word sequences. The decoder features a doubly-recurrent LSTM, for which we propose novel signal propagation schemes and soft attention mechanism. When applied to a large dataset of problems proposed in a previous study, SAPS performs on par with or better than the method proposed there, producing correct programs in over 92% of cases. In contrast to other methods, it does not require post-processing of the resulting programs, and uses a fixed-dimensional latent representation as the only interface between the NL analyzer and the source code generator.


title: Single-Image SVBRDF Capture with a Rendering-Aware Deep Network

abstract: Texture, highlights, and shading are some of many visual cues that allow humans to perceive material appearance in single pictures. Yet, recovering spatially-varying bi-directional reflectance distribution functions (SVBRDFs) from a single image based on such cues has challenged researchers in computer graphics for decades. We tackle lightweight appearance capture by training a deep neural network to automatically extract and make sense of these visual cues. Once trained, our network is capable of recovering per-pixel normal, diffuse albedo, specular albedo and specular roughness from a single picture of a flat surface lit by a hand-held flash. We achieve this goal by introducing several innovations on training data acquisition and network design. For training, we leverage a large dataset of artist-created, procedural SVBRDFs which we sample and render under multiple lighting directions. We further amplify the data by material mixing to cover a wide diversity of shading effects, which allows our network to work across many material classes. Motivated by the observation that distant regions of a material sample often offer complementary visual cues, we design a network that combines an encoder-decoder convolutional track for local feature extraction with a fully-connected track for global feature extraction and propagation. Many important material effects are view-dependent, and as such ambiguous when observed in a single image. We tackle this challenge by defining the loss as a differentiable SVBRDF similarity metric that compares the renderings of the predicted maps against renderings of the ground truth from several lighting and viewing directions. Combined together, these novel ingredients bring clear improvement over state of the art methods for single-shot capture of spatially varying BRDFs.


title: Vanishing of Quantum Gravitational Corrections to Vacuum Solutions of General Relativity at Second Order in Curvature

abstract: In this note we prove that quantum gravitational corrections to vacuum solutions of Einstein's equations vanish at second order in curvature.


title: Color naming guided intrinsic image decomposition

abstract: Intrinsic image decomposition is a severely under-constrained problem. User interactions can help to reduce the ambiguity of the decomposition considerably. The traditional way of user interaction is to draw scribbles that indicate regions with constant reflectance or shading. However the effect scopes of the scribbles are quite limited, so dozens of scribbles are often needed to rectify the whole decomposition, which is time consuming. In this paper we propose an efficient way of user interaction that users need only to annotate the color composition of the image. Color composition reveals the global distribution of reflectance, so it can help to adapt the whole decomposition directly. We build a generative model of the process that the albedo of the material produces both the reflectance through imaging and the color labels by color naming. Our model fuses effectively the physical properties of image formation and the top-down information from human color perception. Experimental results show that color naming can improve the performance of intrinsic image decomposition, especially in cleaning the shadows left in reflectance and solving the color constancy problem.


title: Metallicity dependence of black hole main sequence binaries detectable with Gaia

abstract: LIGO has detected gravitational waves from massive binary black hole mergers. In order to explain the origin of such massive stellar-mass black holes, extreme metal poor stars including first stars have been invoked. However, black holes do not carry information of the metallicity. In order to check the metallicity dependence of the black hole formation, we focus on galactic black hole-main sequence binaries (BH-MSs). Using a binary population synthesis method, we find that $\gaia$ can detect $\sim200-400$ BH-MSs whose metallicity is $\zsun$ and $\sim70-400$ BH-MSs whose metallicity is $0.1\zsun$. With the spectroscopic observation on 4-m class telescopes, we can check the metallicity of BH-MSs. The metallicity dependence of the black hole formation might be checked by the astrometry and spectroscopic observations.


title: Efficient microwave-to-optical conversion using Rydberg atoms

abstract: We demonstrate microwave-to-optical conversion using six-wave mixing in $^{87}$Rb atoms where the microwave field couples to two atomic Rydberg states, and propagates collinearly with the converted optical field. We achieve a photon conversion efficiency of ~5% in the linear regime of the converter. In addition, we theoretically investigate all-resonant six-wave mixing and outline a realistic experimental scheme for reaching efficiencies greater than 60%.


title: Bridging Semantic Gaps between Natural Languages and APIs with Word Embedding

abstract: Developers increasingly rely on text matching tools to analyze the relation between natural language words and APIs. However, semantic gaps, namely textual mismatches between words and APIs, negatively affect these tools. Previous studies have transformed words or APIs into low-dimensional vectors for matching; however, inaccurate results were obtained due to the failure of modeling words and APIs simultaneously. To resolve this problem, two main challenges are to be addressed: the acquisition of massive words and APIs for mining and the alignment of words and APIs for modeling. Therefore, this study proposes Word2API to effectively estimate relatedness of words and APIs. Word2API collects millions of commonly used words and APIs from code repositories to address the acquisition challenge. Then, a shuffling strategy is used to transform related words and APIs into tuples to address the alignment challenge. Using these tuples, Word2API models words and APIs simultaneously. Word2API outperforms baselines by 10%-49.6% of relatedness estimation in terms of precision and NDCG. Word2API is also effective on solving typical software tasks, e.g., query expansion and API documents linking. A simple system with Word2API-expanded queries recommends up to 21.4% more related APIs for developers. Meanwhile, Word2API improves comparison algorithms by 7.9%-17.4% in linking questions in Question&Answer communities to API documents.


title: The 3D thermal, dynamical and chemical structure of the atmosphere of HD 189733b: implications of wind-driven chemistry for the emission phase curve

abstract: In this paper we present three-dimensional atmospheric simulations of the hot Jupiter HD~189733b under two different scenarios: local chemical equilibrium and including advection of the chemistry by the resolved wind. Our model consistently couples the treatment of dynamics, radiative transfer and chemistry, completing the feedback cycle between these three important processes. The effect of wind--driven advection on the chemical composition is qualitatively similar to our previous results for the warmer atmosphere of HD~209458b, found using the same model. However, we find more significant alterations to both the thermal and dynamical structure for the cooler atmosphere of HD~189733b, with changes in both the temperature and wind velocities reaching $\sim10\%$. We also present the contribution function, diagnosed from our simulations, and show that wind--driven chemistry has a significant impact on its three--dimensional structure, particularly for regions where methane is an important absorber. Finally, we present emission phase curves from our simulations and show the significant effect of wind--driven chemistry on the thermal emission, particularly within the 3.6 \textmu m Spitzer/IRAC channel.


title: Positive Ricci curvature through Cheeger deformations

abstract: This paper is devoted to a deep analysis of the process known as Cheeger deformation, applied to manifolds with isometric group actions. Here, we provide new curvature estimates near singular orbits and present several applications. As the main result, we answer a question raised by a seminal result of Searle--Wilhelm about lifting positive Ricci curvature from the quotient of an isometric action. To answer this question, we develop techniques that can be used to provide a substantially streamlined version of a classical result of Lawson and Yau, generalize a curvature condition of Chav\'ez, Derdzinski, and Rigas, as well as, give an alternative proof of a result of Grove and Ziller.


title: CEREALS - Cost-Effective REgion-based Active Learning for Semantic Segmentation

abstract: State of the art methods for semantic image segmentation are trained in a supervised fashion using a large corpus of fully labeled training images. However, gathering such a corpus is expensive, due to human annotation effort, in contrast to gathering unlabeled data. We propose an active learning-based strategy, called CEREALS, in which a human only has to hand-label a few, automatically selected, regions within an unlabeled image corpus. This minimizes human annotation effort while maximizing the performance of a semantic image segmentation method. The automatic selection procedure is achieved by: a) using a suitable information measure combined with an estimate about human annotation effort, which is inferred from a learned cost model, and b) exploiting the spatial coherency of an image. The performance of CEREALS is demonstrated on Cityscapes, where we are able to reduce the annotation effort to 17%, while keeping 95% of the mean Intersection over Union (mIoU) of a model that was trained with the fully annotated training set of Cityscapes.


title: Definition of design guidelines, construction and performance of an ultra-stable scanning tunneling microscope for spectroscopic imaging

abstract: Spectroscopic-imaging scanning tunneling microscopy is a powerful technique to study quantum materials, with the ability to provide information about the local electronic structure with subatomic resolution. However, as most spectroscopic measurements are conducted without feedback to the tip, it is extremely sensitive to vibrations coming from the environment. This requires the use of laboratories with low-vibration facilities combined with a very rigid microscope construction. In this article, we report on the design and fabrication of an ultra-stable STM for spectroscopic-imaging measurements that operates in ultra high vacuum and at low temperatures (4 K). We perform finite element analysis calculations for the main components of the microscope in order to guide design choices towards higher stiffness and we choose sapphire as the main material of the STM head. By combining these two strategies, we construct a STM head with measured lowest resonant frequencies above f0=13 kHz for the coarse approach mechanism, a value three times higher than previously reported, and in good agreement with the calculations. With this, we achieve an average vibration level of $\sim$ 6 fm/sqrt(Hz), without a dedicated low-vibration lab. We demonstrate the microscope's performance with topographic and spectroscopic measurements on the correlated metal Sr2RhO4, showing the quasiparticle interference pattern in real and reciprocal space with high signal-to-noise ratio.


title: On the tree cover number and the positive semidefinite maximum nullity of a graph

abstract: For a simple graph $G=(V,E),$ let $\mathcal{S}_+(G)$ denote the set of real positive semidefinite matrices $A=(a_{ij})$ such that $a_{ij}\neq 0$ if $\{i,j\}\in E$ and $a_{ij}=0$ if $\{i,j\}\notin E$. The maximum positive semidefinite nullity of $G$, denoted $\operatorname{M}_+(G),$ is $\max\{\operatorname{null}(A)|A\in \mathcal{S}_+(G)\}.$ A tree cover of $G$ is a collection of vertex-disjoint simple trees occurring as induced subgraphs of $G$ that cover all the vertices of $G$. The tree cover number of $G$, denoted $T(G)$, is the cardinality of a minimum tree cover. It is known that the tree cover number of a graph and the maximum positive semidefinite nullity of a graph are equal for outerplanar graphs, and it was conjectured in 2011 that $T(G)\leq M_+(G)$ for all graphs [Barioli et al., Minimum semidefinite rank of outerplanar graphs and the tree cover number, $ Elec. J. Lin. Alg.,$ 2011]. We show that the conjecture is true for certain graph families. Furthermore, we prove bounds on $T(G)$ to show that if $G$ is a connected outerplanar graph on $n\geq 2$ vertices, then $\operatorname{M}_+(G)=T(G)\leq \left\lceil\frac{n}{2}\right\rceil$, and if $G$ is a connected outerplanar graph on $n\geq 6$ vertices with no three or four cycle, then $\operatorname{M}_+(G)=T(G)\leq \frac{n}{3}$. We also characterize connected outerplanar graphs with $\operatorname{M}_+(G)=T(G)=\left\lceil\frac{n}{2}\right\rceil.$


title: Design Challenges of Multi-UAV Systems in Cyber-Physical Applications: A Comprehensive Survey, and Future Directions

abstract: Unmanned Aerial Vehicles (UAVs) have recently rapidly grown to facilitate a wide range of innovative applications that can fundamentally change the way cyber-physical systems (CPSs) are designed. CPSs are a modern generation of systems with synergic cooperation between computational and physical potentials that can interact with humans through several new mechanisms. The main advantages of using UAVs in CPS application is their exceptional features, including their mobility, dynamism, effortless deployment, adaptive altitude, agility, adjustability, and effective appraisal of real-world functions anytime and anywhere. Furthermore, from the technology perspective, UAVs are predicted to be a vital element of the development of advanced CPSs. Therefore, in this survey, we aim to pinpoint the most fundamental and important design challenges of multi-UAV systems for CPS applications. We highlight key and versatile aspects that span the coverage and tracking of targets and infrastructure objects, energy-efficient navigation, and image analysis using machine learning for fine-grained CPS applications. Key prototypes and testbeds are also investigated to show how these practical technologies can facilitate CPS applications. We present and propose state-of-the-art algorithms to address design challenges with both quantitative and qualitative methods and map these challenges with important CPS applications to draw insightful conclusions on the challenges of each application. Finally, we summarize potential new directions and ideas that could shape future research in these areas.


title: Automorphisms of hyperk\"ahler manifolds and groups acting on CAT(0) spaces

abstract: We study groups of bimeromorphic and biholomorphic automorphisms of projective hyperk\"ahler manifolds. Using an action of these groups on some non-positively curved space, we deduce many of their properties, including finite presentation, strong form of Tits' alternative and some structural results about groups consisting of transformations with infinite order.


title: Charge density wave melting in one-dimensional wires with femtosecond sub-gap excitation

abstract: Charge density waves (CDWs) are symmetry-broken ground states that commonly occur in low-dimensional metals due to strong electron-electron and/or electron-phonon coupling. The non-equilibrium carrier distribution established via photodoping with femtosecond laser pulses readily quenches these ground states and induces an ultrafast insulator-to-metal phase transition. To date, CDW melting has been mainly investigated in the single-photon and tunneling regimes, while the intermediate multi-photon regime has received little attention. Here we excite one-dimensional indium wires with a CDW gap of ~300meV with mid-infrared pulses at 190meV with MV/cm field strength and probe the transient electronic structure with time- and angle-resolved photoemission spectroscopy (tr-ARPES). We find that the CDW gap is filled on a timescale short compared to our temporal resolution of 300fs and that the phase transition is completed within ~1ps. Supported by a minimal theoretical model we attribute our findings to multi-photon absorption across the CDW gap.


title: A Generalization of Smillie's Theorem on Strongly Cooperative Tridiagonal Systems

abstract: Smillie (1984) proved an interesting result on the stability of nonlinear, time-invariant, strongly cooperative, and tridiagonal dynamical systems. This result has found many applications in models from various fields including biology, ecology, and chemistry. Smith (1991) has extended Smillie's result and proved entrainment in the case where the vector field is time-varying and periodic. We use the theory of linear totally nonnegative differential systems developed by Schwarz (1970) to give a generalization of these two results. This is based on weakening the requirement for strong cooperativity to cooperativity, and adding an additional observability-type condition.


title: OCAPIS: R package for Ordinal Classification And Preprocessing In Scala

abstract: Ordinal Data are those where a natural order exist between the labels. The classification and pre-processing of this type of data is attracting more and more interest in the area of machine learning, due to its presence in many common problems. Traditionally, ordinal classification problems have been approached as nominal problems. However, that implies not taking into account their natural order constraints. In this paper, an innovative R package named ocapis (Ordinal Classification and Preprocessing In Scala) is introduced. Implemented mainly in Scala and available through Github, this library includes four learners and two pre-processing algorithms for ordinal and monotonic data. Main features of the package and examples of installation and use are explained throughout this manuscript.


title: Domain Adaptive Segmentation in Volume Electron Microscopy Imaging

abstract: In the last years, automated segmentation has become a necessary tool for volume electron microscopy (EM) imaging. So far, the best performing techniques have been largely based on fully supervised encoder-decoder CNNs, requiring a substantial amount of annotated images. Domain Adaptation (DA) aims to alleviate the annotation burden by 'adapting' the networks trained on existing groundtruth data (source domain) to work on a different (target) domain with as little additional annotation as possible. Most DA research is focused on the classification task, whereas volume EM segmentation remains rather unexplored. In this work, we extend recently proposed classification DA techniques to an encoder-decoder layout and propose a novel method that adds a reconstruction decoder to the classical encoder-decoder segmentation in order to align source and target encoder features. The method has been validated on the task of segmenting mitochondria in EM volumes. We have performed DA from brain EM images to HeLa cells and from isotropic FIB/SEM volumes to anisotropic TEM volumes. In all cases, the proposed method has outperformed the extended classification DA techniques and the finetuning baseline. An implementation of our work can be found on https://github.com/JorisRoels/domain-adaptive-segmentation.


title: Convolutional Neural Network Pruning to Accelerate Membrane Segmentation in Electron Microscopy

abstract: Biological membranes are one of the most basic structures and regions of interest in cell biology. In the study of membranes, segment extraction is a well-known and difficult problem because of impeding noise, directional and thickness variability, etc. Recent advances in electron microscopy membrane segmentation are able to cope with such difficulties by training convolutional neural networks. However, because of the massive amount of features that have to be extracted while propagating forward, the practical usability diminishes, even with state-of-the-art GPU's. A significant part of these network features typically contains redundancy through correlation and sparsity. In this work, we propose a pruning method for convolutional neural networks that ensures the training loss increase is minimized. We show that the pruned networks, after retraining, are more efficient in terms of time and memory, without significantly affecting the network accuracy. This way, we manage to obtain real-time membrane segmentation performance, for our specific electron microscopy setup.


title: More on rainbow disconnection in graphs

abstract: Let $G$ be a nontrivial edge-colored connected graph. An edge-cut $R$ of $G$ is called a rainbow cut if no two edges of it are colored the same. An edge-colored graph $G$ is rainbow disconnected if for every two vertices $u$ and $v$, there exists a $u-v$ rainbow cut. For a connected graph $G$, the rainbow disconnection number of $G$, denoted by $rd(G)$, is defined as the smallest number of colors that are needed in order to make $G$ rainbow disconnected. In this paper, we first solve a conjecture that determines the maximum size of a connected graph $G$ of order $n$ with $rd(G) = k$ for given integers $k$ and $n$ with $1\leq k\leq n-1$, where $n$ is odd, posed by Chartrand et al. in \cite{CDHHZ}. Secondly, we discuss bounds of the rainbow disconnection numbers for complete multipartite graphs, critical graphs, minimal graphs with respect to chromatic index and regular graphs, and give the rainbow disconnection numbers for several special graphs. Finally, we get the Nordhaus-Gaddum-type theorem for the rainbow disconnection number of graphs. We prove that if $G$ and $\overline{G}$ are both connected, then $n-2 \leq rd(G)+rd(\overline{G})\leq 2n-5$ and $n-3\leq rd(G)\cdot rd(\overline{G})\leq (n-2)(n-3)$. Furthermore, examples are given to show that the upper bounds are sharp for $n\geq 6$, and the lower bounds are sharp when $G=\overline{G}=P_4$.


title: Nucleon axial charge in domain-wall QCD with physical mass

abstract: Nucleon isovector vector, $g_V$, and axialvector, $g_A$, charges calculated on a 2+1-flavor dynamical domain-wall-fermions (DWF) ensemble at physical mass jointly generated by RIKEN-BNL-Columbia (RBC) and UKQCD Collaborations with lattice cut off of 1.730(4) GeV, are reported with about a percent statistical errors, along with isovector ``scalar,'' $g_S$, and ``tensor charges,'' $g_T$, with larger statistical errors. Nucleon mass is estimated as 947(6) MeV. A few standard-deviation systematics is seen in the vector charge, likely from $O(a^2)$ discretization error through small excited-state contamination. The axialvector charge is found with a few to several standard-deviation systematic deficit, depending on calculation methods, in comparison with the experiment. Nucleon signal is likely lost as early as 10 lattice units or about 1.1 fm in time from the source.


title: Growth of epitaxial ReS2 thin film by pulsed laser deposition

abstract: We present results on growth of large area epitaxial ReS2 thin film both on c plane sapphire substrate and MoS2 template by pulsed laser deposition (PLD). Films tend to grow with (0001) ReS2 perpendicular to (0001) Al2O3 and (0001) ReS2 perpendicular to (0001) MoS2 parallel to (0001) Al2O3 at deposition temperature below 300 deg C. Films are polycrystalline grown at temperature above 300 deg C. The smoothness and quality of the films are significantly improved when grown on MoS2 template compared to sapphire substrate. The results show that PLD is suitable to grow ReS2 epitaxial thin film over large area for practical device application.


title: Bayesian Deconvolution of Scanning Electron Microscopy Images Using Point-spread Function Estimation and Non-local Regularization

abstract: Microscopy is one of the most essential imaging techniques in life sciences. High-quality images are required in order to solve (potentially life-saving) biomedical research problems. Many microscopy techniques do not achieve sufficient resolution for these purposes, being limited by physical diffraction and hardware deficiencies. Electron microscopy addresses optical diffraction by measuring emitted or transmitted electrons instead of photons, yielding nanometer resolution. Despite pushing back the diffraction limit, blur should still be taken into account because of practical hardware imperfections and remaining electron diffraction. Deconvolution algorithms can remove some of the blur in post-processing but they depend on knowledge of the point-spread function (PSF) and should accurately regularize noise. Any errors in the estimated PSF or noise model will reduce their effectiveness. This paper proposes a new procedure to estimate the lateral component of the point spread function of a 3D scanning electron microscope more accurately. We also propose a Bayesian maximum a posteriori deconvolution algorithm with a non-local image prior which employs this PSF estimate and previously developed noise statistics. We demonstrate visual quality improvements and show that applying our method improves the quality of subsequent segmentation steps.


title: Sharp resolvent estimates outside of the uniform boundedness range

abstract: In this paper we are concerned with resolvent estimates for the Laplacian $\Delta$ in Euclidean spaces. Uniform resolvent estimates for $\Delta$ were shown by Kenig, Ruiz and Sogge \cite{KRS} who established rather a complete description of the Lebesgue spaces allowing such estimates. However, the problem of obtaining sharp $L^p$--$L^q$ bounds depending on $z$ has not been considered in a general framework which admits all possible $p,q$. In this paper, we present a complete picture of sharp $L^p$--$L^q$ resolvent estimates, which may depend on $z$. We also obtain the sharp resolvent estimates for the fractional Laplacians and a new result for the Bochner--Riesz operators of negative index.


title: A generalization of Noel-Reed-Wu Theorem to signed graphs

abstract: Let $\Sigma$ be a signed graph where two edges joining the same pair of vertices with opposite signs are allowed. The zero-free chromatic number $\chi^*(\Sigma)$ of $\Sigma$ is the minimum even integer $2k$ such that $G$ admits a proper coloring $f\colon\,V(\Sigma)\mapsto \{\pm 1,\pm 2,\ldots,\pm k\}$. The zero-free list chromatic number $\chi^*_l(\Sigma)$ is the list version of zero-free chromatic number. $\Sigma$ is called zero-free chromatic-choosable if $\chi^*_l(\Sigma)=\chi^*(\Sigma)$. We show that if $\Sigma$ has at most $\chi^*(\Sigma)+1$ vertices then $\Sigma$ is zero-free chromatic-choosable. This result strengthens Noel-Reed-Wu Theorem which states that every graph $G$ with at most $2\chi(G)+1$ vertices is chromatic-choosable, where $\chi(G)$ is the chromatic number of $G$.


title: Saturated Models in Mathematical Fuzzy Logic

abstract: This paper considers the problem of building saturated models for first-order graded logics. We define types as pairs of sets of formulas in one free variable which express properties that an element is expected, respectively, to satisfy and to falsify. We show, by means of an elementary chains construction, that each model can be elementarily extended to a saturated model where as many types as possible are realized. In order to prove this theorem we obtain, as by-products, some results on tableaux (understood as pairs of sets of formulas) and their consistency and satisfiability, and a generalization of the Tarski--Vaught theorem on unions of elementary chains.


title: $\langle x\rangle$ and $\langle x^2\rangle$ of the pion PDF from Lattice QCD with $N_f=2+1+1$ dynamical quark flavours

abstract: Using Nf=2+1+1 lattice QCD, we determine the fermionic connected contributions to the second and third moment of the pion PDF. Based on gauge configurations from the European Twisted Mass Collaboration, chiral and continuum extrapolations are performed using pion masses in the range of 230 to 500 MeV and three values of the lattice spacing. Finite volume effects are investigated using different volumes. In order to avoid mixing under renormalisation for the third moment, we use an operator with two non-zero spatial components of momentum. Momenta are injected using twisted boundary conditions. Our final values read $\langle x\rangle=0.2075(106)$ and $\langle x^2\rangle=0.163(33)$, determined at 2 GeV in the $\overline{MS}$-scheme and with systematic and statistical uncertainties summend in quadrature.


title: A Lindstr\"om theorem for intuitionistic propositional logic

abstract: It is shown that propositional intuitionistic logic is the maximal (with respect to expressive power) abstract logic satisfying a certain topological property reminiscent of compactness, the Tarski union property and preservation under asimulations.


title: On the Secrecy Unicast Throughput Performance of NOMA Assisted Multicast-Unicast Streaming With Partial Channel Information

abstract: This paper considers a downlink single-cell non-orthogonal multiple access (NOMA) network with uniformly deployed users, while a mixed multicast and unicast traffic scenario is taken into account. By guaranteeing the quality of service (QoS) of the multicast traffic, the multicast outage and secrecy unicast throughput performance is evaluated. In particular, two types of partial channel state information (CSI), namely the imperfect CSI and CSI based on second order statistics (SOS), are investigated in the analytical framework. For both two cases, the closed-form approximations for the multicast outage probability and secrecy unicast throughput are derived except that the approximation for the secrecy unicast throughput in SOS-based CSI only concerns two users. As to the multicast outage probability, the simulation results demonstrate that the NOMA scheme considered in both two cases achieves superior performance compared to the traditional orthogonal multiple access (OMA) scheme, while for the secrecy unicast throughput, the NOMA scheme shows great advantages over the OMA scheme in good condition (high signal-to-noise ratio (SNR)), but is inferior to the OMA scheme in poor condition (low SNR). Moreover, both two cases achieve similar performance except that the NOMA scheme with imperfect CSI obtains larger secrecy unicast throughput than that based on SOS under high SNR condition. Finally, the provided numerical results also confirm that the derived approximations of both two cases for the multicast outage probability and secrecy unicast throughput match well with the Monte Carlo simulations.


title: On PAC-Bayesian Bounds for Random Forests

abstract: Existing guarantees in terms of rigorous upper bounds on the generalization error for the original random forest algorithm, one of the most frequently used machine learning methods, are unsatisfying. We discuss and evaluate various PAC-Bayesian approaches to derive such bounds. The bounds do not require additional hold-out data, because the out-of-bag samples from the bagging in the training process can be exploited. A random forest predicts by taking a majority vote of an ensemble of decision trees. The first approach is to bound the error of the vote by twice the error of the corresponding Gibbs classifier (classifying with a single member of the ensemble selected at random). However, this approach does not take into account the effect of averaging out of errors of individual classifiers when taking the majority vote. This effect provides a significant boost in performance when the errors are independent or negatively correlated, but when the correlations are strong the advantage from taking the majority vote is small. The second approach based on PAC-Bayesian C-bounds takes dependencies between ensemble members into account, but it requires estimating correlations between the errors of the individual classifiers. When the correlations are high or the estimation is poor, the bounds degrade. In our experiments, we compute generalization bounds for random forests on various benchmark data sets. Because the individual decision trees already perform well, their predictions are highly correlated and the C-bounds do not lead to satisfactory results. For the same reason, the bounds based on the analysis of Gibbs classifiers are typically superior and often reasonably tight. Bounds based on a validation set coming at the cost of a smaller training set gave better performance guarantees, but worse performance in most experiments.


title: Simulation studies of $\rm{R_{2}}(\Delta\eta, \Delta\varphi)$ and $\rm{P_{2}}(\Delta\eta, \Delta\varphi)$ correlation functions in pp collisions with the PYTHIA and HERWIG models

abstract: We report studies of charge-independent (CI) and charge-dependent (CD) two-particle differential-number correlation functions, $\rm{R_{2}}(\Delta\eta, \Delta\varphi)$, and transverse momentum ($p_{\rm T}$) correlation functions, $\rm{P_{2}}(\Delta\eta, \Delta\varphi)$, of charged particles in $\sqrt{\textit{s}}$ = 2.76 TeV pp collisions with the PYTHIA and HERWIG models. Model predictions are presented for inclusive charged hadrons ($h^\pm$), as well as pions ($\pi^\pm$), kaons (K$^\pm$), and (anti-)protons ($\rm \bar{p}$/p) in the ranges $0.2 < \textit{p}_{\rm T} \le 2.0~\rm{GeV}/\textit{c}$, $2.0 < \textit{p}_{\rm T} \le 5.0~\rm{GeV}/\textit{c}$, and $5.0 < \textit{p}_{\rm T} \le 30.0~\rm{GeV}/\textit{c}$, with full azimuthal coverage in the range $|\eta|< 1.0$. We compare the model predictions for the strength and shape of the $\rm{R_{2}}$ and $\rm{P_{2}}$ correlators as these pertain to recent measurements by the ALICE collaboration. The $\rm{R_{2}}$ and $\rm{P_{2}}$ correlation functions estimated with PYTHIA and HERWIG exhibit qualitatively similar near-side and away-side correlation structures but feature important differences. Our analysis indicates that comparative studies of $\rm{R_{2}}$ and $\rm{P_{2}}$ correlation functions would provide valuable insight towards the understanding of particle production in pp collisions, and by extension, should also be useful in studies of heavy-ion collisions. Comparison of the $\Delta \eta$ dependence of $\rm{R_{2}}$ and $\rm{P_{2}}$ could contribute, in particular, to a better understanding and modeling of the angular ordering of particles produced by hadronization in jets, as well as a better description of jet fragmentation functions of identified species at low momentum fraction $(z)$.


title: A covariance equation

abstract: Let $\S$ be a commutative semigroup with identity $e$ and let $\Gamma$ be a compact subset in the pointwise convergence topology of the space $\S'$ of all non-zero multiplicative functions on $\S.$ Given a continuous function $F: \Gamma \to \mathbb C$ and a complex regular Borel measure $\mu$ on $\Gamma$ such that $\mu(\Gamma) \not = 0.$ It is shown that $$ \mu(\Gamma) \int_{\Gamma} \varrho(s) \overline{\varrho(t)} |F|^2(\varrho) d\mu(\varrho) = \int_{\Gamma} \varrho(s) F(\varrho) d\mu(\varrho) \int_{\Gamma} \overline{\varrho(t) F(\varrho)} d\mu(\varrho) $$ for all $(s, t) \in \S\times \S$ if and only if for some $\gamma \in \Gamma, $ the support of $\mu$ is contained is contained in $\{ F = 0 \} \cup \{\gamma\}$. Several applications of this characterization are derived. In particular, the reduction of our theorem to the semigroup of non-negative integers $(\mathbb N_{0}, +)$ solves a problem posed by El Fallah, Klaja, Kellay, Mashregui and Ransford in a more general context. More consequences of our results are given, some of them illustrate the probabilistic flavor behind the problem studied herein and others establish extremal properties of analytic kernels.


title: Modulational stability of ground states to nonlinear Kirchhoff equations

abstract: We investigate the stability of ground states to a nonlinear focusing Schr\"odinger equation in presence of a Kirchhoff term. Through a spectral analysis of the linearized operator about ground states, we show a modulation stability estimate of ground states in the spirit of one due to Weinstein [{\it SIAM J. Math. Anal.}, 16(1985),472-491].


title: Objective Bayesian Comparison of Order-Constrained Models in Contingency Tables

abstract: In social and biomedical sciences testing in contingency tables often involves order restrictions on cell-probabilities parameters. We develop objective Bayes methods for order-constrained testing and model comparison when observations arise under product binomial or multinomial sampling. Specifically, we consider tests for monotone order of the parameters against equality of all parameters. Our strategy combines in a unified way both the intrinsic prior methodology and the encompassing prior approach in order to compute Bayes factors and posterior model probabilities. Performance of our method is evaluated on several simulation studies and real datasets.


title: Analysis of Atomistic Representations Using Weighted Skip-Connections

abstract: In this work, we extend the SchNet architecture by using weighted skip connections to assemble the final representation. This enables us to study the relative importance of each interaction block for property prediction. We demonstrate on both the QM9 and MD17 dataset that their relative weighting depends strongly on the chemical composition and configurational degrees of freedom of the molecules which opens the path towards a more detailed understanding of machine learning models for molecules.


title: Building an Emulation Environment for Cyber Security Analyses of Complex Networked Systems

abstract: Computer networks are undergoing a phenomenal growth, driven by the rapidly increasing number of nodes constituting the networks. At the same time, the number of security threats on Internet and intranet networks is constantly growing, and the testing and experimentation of cyber defense solutions requires the availability of separate, test environments that best emulate the complexity of a real system. Such environments support the deployment and monitoring of complex mission-driven network scenarios, thus enabling the study of cyber defense strategies under real and controllable traffic and attack scenarios. In this paper, we propose a methodology that makes use of a combination of techniques of network and security assessment, and the use of cloud technologies to build an emulation environment with adjustable degree of affinity with respect to actual reference networks or planned systems. As a byproduct, starting from a specific study case, we collected a dataset consisting of complete network traces comprising benign and malicious traffic, which is feature-rich and publicly available.


title: Goodness-of-Fit Tests for Large Datasets

abstract: Nowadays, data analysis in the world of Big Data is connected typically to data mining, descriptive or exploratory statistics, e.~g.\ cluster analysis, classification or regression analysis. Aside these techniques there is a huge area of methods from inferential statistics that are rarely considered in connection with Big Data. Nevertheless, inferential methods are also of use for Big Data analysis, especially for quantifying uncertainty. The article at hand will provide some insights to methodological and technical issues referring inferential methods in the Big Data area in order to bring together Big Data and inferential statistics, as it comes along with its difficulties. We present an approach that allows testing goodness-of-fit without model assumptions and relying on the empirical distribution. Especially, the method is able to utilize information from large datasets. Thereby, the approach is based on a clear theoretical background. We concentrate on the widely-used Kolmogorov-Smirnov test that is applied for testing goodness-of-fit in statistics. Our approach can be parallelized easily, which makes it applicable to distributed datasets particularly on a compute cluster. By this contribution, we turn to an audience that is interested in the technical and methodological backgrounds while implementing especially inferential statistical methods with Big Data tools as e. g. Spark.


title: FirstLight III: Rest-frame UV-optical spectral energy distributions of simulated galaxies at cosmic dawn

abstract: Using the FirstLight database of 300 zoom-in cosmological simulations we provide rest-frame UV-optical spectral energy distributions of galaxies with complex star-formation histories that are coupled to the non-uniform gas accretion history of galactic halos during cosmic dawn. The population at any redshift is very diverse ranging from starbursts to quiescent galaxies even at a fixed stellar mass. This drives a redshift-dependent relation between UV luminosity and stellar mass with a large scatter, driven by the specific star formation rate. The UV slope and the production efficiency of Lyman continuum photons have high values, consistent with dust-corrected observations. This indicates young stellar populations with low metallicities. The FirstLight simulations make predictions on the rest-frame UV-optical absolute magnitudes, colors and optical emission lines of galaxies at z=6-12 that will be observed for the first time with JWST and the next generation of telescopes in the coming decade.


title: Radial metallicity gradients with Galactic nebular probes

abstract: The study of radial metallicity gradients in the disc of the Milky Way is a powerful tool to understand the mechanisms that have been acting in the formation and evolution of the Galactic disc. In this proceeding, I will put the eye on some problems that should be carefully addressed to obtain precise determinations of the metallicity gradients.


title: Two classical properties of the Bessel quotient $I_{\nu+1}/I_\nu$ and their implications in pde's

abstract: Two elementary and classical results about the Bessel quotient $y_\nu = \frac{I_{\nu+1}}{I_\nu}$ state that on the half-line $(0,\infty)$ one has for $\nu\ge -1/2$: \begin{itemize} \item[(i)] $0 < y_\nu< 1$; \item[(ii)] $y_\nu$ is strictly increasing. \end{itemize} In this paper we show that (i) and (ii) have some nontrivial and interesting applications to pde's. As a consequence of them, we establish some sharp new results for a class of degenerate partial differential equations of parabolic type in $\Rnp\times (0,\infty)$ which arise in connection with the analysis of the fractional heat operator $(\p_t - \Delta)^s$ in $\Rn\times (0,\infty)$, see Theorems 1.2, 1.4, 1.5 and 1.7 below.


title: Estimation of Spatial-Temporal Gait Parameters based on the Fusion of Inertial and Film-Pressure Signals

abstract: Gait analysis (GA) has been widely used in physical activity monitoring and clinical contexts, and the estimation of the spatial-temporal gait parameters is of primary importance for GA. With the quick development of smart tiny sensors, GA methods based on wearable devices have become more popular recently. However, most existing wearable GA methods focus on data analysis from inertial sensors. In this paper, we firstly present a two-foot-worn in-shoe system (Gaitboter) based on low-cost, wearable and multimodal sensors' fusion for GA, comprising an inertial sensor and eight film-pressure sensors with each foot for gait raw data collection while walking. Secondly, a GA algorithm for estimating the spatial-temporal parameters of gait is proposed. The algorithm fully uses the fusion of two kinds of sensors' signals: inertial sensor and film-pressure sensor, in order to estimate the spatial-temporal gait parameters, such as stance phase, swing phase, double stance phase, cadence, step time, stride time, stride length, velocity. Finally, to verify the effectiveness of this system and algorithm of the paper, an experiment is performed with 27 stoke patients from local hospital that the spatial-temporal gait parameters obtained with the system and the algorithm are compared with a GA tool used in medical laboratories. And the experimental results show that it achieves very good consistency and correlation between the proposed system and the compared GA tool.


title: Fatou-Julia dichotomy of matrix-valued polynomials

abstract: This article gives a precise description of the Fatou sets and Julia sets of matrix-valued polynomials in $\mathcal{M}(2,\mathbb{C})$ in terms of the corresponding polynomials in $\mathbb{C}$. Further, we construct Green functions and B\"{o}ttcher-type functions for these matrix-valued polynomials.


title: Nonrelativistic fermions with holographic interactions and the unitary Fermi gas

abstract: We present an alternative way of computing nonrelativistic single-particle spectra from holography. To this end, we introduce a mass gap in a holographic Dirac semimetal and subsequently study the nonrelativistic limit of the resulting spectral functions. We use this method to compute the momentum distributions and the equation of state of our nonrelativistic fermions, of which the latter can be used to extract all thermodynamic properties of the system. We find that our results are universal and reproduce many experimentally and theoretically known features of an ultracold Fermi gas at unitarity.


title: Local curvature estimates for the Ricci-harmonic flow

abstract: In this paper we give an explicit bound of $\Delta_{g(t)}u(t)$ and the local curvature estimates for the Ricci-harmonic flow under the condition that the Ricci curvature is bounded along the flow. In the second part these local curvature estimates are extended to a class of generalized Ricci flow, introduced by the author \cite{LY1}, whose stable points give Ricci-flat metrics on a complete manifold, and which is very close to the $(K, N)$-super Ricci flow recently defined by Xiangdong Li and Songzi Li \cite{LL2014}. Next we propose a conjecture for Einstein's scalar field equations motivated by a result in the first part and the bounded $L^{2}$-curvature conjecture recently solved by Klainerman, Rodnianski and Szeftel \cite{KRS2015}. In the last two parts of this paper, we discuss two notions of "Riemann curvature tensor" in the sense of Wylie-Yeroshkin \cite{KW2017, KWY2017, Wylie2015, WY2016}, respectively, and Li \cite{LY3}, whose "Ricci curvature" both give the standard Bakey-\'Emery Ricci curvature \cite{BE1985}, and the forward and backward uniqueness for the Ricci-harmonic flow.


title: 2018 Update on $\varepsilon_K$ with lattice QCD inputs

abstract: We present updated results for $\varepsilon_K$ determined directly from the standard model (SM) with lattice QCD inputs such as $\hat{B}_K$, $|V_{cb}|$, $|V_{us}|$, $\xi_0$, $\xi_2$, $\xi_\text{LD}$, $F_K$, and $m_c$. We find that the standard model with exclusive $|V_{cb}|$ and other lattice QCD inputs describes only 70% of the experimental value of $|\varepsilon_K|$ and does not explain its remaining 30%, which leads to a strong tension in $|\varepsilon_K|$ at the $4\sigma$ level between the SM theory and experiment. We also find that this tension disappears when we use the inclusive value of $|V_{cb}|$ obtained using the heavy quark expansion based on QCD sum rules.


title: Adaptation Bounds for Confidence Bands under Self-Similarity

abstract: We derive bounds on the scope for a confidence band to adapt to the unknown regularity of a nonparametric function that is observed with noise, such as a regression function or density, under the self-similarity condition proposed by Gine and Nickl (2010). We find that adaptation can only be achieved up to a term that depends on the choice of the constant used to define self-similarity, and that this term becomes arbitrarily large for conservative choices of the self-similarity constant. We construct a confidence band that achieves this bound, up to a constant term that does not depend on the self-similarity constant. Our results suggest that care must be taken in choosing and interpreting the constant that defines self-similarity, since the dependence of adaptive confidence bands on this constant cannot be made to disappear asymptotically.


title: Linear Independence of Harmonic Numbers over the field of Algebraic Numbers

abstract: Let $H_n =\sum\limits_{k=1}^n \frac{1}{k}$ be the $n$-th harmonic number. Euler extended it to complex arguments and defined $H_r$ for any complex number $r$ except for the negative integers. In this paper, we give a new proof of the transcendental nature of $H_r$ for rational $r$. For some special values of $q>1,$ we give an upper bound for the number of linearly independent harmonic numbers $H_{a/q}$ with $ 1 \leq a \leq q$ over the field of algebraic numbers. Also, for any finite set of odd primes $J$ with $|J|=n,$ define $$W_J=\overline{\mathbb{Q}}-\text {span of } \{ H_1, \ H_{a_{j_i}/q_i} | \ 1 \leq a_{j_i} \leq q_i -1, \ 1 \leq j_i \leq q_i-1, \ \ \forall q_i \in J\}.$$ Finally, we show that $$\text{ dim }_{\overline{\mathbb{Q}}} ~W_J=\sum\limits_{\substack{i=1 \\ q_i \in J}}^n \frac{\phi (q_i )}{2} + 2.$$


title: On the post-common-envelope central star of the planetary nebula NGC 2346

abstract: The common-envelope phase is one of the most poorly understood phases of (binary) stellar evolution, in spite of its importance in the formation of a wide-range of astrophysical phenomena ranging from cataclysmic variables to cosmologically important supernova type Ia, and even recently discovered gravitational wave producing black hole mergers. The central star of the planetary nebula NGC~2346 has long been held as one of the longest period post-common-envelope systems known with a published period of approximately 16 days, however the data presented were also consistent with much shorter periods of around 1 day (a more typical period among the known sample of post-common-envelope binary central stars). Here, using the modern high-stability, high-resolution spectrograph HERMES, we conclusively show the period to, indeed, be 16 days while also revising the surface gravity to a value typical of a sub-giant (rather than main-sequence) resulting in an intrinsic luminosity consistent with the recently published GAIA parallax distance. Intriguingly, the implied mass for the secondary ($\gtrsim$3.5 M$_\odot$) makes it, to our knowledge, the most massive post-common-envelope secondary known, whilst also indicating that the primary may be a post-RGB star.


title: An Isotropic Porous Medium Approach to Drag Mitigation Disappearance in Super-Hydrophobic Falling Spheres

abstract: In this Letter, the falling of super-hydrophobic spheres is investigated experimentally at low Reynolds numbers. In particular, we show that super-hydrophobic coatings become ineffective at reducing drag unlike predicted by theoretical and numerical approaches. A time scale analysis describing both Marangoni-induced stresses and air/liquid interface deformation shows that these mechanisms are unlikely to account for the slippage effect disappearance observed in our study. Instead, we propose a simple model based on an isotropic porous medium approach, derived to account for losses induced by the motion of the gas encapsulated around the sphere. The key parameter of this mechanism is found to be the surface tortuosity, whose range estimated from microscopic surface imaging corroborate those predicted by our scaling analysis and previous studies.


title: Relating a Geroch-like boundary and the abstract boundary constructions for spacetimes

abstract: We construct a Geroch-like boundary (when restricted to geodesic curves, this boundary contains as a subset the Geroch's $g$ boundary), which we denote by $\tilde{g}$, and establish an explicit embedding of the $\tilde{g}$ boundary into the $a$ boundary of Scott and Szekeres. This construction, and subsequently the explicit embedding, is done in a 'natural' way (the emphasis on the word natural here will be clarified in the text), thereby answering in the affirmative the outstanding question as to whether there exists a natural way to relate the $g$ and the $a$ boundary constructions.


title: Monochromatic combinatorial lines of length three

abstract: We show that there is a constant $c$ such that any colouring of the cube $[3]^n$ in $c \log \log n$ colours contains a monochromatic combinatorial line.


title: Quantum synchronization of two mechanical oscillators in coupled optomechanical systems with Kerr nonlinearity

abstract: We investigate the quantum synchronization phenomena of two mechanical oscillators of different frequencies in two optomechanical systems under periodically modulating cavity detunings or driving amplitudes, which can interact mutually through an optical fiber or a phonon tunneling. The cavities are filled with Kerr-type nonlinear medium. It is found that, no matter which the coupling and periodically modulation we choose, both of the quantum synchronization of nonlinear optomechanical system are more appealing than the linear optomechanical system. It is easier to observe greatly enhanced quantum synchronization with Kerr nonlinearity. In addition, the different influences on the quantum synchronization between the two coupling ways and the two modulating ways are compared and discussed.


title: Numerical models for evolution of extreme wave groups

abstract: The paper considers the application of two numerical models to simulate the evolution of steep breaking waves. The first one is a Lagrangian wave model based on equations of motion of an inviscid fluid in Lagrangian coordinates. A method for treating spilling breaking is introduced and includes dissipative suppression of the breaker and correction of crest shape to improve the post breaking behaviour. The model is used to create a Lagrangian numerical wave tank, to reproduce experimental results of wave group evolution. The same set of experiments is modelled using a novel VoF numerical wave tank created using OpenFOAM. Lagrangian numerical results are validated against experiments and VoF computations and good agreement is demonstrated. Differences are observed only for a small region around the breaking crest.


title: Narrowband wide dynamic range tunable filter based on Fano resonant planar multilayered structure

abstract: Tunable narrowband spectral filters with high light throughput and wide dynamic range have remarkable applications such as in optical communications, optical spectroscopy and spectral imaging. However, a cost is usually associated with the filter narrowing either in the dynamic range, in the throughput or the manufacturability. Here we report on a resonating planar multilayered structure that exhibits transparency window in reflection with a controllable full width at half maximum (sub-Angstroms till tens of nm) and tunability over wide spectral range (>500nm in the visible and near infrared). The phenomenon is observed in TE and TM polarizations with much higher contrast in TE. Fano type resonance originating from coupling between waveguide modes and lossy surface electromagnetic waves supported by field distribution calculations explains the phenomenon. The wide tuning range with high contrast is mainly achieved using an absorptive layer with high imaginary to real part ratio of the dielectric constant that enables excitation of lossy surface waves known to exist over a wide spectral band in thin films. To avoid large losses, it is found that the lossy layer should be ultrathin (6nm Cr layer for example). The tuning is achieved by small angular scan of less than 2 degrees or by modulating the refractive index or thickness of the submicron thick waveguide layer from the visible till the near infrared range and in principle it can be designed to operate in any spectral range. Such a thin variable index or thickness layer can allow tuning at ultrahigh speed using conventional electrooptic, magnetooptic, piezoelectric or thermooptic materials at relatively low external fields.


title: Mass of the Kuiper Belt

abstract: The Kuiper belt includes tens of thousands of large bodies and millions of smaller objects. The main part of the belt objects is located in the annular zone between 39.4 au and 47.8 au from the Sun, the boundaries correspond to the average distances for orbital resonances 3:2 and 2:1 with the motion of Neptune. One-dimensional, two-dimensional, and discrete rings to model the total gravitational attraction of numerous belt objects are considered. The discrete rotating model most correctly reflects the real interaction of bodies in the Solar system. The masses of the model rings were determined within EPM2017---the new version of ephemerides of planets and the Moon at IAA RAS---by fitting spacecraft ranging observations. The total mass of the Kuiper belt was calculated as the sum of the masses of the 31 largest trans-neptunian objects directly included in the simultaneous integration and the estimated mass of the model of the discrete ring of TNO. The total mass is $(1.97 \pm 0.30)\cdot 10^{-2} \ m_{\oplus}$. The gravitational influence of the Kuiper belt on Jupiter, Saturn, Uranus and Neptune exceeds at times the attraction of the hypothetical 9th planet with a mass of $\sim 10 \ m_{\oplus}$ at the distances assumed for it. It is necessary to take into account the gravitational influence of the Kuiper belt when processing observations, and only then to investigate residual discrepancies to discover a possible influence of a distant large planet.


title: Electronic structure by X-ray absorption spectroscopy and observation offield induced unusually slowspin relaxation from magnetic properties in pyrochlore Eu$_{2-x}$Fe$_x$Ti$_2$O$_7$

abstract: X-ray absorption spectroscopy (XAS) as well as x-ray magnetic circular dichroism (XMCD) and magnetization of hybrid pyrochlore Eu2-xFexTi2O7 were investigated, where the rare earth Eu (4f) was replaced with transition metal Fe (3d) to introduce competing 4f-3d interactions. It is confirmed that the valence states of Eu and Fe ions are formally trivalent while that of Ti ions are tetravalent (3d0). The analysis yielded that the tetravalent Ti ions occupy octahedral sites with distorted Oh symmetry which is triggered by the presence of vacant 8a anionic site adjacent to TiO6 octahedra. Further study with Fe doping revealed that it essentially reduces the octahedral distortion by introducing anionic disorder (migration of 48f oxygen ions to 8a site). Analysis of O K edge XAS spectra further confirmed the Fe substitution causing the systematic change in the ligand (O2-) coordination of the Ti4+ cations. On the other hand, a new field induced transition (with Fe doping) at low temperature T* (4 K<T*< 8 K) in ac susceptibility with unusually slow spin relaxation was observed. The transition shifted towards higher temperatures both with increasing applied field and Fe concentration. However, the single ion spin freezing (Tf ~35 K) appears to be suppressed with Fe substitution. Interestingly, small amount of Fe3+ ion substitution showed significant enhancement in the dc magnetization at lower temperatures (<100 K). Analysis further indicated rise of dipolar FM exchange interaction with Fe doping.


title: High Performance Computing with FPGAs and OpenCL

abstract: In this work we evaluate the potential of FPGAs for accelerating HPC workloads as a more power-efficient alternative to GPUs. Using High-Level Synthesis and a large set of optimization techniques, we show that FPGAs can achieve better performance than CPUs, and better power efficiency than both CPUs and GPUs for typical HPC workloads. Furthermore, we show that for the specific case of stencil computation, the unique architectural advantages of FPGAs allow them to surpass high-end CPU, Xeon Phi and GPU devices. Unlike previous work, our FPGA-based stencil accelerator combines spatial blocking with temporal blocking to achieve high performance without restricting input size. With support for high-order stencils, we achieve the highest single-FPGA performance for 2D and 3D stencil computation of any order, to this day.


title: Testing the Generalization Power of Neural Network Models Across NLI Benchmarks

abstract: Neural network models have been very successful in natural language inference, with the best models reaching 90% accuracy in some benchmarks. However, the success of these models turns out to be largely benchmark specific. We show that models trained on a natural language inference dataset drawn from one benchmark fail to perform well in others, even if the notion of inference assumed in these benchmarks is the same or similar. We train six high performing neural network models on different datasets and show that each one of these has problems of generalizing when we replace the original test set with a test set taken from another corpus designed for the same task. In light of these results, we argue that most of the current neural network models are not able to generalize well in the task of natural language inference. We find that using large pre-trained language models helps with transfer learning when the datasets are similar enough. Our results also highlight that the current NLI datasets do not cover the different nuances of inference extensively enough.


title: State independent uncertainty relations from eigenvalue minimization

abstract: We consider uncertainty relations that give lower bounds to the sum of variances. Finding such lower bounds is typically complicated, and efficient procedures are known only for a handful of cases. In this paper we present procedures based on finding the ground state of appropriate Hamiltonian operators, which can make use of the many known techniques developed to this aim. To demonstrate the simplicity of the method we analyze multiple instances, both previously known and novel, that involve two or more observables, both bounded and unbounded.


title: Visual Semantic Re-ranker for Text Spotting

abstract: Many current state-of-the-art methods for text recognition are based on purely local information and ignore the semantic correlation between text and its surrounding visual context. In this paper, we propose a post-processing approach to improve the accuracy of text spotting by using the semantic relation between the text and the scene. We initially rely on an off-the-shelf deep neural network that provides a series of text hypotheses for each input image. These text hypotheses are then re-ranked using the semantic relatedness with the object in the image. As a result of this combination, the performance of the original network is boosted with a very low computational cost. The proposed framework can be used as a drop-in complement for any text-spotting algorithm that outputs a ranking of word hypotheses. We validate our approach on ICDAR'17 shared task dataset.


title: Statistical analysis of probability density functions for photometric redshifts through the KiDS-ESO-DR3 galaxies

abstract: Despite the high accuracy of photometric redshifts (zphot) derived using Machine Learning (ML) methods, the quantification of errors through reliable and accurate Probability Density Functions (PDFs) is still an open problem. First, because it is difficult to accurately assess the contribution from different sources of errors, namely internal to the method itself and from the photometric features defining the available parameter space. Second, because the problem of defining a robust statistical method, always able to quantify and qualify the PDF estimation validity, is still an open issue. We present a comparison among PDFs obtained using three different methods on the same data set: two ML techniques, METAPHOR (Machine-learning Estimation Tool for Accurate PHOtometric Redshifts) and ANNz2, plus the spectral energy distribution template fitting method, BPZ. The photometric data were extracted from the KiDS (Kilo Degree Survey) ESO Data Release 3, while the spectroscopy was obtained from the GAMA (Galaxy and Mass Assembly) Data Release 2. The statistical evaluation of both individual and stacked PDFs was done through quantitative and qualitative estimators, including a dummy PDF, useful to verify whether different statistical estimators can correctly assess PDF quality. We conclude that, in order to quantify the reliability and accuracy of any zphot PDF method, a combined set of statistical estimators is required.


title: Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems

abstract: In this paper, we solve a maximization problem where the objective function is quadratic and the constraints set is the reachable values set of a stable discrete-time affine system. This problem is equivalent to solve an infinite number of linearly constrained quadratic maximization programs. To solve exactly and in finite time this problem, we have to safely extract a finite number of them. Safely means that we must guarantee that the optimal solution can be found within this extracted family. This family has to be the smallest possible. Therefore, we construct an integer-valued function defined on the solutions of the discrete Lyapunov equation. Those integers represent overapproximations of the number of quadratic programs to solve to obtain an optimal solution of our specific maximization problem. The integer-valued function is minimized in order to get the smallest possible overapproximation. The method proposed in the paper is first illustrated on a class of nondiagonalizable systems of dimension two and finally experimented on randomly generated instances of the problem.


title: Algebraic Localization from Power-Law Interactions in Disordered Quantum Wires

abstract: We analyze the effects of disorder on the correlation functions of one-dimensional quantum models of fermions and spins with long-range interactions that decay with distance $\ell$ as a power-law $1/\ell^\alpha$. Using a combination of analytical and numerical results, we demonstrate that power-law interactions imply a long-distance algebraic decay of correlations within disordered-localized phases, for all exponents $\alpha$. The exponent of algebraic decay depends only on $\alpha$, and not, e.g., on the strength of disorder. We find a similar algebraic localization for wave-functions. These results are in contrast to expectations from short-range models and are of direct relevance for a variety of quantum mechanical systems in atomic, molecular and solid-state physics.


title: Heuristics-based Query Reordering for Federated Queries in SPARQL 1.1 and SPARQL-LD

abstract: The federated query extension of SPARQL 1.1 allows executing queries distributed over different SPARQL endpoints. SPARQL-LD is a recent extension of SPARQL 1.1 which enables to directly query any HTTP web source containing RDF data, like web pages embedded with RDFa, JSON-LD or Microformats, without requiring the declaration of named graphs. This makes possible to query a large number of data sources (including SPARQL endpoints, online resources, or even Web APIs returning RDF data) through a single one concise query. However, not optimal formulation of SPARQL 1.1 and SPARQL-LD queries can lead to a large number of calls to remote resources which in turn can lead to extremely high query execution times. In this paper, we address this problem and propose a set of query reordering methods which make use of heuristics to reorder a set of SERVICE graph patterns based on their restrictiveness, without requiring the gathering and use of statistics from the remote sources. Such a query optimization approach is widely applicable since it can be exploited on top of existing SPARQL 1.1 and SPARQL-LD implementations. Evaluation results show that query reordering can highly decrease the query-execution time, while a method that considers the number and type of unbound variables and joins achieves the optimal query plan in 88% of the cases.


title: A Social Network Analysis of Articles on Social Network Analysis

abstract: A collection of articles on the statistical modelling and inference of social networks is analysed in a network fashion. The references of these articles are used to construct a citation network data set, which is almost a directed acyclic graph because only existing articles can be cited. A mixed membership stochastic block model is then applied to this data set to soft cluster the articles. The results obtained from a Gibbs sampler give us insights into the influence and the categorisation of these articles.


title: Fixing Match-Fixing: Optimal schedules to promote competitiveness

abstract: In the last round of the FIFA World Cup group stage, games for which the outcome does not affect the selection of the qualified teams are played with little enthusiasm. Furthermore, a team that has already qualified may take into account other factors, such as the opponents it will face in the next stage of the competition so that, depending on the results in the other groups and the scheduling of the next stage, winning the game may not be in its best interest. Even more critically, there may be situations in which a simple draw will qualify both teams for the next stage of the competition. Any situation in which the two opposing teams do not play competitively is detrimental to the sport, and, above all, can lead to collusion and match-fixing opportunities. We here develop a relatively general method of evaluating competitiveness and apply it to the current format of the World Cup group stage. We then propose changes to the current format in order to increase the stakes in the last round of games of the group stage, making games more exciting to watch and, at the same time, reducing any collusion opportunities. We appeal to the same method to evaluate a "groups of 3" format which will be introduced in the 2026 World Cup edition as well as a format similar to the one of the current Euro UEFA Cup.


title: Magnetic Field Amplification in Galaxy Clusters and its Simulation

abstract: We review the present theoretical and numerical understanding of magnetic field amplification in cosmic large-scale structure, on length scales of galaxy clusters and beyond. Structure formation drives compression and turbulence, which amplify tiny magnetic seed fields to the microGauss values that are observed in the intracluster medium. This process is intimately connected to the properties of turbulence and the microphysics of the intra-cluster medium. Additional roles are played by merger induced shocks that sweep through the intra-cluster medium and motions induced by sloshing cool cores. The accurate simulation of magnetic field amplification in clusters still poses a serious challenge for simulations of cosmological structure formation. We review the current literature on cosmological simulations that include magnetic fields and outline theoretical as well as numerical challenges.


title: A method to search for long duration gravitational wave transients from isolated neutron stars using the generalized FrequencyHough

abstract: We describe a method to detect gravitational waves lasting $O(hours-days)$ emitted by young, isolated neutron stars, such as those that could form after a supernova or a binary neutron star merger, using advanced LIGO/Virgo data. The method is based on a generalization of the FrequencyHough (FH), a pipeline that performs hierarchical searches for continuous gravitational waves by mapping points in the time/frequency plane of the detector to lines in the frequency/spindown plane of the source. We show that signals whose spindowns are related to their frequencies by a power law can be transformed to coordinates where the behavior of these signals is always linear, and can therefore be searched for by the FH. We estimate the sensitivity of our search across different braking indices, and describe the portion of the parameter space we could explore in a search using varying fast Fourier Transform (FFT) lengths.


title: SING: Symbol-to-Instrument Neural Generator

abstract: Recent progress in deep learning for audio synthesis opens the way to models that directly produce the waveform, shifting away from the traditional paradigm of relying on vocoders or MIDI synthesizers for speech or music generation. Despite their successes, current state-of-the-art neural audio synthesizers such as WaveNet and SampleRNN suffer from prohibitive training and inference times because they are based on autoregressive models that generate audio samples one at a time at a rate of 16kHz. In this work, we study the more computationally efficient alternative of generating the waveform frame-by-frame with large strides. We present SING, a lightweight neural audio synthesizer for the original task of generating musical notes given desired instrument, pitch and velocity. Our model is trained end-to-end to generate notes from nearly 1000 instruments with a single decoder, thanks to a new loss function that minimizes the distances between the log spectrograms of the generated and target waveforms. On the generalization task of synthesizing notes for pairs of pitch and instrument not seen during training, SING produces audio with significantly improved perceptual quality compared to a state-of-the-art autoencoder based on WaveNet as measured by a Mean Opinion Score (MOS), and is about 32 times faster for training and 2, 500 times faster for inference.


title: Human-centered manipulation and navigation with Robot DE NIRO

abstract: Social assistance robots in health and elderly care have the potential to support and ease human lives. Given the macrosocial trends of aging and long-lived populations, robotics-based care research mainly focused on helping the elderly live independently. In this paper, we introduce Robot DE NIRO, a research platform that aims to support the supporter (the caregiver) and also offers direct human-robot interaction for the care recipient. Augmented by several sensors, DE NIRO is capable of complex manipulation tasks. It reliably interacts with humans and can autonomously and swiftly navigate through dynamically changing environments. We describe preliminary experiments in a demonstrative scenario and discuss DE NIRO's design and capabilities. We put particular emphases on safe, human-centered interaction procedures implemented in both hardware and software, including collision avoidance in manipulation and navigation as well as an intuitive perception stack through speech and face recognition.


title: The Tribonacci and ABC Representations of Numbers are Equivalent

abstract: It is shown that the unique representation of positive integers in terms of tribonacci numbers and the unique representation in terms of iterated A, B and C sequences defined from the tribonacci word are equivalent. Two auxiliary representations are introduced to prove this bijection. It will be established directly on a node and edge labeled tribonacci tree as well as formally. A systematic study of the A, B and C sequences in terms of the tribonacci word is also presented.


title: B-site spin-state and anti-site disorder driven multiple-magnetic phases: Griffiths phase, re-entrant cluster glass and exchange bias in double perovskite Pr$_2$CoFeO$_6$

abstract: We report the comprehensive experimental results identifying the magnetic spin ordering and the magnetization dynamics of a double perovskite Pr2CoFeO6 by employing the (dc and ac) magnetization, powder neutron diffraction (NPD) and X-ray magnetic circular dichroism (XMCD) techniques. X-ray diffraction and neutron diffraction studies revealed that Pr2CoFeO6 adopts a B-site disordered orthorhombic structure with space group Pnma. Additionally, ab initio band structure calculations performed on this system suggested an insulating anti-ferromagnetic (Fe-Fe) ground state. Magnetometry study showed the system to possess a spectrum of interesting magnetic phases including long range antiferromagnetic (canted) spin ordering (TN ~269 K), Griffiths phase, re-entrant cluster glass (RCG) (TG~ 34 K) and exchange bias. However, the NPD study divulged the exhibition of a long range G-type (below TN ~269 K) of spin ordering by Fe spins. Spin dynamics study by ac susceptibility technique confirmed the system possessing long range ordering at higher temperatureundergoes a RCG transition at ~34 K. Existence of Griffiths phase was confirmed by non-analytic field variation of magnetization and Heisenberg type temporal spin relaxation above long range ordering temperature TN ~269 K. The anti-site disorder related to the B-sites (Co/Fe) is found to be the main driving force forthe observed multiple magnetic phases. Furthermore, the electronic structure probed by the X-ray absorption spectroscopy (XAS) study suggested a nominal valance state of +3 for both of the B-site ions (Co/Fe) which in turn triggered the anti-site disorder in the system. Magnetic, XRD, NPD and XAS analysis yielded a low spin state (LS) for the Co3+ ions. The random non-magnetic dilution of magnetic Fe3+ (HS) ions by Co3+ (LS) ions essentially played a crucial role in manifesting the magnetic properties of the system.


title: Scalar-type kernels for block Toeplitz operators

abstract: It is shown that the kernel of a Toeplitz operator with $2\times 2$ symbol $G$ can be described exactly in terms of any given function in a very wide class, its image under multiplication by $G$, and their left inverses, if the latter exist. As a consequence, under many circumstances the kernel of a block Toeplitz operator may be described as the product of a space of scalar complex-valued functions by a fixed column vector of functions. Such kernels are said to be of scalar type, and in this paper they are studied and described explicitly in many concrete situations. Applications are given to the determination of kernels of truncated Toeplitz operators for several new classes of symbols.


title: Characteristic Functionals of Dirichlet Measures

abstract: We compute characteristic functionals of Dirichlet-Ferguson measures over a locally compact Polish space and prove continuous dependence of the random measure on the parameter measure. In finite dimension, we identify the dynamical symmetry algebra of the characteristic functional of the Dirichlet distribution with a simple Lie algebra of type $A$. We study the lattice determined by characteristic functionals of categorical Dirichlet posteriors, showing that it has a natural structure of weight Lie algebra module and providing a probabilistic interpretation. A partial generalization to the case of the Dirichlet-Ferguson measure is also obtained.


title: A proof of the Shepp-Olkin entropy monotonicity conjecture

abstract: Consider tossing a collection of coins, each fair or biased towards heads, and take the distribution of the total number of heads that result. It is natural to conjecture that this distribution should be 'more random' when each coin is fairer. Indeed, Shepp and Olkin conjectured that the Shannon entropy of this distribution is monotonically increasing in this case. We resolve this conjecture, by proving that this intuition is correct. Our proof uses a construction which was previously developed by the authors to prove a related conjecture of Shepp and Olkin concerning concavity of entropy. We discuss whether this result can be generalized to $q$-R\'{e}nyi and $q$-Tsallis entropies, for a range of values of $q$.


title: On the bilinear control of the Gross-Pitaevskii equation

abstract: In this paper we study the bilinear-control problem for the linear and non-linear Schr{\"o}dinger equation with harmonic potential. By the means of different examples, we show how space-time smoothing effects (Strichartz estimates, Kato smoothing effect) enjoyed by the linear flow, can help to prove obstructions to controllability.


title: Operational Methods in the Study of Sobolev-Jacobi Polynomials

abstract: Inspired by ideas from umbral calculus and based on the two types of integrals occurring in the defining equations for the gamma and the reciprocal gamma functions, respectively, we develop a multi-variate version of umbral calculus and of the so-called umbral image technique. Besides providing a class of new formulae for generalized hypergeometric functions and an implementation of series manipulations for computing lacunary generating functions, our main application of these techniques is the study of Sobolev-Jacobi polynomials. Motivated by applications to theoretical chemistry, we moreover present a deep link between generalized normal-ordering techniques introduced by Gurappa and Panigrahi, two-variable Hermite polynomials and our integral-based series transforms. Notably, we thus calculate all K-tuple L-shifted lacunary exponential generating functions for a certain family of SJ polynomials explicitly.


title: Solar radius and luminosity variations induced by the internal dynamo magnetic fields

abstract: Although the occurrence of solar irradiance variations induced by magnetic surface features (e.g., sunspots, faculae, magnetic network) is generally accepted, the existence of intrinsic luminosity changes due to the internal magnetic fields is still controversial. This additional contribution is expected to be accompanied by radius variations, and to be potentially significant for the climate of the Earth. We aim to constrain theoretically the radius and luminosity variations of the Sun that are due to the effect of the variable magnetic fields in its interior associated with the dynamo cycle. We have extended a one-dimensional stellar evolution code to include several effects of the magnetic fields on the interior structure. We investigate different magnetic configurations, based on both observational constraints and on the output of state-of-the-art mean field dynamo models. We explore both step-like and simply periodic time dependences of the magnetic field peak strength. We find that the luminosity and radius variations are in anti-phase and in phase, respectively, with the magnetic field strength. For peak magnetic field strengths of the order of tens of kilogauss, luminosity variations ranging between 10^{-6} and 10^{-3} (in modulus) and radius variations between 10^{-6} and 10^{-5} are obtained. Modest but significant radius variations (up to 10^{-5} in relative terms) are obtained for magnetic fields of realistic strength and geometry, providing a potentially observable signature of the intrinsic variations. Establishing their existence in addition to the accepted surface effects would have very important implications for the understanding of solar-induced long-term trends on climate.


title: Heading in the right direction? Using head moves to traverse phylogenetic network space

abstract: Head moves are a type of rearrangement moves for phylogenetic networks. They have mostly been studied as part of more encompassing types of moves, such as rSPR moves. Here, we study head moves as a type of moves on themselves. We show that the tiers ($k>0$) of phylogenetic network space are connected by local head moves. Then we show tail moves and head moves are closely related: sequences of tail moves can be converted to sequences of head moves and vice versa, changing the length by at most a constant factor. Because the tiers of network space are connected by rSPR moves, this gives a second proof of the connectivity of these tiers. Furthermore, we show that these tiers have small diameter by reproving the connectivity a third time. As the head move neighbourhood is in general small, this makes head moves a good candidate for local search heuristics. Finally we prove that finding the shortest sequence of head moves between two networks is NP-hard.


title: Scattering of surface shallow water waves on a draining bathtub vortex

abstract: In the linear approximation we study long wave scattering on an axially symmetric flow in a shallow water basin with a drain in the center. This classical problem can be considered as a model of wave scattering on a rotating black hole. For the low frequencies analytic solutions are derived to describe both pure potential perturbations (surface gravity waves), and perturbations with nonzero potential vorticity. For moderate frequencies such solutions are obtained numerically and illustrated graphically. It is shown that there are two processes governing the dynamics of perturbations, namely, the scattering of incident gravity waves by central vortex, and the emission of gravity waves stimulated by the potential vorticity. Some aspects of their joint action are discussed.


title: Continuum models of the electrochemical diffuse layer in electronic-structure calculations

abstract: Continuum electrolyte models represent a practical tool to account for the presence of the diffuse layer at electrochemical interfaces. However, despite the increasing popularity of these in the field of materials science it remains unclear which features are necessary in order to accurately describe interface-related observables such as the differential capacitance (DC) of metal electrode surfaces. We present here a critical comparison of continuum diffuse-layer models that can be coupled to an atomistic first-principles description of the charged metal surface in order to account for the electrolyte screening at electrified interfaces. By comparing computed DC values for the prototypical Ag(100) surface in an aqueous solution to experimental data we validate the accuracy of the models considered. Results suggest that a size-modified Poisson-Boltzmann description of the electrolyte solution is sufficient to qualitatively reproduce the main experimental trends. Our findings also highlight the large effect that the dielectric cavity parameterization has on the computed DC values.


title: Expression Recognition Using the Periocular Region: A Feasibility Study

abstract: This paper investigates the feasibility of using the periocular region for expression recognition. Most works have tried to solve this by analyzing the whole face. Periocular is the facial region in the immediate vicinity of the eye. It has the advantage of being available over a wide range of distances and under partial face occlusion, thus making it suitable for unconstrained or uncooperative scenarios. We evaluate five different image descriptors on a dataset of 1,574 images from 118 subjects. The experimental results show an average/overall accuracy of 67.0%/78.0% by fusion of several descriptors. While this accuracy is still behind that attained with full-face methods, it is noteworthy to mention that our initial approach employs only one frame to predict the expression, in contraposition to state of the art, exploiting several order more data comprising spatial-temporal data which is often not available.