title: Space-Valued Diagrams, Type-Theoretically (Extended Abstract)

abstract: Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type theory, where it is known only for special cases how one can define a type of type-valued diagrams over a given index category. We offer several constructions. We first show how to define homotopy coherent diagrams which come with all higher coherence laws explicitly, with two variants that come with assumption on the index category or on the type theory. Further, we present a construction of diagrams over certain Reedy categories. As an application, we add the degeneracies to the well-known construction of semisimplicial types, yielding a construction of simplicial types up to any given finite level. The current paper is only an extended abstract, and a full version is to follow. In the full paper, we will show that the different notions of diagrams are equivalent to each other and to the known notion of Reedy fibrant diagrams whenever the statement makes sense. In the current paper, we only sketch some core ideas of the proofs.


title: An abstract characterization of noncommutative projective lines

abstract: Let $k$ be a field. We describe necessary and sufficient conditions for a $k$-linear abelian category to be a noncommutative projective line, i.e. a noncommutative $\mathbb{P}^{1}$-bundle over a pair of division rings over $k$. As an application, we prove that $\mathbb{P}^{1}_{n}$, Piontkovski's $n$th noncommutative projective line, is the noncommutative projectivization of an $n$-dimensional vector space.


title: A Study of Energy Transfer of Wind and Ocean Waves

abstract: To develop a better understanding of energy transfer between wind and different types of waves a model was created to determine growth factors and energy transfers on breaking waves and the resulting velocity vectors. This model was used to build on the research of Sajjadi et al. (1996) on the growth of waves by sheared flow and takes models of wave velocities developed by Weber and Melsom (1993) and end energy transfer by Sajjadi, Hunt and Drullion (2014).


title: SETH-Based Lower Bounds for Subset Sum and Bicriteria Path

abstract: Subset-Sum and k-SAT are two of the most extensively studied problems in computer science, and conjectures about their hardness are among the cornerstones of fine-grained complexity. One of the most intriguing open problems in this area is to base the hardness of one of these problems on the other. Our main result is a tight reduction from k-SAT to Subset-Sum on dense instances, proving that Bellman's 1962 pseudo-polynomial $O^{*}(T)$-time algorithm for Subset-Sum on $n$ numbers and target $T$ cannot be improved to time $T^{1-\varepsilon}\cdot 2^{o(n)}$ for any $\varepsilon>0$, unless the Strong Exponential Time Hypothesis (SETH) fails. This is one of the strongest known connections between any two of the core problems of fine-grained complexity. As a corollary, we prove a "Direct-OR" theorem for Subset-Sum under SETH, offering a new tool for proving conditional lower bounds: It is now possible to assume that deciding whether one out of $N$ given instances of Subset-Sum is a YES instance requires time $(N T)^{1-o(1)}$. As an application of this corollary, we prove a tight SETH-based lower bound for the classical Bicriteria s,t-Path problem, which is extensively studied in Operations Research. We separate its complexity from that of Subset-Sum: On graphs with $m$ edges and edge lengths bounded by $L$, we show that the $O(Lm)$ pseudo-polynomial time algorithm by Joksch from 1966 cannot be improved to $\tilde{O}(L+m)$, in contrast to a recent improvement for Subset Sum (Bringmann, SODA 2017).


title: Motivic modular forms from equivariant stable homotopy theory

abstract: In this paper, we produce a cellular motivic spectrum of motivic modular forms over $\R$ and $\C$, answering positively to a conjecture of Dan Isaksen. This spectrum is constructed to have the appropriate cohomology, as a module over the relevant motivic Steenrod algebra. We first produce a $\G$-equivariant version of this spectrum, and then use a machinery to construct a motivic spectrum from an equivariant one. We believe that this machinery will be of independent interest.


title: On the Gap Between Strict-Saddles and True Convexity: An Omega(log d) Lower Bound for Eigenvector Approximation

abstract: We prove a \emph{query complexity} lower bound on rank-one principal component analysis (PCA). We consider an oracle model where, given a symmetric matrix $M \in \mathbb{R}^{d \times d}$, an algorithm is allowed to make $T$ \emph{exact} queries of the form $w^{(i)} = Mv^{(i)}$ for $i \in \{1,\dots,T\}$, where $v^{(i)}$ is drawn from a distribution which depends arbitrarily on the past queries and measurements $\{v^{(j)},w^{(j)}\}_{1 \le j \le i-1}$. We show that for a small constant $\epsilon$, any adaptive, randomized algorithm which can find a unit vector $\widehat{v}$ for which $\widehat{v}^{\top}M\widehat{v} \ge (1-\epsilon)\|M\|$, with even small probability, must make $T = \Omega(\log d)$ queries. In addition to settling a widely-held folk conjecture, this bound demonstrates a fundamental gap between convex optimization and "strict-saddle" non-convex optimization of which PCA is a canonical example: in the former, first-order methods can have dimension-free iteration complexity, whereas in PCA, the iteration complexity of gradient-based methods must necessarily grow with the dimension. Our argument proceeds via a reduction to estimating the rank-one spike in a deformed Wigner model. We establish lower bounds for this model by developing a "truncated" analogue of the $\chi^2$ Bayes-risk lower bound of Chen et al.

categories: cs.LG cs.DS cs.IT math.CO math.IT stat.ML


title: Approximate tensor-product preconditioners for very high order discontinuous Galerkin methods

abstract: In this paper, we develop a new tensor-product based preconditioner for discontinuous Galerkin methods with polynomial degrees higher than those typically employed. This preconditioner uses an automatic, purely algebraic method to approximate the exact block Jacobi preconditioner by Kronecker products of several small, one-dimensional matrices. Traditional matrix-based preconditioners require $\mathcal{O}(p^{2d})$ storage and $\mathcal{O}(p^{3d})$ computational work, where $p$ is the degree of basis polynomials used, and $d$ is the spatial dimension. Our SVD-based tensor-product preconditioner requires $\mathcal{O}(p^{d+1})$ storage, $\mathcal{O}(p^{d+1})$ work in two spatial dimensions, and $\mathcal{O}(p^{d+2})$ work in three spatial dimensions. Combined with a matrix-free Newton-Krylov solver, these preconditioners allow for the solution of DG systems in linear time in $p$ per degree of freedom in 2D, and reduce the computational complexity from $\mathcal{O}(p^9)$ to $\mathcal{O}(p^5)$ in 3D. Numerical results are shown in 2D and 3D for the advection and Euler equations, using polynomials of degree up to $p=15$. For many test cases, the preconditioner results in similar iteration counts when compared with the exact block Jacobi preconditioner, and performance is significantly improved for high polynomial degrees $p$.


title: Distributional Modeling on a Diet: One-shot Word Learning from Text Only

abstract: We test whether distributional models can do one-shot learning of definitional properties from text only. Using Bayesian models, we find that first learning overarching structure in the known data, regularities in textual contexts and in properties, helps one-shot learning, and that individual context items can be highly informative. Our experiments show that our model can learn properties from a single exposure when given an informative utterance.


title: A parallel fluid solid coupling model using LAMMPS and Palabos based on the immersed boundary method

abstract: The study of viscous fluid flow coupled with rigid or deformable solids has many applications in biological and engineering problems, e.g., blood cell transport, drug delivery, and particulate flow. We developed a partitioned approach to solve this coupled Multiphysics problem. The fluid motion was solved by Palabos (Parallel Lattice Boltzmann Solver), while the solid displacement and deformation was simulated by LAMMPS (Large-scale Atomic/Molecular Massively Parallel Simulator). The coupling was achieved through the immersed boundary method (IBM). The code modeled both rigid and deformable solids exposed to flow. The code was validated with the Jeffery orbits of an ellipsoid particle in shear flow, red blood cell stretching test, and effective blood viscosity flowing in tubes. It demonstrated essentially linear scaling from 512 to 8192 cores for both strong and weak scaling cases. The computing time for the coupling increased with the solid fraction. An example of the fluid-solid coupling was given for flexible filaments (drug carriers) transport in a flowing blood cell suspensions, highlighting the advantages and capabilities of the developed code.


title: BL Lacertae: X-ray spectral evolution and a black-hole mass estimate

abstract: We present an analysis of the spectral properties observed in X-rays from active galactic nucleus BL Lacertae using RXTE, Suzaku, ASCA, BeppoSAX, and Swift observations. The total time covered by these observations is approximately 20 years. We show that this source undergoes X-ray spectral transitions from the low hard state (LHS) through the intermediate state (IS) to the high soft state (HSS) during these observations. During the RXTE observations (1997 -- 2001, {180 ks, for a total 145 datasets}), the source was approximately 75%, 20% and only 5 of the time in the IS, LHS, and HSS, respectively. We also used Swift observations (470 datasets, for a total 800 ks), which occurred during 12 years (2005 -- 2016), the (0.3 -- 200 keV) data of BeppoSAX (1997 -- 2000, 160 ks), and the (0.3 -- 10 keV) data of ASCA (1995 -- 1999, 160 ks). Two observations of Suzaku (2006, 2013; 50 ks) in combinations with long-term RXTE and Swift data-sets allow us to describe all spectral states of BL Lac. The spectra of BL Lac are well fitted by the bulk motion Comptonization (BMC) model for all spectral states. We have established the photon index saturation level, Gamma_{sat}=2.2+/-0.1, in the Gamma vs. mass accretion rate (Mdot) correlation. This Gamma-Mdot correlation allows us to estimate the black-hole (BH) mass in BL Lac to be M_{BH}~3x10^7 M_sol for a distance of 300 Mpc. For the BH mass estimate, we use the scaling method taking stellar-mass Galactic BHs 4U~1543--47 and GX~339--4 as reference sources. The Gamma-Mdot correlation revealed in BL Lac is similar to those in a number of stellar-mass Galactic BHs and two recently studied intermediate-mass extragalactic BHs. It clearly shows the correlation along with the very extended $\Gamma$ saturation at ~ 2.2. This is robust observational evidence for the presence of a BH in BL Lac.


title: Trilobite "pelotons": Possible hydrodynamic drag effects between leading and following trilobites in trilobite queues

