title: DocRED: A Large-Scale Document-Level Relation Extraction Dataset

abstract: Multiple entities in a document generally exhibit complex inter-sentence relations, and cannot be well handled by existing relation extraction (RE) methods that typically focus on extracting intra-sentence relations for single entity pairs. In order to accelerate the research on document-level RE, we introduce DocRED, a new dataset constructed from Wikipedia and Wikidata with three features: (1) DocRED annotates both named entities and relations, and is the largest human-annotated dataset for document-level RE from plain text; (2) DocRED requires reading multiple sentences in a document to extract entities and infer their relations by synthesizing all information of the document; (3) along with the human-annotated data, we also offer large-scale distantly supervised data, which enables DocRED to be adopted for both supervised and weakly supervised scenarios. In order to verify the challenges of document-level RE, we implement recent state-of-the-art methods for RE and conduct a thorough evaluation of these methods on DocRED. Empirical results show that DocRED is challenging for existing RE methods, which indicates that document-level RE remains an open problem and requires further efforts. Based on the detailed analysis on the experiments, we discuss multiple promising directions for future research.


title: The Origin of Lopsided Satellite Galaxy Distribution in Galaxy Pairs

abstract: It is well known that satellite galaxies are not isotropically distributed among their host galaxies as suggested by most interpretations of the $\Lambda$CDM model. One type of anisotropy recently detected in the SDSS (and seen when examining the distribution of satellites in the Local Group and in the Centaurus group) is a tendency to be so-called "lopsided". Namely, in pairs of galaxies (like Andromeda and the Milky Way) the satellites are more likely to inhabit the region in between the pair, rather than on opposing sides. Although recent studies found a similar set up when comparing pairs of galaxies in $\Lambda$CDM simulations indicating that such a set up is not inconsistent with $\Lambda$CDM, the origin has yet to be explained. Here we examine the origin of such lopsided setups by first identifying such distributions in pairs of galaxies in numerical cosmological simulations, and then tracking back the orbital trajectories of satellites (which at $z=0$ display the effect). We report two main results: first, the lopsided distribution was stronger in the past and weakens towards $z=0$. Second, the weakening of the signal is due to the interaction of satellite galaxies with the pair. Finally, we show that the $z=0$ signal is driven primarily by satellites that are on first approach, who have yet to experience a "flyby". This suggests that the signal seen in the observations is also dominated by dynamically young accretion events.


title: Ice nucleation in the wake of warm hydrometeors

abstract: The formation of ice in mixed phase clouds greatly impacts Earths hydrologic cycle. The intensity, distribution and frequency of precipitation as well as radiative properties of clouds in the mid latitudes are strongly influenced by the number concentration of ice particles. A long standing riddle in mixed phase clouds is the frequent observation of measured ice particle concentrations several orders of magnitude higher than measured ice nucleating particle concentrations. Here, we report laboratory observations of copious cloud droplets and ice crystals formed in the wake of a warm, falling water drop. Aerosols were activated in the transient regions of very high supersaturation due to evaporative mixing in the wake. We extend these results to typical mixed phase atmospheric conditions, and our calculations show that the induced evaporative supersaturation may significantly enhance the activated ice nuclei concentration in the particles wake.


title: The HI Velocity Function: a test of cosmology or baryon physics?

abstract: Accurately predicting the shape of the HI velocity function of galaxies is regarded widely as a fundamental test of any viable dark matter model. Straightforward analyses of cosmological $N$-body simulations imply that the $\Lambda$CDM model predicts an overabundance of low circular velocity galaxies when compared to observed HI velocity functions. More nuanced analyses that account for the relationship between galaxies and their host haloes suggest that how we model the influence of baryonic processes has a significant impact on HI velocity function predictions. We explore this in detail by modelling HI emission lines of galaxies in the SHARK semi-analytic galaxy formation model, built on the SURFS suite of $\Lambda$CDM $N$-body simulations. We create a simulated ALFALFA survey, in which we apply the survey selection function and account for effects such as beam confusion, and compare simulated and observed HI velocity width distributions, finding differences of $\lesssim 50$%, orders of magnitude smaller than the discrepancies reported in the past. This is a direct consequence of our careful treatment of survey selection effects and, importantly, how we model the relationship between galaxy and halo circular velocity - the HI mass-maximum circular velocity relation of galaxies is characterised by a large scatter. These biases are complex enough that building a velocity function from the observed HI line widths cannot be done reliably.


title: Log-Expansions from Combinatorial Dyson-Schwinger Equations

abstract: We give a precise connection between combinatorial Dyson-Schwinger equations and log-expansions for Green's functions in quantum field theory. The latter are triangular power series in the coupling constant $\alpha$ and a logarithmic energy scale $L$ --- a reordering of terms as $G(\alpha,L) = 1 \pm \sum_{j \geq 0} \alpha^j H_j(\alpha L)$ is the corresponding log-expansion. In a first part of this paper, we derive the leading-log order $H_0$ and the next-to$^{(j)}$-leading log orders $H_j$ from the Callan-Symanzik equation. In particular, $H_j$ only depends on the $(j+1)$-loop $\beta$-function and anomalous dimensions. For the photon propagator Green's function in quantum electrodynamics (and in a toy model, where all Feynman graphs with vertex sub-divergences are neglected), our formulas reproduce the known expressions for the next-to-next-to-leading log approximation in the literature. In a second part of this work, we review the connection between the Callan-Symanzik equation and Dyson-Schwinger equations, i.e. fixed-point relations for the Green's functions. Combining the arguments, our work provides a derivation of the log-expansions for Green's functions from the corresponding Dyson-Schwinger equations.


title: SchenQL -- A Domain-Specific Query Language on Bibliographic Metadata

abstract: Information access needs to be uncomplicated, users rather use incorrect data which is easily received than correct information which is harder to obtain. Querying bibliographic metadata from digital libraries mainly supports simple textual queries. A user's demand for answering more sophisticated queries could be fulfilled by the usage of SQL. As such means are highly complex and challenging even for trained programmers, a domain-specific query language is needed to provide a straightforward way to access data. In this paper we present SchenQL, a simple query language focused on bibliographic metadata in the area of computer science while using the vocabulary of domain-experts. By facilitating a plain syntax and fundamental aggregate functions, we propose an easy-to-learn domain-specific query language capable of search and exploration. It is suitable for domain-experts as well as casual users while still providing the possibility to answer complicated queries. A user study with computer scientists directly compared our query language to SQL and clearly demonstrated SchenQL's suitability and usefulness for given queries as well as users' acceptance.


title: On the estimation of the Local Dark Matter Density using the rotation curve of the Milky Way

abstract: The rotation curve of the Milky Way is commonly used to estimate the local dark matter density $\rho_{{\rm DM},\odot}$. However, the estimates are subject to the choice of the distribution of baryons needed in this type of studies. In this work we explore several Galactic mass models that differ in the distribution of baryons and dark matter, in order to determine $\rho_{{\rm DM},\odot}$. For this purpose we analyze the precise circular velocity curve measurement of the Milky Way up to $\sim 25$ kpc from the Galactic centre obtained from Gaia DR2 [1]. We find that the estimated value of $\rho_{{\rm DM},\odot}$ stays robust to reasonable changes in the spherical dark matter halo. However, we show that $\rho_{{\rm DM},\odot}$ is affected by the choice of the model for the underlying baryonic components. In particular, we find that $\rho_{{\rm DM},\odot}$ is mostly sensitive to uncertainties in the disk components of the Galaxy. We also show that, when choosing one particular baryonic model, the estimate of $\rho_{{\rm DM},\odot}$ has an uncertainty of only about $10\%$ of its best-fit value, but this uncertainty gets much bigger when we also consider the variation of the baryonic model. In particular, the rotation curve method does not allow to exclude the presence of an additional very thin component, that can increase $\rho_{{\rm DM},\odot}$ by more than a factor of 8 (the thin disk could even be made of dark matter). Therefore, we conclude that exclusively using the rotation curve of the Galaxy is not enough to provide a robust estimate of $\rho_{{\rm DM},\odot}$. For all the models that we study without the presence of an additional thin component, our resulting estimates of the local dark matter density take values in the range $\rho_{{\rm DM},\odot} \simeq \text{0.3--0.4}\,\mathrm{GeV/cm^3}$, consistent with many of the estimates in the literature.


title: Anomaly Detection with HMM Gauge Likelihood Analysis

abstract: This paper describes a new method, HMM gauge likelihood analysis, or GLA, of detecting anomalies in discrete time series using Hidden Markov Models and clustering. At the center of the method lies the comparison of subsequences. To achieve this, they first get assigned to their Hidden Markov Models using the Baum-Welch algorithm. Next, those models are described by an approximating representation of the probability distributions they define. Finally, this representation is then analyzed with the help of some clustering technique or other outlier detection tool and anomalies are detected. Clearly, HMMs could be substituted by some other appropriate model, e.g. some other dynamic Bayesian network. Our learning algorithm is unsupervised, so it does not require the labeling of large amounts of data. The usability of this method is demonstrated by applying it to synthetic and real-world syslog data.


title: The Application of Tridiagonal Matrices in P-polynomial Table Algebras

abstract: In this paper, we study the characters of two classes of P-polynomial table algebras using tridiagonal matrices. To this end, we obtain some results about the eigen-structure of special tridiagonal matrices. We also find a recursive relation for the characteristic polynomial of the first intersection matrix of P-polynomial table algebras by means of LU factorization.


title: DKMQ24 shell element with improved membrane behaviour

