title: An Empirical Exploration of Curriculum Learning for Neural Machine Translation

abstract: Machine translation systems based on deep neural networks are expensive to train. Curriculum learning aims to address this issue by choosing the order in which samples are presented during training to help train better models faster. We adopt a probabilistic view of curriculum learning, which lets us flexibly evaluate the impact of curricula design, and perform an extensive exploration on a German-English translation task. Results show that it is possible to improve convergence time at no loss in translation quality. However, results are highly sensitive to the choice of sample difficulty criteria, curriculum schedule and other hyperparameters.


title: Efficient Metropolitan Traffic Prediction Based on Graph Recurrent Neural Network

abstract: Traffic prediction is a fundamental and vital task in Intelligence Transportation System (ITS), but it is very challenging to get high accuracy while containing low computational complexity due to the spatiotemporal characteristics of traffic flow, especially under the metropolitan circumstances. In this work, a new topological framework, called Linkage Network, is proposed to model the road networks and present the propagation patterns of traffic flow. Based on the Linkage Network model, a novel online predictor, named Graph Recurrent Neural Network (GRNN), is designed to learn the propagation patterns in the graph. It could simultaneously predict traffic flow for all road segments based on the information gathered from the whole graph, which thus reduces the computational complexity significantly from O(nm) to O(n+m), while keeping the high accuracy. Moreover, it can also predict the variations of traffic trends. Experiments based on real-world data demonstrate that the proposed method outperforms the existing prediction methods.


title: Stronger Data Poisoning Attacks Break Data Sanitization Defenses

abstract: Machine learning models trained on data from the outside world can be corrupted by data poisoning attacks that inject malicious points into the models' training sets. A common defense against these attacks is data sanitization: first filter out anomalous training points before training the model. In this paper, we develop three attacks that can bypass a broad range of common data sanitization defenses, including anomaly detectors based on nearest neighbors, training loss, and singular-value decomposition. By adding just 3% poisoned data, our attacks successfully increase test error on the Enron spam detection dataset from 3% to 24% and on the IMDB sentiment classification dataset from 12% to 29%. In contrast, existing attacks which do not explicitly account for these data sanitization defenses are defeated by them. Our attacks are based on two ideas: (i) we coordinate our attacks to place poisoned points near one another, and (ii) we formulate each attack as a constrained optimization problem, with constraints designed to ensure that the poisoned points evade detection. As this optimization involves solving an expensive bilevel problem, our three attacks correspond to different ways of approximating this problem, based on influence functions; minimax duality; and the Karush-Kuhn-Tucker (KKT) conditions. Our results underscore the need to develop more robust defenses against data poisoning attacks.


title: Rationality-proof consensus: extended abstract

abstract: Blockchain systems benefit from lessons in prior art such as fault tolerance, distributed systems, peer-to-peer systems, and game theory. In this paper we argue that blockchain algorithms should tolerate both rational (self-interested) users and Byzantine (malicious) ones, rather than assuming all non-Byzantine users are altruistic and follow the protocols blindly. Such algorithms are called BAR-tolerant [1]. To design a BAR-tolerant system, one can follow these three steps: clearly define the utility function for the rational users, prove the algorithm is such that there is no benefit from unilaterally deviating (that is, it's a Byzantine Nash Equilibrium), then prove the algorithm correct assuming the rational actors follow the protocol. We present an example attack by rational users: the gatekeeping attack, where members of a system selfishly decide to prevent newcomers from joining. This attack may affect any stake-based system where the existing members prevent newcomers from making a stake, and essentially form a cartel. We then sketch a BAR-tolerant consensus protocol for blockchain that can defend against this attack. It relies on a strict order to decide who gets to propose a new block (so there's no need to race to solve a crypto puzzle) and it relies on hardware ID tokens to make sure every computer is only represented at most once as a block proposer to mitigate Sybil attacks. It also defends against the gatekeeper attack. The BAR-tolerant approach is naturally also applicable to other blockchain algorithms.


title: Unique Identification of Macaques for Population Monitoring and Control

abstract: Despite loss of natural habitat due to development and urbanization, certain species like the Rhesus macaque have adapted well to the urban environment. With abundant food and no predators, macaque populations have increased substantially in urban areas, leading to frequent conflicts with humans. Overpopulated areas often witness macaques raiding crops, feeding on bird and snake eggs as well as destruction of nests, thus adversely affecting other species in the ecosystem. In order to mitigate these adverse effects, sterilization has emerged as a humane and effective way of population control of macaques. As sterilization requires physical capture of individuals or groups, their unique identification is integral to such control measures. In this work, we propose the Macaque Face Identification (MFID), an image based, non-invasive tool that relies on macaque facial recognition to identify individuals, and can be used to verify if they are sterilized. Our primary contribution is a robust facial recognition and verification module designed for Rhesus macaques, but extensible to other non-human primate species. We evaluate the performance of MFID on a dataset of 93 monkeys under closed set, open set and verification evaluation protocols. Finally, we also report state of the art results when evaluating our proposed model on endangered primate species.


title: Coherent nonlinear oscillations in magnetohydrodynamic plasma

abstract: Single fluid magnetohydrodynamic (MHD) equations have been studied through direct numerical simulations (DNS) using pseudo-spectral methods in two as well as three spatial dimensions. At Alfv\'en resonance, a reversible periodic exchange of energy between kinetic and magnetic variables is observed. The oscillations are identified as nonlinear dispersionless Alfv\'en waves that have been predicted earlier on theoretical grounds but not observed in large scale numerical simulations. A systematic study of their occurrence for various initial conditions and a range of Alfven velocities is carried out. An analysis based on a finite mode representation of the incompressible single fluid MHD equations in two spatial dimensions reproduces the essential features of these oscillations.


title: Inexact Methods for Symmetric Stochastic Eigenvalue Problems

