title: Spatiotemporal Recurrent Convolutional Networks for Traffic Prediction in Transportation Networks

abstract: Predicting large-scale transportation network traffic has become an important and challenging topic in recent decades. Inspired by the domain knowledge of motion prediction, in which the future motion of an object can be predicted based on previous scenes, we propose a network grid representation method that can retain the fine-scale structure of a transportation network. Network-wide traffic speeds are converted into a series of static images and input into a novel deep architecture, namely, spatiotemporal recurrent convolutional networks (SRCNs), for traffic forecasting. The proposed SRCNs inherit the advantages of deep convolutional neural networks (DCNNs) and long short-term memory (LSTM) neural networks. The spatial dependencies of network-wide traffic can be captured by DCNNs, and the temporal dynamics can be learned by LSTMs. An experiment on a Beijing transportation network with 278 links demonstrates that SRCNs outperform other deep learning-based algorithms in both short-term and long-term traffic prediction.


title: Generating Memorable Mnemonic Encodings of Numbers

abstract: The major system is a mnemonic system that can be used to memorize sequences of numbers. In this work, we present a method to automatically generate sentences that encode a given number. We propose several encoding models and compare the most promising ones in a password memorability study. The results of the study show that a model combining part-of-speech sentence templates with an $n$-gram language model produces the most memorable password representations.


title: Factorization of the Stability Polynomials of Ring Systems

abstract: Let $D_n$ be the dihedral group with $2n$ elements, and suppose $n$ is greater than one. We call ring system a finite $D_n$-symmetric set of points in $\mathbb{R}^2$. Ring systems have been used as models for planets surrounded by rings, and may be seen as relative equilibria of the $N$-body or the $N$-vortex problem. As a first significant step towards linear stability analysis, we study the factorization of the stability polynomial of an arbitrary ring system by systematically exploiting the ring's symmetry through representation theory of finite groups. Our results generalize contributions by J. C. Maxwell from mid-XIX century until contemporary authors such as J. Palmore and R. Moeckel, among others.


title: Onsager-theory-based dynamic model for nematic phases of bent-core molecules and star molecules

abstract: We construct the molecular model and the tensor model for the dynamics of the nematic phases of bent-core molecules and star molecules in incompressible fluid. We start from the molecular interaction and the molecule--fluid friction, and write down a general formulation based on the molecular shape and the free energy. Then we incorporate an Onsager-theory-based static tensor model that is determined by the molecular shape. In this way, the terms in the molecular model are fully determined by the molecular shape and expressed by physical parameters. For bent-core molecules and star molecules, the model shares the same form, but is different in the coefficients. With the polar interaction and elastic energy taken into account, and the convection and diffusion included both spatially and orientationally, the model is suitable for inhomogeneous flows. We adopt the quasi-equilibrium approximation to derive the tensor model with energy dissipation maintained. Numerical simulation is carried out focusing on the shear flow problem using both the molecular and the tensor models. We choose the parameters near the transition region of different equilibrium nematic phases and examine the effect of molecular shape on the flow modes. The tensor model proves to exhibit all the flow modes found in the molecular model.


title: Generalization of Effective Conductance Centrality for Egonetworks

abstract: We study the popular centrality measure known as effective conductance or in some circles as information centrality. This is an important notion of centrality for undirected networks, with many applications, e.g., for random walks, electrical resistor networks, epidemic spreading, etc. In this paper, we first reinterpret this measure in terms of modulus (energy) of families of walks on the network. This modulus centrality measure coincides with the effective conductance measure on simple undirected networks, and extends it to much more general situations, e.g., directed networks as well. Secondly, we study a variation of this modulus approach in the egocentric network paradigm. Egonetworks are networks formed around a focal node (ego) with a specific order of neighborhoods. We propose efficient analytical and approximate methods for computing these measures on both undirected and directed networks. Finally, we describe a simple method inspired by the modulus point-of-view, called shell degree, which proved to be a useful tool for network science.

categories: physics.data-an cs.DS cs.SI physics.soc-ph


title: Linear Network Coding for Two-Unicast-$Z$ Networks: A Commutative Algebraic Perspective and Fundamental Limits

abstract: We consider a two-unicast-$Z$ network over a directed acyclic graph of unit capacitated edges; the two-unicast-$Z$ network is a special case of two-unicast networks where one of the destinations has apriori side information of the unwanted (interfering) message. In this paper, we settle open questions on the limits of network coding for two-unicast-$Z$ networks by showing that the generalized network sharing bound is not tight, vector linear codes outperform scalar linear codes, and non-linear codes outperform linear codes in general. We also develop a commutative algebraic approach to deriving linear network coding achievability results, and demonstrate our approach by providing an alternate proof to the previous results of C. Wang et. al., I. Wang et. al. and Shenvi et. al. regarding feasibility of rate $(1,1)$ in the network.


title: On Time-Reversal Imaging by Statistical Testing

abstract: This letter is focused on the design and analysis of computational wideband time-reversal imaging algorithms, designed to be adaptive with respect to the noise levels pertaining to the frequencies being employed for scene probing. These algorithms are based on the concept of cell-by-cell processing and are obtained as theoretically-founded decision statistics for testing the hypothesis of single-scatterer presence (absence) at a specific location. These statistics are also validated in comparison with the maximal invariant statistic for the proposed problem.


title: Fermi acceleration along the orbit of {\eta} Carinae

abstract: The {\eta} Carinae binary system hosts the most massive stars with the highest known mass-loss rate. Its dense wind encounters the faster wind expelled by the companion, dissipating mechanical energy in the shock, accelerating particles up to relativistic energies and producing high-energy (HE) {\gamma}-rays. We used the first 7-year data of the Fermi LAT which span two passages of {\eta} Carinae at periastron. We extracted low and HE light curves and spectra in different orbital phase bins using the new PASS8 pipeline. We used particle acceleration in hydrodynamic simulations of the system in a multi-cell geometry and compared the prediction with the observations. The {\gamma}-ray emission location is compatible with {\eta} Carinae. Two emission components are distinguished. The low-energy (LE) one cuts off below 10 GeV and its flux, modulated by the orbital motion, varies by a factor < 2. Short-term variability occurs at periastron. The HE component flux varies by a factor 3-4 but differently during the two periastrons. The variabilities observed at LE and HE during the first half of the observations, match the prediction of the simulation, assuming a surface magnetic field of 500 G. The HE component and the thermal X-ray emission were weaker than expected around the second periastron suggesting a modification of the wind density in the inner wind collision region (WCR). Diffuse shock acceleration in the WCR provides a convincing match to the observations and new diagnostic tools to probe the geometry and energetics of the system. Further observations are required to explain the periastron-to-periastron HE variability and to associate it firmly with hadronic origin. {\eta} Carinae is a pevatron at periastron. Its $\nu$ flux can be detected by IceCube after many years of observations. Orbital modulations of the HE component can be distinguished from those of photo absorption by CTA.


title: A Novel Interconnect Camouflaging Technique using Transistor Threshold Voltage

abstract: Semiconductor supply chain is increasingly getting exposed to variety of security attacks such as Trojan insertion, cloning, counterfeiting, reverse engineering (RE) and piracy of Intellectual Property (IP) due to involvement of untrusted parties. Camouflaging of gates has been proposed to hide the functionality of gates. However, gate camouflaging is associated with significant area, power and delay overhead. In this paper, we propose camouflaging of interconnects using multiplexers (muxes) to protect the IP. A transistor threshold voltage-defined pass transistor mux is proposed to prevent its reverse engineering since transistor threshold voltage is opaque to the adversary. The proposed mux with more than one input, hides the original connectivity of the net. The camouflaged design operates at nominal voltage and obeys conventional reliability limits. A small fraction of nets can be camouflaged to increase the RE effort extremely high while keeping the overhead low. We propose controllability, observability and random net selection strategy for camouflaging. Simulation results indicate 15-33% area, 25-44% delay and 14-29% power overhead when 5-15% nets are camouflaged using the proposed 2:1 mux. By increasing the mux size to 4:1, 8:1, and 16:1, the RE effort can be further improved with small area, delay, and power penalty.


title: On the optimality of some group testing algorithms

abstract: We consider Bernoulli nonadaptive group testing with $k = \Theta(n^\theta)$ defectives, for $\theta \in (0,1)$. The practical definite defectives (DD) detection algorithm is known to be optimal for $\theta \geq 1/2$. We give a new upper bound on the rate of DD, showing that DD is strictly suboptimal for $\theta < 0.41$. We also show that the SCOMP algorithm and algorithms based on linear programming achieve a rate at least as high as DD, so in particular are also optimal for $\theta \geq 1/2$.


title: The SAGE-Spec Spitzer Legacy program: The life-cycle of dust and gas in the Large Magellanic Cloud. Point source classification III

abstract: The Infrared Spectrograph (IRS) on the {\em Spitzer Space Telescope} observed nearly 800 point sources in the Large Magellanic Cloud (LMC), taking over 1,000 spectra. 197 of these targets were observed as part of the Sage-Spec Spitzer Legacy program; the remainder are from a variety of different calibration, guaranteed time and open time projects. We classify these point sources into types according to their infrared spectral features, continuum and spectral energy distribution shape, bolometric luminosity, cluster membership, and variability information, using a decision-tree classification method. We then refine the classification using supplementary information from the astrophysical literature. We find that our IRS sample is comprised substantially of YSO and H\,{\sc ii} regions, post-Main Sequence low-mass stars: (post-)AGB stars and planetary nebulae and massive stars including several rare evolutionary types. Two supernova remnants, a nova and several background galaxies were also observed. We use these classifications to improve our understanding of the stellar populations in the Large Magellanic Cloud, study the composition and characteristics of dust species in a variety of LMC objects, and to verify the photometric classification methods used by mid-IR surveys. We discover that some widely-used catalogues of objects contain considerable contamination and others are missing sources in our sample.


title: On boundary behavior of mappings on Riemannian manifolds in terms of prime ends

abstract: A boundary behavior of ring mappings on Riemannian manifolds, which are generalization of quasiconformal mappings by Gehring, is investigated. In terms of prime ends, there are obtained theorems about continuous extension to a boundary of classes mentioned above. In the terms mentioned above, there are obtained results about equicontinuity of these classes in the closure of the domain.