abstract: An approach to improve the membrane behaviour of the four-node shell element with 24 degrees of freedom DKMQ24 proposed by Katili et al. (2015) is presented. This improvement is based on a different approximation of drilling rotations, based on Allman's shape functions. Further, the element formulation is enhanced by the use of selective reduced integration of shear terms and by the proportional scaling of the penalty constant to the shell thickness. Additionaly, nodal moment corrections for the approximation of distributed normal loads are proposed. This element, called DKMQ24$_2$+, was tested on nine standard benchmark problems for the case of linear elasticity. The element is free of shear and membrane locking and shows lower numerical errors for membrane and membrane-dominated problems.


title: Two-center electron-impact ionization via collisional excitation-autoionization

abstract: Electron-impact ionization of an atom or ion in the presence of a neighboring atom is studied. The latter is first collisionally excited by the incident electron, whose energy is assumed to be high but nonrelativistic. Afterwards, the excitation energy is transferred radiationlessly via a two-center Auger process to the other atom or ion, leading to its ionization. We show that the participation of the neighboring atom manifests in a very pronounced resonance peak in the energy-differential cross section and can substantially enhance the total cross section of electron-impact ionization. We also discuss the influence of the neighbouring atom on the angular distribution of the ejected electron.


title: Loop Tree Duality for multi-loop numerical integration

abstract: Loop Tree Duality (LTD) offers a promising avenue to numerically integrate multi-loop integrals directly in momentum space. It is well-established at one loop, but there have been only sparse numerical results at two loops. We provide a formal derivation for a novel multi-loop LTD expression and study its threshold singularity structure. We apply our findings numerically to a diverse set of up to four-loop finite topologies with kinematics for which no contour deformation is needed. We also lay down the ground work for constructing such a deformation. Our results serve as an important stepping stone towards a generalised and efficient numerical implementation of LTD, applicable to the computation of virtual corrections.


title: On second-order cone positive systems

abstract: Internal positivity offers a computationally cheap certificate for external (input-output) positivity of a linear time-invariant system. However, the drawback with this certificate lies in its realization dependency. Firstly, computing such a realization requires to find a polyhedral cone with a potentially high number of extremal generators that lifts the dimension of the state-space representation, significantly. Secondly, not all externally positive systems posses an internally positive realization. Thirdly, in many typical applications such as controller design, system identification and model order reduction, internal positivity is not preserved. To overcome these drawbacks, we present a tractable sufficient certificate of external positivity based on second-order cones. This certificate does not require any special state-space realization: if it succeeds with a possibly non-minimal realization, then it will do so with any minimal realization. While there exist systems where this certificate is also necessary, we also demonstrate how to construct systems, where both second-order and polyhedral cones as well as other certificates fail. Nonetheless, in contrast to other realization independent certificates, the present one appears to be favourable in terms of applicability and conservatism. Three applications are representatively discussed to underline its potential. We show how the certificate can be used to find externally positive approximations of nearly externally positive systems and demonstrated that this may help to reduce system identification errors. The same algorithm is used then to design state-feedback controllers that provide closed-loop external positivity, a common approach to avoid over- and undershooting of the step response. Lastly, we present modifications to generalized balanced truncation such that external positivity is preserved where our certificate applies.


title: A review of assessment methods for the urban environment and its energy sustainability to guarantee climate adaptation of future cities

abstract: The current climate change is calling for drastic reduction of energy demand as well as of greenhouse gases. Besides this, cities also need to adapt to face the challenges related to climate change. Cities, with their complex urban texture and fabric can be represented as a diverse ecosystem that do not have a clear and defined boundary. Multiple tools that have been developed, in the recent years, for assessment of urban climate, building energy demand, the outdoor thermal comfort and the energy systems. In this review, we, however, noted that these tools often address only one or two of these urban planning aspects. There is however an intricate link between them. For instance, the outdoor comfort assessment has showed that there is a strong link between biometeorology and architecture and urban climate. Additionally, to address the challenges of the energy transition, there will be a convergence of the energy needs in the future with an energy nexus regrouping the energy demand of urban areas. It is also highlighted that the uncertainty related to future climatic data makes urban adaptation and mitigation strategies complex to implement and to design given the lack of a comprehensive framework. We thus conclude by suggesting the need for a holistic interface to take into account this multi-dimensional problem. With the help of such a platform a positive loop in urban design can be initiated leading to the development of low carbon cities and/or with the use of blue and green infrastructure to have a positive impact on the mitigation and adaptation strategies.


title: Software and Dependencies in Research Citation Graphs

abstract: Following the widespread digitalization of scholarship, software has become essential for research, but the current sociotechnical system of citation does not reflect this sufficiently. Citation provides context for research, but the current model for the respective research citation graphs does not integrate software. In this paper, I develop a directed graph model to alleviate this, describe challenges for its instantiation, and give an outlook of useful applications of research citation graphs, including transitive credit.


title: Modality Conversion of Handwritten Patterns by Cross Variational Autoencoders

abstract: This research attempts to construct a network that can convert online and offline handwritten characters to each other. The proposed network consists of two Variational Auto-Encoders (VAEs) with a shared latent space. The VAEs are trained to generate online and offline handwritten Latin characters simultaneously. In this way, we create a cross-modal VAE (Cross-VAE). During training, the proposed Cross-VAE is trained to minimize the reconstruction loss of the two modalities, the distribution loss of the two VAEs, and a novel third loss called the space sharing loss. This third, space sharing loss is used to encourage the modalities to share the same latent space by calculating the distance between the latent variables. Through the proposed method mutual conversion of online and offline handwritten characters is possible. In this paper, we demonstrate the performance of the Cross-VAE through qualitative and quantitative analysis.


title: Enhancement of many-body quantum interference in chaotic bosonic systems

abstract: Although highly successful, the truncated Wigner approximation (TWA) leaves out many-body quantum interference between mean-field Gross-Pitaevskii solutions as well as other quantum effects, and is therefore essentially classical. Turned around, this implies that if a system's quantum properties deviate from TWA, they must be exhibiting some quantum phenomenon, such as localization, diffraction, or tunneling. Here, we consider in detail a particular interference effect arising from discrete symmetries, which can lead to a significant enhancement of quantum observables with respect to the TWA prediction, and derive an augmented version of the TWA in order to incorporate them. Using the Bose-Hubbard model for illustration, we further show strong evidence for the presence of dynamical localization due to remaining differences between the TWA predictions and quantum results.


title: Studies on the Software Testing Profession

abstract: This paper attempts to understand motivators and de-motivators that influence the decisions of software professionals to take up and sustain software testing careers across four different countries, i.e. Canada, China, Cuba, and India. The research question can be framed as "How many software professionals across different geographies are keen to take up testing careers, and what are the reasons for their choices?" Towards that, we developed a cross-sectional but simple survey-based instrument. In this study we investigated how software testers perceived and valued what they do and their environmental settings. The study pointed out the importance of visualizing software testing activities as a set of human-dependent tasks and emphasized the need for research that examines critically individual assessments of software testers about software testing activities. This investigation can help global industry leaders to understand the impact of work-related factors on the motivation of testing professionals, as well as inform and support management and leadership in this context.


title: 2-systems of arcs on spheres with prescribed endpoints

abstract: Let $S$ be an $n$-punctured sphere, with $n \geq 3$. We prove that $\binom{n}{3}$ is the maximum size of a family of pairwise non-homotopic simple arcs on $S$ joining a fixed pair of distinct punctures of $S$ and pairwise intersecting at most twice. On the way, we show that a square annular diagram $A$ has a corner on each of its boundary paths if $A$ contains at least one square and the dual curves of $A$ are simple arcs joining the boundary paths of $A$ and pairwise intersecting at most once.


title: Geometric band properties in strained monolayer transition metal dichalcogenides using simple band structures

abstract: Monolayer transition metal dichalcogenides (TMDs) bare large Berry curvature hotspots readily exploitable for geometric band effects. Tailoring and enhancement of these features via strain is an active research direction. Here, we consider spinless two- and three-band, and spinful four-band models capable to quantify Berry curvature and orbital magnetic moment of strained TMDs. First, we provide a $k\cdot p$ parameter set for MoS$_2$, MoSe$_2$, WS$_2$, and WSe$_2$ in the light of the recently released ab initio and experimental band properties. Its validity range extends from $K$ valley edge to about hundred millielectron volts into valence and conduction bands for these TMDs. To expand this over a larger part of the Brillouin zone, we incorporate strain to an available three-band tight-binding Hamiltonian. With these techniques we demonstrate that both the Berry curvature and the orbital magnetic moment can be doubled compared to their intrinsic values by applying typically a 2.5% biaxial tensile strain. These simple band structure tools can find application in the quantitative device modeling of the geometric band effects in strained monolayer TMDs.


title: Grounding Object Detections With Transcriptions

abstract: A vast amount of audio-visual data is available on the Internet thanks to video streaming services, to which users upload their content. However, there are difficulties in exploiting available data for supervised statistical models due to the lack of labels. Unfortunately, generating labels for such amount of data through human annotation can be expensive, time-consuming and prone to annotation errors. In this paper, we propose a method to automatically extract entity-video frame pairs from a collection of instruction videos by using speech transcriptions and videos. We conduct experiments on image recognition and visual grounding tasks on the automatically constructed entity-video frame dataset of How2. The models will be evaluated on new manually annotated portion of How2 dev5 and val set and on the Flickr30k dataset. This work constitutes a first step towards meta-algorithms capable of automatically construct task-specific training sets.


title: A Partially Reversible U-Net for Memory-Efficient Volumetric Image Segmentation

abstract: One of the key drawbacks of 3D convolutional neural networks for segmentation is their memory footprint, which necessitates compromises in the network architecture in order to fit into a given memory budget. Motivated by the RevNet for image classification, we propose a partially reversible U-Net architecture that reduces memory consumption substantially. The reversible architecture allows us to exactly recover each layer's outputs from the subsequent layer's ones, eliminating the need to store activations for backpropagation. This alleviates the biggest memory bottleneck and enables very deep (theoretically infinitely deep) 3D architectures. On the BraTS challenge dataset, we demonstrate substantial memory savings. We further show that the freed memory can be used for processing the whole field-of-view (FOV) instead of patches. Increasing network depth led to higher segmentation accuracy while growing the memory footprint only by a very small fraction, thanks to the partially reversible architecture.


