title: Semiclassical Length Measure from a Quantum-Gravity Wave Function

abstract: The definition of a length operator in quantum cosmology is usually influenced by a~quantum theory for gravity considered. The semiclassical limit at the Planck age must meet the requirements implied in present observations. The features of a semiclassical wave-functional state are investigated, for which the modern measure(ment)s is consistent. The results of a length measurement at present times are compared with the same measurement operation at cosmological times. By this measure, it is possible to discriminate, within the same Planck-length expansion, the corrections to a Minkowski flat space possibly due to classicalization of quantum phenomena at the Planck time and those due to possible quantum-gravitational manifestations of present times. This~analysis and the comparison with the previous literature can be framed as a test for the verification of the time at which anomalies at present related to the gravitational field, and, in particular, whether they are ascribed to the classicalization epoch. Indeed, it allows to discriminate not only within the possible quantum features of the quasi (Minkowski) flat spacetime, but also from (possibly Lorentz violating) phenomena detectable at high-energy astrophysical scales. The results of two different (coordinate) length measures have been compared both at cosmological time and as a perturbation element on flat Minkowski spacetime. The differences for the components of the corresponding classical(ized) metric tensor have been analyzed at different orders of expansions. The comparison of the results of (straight) length measures in two different directions, in particular, can encode the pertinent information about the parameters defining the semiclassical wavefunctional for (semiclassicalized) gravitational field.


title: Bounds of the rank of the Mordell-Weil group of jacobians of hyperelliptic curves

abstract: In this article we extend work of Shanks and Washington on cyclic extensions, and elliptic curves associated to the simplest cubic fields. In particular, we give families of examples of hyperelliptic curves $C: y^2=f(x)$ defined over $\mathbb{Q}$, with $f(x)$ of degree $p$, where $p$ is a Sophie Germain prime, such that the rank of the Mordell--Weil group of the jacobian $J/\mathbb{Q}$ of $C$ is bounded by the genus of $C$ and the $2$-rank of the class group of the (cyclic) field defined by $f(x)$, and exhibit examples where this bound is sharp.


title: On Infinitary G\"odel logics

abstract: We study propositional and first-order G\"odel logics over infinitary languages which are motivated semantically by corresponding interpretations into the unit interval [0,1]. We provide infinitary Hilbert-style calculi for the particular (propositional and first-order) cases with con-/disjunctions of countable length and prove corresponding completeness theorems by extending the usual Lindenbaum-Tarski construction to the infinitary case for a respective algebraic semantics via complete linear Heyting algebras. We provide infinitary hypersequent calculi and prove corresponding cut-elimination theorems in the Sch\"utte-Tait-style. Initial observations are made regarding truth-value sets other than [0,1].


title: ALMA resolves the molecular gas in a young low-metallicity starburst galaxy at z=1.7

abstract: We present Atacama Large Millimeter/submillimeter Array observations of CO lines and dust continuum emission of the source RCSGA 032727--132609, a young $z=1.7$ low-metallicity starburst galaxy. The CO(3-2) and CO(6-5) lines, and continuum at rest-frame $450\,\mu m$ are detected and show a resolved structure in the image plane. We use the corresponding lensing model to obtain a source plane reconstruction of the detected emissions revealing intrinsic flux density of $S_{450\,\mu m}=23.5_{-8.1}^{+26.8}$ $\mu$Jy and intrinsic CO luminosities $L'_{\rm CO(3-2)}=2.90_{-0.23}^{+0.21}\times10^{8}$ ${\rm K\,km\,s^{-1}\,pc^{2}}$ and $L'_{\rm CO(6-5)}=8.0_{-1.3}^{+1.4}\times10^{7}$ ${\rm K\,km\,s^{-1}\,pc^{2}}$. We used the resolved properties in the source plane to obtain molecular gas and star-formation rate surface densities of $\Sigma_{\rm H2}=16.2_{-3.5}^{+5.8}\,{\rm M}_{\odot}\,{\rm pc}^{-2}$ and $\Sigma_{\rm SFR}=0.54_{-0.27}^{+0.89}\,{\rm M}_{\odot}\,{\rm yr}^{-1}\,{\rm kpc}^{-2}$ respectively. The intrinsic properties of RCSGA 032727--132609 show an enhanced star-formation activity compared to local spiral galaxies with similar molecular gas densities, supporting the ongoing merger-starburst phase scenario. RCSGA 032727--132609 also appears to be a low--density starburst galaxy similar to local blue compact dwarf galaxies, which have been suggested as local analogs to high-redshift low-metallicity starburst systems. Finally, the CO excitation level in the galaxy is consistent with having the peak at ${\rm J}\sim5$, with a higher excitation concentrated in the star-forming clumps.


title: A Radical Characterization of Abelian Varieties

abstract: Let $A$ be a square-free abelian variety defined over a number field $K$. Let $S$ be a density one set of prime ideals $\mathfrak{p}$ of $\mathcal{O}_K$. A famous theorem of Faltings says that the Frobenius polynomials $P_{A,\mathfrak{p}}(x)$ for $\mathfrak{p}\in S$ determine $A$ up to isogeny. We show that the prime factors of $|A(\mathbb{F}_{\mathfrak{p}})|=P_{A,\mathfrak{p}}(1)$ for $\mathfrak{p}\in S$ also determine $A$ up to isogeny over an explicit finite extension of $K$. The proof relies on understanding the $\ell$-adic monodromy groups which come from the $\ell$-adic Galois representations of $A$, and the absolute Weyl group action on their weights.


title: Optimization and experimental realization of the quantum permutation algorithm

abstract: The quantum permutation algorithm provides computational speed-up over classical algorithms in determining the parity of a given cyclic permutation. For its $n$-qubit implementations, the number of required quantum gates scales quadratically with $n$ due to the quantum Fourier transforms included. We show here for the $n$-qubit case that the algorithm can be simplified so that it requires only $O(n)$ quantum gates, which theoretically reduces the complexity of the implementation. In order to test our results experimentally, we utilize IBM's $5$-qubit quantum processor to realize the algorithm by using the original and simplified recipes for the $2$-qubit case. It turns out that the latter results in a significantly higher success probability which allows us to verify the algorithm more precisely than the previous experimental realizations. We also verify the algorithm for the first time for the $3$-qubit case with a considerable success probability by taking the advantage of our simplified scheme.


title: Searching for a dark photon: Project of the experiment at VEPP-3

abstract: We propose an experiment to search for a new gauge boson A' in $e^+e^-$ annihilation by means of a positron beam incident on a gas hydrogen target internal to the bypass at the VEPP-3 storage ring. The search method is based on a missing mass spectra in the reaction $e^+e^-\rightarrow \gamma$ A'. It allows observation of the A' signal independently of its decay modes and life time. The projected result of this experiment corresponds to an upper limit on the square of the coupling constant $\varepsilon^2=3\cdot 10^{-8}$ with a signal-to-noise ratio of two to one at an A' mass of 5-20 MeV.


title: Deep Learning for Video Game Playing

abstract: In this article, we review recent Deep Learning advances in the context of how they have been applied to play different types of video games such as first-person shooters, arcade games, and real-time strategy games. We analyze the unique requirements that different game genres pose to a deep learning system and highlight important open challenges in the context of applying these machine learning methods to video games, such as general game playing, dealing with extremely large decision spaces and sparse rewards.


title: Nationality Classification Using Name Embeddings

abstract: Nationality identification unlocks important demographic information, with many applications in biomedical and sociological research. Existing name-based nationality classifiers use name substrings as features and are trained on small, unrepresentative sets of labeled names, typically extracted from Wikipedia. As a result, these methods achieve limited performance and cannot support fine-grained classification. We exploit the phenomena of homophily in communication patterns to learn name embeddings, a new representation that encodes gender, ethnicity, and nationality which is readily applicable to building classifiers and other systems. Through our analysis of 57M contact lists from a major Internet company, we are able to design a fine-grained nationality classifier covering 39 groups representing over 90% of the world population. In an evaluation against other published systems over 13 common classes, our F1 score (0.795) is substantial better than our closest competitor Ethnea (0.580). To the best of our knowledge, this is the most accurate, fine-grained nationality classifier available. As a social media application, we apply our classifiers to the followers of major Twitter celebrities over six different domains. We demonstrate stark differences in the ethnicities of the followers of Trump and Obama, and in the sports and entertainments favored by different groups. Finally, we identify an anomalous political figure whose presumably inflated following appears largely incapable of reading the language he posts in.


title: Characterizing Distances of Networks on the Tensor Manifold

abstract: At the core of understanding dynamical systems is the ability to maintain and control the systems behavior that includes notions of robustness, heterogeneity, or regime-shift detection. Recently, to explore such functional properties, a convenient representation has been to model such dynamical systems as a weighted graph consisting of a finite, but very large number of interacting agents. This said, there exists very limited relevant statistical theory that is able cope with real-life data, i.e., how does perform analysis and/or statistics over a family of networks as opposed to a specific network or network-to-network variation. Here, we are interested in the analysis of network families whereby each network represents a point on an underlying statistical manifold. To do so, we explore the Riemannian structure of the tensor manifold developed by Pennec previously applied to Diffusion Tensor Imaging (DTI) towards the problem of network analysis. In particular, while this note focuses on Pennec definition of geodesics amongst a family of networks, we show how it lays the foundation for future work for developing measures of network robustness for regime-shift detection. We conclude with experiments highlighting the proposed distance on synthetic networks and an application towards biological (stem-cell) systems.


title: Weight multiplicity formulas for bivariate representations of classical Lie algebras

abstract: A bivariate representation of a complex simple Lie algebra is an irreducible representation having highest weight a combination of the first two fundamental weights. For a complex classical Lie algebra, we establish an expression for the weight multiplicities of bivariate representations.


title: Network Essence: PageRank Completion and Centrality-Conforming Markov Chains