title: Residual Diffusivity in Elephant Random Walk Models with Stops

abstract: We study the enhanced diffusivity in the so called elephant random walk model with stops (ERWS) by including symmetric random walk steps at small probability $\epsilon$. At any $\epsilon > 0$, the large time behavior transitions from sub-diffusive at $\epsilon = 0$ to diffusive in a wedge shaped parameter regime where the diffusivity is strictly above that in the un-perturbed ERWS model in the $\epsilon \downarrow 0$ limit. The perturbed ERWS model is shown to be solvable with the first two moments and their asymptotics calculated exactly in both one and two space dimensions. The model provides a discrete analytical setting of the residual diffusion phenomenon known for the passive scalar transport in chaotic flows (e.g. generated by time periodic cellular flows and statistically sub-diffusive) as molecular diffusivity tends to zero.


title: Inflationary e-folding and the implications for gravitational-wave detection

abstract: We demonstrate that the approximation for the number of inflationary e-folds commonly used in the literature can lead to highly inaccurate predictions for the amplitude of primordial gravitational waves. We show that such an approximation can lead to perfectly viable inflation models being falsely ruled out by direct or indirect gravitational-wave measurements. We illustrate this point using a new class of inflation models which include the power-law potential as the simplest limit. These models are simple to construct without using the slow-roll approximation, and are consistent with constraints from Planck. Crucially, these models may suffer from an order-of-magnitude error in the prediction for the gravitational-wave amplitude if the common definition of e-folding is used. Our findings have strong implications for the classes of inflation models that can be ruled out by future space-based laser interferometers such as BBO and DECIGO.


title: Accretion disks around black holes in Scalar-Tensor-Vector Gravity

abstract: Scalar Tensor Vector Gravity (STVG) is an alternative theory of gravitation that has successfully explained the rotation curves of nearby galaxies, the dynamics of galactic clusters, and cosmological data without dark matter, but has hardly been tested in the strong gravity regime. In this work, we aim at building radiative models of thin accretion disks for both Schwarzschild and Kerr black holes in STVG theory. In particular, we study stable circular equatorial orbits around stellar and supermassive black holes in Schwarzschild and Kerr STVG spacetimes. We also calculate the temperature and luminosity distributions of accretion disks around these objects. We find that accretion disks in STVG around stellar and supermassive black holes are colder and less luminous than in GR. The spectral energy distributions obtained do not contradict current astronomical observations.


title: Rigidity of inversive distance circle packings revisited

abstract: Inversive distance circle packing metric was introduced by P Bowers and K Stephenson \cite{BS} as a generalization of Thurston's circle packing metric \cite{T1}. They conjectured that the inversive distance circle packings are rigid. For nonnegative inversive distance, Guo \cite{Guo} proved the infinitesimal rigidity and then Luo \cite{L3} proved the global rigidity. In this paper, based on an observation of Zhou \cite{Z}, we prove this conjecture for inversive distance in $(-1, +\infty)$ by variational principles. We also study the global rigidity of a combinatorial curvature introduced in \cite{GJ4,GX4,GX6} with respect to the inversive distance circle packing metrics where the inversive distance is in $(-1, +\infty)$.


title: Scalar resonant frequencies and Hawking effect of an $f(R)$ global monopole

abstract: Massive scalar fields are considered in the gravitational field produced by a Schwarzschild black hole with a global monopole in $f(R)$ gravity. The exact solution of the radial part of the Klein-Gordon equation in this background is obtained and is given in terms of the general Heun functions. We apply the properties of the general Heun functions to study the Hawking radiation and the resonant frequencies of scalar particles.


title: Regularized Spatial Maximum Covariance Analysis

abstract: In climate and atmospheric research, many phenomena involve more than one meteorological spatial processes covarying in space. To understand how one process is affected by another, maximum covariance analysis (MCA) is commonly applied. However, the patterns obtained from MCA may sometimes be difficult to interpret. In this paper, we propose a regularization approach to promote spatial features in dominant coupled patterns by introducing smoothness and sparseness penalties while accounting for their orthogonalities. We develop an efficient algorithm to solve the resulting optimization problem by using the alternating direction method of multipliers. The effectiveness of the proposed method is illustrated by several numerical examples, including an application to study how precipitations in east Africa are affected by sea surface temperatures in the Indian Ocean.


title: Hida families and p-adic triple product L-functions

abstract: We construct the three-variable p-adic triple product L-functions attached to Hida families of ellptic newforms and prove the explicit interpolation formulae at all critical specializations by establishing explicit Ichino's formulae for the trilinear period integrals of automorphic forms. Our formulae perfectly fit the conjectural shape of p-adic L-functions predicted by Coates and Perrin-Riou. As an application, we prove the factorization of certain unbalanced p-adic triple product L-functions into a product of anticyclotomic p-adic L-functions for modular forms. By this factorization, we give a new construction of the anticyclotomic p-adic L-functions for elliptic curves in the definite case via the diagonal cycle Euler system \'a la Darmon and Rotger and obtain a Greenberg-Stevens style proof of anticyclotomic exceptional zero conjecture for elliptic curves due to Bertolini and Darmon.


title: Theoretical prediction of sandwiched two-dimensional phosphide binary compounds sheets with tunable bandgaps and anisotropic physical properties

abstract: New allotropes of two-dimensional (2D) GaP and InP binary compounds were predicted from the structural optimization and dynamical stability analysis in the framework of the density functional calculations. These stabilized GaP and InP monolayers possess unique high buckled orthorhombic lattices symmetry with their cohesive energies of ~0.14 and ~0.17 eV/pair lower than those of 2D low buckled honeycomb GaP and InP binary compounds, demonstrating that these newly predicted 2D GaP and InP binary compounds are energetically preferential. More interesting, their energy band gaps are even ~ 0.52 eV (for GaP) and ~1.49 eV (for InP) wider than their bulk counterparts. Such band gaps are also tunable under the strain along armchair/zigzag direction, and the direct/indirect band gap transitions occur under certain strain, providing their promising applications in band gap engineering for nanoscale electronic and optoelectronic devices. A feasible way to synthesize these novel 2D phosphide compounds is also provided in this study.


title: X-ray Intraday Variability of Five TeV Blazars with NuSTAR

abstract: We have examined 40 NuSTAR light curves (LCs) of five TeV emitting high synchrotron peaked blazars: 1ES 0229+200, Mrk 421, Mrk 501, 1ES 1959+650 and PKS 2155-304. Four of the blazars showed intraday variability in the NuSTAR energy range of 3-79 keV. Using an auto correlation function analysis we searched for intraday variability timescales in these LCs and found indications of several between 2.5 and 32.8 ks in eight LCs of Mrk 421, a timescale around 8.0 ks for one LC of Mrk 501, and timescales of 29.6 ks and 57.4 ks in two LCs of PKS 2155-304. The other two blazars' LCs do not show any evidence for intraday variability timescales shorter than the lengths of those observations, however, the data was both sparser and noisier, for them. We found positive correlations with zero lag between soft (3-10 keV) and hard (10-79 keV) bands for most of the LCs, indicating that their emissions originate from the same electron population. We examined spectral variability using a hardness ratio analysis and noticed a general "harder-when-brighter" behavior. The 22 LCs of Mrk 421 observed between July 2012 and April 2013 show that this source was in a quiescent state for an extended period of time and then underwent an unprecedented double peaked outburst while monitored on a daily basis during 10 - 16 April 2013. We briefly discuss models capable of explaining these blazar emissions.


title: Integrated PV Charging of EV Fleet Based on Dynamic Energy Prices and Offer of Reserves

abstract: Workplace charging of electric vehicles (EV) from photovoltaic (PV) panels installed on an office building can provide several benefits. This includes the local production and use of PV energy for charging the EV and making use of dynamic tariffs from the grid to schedule the energy exchange with the grid. The long parking time of EV at the workplace provide the chance for the EV to support the grid via vehicle-to-grid technology, the use of a single EV charger for charging several EV by multiplexing and the offer of ancillary services to the grid for up and down regulation. Further, distribution network constraints can be considered to limit the power and prevent the overloading of the grid. A single MILP formulation that considers all the above applications has been proposed in this paper for a charging a fleet of EVs from PV. The MILP is implemented as a receding-horizon model predictive energy management system. Numerical simulation based on market and PV data in Austin, Texas have shown 31% to 650% reduction in the cost of EV charging when compared to immediate and average rate charging policies.


title: Origin of X-rays in the low state of the FSRQ 3C 273: Evidence of inverse Compton emission

abstract: We analyze the 2.5--10 keV X-ray spectra of the luminous quasar 3C 273 and simultaneous observations in UV wavelengths from XMM--Newton between 2000 and 2015. The lowest flux level ever was observed in 2015. The continuum emission from 3C 273 is generally best described by an absorbed power-law but during extremely low states the addition of fluorescence from the K-shell iron line improves the fit. We study the spectral evolution of the source during its extended quiescent state and also examine connections between the X-ray and ultraviolet emissions, which have been seen in some, but not all, previous work. We detect a possible anti-correlation between these two bands during the low state that characterized 3C 273 for most of this period; however, this was not present during a flaring state. A harder-when-brighter trend for the X-ray spectrum was observed in these long-term observations of 3C 273 for the first time. We suggest that the X-ray emission in 3C 273 is the result of inverse Compton scattering of soft UV seed photons (emitted from the local environment of the AGN), most likely in a thermal corona. We can explain the significant temporal variation of the spectral continuum as an outcome of changing optical depth of the comptonizing medium, along the lines of the wind-shock model proposed by Courvoisier and Camenzind (1989).


title: New Low-Mass Stars in the 25 Orionis Stellar Group and Orion OB1a Sub-association from SDSS-III/BOSS Spectroscopy

