title: Direct Observation of Entropic Stabilization of bcc Crystals Near Melting

abstract: Crystals with low latent heat are predicted to melt from an entropically stabilized body-centered cubic symmetry. At this weakly first-order transition, strongly correlated fluctuations are expected to emerge, which could change the nature of the transition. Here we show how large fluctuations stabilize bcc crystals formed from charged colloids, giving rise to strongly power-law correlated heterogeneous dynamics. Moreover, we find that significant nonaffine particle displacements lead to a vanishing of the nonaffine shear modulus at the transition. We interpret these observations by reformulating the Born-Huang theory to account for nonaffinity, illustrating a scenario of ordered solids reaching a state where classical lattice dynamics fail.


title: Viscosity for Anisotropic Reissner Nordstr\"om Blackbranes

abstract: We investigate the behavior of shear viscosity in the presence of small anisotropy and a finite chemical potential. First, we construct an anisotropic Reissner Nordstr{\"o}m blackbrane in 5 dimensions in a simple Einstein-Maxwell theory with a small linear dilaton. This solution is characterized by three mass scales : anisotropy $\rho$, temperature T and chemical potential $\mu$. We find this solution upto second order in the dilaton anisotropy parameter $\rho$. This blackbrane solution corresponds to an anisotropic phase where the anisotropy is small compared to the temperature and chemical potential. We find that in this anisotropic phase, some components of the anisotropic shear viscosity tensor, which are spin one with respect to the residual symmetry after breaking rotational invariance, violates the KSS bound (${\eta \over s}\ge {1 \over 4 \pi} $) proposed by Kovtun, Son and Starinets. We identify the regions of the parameter space where these violations are significant. We carry out a similar analysis in 4 dimensions and find similar violation of the KSS bound for the spin one components to demonstrate the generality of the result. Our results are particularly relevant in the context of strongly coupled systems found in nature. We also provide an intuitive understanding of the results using dimensional reduction and a Boltzmann calculation in a weakly coupled version of a similar system. The Boltzmann analysis performed in a system of weakly interacting particles in a linear potential also shows that components of the viscosity tensor may be reduced. It is intriguing that the Boltzmann analysis also predicts the corrections to be negative and that too in a manner similar to the anisotropic strongly coupled theories with smooth gravity duals.


title: Strain control of real-and lattice-spin currents in a silicene junction

abstract: We investigate real- and lattice-spin currents controlled by strain in a silicene-based junction, where chemical potential, perpendicular electric field and circularly polarized light are applied into the strained barrier. We find that the junction yields strain filtering effect with perfect strain control of real- (or lattice-) spin currents. (i) By applying electric field without circularly polarized light we show that total current is carried by pure lattice-spin up (or down) electrons tunable by strain. (ii) When circularly polarized light is irradiated onto silicene sheet without applying electric field, total current is carried by pure real-spin up (or down) electrons tunable by strain. High conductance peaks associated with pure real-(or lattice-) spin currents in case ii(or i) occur at specific magnitude of strain, yielding strain filtering effect. Magnitudes of filtered strain due to pure real- (or lattice-) spin currents may be tunable by varying chemical potential. Sensitivity may be enhanced by increasing thickness of strained barrier. Significantly, (iii) when both perpendicular electric field and circularly polarized light are applied, the total current is carried by three species of electron groups tunable by strain. This may lead to controllable numbers of electron species to transport. This result shows that strain filtering effect in a silicene-based junction is quite different from that in graphene junction. Our work reveals potential of silicene as a nano-electro-mechanical device and spin-valleytronic applications.


title: Analytical Representations of Divisors of Integers

abstract: Certain analytical expressions which "feel" the divisors of natural numbers are investigated. We show that these expressions encode to some extent the well-known algorithm of the sieve of Eratosthenes. Most part of the text is written in pedagogical style, however some formulas are new.


title: Logamediate Inflation in f(T) Teleparallel Gravity

abstract: We study logamediate inflation in the context of $f(T)$ teleparallel gravity. $f(T)$-gravity is a generalization of the teleparallel gravity which is formulated on the Weitzenb\"{o}ck spacetime, characterized by the vanishing curvature tensor (absolute parallelism) and the non-vanishing torsion tensor. We consider an $f(T)$-gravity model which is sourced by a canonical scalar field. Assuming a power-law $f(T)$ function in the action, we investigate an inflationary universe with a logamediate scale factor. Our results show that, although logamediate inflation is completely ruled out by observational data in the standard inflationary scenario based on Einstein gravity, it can be compatible with the 68\% confidence limit joint region of Planck 2015 TT,TE,EE+lowP data in the framework of $f(T)$-gravity.


title: Partially abelian representations of knot groups

abstract: A knot complement admits a pseudo-hyperbolic structure by solving Thurston's gluing equations for an octahedral decomposition. It is known that a solution to these equations can be described in terms of region variables, also called $w$-variables. In this paper, we consider the case when pinched octahedra appear as a boundary parabolic solution in the decomposition. A $w$-solution with pinched octahedra induces a solution for a new knot obtained by changing the crossing or inserting a tangle at the pinched place. We discuss this phenomenon with corresponding holonomy representations and give some examples including ones obtained from connected sum.


title: On seaweed subalgebras and meander graphs in type D

abstract: In 2000, Dergachev and Kirillov introduced subalgebras of "seaweed type" in $\mathfrak{gl}_n$ and computed their index using certain graphs, which we call type-${\sf A}$ meander graphs. Then the subalgebras of seaweed type, or just "seaweeds", have been defined by Panyushev (2001) for arbitrary reductive Lie algebras. Recently, a meander graph approach to computing the index in types ${\sf B}$ and ${\sf C}$ has been developed by the authors. In this article, we consider the most difficult and interesting case of type ${\sf D}$. Some new phenomena occurring here are related to the fact that the Dynkin diagram has a branching node.


title: Semiclassical Trace Formula and Spectral Shift Function for Systems via a Stationary Approach

abstract: We establish a semiclassical trace formula in a general framework of microhyperbolic hermitian systems of $h$-pseudodifferential operators, and apply it to the study of the spectral shift function associated to a pair of selfadjoint Schr\"odinger operators with matrix-valued potentials. We give Weyl type semiclassical asymptotics with sharp remainder estimate for the spectral shift function, and, under the existence of a scalar escape function, a full asymptotic expansion in the strong sense for its derivative. A time-independent approach enables us to treat certain potentials with energy-level crossings.


title: On the Performance of Wireless Powered Communication With Non-linear Energy Harvesting

abstract: In this paper, we analyze the performance of a time-slotted multi-antenna wireless powered communication (WPC) system, where a wireless device first harvests radio frequency (RF) energy from a power station (PS) in the downlink to facilitate information transfer to an information receiving station (IRS) in the uplink. The main goal of this paper is to provide insights and guidelines for the design of practical WPC systems. To this end, we adopt a recently proposed parametric non-linear RF energy harvesting (EH) model, which has been shown to accurately model the end-to-end non-linearity of practical RF EH circuits. In order to enhance the RF power transfer efficiency, maximum ratio transmission is adopted at the PS to focus the energy signals on the wireless device. Furthermore, at the IRS, maximum ratio combining is used. We analyze the outage probability and the average throughput of information transfer, assuming Nakagami-$m$ fading uplink and downlink channels. Moreover, we study the system performance as a function of the number of PS transmit antennas, the number of IRS receive antennas, the transmit power of the PS, the fading severity, the transmission rate of the wireless device, and the EH time duration. In addition, we obtain a fixed point equation for the optimal transmission rate and the optimal EH time duration that maximize the asymptotic throughput for high PS transmit powers. All analytical results are corroborated by simulations.


title: Dijkgraaf-Witten $Z_2$-invariants for Seifert manifolds

abstract: In this short paper we compute the values of Dijkgraaf-Witten invariants over $Z_2$ for all orientable Seifert manifolds with orientable bases.


title: Characterizations of Toric Varieties via Polarized Endomorphisms

abstract: Let $X$ be a normal projective variety and $f:X\to X$ a non-isomorphic polarized endomorphism. We give two characterizations for $X$ to be a toric variety. First we show that if $X$ is $\mathbb{Q}$-factorial and $G$-almost homogeneous for some linear algebraic group $G$ such that $f$ is $G$-equivariant, then $X$ is a toric variety. Next we give a geometric characterization: if $X$ is of Fano type and smooth in codimension 2 and if there is an $f^{-1}$-invariant reduced divisor $D$ such that $f|_{X\backslash D}$ is quasi-\'etale and $K_X+D$ is $\mathbb{Q}$-Cartier, then $X$ admits a quasi-\'etale cover $\widetilde{X}$ such that $\widetilde{X}$ is a toric variety and $f$ lifts to $\widetilde{X}$. In particular, if $X$ is further assumed to be smooth, then $X$ is a toric variety.


title: An EM Based Probabilistic Two-Dimensional CCA with Application to Face Recognition

abstract: Recently, two-dimensional canonical correlation analysis (2DCCA) has been successfully applied for image feature extraction. The method instead of concatenating the columns of the images to the one-dimensional vectors, directly works with two-dimensional image matrices. Although 2DCCA works well in different recognition tasks, it lacks a probabilistic interpretation. In this paper, we present a probabilistic framework for 2DCCA called probabilistic 2DCCA (P2DCCA) and an iterative EM based algorithm for optimizing the parameters. Experimental results on synthetic and real data demonstrate superior performance in loading factor estimation for P2DCCA compared to 2DCCA. For real data, three subsets of AR face database and also the UMIST face database confirm the robustness of the proposed algorithm in face recognition tasks with different illumination conditions, facial expressions, poses and occlusions.


title: Why T2K should run in dominant neutrino mode to discover CP violation ?

abstract: The first hint of the leptonic CP phase $\delta_{CP}=-90^\circ$ has already came from the long-baseline neutrino oscillation experiment T2K. This hint is derived from the neutrino data of T2K and currently it is running in the antineutrino mode. In this work we ask the question what should be the proportion of neutrino and antineutrino running of the T2K experiment to discover CP violation in the leptonic sector.


title: K\"ahler forms for families of Calabi-Yau manifolds

abstract: K\"ahler-Einstein metrics for polarized families of Calabi-Yau manifolds define a natural hermitian metric on the relative canonical bundle. The fact that the curvature form is equal to the pull-back of the Weil-Petersson form up to a numerical constant is being used for the construction of a K\"ahler form on the total space of a given family, whose restriction to the fibers is Ricci flat.


title: Impurity scattering and size quantization effects in a single graphene nanoflake

abstract: By using Fourier-transform scanning tunneling spectroscopy we measure the interference patterns produced by the impurity scattering of confined Dirac quasiparticles in epitaxial graphene nanoflakes. Upon comparison of the experimental results with tight-binding calculations of realistic model flakes, we show that the characteristic features observed in the Fourier-transformed local density of states are related to scattering between different transverse modes (sub-bands) of a graphene nanoflake and allow direct insight into the electronic spectrum of graphene. We also observe a strong reduction of quasiparticle lifetime which is attributed to the interaction with the underlying substrate. In addition, we show that the distribution of the onsite energies at flower defects leads to an effectively broken pseudospin selection rule, where intravalley back-scattering is allowed.


title: Language competition in a population of migrating agents

abstract: Influencing various aspects of human activity, migration is associated also with language formation. To examine the mutual interaction of these processes, we study a Naming Game with migrating agents. The dynamics of the model leads to formation of low-mobility clusters, which turns out to break the symmetry of the model: although the Naming Game remains symmetric, low-mobility languages are favoured. High-mobility languages are gradually eliminated from the system and the dynamics of language formation considerably slows down. Our model is too simple to explain in detail language competition of migrating human communities, but it certainly shows that languages of settlers are favoured over nomadic ones.


title: Contractibility for Open Global Constraints

abstract: Open forms of global constraints allow the addition of new variables to an argument during the execution of a constraint program. Such forms are needed for difficult constraint programming problems where problem construction and problem solving are interleaved, and fit naturally within constraint logic programming. However, in general, filtering that is sound for a global constraint can be unsound when the constraint is open. This paper provides a simple characterization, called contractibility, of the constraints where filtering remains sound when the constraint is open. With this characterization we can easily determine whether a constraint has this property or not. In the latter case, we can use it to derive a contractible approximation to the constraint. We demonstrate this work on both hard and soft constraints. In the process, we formulate two general classes of soft constraints.


title: Building up user confidence for the spaceborne derived global and continental land cover products for the Mediterranean region: the case of Thessaly

abstract: Across globe and space agencies nations recognize the importance of homogenized land cover information, prone to regular updates, both in the context of thematic and spatial resolutions. Recent sensor advances and the free distribution policy promote the utilization of spaceborne products in an unprecedented pace into an increasingly wider range of applications. Ensuring credibility to the users is a major enabler in this process. To this end this study contributes with a systematic accuracy performance measurement and continental/global land cover layers' inter-comparison moving towards confidence built up. Confidence levels during validation and a weighted overall accuracy assessment were applied. Google Earth imagery was employed to assess the accuracy of three land cover products, i.e., Globeland30, HRLs and CLC 2012, for the years 2010 and 2012. Reported rates indicate a minimum weighted overall accuracy of 84%. Specific classes' performance deviations from the general trend were noted and discussed on the basis of an unbiased sampling approach. By integrating confidence levels during the ground truth annotation, stratified sampling on the several Corine Level 3 subclasses and the weighted overall accuracy assessment, the different aspects of the considered land cover products can be highlighted more objectively.


title: Direct laser printing of chiral plasmonic nanojets by vortex beams

abstract: Donut-shaped laser radiation, carrying orbital angular momentum, namely optical vortex, recently was shown to provide vectorial mass transfer, twisting transiently molten material and producing chiral micro-scale structures on surfaces of different bulk materials upon their resolidification. In this paper, we show for the first time that nanosecond laser vortices can produce chiral nanoneedles (nanojets) of variable size on thin films of such plasmonic materials, as silver and gold films, covering thermally insulating substrates. Main geometric parameters of the produced chiral nanojets, such as height and aspect ratio, were shown to be tunable in a wide range by varying metal film thickness, supporting substrates, and the optical size of the vortex beam. Donut-shaped vortex nanosecond laser pulses, carrying two vortices with opposite handedness, were demonstrated to produce two chiral nanojets twisted in opposite directions. The results provide new important insights into fundamental physics of the vectorial laser-beam assisted mass transfer in metal films and demonstrate the great potential of this technique for fast easy-to-implement fabrication of chiral plasmonic nanostructures.


title: On dimensions supporting a rational projective plane

abstract: A rational projective plane ($\mathbb{QP}^2$) is a simply connected, smooth, closed manifold $M$ such that $H^*(M;\mathbb{Q}) \cong \mathbb{Q}[\alpha]/\langle \alpha^3 \rangle$. An open problem is to classify the dimensions at which such a manifold exists. The Barge-Sullivan rational surgery realization theorem provides necessary and sufficient conditions that include the Hattori-Stong integrality conditions on the Pontryagin numbers. In this article, we simplify these conditions and combine them with the signature equation to give a single quadratic residue equation that determines whether a given dimension supports a $\mathbb{QP}^2$. We then confirm existence of a $\mathbb{QP}^2$ in two new dimensions and prove several non-existence results using factorizations of numerators of divided Bernoulli numbers. We also resolve the existence question in the Spin case, and we discuss existence results for the more general class of rational projective spaces.


title: The Persistent Homotopy Type Distance

abstract: We introduce the persistent homotopy type distance dHT to compare real valued functions defined on possibly different homotopy equivalent topological spaces. The underlying idea in the definition of dHT is to measure the minimal shift that is necessary to apply to one of the two functions in order that the sublevel sets of the two functions become homotopically equivalent. This distance is interesting in connection with persistent homology. Indeed, our main result states that dHT still provides an upper bound for the bottleneck distance between the persistence diagrams of the intervening functions. Moreover, because homotopy equivalences are weaker than homeomorphisms, this implies a lifting of the standard stability results provided by the L-infty distance and the natural pseudo-distance dNP. From a different standpoint, we prove that dHT extends the L-infty distance and dNP in two ways. First, we show that, appropriately restricting the category of objects to which dHT applies, it can be made to coincide with the other two distances. Finally, we show that dHT has an interpretation in terms of interleavings that naturally places it in the family of distances used in persistence theory.


title: Convergence Analysis of Ensemble Kalman Inversion: The Linear, Noisy Case

abstract: We present an analysis of ensemble Kalman inversion, based on the continuous time limit of the algorithm. The analysis of the dynamical behaviour of the ensemble allows us to establish well-posedness and convergence results for a fixed ensemble size. We will build on the results presented in [26] and generalise them to the case of noisy observational data, in particular the influence of the noise on the convergence will be investigated, both theoretically and numerically. We focus on linear inverse problems where a very complete theoretical analysis is possible.


title: Random sorting networks: local statistics via random matrix laws

abstract: This paper finds the bulk local limit of the swap process of uniformly random sorting networks. The limit object is defined through a deterministic procedure, a local version of the Edelman-Greene algorithm, applied to a two dimensional determinantal point process with explicit kernel. The latter describes the asymptotic joint law near $0$ of the eigenvalues of the corners in the antisymmetric Gaussian Unitary Ensemble. In particular, the limiting law of the first time a given swap appears in a random sorting network is identified with the limiting distribution of the closest to $0$ eigenvalue in the antisymmetric GUE. Moreover, the asymptotic gap, in the bulk, between appearances of a given swap is the Gaudin-Mehta law -- the limiting universal distribution for gaps between eigenvalues of real symmetric random matrices. The proofs rely on the determinantal structure and a double contour integral representation for the kernel of random Poissonized Young tableaux of arbitrary shape.


title: Symmetric flows for compressible heat-conducting fluids with temperature dependent viscosity coefficients

abstract: We consider the Navier--Stokes equations for compressible heat-conducting ideal polytropic gases in a bounded annular domain when the viscosity and thermal conductivity coefficients are general smooth functions of temperature. A global-in-time, spherically or cylindrically symmetric, classical solution to the initial boundary value problem is shown to exist uniquely and converge exponentially to the constant state as the time tends to infinity under certain assumptions on the initial data and the adiabatic exponent $\gamma$. The initial data can be large if $\gamma$ is sufficiently close to 1. These results are of Nishida--Smoller type and extend the work [Liu et al., SIAM J. Math. Anal. 46 (2014), 2185--2228] restricted to the one-dimensional flows.


title: A model bridging chimera state and explosive synchronization

abstract: Global and partial synchronization are the two distinctive forms of synchronization in coupled oscillators and have been well studied in the past decades. Recent attention on synchronization is focused on the chimera state (CS) and explosive synchronization (ES), but little attention has been paid to their relationship. We here study this topic by presenting a model to bridge these two phenomena, which consists of two groups of coupled oscillators and its coupling strength is adaptively controlled by a local order parameter. We find that this model displays either CS or ES in two limits. In between the two limits, this model exhibits both CS and ES, where CS can be observed for a fixed coupling strength and ES appears when the coupling is increased adiabatically. Moreover, we show both theoretically and numerically that there are a variety of CS basin patterns for the case of identical oscillators, depending on the distributions of both the initial order parameters and the initial average phases. This model suggests a way to easily observe CS, in contrast to others models having some (weak or strong) dependence on initial conditions.


title: Learning Deep NBNN Representations for Robust Place Categorization

abstract: This paper presents an approach for semantic place categorization using data obtained from RGB cameras. Previous studies on visual place recognition and classification have shown that, by considering features derived from pre-trained Convolutional Neural Networks (CNNs) in combination with part-based classification models, high recognition accuracy can be achieved, even in presence of occlusions and severe viewpoint changes. Inspired by these works, we propose to exploit local deep representations, representing images as set of regions applying a Na\"{i}ve Bayes Nearest Neighbor (NBNN) model for image classification. As opposed to previous methods where CNNs are merely used as feature extractors, our approach seamlessly integrates the NBNN model into a fully-convolutional neural network. Experimental results show that the proposed algorithm outperforms previous methods based on pre-trained CNN models and that, when employed in challenging robot place recognition tasks, it is robust to occlusions, environmental and sensor changes.


title: Are there needles in a moving haystack? Adaptive sensing for detection of dynamically evolving signals

abstract: In this paper we investigate the problem of detecting dynamically evolving signals. We model the signal as an $n$ dimensional vector that is either zero or has $s$ non-zero components. At each time step $t\in \mathbb{N}$ the non-zero components change their location independently with probability $p$. The statistical problem is to decide whether the signal is a zero vector or in fact it has non-zero components. This decision is based on $m$ noisy observations of individual signal components collected at times $t=1,\ldots,m$. We consider two different sensing paradigms, namely adaptive and non-adaptive sensing. For non-adaptive sensing the choice of components to measure has to be decided before the data collection process started, while for adaptive sensing one can adjust the sensing process based on observations collected earlier. We characterize the difficulty of this detection problem in both sensing paradigms in terms of the aforementioned parameters, with special interest to the speed of change of the active components. In addition we provide an adaptive sensing algorithm for this problem and contrast its performance to that of non-adaptive detection algorithms.


title: Revealing Task Driven Knowledge Worker Behaviors in Open Source Software Communities

abstract: Collaborative activities among knowledge workers such as software developers underlie the development of modern society, but the in-depth understanding of their behavioral patterns in open online communities is very challenging. The availability of large volumes of data in open-source software (OSS) repositories (e.g. bug tracking data, emails, and comments) enables us to investigate this issue in a quantitative way. In this paper, we conduct an empirical analysis of online collaborative activities closely related to assure software quality in two well-known OSS communities, namely Eclipse and Mozilla. Our main findings include two aspects: (1) developers exhibit two diametrically opposite behavioral patterns in spatial and temporal scale when they work under two different states (i.e. normal and overload), and (2) the processing times (including bug fixing times and bug tossing times) follow a stretched exponential distribution instead of the common power law distribution. Our work reveals regular patterns in human dynamics beyond online collaborative activities among skilled developers who work under different task-driven load conditions, and it could be an important supplementary to the current work on human dynamics.


title: Revisiting the pre-main-sequence evolution of stars I. Importance of accretion efficiency and deuterium abundance

abstract: Recent theoretical work has shown that the pre-main-sequence (PMS) evolution of stars is much more complex than previously envisioned. Instead of the traditional steady, one-dimensional solution, accretion may be episodic and not necessarily symmetrical, thereby affecting the energy deposited inside the star and its interior structure. Given this new framework, we want to understand what controls the evolution of accreting stars. We use the MESA stellar evolution code with various sets of conditions. In particular, we account for the (unknown) efficiency of accretion in burying gravitational energy into the protostar through a parameter, $\xi$, and we vary the amount of deuterium present. We confirm the findings of previous works that the evolution changes significantly with the amount of energy that is lost during accretion. We find that deuterium burning also regulates the PMS evolution. In the low-entropy accretion scenario, the evolutionary tracks in the H-R diagram are significantly different from the classical tracks and are sensitive to the deuterium content. A comparison of theoretical evolutionary tracks and observations allows us to exclude some cold accretion models ($\xi\sim 0$) with low deuterium abundances. We confirm that the luminosity spread seen in clusters can be explained by models with a somewhat inefficient injection of accretion heat. The resulting evolutionary tracks then become sensitive to the accretion heat efficiency, initial core entropy, and deuterium content. In this context, we predict that clusters with a higher D/H ratio should have less scatter in luminosity than clusters with a smaller D/H. Future work on this issue should include radiation-hydrodynamic simulations to determine the efficiency of accretion heating and further observations to investigate the deuterium content in star-forming regions. (abbrev.)


title: Approval Voting with Intransitive Preferences

abstract: We extend Approval voting to the settings where voters may have intransitive preferences. The major obstacle to applying Approval voting in these settings is that voters are not able to clearly determine who they should approve or disapprove, due to the intransitivity of their preferences. An approach to address this issue is to apply tournament solutions to help voters make the decision. We study a class of voting systems where first each voter casts a vote defined as a tournament, then a well-defined tournament solution is applied to select the candidates who are assumed to be approved by the voter. Winners are the ones receiving the most approvals. We study axiomatic properties of this class of voting systems and complexity of control and bribery problems for these voting systems.


title: A Possible Time-Delayed Brightening of the Sgr A* Accretion Flow after the Pericenter Passage of G2 Cloud

abstract: A possibility of time-delayed radio brightenings of Sgr A* triggered by the pericenter passage of the G2 cloud is studied by carrying out global three-dimensional magnetohydrodynamic simulations taking into account the radiative cooling of the tidal debris of the G2 cloud. Magnetic fields in the accretion flow are strongly perturbed and re-organized after the passage of G2. We have found that the magnetic energy in the accretion flow increases by a factor 3-4 in 5-10 years after the pericenter passage of G2 by a dynamo mechanism driven by the magneto-rotational instability. Since this B-field amplification enhances the synchrotron emission from the disk and the outflow, the radio and the infrared luminosity of Sgr A* is expected to increase around A.D. 2020. The time-delay of the radio brightening enables us to determine the rotation axis of the preexisting disk.


title: Coarse Grained Exponential Variational Autoencoders

abstract: Variational autoencoders (VAE) often use Gaussian or category distribution to model the inference process. This puts a limit on variational learning because this simplified assumption does not match the true posterior distribution, which is usually much more sophisticated. To break this limitation and apply arbitrary parametric distribution during inference, this paper derives a \emph{semi-continuous} latent representation, which approximates a continuous density up to a prescribed precision, and is much easier to analyze than its continuous counterpart because it is fundamentally discrete. We showcase the proposition by applying polynomial exponential family distributions as the posterior, which are universal probability density function generators. Our experimental results show consistent improvements over commonly used VAE models.


title: Relative orbit orientation in several resolved multiple systems

abstract: This work extends the still modest number of multiple stars with known relative orbit orientation. Accurate astrometry and radial velocities are used jointly to compute or update outer and inner orbits in three nearby triple systems HIP 101955 (orbital periods 38.68 and 2.51 years), HIP 103987 (19.20 and 1.035 years), HIP 111805 (30.13 and 1.50 years) and in one quadruple system HIP 2643 (periods 70.3, 4.85 and 0.276 years), all composed of solar-type stars. The masses are estimated from the absolute magnitudes and checked using the orbits. The ratios of outer to inner periods (from 14 to 20) and the eccentricities of the outer orbits are moderate. These systems are dynamically stable, but not very far from the stability limit. In three systems all orbits are approximately coplanar and have small eccentricity, while in HIP 101955 the inner orbit with e=0.6 is highly inclined.


title: Nonequilibrium thermodynamics and information theory: Basic concepts and relaxing dynamics

abstract: Thermodynamics is based on the notions of energy and entropy. While energy is the elementary quantity governing physical dynamics, entropy is the fundamental concept in information theory. In this work, starting from first principles, we give a detailed didactic account on the relations between energy and entropy and thus physics and information theory. We show that thermodynamic process inequalities, like the Second Law, are equivalent to the requirement that an effective description for physical dynamics is strongly relaxing. From the perspective of information theory, strongly relaxing dynamics govern the irreversible convergence of a statistical ensemble towards the maximally non-commital probability distribution that is compatible with thermodynamic equilibrium parameters. In particular, Markov processes that converge to a thermodynamic equilibrium state are strongly relaxing. Our framework generalizes previous results to arbitrary open and driven systems, yielding novel thermodynamic bounds for idealized and real processes.


title: The mass, luminosity and mass-loss rate of the donor of the V1487 Aql/GRS 1915+105 binary system

abstract: The donor in the microquasar GRS 1915+105 is a low-mass giant. Such a star consists of a degenerate helium core and a hydrogen-rich envelope. Both components are separated by a hydrogen burning shell. The structure of such an object is relatively simple and easy to model. Making use of the observational constraints on the luminosity and the radius of the donor, we constrain the mass of this star with evolutionary models. We find a very good agreement between the constraints from those models and from the observed rotational broadening and the NIR magnitude. Combining the constraints, we find solutions with stripped giants of the mass of $\geq\!0.28{\rm M}_{\odot}$ and of the spectral class K5 III, independent of the distance to the system, and a distance-dependent upper limit, $\lesssim\!1{\rm M}_{\odot}$. We also calculate the average mass transfer rate and the duty cycle of the system as a function of the donor mass. This rate is much below the critical rate (at which the system would become persistent), and the duty cycle is less than 20 per cent.


title: CHAOS: A Parallelization Scheme for Training Convolutional Neural Networks on Intel Xeon Phi

abstract: Deep learning is an important component of big-data analytic tools and intelligent applications, such as, self-driving cars, computer vision, speech recognition, or precision medicine. However, the training process is computationally intensive, and often requires a large amount of time if performed sequentially. Modern parallel computing systems provide the capability to reduce the required training time of deep neural networks. In this paper, we present our parallelization scheme for training convolutional neural networks (CNN) named Controlled Hogwild with Arbitrary Order of Synchronization (CHAOS). Major features of CHAOS include the support for thread and vector parallelism, non-instant updates of weight parameters during back-propagation without a significant delay, and implicit synchronization in arbitrary order. CHAOS is tailored for parallel computing systems that are accelerated with the Intel Xeon Phi. We evaluate our parallelization approach empirically using measurement techniques and performance modeling for various numbers of threads and CNN architectures. Experimental results for the MNIST dataset of handwritten digits using the total number of threads on the Xeon Phi show speedups of up to 103x compared to the execution on one thread of the Xeon Phi, 14x compared to the sequential execution on Intel Xeon E5, and 58x compared to the sequential execution on Intel Core i5.


title: Urban Vibrancy and Safety in Philadelphia

abstract: Statistical analyses of urban environments have been recently improved through publicly available high resolution data and mapping technologies that have been adopted across industries. These technologies allow us to create metrics to empirically investigate urban design principles of the past half-century. Philadelphia is an interesting case study for this work, with its rapid urban development and population increase in the last decade. We outline a data analysis pipeline for exploring the association between safety and local neighborhood features such as population, economic health and the built environment. As a particular example of our analysis pipeline, we focus on quantitative measures of the built environment that serve as proxies for vibrancy: the amount of human activity in a local area. Historically, vibrancy has been very challenging to measure empirically. Measures based on land use zoning are not an adequate description of local vibrancy and so we construct a database and set of measures of business activity in each neighborhood. We employ several matching analyses to explore the relationship between neighborhood vibrancy and safety, such as comparing high crime versus low crime locations within the same neighborhood. As additional sources of urban data become available, our analysis pipeline can serve as the template for further investigations into the relationships between safety, economic factors and the built environment at the local neighborhood level.


title: Internal rotation of 13 low-mass low-luminosity red giants in the Kepler field

abstract: The Kepler space telescope has provided time series of red giants of such unprecedented quality that a detailed asteroseismic analysis becomes possible. For a limited set of about a dozen red giants, the observed oscillation frequencies obtained by peak-bagging together with the most recent pulsation codes allowed us to reliably determine the core/envelope rotation ratio. The results so far show that the current models are unable to reproduce the rotation ratios, predicting higher values than what is observed and thus indicating that an efficient angular momentum transport mechanism should be at work. Here we provide an asteroseismic analysis of a sample of 13 low-luminosity low-mass red giant stars observed by Kepler during its first nominal mission. These targets form a subsample of the 19 red giants studied previously Corsaro et al. 2015, which not only have a large number of extracted oscillation frequencies, but also unambiguous mode identifications We aim to extend the sample of red giants for which internal rotation ratios obtained by theoretical modeling of peak-bagged frequencies are available. We also derive the rotation ratios using different methods, and compare the results of these methods with each other. We built seismic models using a grid search combined with a Nelder-Mead simplex algorithm and obtained rotation averages employing Bayesian inference and inversion methods. We compared these averages with those obtained using a previously developed model-independent method. We find that the cores of the red giants in this sample are rotating 5 to 10 times faster than their envelopes, which is consistent with earlier results. The rotation rates computed from the different methods show good agreement for some targets, while some discrepancies exist for others.


title: The natural algorithmic approach of mixed trigonometric-polynomial problems

abstract: The aim of this paper is to present a new algorithm for proving mixed trigonometric-polynomial inequalities by reducing to polynomial inequalities. Finally, we show the great applicability of this algorithm and as examples, we use it to analyze some new rational (Pade) approximations of the function $\cos^2(x)$, and to improve a class of inequalities by Z.-H. Yang. The results of our analysis could be implemented by means of an automated proof assistant, so our work is a contribution to the library of automatic support tools for proving various analytic inequalities.


title: Increasing Peer Pressure on any Connected Graph Leads to Consensus

abstract: In this paper, we study a model of opinion dynamics in a social network in the presence increasing interpersonal influence, i.e., increasing peer pressure. Each agent in the social network has a distinct social stress function given by a weighted sum of internal and external behavioral pressures. We assume a weighted average update rule and prove conditions under which a connected group of agents converge to a fixed opinion distribution, and under which conditions the group reaches consensus. We show that the update rule is a gradient descent and explain its transient and asymptotic convergence properties. Through simulation, we study the rate of convergence on a scale-free network and then validate the assumption of increasing peer pressure in a simple empirical model.


title: On the finiteness of the set of Hilbert coefficients

abstract: Let $(R,m)$ be a Noetherian local ring of dimension $d$ and $K,Q$ be $m$-primary ideals in $R.$ In this paper we study the finiteness properties of the sets $\Lambda_i^K(R):=\{g_i^K(Q): Q$ is a parameter ideal of $R\},$ where $g_i^K(Q)$ denotes the Hilbert coefficients of $Q$ with respect to $K,$ for $1 \leq i \leq d.$ We prove that $\Lambda_i^K(R)$ is finite for all $1\leq i \leq d$ if and only if $R$ is generalized Cohen-Macaulay. Moreover, we show that if $R$ is unmixed then finiteness of the set $\Lambda_1^K(R)$ suffices to conclude that $R$ is generalized Cohen-Macaulay. We obtain partial results for $R$ to be Buchsbaum in terms of $|\Lambda_i^K(R)|=1.$ We also obtain a criterion for the set $\Delta^K(R):=\{g_1^K(I): I$ is an m-primary ideal of $R\}$ to be finite, generalizing preceding results.


title: On Chordal-$k$-Generalized Split Graphs

abstract: A graph $G$ is a {\em chordal-$k$-generalized split graph} if $G$ is chordal and there is a clique $Q$ in $G$ such that every connected component in $G[V \setminus Q]$ has at most $k$ vertices. Thus, chordal-$1$-generalized split graphs are exactly the split graphs. We characterize chordal-$k$-generalized split graphs by forbidden induced subgraphs. Moreover, we characterize a very special case of chordal-$2$-generalized split graphs for which the Efficient Domination problem is \NP-complete.


title: Rician MIMO Channel- and Jamming-Aware Decision Fusion

abstract: In this manuscript we study channel-aware decision fusion (DF) in a wireless sensor network (WSN) where: (i) the sensors transmit their decisions simultaneously for spectral efficiency purposes and the DF center (DFC) is equipped with multiple antennas; (ii) each sensor-DFC channel is described via a Rician model. As opposed to the existing literature, in order to account for stringent energy constraints in the WSN, only statistical channel information is assumed for the non-line-of sight (scattered) fading terms. For such a scenario, sub-optimal fusion rules are developed in order to deal with the exponential complexity of the likelihood ratio test (LRT) and impractical (complete) system knowledge. Furthermore, the considered model is extended to the case of (partially unknown) jamming-originated interference. Then the obtained fusion rules are modified with the use of composite hypothesis testing framework and generalized LRT. Coincidence and statistical equivalence among them are also investigated under some relevant simplified scenarios. Numerical results compare the proposed rules and highlight their jammingsuppression capability.


title: Random ultrametric trees and applications

abstract: Ultrametric trees are trees whose leaves lie at the same distance from the root. They are used to model the genealogy of a population of particles co-existing at the same point in time. We show how the boundary of an ultrametric tree, like any compact ultrametric space, can be represented in a simple way via the so-called comb metric. We display a variety of examples of random combs and explain how they can be used in applications. In particular, we review some old and recent results regarding the genetic structure of the population when throwing neutral mutations on the skeleton of the tree.


title: Arithmetic Siegel-Weil formula on $X_{0}(N)$

abstract: In this paper, we proved an arithmetic Siegel-Weil formula and the modularity of some arithmetic theta function on the modular curve $X_0(N)$ when $N$ is square free. In the process, we also construct some generalized Delta function for $\Gamma_0(N)$ and proved some explicit Kronecker limit formula for Eisenstein series on $X_0(N)$.


title: Quantization of noncompact coverings

abstract: The concept of quantization consists in replacing commutative quantities by noncommutative ones. In mathematical language an algebra of continuous functions on a locally compact topological space is replaced with a noncommutative $C^*$-algebra. Some classical topological notions have noncommutative generalizations. This article is concerned with a generalization of coverings.


title: Cation mono- and co-doped anatase TiO$_2$ nanotubes: An {\em ab initio} investigation of electronic and optical properties

abstract: The structural, electronic, and optical properties of metal (Si, Ge, Sn, and Pb) mono- and co-doped anatase TiO$_{2}$ nanotubes are investigated, in order to elucidate their potential for photocatalytic applications. It is found that Si doped TiO$_{2}$ nanotubes are more stable than those doped with Ge, Sn, or Pb. All dopants lower the band gap, except the (Ge, Sn) co-doped structure, the decrease depending on the concentration and the type of dopant. Correspondingly, a redshift in the optical properties for all kinds of dopings is obtained. Even though a Pb mono- and co-doped TiO$_{2}$ nanotube has the lowest band gap, these systems are not suitable for water splitting, due to the location of the conduction band edges, in contrast to Si, Ge, and Sn mono-doped TiO$_{2}$ nanotubes. On the other hand, co-doping of TiO$_{2}$ does not improve its photocatalytic properties. Our findings are consistent with recent experiments which show an enhancement of light absorption for Si and Sn doped TiO$_{2}$ nanotubes.


title: An Invariant-EKF VINS Algorithm for Improving Consistency

abstract: The main contribution of this paper is an invariant extended Kalman filter (EKF) for visual inertial navigation systems (VINS). It is demonstrated that the conventional EKF based VINS is not invariant under the stochastic unobservable transformation, associated with translations and a rotation about the gravitational direction. This can lead to inconsistent state estimates as the estimator does not obey a fundamental property of the physical system. To address this issue, we use a novel uncertainty representation to derive a Right Invariant error extended Kalman filter (RIEKF-VINS) that preserves this invariance property. RIEKF-VINS is then adapted to the multistate constraint Kalman filter framework to obtain a consistent state estimator. Both Monte Carlo simulations and real-world experiments are used to validate the proposed method.


title: Matricial Wasserstein-1 Distance

abstract: In this note, we propose an extension of the Wasserstein 1-metric ($W_1$) for matrix probability densities, matrix-valued density measures, and an unbalanced interpretation of mass transport. The key is using duality theory, in particular, a "dual of the dual" formulation of $W_1$. This matrix analogue of the Earth Mover's Distance has several attractive features including ease of computation.


title: The Hardness of Solving Simple Word Equations

abstract: We investigate the class of regular-ordered word equations. In such equations, each variable occurs at most once in each side and the order of the variables occurring in both sides is the preserved (the variables can be, however, separated by potentially distinct constant factors). Surprisingly, we obtain that solving such simple equations, even when the sides contain exactly the same variables, is NP-hard. By considerations regarding the combinatorial structure of the minimal solutions of the more general quadratic equations we obtain that the satisfiability problem for regular-ordered equations is in NP. Finally, we also show that a related class of simple word equations, that generalises one-variable equations, is in P.


title: Experimental determination of phonon thermal conductivity and Lorenz ratio of single crystal metals: Al, Cu and Zn

abstract: We use a magnetothermal resistance method to measure lattice thermal conductivity of pure single crystal metals over a wide range of temperatures. Large transverse magnetic fields are applied to suppress electronic thermal conduction. The total thermal conductivity and the electrical conductivity are measured as functions of applied magnetic field. The lattice thermal conductivity is then extracted by extrapolating the thermal conductivity versus electrical conductivity curve at zero electrical conductivity. We used this method to experimentally measure the lattice thermal conductivity and Lorenz number in single crystal Al (100), Cu (100) and Zn (001) in a temperature range of 5 to 60 K. Our results show that the measured phonon thermal conductivity versus temperature plot has a peak around one tenth of the Debye Temperature, and the Lorenz number is found to deviate from the Sommerfeld value in the intermediate temperature range.


title: Green function of Orr Sommerfeld equations away from critical layers

abstract: The classical Orr-Sommerfeld equations are the resolvent equations of the linearized Navier Stokes equations around a stationary shear layer profile in the half plane. In this paper, we derive pointwise bounds on the Green function of the Orr Sommerfeld problem away from its critical layers.


title: Sparsity constrained split feasibility for dose-volume constraints in inverse planning of intensity-modulated photon or proton therapy

abstract: A split feasibility formulation for the inverse problem of intensity-modulated radiation therapy (IMRT) treatment planning with dose-volume constraints (DVCs) included in the planning algorithm is presented. It involves a new type of sparsity constraint that enables the inclusion of a percentage-violation constraint in the model problem and its handling by continuous (as opposed to integer) methods. We propose an iterative algorithmic framework for solving such a problem by applying the feasibility-seeking CQ-algorithm of Byrne combined with the automatic relaxation method (ARM) that uses cyclic projections. Detailed implementation instructions are furnished. Functionality of the algorithm was demonstrated through the creation of an intensity-modulated proton therapy plan for a simple 2D C-shaped geometry and also for a realistic base-of-skull chordoma treatment site. Monte Carlo simulations of proton pencil beams of varying energy were conducted to obtain dose distributions for the 2D test case. A research release of the Pinnacle3 proton treatment planning system was used to extract pencil beam doses for a clinical base-of-skull chordoma case. In both cases the beamlet doses were calculated to satisfy dose-volume constraints according to our new algorithm. Examination of the dose-volume histograms following inverse planning with our algorithm demonstrated that it performed as intended. The application of our proposed algorithm to dose-volume constraint inverse planning was successfully demonstrated. Comparison with optimized dose distributions from the research release of the Pinnacle3 treatment planning system showed the algorithm could achieve equivalent or superior results.


title: An estimation of the logarithmic timescale in an ergodic dynamics

abstract: An estimation of the logarithmic timescale in quantum systems having an ergodic dynamics in the semiclassical limit of quasiclassical large parameters, is presented. The estimation is based on the existence of finite generators for ergodic measure-preserving transformations having a finite Kolmogorov--Sinai (KS) entropy and on the time rescaling property of the KS-entropy. The results are in agreement with the obtained in the literature but with a simpler mathematics and within the context of the ergodic theory.


title: How geodesy can contribute to the understanding and prediction of earthquakes

abstract: Earthquakes cannot be predicted with precision, but algorithms exist for intermediate-term middle range prediction of main shocks above a pre-assigned threshold, based on seismicity patterns. Few years ago, a first attempt was made in the framework of project SISMA, funded by Italian Space Agency, to jointly use seismological tools, like CN algorithm and scenario earthquakes, and geodetic methods and techniques, like GPS and SAR monitoring, in order to effectively constrain priority areas where to concentrate prevention and seismic risk mitigation. We present a further development of integration of seismological and geodetic information, clearly showing the contribution of geodesy to the understanding and prediction of earthquakes. As a relevant application, the seismic crisis that started in Central Italy in August 2016 is considered in a retrospective analysis. Differently from the much more common approach, here GPS data are not used to estimate the standard 2D velocity and strain field in the area, but to reconstruct the velocity and strain pattern along transects, which are properly oriented according to the a priori information about the known tectonic setting. Overall, the analysis of the available geodetic data indicates that it is possible to highlight the velocity variation and the related strain accumulation in the area of Amatrice event, within the area alarmed by CN since November 1st, 2012. The considered counter examples, across CN alarmed and not-alarmed areas, do not show any comparable spatial acceleration localized trend. Therefore, we show that the combined analysis of the results of CN prediction algorithms, with those from the processing of adequately dense and permanent GNSS network data, may allow the routine highlight in advance of the strain accumulation. Thus it is possible to significantly reduce the size of the CN alarmed areas.


title: A New Taxonomy for Symbiotic EM Sensors

abstract: It is clear that the EM spectrum is now rapidly reaching saturation, especially for frequencies below 10~GHz. Governments, who influence the regulatory authorities around the world, have resorted to auctioning the use of spectrum, in a sense to gauge the importance of a particular user. Billions of USD are being paid for modest bandwidths. The earth observation, astronomy and similar science driven communities cannot compete financially with such a pressure system, so this is where governments have to step in and assess /regulate the situation. It has been a pleasure to see a situation where the communications and broadcast communities have come together to formulate sharing of an important part of the spectrum (roughly, 50 MHz to 800 MHz) in an IEEE standard, IEEE802.22. This standard (known as the "TV White Space Network" (built on lower level standards) shows a way that fixed and mobile users can collaborate in geographically widespread regions, using cognitive radio and geographic databases of users. This White Space (WS) standard is well described in the literature and is not the major topic of this short paper. We wish to extend the idea of the WS concept to include the idea of EM sensors (such as Radar) adopting this approach to spectrum sharing, providing a quantum leap in access to spectrum. We postulate that networks of sensors, using the tools developed by the WS community, can replace and enhance our present set of EM sensors. We first define what Networks of Sensors entail (with some history), and then go on to define, based on a Taxonomy of Symbiosis defined by de Bary\cite{symb}, how these sensors and other users (especially communications) can co-exist. This new taxonomy is important for understanding, and should replace somewhat outdated terminologies from the radar world.


title: Proton Dynamics in Protein Mass Spectrometry

abstract: Native electrospray ionization/ion mobility-mass spectrometry (ESI/IM-MS) allows an accurate determination of low-resolution structural features of proteins. Yet, the presence of proton dynamics, observed already by us for DNA in the gas phase, and its impact on protein structural determinants, have not been investigated so far. Here, we address this issue by a multi-step simulation strategy on a pharmacologically relevant peptide, the N-terminal residues of amyloid-beta peptide (Abeta(1-16)). Our calculations reproduce the experimental maximum charge state from ESI-MS and are also in fair agreement with collision cross section (CCS) data measured here by ESI/IM-MS. Although the main structural features are preserved, subtle conformational changes do take place in the first ~0.1 ms of dynamics. In addition, intramolecular proton dynamics processes occur on the ps-timescale in the gas phase as emerging from quantum mechanics/molecular mechanics (QM/MM) simulations at the B3LYP level of theory. We conclude that proton transfer phenomena do occur frequently during fly time in ESI-MS experiments (typically on the ms timescale). However, the structural changes associated with the process do not significantly affect the structural determinants.


title: Upper-Bounding the Regularization Constant for Convex Sparse Signal Reconstruction

abstract: Consider reconstructing a signal $x$ by minimizing a weighted sum of a convex differentiable negative log-likelihood (NLL) (data-fidelity) term and a convex regularization term that imposes a convex-set constraint on $x$ and enforces its sparsity using $\ell_1$-norm analysis regularization. We compute upper bounds on the regularization tuning constant beyond which the regularization term overwhelmingly dominates the NLL term so that the set of minimum points of the objective function does not change. Necessary and sufficient conditions for irrelevance of sparse signal regularization and a condition for the existence of finite upper bounds are established. We formulate an optimization problem for finding these bounds when the regularization term can be globally minimized by a feasible $x$ and also develop an alternating direction method of multipliers (ADMM) type method for their computation. Simulation examples show that the derived and empirical bounds match.


title: Multiple-period Floquet states and time-translation symmetry breaking in quantum oscillators

abstract: We study the breaking of the discrete time-translation symmetry in small periodically driven quantum systems. Such systems are intermediate between large closed systems and small dissipative systems, which both display the symmetry breaking, but have qualitatively different dynamics. As a nontrivial example we consider period tripling in a quantum nonlinear oscillator. We show that, for moderately strong driving, the period tripling is robust on an exponentially long time scale, which is further extended by an even weak decoherence.


title: The role of quantum correlations in Cop and Robber game

abstract: We introduce and study quantized versions of Cop and Robber game. We achieve this by using graph-preserving quantum operations, which are the quantum analogues of stochastic operations preserving the graph. We provide the tight bound for the number of operations required to reach the given state. By extending them to the controlled operations, we define a quantum-controlled Cop and Robber game, which expands the classical Cop and Robber game, as well as the classically controlled quantum Cop and Robber game. In contrast to the typical scheme for introducing quantum games, we assume that both parties can utilise full information about the opponent's strategy. We show that the utilisation of the full knowledge about the opponent's state does not provide the advantage. Moreover, the chances of catching the Robber decrease for classical cop-win graphs. This result does not depend on the chosen model of evolution. On the other hand, the possibility to execute controlled quantum operations allows catching the Robber on almost all classical cop-win graphs. By this, we demonstrate that it is necessary to enrich the structure of correlations between the players' systems to provide a non-trivial quantized Cop and Robber game. Thus the quantum controlled operations offer a significant advantage over the classically controlled quantum operations.


title: Efficient Learning of Mixed Membership Models

abstract: We present an efficient algorithm for learning mixed membership models when the number of variables $p$ is much larger than the number of hidden components $k$. This algorithm reduces the computational complexity of state-of-the-art tensor methods, which require decomposing an $O\left(p^3\right)$ tensor, to factorizing $O\left(p/k\right)$ sub-tensors each of size $O\left(k^3\right)$. In addition, we address the issue of negative entries in the empirical method of moments based estimators. We provide sufficient conditions under which our approach has provable guarantees. Our approach obtains competitive empirical results on both simulated and real data.


title: A decentralized algorithm for control of autonomous agents coupled by feasibility constraints

abstract: In this paper a decentralized control algorithm for systems composed of $N$ dynamically decoupled agents, coupled by feasibility constraints, is presented. The control problem is divided into $N$ optimal control sub-problems and a communication scheme is proposed to decouple computations. The derivative of the solution of each sub-problem is used to approximate the evolution of the system allowing the algorithm to decentralize and parallelize computations. The effectiveness of the proposed algorithm is shown through simulations in a cooperative driving scenario.


title: Image Stitching by Line-guided Local Warping with Global Similarity Constraint

abstract: Low-textured image stitching remains a challenging problem. It is difficult to achieve good alignment and it is easy to break image structures due to insufficient and unreliable point correspondences. Moreover, because of the viewpoint variations between multiple images, the stitched images suffer from projective distortions. To solve these problems, this paper presents a line-guided local warping method with a global similarity constraint for image stitching. Line features which serve well for geometric descriptions and scene constraints, are employed to guide image stitching accurately. On one hand, the line features are integrated into a local warping model through a designed weight function. On the other hand, line features are adopted to impose strong geometric constraints, including line correspondence and line colinearity, to improve the stitching performance through mesh optimization. To mitigate projective distortions, we adopt a global similarity constraint, which is integrated with the projective warps via a designed weight strategy. This constraint causes the final warp to slowly change from a projective to a similarity transformation across the image. Finally, the images undergo a two-stage alignment scheme that provides accurate alignment and reduces projective distortion. We evaluate our method on a series of images and compare it with several other methods. The experimental results demonstrate that the proposed method provides a convincing stitching performance and that it outperforms other state-of-the-art methods.


title: Obligations with Physical Delivery in a Multi-Layered Financial Network

abstract: This paper provides a general framework for modeling financial contagion in a system with obligations in multiple illiquid assets (e.g., currencies). In so doing, we develop a multi-layered financial network that extends the single network of Eisenberg and Noe (2001). In particular, we develop a financial contagion model with fire sales that allows institutions to both buy and sell assets to cover their liabilities in the different assets and act as utility maximizers. We prove that, under standard assumptions and without market impacts, equilibrium portfolio holdings exist and are unique. However, with market impacts, we prove that equilibrium portfolio holdings and market prices exist which clear the multi-layered financial system. In general, though, these clearing solutions are not unique. We extend this result by considering the t\^atonnement process to find the unique attained equilibrium. The attained equilibrium need not be continuous with respect to the initial shock; these points of discontinuity match those stresses in which a financial crisis becomes a systemic crisis. We further provide mathematical formulations for payment rules and utility functions satisfying the necessary conditions for these existence and uniqueness results. We demonstrate the value of our model through illustrative numerical case studies. In particular, we study a counterfactual scenario on the event that Greece re-instituted the drachma on a dataset from the European Banking Authority.


title: Reconstruction and stability in Gel'fand's inverse interior spectral problem

abstract: Assume that $M$ is a compact Riemannian manifold of bounded geometry given by restrictions on its diameter, Ricci curvature and injectivity radius. Assume we are given, with some error, the first eigenvalues of the Laplacian $\Delta_g$ on $M$ as well as the corresponding eigenfunctions restricted on an open set in $M$. We then construct a stable approximation to the manifold $(M,g)$. Namely, we construct a metric space and a Riemannian manifold which differ, in a proper sense, just a little from $M$ when the above data are given with a small error. We give an explicit $\log\log$-type stability estimate on how the constructed manifold and the metric on it depend on the errors in the given data. Moreover a similar stability estimate is derived for the Gel'fand's inverse problem. The proof is based on methods from geometric convergence, a quantitative stability estimate for the unique continuation and a new version of the geometric Boundary Control method.


title: Complexity Classification of the Eight-Vertex Model

abstract: We prove a complexity dichotomy theorem for the eight-vertex model. For every setting of the parameters of the model, we prove that computing the partition function is either solvable in polynomial time or \#P-hard. The dichotomy criterion is explicit. For tractability, we find some new classes of problems computable in polynomial time. For \#P-hardness, we employ M\"{o}bius transformations to prove the success of interpolations.


title: Upper bounds on the smallest size of a saturating set in projective planes and spaces of even dimension

abstract: In a projective plane $\Pi_{q}$ (not necessarily Desarguesian) of order $q$, a point subset $\mathcal{S}$ is saturating (or dense) if any point of $\Pi_{q}\setminus \mathcal{S}$ is collinear with two points in $\mathcal{S}$. Modifying an approach of [31], we proved the following upper bound on the smallest size $s(2,q)$ of a saturating set in $\Pi_{q}$: \begin{equation*} s(2,q)\leq \sqrt{(q+1)\left(3\ln q+\ln\ln q +\ln\frac{3}{4}\right)}+\sqrt{\frac{q}{3\ln q}}+3. \end{equation*} The bound holds for all q, not necessarily large. By using inductive constructions, upper bounds on the smallest size of a saturating set in the projective space $\mathrm{PG}(N,q)$ with even dimension $N$ are obtained. All the results are also stated in terms of linear covering codes.


title: Exact Cosmological Models with the Yang - Mills Fields on Lyra Manifold

abstract: The present study deals with the Friedmann-Robertson-Walker cosmological models of the Yang-Mills (YM) fields in Lyra geometry. The energy-momentum tensor of the YM fields for our models is obtained with the help of exact solution for the corresponding YM equations subject to their minimal coupling to gravity. Two specific exact solutions of the model are obtained regarding the effective equation of state and the exponential law of expansion. Some physical and geometrical behavior of the model are also discussed.


title: On hyperballeans of bounded geometry

abstract: A ballean (or coarse structure) is a set endowed with some family of subsets, the balls, is such a way that balleans with corresponding morphisms can be considered as asymptotic counterparts of uniform topological spaces. For a ballean $\mathcal{B}$ on a set $X$, the hyperballean $\mathcal{B}^{\flat}$ is a ballean naturally defined on the set $X^{\flat}$ of all bounded subsets of $X$. We describe all balleans with hyperballeans of bounded geometry and analyze the structure of these hyperballeans.


title: BARCHAN: Blob Alignment for Robust CHromatographic ANalysis

abstract: Comprehensive Two dimensional gas chromatography (GCxGC) plays a central role into the elucidation of complex samples. The automation of the identification of peak areas is of prime interest to obtain a fast and repeatable analysis of chromatograms. To determine the concentration of compounds or pseudo-compounds, templates of blobs are defined and superimposed on a reference chromatogram. The templates then need to be modified when different chromatograms are recorded. In this study, we present a chromatogram and template alignment method based on peak registration called BARCHAN. Peaks are identified using a robust mathematical morphology tool. The alignment is performed by a probabilistic estimation of a rigid transformation along the first dimension, and a non-rigid transformation in the second dimension, taking into account noise, outliers and missing peaks in a fully automated way. Resulting aligned chromatograms and masks are presented on two datasets. The proposed algorithm proves to be fast and reliable. It significantly reduces the time to results for GCxGC analysis.


title: Quantum eigenstate tomography with qubit tunneling spectroscopy

abstract: Measurement of the energy eigenvalues (spectrum) of a multi-qubit system has recently become possible by qubit tunneling spectroscopy (QTS). In the standard QTS experiments, an incoherent probe qubit is strongly coupled to one of the qubits of the system in such a way that its incoherent tunneling rate provides information about the energy eigenvalues of the original (source) system. In this paper, we generalize QTS by coupling the probe qubit to many source qubits. We show that by properly choosing the couplings, one can perform projective measurements of the source system energy eigenstates in an arbitrary basis, thus performing quantum eigenstate tomography. As a practical example of a limited tomography, we apply our scheme to probe the eigenstates of a kink in a frustrated transverse Ising chain.


title: Stochastic Variance Reduction Methods for Policy Evaluation

abstract: Policy evaluation is a crucial step in many reinforcement-learning procedures, which estimates a value function that predicts states' long-term value under a given policy. In this paper, we focus on policy evaluation with linear function approximation over a fixed dataset. We first transform the empirical policy evaluation problem into a (quadratic) convex-concave saddle point problem, and then present a primal-dual batch gradient method, as well as two stochastic variance reduction methods for solving the problem. These algorithms scale linearly in both sample size and feature dimension. Moreover, they achieve linear convergence even when the saddle-point problem has only strong concavity in the dual variables but no strong convexity in the primal variables. Numerical experiments on benchmark problems demonstrate the effectiveness of our methods.


title: Global Optimality in Low-rank Matrix Optimization

abstract: This paper considers the minimization of a general objective function $f(X)$ over the set of rectangular $n\times m$ matrices that have rank at most $r$. To reduce the computational burden, we factorize the variable $X$ into a product of two smaller matrices and optimize over these two matrices instead of $X$. Despite the resulting nonconvexity, recent studies in matrix completion and sensing have shown that the factored problem has no spurious local minima and obeys the so-called strict saddle property (the function has a directional negative curvature at all critical points but local minima). We analyze the global geometry for a general and yet well-conditioned objective function $f(X)$ whose restricted strong convexity and restricted strong smoothness constants are comparable. In particular, we show that the reformulated objective function has no spurious local minima and obeys the strict saddle property. These geometric properties imply that a number of iterative optimization algorithms (such as gradient descent) can provably solve the factored problem with global convergence.


abstract: Active measurements are integral to the operation and management of networks, and invaluable to supporting empirical network research. Unfortunately, it is often cost-prohibitive and logistically difficult to widely deploy measurement nodes, especially in the core. In this work, we consider the feasibility of tightly integrating measurement within the infrastructure by using Software Defined Networks (SDNs). We introduce "SDN as Active Measurement Infrastructure" (SAAMI) to enable measurements to originate from any location where SDN is deployed, removing the need for dedicated measurement nodes and increasing vantage point diversity. We implement ping and traceroute using SAAMI, as well as a proof-of-concept custom measurement protocol to demonstrate the power and ease of SAAMI's open framework. Via a large-scale measurement campaign using SDN switches as vantage points, we show that SAAMI is accurate, scalable, and extensible.


title: The Implicitly Constructible Universe

abstract: We answer several questions posed by Hamkins and Leahy concerning the implicitly constructible universe, Imp. Specifically, we show that it is relatively consistent with ZFC that Imp satisfies the negation of CH, that Imp is not HOD, and that Imp satisfies V $\neq$ Imp, or in other words, that $(Imp)^{Imp}\neq Imp$.


title: Mapping Rule Estimation for Power Flow Analysis in Distribution Grids

abstract: The increasing integration of distributed energy resources (DERs) calls for new monitoring and operational planning tools to ensure stability and sustainability in distribution grids. One idea is to use existing monitoring tools in transmission grids and some primary distribution grids. However, they usually depend on the knowledge of the system model, e.g., the topology and line parameters, which may be unavailable in primary and secondary distribution grids. Furthermore, a utility usually has limited modeling ability of active controllers for solar panels as they may belong to a third party like residential customers. To solve the modeling problem in traditional power flow analysis, we propose a support vector regression (SVR) approach to reveal the mapping rules between different variables and recover useful variables based on physical understanding and data mining. We illustrate the advantages of using the SVR model over traditional regression method which finds line parameters in distribution grids. Specifically, the SVR model is robust enough to recover the mapping rules while the regression method fails when 1) there are measurement outliers and missing data, 2) there are active controllers, or 3) measurements are only available at some part of a distribution grid. We demonstrate the superior performance of our method through extensive numerical validation on different scales of distribution grids.


