title: Closing the Loop for Robotic Grasping: A Real-time, Generative Grasp Synthesis Approach

abstract: This paper presents a real-time, object-independent grasp synthesis method which can be used for closed-loop grasping. Our proposed Generative Grasping Convolutional Neural Network (GG-CNN) predicts the quality and pose of grasps at every pixel. This one-to-one mapping from a depth image overcomes limitations of current deep-learning grasping techniques by avoiding discrete sampling of grasp candidates and long computation times. Additionally, our GG-CNN is orders of magnitude smaller while detecting stable grasps with equivalent performance to current state-of-the-art techniques. The light-weight and single-pass generative nature of our GG-CNN allows for closed-loop control at up to 50Hz, enabling accurate grasping in non-static environments where objects move and in the presence of robot control inaccuracies. In our real-world tests, we achieve an 83% grasp success rate on a set of previously unseen objects with adversarial geometry and 88% on a set of household objects that are moved during the grasp attempt. We also achieve 81% accuracy when grasping in dynamic clutter.


title: "Invisible" QCD axion rolling through the QCD phase transition

abstract: Visible matter in the current Universe is a consequence of the phase transition of the strong force, quantum chromodynamics (QCD). This phase transition has occurred at the Universe temperature around $T_c\simeq 165\,$MeV while it was expanding. Strongly interacting matter particles are quarks above $T_c$, while they are pions, protons and neutrons below $T_c$. The spin degrees of freedom 37 in the quark and gluon phase just above $T_c$ are converted to 3 (pions) after the phase transition. This phase transition might have been achieved mostly at supercooled temperatures. The supercooling was provided by the expansion of the Universe. We obtain the effective bubble formation rate $\alpha(T)\approx 10^{4-5}\,$MeV and the completion temperature of the phase change (to the hadronic phase), $T_f\simeq 126\,$MeV. During the phase transition, the scale factor $R$ has increased by a factor of 2.4. This provides a key knowledge on the energy density of "invisible" QCD axion at the full hadronic-phase commencement temperature $T_f$, and allows for us to estimate the current energy density of cold dark matter composed of "invisible" QCD axions.


title: Canonization of smooth equivalence relations on infinite-dimensional perfect cubes

abstract: A canonization scheme for smooth equivalence relations on $\mathbb R^\omega$ modulo restriction to infinite perfect products is proposed. It shows that given a pair of Borel smooth equivalence relations $\mathsf E,\mathsf F$ on $\mathbb R^\omega$, there is an infinite perfect product $P\subseteq\mathbb R^\omega$ such that either ${\mathsf F}\subseteq{\mathsf E}$ on $P$, or, for some $j<\omega$, the following is true for all $x,y\in P$: $x\,\mathsf E \,y$ implies $x(j)=y(j)$, and $x\restriction{(\omega\smallsetminus\{j\})}=y\restriction{(\omega\smallsetminus\{j\})}$ implies $x\,\mathsf F \,y$.


title: Amino-acid network clique analysis of protein mutation correlation effects: a case study of lysozme

abstract: Optimizing amino-acid mutations has been a most challenging task in modern bio- industrial enzyme designing. It is well known that many successful designs often hinge on extensive correlations among mutations at different sites within the enzyme, however, the underpinning mechanism for these correlations is far from clear. Here, we present a topology-based model to quantitively characterize correlation effects between mutations. The method is based on the molecular dynamic simulations and the amino-acid network clique analysis that simply examines if two single mutation sites belong to some 3-clique. We analyzed 13 dual mutations of T4 phage lysozyme and found that the clique-based model successfully distinguishes highly correlated or non-additive double-site mutations from those with less correlation or additive mutations. We also applied the model to the protein Eglin c whose topology is significantly distinct from that of T4 phage lysozyme, and found that the model can, to some extension, still identify non-additive mutations from additive ones. Our calculations showed that mutation correlation effects may heavily depend on topology relationship among mutation sites, which can be quantitatively characterized using amino-acid network k-cliques. We also showed that double-site mutation correlations can be significantly altered by exerting a third mutation, indicating that more detailed physico-chemistry interactions might be considered with the network model for better understanding of the elusive mutation-correlation principle.


title: Generalized Uncertainty Principle, Black Holes, and White Dwarfs: A Tale of Two Infinities

abstract: It is often argued that quantum gravitational correction to the Heisenberg's uncertainty principle leads to, among other things, a black hole remnant with finite temperature. However, such a generalized uncertainty principle also seemingly removes the Chandrasekhar limit, i.e., it permits white dwarfs to be arbitrarily large, which is at odds with astrophysical observations. We show that this problem can be resolved if the parameter in the generalized uncertainty principle is negative. We also discuss the Planck scale physics of such a model.


title: The quantum theory of time, the block universe and human experience

abstract: Advances in our understanding of the physical universe have impacted dramatically on how we view ourselves. Right at the core of all modern thinking about the universe is the assumption that dynamics is an elemental feature that exists without question. However, ongoing research into the quantum nature of time is challenging this view: my recently-introduced quantum theory of time suggests that dynamics may be a phenomenological consequence of a fundamental violation of time reversal symmetry. I show here that there is consistency between the new theory and the block universe view. I also discuss the new theory in relation to the human experience of existing in the present moment, able to reflect on the past and contemplate a future that is yet to happen.


title: LiDAR and Camera Calibration using Motion Estimated by Sensor Fusion Odometry

abstract: In this paper, we propose a method of targetless and automatic Camera-LiDAR calibration. Our approach is an extension of hand-eye calibration framework to 2D-3D calibration. By using the sensor fusion odometry method, the scaled camera motions are calculated with high accuracy. In addition to this, we clarify the suitable motion for this calibration method. The proposed method only requires the three-dimensional point cloud and the camera image and does not need other information such as reflectance of LiDAR and to give initial extrinsic parameter. In the experiments, we demonstrate our method using several sensor configurations in indoor and outdoor scenes to verify the effectiveness. The accuracy of our method achieves more than other comparable state-of-the-art methods.


title: N=(4,0) Super-Liouville Theory on the Coadjoint Orbit and PSU(1,1|2)

abstract: An N=(4,0) supersymmetric Liouville theory is formulated by the coadjoint orbit method. It is discovered that the action has symmetry under PSU(1,1|2).


title: Effects of Graphene/BN Encapsulation, Surface Functionalization and Molecular Adsorption on the Electronic Properties of Layered InSe: A First-Principles Study

abstract: By using first-principles calculations, we investigated the effects of graphene/boron nitride (BN) encapsulation, surface functionalization by metallic elements (K, Al, Mg and typical transition metals) and molecules (tetracyanoquinodimethane (TCNQ) and tetracyanoethylene (TCNE)) on the electronic properties of layered indium selenide (InSe). It was found that an opposite trend of charge transfer is possible for graphene (donor) and BN (acceptor), which is dramatically different from phosphorene where both graphene and BN play the same role (donor). For InSe/BN heterostructure, a change of the interlayer distance due to an out-of-plane compression can effectively modulate the band gap. Strong acceptor abilities to InSe were found for the TCNE and TCNQ molecules. For K, Al and Mg-doped monolayer InSe, the charge transfer from K and Al atoms to the InSe surface was observed, causing an n-type conduction of InSe, while p-type conduction of InSe observed in case of the Mg-doping. The atomically thin structure of InSe enables the possible observation and utilization of the dopant-induced vertical electric field across the interface. A proper adoption of the n- or p-type dopants allows for the modulation of the work function, the Fermi level pinning, the band bending, and the photo-adsorbing efficiency near the InSe surface/interface. Investigation on the adsorption of transition metal atoms on InSe showed that Ti-, V-, Cr-, Mn-, Co-adsorbed InSe are spin-polarized, while Ni-, Cu-, Pd-, Ag- and Au-adsorbed InSe are non-spin-polarized. Our results shed lights on the possible ways to protect InSe structure and modulate its electronic properties for nanoelectronics and electrochemical device applications.


title: Select, Attend, and Transfer: Light, Learnable Skip Connections

abstract: Skip connections in deep networks have improved both segmentation and classification performance by facilitating the training of deeper network architectures, and reducing the risks for vanishing gradients. They equip encoder-decoder-like networks with richer feature representations, but at the cost of higher memory usage, computation, and possibly resulting in transferring non-discriminative feature maps. In this paper, we focus on improving skip connections used in segmentation networks (e.g., U-Net, V-Net, and The One Hundred Layers Tiramisu (DensNet) architectures). We propose light, learnable skip connections which learn to first select the most discriminative channels and then attend to the most discriminative regions of the selected feature maps. The output of the proposed skip connections is a unique feature map which not only reduces the memory usage and network parameters to a high extent, but also improves segmentation accuracy. We evaluate the proposed method on three different 2D and volumetric datasets and demonstrate that the proposed light, learnable skip connections can outperform the traditional heavy skip connections in terms of segmentation accuracy, memory usage, and number of network parameters.


title: Holographic Turbulence in Einstein-Gauss-Bonnet Gravity at Large $D$

abstract: We study the holographic hydrodynamics in the Einstein-Gauss-Bonnet(EGB) gravity in the framework of the large $D$ expansion. We find that the large $D$ EGB equations can be interpreted as the hydrodynamic equations describing the conformal fluid. These fluid equations are truncated at the second order of the derivative expansion, similar to the Einstein gravity at large $D$. From the analysis of the fluid flows, we find that the fluid equations can be taken as a variant of the compressible version of the non-relativistic Navier-Stokes equations. Particularly, in the limit of small Mach number, these equations could be cast into the form of the incompressible Navier-Stokes equations with redefined Reynolds number and Mach number. By using numerical simulation, we find that the EGB holographic turbulence shares similar qualitative feature as the turbulence from the Einstein gravity, despite the presence of two extra terms in the equations of motion. We analyze the effect of the GB term on the holographic turbulence in detail.


title: Scheduling Advertisement Delivery in Vehicular Networks