abstract: The Orion OB1a sub-association is a rich low mass star (LMS) region. Previous spectroscopic studies have confirmed 160 LMSs in the 25 Orionis stellar group (25 Ori), which is the most prominent overdensity of Orion OB1a. Nonetheless, the current census of the 25 Ori members is estimated to be less than 50% complete, leaving a large number of members to be still confirmed. We retrieved 172 low-resolution stellar spectra in Orion OB1a observed as ancillary science in the SDSS-III/BOSS survey, for which we classified their spectral types and determined physical parameters. To determine memberships, we analyzed the H$_\alpha$ emission, LiI$\lambda$6708 absorption, and NaI$\lambda\lambda$8183, 8195 absorption as youth indicators in stars classified as M-type. We report 50 new LMSs spread across the 25 Orionis, ASCC 18, and ASCC 20 stellar groups with spectral types from M0 to M6, corresponding to a mass range of 0.10$\le m/\textrm{M}_\odot \le$0.58. This represents an increase of 50% in the number of known LMSs in the area and a net increase of 20% in the number of 25 Ori members in this mass range. Using parallax values from the Gaia DR1 catalog, we estimated the distances to these three stellar groups and found that they are all co-distant, at 338$\pm$66 pc. We analyzed the spectral energy distributions of these LMSs and classified their disks by evolutionary classes. Using H-R diagrams, we found a suggestion that 25 Ori could be slightly older that the other two observed groups in Orion OB1a.


title: Joint Trajectory and Communication Design for Multi-UAV Enabled Wireless Networks

abstract: Unmanned aerial vehicles (UAVs) have attracted significant interest recently in assisting wireless communication due to their high maneuverability, flexible deployment, and low cost. This paper considers a multi-UAV enabled wireless communication system, where multiple UAV-mounted aerial base stations (BSs) are employed to serve a group of users on the ground. To achieve fair performance among users, we maximize the minimum throughput over all ground users in the downlink communication by optimizing the multiuser communication scheduling and association jointly with the UAVs' trajectory and power control. The formulated problem is a mixed integer non-convex optimization problem that is challenging to solve. As such, we propose an efficient iterative algorithm for solving it by applying the block coordinate descent and successive convex optimization techniques. Specifically, the user scheduling and association, UAV trajectory, and transmit power are alternately optimized in each iteration. In particular, for the non-convex UAV trajectory and transmit power optimization problems, two approximate convex optimization problems are solved, respectively. We further show that the proposed algorithm is guaranteed to converge to at least a locally optimal solution. To speed up the algorithm convergence and achieve good throughput, a low-complexity and systematic initialization scheme is also proposed for the UAV trajectory design based on the simple circular trajectory and the circle packing scheme. Extensive simulation results are provided to demonstrate the significant throughput gains of the proposed design as compared to other benchmark schemes.


title: Negative Magnetoresistance without Chiral Anomaly in Topological Insulators

abstract: An intriguing phenomenon in topological semimetals and topological insulators is the negative magnetoresistance (MR) observed when a magnetic field is applied along the current direction. A prevailing understanding to the negative MR in topological semimetals is the chiral anomaly, which, however, is not well defined in topological insulators. We calculate the MR of a three-dimensional topological insulator, by using the semiclassical equations of motion, in which the Berry curvature explicitly induces an anomalous velocity and orbital moment. Our theoretical results are in quantitative agreement with the experiments. The negative MR is not sensitive to temperature and increases as the Fermi energy approaches the band edge. The orbital moment and g factors also play important roles in the negative MR. Our results give a reasonable explanation to the negative MR in 3D topological insulators and will be helpful in understanding the anomalous quantum transport in topological states of matter.


title: The large twist theorem and boundedness of solutions for polynomial potentials with $C^1$ time dependent coefficients

abstract: In this paper we first prove the so-called large twist theorem, then using it to prove the boundedness of all solutions and the existence of quasi-periodic solutions for Duffing's equation $$ \ddot{x}+x^{2n+1}+\dsum_{i=0}^{2n}p_i(t)x^i=0, $$ where $p_i(t)\in C^1(\mathbb{S}) (n+1\leq i\leq 2n)$ and $p_i(t)\in C^0(\mathbb{S}) (0\leq i\leq n)$ with $\mathbb{S}=\mathbb{R}/\mathbb{Z}$.


title: A pointwise inequality for a biharmonic equation with negative exponent and related problems

abstract: Inspired by a recent pointwise differential inequality for positive bounded solutions of the fourth-order H\'enon equation $\Delta^2 u = |x|^a u^p$ in ${\mathbb R}^n$ with $a \geqslant 0$, $p > 1$, $n \geqslant 5$ due to Fazly, Wei, and Xu [ Anal. PDE., 8(2015) 1541--1563], first for some positive constants $\alpha$ and $\beta$ we establish the following pointwise inequality \[ \Delta u \geqslant \alpha u^{-\frac{q-1}2} + \beta u^{-1} |\nabla u|^2 \] in ${\mathbb R}^n$ with $n \geqslant 3$ for positive $C^4$-solutions of the fourth-order equation \[ \Delta^2u=-u^{-q} \quad \text{ in } \mathbb R^n \] where $q > 1$. Next, we prove a comparison property for Lane--Emden system with exponents of mixed sign. Finally, we give an analogue result for parabolic models by establishing a comparison property for parabolic system of Lane--Emden type. To obtain all these results, a new argument of maximum principle is introduced, which allows us to deal with solutions with high growth at infinity. We expect to see more applications of this new method to other problems in different contexts.


title: Automatic Recognition of Mammal Genera on Camera-Trap Images using Multi-Layer Robust Principal Component Analysis and Mixture Neural Networks

abstract: The segmentation and classification of animals from camera-trap images is due to the conditions under which the images are taken, a difficult task. This work presents a method for classifying and segmenting mammal genera from camera-trap images. Our method uses Multi-Layer Robust Principal Component Analysis (RPCA) for segmenting, Convolutional Neural Networks (CNNs) for extracting features, Least Absolute Shrinkage and Selection Operator (LASSO) for selecting features, and Artificial Neural Networks (ANNs) or Support Vector Machines (SVM) for classifying mammal genera present in the Colombian forest. We evaluated our method with the camera-trap images from the Alexander von Humboldt Biological Resources Research Institute. We obtained an accuracy of 92.65% classifying 8 mammal genera and a False Positive (FP) class, using automatic-segmented images. On the other hand, we reached 90.32% of accuracy classifying 10 mammal genera, using ground-truth images only. Unlike almost all previous works, we confront the animal segmentation and genera classification in the camera-trap recognition. This method shows a new approach toward a fully-automatic detection of animals from camera-trap images.


title: On one embedding of Heyting algebras

abstract: The paper is devoted to an algebraic interpretation of Kuznetsov's theorem which establishes the assertoric equipollence of intuitionistic and proof-intuitionistic propositional calculi. Given a Heyting algebra, we define an enrichable Heyting algebra, in which the former algebra is embedded. Moreover, we show that both algebras generate one and the same variety of Heyting algebras. This algebraic result is equivalent to the Kuznetsov theorem. The proposed construction of the enrichable `counterpart' of a given Heyting algebra allows one to observe that some properties of the original algebra are preserved by this embedding in the counterpart algebra.


title: On the null energy condition in scale dependent frameworks with spherical symmetry

abstract: The effect of a scale dependent newton coupling, which is a crucial ingredient of many quantum gravity theories, is investigated in this paper. For case of non-rotating black holes, and using the null energy condition, we show that Newtons scale dependent coupling can actually be obtained without solving the full quantum gap equations.


title: Resource-Aware Just-in-Time OpenCL Compiler for Coarse-Grained FPGA Overlays

abstract: FPGA vendors have recently started focusing on OpenCL for FPGAs because of its ability to leverage the parallelism inherent to heterogeneous computing platforms. OpenCL allows programs running on a host computer to launch accelerator kernels which can be compiled at run-time for a specific architecture, thus enabling portability. However, the prohibitive compilation times (specifically the FPGA place and route times) are a major stumbling block when using OpenCL tools from FPGA vendors. The long compilation times mean that the tools cannot effectively use just-in-time (JIT) compilation or runtime performance scaling. Coarse-grained overlays represent a possible solution by virtue of their coarse granularity and fast compilation. In this paper, we present a methodology for run-time compilation of OpenCL kernels to a DSP block based coarse-grained overlay, rather than directly to the fine-grained FPGA fabric. The proposed methodology allows JIT compilation and on-demand resource-aware kernel replication to better utilize available overlay resources, raising the abstraction level while reducing compile times significantly. We further demonstrate that this approach can even be used for run-time compilation of OpenCL kernels on the ARM processor of the embedded heterogeneous Zynq device.


title: Respondent driven sampling and sparse graph convergence

abstract: We consider a particular respondent-driven sampling procedure governed by a graphon. By a specific clumping procedure of the sampled vertices we construct a sequence of sparse graphs. If the sequence of the vertex-sets is stationary then the sequence of sparse graphs converge to the governing graphon in the cut-metric. The tools used are concentration inequality for Markov chains and the Stein-Chen method.


title: A Scalable, Low-Overhead Finite-State Machine Overlay for Rapid FPGA Application Development

abstract: Productivity issues such as lengthy compilation and limited code reuse have restricted usage of field-programmable gate arrays (FPGAs), despite significant technical advantages. Recent work into overlays -- virtual coarse-grained architectures implemented atop FPGAs -- has aimed to address these concerns through abstraction, but have mostly focused on pipelined applications with minimal control requirements. Although research has introduced overlays for finite-state machines, those architectures suffer from limited scalability and flexibility, which we address with a new overlay architecture using memory decomposition on transitional logic. Although our overlay provides modest average improvements of 15% to 29% fewer lookup tables for individual finite-state machines, for the more common usage of an overlay supporting different finite-state machines, our overlay achieves a 77% to 99% reduction in lookup tables. In addition, our overlay reduces compilation time to tenths of a second to enable rapid iterative-development methodologies.


title: X-ray Studies of the Extended TeV Gamma-Ray Source VER J2019+368