title: Deep Learning for Design and Retrieval of Nano-photonic Structures

abstract: Our visual perception of our surroundings is ultimately limited by the diffraction limit, which stipulates that optical information smaller than roughly half the illumination wavelength is not retrievable. Over the past decades, many breakthroughs have led to unprecedented imaging capabilities beyond the diffraction-limit, with applications in biology and nanotechnology. In this context, nano-photonics has revolutionized the field of optics in recent years by enabling the manipulation of light-matter interaction with subwavelength structures. However, despite the many advances in this field, its impact and penetration in our daily life has been hindered by a convoluted and iterative process, cycling through modeling, nanofabrication and nano-characterization. The fundamental reason is the fact that not only the prediction of the optical response is very time consuming and requires solving Maxwell's equations with dedicated numerical packages. But, more significantly, the inverse problem, i.e. designing a nanostructure with an on-demand optical response, is currently a prohibitive task even with the most advanced numerical tools due to the high non-linearity of the problem. Here, we harness the power of Deep Learning, a new path in modern machine learning, and show its ability to predict the geometry of nanostructures based solely on their far-field response. This approach also addresses in a direct way the currently inaccessible inverse problem breaking the ground for on-demand design of optical response with applications such as sensing, imaging and also for plasmon's mediated cancer thermotherapy.


