title: Intelligent Reflecting Surface Enhanced Wireless Network: Joint Active and Passive Beamforming Design

abstract: Intelligent reflecting surface (IRS) is envisioned to have abundant applications in future wireless networks by smartly reconfiguring the signal propagation for performance enhancement. Specifically, an IRS consists of a large number of low-cost passive elements each reflecting the incident signal with a certain phase shift to collaboratively achieve beamforming and suppress interference at one or more designated receivers. In this paper, we study an IRS-enhanced point-to-point multiple-input single-output (MISO) wireless system where one IRS is deployed to assist in the communication from a multi-antenna access point (AP) to a single-antenna user. As a result, the user simultaneously receives the signal sent directly from the AP as well as that reflected by the IRS. We aim to maximize the total received signal power at the user by jointly optimizing the (active) transmit beamforming at the AP and (passive) reflect beamforming by the phase shifters at the IRS. We first propose a centralized algorithm based on the technique of semidefinite relaxation (SDR) by assuming the global channel state information (CSI) available at the IRS. Since the centralized implementation requires excessive channel estimation and signal exchange overheads, we further propose a low-complexity distributed algorithm where the AP and IRS independently adjust the transmit beamforming and the phase shifts in an alternating manner until the convergence is reached. Simulation results show that significant performance gains can be achieved by the proposed algorithms as compared to benchmark schemes. Moreover, it is verified that the IRS is able to drastically enhance the link quality and/or coverage over the conventional setup without the IRS.


title: Averaging principle for slow-fast stochastic differential equations with time dependent locally Lipschitz coefficients

abstract: This paper is devoted to studying the averaging principle for stochastic differential equations with slow and fast time-scales, where the drift coefficients satisfy local Lipschitz conditions with respect to the slow and fast variables, and the coefficients in the slow equation depend on time $t$ and $\omega$. Making use of the techniques of time discretization and truncation, we prove that the slow component strongly converges to the solution of the corresponding averaged equation.


title: Toward Practical-Scale Quantum Annealing Machine for Prime Factoring

abstract: We propose a prime factorizer operated in a framework of quantum annealing (QA). The idea is inverse operation of a multiplier implemented with QA-based Boolean logic circuits. We designed the QA machine on an application-specific-annealing-computing architecture which efficiently increases available hardware budgets at the cost of restricted functionality. The invertible operation of QA logic gates consisting of superconducting flux qubits was confirmed by circuit simulation with classical noise sources. The circuits were implemented and fabricated by using superconducting integrated circuit technologies with Nb/AlOx/Nb Josephson junctions. We also propose a 2.5Dimensional packaging scheme of a qubit-chip/interpose /package-substrate structure for realizing practically large-scale QA systems.

categories: quant-ph cond-mat.mes-hall cond-mat.supr-con physics.app-ph


title: Repetition avoidance in products of factors

abstract: We consider a variation on a classical avoidance problem from combinatorics on words that has been introduced by Mousavi and Shallit at DLT 2013. Let $\texttt{pexp}_i(w)$ be the supremum of the exponent over the products of $i$ factors of the word $w$. The repetition threshold $\texttt{RT}_i(k)$ is then the infimum of $\texttt{pexp}_i(w)$ over all words $w\in\Sigma^\omega_k$. Mousavi and Shallit obtained that $\texttt{RT}_i(2)=2i$ and $\texttt{RT}_2(3)=\tfrac{13}4$. We show that $\texttt{RT}_i(3)=\tfrac{3i}2+\tfrac14$ if $i$ is even and $\texttt{RT}_i(3)=\tfrac{3i}2+\tfrac16$ if $i$ is odd and $i\ge3$.


title: Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)

abstract: Twenty years ago, in an article titled "Covariance and contravariance: conflict without a cause", I argued that covariant and contravariant specialization of method parameters in object-oriented programming had different purposes and deduced that, not only they could, but actually they should both coexist in the same language. In this work I reexamine the result of that article in the light of recent advances in (sub-)typing theory and programming languages, taking a fresh look at this old issue. Actually, the revamping of this problem is just an excuse for writing an essay that aims at explaining sophisticated type-theoretic concepts, in simple terms and by examples, to undergraduate computer science students and/or willing functional programmers. Finally, I took advantage of this opportunity to describe some undocumented advanced techniques of type-systems implementation that are known only to few insiders that dug in the code of some compilers: therefore, even expert language designers and implementers may find this work worth of reading.


title: Polynomial solutions of $q$-Heun equation and ultradiscrete limit

abstract: We study polynomial-type solutions of the $q$-Heun equation, which is related with quasi-exact solvability. The condition that the $q$-Heun equation has a non-zero polynomial-type solution is described by the roots of the spectral polynomial, whose variable is the accessory parameter $E$. We obtain sufficient conditions that the roots of the spectral polynomial are all real and distinct. We consider the ultradiscrete limit to clarify the roots of the spectral polynomial and the zeros of the polynomial-type solution of the $q$-Heun equation.


title: Volume minimization and obstructions to solving some problems in K\"ahler geometry

abstract: There is an obstruction to the existence of K\"ahler -Einstein metrics which is used to define the GIT weight for K-stability, and it has been extended to various geometric problems. This survey paper considers such extended obstructions to the existence problem of K\"ahler -Ricci solitons, Sasaki-Einstein metrics and (conformally) Einstein-Maxwell K\"ahler metrics. These three cases have a common feature that the obstructions are parametrized by a space of vector fields. We see, in these three cases, the obstructions are obtained as the derivative of suitable volume functionals. This tells us for which vector fields we should try to solve the existence problems.


title: Wireless Powered User Cooperative Computation in Mobile Edge Computing Systems

abstract: This paper studies a wireless powered mobile edge computing (MEC) system, where a dedicated energy transmitter (ET) uses the radio-frequency (RF) signal enabled wireless power transfer (WPT) to charge wireless devices for sustainable computation. In such a system, we present a new user cooperation approach to improve the computation performance of active devices, in which surrounding idle devices are enabled as helpers to use their opportunistically harvested wireless energy from the ET to help remotely execute active users' computation tasks. In particular, we consider a basic scenario with one user (with computation tasks to execute) and multiple helpers, in which the user can partition the computation tasks into various parts for local execution and computation offloading to helpers, respectively. Both the user and helpers are subject to the so-called energy neutrality constraints, such that their energy consumption does not exceed the respective energy harvested from the ET. Under this setup and considering a frequency division multiple access (FDMA) based computation offloading protocol, we maximize the computation rate (i.e., the number of computation bits over a particular time block) of the user, by jointly optimizing the transmit energy beamforming at the ET, as well as the communication and computation resource allocations at both the user and helpers. By leveraging the Lagrange duality method, we present the optimal solution to this problem in a semi-closed form. Numerical results show that the proposed wireless powered user cooperative computation design significantly improves the computation rate at the user, as compared to conventional schemes without such cooperation.


title: Pre-training on high-resource speech recognition improves low-resource speech-to-text translation

abstract: We present a simple approach to improve direct speech-to-text translation (ST) when the source language is low-resource: we pre-train the model on a high-resource automatic speech recognition (ASR) task, and then fine-tune its parameters for ST. We demonstrate that our approach is effective by pre-training on 300 hours of English ASR data to improve Spanish-English ST from 10.8 to 20.2 BLEU when only 20 hours of Spanish-English ST training data are available. Through an ablation study, we find that the pre-trained encoder (acoustic model) accounts for most of the improvement, despite the fact that the shared language in these tasks is the target language text, not the source language audio. Applying this insight, we show that pre-training on ASR helps ST even when the ASR language differs from both source and target ST languages: pre-training on French ASR also improves Spanish-English ST. Finally, we show that the approach improves performance on a true low-resource task: pre-training on a combination of English ASR and French ASR improves Mboshi-French ST, where only 4 hours of data are available, from 3.5 to 7.1 BLEU.


title: Modeling the EM Field Distribution within a Computer Chip Package

abstract: Wireless Network-on-Chip (WNoC) appears as a promising alternative to conventional interconnect fabrics for chip-scale communications. The study of the channel inside the chip is essential to minimize latency and power. However, this requires long and computationally-intensive simulations which take a lot of time. We propose and implement an analytical model of the EM propagation inside the package based on ray tracing. This model could compute the electric field intensity inside the chip reducing the computational time several orders of magnitude with an average mismatch of only 1.7 dB.


title: Measurement of tW differential cross-sections with ATLAS at 13 TeV

abstract: The cross-section to produce a $W$ boson in association with a top quark is measured differentially with respect to several particle-level final-state observable quantities. The measurements are performed using $36.1$~\mbox{fb$^{-1}$} of $pp$ collision data at $\sqrt{s}=13~\mathrm{TeV}$ collected in 2015 and 2016, by the ATLAS detector at the LHC. Cross-sections are measured in a fiducial phase-space defined by the presence of two charged leptons and exactly one jet identified as containing $B$ hadrons. Measurements are normalised to the fiducial cross-section, causing several of the main uncertainties to cancel. The results are found to be in good agreement with predictions from several Monte Carlo generators.


title: Stellar Cluster Detection using GMM with Deep Variational Autoencoder

abstract: Detecting stellar clusters have always been an important research problem in Astronomy. Although images do not convey very detailed information in detecting stellar density enhancements, we attempt to understand if new machine learning techniques can reveal patterns that would assist in drawing better inferences from the available image data. This paper describes an unsupervised approach in detecting star clusters using Deep Variational Autoencoder combined with a Gaussian Mixture Model. We show that our method works significantly well in comparison with state-of-the-art detection algorithm in recognizing a variety of star clusters even in the presence of noise and distortion.


title: Admissibility of truth assignments for quantum propositions in supervaluational logic