abstract: Ji\v{r}\'i Matou\v{s}ek (1963-2015) had many breakthrough contributions in mathematics and algorithm design. His milestone results are not only profound but also elegant. By going beyond the original objects --- such as Euclidean spaces or linear programs --- Jirka found the essence of the challenging mathematical/algorithmic problems as well as beautiful solutions that were natural to him, but were surprising discoveries to the field. In this short exploration article, I will first share with readers my initial encounter with Jirka and discuss one of his fundamental geometric results from the early 1990s. In the age of social and information networks, I will then turn the discussion from geometric structures to network structures, attempting to take a humble step towards the holy grail of network science, that is to understand the network essence that underlies the observed sparse-and-multifaceted network data. I will discuss a simple result which summarizes some basic algebraic properties of personalized PageRank matrices. Unlike the traditional transitive closure of binary relations, the personalized PageRank matrices take "accumulated Markovian closure" of network data. Some of these algebraic properties are known in various contexts. But I hope featuring them together in a broader context will help to illustrate the desirable properties of this Markovian completion of networks, and motivate systematic developments of a network theory for understanding vast and ubiquitous multifaceted network data.


title: Fibrations in CICY Threefolds

abstract: In this work we systematically enumerate genus one fibrations in the class of 7,890 Calabi-Yau manifolds defined as complete intersections in products of projective spaces, the so-called CICY threefolds. This survey is independent of the description of the manifolds and improves upon past approaches that probed only a particular algebraic form of the threefolds (i.e. searches for "obvious" genus one fibrations as in [1,2]). We also study K3-fibrations and nested fibration structures. That is, K3 fibrations with potentially many distinct elliptic fibrations. To accomplish this survey a number of new geometric tools are developed including a determination of the full topology of all CICY threefolds, including triple intersection numbers. In 2,946 cases this involves finding a new "favorable" description of the manifold in which all divisors descend from a simple ambient space. Our results consist of a survey of obvious fibrations for all CICY threefolds and a complete classification of all genus one fibrations for 4,957 "Kahler favorable" CICYs whose Kahler cones descend from a simple ambient space. Within the CICY dataset, we find 139,597 obvious genus one fibrations, 30,974 obvious K3 fibrations and 208,987 nested combinations. For the Kahler favorable geometries we find a complete classification of 377,559 genus one fibrations. For one manifold with Hodge numbers (19,19) we find an explicit description of an infinite number of distinct genus-one fibrations extending previous results for this particular geometry that have appeared in the literature. The data associated to this scan is available at http://www1.phys.vt.edu/cicydata .


title: Ab initio Modelling of the Early Stages of Precipitation in Al-6000 Alloys

abstract: Age hardening induced by the formation of (semi)-coherent precipitate phases is crucial for the processing and final properties of the widely used Al-6000 alloys. Early stages of precipitation are particularly important from the fundamental and technological side, but are still far from being fully understood. Here, an analysis of the energetics of nanometric precipitates of the meta-stable $\beta''$ phases is performed, identifying the bulk, elastic strain and interface energies that contribute to the stability of a nucleating cluster. Results show that needle-shape precipitates are unstable to growth even at the smallest size $\beta''$ formula unit, i.e. there is no energy barrier to growth. The small differences between different compositions points toward the need for the study of possible precipitate/matrix interface reconstruction. A classical semi-quantitative nucleation theory approach including elastic strain energy captures the trends in precipitate energy versus size and composition. This validates the use of mesoscale models to assess stability and interactions of precipitates. Studies of smaller 3d clusters also show stability relative to the solid solution state, indicating that the early stages of precipitation may be diffusion-limited. Overall, these results demonstrate the important interplay among composition-dependent bulk, interface, and elastic strain energies in determining nanoscale precipitate stability and growth.


title: Investigating the physical properties of transiting hot Jupiters with the 1.5-m Kuiper Telescope

abstract: We present new photometric data of 11 hot Jupiter transiting exoplanets (CoRoT-12b, HAT-P-5b, HAT-P-12b, HAT-P-33b, HAT-P-37b, WASP-2b, WASP-24b, WASP-60b, WASP-80b, WASP-103b, XO-3b) in order to update their planetary parameters and to constrain information about their atmospheres. These observations of CoRoT-12b, HAT-P-37b and WASP-60b are the first follow-up data since their discovery. Additionally, the first near-UV transits of WASP-80b and WASP-103b are presented. We compare the results of our analysis with previous work to search for transit timing variations (TTVs) and a wavelength dependence in the transit depth. TTVs may be evidence of a third body in the system and variations in planetary radius with wavelength can help constrain the properties of the exoplanet's atmosphere. For WASP-103b and XO-3b, we find a possible variation in the transit depths that may be evidence of scattering in their atmospheres. The B-band transit depth of HAT-P-37b is found to be smaller than its near-IR transit depth and such a variation may indicate TiO/VO absorption. These variations are detected from 2-4.6$\sigma$, so follow-up observations are needed to confirm these results. Additionally, a flat spectrum across optical wavelengths is found for 5 of the planets (HAT-P-5b, HAT-P-12b, WASP-2b, WASP-24b, WASP-80b), suggestive that clouds may be present in their atmospheres. We calculate a refined orbital period and ephemeris for all the targets, which will help with future observations. No TTVs are seen in our analysis with the exception of WASP-80b and follow-up observations are needed to confirm this possible detection.


title: Seismic waves and earthquakes in a global monolithic model

abstract: The philosophy that a single "monolithic" model can "asymptotically" replace and couple in a simple elegant way several specialized models relevant on various Earth layers is presented and, in special situations, also rigorously justified. In particular, global seismicity and tectonics is coupled to capture e.g.\ (here by a simplified model) ruptures of lithospheric faults generating seismic waves which then propagate through the solid-like mantle and inner core both as shear (S) or pressure (P) waves, while S-waves are suppressed in the fluidic outer core and also in the oceans. The "monolithic-type" models have the capacity to describe all the mentioned features globally in a unified way together with corresponding interfacial conditions implicitly involved, only when scaling its parameters appropriately in different Earth's layers. Coupling of seismic waves with seismic sources due to tectonic events is thus an automatic side effect. The global ansatz is here based, rather for an illustration, only on a relatively simple Jeffreys' viscoelastic damageable material at small strains whose various scaling (limits) can lead to Boger's viscoelastic fluid or even to purely elastic (inviscid) fluid. Self-induced gravity field, Coriolis, centrifugal, and tidal forces are counted in our global model, as well. The rigorous mathematical analysis as far as the existence of solutions, convergence of the mentioned scalings, and energy conservation is briefly presented.


title: A detailed study of the interstellar protons toward the TeV $\gamma$-ray SNR RX J0852.0$-$4622 (G266.2$-$1.2, Vela Jr.); a third case of the $\gamma$-rays and ISM spatial correspondence

abstract: We present a new analysis of the interstellar protons toward the TeV $\gamma$-ray SNR RX J0852.0$-$4622 (G266.2$-$1.2, Vela Jr.). We used the NANTEN2 $^{12}$CO($J$ = 1-0) and ATCA & Parkes HI datasets in order to derive the molecular and atomic gas associated with the TeV $\gamma$-ray shell of the SNR. We find that atomic gas over a velocity range from $V_\mathrm{LSR}$ = $-4$ km s$^{-1}$ to 50 km s$^{-1}$ or 60 km s$^{-1}$ is associated with the entire SNR, while molecular gas is associated with a limited portion of the SNR. The large velocity dispersion of the HI is ascribed to the expanding motion of a few HI shells overlapping toward the SNR but is not due to the Galactic rotation. The total masses of the associated HI and molecular gases are estimated to be $\sim2.5 \times 10^4 $ $M_{\odot}$ and $\sim10^3$ $M_{\odot}$, respectively. A comparison with the H.E.S.S. TeV $\gamma$-rays indicates that the interstellar protons have an average density around 100 cm$^{-3}$ and shows a good spatial correspondence with the TeV $\gamma$-rays. The total cosmic ray proton energy is estimated to be $\sim10^{48}$ erg for the hadronic $\gamma$-ray production, which may still be an underestimate by a factor of a few due to a small filling factor of the SNR volume by the interstellar protons. This result presents a third case, after RX J1713.7$-$3946 and HESS J1731$-$347, of the good spatial correspondence between the TeV $\gamma$-rays and the interstellar protons, lending further support for a hadronic component in the $\gamma$-rays from young TeV $\gamma$-ray SNRs.


title: Time-Varying Sensor and Actuator Selection for Uncertain Cyber-Physical Systems

abstract: We propose methods to solve time-varying, sensor and actuator (SaA) selection problems for uncertain cyber-physical systems. We show that many SaA selection problems for optimizing a variety of control and estimation metrics can be posed as semidefinite optimization problems with mixed-integer bilinear matrix inequalities (MIBMIs). Although this class of optimization problems are computationally challenging, we present tractable approaches that directly tackle MIBMIs, providing both upper and lower bounds, and that lead to effective heuristics for SaA selection. The upper and lower bounds are obtained via successive convex approximations and semidefinite programming relaxations, respectively, and selections are obtained with a novel slicing algorithm from the solutions of the bounding problems. Custom branch-and-bound and combinatorial greedy approaches are also developed for a broad class of systems for comparison. Finally, comprehensive numerical experiments are performed to compare the different methods and illustrate their effectiveness.


title: SQDFT: Spectral Quadrature method for large-scale parallel $\mathcal{O}(N)$ Kohn-Sham calculations at high temperature

abstract: We present SQDFT: a large-scale parallel implementation of the Spectral Quadrature (SQ) method for $\mathcal{O}(N)$ Kohn-Sham Density Functional Theory (DFT) calculations at high temperature. Specifically, we develop an efficient and scalable finite-difference implementation of the infinite-cell Clenshaw-Curtis SQ approach, in which results for the infinite crystal are obtained by expressing quantities of interest as bilinear forms or sums of bilinear forms, that are then approximated by spatially localized Clenshaw-Curtis quadrature rules. We demonstrate the accuracy of SQDFT by showing systematic convergence of energies and atomic forces with respect to SQ parameters to reference diagonalization results, and convergence with discretization to established planewave results, for both metallic and insulating systems. We further demonstrate that SQDFT achieves excellent strong and weak parallel scaling on computer systems consisting of tens of thousands of processors, with near perfect $\mathcal{O}(N)$ scaling with system size and wall times as low as a few seconds per self-consistent field iteration. Finally, we verify the accuracy of SQDFT in large-scale quantum molecular dynamics simulations of aluminum at high temperature.


title: Polytopes of Maximal Volume Product