title: A Note on the Dimensional Reduction of Axisymmetric Spacetimes

abstract: We investigate the dimensional reduction of 3+1 vacuum axisymmetric Einstein's equations to 2+1 dimensional Einstein-wave map system and observe that the resulting system is 1) not asymptotically flat, 2) its geometric-mass diverges and 3) the energy of wave map also diverges. Subsequently, we discuss the consequences of these issues.


title: McFSM: Globally Taming Complex Systems

abstract: Industrial computing devices, in particular cyber-physical, real-time and safety-critical systems, focus on reacting to external events and the need to cooperate with other devices to create a functional system. They are often implemented with languages that focus on a simple, local description of how a component reacts to external input data and stimuli. Despite the trend in modern software architectures to structure systems into largely independent components, the remaining interdependencies still create rich behavioural dynamics even for small systems. Standard and industrial programming approaches do usually not model or extensively describe the global properties of an entire system. Although a large number of approaches to solve this dilemma have been suggested, it remains a hard and error-prone task to implement systems with complex interdependencies correctly. We introduce multiple coupled finite state machines (McFSMs), a novel mechanism that allows us to model and manage such interdependencies. It is based on a consistent, well-structured and simple global description. A sound theoretical foundation is provided, and associated tools allow us to generate efficient low-level code in various programming languages using model-driven techniques. We also present a domain specific language to express McFSMs and their connections to other systems, to model their dynamic behaviour, and to investigate their efficiency and correctness at compile-time.