abstract: Vehicular users are emerging as a prime market for targeted advertisement, where advertisements (ads) are sent from network points of access to vehicles, and displayed to passengers only if they are relevant to them. In this study, we take the viewpoint of a broker managing the advertisement system, and getting paid every time a relevant ad is displayed to an interested user. The broker selects the ads to broadcast at each point of access so as to maximize its revenue. In this context, we observe that choosing the ads that best fit the users' interest could actually hurt the broker's revenue. In light of this conflict, we present Volfied, an algorithm allowing for conflict-free, near-optimal ad selection with very low computational complexity. Our performance evaluation, carried out through real-world vehicular traces, shows that Volfied increases the broker revenue by up to 70% with provably low computational complexity, compared to state-of-the-art alternatives.


title: Not all Embeddings are created Equal: Extracting Entity-specific Substructures for RDF Graph Embedding

abstract: Knowledge Graphs (KGs) are becoming essential to information systems that require access to structured data. Several approaches have been recently proposed, for obtaining vector representations of KGs suitable for Machine Learning tasks, based on identifying and extracting relevant graph substructures using uniform and biased random walks. However, such approaches lead to representations comprising mostly "popular", instead of "relevant", entities in the KG. In KGs, in which different types of entities often exist (such as in Linked Open Data), a given target entity may have its own distinct set of most "relevant" nodes and edges. We propose specificity as an accurate measure of identifying most relevant, entity-specific, nodes and edges. We develop a scalable method based on bidirectional random walks to compute specificity. Our experimental evaluation results show that specificity-based biased random walks extract more "meaningful" (in terms of size and relevance) RDF substructures compared to the state-of-the-art and, the graph embedding learned from the extracted substructures, outperform existing techniques in the task of entity recommendation in DBpedia.


title: Constrained maximum likelihood estimation of clusterwise linear regression models with unknown number of components

abstract: We consider an equivariant approach imposing data-driven bounds for the variances to avoid singular and spurious solutions in maximum likelihood (ML) estimation of clusterwise linear regression models. We investigate its use in the choice of the number of components and we propose a computational shortcut, which significantly reduces the computational time needed to tune the bounds on the data. In the simulation study and the two real-data applications, we show that the proposed methods guarantee a reliable assessment of the number of components compared to standard unconstrained methods, together with accurate model parameters estimation and cluster recovery.


title: Cellular Network Traces Towards 5G: Usage, Analysis and Generation

abstract: Deployment and demand traces are a crucial tool to study today's LTE systems, as well as their evolution toward 5G. In this paper, we use a set of real-world, crowdsourced traces, coming from the WeFi and OpenSignal apps, to investigate how present-day networks are deployed, and the load they serve. Given this information, we present a way to generate synthetic deployment and demand profiles, retaining the same features of their real-world counterparts. We further discuss a methodology using traces (both real-world and synthetic) to assess (i) to which extent the current deployment is adequate to the current and future demand, and (ii) the effectiveness of the existing strategies to improve network capacity. Applying our methodology to real-world traces, we find that present-day LTE deployments consist of multiple, entangled, medium- to large-sized cells. Furthermore, although today's LTE networks are overprovisioned when compared to the present traffic demand, they will need substantial capacity improvements in order to face the load increase forecasted between now and 2020.


title: Optimization-in-the-Loop for Energy-Efficient 5G

abstract: We consider the problem of energy-efficient network management in 5G systems, where backhaul and fronthaul nodes have both networking and computational capabilities. We devise an optimization model accounting for the main features of 5G backhaul and fronthaul, and jointly solve the problems of (i) node switch on/off, (ii) VNF placement, and (iii) traffic routing. We implement an optimization module within an application on top of an SDN controller and NFV orchestrator, thus enabling swift, high-quality decisions based on current network conditions. Finally, we validate and test our scheme with real-world power consumption, network topology and traffic demand, assessing its performance as well as the relative importance of the main contributions to the total power consumption of the system.


title: Area formation and content assignment for LTE broadcasting

abstract: Broadcasting and multicasting services in LTE networks are shaping up to be an effective way to provide popular content. A key requirement is that cells are aggregated into areas where a tight time synchronization among transmissions is enforced, so as to broadcast the same radio resources. Our paper addresses a facet of LTE broadcasting that has so far received little attention: the creation of broadcasting areas and the assignment of content to them in order to efficiently exploit radio resources and satisfy user requests. Our original clustering approach, named Single-Content Fusion, achieves these goals by initially aggregating cells into single-content areas and maximizing cell similarity in content interests. Aggregated areas are then merged into multiple-content areas by virtue of similar spatial coverage. We show the validity of our solution pointing out the advantages it provides in comparison to other approaches. We also discuss the impact of various system factors (e.g., number of served users, broadcast data rate, area size) and the scalability of our proposal in large, realistic scenarios with both static and time-varying user interest.


title: Geodesically complete spaces with an upper curvature bound

abstract: We study geometric and topological properties of locally compact, geodesically complete spaces with an upper curvature bound. We control the size of singular subsets, discuss homotopical and measure-theoretic stratifications and regularity of the metric structure on a large part.


title: Structure evolution of hcp/ccp metal oxide interfaces in solid-state reactions

abstract: The structure of crystalline interfaces plays an important role in solid-state reactions. The Al2O3/MgAl2O4/MgO system provides an ideal model system for investigating the mechanisms underlying the migration of interfaces during interface reaction. MgAl2O4 layers have been grown between Al2O3 and MgO, and the atomic structure of Al2O3/MgAl2O4 interfaces at different growth stages was characterized using aberration-corrected scanning transmission electron microscopy. The oxygen sublattice transforms from hexagonal close-packed (hcp) stacking in Al2O3 to cubic close-packed (ccp) stacking in MgAl2O4. Partial dislocations associated with steps are observed at the interface. At the reaction-controlled early growth stages, such partial dislocations coexist with the edge dislocations. However, at the diffusion-controlled late growth stages, such partial dislocations are dominant. The observed structures indicate that progression of the Al2O3/MgAl2O4 interface into Al2O3 is accomplished by the glide of partial dislocations accompanied by the exchange of Al3+ and Mg2+ cations. The interface migration may be envisaged as a plane-by-plane zipper-like motion, which repeats along the interface facilitating its propagation. MgAl2O4 grains can adopt two crystallographic orientations with a twinning orientation relationship, and grow by dislocations gliding in opposite directions. Where the oppositely propagating partial dislocations and interface steps meet, interlinked twin boundaries and incoherent {\Sigma}3 grain boundaries form. The newly grown MgAl2O4 grains compete with each other, leading to a growth-selection and successive coarsening of the MgAl2O4 grains. This understanding could help to interpret the interface reaction or phase transformation of a wide range of materials that exhibit a similar hcp/ccp transition.


title: Probing the isotropy of cosmic acceleration using different supernova samples

abstract: Recent studies have indicated that an anisotropic cosmic expansion may exist. In this paper, we use three datasets of type Ia supernovae (SNe Ia) to probe the isotropy of cosmic acceleration. For the Union2.1 dataset, the direction and magnitude of the dipole are $(l=309.3^{\circ} {}^{+ 15.5^{\circ}}_{-15.7^{\circ}} ,\ b = -8.9^{\circ} {}^{ + 11.2^{\circ}}_{-9.8^{\circ}} ),\ A=(1.46 \pm 0.56) \times 10^{-3}$. For the Constitution dataset, the results are $(l=67.0^{\circ}{}^{+ 66.5^{\circ}}_{-66.2^{\circ}},\ b=-0.6^{\circ}{}^{+ 25.2^{\circ}}_{-26.3^{\circ}}),\ A=(4.4 \pm 5.0) \times 10^{-4}$. For the JLA dataset, no significant dipolar deviation is found. We also explore the effects of anisotropic distributions of coordinates and redshifts on the results using Monte-Carlo simulations. We find that the anisotropic distribution of coordinates can cause dipole directions and make dipole magnitude larger. Anisotropic distribution of redshifts is found to have no significant effect on dipole fitting results.


title: Non-equilibrium dynamics of many body quantum systems

abstract: This thesis deals with the study of dynamical properties of out-of-equilibrium quantum systems. We introduce in particular a general class of Spin-Boson models, which describe for example light-matter interaction or dissipative phenomena. We contribute to the development of a stochastic approach to describe the spin dynamics in these models. In this context, the effect of the bosonic environment is encapsulated into additional stochastic degrees of freedom whose time-correlations are determined by spectral properties of the bosonic environment. We use this approach to study many-body phenomena such as the dissipative quantum phase transition induced by an ohmic bosonic environment. Synchronization phenomena as well as dissipative topological transitions are identified. We also progress in the study of arrays of interacting light-matter systems. These theoretical developments follow recent experimental achievements, which could ensure a quantitative study of these phenomena. This notably includes ultra-cold atoms, trapped ions and cavity and circuit electrodynamics setups. We finally investigate hybrid systems comprising electronic quantum dots coupled to electromagnetic resonators, which enable us to provide a spectroscopic analysis of many-body phenomena linked to the Kondo effect. We also introduce thermoelectric applications in these devices.


title: Global existence for reaction-diffusion systems with dissipation of mass and quadratic growth

abstract: We consider the Neumann and Cauchy problems for positivity preserving reaction-diffusion systems of $m$ equations enjoying the mass and entropy dissipation properties. We show global classical existence in any space dimension, under the assumption that the nonlinearities have at most quadratic growth. This extends previously known results which, in dimensions $n\ge 3$, required mass conservation and were restricted to the Cauchy problem. Our proof is also simpler.


title: Reversals in infinite-Prandtl-number Rayleigh-B\'enard convection

abstract: Using direct numerical simulations, we study the statistical properties of reversals in two-dimensional Rayleigh-B\'enard convection for infinite Prandtl number. We find that the large-scale circulation reverses irregularly, with the waiting time between two consecutive genuine reversals exhibiting a Poisson distribution on long time scales, while the interval between successive crossings on short time scales shows a power law distribution. We observe that the vertical velocities near the sidewall and at the center show different statistical properties. The velocity near the sidewall shows a longer autocorrelation and $1/f^2$ power spectrum for a wide range of frequencies, compared to shorter autocorrelation and a narrower scaling range for the velocity at the center. The probability distribution of the velocity near the sidewall is bimodal, indicating a reversing velocity field. We also find that the dominant Fourier modes capture the dynamics at the sidewall and at the center very well. Moreover, we show a signature of weak intermittency in the fluctuations of velocity near the sidewall by computing temporal structure functions.