abstract: For a convex body $K \subset {\mathbb R}^n$, let $K^z = \{y\in{\mathbb R}^n : \langle y-z, x-z\rangle\le 1, \mbox{\ for all\ } x\in K\}$ be the polar body of $K$ with respect to the center of polarity $z \in {\mathbb R}^n$. The goal of this paper is to study the maximum of the volume product $\mathcal{P}(K)=\min_{z\in {\rm int}(K)}|K||K^z|$, among convex polytopes $K\subset {\mathbb R}^n$ with a number of vertices bounded by some fixed integer $m \ge n+1$. In particular, we prove that the supremum is reached at a simplicial polytope with exactly $m$ vertices and we provide a new proof of a result of Meyer and Reisner showing that, in the plane, the regular polygon has maximal volume product among all polygons with at most $m$ vertices. Finally, we treat the case of polytopes with $n+2$ vertices in ${\mathbb R}^n$.


title: Analytical Models of Exoplanetary Atmospheres. IV. Improved Two-stream Radiative Transfer for the Treatment of Aerosols

abstract: We present a novel generalization of the two-stream method of radiative transfer, which allows for the accurate treatment of radiative transfer in the presence of strong infrared scattering by aerosols. We prove that this generalization involves only a simple modification of the coupling coefficients and transmission functions in the hemispheric two-stream method. This modification originates from allowing the ratio of the first Eddington coefficients to depart from unity. At the heart of the method is the fact that this ratio may be computed once and for all over the entire range of values of the single-scattering albedo and scattering asymmetry factor. We benchmark our improved two-stream method by calculating the fraction of flux reflected by a single atmospheric layer (the reflectivity) and comparing these calculations to those performed using a 32-stream discrete-ordinates method. We further compare our improved two-stream method to the two-stream source function (16 streams) and delta-Eddington methods, demonstrating that it is often more accurate at the order-of-magnitude level. Finally, we illustrate its accuracy using a toy model of the early Martian atmosphere hosting a cloud layer composed of carbon-dioxide ice particles. The simplicity of implementation and accuracy of our improved two-stream method renders it suitable for implementation in three-dimensional general circulation models. In other words, our improved two-stream method has the ease of implementation of a standard two-stream method, but the accuracy of a 32-stream method.


title: The Asymmetric Colonel Blotto Game

abstract: This paper explores the Nash equilibria of a variant of the Colonel Blotto game, which we call the Asymmetric Colonel Blotto game. In the Colonel Blotto game, two players simultaneously distribute forces across $n$ battlefields. Within each battlefield, the player that allocates the higher level of force wins. The payoff of the game is the proportion of wins on the individual battlefields. In the asymmetric version, the levels of force distributed to the battlefields must be nondecreasing. In this paper, we find a family of Nash equilibria for the case with three battlefields and equal levels of force and prove the uniqueness of the marginal distributions. We also find the unique equilibrium payoff for all possible levels of force in the case with two battlefields, and obtain partial results for the unique equilibrium payoff for asymmetric levels of force in the case with three battlefields.


title: Nonlinear forms of coprimeness preserving extensions to the Somos-$4$ recurrence and the two-dimensional Toda lattice equation --investigation into their extended Laurent properties--

abstract: Coprimeness property was introduced to study the singularity structure of discrete dynamical systems. In this paper we shall extend the coprimeness property and the Laurent property to further investigate discrete equations with complicated pattern of singularities. As examples we study extensions to the Somos-$4$ recurrence and the two-dimensional discrete Toda equation. By considering their non-autonomous polynomial forms, we prove that their tau function analogues possess the extended Laurent property with respect to their initial variables and some extra factors related to the non-autonomous terms. Using this Laurent property, we prove that these equations satisfy the extended coprimeness property. This coprimeness property reflects the singularities that trivially arise from the equations.


title: Robust Task Clustering for Deep Many-Task Learning

abstract: We investigate task clustering for deep-learning based multi-task and few-shot learning in a many-task setting. We propose a new method to measure task similarities with cross-task transfer performance matrix for the deep learning scenario. Although this matrix provides us critical information regarding similarity between tasks, its asymmetric property and unreliable performance scores can affect conventional clustering methods adversely. Additionally, the uncertain task-pairs, i.e., the ones with extremely asymmetric transfer scores, may collectively mislead clustering algorithms to output an inaccurate task-partition. To overcome these limitations, we propose a novel task-clustering algorithm by using the matrix completion technique. The proposed algorithm constructs a partially-observed similarity matrix based on the certainty of cluster membership of the task-pairs. We then use a matrix completion algorithm to complete the similarity matrix. Our theoretical analysis shows that under mild constraints, the proposed algorithm will perfectly recover the underlying "true" similarity matrix with a high probability. Our results show that the new task clustering method can discover task clusters for training flexible and superior neural network models in a multi-task learning setup for sentiment classification and dialog intent classification tasks. Our task clustering approach also extends metric-based few-shot learning methods to adapt multiple metrics, which demonstrates empirical advantages when the tasks are diverse.


title: Fusion ring revisited

abstract: In this note we describe a general elementary procedure to attach a fusion ring to any Kac-Moody algebra of affine type. In the case of untwisted affine algebras, they are usual fusion rings in the literature. In the case of twisted affine algebras, they are exactly the twisted fusion rings defined by the author in [Ho2] via tracing out diagram automorphisms on conformal blocks for appropriate simply-laced Lie algebras. We also relate the fusion ring to the modular S-matrix for any Kac-Moody algebra of affine type.


title: Deep Learning for Target Classification from SAR Imagery: Data Augmentation and Translation Invariance

abstract: This report deals with translation invariance of convolutional neural networks (CNNs) for automatic target recognition (ATR) from synthetic aperture radar (SAR) imagery. In particular, the translation invariance of CNNs for SAR ATR represents the robustness against misalignment of target chips extracted from SAR images. To understand the translation invariance of the CNNs, we trained CNNs which classify the target chips from the MSTAR into the ten classes under the condition of with and without data augmentation, and then visualized the translation invariance of the CNNs. According to our results, even if we use a deep residual network, the translation invariance of the CNN without data augmentation using the aligned images such as the MSTAR target chips is not so large. A more important factor of translation invariance is the use of augmented training data. Furthermore, our CNN using augmented training data achieved a state-of-the-art classification accuracy of 99.6%. These results show an importance of domain-specific data augmentation.


title: Section problems for configuration spaces of surfaces

abstract: In this paper we give a close-to-sharp answer to the basic questions: When is there a continuous way to add a point to a configuration of $n$ ordered points on a surface $S$ of finite type so that all the points are still distinct? When this is possible, what are all the ways to do it? More precisely, let PConf$_n(S)$ be the space of ordered $n$-tuple of distinct points in $S$. Let $f_n(S): \text{PConf}_{n+1}(S) \to \text{PConf}_n(S)$ be the map given by $f_n(x_0,x_1,\ldots ,x_n):=(x_1,\ldots ,x_n)$. We classify all continuous sections of $f_n$ up to homotopy by proving the following. 1. If $S=\mathbb{R}^2$ and $n>3$, any section of $f_{n}(S)$ is either "adding a point at infinity" or "adding a point near $x_k$". (We define these two terms in Section 2.1; whether we can define "adding a point near $x_k$" or "adding a point at infinity" depends in a delicate way on properties of $S$. ) 2. If $S=S^2$ a $2$-sphere and $n>4$, any section of $f_{n}(S)$ is "adding a point near $x_k$"; if $S=S^2$ and $n=2$, the bundle $f_n(S)$ does not have a section. (We define this term in Section 3.2) 3. If $S=S_g$ a surface of genus $g>1$ and for $n>1$, we give an easy proof that the bundle $f_{n}(S)$ does not have a section.


title: ALMA Thermal Observations of a Proposed Plume Source Region on Europa

abstract: We present a daytime thermal image of Europa taken with the Atacama Large Millimeter Array. The imaged region includes the area northwest of Pwyll Crater, which is associated with a nighttime thermal excess seen by the Galileo Photopolarimeter Radiometer and with two potential plume detections. We develop a global thermal model of Europa and simulate both the daytime and nighttime thermal emission to determine if the nighttime thermal anomaly is caused by excess endogenic heat flow, as might be expected from a plume source region. We find that the nighttime and daytime brightness temperatures near Pwyll Crater cannot be matched by including excess heat flow at that location. Rather, we can successfully model both measurements by increasing the local thermal inertia of the surface.


title: The Weyl algebra as a fixed ring

abstract: We prove that the Weyl algebra over $\mathbb{C}$ cannot be a fixed ring of any domain under a nontrivial action of a finite group by algebra automorphisms, thus settling a 30-year old problem. In fact, we prove the following much more general result. Let $X$ be a smooth affine variety over $\mathbb{C}$, let $D(X)$ denote the ring of algebraic differential operators on $X,$ and let $\Gamma$ be a finite group. If $D(X)$ is isomorphic to the ring of $\Gamma$-invariants of a $\mathbb{C}$-domain $R$ on which $\Gamma$ acts faithfully by $\mathbb{C}$-algebra automorphisms, then $R$ is isomorphic to the ring of differential operators on a $\Gamma$-Galois covering of $X.$


title: Quadrupolar quantum criticality on a fractal

abstract: We study the ground state ordering of quadrupolar ordered $S=1$ magnets as a function of spin dilution probability $p$ on the triangular lattice. In sharp contrast to the ordering of $S=1/2$ dipolar N\'eel magnets on percolating clusters, we find that the quadrupolar magnets are quantum disordered at the percolation threshold, $p=p^*$. Further we find that long-range quadrupolar order is present for all $p<p^*$ and vanishes first exactly at $p^*$. Strong evidence for scaling behavior close to $p^*$ points to an unusual quantum criticality without fine tuning that arises from an interplay of quantum fluctuations and randomness.


title: Equilibrium rotation states of doubly synchronous binary asteroids

abstract: A doubly synchronous binary asteroid simultaneously experiences YORP and BYORP, the former being independent of the radius of the orbit, while the latter linearly dependent on the radius. In many systems YORP and BYORP can compensate each other at some radius, causing an equilibrium state, to which other orbits converge in the course of their evolution. We derive mathematical formalism of such equilibria in terms of dimensionless YORP and BYORP coefficients. We compute YORP and BYORP coefficients for a set of photometric and radar shape models, and find equilibria to be relatively common.