abstract: This article reports the results of X-ray studies of the extended TeV $\gamma$-ray source VER J2019+368. Suzaku observations conducted to examine properties of the X-ray pulsar wind nebula (PWN) around PSR J2021+3651 revealed that the western region of the X-ray PWN has a source extent of $15' \times 10'$ with the major axis oriented to that of the TeV emission. The PWN-west spectrum was closely fitted by a power-law for absorption at $N({\rm H}) = (8.2^{+1.3}_{-1.1}) \times 10^{21}~{\rm cm^{-2}}$ and a photon index of $\Gamma = 2.05\pm0.12$, with no obvious change in the index within the X-ray PWN. The measured X-ray absorption indicates that the distance to the source is much less than $10~{\rm kpc}$ inferred by radio data. Aside from the PWN, no extended emission was observed around PSR J2021+3651 even by Suzaku. Archival data from the XMM-Newton were also analyzed to complement the Suzaku observations, indicating that the eastern region of the X-ray PWN has a similar spectrum ($N(\rm H)=(7.5 \pm 0.9) \times 10^{21}~{\rm cm^{-2}}$ and $\Gamma=2.03 \pm 0.10$) and source extent up to at least $12'$ along the major axis. The lack of significant change in the photon index and the source extent in X-ray are used to constrain the advection velocity or the diffusion coefficient for accelerated X-ray-producing electrons. A mean magnetic field of ${\sim}3~\mu{\rm G}$ is required to account for the measured X-ray spectrum and reported TeV $\gamma$-ray spectrum. A model calculation of synchrotron radiation and inverse Compton scattering was able to explain ${\sim}80\%$ of the reported TeV flux, indicating that the X-ray PWN is a major contributor of VER J2019+368.


title: Out-of-Order Dataflow Scheduling for FPGA Overlays

abstract: We exploit floating-point DSPs in the Arria10 FPGA and multi-pumping feature of the M20K RAMs to build a dataflow-driven soft processor fabric for large graph workloads. In this paper, we introduce the idea of out-of-order node scheduling across a large number of local nodes (thousands) per processor by combining an efficient node tagging scheme along with leading-one detector circuits. We use a static one-time node labeling algorithm to sort nodes based on criticality to organize local memory inside each soft processor. This translates to a small ~6% memory overhead. When compared to a memory-expensive FIFO-based first-come-first-serve approach used in previous studies, we deliver up to 50% performance improvement while eliminating the cost of the FIFOs. On the Arria10 10AX115S board, we can create an overlay design of up to 300 processors connected by high bandwidth Hoplite NoC at frequencies up to 250MHz.


title: Combating Human Trafficking with Deep Multimodal Models

abstract: Human trafficking is a global epidemic affecting millions of people across the planet. Sex trafficking, the dominant form of human trafficking, has seen a significant rise mostly due to the abundance of escort websites, where human traffickers can openly advertise among at-will escort advertisements. In this paper, we take a major step in the automatic detection of advertisements suspected to pertain to human trafficking. We present a novel dataset called Trafficking-10k, with more than 10,000 advertisements annotated for this task. The dataset contains two sources of information per advertisement: text and images. For the accurate detection of trafficking advertisements, we designed and trained a deep multimodal model called the Human Trafficking Deep Network (HTDN).


title: Fundamental solutions for stationary Stokes systems with measurable coefficients

abstract: We establish the existence and the pointwise bound of the fundamental solution for the stationary Stokes system with measurable coefficients in the whole space $\mathbb{R}^d$, $d \ge 3$, under the assumption that weak solutions of the system are locally H\"older continuous. We also discuss the existence and the pointwise bound of the Green function for the Stokes system with measurable coefficients on $\Omega$, where $\Omega$ is an unbounded domain such that the divergence equation is solvable. Such a domain includes, for example, half space and an exterior domain.


title: MIDA: Multiple Imputation using Denoising Autoencoders

abstract: Missing data is a significant problem impacting all domains. State-of-the-art framework for minimizing missing data bias is multiple imputation, for which the choice of an imputation model remains nontrivial. We propose a multiple imputation model based on overcomplete deep denoising autoencoders. Our proposed model is capable of handling different data types, missingness patterns, missingness proportions and distributions. Evaluation on several real life datasets show our proposed model significantly outperforms current state-of-the-art methods under varying conditions while simultaneously improving end of the line analytics.


title: Polarization Shift Keying (PolarSK): System Scheme and Performance Analysis

abstract: Single-Radio-Frequency (RF) Multiple-Input-Multiple-Output (MIMO) systems such as the spatial modulation (SM) system and the space shift keying (SSK) system have been proposed to pursue a high spectral efficiency while keeping a low cost and complexity transceiver design. Currently, polarization domain resource has been introduced to the single-RF MIMO system to reduce the size of the transmit antenna array and provide 1 bit per channel use (bpcu) multiplexing gain. Nevertheless, the polarization domain resource still has the potential to provide a higher multiplexing gain in the polarized single-RF MIMO system. In this paper, we propose a generalized polarization shift keying (PolarSK) modulation scheme for a SIMO system that uses the polarization states in the dual-polarized transmit antenna as an information-bearing unit to increase the overall spectral efficiency. At the receive end, the maximum likelihood (ML) detector is employed to demodulate the received signal. A closed form union upper bound on the average bit error probability (ABEP) of PolarSK system with the optimum maximum likelihood (ML) receiver is deduced under fading channels. To reduce the computational complexity of the receiver, a linear successive interference cancellation (SIC) detection algorithm and a sphere-decoding (SD) detection algorithm are proposed. On the basis of analytic results and simulations, performances of the proposed PolarSK systems in terms of computational complexity and ABEP are analyzed. Numerical results show that the proposed PolarSK scheme performs better than state of the art dual-polarized/uni-polarized SM schemes.


title: Experimental Verification of the Universality of Magnetic-Field-Induced Bose-Einstein Condensation of Magnons

abstract: CsFeBr$_3$ is an $S\,{=}\,1$ hexagonal antiferromagnet that has a singlet ground state owing to its large easy-plane single-ion anisotropy. The critical behavior of the magnetic-field-induced phase transition for a magnetic field parallel to the $c$ axis, which can be described by the Bose-Einstein condensation (BEC) of magnons under the $U(1)$ symmetry, was investigated via magnetization and specific heat measurements down to 0.1$\,$K. For the specific heat measurement, we have developed a method of effectively suppressing the torque acting on a sample with strong anisotropy that uses the spin dimer compound Ba$_2$CoSi$_2$O$_6$Cl$_2$ with large and anisotropic Van Vleck paramagnetism. The temperature dependence of the transition field $H_{\rm c}(T)$ was found to follow the power-law $H_{\rm c}(T)\,{-}\,H_{\rm c}\,{\propto}\,T^{\phi}$ with a critical exponent of ${\phi}\,{=}\,1.50\,{\pm}\,0.02$ and critical field of $H_{\rm c}\,{=}\,2.60$ T. This result verifies the universality of the three-dimensional BEC of magnons described by ${\phi}_{\rm BEC}\,{=}\,3/2$.


title: Boundedness of $\mathbb{Q}$-Fano varieties with degrees and alpha-invariants bounded from below

abstract: We show that $\mathbb{Q}$-Fano varieties of fixed dimension with anti-canonical degrees and alpha-invariants bounded from below form a bounded family. As a corollary, K-semistable $\mathbb{Q}$-Fano varieties of fixed dimension with anti-canonical degrees bounded from below form a bounded family.


title: CMB Spectral Distortion Constraints on Thermal Inflation

abstract: Thermal inflation is a second epoch of exponential expansion at typical energy scales $V^{1/4} \sim 10^{6 \sim 8} \mathrm{GeV}$. If the usual primordial inflation is followed by thermal inflation, the primordial power spectrum is only modestly redshifted on large scales, but strongly suppressed on scales smaller than the horizon size at the beginning of thermal inflation, $k > k_{\rm b} = a_{\rm b} H_{\rm b}$. We calculate the spectral distortion of the cosmic microwave background generated by the dissipation of acoustic waves in this context. For $k_{\rm b} \ll 10^3 \mathrm{Mpc}^{-1}$, thermal inflation results in a large suppression of the $\mu$-distortion amplitude, predicting that it falls well below the standard value of $\mu \simeq 2\times 10^{-8}$. Thus, future spectral distortion experiments, similar to PIXIE, can place new limits on the thermal inflation scenario, constraining $k_{\rm b} \gtrsim 10^3 \mathrm{Mpc}^{-1}$ if $\mu \simeq 2\times 10^{-8}$ were found.


title: Quantifying non-monotonicity of functions and the lack of positivity in signed measures

abstract: In various research areas related to decision making, problems and their solutions frequently rely on certain functions being monotonic. In the case of non-monotonic functions, one would then wish to quantify their lack of monotonicity. In this paper we develop a method designed specifically for this task, including quantification of the lack of positivity, negativity, or sign-constancy in signed measures. We note relevant applications in Insurance, Finance, and Economics, and discuss some of them in detail.


title: ChineseFoodNet: A large-scale Image Dataset for Chinese Food Recognition

abstract: In this paper, we introduce a new and challenging large-scale food image dataset called "ChineseFoodNet", which aims to automatically recognizing pictured Chinese dishes. Most of the existing food image datasets collected food images either from recipe pictures or selfie. In our dataset, images of each food category of our dataset consists of not only web recipe and menu pictures but photos taken from real dishes, recipe and menu as well. ChineseFoodNet contains over 180,000 food photos of 208 categories, with each category covering a large variations in presentations of same Chinese food. We present our efforts to build this large-scale image dataset, including food category selection, data collection, and data clean and label, in particular how to use machine learning methods to reduce manual labeling work that is an expensive process. We share a detailed benchmark of several state-of-the-art deep convolutional neural networks (CNNs) on ChineseFoodNet. We further propose a novel two-step data fusion approach referred as "TastyNet", which combines prediction results from different CNNs with voting method. Our proposed approach achieves top-1 accuracies of 81.43% on the validation set and 81.55% on the test set, respectively. The latest dataset is public available for research and can be achieved at https://sites.google.com/view/chinesefoodnet.


title: Bootstrap experiments on higher dimensional CFTs

abstract: Recent programs on conformal bootstrap suggest an empirical relationship between the existence of non-trivial conformal field theories and non-trivial features such as a kink in the unitarity bound of conformal dimensions in the conformal bootstrap equations. We report the existene of non-trivial kinks in the unitarity bound of scalar operators in the adjoint representation of the $SU(N)$ symmetric conformal field theories. They have interesting properties (1) the kinks exist in $d<6$ dimensions (2) the location of kinks are when the unitarity bound hits the space-time dimension $d$ (3) there exists a "conformal window" of $N<N_*$, where $N_* \sim 15 $ in $d=4$ and $N_* \sim 20$ in $d=5$.