title: Constraining f(T) teleparallel gravity by Big Bang Nucleosynthesis

abstract: We use BBN observational data on primordial abundance of ${}^4He$ to constrain f(T) gravity. The three most studied viable $f(T)$ models, namely the power law, the exponential and the square-root exponential are considered, and the BBN bounds are adopted in order to extract constraints on their free parameters. For the power-law model, we find that the constraints are in agreement with those acquired using late-time cosmological data. For the exponential and the square-root exponential models, we show that for realiable regions of parameters space they always satisfy the BBN bounds. We conclude that viable f(T) models can successfully satisfy the BBN constraints.


title: Attracting sequences of holomorphic automorphisms that agree to a certain order

abstract: The basin of attraction of a uniformly attracting sequence of holomorphic automorphisms that agree to a certain order in the common fixed point, is biholomorphic to $\mathbb{C}^n$. We also give sufficient estimates how large this order has to be.


title: Quantum String Test of Nonconformal Holography

abstract: We compute L\"uscher corrections to the effective string tension in the Pilch-Warner background, holographically dual to $\mathcal{N}=2^*$ supersymmetric Yang-Mills theory. The same quantity can be calculated directly from field theory by solving the localization matrix model at large-$N$. We find complete agreement between the field-theory predictions and explicit string-theory calculation at strong coupling.