abstract: The structure of a complete lattice formed by closed linear subspaces of a Hilbert space (i.e., a Hilbert lattice) entails some unreasonable consequences from the physical point of view. Specifically, this structure seems to contradict to the localized variant of the Kochen-Specker theorem according to which the bivaluation of a proposition represented by a closed linear subspace that does not belong to a Boolean algebra shared by the state, in which a quantum-mechanical system is prepared, must be value indefinite. For this reason, the Hilbert lattice structure seems to be too strong and needs to be weakened. The question is, how should it be weakened so that to support the quantum uncertainty principle and the Kochen-Specker theorem? Which logic will a weakened structure identify? The present paper tries to answer these questions.


title: Modified Diversity of Class Probability Estimation Co-training for Hyperspectral Image Classification

abstract: Due to the limited amount and imbalanced classes of labeled training data, the conventional supervised learning can not ensure the discrimination of the learned feature for hyperspectral image (HSI) classification. In this paper, we propose a modified diversity of class probability estimation (MDCPE) with two deep neural networks to learn spectral-spatial feature for HSI classification. In co-training phase, recurrent neural network (RNN) and convolutional neural network (CNN) are utilized as two learners to extract features from labeled and unlabeled data. Based on the extracted features, MDCPE selects most credible samples to update initial labeled data by combining k-means clustering with the traditional diversity of class probability estimation (DCPE) co-training. In this way, MDCPE can keep new labeled data class-balanced and extract discriminative features for both the minority and majority classes. During testing process, classification results are acquired by co-decision of the two learners. Experimental results demonstrate that the proposed semi-supervised co-training method can make full use of unlabeled information to enhance generality of the learners and achieve favorable accuracies on all three widely used data sets: Salinas, Pavia University and Pavia Center.


title: How different homophily preferences mitigate and spur ethnic and value segregation: Schelling's model extended

abstract: In Schelling's segregation model agents of two ethnic groups reside in a regular grid and aim to live in a neighborhood that matches the minimum desired fraction of members of the same ethnicity. The model shows that observed segregation can be the emergent result of people interacting under spatial constraints in pursuit of such homophily preferences. Even mild homophily preferences can generate high degrees of segregation at the macro level. In modern, ethnically diverse societies people might not define similarity based on ethnicity. Instead, shared tolerance towards ethnic diversity might play a more significant role, impacting segregation and integration patterns in societies. Bearing this consideration in mind, we extend Schelling's model by dividing the population of agents into value-oriented and ethnicity-oriented agents. Using parameter sweeping, we explore the consequences that the mutual adaptation of these two types of agents has on ethnic segregation, value segregation, and population density in the neighborhood. Such consequences are examined for equally sized ethnic groups and for majority-minority conditions. The introduction of value-oriented agents reduces total ethnic segregation when compared to Schelling's original model, but the new phenomenon of value segregation appears to be more pronounced than ethnic segregation. Furthermore, due to cross-contagion, stronger ethnic homophily preferences lead not only to greater ethnic segregation but also to more value segregation. Stronger value-orientation of the tolerant agents similarly leads to increased ethnic segregation of the ethnicity-oriented agents. Also, value-oriented agents tend to live in neighborhoods with more agents than ethnicity-oriented agents. In majority-minority settings, such effects appear to be more drastic for the minority than the majority ethnicity.


title: How is Contrast Encoded in Deep Neural Networks?

abstract: Contrast is a crucial factor in visual information processing. It is desired for a visual system - irrespective of being biological or artificial - to "perceive" the world robustly under large potential changes in illumination. In this work, we studied the responses of deep neural networks (DNN) to identical images at different levels of contrast. We analysed the activation of kernels in the convolutional layers of eight prominent networks with distinct architectures (e.g. VGG and Inception). The results of our experiments indicate that those networks with a higher tolerance to alteration of contrast have more than one convolutional layer prior to the first max-pooling operator. It appears that the last convolutional layer before the first max-pooling acts as a mitigator of contrast variation in input images. In our investigation, interestingly, we observed many similarities between the mechanisms of these DNNs and biological visual systems. These comparisons allow us to understand more profoundly the underlying mechanisms of a visual system that is grounded on the basis of "data-analysis".


title: Direct numerical simulation of conical shock wave/turbulent boundary layer interaction

abstract: Direct numerical simulation of the Navier-Stokes equations is carried out to investigate the interaction of a conical shock wave with a turbulent boundary layer developing over a flat plate at free-stream Mach number $M_\infty = 2.05$ and Reynolds number $Re_\theta \approx 630$, based on the upstream boundary layer momentum thickness. The shock is generated by a circular cone with half opening angle $\theta _c = 25^\circ$. As found in experiments, the wall pressure exhibits a distinctive N-wave signature, with a sharp peak right past the precursor shock generated at the cone apex, followed by an extended zone with favourable pressure gradient, and terminated by the trailing shock associated with recompression in the wake of the cone. The boundary layer behavior is strongly affected by the imposed pressure gradient, with streaks which are locally suppressed in adverse pressure gradient (APG) zones, and which suddenly reform in the downstream region with favourable pressure gradient (FPG). Three-dimensional mean flow separation is only observed in the first APG region associated with formation of a horseshoe vortex, whereas the second APG region features an incipient detachment state, with scattered spots of instantaneous reversed flow. As found in canonical two-dimensional wedge-generated shock/boundary layer interactions, different amplification of the turbulent stress components is observed through the interacting shock system, with approach to isotropic state in APG regions, and to a two-component anisotropic state in FPG.


title: On uniformity conjectures for abelian varieties and K3 surfaces

abstract: We discuss logical links among uniformity conjectures concerning K3 surfaces and abelian varieties of bounded dimension defined over number fields of bounded degree. The conjectures concern the endomorphism algebra of an abelian variety, the Neron-Severi lattice of a K3 surface, and the Galois invariant subgroup of the geometric Brauer group.


title: Planck Mass Charged Gravitino Dark Matter

abstract: Following up on our earlier work predicting fractionally charged supermassive gravitinos, we explain their potential relevance as novel candidates for Dark Matter and discuss possible signatures and ways to detect them.


title: Data Augmentation for Skin Lesion Analysis

abstract: Deep learning models show remarkable results in automated skin lesion analysis. However, these models demand considerable amounts of data, while the availability of annotated skin lesion images is often limited. Data augmentation can expand the training dataset by transforming input images. In this work, we investigate the impact of 13 data augmentation scenarios for melanoma classification trained on three CNNs (Inception-v4, ResNet, and DenseNet). Scenarios include traditional color and geometric transforms, and more unusual augmentations such as elastic transforms, random erasing and a novel augmentation that mixes different lesions. We also explore the use of data augmentation at test-time and the impact of data augmentation on various dataset sizes. Our results confirm the importance of data augmentation in both training and testing and show that it can lead to more performance gains than obtaining new images. The best scenario results in an AUC of 0.882 for melanoma classification without using external data, outperforming the top-ranked submission (0.874) for the ISIC Challenge 2017, which was trained with additional data.


title: On Clique Coverings of Complete Multipartite Graphs

abstract: A clique covering of a graph $G$ is a set of cliques of $G$ such that any edge of $G$ is contained in one of these cliques, and the weight of a clique covering is the sum of the sizes of the cliques in it. The sigma clique cover number $scc(G)$ of a graph $G$, is defined as the smallest possible weight of a clique covering of $G$. Let $ K_t(d) $ denote the complete $ t $-partite graph with each part of size $d$. We prove that for any fixed $d \ge 2$, we have $$\lim_{t \rightarrow \infty} scc(K_t(d))= \frac{d}{2} t\log t.$$ This disproves a conjecture of Davoodi, Javadi and Omoomi.


title: Conditional Transfer with Dense Residual Attention: Synthesizing traffic signs from street-view imagery

abstract: Object detection and classification of traffic signs in street-view imagery is an essential element for asset management, map making and autonomous driving. However, some traffic signs occur rarely and consequently, they are difficult to recognize automatically. To improve the detection and classification rates, we propose to generate images of traffic signs, which are then used to train a detector/classifier. In this research, we present an end-to-end framework that generates a realistic image of a traffic sign from a given image of a traffic sign and a pictogram of the target class. We propose a residual attention mechanism with dense concatenation called Dense Residual Attention, that preserves the background information while transferring the object information. We also propose to utilize multi-scale discriminators, so that the smaller scales of the output guide the higher resolution output. We have performed detection and classification tests across a large number of traffic sign classes, by training the detector using the combination of real and generated data. The newly trained model reduces the number of false positives by 1.2 - 1.5% at 99% recall in the detection tests and an absolute improvement of 4.65% (top-1 accuracy) in the classification tests.


title: Resonant synchronization and information retrieve from memorized Kuramoto network

abstract: A new collective behavior of resonant synchronization is discovered and the ability to retrieve information from brain memory is proposed based on this mechanism. We use modified Kuramoto phase oscillator to simulate the dynamics of a single neuron in self-oscillation state, and investigate the collective responses of a neural network, which is composed of $N$ globally coupled Kuramoto oscillators, to the external stimulus signals in a critical state just below the synchronization threshold of Kuramoto model. The input signals at different driving frequencies, which are used to denote different neural stimuli, can drive the coupled oscillators into different synchronized groups locked to the same effective frequencies and recover different synchronized patterns emerged from their collective dynamics closely related to the predetermined frequency distributions of the oscillators (memory). This model is used to explain how brain stores and retrieves information by the synchronized patterns emerging in the neural network stimulated by the external inputs.


title: Free as in Free Word Order: An Energy Based Model for Word Segmentation and Morphological Tagging in Sanskrit