title: Correlation among extinction efficiency and other parameters in an aggregate dust model

abstract: We study the extinction properties of highly porous BCCA dust aggregates in a wide range of complex refractive indices ($1.4 \le n \le 2.0$, $0.001 \le k \le 1.0$) and wavelength ($0.11\mu m \le \lambda \le 3.4\mu m$). An attempt has been made for the first time to investigate the correlation among extinction efficiency ($Q_{ext}$), the composition of dust aggregates ($n, k$), the wavelength of radiation ($\lambda$) and size parameter of the monomers ($x$). If $k$ is fixed at any value between 0.001 and 1.0, $Q_{ext}$ increases with increase of $n$ from 1.4 to 2.0. $Q_{ext}$ and $n$ are correlated via \emph{linear} regression when the cluster size is small whereas the correlation is \emph{quadratic} at moderate and higher sizes of the cluster. This feature is observed at all wavelengths (UV to optical to infrared). We also find that the variation of $Q_{ext}$ with $n$ is very small when $\lambda$ is high. When $n$ is fixed at any value between 1.4 and 2.0, it is observed that $Q_{ext}$ and $k$ are correlated via polynomial regression equation (of degree 1, 2, 3 or 4), where the degree of the equation depends on the cluster size, $n$ and $\lambda$. The correlation is linear for small size and quadratic/cubic/quartic for moderate and higher sizes. We have also found that $Q_{ext}$ and $x$ are correlated via a polynomial regression (of degree 3,4 or 5) for all values of $n$. The degree of regression is found to be $n$ and $k$-dependent. The set of relations obtained from our work can be used to model interstellar extinction for dust aggregates in a wide range of wavelengths and complex refractive indices.


title: A Note On Separating Function Sets

abstract: We study separating function sets. We find some necessary and sufficient conditions for $C_p(X)$ or $C_p^2(X)$ to have a point-separating subspace that is a metric space with certain nice properties. One of the corollaries to our discussion is that for a zero-dimensional $X$, $C_p(X)$ has a discrete point-separating space if and only if $C_p^2(X)$ does.


title: Mahonian STAT on rearrangement class of words

abstract: In 2000, Babson and Steingr\'{i}msson generalized the notion of permutation patterns to the so-called vincular patterns, and they showed that many Mahonian statistics can be expressed as sums of vincular pattern occurrence statistics. STAT is one of such Mahonian statistics discoverd by them. In 2016, Kitaev and the third author introduced a words analogue of STAT and proved a joint equidistribution result involving two sextuple statistics on the whole set of words with fixed length and alphabet. Moreover, their computer experiments hinted at a finer involution on $R(w)$, the rearrangement class of a given word $w$. We construct such an involution in this paper, which yields a comparable joint equidistribution between two sextuple statistics over $R(w)$. Our involution builds on Burstein's involution and Foata-Sch\"{u}tzenberger's involution that utilizes the celebrated RSK algorithm.


title: Accurate calculation of oblate spheroidal wave functions

abstract: Alternative expressions for calculating the oblate spheroidal radial functions of both kinds R1ml and R2ml are shown to provide accurate values over very large parameter ranges using 64 bit arithmetic, even where the traditional expressions fail. First is the expansion of the product of a radial function and the angular function of the first kind in a series of products of the corresponding spherical functions, with the angular coordinate being a free parameter. Setting the angular coordinate equal to zero leads to accurate values for R2ml when the radial coordinate xi is larger than 0.01 and l is somewhat larger than m. Allowing it to vary with increasing l leads to highly accurate values for R1ml over all parameter ranges. Next is the calculation of R2ml as an integral of the product of S1ml and a spherical Neumann function kernel. This is useful for smaller values of xi. Also used is the near equality of pairs of low order eigenvalues when the size parameter c is large that leads to accurate values for R2ml using neighboring accurate values for R1ml. A modified method is described that provides accurate values for the necessary expansion coefficients when c is large and l is near m and traditional methods fail. A resulting Fortran computer program Oblfcn almost always provides radial function values with at least 8 accurate decimal digits using 64 bit arithmetic for m up to at least 1000 with c up to at least 2000 when xi is greater than 0.000001 and c up to at least 5000 when xi is greater than 0.01. Use of 128 bit arithmetic extends the accuracy to 15 or more digits and extends xi to all values other than zero. Oblfcn is freely available.


title: A Study of Distributionally Robust Multistage Stochastic Optimization

abstract: In this paper, we focus on a data-driven risk-averse multistage stochastic programming (RMSP) model considering distributional robustness. We optimize the RMSP over the worst-case distribution within an ambiguity set of probability distributions constructed directly from historical data samples. The proposed RMSP is intractable due to the multistage nested minimax structure in its objective function, so we reformulate it into a deterministic equivalent that contains a series of convex combination of expectation and conditional value at risk (CVaR), which can be solved by a customized stochastic dual dynamic programming (SDDP) algorithm in this paper. As the size of collected data samples increases to infinity, we show the consistency of the RMSP with distributional robustness to the traditional multistage stochastic programming. In addition, to test the computational performance of our proposed model and algorithm, we conduct numerical experiments for a risk-averse hydrothermal scheduling problem, the results of which demonstrate the effectiveness of our RMSP framework.


title: A GEM readout with radial zigzag strips and linear charge-sharing response

abstract: We study the position sensitivity of radial zigzag strips intended to read out large GEM detectors for tracking at future experiments. Zigzag strips can cover a readout area with fewer strips than regular straight strips while maintaining good spatial resolution. Consequently, they can reduce the number of required electronic channels and related cost for large-area GEM detector systems. A non-linear relation between incident particle position and hit position measured from charge sharing among zigzag strips was observed in a previous study. We significantly reduce this non-linearity by improving the interleaving of adjacent physical zigzag strips. Zigzag readout structures are implemented on PCBs and on a flexible foil and are tested using a 10 cm by 10 cm triple-GEM detector scanned with a strongly collimated X-ray gun on a 2D motorized stage. Angular resolutions of60-84 urad are achieved with a 1.37 mrad angular strip pitch at a radius of 784 mm. On a linear scale this corresponds to resolutions below 100 um.


title: An Algorithm of Parking Planning for Smart Parking System

abstract: There are so many vehicles in the world and the number of vehicles is increasing rapidly. To alleviate the parking problems caused by that, the smart parking system has been developed. The parking planning is one of the most important parts of it. An effective parking planning strategy makes the better use of parking resources possible. In this paper, we present a feasible method to do parking planning. We transform the parking planning problem into a kind of linear assignment problem. We take vehicles as jobs and parking spaces as agents. We take distances between vehicles and parking spaces as costs for agents doing jobs. Then we design an algorithm for this particular assignment problem and solve the parking planning problem. The method proposed can give timely and efficient guide information to vehicles for a real time smart parking system. Finally, we show the effectiveness of the method with experiments over some data, which can simulate the situation of doing parking planning in the real world.


title: Robust Stereo Feature Descriptor for Visual Odometry

abstract: In this paper, we propose a simple way to utilize stereo camera data to improve feature descriptors. Computer vision algorithms that use a stereo camera require some calculations of 3D information. We leverage this pre-calculated information to improve feature descriptor algorithms. We use the 3D feature information to estimate the scale of each feature. This way, each feature descriptor will be more robust to scale change without significant computations. In addition, we use stereo images to construct the descriptor vector. The Scale-Invariant Feature Transform (SIFT) and Fast Retina Keypoint (FREAK) descriptors are used to evaluate the proposed method. The scale normalization technique in feature tracking test improves the standard SIFT by 8.75% and improves the standard FREAK by 28.65%. Using the proposed stereo feature descriptor, a visual odometry algorithm is designed and tested on the KITTI dataset. The stereo FREAK descriptor raises the number of inlier matches by 19% and consequently improves the accuracy of visual odometry by 23%.


title: Field-only integral equation method for time domain scattering of electromagnetic pulses

abstract: The scattering of electromagnetic pulses is described using a non-singular boundary integral method to solve directly for the field components in the frequency domain, and Fourier transform is then used to obtain the complete space-time behavior. This approach is stable for wavelengths both small and large relative to characteristic length scales. Amplitudes and phases of field values can be obtained accurately on or near material boundaries. Local field enhancement effects due to multiple scattering of interest to applications in microphotonics are demonstrated.


title: Effective Blog Pages Extractor for Better UGC Accessing

abstract: Blog is becoming an increasingly popular media for information publishing. Besides the main content, most of blog pages nowadays also contain noisy information such as advertisements etc. Removing these unrelated elements can improves user experience, but also can better adapt the content to various devices such as mobile phones. Though template-based extractors are highly accurate, they may incur expensive cost in that a large number of template need to be developed and they will fail once the template is updated. To address these issues, we present a novel template-independent content extractor for blog pages. First, we convert a blog page into a DOM-Tree, where all elements including the title and body blocks in a page correspond to subtrees. Then we construct subtree candidate set for the title and the body blocks respectively, and extract both spatial and content features for elements contained in the subtree. SVM classifiers for the title and the body blocks are trained using these features. Finally, the classifiers are used to extract the main content from blog pages. We test our extractor on 2,250 blog pages crawled from nine blog sites with obviously different styles and templates. Experimental results verify the effectiveness of our extractor.


title: Some algorithms related to the Jacobian Conjecture

abstract: We describe an algorithm that computes possible corners of hypothetical counterexamples to the Jacobian Conjecture up to a given bound. Using this algorithm we compute the possible families corresponding to $\gcd(deg(P),deg(Q))\le 35$, and all the pairs $(deg(P),deg(Q))$ with $\max(deg(P),deg(Q))\le 150$ for any hypothetical counterexample.


title: 3D Binary Signatures

abstract: In this paper, we propose a novel binary descriptor for 3D point clouds. The proposed descriptor termed as 3D Binary Signature (3DBS) is motivated from the matching efficiency of the binary descriptors for 2D images. 3DBS describes keypoints from point clouds with a binary vector resulting in extremely fast matching. The method uses keypoints from standard keypoint detectors. The descriptor is built by constructing a Local Reference Frame and aligning a local surface patch accordingly. The local surface patch constitutes of identifying nearest neighbours based upon an angular constraint among them. The points are ordered with respect to the distance from the keypoints. The normals of the ordered pairs of these keypoints are projected on the axes and the relative magnitude is used to assign a binary digit. The vector thus constituted is used as a signature for representing the keypoints. The matching is done by using hamming distance. We show that 3DBS outperforms state of the art descriptors on various evaluation metrics.