title: Tiered cloud storage via two-stage, latency-aware bidding

abstract: In cloud storage, the digital data is stored in logical storage pools, backed by heterogeneous physical storage media and computing infrastructure that are managed by a Cloud Service Provider (CSP). To balance the tradeoff between service performance and cost, CSPs often employ different storage tiers, for instance, cold storage and hot storage. Storing data in hot storage incurs high storage cost yet delivers low access latency, whereas cold storage is able to inexpensively store massive amounts of data and thus provides lower cost with higher latency. In this paper, we address a major challenge confronting the CSPs utilizing such tiered storage architecture - how to maximize their overall profit over a variety of storage tiers that offer distinct characteristics, as well as file placement and access request scheduling policies. To this end, we propose a scheme where the CSP offers a two-stage auction process for (a) requesting storage capacity, and (b) requesting accesses with latency requirements. Our two-stage bidding scheme provides a hybrid storage and access optimization framework with the objective of maximizing the CSP's total net profit over four dimensions: file acceptance decision, placement of accepted files, file access decision and access request scheduling policy. The proposed optimization is a mixed-integer nonlinear program that is hard to solve. We propose an efficient heuristic to relax the integer optimization and to solve the resulting nonlinear stochastic programs. The algorithm is evaluated under different scenarios and with different storage system parameters, and insightful numerical results are reported by comparing the proposed approach with other profit-maximization models. We see a profit increase of over 60% of our proposed method compared to other schemes in certain simulation scenarios.


title: On linear weak predictability with single point spectrum degeneracy

abstract: The paper studies properties of continuous time processes with spectrum degeneracy at a single point where their Fourier transforms vanish with a certain rate. It appears that these processes are linearly predictable in some weak sense, meaning that convolution integrals over future times can be approximated by causal convolutions over past times. The corresponding predicting kernels are time invariant, and they are presented explicitly in the frequency domain via their transfer functions. These predictors are "universal" meaning that they do not require to know details of the spectrum of the underlying processes; the same predictor can be used for the entire class of processes with a single point spectrum degeneracy. The predictors feature some robustness with respect to noise contamination.


title: Stiff fluid spike solutions from Bianchi type V seed solutions

abstract: In this paper we expand upon our previous work [1] by using the entire family of Bianchi type V stiff fluid solutions as seed solutions of the Stephani transformation. Among the new exact solutions generated, we observe a number of important physical phenomena. The most interesting phenomenon is exact solutions with intersecting spikes. Other interesting phenomena are solutions with saddle states and a close-to-FL epoch.


title: Computing an Approximately Optimal Agreeable Set of Items

abstract: We study the problem of finding a small subset of items that is \emph{agreeable} to all agents, meaning that all agents value the subset at least as much as its complement. Previous work has shown worst-case bounds, over all instances with a given number of agents and items, on the number of items that may need to be included in such a subset. Our goal in this paper is to efficiently compute an agreeable subset whose size approximates the size of the smallest agreeable subset for a given instance. We consider three well-known models for representing the preferences of the agents: ordinal preferences on single items, the value oracle model, and additive utilities. In each of these models, we establish virtually tight bounds on the approximation ratio that can be obtained by algorithms running in polynomial time.


title: A study of cyber security in hospitality industry- threats and countermeasures: case study in Reno, Nevada

abstract: The purpose of this study is to analyze cyber security and security practices of electronic information and network system, network threats, and techniques to prevent the cyber attacks in hotels. Helping the information technology directors and chief information officers (CIO) is the aim of this study to advance policy for security of electronic information in hotels and suggesting some techniques and tools to secure the computer networks. This research is completely qualitative while the case study and interviews have done in 5 random hotels in Reno, Nevada, United States of America. The interview has done with 50 hotel guests, 10 front desk employees, 3 IT manager and 2 assistant of General manager. The results show that hotels' cyber security is very low and hotels are very vulnerable in this regard and at the end, the implications and contribution of the study is mentioned.


title: Density Estimation for Geolocation via Convolutional Mixture Density Network

abstract: Nowadays, geographic information related to Twitter is crucially important for fine-grained applications. However, the amount of geographic information avail- able on Twitter is low, which makes the pursuit of many applications challenging. Under such circumstances, estimating the location of a tweet is an important goal of the study. Unlike most previous studies that estimate the pre-defined district as the classification task, this study employs a probability distribution to represent richer information of the tweet, not only the location but also its ambiguity. To realize this modeling, we propose the convolutional mixture density network (CMDN), which uses text data to estimate the mixture model parameters. Experimentally obtained results reveal that CMDN achieved the highest prediction performance among the method for predicting the exact coordinates. It also provides a quantitative representation of the location ambiguity for each tweet that properly works for extracting the reliable location estimations.


title: High-Level Concepts for Affective Understanding of Images

abstract: This paper aims to bridge the affective gap between image content and the emotional response of the viewer it elicits by using High-Level Concepts (HLCs). In contrast to previous work that relied solely on low-level features or used convolutional neural network (CNN) as a black-box, we use HLCs generated by pretrained CNNs in an explicit way to investigate the relations/associations between these HLCs and a (small) set of Ekman's emotional classes. As a proof-of-concept, we first propose a linear admixture model for modeling these relations, and the resulting computational framework allows us to determine the associations between each emotion class and certain HLCs (objects and places). This linear model is further extended to a nonlinear model using support vector regression (SVR) that aims to predict the viewer's emotional response using both low-level image features and HLCs extracted from images. These class-specific regressors are then assembled into a regressor ensemble that provide a flexible and effective predictor for predicting viewer's emotional responses from images. Experimental results have demonstrated that our results are comparable to existing methods, with a clear view of the association between HLCs and emotional classes that is ostensibly missing in most existing work.


title: An $O(n\log n)$-Time Algorithm for the k-Center Problem in Trees

abstract: We consider a classical k-center problem in trees. Let T be a tree of n vertices and every vertex has a nonnegative weight. The problem is to find k centers on the edges of T such that the maximum weighted distance from all vertices to their closest centers is minimized. Megiddo and Tamir (SIAM J. Comput., 1983) gave an algorithm that can solve the problem in $O(n\log^2 n)$ time by using Cole's parametric search. Since then it has been open for over three decades whether the problem can be solved in $O(n\log n)$ time. In this paper, we present an $O(n\log n)$ time algorithm for the problem and thus settle the open problem affirmatively.


title: Optimizing Pilot Overhead for Ultra-Reliable Short-Packet Transmission

abstract: In this paper we optimize the pilot overhead for ultra-reliable short-packet transmission and investigate the dependence of this overhead on packet size and error probability. In particular, we consider a point-to-point communication in which one sensor sends messages to a central node, or base-station, over AWGN with Rayleigh fading channel. We formalize the optimization in terms of approximate achievable rates at a given block length, pilot length, and error probability. This leads to more accurate pilot overhead optimization. Simulation results show that it is important to take into account the packet size and the error probability when optimizing the pilot overhead.


title: Parametrized Morse Theory and Positive Scalar Curvature

abstract: We use the cobordism category constructed in arXiv:1703.01047 to the study the homotopy type of the space of positive scalar curvature metrics on a spin manifold of dimension > 4. Our methods give an alternative proof and extension of a recent theorem of Botvinnik, Ebert, and Randal-Williams from arXiv:1411.7408.


title: Adaptive Traffic Signal Control: Deep Reinforcement Learning Algorithm with Experience Replay and Target Network

abstract: Adaptive traffic signal control, which adjusts traffic signal timing according to real-time traffic, has been shown to be an effective method to reduce traffic congestion. Available works on adaptive traffic signal control make responsive traffic signal control decisions based on human-crafted features (e.g. vehicle queue length). However, human-crafted features are abstractions of raw traffic data (e.g., position and speed of vehicles), which ignore some useful traffic information and lead to suboptimal traffic signal controls. In this paper, we propose a deep reinforcement learning algorithm that automatically extracts all useful features (machine-crafted features) from raw real-time traffic data and learns the optimal policy for adaptive traffic signal control. To improve algorithm stability, we adopt experience replay and target network mechanisms. Simulation results show that our algorithm reduces vehicle delay by up to 47% and 86% when compared to another two popular traffic signal control algorithms, longest queue first algorithm and fixed time control algorithm, respectively.


title: Reconstruction of a source domain from the Cauchy data

abstract: We consider an inverse source problem for the Helmholtz equation in a bounded domain. The problem is to reconstruct the shape of the support of a source term from the Cauchy data on the boundary of the solution of the governing equation. We prove that if the shape is a polygon, one can calculate its support function from such data. An application to the inverse boundary value problem is also included.


title: What Can Help Pedestrian Detection?

abstract: Aggregating extra features has been considered as an effective approach to boost traditional pedestrian detection methods. However, there is still a lack of studies on whether and how CNN-based pedestrian detectors can benefit from these extra features. The first contribution of this paper is exploring this issue by aggregating extra features into CNN-based pedestrian detection framework. Through extensive experiments, we evaluate the effects of different kinds of extra features quantitatively. Moreover, we propose a novel network architecture, namely HyperLearner, to jointly learn pedestrian detection as well as the given extra feature. By multi-task training, HyperLearner is able to utilize the information of given features and improve detection performance without extra inputs in inference. The experimental results on multiple pedestrian benchmarks validate the effectiveness of the proposed HyperLearner.


title: Deep Descriptor Transforming for Image Co-Localization

abstract: Reusable model design becomes desirable with the rapid expansion of machine learning applications. In this paper, we focus on the reusability of pre-trained deep convolutional models. Specifically, different from treating pre-trained models as feature extractors, we reveal more treasures beneath convolutional layers, i.e., the convolutional activations could act as a detector for the common object in the image co-localization problem. We propose a simple but effective method, named Deep Descriptor Transforming (DDT), for evaluating the correlations of descriptors and then obtaining the category-consistent regions, which can accurately locate the common object in a set of images. Empirical studies validate the effectiveness of the proposed DDT method. On benchmark image co-localization datasets, DDT consistently outperforms existing state-of-the-art methods by a large margin. Moreover, DDT also demonstrates good generalization ability for unseen categories and robustness for dealing with noisy data.