abstract: The configurational information in sentences of a free word order language such as Sanskrit is of limited use. Thus, the context of the entire sentence will be desirable even for basic processing tasks such as word segmentation. We propose a structured prediction framework that jointly solves the word segmentation and morphological tagging tasks in Sanskrit. We build an energy based model where we adopt approaches generally employed in graph based parsing techniques (McDonald et al., 2005a; Carreras, 2007). Our model outperforms the state of the art with an F-Score of 96.92 (percentage improvement of 7.06%) while using less than one-tenth of the task-specific training data. We find that the use of a graph based ap- proach instead of a traditional lattice-based sequential labelling approach leads to a percentage gain of 12.6% in F-Score for the segmentation task.


title: Control of harmonic map heat flow with an external field

abstract: We investigate the control problem of harmonic map heat flow by means of an external magnetic field. In contrast to the situation of a parabolic system with internal or boundary control, the magnetic field acts as the coefficients of the lower order terms of the equation. We show that for initial data whose image stays in a hemisphere, with one control acting on a subset of the domain plus a spatial-independent control acting on the whole domain, the state of the system can be steered to any ground state, i.e. any given unit vector, within any short time. To achieve this, in the first step a spatial independent control is applied to steer the solution into a small neighborhood of the peak of the hemisphere. Then under stereographic projection, the original system is reduced to an internal parabolic control system with initial data sufficiently close to $0$ such that the existing method for local controllability can be applied. The key process in this step is to give an explicit solution of an underdetermined algebraic system such that the affine type control can be converted into an internal control.


title: Appendix - Recommended Statistical Significance Tests for NLP Tasks

abstract: Statistical significance testing plays an important role when drawing conclusions from experimental results in NLP papers. Particularly, it is a valuable tool when one would like to establish the superiority of one algorithm over another. This appendix complements the guide for testing statistical significance in NLP presented in \cite{dror2018hitchhiker} by proposing valid statistical tests for the common tasks and evaluation measures in the field.


title: Tunable plasmons in ultrathin metal films

abstract: The physics of electrons, photons, and their plasmonic interactions changes greatly when one or more dimensions are reduced down to the nanometer scale. For example, graphene shows unique electrical, optical, and plasmonic properties, which are tunable through gating or chemical doping. Similarly, ultrathin metal films (UTMFs) down to atomic thickness can possess new quantum optical effects, peculiar dielectric properties, and predicted strong plasmons. However, truly two-dimensional plasmonics in metals has so far elusive because of the difficulty in producing large areas of sufficiently thin continuous films. Thanks to a deposition technique that allows percolation even at 1 nm thickness, we demonstrate plasmons in few-nanometer gold UTMFs, with clear evidence of new dispersion regimes and large electrical tunability. Resonance peaks at 1.5-5 micrometer wavelengths are shifted by hundreds of nanometers and amplitude-modulated by tens of per cent through gating using relatively low voltages. The results suggest ways to use metals in plasmonic applications, such as electro-optic modulation, bio-sensing, and smart windows.


title: On the general principle of the mean-field approximation for many-boson dynamics

abstract: The mean-field approximations of many-boson dynamics are known to be effective in many physical relevant situations. The mathematical justifications of such approximations rely generally on specific considerations which depend too much on the model and on the initial states of the system which are required to be well-prepared. In this article, using the method of Wigner measures, we prove in a fairly complete generality the accuracy of the mean-field approximation. Roughly speaking, we show that the dynamics of a many-boson system are well approximated, in the limit of a large number of particles, by a one particle mean-field equation if the following general principles are satisfied: $\bullet$ The Hamiltonian is in a mean-field regime (i.e.: The interaction and the free energy parts are of the same order with respect to the number of particles). $\bullet$ The interaction is relatively compact with respect to a one particle and it is dominated by the free energy part. $\bullet$ There exists at most one weak solution for the mean-field equation for each initial condition.The convergence towards the mean field limit is described in terms of Wigner (probability) measures and it holds for any initial quantum states with a finite free energy average. The main novelty of this article lies in the use of fine properties of uniqueness for the Liouville equations in infinite dimensional spaces.


title: Quantum Thermometry with Trapped Ions

abstract: We introduce the estimation protocol for detecting the temperature of the transverse vibrational modes of linear ion crystal. We show that thanks to the laser induced laser coupling between the vibrational modes and the collective spin states the estimation of the temperature is carried out by set of measurements of the spin populations. We show that temperature estimation protocol using single ion as a quantum probe is optimal in a sense that the set of state projective measurement saturates the fundamental Cramer-Rao bound. We find a plateau of the maximal temperature sensitivity using ion chain as a quantum probe. Moreover, we show that the non-classical part of the quantum Fisher information could leads to enhancement of the temperature sensitivity compared to the single ion case.


title: Sentylic at IEST 2018: Gated Recurrent Neural Network and Capsule Network Based Approach for Implicit Emotion Detection

abstract: In this paper, we present the system we have used for the Implicit WASSA 2018 Implicit Emotion Shared Task. The task is to predict the emotion of a tweet of which the explicit mentions of emotion terms have been removed. The idea is to come up with a model which has the ability to implicitly identify the emotion expressed given the context words. We have used a Gated Recurrent Neural Network (GRU) and a Capsule Network based model for the task. Pre-trained word embeddings have been utilized to incorporate contextual knowledge about words into the model. GRU layer learns latent representations using the input word embeddings. Subsequent Capsule Network layer learns high-level features from that hidden representation. The proposed model managed to achieve a macro-F1 score of 0.692.


title: Low-temperature behavior of the Casimir-Polder free energy and entropy for an atom interacting with graphene

abstract: The analytic expressions for the free energy and entropy of the Casimir-Polder interaction between a polarizable and magnetizable atom and a graphene sheet are found in the limiting case of low temperature. In so doing, the response of graphene to electromagnetic fluctuations is described in the framework of the Dirac model by means of the polarization tensor in (2+1)-dimensional space-time. It is shown that the dominant contribution to the low-temperature behavior is given by an explicit dependence of the polarization tensor on temperature as a parameter. We demonstrate that the Lifshitz theory of atom-graphene interaction satisfies the Nernst heat theorem, i.e., is thermodynamically consistent. On this basis possible reasons of thermodynamic inconsistency arising for the Casimir-Polder and Casimir interactions in the case of Drude metals are discussed. The conclusion is made that although large thermal effect arising in the Casimir interaction between Drude metals at short separations should be considered as an artifact, the giant thermal effect predicted for graphene systems is an important physical phenomenon which awaits for its experimental observation.


title: Existence of multi-traveling waves in capillary fluids

abstract: We prove the existence of multi-soliton and kink-multi-soliton solutions of the Euler-Korteweg system in dimension one. Such solutions behaves asymptotically in time like several traveling waves far away from each other. A kink is a traveling wave with different limits at $\pm$$\infty$. The main assumption is the linear stability of the solitons, and we prove that this assumption is satisfied at least in the transonic limit. The proof relies on a classical approach based on energy estimates and a compactness argument.


title: Bregman divergences based on optimal design criteria and simplicial measures of dispersion

abstract: In previous work the authors defined the k-th order simplicial distance between probability distributions which arises naturally from a measure of dispersion based on the squared volume of random simplices of dimension k. This theory is embedded in the wider theory of divergences and distances between distributions which includes Kullback-Leibler, Jensen-Shannon, Jeffreys-Bregman divergence and Bhattacharyya distance. A general construction is given based on defining a directional derivative of a function $\phi$ from one distribution to the other whose concavity or strict concavity influences the properties of the resulting divergence. For the normal distribution these divergences can be expressed as matrix formula for the (multivariate) means and covariances. Optimal experimental design criteria contribute a range of functionals applied to non-negative, or positive definite, information matrices. Not all can distinguish normal distributions but sufficient conditions are given. The k-th order simplicial distance is revisited from this aspect and the results are used to test empirically the identity of means and covariances.


title: Blur-Countering Keypoint Detection via Eigenvalue Asymmetry

abstract: Well-known corner or local extrema feature based detectors such as FAST and DoG have achieved noticeable successes. However, detecting keypoints in the presence of blur has remained to be an unresolved issue. As a matter of fact, various kinds of blur (e.g., motion blur, out-of-focus, and space-variant) remarkably increase challenges for keypoint detection. As a result, those methods have limited performance. To settle this issue, we propose a blur-countering method for detecting valid keypoints for various types and degrees of blurred images. Specifically, we first present a distance metric for derivative distributions, which preserves the distinctiveness of patch pairs well under blur. We then model the asymmetry by utilizing the difference of squared eigenvalues based on the distance metric. To make it scale-robust, we also extend it to scale space. The proposed detector is efficient as the main computational cost is the square of derivatives at each pixel. Extensive visual and quantitative results show that our method outperforms current approaches under different types and degrees of blur. Without any parallelization, our implementation\footnote{We will make our code publicly available upon the acceptance.} achieves real-time performance for low-resolution images (e.g., $320\times240$ pixel).


title: Convergent Hahn Series and Tropical Geometry of Higher Rank

abstract: We propose to study the tropical geometry specifically arising from convergent Hahn series in multiple indeterminates. One application is a new view on stable intersections of tropical hypersurfaces. Another one is perturbations of rank one tropical polytopes, which is beneficial for algorithmic purposes.


title: Kantowski-Sachs Einstein-Aether Scalar Field Cosmological Models

abstract: A class of positive curvature spatially homogeneous but anisotropic cosmological models within an Einstein-aether gravitational framework are investigated. The matter source is assumed to be a scalar field which is coupled to the expansion of the aether field through a generalized exponential potential. The evolution equations are expressed in terms of expansion-normalized variables to produce an autonomous system of ordinary differential equations suitable for a numerical and qualitative analysis. An analysis of the local stability of the equilibrium points indicates that there exists a range of values of the parameters in which there exists an accelerating expansionary future attractor. In general relativity, scalar field models with an exponential potential $V=V_0e^{-2k\phi}$ have a late-time inflationary attractor for $k^2<\frac{1}{2}$; however, it is found that the existence of the coupling between the aether and scalar fields allows for arbitrarily large values of the parameter $k$.