title: Thermodynamics of Reissner-Nordstr\"om Black Holes in Higher Dimensions: Rainbow Gravity Background With General Uncertainty Principle

abstract: In this paper, we investigate the thermodynamic properties of Reissner-Nordstr\"om black holes embedded in higher $(d)$ dimensions in the framework of rainbow gravity incorporating the effects of the generalized uncertainty principle. We also examine all the properties graphically by varying the rainbow gravity parameter $\eta$ and the generalized uncertainty principle parameter $\alpha$. We find the existence of remnant and critical mass of the concerned black hole. We calculate the local temperature, local internal energy and hence we analyse the thermal stability of the black hole by computing the local heat capacity. Further, we study the phase transitions of the aforesaid black hole solution under the effects of generalized uncertainty principle. From the analysis of the specific heat at the horizon, we observe that there are phase transitions for all dimensions but when we analyze the same, measured by the local observer, we find that there exist only two phase transitions.


title: All-optical nanoscale heating and thermometry with resonant dielectric nanoparticles for photoinduced tumor treatment

abstract: All-dielectric nanophotonics becomes a versatile tool for various optical applications, including nanothermometry and optical heating. Its general concept includes excitation of Mie resonances in nonplasmonic nanoparticles. However, the potential of resonant dielectric nanoparticles in drug delivery applications still have not been fully realized. Here, optically resonant dielectric iron oxide nanoparticles ($\alpha$-Fe$_2$O$_3$ NPs) are employed for remote rupture of microcontainers used as drug delivery platform. It is theoretically and experimentally demonstrated, that $\alpha$-Fe$_2$O$_3$ NPs has several advantages in light-to-heat energy conversion comparing to previously used materials, such as noble metals and silicon, due to the broader spectral range of efficient optical heating, and in enhancement of thermally sensitive Raman signal. The $\alpha$-Fe$_2$O$_3$ NPs embedded into the wall of universal drug carriers, polymer capsules, are used to experimentally determine the local temperature of the capsule rupture upon laser irradiation (170$^o$C). As a proof of principle, we successfully show the delivery and remote release of anticancer drug vincristine upon lowered laser irradiation (4.0$\times$10$^4$~W/cm$^2$) using polymer capsules modified with the $\alpha$-Fe$_2$O$_3$ NPs. The biological tests were performed on two primary cell types: (i) carcinoma cells, as an example of malignant tumor, and (ii) human stem cells, as a model of healthy cells. The developed delivery system consisting of polymer capsules modified with the dielectric nanoparticles provides multifunctional platform for remote drug release and temperature detection.


title: Landslide Geohazard Assessment With Convolutional Neural Networks Using Sentinel-2 Imagery Data

abstract: In this paper, the authors aim to combine the latest state of the art models in image recognition with the best publicly available satellite images to create a system for landslide risk mitigation. We focus first on landslide detection and further propose a similar system to be used for prediction. Such models are valuable as they could easily be scaled up to provide data for hazard evaluation, as satellite imagery becomes increasingly available. The goal is to use satellite images and correlated data to enrich the public repository of data and guide disaster relief efforts for locating precise areas where landslides have occurred. Different image augmentation methods are used to increase diversity in the chosen dataset and create more robust classification. The resulting outputs are then fed into variants of 3-D convolutional neural networks. A review of the current literature indicates there is no research using CNNs (Convolutional Neural Networks) and freely available satellite imagery for classifying landslide risk. The model has shown to be ultimately able to achieve a significantly better than baseline accuracy.


title: The invisibility via anomalous localized resonance of a source for electromagnetic waves

abstract: We study the invisibility via anomalous localized resonance of a general source for electromagnetic waves in the setting of doubly complementary media. As a result, we show that cloaking is achieved if the power is blown up. We also reveal a critical length for the invisibility of a source that occurs when the plasmonic structure is complementary to an annulus of constant, isotropic medium.


title: Do we need two forms of feedback in the Rate Control Protocol (RCP)?

abstract: There is considerable interest in the networking community in explicit congestion control as it may allow the design of a fair, stable, low loss, low delay, and high utilization network. The Rate Control Protocol (RCP) is an example of such a congestion control protocol. The current design of RCP suggests that it should employ two forms of feedback; i.e. rate mismatch and queue size, in order to manage its flow control algorithms. An outstanding design question in RCP is whether the presence of queue size feedback is useful or not, given feedback based on rate mismatch. In this paper, we address this question using tools from control and bifurcation theory. We linearize the actual non-linear system and analyze the local asymptotic stability, robust stability and rate of convergence of both the design choices, i.e., with and without queue size feedback. But such analyses do not offer clear design recommendations on whether the queue feedback is useful or not. This motivates a bifurcation-theoretic analysis where we have to take non-linear terms into consideration, which helps to learn additional dynamical properties of the RCP system. In particular, we proceed to analyze two non-linear properties, namely, the type of Hopf bifurcation and the asymptotic stability of the bifurcating limit cycles. Analytical results reveal that the presence of queue feedback in RCP can induce a sub-critical Hopf bifurcation, which can lead to undesirable system behavior. Whereas, in the absence of queue feedback, the Hopf bifurcation is always super-critical where the bifurcating limit cycles are stable and of small amplitude. The analysis is corroborated by numerical computations and some packet-level simulations as well. Based on our work, the suggestion for RCP is to only include feedback based on rate mismatch in the design of the protocol.


title: Soft Subdivision Motion Planning for Complex Planar Robots

abstract: The design and implementation of theoretically-sound robot motion planning algorithms is challenging. Within the framework of resolution-exact algorithms, it is possible to exploit soft predicates for collision detection. The design of soft predicates is a balancing act between easily implementable predicates and their accuracy/effectivity. In this paper, we focus on the class of planar polygonal rigid robots with arbitrarily complex geometry. We exploit the remarkable decomposability property of soft collision-detection predicates of such robots. We introduce a general technique to produce such a decomposition. If the robot is an m-gon, the complexity of this approach scales linearly in m. This contrasts with the O(m^3) complexity known for exact planners. It follows that we can now routinely produce soft predicates for any rigid polygonal robot. This results in resolution-exact planners for such robots within the general Soft Subdivision Search (SSS) framework. This is a significant advancement in the theory of sound and complete planners for planar robots. We implemented such decomposed predicates in our open-source Core Library. The experiments show that our algorithms are effective, perform in real time on non-trivial environments, and can outperform many sampling-based methods.


title: Characterizing matrix monotonicity of fixed order on general sets

abstract: We give new characterizations for matrix monotonicity and convexity of fixed order which connects previous characterizations by Loewner, Dobsch, Donoghue, Kraus and Bendat--Sherman. The ideas introduced are then used to characterize matrix monotone functions of arbitrary order on general subsets of the real line.


title: Molecular complexity on disk-scales uncovered by ALMA: The chemical composition of the high-mass protostar AFGL 4176

abstract: The chemical composition of high-mass protostars reflects the physical evolution associated with different stages of star formation. In this study, the molecular inventory of the forming high-mass star AFGL 4176 is studied in detail at high angular resolution (~0.35 arcsec) using ALMA. This high resolution makes it possible to separate the emission associated with the inner hot envelope and disk around the forming star from that of its cool outer envelope. In addition, the high sensitivity of ALMA makes it possible to identify weak and optically thin lines and allows for many isotopologues to be detected, providing a more complete and accurate inventory of the source. A total of 23 different molecular species and their isotopologues are detected in the spectrum towards AFGL 4176. The most abundant species is methanol (CH3OH), remaining species are present at levels between 0.003 % and 15 % with respect to CH3OH. Hints that N-bearing species peak slightly closer to the location of the peak continuum emission than the O-bearing species are seen. AFGL 4176 comprises a rich chemical inventory including many complex species present on disk-scales. On average, the derived column density ratios with respect to methanol of O-bearing species are higher than those derived for N-bearing species by a factor of three. This may indicate that AFGL 4176 is a relatively young source since nitrogen chemistry generally takes longer to evolve in the gas-phase. Taking methanol as a reference, the composition of AFGL 4176 more closely resembles that of the low-mass protostar IRAS 16293-2422B than that of high-mass star-forming regions located near the Galactic centre. This similarity hints that the chemical composition of complex species is already set in the cold cloud stage and implies that AFGL 4176 is a young source whose chemical composition has not yet been strongly processed by the central protostar.


title: On Embedding De Bruijn Sequences by Increasing the Alphabet Size

abstract: The generalization of De Bruijn sequences to infinite sequences with respect to the order $n$ has been studied iand it was shown that every de Bruijn sequence of order $n$ in at least three symbols can be extended to a de Bruijn sequence of order $n + 1$. Every de Bruijn sequence of order $n$ in two symbols can not be extended to order $n + 1$, but it can be extended to order $n + 2$. A natural question to ask is if this theorem is true with respect to the alphabet. That is, we would like to understand if we can extend a De Bruijn sequence of order $n$ over alphabet $k$ into a into a De Bruijn sequence of order $n$ and alphabet $k+1$. We call a De Bruijn sequence with this property an Onion De Bruijn sequence. In this paper we show that the answer to this question is positive. In fact, we prove that the well known Prefer Max De Bruijn sequence has this property, and in fact every sequence with this property behaves like the Prefer max De Bruijn sequence.


title: WaveletBrain: Characterization of human brain via spectral graph wavelets