abstract: Energy saving mechanisms in nature allow following organisms to expend less energy than leaders. Queues, or ordered rows of individuals, may form when organisms exploit the available energy saving mechanism while travelling at near-maximal sustainable metabolic capacities; compact clusters form when group members travel well below maximal sustainable metabolic capacities. The group size range, given here as the ratio of the difference between the size of the largest and smallest group members, and the size of the largest member (as a per cent), has been hypothesized to correspond proportionately to the energy saving quantity because weaker, smaller, individuals sustain speeds of stronger, larger, individuals by exploiting the energy saving mechanism (as a per cent). During migration, small individuals outside this range may perish, or form sub-groups, or simply not participate in migratory behavior. We approximate drag forces for leading and following individuals in queues of the late Devonian (approx. 370 Ma) trilobite Trimerocephalus chopini. Applying data from literature of R. herculea, a living crustacean, we approximate the hypothetical walking speed and maximal speeds for T. chopini. Findings reasonably support the hypothesis: among the population of fossilized queues of T. chopini reported by Kin and Blazejowski (2013), trilobite size range was 75% while the size range within queues, was 63%; this corresponds reasonably with drag reductions in following positions that permit approx. 61.5% energy saving for trilobites following others in optimal low-drag positions. We model collective trilobite behavior associated with hydrodynamic drafting.


title: A limit theorem for a splitting distribution of a quantum walk

abstract: Discrete-time quantum walks are considered a counterpart of random walks and the study for them has been getting attention since around 2000. In this paper, we focus on a quantum walk which generates a probability distribution splitting to two parts. The quantum walker with two coin states spreads at points, represented by integers, and we analyze the chance of finding the walker at each position after it carries out a unitary evolution a lot of times. The result is reported as a long-time limit distribution from which one can see an approximation to the finding probability.


title: Pseudo-Separation for Assessment of Structural Vulnerability of a Network

abstract: Based upon the idea that network functionality is impaired if two nodes in a network are sufficiently separated in terms of a given metric, we introduce two combinatorial \emph{pseudocut} problems generalizing the classical min-cut and multi-cut problems. We expect the pseudocut problems will find broad relevance to the study of network reliability. We comprehensively analyze the computational complexity of the pseudocut problems and provide three approximation algorithms for these problems. Motivated by applications in communication networks with strict Quality-of-Service (QoS) requirements, we demonstrate the utility of the pseudocut problems by proposing a targeted vulnerability assessment for the structure of communication networks using QoS metrics; we perform experimental evaluations of our proposed approximation algorithms in this context.


title: Enhancing sideband cooling by feedback--controlled light

abstract: We realise a phase-sensitive closed-loop control scheme to engineer the fluctuations of the pump field which drives an optomechanical system, and show that the corresponding cooling dynamics can be significantly improved. In particular, operating in the counter-intuitive "anti-squashing" regime of positive feedback and increased field fluctuations, sideband cooling of a nanomechanical membrane within an optical cavity can be improved by 7.5~dB with respect to the case without feedback. Close to the quantum regime of reduced thermal noise, such feedback-controlled light would allow going well below the quantum backaction cooling limit.


abstract: We give a formula for the Hodge numbers of hypersurfaces in $\mathbb P^{4}$ with ordinary triple points.


title: Verifying Safety of Functional Programs with Rosette/Unbound

abstract: The goal of unbounded program verification is to discover an inductive invariant that safely over-approximates all possible program behaviors. Functional languages featuring higher order and recursive functions become more popular due to the domain-specific needs of big data analytics, web, and security. We present Rosette/Unbound, the first program verifier for Racket exploiting the automated constrained Horn solver on its backend. One of the key features of Rosette/Unbound is the ability to synchronize recursive computations over the same inputs allowing to verify programs that iterate over unbounded data streams multiple times. Rosette/Unbound is successfully evaluated on a set of non-trivial recursive and higher order functional programs.


title: Plasmon-Exciton Coupling Using DNA Templates

abstract: Coherent energy exchange between plasmons and excitons is a phenomenon that arises in the strong coupling regime resulting in distinct hybrid states. The DNA-origami technique provides an ideal framework to custom-tune plasmon-exciton nanostructures. By employing this well controlled self-assembly process, we realized hybrid states by precisely positioning metallic nanoparticles in a defined spatial arrangement with fixed nanometer-sized interparticle spacing. Varying the nanoparticle diameter between 30 nm and 60 nm while keeping their separation distance constant allowed us to precisely adjust the plasmon resonance of the structure to accurately match the energy frequency of a J-aggregate exciton. With this system we obtained strong plasmon-exciton coupling and studied far-field scattering at the single-structure level. The individual structures displayed normal mode splitting up to 170 meV. The plasmon tunability and the strong field confinement attained with nanodimers on DNA-origami renders an ideal tool to bottom-up assembly plasmon-exciton systems operating at room temperature.


title: User-transparent Distributed TensorFlow