title: NNLO soft function for top quark pair production at small transverse momentum

abstract: The cross section for top quark pair production factorizes at small transverse momentum of the heavy quark pair, $q_T$. One of the key ingredients that appears in the factorization formula is the soft function, which mediates soft gluon exchanges between particles and gives rise to colour correlations. We present the complete result for the small-$q_T$ soft function at the next-to-next-to-leading order. This is the last missing element needed to calculate the NNLO cross section for top quark pair production by means of the $q_T$ slicing method. In order to evaluate divergent integrals appearing in the calculation, we develop methods based on sector decomposition and differential equations. We present an extensive validation of our framework. In particular, we recover results predicted by the renormalization group, which constitutes a direct demonstration of validity of the small-$q_T$ factorization at NNLO. We provide complete results for the real and imaginary part of the soft function, which are ready for application in the calculation of the $t\bar t$ cross section at NNLO.


title: L1-regularization for multi-period portfolio selection

abstract: In this work we present a model for the solution of the multi-period portfolio selection problem. The model is based on a time consistent dynamic risk measure. We apply l1-regularization to stabilize the solution process and to obtain sparse solutions, which allow one to reduce holding costs. The core problem is a nonsmooth optimization one, with equality constraints. We present an iterative procedure based on a modified Bregman iteration, that adaptively sets the value of the regularization parameter in order to produce solutions with desired financial properties. We validate the approach showing results of tests performed on real data.


title: Stochastic approximation on non-compact measure spaces and application to measure-valued P\'olya processes

abstract: Our main result is to prove almost-sure convergence of a stochastic-approximation algorithm defined on the space of measures on a non-compact space. Our motivation is to apply this result to measure-valued P\'olya processes (MVPPs, also known as infinitely-many P\'olya urns). Our main idea is to use Foster-Lyapunov type criteria in a novel way to generalize stochastic-approximation methods to measure-valued Markov processes with a non-compact underlying space, overcoming in a fairly general context one of the major difficulties of existing studies on this subject. From the MVPPs point of view, our result implies almost-sure convergence of a large class of MVPPs, this convergence was only obtained until now for specific examples, with only convergence in probability established for general classes. Furthermore, our approach allows us to extend the definition of MVPPs by adding "weights" to the different colors of the infinitely-many-color urn. We also exhibit a link between non-"balanced" MVPPs and quasi-stationary distributions of Markovian processes, which allows us to treat, for the first time in the literature, the non-balanced case. Finally, we show how our result can be applied to designing stochastic-approximation algorithms for the approximation of quasi-stationary distributions of discrete- and continuous-time Markov processes on non-compact spaces.


title: Theoretical analysis and propositions for "ontology citation"

abstract: Ontology citation, the practice of referring the ontology in a similar fashion the scientific community routinely follows in providing the bibliographic references to other scholarly works, has not received enough attention it supposed to. Interestingly, so far none of the existing standard citation styles (e.g., APA, CMOS, and IEEE) have included ontology as a citable information source in the list of citable information sources such as journal article, book, website, etc. Also, not much work can be found in the literature on this topic though there are various issues and aspects of it that demand a thorough study. For instance, what to cite? Is it the publication that describes the ontology, or the ontology itself? The citation format, style, illustration of motivations of ontology citation, the citation principles, ontology impact factor, citation analysis, and so forth. In this work, we primarily analyse the current ontology citation practices and the related issues. We illustrate the various motivations and the basic principles of ontology citation. We also propose a template for referring the source of ontologies.


title: On uniqueness in Steiner problem

abstract: We prove that the set of $n$-point configurations for which the solution of the planar Steiner problem is not unique has the Hausdorff dimension at most $2n-1$ (as a subset of $\mathbb{R}^{2n}$). Moreover, we show that the Hausdorff dimension of the set of $n$-point configurations on which at least two locally minimal trees have the same length is also at most $2n-1$. Methods we use essentially require rely upon the theory of subanalytic sets developed in~\cite{bierstone1988semianalytic}. Motivated by this approach we develop a general setup for the similar problem of uniqueness of the Steiner tree where the Euclidean plane is replace by an arbitrary analytic Riemannian manifold $M$. In this setup we argue that the set of configurations possessing two locally-minimal trees of the same length either has the dimension $n\dim M-1$ or has a non-empty interior. We provide an example of a two-dimensional surface for which the last alternative holds. In addition to abovementioned results, we study the set of set of $n$-point configurations for which there is a unique solution of the Steiner problem in $\mathbb{R}^d$. We show that this set is path-connected.


title: Portfolio diversification and model uncertainty: a robust dynamic mean-variance approach

abstract: This paper focuses on a dynamic multi-asset mean-variance portfolio selection problem under model uncertainty. We develop a continuous time framework for taking into account ambiguity aversion about both expected return rates and correlation matrix of the assets, and for studying the join effects on portfolio diversification. The dynamic setting allows us to consider time varying ambiguity sets, which include the cases where the drift and correlation are estimated on a rolling window of historical data or when the investor takes into account learning on the ambiguity. In this context, we prove a general separation principle for the associated robust control problem, which allows us to reduce the determination of the optimal dynamic strategy to the parametric computation of the minimal risk premium function. Our results provide a justification for under-diversification, as documented in empirical studies and in the static models [16], [34]. Furthermore, we explicitly quantify the degree of under-diversification in termsof correlation bounds and Sharpe ratios proximities, and emphasize the different features induced by drift and correlation ambiguity. In particular, we show that an investor with a poor confidence in the expected return estimation does not hold any risky asset, and on the other hand, trades only one risky asset when the level of ambiguity on correlation matrix is large. We also provide a complete picture of the diversification for the optimal robust portfolio in the three-asset case JEL Classification: G11, C61 MSC Classification: 91G10, 91G80, 60H30


title: Deep Bilevel Learning

abstract: We present a novel regularization approach to train neural networks that enjoys better generalization and test error than standard stochastic gradient descent. Our approach is based on the principles of cross-validation, where a validation set is used to limit the model overfitting. We formulate such principles as a bilevel optimization problem. This formulation allows us to define the optimization of a cost on the validation set subject to another optimization on the training set. The overfitting is controlled by introducing weights on each mini-batch in the training set and by choosing their values so that they minimize the error on the validation set. In practice, these weights define mini-batch learning rates in a gradient descent update equation that favor gradients with better generalization capabilities. Because of its simplicity, this approach can be integrated with other regularization methods and training schemes. We evaluate extensively our proposed algorithm on several neural network architectures and datasets, and find that it consistently improves the generalization of the model, especially when labels are noisy.


title: Curing basis-set convergence of wave-function theory using density-functional theory: a systematically improvable approach

abstract: The present work proposes to use density-functional theory (DFT) to correct for the basis-set error of wave-function theory (WFT). One of the key ideas developed here is to define a range-separation parameter which automatically adapts to a given basis set. The derivation of the exact equations are based on the Levy-Lieb formulation of DFT, which helps us to define a complementary functional which corrects uniquely for the basis-set error of WFT. The coupling of DFT and WFT is done through the definition of a real-space representation of the electron-electron Coulomb operator projected in a one-particle basis set. Such an effective interaction has the particularity to coincide with the exact electron-electron interaction in the limit of a complete basis set, and to be finite at the electron-electron coalescence point when the basis set is incomplete. The non-diverging character of the effective interaction allows one to define a mapping with the long-range interaction used in the context of range-separated DFT and to design practical approximations for the unknown complementary functional. Here, a local-density approximation is proposed for both full-configuration-interaction (FCI) and selected configuration-interaction approaches. Our theory is numerically tested to compute total energies and ionization potentials for a series of atomic systems. The results clearly show that the DFT correction drastically improves the basis-set convergence of both the total energies and the energy differences. For instance, a sub kcal/mol accuracy is obtained from the aug-cc-pVTZ basis set with the method proposed here when an aug-cc-pV5Z basis set barely reaches such a level of accuracy at the near FCI level.


title: A High-performance Track Fitter for Use in Ultra-fast Electronics

abstract: This article describes a new charged-particle track fitting algorithm designed for use in high-speed electronics applications such as hardware-based triggers in high-energy physics experiments. Following a novel technique designed for fast electronics, the positions of the hits on the detector are transformed before being passed to a linearized track parameter fit. This transformation results in fitted track parameters with a very linear dependence on the hit positions. The approach is demonstrated in a representative detector geometry based on the CMS detector at the Large Hadron Collider. The fit is implemented in FPGA chips and optimized for track fitting throughput and obtains excellent track parameter performance. Such an algorithm is potentially useful in any high-speed track-fitting application.


title: Nearly-linear monotone paths in edge-ordered graphs

abstract: How long a monotone path can one always find in any edge-ordering of the complete graph $K_n$? This appealing question was first asked by Chv\'atal and Koml\'os in 1971, and has since attracted the attention of many researchers, inspiring a variety of related problems. The prevailing conjecture is that one can always find a monotone path of linear length, but until now the best known lower bound was $n^{2/3-o(1)}$. In this paper we almost close this gap, proving that any edge-ordering of the complete graph contains a monotone path of length $n^{1-o(1)}$.


title: Eigenvalue optimisation on flat tori and lattice points in anisotropically expanding domains