abstract: We study two inexact methods for solutions of random eigenvalue problems in the context of spectral stochastic finite elements. In particular, given a parameter-dependent, symmetric matrix operator, the methods solve for eigenvalues and eigenvectors represented using polynomial chaos expansions. Both methods are based on the stochastic Galerkin formulation of the eigenvalue problem and they exploit its Kronecker-product structure. The first method is an inexact variant of the stochastic inverse subspace iteration [B. Soused\'{\i}k, H. C. Elman, SIAM/ASA Journal on Uncertainty Quantification 4(1), pp. 163--189, 2016]. The second method is based on an inexact variant of Newton iteration. In both cases, the problems are formulated so that the associated stochastic Galerkin matrices are symmetric, and the corresponding linear problems are solved using preconditioned Krylov subspace methods with several novel hierarchical preconditioners. The accuracy of the methods is compared with that of Monte Carlo and stochastic collocation, and the effectiveness of the methods is illustrated by numerical experiments.


title: Confiding in and Listening to Virtual Agents: The Effect of Personality

abstract: We present an intelligent virtual interviewer that engages with a user in a text-based conversation and automatically infers the user's psychological traits, such as personality. We investigate how the personality of a virtual interviewer influences a user's behavior from two perspectives: the user's willingness to confide in, and listen to, a virtual interviewer. We have developed two virtual interviewers with distinct personalities and deployed them in a real-world recruiting event. We present findings from completed interviews with 316 actual job applicants. Notably, users are more willing to confide in and listen to a virtual interviewer with a serious, assertive personality. Moreover, users' personality traits, inferred from their chat text, influence their perception of a virtual interviewer, and their willingness to confide in and listen to a virtual interviewer. Finally, we discuss the implications of our work on building hyper-personalized, intelligent agents based on user traits.


title: Information Geometry of Sensor Configuration

abstract: In problems of parameter estimation from sensor data, the Fisher Information provides a measure of the performance of the sensor; effectively, in an infinitesimal sense, how much information about the parameters can be obtained from the measurements. From the geometric viewpoint, it is a Riemannian metric on the manifold of parameters of the observed system. In this paper we consider the case of parameterized sensors and answer the question, "How best to reconfigure a sensor (vary the parameters of the sensor) to optimize the information collected?" A change in the sensor parameters results in a corresponding change to the metric. We show that the change in information due to reconfiguration exactly corresponds to the natural metric on the infinite dimensional space of Riemannian metrics on the parameter manifold, restricted to finite-dimensional sub-manifold determined by the sensor parameters. The distance measure on this configuration manifold is shown to provide optimal, dynamic sensor reconfiguration based on an information criterion. Geodesics on the configuration manifold are shown to optimize the information gain but only if the change is made at a certain rate. An example of configuring two bearings-only sensors to optimally locate a target is developed in detail to illustrate the mathematical machinery, with Fast-Marching methods employed to efficiently calculate the geodesics and illustrate the practicality of using this approach.


title: One method for proving some classes of exponential analytic inequalities

abstract: In this paper we propose a method for proving some exponential inequalities based on power series expansion and analysis of derivations of the corresponding functions. Our approach provides a simple proof and generates a new class of appropriate inequalities, as well as allows direct establishment of the dependence between (the exponent of) some functions that occur as bounds of the approximation and the interval in which the corresponding inequality holds true.


title: Effective Learning of Probabilistic Models for Clinical Predictions from Longitudinal Data

abstract: With the expeditious advancement of information technologies, health-related data presented unprecedented potentials for medical and health discoveries but at the same time significant challenges for machine learning techniques both in terms of size and complexity. Those challenges include: the structured data with various storage formats and value types caused by heterogeneous data sources; the uncertainty widely existing in every aspect of medical diagnosis and treatments; the high dimensionality of the feature space; the longitudinal medical records data with irregular intervals between adjacent observations; the richness of relations existing among objects with similar genetic factors, location or socio-demographic background. This thesis aims to develop advanced Statistical Relational Learning approaches in order to effectively exploit such health-related data and facilitate the discoveries in medical research. It presents the work on cost-sensitive statistical relational learning for mining structured imbalanced data, the first continuous-time probabilistic logic model for predicting sequential events from longitudinal structured data as well as hybrid probabilistic relational models for learning from heterogeneous structured data. It also demonstrates the outstanding performance of these proposed models as well as other state of the art machine learning models when applied to medical research problems and other real-world large-scale systems, reveals the great potential of statistical relational learning for exploring the structured health-related data to facilitate medical research.


title: Splitting of conductance resonance through a magnetic quantum dot in graphene

abstract: We report a dual resonance feature in ballistic conductance through a quantum Hall graphene nanoribbon with a magnetic quantum dot. Such a magnetic quantum dot localizes Dirac fermions exhibiting anisotropic eigenenergy spectra with broken time-reversal symmetry. Interplay between the localized states and quantum Hall edge states is found to be two-fold, showing Breit-Wigner and Fano resonances, which is reminiscent of a double quantum dot system. By fitting the numerical results with the Fano-Breit-Wigner lineshape from the double quantum dot model, we demonstrate that the two-fold resonance is due to the valley mixing that comes from the coupling of the magnetic quantum dot with quantum Hall edge channels; an effective double quantum dot system emerges from a single magnetic quantum dot in virtue of the valley degree of freedom. It is further confirmed that the coupling is weaker for the Fano resonance and stronger for the Breit-Wigner resonace.


title: Show, Attend and Read: A Simple and Strong Baseline for Irregular Text Recognition

abstract: Recognizing irregular text in natural scene images is challenging due to the large variance in text appearance, such as curvature, orientation and distortion. Most existing approaches rely heavily on sophisticated model designs and/or extra fine-grained annotations, which, to some extent, increase the difficulty in algorithm implementation and data collection. In this work, we propose an easy-to-implement strong baseline for irregular scene text recognition, using off-the-shelf neural network components and only word-level annotations. It is composed of a $31$-layer ResNet, an LSTM-based encoder-decoder framework and a 2-dimensional attention module. Despite its simplicity, the proposed method is robust and achieves state-of-the-art performance on both regular and irregular scene text recognition benchmarks. Code is available at: https://tinyurl.com/ShowAttendRead


title: Observation of $D^+_s\rightarrow p\bar{n}$ and confirmation of its large branching fraction

abstract: The baryonic decay $D^+_s\rightarrow p\bar{n}$ is observed, and the corresponding branching fraction is measured to be $(1.21\pm0.10\pm0.05)\times10^{-3}$, where the first uncertainty is statistical and second systematic. The data sample used in this analysis was collected with the BESIII detector operating at the BEPCII $e^+e^-$ double-ring collider with a center-of-mass energy of 4.178~GeV and an integrated luminosity of 3.19~fb$^{-1}$. The result confirms the previous measurement by the CLEO Collaboration and is of greatly improved precision, which may deepen our understanding of the dynamical enhancement of the W-annihilation topology in the charmed meson decays.


title: Risk-Stratify: Confident Stratification Of Patients Based On Risk

abstract: A clinician desires to use a risk-stratification method that achieves confident risk-stratification - the risk estimates of the different patients reflect the true risks with a high probability. This allows him/her to use these risks to make accurate predictions about prognosis and decisions about screening, treatments for the current patient. We develop Risk-stratify - a two phase algorithm that is designed to achieve confident risk-stratification. In the first phase, we grow a tree to partition the covariate space. Each node in the tree is split using statistical tests that determine if the risks of the child nodes are different or not. The choice of the statistical tests depends on whether the data is censored (Log-rank test) or not (U-test). The set of the leaves of the tree form a partition. The risk distribution of patients that belong to a leaf is different from the sibling leaf but not the rest of the leaves. Therefore, some of the leaves that have similar underlying risks are incorrectly specified to have different risks. In the second phase, we develop a novel recursive graph decomposition approach to address this problem. We merge the leaves of the tree that have similar risks to form new leaves that form the final output. We apply Risk-stratify on a cohort of patients (with no history of cardiovascular disease) from UK Biobank and assess their risk for cardiovascular disease. Risk-stratify significantly improves risk-stratification, i.e., a lower fraction of the groups have over/under estimated risks (measured in terms of false discovery rate; 33% reduction) in comparison to state-of-the-art methods for cardiovascular prediction (Random forests, Cox model, etc.). We find that the Cox model significantly over estimates the risk of 21,621 patients out of 216,211 patients. Risk-stratify can accurately categorize 2,987 of these 21,621 patients as low-risk individuals.


title: Recurrence in three dimensional magnetohydrodynamic plasma

abstract: We report on a numerical observation of recurrence phenomenon in a three dimensional magneto-hydrodynamic (MHD) plasma for certain classes of initial flow profiles. Our simulations discover such a behaviour for an initial Taylor-Green (TG) type of flow whereas under identical conditions an initial Arnold-Beltrami-Childress (ABC) flow fails to show recurrent behaviour. This difference in the dynamical behaviours is traced to the nature of the Rayleigh quotient in each case. The Rayleigh quotient which is an approximate measure of the number of active degrees of freedom in a dynamical system is found to remain small and bounded in time for the TG flow but grows indefinitely in time for the ABC flow. An estimate of the effective degrees of freedom for the TG flow case is provided and its practical implications for the nonlinear behaviour of the continuum nonlinear MHD plasma system is discussed.


title: A General Framework for Multi-fidelity Bayesian Optimization with Gaussian Processes

abstract: How can we efficiently gather information to optimize an unknown function, when presented with multiple, mutually dependent information sources with different costs? For example, when optimizing a robotic system, intelligently trading off computer simulations and real robot testings can lead to significant savings. Existing methods, such as multi-fidelity GP-UCB or Entropy Search-based approaches, either make simplistic assumptions on the interaction among different fidelities or use simple heuristics that lack theoretical guarantees. In this paper, we study multi-fidelity Bayesian optimization with complex structural dependencies among multiple outputs, and propose MF-MI-Greedy, a principled algorithmic framework for addressing this problem. In particular, we model different fidelities using additive Gaussian processes based on shared latent structures with the target function. Then we use cost-sensitive mutual information gain for efficient Bayesian global optimization. We propose a simple notion of regret which incorporates the cost of different fidelities, and prove that MF-MI-Greedy achieves low regret. We demonstrate the strong empirical performance of our algorithm on both synthetic and real-world datasets.


title: On the Lazy Set object

abstract: The aim of this article is to employ the Lazy Set algorithm as an example for a mathematical framework for proving the linearizability of distributed systems. The proof in this approach is divided into two stages of lower and higher abstraction level. At the higher level a list of "axioms" is formulated and a proof is given that any model theoretic structure that satisfies these axioms is linearizable. At this level the algorithm is not mentioned. At the lower level, a Simpler Lazy Set algorithm is described, and it is shown that any execution of this simpler algorithm generates a model of these axioms (and is therefore linearizable). Finally the linearization of the Lazy Set algorithm is obtained by proving that any of its executions has a {\em reduct} that is an execution of the Simpler algorithm. So the reduct executions are linearizable and this entails immediately linearizability of the Lazy Set algorithm itself.


title: DurableFS: A File System for Persistent Memory

abstract: With the availability of hybrid DRAM-NVRAM memory on the memory bus of CPUs, a number of file systems on NVRAM have been designed and implemented. In this paper we present the design and implementation of a file system on NVRAM called DurableFS, which provides atomicity and durability of file operations to applications. Due to the byte level random accessibility of memory, it is possible to provide these guarantees without much overhead. We use standard techniques like copy on write for data, and a redo log for metadata changes to build an efficient file system which provides durability and atomicity guarantees at the time a file is closed. Benchmarks on the implementation shows that there is only a 7 %degradation in performance due to providing these guarantees.


title: On the semigroup property for some structured iterations

abstract: Nonlinear matrix equations play a crucial role in science and engineering problems. However, solutions of nonlinear matrix equations cannot, in general, be given analytically. One standard way of solving nonlinear matrix equations is to apply the fixed-point iteration with usually only the linear convergence rate. To advance the existing methods, we exploit in this work one type of semigroup property and use this property to propose a technique for solving the equations with the speed of convergence of any desired order. We realize our way by starting with examples of solving the scalar equations and, also, connect this method with some well-known equations including, but not limited to, the Stein matrix equation, the generalized eigenvalue problem, the generalized nonlinear matrix equation, the discrete-time algebraic Riccati equations to express the capacity of this method.


title: What mechanisms dominate the activity of Geminid Parent (3200) Phaethon?

abstract: A long-term sublimation model to explain how Phaethon could provide the Geminid stream is proposed. We find that it would take $\sim6$ Myr or more for Phaethon to lose all of its internal ice (if ever there was) in its present orbit. Thus, if the asteroid moved from the region of a 5:2 or 8:3 mean motion resonance with Jupiter to its present orbit less than $1$ Myr ago, it may have retained much of its primordial ice. The dust mantle on the sublimating body should have a thickness of at least $15$ m but the mantle could have been less than $1$ m thick $1000$ years ago. We find that the total gas production rate could have been as large as $10^{27}\rm~s^{-1}$ then, and the gas flow could have been capable of lifting dust particles of up to a few centimeters in size. Therefore, gas production during the past millennium could have been sufficient to blow away enough dust particles to explain the entire Geminid stream. For present-day Phaethon, the gas production is comparatively weak. But strong transient gas release with a rate of $\sim4.5\times10^{19}\rm~m^{-2}s^{-1}$ is expected for its south polar region when Phaethon moves from $0^\circ$ to $2^\circ$ mean anomaly near perihelion. Consequently, dust particles with radii of $<\sim260~\mu m$ can be blown away to form a dust tail. In addition, we find that the large surface temperature variation of $>600$ K near perihelion can generate sufficiently large thermal stress to cause fracture of rocks or boulders and provide an efficient mechanism to produce dust particles on the surface. The time scale for this process should be several times longer than the seasonal thermal cycle, thereby dominating the cycle of appearance of the dust tail.


title: SS433's jet trace from ALMA imaging and Global Jet Watch spectroscopy: evidence for post-launch particle acceleration

abstract: We present a comparison of Doppler-shifted H-alpha line emission observed by the Global Jet Watch from freshly-launched jet ejecta at the nucleus of the Galactic microquasar SS433 with subsequent ALMA imaging at mm-wavelengths of the same jet ejecta. There is a remarkable similarity between the transversely-resolved synchrotron emission and the prediction of the jet trace from optical spectroscopy: this is an a priori prediction not an a posteriori fit, confirming the ballistic nature of the jet propagation. The mm-wavelength of the ALMA polarimetry is sufficiently short that the Faraday rotation is negligible and therefore that the observed E-vector directions are accurately orthogonal to the projected local magnetic field. Close to the nucleus the B-field vectors are perpendicular to the direction of propagation. Further out from the nucleus, the B-field vectors that are coincident with the jet instead become parallel to the ridge line; this occurs at a distance where the jet bolides are expected to expand into one another. X-ray variability has also been observed at this location; this has a natural explanation if shocks from the expanding and colliding bolides cause particle acceleration. In regions distinctly separate from the jet ridge line, the fractional polarisation approaches the theoretical maximum for synchrotron emission.


title: ChemBoost: A chemical language based approach for protein-ligand binding affinity prediction

abstract: Identification of high affinity drug-target interactions is a major research question in drug discovery. Proteins are generally represented by their structures or sequences. However, structures are available only for a small subset of biomolecules and sequence similarity is not always correlated with functional similarity. We propose ChemBoost, a chemical language based approach for affinity prediction using SMILES syntax. We hypothesize that SMILES is a codified language and ligands are documents composed of chemical words. These documents can be used to learn chemical word vectors that represent words in similar contexts with similar vectors. In ChemBoost, the ligands are represented via chemical word embeddings, while the proteins are represented through sequence-based features and/or chemical words of their ligands. Our aim is to process the patterns in SMILES as a language to predict protein-ligand affinity, even when we cannot infer the function from the sequence. We used eXtreme Gradient Boosting to predict protein-ligand affinities in KIBA and BindingDB data sets. ChemBoost was able to predict drug-target binding affinity as well as or better than state-of-the-art machine learning systems. When powered with ligand-centric representations, ChemBoost was more robust to the changes in protein sequence similarity and successfully captured the interactions between a protein and a ligand, even if the protein has low sequence similarity to the known targets of the ligand.


title: Gravitational Collapse of a Massless Scalar Field in a Periodic Box

abstract: Gravitational collapse of a massless scalar field with the periodic boundary condition in a cubic box is reported. This system can be regarded as a lattice universe model. We construct the initial data for a Gaussian like profile of the scalar field taking the integrability condition associated with the periodic boundary condition into account. For a large initial amplitude, a black hole is formed after a certain period of time. While the scalar field spreads out in the whole region for a small initial amplitude. It is shown that the expansion law in a late time approaches to that of the radiation dominated universe and the matter dominated universe for the small and large initial amplitude cases, respectively. For the large initial amplitude case, the horizon is initially a past outer trapping horizon, whose area decreases with time, and after a certain period of time, it turns to a future outer trapping horizon with the increasing area.


title: Tight Approximation Ratio of Anonymous Pricing

abstract: We consider two canonical Bayesian mechanism design settings. In the single-item setting, we prove tight approximation ratio for anonymous pricing: compared with Myerson Auction, it extracts at least $\frac{1}{2.62}$-fraction of revenue; there is a matching lower-bound example. In the unit-demand single-buyer setting, we prove tight approximation ratio between the simplest and optimal deterministic mechanisms: in terms of revenue, uniform pricing admits a $2.62$-approximation of item pricing; we further validate the tightness of this ratio. These results settle two open problems asked in~\cite{H13,CD15,AHNPY15,L17,JLTX18}. As an implication, in the single-item setting: we improve the approximation ratio of the second-price auction with anonymous reserve to $2.62$, which breaks the state-of-the-art upper bound of $e \approx 2.72$.


title: Adaptive Ranking Based Constraint Handling for Explicitly Constrained Black-Box Optimization

abstract: We propose a novel constraint-handling technique for the covariance matrix adaptation evolution strategy (CMA-ES). The proposed technique is aimed at solving explicitly constrained black-box continuous optimization problems, in which the explicit constraint is a constraint whereby the computational time for the constraint violation and its (numerical) gradient are negligible compared to that for the objective function. This method is designed to realize two invariance properties: invariance to the affine transformation of the search space, and invariance to the increasing transformation of the objective and constraint functions. The CMA-ES is designed to possess these properties for handling difficulties that appear in black-box optimization problems, such as non-separability, ill-conditioning, ruggedness, and the different orders of magnitude in the objective. The proposed constraint-handling technique (CHT), known as ARCH, modifies the underlying CMA-ES only in terms of the ranking of the candidate solutions. It employs a repair operator and an adaptive ranking aggregation strategy to compute the ranking. We developed test problems to evaluate the effects of the invariance properties, and performed experiments to empirically verify the invariance of the algorithm. We compared the proposed method with other CHTs on the CEC 2006 constrained optimization benchmark suite to demonstrate its efficacy. Empirical studies reveal that ARCH is able to exploit the explicitness of the constraint functions effectively, sometimes even more efficiently than an existing box-constraint handling technique on box-constrained problems, while exhibiting the invariance properties. Moreover, ARCH overwhelmingly outperforms CHTs by not exploiting the explicit constraints in terms of the number of objective function calls.


title: Binomial exponential sums

abstract: We obtain new bounds of exponential sums modulo a prime $p$ with binomials $ax^k + bx^n$. In particular, for $k=1$, we improve the bound of Karatsuba (1967) from $O(n^{1/4} p^{3/4})$ to $O\left(p^{3/4} + n^{1/3}p^{2/3}\right)$ for any $n$, and then use it to improve the bound of Akulinichev (1965) from $O(p^{5/6})$ to $O(p^{4/5})$ for $n | (p-1)$. The result is based on a new bound on the number of solutions and of degrees of irreducible components of certain equations over finite fields.


title: Modelling the abundance structure of isocyanic acid (HNCO) toward the low-mass solar type protostar IRAS 16293-2422

abstract: Isocyanic acid (HNCO), the most stable of the simplest molecules containing the four main elements essential for organic chemistry, has been observed in several astrophysical environments such as molecular clouds, star-forming regions, external galaxies and comets. In this work, we model HNCO spectral line profiles toward the low-mass solar type protostar IRAS 16293$-2$422 observed with the ALMA interferometer, the IRAM, JCMT and APEX single-dish radio telescopes, and the HIFI instrument on board the Herschel Space Observatory. In star-forming environments, the HNCO emission is not always in Local Thermodynamical Equilibrium (LTE). A non-LTE radiative transfer approach is necessary to properly interpret the line profiles, and accurate collisional rate coefficients are needed. Here, we used the RADEX package with a completely new set of collisional quenching rates between HNCO and both ortho-H$_2$ and para-H$_2$ obtained from quantum chemical calculations yielding a novel potential energy surface in the rigid rotor approximation. We find that the lines profiles toward IRAS 16293$-$2422 are very well reproduced if we assume that the HNCO emission arises from a compact, dense and hot physical component associated with the hot corino, a warm component associated with the internal part of the protostellar envelope, and a cold and more extended component associated with the outer envelope. The derived HNCO abundances from our model agree well with those computed with the Nautilus chemical code.


title: The notion of closedness and D-connectedness in Quantale-valued approach spaces

abstract: In this paper, we characterize the local T0 and T1 separation axioms for quantale-valued gauge space, show how these concepts are related to each other and apply them to L-approach space and L-approach system. Furthermore, we give the characterization of a closed point and D-connectedness in quantale-valued gauge space. Finally, we compare all these concepts with other.


title: Comments on "Light deflection by Damour-Solodukhin wormholes and Gauss-Bonnet theorem, Phys. Rev. D 98, 044033 (2018) by Ali \"{O}vg\"{u}n"

abstract: The purpose of this Comment is to point out that there are conceptual and mathematical flaws in the analysis in "Light deflection by Damour-Solodukhin wormholes and Gauss-Bonnet theorem, Phys. Rev. D 98, 044033 (2018) by Ali \"{O}vg\"{u}n".


title: An algorithm to generate anisotropic rotating fluids with vanishing viscosity

abstract: Starting with generic stationary axially symmetric spacetimes depending on two spacelike isotropic orthogonal coordinates $x^{1}, x^{2}$, we build anisotropic fluids with and without heat flow but with wanishing viscosity. In the first part of the paper, after applying the transformation $x^1\rightarrow J(x^1)$, $x^2\rightarrow F(x^2)$(with $J(x^1), F(x^2)$ regular functions) to general metrics coefficients $g_{ab}(x^1,x^2)\rightarrow g_{ab}(J(x^1), F(x^2))$ with $G_{x^1 x^2}=0$, being $G_{ab}$ the Einstein's tensor, we obtain that ${\tilde{G}}_{x^1 x^2}=0\rightarrow G_{x^1 x^2}(J(x^1),F(x^2))=0$. Therefore, the transformed spacetime is endowed with an energy-momentum tensor $T_{ab}$ with expression $g_{ab}Q_{i}+heat\;term$ (where $g_{ab}$ is the metric and $\{Q_{i}\}, {i=1..4}$ are functions depending on the physical parameters of the fluid), i.e. without viscosity and generally with a non-vanishing heat flow. We show that after introducing suitable coordinates, we can obtain interior solutions that can be matched to the Kerr one on spheroids or Cassinian ovals, providing the necessary mathematical machinery. In the second part of the paper we study the equation involving the heat flow and thus we generate anisotropic solutions with vanishing heat flow. In this frame, a class of asymptotically flat solutions with vanishing heat flow and viscosity can be obtained. Finally, some explicit solutions are presented with possible applications to a string with anisotropic source and a dark energy-like equation of state.


title: A Survey on Natural Language Processing for Fake News Detection

abstract: Fake news detection is a critical yet challenging problem in Natural Language Processing (NLP). The rapid rise of social networking platforms has not only yielded a vast increase in information accessibility but has also accelerated the spread of fake news. Thus, the effect of fake news has been growing, sometimes extending to the offline world and threatening public safety. Given the massive amount of Web content, automatic fake news detection is a practical NLP problem useful to all online content providers, in order to reduce the human time and effort to detect and prevent the spread of fake news. In this paper, we describe the challenges involved in fake news detection and also describe related tasks. We systematically review and compare the task formulations, datasets and NLP solutions that have been developed for this task, and also discuss the potentials and limitations of them. Based on our insights, we outline promising research directions, including more fine-grained, detailed, fair, and practical detection models. We also highlight the difference between fake news detection and other related tasks, and the importance of NLP solutions for fake news detection.


title: Numerical phase reduction beyond the first order approximation

abstract: We develop a numerical approach to reconstruct the phase dynamics of driven or coupled self-sustained oscillators. Employing a simple algorithm for computation of the phase of a perturbed system, we construct numerically the equation for the evolution of the phase. Our simulations demonstrate that the description of the dynamics solely by phase variables can be valid for rather strong coupling strengths and large deviations from the limit cycle. Coupling functions depend crucially on the coupling and are generally non-decomposable in phase response and forcing terms. We also discuss limitations of the approach.


title: Temperature-driven Topological Phase Transition and Intermediate Dirac Semimetal Phase in ZrTe$_5$

abstract: We present an infrared spectroscopy study of ZrTe$_5$, which confirms a recent theoretical proposal that this material exhibits a temperature-driven topological quantum phase transition from a weak to a strong topological insulating state with an intermediate Dirac semimetal state around $T_p \simeq$ 138K. Our study details the temperature evolution of the energy gap in the bulk electronic structure. We found that the energy gap closes around $T_p$ where the optical response exhibits characteristic signatures of a Dirac semimetal state, i.e. a linear frequency-dependent optical conductivity extrapolating to the origin (after subtracting a weak Drude response). This finding allows us to reconcile previous diverging reports about the topological nature of ZrTe$_5$ in terms of a variation of $T_p$ that depends on the crystal growth condition.


title: On Belyi's Theorems in Positive Characteristic

abstract: There are two types of Belyi's Theorem for curves defined over finite fields of characteristic p, namely the Wild and the Tame p-Belyi Theorems. In this paper, we discuss them in the language of function fields. We provide a self-contained proof for the Wild p-Belyi Theorem for any prime p and the Tame 2-Belyi Theorem.


title: Isospin symmetry in $B(E2)$ values: Coulomb excitation study of ${}^{21}$Mg

abstract: The $T_z$~=~$-\frac{3}{2}$ nucleus ${}^{21}$Mg has been studied by Coulomb excitation on ${}^{196}$Pt and ${}^{110}$Pd targets. A 205.6(1)-keV $\gamma$-ray transition resulting from the Coulomb excitation of the $\frac{5}{2}^+$ ground state to the first excited $\frac{1}{2}^+$ state in ${}^{21}$Mg was observed for the first time. Coulomb excitation cross-section measurements with both targets and a measurement of the half-life of the $\frac{1}{2}^+$ state yield an adopted value of $B(E2;\frac{5}{2}^+\rightarrow\frac{1}{2}^+)$~=~13.3(4)~W.u. A new excited state at 1672(1)~keV with tentative $\frac{9}{2}^+$ assignment was also identified in ${}^{21}$Mg. This work demonstrates large difference of the $B(E2;\frac{5}{2}^+\rightarrow\frac{1}{2}^+)$ values between $T$~=~$\frac{3}{2}$, $A$~=~21 mirror nuclei. The difference is investigated in the shell-model framework employing both isospin conserving and breaking USD interactions and using modern \textsl{ab initio} nuclear structure calculations, which have recently become applicable in the $sd$ shell.


title: Finite gentle repetitions of gentle algebras and their Avella-Alaminos--Geiss invariants

abstract: Among finite dimensional algebras over a field $K$, the class of gentle algebras is known to be closed by derived equivalences. Although a classification up to derived equivalences is usually a difficult problem, Avella-Alaminos and Geiss have introduced derived invariants for gentle algebras $A$, which can be calculated combinatorially from their bound quivers, applicable to such classification. Ladkani has given a formula to describe the dimensions of the Hochschild cohomologies of $A$ in terms of some values of its Avella-Alaminos--Geiss invariants. This in turn implies a cohomological meaning of these values. Since most of the other values do not appear in this formula, it will be a natural question to ask if there is a similar cohomological meaning for such values. In this article, we construct a sequence of gentle algebras $A^{(k)}$ indexed by positive integers by a procedure which we call finite gentle repetitions, in order to relate these values of Avella-Alaminos--Geiss invariants of $A$ to the dimensions of Hochschild cohomologies of $A^{(k)}$. On the way we will see that the Avella-Alaminos--Geiss invariants of $A^{(k)}$ are completely determined by those of $A$. Therefore one may expect that the finite gentle repetitions would preserve derived equivalences in a nice situation. In the latter part of this article, we deal with this problem under some assumptions.


title: First-principles investigation of Ag-, Co-, Cr-, Cu-, Fe-, Mn-, Ni-, Pd- and Rh-hexaaminobenzene 2D metal-organic frameworks

abstract: In the latest experimental advances, Ni-, Co- and Cu-HAB MOFs were synthesized in 2D forms, with high electrical conductivities and capacitances as well. Motivated by these experimental advances, we employed first-principles simulations to explore the mechanical, thermal stability and electronic properties of single-layer Ag-, Co-, Cr-, Cu-, Fe-, Mn-, Ni-, Pd- and Rh-HAB MOFs. Theoretical results reveal that Co-, Cr-, Fe-, Mn-, Ni-, Pd- and Rh-HAB nanosheets exhibit linear elasticity with considerable tensile strengths. Ab-initio molecular dynamics results confirm the high thermal stability of all studied nanomembranes. Co- and Fe-HAB monolayers show metallic behavior with low spin-polarization at the Fermi level. Single-layer Ag-, Cu-, Cr-, and Mn-HAB however yield perfect half-metallic behaviors, thus can be promising candidates for the spintronics. In contrast, Ni-, Pd- and Rh-HAB monolayers exhibit nonmagnetic metallic behavior. The insights provided by this investigation confirm the stability and highlight the outstanding physics of transition metal-HAB nanosheets, which are not only highly attractive for the energy storage systems, but may also serve for other advanced applications, like spintronics.


title: On the arithmetic of Mori monoids and domains

abstract: Let $R$ be a Mori domain with complete integral closure $\widehat R$, nonzero conductor $\mathfrak f = (R \ :\ \widehat R)$, and suppose that both $v$-class groups $\mathcal C_v (R)$ and $\mathcal C_v (\widehat R)$ are finite. If $R/\mathfrak f$ is finite, then the elasticity of $R$ is either rational or infinite. If $R/\mathfrak f$ is artinian, then unions of sets of lengths of $R$ are almost arithmetical progressions with the same difference and global bound. We derive our results in the setting of $v$-noetherian monoids.


title: Towards the AlexNet Moment for Homomorphic Encryption: HCNN, theFirst Homomorphic CNN on Encrypted Data with GPUs

abstract: Deep Learning as a Service (DLaaS) stands as a promising solution for cloud-based inference applications. In this setting, the cloud has a pre-learned model whereas the user has samples on which she wants to run the model. The biggest concern with DLaaS is user privacy if the input samples are sensitive data. We provide here an efficient privacy-preserving system by employing high-end technologies such as Fully Homomorphic Encryption (FHE), Convolutional Neural Networks (CNNs) and Graphics Processing Units (GPUs). FHE, with its widely-known feature of computing on encrypted data, empowers a wide range of privacy-concerned applications. This comes at high cost as it requires enormous computing power. In this paper, we show how to accelerate the performance of running CNNs on encrypted data with GPUs. We evaluated two CNNs to classify homomorphically the MNIST and CIFAR-10 datasets. Our solution achieved a sufficient security level (> 80 bit) and reasonable classification accuracy (99%) and (77.55%) for MNIST and CIFAR-10, respectively. In terms of latency, we could classify an image in 5.16 seconds and 304.43 seconds for MNIST and CIFAR-10, respectively. Our system can also classify a batch of images (> 8,000) without extra overhead.


title: Uncovering the (un-)occupied electronic structure of a buried hybrid interface

abstract: The energy level alignment at organic/inorganic (o/i) semiconductor interfaces is crucial for any light-emitting or -harvesting functionality. Essential is the access to both occupied and unoccupied electronic states directly at the interface, which is often deeply buried underneath thick organic films and challenging to characterize. We use several complementary experimental techniques to determine the electronic structure of p-quinquephenyl pyridine (5P-Py) adsorbed on ZnO(10-10). The parent anchoring group, pyridine, significantly lowers the work function by up to 2.9 eV and causes an occupied in-gap state (IGS) directly below the Fermi level $E_\text{F}$. Adsorption of upright-standing 5P-Py also leads to a strong work function reduction of up to 2.1 eV and to a similar IGS. The latter is then used as an initial state for the transient population of three normally unoccupied molecular levels through optical excitation and, due to its localization right at the o/i interface, provides interfacial sensitivity, even for thick 5P-Py films. We observe two final states above the vacuum level and one bound state at around 2 eV above $E_\text{F}$, which we attribute to the 5P-Py LUMO. By the separate study of anchoring group and organic dye combined with the exploitation of the occupied IGS for selective interfacial photoexcitation this work provides a new pathway for characterizing the electronic structure at buried o/i interfaces.


title: A Bayesian Approach for Sequence Tagging with Crowds

abstract: Current methods for sequence tagging, a core task in NLP, are data hungry, which motivates the use of crowdsourcing as a cheap way to obtain labelled data. However, annotators are often unreliable and current aggregation methods cannot capture common types of span annotation errors. To address this, we propose a Bayesian method for aggregating sequence tags that reduces errors by modelling sequential dependencies between the annotations as well as the ground-truth labels. By taking a Bayesian approach, we account for uncertainty in the model due to both annotator errors and the lack of data for modelling annotators who complete few tasks. We evaluate our model on crowdsourced data for named entity recognition, information extraction and argument mining, showing that our sequential model outperforms the previous state of the art. We also find that our approach can reduce crowdsourcing costs through more effective active learning, as it better captures uncertainty in the sequence labels when there are few annotations.


title: Non-Asymptotic Guarantees For Sampling by Stochastic Gradient Descent

abstract: Sampling from various kinds of distributions is an issue of paramount importance in statistics since it is often the key ingredient for constructing estimators, test procedures or confidence intervals. In many situations, the exact sampling from a given distribution is impossible or computationally expensive and, therefore, one needs to resort to approximate sampling strategies. However, it is only very recently that a mathematical theory providing non-asymptotic guarantees for approximate sampling problem in the high-dimensional settings started to be developed. In this paper we introduce a new mathematical framework that helps to analyze the Stochastic Gradient Descent as a method of sampling, closely related to Langevin Monte-Carlo.


title: The Multiplicative Mixed Model with the mumm R package as a General and Easy Random Interaction Model Tool

abstract: Multiplicative mixed models can be applied in a wide range of scientific disciplines, since they are relevant in every situation where an interaction between a fixed effect and a random effect is present. Until now, no R package has been published, which can fit this type of models. The lack of user-friendly open source tools to fit these models, is the main reason that the models are not used as often as they could or should be. In this paper we introduce the user-friendly R package $\mathsf{mumm}$ for fitting multiplicative mixed models in a time-efficient manner. To illustrate the interpretation of the multiplicative term, we provide four data analysis examples, where the model is fitted to data sets that stem from studies in sensometrics, agriculture and medicine. With these examples it is shown that the statistical inference can be improved by using a multiplicative mixed model, instead of a linear mixed model which is usually employed.


title: Abstractive Summarization of Reddit Posts with Multi-level Memory Networks

abstract: We address the problem of abstractive summarization in two directions: proposing a novel dataset and a new model. First, we collect Reddit TIFU dataset, consisting of 120K posts from the online discussion forum Reddit. We use such informal crowd-generated posts as text source, in contrast with existing datasets that mostly use formal documents as source such as news articles. Thus, our dataset could less suffer from some biases that key sentences usually locate at the beginning of the text and favorable summary candidates are already inside the text in similar forms. Second, we propose a novel abstractive summarization model named multi-level memory networks (MMN), equipped with multi-level memory to store the information of text from different levels of abstraction. With quantitative evaluation and user studies via Amazon Mechanical Turk, we show the Reddit TIFU dataset is highly abstractive and the MMN outperforms the state-of-the-art summarization models.


title: Deep Optimisation: Solving Combinatorial Optimisation Problems using Deep Neural Networks

abstract: Deep Optimisation (DO) combines evolutionary search with Deep Neural Networks (DNNs) in a novel way - not for optimising a learning algorithm, but for finding a solution to an optimisation problem. Deep learning has been successfully applied to classification, regression, decision and generative tasks and in this paper we extend its application to solving optimisation problems. Model Building Optimisation Algorithms (MBOAs), a branch of evolutionary algorithms, have been successful in combining machine learning methods and evolutionary search but, until now, they have not utilised DNNs. DO is the first algorithm to use a DNN to learn and exploit the problem structure to adapt the variation operator (changing the neighbourhood structure of the search process). We demonstrate the performance of DO using two theoretical optimisation problems within the MAXSAT class. The Hierarchical Transformation Optimisation Problem (HTOP) has controllable deep structure that provides a clear evaluation of how DO works and why using a layerwise technique is essential for learning and exploiting problem structure. The Parity Modular Constraint Problem (MCparity) is a simplistic example of a problem containing higher-order dependencies (greater than pairwise) which DO can solve and state of the art MBOAs cannot. Further, we show that DO can exploit deep structure in TSP instances. Together these results show that there exists problems that DO can find and exploit deep problem structure that other algorithms cannot. Making this connection between DNNs and optimisation allows for the utilisation of advanced tools applicable to DNNs that current MBOAs are unable to use.


title: Drawing Clustered Graphs on Disk Arrangements

abstract: Let $G=(V, E)$ be a planar graph and let $\mathcal{C}$ be a partition of $V$. We refer to the graphs induced by the vertex sets in $\mathcal{C}$ as Clusters. Let $D_{\mathcal C}$ be an arrangement of disks with a bijection between the disks and the clusters. Akitaya et al. give an algorithm to test whether $(G, \mathcal{C})$ can be embedded onto $D_{\mathcal C}$ with the additional constraint that edges are routed through a set of pipes between the disks. Based on such an embedding, we prove that every clustered graph and every disk arrangement without pipe-disk intersections has a planar straight-line drawing where every vertex is embedded in the disk corresponding to its cluster. This result can be seen as an extension of the result by Alam et al. who solely consider biconnected clusters. Moreover, we prove that it is NP-hard to decide whether a clustered graph has such a straight-line drawing, if we permit pipe-disk intersections.


title: Hyperonic stars and the symmetry energy

abstract: In the present study we analyse the effect of the density dependence of the symmetry energy on the hyperonic content of neutron stars within a relativistic mean field description of stellar matter. For the $\Lambda$-hyperon, we consider parametrizations calibrated to $\Lambda$-hypernuclei. For the $\Sigma$ and $\Xi$-hyperons uncertainties that reflect the present lack of experimental information on $\Sigma$ and $\Xi$-hypernuclei are taken into account. We perform our study considering nuclear equations of state that predict two solar mass stars, and satisfy other well settled nuclear matter properties. The effect of the presence of hyperons on the radius, the direct Urca processes, and the cooling of accreting neutron stars are discussed. We show that some star properties are affected in a similar way by the density dependence of the symmetry energy and the hyperon content of the star. To disentangle these two effects it is essential to have a good knowledge of the equation of state at supra-saturation densities. The density dependence of the symmetry energy affects the order of appearance of the different hyperons, which may have direct implications on the neutron star cooling as different hyperonic neutrino processes processes may operate at the center of massive stars. For models which allow for the direct Urca process to operate, hyperonic and purely nucleonic ones are shown to have a similar luminosity when hyperons are included in agreement with modern experimental data. It is shown that for a density dependent hadronic model constrained by experimental, theoretical and observational data, the low-luminosity of SAX J$1808.4-3658$ can only be modelled for a hyperonic NS, suggesting that hyperons could be present in its core.


title: Adversarial Training of End-to-end Speech Recognition Using a Criticizing Language Model

abstract: In this paper we proposed a novel Adversarial Training (AT) approach for end-to-end speech recognition using a Criticizing Language Model (CLM). In this way the CLM and the automatic speech recognition (ASR) model can challenge and learn from each other iteratively to improve the performance. Since the CLM only takes the text as input, huge quantities of unpaired text data can be utilized in this approach within end-to-end training. Moreover, AT can be applied to any end-to-end ASR model using any deep-learning-based language modeling frameworks, and compatible with any existing end-to-end decoding method. Initial results with an example experimental setup demonstrated the proposed approach is able to gain consistent improvements efficiently from auxiliary text data under different scenarios.


title: Selectors for sequences of subsets of hyperspaces

abstract: For a Hausdorff space $X$ we denote be $2^X$ the family of all closed subsets of $X$. In this paper we continue to research relationships between closure -type properties of hyperspaces over a space $X$ and covering properties of $X$. We investigate selectors for sequence of subsets of the space $2^{X}$ with the $Z^{+}$-topology and the upper Fell topology.


title: Bifurcations of nontrivial solutions of a cubic Helmholtz system

abstract: This paper presents local and global bifurcation results for radially symmetric solutions of the cubic Helmholtz system \begin{equation*} \begin{cases} -\Delta u - \mu u = \left( u^2 + b \: v^2 \right) u &\text{ on } \mathbb{R}^3, \\ -\Delta v - \nu v = \left( v^2 + b \: u^2 \right) v &\text{ on } \mathbb{R}^3. \end{cases} \end{equation*} It is shown that every point along any given branch of radial semitrivial solutions $(u_0, 0, b)$ or diagonal solutions $(u_b, u_b, b)$ (for $\mu = \nu$) is a bifurcation point. Our analysis is based on a detailed investigation of the oscillatory behavior of solutions at infinity that are shown to decay like $\frac{1}{|x|}$ as $|x|\to\infty$.


title: Magnetic field creation by solar mass neutrino jets

abstract: Parity violation and its effects for neutrinos in astrophysical contexts have been considered earlier in pioneering papers of Hawking and Vilenkin. But because even the largest magnetic moments predicted by physics beyond the Standard Model are some twelve orders of magnitude smaller than the Bohr magneton, their implications for magnetic field generation and neutrino oscillations are generally considered insignificant. Here we show that since in astrophysical scenarios a huge number of neutrinos may be emitted, the smallness of the magnetic moment, when coupled with parity violation, is compensated by the sheer number of neutrinos. The merger of neutron stars would leave behind a short pulse of electromagnetic synchrotron radiation even if the neutrino jet in the merger points away from the neutrino detectors. We show that the magnetic field can be as large as $10^6\,\mbox{Gauss}$ and comment on the possibility of direct detection. Observation of such a pulse would lend strong support for neutrino magnetic moments and resolve the missing neutrino problem in neutron star mergers.


title: Tuning toroidal dipole resonances in dielectric metamolecules by an additional electric dipolar response

abstract: With the rise of artificial magnetism and metamaterials, the toroidal family recently attracts more attention for its unique properties. Here we propose an all-dielectric pentamer metamolecule consisting of nano-cylinders with two toroidal dipolar resonances, whose frequencies, EM distributions and Q factor can be efficiently tuned due to the additional electric dipole mode offered by a central cylinder. To further reveal the underlying coupling effects and formation mechanism of toroidal responses, the multiple scattering theory is adopted. It is found that the first toroidal dipole mode, which can be tuned from 2.21 to 3.55 $\mu$m, is mainly induced by a collective electric dipolar resonance, while the second one, which can be tuned from 1.53 to 1.84 $\mu$m, relies on the cross coupling of both electric and magnetic dipolar responses. The proposed low-loss metamolecule and modes coupling analyses may pave the way for active design of toroidal responses in advanced optical devices.


title: Common fixed point theorems for nonexpansive mappings using the lower semicontinuity property

abstract: Suppose that E is a Banach space, {\tau} a topology under which the norm of E becomes {\tau}-lower semicontinuous and S a commuting family of {\tau}-continuous nonexpansive mappings defined on a {\tau}-compact convex subset C of E: It is shown that the set of common fixed points of S is a nonempty nonexpansive retract of C. Along the way, a few other related fixed point theorems are derived.


title: Dealing with Ambiguity in Robotic Grasping via Multiple Predictions

abstract: Humans excel in grasping and manipulating objects because of their life-long experience and knowledge about the 3D shape and weight distribution of objects. However, the lack of such intuition in robots makes robotic grasping an exceptionally challenging task. There are often several equally viable options of grasping an object. However, this ambiguity is not modeled in conventional systems that estimate a single, optimal grasp position. We propose to tackle this problem by simultaneously estimating multiple grasp poses from a single RGB image of the target object. Further, we reformulate the problem of robotic grasping by replacing conventional grasp rectangles with grasp belief maps, which hold more precise location information than a rectangle and account for the uncertainty inherent to the task. We augment a fully convolutional neural network with a multiple hypothesis prediction model that predicts a set of grasp hypotheses in under 60ms, which is critical for real-time robotic applications. The grasp detection accuracy reaches over 90% for unseen objects, outperforming the current state of the art on this task.


title: $B \to D^{(*)}\ell\nu$ form factors from $N_f\!=\!2+1$ QCD with M\"obius domain-wall quarks

abstract: We report on our study of the B \to D^(*) \ell \nu semileptonic decays at zero and nonzero recoils in 2+1 flavor QCD. The M\"obius domain-wall action is employed for light, charm and bottom quarks at lattice cutoffs 1/a = 2.5 and 3.6 GeV. We take bottom quark masses up to \approx 2.4 times the physical charm mass to control discretization effects. The pion mass is as low as M_\pi \sim 310 MeV. We present our preliminary results for the relevant form factors and discuss the violation of heavy quark symmetry, which is a recent important isuue on the long-standing tension in the Cabibbo-Kobayashi-Maskawa matrix element |V_{cb}| between the exclusive and inclusive decays.


title: Trace of powers of representations of finite quantum groups

abstract: In this paper we study (asymptotic) properties of the $*$-distribution of irreducible characters of finite quantum groups. We proceed in two steps, first examining the representation theory to determine irreducible representations and their powers, then we study the $*$-distribution of their trace with respect to the Haar measure. For the Sekine family we look at the asymptotic distribution (as the dimension of the algebra goes to infinity).


title: Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning

abstract: The problem-solving in automated theorem proving (ATP) can be interpreted as a search problem where the prover constructs a proof tree step by step. In this paper, we propose a deep reinforcement learning algorithm for proof search in intuitionistic propositional logic. The most significant challenge in the application of deep learning to the ATP is the absence of large, public theorem database. We, however, overcame this issue by applying a novel data augmentation procedure at each iteration of the reinforcement learning. We also improve the efficiency of the algorithm by representing the syntactic structure of formulas by a novel compact graph representation. Using the large volume of augmented data, we train highly accurate graph neural networks that approximate the value function for the set of the syntactic structures of formulas. Our method is also cost-efficient in terms of computational time. We will show that our prover outperforms Coq's $\texttt{tauto}$ tactic, a prover based on human-engineered heuristics. Within the specified time limit, our prover solved 84% of the theorems in a benchmark library, while $\texttt{tauto}$ was able to solve only 52%.


title: eLIAN: Enhanced Algorithm for Angle-constrained Path Finding

abstract: Problem of finding 2D paths of special shape, e.g. paths comprised of line segments having the property that the angle between any two consecutive segments does not exceed the predefined threshold, is considered in the paper. This problem is harder to solve than the one when shortest paths of any shape are sought, since the planer's search space is substantially bigger as multiple search nodes corresponding to the same location need to be considered. One way to reduce the search effort is to fix the length of the path's segment and to prune the nodes that violate the imposed constraint. This leads to incompleteness and to the sensitivity of the 's performance to chosen parameter value. In this work we introduce a novel technique that reduces this sensitivity by automatically adjusting the length of the path's segment on-the-fly, e.g. during the search. Embedding this technique into the known grid-based angle-constrained path finding algorithm - LIAN, leads to notable increase of the planner's effectiveness, e.g. success rate, while keeping efficiency, e.g. runtime, overhead at reasonable level. Experimental evaluation shows that LIAN with the suggested enhancements, dubbed eLIAN, solves up to 20\% of tasks more compared to the predecessor. Meanwhile, the solution quality of eLIAN is nearly the same as the one of LIAN.


title: Kruskal-Katona Theorem for t-spread strongly stable ideals

abstract: We prove that any t-spread strongly stable ideal has a unique t-spread lex ideal with the same f-vector. We also characterize the possible f-vectors of t-spread strongly stable ideals in the "t-spread" analogue of Kruskal-Katona theorem.


title: On Wilson loops for two touching circles with opposite orientation

abstract: We study the Wilson loops for contours formed by a consecutive passage of two touching circles with a common tangent, but opposite orientation. The calculations are performed in lowest nontrivial order for ${\cal N}=4$ SYM at weak and strong coupling and for QCD at weak coupling. After subtracting the standard linear divergence proportional to the length, as well the recently analysed spike divergence, we get for the renormalised Wilson loops $\mbox{log}~W_{\mbox{\scriptsize ren}}=0$. The result holds for circles with different radii and arbitrary angle between the discs spanned by them.


title: Topological Effects of a Vorticity Filament on the Coherent Backscattering Cone

abstract: In this Letter, we report on the effects of a vorticity filament on the coherent backscattering cone. Using ultrasonic waves in a strongly reverberating cavity, we experimentally show that the discrete number of loops of acoustic paths around a pointlike vortex located at the center of the cavity drives the cancellation and the potential rebirth of the coherent backscattering enhancement. The vorticity filament behaves, then, as a topological anomaly for wave propagation that provides some new insight between reciprocity and weak localization.


title: Attosecond screening dynamics mediated by electron-localization

abstract: Transition metals with their densely confined and strongly coupled valence electrons are key constituents of many materials with unconventional properties, such as high-Tc superconductors, Mott insulators and transition-metal dichalcogenides. Strong electron interaction offers a fast and efficient lever to manipulate their properties with light, creating promising potential for next-generation electronics. However, the underlying dynamics is a fast and intricate interplay of polarization and screening effects, which is poorly understood. It is hidden below the femtosecond timescale of electronic thermalization, which follows the light-induced excitation. Here, we investigate the many-body electron dynamics in transition metals before thermalization sets in. We combine the sensitivity of intra-shell transitions to screening effects with attosecond time resolution to uncover the interplay of photo-absorption and screening. First-principles time-dependent calculations allow us to assign our experimental observations to ultrafast electronic localization on d-orbitals. The latter modifies the whole electronic structure as well as the collective dynamic response of the system on a timescale much faster than the light-field cycle. Our results demonstrate a possibility for steering the electronic properties of solids prior to electron thermalization, suggesting that the ultimate speed of electronic phase transitions is limited only by the duration of the controlling laser pulse. Furthermore, external control of the local electronic density serves as a fine tool for testing state-of-the art models of electron-electron interactions. We anticipate our study to facilitate further investigations of electronic phase transitions, laser-metal interactions and photo-absorption in correlated electron systems on its natural timescale.


title: Massless and quantized modes of kinks in the phase space of superconducting gaps

abstract: We investigated quantized modes of kinks in the phase space of superconducting gaps in a superconductor with multiple gaps. The kink is described by the sine-Gordon model in a two-gap superconductor and by the double sine-Gordon model in a three-gap superconductor. A fractional-flux vortex exists at the edge of the kink, and a fractional-flux vortex will be stable in a three-gap superconductor with time-reversal symmetry breaking. The kink and fractional-flux vortex exhibit massless modes as a sliding motion. We show further that there are one zero-energy mode (massless mode) and quantized excitation modes in kinks, which are characteristic features of multi-gap superconductors. The equation of quantized modes for the double sine-Gordon model is solved numerically. The correction to the ground-state energy is calculated based on the renormalization theory.


title: Singularities of Intertwining Operators and Decompositions of Principal Series Representations

abstract: In this paper, we show that, under certain assumptions, a parabolic induction $Ind_B^G\lambda$ from the Borel subgroup $B$ of a (real or $p$-adic) reductive group $G$ decomposes into a direct sum of the form: \[ Ind_B^G\lambda = \left(Ind_P^G St_M\otimes \chi_0\right) \oplus \left(Ind_P^G \mathbf{1}_M\otimes \chi_0\right), \] where $P$ is a parabolic subgroup of $G$ with Levi subgroup $M$ of semi-simple rank $1$, $\mathbf{1}_M$ is the trivial representation of $M$, $St_M$ is the Steinberg representation of $M$ and $\chi_0$ is a certain character of $M$. We construct examples of this phenomenon for all simply-connected simple groups of rank at least $2$.


title: The Evolution of Stack Overflow Posts: Reconstruction and Analysis

abstract: Stack Overflow (SO) is the most popular question-and-answer website for software developers, providing a large amount of code snippets and free-form text on a wide variety of topics. Like other software artifacts, questions and answers on SO evolve over time, for example when bugs in code snippets are fixed, code is updated to work with a more recent library version, or text surrounding a code snippet is edited for clarity. To be able to analyze how content on SO evolves, we built SOTorrent, an open dataset based on the official SO data dump. SOTorrent provides access to the version history of SO content at the level of whole posts and individual text or code blocks. It connects SO posts to other platforms by aggregating URLs from text blocks and comments, and by collecting references from GitHub files to SO posts. In this paper, we describe how we built SOTorrent, and in particular how we evaluated 134 different string similarity metrics regarding their applicability for reconstructing the version history of text and code blocks. Based on different analyses using the dataset, we present: (1) insights into the evolution of SO posts, e.g., that post edits are usually small, happen soon after the initial creation of the post, and that code is rarely changed without also updating the surrounding text; (2) a qualitative study investigating the close relationship between post edits and comments, (3) a first analysis of code clones on SO together with an investigation of possible licensing risks. Finally, since the initial presentation of the dataset, we improved the post block extraction and our predecessor matching strategy.


title: Nematic Superconductivity in Cu1.5(PbSe)5(Bi2Se3)6

abstract: After the discovery of nematic topological superconductivity in CuxBi2Se3, carrier-doped topological insulators are established as a fertile ground for topological superconductors. The superconductor Cu1.5(PbSe)5(Bi2Se3)6 (CPSBS) contains Bi2Se3 blocks as a constitutional unit, but its superconducting gap appears to have nodes [S. Sasaki et al., Phys. Rev. B 90, 220504 (2014)], which is in contrast to the fully-opened gap in CuxBi2Se3 and the relation between the two superconductors remained an open question. Here we report our observation of clear two-fold symmetry in the in-plane magnetic-field-direction dependencies of the upper critical field and of the specific heat of CPSBS, where the direction of the maxima, which is different from that in CuxBi2Se3, indicates that the gap nodes are located in the mirror plane of the crystal lattice. This means that the topological nematic state with mirror-symmetry-protected nodes is realized in CPSBS.


title: Search for heavy neutrinos and third-generation leptoquarks in hadronic states of two $\tau$ leptons and two jets in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A search for new particles has been conducted using events with two high transverse momentum $\tau$ leptons that decay hadronically and at least two energetic jets. The analysis is performed using data from proton-proton collisions at $\sqrt{s} =$ 13 TeV, collected by the CMS experiment at the LHC in 2016 and corresponding to an integrated luminosity of 35.9 fb$^{-1}$. The observed data are consistent with standard model expectations. The results are interpreted in the context of two physics models. The first model involves right-handed charged bosons, W$_\mathrm{R}$, that decay to heavy right-handed Majorana neutrinos, N$_\ell$ $(\ell = $e, $\mu, \tau)$, arising in a left-right symmetric extension of the standard model. The model considers that N$_\mathrm{e}$ and N$_\mu$ are too heavy to be detected at the LHC. Assuming that the N$_\tau$ mass is half of the W$_\mathrm{R}$ mass, masses of the W$_\mathrm{R}$ boson below 3.50 TeV are excluded at 95% confidence level. Exclusion limits are also presented considering different scenarios for the mass ratio between N$_\tau$ and W$_\mathrm{R}$, as a function of W$_\mathrm{R}$ mass. In the second model, pair production of third-generation scalar leptoquarks that decay into $\tau\tau$bb is considered, resulting in an observed exclusion region with leptoquark masses below 1.02 TeV, assuming a 100% branching fraction for the leptoquark decay to a $\tau$ lepton and a bottom quark. These results represent the most stringent limits to date on these models.


title: Infinitely-many Primes in $\mathbb{N}$: A Graph Theoretic Approach

abstract: A graph $G$ is defined encapsulating the number theoretic notion of the Fundamental Theorem of Arithmetic. We then provide a graph theoretic approach to the fundamental results on the coprimality of two natural numbers, through the use of an adjacency operator $\hat{\mathbf{A}}(G)$. Lastly, these results are used to give an alternate proof to the known result that there are infinitely many primes in the natural numbers $\mathbb{N}$.


title: Catalog of supermassive black holes for interferometric observations

abstract: The paper presents a catalog of supermassive black holes (SMBH) shapened for the interferometric observations in millimeter and submillimeter wavelength ranges and based on the open sources. The catalog includes the name of the object, coordinates, angular distance, the mass, the angular size of the gravitational radius of SMBH, the integral flux of radiosource, related with SMBH, in the range $20\div 900$~GHz which is considered to be used in Event Horizon Telescope, future space mission Millimetron and others. The catalog is intended for use during the planning of the interferometric observations of SMBH shadows.


title: Evolution of higher moments of multiplicity distribution

abstract: Evolution of a multiplicity distribution can be described with the help of master equation. We first look at 3rd and 4th factorial moments of multiplicity distributions and derive their equilibrium values. From them central moments and other ratios can be calculated. We study the master equation for a fixed temperature, because we want to know how fast different moments of the multiplicity distribution approach their equilibrium value. Then we investigate the situation in which the temperature of the system decreases. We find out that in the non-equilibrium state, higher factorial moments differ more from their equilibrium values than the lower moments and that the behaviour of a combination of the central moments depends on the combination we choose.


title: Anatomy of electrical signals and dc-voltage lineshape in spin torque ferromagnetic resonance

abstract: The electrical detection of spin torque ferromagnetic resonance (st-FMR) is becoming a popular method for measuring the spin-Hall angle of heavy metals (HM). However, various sensible analysis on the same material with either the same or different experimental setups yielded different spin-Hall angles with large discrepancy, indicating some missing ingredients in our current understanding of st-FMR. Here we carry out a careful analysis of electrical signals of the st-FMR in a HM/ferromagnet (HM/FM) bilayer with an arbitrary magnetic anisotropy. The FM magnetization is driven by two radio-frequency (rf) forces: the rf Oersted field generated by an applied rf electric current and the so called rf spin-orbit torque from the spin current flowing perpendicularly from the HM to the FM due to the spin-Hall effect. By using the universal form of the dynamic susceptibility matrix of magnetic materials at the st-FMR, the electrical signals originated from the anisotropic magnetoresistance, anomalous Hall effect and inverse spin-Hall effect are analysed and dc-voltage lineshape near the st-FMR are obtained. Angle-dependence of dc-voltage is given for two setups. A way of experimentally extracting the spin-Hall angle of a HM is proposed.


title: Hierarchal formation and growth of galaxies through dynamical friction

abstract: We study the infall of a subhalo in its parent halo due to dynamical friction. Using expected mass and spatial distributions of subhaloes, in unison with the derived infall time-scale, we calculate the expected merger stellar mass growth rate (SMGR) of the central galaxy in two different models (instantaneous and continuous merging). We find that our continuous merging SMGR (which corresponds to smooth accretion from satellites) agrees with the results of the Millennium-II simulation, predicting low growth rates for low stellar masses ($10^{8}$ M$_{\odot}-10^{10}$ M$_{\odot}$) and accelerating growth for high masses ($10^{10}$ M$_{\odot}-10^{12}$ M$_{\odot}$). Using the derived formulas we study the relative contributions of minor and major mergers to the total merger SMGR at various redshifts. Minor mergers contribute $80\%-90\%$ in the low mass range for $z<4$, with major mergers becoming the dominant merger type (80$\%-95\%$) at relatively high masses ($4\times 10^{10}$ M$_{\odot}$) for $z>1$. This suggests that most merger mass growth is due to minor mergers. We derive an SMGR formula for the very early universe ($z>4$) and use this to show that hierarchial merging of protogalaxies can lead to the modern population of galaxies. Our overall analysis suggests that dynamical friction is the primary cause of galaxy mergers.


title: An ALMA view of molecular filaments in the Large Magellanic Cloud I: The formation of high-mass stars and pillars in the N159E-Papillon Nebula triggered by a cloud-cloud collision

abstract: We present the ALMA observations of CO isotopes and 1.3 mm continuum emission toward the N159E-Papillon Nebula in the Large Magellanic Cloud (LMC). The spatial resolution is 0"25-0"28 (0.06-0.07 pc), which is a factor of 3 higher than the previous ALMA observations in this region. The high resolution allowed us to resolve highly filamentary CO distributions with typical widths of $\sim$0.1 pc (full width half maximum) and line masses of a few 100 $M_{\odot}$ pc$^{-1}$. The filaments (more than ten in number) show an outstanding hub-filament structure emanating from the nebular center toward the north. We identified for the first time two massive protostellar outflows of $\sim$10$^4$ yr dynamical age along one of the most massive filaments. The observations also revealed several pillar-like CO features around the Nebula. The H II region and the pillars have a complementary spatial distribution and the column density of the pillars is an order of magnitude higher than that of the pillars in the Eagle nebula (M16) in the Galaxy, suggesting an early stage of pillar formation with an age younger than $\sim$10$^5$ yr. We suggest that a cloud-cloud collision triggered the formation of the filaments and protostar within the last $\sim$2 Myr. It is possible that the collision is more recent, as part of the kpc-scale H I flows come from the tidal interaction resulting from the close encounter between the LMC and SMC $\sim$200 Myr ago as suggested for R136 by Fukui et al.


title: Speckle Interferometry at the U.S. Naval Observatory. XXIII

abstract: The results of 3,989 intensified CCD observations of double stars, made with the 26-inch refractor of the U.S. Naval Observatory, are presented. Each observation of a system represents a combination of over two thousand short-exposure images. These observations are averaged into 1,911 mean relative positions and range in separation from 0.289 to 128.638, with a median separation of 8.669. Four orbits are improved. This is the 23rd in this series of papers and covers the period 4 January 2017 through 13 September 2017.


title: Towards background independent quantum gravity with tensor models

abstract: We explore whether the phase diagram of tensor models could feature a pregeometric, discrete and a geometric, continuum phase for the building blocks of space. The latter are associated to rank $d$ tensors of size $N$. We search for a universal large $N$ scaling limit in a rank-3 model with real tensors that could be linked to a transition between the two phases. We extend the conceptual development and practical implementation of the flow equation for the pregeometric setting. This provides a pregeometric "coarse-graining" by going from many microscopic to few effective degrees of freedom by lowering $N$. We discover several candidates for fixed points of this coarse graining procedure, and specifically explore the impact of a novel class of interactions allowed in the real rank-3 model. In particular, we explain how most universality classes feature dimensional reduction, while one candidate, involving a tetrahedral interaction, might potentially be of relevance for three-dimensional quantum gravity.


title: Power Control for D2D Underlay in Multi-cell Massive MIMO Networks

abstract: This paper proposes a new power control and pilot allocation scheme for device-to-device (D2D) communication underlaying a multi-cell massive MIMO system. In this scheme, the cellular users in each cell get orthogonal pilots which are reused with reuse factor one across cells, while the D2D pairs share another set of orthogonal pilots. We derive a closed-form capacity lower bound for the cellular users with different receive processing schemes. In addition, we derive a capacity lower bound for the D2D receivers and a closed-form approximation of it. Then we provide a power control algorithm that maximizes the minimum spectral efficiency (SE) of the users in the network. Finally, we provide a numerical evaluation where we compare our proposed power control algorithm with the maximum transmit power case and the case of conventional multi-cell massive MIMO without D2D communication. Based on the provided results, we conclude that our proposed scheme increases the sum spectral efficiency of multi-cell massive MIMO networks.


title: Planar Graphs of Bounded Degree have Constant Queue Number

abstract: A \emph{queue layout} of a graph consists of a \emph{linear order} of its vertices and a partition of its edges into \emph{queues}, so that no two independent edges of the same queue are nested. The \emph{queue number} of a graph is the minimum number of queues required by any of its queue layouts. A long-standing conjecture by Heath, Leighton and Rosenberg states that the queue number of planar graphs is bounded. This conjecture has been partially settled in the positive for several subfamilies of planar graphs (most of which have bounded treewidth). In this paper, we make a further important step towards settling this conjecture. We prove that planar graphs of bounded degree (which may have unbounded treewidth) have bounded queue number. A notable implication of this result is that every planar graph of bounded degree admits a three-dimensional straight-line grid drawing in linear volume. Further implications are that every planar graph of bounded degree has bounded track number, and that every $k$-planar graph (i.e., every graph that can be drawn in the plane with at most $k$ crossings per edge) of bounded degree has bounded queue number.


title: Holant clones and the approximability of conservative holant problems

abstract: We construct a theory of holant clones to capture the notion of expressibility in the holant framework. Their role is analogous to the role played by functional clones in the study of weighted counting Constraint Satisfaction Problems. We explore the landscape of conservative holant clones and determine the situations in which a set $\mathcal{F}$ of functions is "universal in the conservative case", which means that all functions are contained in the holant clone generated by $\mathcal{F}$ together with all unary functions. When $\mathcal{F}$ is not universal in the conservative case, we give concise generating sets for the clone. We demonstrate the usefulness of the holant clone theory by using it to give a complete complexity-theory classification for the problem of approximating the solution to conservative holant problems. We show that approximation is intractable exactly when $\mathcal{F}$ is universal in the conservative case.


title: Listen to Dance: Music-driven choreography generation using Autoregressive Encoder-Decoder Network

abstract: Automatic choreography generation is a challenging task because it often requires an understanding of two abstract concepts - music and dance - which are realized in the two different modalities, namely audio and video, respectively. In this paper, we propose a music-driven choreography generation system using an auto-regressive encoder-decoder network. To this end, we first collect a set of multimedia clips that include both music and corresponding dance motion. We then extract the joint coordinates of the dancer from video and the mel-spectrogram of music from audio, and train our network using music-choreography pairs as input. Finally, a novel dance motion is generated at the inference time when only music is given as an input. We performed a user study for a qualitative evaluation of the proposed method, and the results show that the proposed model is able to generate musically meaningful and natural dance movements given an unheard song.


title: Continuous Monitoring of Energy in Quantum Open Systems

abstract: We propose a method to continually monitor the energy of a quantum system. We show that by having some previous knowledge of the system's dynamics, but not all of it, one can use the measured energy to determine many other quantities, such as the work performed on the system, the heat exchanged between the system and a thermal reservoir, the time dependence of the Hamiltonian of the system as well as the total entropy produced by its dynamics. We have also analyzed how this method is dependent on the quality factor of the measurements employed.


title: Too Trivial To Test? An Inverse View on Defect Prediction to Identify Methods with Low Fault Risk

abstract: Background. Test resources are usually limited and therefore it is often not possible to completely test an application before a release. To cope with the problem of scarce resources, development teams can apply defect prediction to identify fault-prone code regions. However, defect prediction tends to low precision in cross-project prediction scenarios. Aims. We take an inverse view on defect prediction and aim to identify methods that can be deferred when testing because they contain hardly any faults due to their code being "trivial". We expect that characteristics of such methods might be project-independent, so that our approach could improve cross-project predictions. Method. We compute code metrics and apply association rule mining to create rules for identifying methods with low fault risk. We conduct an empirical study to assess our approach with six Java open-source projects containing precise fault data at the method level. Results. Our results show that inverse defect prediction can identify approx. 32-44% of the methods of a project to have a low fault risk; on average, they are about six times less likely to contain a fault than other methods. In cross-project predictions with larger, more diversified training sets, identified methods are even eleven times less likely to contain a fault. Conclusions. Inverse defect prediction supports the efficient allocation of test resources by identifying methods that can be treated with less priority in testing activities and is well applicable in cross-project prediction scenarios.


title: OrthoNet: Multilayer Network Data Clustering

abstract: Network data appears in very diverse applications, like biological, social, or sensor networks. Clustering of network nodes into categories or communities has thus become a very common task in machine learning and data mining. Network data comes with some information about the network edges. In some cases, this network information can even be given with multiple views or multiple layers, each one representing a different type of relationship between the network nodes. Increasingly often, network nodes also carry a feature vector. We propose in this paper to extend the node clustering problem, that commonly considers only the network information, to a problem where both the network information and the node features are considered together for learning a clustering-friendly representation of the feature space. Specifically, we design a generic two-step algorithm for multilayer network data clustering. The first step aggregates the different layers of network information into a graph representation given by the geometric mean of the network Laplacian matrices. The second step uses a neural net to learn a feature embedding that is consistent with the structure given by the network layers. We propose a novel algorithm for efficiently training the neural net via stochastic gradient descent, which encourages the neural net outputs to span the leading eigenvectors of the aggregated Laplacian matrix, in order to capture the pairwise interactions on the network, and provide a clustering-friendly representation of the feature space. We demonstrate with an extensive set of experiments on synthetic and real datasets that our method leads to a significant improvement w.r.t. state-of-the-art multilayer graph clustering algorithms, as it judiciously combines nodes features and network information in the node embedding algorithms.


title: Bulk flow and shear in the local Universe: 2MTF and COSMICFLOWS-3

abstract: The low-order kinematic moments of galaxies, namely bulk flow and shear, enables us to test whether theoretical models can accurately describe the evolution of the mass density field in the nearby Universe. We use the so-called etaMLE maximum likelihood estimator in logdistance space to measure thesemoments from a combined sample of the 2MASS Tully-Fisher (2MTF) survey and the COSMICFLOWS-3 (CF3) compilation. Galaxies common between 2MTF and CF3 demonstrate a small zero-point difference of -0.016+-0.002 dex.We test the etaMLE on 16 mock 2MTF survey catalogues in order to explore how well the etaMLE recovers the true moments, and the effect of sample anisotropy. On the scale size of 37 Mpc/h, we find that the bulk flow of the local Universe is 259 +- 15 km/h in the direction is (l,b)=(300+-4, 23+-3) (Galactic coordinates). The average shear amplitude is 1.7+-0.4 h km/s/Mpc. We use a variable window function to explore the bulk and shear moments as a function of depth. In all cases, the measurements are consistent with the predictions of the L cold dark matter (LCDM) model.


title: GASP XIII. Star formation in gas outside galaxies

abstract: Based on MUSE data from the GASP survey, we study the Halpha-emitting extraplanar tails of 16 cluster galaxies at z~0.05 undergoing ram pressure stripping. We demonstrate that the dominating ionization mechanism of this gas (between 64% and 94% of the Halpha emission in the tails depending on the diagnostic diagram used) is photoionization by young massive stars due to ongoing star formation (SF) taking place in the stripped tails. This SF occurs in dynamically quite cold HII clumps with a median Halpha velocity dispersion sigma = 27 km s^-1. We study the characteristics of over 500 star-forming clumps in the tails and find median values of Halpha luminosity L_{Halpha} = 4 X 10^38 erg s^-1, dust extinction A_V=0.5 mag, star formation rate SFR=0.003 M_sun yr^-1, ionized gas density n_e =52 cm^-3, ionized gas mass M_gas = 4 X 10^4 Msun, and stellar mass M_{*} = 3 X 10^6 Msun. The tail clumps follow scaling relations (M_gas-M_{*}, L_{Halpha} -sigma, SFR-M_gas) similar to disk clumps, and their stellar masses are comparable to Ultra Compact Dwarfs and Globular Clusters.The diffuse gas component in the tails is ionized by a combination of SF and composite/LINER-like emission likely due to thermal conduction or turbulence. The stellar photoionization component of the diffuse gas can be due either to leakage of ionizing photons from the HII clumps with an average escape fraction of 18%, or lower luminosity HII regions that we cannot individually identify.


title: Generating Hard Instances for Robust Combinatorial Optimization

abstract: While research in robust optimization has attracted considerable interest over the last decades, its algorithmic development has been hindered by several factors. One of them is a missing set of benchmark instances that make algorithm performance better comparable, and makes reproducing instances unnecessary. Such a benchmark set should contain hard instances in particular, but so far, the standard approach to produce instances has been to sample values randomly from a uniform distribution. In this paper we introduce a new method to produce hard instances for min-max combinatorial optimization problems, which is based on an optimization model itself. Our approach does not make any assumptions on the problem structure and can thus be applied to any combinatorial problem. Using the Selection and Traveling Salesman problems as examples, we show that it is possible to produce instances which are up to 500 times harder to solve for a mixed-integer programming solver than the current state-of-the-art instances.


title: Primal dual mixed finite element methods for indefinite advection--diffusion equations

abstract: We consider primal-dual mixed finite element methods for the advection--diffusion equation. For the primal variable we use standard continuous finite element space and for the flux we use the Raviart-Thomas space. We prove optimal a priori error estimates in the energy- and the $L^2$-norms for the primal variable in the low Peclet regime. In the high Peclet regime we also prove optimal error estimates for the primal variable in the $H(div)$ norm for smooth solutions. Numerically we observe that the method eliminates the spurious oscillations close to interior layers that pollute the solution of the standard Galerkin method when the local Peclet number is high. This method, however, does produce spurious solutions when outflow boundary layer presents. In the last section we propose two simple strategies to remove such numerical artefacts caused by the outflow boundary layer and validate them numerically.


title: Normalized ground states for the NLS equation with combined nonlinearities

abstract: We study existence and properties of ground states for the nonlinear Schr\"odinger equation with combined power nonlinearities \[ -\Delta u= \lambda u + \mu |u|^{q-2} u + |u|^{p-2} u \qquad \text{in $\mathbb{R}^N$, $N \ge 1$,} \] having prescribed mass \[ \int_{\mathbb{R}^N} |u|^2 = a^2. \] Under different assumptions on $q<p$, $a>0$ and $\mu \in \mathbb{R}$ we prove several existence and stability/instability results. In particular, we consider cases when \[ 2<q \le 2+ \frac{4}{N} \le p<2^*, \quad q \neq p, \] i.e. the two nonlinearities have different character with respect to the $L^2$-critical exponent. These cases present substantial differences with respect to purely subcritical or supercritical situations, which were already studied in the literature. We also give new criteria for global existence and finite time blow-up in the associated dispersive equation.