title: Motion-based Object Segmentation based on Dense RGB-D Scene Flow

abstract: Given two consecutive RGB-D images, we propose a model that estimates a dense 3D motion field, also known as scene flow. We take advantage of the fact that in robot manipulation scenarios, scenes often consist of a set of rigidly moving objects. Our model jointly estimates (i) the segmentation of the scene into an unknown but finite number of objects, (ii) the motion trajectories of these objects and (iii) the object scene flow. We employ an hourglass, deep neural network architecture. In the encoding stage, the RGB and depth images undergo spatial compression and correlation. In the decoding stage, the model outputs three images containing a per-pixel estimate of the corresponding object center as well as object translation and rotation. This forms the basis for inferring the object segmentation and final object scene flow. To evaluate our model, we generated a new and challenging, large-scale, synthetic dataset that is specifically targeted at robotic manipulation: It contains a large number of scenes with a very diverse set of simultaneously moving 3D objects and is recorded with a simulated, static RGB-D camera. In quantitative experiments, we show that we outperform state-of-the-art scene flow and motion-segmentation methods on this data set. In qualitative experiments, we show how our learned model transfers to challenging real-world scenes, visually generating better results than existing methods.


title: Reasoning About TSO Programs Using Reduction and Abstraction

abstract: We present a method for proving that a program running under the Total Store Ordering (TSO) memory model is robust, i.e., all its TSO computations are equivalent to computations under the Sequential Consistency (SC) semantics. This method is inspired by Lipton's reduction theory for proving atomicity of concurrent programs. For programs which are not robust, we introduce an abstraction mechanism that allows to construct robust programs over-approximating their TSO semantics. This enables the use of proof methods designed for the SC semantics in proving invariants that hold on the TSO semantics of a non-robust program. These techniques have been evaluated on a large set of benchmarks using the infrastructure provided by CIVL, a generic tool for reasoning about concurrent programs under the SC semantics.


title: Beyond Trade-off: Accelerate FCN-based Face Detector with Higher Accuracy

abstract: Fully convolutional neural network (FCN) has been dominating the game of face detection task for a few years with its congenital capability of sliding-window-searching with shared kernels, which boiled down all the redundant calculation, and most recent state-of-the-art methods such as Faster-RCNN, SSD, YOLO and FPN use FCN as their backbone. So here comes one question: Can we find a universal strategy to further accelerate FCN with higher accuracy, so could accelerate all the recent FCN-based methods? To analyze this, we decompose the face searching space into two orthogonal directions, `scale' and `spatial'. Only a few coordinates in the space expanded by the two base vectors indicate foreground. So if FCN could ignore most of the other points, the searching space and false alarm should be significantly boiled down. Based on this philosophy, a novel method named scale estimation and spatial attention proposal ($S^2AP$) is proposed to pay attention to some specific scales and valid locations in the image pyramid. Furthermore, we adopt a masked-convolution operation based on the attention result to accelerate FCN calculation. Experiments show that FCN-based method RPN can be accelerated by about $4\times$ with the help of $S^2AP$ and masked-FCN and at the same time it can also achieve the state-of-the-art on FDDB, AFW and MALF face detection benchmarks as well.


title: Off-axis point spread function characterisation in laser-guide star adaptive optics systems