abstract: Early diagnosis of Alzheimer's disease plays a key role in understanding the degree of the patient's mental decline and determining preventive therapies. In this study, we introduce WaveletBrain, a novel representation of the white and gray matter surfaces of the cortex. The proposed framework innovates by deriving localized shape information from a global harmonic representation, that can be used in large-scale population studies of surface data. Results show that WaveletBrain leads to statistically significant improvements in comparison to the ShapeDNA representation in a variety of experiments including (i) classification of Alzheimer's disease, normal aging, and mild cognitive impairment, (ii) sex classification and (iii) age prediction of subjects. We performed our analysis on 719 patients and 2,876 surfaces. While this work focuses primarily on Alzheimer's disease diagnosis, our proposed framework can be used to address general surface analysis problems in neuroscience.


title: A new data fitting method for stretched Gaussian noise: stretched least square method

abstract: Stretched Gaussian distribution is the fundamental solution of the Hausdorff derivative diffusion equation and its corresponding stretched Gaussian noise is a widely encountered non-Gaussian noise in science and engineering. The least square method is a standard regression approach to fit Gaussian noisy data, but has distinct limits for non-Gaussian noise. Based on the Hausdorff calculus, this study develops a stretched least square method to fit stretched Gaussian noise by using the Hausdorff fractal distance as the horizontal coordinate. To better compare with the least square method, different high levels of stretched Gaussian noise are added to real values. Numerical experiments show the stretched least square method is more accurate specific in fitting stretched Gaussian noise than the least square method.


title: Quantitative properties of the non-properness set of a polynomial map, a positive characteristic case

abstract: Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points at which $f$ is not proper, is covered by polynomial curves of degree at most $d-1$. In this paper we generalize this result to positive characteristic. We provide a geometric proof of an upper bound by $d$.


title: Testing the gravitational redshift with Galileo satellites

abstract: We present the results of the analysis of the GREAT (Galileo gravitational Redshift test with Eccentric sATellites) experiment from SYRTE (Observatoire de Paris), funded by the European Space Agency. An elliptic orbit induces a periodic modulation of the fractional frequency difference between a ground clock and the satellite clock, while the good stability of Galileo clocks allows to test this periodic modulation to a high level of accuracy. Galileo satellites GSAT0201 and GSAT0202, with their large eccentricity and on-board H-maser clocks, are perfect candidates to perform this test. By analyzing 1008 days of eccentric Galileo satellites data we measure the fractional deviation of the gravitational redshift from the prediction by general relativity to be $(+0.19 \pm 2.48)\times10^{-5}$ at 1 sigma, improving the best previous test by Gravity Probe A by a factor~5.6. Moreover, we apply the exact same analysis to two almost circular Galileo satellites, in order to show the robustness of the method. By analyzing 899 days of circular Galileo satellites data we measure the fractional deviation of the gravitational redshift from the prediction by general relativity to be $(+0.29 \pm 2.00)\times10^{-2}$ at 1 sigma.


title: FRIGA, A New Approach To Identify Isotopes and Hyper-nuclei In N-Body Transport Models

abstract: We present a new approach to identify fragments in computer simulations of relativistic heavy ion collisions. It is based on the simulated annealing technique and can be applied to n-body transport models like the Quantum Molecular Dynamics. This new approach is able to predict isotope yields as well as hyper-nucleus production. In order to illustrate its predicting power, we confront this new method with experimental data and show the sensitivity on the parameters which govern the cluster formation.


title: How tree-based is my network? Proximity measures for unrooted phylogenetic networks

abstract: Tree-based networks are a class of phylogenetic networks that attempt to formally capture what is meant by "tree-like" evolution. A given non-tree-based phylogenetic network, however, might appear to be very close to being tree-based, or very far. In this paper, we formalise the notion of proximity to tree-based for unrooted phylogenetic networks, with a range of proximity measures. These measures also provide characterisations of tree-based networks. One measure in particular, related to the nearest neighbour interchange operation, allows us to define the notion of "tree-based rank". This provides a subclassification within the tree-based networks themselves, identifying those networks that are "very" tree-based. Finally, we prove results relating tree-based networks in the settings of rooted and unrooted phylogenetic networks, showing effectively that an unrooted network is tree-based if and only if it can be made a rooted tree-based network by rooting it and orienting the edges appropriately. This leads to a clarification of the contrasting decision problems for tree-based networks, which are polynomial in the rooted case but NP complete in the unrooted.


title: Model Risk in Credit Risk

abstract: The issue of model risk in default modeling has been known since inception of the Academic literature in the field. However, a rigorous treatment requires a description of all the possible models, and a measure of the distance between a single model and the alternatives, consistent with the applications. This is the purpose of the current paper. We first analytically describe all possible joint models for default, in the class of finite sequences of exchangeable Bernoulli random variables. We then measure how the model risk of choosing or calibrating one of them affects the portfolio loss from default, using two popular and economically sensible metrics, Value-at-Risk (VaR) and Expected Shortfall (ES).


title: A quick how-to user-guide to debunking pseudoscientific claims

abstract: Have you ever wondered why we have never heard of psychics and palm readers winning millions of dollars in state or local lotteries or becoming Wall Street wolfs? Neither have I. Yet we are constantly bombarded by tabloid news on how vaccines cause autism (hint: they do not), or some unknown firm building a mega-drive that defies the laws of physics (nope, that drive does not work either). And the list continues on and on and on. Sometimes it looks quite legit as, say, various natural vitamin supplements that supposedly increase something that cannot be increased, or enhance something else that is most likely impossible to enhance by simply swallowing a few pills. Or constantly evolving diets that sure work giving a false relieve to those who really need to stop eating too much and actually pay frequent visits to a local gym. It is however understandable that most of us fall for such products and news just because we cannot be experts in everything, and we tend to trust various mass-media sources without even a glimpse of skepticism. So how can we distinguish between baloney statements and real exciting scientific discoveries and breakthroughs? In what follows I will try to do my best to provide a simple how-to user guide to debunking pseudoscientific claims.


title: Online Active Learning of Reject Option Classifiers

abstract: Active learning is an important technique to reduce the number of labeled examples in supervised learning. Active learning for binary classification has been well addressed in machine learning. However, active learning of the reject option classifier remains unaddressed. In this paper, we propose novel algorithms for active learning of reject option classifiers. We develop an active learning algorithm using double ramp loss function. We provide mistake bounds for this algorithm. We also propose a new loss function called double sigmoid loss function for reject option and corresponding active learning algorithm. We offer a convergence guarantee for this algorithm. We provide extensive experimental results to show the effectiveness of the proposed algorithms. The proposed algorithms efficiently reduce the number of label examples required.


title: Neutrino flavor oscillations in stochastic gravitational waves

abstract: We study neutrino flavor oscillations in a plane gravitational wave (GW) with circular polarization. For this purpose we use the solution of the Hamilton-Jacobi equation to get the contribution of GW to the effective Hamiltonian for the neutrino mass eigenstates. Then, considering stochastic GWs, we derive the equation for the density matrix for flavor neutrinos and analytically solve it in the two flavors approximation. The equation for the density matrix for the three neutrino flavors is also derived and solved numerically. In both cases of two and three neutrino flavors, we predict the ratios of fluxes of different flavors at a detector for cosmic neutrinos with relatively low energies owing to the interaction with such a GW background. The obtained results are compared with the recent observation of the flavor content of the astrophysical neutrino fluxes.


title: Regular multihorizon black holes in $f(G)$ gravity with nonlinear electrodynamics

abstract: In this work, we study the existence of regular black holes solutions with multihorizons in general relativity and in some alternative theories of gravity. We consider the coupling between the gravitational theory and nonlinear electrodynamics. The coupling generates modifications in the electromagnetic sector. This paper has as main objective generalize solutions already known from general relativity to the $f(G)$ theory. To do that, we first correct some misprints of the Odintsov and Nojiri's work in order to introduce the formalism that will be used in the $f(G)$ gravity. In order to satisfy all field equations, the method to find solutions in alternative theories generates different $f(R)$ and $f(G)$ functions for each solution, where only the nonlinear term of $f(G)$ contributes to the field equations. We also analyze the energy conditions, since it is expected that some must be violated to find regular black holes, and using an auxiliary field, we analyze the nonlinearity of the electromagnetic theory.


title: Closed-loop control of a GaAs-based singlet-triplet spin qubit with 99.5% gate fidelity and low leakage

abstract: Semiconductor spin qubits have recently seen major advances in coherence time and control fidelities, leading to a single-qubit performance that is on par with other leading qubit platforms. Most of this progress is based on microwave control of single spins in devices made of isotopically purified silicon. For controlling spins, the exchange interaction is an additional key ingredient which poses new challenges for high-fidelity control. Here, we demonstrate exchange-based single-qubit gates of two-electron spin qubits in GaAs double quantum dots. Using careful pulse optimization and closed-loop tuning, we achieve a randomized benchmarking fidelity of $(99.50 \pm 0.04)\%$ and a leakage rate of $0.13\%$ out of the computational subspace. These results open new perspectives for microwave-free control of singlet-triplet qubits in GaAs and other materials.


title: FPScreen: A Rapid Similarity Search Tool for Massive Molecular Library Based on Molecular Fingerprint Comparison

abstract: We designed a fast similarity search engine for large molecular libraries: FPScreen. We downloaded 100 million molecules' structure files in PubChem with SDF extension, then applied a computational chemistry tool RDKit to convert each structure file into one line of text in MACCS format and stored them in a text file as our molecule library. The similarity search engine compares the similarity while traversing the 166-bit strings in the library file line by line. FPScreen can complete similarity search through 100 million entries in our molecule library within one hour. That is very fast as a biology computation tool. Additionally, we divided our library into several strides for parallel processing. FPScreen was developed in WEB mode.


title: Cross-cultural data shows musical scales evolved to maximise imperfect fifths