abstract: This paper is concerned with the maximisation of the k'th eigenvalue of the Laplacian amongst flat tori of unit volume in dimension d as k goes to infinity. We show that in any dimension maximisers exist for any given k, but that any sequence of maximisers degenerates as k goes to infinity when the dimension is at most 10. Furthermore, we obtain specific upper and lower bounds for the injectivity radius of any sequence of maximisers. We also prove that flat Klein bottles maximising the k'th eigenvalue of the Laplacian exhibit the same behaviour. These results contrast with those obtained recently by Gittins and Larson, stating that sequences of optimal cuboids for either Dirichlet or Neumann boundary conditions converge to the cube no matter the dimension. We obtain these results via Weyl asymptotics with explicit control of the remainder in terms of the injectivity radius. We reduce the problem at hand to counting lattice points inside anisotropically expanding domains, where we generalise methods of Yu. Kordyukov and A. Yakovlev by considering domains that expand at different rates in various directions.


title: The Core of an Economy with an Endogenous Social Division of Labour

abstract: This paper considers the core of a competitive market economy with an endogenous social division of labour. The theory is founded on the notion of a "consumer-producer", who consumes as well as produces commodities. First, we show that the Core of such an economy with an endogenous social division of labour can be founded on deviations of coalitions of arbitrary size, extending the seminal insights of Vind and Schmeidler for pure exchange economies. Furthermore, we establish the equivalence between the Core and the set of competitive equilibria for continuum economies with an endogenous social division of labour. Our analysis also concludes that self-organisation in a social division of labour can be incorporated into the Edgeworthian barter process directly. This is formulated as a Core equivalence result stated for a Structured Core concept based on renegotiations among fully specialised economic agents, i.e., coalitions that use only fully developed internal divisions of labour. Our approach bridges the gap between standard economies with social production and coalition production economies. Therefore, a more straightforward and natural interpretation of coalitional improvement and the Core can be developed than for coalition production economies.


title: Chest X-ray Inpainting with Deep Generative Models

abstract: Generative adversarial networks have been successfully applied to inpainting in natural images. However, the current state-of-the-art models have not yet been widely adopted in the medical imaging domain. In this paper, we investigate the performance of three recently published deep learning based inpainting models: context encoders, semantic image inpainting, and the contextual attention model, applied to chest x-rays, as the chest exam is the most commonly performed radiological procedure. We train these generative models on 1.2M 128 $\times$ 128 patches from 60K healthy x-rays, and learn to predict the center 64 $\times$ 64 region in each patch. We test the models on both the healthy and abnormal radiographs. We evaluate the results by visual inspection and comparing the PSNR scores. The outputs of the models are in most cases highly realistic. We show that the methods have potential to enhance and detect abnormalities. In addition, we perform a 2AFC observer study and show that an experienced human observer performs poorly in detecting inpainted regions, particularly those generated by the contextual attention model.


title: Search for the vectorlike leptons in the U(1)$_X$ model inspired by the $B$-meson decay anomalies

abstract: We consider the U(1)$_X$ model, which can induce the flavor violating couplings through vectorlike fermions and address the observed rare $B$-meson decay anomalies. To be consistent with all the other observations, both the associated gauge boson mass and the vectorlike lepton mass are bounded from above. We argue that the search for new vectorlike leptons is promising and provides a complement to the $Z'$ search. A detailed collider analysis shows that the model with the vectorlike lepton mass up to 1000 GeV could be tested at the future LHC.


title: On bisequentiality and spaces of strictly decreasing functions on trees

abstract: We present a characterization of spaces of strictly decreasing functions on trees in terms of bisequentiality. This characterization answers Questions 6.1 and 6.2 of "A filter on a collection of finite sets and Eberlein compacta" by T. Cie\'sla. Moreover we study the relation between these spaces and the classes of Corson, Eberlein and uniform Eberlein compacta.


title: Tracking down R Coronae Borealis stars using the WISE All-Sky survey

abstract: R Coronae Borealis stars (RCBs) are the best candidates to be the products of white dwarf mergers in the intermediate mass range ($0.4<M_{tot}<1.1$ M$_{\odot}$). After a merger, a He envelope surrounds a CO core, and a short-lived supergiant phase starts. RCBs correspond to that phase. They are known to be hydrogen-deficient and carbon-rich supergiant stars. They are rare; They are also highly diverse in chemical abundances, brightness and photosphere temperature. To understand their evolutionary path, constrain their spatial distribution and test their formation rate, we aim to increase significantly the number of known RCBs. To do so, we need first to create a list of targets of interest rich in RCB stars, that will be subsequently followed-up spectroscopically to reveal their true nature. Fortunately, RCBs are producing dust and are therefore surrounded by warm circumstellar dust shells. Using the all-sky 2MASS and WISE infrared surveys, our goal is to discriminate RCBs among other dust-producing stars. A series of selection criteria was applied to colour-colour diagrams and to the brightness of all objects catalogued. The criteria were designed using all 102 known RCB stars. RCB SED models were also used to understand the limits of the criteria and the possible bias in terms of shell temperature selected. The analysis was complicated by the unpredictable photometric declines that RCB stars are known to undergo. With a detection efficiency of about 85\%, our analysis selected only 2356 targets among the 563 million objects catalogued in the WISE All-Sky survey. This short list of targets of interest supersedes a previously published one made from the preliminary WISE data release. This list, published in the CDS Vizier database, will allow us to increase significantly the number of known RCB stars.


title: The dS swampland conjecture with the electroweak symmetry and QCD chiral symmetry breaking

abstract: The dS swampland conjecture $|\nabla V|/V \geq c$, where $c$ is presumed to be a positive constant of order unity, implies that the dark energy density of our Universe can not be a cosmological constant, but mostly the potential energy of an evolving quintessence scalar field. As the dark energy includes the effects of the electroweak symmetry breaking and the QCD chiral symmetry breaking, if the dS swampland conjecture is applicable for the low energy quintessence potential, it can be applied for the Higgs and pion potential also. On the other hand, the Higgs and pion potential has the well-known dS extrema, and applying the dS swampland conjecture to those dS extrema may provide stringent constraints on the viable quintessence, as well as on the conjecture itself. We examine this issue and find that the pion dS extremum at $\cos(\pi_0/f_\pi)=-1$ implies $c\lesssim {\cal O}(10^{-2}-10^{-5})$ for $arbitrary$ form of the quintessence potential and couplings, where the weaker bound ($10^{-2}$) is available $only$ for a specific type of quintessence whose couplings respect the equivalence principle, while the stronger bound ($10^{-5}$) applies for generic quintessence violating the equivalence principle. We also discuss the possibility to relax this bound with an additional scalar field, e.g. a light modulus which has a runaway behavior at the pion dS extremum. We argue that such possibility is severely constrained by a variety of observational constraints which do not leave a room to significantly relax the bound. We make a similar analysis for the Higgs dS extremum at $H=0$, which results in a weaker bound on $c$.


title: Experiments on wave propagation in grease ice: combined wave gauges and PIV measurements

abstract: Water wave attenuation by grease ice is a key mechanism for the polar regions, as waves in ice influence many phenomena such as ice drift, ice breaking, and ice formation. However, the models presented so far in the literature are limited in a number of regards, and more insights are required from either laboratory experiments or fieldwork for these models to be validated and improved. Unfortunately, performing detailed measurements of wave propagation in grease ice, either on the field or in the laboratory, is challenging. As a consequence, laboratory data are relatively scarce, and often consist of only a couple of wave elevation measurements along the length of the wave tank. We present combined measurements of wave elevation using an array of ultrasonic probes, and water kinematics using Particle Image Velocimetry (PIV), in a small-scale wave tank experiment. Experiments are performed over a wider frequency range than what has been previously investigated. The wave elevation measurements are used to compute the wave number and exponential damping coefficient. By contrast with a previous study in grease ice, we find that the wave number is consistent with the mass loading model, i.e. it increases compared with the open water case. Wave attenuation is compared with a series of one-layer models, and we show that they satisfactorily describe the viscous damping that is taking place. PIV data are also consistent with exponential wave amplitude attenuation, and a POD analysis reveals the existence of mean flows under the ice that are a consequence of the displacement and packing of the ice induced by the gradient in the wave-induced stress. Finally, we show that the dynamics of grease ice can generate eddy structures that inject eddy viscosity in the water under the grease ice, which would lead to enhanced mixing and participating in energy dissipation.


title: A Supervised Learning Approach For Heading Detection

abstract: As the Portable Document Format (PDF) file format increases in popularity, research in analysing its structure for text extraction and analysis is necessary. Detecting headings can be a crucial component of classifying and extracting meaningful data. This research involves training a supervised learning model to detect headings with features carefully selected through recursive feature elimination. The best performing classifier had an accuracy of 96.95%, sensitivity of 0.986 and a specificity of 0.953. This research into heading detection contributes to the field of PDF based text extraction and can be applied to the automation of large scale PDF text analysis in a variety of professional and policy based contexts.


title: Weakly-Supervised Neural Text Classification

abstract: Deep neural networks are gaining increasing popularity for the classic text classification task, due to their strong expressive power and less requirement for feature engineering. Despite such attractiveness, neural text classification models suffer from the lack of training data in many real-world applications. Although many semi-supervised and weakly-supervised text classification models exist, they cannot be easily applied to deep neural models and meanwhile support limited supervision types. In this paper, we propose a weakly-supervised method that addresses the lack of training data in neural text classification. Our method consists of two modules: (1) a pseudo-document generator that leverages seed information to generate pseudo-labeled documents for model pre-training, and (2) a self-training module that bootstraps on real unlabeled data for model refinement. Our method has the flexibility to handle different types of weak supervision and can be easily integrated into existing deep neural models for text classification. We have performed extensive experiments on three real-world datasets from different domains. The results demonstrate that our proposed method achieves inspiring performance without requiring excessive training data and outperforms baseline methods significantly.