title: On toric face rings I

abstract: We construct an explicit Deligne - Du Bois complex for algebraic varieties which are locally analytically isomorphic to the spectrum of a toric face ring.


title: On toric face rings II

abstract: We introduce the class of weakly log canonical singularities, a natural generalization of semi-log canonical singularities. Toric varieties (associated to toric face rings, possibly non-normal or reducible) which have weakly (semi-) log canonical singularities are classified. In the toric case, we discuss residues to lc centers of codimension one or higher.


title: Covariance structure associated with an equality between two general ridge estimators

abstract: In a general linear model, this paper derives a necessary and sufficient condition under which two general ridge estimators coincide with each other. The condition is given as a structure of the dispersion matrix of the error term. Since the class of estimators considered here contains linear unbiased estimators such as the ordinary least squares estimator and the best linear unbiased estimator, our result can be viewed as a generalization of the well-known theorems on the equality between these two estimators, which have been fully studied in the literature. Two related problems are also considered: equality between two residual sums of squares, and classification of dispersion matrices by a perturbation approach.


title: Integral and measure-turnpike properties for infinite-dimensional optimal control systems

abstract: We first derive a general integral-turnpike property around a set for infinite-dimensional non-autonomous optimal control problems with any possible terminal state constraints, under some appropriate assumptions. Roughly speaking, the integral-turnpike property means that the time average of the distance from any optimal trajectory to the turnpike set con- verges to zero, as the time horizon tends to infinity. Then, we establish the measure-turnpike property for strictly dissipative optimal control systems, with state and control constraints. The measure-turnpike property, which is slightly stronger than the integral-turnpike property, means that any optimal (state and control) solution remains essentially, along the time frame, close to an optimal solution of an associated static optimal control problem, except along a subset of times that is of small relative Lebesgue measure as the time horizon is large. Next, we prove that strict strong duality, which is a classical notion in optimization, implies strict dissipativity, and measure-turnpike. Finally, we conclude the paper with several comments and open problems.


title: Insight into the temperature dependent properties of the ferromagnetic Kondo lattice YbNiSn

abstract: Analyzing temperature dependent photoemission (PE) data of the ferromagnetic Kondo-lattice (KL) system YbNiSn in the light of the Periodic Anderson model (PAM) we show that the KL behavior is not limited to temperatures below a temperature T_K, defined empirically from resistivity and specificic heat measurements. As characteristic for weakly hybridized Ce and Yb systems, the PE spectra reveal a 4f-derived Fermi level peak, which reflects contributions from the Kondo resonance and its crystal electric field (CEF) satellites. In YbNiSn this peak has an unusual temperature dependence: With decreasing temperature a steady linear increase of intensity is observed which extends over a large interval ranging from 100 K down to 1 K without showing any peculiarities in the region of T_K ~ TC= 5.6 K. In the light of the single-impurity Anderson model (SIAM) this intensity variation reflects a linear increase of 4f occupancy with decreasing temperature, indicating an onset of Kondo screening at temperatures above 100 K. Within the PAM this phenomenon could be described by a non-Fermi liquid like T- linear damping of the self-energy which accounts phenomenologically for the feedback from the closely spaced CEF-states.


title: Optimal shape design for 2D heat equations in large time

abstract: In this paper, we investigate the asymptotic behavior of optimal designs for the shape optimization of 2D heat equations in long time horizons. The control is the shape of the domain on which heat diffuses. The class of 2D admissible shapes is the one introduced by Sver\'{a}k, of all open subsets of a given bounded open set, whose complementary sets have a uniformly bounded number of connected components. Using a $\Gamma$-convergence approach, we establish that the parabolic optimal designs converge as the length of the time horizon tends to infinity, in the complementary Hausdorff topology, to an optimal design for the corresponding stationary elliptic equation.


title: Compressive response and helix formation of a semi flexible polymer confined in a nanochannel

abstract: Configurations of a single semiflexible polymer is studied when it is pushed into a nanochannel in the case where the polymer persistence length $l_p$ is much longer than the channel diameter $D$, i.e. $l_p/D \gg 1$. Using numerical simulations, we show that the polymer undergoes a sequence of recurring structural transitions upon longitudinal compression, i.e. random deflection along the channel, helix going around the channel wall, double-fold random deflection, double-fold helix, etc. We find that the helix transition can be understood as buckling of deflection segments, and the initial helix formation takes place at very small compression with no appreciable weak compression regime of the random deflection polymer.


title: "Convex Until Proven Guilty": Dimension-Free Acceleration of Gradient Descent on Non-Convex Functions

abstract: We develop and analyze a variant of Nesterov's accelerated gradient descent (AGD) for minimization of smooth non-convex functions. We prove that one of two cases occurs: either our AGD variant converges quickly, as if the function was convex, or we produce a certificate that the function is "guilty" of being non-convex. This non-convexity certificate allows us to exploit negative curvature and obtain deterministic, dimension-free acceleration of convergence for non-convex functions. For a function $f$ with Lipschitz continuous gradient and Hessian, we compute a point $x$ with $\|\nabla f(x)\| \le \epsilon$ in $O(\epsilon^{-7/4} \log(1/ \epsilon) )$ gradient and function evaluations. Assuming additionally that the third derivative is Lipschitz, we require only $O(\epsilon^{-5/3} \log(1/ \epsilon) )$ evaluations.


title: Inductive Freeness of Ziegler's Canonical Multiderivations for Reflection Arrangements

abstract: Let $A$ be a free hyperplane arrangement. In 1989, Ziegler showed that the restriction $A''$ of $A$ to any hyperplane endowed with the natural multiplicity is then a free multiarrangement. We initiate a study of the stronger freeness property of inductive freeness for these canonical free multiarrangements and investigate them for the underlying class of reflection arrangements. More precisely, let $A = A(W)$ be the reflection arrangement of a complex reflection group $W$. By work of Terao, each such reflection arrangement is free. Thus so is Ziegler's canonical multiplicity on the restriction $A''$ of $A$ to a hyperplane. We show that the latter is inductively free as a multiarrangement if and only if $A''$ itself is inductively free.


title: Typical ranks of semi-tall real 3-tensors

abstract: Let $m$, $n$ and $p$ be integers with $3\leq m\leq n$ and $(m-1)(n-1)+1\leq p\leq (m-1)m$. We showed in previous papers that if $p\geq (m-1)(n-1)+2$, then typical ranks of $p\times n\times m$-tensors over the real number field are $p$ and $p+1$ if and only if there exists a nonsingular bilinear map $\mathbb{R}^m\times \mathbb{R}^n\to\mathbb{R}^{mn-p}$. We also showed that the "if" part also valid in the case where $p=(m-1)(n-1)+1$. In this paper, we consider the case where $p=(m-1)(n-1)+1$ and show that the typical ranks of $p\times n\times m$-tensors over the real number field are $p$ and $p+1$ in several cases including the case where there is no nonsingular bilinear map $\mathbb{R}^m\times \mathbb{R}^n\to\mathbb{R}^{mn-p}$. In particular, we show that the "only if" part of the above mentioned fact does not valid for the case $p=(m-1)(n-1)+1$.


title: Dynamical pruning of the multiconfiguration time-dependent Hartree method (DP-MCTDH): An efficient approach for multidimensional quantum dynamics

abstract: We present two strategies for combining dynamical pruning with the multiconfiguration time-dependent Hartree method (DP-MCTDH), where dynamical pruning means on-the-fly selection of relevant basis functions. The first strategy prunes the primitive basis that represents the single-particle functions (SPFs). This is useful for smaller systems that require many primitive basis functions per degree of freedom, as we will illustrate for NO$_2$. Furthermore, this allows for higher-dimensional mode combination and partially lifts the sum-of-product-form requirement onto the structure of the Hamiltonian, as we illustrate for nonadiabatic 24-dimensional pyrazine. The second strategy prunes the set of configurations of SPF at each time step. We show that this strategy yields significant speed-ups with factors between 5 and 50 in computing time, making it competitive with the multilayer MCTDH method.


title: Revisiting the oscillations in the CMB angular power spectra at $\ell\sim120$ in the Planck2015 data

abstract: While the observed nearly scale-invariant initial power spectrum is regarded as one of the favorable evidence of the standard inflationary cosmology, precision observations of the Cosmic Microwave Background (CMB) anisotropies also suggest possible existence of nontrivial features such as those observed around multipoles $\ell\sim120$ by WMAP. Here, we examine the Planck data and investigate the effects of these features on the cosmological parameter estimation performing the Markov-Chain Monte-Carlo (MCMC) analysis. We find that the features exist in the Planck data at the same position as the case of the WMAP data but they do not affect the cosmological parameter estimation significantly.


title: Assessing the progress of trapped-ion processors towards fault-tolerant quantum computation

abstract: A quantitative assessment of the progress of small prototype quantum processors towards fault-tolerant quantum computation is a problem of current interest in experimental and theoretical quantum information science. We introduce a necessary and fair criterion for quantum error correction (QEC), which must be achieved in the development of these quantum processors before their sizes are sufficiently big to consider the well-known QEC threshold. We apply this criterion to benchmark the ongoing effort in implementing QEC with topological color codes using trapped-ion quantum processors and, more importantly, to guide the future hardware developments that shall be required in order to demonstrate beneficial QEC with small topological quantum codes. In doing so, we present a thorough description of a realistic trapped-ion toolbox for QEC, and a physically-motivated error model that goes beyond standard simplifications in the QEC literature. Our large-scale numerical analysis shows that two-species trapped-ion crystals in high-optical aperture segmented traps, with the improvements hereby described, are a very promising candidate for fault-tolerant quantum computation.


title: Scene Text Eraser

abstract: The character information in natural scene images contains various personal information, such as telephone numbers, home addresses, etc. It is a high risk of leakage the information if they are published. In this paper, we proposed a scene text erasing method to properly hide the information via an inpainting convolutional neural network (CNN) model. The input is a scene text image, and the output is expected to be text erased image with all the character regions filled up the colors of the surrounding background pixels. This work is accomplished by a CNN model through convolution to deconvolution with interconnection process. The training samples and the corresponding inpainting images are considered as teaching signals for training. To evaluate the text erasing performance, the output images are detected by a novel scene text detection method. Subsequently, the same measurement on text detection is utilized for testing the images in benchmark dataset ICDAR2013. Compared with direct text detection way, the scene text erasing process demonstrates a drastically decrease on the precision, recall and f-score. That proves the effectiveness of proposed method for erasing the text in natural scene images.