abstract: Musical scales are used throughout the world, but the question of how they evolved remains open. Some suggest that scales based on the harmonic series are inherently pleasant, while others propose that scales are chosen that are easy to communicate. However, testing these theories has been hindered by the sparseness of empirical evidence. Here, we assimilate data from diverse ethnomusicological sources into a cross-cultural database of scales. We generate populations of scales based on multiple theories and assess their similarity to empirical distributions from the database. Most scales tend to include intervals which are close in size to perfect fifths (``imperfect fifths''), and packing arguments explain the salient features of the distributions. Scales are also preferred if their intervals are compressible, which may facilitate efficient communication and memory of melodies. While scales appear to evolve according to various selection pressures, the simplest h imperfect-fifths packing model best fits the empirical data.


title: Deep Learning-Based Decoding of Constrained Sequence Codes

abstract: Constrained sequence (CS) codes, including fixed-length CS codes and variable-length CS codes, have been widely used in modern wireless communication and data storage systems. Sequences encoded with constrained sequence codes satisfy constraints imposed by the physical channel to enable efficient and reliable transmission of coded symbols. In this paper, we propose using deep learning approaches to decode fixed-length and variable-length CS codes. Traditional encoding and decoding of fixed-length CS codes rely on look-up tables (LUTs), which is prone to errors that occur during transmission. We introduce fixed-length constrained sequence decoding based on multiple layer perception (MLP) networks and convolutional neural networks (CNNs), and demonstrate that we are able to achieve low bit error rates that are close to maximum a posteriori probability (MAP) decoding as well as improve the system throughput. Further, implementation of capacity-achieving fixed-length codes, where the complexity is prohibitively high with LUT decoding, becomes practical with deep learning-based decoding. We then consider CNN-aided decoding of variable-length CS codes. Different from conventional decoding where the received sequence is processed bit-by-bit, we propose using CNNs to perform one-shot batch-processing of variable-length CS codes such that an entire batch is decoded at once, which improves the system throughput. Moreover, since the CNNs can exploit global information with batch-processing instead of only making use of local information as in conventional bit-by-bit processing, the error rates can be reduced. We present simulation results that show excellent performance with both fixed-length and variable-length CS codes that are used in the frontiers of wireless communication systems.


title: Precise prediction for the Higgs-Boson Masses in the $\mu\nu$SSM with three right-handed neutrino superfields

abstract: The $\mu\nu$SSM is a simple supersymmetric extension of the Standard Model (SM) capable of describing neutrino physics in agreement with experiments. We perform the complete one-loop renormalization of the neutral scalar sector of the $\mu\nu$SSM with three generation of right-handed neutrinos in a mixed on-shell/$\overline{\mathrm{DR}}$ scheme. We calculate the full one-loop corrections to the neutral scalar masses of the $\mu\nu$SSM. The one-loop contributions are supplemented by available MSSM higher-order corrections. We obtain numerical results for a SM-like Higgs-boson mass consistent with experimental bounds, while simultaneously agreeing with neutrino oscillation data. We illustrate the distinct phenomenology of the $\mu\nu$SSM in scenarios in which one or more right-handed sneutrinos are lighter than the SM-like Higgs boson, which might be substantially mixed with them. These scenarios are experimentally accessible, on the one hand, through direct searches of the right-handed sneutrinos decaying into SM particles, and on the other hand, via the measurements of the SM-like Higgs-boson mass and its couplings. In this way the parameter space of the $\mu\nu$SSM can be probed without the need to propose model dependent searches at colliders. Finally, we demonstrate how the $\mu\nu$SSM can simultaneously accommodate two excesses measured at LEP and LHC at $\sim 96$ GeV at the $1\sigma$ level, while at the same time reproducing neutrino masses and mixings in agreement with neutrino oscillation measurements.


title: Morphisms generating antipalindromic words

abstract: We introduce two classes of morphisms over the alphabet $A=\{0,1\}$ whose fixed points contain infinitely many antipalindromic factors. An antipalindrome is a finite word invariant under the action of the antimorphism $\mathrm{E}:\{0,1\}^*\to\{0,1\}^*$, defined by $\mathrm{E}(w_1\cdots w_n)=(1-w_{n})\cdots(1-w_1)$. We conjecture that these two classes contain all morphisms (up to conjugation) which generate infinite words with infinitely many antipalindromes. This is an analogue to the famous HKS conjecture concerning infinite words containing infinitely many palindromes. We prove our conjecture for two special classes of morphisms, namely (i) uniform morphisms and (ii) morphisms with fixed points containing also infinitely many palindromes.


title: What Stabilizes the Intermediate Structure of an Amorphous Alloy?

abstract: We present the results of simulation studies of a model binary metal-metalloid alloy in which we characterize and explain the local coordination structure, the intermediate structure associated with the packing of these coordination polyhedra and the thermal stability of the various structural elements of this model amorphous solid.


title: New inequalities for permanents and hafnians and some generalizations

abstract: We show new upper bounds for permanents and hafnians, which are particularly useful for complex matrices. Multidimensional permanents and hyperhafnians are considered as well. The permanental bounds improve on a Hadamard type inequality of Carlen, Lieb and Loss (2006, Methods and Applications of Analysis 13, 1--17) and Cobos, K\"uhn and Peetre (2006, Integral Equations and Operator Theory 56, 57--70). Our proofs are based on a more general inequality, which can be applied to generalized Laplace type expansions of the matrix functions under consideration. As application, we show new bounds on the characteristic function of random diagonal sums. A numerical comparison shows the performance of some of our permanental bounds.


title: Categorical Extension of Dualities: From Stone to de Vries and Beyond, I

abstract: Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category $\bf KHaus$ of compact Hausdorff spaces and their continuous maps, as an extension of a restricted Stone duality. Then, applying a dualization of the categorical framework to the de Vries duality, we give an alternative proof of the extension of the de Vries duality to the category $\bf Tych$ of Tychonoff spaces that was provided by Bezhanishvili, Morandi and Olberding. In the process of doing so, we obtain new duality theorems for both categories, $\bf{KHaus}$ and $\bf Tych$.


title: Curriculum Learning for Cumulative Return Maximization

abstract: Curriculum learning has been successfully used in reinforcement learning to accelerate the learning process, through knowledge transfer between tasks of increasing complexity. Critical tasks, in which suboptimal exploratory actions must be minimized, can benefit from curriculum learning, and its ability to shape exploration through transfer. We propose a task sequencing algorithm maximizing the cumulative return, that is, the return obtained by the agent across all the learning episodes. By maximizing the cumulative return, the agent not only aims at achieving high rewards as fast as possible, but also at doing so while limiting suboptimal actions. We experimentally compare our task sequencing algorithm to several popular metaheuristic algorithms for combinatorial optimization, and show that it achieves significantly better performance on the problem of cumulative return maximization. Furthermore, we validate our algorithm on a critical task, optimizing a home controller for a micro energy grid.


title: A second order cone characterization for sums of nonnegative circuits

abstract: The second-order cone is a class of simple convex cones and optimizing over them can be done more efficiently than with semidefinite programming. It is interesting both in theory and in practice to investigate which convex cones admit a representation using second-order cones, given that they have a strong expressive ability. In this paper, we prove constructively that the cone of sums of nonnegative circuits (SONC) admits a second-order cone representation. Based on this, we give a new algorithm to compute SONC decompositions for certain classes of nonnegative polynomials via second-order cone programming. Numerical experiments demonstrate the efficiency of our algorithm for polynomials with a fairly large size.


title: Dense Deformation Network for High Resolution Tissue Cleared Image Registration

abstract: The recent application of deep learning in various areas of medical image analysis has brought excellent performance gains. In particular, technologies based on deep learning in medical image registration can outperform traditional optimisation-based registration algorithms both in registration time and accuracy. However, the U-net based architectures used in most of the image registration frameworks downscale the data, which removes global information and affects the deformation. In this paper, we present a densely connected convolutional architecture for deformable image registration. Our proposed dense network downsizes data only in one stage and have dense connections instead of the skip connections in U-net architecture. The training of the network is unsupervised and does not require ground-truth deformation or any synthetic deformation as a label. The proposed architecture is trained and tested on two different versions of tissue-cleared data, at 10\% and 25\% resolution of the original single-cell-resolution dataset. We demonstrate comparable registration performance to state-of-the-art registration methods and superior performance to the deep-learning based VoxelMorph method in terms of accuracy and increased resolution handling ability. In both resolutions, the proposed DenseDeformation network outperforms VoxelMorph in registration accuracy. Importantly, it can register brains in one minute where conventional methods can take hours at 25\% resolution.


title: Topic Modeling via Full Dependence Mixtures

abstract: In this paper we introduce a new approach to topic modelling that scales to large datasets by using a compact representation of the data and by leveraging the GPU architecture. In this approach, topics are learned directly from the co-occurrence data of the corpus. In particular, we introduce a novel mixture model which we term the Full Dependence Mixture (FDM) model. FDMs model second moment under general generative assumptions on the data. While there is previous work on topic modeling using second moments, we develop a direct stochastic optimization procedure for fitting an FDM with a single Kullback Leibler objective. Moment methods in general have the benefit that an iteration no longer needs to scale with the size of the corpus. Our approach allows us to leverage standard optimizers and GPUs for the problem of topic modeling. In particular, we evaluate the approach on two large datasets, NeurIPS papers and a Twitter corpus, with a large number of topics, and show that the approach performs comparably or better than the the standard benchmarks.


title: Noether theorem for action-dependent Lagrangian functions: conservation laws for non-conservative systems