abstract: Deep Learning (DL) algorithms have become the {\em de facto} choice for data analysis. Several DL implementations -- primarily limited to a single compute node -- such as Caffe, TensorFlow, Theano and Torch have become readily available. Distributed DL implementations capable of execution on large scale systems are becoming important to address the computational needs of large data produced by scientific simulations and experiments. Yet, the adoption of distributed DL implementations faces significant impediments: 1) most implementations require DL analysts to modify their code significantly -- which is a show-stopper, 2) several distributed DL implementations are geared towards cloud computing systems -- which is inadequate for execution on massively parallel systems such as supercomputers. This work addresses each of these problems. We provide a distributed memory DL implementation by incorporating required changes in the TensorFlow runtime itself. This dramatically reduces the entry barrier for using a distributed TensorFlow implementation. We use Message Passing Interface (MPI) -- which provides performance portability, especially since MPI specific changes are abstracted from users. Lastly -- and arguably most importantly -- we make our implementation available for broader use, under the umbrella of Machine Learning Toolkit for Extreme Scale (MaTEx) at {\texttt http://hpc.pnl.gov/matex}. We refer to our implementation as MaTEx-TensorFlow.


title: Using Contour Trees in the Analysis and Visualization of Radio Astronomy Data Cubes

abstract: The current generation of radio and millimeter telescopes, particularly the Atacama Large Millimeter Array (ALMA), offers enormous advances in observing capabilities. While these advances represent an unprecedented opportunity to facilitate scientific understanding, the increased complexity in the spatial and spectral structure of these ALMA data cubes lead to challenges in their interpretation. In this paper, we perform a feasibility study for applying topological data analysis and visualization techniques never before tested by the ALMA community. Through techniques based on contour trees, we seek to improve upon existing analysis and visualization workflows of ALMA data cubes, in terms of accuracy and speed in feature extraction. We review our application development process in building effective analysis and visualization capabilities for the astrophysicists. We also summarize effective design practices by identifying domain-specific needs of simplicity, integrability, and reproducibility, in order to best target and service the large astrophysics community.


title: Nucleon resonances in $\gamma p \to K^{*+} \Lambda$

abstract: The high-precision cross-section data for the reaction $\gamma p \to K^{*+}\Lambda$ reported by the CLAS Collaboration at the Thomas Jefferson National Accelerator Facility have been analyzed based on an effective Lagrangian approach in the tree-level approximation. Apart from the $t$-channel $K$, $\kappa$, $K^*$ exchanges, the $s$-channel nucleon ($N$) exchange, the $u$-channel $\Lambda$, $\Sigma$, $\Sigma^*(1385)$ exchanges, and the generalized contact term, the contributions from the near-threshold nucleon resonances in the $s$-channel are also taken into account in constructing the reaction amplitude. It is found that, to achieve a satisfactory description of the differential cross section data, at least two nucleon resonances should be included. By including the $N(2060){5/2}^-$ resonance, which is responsible for the shape of the angular distribution near the $K^*\Lambda$ threshold, and one of the $N(2000){5/2}^+$, $N(2040){3/2}^+$, $N(2100){1/2}^+$, $N(2120){3/2}^-$ and $N(2190){7/2}^-$ resonances, one can describe the cross-section data quite well, with the fitted resonance masses and widths compatible with those advocated by the Particle Data Group. The resulted predictions of the beam, target, and recoil asymmetries are found to be quite different from various fits, indicating the necessity of the spin observable data for $\gamma p \to K^{*+}\Lambda$ to further pin down the resonance contents and associated parameters in this reaction.


title: Non-minimally coupled scalar field cosmology with torsion

abstract: In this work we present a generalized Brans-Dicke lagrangian including a non-minimally coupled Gauss-Bonnet term without imposing the vanishing torsion condition. In the resulting field equations, the torsion is closely related to the dynamics of the scalar field, i.e., if non-minimally coupled terms are present in the theory, then the torsion must be present. For the studied lagrangian we analyze the cosmological consequences of an effective torsional fluid and we show that this fluid can be responsible for the current acceleration of the universe. Finally, we perform a detailed dynamical system analysis to describe the qualitative features of the model, we find that accelerated stages are a generic feature of this scenario.


title: Solutions for Zero-Sum Two-Player Games with Noncompact Decision Sets and Unbounded Payoffs

abstract: This paper provides sufficient conditions for the existence of solutions for two-person zero-sum games with inf/sup-compact payoff functions and with possibly noncompact decision sets for both players. Payoff functions may be unbounded, and we do not assume any convexity/concavity-type conditions. For such games expected payoff may not exist for some pairs of strategies. The results of this paper imply several classic facts. The paper also provides sufficient conditions for the existence of a value and solutions for each player. The results of this paper are illustrated with the number guessing game.


title: Neural Paraphrase Identification of Questions with Noisy Pretraining

abstract: We present a solution to the problem of paraphrase identification of questions. We focus on a recent dataset of question pairs annotated with binary paraphrase labels and show that a variant of the decomposable attention model (Parikh et al., 2016) results in accurate performance on this task, while being far simpler than many competing neural architectures. Furthermore, when the model is pretrained on a noisy dataset of automatically collected question paraphrases, it obtains the best reported performance on the dataset.


title: Distributed Formation Control of Nonlonolomic Mobile Robots by Bounded Feedback in the Presence of Obstacles

abstract: The problem of distributed formation control of nonholonomic mobile robots is addressed in this paper, in which the robots are designed to track a formation. Collision avoidance among agents is guaranteed using a control law based on a repulsive force. In an uncertain environment where obstacles exist, the construction of repulsive force and rotational direction enables agents to avoid and pass the obstacles. The control inputs of each robot are designed to be bounded. Numerical simulations with different formations are implemented to demonstrate the efficacy of the proposed scheme.


title: Asynchronous Parallel Empirical Variance Guided Algorithms for the Thresholding Bandit Problem

abstract: This paper considers the multi-armed thresholding bandit problem -- identifying all arms whose expected rewards are above a predefined threshold via as few pulls (or rounds) as possible -- proposed by Locatelli et al. [2016] recently. Although the proposed algorithm in Locatelli et al. [2016] achieves the optimal round complexity in a certain sense, there still remain unsolved issues. This paper proposes an asynchronous parallel thresholding algorithm and its parameter-free version to improve the efficiency and the applicability. On one hand, the proposed two algorithms use the empirical variance to guide the pull decision at each round, and significantly improve the round complexity of the "optimal" algorithm when all arms have bounded high order moments. The proposed algorithms can be proven to be optimal. On the other hand, most bandit algorithms assume that the reward can be observed immediately after the pull or the next decision would not be made before all rewards are observed. Our proposed asynchronous parallel algorithms allow making the choice of the next pull with unobserved rewards from earlier pulls, which avoids such an unrealistic assumption and significantly improves the identification process. Our theoretical analysis justifies the effectiveness and the efficiency of proposed asynchronous parallel algorithms.


title: PHENIX Overview

abstract: These proceedings present highlighted results from PHENIX shown at the Quark Matter 2017 conference.


title: Superfluidity of Dipolar Excitons in a Black Phosphorene Double Layer

abstract: We study the formation of dipolar excitons and their superfluidity in a black phosphorene double layer. The analytical expressions for the single dipolar exciton energy spectrum and wave function are obtained. It is predicted that a weakly interacting gas of dipolar excitons in a double layer of black phosphorus exhibits superfluidity due to the dipole-dipole repulsion between the dipolar excitons. In calculations are employed the Keldysh and Coulomb potentials for the interaction between the charge carriers to analyze the influence of the screening effects on the studied phenomena. It is shown that the critical velocity of superfluidity, the spectrum of collective excitations, concentrations of the superfluid and normal component, and mean field critical temperature for superfluidity are anisotropic and demonstrate the dependence on the direction of motion of dipolar excitons. The critical temperature for superfluidity increases if the exciton concentration and the interlayer separation increase. It is shown that the dipolar exciton binding energy and mean field critical temperature for superfluidity are sensitive to the electron and hole effective masses. The proposed experiment to observe a directional superfluidity of excitons is addressed.


title: PHENIX results on multiparticle correlations in small systems

abstract: We present measurements of 2- and 4-particle correlations in d+Au collisions at four different center-of-mass energies: 200, 62.4, 39, and 19.6 GeV. The data were collected in 2016 by the PHENIX experiment at RHIC. The second Fourier coefficient $v_2$ of the particle azimuthal distributions is measured using the Q-cumulant method as a function of event multiplicity. The results give a strong indication of collective behavior down to the lowest energy.


title: Understanding the Scatter in the Spatially-resolved Star Formation Main Sequence of Local Massive Spiral Galaxies

abstract: We investigate the relation between star formation rate (SFR) and stellar mass ($M_*$) in sub-galactic ($\sim 1$kpc) scale of 93 local ($0.01<z<0.02$) massive ($M_*>10^{10.5}M_{\odot}$) spiral galaxies. To derive spatially-resolved SFR and stellar mass, we perform so-called pixel-to-pixel SED fitting, which fits an observed spatially-resolved multiband SED with a library of model SEDs using Bayesian statistics approach. We use 2 bands (FUV and NUV) and 5 bands ($u$, $g$, $r$, $i$, and $z$) imaging data from Galaxy Evolution Explorer (GALEX) and Sloan Digital Sky Survey (SDSS), respectively. We find a tight nearly linear relation between the local surface density of SFR ($\Sigma_{\rm{SFR}}$) and stellar mass ($\Sigma_{*}$) which has flattening in high $\Sigma_{*}$. The near linear relation between $\Sigma_{*}$ and $\Sigma_{\rm SFR}$ suggests constant sSFR throughout the galaxies, and the scatter of the relation is directly related to that of sSFR. Therefore, we analyse the variation of sSFR in various scales. More massive galaxies on average have lower sSFR throughout them than less massive galaxies. We also find that barred galaxies have lower sSFR in a core region than non-barred galaxies. However, in the outside region, sSFR of barred and non-barred galaxies are similar and lead to the similar total sSFR.


title: Task-Oriented Query Reformulation with Reinforcement Learning

abstract: Search engines play an important role in our everyday lives by assisting us in finding the information we need. When we input a complex query, however, results are often far from satisfactory. In this work, we introduce a query reformulation system based on a neural network that rewrites a query to maximize the number of relevant documents returned. We train this neural network with reinforcement learning. The actions correspond to selecting terms to build a reformulated query, and the reward is the document recall. We evaluate our approach on three datasets against strong baselines and show a relative improvement of 5-20% in terms of recall. Furthermore, we present a simple method to estimate a conservative upper-bound performance of a model in a particular environment and verify that there is still large room for improvements.


title: RaPro: A Novel 5G Rapid Prototyping System Architecture

abstract: We propose a novel fifth-generation (5G) rapid prototyping (RaPro) system architecture by combining FPGA-privileged modules from a software defined radio (or FPGA-coprocessor) and high-level programming language for advanced algorithms from multi-core general purpose processors. The proposed system architecture exhibits excellent flexibility and scalability in the development of a 5G prototyping system. As a proof of concept, a multi-user full-dimension multiple-input and multiple-output system is established based on the proposed architecture. Experimental results demonstrate the superiority of the proposed architecture in large-scale antenna and wideband communication systems.


title: Securing a UAV Using Individual Characteristics From an EEG Signal

abstract: Unmanned aerial vehicles (UAVs) have gained much attention in recent years for both commercial and military applications. The progress in this field has gained much popularity and the research has encompassed various fields of scientific domain. Cyber securing a UAV communication has been one of the active research field since the attack on Predator UAV video stream hijacking in 2009. Since UAVs rely heavily on on-board autopilot to function, it is important to develop an autopilot system that is robust to possible cyber attacks. In this work, we present a biometric system to encrypt the UAV communication by generating a key which is derived from Beta component of the EEG signal of a user. We have developed a safety mechanism that would be activated in case the communication of the UAV from the ground control station gets attacked. This system has been validated on a commercial UAV under malicious attack conditions during which we implement a procedure where the UAV return safely to a "home" position.


title: The tree property at all regular even cardinals

abstract: Assuming the existence of a strong cardinal and a measurable cardinal above it, we construct a model of $ZFC$ in which for every singular cardinal $\delta$, $\delta$ is strong limit, $2^\delta=\delta^{+3}$ and the tree property at $\delta^{++}$ holds. This answers a question of Friedman, Honzik and Stejskalova [8]. We also produce, relative to the existence of a strong cardinal and two measurable cardinals above it, a model of $ZFC$ in which the tree property holds at all regular even cardinals. The result answers questions of Friedman-Halilovic [5] and Friedman-Honzik [6].


title: NEXT: A Neural Network Framework for Next POI Recommendation

abstract: The task of next POI recommendation has been studied extensively in recent years. However, developing an unified recommendation framework to incorporate multiple factors associated with both POIs and users remains challenging, because of the heterogeneity nature of these information. Further, effective mechanisms to handle cold-start and endow the system with interpretability are also difficult topics. Inspired by the recent success of neural networks in many areas, in this paper, we present a simple but effective neural network framework for next POI recommendation, named NEXT. NEXT is an unified framework to learn the hidden intent regarding user's next move, by incorporating different factors in an unified manner. Specifically, in NEXT, we incorporate meta-data information and two kinds of temporal contexts (i.e., time interval and visit time). To leverage sequential relations and geographical influence, we propose to adopt DeepWalk, a network representation learning technique, to encode such knowledge. We evaluate the effectiveness of NEXT against state-of-the-art alternatives and neural networks based solutions. Experimental results over three publicly available datasets demonstrate that NEXT significantly outperforms baselines in real-time next POI recommendation. Further experiments demonstrate the superiority of NEXT in handling cold-start. More importantly, we show that NEXT provides meaningful explanation of the dimensions in hidden intent space.


title: A Unified Description for Comprehensive Sets of Jet Energy Loss Observables with CUJET3

abstract: Jet energy loss in heavy ion collisions, as quantified by the traditional observable of high $p_T$ hadron's nuclear modification factor $R_{AA}$, provides highly informative "imaging" of the hot medium created in heavy ion collisions. There are now comprehensive sets of available data, from average suppression to azimuthal anisotropy, from light to heavy flavors, from RHIC 200GeV to LHC 2.76TeV as well as 5.02TeV collisions. A unified description of such comprehensive data presents a stringent vetting of any viable model for jet quenching phenomenology. In this contribution we report such a systematic and successful test of CUJET3, a jet energy loss simulation framework built upon a nonperturbative microscopic model for the hot medium as a semi-quark-gluon-monopole plasma (sQGMP) which integrates two essential elements of confinement, i.e. the Polyakov-loop suppression of quarks/gluons and emergent magnetic monopoles.


title: On Synchronous, Asynchronous, and Randomized Best-Response schemes for computing equilibria in Stochastic Nash games

abstract: This work considers a stochastic Nash game in which each player solves a parameterized stochastic optimization problem. In deterministic regimes, best-response schemes have been shown to be convergent under a suitable spectral property associated with the proximal best-response map. However, a direct application of this scheme to stochastic settings requires obtaining exact solutions to stochastic optimization at each iteration. Instead, we propose an inexact generalization in which an inexact solution is computed via an increasing number of projected stochastic gradient steps. Based on this framework, we present three inexact best-response schemes: (i) First, we propose a synchronous scheme where all players simultaneously update their strategies; (ii) Subsequently, we extend this to a randomized setting where a subset of players is randomly chosen to their update strategies while the others keep their strategies invariant; (iii) Finally, we propose an asynchronous scheme, where each player determines its own update frequency and may use outdated rival-specific data in updating its strategy. Under a suitable contractive property of the proximal best-response map, we derive a.s. convergence of the iterates for (i) and (ii) and mean-convergence for (i) -- (iii). In addition, we show that for (i) -- (iii), the iterates converge to the unique equilibrium in mean at a prescribed linear rate. Finally, we establish the overall iteration complexity in terms of projected stochastic gradient steps for computing an $\epsilon-$Nash equilibrium and in all settings, the iteration complexity is ${\cal O}(1/\epsilon^{2(1+c) + \delta})$ where $c = 0$ in the context of (i) and represents the positive cost of randomization (in (ii)) and asynchronicity and delay (in (iii)). The schemes are further extended to linear and quadratic recourse-based stochastic Nash games.


title: Evaluating Quality of Chatbots and Intelligent Conversational Agents

abstract: Chatbots are one class of intelligent, conversational software agents activated by natural language input (which can be in the form of text, voice, or both). They provide conversational output in response, and if commanded, can sometimes also execute tasks. Although chatbot technologies have existed since the 1960s and have influenced user interface development in games since the early 1980s, chatbots are now easier to train and implement. This is due to plentiful open source code, widely available development platforms, and implementation options via Software as a Service (SaaS). In addition to enhancing customer experiences and supporting learning, chatbots can also be used to engineer social harm - that is, to spread rumors and misinformation, or attack people for posting their thoughts and opinions online. This paper presents a literature review of quality issues and attributes as they relate to the contemporary issue of chatbot development and implementation. Finally, quality assessment approaches are reviewed, and a quality assessment method based on these attributes and the Analytic Hierarchy Process (AHP) is proposed and examined.


title: Weak quasielastic electroproduction of hyperons with polarization observables

abstract: With the availability of high luminosity electron beam at the accelerators, there is now the possibility of studying weak quasielastic hyperon production off the proton, i.e. $e^-p \to \nu_e Y(Y=\Lambda,\Sigma^0)$, which will enable the determination of the nucleon-hyperon vector and axial-vector transition form factors at high $ Q^2$ in the strangeness sector and provide test of the Cabibbo model, G-invariance, CVC, PCAC hypotheses and SU(3) symmetry. In this work, we have studied the total cross section, differential cross section as well as the longitudinal and perpendicular components of polarization of the final hyperons ($ \Lambda$ and $\Sigma^0$ produced in these reactions) and presented numerical results for these observables and their sensitivity to the transition form factors.


title: A Quadratic Penalty Method for Hypergraph Matching

abstract: Hypergraph matching is a fundamental problem in computer vision. Mathematically speaking, it maximizes a polynomial objective function, subject to assignment constraints. In this paper, we reformulate the hypergraph matching problem as a sparse constrained tensor optimization problem. The optimality conditions are characterized based on the sparse constrained optimization theory. By dropping the sparsity constraint, we show that the resulting relaxation problem can recover the global minimizer of the original problem. The critical step in solving the original problem is to identify the location of nonzero entries (referred as support set) in a global minimizer. Inspired by such observations, we penalize the equality constraints and apply the quadratic penalty method to solve the relaxation problem. Under reasonable assumptions, we show that the support set of the global minimizer in hypergraph matching problem can be correctly identified when the number of iterations is sufficiently large. A projected gradient method is applied as a subsolver to solve the quadratic penalty subproblem. Numerical results demonstrate that the exact recovery of support set indeed happens, and the proposed algorithms are efficient in terms of both accuracy and speed.


title: Neutrino-nucleus cross-sections at supernova neutrino energies

abstract: The inclusive neutrino/antineutrino-induced charged and neutral current reaction cross-sections in $^{12}C$, $^{16}O$, $^{40}Ar$, $^{56}Fe$ and $^{208}Pb$ in the energy region of supernova neutrinos/antineutrinos are studied. The calculations are performed in the local density approximation (LDA) taking into account the effects due to Pauli blocking, Fermi motion and the renormalization of weak transition strengths in the nuclear medium. The effect of Coulomb distortion of the lepton produced in the charged current reactions has also been included. The numerical results for the energy dependence of the cross-section $\sigma(E)$ as well as the flux averaged cross-section and event rates for the charged lepton production in the case of some supernova neutrino/antineutrino fluxes recently discussed in the literature have been presented. We have also given the flux-averaged angular and energy distributions of the charged leptons corresponding to these fluxes.


title: Fully general time-dependent multiconfiguration self-consistent-field method for the electron-nuclear Dynamics

abstract: We present the fully general time-dependent multiconfiguration self-consistent-field method to describe the dynamics of a system consisting of arbitrary different kinds and numbers of interacting fermions and bosons. The total wave function is expressed as a superposition of different configurations constructed from time-dependent spin-orbitals prepared for each particle kind. We derive equations of motion followed by configuration-interaction (CI) coefficients and spin-orbitals for general, not restricted to full-CI, configuration spaces. The present method provides a flexible framework for the first-principles theoretical study of, e.g., correlated multielectron and multinucleus quantum dynamics in general molecules induced by intense laser fields and attosecond light pulses.


title: Performance of Energy Harvesting Receivers with Power Optimization

abstract: The difficulty of modeling energy consumption in communication systems leads to challenges in energy harvesting (EH) systems, in which nodes scavenge energy from their environment. An EH receiver must harvest enough energy for demodulating and decoding. The energy required depends upon factors, like code rate and signal-to-noise ratio, which can be adjusted dynamically. We consider a receiver which harvests energy from ambient sources and the transmitter, meaning the received signal is used for both EH and information decoding. Assuming a generalized function for energy consumption, we maximize the total number of information bits decoded, under both average and peak power constraints at the transmitter, by carefully optimizing the power used for EH, power used for information transmission, fraction of time for EH, and code rate. For transmission over a single block, we find there exist problem parameters for which either maximizing power for information transmission or maximizing power for EH is optimal. In the general case, the optimal solution is a tradeoff of the two. For transmission over multiple blocks, we give an upper bound on performance and give sufficient and necessary conditions to achieve this bound. Finally, we give some numerical results to illustrate our results and analysis.


title: Dynamic Path Planning and Replanning for Mobile Robots using RRT*

abstract: It is necessary for a mobile robot to be able to efficiently plan a path from its starting, or current, location to a desired goal location. This is a trivial task when the environment is static. However, the operational environment of the robot is rarely static, and it often has many moving obstacles. The robot may encounter one, or many, of these unknown and unpredictable moving obstacles. The robot will need to decide how to proceed when one of these obstacles is obstructing it's path. A method of dynamic replanning using RRT* is presented. The robot will modify it's current plan when an unknown random moving obstacle obstructs the path. Various experimental results show the effectiveness of the proposed method.


title: Distributed demand-side contingency-service provisioning while minimizing consumer disutility through local frequency measurements and inter-load communication

abstract: We consider the problem of smart and flexible loads providing contingency reserves to the electric grid and provide a Distributed Gradient Projection (DGP) algorithm to minimize loads' disutility while providing contingency services. Each load uses locally obtained grid-frequency measurements and inter-load communication to coordinate their actions, and the privacy of each load is preserved: only gradient information is exchanged---not disutility or consumption information. We provide a proof of convergence of the proposed DGP algorithm, and we compare its performance through simulations to that of a "dual algorithm" previously proposed in the literature that solved the dual optimization problem. The DGP algorithm solves the primal problem. Its main advantage over the dual algorithm is that it is applicable to convex---but not necessarily strictly convex---consumer disutility functions, such as a model of consumer behavior that is insensitive to small changes in consumption, while the dual algorithm is not. Simulations show the DGP algorithm aids in arresting grid-frequency deviations in response to contingency events and performs better or similarly to the dual algorithm in cases where the two can be compared.


title: Deep Learning for Photoacoustic Tomography from Sparse Data

abstract: The development of fast and accurate image reconstruction algorithms is a central aspect of computed tomography. In this paper, we investigate this issue for the sparse data problem in photoacoustic tomography (PAT). We develop a direct and highly efficient reconstruction algorithm based on deep learning. In our approach image reconstruction is performed with a deep convolutional neural network (CNN), whose weights are adjusted prior to the actual image reconstruction based on a set of training data. The proposed reconstruction approach can be interpreted as a network that uses the PAT filtered backprojection algorithm for the first layer, followed by the U-net architecture for the remaining layers. Actual image reconstruction with deep learning consists in one evaluation of the trained CNN, which does not require time consuming solution of the forward and adjoint problems. At the same time, our numerical results demonstrate that the proposed deep learning approach reconstructs images with a quality comparable to state of the art iterative approaches for PAT from sparse data.


title: Data aggregation routing protocols in wireless sensor networks: a taxonomy

abstract: Routing in Wireless Sensor Network (WSN) aims to interconnect sensor nodes via single or multi-hop paths. The routes are established to forward data packets from sensor nodes to the sink. Establishing a single path to report each data packet results in increasing energy consumption in WSN, hence, data aggregation routing is used to combine data packets and consequently reduce the number of transmissions. This reduces the routing overhead by eliminating redundant and meaningless data. There are two models for data aggregation routing in WSN: mobile agent and client/server. This paper describes data aggregation routing and classifies then the routing protocols according to the network architecture and routing models. The key issues of the data aggregation routing models (client/server and mobile agent) are highlighted and discussed.


title: Duality in percolation via outermost boundaries III: Plus connected components

abstract: Tile $\mathbb{R}^2$ into disjoint unit squares $\{S_k\}_{k \geq 0}$ with the origin being the centre of $S_0$ and say that $S_i$ and $S_j$ are star adjacent if they share a corner and plus adjacent if they share an edge. Every square is either vacant or occupied. In this paper, we use the structure of the outermost boundaries derived in Ganesan (2017) to alternately obtain duality between star and plus connected components in the following sense: There is a star connected cycle of vacant squares attached to and surrounding the finite plus connected component containing the origin.


title: Long Paths and Hamiltonian paths in Inhomogenous Random Graphs

abstract: In this paper, we study long paths and Hamiltonian paths in inhomogenous random graphs. In the first part of the paper, we consider an inhomogenous Erd\H{o}s-R\'enyi random graph $G_E$ with average edge density $p_n.$ We prove that if $np_n^2 \longrightarrow \infty$ as $n \rightarrow \infty,$ then the longest path contains at least $n-ne^{-\delta_1 np_n^2}$ nodes with high probability (i.e., with probability converging to one as $n \rightarrow \infty$), for some constant $\delta_1> 0 .$ In particular, if $np_n^2 = M\log{n}$ for some constant $M > 0$ large, then $G_E$ is Hamiltonian with high probability; i.e., the longest path contains all the nodes of $G_E.$ In the second part of the paper, we consider a random geometric graph $G_R$ consisting of $n$ nodes, each independently distributed according to a (not necessarily uniform) density $f.$ If $r_n$ is the connectivity radius and $nr_n^2 \longrightarrow \infty,$ then with high probability, the longest cycle contains at least $n-ne^{-\delta_2 nr_n^2}$ nodes for some constant $\delta_2 > 0.$ As a consequence of our proof, we obtain that if $nr_n^2 = \log{n} + 7\log{\log{n}} + \omega_n$ and $\omega_n \longrightarrow \infty$ as $n \rightarrow \infty,$ then with high probability $G_R$ contains a Hamiltonian cycle.


title: Cliques and Chromatic Number in Inhomogenous Random Graphs

abstract: In this paper, we study cliques and chromatic number of inhomogenous random graphs where the individual edge probabilities could be arbitrarily low. We use a recursive method to obtain estimates on the maximum clique size under a mild positive average edge density assumption. As a Corollary, we also obtain uniform bounds on the maximum clique size and chromatic number for homogenous random graphs for all ranges of the edge probability $p_n$ satisfying $\frac{1}{n^{\alpha_1}} \leq p_n \leq 1-\frac{1}{n^{\alpha_2}}$ for some positive constants $\alpha_1$ and $\alpha_2$.


title: An Optical and Infrared Photometric Study of the Young Open Cluster IC 1805 in the Giant H II Region W4

abstract: We present deep wide-field optical CCD photometry and mid-infrared Spitzer/IRAC and MIPS 24micron data for about 100,000 stars in the young open cluster IC 1805. The members of IC 1805 were selected from their location in the various color-color and color-magnitude diagrams, and the presence of Halpha emission, mid-infrared excess emission, and X-ray emission. The reddening law toward IC 1805 is nearly normal (R_V = 3.05+/-0.06). However, the distance modulus of the cluster is estimated to be 11.9+/-0.2 mag (d = 2.4+/-0.2 kpc) from the reddening-free color-magnitude diagrams, which is larger than the distance to the nearby massive star-forming region W3(OH) measured from the radio VLBA astrometry. We also determined the age of IC 1805 (tau_MSTO = 3.5 Myr). In addition, we critically compared the age and mass scale from two pre-main-sequence evolution models. The initial mass function with a Salpeter-type slope of Gamma = -1.3+/-0.2 was obtained and the total mass of IC 1805 was estimated to be about 2700+/-200 M_sun. Finally, we found our distance determination to be statistically consistent with the Tycho-Gaia Astrometric Solution Data Release 1, within the errors. The proper motion of the B-type stars shows an elongated distribution along the Galactic plane, which could be explained by some of the B-type stars being formed in small clouds dispersed by previous episodes of star formation or supernova explosions.


title: Proposal of highly efficient photoemitter with strong photon-harvesting capability and exciton superradiance

abstract: We propose a system of highly efficient photoemitters comprising metal-dielectric (plasmonic-excitonic) multilayered structures. In the proposed structure, the absorption in the excitonic layer is greatly enhanced through quantum interference between the split modes arising from the coupling of the layered excitons and the plasmons sustained by the metallic layer. Furthermore, the large interaction volume between surface plasmons and excitons causes exciton superradiance, which results in the extremely efficient photoemission. This finding indicates the possibility of designing highly efficient photoemitters based on simple layered structures.


title: Two-point correlation in wall turbulence according to the attached-eddy hypothesis

abstract: For the constant-stress layer of wall turbulence, two-point correlations of velocity fluctuations are studied theoretically by using the attached-eddy hypothesis, i.e., a phenomenological model of a random superposition of energy-containing eddies that are attached to the wall. While the previous studies had invoked additional assumptions, we focus on the minimum assumptions of the hypothesis to derive its most general forms of the correlation functions. They would allow us to use or assess the hypothesis without any effect of those additional assumptions. We also study the energy spectra and the two-point correlations of the rate of momentum transfer and of the rate of energy dissipation.


title: Exploiting Non-Causal CPU-State Information for Energy-Efficient Mobile Cooperative Computing

abstract: Scavenging the idling computation resources at the enormous number of mobile devices can provide a powerful platform for local mobile cloud computing. The vision can be realized by peer-to-peer cooperative computing between edge devices, referred to as co-computing. This paper considers a co-computing system where a user offloads computation of input-data to a helper. The helper controls the offloading process for the objective of minimizing the user's energy consumption based on a predicted helper's CPU-idling profile that specifies the amount of available computation resource for co-computing. Consider the scenario that the user has one-shot input-data arrival and the helper buffers offloaded bits. The problem for energy-efficient co-computing is formulated as two sub-problems: the slave problem corresponding to adaptive offloading and the master one to data partitioning. Given a fixed offloaded data size, the adaptive offloading aims at minimizing the energy consumption for offloading by controlling the offloading rate under the deadline and buffer constraints. By deriving the necessary and sufficient conditions for the optimal solution, we characterize the structure of the optimal policies and propose algorithms for computing the policies. Furthermore, we show that the problem of optimal data partitioning for offloading and local computing at the user is convex, admitting a simple solution using the sub-gradient method. Last, the developed design approach for co-computing is extended to the scenario of bursty data arrivals at the user accounting for data causality constraints. Simulation results verify the effectiveness of the proposed algorithms.


title: Spontaneous Spin Polarization due to Tensor Selfenergies in Quark Matter

abstract: We study the magnetic properties of quark matter in the NJL model with the tensor interaction. The spin-polarized phase given by the tensor interaction remains even when the quark mass is zero, while the phase given by the axial vector interaction disappears. There are two kinds of spin-polarized phases: one appears in the chiral-broken phase, and the other appears in the chiral-restored phase where the quark mass is zero. The latter phase can appear independently of the strength of the tensor interaction.


title: On the Approximation of Anisotropic Energy Functionals by Riemannian Energies via Homogenization

abstract: In their paper, Braides, Buttazzo and Fragala proved the density of Riemannian energies in the class of Finsler energy functionals with respect to $\Gamma$-convergence in the one-dimensional case. In this thesis we prove that one of the main tools in that paper, a homogenization theorem, can be extended to arbitrary dimension, however, the density result cannot be generalized to higher dimensions. In fact, we construct counterexamples that show: there are anisotropic energy functionals, such as Finsler energies, Cartan functionals and their dominance functionals that cannot be $\Gamma$-approximated by Riemannian energies.


title: On biconservative surfaces

abstract: We study in a uniform manner the properties of biconservative surfaces in arbitrary Riemannian manifolds. Biconservative surfaces being characterized by the vanishing of the divergence of a symmetric tensor field $S_2$ of type $(1,1)$, their properties will follow from general properties of a symmetric tensor field of type $(1,1)$ with free divergence. We find the link between the biconservativity, the property of the shape operator $A_H$ to be a Codazzi tensor field, the holomorphicity of a generalized Hopf function and the quality of the surface to have constant mean curvature. Then we determine the Simons type formula for biconservative surfaces and use it to study their geometry.


title: A novel approach for fast mining frequent itemsets use N-list structure based on MapReduce

abstract: Frequent Pattern Mining is a one field of the most significant topics in data mining. In recent years, many algorithms have been proposed for mining frequent itemsets. A new algorithm has been presented for mining frequent itemsets based on N-list data structure called Prepost algorithm. The Prepost algorithm is enhanced by implementing compact PPC-tree with the general tree. Prepost algorithm can only find a frequent itemsets with required (pre-order and post-order) for each node. In this chapter, we improved prepost algorithm based on Hadoop platform (HPrepost), proposed using the Mapreduce programming model. The main goals of proposed method are efficient mining frequent itemsets requiring less running time and memory usage. We have conduct experiments for the proposed scheme to compare with another algorithms. With dense datasets, which have a large average length of transactions, HPrepost is more effective than frequent itemsets algorithms in terms of execution time and memory usage for all min-sup. Generally, our algorithm outperforms algorithms in terms of runtime and memory usage with small thresholds and large datasets.


title: Randomized detection and detection capacity of multidetector networks

abstract: In this paper, we study the following detection problem. There are $n$ detectors randomly placed in the unit square $S = \left[-\frac{1}{2},\frac{1}{2}\right]^2$ assigned to detect the presence of a source located at the origin. Time is divided into slots of unit length and $D_i(t) \in \{0,1\}$ represents the (random) decision of the $i^{\rm th}$ detector in time slot $t$. The location of the source is unknown to the detectors and the goal is to design schemes that use the decisions $\{D_i(t)\}_{i,t}$ and detect the presence of the source in as short time as possible. We first determine the minimum achievable detection time $T_{cap}$ and show the existence of \emph{randomized} detection schemes that have detection times arbitrarily close to $T_{cap}$ for almost all configuration of detectors, provided the number of detectors $n$ is sufficiently large. We call such schemes as \emph{capacity achieving} and completely characterize all capacity achieving detection schemes.


title: MUSE: Modularizing Unsupervised Sense Embeddings

abstract: This paper proposes to address the word sense ambiguity issue in an unsupervised manner, where word sense representations are learned along a word sense selection mechanism given contexts. Prior work focused on designing a single model to deliver both mechanisms, and thus suffered from either coarse-grained representation learning or inefficient sense selection. The proposed modular approach, MUSE, implements flexible modules to optimize distinct mechanisms, achieving the first purely sense-level representation learning system with linear-time sense selection. We leverage reinforcement learning to enable joint training on the proposed modules, and introduce various exploration techniques on sense selection for better robustness. The experiments on benchmark data show that the proposed approach achieves the state-of-the-art performance on synonym selection as well as on contextual word similarities in terms of MaxSimC.


title: Cross effect of magnetic field and charge current on antiferromagnetic dynamics

abstract: We theoretically examine a cross effect of magnetic field and charge current on antiferromagnetic domain wall dynamics. Since antiferromagnetic materials are largely insensitive to external magnetic fields in general, charge current has been shown recently as an alternative and efficient way to manipulate antiferromagnets. We find a new role of the magnetic field in the antiferromagnetic dynamics that appears when it is combined with charge current, demonstrating a domain wall motion in the presence of both field and current. We show that a spatially-varying magnetic field can shift the current-driven domain-wall velocity, depending on the domain-wall structure and the direction of the field-gradient. Our result suggests a novel concept of field-control of current-driven antiferromagnetic dynamics.


title: Shnol's theorem and the spectrum of long range operators

abstract: We extend some basic results known for finite range operators to long range operators with off-diagonal decay. Namely, we prove an analogy of Sch'nol's theorem. We also establish the connection between the almost sure spectrum of long range random operators and the spectra of deterministic periodic operators.


title: Source-free exchange-correlation magnetic fields in density functional theory

abstract: Spin-dependent exchange-correlation energy functionals in use today depend on the charge density and the magnetization density: $E_{\rm xc}[\rho,{\bf m}]$. However, it is also correct to define the functional in terms of the curl of ${\bf m}$ for physical external fields: $E_{\rm xc}[\rho,\nabla\times{\bf m}]$. The exchange-correlation magnetic field, ${\bf B}_{\rm xc}$, then becomes source-free. We study this variation of the theory by uniquely removing the source term from local and generalized gradient approximations to the functional. By doing so, the total Kohn-Sham moments are improved for a wide range of materials for both functionals. Significantly, the moments for the pnictides are now in good agreement with experiment. We also predict dramatic differences in the spatial geometry of ${\bf B}_{\rm xc}$ for the pnictides. Our source-free method is simple to implement in all existing density functional theory codes.


title: Computations of optimal transport distance with Fisher information regularization

abstract: We propose a fast algorithm to approximate the optimal transport distance. The main idea is to add a Fisher information regularization into the dynamical setting of the problem, originated by Benamou and Brenier. The regularized problem is shown to be smooth and strictly convex, thus many classical fast algorithms are available. In this paper, we adopt Newton's method, which converges to the minimizer with a quadratic rate. Several numerical examples are provided.


title: $p$-adic measures associated with zeta values and $p$-adic $\log$ multiple gamma functions

abstract: We study a relation between two refinements of the rank one abelian Gross-Stark conjecture: For a suitable abelian extension $H/F$ of number fields, a Gross-Stark unit is defined as a $p$-unit of $H$ satisfying some proporties. Let $\tau \in \mathrm{Gal}(H/F)$. Yoshida and the author constructed the symbol $Y_p(\tau)$ by using $p$-adic $\log$ multiple gamma functions, and conjectured that the $\log_p$ of a Gross-Stark unit can be expressed by $Y_p(\tau)$. Dasgupta constructed the symbol $u_T(\tau)$ by using the $p$-adic multiplicative integration, and conjectured that a Gross-Stark unit can be expressed by $u_T(\tau)$. In this paper, we give an explicit relation between $Y_p(\tau)$ and $u_T(\tau)$.


title: Massive MU-MIMO-OFDM Downlink with One-Bit DACs and Linear Precoding

abstract: Massive multiuser (MU) multiple-input multiple- output (MIMO) is foreseen to be a key technology in future wireless communication systems. In this paper, we analyze the downlink performance of an orthogonal frequency division multiplexing (OFDM)-based massive MU-MIMO system in which the base station (BS) is equipped with 1-bit digital-to-analog converters (DACs). Using Bussgang's theorem, we characterize the performance achievable with linear precoders (such as maximal-ratio transmission and zero forcing) in terms of bit error rate (BER). Our analysis accounts for the possibility of oversampling the time-domain transmit signal before the DACs. We further develop a lower bound on the information-theoretic sum-rate throughput achievable with Gaussian inputs. Our results suggest that the performance achievable with 1-bit DACs in a massive MU-MIMO-OFDM downlink are satisfactory provided that the number of BS antennas is sufficiently large.


title: Approximating Constrained Minimum Input Selection for State Space Structural Controllability

abstract: This paper looks at two problems, minimum constrained input selection and minimum cost constrained input selection for state space structured systems. The input matrix is constrained in the sense that the set of states that each input can influence is pre-specified and each input has a cost associated with it. Our goal is to optimally select an input set from the set of inputs given that the system is controllable. These problems are known to be NP-hard. Firstly, we give a new necessary and sufficient graph theoretic condition for checking structural controllability using flow networks. Using this condition we give a polynomial reduction of both these problems to a known NP-hard problem, the minimum cost fixed flow problem (MCFF). Subsequently, we prove that an optimal solution to the MCFF problem corresponds to an optimal solution to the original controllability problem. We also show that approximation schemes of MCFF directly applies to minimum cost constrained input selection problems. Using the special structure of the flow network constructed for the structured system, we give a polynomial approximation algorithm based on minimum weight bipartite matching and a greedy selection scheme for solving MCFF on system flow network. The proposed algorithm gives a $\Delta$-approximate solution to MCFF, where $\Delta$ denotes the maximum in-degree of input vertices in the flow network of the structured system.


title: Quantum measurements with prescribed symmetry

abstract: We introduce a method to determine whether a given generalised quantum measurement is isolated or it belongs to a family of measurements having the same prescribed symmetry. The technique proposed reduces to solving a linear system of equations in some relevant cases. As consequence, we provide a simple derivation of the maximal family of Symmetric Informationally Complete measurements (SIC)-POVM in dimension 3. Furthermore, we show that the following remarkable geometrical structures are isolated, so that free parameters cannot be introduced: (a) maximal sets of mutually unbiased bases in prime power dimensions from 4 to 16, (b) SIC-POVM in dimensions from 4 to 16 and (c) contextuality Kochen-Specker sets in dimension 3, 4 and 6, composed of 13, 18 and 21 vectors, respectively.


title: A learning-based approach for automatic image and video colorization

abstract: In this paper, we present a color transfer algorithm to colorize a broad range of gray images without any user intervention. The algorithm uses a machine learning-based approach to automatically colorize grayscale images. The algorithm uses the superpixel representation of the reference color images to learn the relationship between different image features and their corresponding color values. We use this learned information to predict the color value of each grayscale image superpixel. As compared to processing individual image pixels, our use of superpixels helps us to achieve a much higher degree of spatial consistency as well as speeds up the colorization process. The predicted color values of the gray-scale image superpixels are used to provide a 'micro-scribble' at the centroid of the superpixels. These color scribbles are refined by using a voting based approach. To generate the final colorization result, we use an optimization-based approach to smoothly spread the color scribble across all pixels within a superpixel. Experimental results on a broad range of images and the comparison with existing state-of-the-art colorization methods demonstrate the greater effectiveness of the proposed algorithm.


title: Robust Transceiver Design Based on Interference Alignment for Multi-User Multi-Cell MIMO Networks with Channel Uncertainty

abstract: In this paper, we firstly exploit the inter-user interference (IUI) and inter-cell interference (ICI) as useful references to develop a robust transceiver design based on interference alignment for a downlink multi-user multi-cell multiple-input multiple-output (MIMO) interference network under channel estimation error. At transmitters, we propose a two-tier transmit beamforming strategy, we first achieve the inner beamforming direction and allocated power by minimizing the interference leakage as well as maximizing the system energy efficiency, respectively. Then, for the outer beamformer design, we develop an efficient conjugate gradient Grassmann manifold subspace tracking algorithm to minimize the distances between the subspace spanned by interference and the interference subspace in the time varying channel. At receivers, we propose a practical interference alignment based on fast and robust fast data projection method (FDPM) subspace tracking algorithm, to achieve the receive beamformer under channel uncertainty. Numerical results show that our proposed robust transceiver design achieves better performance compared with some existing methods in terms of the sum rate and the energy efficiency.


title: On Monte-Carlo tree search for deterministic games with alternate moves and complete information

abstract: We consider a deterministic game with alternate moves and complete information, of which the issue is always the victory of one of the two opponents. We assume that this game is the realization of a random model enjoying some independence properties. We consider algorithms in the spirit of Monte-Carlo Tree Search, to estimate at best the minimax value of a given position: it consists in simulating, successively, $n$ well-chosen matches, starting from this position. We build an algorithm, which is optimal, step by step, in some sense: once the $n$ first matches are simulated, the algorithm decides from the statistics furnished by the $n$ first matches (and the a priori we have on the game) how to simulate the $(n+1)$-th match in such a way that the increase of information concerning the minimax value of the position under study is maximal. This algorithm is remarkably quick. We prove that our step by step optimal algorithm is not globally optimal and that it always converges in a finite number of steps, even if the a priori we have on the game is completely irrelevant. We finally test our algorithm, against MCTS, on Pearl's game and, with a very simple and universal a priori, on the games Connect Four and some variants. The numerical results are rather disappointing. We however exhibit some situations in which our algorithm seems efficient.


title: Integrating Scene Text and Visual Appearance for Fine-Grained Image Classification

abstract: Text in natural images contains rich semantics that are often highly relevant to objects or scene. In this paper, we focus on the problem of fully exploiting scene text for visual understanding. The main idea is combining word representations and deep visual features into a globally trainable deep convolutional neural network. First, the recognized words are obtained by a scene text reading system. Then, we combine the word embedding of the recognized words and the deep visual features into a single representation, which is optimized by a convolutional neural network for fine-grained image classification. In our framework, the attention mechanism is adopted to reveal the relevance between each recognized word and the given image, which further enhances the recognition performance. We have performed experiments on two datasets: Con-Text dataset and Drink Bottle dataset, that are proposed for fine-grained classification of business places and drink bottles, respectively. The experimental results consistently demonstrate that the proposed method combining textual and visual cues significantly outperforms classification with only visual representations. Moreover, we have shown that the learned representation improves the retrieval performance on the drink bottle images by a large margin, making it potentially useful in product search.


title: Relevant change points in high dimensional time series

abstract: This paper investigates the problem of detecting relevant change points in the mean vector, say $\mu_t =(\mu_{1,t},\ldots ,\mu_{d,t})^T$ of a high dimensional time series $(Z_t)_{t\in \mathbb{Z}}$. While the recent literature on testing for change points in this context considers hypotheses for the equality of the means $\mu_h^{(1)}$ and $\mu_h^{(2)}$ before and after the change points in the different components, we are interested in a null hypothesis of the form $$ H_0: |\mu^{(1)}_{h} - \mu^{(2)}_{h} | \leq \Delta_h ~~~\mbox{ for all } ~~h=1,\ldots ,d $$ where $\Delta_1, \ldots , \Delta_d$ are given thresholds for which a smaller difference of the means in the $h$-th component is considered to be non-relevant. We propose a new test for this problem based on the maximum of squared and integrated CUSUM statistics and investigate its properties as the sample size $n$ and the dimension $d$ both converge to infinity. In particular, using Gaussian approximations for the maximum of a large number of dependent random variables, we show that on certain points of the boundary of the null hypothesis a standardised version of the maximum converges weakly to a Gumbel distribution.


title: FMtree: A fast locating algorithm of FM-indexes for genomic data

abstract: Motivation: As a fundamental task in bioinformatics, searching for massive short patterns over a long text is widely accelerated by various compressed full-text indexes. These indexes are able to provide similar searching functionalities to classical indexes, e.g., suffix trees and suffix arrays, while requiring less space. For genomic data, a well-known family of compressed full-text index, called FM-indexes, presents unmatched performance in practice. One major drawback of FM-indexes is that their locating operations, which report all occurrence positions of patterns in a given text, are particularly slow, especially for the patterns with many occurrences. Results: In this paper, we introduce a novel locating algorithm, FMtree, to fast retrieve all occurrence positions of any pattern via FM-indexes. When searching for a pattern over a given text, FMtree organizes the search space of the locating operation into a conceptual quadtree. As a result, multiple occurrence positions of this pattern can be retrieved simultaneously by traversing the quadtree. Compared with the existing locating algorithms, our tree-based algorithm reduces large numbers of redundant operations and presents better data locality. Experimental results show that FMtree is usually one order of magnitude faster than the state-of-the-art algorithms, and still memory-efficient.


title: Massive stars, successes and challenges

abstract: We give a brief overview of where we stand with respect to some old and new questions bearing on how massive stars evolve and end their lifetime. We focus on the following key points that are further discussed by other contributions during this conference: convection, mass losses, rotation, magnetic field and multiplicity. For purpose of clarity, each of these processes are discussed on its own but we have to keep in mind that they are all interacting between them offering a large variety of outputs, some of them still to be discovered.


title: Search for a compressed supersymmetric spectrum with a light Gravitino

abstract: Presence of the light gravitino as dark matter candidate in a supersymmetric (SUSY) model opens up interesting collider signatures consisting of one or more hard photons together with multiple jets and missing transverse energy from the cascade decay. We investigate such signals at the 13 TeV LHC in presence of compressed SUSY spectra, consistent with the Higgs mass as well as collider and dark matter constraints. We analyse and compare the discovery potential in different benchmark scenarios consisting of both compressed and uncompressed SUSY spectra, considering different levels of compression and intermediate decay modes. Our conclusion is that compressed spectra upto 2.5 TeV are likely to be probed even before the high luminosity run of LHC. Kinematic variables are also suggested, which offer distinction between compressed and uncompressed spectra yielding similar event rates for photons + multi-jets + $E\!\!\!\!/_T$.


title: Advances in Detection and Error Correction for Coherent Optical Communications: Regular, Irregular, and Spatially Coupled LDPC Code Designs

abstract: In this chapter, we show how the use of differential coding and the presence of phase slips in the transmission channel affect the total achievable information rates and capacity of a system. By means of the commonly used QPSK modulation, we show that the use of differential coding does not decrease the total amount of reliably conveyable information over the channel. It is a common misconception that the use of differential coding introduces an unavoidable differential loss. This perceived differential loss is rather a consequence of simplified differential detection and decoding at the receiver. Afterwards, we show how capacity-approaching coding schemes based on LDPC and spatially coupled LDPC codes can be constructed by combining iterative demodulation and decoding. For this, we first show how to modify the differential decoder to account for phase slips and then how to use this modified differential decoder to construct good LDPC codes. This construction method can serve as a blueprint to construct good and practical LDPC codes for other applications with iterative detection, such as higher order modulation formats with non-square constellations, multi-dimensional optimized modulation formats, turbo equalization to mitigate ISI (e.g., due to nonlinearities) and many more. Finally, we introduce the class of spatially coupled (SC)-LDPC codes, which are a generalization of LDPC codes with some outstanding properties and which can be decoded with a very simple windowed decoder. We show that the universal behavior of spatially coupled codes makes them an ideal candidate for iterative differential demodulation/detection and decoding.


title: Two-step General Linear Methods for Retarded Functional Differential Equations

abstract: This paper presents a class of Two-Step General Linear Methods for the numerical solution of Retarded Functional Differential Equations. Explicit methods up to order five are constructed. To avoid order reduction for mildly stiff problems the uniform stage order of the methods is chosen to be close to uniform order.


title: The Geometry of Concurrent Interaction: Handling Multiple Ports by Way of Multiple Tokens (Long Version)

abstract: We introduce a geometry of interaction model for Mazza's multiport interaction combinators, a graph-theoretic formalism which is able to faithfully capture concurrent computation as embodied by process algebras like the $\pi$-calculus. The introduced model is based on token machines in which not one but multiple tokens are allowed to traverse the underlying net at the same time. We prove soundness and adequacy of the introduced model. The former is proved as a simulation result between the token machines one obtains along any reduction sequence. The latter is obtained by a fine analysis of convergence, both in nets and in token machines.


title: Fermion Dark Matter in Gauge-Higgs Unification

abstract: We propose a Majorana fermion dark matter in the context of a simple gauge-Higgs Unification (GHU) scenario based on the gauge group $SU(3)$ x $U(1)'$ in 5-dimensional Minkowski space with a compactification of the 5th dimension on $S^1/Z_2$ orbifold. The dark matter particle is identified with the lightest mode in $SU(3)$ triplet fermions additionally introduced in the 5-dimensional bulk. We find an allowed parameter region for the dark matter mass around a half of the Standard Model Higgs boson mass, which is consistent with the observed dark matter density and the constraint from the LUX 2016 result for the direct dark matter search. The entire allowed region will be covered by, for example, the LUX-ZEPLIN dark matter experiment in the near future. We also show that in the presence of the bulk $SU(3)$ triplet fermions the 125 GeV Higgs boson mass is reproduced through the renormalization group evolution of Higgs quartic coupling with the compactification scale of around $10^8$ GeV.


title: How to desynchronize quorum-sensing networks

abstract: In this paper we investigate how so-called quorum-sensing networks can be de-synchronized. Such networks, which arise in many important application fields such as systems biology, are characterized by the fact that direct communication between network nodes is superimposed to communication with a shared, environmental, variable. In particular, we provide a new sufficient condition ensuring that the trajectories of these quorum-sensing networks diverge from their synchronous evolution. Then, we apply our result to study two applications.


title: Hilbert Space Multi-dimensional Modeling

abstract: This article presents general procedures for constructing, estimating, and testing Hilbert space multi-dimensional (HSM) models, which are based on quantum probability theory. HSM models can be applied to collections of K different contingency tables obtained from a set of p variables that are measured under different contexts. A context is defined by the measurement of a subset of the p variables that are used to form a table. HSM models provide a representation of the collection of K tables in a low dimensional vector space, even when no single joint probability distribution across the p variables exists. HSM models produce parameter estimates that provide a simple and informative interpretation of the complex collection of tables. Comparisons of HSM model fits with Bayes net model fits are reported for a new large experiment, demonstrating the viability of this new model. We conclude that the model is broadly applicable to social and behavioral science data sets.


title: Hyperfine state entanglement of spinor BEC and scattering atom

abstract: Condensate of spin-1 atoms frozen in a unique spatial mode may possess large internal degrees of freedom. The scattering amplitudes of polarized cold atoms scattered by the condensate are obtained with the method of fractional parentage coefficients that treats the spin degrees of freedom rigorously. Channels with scattering cross sections enhanced by square of atom number of the condensate are found. Entanglement between the condensate and the propagating atom can be established by the scattering. The entanglement entropy is analytically obtained for arbitrary initial states. Our results also give hint for the establishment of quantum thermal ensembles in the hyperfine space.


title: Fixed Point of A New Type Nonself Total Asymptotically Nonexpansive Mappings in Banach Spaces

abstract: In this work, a new concept of nonself total asymptotically nonexpansive mapping is introduced and an iterative process is considered for two nonself totally asymptotically nonexpansive mappings. Weak and strong convergence theorems for computing common fixed points of two nonself total asymptotically nonexpansive mappings are established in the framework of Banach spaces. Finally, we give an example which show that our theorems are applicable.


title: Model of Brain Activation Predicts the Neural Collective Influence Map of the Brain

abstract: Efficient complex systems have a modular structure, but modularity does not guarantee robustness, because efficiency also requires an ingenious interplay of the interacting modular components. The human brain is the elemental paradigm of an efficient robust modular system interconnected as a network of networks (NoN). Understanding the emergence of robustness in such modular architectures from the interconnections of its parts is a long-standing challenge that has concerned many scientists. Current models of dependencies in NoN inspired by the power grid express interactions among modules with fragile couplings that amplify even small shocks, thus preventing functionality. Therefore, we introduce a model of NoN to shape the pattern of brain activations to form a modular environment that is robust. The model predicts the map of neural collective influencers (NCIs) in the brain, through the optimization of the influence of the minimal set of essential nodes responsible for broadcasting information to the whole-brain NoN. Our results suggest new intervention protocols to control brain activity by targeting influential neural nodes predicted by network theory.


title: Measurement of J/{\psi} production in pp collisions at LHC energies with ALICE

abstract: An overview of ALICE results on the measurement of J/{\psi} production in pp collisions at $\sqrt{s}$ = 7 TeV collected during the LHC Run-1 period is presented, as well as first results at forward rapidity from pp collisions at $\sqrt{s}$ = 13 TeV collected during the LHC Run-2 period. In particular, the measurement of J/{\psi} production as a function of transverse momentum and charged-particle multiplicity are discussed and compared to theoretical model calculations.


title: Search for intermediate mass black hole binaries in the first observing run of Advanced LIGO

abstract: During their first observational run, the two Advanced LIGO detectors attained an unprecedented sensitivity, resulting in the first direct detections of gravitational-wave signals and GW151226, produced by stellar-mass binary black hole systems. This paper reports on an all-sky search for gravitational waves (GWs) from merging intermediate mass black hole binaries (IMBHBs). The combined results from two independent search techniques were used in this study: the first employs a matched-filter algorithm that uses a bank of filters covering the GW signal parameter space, while the second is a generic search for GW transients (bursts). No GWs from IMBHBs were detected, therefore, we constrain the rate of several classes of IMBHB mergers. The most stringent limit is obtained for black holes of individual mass $100\,M_\odot$, with spins aligned with the binary orbital angular momentum. For such systems, the merger rate is constrained to be less than $0.93~\mathrm{Gpc^{-3}\,yr}^{-1}$ in comoving units at the $90\%$ confidence level, an improvement of nearly 2 orders of magnitude over previous upper limits.


title: Metropolis Sampling

abstract: Monte Carlo (MC) sampling methods are widely applied in Bayesian inference, system simulation and optimization problems. The Markov Chain Monte Carlo (MCMC) algorithms are a well-known class of MC methods which generate a Markov chain with the desired invariant distribution. In this document, we focus on the Metropolis-Hastings (MH) sampler, which can be considered as the atom of the MCMC techniques, introducing the basic notions and different properties. We describe in details all the elements involved in the MH algorithm and the most relevant variants. Several improvements and recent extensions proposed in the literature are also briefly discussed, providing a quick but exhaustive overview of the current Metropolis-based sampling's world.


title: Classicalization of Quantum State of Detector by Amplification Process

abstract: It has been shown that a macroscopic system being in a high-temperature thermal coherent state can be, in principle, driven into a non-classical state by coupling to a microscopic system. Therefore, thermal coherent states do not truly represent the classical limit of quantum description. Here, we study the classical limit of quantum state of a more relevant macroscopic system, namely the pointer of a detector, after the phase-preserving linear amplification process. In particular, we examine to what extent it is possible to find the corresponding amplified state in a superposition state, by coupling the pointer to a qubit system. We demonstrate quantitatively that the amplification process is able to produce the classical limit of quantum state of the pointer, offering a route for a classical state in a sense of not to be projected into a quantum superposition state.


title: Gas gap studies about streamer operated RPCs

abstract: The requirement of high rate capability for operation at LHC, led 20 years ago to the achievement of Resistive Plate Chambers operated in avalanche mode, thanks to the introduction of new gas mixtures and to the development of the Front-End electronics. The need for a further increase of the rate capability, in view of the upgrades of LHC, is imposing new detector geometries with thinner gas gaps and electrodes. Streamer operation of RPCs may still be suitable for low rate experiments, and therefore in this paper a comparison between two different detector geometries, the old standard and the newly proposed one, is performed in streamer mode.


title: Interaction of Dynamical Fractional Branes with Background Fields: Superstring Calculations

abstract: We compute the boundary state corresponding to a fractional D$p$-brane with transverse motion and internal background fields: Kalb-Ramond and a $U(1)$ gauge field. The spacetime has the orbifold structure $\mathbb{R}^{1,5} \times\mathbb{C}^{2}/\mathbb{Z}_{2}$. The calculations are in the superstring theory. Using this boundary state we shall obtain the interaction amplitude between two parallel moving fractional D$p$-branes. We shall extract behavior of the interaction amplitude for large distances of the branes.


title: Characteristic Cycles and the Relative Local Euler Obstruction

abstract: In this paper, we investigate the local Euler obstruction and the relative local Euler obstruction in terms of constructible complexes of sheaves, characteristic cycles, and vanishing cycles. The fundamental tool that we use is the notion of a characteristic complex for an analytic space embedded in affine space.


title: (1+1)-dimensional gauge symmetric gravity model and related exact black hole and cosmological solutions in string theory

abstract: We introduce a four-dimensional extension of the Poincar\'{e} algebra $(\mathcal{N})$ in (1+1)-dimensional space-time and obtain a (1+1)-dimensional gauge symmetric gravity model using the algebra $\mathcal{N}$. We show that the obtained gravity model is dual (canonically transformed) to the (1+1)-dimensional anti de Sitter ($AdS$) gravity. We also obtain some black hole and Friedmann-Robertson-Walker (FRW) solutions by solving its classical equations of motion. Then, we study $\frac{\mathbf{A}_{\mathbf{4,8}}}{\mathbf{A}_{\mathbf{1}}\otimes \mathbf{A}_{\mathbf{1}}}$ gauged Wess-Zumino-Witten (WZW) model and obtain some exact black hole and cosmological solutions in string theory. We show that some obtained black hole and cosmological metrics in string theory are same as the metrics obtained in solutions of our gauge symmetric gravity model.


title: Quantum channels from reflections on moving mirrors

abstract: Light reflection on a mirror can be thought as a simple physical effect. However if this happens when the mirror moves a rich scenario opens up. Here we aim at analyzing it from a quantum communication perspective. In particular, we study the kind of quantum channel that arises from (Gaussian) light reflection upon an accelerating mirror. Two competing mechanisms emerge in such a context, namely photons production by the mirror's motion and {\blu interference between modes}. As consequence we find out a quantum amplifier channel and quantum lossy channel respectively below and above a threshold frequency (that depends on parameters determining mirror's acceleration). Exactly at the threshold frequency the channel behaves like a purely classical additive channel, while it becomes purely erasure for large frequencies. In addition the time behavior of the channel is analyzed by employing wave packets expansion of the light field.