title: Deep Style Match for Complementary Recommendation

abstract: Humans develop a common sense of style compatibility between items based on their attributes. We seek to automatically answer questions like "Does this shirt go well with that pair of jeans?" In order to answer these kinds of questions, we attempt to model human sense of style compatibility in this paper. The basic assumption of our approach is that most of the important attributes for a product in an online store are included in its title description. Therefore it is feasible to learn style compatibility from these descriptions. We design a Siamese Convolutional Neural Network architecture and feed it with title pairs of items, which are either compatible or incompatible. Those pairs will be mapped from the original space of symbolic words into some embedded style space. Our approach takes only words as the input with few preprocessing and there is no laborious and expensive feature engineering.


title: A unified approach to the thermodynamics and quantum scaling functions of one-dimensional strongly attractive $SU(w)$ Fermi Gases

abstract: In this letter we present a unified derivation of the pressure equation of states, thermodynamics and scaling functions for the one-dimensional (1D) strongly attractive Fermi gases with $SU(w)$ symmetry. These physical quantities provide a rigorous understanding on a universality class of quantum criticality characterised by the critical exponents $z=2$ and correlation length exponent $\nu=1/2$. Such a universality class of quantum criticality can occur when the Fermi sea of one branch of charge bound states starts to fill or become gapped at zero temperature. The quantum critical cone can be determined through the double peaks in specific heat which serve to mark two crossover temperatures fanning out from the critical point. Our method opens to further study on quantum phases and phase transitions in strongly interacting fermions with large $SU(w)$ and non-$SU(w)$ symmetries in one dimension.


title: Navigation Objects Extraction for Better Content Structure Understanding

abstract: Existing works for extracting navigation objects from webpages focus on navigation menus, so as to reveal the information architecture of the site. However, web 2.0 sites such as social networks, e-commerce portals etc. are making the understanding of the content structure in a web site increasingly difficult. Dynamic and personalized elements such as top stories, recommended list in a webpage are vital to the understanding of the dynamic nature of web 2.0 sites. To better understand the content structure in web 2.0 sites, in this paper we propose a new extraction method for navigation objects in a webpage. Our method will extract not only the static navigation menus, but also the dynamic and personalized page-specific navigation lists. Since the navigation objects in a webpage naturally come in blocks, we first cluster hyperlinks into different blocks by exploiting spatial locations of hyperlinks, the hierarchical structure of the DOM-tree and the hyperlink density. Then we identify navigation objects from those blocks using the SVM classifier with novel features such as anchor text lengths etc. Experiments on real-world data sets with webpages from various domains and styles verified the effectiveness of our method.


title: LERC: Coordinated Cache Management for Data-Parallel Systems

abstract: Memory caches are being aggressively used in today's data-parallel frameworks such as Spark, Tez and Storm. By caching input and intermediate data in memory, compute tasks can witness speedup by orders of magnitude. To maximize the chance of in-memory data access, existing cache algorithms, be it recency- or frequency-based, settle on cache hit ratio as the optimization objective. However, unlike the conventional belief, we show in this paper that simply pursuing a higher cache hit ratio of individual data blocks does not necessarily translate into faster task completion in data-parallel environments. A data-parallel task typically depends on multiple input data blocks. Unless all of these blocks are cached in memory, no speedup will result. To capture this all-or-nothing property, we propose a more relevant metric, called effective cache hit ratio. Specifically, a cache hit of a data block is said to be effective if it can speed up a compute task. In order to optimize the effective cache hit ratio, we propose the Least Effective Reference Count (LERC) policy that persists the dependent blocks of a compute task as a whole in memory. We have implemented the LERC policy as a memory manager in Spark and evaluated its performance through Amazon EC2 deployment. Evaluation results demonstrate that LERC helps speed up data-parallel jobs by up to 37% compared with the widely employed least-recently-used (LRU) policy.


title: m-TSNE: A Framework for Visualizing High-Dimensional Multivariate Time Series

abstract: Multivariate time series (MTS) have become increasingly common in healthcare domains where human vital signs and laboratory results are collected for predictive diagnosis. Recently, there have been increasing efforts to visualize healthcare MTS data based on star charts or parallel coordinates. However, such techniques might not be ideal for visualizing a large MTS dataset, since it is difficult to obtain insights or interpretations due to the inherent high dimensionality of MTS. In this paper, we propose 'm-TSNE': a simple and novel framework to visualize high-dimensional MTS data by projecting them into a low-dimensional (2-D or 3-D) space while capturing the underlying data properties. Our framework is easy to use and provides interpretable insights for healthcare professionals to understand MTS data. We evaluate our visualization framework on two real-world datasets and demonstrate that the results of our m-TSNE show patterns that are easy to understand while the other methods' visualization may have limitations in interpretability.


title: Undirecting membership in models of ZFA

abstract: It is known that, if we take a countable model of Zermelo--Fraenkel set theory ZFC and "undirect" the membership relation (that is, make a graph by joining $x$ to $y$ if either $x\in y$ or $y\in x$), we obtain the Erd\H{o}s--R\'enyi random graph. The crucial axiom in the proof of this is the Axiom of Foundation, so it is natural to wonder what happens if we delete this axiom, or replace it by an alternative (such as Aczel's Anti-Foundation Axiom). The resulting graph may fail to be simple, it may have loops (if $x\in x$ for some $x$) or multiple edges (if $x\in y$ and $y\in x$ for some $x,y$). We show that, in ZFA, if we keep the loops and ignore the multiple edges, we obtain the "random loopy graph" (which is $\aleph_0$-categorical and homogeneous), but if we keep multiple edges, the resulting graph is not $\aleph_0$-categorical, but has infinitely many $1$-types. Moreover, if we keep only loops and double edges and discard single edges, the resulting graph contains countably many connected components isomorphic to any given finite connected graph with loops.


title: Difference Galois groups under specialization

abstract: We present a difference analogue of a result given by Hrushovski on differential Galois groups under specialization. Let $k$ be an algebraically closed field of characteristic zero and $\mathbb{X}$ an irreducible affine algebraic variety over $k$. Consider the linear difference equation $$ \sigma(Y)=AY $$ where $A\in \mathrm{GL}_n(k(\mathbb{X})(x))$ and $\sigma$ is the shift operator $\sigma(x)=x+1$. Assume that the Galois group $G$ of the above equation over $\overline{k(\mathbb{X})}(x)$ is defined over $k(\mathbb{X})$ i.e. the vanishing ideal of $G$ is generated by a finite set $S\subset k(\mathbb{X})[X,1/\det(X)]$. For a ${\bf c}\in \mathbb{X}$, denote by $v_{\bf c}$ the map from $k[\mathbb{X}]$ to $k$ given by $v_{\bf c}(f)=f({\bf c})$ for any $f\in k[\mathbb{X}]$. We prove that the set of ${\bf c}\in \mathbb{X}$ satisfying that $v_{\bf c}(A)$ and $v_{\bf c}(S)$ are well-defined and the affine variety in $\mathrm{GL}_n(k)$ defined by $v_{\bf c}(S)$ is the Galois group of $\sigma(Y)=v_{\bf c}(A)Y$ over $k(x)$ is Zariski dense in $\mathbb{X}$. We apply our result to van der Put-Singer's conjecture which asserts that an algebraic subgroup $G$ of $\mathrm{GL}_n(k)$ is the Galois group of a linear difference equation over $k(x)$ if and only if the quotient $G/G^\circ$ by the identity component is cyclic. We show that if van der Put-Singer's conjecture is true for $k=\mathbb{C}$ then it will be true for any algebraically closed field $k$ of characteristic zero.


title: Non-Local Thermodynamic Equilibrium abundance analyses of the extreme helium stars: V652 Her and HD 144941

abstract: Optical high-resolution spectra of V652 Her and HD 144941, the two extreme helium stars with exceptionally low C/He ratios, have been subjected to a non-LTE abundance analysis using the tools TLUSTY and SYNSPEC. Defining atmospheric parameters were obtained from a grid of non-LTE atmospheres and a variety of spectroscopic indicators including He I and He II line profiles, ionization equilibrium of ion pairs such as C II/C III and N II/N III. The various indicators provide a consistent set of atmospheric parameters: $T_{\rm eff}$=25000$\pm$300K, $\log g$ = 3.10$\pm$0.12(cgs), and $\xi=13\pm2 {\rm km\,s^{-1}}$ are provided for V652 Her, and $T_{\rm eff}$=22000$\pm$600K, $\log g$ = 3.45$\pm$0.15 (cgs), and $\xi=10 {\rm km\,s^{-1}}$ are provided for HD 144941. In contrast to the non-LTE analyses, the LTE analyses - LTE atmospheres and a LTE line analysis - with the available indicators do not provide a consistent set of atmospheric parameters. The principal non-LTE effect on the elemental abundances is on the neon abundance. It is generally considered that these extreme helium stars with their very low C/He ratio result from the merger of two helium white dwarfs. Indeed, the derived composition of V652 Her is in excellent agreement with predictions by Zhang & Jeffery (2012) who model the slow merger of helium white dwarfs; a slow merger results in the merged star having the composition of the accreted white dwarf. In the case of HD 144941 which appears to have evolved from metal-poor stars a slow merger is incompatible with the observed composition but variations of the merger rate may account for the observed composition. More detailed theoretical studies of the merger of a pair of helium white dwarfs are to be encouraged.


title: Sales Forecast in E-commerce using Convolutional Neural Network

abstract: Sales forecast is an essential task in E-commerce and has a crucial impact on making informed business decisions. It can help us to manage the workforce, cash flow and resources such as optimizing the supply chain of manufacturers etc. Sales forecast is a challenging problem in that sales is affected by many factors including promotion activities, price changes, and user preferences etc. Traditional sales forecast techniques mainly rely on historical sales data to predict future sales and their accuracies are limited. Some more recent learning-based methods capture more information in the model to improve the forecast accuracy. However, these methods require case-by-case manual feature engineering for specific commercial scenarios, which is usually a difficult, time-consuming task and requires expert knowledge. To overcome the limitations of existing methods, we propose a novel approach in this paper to learn effective features automatically from the structured data using the Convolutional Neural Network (CNN). When fed with raw log data, our approach can automatically extract effective features from that and then forecast sales using those extracted features. We test our method on a large real-world dataset from CaiNiao.com and the experimental results validate the effectiveness of our method.