abstract: In the present work, we formulate a generalization of the Noether Theorem for action-dependent Lagrangian functions. The Noether's theorem is one of the most important theorems for physics. It is well known that all conservation laws, \textrm{e.g.}, conservation of energy and momentum, are directly related to the invariance of the action under a family of transformations. However, the classical Noether theorem cannot be applied to study non-conservative systems because it is not possible to formulate physically meaningful Lagrangian functions for this kind of systems in the classical calculus of variation. On the other hand, recently it was shown that an Action Principle with action-dependent Lagrangian functions provides physically meaningful Lagrangian functions for a huge variety of non-conservative systems (classical and quantum). Consequently, the generalized Noether Theorem we present enable us to investigate conservation laws of non-conservative systems. In order to illustrate the potential of application, we consider three examples of dissipative systems and we analyze the conservation laws related to spacetime transformations and internal symmetries.

categories: math-ph math.MP math.OC physics.class-ph


title: Deforming black holes with odd multipolar differential rotation boundary

abstract: Motivated by the novel asymptotically global AdS$_4$ solutions with deforming horizon in [JHEP {\bf 1802}, 060 (2018)], we analyze the boundary metric with odd multipolar differential rotation and numerically construct a family of deforming solutions with tripolar differential rotation boundary, including two classes of solutions: solitons and black holes. We find that the maximal values of the rotation parameter $\varepsilon$, below which the stable large black hole solutions could exist, are not a constant for $T> T_{schw}=\sqrt{3}/2\pi\simeq0.2757$. When temperature is much higher than $ T_{schw}$, even though the norm of Killing vector $\partial_{t}$ keeps timelike for some regions of $\varepsilon<2$, solitons and black holes with tripolar differential rotation could be unstable and develop hair due to superradiance. As the temperature $T$ drops toward $T_{schw}$, we find that though there exists the spacelike Killing vector $\partial_{t}$ for some regions of $\varepsilon>2$, solitons and black holes still exist and do not develop hair due to superradiance. Moreover, for $T\leqslant T_{schw}$, the curves of entropy firstly combine into one curve and then separate into two curves again, in the case of each curve there are two solutions at a fixed value of $\varepsilon$. In addition, we study the deformations of horizon for black holes by using an isometric embedding in the hyperbolic three-dimensional space. Furthermore, we also study the quasinormal modes of the solitons and black holes, which have analogous behaviours to that of dipolar rotation and quadrupolar rotation.


title: A Holistic Survey of Wireless Multipath Video Streaming

abstract: Most of today's mobile devices are equipped with multiple network interfaces and one of the main bandwidth-hungry applications that would benefit from multipath communications is wireless video streaming. However, most of the current transport protocols do not match the requirements of video streaming applications or are not designed to address relevant issues, such as delay constraints, networks heterogeneity, and head-of-line blocking issues. This survey provides a holistic literature review of multipath wireless video streaming, shedding light on the different alternatives from an end-to-end layered stack perspective, unveiling trade-offs of each approach, and presenting a suitable taxonomy to classify the state-of-the-art. Finally, we discuss open issues and avenues for future work.


title: On the discontinuity of the quantum Fisher information for quantum statistical models with parameter dependent rank

abstract: We address the discontinuities of the quantum Fisher information (QFI) that may arise when the parameter of interest takes values that change the rank of the quantum statistical model. We revisit the classical and the quantum Cram\'er-Rao theorems, show that they do not hold in these limiting cases, and discuss how this impacts on the relationship between the QFI and the Bures metric. In order to illustrate the metrological implications of our findings, we present two paradigmatic examples, where we discuss in detail the role of the discontinuities and show that the Cram\'er-Rao may be easily violated.


title: Terahertz Acceleration Technology Towards Compact Light Sources

abstract: The concepts in this thesis comprise three groups focusing on: (1) fast electron sources, (2) THz injectors, and (3) THz linacs. First, the feasibility of ultrafast, high-yield electron emitters based on nanostructured cathodes is demonstrated. Benefitting from field enhancement effects, namely tip-enhancement and plasmonic enhancement, laser-induced field emission is realized over large, dense and highly uniform field emitter arrays. The theoretical principles of these field emitter arrays are studied and their suitability for pico-Coulomb charge production over femtosecond time-scales is confirmed. In the framework of THz injectors, two ground-breaking concepts including ultrafast single-cycle THz guns and segmented THz electron accelerator and manipulator (STEAM) devices are developed and tested. The possibility of using transient fields to realize ultrahigh acceleration gradients close to 0.5 GeV/m is confirmed. Specifically, a STEAM device capable of performing multiple high-field operations on the 6D-phase-space of ultrashort electron bunches is demonstrated. With this single device, powered by few-micro-Joule, single-cycle, 0.3 THz pulses, we demonstrated record THz-acceleration of >30 keV, streaking with <10fs resolution, focusing with >2 kT/m strength, compression to ~ 100 fs as well as real-time switching between these modes of operation. Travelling wave THz linacs based on dielectric-loaded metallic waveguides operating under few-cycle excitations are proposed. Based on this concept, keV-level energy gain through a linear accelerator using optically-generated THz pulses is demonstrated. Moreover, the possibility of electron acceleration to tens of MeV with millijoule level THz pulses is theoretically shown. The final goal of the above studies is a fully THz-driven compact light source facility, whose start-to-end simulation is fulfilled in this thesis.


title: NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language

abstract: Rule-based models are attractive for various tasks because they inherently lead to interpretable and explainable decisions and can easily incorporate prior knowledge. However, such systems are difficult to apply to problems involving natural language, due to its linguistic variability. In contrast, neural models can cope very well with ambiguity by learning distributed representations of words and their composition from data, but lead to models that are difficult to interpret. In this paper, we describe a model combining neural networks with logic programming in a novel manner for solving multi-hop reasoning tasks over natural language. Specifically, we propose to use a Prolog prover which we extend to utilize a similarity function over pretrained sentence encoders. We fine-tune the representations for the similarity function via backpropagation. This leads to a system that can apply rule-based reasoning to natural language, and induce domain-specific rules from training data. We evaluate the proposed system on two different question answering tasks, showing that it outperforms two baselines -- BIDAF (Seo et al., 2016a) and FAST QA (Weissenborn et al., 2017b) on a subset of the WikiHop corpus and achieves competitive results on the MedHop data set (Welbl et al., 2017).


title: Global and Local Interpretability for Cardiac MRI Classification

abstract: Deep learning methods for classifying medical images have demonstrated impressive accuracy in a wide range of tasks but often these models are hard to interpret, limiting their applicability in clinical practice. In this work we introduce a convolutional neural network model for identifying disease in temporal sequences of cardiac MR segmentations which is interpretable in terms of clinically familiar measurements. The model is based around a variational autoencoder, reducing the input into a low-dimensional latent space in which classification occurs. We then use the recently developed `concept activation vector' technique to associate concepts which are diagnostically meaningful (eg. clinical biomarkers such as `low left-ventricular ejection fraction') to certain vectors in the latent space. These concepts are then qualitatively inspected by observing the change in the image domain resulting from interpolations in the latent space in the direction of these vectors. As a result, when the model classifies images it is also capable of providing naturally interpretable concepts relevant to that classification and demonstrating the meaning of those concepts in the image domain. Our approach is demonstrated on the UK Biobank cardiac MRI dataset where we detect the presence of coronary artery disease.


title: The scientific case for brain simulations

abstract: A key element of the European Union's Human Brain Project (HBP) and other large-scale brain research projects is simulation of large-scale model networks of neurons. Here we argue why such simulations will likely be indispensable for bridging the scales between the neuron and system levels in the brain, and a set of brain simulators based on neuron models at different levels of biological detail should thus be developed. To allow for systematic refinement of candidate network models by comparison with experiments, the simulations should be multimodal in the sense that they should not only predict action potentials, but also electric, magnetic, and optical signals measured at the population and system levels.


title: $H^{s,p}$ regularity theory for a class of nonlocal elliptic equations

abstract: In this paper, we study the regularity of weak solutions to a class of nonlocal elliptic equations in Bessel potential spaces $H^{s,p}$. Our main results can be seen as an extension of the well-known $W^{1,p}$ regularity theory for local second-order elliptic equations in divergence form to the nonlocal setting.


title: Massive MIMO Radar for Target Detection

abstract: Since the seminal paper by Marzetta from 2010, the Massive MIMO paradigm in communication systems has changed from being a theoretical scaled-up version of MIMO, with an infinite number of antennas, to a practical technology. Its key concepts have been adopted in the 5G new radio standard and base stations, where $64$ fully-digital transceivers have been commercially deployed. Motivated by these recent developments, this paper considers a co-located MIMO radar with $M_T$ transmitting and $M_R$ receiving antennas and explores the potential benefits of having a large number of virtual spatial antenna channels $N=M_TM_R$. Particularly, we focus on the target detection problem and develop a \textit{robust} Wald-type test that guarantees certain detection performance, regardless of the unknown statistical characterization of the clutter disturbance. Closed-form expressions for the probabilities of false alarm and detection are derived for the asymptotic regime $N\to \infty$. Numerical results are used to validate the asymptotic analysis in the finite system regime with different disturbance models. Our results imply that there always exists a sufficient number of antennas for which the performance requirements are satisfied, without any a-priori knowledge of the clutter statistics. This is referred to as the Massive MIMO regime of the radar system.


title: On the Degree Sequences of Multigraphs with Edge Additions and Deletions

abstract: The degree sequence of a graph is a numerical method to characterize the properties of graphs. Generalized forms of degree sequences exist for complete graphs and complete graphs. Nikolopolus et al. characterized the number of spanning trees from edge deletions and edge additions. Instead of investigating the number of spanning trees of graphs that arise from edge additions and deletions, we sought to characterize degree sequences of such graphs. We conjecture a characterization for the degree sequence of the addition and edge deletion for many families of graphs including threshold graphs and complete multigraphs. Keywords: multigraphs, split graphs, degree sequence, threshold graph, Havel-Hakimi, Ruch-Gutman, Edge Deletion


title: Novel signatures of dark matter in laser-interferometric gravitational-wave detectors