title: About von Neumann's problem for locally compact groups

abstract: We note a generalization of Whyte's geometric solution to the von Neumann problem for locally compact groups in terms of Borel and clopen piecewise translations. This strengthens a result of Paterson on the existence of Borel paradoxical decompositions for non-amenable locally compact groups. Along the way, we study the connection between some geometric properties of coarse spaces and certain algebraic characteristics of their wobbling groups.


title: Generative Adversarial Active Learning

abstract: We propose a new active learning by query synthesis approach using Generative Adversarial Networks (GAN). Different from regular active learning, the resulting algorithm adaptively synthesizes training instances for querying to increase learning speed. We generate queries according to the uncertainty principle, but our idea can work with other active learning principles. We report results from various numerical experiments to demonstrate the effectiveness the proposed approach. In some settings, the proposed algorithm outperforms traditional pool-based approaches. To the best our knowledge, this is the first active learning work using GAN.


title: Morita theory and singularity categories

abstract: We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a notion of Noether normalization. In many cases we show this category is independent of the chosen normalization. Based on this, we define the singularity and cosingularity categories measuring the failure of regularity and coregularity and prove they are Koszul dual in the style of the BGG correspondence. Examples of interest include Koszul algebras and Ginzburg DG-algebras, $C^*(BG)$ for finite groups (or for compact Lie groups with orientable adjoint representation), cochains in rational homotopy theory and various examples from chromatic homotopy theory.