title: Solutions to Linear Bimatrix Equations with Applications to Pole Assignment of Complex-Valued Linear Systems

abstract: We study in this paper solutions to several kinds of linear bimatrix equations arising from pole assignment and stability analysis of complex-valued linear systems, which have several potential applications in control theory, particularly, can be used to model second-order linear systems in a very dense manner. These linear bimatrix equations include generalized Sylvester bimatrix equations, Sylvester bimatrix equations, Stein bimatrix equations, and Lyapunov bimatrix equations. Complete and explicit solutions are provided in terms of the bimatrices that are coefficients of the equations/systems. The obtained solutions are then used to solve the full state feedback pole assignment problem for complex-valued linear system. For a special case of complex-valued linear systems, the so-called antilinear system, the solutions are also used to solve the so-called anti-preserving (the closed-loop system is still an antilinear system) and normalization (the closed-loop system is a normal linear system) problems. Second-order linear systems, particularly, the spacecraft rendezvous control system, are used to demonstrate the obtained theoretical results.


title: Some characterizations of special rings by delta-invariant

abstract: This paper is devoted to present some characterizations for a local ring to be generically Gorenstein and Gorenstein by means of $\delta$-invariant and linkage theory.


title: TraNNsformer: Neural network transformation for memristive crossbar based neuromorphic system design

abstract: Implementation of Neuromorphic Systems using post Complementary Metal-Oxide-Semiconductor (CMOS) technology based Memristive Crossbar Array (MCA) has emerged as a promising solution to enable low-power acceleration of neural networks. However, the recent trend to design Deep Neural Networks (DNNs) for achieving human-like cognitive abilities poses significant challenges towards the scalable design of neuromorphic systems (due to the increase in computation/storage demands). Network pruning [7] is a powerful technique to remove redundant connections for designing optimally connected (maximally sparse) DNNs. However, such pruning techniques induce irregular connections that are incoherent to the crossbar structure. Eventually they produce DNNs with highly inefficient hardware realizations (in terms of area and energy). In this work, we propose TraNNsformer - an integrated training framework that transforms DNNs to enable their efficient realization on MCA-based systems. TraNNsformer first prunes the connectivity matrix while forming clusters with the remaining connections. Subsequently, it retrains the network to fine tune the connections and reinforce the clusters. This is done iteratively to transform the original connectivity into an optimally pruned and maximally clustered mapping. Without accuracy loss, TraNNsformer reduces the area (energy) consumption by 28% - 55% (49% - 67%) with respect to the original network. Compared to network pruning, TraNNsformer achieves 28% - 49% (15% - 29%) area (energy) savings. Furthermore, TraNNsformer is a technology-aware framework that allows mapping a given DNN to any MCA size permissible by the memristive technology for reliable operations.


title: Machine Translation in Indian Languages: Challenges and Resolution

abstract: English to Indian language machine translation poses the challenge of structural and morphological divergence. This paper describes English to Indian language statistical machine translation using pre-ordering and suffix separation. The pre-ordering uses rules to transfer the structure of the source sentences prior to training and translation. This syntactic restructuring helps statistical machine translation to tackle the structural divergence and hence better translation quality. The suffix separation is used to tackle the morphological divergence between English and highly agglutinative Indian languages. We demonstrate that the use of pre-ordering and suffix separation helps in improving the quality of English to Indian Language machine translation.


title: On a gravitational self-interaction parameter for point-particles

abstract: Relativistic, electrically neutral point-particles can be given mathematical foundation by doing a careful accounting of self-interaction energies. In this paper we examine a self-interaction parameter and present a continuous framework which interpolates between classical and relativistic point-particles.


title: Star Formation Induced by Cloud-Cloud Collisions and Galactic Giant Molecular Cloud Evolution

abstract: Recent radio observations towards nearby galaxies started to map the whole disk and to identify giant molecular clouds (GMCs) even in the regions between galactic spiral structures. Observed variations of GMC mass functions in different galactic environment indicates that massive GMCs preferentially reside along galactic spiral structures whereas inter-arm regions have many small GMCs. Based on the phase transition dynamics from magnetized warm neutral medium to molecular clouds, Kobayashi et al. 2017 proposes a semi-analytical evolutionary description for GMC mass functions including cloud-cloud collision (CCC) process. Their results show that CCC is less dominant in shaping the mass function of GMCs compared with the accretion of dense HI gas driven by the propagation of supersonic shock waves. However, their formulation does not take into account the possible enhancement of star formation by CCC. Radio observations within the Milky Way indicate the importance of CCC for the formation of star clusters and massive stars. In this article, we reformulate the time evolution equation largely modified from Kobayashi et al. 2017 so that we additionally compute star formation subsequently taking place in CCC clouds. Our results suggest that, although CCC events between smaller clouds outnumber the ones between massive GMCs, CCC-driven star formation is mostly driven by massive GMCs > 10^5.5 Msun (where Msun is the solar mass). The resultant cumulative CCC-driven star formation may amount to a few 10 percent of the total star formation in the Milky Way and nearby galaxies.


title: Lyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces

abstract: We prove that input-to-state stability (ISS) of nonlinear systems over Banach spaces is equivalent to existence of a coercive Lipschitz continuous ISS Lyapunov function for this system. For linear infinite-dimensional systems, we show that ISS is equivalent to existence of a non-coercive ISS Lyapunov function and provide two simpler constructions of coercive and non-coercive ISS Lyapunov functions for input-to-state stable linear systems.


title: Distributed Bundle Adjustment

abstract: Most methods for Bundle Adjustment (BA) in computer vision are either centralized or operate incrementally. This leads to poor scaling and affects the quality of solution as the number of images grows in large scale structure from motion (SfM). Furthermore, they cannot be used in scenarios where image acquisition and processing must be distributed. We address this problem with a new distributed BA algorithm. Our distributed formulation uses alternating direction method of multipliers (ADMM), and, since each processor sees only a small portion of the data, we show that robust formulations improve performance. We analyze convergence of the proposed algorithm, and illustrate numerical performance, accuracy of the parameter estimates, and scalability of the distributed implementation in the context of synthetic 3D datasets with known camera position and orientation ground truth. The results are comparable to an alternate state-of-the-art centralized bundle adjustment algorithm on synthetic and real 3D reconstruction problems. The runtime of our implementation scales linearly with the number of observed points.


title: Bloch waves in bubbly crystal near the first band gap: a high-frequency homogenization approach

abstract: This paper is concerned with the high-frequency homogenization of bubbly phononic crystals. It is a follow-up of the works [H. Ammari et al., Sub-wavelength phononic bandgap opening in bubbly media, J. Diff. Eq., 263 (2017), 5610--5629] which shows the existence of a sub-wavelength band gap. This phenomena can be explained by the periodic inference of cell resonance which is due to the high contrast in both the density and bulk modulus between the bubbles and the surrounding medium. In this paper, we prove that the first Bloch eigenvalue achieves its maximum at the corner of the Brillouin zone. Moreover, by computing the asymptotic of the Bloch eigenfunctions in the periodic structure near that critical frequency, we demonstrate that these eigenfunctions can be decomposed into two parts: one part is slowly varying and satisfies a homogenized equation, while the other is periodic across each elementary crystal cell and is varying. They rigorously justify, in the nondilute case, the observed super-focusing of acoustic waves in bubbly crystals near and below the maximum of the first Bloch eigenvalue and confirm the band gap opening near and above this critical frequency.


title: Hidden Spin-3/2 Field in the Standard Model

abstract: Here we show that a massive spin-3/2 field can hide in the SM spectrum in a way revealing itself only virtually. We study collider signatures and loop effects of this field, and determine its role in Higgs inflation and its potential as Dark Matter. We show that this spin-3/2 field has a rich linear collider phenomenology and motivates consideration of a neutrino-Higgs collider. We also show that study of Higgs inflation, dark matter and dark energy can reveal more about the neutrino and dark sector.


title: The effect of a twisted magnetic field on the phase mixing of the kink magnetohydrodynamic waves in coronal loops

abstract: There are observational evidences for the existence of twisted magnetic field in the solar corona. This inspires us to investigate the effect of a twisted magnetic field on the evolution of magnetohydrodynamic (MHD) kink waves in coronal loops. To this aim, we solve the incompressible linearized MHD equations in a magnetically twisted nonuniform coronal flux tube in the limit of long wavelengths. Our results show that a twisted magnetic field can enhance or diminish the rate of phase-mixing of the Alfv\'{e}n continuum modes and the decay rate of the global kink oscillation depending on the twist model and the sign of the longitudinal ($k_z$) and azimuthal ($m$) wavenumbers. Also our results confirm that in the presence of a twisted magnetic field, when the sign of one of the two wavenumbers $m$ and $k_z$ is changed, the symmetry with respect to the propagation direction is broken. Even a small amount of twist can have an important impact on the process of energy cascade to small scales.


title: Generative Models for Network Neuroscience: Prospects and Promise

abstract: Network neuroscience is the emerging discipline concerned with investigating the complex patterns of interconnections found in neural systems, and to identify principles with which to understand them. Within this discipline, one particularly powerful approach is network generative modeling, in which wiring rules are algorithmically implemented to produce synthetic network architectures with the same properties as observed in empirical network data. Successful models can highlight the principles by which a network is organized and potentially uncover the mechanisms by which it grows and develops. Here we review the prospects and promise of generative models for network neuroscience. We begin with a primer on network generative models, with a discussion of compressibility and predictability, utility in intuiting mechanisms, and a short history on their use in network science broadly. We then discuss generative models in practice and application, paying particular attention to the critical need for cross-validation. Next, we review generative models of biological neural networks, both at the cellular and large-scale level, and across a variety of species including \emph{C. elegans}, \emph{Drosophila}, mouse, rat, cat, macaque, and human. We offer a careful treatment of a few relevant distinctions, including differences between generative models and null models, sufficiency and redundancy, inferring and claiming mechanism, and functional and structural connectivity. We close with a discussion of future directions, outlining exciting frontiers both in empirical data collection efforts as well as in method and theory development that, together, further the utility of the generative network modeling approach for network neuroscience.