abstract: Dark matter may induce apparent temporal variations in the physical "constants", including the electromagnetic fine-structure constant and fermion masses. In particular, a coherently oscillating classical dark-matter field may induce apparent oscillations of physical constants in time, while the passage of macroscopic dark-matter objects (such as topological defects) may induce apparent transient variations in the physical constants. In this paper, we point out several new signatures of the aforementioned types of dark matter that can arise due to the geometric asymmetry created by the beam-splitter in a two-arm laser interferometer. These new signatures include dark-matter-induced time-varying size changes of a freely-suspended beam-splitter and associated time-varying shifts of the main reflecting surface of the beam-splitter that splits and recombines the laser beam, as well as time-varying refractive-index changes in the freely-suspended beam-splitter and time-varying size changes of freely-suspended arm mirrors. We demonstrate that existing ground-based experiments already have sufficient sensitivity to probe extensive regions of unconstrained parameter space in models involving oscillating scalar dark-matter fields and domain walls composed of scalar fields. In the case of oscillating dark-matter fields, Michelson interferometers $-$ in particular, the GEO600 detector $-$ are especially sensitive. The sensitivity of Fabry-Perot-Michelson interferometers, including LIGO, VIRGO and KAGRA, to oscillating dark-matter fields can be significantly increased by making the thicknesses of the freely-suspended Fabry-Perot arm mirrors different in the two arms. We also discuss how small-scale Michelson interferometers, such as the Fermilab holometer, could be used to perform resonant narrowband searches for oscillating dark-matter fields with enhanced sensitivity to dark matter.


title: A Congruence-based Perspective on Automata Minimization Algorithms

abstract: In this work we use a framework of finite-state automata constructions based on equivalences over words to provide new insights on the relation between well-known methods for computing the minimal deterministic automaton of a language.


title: R2D2: Repeatable and Reliable Detector and Descriptor

abstract: Interest point detection and local feature description are fundamental steps in many computer vision applications. Classical methods for these tasks are based on a detect-then-describe paradigm where separate handcrafted methods are used to first identify repeatable keypoints and then represent them with a local descriptor. Neural networks trained with metric learning losses have recently caught up with these techniques, focusing on learning repeatable saliency maps for keypoint detection and learning descriptors at the detected keypoint locations. In this work, we argue that salient regions are not necessarily discriminative, and therefore can harm the performance of the description. Furthermore, we claim that descriptors should be learned only in regions for which matching can be performed with high confidence. We thus propose to jointly learn keypoint detection and description together with a predictor of the local descriptor discriminativeness. This allows us to avoid ambiguous areas and leads to reliable keypoint detections and descriptions. Our detection-and-description approach, trained with self-supervision, can simultaneously output sparse, repeatable and reliable keypoints that outperforms state-of-the-art detectors and descriptors on the HPatches dataset. It also establishes a record on the recently released Aachen Day-Night localization dataset.


title: Factorized Higher-Order CNNs with an Application to Spatio-Temporal Emotion Estimation

abstract: Training deep neural networks with spatio-temporal (i.e., 3D) or multidimensional convolutions of higher-order is computationally challenging due to millions of unknown parameters across dozens of layers. To alleviate this, one approach is to apply low-rank tensor decompositions to convolution kernels in order to compress the network and reduce its number of parameters. Alternatively, new convolutional blocks, such as MobileNet, can be directly designed for efficiency. In this paper, we unify these two approaches by proposing a tensor factorization framework for efficient multidimensional (separable) convolutions of higher-order. Interestingly, the proposed framework enables a novel higher-order transduction, allowing to train a network on a given domain (e.g., 2D images or N-dimensional data in general) and using transduction to generalize to higher-order data such as videos (or (N+K)-dimensional data in general), capturing for instance temporal dynamics while preserving the learnt spatial information. We apply the proposed methodology, coined CP-Higher-Order Convolution (HO-CPConv), to spatio-temporal facial emotion analysis. Most existing facial affect models focus on static imagery and discard all temporal information. This is due to the above-mentioned burden of training 3D convolutional nets and the lack of large bodies of video data annotated by experts. We address both issues with our proposed framework. Initial training is first done on static imagery before using transduction to generalize to the temporal domain. We demonstrate superior performance on three challenging large scale affect estimation datasets, AffectNet, SEWA, and AFEW-VA.


title: Peskun-Tierney ordering for Markov chain and process Monte Carlo: beyond the reversible scenario

abstract: Historically time-reversibility of the transitions or processes underpinning Markov chain Monte Carlo methods (MCMC) has played a key r\^ole in their development, while the self-adjointness of associated operators together with the use of classical functional analysis techniques on Hilbert spaces have led to powerful and practically successful tools to characterize and compare their performance. Similar results for algorithms relying on nonreversible Markov processes are scarce. We show that for a type of nonreversible Monte Carlo Markov chains and processes, of current or renewed interest in the Physics and Statistical literatures, it is possible to develop comparison results which closely mirror those available in the reversible scenario. We show that these results shed light on earlier literature, proving some conjectures and strengthening some earlier results.


title: Effect of Horizontal Spacing and Tilt Angle on Thermo-Buoyant Natural Convection from Two Horizontally Aligned Square Cylinders

abstract: Laminar natural convection heat transfer from two horizontally aligned square cylinders has been investigated numerically using a finite-volume method (FVM) approach. Computations were performed to delineate the momentum and heat transfer characteristics under the following ranges of parameters: horizontal spacing between the cylinders (0 <= S/W <= 10), tilt angle of the square cylinder (0^0 <= {\delta} <= 60^0), and Grashof number (10 <= Gr <= 10^5) for some specific Newtonian fluids having Prandtl number (0.71 <= Pr <= 7). The comprehensive results are represented in terms of temperature contours and streamlines, velocity and temperature profiles, the mass flow rate in the passage between the cylinders, local and average Nu, and the drag coefficient. Owing to the development of a chimney effect, the heat transfer increases with decrease in the horizontal spacing up to a certain limit, whereas it significantly degrades with a further decrease in the spacing. The square cylinder having {\delta} = 45^0 shows a higher heat transfer, whereas it is least for {\delta} = 0^0. At higher Gr and Pr, the average Nu is found to be in excess of 22% at {\delta} = 45^0 compared to at {\delta} = 0^0. Overall, the average Nu has a strong dependence on both Gr and Pr, whereas it is a weak function of S/W and {\delta}. Furthermore, the entropy generation is reproduced non-dimensionally in terms of the Bejan number. Finally, a correlation for the average Nu has been developed, which can be useful for the engineering calculations.


title: Total positivity is a quantum phenomenon: the grassmannian case

abstract: The main aim of this paper is to establish a deep link between the totally nonnegative grassmannian and the quantum grassmannian. More precisely, under the assumption that the deformation parameter $q$ is transcendental, we show that "quantum positroids" are completely prime ideals in the quantum grassmannian $A$. As a consequence, we obtain that torus-invariant prime ideals in the quantum grassmannian are generated by polynormal sequences of quantum Pl\"ucker coordinates and give a combinatorial description of these generating sets. We also give a topological description of the poset of torus-invariant prime ideals in $A$, and prove a version of the orbit method for torus-invariant objects. Finally, we construct separating Ore sets for all torus-invariant primes in $A$. The latter is the first step in the Brown-Goodearl strategy to establish the orbit method for (quantum) grassmannians.


title: A local characterization for perfect plane near-triangulations

abstract: We derive a local criterion for a plane near-triangulated graph to be perfect. It is shown that a plane near-triangulated graph is perfect if and only if it does not contain either a vertex, an edge or a triangle, the neighbourhood of which has an odd hole as its boundary. The characterization leads to an $O(n^2)$ algorithm for checking perfectness of plane near-triangulations.


title: Strict equivalence between Maxwell-Stefan and fast-mode theory for multicomponent polymer mixtures

abstract: The applicability of theories describing the kinetic evolution of fluid mixtures depends on the underlying physical assumptions. The Maxwell-Stefan equations, widely used for miscible fluids, express forces depending on coupled fluxes. They need to be inverted to recover a Fickian form which is generally impossible analytically. Moreover, the concentration dependence of the diffusivities has to be modelled, e.g. by the multicomponent Darken equation. Cahn-Hilliard type equations are preferred for immiscible mixtures, whereby different assumptions on the coupling of fluxes lead to the slow-mode and fast-mode theories. For two components, these were derived from the Maxwell-Stefan theory in the past. Here, we prove that the fast-mode theory and the generalized Maxwell-Stefan theory together with the multicomponent Darken equation are strictly equivalent even for multicomponent systems with very different molecular sizes. Our findings allow to reduce the choice of a suitable theory to the most efficient algorithm for solving the underlying equations.


title: Essential crossed products for inverse semigroup actions: simplicity and pure infiniteness

abstract: We study simplicity and pure infiniteness criteria for C*-algebras associated to inverse semigroup actions by Hilbert bimodules and to Fell bundles over etale not necessarily Hausdorff groupoids. Inspired by recent work of Exel and Pitts, we introduce essential crossed products for which there are such criteria. In our approach the major role is played by a generalised expectation with values in the local multiplier algebra. We give a long list of equivalent conditions characterising when the essential and reduced C*-algebras coincide. Our most general simplicity and pure infiniteness criteria apply to aperiodic C*-inclusions equipped with supportive generalised expectations. We thoroughly discuss the relationship between aperiodicity, detection of ideals, purely outer inverse semigroup actions, and non-triviality conditions for dual groupoids.


title: Learning Landmark-Based Ensembles with Random Fourier Features and Gradient Boosting