title: Lipschitz Simplicial Volume of Connected Sums

abstract: We prove that the locally finite simplicial volume and the Lipschitz simplicial volume are additive with respect to certain gluings of manifolds. In particular, we prove that in dimension $\geq 3$ they are additive with respect to connected sums and gluings along $\pi_1$-injective, amenable aspherical boundary components.


title: Extension of photon surfaces and their area: Static and stationary spacetimes

abstract: We propose a new concept, the transversely trapping surface (TTS), as an extension of the static photon surface characterizing the strong gravity region of a static/stationary spacetime in terms of photon behavior. The TTS is defined as a static/stationary timelike surface $S$ whose spatial section is a closed two-surface, such that arbitrary photons emitted tangentially to $S$ from arbitrary points on $S$ propagate on or toward the inside of $S$. We study the properties of TTSs for static spacetimes and axisymmetric stationary spacetimes. In particular, the area $A_0$ of a TTS is proved to be bounded as $A_0\le 4\pi(3GM)^2$ under certain conditions, where $G$ is the Newton constant and $M$ is the total mass. The connection between the TTS and the loosely trapped surface proposed by us [arXiv:1701.00564] is also examined.


title: Parallel-plate and spherical capacitors in Born-Infeld electrostatics: An analytical study

abstract: In 1934, Max Born and Leopold Infeld suggested and developed a nonlinear modification of Maxwell electrodynamics, in which the electrostatic self-energy of an electron was a finite value. In this paper, after a brief introduction to Lagrangian formulation of Born-Infeld electrodynamics with an external source, the explicit forms of Gauss's law and the electrostatic energy density in Born-Infeld theory are obtained. The capacitance and the stored electrostatic energy for a parallel-plate and spherical capacitors are computed in the framework of Born-Infeld electrostatics. We show that the usual relations $U=\frac{1}{2}C_{_{\textrm{Maxwell}}}(\triangle \phi)^{2}$ and $U=\frac{q^{2}}{2C_{_{\textrm{Maxwell}}}}$ are not valid for a capacitor in Born-Infeld electrostatics. Numerical estimations in this research show that the nonlinear corrections to the capacitance and the stored electrostatic energy for a capacitor in Born-Infeld electrostatics are considerable when the potential difference between the plates of a capacitor is very large.