title: Efficient Online Bandit Multiclass Learning with $\tilde{O}(\sqrt{T})$ Regret

abstract: We present an efficient second-order algorithm with $\tilde{O}(\frac{1}{\eta}\sqrt{T})$ regret for the bandit online multiclass problem. The regret bound holds simultaneously with respect to a family of loss functions parameterized by $\eta$, for a range of $\eta$ restricted by the norm of the competitor. The family of loss functions ranges from hinge loss ($\eta=0$) to squared hinge loss ($\eta=1$). This provides a solution to the open problem of (J. Abernethy and A. Rakhlin. An efficient bandit algorithm for $\sqrt{T}$-regret in online multiclass prediction? In COLT, 2009). We test our algorithm experimentally, showing that it also performs favorably against earlier algorithms.


title: Supervised Learning of Labeled Pointcloud Differences via Cover-Tree Entropy Reduction

abstract: We introduce a new algorithm, called CDER, for supervised machine learning that merges the multi-scale geometric properties of Cover Trees with the information-theoretic properties of entropy. CDER applies to a training set of labeled pointclouds embedded in a common Euclidean space. If typical pointclouds corresponding to distinct labels tend to differ at any scale in any sub-region, CDER can identify these differences in (typically) linear time, creating a set of distributional coordinates which act as a feature extraction mechanism for supervised learning. We describe theoretical properties and implementation details of CDER, and illustrate its benefits on several synthetic examples.