title: Concurrence of form and function in developing networks and its role in synaptic pruning

abstract: A fundamental question in neuroscience is how structure and function of neural systems are related. We study this interplay by combining a familiar auto-associative neural network with an evolving mechanism for the birth and death of synapses. A feedback loop then arises leading to two qualitatively different types of behaviour. In one, the network structure becomes heterogeneous and dissasortative, and the system displays good memory performance; furthermore, the structure is optimised for the particular memory patterns stored during the process. In the other, the structure remains homogeneous and incapable of pattern retrieval. These findings provide an inspiring picture of brain structure and dynamics, are compatible with experimental results on early brain development, and may help to explain synaptic pruning. Other evolving networks -- such as those of protein interaction -- might share the basic ingredients for this feedback loop and other questions, and indeed many of their structural features are as predicted by our model.


title: Localized States in Quantum Field Theory

abstract: Localized states in relativistic quantum field theories are usually considered as problematic, because of their seemingly strange (non covariant) behavior under Lorentz transformations, and because they can spread faster than light. We point out that a careful quantum field theoretic analysis in which we distinguish between basis position states and wave packet states clarifies the issue of Lorentz covariance. The issue of causality is resolved by observing that superluminal transmission of information cannot be achieved by such wave packets. Within this context it follows that the Reef-Schlieder theorem, which proves that localized states can exhibit influence on each other over space like distances, does not imply that such states cannot exist in quantum field theory.


title: Network Coherence Time Matters - Aligned Image Sets and the Degrees of Freedom of Interference Networks with Finite Precision CSIT and Perfect CSIR

abstract: This work obtains the first bound that is provably sensitive to network coherence time, i.e., coherence time in an interference network where all channels experience the same coherence patterns. This is accomplished by a novel adaptation of the aligned image sets bound, and settles various open problems noted previously by Naderi and Avestimehr and by Gou et al. For example, a necessary and sufficient condition is obtained for the optimality of 1/2 DoF per user in a partially connected interference network where the channel state information at the receivers (CSIR) is perfect, the channel state information at the transmitters (CSIT) is instantaneous but limited to finite precision, and the network coherence time is T_c= 1. The surprising insight that emerges is that even with perfect CSIR and instantaneous finite precision CSIT, network coherence time matters, i.e., it has a DoF impact.


title: Dimension-Dependent Upper Bounds for Grobner Bases

abstract: We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable position or quasi stable position. Furthermore, we exhibit new dimension- (and depth-)dependent upper bounds for the Castelnuovo-Mumford regularity and the degrees of the elements of the reduced Grobner basis (w.r.t. the degree reverse lexicographical ordering) of a homogeneous ideal in these positions.


title: D2D-Based Grouped Random Access to Mitigate Mobile Access Congestion in 5G Sensor Networks

abstract: The Fifth Generation (5G) wireless service of sensor networks involves significant challenges when dealing with the coordination of ever-increasing number of devices accessing shared resources. This has drawn major interest from the research community as many existing works focus on the radio access network congestion control to efficiently manage resources in the context of device-to-device (D2D) interaction in huge sensor networks. In this context, this paper pioneers a study on the impact of D2D link reliability in group-assisted random access protocols, by shedding the light on beneficial performance and potential limitations of approaches of this kind against tunable parameters such as group size, number of sensors and reliability of D2D links. Additionally, we leverage on the association with a Geolocation Database (GDB) capability to assist the grouping decisions by drawing parallels with recent regulatory-driven initiatives around GDBs and arguing benefits of the suggested proposal. Finally, the proposed method is approved to significantly reduce the delay over random access channels, by means of an exhaustive simulation campaign.


title: Simplicity of Ore monoid rings

abstract: Given a non-associative unital ring $R$, a monoid $G$ and a set $\pi$ of additive maps $R \rightarrow R$, we introduce the Ore monoid ring $R[\pi ; G]$, and, in a special case, the differential monoid ring. We show that these structures generalize, in a natural way, not only the classical Ore extensions and differential polynomial rings, but also the constructions, introduced by Cojuhari, defined by so-called $D$-structures $\pi$. Moreover, for commutative monoids, we give necessary and sufficient conditions for differential monoid rings to be simple. We use this in a special case to obtain new and shorter proofs of classical simplicity results for differential polynomial rings in several variables previously obtained by Voskoglou and Malm by other means. We also give examples of new Ore-like structures defined by finite commutative monoids.


title: On the full asymptotic of analytic torsion

abstract: The purpose of this article is to study the asymptotic expansion of Ray-Singer analytic tosion associated with increasing powers p of a given positive line bundle. Here we prove that the asymptotic expansion associated to a manifold contains only the terms of the form $p^{n-i} \log p, p^{n-i}$ for $i$-natural. For the two leading terms it was proved by Bismut and Vasserot in 1989. We will calculate the coefficients of the terms $p^{n-1} \log p, p^{n-1}$ in the Kahler case and thus answer the question posed in the recent work of Klevtsov, Ma, Marinescu and Wiegmann about quantuum Hall effect. Our second result concerns the general asymptotic expansion of Ray-Singer analytic torsion for an orbifold.


title: The adaptive interpolation method: A simple scheme to prove replica formulas in Bayesian inference

abstract: In recent years important progress has been achieved towards proving the validity of the replica predictions for the (asymptotic) mutual information (or "free energy") in Bayesian inference problems. The proof techniques that have emerged appear to be quite general, despite they have been worked out on a case-by-case basis. Unfortunately, a common point between all these schemes is their relatively high level of technicality. We present a new proof scheme that is quite straightforward with respect to the previous ones. We call it the adaptive interpolation method because it can be seen as an extension of the interpolation method developped by Guerra and Toninelli in the context of spin glasses, with an interpolation path that is adaptive. In order to illustrate our method we show how to prove the replica formula for three non-trivial inference problems. The first one is symmetric rank-one matrix estimation (or factorisation), which is the simplest problem considered here and the one for which the method is presented in full details. Then we generalize to symmetric tensor estimation and random linear estimation. We believe that the present method has a much wider range of applicability and also sheds new insights on the reasons for the validity of replica formulas in Bayesian inference.


title: On stable solutions for boundary reactions: a De Giorgi-type result in dimension 4+1

abstract: We prove that every bounded stable solution of \[ (-\Delta)^{1/2} u + f(u) =0 \qquad \mbox{in }\mathbb R^3\] is a 1D profile, i.e., $u(x)= \phi(e\cdot x)$ for some $e\in \mathbb S^2$, where $\phi:\mathbb R\to \mathbb R$ is a nondecreasing bounded stable solution in dimension one. This proves the De Giorgi conjecture in dimension $4$ for the half-Laplacian. Equivalently, we give a positive answer to the De Giorgi conjecture for boundary reactions in $\mathbb R^{d+1}_+=\mathbb R^{d+1}\cap \{x_{d+1}\geq 0\}$ when $d = 4$, by proving that all critical points of $$ \int_{\{x_{d+1\geq 0}\}} \frac12 |\nabla U|^2 \,dx\, dx_{d+1} + \int_{\{x_{d+1}=0\}} \frac 1 4 (1-U^2)^2 \,dx $$ that are monotone in $\mathbb R^d$ (that is, up to a rotation, $\partial_{x_d} U>0$) are one dimensional. Our result is analogue to the fact that stable embedded minimal surfaces in $\mathbb R^3$ are planes. Note that the corresponding result about stable solutions to the classical Allen-Cahn equation (namely, when the half-Laplacian is replaced by the classical Laplacian) is still open.


title: Face Recognition Machine Vision System Using Eigenfaces

abstract: Face Recognition is a common problem in Machine Learning. This technology has already been widely used in our lives. For example, Facebook can automatically tag people's faces in images, and also some mobile devices use face recognition to protect private security. Face images comes with different background, variant illumination, different facial expression and occlusion. There are a large number of approaches for the face recognition. Different approaches for face recognition have been experimented with specific databases which consist of single type, format and composition of image. Doing so, these approaches don't suit with different face databases. One of the basic face recognition techniques is eigenface which is quite simple, efficient, and yields generally good results in controlled circumstances. So, this paper presents an experimental performance comparison of face recognition using Principal Component Analysis (PCA) and Normalized Principal Component Analysis (NPCA). The experiments are carried out on the ORL (ATT) and Indian face database (IFD) which contain variability in expression, pose, and facial details. The results obtained for the two methods have been compared by varying the number of training images. MATLAB is used for implementing algorithms also.


title: Relativistic coupled-cluster theory analysis of unusually large correlation effects in the determination of $g_j$ factors in Ca$^+$

abstract: We investigate roles of electron correlation effects in the determination of the $g_j$ factors of the $4s ~ ^2S_{1/2}$, $4p ~ ^2P_{1/2}$, $4p ~ ^2P_{3/2}$, $3d ~ ^2D_{3/2}$, and $3d ~ ^2D_{5/2}$ states, representing to different parities and angular momenta, of the Ca$^+$ ion. Correlation contributions are highlighted with respect to the mean-field values evaluated using the Dirac-Hartree-Fock method, relativistic second order many-body theory, and relativistic coupled-cluster (RCC) theory with the singles and doubles approximation considering only the linear terms and also accounting for all the non-linear terms. This shows that it is difficult to achieve reasonably accurate results employing an approximated perturbative approach. We also find that contributions through the non-linear terms and higher-level excitations such as triple excitations, estimated perturbatively in the RCC method, are found to be crucial to attain precise values of the $g_j$ factors in the considered states of Ca$^+$ ion.


title: Time-dependent population imaging for solid high harmonic generation