title: Physical and dynamical properties of the anomalous comet 249P/LINEAR

abstract: Images and low-resolution spectra of the near-Earth Jupiter family comet (JFC) 249P/LINEAR in the visible range obtained with the instrument OSIRIS in the 10.4m Gran Telescopio Canarias on January 3, 4, 6 and February 6, 2016 are presented, together with a series of images obtained with the 0.4m telescope of the Great Shefford Observatory. The reflectance spectrum of 249P is similar to that of a B-type asteroid. The comet has an absolute (visual) nuclear magnitude $H_V=17.0\pm 0.4$, which corresponds to a radius of about 1-1.3 km for a geometric albedo $\sim 0.04-0.07$. From the analysis of GTC images using a Monte Carlo dust tail code we find that the time of maximum dust ejection rate was around 1.6 days before perihelion. We may be in front of a new class of near-Earth JFC whose source region is not the distant trans-neptunian population, but much closer in the asteroid belt. Therefore, 249P/LINEAR may be a near-Earth counterpart of the so-called main-belt comets or active asteroids.


title: A fast ILP-based Heuristic for the robust design of Body Wireless Sensor Networks

abstract: We consider the problem of optimally designing a body wireless sensor network, while taking into account the uncertainty of data generation of biosensors. Since the related min-max robustness Integer Linear Programming (ILP) problem can be difficult to solve even for state-of-the-art commercial optimization solvers, we propose an original heuristic for its solution. The heuristic combines deterministic and probabilistic variable fixing strategies, guided by the information coming from strengthened linear relaxations of the ILP robust model, and includes a very large neighborhood search for reparation and improvement of generated solutions, formulated as an ILP problem solved exactly. Computational tests on realistic instances show that our heuristic finds solutions of much higher quality than a state-of-the-art solver and than an effective benchmark heuristic.