title: Limit cycles of planar system defined by the sum of two quasi-homogeneous vecter fields

abstract: In this paper we consider the limit cycles of the planar system $$\frac{d}{dt}(x,y)=\mathbf X_n+\mathbf X_m, $$ where $\mathbf X_n$ and $\mathbf X_m$ are quasi-homogeneous vector fields of degree $n$ and $m$ respectively. We prove that under a new hypothesis, the maximal number of limit cycles of the system is $1$. We also show that our result can be applied to some systems when the previous results are invalid. The proof is based on the investigations for the Abel equation and the generalized-polar equation associated with the system, respectively. Usually these two kinds of equations need to be dealt with separately, and for both equations, an efficient approach to estimate the number of periodic solutions is constructing suitable auxiliary functions. In the present paper we develop a formula on the divergence, which allows us to construct an auxiliary function of one equation with the auxiliary function of the other equation, and vice versa.


title: A Forbidden-Minor Characterization for the Class of graphic Matroids which yield the Co-graphic Element-Splitting Matroids

abstract: The element splitting operation on a graphic matroid, in general may not yield a cographic matroid. In this paper, we give a necessary and sufficient condition for the graphic matroid to yield cographic matroid under the element splitting operation.


title: Ultra-Dense Networks: A New Look at the Proportional Fair Scheduler

abstract: In this paper, we theoretically study the proportional fair (PF) scheduler in the context of ultra-dense networks (UDNs). Analytical results are obtained for the coverage probability and the area spectral efficiency (ASE) performance of dense small cell networks (SCNs) with the PF scheduler employed at base stations (BSs). The key point of our analysis is that the typical user is no longer a random user as assumed in most studies in the literature. Instead, a user with the maximum PF metric is chosen by its serving BS as the typical user. By comparing the previous results of the round-robin (RR) scheduler with our new results of the PF scheduler, we quantify the loss of the multi-user diversity of the PF scheduler with the network densification, which casts a new look at the role of the PF scheduler in UDNs. Our conclusion is that the RR scheduler should be used in UDNs to simplify the radio resource management (RRM).


title: Search for evidence of the type-III seesaw mechanism in multilepton final states in proton-proton collisions at sqrt(s) = 13 TeV

abstract: A search for a signal consistent with the type-III seesaw mechanism in events with three or more electrons or muons is presented. The data sample consists of proton-proton collisions at sqrt(s) = 13 TeV collected by the CMS experiment at the LHC in 2016 and corresponds to an integrated luminosity of 35.9 inverse femtobarns. Selection criteria based on the number of leptons and the invariant mass of opposite-sign lepton pairs are used to distinguish the signal from the standard model background. The observations are consistent with the expectations from standard model processes. The results are used to place limits on the production of heavy fermions of the type-III seesaw model as a function of the branching ratio to each lepton flavor. In the scenario of equal branching fractions to each lepton flavor, heavy fermions with masses below 840 GeV are excluded. This is the most sensitive probe to date of the type-III seesaw mechanism.


title: Inflationary $\alpha-$attractors and $F(R)$ gravity

abstract: We consider a generic class of the so-called inflationary $-\alpha$ attractor models and compute the cosmological observables in the Einstein and Jordan frames, of the corresponding $F(R)-$gravity theory. We find that the two sets coincide (to within errors from the use of the slow-roll approximation) for moderate and large values of the number of e-foldings $N$, which is the novel result of this paper, generalizing previous results on the subject (see e.g. Ref. (\citen{oik1})). We briefly comment on the possible generalizations of these results.


title: Proportional Closeness Estimation of Probability of Contamination Under Group Testing

abstract: The paper is focused on the problem of estimating the probability $p$ of individual contaminated sample, under group testing. The precision of the estimator is given by the probability of proportional closeness, a concept defined in the Introduction. Two-stage and sequential sampling procedures are characterized. An adaptive procedure is examined.


title: The spreading speed of solutions of the non-local Fisher-KPP equation

abstract: We consider the Fisher-KPP equation with a non-local interaction term. Hamel and Ryzhik showed that in solutions of this equation, the front location at a large time $t$ is $\sqrt 2 t +o(t)$. We study the asymptotics of the second order term in the front location. If the interaction kernel $\phi(x)$ decays sufficiently fast as $x\rightarrow \infty$ then this term is given by $-\frac{3}{2\sqrt 2 }\log t +o(\log t)$, which is the same correction as found by Bramson for the local Fisher-KPP equation. However, if $\phi$ has a heavier tail then the second order term is $-t^{\beta +o(1)}$, where $\beta \in (0,1)$ depends on the tail of $\phi$. The proofs are probabilistic, using a Feynman-Kac formula. Since solutions of the non-local Fisher-KPP equation do not obey the maximum principle, the proofs differ from those in Bramson's work, although some of the ideas used are similar.


title: Computation of the Binding Energies in the Inverse Problem Framework

abstract: We formalized the nuclear mass problem in the inverse problem framework. This approach allows us to infer the underlying model parameters from experimental observation, rather than to predict the observations from the model parameters. The inverse problem was formulated for the numericaly generalized the semi-empirical mass formula of Bethe and von Weizs\"{a}cker. It was solved in step by step way based on the AME2012 nuclear database. The solution of the overdetermined system of nonlinear equations has been obtained with the help of the Aleksandrov's auto-regularization method of Gauss-Newton type for ill-posed problems. In the obtained generalized model the corrections to the binding energy depend on nine proton (2, 8, 14, 20, 28, 50, 82, 108, 124) and ten neutron (2, 8, 14, 20, 28, 50, 82, 124, 152, 202) magic numbers as well on the asymptotic boundaries of their influence. These results help us to evaluate the borders of the nuclear landscape and show their limit. The efficiency of the applied approach was checked by comparing relevant results with the results obtained independently.


title: Faster Clustering via Non-Backtracking Random Walks

abstract: This paper presents VEC-NBT, a variation on the unsupervised graph clustering technique VEC, which improves upon the performance of the original algorithm significantly for sparse graphs. VEC employs a novel application of the state-of-the-art word2vec model to embed a graph in Euclidean space via random walks on the nodes of the graph. In VEC-NBT, we modify the original algorithm to use a non-backtracking random walk instead of the normal backtracking random walk used in VEC. We introduce a modification to a non-backtracking random walk, which we call a begrudgingly-backtracking random walk, and show empirically that using this model of random walks for VEC-NBT requires shorter walks on the graph to obtain results with comparable or greater accuracy than VEC, especially for sparser graphs.


title: Quasiconvexity and Dehn filling

abstract: We define a new condition on relatively hyperbolic Dehn filling which allows us to control the behavior of a relatively quasiconvex subgroups which need not be full. As an application, in combination with a recent result of Cooper and Futer, we provide a new proof of the virtual fibering of non-compact finite-volume hyperbolic 3-manifolds, a result first proved by Wise. Additionally, we explain how the results of [2, Appendix A] can be generalized to the relative setting to control the relative height of relatively quasiconvex subgroups under appropriate Dehn fillings.


title: 3D Object Reconstruction from a Single Depth View with Adversarial Learning

abstract: In this paper, we propose a novel 3D-RecGAN approach, which reconstructs the complete 3D structure of a given object from a single arbitrary depth view using generative adversarial networks. Unlike the existing work which typically requires multiple views of the same object or class labels to recover the full 3D geometry, the proposed 3D-RecGAN only takes the voxel grid representation of a depth view of the object as input, and is able to generate the complete 3D occupancy grid by filling in the occluded/missing regions. The key idea is to combine the generative capabilities of autoencoders and the conditional Generative Adversarial Networks (GAN) framework, to infer accurate and fine-grained 3D structures of objects in high-dimensional voxel space. Extensive experiments on large synthetic datasets show that the proposed 3D-RecGAN significantly outperforms the state of the art in single view 3D object reconstruction, and is able to reconstruct unseen types of objects. Our code and data are available at: https://github.com/Yang7879/3D-RecGAN.


title: On the Comparison of Perturbation-Iteration Algorithm and Residual Power Series Method to Solve Fractional Zakharov-Kuznetsov Equation

abstract: In this paper, we present analytic-approximate solution of a fractional Zakharov-Kuznetsov equation by means of perturbation-iteration algorithm (PIA) and residual power series method (RSPM). Basic definitions of fractional derivatives are described in the Caputo sense. Several examples are given and the results are compared to exact solutions. The results show that both methods are competitive, effective, convenient and simple to use.


title: Analytical study of anisotropic compact star models

abstract: A simple classification is given of the anisotropic relativistic star models, resembling the one of charged isotropic solutions. On the ground of this database, and taking into account the conditions for physically realistic star models, a method is proposed for generating all such solutions. It is based on the energy density and the radial pressure as seeding functions. Numerous relations between the realistic conditions are found and the need for a graphic proof is reduced just to one pair of inequalities. This general formalism is illustrated with an example of a class of solutions with linear equation of state and simple energy density. It is found that the solutions depend on three free constants and concrete examples are given. Some other popular models are studied with the same method.


title: Maximum A Posteriori Estimation of Distances Between Deep Features in Still-to-Video Face Recognition

abstract: The paper deals with the still-to-video face recognition for the small sample size problem based on computation of distances between high-dimensional deep bottleneck features. We present the novel statistical recognition method, in which the still-to-video recognition task is casted into Maximum A Posteriori estimation. In this method we maximize the joint probabilistic density of the distances to all reference still images. It is shown that this likelihood can be estimated with the known asymptotically normal distribution of the Kullback-Leibler discriminations between nonnegative features. The experimental study with the LFW (Labeled Faces in the Wild), YTF (YouTube Faces) and IJB-A (IARPA Janus Benchmark A) datasets has been provided. We demonstrated, that the proposed approach can be applied with the state-of-the-art deep features and dissimilarity measures. Our algorithm achieves 3-5% higher accuracy when compared with conventional aggregation of decisions obtained for all frames.


title: A Model for Donation Verification