title: Citation personal display: A case study of personal websites by physicists in 11 well-known universities

abstract: This paper aims to investigate the extent to which researchers display citation, and wants to examine whether there are researcher differences in citation personal display at the level of university, country, and academic rank. Physicists in 11 well-known universities in USA, Britain, and China were chosen as the object of study. It was manually identified if physicists had mentioned citation counts, citation-based indices, or a link to Google Scholar Citations (GSC) on the personal websites. A chi-square test is constructed to test researcher differences in citation personal display. Results showed that the overall proportion of citation personal display is not high (14.8%), with 129 of 870 physicists displaying citation. And physicists from different well-known universities indeed had a significant difference in citation personal display. Moreover, at the national level, it was noticed that physicists in well-known Chinese universities had the highest level of citation personal display, followed by Britain and the USA. Further, this study also found that researchers who had the academic rank of professor had the highest citation personal display. In addition, the differences in h-index personal display by university, country or academic rank were analyzed, and the results showed that they were not statistically significant.


title: An Efficient Multiway Mergesort for GPU Architectures

abstract: Sorting is a primitive operation that is a building block for countless algorithms. As such, it is important to design sorting algorithms that approach peak performance on a range of hardware architectures. Graphics Processing Units (GPUs) are particularly attractive architectures as they provides massive parallelism and computing power. However, the intricacies of their compute and memory hierarchies make designing GPU-efficient algorithms challenging. In this work we present GPU Multiway Mergesort (MMS), a new GPU-efficient multiway mergesort algorithm. MMS employs a new partitioning technique that exposes the parallelism needed by modern GPU architectures. To the best of our knowledge, MMS is the first sorting algorithm for the GPU that is asymptotically optimal in terms of global memory accesses and that is completely free of shared memory bank conflicts. We realize an initial implementation of MMS, evaluate its performance on three modern GPU architectures, and compare it to competitive implementations available in state-of-the-art GPU libraries. Despite these implementations being highly optimized, MMS compares favorably, achieving performance improvements for most random inputs. Furthermore, unlike MMS, state-of-the-art algorithms are susceptible to bank conflicts. We find that for certain inputs that cause these algorithms to incur large numbers of bank conflicts, MMS can achieve up to a 37.6% speedup over its fastest competitor. Overall, even though its current implementation is not fully optimized, due to its efficient use of the memory hierarchy, MMS outperforms the fastest comparison-based sorting implementations available to date.