abstract: We propose an intuitive method, called time-dependent population imaging (TDPI), to map the dynamical processes of high harmonic generation (HHG) in solids by solving the time-dependent Schr\"{o}dinger equation (TDSE). It is shown that the real-time dynamical characteristics of HHG in solids, such as the instantaneous photon energies of emitted harmonics, can be read directly from the energy-resolved population oscillations of electrons in the TDPIs. Meanwhile, the short and long trajectories of solid HHG are illustrated clearly from TDPI. By using the TDPI, we also investigate the effects of carrier-envelope phase (CEP) in few-cycle pulses and intuitively demonstrate the HHG dynamics driven by two-color fields. Our results show that the TDPI provides a powerful tool to study the ultrafast dynamics in strong fields for various laser-solid configurations and gain an insight into HHG processes in solids.


title: Avoiding disentanglement of multipartite entangled optical beams with a correlated noisy channel

abstract: A quantum communication network can be constructed by distributing a multipartite entangled state to space-separated nodes. Entangled optical beams with highest flying speed and measurable brightness can be used as carriers to convey information in quantum communication networks. Losses and noises existing in real communication channels will reduce or even totally destroy entanglement. The phenomenon of disentanglement will result in the complete failure of quantum communication. Here, we present the experimental demonstrations on the disentanglement and the entanglement revival of tripartite entangled optical beams used in a quantum network. We discover that symmetric tripartite entangled optical beams are robust in pure lossy but noiseless channels. While in a noisy channel the excess noise will lead to the disentanglement and the destroyed entanglement can be revived by the use of a correlated noisy channel (non-Markovian environment). The presented results provide useful technical references for establishing quantum networks.


title: A local ensemble transform Kalman particle filter for convective scale data assimilation

abstract: Ensemble data assimilation methods such as the Ensemble Kalman Filter (EnKF) are a key component of probabilistic weather forecasting. They represent the uncertainty in the initial conditions by an ensemble which incorporates information coming from the physical model with the latest observations. High-resolution numerical weather prediction models ran at operational centers are able to resolve non-linear and non-Gaussian physical phenomena such as convection. There is therefore a growing need to develop ensemble assimilation algorithms able to deal with non-Gaussianity while staying computationally feasible. In the present paper we address some of these needs by proposing a new hybrid algorithm based on the Ensemble Kalman Particle Filter. It is fully formulated in ensemble space and uses a deterministic scheme such that it has the ensemble transform Kalman filter (ETKF) instead of the stochastic EnKF as a limiting case. A new criterion for choosing the proportion of particle filter and ETKF update is also proposed. The new algorithm is implemented in the COSMO framework and numerical experiments in a quasi-operational convective-scale setup are conducted. The results show the feasibility of the new algorithm in practice and indicate a strong potential for such local hybrid methods, in particular for forecasting non-Gaussian variables such as wind and hourly precipitation.


title: Implications of Vector Boson Scattering Unitarity in Composite Higgs Models

abstract: The strong nature of Composite Higgs models manifests at high energies through the growing behavior of the scattering amplitudes of longitudinally polarized weak bosons that leads to the formation of composite resonances as well as non-resonant strong effects. In this work the unitarity of these scattering amplitudes is used as a tool to assess the profile of the composite spectrum of the theory, including non-resonant enhancements, vector resonances and the CP-even scalar excitation. These three signatures are then studied in realistic scattering processes at hadron colliders, aiming to estimate the potential to exclude dynamically motivated scenarios of Composite Higgs models.


title: Erratum to: Medial axis and singularities

abstract: We correct one erroneous statement made in our recent paper "Medial axis and singularities".


title: Unspanned Stochastic Volatility in the Multi-factor CIR Model

abstract: Empirical evidence suggests that fixed income markets exhibit unspanned stochastic volatility (USV), that is, that one cannot fully hedge volatility risk solely using a portfolio of bonds. While [1] showed that no two-factor Cox-Ingersoll-Ross (CIR) model can exhibit USV, it has been unknown to date whether CIR models with more than two factors can exhibit USV or not. We formally review USV and relate it to bond market incompleteness. We provide necessary and sufficient conditions for a multi-factor CIR model to exhibit USV. We then construct a class of three-factor CIR models that exhibit USV. This answers in the affirmative the above previously open question. We also show that multi-factor CIR models with diagonal drift matrix cannot exhibit USV.


title: Nonlinear evolution of short-wavelength torsional Alfven waves

abstract: We analyse nonlinear evolution of torsional Alfv\'en waves in a straight magnetic flux tube filled in with a low-$\beta$ plasma, and surrounded with a plasma of lower density. Such magnetic tubes model, in particular, a segment of a coronal loop or a polar plume. The wavelength is taken comparable to the tube radius. We perform numerical simulation of the wave propagation using ideal magnetohydrodynamics. We find that a torsional wave nonlinearly induces three kinds of compressive flows: the parallel flow at the Alfv\'en speed, that constitutes a bulk plasma motion along the magnetic field, the tube wave, and also transverse flows in the radial direction, associated with sausage fast magnetoacoustic modes. In addition, nonlinear torsional wave steepens and its propagation speed increases. The latter effect leads to the progressive distortion of torsional wave front, i.e. nonlinear phase mixing. Because of the intrinsic non-uniformity of the torsional wave amplitude across the tube radius, the nonlinear effects are more pronounced in regions with higher wave amplitude. They are always absent at the axes of the flux tube. In the case of a linear radial profile of the wave amplitude, the nonlinear effects are localised in an annulus region near the tube boundary. Thus, the parallel compressive flows driven by torsional Alfv\'en waves in the solar and stellar coronae, are essentially non-uniform in the perpendicular direction. The presence of additional sinks for the wave energy reduces the efficiency of the nonlinear parallel cascade in torsional Alfv\'en waves.


title: Mumford-Roitman argument on families

abstract: The aim of this note is to show that the properties like motivic decomposability, Chow theoretic decomposition of the diagonal etc. happens for the special member of a family if it happens for a general member of the family.


title: On the Strominger system and holomorphic deformations

abstract: We show that the property of existence of solution to the Strominger system in dimension six is neither open nor closed under holomorphic deformations of the complex structure. These results are obtained both in the case of positive slope parameter as well as in the case of negative slope parameter in the anomaly cancellation equation.


title: Simple fully non-local density functionals for the electronic repulsion energy

abstract: From a simplified version of the mathematical structure of the strong coupling limit of the exact exchange-correlation functional, we construct an approximation for the electronic repulsion energy at physical coupling strength, which is fully non-local. This functional is self-interaction free and yields energy densities within the definition of the electrostatic potential of the exchange-correlation hole that are locally accurate and have the correct asymptotic behavior. The model is able to capture strong correlation effects that arise from chemical bond dissociation, without relying on error cancellation. These features, which are usually missed by standard DFT functionals, are captured by the highly nonlocal structure, which goes beyond the Jacob's ladder framework for functional construction, by using integrals of the density as the key ingredient. Possible routes for obtaining the full exchange-correlation functional by recovering the missing kinetic component of the correlation energy are also implemented and discussed.


title: Deviation and precession effects in the field of a weak gravitational wave

abstract: Deviation and precession effects of a bunch of spinning particles in the field of a weak gravitational plane wave are studied according to the Mathisson-Papapetrou-Dixon (MPD) model. Before the passage of the wave the particles are at rest with associated spin vector aligned along a given direction with constant magnitude. The interaction with the gravitational wave causes the particles to keep moving on the 2-plane orthogonal to the direction of propagation of the wave, with the transverse spin vector undergoing oscillations around the initial orientation. The transport equations for both the deviation vector an spin vector between two neighboring world lines of such a congruence are then solved by a suitable extension of the MPD model off the spinning particle's world line. In order obtain measurable physical quantities a "laboratory" has been set up by constructing a Fermi coordinate system attached to a reference world line. The {\it exact} transformation between TT coordinates and Fermi coordinates is derived too.


title: High-Mass Star Formation in the Outer Scutum-Centaurus Arm

abstract: The Outer Scutum-Centaurus (OSC) spiral arm is the most distant molecular spiral arm in the Milky Way, but until recently little was known about this structure. Discovered by Dame and Thaddeus (2011), the OSC lies $\sim$15 kpc from the Galactic Center. Due to the Galactic warp, it rises to nearly 4$^{\circ}$ above the Galactic Plane in the first Galactic quadrant, leaving it unsampled by most Galactic plane surveys. Here we observe HII region candidates spatially coincident with the OSC using the Very Large Array to image radio continuum emission from 65 targets and the Green Bank Telescope to search for ammonia and water maser emission from 75 targets. This sample, drawn from the WISE Catalog of Galactic HII Regions, represents every HII region candidate near the longitude-latitude (l,v) locus of the OSC. Coupled with their characteristic mid-infrared morphologies, detection of radio continuum emission strongly suggests that a target is a bona fide HII region. Detections of associated ammonia or water maser emission allow us to derive a kinematic distance and determine if the velocity of the region is consistent with that of the OSC. Nearly 60% of the observed sources were detected in radio continuum, and over 20% have ammonia or water maser detections. The velocities of these sources mainly place them beyond the Solar orbit. These very distant high-mass stars have stellar spectral types as early as O4. We associate high-mass star formation at 2 new locations with the OSC, increasing the total number of detected HII regions in the OSC to 12.


title: On an integral formula for Fredholm determinants related to pairs of spectral projections

abstract: We consider Fredholm determinants of the form identity minus product of spectral projections corresponding to isolated parts of the spectrum of a pair of self-adjoint operators. We show an identity relating such determinants to an integral over the spectral shift function in the case of a rank-one perturbation. More precisely, we prove $$ -\ln \left(\det \big(\mathbf{1} -\mathbf{1} _{I}(A) \mathbf{1}_{\mathbb R\backslash I}(B)\mathbf{1}_{I}(A)\big) \right) = \int_I \text{d} x \int_{\mathbb R\backslash I} \text{d} y\, \frac{\xi(x)\xi(y)}{(y-x)^2}, $$ where $\mathbf{1}_J (\cdot)$ denotes the spectral projection of a self-adjoint operator on a set $J\in \text{Borel}(\mathbb R)$. The operators $A$ and $B$ are self-adjoint, bounded from below and differ by a rank-one perturbation and $\xi$ denotes the corresponding spectral shift function. The set $I$ is a union of intervals on the real line such that its boundary lies in the resolvent set of $A$ and $B$ and such that the spectral shift function vanishes there i.e. $I$ contains isolated parts of the spectrum of $A$ and $B$. We apply this formula to the subspace perturbation problem.