abstract: In this paper, we introduce a model for donation verification. A randomized algorithm is developed to check if the money claimed being received by the collector is $(1-\epsilon)$-approximation to the total amount money contributed by the donors. We also derive some negative results that show it is impossible to verify the donations under some circumstances.


title: Scaling of Memories and Crossover in Glassy Magnets

abstract: Glassiness is ubiquitous and diverse in characteristics in nature. Understanding their differences and classification remains a major scientific challenge. Here, we show that scaling of magnetic memories with time can be used to classify magnetic glassy materials into two distinct classes. The systems studied are high-temperature superconductor-related materials, spin-orbit Mott insulators, frustrated magnets, and dilute magnetic alloys. Our bulk magnetization measurements reveal that most densely populated magnets exhibit similar memory behavior characterized by a relaxation exponent of 1-n ~ 0.6(1). This exponent is different from 1-n ~ 1/3 of dilute magnetic alloys that was ascribed to their hierarchical and fractal energy landscape and is also different from 1-n=1 of the conventional Debye relaxation expected for a spin solid, a state with long range order. Furthermore, our systematic study on dilute magnetic alloys with varying magnetic concentration exhibits crossovers among the two glassy states and spin solid.


title: Plausible Deniability for Privacy-Preserving Data Synthesis

abstract: Releasing full data records is one of the most challenging problems in data privacy. On the one hand, many of the popular techniques such as data de-identification are problematic because of their dependence on the background knowledge of adversaries. On the other hand, rigorous methods such as the exponential mechanism for differential privacy are often computationally impractical to use for releasing high dimensional data or cannot preserve high utility of original data due to their extensive data perturbation. This paper presents a criterion called plausible deniability that provides a formal privacy guarantee, notably for releasing sensitive datasets: an output record can be released only if a certain amount of input records are indistinguishable, up to a privacy parameter. This notion does not depend on the background knowledge of an adversary. Also, it can efficiently be checked by privacy tests. We present mechanisms to generate synthetic datasets with similar statistical properties to the input data and the same format. We study this technique both theoretically and experimentally. A key theoretical result shows that, with proper randomization, the plausible deniability mechanism generates differentially private synthetic data. We demonstrate the efficiency of this generative technique on a large dataset; it is shown to preserve the utility of original data with respect to various statistical analysis and machine learning measures.


title: Ultrahigh capacitive energy storage in highly oriented BaZr(x)Ti(1-x)O3 thin films prepared by pulsed laser deposition

abstract: We report structural, optical, temperature and frequency dependent dielectric, and energy storage properties of pulsed laser deposited (100) highly textured BaZr(x)Ti(1-x)O3 (x = 0.3, 0.4 and 0.5) relaxor ferroelectric thin films on La0.7Sr0.3MnO3/MgO substrates which make this compound as a potential lead-free capacitive energy storage material for scalable electronic devices. A high dielectric constant of ~1400 - 3500 and a low dielectric loss of <0.025 were achieved at 10 kHz for all three compositions at ambient conditions. Ultrahigh stored and recoverable electrostatic energy densities as high as 214 +/- 1 and 156 +/- 1 J/cm3, respectively, were demonstrated at a sustained high electric field of ~3 MV/cm with an efficiency of 72.8 +/- 0.6 % in optimum 30% Zr substituted BaTiO3 composition.


title: Synthesising Wider Field Images from Narrow-Field Retinal Video Acquired Using a Low-Cost Direct Ophthalmoscope (Arclight) Attached to a Smartphone

abstract: Access to low cost retinal imaging devices in low and middle income countries is limited, compromising progress in preventing needless blindness. The Arclight is a recently developed low-cost solar powered direct ophthalmoscope which can be attached to the camera of a smartphone to acquire retinal images and video. However, the acquired data is inherently limited by the optics of direct ophthalmoscopy, resulting in a narrow field of view with associated corneal reflections, limiting its usefulness. In this work we describe the first fully automatic method utilizing videos acquired using the Arclight attached to a mobile phone camera to create wider view, higher quality still images comparable with images obtained using much more expensive and bulky dedicated traditional retinal cameras.


title: Higher level quadratically twisted Gauss sums and totally isotropic subspaces

abstract: We consider a generalized Gauss sum supported on matrices over a number field. We evaluate this Gauss sum and relate it to the number of totally isotropic subspaces of related quadratic spaces. Then we consider a further generalization of such a Gauss sum, realizing its value in terms of numbers of totally isotropic subspaces of related quadratic spaces.


title: Graphs with at most three distance eigenvalues different from $-1$ and $-2$

abstract: Let $G$ be a connected graph on $n$ vertices, and let $D(G)$ be the distance matrix of $G$. Let $\partial_1(G)\ge\partial_2(G)\ge\cdots\ge\partial_n(G)$ denote the eigenvalues of $D(G)$. In this paper, we characterize all connected graphs with $\partial_{3}(G)\leq -1$ and $\partial_{n-1}(G)\geq -2$. By the way, we determine all connected graphs with at most three distance eigenvalues different from $-1$ and $-2$.


title: Limited Feedback Scheme for Device to Device Communications in 5G Cellular Networks with Reliability and Cellular Secrecy Outage Constraints

abstract: In this paper, we propose a device to device (D2D) communication scenario underlaying a cellular network where both D2D and cellular users (CUs) are discrete power-rate systems with limited feedback from the receivers. It is assumed that there exists an adversary which wants to eavesdrop on the information transmission from the base station (BS) to CUs. Since D2D communication shares the same spectrum with cellular network, cross interference must be considered. However, when secrecy capacity is considered, the interference caused by D2D communication can help to improve the secrecy communications by confusing the eavesdroppers. Since both systems share the same spectrum, cross interference must be considered. We formulate the proposed resource allocation into an optimization problem whose objective is to maximize the average transmission rate of D2D pair in the presence of the cellular communications under average transmission power constraint. For the cellular network, we require a minimum average achievable secrecy rate in the absence of D2D communication as well as a maximum secrecy outage probability in the presence of D2D communication which should be satisfied. Due to high complexity convex optimization methods, to solve the proposed optimization problem, we apply Particle Swarm Optimization (PSO) which is an evolutionary approach. Moreover, we model and study the error in the feedback channel and the imperfectness of channel distribution information (CDI) using parametric and nonparametric methods. Finally, the impact of different system parameters on the performance of the proposed scheme is investigated through simulations. The performance of the proposed scheme is evaluated using numerical results for different scenarios.


title: On complexity growth in massive gravity theories, the effects of chirality and more

abstract: To study the effect of parity-violation on the rate of complexity growth, by using "Complexity=Action" conjecture, we find the complexity growth rates in different solutions of the chiral theory of Topologically Massive Gravity (TMG) and parity-preserving theory of New Massive Gravity (NMG). Using the results, one can see that decreasing the parameter $\mu$, which increases the effect of Chern-Simons term and increases chirality, would increase the rate of growth of complexity. Also one can observe a stronger correlation between complexity growth and temperature rather than complexity growth and entropy. At the end we comment on the possible meaning of the deforming term of chiral Liouville action for the rate of complexity growth of warped CFTs in the Tensor Network Renormalization picture.


title: Breakdown of the Equal Area Law for Holographic Entanglement Entropy

abstract: We investigate a holographic version of Maxwell's equal area law analogous to that for the phase transition in the black hole temperature/black hole entropy plane of a charged AdS black hole. We consider proposed area laws for both the black hole temperature/holographic entanglement entropy plane and the black hole temperature/2-point correlation function plane. Despite recent claims to the contrary, we demonstrate numerically that neither proposal is valid. We argue that there is no physical reason to expect such a construction in these planes.


title: Pointwise minimal extensions

abstract: We characterize pointwise minimal extensions of rings introduced by P.-J. Cahen, D. E. Dobbs and T. G. Lucas.


title: Some K\"ahler structures on products of 2-spheres

abstract: We consider a family of K\"ahler structures on products of 2-spheres, arising from complex Bott manifolds. These are obtained via iterated $\mathbb P^1$-bundle constructions, generalizing the classical Hirzebruch surfaces. We show that the resulting K\"ahler structures all have identical Chern classes. We construct Bott diagrams, which are rooted forests with an edge labelling by positive integers, and show that these classify these K\"ahler structures up to biholomorphism.


title: GiViP: A Visual Profiler for Distributed Graph Processing Systems

abstract: Analyzing large-scale graphs provides valuable insights in different application scenarios. While many graph processing systems working on top of distributed infrastructures have been proposed to deal with big graphs, the tasks of profiling and debugging their massive computations remain time consuming and error-prone. This paper presents GiViP, a visual profiler for distributed graph processing systems based on a Pregel-like computation model. GiViP captures the huge amount of messages exchanged throughout a computation and provides an interactive user interface for the visual analysis of the collected data. We show how to take advantage of GiViP to detect anomalies related to the computation and to the infrastructure, such as slow computing units and anomalous message patterns.


title: On the efficiency of the de-biased Lasso

abstract: We consider the high-dimensional linear regression model $Y = X \beta^0 + \epsilon$ with Gaussian noise $\epsilon$ and Gaussian random design $X$. We assume that $\Sigma:= E X^T X / n$ is non-singular and write its inverse as $\Theta := \Sigma^{-1}$. The parameter of interest is the first component $\beta_1^0$ of $\beta^0$. We show that in the high-dimensional case the asymptotic variance of a debiased Lasso estimator can be smaller than $\Theta_{1,1}$. For some special such cases we establish asymptotic efficiency. The conditions include $\beta^0$ being sparse and the first column $\Theta_1$ of $\Theta$ being not sparse. These conditions depend on whether $\Sigma$ is known or not.


title: Stereo Matching With Color-Weighted Correlation, Hierarchical Belief Propagation And Occlusion Handling

abstract: In this paper, we contrive a stereo matching algorithm with careful handling of disparity, discontinuity and occlusion. This algorithm works a worldwide matching stereo model which is based on minimization of energy. The global energy comprises two terms, firstly the data term and secondly the smoothness term. The data term is approximated by a color-weighted correlation, then refined in obstruct and low-texture areas in many applications of hierarchical loopy belief propagation algorithm. The results during the experiment are evaluated on the Middlebury data sets, showing that out algorithm is the top performer among all the algorithms listed there