abstract: We propose a Gradient Boosting algorithm for learning an ensemble of kernel functions adapted to the task at hand. Unlike state-of-the-art Multiple Kernel Learning techniques that make use of a pre-computed dictionary of kernel functions to select from, at each iteration we fit a kernel by approximating it as a weighted sum of Random Fourier Features (RFF) and by optimizing their barycenter. This allows us to obtain a more versatile method, easier to setup and likely to have better performance. Our study builds on a recent result showing one can learn a kernel from RFF by computing the minimum of a PAC-Bayesian bound on the kernel alignment generalization loss, which is obtained efficiently from a closed-form solution. We conduct an experimental analysis to highlight the advantages of our method w.r.t. both Boosting-based and kernel-learning state-of-the-art methods.


title: Ultrasonic nodal chains in topological granular metamaterials

abstract: Three-dimensional (3D) Weyl and Dirac semimetals garner considerable attention in condensed matter physics due to the exploration of entirely new topological phases and related unconventional surface states. Nodal line and ring semimetals on the other hand can facilitate 3D band crossings characterized by nontrivial links such as coupled chains and knots that are protected by the underlying crystal symmetry. Experimental complexities, detrimental effects of the spin-orbit interaction, along with the merging of the underlying surface states into the bulk pose great challenges for growing advancements, but fortunately enable other systems, such as bosonic lattices, as ideal platforms to overcome these obstacles. Here we demonstrate a 3D mechanical metamaterial made of granular beads, which is predicted to provide multiple intersecting nodal rings in the ultrasonic regime. By unveiling these yet unseen classical topological phases, we discuss the resilience of the associated novel surface states that appear entirely unaffected to the type of crystal termination, making them a superb platform in ultrasonic devices for non-destructive testing and material characterization.


title: Distributed Optimization for Over-Parameterized Learning

abstract: Distributed optimization often consists of two updating phases: local optimization and inter-node communication. Conventional approaches require working nodes to communicate with the server every one or few iterations to guarantee convergence. In this paper, we establish a completely different conclusion that each node can perform an arbitrary number of local optimization steps before communication. Moreover, we show that the more local updating can reduce the overall communication, even for an infinity number of steps where each node is free to update its local model to near-optimality before exchanging information. The extra assumption we make is that the optimal sets of local loss functions have a non-empty intersection, which is inspired by the over-paramterization phenomenon in large-scale optimization and deep learning. Our theoretical findings are confirmed by both distributed convex optimization and deep learning experiments.


title: Ergodicity probes: using time-fluctuations to measure the Hilbert space dimension

abstract: Quantum devices, such as quantum simulators, quantum annealers, and quantum computers, may be exploited to solve problems beyond what is tractable with classical computers. This may be achieved as the Hilbert space available to perform such `calculations' is far larger than that which may be classically simulated. In practice, however, quantum devices have imperfections, which may limit the accessibility to the whole Hilbert space. We thus determine that the dimension of the space of quantum states that are available to a quantum device is a meaningful measure of its functionality, though unfortunately this quantity cannot be directly experimentally determined. Here we outline an experimentally realisable approach to obtaining the required Hilbert space dimension of such a device to compute its time evolution, by exploiting the thermalization dynamics of a probe qubit. This is achieved by obtaining a fluctuation-dissipation theorem for high-temperature chaotic quantum systems, which facilitates the extraction of information on the Hilbert space dimension via measurements of the decay rate, and time-fluctuations.


title: Cumulative Adaptation for BLSTM Acoustic Models

abstract: This paper addresses the robust speech recognition problem as an adaptation task. Specifically, we investigate the cumulative application of adaptation methods. A bidirectional Long Short-Term Memory (BLSTM) based neural network, capable of learning temporal relationships and translation invariant representations, is used for robust acoustic modelling. Further, i-vectors were used as an input to the neural network to perform instantaneous speaker and environment adaptation, providing 8\% relative improvement in word error rate on the NIST Hub5 2000 evaluation test set. By enhancing the first-pass i-vector based adaptation with a second-pass adaptation using speaker and environment dependent transformations within the network, a further relative improvement of 5\% in word error rate was achieved. We have reevaluated the features used to estimate i-vectors and their normalization to achieve the best performance in a modern large scale automatic speech recognition system.


title: Drawing Order Diagrams Through Two-Dimension Extension

abstract: Order diagrams are an important tool to visualize the complex structure of ordered sets. Favorable drawings of order diagrams, i.e., easily readable for humans, are hard to come by, even for small ordered sets. Many attempts were made to transfer classical graph drawing approaches to order diagrams. Although these methods produce satisfying results for some ordered sets, they unfortunately perform poorly in general. In this work we present the novel algorithm DimDraw to draw order diagrams. This algorithm is based on a relation between the dimension of an ordered set and the bipartiteness of a corresponding graph.


title: A Note on Parallel Distinguishability of two Quantum Operations

abstract: We consider a homogeneous system of linear equations of the form $A_\alpha^{\otimes N} {\bf x} = 0$ arising from the distinguishability of two quantum operations by $N$ uses in parallel, where the coefficient matrix $A_\alpha$ depends on a real parameter $\alpha$. It was conjectured by Duan et al. that the system has a non-trivial nonnegative solution if and only if $\alpha$ lies in a certain interval $R_N$ depending on $N$. We affirm the necessity part of the conjecture and establish the sufficiency of the conjecture for $N\leq 10$ by presenting explicit non-trivial nonnegative solutions for the linear system.


title: Scalable Power System Line Upgrade Planning With Policy Constraints: A "Branch and Benders" Approach

abstract: The integration of more renewable energy sources into the power system is presenting system operators with various challenges. At the distribution system level, voltage magnitudes that violate operating limits near large photovoltaic installations have been observed. While these issues can be partially mitigated with more advanced control, hardware upgrades are required at some point. This work presents a scalable, optimization-based approach for deciding which lines in a network to upgrade. Compared to existing approaches, it explicitly takes the operating policy of the system into account and provides both reasonable solutions in short computation times as well as globally optimal solutions when run to completion. Compared to earlier work on the same topic, an extended computational approach is taken that can simultaneously optimize for many load scenarios across arbitrary configurations of machines and CPU cores per machine in a scalable manner by using the Benders decomposition. In addition to the theory, numerical experiments are presented along with a discussion of the scaling properties of the Benders-based approach, giving potential users a better basis to decide whether their problem is big enough for the approach to make sense.


title: Distributionally Robust Counterfactual Risk Minimization

abstract: This manuscript introduces the idea of using Distributionally Robust Optimization (DRO) for the Counterfactual Risk Minimization (CRM) problem. Tapping into a rich existing literature, we show that DRO is a principled tool for counterfactual decision making. We also show that well-established solutions to the CRM problem like sample variance penalization schemes are special instances of a more general DRO problem. In this unifying framework, a variety of distributionally robust counterfactual risk estimators can be constructed using various probability distances and divergences as uncertainty measures. We propose the use of Kullback-Leibler divergence as an alternative way to model uncertainty in CRM and derive a new robust counterfactual objective. In our experiments, we show that this approach outperforms the state-of-the-art on four benchmark datasets, validating the relevance of using other uncertainty measures in practical applications.


title: On the Role of the $\nu_\tau$ Appearance in DUNE in Constraining Standard Neutrino Physics and Beyond

abstract: We consider the $\nu_\mu \to \nu_{\tau}$ appearance channel in the future Deep Underground Neutrino Experiment (DUNE) which offers a good statistics of the $\nu_{\tau}$ sample. In order to measure its impact on constraining the oscillation parameters, we consider several assumptions on the efficiency for $\nu_\tau$ charged-current signal events (with subsequent $\tau \to e$ decay) and the related backgrounds and study the effects of various systematic uncertainties. Two different neutrino fluxes have been considered, namely a CP-violation optimized flux and a $\nu_\tau$ optimized flux. Our results show that the addition of the $\nu_\mu \to \nu_{\tau}$ appearance channel does not reduce the current uncertainties on the standard 3-$\nu$ oscillation parameters while it can improve in a significant way the sensitivity to the Non-Standard Interaction parameter $|\epsilon_{\mu\tau}|$ and to the new mixing angle $\theta_{34}$ of a sterile neutrino model of the $3+1$ type.


title: Solvable extensions of the naturally graded quasi-filiform Leibniz algebra of second type $\mathcal{L}^4$

abstract: For a sequence of the naturally graded quasi-filiform Leibniz algebra of second type $\mathcal{L}^4$ introduced by Camacho, G\'{o}mez, Gonz\'{a}lez and Omirov, all the possible right solvable indecomposable extensions over the field $\Bbb C$ are constructed.


title: Collective Modes of a Photon Bose-Einstein Condensate with Thermo-Optic Interaction

abstract: Although for photon Bose-Einstein condensates the main mechanism of the observed photon-photon interaction has already been identified to be of thermo-optic nature, its influence on the condensate dynamics is still unknown. Here a mean-field description of this effect is derived, which consists of an open-dissipative Schr\"odinger equation for the condensate wave function coupled to a diffusion equation for the temperature of the dye solution. With this system at hand, the lowest-lying collective modes of a harmonically trapped photon Bose-Einstein condensate are calculated analytically via a linear stability analysis. As a result, the collective frequencies and, thus, the strength of the effective photon-photon interaction turn out to strongly depend on the thermal diffusion in the cavity mirrors. In particular, a breakdown of the Kohn theorem is predicted, i.e.~the frequency of the centre-of-mass oscillation is reduced due to the thermo-optic photon-photon interaction.


title: Heat kernel analysis on diamond fractals

abstract: This paper presents a detailed analysis of the heat kernel on an $(\mathbb{N}\times\mathbb{N})$-parameter family of compact metric measure spaces, which do not satisfy the volume doubling property. In particular, uniform bounds of the heat kernel and its Lipschitz continuity, as well as the continuity of the corresponding heat semigroup are studied; a specific example is presented revealing a logarithmic correction. The estimates are further applied to derive several functional inequalities of interest in describing the convergence to equilibrium of the diffusion process.