title: Mean conservation for density estimation via diffusion using the finite element method

abstract: We propose boundary conditions for the diffusion equation that maintain the initial mean and the total mass of a discrete data sample in the density estimation process. A complete study of this framework with numerical experiments using the finite element method is presented for the one dimensional diffusion equation, some possible applications of this results are presented as well. We also comment on a similar methodology for the two-dimensional diffusion equation for future applications in two-dimensional domains.


title: Spatially Aware Melanoma Segmentation Using Hybrid Deep Learning Techniques

abstract: In this paper, we proposed using a hybrid method that utilises deep convolutional and recurrent neural networks for accurate delineation of skin lesion of images supplied with ISBI 2017 lesion segmentation challenge. The proposed method was trained using 1800 images and tested on 150 images from ISBI 2017 challenge.


title: The Sharkovsky Theorem

abstract: The original proof of the Sharkovsky theorem is presented in full detail. The proof should be accessible to readers with basic Real Analysis background. Although nowadays there are several alternative proofs of this classical result, we believe the original proof has independent interest. On the one hand, it shows the path followed by the author to derive his result; on the other hand, many auxiliary results in this proof have independent interest. Moreover, the proof itself is not widely available, is very terse, and contains several typographical errors.


title: Distributed Frequency Control with Operational Constraints, Part I: Per-Node Power Balance

abstract: This paper addresses the distributed optimal frequency control of multi-area power system with operational constraints, including the regulation capacity of individual control area and the power limits on tie-lines. Both generators and controllable loads are utilized to recover nominal frequencies while minimizing regulation cost. We study two control modes:the per-node balance mode and the network balance mode. In Part I of the paper, we only consider the per-node balance case, where we derive a completely decentralized strategy without the need for communication between control areas. It can adapt to unknown load disturbance. The tie-line powers are restored after load disturbance, while the regulation capacity constraints are satisfied both at equilibrium and during transient. We show that the closed-loop systems with the proposed control strategies carry out primal-dual updates for solving the associated centralized frequency optimization problems. We further prove the closed-loop systems are asymptotically stable and converge to the unique optimal solution of the centralized frequency optimization problems and their duals. Finally, we present simulation results to demonstrate the effectiveness of our design. In Part II of the paper, we address the network power balance case, where transmission congestions are managed continuously.


title: Globally Optimal Gradient Descent for a ConvNet with Gaussian Inputs

abstract: Deep learning models are often successfully trained using gradient descent, despite the worst case hardness of the underlying non-convex optimization problem. The key question is then under what conditions can one prove that optimization will succeed. Here we provide a strong result of this kind. We consider a neural net with one hidden layer and a convolutional structure with no overlap and a ReLU activation function. For this architecture we show that learning is NP-complete in the general case, but that when the input distribution is Gaussian, gradient descent converges to the global optimum in polynomial time. To the best of our knowledge, this is the first global optimality guarantee of gradient descent on a convolutional neural network with ReLU activations.


title: Generalized James' effective Hamiltonian method

abstract: James' effective Hamiltonian method has been extensively adopted to investigate largely detuned interacting quantum systems. This method is just corresponding to the second-order perturbation theory, and cannot be exploited to treat the problems which should be solved by using the third or higher-order perturbation theory. In this paper, we generalize James' effective Hamiltonian method to the higher-order case. Using the method developed here, we reexamine two examples published recently [Phys. Rev.Lett. 117, 043601 (2016), Phys. Rev A 92, 023842 (2015)], our results turn out to be the same as the original ones derived from the third-order perturbation theory and adiabatic elimination method respectively. For some specific problems, this method can simplify the calculating procedure, and the resultant effective Hamiltonian is more general.


title: Imaging the dynamics of individual hydrogen atom intercalated between two graphene sheets

abstract: The interlayer gallery between two adjacent sheets of van der Waals materials is expected to modify properties of atoms and molecules confined at the atomic interfaces. Here, we directly image individual hydrogen atom intercalated between two graphene sheets and investigate its dynamics by scanning tunnelling microscope (STM). The intercalated hydrogen atom is found to be remarkably different from atomic hydrogen chemisorbed on external surface of graphene. Our STM measurements, complemented by first-principles calculations, show that the hydrogen atom intercalated between two graphene sheets has dramatically reduced potential barriers for elementary migration steps. Especially, the confined atomic hydrogen dissociation energy from graphene is reduced to 0.34 eV, which is only about a third of a hydrogen atom chemisorbed on graphene. This offers a unique platform for direct imaging of the atomic dynamics of confined atoms. Our results suggest that the atomic interfaces of van der Waals materials may provide a confined environment to tune the interfacial chemical reactions.


title: Related Pins at Pinterest: The Evolution of a Real-World Recommender System

abstract: Related Pins is the Web-scale recommender system that powers over 40% of user engagement on Pinterest. This paper is a longitudinal study of three years of its development, exploring the evolution of the system and its components from prototypes to present state. Each component was originally built with many constraints on engineering effort and computational resources, so we prioritized the simplest and highest-leverage solutions. We show how organic growth led to a complex system and how we managed this complexity. Many challenges arose while building this system, such as avoiding feedback loops, evaluating performance, activating content, and eliminating legacy heuristics. Finally, we offer suggestions for tackling these challenges when engineering Web-scale recommender systems.


title: Extremal functions for the Moser--Trudinger inequality of Adimurthi--Druet type in $W^{1,N}(\mathbb R^N)$

abstract: We study the existence and nonexistence of maximizers for variational problem concerning to the Moser--Trudinger inequality of Adimurthi--Druet type in $W^{1,N}(\mathbb R^N)$ \[ MT(N,\beta, \alpha) =\sup_{u\in W^{1,N}(\mathbb R^N), \|\nabla u\|_N^N + \|u\|_N^N\leq 1} \int_{\mathbb R^N} \Phi_N(\beta(1+\alpha \|u\|_N^N)^{\frac1{N-1}} |u|^{\frac N{N-1}}) dx, \] where $\Phi_N(t) =e^{t} -\sum_{k=0}^{N-2} \frac{t^k}{k!}$, $0\leq \alpha < 1$ both in the subcritical case $\beta < \beta_N$ and critical case $\beta =\beta_N$ with $\beta_N = N \omega_{N-1}^{\frac1{N-1}}$ and $\omega_{N-1}$ denotes the surface area of the unit sphere in $\mathbb R^N$. We will show that $MT(N,\beta,\alpha)$ is attained in the subcritical case if $N\geq 3$ or $N=2$ and $\beta \in (\frac{2(1+2\alpha)}{(1+\alpha)^2 B_2},\beta_2)$ with $B_2$ is the best constant in a Gagliardo--Nirenberg inequality in $W^{1,2}(\mathbb R^2)$. We also show that $MT(2,\beta,\alpha)$ is not attained for $\beta$ small which is different from the context of bounded domains. In the critical case, we prove that $MT(N,\beta_N,\alpha)$ is attained for $\alpha\geq 0$ small enough. To prove our results, we first establish a lower bound for $MT(N,\beta,\alpha)$ which excludes the concentrating or vanishing behaviors of their maximizer sequences. This implies the attainability of $MT(N,\beta,\alpha)$ in the subcritical case. The proof in the critical case is based on the blow-up analysis method. Finally, by using the Moser sequence together the scaling argument, we show that $MT(N,\beta_N,1) =\infty$. Our results settle the questions left open in \cite{doO2015,doO2016}.


title: Seeing What Is Not There: Learning Context to Determine Where Objects Are Missing

abstract: Most of computer vision focuses on what is in an image. We propose to train a standalone object-centric context representation to perform the opposite task: seeing what is not there. Given an image, our context model can predict where objects should exist, even when no object instances are present. Combined with object detection results, we can perform a novel vision task: finding where objects are missing in an image. Our model is based on a convolutional neural network structure. With a specially designed training strategy, the model learns to ignore objects and focus on context only. It is fully convolutional thus highly efficient. Experiments show the effectiveness of the proposed approach in one important accessibility task: finding city street regions where curb ramps are missing, which could help millions of people with mobility disabilities.