title: UKP-Athene: Multi-Sentence Textual Entailment for Claim Verification

abstract: The Fact Extraction and VERification (FEVER) shared task was launched to support the development of systems able to verify claims by extracting supporting or refuting facts from raw text. The shared task organizers provide a large-scale dataset for the consecutive steps involved in claim verification, in particular, document retrieval, fact extraction, and claim classification. In this paper, we present our claim verification pipeline approach, which, according to the preliminary results, scored third in the shared task, out of 23 competing systems. For the document retrieval, we implemented a new entity linking approach. In order to be able to rank candidate facts and classify a claim on the basis of several selected facts, we introduce two extensions to the Enhanced LSTM (ESIM).


title: Tuning interactions in the spin-ice materials Dy$_2$Ge$_{2-x}$Si$_x$O$_7$ by silicon substitution

abstract: We report that the lattice constant of Dy$_2$Ge$_{2-x}$Si$_x$O$_7$ ($x=0, 0.02, 0.08, 0.125$) can be systematically reduced by substituting the non-magnetic germanium ion in the cubic pyrochlore oxide with silicon. A multi-anvil high-pressure synthesis was performed up to 16 GPa and 1100 $^\circ$C to obtain polycrystalline samples in a solid-state reaction. Measurements of magnetization, ac susceptibility, and heat capacity reveal the typical signatures of a spin-ice phase. From the temperature shift of the peaks, observed in the temperature-dependent heat capacity, we deduce an increase of the strength of the exchange interaction. In conclusion, the reduced lattice constant leads to a changed ratio of the competing exchange and dipolar interaction. This puts the new spin-ice compounds closer towards the phase boundary of short-range spin-ice arrangement and antiferromagnetic long-range order consistent with an observed reduction of the monopole energy scale.


title: Geodesic farthest-point Voronoi diagram in linear time

abstract: Let $P$ be a simple polygon with $n$ vertices. For any two points in $P$, the geodesic distance between them is the length of the shortest path that connects them among all paths contained in $P$. Given a set $S$ of $m$ sites being a subset of the vertices of $P$, we present a randomized algorithm to compute the geodesic farthest-point Voronoi diagram of $S$ in $P$ running in expected $O(n + m)$ time. That is, a partition of $P$ into cells, at most one cell per site, such that every point in a cell has the same farthest site with respect to the geodesic distance. In particular, this algorithm can be extended to run in expected $O(n + m\log m)$ time when $S$ is an arbitrary set of $m$ sites contained in $P$, thereby solving the open problem posed by Mitchell in Chapter 27 of the Handbook of Computational Geometry.


title: Acceleration of cosmic expansion through huge cosmological constant progressively reduced by submicroscopic information transfer

abstract: In a previous paper (Ref. [1]) the presence of dark energy in our universe was explained as the fingerprint of a comprehensive, much older and expanding multiverse with positive spatial curvature, whose space-time is spanned by this energy, and which was created out of nothing. This concept is expanded by the addition of a model for explaining the decay of the mass density $\varrho$ of dark energy from its origin until now by a factor of approximately $10^{-120}$. Elementary particles contain information about which laws of nature they obey, but not what exactly these are. Most likely, the laws are not followed by obedience to a categorical imperative. Rather, it is assumed, that from the very beginning the information about them is coded in submicroscopic patches of the space-time. The initial density $\varrho_i$ is supposed to belong to the unimpaired cosmological constant obtained from elementary particle theory. Due to its huge value it causes an extremely fast spatial expansion by which continuously new space-time elements are created. To them, the information about the physical laws must be transmitted from the already present space-time. This process needs time which with ever-increasing expansion velocity is getting scarcer and scarcer. It is concluded that this impedes the expansion through a friction-like process which can be described by a term proportional to the expansion-velocity. This term is subtracted from the expansion-acceleration. It is shown that the solutions thus obtained are also solutions of the cosmological standard equations employing a scalar field $\Phi$. In consequence, the present model can be considered as a re-interpretation of results which can be obtained with acknowledged methods.


title: Orbifolds of Reshetikhin-Turaev TQFTs

abstract: We construct three classes of generalised orbifolds of Reshetikhin-Turaev theory for a modular tensor category $\mathcal{C}$, using the language of defect TQFT from [arXiv:1705.06085]: (i) spherical fusion categories give orbifolds for the "trivial" defect TQFT associated to vect, (ii) $G$-crossed extensions of $\mathcal{C}$ give group orbifolds for any finite group $G$, and (iii) we construct orbifolds from commutative $\Delta$-separable symmetric Frobenius algebras in $\mathcal{C}$. We also explain how the Turaev-Viro state sum construction fits into our framework by proving that it is isomorphic to the orbifold of case (i). Moreover, we treat the cases (ii) and (iii) in the more general setting of ribbon tensor categories. For case (ii) we show how Morita equivalence leads to isomorphic orbifolds, and we discuss Tambara-Yamagami categories as particular examples.


title: Multiple vector bundles: cores, splittings and decompositions

abstract: This paper introduces $\infty$- and $n$-fold vector bundles as special functors from the $\infty$- and $n$-cube categories to the category of smooth manifolds. We study the cores and "n-pullbacks" of $n$-fold vector bundles and we prove that any $n$-fold vector bundle admits a non-canonical isomorphism to a decomposed $n$-fold vector bundle. A colimit argument then shows that $\infty$-fold vector bundles admit as well non-canonical decompositions. For the convenience of the reader, the case of triple vector bundles is discussed in detail.


title: Blind Community Detection from Low-rank Excitations of a Graph Filter