abstract: Adaptive optics (AO) restore the angular resolution of ground-based telescopes, but at the cost of delivering a time- and space-varying point spread function (PSF) with a complex shape. PSF knowledge is crucial for breaking existing limits on the measured accuracy of photometry and astrometry in science observations. In this paper, we concentrate our analyses on anisoplanatism signature only onto PSF: for large-field observations (20") with single- conjugated AO, PSFs are strongly elongated due to anisoplanatism that manifests itself as three different terms for Laser-guide star (LGS) systems: angular, focal and tilt. We propose a generalized model that relies on a point-wise decomposition of the phase and encompasses the non-stationarity of LGS systems. We demonstrate it is more accurate and less computationally demanding than existing models: it agrees with end-to-end physical-optics simulations to within 0.1% of PSF measurables, such as Strehl-ratio, FWHM and fraction of variance unexplained.Secondly, we study off-axis PSF modelling is with respect to $C_n^2(h)$ profile (heights and fractional weights). For 10m class telescope, PSF morphology is estimated at 1% level as long as we model the atmosphere with at least 7 layers whose heights and weights are known respectively with 200m and 10% precision. As a verification test we used the Canada's NRC-Herzberg HeNOS testbed data, featuring four lasers. We highlight capability of retrieving off-axis PSF characteristics within 10% of fraction of variance unexplained, which complies with the expected range from the sensitivity analysis. Our new off-axis PSF modelling method lays the ground-work for testing on-sky in the near future.


title: A description of the topology of free topological vector spaces

abstract: The free topological vector space (tvs) $\mathbb{V}(X)$ over a Tychonoff space $X$ is defined and studied by Sidney A. Morris and the author in [2]. A description of the topology of the free tvs $\mathbb{V}(X)$ over a uniform space $X$ is given in [1]. In this note we give a similar but simpler and clearer description of the topology of free tvs $\mathbb{V}(X)$ over a Tychonoff space $X$.


title: Precipitable water vapour forecasting: a tool for optimizing IR observations at Roque de los Muchachos Observatory

abstract: We validate the Weather Research and Forecasting (WRF) model for precipitable water vapour (PWV) forecasting as a fully operational tool for optimizing astronomical infrared (IR) observations at Roque de los Muchachos Observatory (ORM). For the model validation we used GNSS-based (Global Navigation Satellite System) data from the PWV monitor located at the ORM. We have run WRF every 24 h for near two months, with a horizon of 48 hours (hourly forecasts), from 2016 January 11 to 2016 March 4. These runs represent 1296 hourly forecast points. The validation is carried out using different approaches: performance as a function of the forecast range, time horizon accuracy, performance as a function of the PWV value, and performance of the operational WRF time series with 24- and 48-hour horizons. Excellent agreement was found between the model forecasts and observations, with R = 0.951 and R = 0.904 for the 24- and 48-h forecast time series respectively. The 48-h forecast was further improved by correcting a time lag of 2 h found in the predictions. The final errors, taking into account all the uncertainties involved, are 1.75 mm for the 24-h forecasts and 1.99 mm for 48 h. We found linear trends in both the correlation and RMSE of the residuals (measurements - forecasts) as a function of the forecast range within the horizons analysed (up to 48 h). In summary, the WRF performance is excellent and accurate, thus allowing it to be implemented as an operational tool at the ORM.


title: Statistical and systematical errors in analyses of separate experimental data sets in high energy physics

abstract: Different ways of extracting parameters of interest from combined data sets of separate experiments are investigated accounting for the systematic errors. It is shown, that the frequentist approach may yield larger $\chi^2$ values when compared to the Bayesian approach, where the systematic errors have a Gaussian distributed prior calculated in quadrature. The former leads to a better estimation of the parameters. A maximum-likelihood method, applied to different "gedanken" and real LHC data, is presented. The results allow to choose an optimal approach for obtaining the fit based model parameters.


title: Holographic Reconstruction of Bubbles

abstract: We discuss the holographic reconstruction of static thin bubble walls in BTZ black hole geometries. We consider two reconstruction prescriptions suggested in recent years: hole-ography and light-cone cuts, in the context of thin bubble walls, and comment on their applicability in the presence of non-trivial matter in the bulk. We find that while the light-cone cuts prescription goes through within its own limitations, the current hole-ographic approaches are inadequate to describe bubble spacetimes completely. Much like entanglement shadows found around BTZ black holes and conical defects in the bulk, we find that thin bubbles are accompanied by shadows of their own, which are regions of spacetime which are only partially probed by minimal geodesics. We speculate that such shadows might be a generic feature of the presence of matter in the bulk.


title: Fine-scale observations of the Doppler frequency shifts affecting meteor head radio echoes

abstract: The French FRIPON (Fireball Recovery and Interplanetary Observation Network) programme relies on a video cameras network associated to radio sensors running in a radar multistatic configuration to observe fireballs and to determine meteoroid accurate orbits and potential meteorites strewnfields. This paper focuses on some peculiar phenomena observed with radio means during the final phase of the meteors flight


title: Parcels of Universe or why Schr\"odinger and Fourier are so relatives?

abstract: This paper is about the surprising connection between the Fourier heat equation and the Schr\"odinger wave equation. In fact, if the independent "time" variable in the heat equation is replaced by the time variable multiplied by $i=\sqrt{-1}$, the heat equation becomes the Schr\"odinger equation. Two quite different physical phenomena are put in close connection: the heat diffusion in a material and the probability amplitude of particles in an atom. It is a fact of life that the movements of a small particle floating randomly in a fluid, the well-known Brownian motion, is regulated by the Fourier equation while the probabilistic behavior of the matter around us, the quantum world, is driven by the Schr\"odinger equation but no known stochastic process seems at work here. The apparent simplicity of the formal connection by a "time-rotation", a Wick rotation as it is commonly known, seems to point otherwise. Why this connection? Is there any physical intuitive explanation? Is there any practical value? In this paper, the authors attempt to shed some light on the above questions. The recent concept of volume quantization in noncommutative geometry, due to Connes, Chamseddine and Mukhanov, points again to stochastic processes also underlying the quantum world making Fourier and Schr\"oodinger strict relatives.


title: Chemical Diversity in Three Massive Young Stellar Objects associated with 6.7 GHz CH$_{3}$OH Masers

abstract: We have carried out observations in the 42$-$46 and 82$-$103 GHz bands with the Nobeyama 45-m radio telescope, and in the 338.2$-$339.2 and 348.45$-$349.45 GHz bands with the ASTE 10-m telescope toward three high-mass star-forming regions containing massive young stellar objects (MYSOs), G12.89+0.49, G16.86$-$2.16, and G28.28$-$0.36. We have detected HC$_{3}$N including its $^{13}$C and D isotopologues, CH$_{3}$OH, CH$_{3}$CCH, and several complex organic molecules (COMs). Combining our previous results of HC$_{5}$N in these sources, we compare the $N$(HC$_{5}$N)/$N$(CH$_{3}$OH) ratios in the three observed sources. The ratio in G28.28$-$0.36 is derived to be $0.091^{+0.109}_{-0.039}$, which is higher than that in G12.89+0.49 by one order of magnitude, and that in G16.86$-$2.16 by a factor of $\sim 5$. We investigate the relationship between the $N$(HC$_{5}$N)/$N$(CH$_{3}$OH) ratio and the $N$(CH$_{3}$CCH)/$N$(CH$_{3}$OH) ratio. The relationships of the two column density ratios in G28.28$-$0.36 and G16.86$-$2.16 are similar to each other, while HC$_{5}$N is less abundant when compared to CH$_{3}$CCH in G12.89+0.49. These results imply a chemical diversity in the lukewarm ($T \sim 20-30$ K) envelope around MYSOs. Besides, several spectral lines from complex organic molecules, including very-high-excitation energy lines, have been detected toward G12.89+0.49, while the line density is significantly low in G28.28$-$0.36. These results suggest that organic-poor MYSOs are surrounded by a carbon-chain-rich lukewarm envelope (G28.28$-$0.36), while organic-rich MYSOs, namely hot cores, are surrounded by a CH$_{3}$OH-rich lukewarm envelope (G12.89+0.49 and G16.86$-$2.16).


title: Three limit representations of the core-EP inverse

abstract: In this paper, we present three limit representations of the core-EP inverse. The first approach is based on the full-rank decomposition of a given matrix. The second and third approaches, which depend on the explicit expression of the core-EP inverse, are established. The corresponding limit representations of the dual core-EP inverse are also given. In particular, limit representations of the core and dual core inverse are derived


title: Weighted Finite Laplace Transform Operator: Spectral Analysis and Quality of Approximation by its Eigenfunctions

abstract: For two real numbers $c>0, \alpha> -1,$ we study some spectral properties of the weighted finite bilateral Laplace transform operator, defined over the space $E=L^2(I,\omega_{\alpha}),$ $I=[-1,1],$ $\omega_{\alpha}(x)=(1-x^2)^{\alpha},$ by ${\displaystyle \mathcal L_c^{\alpha} f(x)= \int_I e^{cxy} f(y) \omega_{\alpha}(y)\, dy}.$ In particular, we use a technique based on the Min-Max theorem to prove that the sequence of the eigenvalues of this operator has a super-exponential decay rate to zero. Moreover, we give a lower bound with a magnitude of order $e^c,$ for the largest eigenvalue of the operator $\mathcal L_c^{\alpha}.$ Also, we give some local estimates and bounds of the eigenfunctions $\varphi_{n,c}^{\alpha}$ of $\mathcal L_c^{\alpha}.$ Moreover, we show that these eigenfunctions are good candidates for the spectral approximation of a function that can be written as a weighted finite Laplace transform of an other $L^2(I,\omega_{\alpha})-$function. Finally, we give some numerical examples that illustrate the different results of this work. In particular, we provide an example that illustrate the Laplace based spectral method, for the inversion of the finite Laplace transform.


title: On Asynchronous Non-Dominated Sorting for Steady-State Multiobjective Evolutionary Algorithms

abstract: In parallel and distributed environments, generational evolutionary algorithms often do not exploit the full potential of the computation system since they have to wait until the entire population is evaluated before starting selection procedures. Steady-state algorithms are often seen as a solution to this problem, since fitness evaluation can be done by multiple threads in an asynchronous way. However, if the algorithm updates its state in a complicated way, the threads will eventually have to wait until this update finishes. State update procedures that are computationally expensive are common in multiobjective evolutionary algorithms. We have implemented an asynchronous steady-state version of the NSGA-II algorithm. Its most expensive part, non-dominated sorting, determines the time needed to update the state. We turned the existing incremental non-dominated sorting algorithm into an asynchronous one using several concurrency techniques: a single entry-level lock, finer-grained locks working with non-domination levels, and a non-blocking approach using compare-and-set operations. Our experimental results reveal the trade-off between the work-efficiency of the algorithm and the achieved amount of parallelism.


title: Spectral triples for higher-rank graph $C^*$-algebras

abstract: In this note, we present a new way to associate a spectral triple to the noncommutative $C^*$-algebra $C^*(\Lambda)$ of a strongly connected finite higher-rank graph $\Lambda$. We generalize a spectral triple of Consani and Marcolli from Cuntz-Krieger algebras to higher-rank graph $C^*$-algebras $C^*(\Lambda)$, and we prove that these spectral triples are intimately connected to the wavelet decomposition of the infinite path space of $\Lambda$ which was introduced by Farsi, Gillaspy, Kang, and Packer in 2015. In particular, we prove that the wavelet decomposition of Farsi et al. describes the eigenspaces of the Dirac operator of this spectral triple.


title: Non-resistive dissipative magnetohydrodynamics from the Boltzmann equation in the 14-moment approximation

abstract: We derive the equations of motion of relativistic, non-resistive, second-order dissipative magnetohydrodynamics from the Boltzmann equation using the method of moments. We assume the fluid to be composed of a single type of point-like particles with vanishing dipole moment or spin, so that the fluid has vanishing magnetization and polarization. In a first approximation, we assume the fluid to be non-resistive, which allows to express the electric field in terms of the magnetic field. We derive equations of motion for the irreducible moments of the deviation of the single-particle distribution function from local thermodynamical equilibrium. We analyze the Navier-Stokes limit of these equations, reproducing previous results for the structure of the first-order transport coefficients. Finally, we truncate the system of equations for the irreducible moments using the 14-moment approximation, deriving the equations of motion of relativistic, non-resistive, second-order dissipative magnetohydrodynamics. We also give expressions for the new transport coefficients appearing due to the coupling of the magnetic field to the dissipative quantities.


title: Hybrid RF/VLC Systems under QoS Constraints

abstract: The coexistence of radio frequency (RF) and visible light communications (VLC) in typical indoor environments can be leveraged to support vast user quality-of-service (QoS) needs. In this paper, we target a hybrid RF/VLC network in which data transmission is provided via either an RF access point or a VLC luminary based on a selection process. We employ the concept of effective capacity, which defines the maximum constant arrival data rate at the transmitter buffer when the QoS needs are imposed as limits on the buffer overflow and delay violation probabilities, as the main selection criteria. We initially formulate the effective capacity of both channels with respect to channel gains and user distribution. Under the assumption of uniform user distribution within the VLC cell, we then provide a closed-form approximation for the effective capacity of the VLC channel. We further investigate the effects of illumination needs and line-of-sight blockage on the VLC performance. In addition, we explore the non-asymptotic bounds regarding the buffering delay by capitalizing on the effective capacity. Through simulation results, we show the impacts of different physical aspects and data-link QoS needs on the effective capacity and delay bounds.


title: Combining Difficulty Ranking with Multi-Armed Bandits to Sequence Educational Content

abstract: As e-learning systems become more prevalent, there is a growing need for them to accommodate individual differences between students. This paper addresses the problem of how to personalize educational content to students in order to maximize their learning gains over time. We present a new computational approach to this problem called MAPLE (Multi-Armed Bandits based Personalization for Learning Environments) that combines difficulty ranking with multi-armed bandits. Given a set of target questions MAPLE estimates the expected learning gains for each question and uses an exploration-exploitation strategy to choose the next question to pose to the student. It maintains a personalized ranking over the difficulties of question in the target set which is used in two ways: First, to obtain initial estimates over the learning gains for the set of questions. Second, to update the estimates over time based on the students responses. We show in simulations that MAPLE was able to improve students' learning gains compared to approaches that sequence questions in increasing level of difficulty, or rely on content experts. When implemented in a live e-learning system in the wild, MAPLE showed promising results. This work demonstrates the efficacy of using stochastic approaches to the sequencing problem when augmented with information about question difficulty.


title: Geometric K-homology and the Freed-Hopkins-Teleman theorem

abstract: We describe a map from the equivariant twisted K-homology of a compact, connected, simply connected Lie group $G$ to the Verlinde ring. Our map is described at the level of `D-cycles' for the geometric twisted K-homology of $G$, and is inverse to the Freed-Hopkins-Teleman isomorphism. As an application, we show that two possible definitions of the `quantization' of a Hamiltonian loop group space are compatible with each other.


title: Fast Optimal Bandwidth Selection for RBF Kernel using Reproducing Kernel Hilbert Space Operators for Kernel Based Classifiers

abstract: Kernel based methods have shown effective performance in many remote sensing classification tasks. However their performance significantly depend on its hyper-parameters. The conventional technique to estimate the parameter comes with high computational complexity. Thus, the objective of this letter is to propose an fast and efficient method to select the bandwidth parameter of the Gaussian kernel in the kernel based classification methods. The proposed method is developed based on the operators in the reproducing kernel Hilbert space and it is evaluated on Support vector machines and PerTurbo classification method. Experiments conducted with hyperspectral datasets show that our proposed method outperforms the state-of-art method in terms in computational time and classification performance.


title: The role of zonal flows in disc gravito-turbulence

abstract: The work presented here focuses on the role of zonal flows in the self-sustenance of gravito-turbulence in accretion discs. The numerical analysis is conducted using a bespoke pseudo-spectral code in fully compressible, non-linear conditions. The disc in question, which is modelled using the shearing sheet approximation, is assumed to be self-gravitating, viscous, and thermally diffusive; a constant cooling timescale is also considered. Zonal flows are found to emerge at the onset of gravito-turbulence and they remain closely linked to the turbulent state. A cycle of zonal flow formation and destruction is established, mediated by a slow mode instability (which allows zonal flows to grow) and a non-axisymmetric instability (which disrupts the zonal flow), which is found to repeat numerous times. It is in fact the disruptive action of the non-axisymmetric instability to form new leading and trailing shearing waves, allowing energy to be extracted from the background flow and ensuring the self-sustenance of the gravito-turbulent regime.


title: Topics in Geometric Group Theory. Part I

abstract: This survey paper concerns mainly with some asymptotic topological properties of finitely presented discrete groups: quasi-simple filtration (QSF), geometric simple connectivity (GSC), topological inverse-representations, and the notion of easy groups. As we will explain, these properties are central in the theory of discrete groups seen from a topological viewpoint at infinity. Also, we shall outline the main steps of the achievements obtained in the last years around the very general question whether or not all finitely presented groups satisfy these conditions.


title: Generalized Gorenstein Arf rings

abstract: In this paper we study generalized Gorenstein Arf rings; a class of one-dimensional Cohen-Macaulay local Arf rings that is strictly contained in the class of Gorenstein rings. We obtain new characterizations and examples of Arf rings, and give applications of our argument to numerical semigroup rings and certain idealizations. In particular, we generalize a beautiful result of Barucci and Fr\"oberg concerning Arf numerical semigroup rings.


title: The next-to-next-to-leading order soft function for top quark pair production

abstract: We present the first calculation of the next-to-next-to-leading order threshold soft function for top quark pair production at hadron colliders, with full velocity dependence of the massive top quarks. Our results are fully analytic, and can be entirely written in terms of generalized polylogarithms. The scale-dependence of our result coincides with the well-known two-loop anomalous dimension matrix including the three-parton correlations, which at the two-loop order only appear when more than one massive partons are involved in the scattering process. In the boosted limit, our result exhibits the expected factorization property of mass logarithms, which leads to a consistent extraction of the soft fragmentation function. The next-to-next-to-leading order soft function obtained in this paper is an important ingredient for threshold resummation at the next-to-next-to-next-to-leading logarithmic accuracy.


title: Navigating temporal networks

abstract: Navigation on graphs is the problem how an agent walking on the graph can get from a source to a target with limited information about the graph. The information and the way to exploit it can vary. In this paper, we study navigation on temporal networks -- networks where we have explicit information about the time of the interaction, not only who interacts with whom. We contrast a type of greedy navigation -- where agents follow paths that would have worked well in the past -- with two strategies that do not exploit the additional information. We test these on empirical temporal network data sets. The greedy navigation is indeed more efficient than the reference strategies, meaning that there are correlations in the real temporal networks that can be exploited. We find that the navigability for individual nodes is most strongly correlated with degree and burstiness, i.e., both topological and temporal structures affect the navigation efficiency.


title: A Beals criterion for magnetic pseudodifferential operators proved with magnetic Gabor frames

abstract: First, we give a new proof for the Beals commutator criterion for non-magnetic Weyl pseudo-differential operators based on classical Gabor tight frames. Second, by introducing a modified 'magnetic' Gabor tight frame, we naturally derive the magnetic analogue of the Beals criterion originally considered by Iftimie-M\u{a}ntoiu-Purice.


title: Temperature effect on the coupling between coherent longitudinal phonons and plasmons in n- and p-type GaAs

abstract: The coupling between longitudinal optical (LO) phonons and plasmons plays a fundamental role in determining the performance of doped semiconductor devices. In this work, we report a comparative investigation into the dependence of the coupling on temperature and doping in n- and p-type GaAs by using ultrafast optical phonon spectroscopy. A suppression of coherent oscillations has been observed in p-type GaAs at lower temperature, strikingly different from n-type GaAs and other materials in which coherent oscillations are strongly enhanced by cooling. We attribute this unexpected observation to a cooling-induced elongation of the depth of the depletion layer which effectively increases the screening time of surface field due to a slow diffusion of photoexcited carriers in p-type GaAs. Such an increase breaks the requirement for the generation of coherent LO phonons and, in turn, LO phonon-plasmon coupled modes because of their delayed formation in time.


title: On the numerology of ramification data for power series in characteristic $p$

abstract: Let $k$ be a perfect field of characteristic $p$ and set $K=k((t))$. In this paper we study the ramification properties of elements of Aut$_k(K)$. By choosing a uniformizer for $K$ we may interpret our theorems in terms of power series over $k$. The most important tool that we use is the field of norms construction of Fontaine and Wintenberger.


title: Shape and Fluctuations of Positively Curved Ribbons

abstract: We study the shape and shape fluctuations of positively curved ribbons, with a flat reference metric and a sphere-like reference curvature. Such incompatible geometry is likely to occur in many self assembled materials and other experimental systems. Such ribbons exhibit a sharp transition between rigid ring and an anomalously soft spring as a function of their width. As a result, the temperature dependence of these ribbons' shape is unique, exhibiting a non-monotonic dependence of the persistence and Kuhn lengths on the temperature and width. We map the possible configuration phase space and show the existence of three phases- at high temperatures it is the Ideal Chain phase, where the ribbon is well described by classical models (e.g- worm like chain model); The second phase, for cold and narrow ribbons, is the Plain Ergodic phase - a ribbon in this phase might be thought of as made out of segments that gyrate within an oblate spheroid with extreme aspect ratio; The third phase, for cold, wide ribbons, is a direct result of the residual stress caused by the incompatibility, called Random Structured phase. A ribbon in this phase behaves on large scales as an Ideal Chain, however the segments of this chain are not straight, rather they may have different shapes, mainly helices (both left and right handed) of various pitches.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: The Slope Conjecture for 3-String Montesinos Knots

abstract: The (Strong) Slope Conjecture relates the degree of the colored Jones polynomial of a knot to certain essential surfaces in the knot complement. We verify the Slope Conjecture and the Strong Slope Conjecture for 3-string Montesinos knots satisfying certain conditions.


title: Analytic solution of Guyer-Krumhansl equation for laser flash experiments

abstract: The existence of non-Fourier heat conduction is known for a long time in small and low temperature systems. The deviation from Fourier's law has been found at room temperature in heterogeneous materials like rocks and metal foams \cite{Botetal16, Vanetal17}. These experiments emphasized that the so-called Guyer-Krumhansl equation is adequate for modeling complex materials. In this paper an analytic solution of Guyer-Krumhansl equation is presented considering boundary conditions from laser flash experiment. The solutions are validated with the help of a numerical code \cite{KovVan15} developed for generalized heat equations.


title: Adaptive quantum tomography of high-dimensional bipartite systems

abstract: Adaptive measurements have recently been shown to significantly improve the performance of quantum state and process tomography. However, the existing methods either cannot be straightforwardly applied to high-dimensional systems or are prohibitively computationally expensive. Here we propose and experimentally implement a novel tomographic protocol specially designed for the reconstruction of high-dimensional quantum states. The protocol shows qualitative improvement in infidelity scaling with the number of measurements and is fast enough to allow for complete state tomography of states with dimensionality up to 36.


title: The Howland - Kato Commutator Problem

abstract: We investigate the following problem: For what $f$ and $g$ is the commutator $i[f(P),g(Q)]$ positive when $f$ and $g$ are bounded measurable functions? This problem originated in work of James Howland and was pursued by Tosio Kato who suggested what might be the answer. So far there is no proof that Kato was correct but in this paper we discuss the problem and give some partial answers to the above question.


title: Non-Malleable Extractors and Codes for Composition of Tampering, Interleaved Tampering and More

abstract: Non-malleable codes were introduced by Dziembowski, Pietrzak, and Wichs (JACM 2018) as a generalization of standard error correcting codes to handle severe forms of tampering on codewords. This notion has attracted a lot of recent research, resulting in various explicit constructions, which have found applications in tamper-resilient cryptography and connections to other pseudorandom objects in theoretical computer science. We continue the line of investigation on explicit constructions of non-malleable codes in the information theoretic setting, and give explicit constructions for several new classes of tampering functions. (1) Interleaved split-state tampering: Here the codeword is partitioned in an unknown way by an adversary, and then tampered with by a split-state tampering function. (2) Linear function composed with split-state tampering: In this model, the codeword is first tampered with by a split-state adversary, and then the whole tampered codeword is further tampered with by a linear function. In fact our results are stronger, and we can handle linear function composed with interleaved split-state tampering. (3) Bounded communication split-state tampering: In this model, the two split-state tampering adversaries are allowed to participate in a communication protocol with a bounded communication budget. Our results are the first explicit constructions of non-malleable codes in any of these tampering models. We derive all these results from explicit constructions of seedless non-malleable extractors, which we believe are of independent interest. Using our techniques, we also give an improved seedless extractor for an unknown interleaving of two independent sources.


title: Hemi-slant submanifolds in metallic Riemannian manifolds

abstract: The aim of our paper is to focus on some properties of hemi-slant submanifolds in metallic (and Golden) Riemannian manifolds. We give some characterizations for submanifolds to be hemi-slant submanifolds in metallic (or Golden) Riemannian manifolds and we obtain integrability conditions for the distributions involved. Examples of hemi-slant submanifolds of metallic and Golden Riemannian manifolds are given.


title: The threshold for SDP-refutation of random regular NAE-3SAT

abstract: Unlike its cousin 3SAT, the NAE-3SAT (not-all-equal-3SAT) problem has the property that spectral/SDP algorithms can efficiently refute random instances when the constraint density is a large constant (with high probability). But do these methods work immediately above the "satisfiability threshold", or is there still a range of constraint densities for which random NAE-3SAT instances are unsatisfiable but hard to refute? We show that the latter situation prevails, at least in the context of random regular instances and SDP-based refutation. More precisely, whereas a random $d$-regular instance of NAE-3SAT is easily shown to be unsatisfiable (whp) once $d \geq 8$, we establish the following sharp threshold result regarding efficient refutation: If $d < 13.5$ then the basic SDP, even augmented with triangle inequalities, fails to refute satisfiability (whp), if $d > 13.5$ then even the most basic spectral algorithm refutes satisfiability~(whp).


title: Optimizing a Polynomial Function on a Quantum Simulator

abstract: Gradient descent method, as one of the major methods in numerical optimization, is the key ingredient in many machine learning algorithms. As one of the most fundamental way to solve the optimization problems, it promises the function value to move along the direction of steepest descent. For the vast resource consumption when dealing with high-dimensional problems, a quantum version of this iterative optimization algorithm has been proposed recently[arXiv:1612.01789]. Here, we develop this protocol and implement it on a quantum simulator with limited resource. Moreover, a prototypical experiment was shown with a 4-qubit Nuclear Magnetic Resonance quantum processor, demonstrating a optimization process of polynomial function iteratively. In each iteration, we achieved an average fidelity of 94\% compared with theoretical calculation via full-state tomography. In particular, the iterative point gradually converged to the local minimum. We apply our method to multidimensional scaling problem, further showing the potentially capability to yields an exponentially improvement compared with classical counterparts. With the onrushing tendency of quantum information, our work could provide a subroutine for the application of future practical quantum computers.


title: An Unsupervised Approach to Detect Spam Campaigns that Use Botnets on Twitter

abstract: In recent years, Twitter has seen a proliferation of automated accounts or bots that send spam, offer clickbait, compromise security using malware, and attempt to skew public opinion. Previous research estimates that around 9% to 17% of Twitter accounts are bots contributing to between 16% to 56% of tweets on the medium. This paper introduces an unsupervised approach to detect Twitter spam campaigns in real-time. The bot groups we detect tweet duplicate content with shortened embedded URLs over extended periods of time. Our experiments with the detection protocol reveal that bots consistently account for 10% to 50% of tweets generated from 7 popular URL shortening services on Twitter. More importantly, we discover that bots using shortened URLs are connected to large scale spam campaigns that control thousands of domains. There appear to be two distinct mechanisms used to control bot groups and we investigate both in this paper. Our detection system runs 24/7 and actively collects bots involved in spam campaigns and adds them to an evolving database of malicious bots. We make our database of detected bots available for query through a REST API so others can filter tweets from malicious bots to get high quality Twitter datasets for analysis.


title: Ideal Submodules versus Ternary Ideals versus Linking Ideals

abstract: We show that ideal submodules and closed ternary ideals in Hilbert modules are the same. We use this insight as a little peg on which to hang a little note about interrelations with other notions regarding Hilbert modules. In Section 3, we show that the ternary ideals (and equivalent notions) merit fully, in terms of homomorphisms and quotients, to be called ideals of (not necessarily full) Hilbert modules. The properties to be checked are intrinsically formulated for the modules (without any reference to the algebra over which they are modules) in terms of their ternary structure. The proofs, instead, are motivated from a third equivalent notion, linking ideals (Section 2), and a Theorem (Section 3) that all extends nicely to (reduced) linking algebras. As an application, in Section 4, we introduce ternary extensions of Hilbert modules and prove most of the basic properties (some new even for the known notion of extensions of Hilbert modules), by reducing their proof to the well-known analogue theorems about extensions of $C^*$-algebras. Finally, in Section 5, we propose several open problems that our method naturally suggests.


title: On the Energy Spectrum of Cosmogenic Neutrons

abstract: The processes of the generation of cosmogenic neutrons (cg-neutrons) underground are considered. The neutrons produced by cosmic-ray muons in their interactions with matter are called cosmogenic. Deep-inelastic ${\pi}A$-collisions of pions in muon-induced hadronic showers are mainly their source at energies above 30 MeV. The characteristics of the energy spectrum for the generation of cg-neutrons have been determined by invoking the additive quark model of deep-inelastic soft processes and the mechanism for the interactions of high-energy nucleons in a nucleus. The three-component shape of the spectrum is explained, and the energy of the "knee" in the spectrum has been found to depend on the mass number $A$. The peculiarities of deep-inelastic ${\pi}A$-scattering lead to the conclusion that the spectrum of cg-neutrons steepens sharply at energies above 1 GeV. The calculated quantitative characteristics of the spectrum are compared with those obtained in measurements.


title: Overlapping Coalition Formation via Probabilistic Topic Modeling

abstract: Research in cooperative games often assumes that agents know the coalitional values with certainty, and that they can belong to one coalition only. By contrast, this work assumes that the value of a coalition is based on an underlying collaboration structure emerging due to existing but unknown relations among the agents; and that agents can form overlapping coalitions. Specifically, we first propose Relational Rules, a novel representation scheme for cooperative games with overlapping coalitions, which encodes the aforementioned relations, and which extends the well-known MC-nets representation to this setting. We then present a novel decision-making method for decentralized overlapping coalition formation, which exploits probabilistic topic modeling, and in particular, online Latent Dirichlet Allocation. By interpreting formed coalitions as documents, agents can effectively learn topics that correspond to profitable collaboration structures.


title: Modal Dependent Type Theory and Dependent Right Adjoints

abstract: In recent years we have seen several new models of dependent type theory extended with some form of modal necessity operator, including nominal type theory, guarded and clocked type theory, and spatial and cohesive type theory. In this paper we study modal dependent type theory: dependent type theory with an operator satisfying (a dependent version of) the K-axiom of modal logic. We investigate both semantics and syntax. For the semantics, we introduce categories with families with a dependent right adjoint (CwDRA) and show that the examples above can be presented as such. Indeed, we show that any finite limit category with an adjunction of endofunctors gives rise to a CwDRA via the local universe construction. For the syntax, we introduce a dependently typed extension of Fitch-style modal lambda-calculus, show that it can be interpreted in any CwDRA, and build a term model. We extend the syntax and semantics with universes.


title: Asymptotic Linear Programming Lower Bounds for the Energy of Minimizing Riesz and Gauss Configurations

abstract: Utilizing frameworks developed by Delsarte, Yudin and Levenshtein, we deduce linear programming lower bounds (as $N\to \infty$) for the Riesz energy of $N$-point configurations on the $d$-dimensional unit sphere in the so-called hypersingular case; i.e, for non-integrable Riesz kernels of the form $|x-y|^{-s}$ with $s>d.$ As a consequence, we immediately get (thanks to the Poppy-seed bagel theorem) lower estimates for the large $N$ limits of minimal hypersingular Riesz energy on compact $d$-rectifiable sets. Furthermore, for the Gaussian potential $\exp(-\alpha|x-y|^2)$ on $\mathbb{R}^p,$ we obtain lower bounds for the energy of infinite configurations having a prescribed density.


title: Probing bino-wino coannihilation dark matter under the neutrino floor at the LHC

abstract: In the minimal supersymmetric standard model (MSSM) the bino-wino coannihilation provides a feasible way to accommodate the observed cosmological dark matter (DM) relic density. However, such a scenario usually predicts a very small DM-nucleon scattering cross section that is below the neutrino floor, and can not be tested by DM direct detection experiments. In this work, we investigate the discovery potential of this bino-wino co-annihilation region by searching for the soft dilepton events from the process $pp \to \chi^0_2 (\to \ell^+\ell^- \chi^0_1) \chi^\pm_1+jets$ at the LHC. We find that the mass of the wino-like $\chi^0_2$ can be probed up to about 310 (230) GeV at $2\sigma$ ($5\sigma$) level for an integrated luminosity ${\cal L}=300$ fb$^{-1}$. In the future HL-LHC with 3000 fb$^{-1}$ luminosity, the corresponding mass limits can be pushed up to 430 (330) GeV.


title: Quantum corrections for the phase diagram of systems with competing order

abstract: We use the effective potential method of quantum field theory to obtain the quantum corrections to the zero temperature phase diagram of systems with competing order parameters. We are particularly interested in two different scenarios: regions of the phase diagram where there is a bicritical point, at which both phases vanish continuously, and the case where both phases coexist homogeneously. We consider different types of couplings between the order parameters, including a bilinear one. This kind of coupling breaks time-reversal symmetry and it is only allowed if both order parameters transform according to the same irreducible representation. This occurs in many physical systems of actual interest like competing spin density waves, different types of orbital antiferromagnetism, elastic instabilities of crystal lattices, vortices in a multigap SC and also applies to describe the unusual magnetism of the heavy fermion compound URu2Si2. Our results show that quantum corrections have an important effect on the phase diagram of systems with competing orders.


title: Anisotropic thermalization propelled motor

abstract: Brownian motors and Feymann ratchets have been intensively studied in the past decades due to their significance to the foundation of statistical physics. In this work we propose a new type of Brownian motor, i.e., a self-driven motor that only utilizes the temperature difference inside and outside the motor. The motor is a container with asymmetric geometry; when filling of gas, directional motion occurs if its temperature is different from the environment. The essentially new mechanism is that the asymmetric geometry of the container may induce anisotropic thermalization, which results in a density gradient and propels the motor. The directional motion ceases untill the density gradient disappears as the inside temperature approaches the environment temperature. The same mechanism is also applied to design self-driven rotators. Possible experimental realizations are discussed.


title: A Hierarchy of Non-Equilibrium Two-Phase Flow Models

abstract: We consider a hierarchy of relaxation models for two-phase flow. The models are derived from the non-equilibrium Baer-Nunziato model, which is endowed with relaxation source terms to drive it towards equilibrium. The source terms cause transfer of volume, heat, mass and momentum due to differences between the phases in pressure, temperature, chemical potential and velocity, respectively. The subcharacteristic condition is closely linked to the stability of such relaxation systems, and in the context of two-phase flow models, it implies that the sound speed of an equilibrium system can never exceed that of the relaxation system. Here, previous work by Fl{\aa}tten and Lund [Math. Models Methods Appl. Sci., 21 (12), 2011, 2379--2407] and Lund [SIAM J. Appl. Math. 72, 2012, 1713--1741] is extended to encompass two-fluid models, i.e. models with separately governed velocities for the two phases. Each remaining model in the hierarchy is derived, and analytical expressions for the sound speeds are presented. Given only physically fundamental assumptions, the subcharacteristic condition is shown to be satisfied in the entire hierarchy, either in a weak or in a strong sense.


title: A Low-Complexity Recursive Approach Toward Code-Domain NOMA for Massive Communications

abstract: Nonorthogonal multiple access (NOMA) is a promising technology to meet the demands of the next generation wireless networks on massive connectivity, high throughput and reliability, improved fairness, and low latency. In this context, code-domain NOMA which attempts to serve $K$ users in $M\leq K$ orthogonal resource blocks, using a pattern matrix, is of utmost interest. However, extending the pattern matrix dimensions severely increases the detection complexity and hampers on the significant advantages that can be achieved using large pattern matrices. In this paper, we propose a novel approach toward code-domain NOMA which factorizes the pattern matrix as the Kronecker product of some other factor matrices each with a smaller dimension. Therefore, both the pattern matrix design at the transmitter side and the mixed symbols' detection at the receiver side can be performed over much smaller dimensions and with a remarkably reduced complexity and latency. As a consequence, the system can significantly be overloaded to effectively support the requirements of the next generation wireless networks without any considerable increase on the system complexity.


title: Robust Transmission Design for Multi-Cell D2D Underlaid Cellular Networks

abstract: This paper investigates the robust transmission design (RTD) of a multi-cell device-to-device (D2D) underlaid cellular network with imperfect channel state information (CSI). The bounded model is adopted to characterize the CSI impairment and the aim is to maximize the worst-case sum rate of the system. To protect cellular communications, it is assumed that the interference from all D2D transmitters to each base station (BS) is power-limited. It is first shown that the worst-case signal-to-interference-plus-noise ratio (SINR) of each D2D link can be obtained directly, while that of cellular links cannot be similarly found since the channel estimation error vectors of cellular links are coupled in the SINR expressions. To solve the nonconvex problem, the objective function of the original problem is replaced with its lower bound, and the resulted problem is decomposed into multiple semidefinite programming (SDP) subproblems which are convex and have computationally efficient solutions. An iterative RTD algorithm is then proposed to obtain a suboptimal solution. Simulation results show that D2D communication can significantly increase the performance of the conventional cellular systems while causing tolerable interference to cellular users. In addition, the proposed RTD algorithm outperforms the conventional non-robust transmission design greatly in terms of network spectral efficiency.


title: Calculating magnetic interactions in organic electrides

abstract: We present our calculation results for organic magnetic electrides. In order to identify the `cavity' electrons, we use maximally-localized Wannier functions and `empty atom' technique. The estimation of magnetic coupling is then performed based on magnetic force linear response theory. Both short- and long-range magnetic interactions are calculated with a single self-consistent calculation of a primitive cell. With this scheme we investigate four different organic electrides whose magnetic properties have been partly unknown or under debate. Our calculation results unveil the nature of magnetic moment and their interactions, and justify or defy the validity of preassumed spin models. Our work not only provides useful insight to understand magnetic electrides but also suggests a new paradigm to study the related materials.


title: Leaves on trees: identifying halo stars with extreme gradient boosted trees

abstract: Extended stellar haloes are a natural by-product of the hierarchical formation of massive galaxies. If merging is a non-negligible factor in the growth of our Galaxy, evidence of such events should be encoded in its stellar halo. Reliable identification of genuine halo stars is a challenging task however. The 1st Gaia data release contains the positions, parallaxes and proper motions for over 2 million stars, mostly in the Solar neighbourhood. Gaia DR2 will enlarge this sample to over 1.5 billion stars, the brightest ~5 million of which will have a full phase-space information. Our aim is to develop a machine learning model to reliably identify halo stars, even when their full phase-space information is not available. We use the Gradient Boosted Trees algorithm to build a supervised halo star classifier. The classifier is trained on a sample extracted from the Gaia Universe Model Snapshot, convolved with the errors of TGAS, as well as with the expected uncertainties of the upcoming Gaia DR2. We also trained our classifier on the cross-match between the TGAS and RAVE catalogues, where the halo stars are labelled in an entirely model independent way. We then use this model to identify halo stars in TGAS. When full phase- space information is available and for Gaia DR2-like uncertainties, our classifier is able to recover 90% of the halo stars with at most 30% distance errors, in a completely unseen test set, and with negligible levels of contamination. When line-of-sight velocity is not available, we recover ~60% of such halo stars, with less than 10% contamination. When applied to the TGAS data, our classifier detects 337 high confidence RGB halo stars. Although small, this number is consistent with the expectation from models given the data uncertainties. The large parallax errors are the biggest limitation to identify a larger number of halo stars in all the cases studied.


title: Summoning, No-Signaling and Relativistic Bit Commitments

abstract: Summoning is a task between two parties, Alice and Bob, with distributed networks of agents in space-time. Bob gives Alice a random quantum state, known to him but not her, at some point. She is required to return the state at some later point, belonging to a subset defined by communications received from Bob at other points. Many results about summoning, including the impossibility of unrestricted summoning tasks and the necessary conditions for specific types of summoning tasks to be possible, follow directly from the quantum no-cloning theorem and the relativistic no-superluminal-signalling principle. The impossibility of cloning devices can be derived from the impossibility of superluminal signalling and the projection postulate, together with assumptions about the devices' location-independent functioning. In this qualified sense, known summoning results follow from the causal structure of space-time and the properties of quantum measurements. Bounds on the fidelity of approximate cloning can be similarly derived. Bit commitment protocols and other cryptographic protocols based on the no-summoning theorem can thus be proven secure against some classes of post-quantum but non-signalling adversaries.


title: Weak Siegel-Weil formula for M_2(Q) and arithmetic on quaternions

abstract: In this paper, we prove the weak Siegel-Weil formula for the space M_2(Q) . We study the Hecke correspondence and representation numbers associated to Eichler orders, and give the explicit formula for degree of Hecke correspondence and average representation numbers over genus. This formula could recover the main results in [DuYang]. We could identify these numbers with the Fourier coefficients of Eisenstein series via Siegel-Weil formula(weak Siegel-Weil formula for M_2(Q). In the last part of this article, we reprove four square sum Theorem via Siegel-Weil formula and Kudla's matching.


title: A Pre-Gaia DR2 Survey for Nearby M Dwarfs in Young Associations

abstract: In this research note we identify 130 new M-type candidate members of young associations with the BANYAN $\Sigma$ tool and recently published trigonometric distances from RECONS and URAT-South. We identify a white dwarf candidate in the AB Doradus moving group, but determine that its cooling age is too large and reject it as a member. Three stars (G 13-39, LHS 2935 and G 152-1) now have complete kinematics and are strong candidate members in the AB Doradus and Carina-Near moving groups, but still lack a confirmation of their young age independent of their kinematics.


title: Urban Haze and Photovoltaics

abstract: Urban haze is a multifaceted threat. Foremost a major health hazard, it also affects the passage of light through the lower atmosphere. In this paper, we present a study addressing the impact of haze on the performance pf photovoltaic installations in cities. Using long-term, high resolution field data from Delhi and Singapore we derive an empirical relation between reduction in insolation and fine particulate matter (PM2.5) concentration. This approach enables a straightforward way to estimate air pollution related losses to photovoltaic power generation anywhere on the planet. For Delhi, we find that insolation received by silicon PV panels was reduced by 11.5% plus minus 1.5% or 200 kWh/m2 per year between 2016 and 2017 due to air pollution. We extended this analysis to 16 more cities around the planet and estimated insolation reductions ranging from 2.0% (Singapore) to 9.1% (Beijing). Using spectrum data from Singapore, we projected how other photovoltaic technologies would be affected and found an additional reduction compared to silicon of between 23% relative for GaAs and 42% for a 1.64 eV perovskite material. Considering current installation targets and local prices for electricity, we project that annual losses in revenue from photovoltaic installations could exceed 20 million USD for Delhi alone, indicating that annual economic damage from air pollution to photovoltaic site operators and investors worldwide could be billions of dollars.


title: Porting nTorrent to ndnSIM

abstract: BitTorrent is a popular communication protocol for peer-to-peer file sharing. It uses a data-centric approach, wherein the data is decentralized and peers request each other for pieces of the file(s). Aspects of this process is similar to the Named Data Networking (NDN) architecture, but is realized completely at the application level on top of TCP/IP networking. nTorrent is a peer-to-peer file sharing application that is based on NDN. The goal of this project is to port the application onto ndnSIM to allow for simulation and testing.


title: An interpretable LSTM neural network for autoregressive exogenous model

abstract: In this paper, we propose an interpretable LSTM recurrent neural network, i.e., multi-variable LSTM for time series with exogenous variables. Currently, widely used attention mechanism in recurrent neural networks mostly focuses on the temporal aspect of data and falls short of characterizing variable importance. To this end, our multi-variable LSTM equipped with tensorized hidden states is developed to learn variable specific representations, which give rise to both temporal and variable level attention. Preliminary experiments demonstrate comparable prediction performance of multi-variable LSTM w.r.t. encoder-decoder based baselines. More interestingly, variable importance in real datasets characterized by the variable attention is highly in line with that determined by statistical Granger causality test, which exhibits the prospect of multi-variable LSTM as a simple and uniform end-to-end framework for both forecasting and knowledge discovery.


title: Measurement of differential cross sections for Z boson production in association with jets in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: The production of a Z boson, decaying to two charged leptons, in association with jets in proton-proton collisions at a centre-of-mass energy of 13 TeV is measured. Data recorded with the CMS detector at the LHC are used that correspond to an integrated luminosity of 2.19 fb$^{-1}$. The cross section is measured as a function of the jet multiplicity and its dependence on the transverse momentum of the Z boson, the jet kinematic variables (transverse momentum and rapidity), the scalar sum of the jet momenta, which quantifies the hadronic activity, and the balance in transverse momentum between the reconstructed jet recoil and the Z boson. The measurements are compared with predictions from four different calculations. The first two merge matrix elements with different parton multiplicities in the final state and parton showering, one of which includes one-loop corrections. The third is a fixed-order calculation with next-to-next-to-leading order accuracy for the process with a Z boson and one parton in the final state. The fourth combines the fully differential next-to-next-to-leading order calculation with next-to-next-to-leading logarithm resummation and parton showering.


title: "With 1 follower I must be AWESOME :P". Exploring the role of irony markers in irony recognition

abstract: Conversations in social media often contain the use of irony or sarcasm, when the users say the opposite of what they really mean. Irony markers are the meta-communicative clues that inform the reader that an utterance is ironic. We propose a thorough analysis of theoretically grounded irony markers in two social media platforms: $Twitter$ and $Reddit$. Classification and frequency analysis show that for $Twitter$, typographic markers such as emoticons and emojis are the most discriminative markers to recognize ironic utterances, while for $Reddit$ the morphological markers (e.g., interjections, tag questions) are the most discriminative.


title: Generalized Fock spaces and the Stirling numbers

abstract: The Bargmann-Fock-Segal space plays an important role in mathematical physics, and has been extended into a number of directions. In the present paper we imbed this space into a Gelfand triple. The spaces forming the Fr\'echet part (i.e. the space of test functions) of the triple are characterized both in a geometric way and in terms of the adjoint of multiplication by the complex variable, using the Stirling numbers of the second kind. The dual of the space of test functions has a topological algebra structure, of the kind introduced and studied by the first named author and G. Salomon.


title: Realizations of holomorphic and slice hyperholomorphic functions: the Krein space case

abstract: In this work we treat realization results for operator-valued functions which are analytic in the complex sense or slice hyperholomorphic over the quaternions. In the complex setting, we prove a realization theorem for an operator-valued function analytic in a neighborhood of the origin with a coisometric state space operator thus generalizing an analogous result in the unitary case. A main difference with previous works is the use of reproducing kernel Krein spaces. We then prove the counterpart of this result in the quaternionic setting. The present work is the first paper which presents a realization theorem with a state space which is a quaternionic Krein space


title: Theory of plasmon reflection by a 1D junction

abstract: We present a comprehensive study of the reflection of normally incident plasmon waves from a low-conductivity 1D junction in a 2D conductive sheet. Rigorous analytical results are derived in the limits of wide and narrow junctions. Two types of phenomena determine the reflectance, the cavity resonances within the junction and the capacitive coupling between the leads. The resonances give rise to alternating strong and weak reflection but are vulnerable to plasmonic damping. The capacitive coupling, which is immune to damping, induces a near perfect plasmon reflection in junctions narrower than $1/10$ of the plasmon wavelength. Our results are important for infrared 2D plasmonic circuits utilizing slot antennas, split gates or nanowire gates. They are also relevant for the implementation of nanoscale terahertz detectors, where optimal light absorption coincides with the maximal junction reflectance.


title: On the Asymptotic Throughput of the k-th Best Secondary User Selection in Cognitive Radio Systems

abstract: We analyze the asymptotic average and effective throughputs of a multiuser diversity scheme for a secondary multiuser network consisting of multiple secondary users (transmitters) and one secondary receiver. Considering a transmit power adaptation strategy at the secondary users to satisfy the instantaneous interference constraint at the primary receiver, the secondary receiver selects the $k$-th best secondary user for transmission, namely, the one with the $k$-th highest signal-to-noise ratio (SNR). We use extreme value theory to show that the $k$-th highest SNR converges uniformly in distribution to an inverse gamma random variable for a fixed $k$ and large number of secondary users. We use this result to derive closed-form asymptotic expressions for the average and effective throughputs of the $k$-th best secondary user.


title: Interval-Like Graphs and Digraphs

abstract: We unify several seemingly different graph and digraph classes under one umbrella. These classes are all broadly speaking different generalizations of interval graphs, and include, in addition to interval graphs, also adjusted interval digraphs, threshold graphs, complements of threshold tolerance graphs (known as `co-TT' graphs), bipartite interval containment graphs, bipartite co-circular arc graphs, and two-directional orthogonal ray graphs. (The last three classes coincide, but have been investigated in different contexts.) This common view is made possible by introducing loops. We also show that all the above classes are united by a common ordering characterization, the existence of a min ordering. We propose a common generalization of all these graph and digraph classes, namely signed-interval digraphs, and show that they are precisely the digraphs that are characterized by the existence of a min ordering. We also offer an alternative geometric characterization of these digraphs. For most of the above example graph and digraph classes, we show that they are exactly those signed-interval digraphs that satisfy a suitable natural restriction on the digraph, like having all loops, or having a symmetric edge-set, or being bipartite. (For instance co-TT graphs are precisely those signed-interval digraphs that have each edge symmetric.) We also offer some discussion of recognition algorithms and characterizations, saving the details for future papers.


title: Intrinsically motivated reinforcement learning for human-robot interaction in the real-world

abstract: For a natural social human-robot interaction, it is essential for a robot to learn the human-like social skills. However, learning such skills is notoriously hard due to the limited availability of direct instructions from people to teach a robot. In this paper, we propose an intrinsically motivated reinforcement learning framework in which an agent gets the intrinsic motivation-based rewards through the action-conditional predictive model. By using the proposed method, the robot learned the social skills from the human-robot interaction experiences gathered in the real uncontrolled environments. The results indicate that the robot not only acquired human-like social skills but also took more human-like decisions, on a test dataset, than a robot which received direct rewards for the task achievement.


title: ClassiNet -- Predicting Missing Features for Short-Text Classification

abstract: The fundamental problem in short-text classification is \emph{feature sparseness} -- the lack of feature overlap between a trained model and a test instance to be classified. We propose \emph{ClassiNet} -- a network of classifiers trained for predicting missing features in a given instance, to overcome the feature sparseness problem. Using a set of unlabeled training instances, we first learn binary classifiers as feature predictors for predicting whether a particular feature occurs in a given instance. Next, each feature predictor is represented as a vertex $v_i$ in the ClassiNet where a one-to-one correspondence exists between feature predictors and vertices. The weight of the directed edge $e_{ij}$ connecting a vertex $v_i$ to a vertex $v_j$ represents the conditional probability that given $v_i$ exists in an instance, $v_j$ also exists in the same instance. We show that ClassiNets generalize word co-occurrence graphs by considering implicit co-occurrences between features. We extract numerous features from the trained ClassiNet to overcome feature sparseness. In particular, for a given instance $\vec{x}$, we find similar features from ClassiNet that did not appear in $\vec{x}$, and append those features in the representation of $\vec{x}$. Moreover, we propose a method based on graph propagation to find features that are indirectly related to a given short-text. We evaluate ClassiNets on several benchmark datasets for short-text classification. Our experimental results show that by using ClassiNet, we can statistically significantly improve the accuracy in short-text classification tasks, without having to use any external resources such as thesauri for finding related features.


title: Physics-driven Fire Modeling from Multi-view Images

abstract: Fire effects are widely used in various computer graphics applications such as visual effects and video games. Modeling the shape and appearance of fire phenomenon is challenging as the underlying effects are driven by complex laws of physics. State-of-the-art fire modeling techniques rely on sophisticated physical simulations which require intensive parameter tuning, or use simplifications which produce physically invalid results. In this paper, we present a novel method of reconstructing physically valid fire models from multi-view stereo images. Our method, for the first time, provides plausible estimation of physical properties (e.g., temperature, density) of a fire volume using RGB cameras. This allows for a number of novel phenomena such as global fire illumination effects. The effectiveness and usefulness of our method are tested by generating fire models from a variety of input data, and applying the reconstructed fire models for realistic illumination of virtual scenes.


title: Frustratingly Easy Meta-Embedding -- Computing Meta-Embeddings by Averaging Source Word Embeddings

abstract: Creating accurate meta-embeddings from pre-trained source embeddings has received attention lately. Methods based on global and locally-linear transformation and concatenation have shown to produce accurate meta-embeddings. In this paper, we show that the arithmetic mean of two distinct word embedding sets yields a performant meta-embedding that is comparable or better than more complex meta-embedding learning methods. The result seems counter-intuitive given that vector spaces in different source embeddings are not comparable and cannot be simply averaged. We give insight into why averaging can still produce accurate meta-embedding despite the incomparability of the source vector spaces.


title: Stirling's Original Asymptotic Series from a Formula like one of Binet's and its Evaluation by Sequence Acceleration

abstract: We give an apparently new proof of Stirling's original asymptotic formula for the behavior of $\ln z!$ for large $z$. Stirling's original formula is not the formula widely known as "Stirling's formula", which was actually due to De Moivre. We also show by experiment that this old formula is quite effective for numerical evaluation of $\ln z!$ over $\mathbb{C}$, when coupled with the sequence acceleration method known as Levin's $u$-transform. As an homage to Stirling, who apparently used inverse symbolic computation to identify the constant term in his formula, we do the same in our proof.


title: The slack realization space of a matroid

abstract: We introduce a new model for the realization space of a matroid, which is obtained from a variety defined by a saturated determinantal ideal, called the slack ideal, coming from the vertex-hyperplane incidence matrix of the matroid. This is inspired by a similar model for the slack realization space of a polytope. We show how to use these ideas to certify non-realizability of matroids, and describe an explicit relationship to the standard Grassmann-Pl\"ucker realization space model. We also exhibit a way of detecting projectively unique matroids via their slack ideals by introducing a toric ideal that can be associated to any matroid.


title: A General Way to Control the Reversal of Near Field Optical Binding Force between Plasmonic or Dielectric Dimers

abstract: Controlling the near field optical binding force can be a key factor for particle clustering, aggregation and localized surface plasmon sensors. So far there is no generic way to reverse the near field optical binding force for plasmonic or dielectric nano-dimers of distinct shapes (cube, cylinder, ring, sphere). In this article, for both plasmonic and dielectric objects, we have demonstrated a general way to control the reversal of near field binding force for different shaped dimer sets. The force reversal is achieved by simple breaking of symmetry, considering the nano particles are half or less than half immersed in an inhomogeneous dielectric background, i.e. at air-water interface. Such reversals have been explained based on Fano resonance, interference fields, unusual behavior of optical Lorentz force and image charge theory. However, if the dimer set is placed over a dielectric interface or fully inside a homogeneous medium, the sign of binding force does not reverse. Our proposed configuration provides a generic mechanism of archiving binding force reversal for both plasmonic and dielectric objects, which can be verified by very simple experimental set-up.