abstract: This paper considers a new framework to detect communities in a graph from the observation of signals at its nodes. We model the observed signals as noisy outputs of an unknown network process, represented as a graph filter that is excited by a set of unknown low-rank inputs/excitations. Application scenarios of this model include diffusion dynamics, pricing experiments, and opinion dynamics. Rather than learning the precise parameters of the graph itself, we aim at retrieving the community structure directly. The paper shows that communities can be detected by applying a spectral method to the covariance matrix of graph signals. Our analysis indicates that the community detection performance depends on a `low-pass' property of the graph filter. We also show that the performance can be improved via a low-rank matrix plus sparse decomposition method when the latent parameter vectors are known. Numerical experiments demonstrate that our approach is effective.


title: Singularity-free approximate analytical solution of capillary rise dynamics

abstract: Capillary rise is one of the most well-known capillarity; however, no single and complete analytic solution has ever been obtained yet. This paper used the singularity-free equation, and successfully obtained its Taylor's series solution. The solution revealed that capillary rise dynamics is mainly controlled by the Bond number and the Galileo number, while the Bond number is a key parameter within the solution. To avoid the poor rate of convergence of Taylor's series solution, an approximate analytic solution was proposed, which was verified numerically.


title: Resource and Competence (Internal) View vs. Environment and Market (External) View when defining a Business

abstract: Startups is a popular phenomenon that has a significant impact on global economy growth, innovation and society development. However, there is still insufficient understanding about startups, particularly, how to start a new business in the relation to consequent performance. Toward this knowledge, we have performed an empirical study regarding the differences between a Resource and Competence View (Internal) vs Environment and Market View (External) when defining a Business. 701 entrepreneurs have reflected on their startups on nine classes of Resources (values, vision, personal objectives, employees and partners, buildings and rental contracts, cash and credit, patents, IPR's and brands, products and services and finally revenues and grants) and three elements of the Business Mission ("KeyContribution", "KeyMarket" and "Distinction"). It seems to be a tendency to favour the Internal View over the External View. This tendency is clearer in Stable Economies (Europe) than in Emerging Economies (South Africa). There seems to be a co-variation between the tendency to favour the Internal View and the tendency to focus on adding Resources. Finally, we found that an order-based analysis seems to explain the differences between the two views better than a number-based method.


title: Sion's mini-max theorem and Nash equilibrium in a multi-players game with two groups which is zero-sum and symmetric in each group

abstract: We consider the relation between Sion's minimax theorem for a continuous function and a Nash equilibrium in a multi-players game with two groups which is zero-sum and symmetric in each group. We will show the following results. 1. The existence of Nash equilibrium which is symmetric in each group implies Sion's minimax theorem with the coincidence of the maximin strategy and the minimax strategy for players in each group. %given the values of the strategic variables. 2. Sion's minimax theorem with the coincidence of the maximin strategy and the minimax strategy for players in each group implies the existence of a Nash equilibrium which is symmetric in each group. Thus, they are equivalent. An example of such a game is a relative profit maximization game in each group under oligopoly with two groups such that firms in each group have the same cost functions and maximize their relative profits in each group, and the demand functions are symmetric for the firms in each group.


title: A Bayesian GED-Gamma stochastic volatility model for return data: a marginal likelihood approach

abstract: Several studies explore inferences based on stochastic volatility (SV) models, taking into account the stylized facts of return data. The common problem is that the latent parameters of many volatility models are high-dimensional and analytically intractable, which means inferences require approximations using, for example, the Markov Chain Monte Carlo or Laplace methods. Some SV models are expressed as a linear Gaussian state-space model that leads to a marginal likelihood, reducing the dimensionality of the problem. Others are not linearized, and the latent parameters are integrated out. However, these present a quite restrictive evolution equation. Thus, we propose a Bayesian GED-Gamma SV model with a direct marginal likelihood that is a product of the generalized Student's t-distributions in which the latent states are related across time through a stationary Gaussian evolution equation. Then, an approximation is made for the prior distribution of log-precision/volatility, without the need for model linearization. This also allows for the computation of the marginal likelihood function, where the high-dimensional latent states are integrated out and easily sampled in blocks using a smoothing procedure. In addition, extensions of our GED-Gamma model are easily made to incorporate skew heavy-tailed distributions. We use the Bayesian estimator for the inference of static parameters, and perform a simulation study on several properties of the estimator. Our results show that the proposed model can be reasonably estimated. Furthermore, we provide case studies of a Brazilian asset and the pound/dollar exchange rate to show the performance of our approach in terms of fit and prediction. Keywords: SV model, New sequential and smoothing procedures, Generalized Student's t-distribution, Non-Gaussian errors, Heavy tails, Skewness


title: Uniform line fillings

abstract: Deterministic fabrication of random metamaterials requires filling of a space with randomly oriented and randomly positioned chords with an on-average homogenous density and orientation, which is a nontrivial task. We describe a method to generate fillings with such chords, lines that run from edge to edge of the space, in any dimension. We prove that the method leads to random but on-average homogeneous and rotationally invariant fillings of circles, balls and arbitrary-dimensional hyperballs from which other shapes such as rectangles and cuboids can be cut. We briefly sketch the historic context of Bertrand's paradox and Jaynes' solution by the principle of maximum ignorance. We analyse the statistical properties of the produced fillings, mapping out the density profile and the line-length distribution and comparing them to analytic expressions. We study the characteristic dimensions of the space in between the chords by determining the largest enclosed circles and balls in this pore space, finding a lognormal distribution of the pore sizes. We apply the algorithm to the direct-laser-writing fabrication design of optical multiple-scattering samples as three-dimensional cubes of random but homogeneously positioned and oriented chords.


title: Interdependent evolution of robustness, force transmission and damage in a heterogeneous quasi-brittle granular material: from suppressed to cascading failure

abstract: A heterogeneous quasi-brittle granular material can withstand certain levels of internal damage before global failure. This robustness depends not just on the bond strengths but also on the topology and redundancy of the bonded contact network, through which forces and damage propagate. Despite extensive studies on quasi-brittle failure, there still lacks a unified framework that can quantify the interdependent evolution of robustness, damage and force transmission. Here we develop a framework to do so. It is data-driven, multiscale and relies solely on the contact strengths and topology of the contact network for material properties. Using data derived from discrete element simulations of concrete specimens under uniaxial tension, we uncover evidence of an optimized force transmission, characterized by two novel transmission patterns that predict and explain damage propagation from the microstructural to the macroscopic level. The first comprises the optimized flow routes: shortest possible paths that can transmit the global transmission capacity. These paths reliably predict tensile force chains. The second are the force bottlenecks. These provide an early and accurate prediction of the ultimate pattern, location and interaction of macrocracks. A two-pronged cooperative mechanism among bottlenecks, enabled by redundancies in transmission pathways, underlies robustness in the pre-failure regime. Bottlenecks take turns in accommodating damage, while member contacts spread the forces to confine damage to low capacity contacts which leave behind a web of strong contacts to support and curtail the failure of tensile force chains in the region. This cooperative behavior, while serving to minimize the inevitable reduction in global transmission capacity, progressively heightens the interdependency among these contacts and elicits the opposite effect.


title: IR-improved DGLAP parton shower effects in W + jets in pp collisions at $\sqrt{s}=7$ TeV

abstract: We use HERWIRI1.031, a new Monte Carlo event generator for hadron-hadron scattering at high energies, to study the phenomenological effects of our approach of exact amplitude-based resummation in precision QCD calculations. W + jet(s) events with exact NLO QCD corrections are generated in the MG5_aMC@NLO framework and showered by both HERWIRI1.031 and HERWIG6.5 with PTRMS = 0 and PTRMS = 2.2 GeV/c, respectively. Here, PTRMS is the rms value of the intrinsic Gaussian transverse momentum distribution for the partons inside the proton. The differential cross sections for many observables are presented such as the jet rapidities and the jet transverse momenta as well as other event observables such as the scalar sums of transverse momenta of the jets, the missing transverse energy of the jets and the dijets' observables. Finally, we compare our results with the ATLAS and CMS measurements of the W production cross sections in association with jets.


title: On Local Tameness of Certain Graphs of Groups

abstract: Let $G$ be the fundamental group of a finite graph of groups with Noetherian edges and locally tame vertices. We prove that $G$ is locally tame. It follows that if a finitely presented group $H$ has a non-trivial $JSJ$-decomposition over the class of its $VPC(k)$ subgroups for $k=1$ or $k=2$, and all the vertex groups in the decomposition are flexible, then $H$ is locally tame.


title: Interpretation of Natural Language Rules in Conversational Machine Reading

abstract: Most work in machine reading focuses on question answering problems where the answer is directly expressed in the text to read. However, many real-world question answering problems require the reading of text not because it contains the literal answer, but because it contains a recipe to derive an answer together with the reader's background knowledge. One example is the task of interpreting regulations to answer "Can I...?" or "Do I have to...?" questions such as "I am working in Canada. Do I have to carry on paying UK National Insurance?" after reading a UK government website about this topic. This task requires both the interpretation of rules and the application of background knowledge. It is further complicated due to the fact that, in practice, most questions are underspecified, and a human assistant will regularly have to ask clarification questions such as "How long have you been working abroad?" when the answer cannot be directly derived from the question and text. In this paper, we formalise this task and develop a crowd-sourcing strategy to collect 32k task instances based on real-world rules and crowd-generated questions and scenarios. We analyse the challenges of this task and assess its difficulty by evaluating the performance of rule-based and machine-learning baselines. We observe promising results when no background knowledge is necessary, and substantial room for improvement whenever background knowledge is needed.


title: A Reinforcement Learning-driven Translation Model for Search-Oriented Conversational Systems

abstract: Search-oriented conversational systems rely on information needs expressed in natural language (NL). We focus here on the understanding of NL expressions for building keyword-based queries. We propose a reinforcement-learning-driven translation model framework able to 1) learn the translation from NL expressions to queries in a supervised way, and, 2) to overcome the lack of large-scale dataset by framing the translation model as a word selection approach and injecting relevance feedback in the learning process. Experiments are carried out on two TREC datasets and outline the effectiveness of our approach.


title: Learning Gender-Neutral Word Embeddings

abstract: Word embedding models have become a fundamental component in a wide range of Natural Language Processing (NLP) applications. However, embeddings trained on human-generated corpora have been demonstrated to inherit strong gender stereotypes that reflect social constructs. To address this concern, in this paper, we propose a novel training procedure for learning gender-neutral word embeddings. Our approach aims to preserve gender information in certain dimensions of word vectors while compelling other dimensions to be free of gender influence. Based on the proposed method, we generate a Gender-Neutral variant of GloVe (GN-GloVe). Quantitative and qualitative experiments demonstrate that GN-GloVe successfully isolates gender information without sacrificing the functionality of the embedding model.


title: Chinese Discourse Segmentation Using Bilingual Discourse Commonality

abstract: Discourse segmentation aims to segment Elementary Discourse Units (EDUs) and is a fundamental task in discourse analysis. For Chinese, previous researches identify EDUs just through discriminating the functions of punctuations. In this paper, we argue that Chinese EDUs may not end at the punctuation positions and should follow the definition of EDU in RST-DT. With this definition, we conduct Chinese discourse segmentation with the help of English labeled data.Using discourse commonality between English and Chinese, we design an adversarial neural network framework to extract common language-independent features and language-specific features which are useful for discourse segmentation, when there is no or only a small scale of Chinese labeled data available. Experiments on discourse segmentation demonstrate that our models can leverage common features from bilingual data, and learn efficient Chinese-specific features from a small amount of Chinese labeled data, outperforming the baseline models.


title: Skip-gram word embeddings in hyperbolic space

abstract: Recent work has demonstrated that embeddings of tree-like graphs in hyperbolic space surpass their Euclidean counterparts in performance by a large margin. Inspired by these results and scale-free structure in the word co-occurrence graph, we present an algorithm for learning word embeddings in hyperbolic space from free text. An objective function based on the hyperbolic distance is derived and included in the skip-gram negative-sampling architecture of word2vec. The hyperbolic word embeddings are then evaluated on word similarity and analogy benchmarks. The results demonstrate the potential of hyperbolic word embeddings, particularly in low dimensions, though without clear superiority over their Euclidean counterparts. We further discuss subtleties in the formulation of the analogy task in curved spaces.


title: Extractive Adversarial Networks: High-Recall Explanations for Identifying Personal Attacks in Social Media Posts

abstract: We introduce an adversarial method for producing high-recall explanations of neural text classifier decisions. Building on an existing architecture for extractive explanations via hard attention, we add an adversarial layer which scans the residual of the attention for remaining predictive signal. Motivated by the important domain of detecting personal attacks in social media comments, we additionally demonstrate the importance of manually setting a semantically appropriate `default' behavior for the model by explicitly manipulating its bias term. We develop a validation set of human-annotated personal attacks to evaluate the impact of these changes.


title: Neural DrugNet

abstract: In this paper, we describe the system submitted for the shared task on Social Media Mining for Health Applications by the team Light. Previous works demonstrate that LSTMs have achieved remarkable performance in natural language processing tasks. We deploy an ensemble of two LSTM models. The first one is a pretrained language model appended with a classifier and takes words as input, while the second one is a LSTM model with an attention unit over it which takes character tri-gram as input. We call the ensemble of these two models: Neural-DrugNet. Our system ranks 2nd in the second shared task: Automatic classification of posts describing medication intake.


title: Non-Gaussian Stochastic Volatility Model with Jumps via Gibbs Sampler

abstract: In this work, we propose a model for estimating volatility from financial time series, extending the non-Gaussian family of space-state models with exact marginal likelihood proposed by Gamerman, Santos and Franco (2013). On the literature there are models focused on estimating financial assets risk, however, most of them rely on MCMC methods based on Metropolis algorithms, since full conditional posterior distributions are not known. We present an alternative model capable of estimating the volatility, in an automatic way, since all full conditional posterior distributions are known, and it is possible to obtain an exact sample of parameters via Gibbs Sampler. The incorporation of jumps in returns allows the model to capture speculative movements of the data, so that their influence does not propagate to volatility. We evaluate the performance of the algorithm using synthetic and real data time series. Keywords: Financial time series, Stochastic volatility, Gibbs Sampler, Dynamic linear models.


title: Dihedral evaluations of hypergeometric functions with the Kleinian projective monodromy

abstract: Algebraic hypergeometric functions can be compactly expressed as radical or dihedral functions on pull-back curves where the monodromy group is much simpler. This article considers the classical 3F2-functions with the projective monodromy group PSL(2,F7) and their pull-back transformations of degree 21 that reduce the projective monodromy to the dihedral group D4 of 8 elements.


title: On Secure Mixed RF-FSO Systems With TAS and Imperfect CSI

abstract: In this work, we analyze the secrecy outage performance of a dual-hop relay system composed of multiple-input-multiple-output radio-frequency (RF) links and a free-space optical (FSO) link while a multiple-antenna eavesdropper wiretaps the confidential information by decoding the received signals from the resource node. The channel state information (CSI) of the RF and FSO links is considered to be outdated. We propose three transmit antenna selection (TAS) schemes to enhance the secrecy performance of the considered systems. The secrecy outage performance with different TAS schemes is analyzed and the effects of misalignment and detection technology on the secrecy outage performance of mixed systems are studied. We derive the closed-form expressions for probability density function (PDF) and cumulative distribution function (CDF) over M\'alaga channel with imperfect CSI. Then the closed-form expressions for the CDF and PDF of the equivalent signal-to-noise ratio (SNR) at the legitimate receiver over Nakagami-$m$ and M\'alaga channels are derived. Furthermore, the lower bound of the secrecy outage probability (SOP) with different TAS schemes are derived. Besides, the asymptotic results for SOP are investigated by exploiting the unfolding of Meijer's $G$-function when the electrical SNR of FSO link approaches infinity. Finally, Monte-Carlo simulation results are presented to testify the correctness of the proposed analysis. The results illustrate that the outdated CSI shows a strong effect on the secrecy outage performance. In addition, increasing the number of antennas at the source cannot significantly enhance the secrecy performance of the considered systems.


title: An Algebraic Approach to Electron Interactions in Quantum Hall Systems

abstract: Let $m$ denote the number of quasielectrons (QEs) in a quantum Hall system containing $N$ particles altogether. We show in several general cases that for systems containing $m$ QEs in a single angular momentum shell above $N-m$ Fermions in an incompressible quantum liquid (IQL) state having filling factor $\nu=\frac{1}{3}$ that there always exists a configuration whose symmetric correlation function $G$ is nonzero. This extends recent comparable results concerning the IQL state. As a consequence, one can obtain (explicitly) a configuration having a nonzero $G$ for all $N=8$ particle systems containing any number of QEs. To establish our result, we construct a family of multi-graphs on $N$ vertices satisfying certain restraints on the degrees of the vertices and possessing the property that whenever one computes the linear symmetrization of the graph monomial of any member of the family, the result is always nonzero. The nonzero linear symmetrization that is obtained in each case is in fact an example of what is called a relative semi-invariant of a (generic) binary form of degree $N$. Thus, in addition to providing new correlation functions for systems of interacting Fermions containing QEs, our construction could be of interest from both the invariant and graph theoretic standpoints.


title: Azimuthal Angular Decorrelation of Jets at Future High Energy Colliders

abstract: The azimuthal angular decorrelation that is relevant to small-x QCD physics is studied in this paper to show the BFKL effect with a recent event generator. Events are generated at \sqrt{s} = 100 TeV with proton-proton collisions and jets, that are reconstructed by the Anti-k_{T} algorithm (R=0.7), with p_{T}>35GeV and in the rapidity range of |y|<6 are selected for the study. The azimuthal-angle difference between Mueller-Navelet Jets (\Delta\text{{\Phi}} ) in the rapidity seperation (\Delta y) up to 12 is analysed. The distributions of <cosn(\pi-\Delta\Phi)> for n=1,2,3 and their ratio are also presented as a function of \Delta y.


title: VLSTM: Very Long Short-Term Memory Networks for High-Frequency Trading

abstract: Financial trading is at the forefront of time-series analysis, and has grown hand-in-hand with it. The advent of electronic trading has allowed complex machine learning solutions to enter the field of financial trading. Financial markets have both long term and short term signals and thus a good predictive model in financial trading should be able to incorporate them together. One of the most sought after forms of electronic trading is high-frequency trading (HFT), typically known for microsecond sensitive changes, which results in a tremendous amount of data. LSTMs are one of the most capable variants of the RNN family that can handle long-term dependencies, but even they are not equipped to handle such long sequences of the order of thousands of data points like in HFT. We propose very-long short term memory networks, or VLSTMs, to deal with such extreme length sequences. We explore the importance of VLSTMs in the context of HFT. We compare our model on publicly available dataset and got a 3.14\% increase in F1-score over the existing state-of-the-art time-series forecasting models. We also show that our model has great parallelization potential, which is essential for practical purposes when trading on such markets.


title: Signatures of enhanced superconducting phase coherence through MID-IR excitation in optimally doped Y-Bi2212

abstract: Optimally doped cuprate superconductors are characterized by the presence of superconducting fluctuations in a relatively large temperature region above the critical transition temperature. We reveal here that the effect of thermal disorder, which decreases the condensate phase coherence at equilibrium, can be dynamically contrasted by photoexcitation with ultrashort mid-infrared pulses. In particular, our findings reveal that light pulses with photon energy comparable to the amplitude of the superconducting gap and polarized in plane along the copper-copper direction [110] can dynamically enhance the optical response which is associated to the onset of superconductivity. We propose that this effect could be rationalized by an effective d-wave BCS model, which reveals that mid-infrared pulses result in a transient increase of the phase coherence.


title: Conformational Control of Exciton-Polariton Physics in Metal - Poly(9,9-dioctylfluorene) - Metal Cavities

abstract: Control is exerted over the exciton-polariton physics in metal - Poly(9,9-dioctyl fluorene) - metal microcavities via conformational changes to the polymer backbone. Using thin-film samples containing increasing fractions of $\beta$-phase chain segments, a systematic study is reported for the mode characteristics and resulting light emission properties of cavities containing two distinct exciton sub-populations within the same semiconductor. Ultrastrong coupling for disordered glassy-phase excitons is observed from angle-resolved reflectivity measurements, with Rabi splitting energies in excess of 1.05 eV (more than 30% of the exciton transition energy) for both TE- and TM-polarized light. A splitting of the lower polariton branch is then induced via introduction of $\beta$-phase excitons and increases with their growing fraction. In all cases, the photoluminescence emanates from the lowermost polariton branch, allowing conformational control to be exerted over the emission energy and its angular variation. Dispersion-free cavities with highly saturated blue-violet emission are thus enabled. Experimental results are discussed in terms of the full Hopfield Hamiltonian generalized to the case of two exciton oscillators. The importance of taking account of the molecular characteristics of the semiconductor for an accurate description of its strong coupling behaviour is directly considered, in specific relation to the role of the vibronic structure.


title: Maxwell eigenmodes in product domains

abstract: This paper is devoted to Maxwell modes in three-dimensional bounded electromagnetic cavities that have the form of a product of lower dimensional domains in some system of coordinates. The boundary conditions are those of the perfectly conducting or perfectly insulating body. The main case of interest is products in Cartesian variables. Cylindrical and spherical variables are also addressed. We exhibit common structures of polarization type for eigenmodes. In the Cartesian case, the cavity eigenvalues can be obtained as sums of Dirich-let or Neumann eigenvalues of positive Laplace operators and the corresponding eigenvectors have a tensor product form. We compare these descriptions with the spherical wave function Ansatz for a ball and show why the cavity eigenvalue of the ball are also Dirichlet or Neumann eigenvalues of some scalar operators. As application of our general formulas, we find explicit eigenpairs in a cuboid, in a circular cylinder, and in a cylinder with a coaxial circular hole. This latter example exhibit interesting '' TEM '' eigenmodes that have a one-dimensional vibrating string structure, and contribute to the least energy modes if the cylinder is long enough.


title: On the Need of Preserving Order of Data When Validating Within-Project Defect Classifiers

abstract: [Context] The use of defect prediction models, such as classifiers, can support testing resource allocations by using data of the previous releases of the same project for predicting which software components are likely to be defective. A validation technique, hereinafter technique defines a specific way to split available data in training and test sets to measure a classifier accuracy. Time-series techniques have the unique ability to preserve the temporal order of data; i.e., preventing the testing set to have data antecedent to the training set. [Aim] The aim of this paper is twofold: first we check if there is a difference in the classifiers accuracy measured by time-series versus non-time-series techniques. Afterward, we check for a possible reason for this difference, i.e., if defect rates change across releases of a project. [Method] Our method consists of measuring the accuracy, i.e., AUC, of 10 classifiers on 13 open and two closed projects by using three validation techniques, namely cross validation, bootstrap, and walk-forward, where only the latter is a time-series technique. [Results] We find that the AUC of the same classifier used on the same project and measured by 10-fold varies compared to when measured by walk-forward in the range [-0.20, 0.22], and it is statistically different in 45% of the cases. Similarly, the AUC measured by bootstrap varies compared to when measured by walk-forward in the range [-0.17, 0.43], and it is statistically different in 56% of the cases. [Conclusions] We recommend choosing the technique to be used by carefully considering the conclusions to draw, the property of the available datasets, and the level of realism with the classifier usage scenario.