title: Measuring the Hubble constant and spatial curvature from supernova apparent magnitude, baryon acoustic oscillation, and Hubble parameter data

abstract: Cosmic microwave background (CMB) anisotropy (spatial inhomogeneity) data provide the tightest constraints on the Hubble constant, matter density, spatial curvature, and dark energy dynamics. Other data, sensitive to the evolution of only the spatially homogeneous part of the cosmological model, such as Type Ia supernova apparent magnitude, baryon acoustic oscillation distance, and Hubble parameter measurements, can be used in conjunction with the CMB data to more tightly constrain parameters. Recent joint analyses of CMB and such non-CMB data indicate that slightly closed spatial hypersurfaces are favored in nonflat untilted inflation models and that dark energy dynamics cannot be ruled out, and favor a smaller Hubble constant. We show that the constraints that follow from these non-CMB data alone are consistent with those that follow from the CMB data alone and so also consistent with, but weaker than, those that follow from the joint analyses of the CMB and non-CMB data.


title: Learning Named Entity Tagger using Domain-Specific Dictionary

abstract: Recent advances in deep neural models allow us to build reliable named entity recognition (NER) systems without handcrafting features. However, such methods require large amounts of manually-labeled training data. There have been efforts on replacing human annotations with distant supervision (in conjunction with external dictionaries), but the generated noisy labels pose significant challenges on learning effective neural models. Here we propose two neural models to suit noisy distant supervision from the dictionary. First, under the traditional sequence labeling framework, we propose a revised fuzzy CRF layer to handle tokens with multiple possible labels. After identifying the nature of noisy labels in distant supervision, we go beyond the traditional framework and propose a novel, more effective neural model AutoNER with a new Tie or Break scheme. In addition, we discuss how to refine distant supervision for better NER performance. Extensive experiments on three benchmark datasets demonstrate that AutoNER achieves the best performance when only using dictionaries with no additional human effort, and delivers competitive results with state-of-the-art supervised benchmarks.


title: Non-Asymptotic Inference in Instrumental Variables Estimation

abstract: This paper presents a simple method for carrying out inference in a wide variety of possibly nonlinear IV models under weak assumptions. The method is non-asymptotic in the sense that it provides a finite sample bound on the difference between the true and nominal probabilities of rejecting a correct null hypothesis. The method is a non-Studentized version of the Anderson-Rubin test but is motivated and analyzed differently. In contrast to the conventional Anderson-Rubin test, the method proposed here does not require restrictive distributional assumptions, linearity of the estimated model, or simultaneous equations. Nor does it require knowledge of whether the instruments are strong or weak. It does not require testing or estimating the strength of the instruments. The method can be applied to quantile IV models that may be nonlinear and can be used to test a parametric IV model against a nonparametric alternative. The results presented here hold in finite samples, regardless of the strength of the instruments.


title: Maximum configuration principle for driven systems with arbitrary driving

abstract: Depending on context, the term entropy is used for a thermodynamic quantity, a~measure of available choice, a quantity to measure information, or, in the context of statistical inference, a maximum configuration predictor. For systems in equilibrium or processes without memory, the mathematical expression for these different concepts of entropy appears to be the so-called Boltzmann--Gibbs--Shannon entropy, H.For processes with memory, such as driven- or self-reinforcing-processes, this is no longer true: the different entropy concepts lead to distinct functionals that generally differ from H. Here we focus on the maximum configuration entropy (that predicts empirical distribution functions) in the context of driven dissipative systems. We develop the corresponding framework and derive the entropy functional that describes the distribution of observable states as a function of the details of the driving process. We do this for sample space reducing (SSR) processes, which provide an analytically tractable model for driven dissipative systems with controllable driving. The fact that a consistent framework for a maximum configuration entropy exists for arbitrarily driven non-equilibrium systems opens the possibility of deriving a full statistical theory of driven dissipative systems of this kind. This provides us with the technical means needed~to derive a thermodynamic theory of driven processes based on a statistical theory. We discuss the Legendre structure for driven systems.


title: The dependence of intrinsic alignment of galaxies on wavelength using KiDS and GAMA

abstract: The outer regions of galaxies are more susceptible to the tidal interactions that lead to intrinsic alignments of galaxies. The resulting alignment signal may therefore depend on the passband if the colours of galaxies vary spatially. To quantify this, we measured the shapes of galaxies with spectroscopic redshifts from the GAMA survey using deep gri imaging data from the KiloDegree Survey. The performance of the moment-based shape measurement algorithm DEIMOS was assessed using dedicated image simulations, which showed that the ellipticities could be determined with an accuracy better than 1% in all bands. Additional tests for potential systematic errors did not reveal any issues. We measure a significant difference of the alignment signal between the g,r and i-band observations. This difference exceeds the amplitude of the linear alignment model on scales below 2 Mpc/h. Separating the sample into central/satellite and red/blue galaxies, we find that that the difference is dominated by red satellite galaxies.


title: Conformal Lie algebras via deformation theory

abstract: We discuss possible notions of conformal Lie algebras, paying particular attention to graded conformal Lie algebras with $d$-dimensional space isotropy: namely, those with a $\mathfrak{co}(d)$ subalgebra acting in a prescribed way on the additional generators. We classify those Lie algebras up to isomorphism for all $d\geq 2$ following the same methodology used recently to classify kinematical Lie algebras, as deformations of the `most abelian' graded conformal algebra. We find 17 isomorphism classes of Lie algebras for $d\neq 3$ and 23 classes for $d=3$. Lie algebra contractions define a partial order in the set of isomorphism classes and this is illustrated via the corresponding Hesse diagram. The only metric graded conformal Lie algebras are the simple Lie algebras, isomorphic to either $\mathfrak{so}(d{+}1,2)$ or $\mathfrak{so}(d{+}2,1)$. We also work out the central extensions of the graded conformal algebras and study their invariant inner products. We find that central extensions of a Lie algebra in $d=3$ and two Lie algebras in $d=2$ are metric. We then discuss several other notions of conformal Lie algebras (generalised conformal, Schr\"odinger and Lifshitz Lie algebras) and we present some partial results on their classification. We end with some open problems suggested by our results.


title: Duality between the massive sine-Gordon and the massive Schwinger models at finite temperature

abstract: The massive Schwinger and the massive sine-Gordon models are proved to be equivalent at finite temperature, using the path-integral framework. The well known relations among the parameters of these models to establish the duality at $T=0$, also remain valid at non zero temperature.


title: PedX: Benchmark Dataset for Metric 3D Pose Estimation of Pedestrians in Complex Urban Intersections

abstract: This paper presents a novel dataset titled PedX, a large-scale multimodal collection of pedestrians at complex urban intersections. PedX consists of more than 5,000 pairs of high-resolution (12MP) stereo images and LiDAR data along with providing 2D and 3D labels of pedestrians. We also present a novel 3D model fitting algorithm for automatic 3D labeling harnessing constraints across different modalities and novel shape and temporal priors. All annotated 3D pedestrians are localized into the real-world metric space, and the generated 3D models are validated using a mocap system configured in a controlled outdoor environment to simulate pedestrians in urban intersections. We also show that the manual 2D labels can be replaced by state-of-the-art automated labeling approaches, thereby facilitating automatic generation of large scale datasets.


title: Towards Practical Software Stack Decoding of Polar Codes

abstract: The successive cancellation list decoding algorithm for polar codes yields near-optimal decoding performance at the cost of high implementation complexity. The successive cancellation stack algorithm has been shown to provide similar decoding performance at a much lower computational complexity, but software implementations report a sub-par T/P performance. In this technical report, the benefits of the fast simplified successive cancellation list decoder are extended to the stack algorithm, resulting in a throughput increase by two orders of magnitude over the traditional stack decoder.


title: Characterizations of Tilt-Stable Minimizers in Second-Order Cone Programming

abstract: This paper is devoted to the study of tilt stability of local minimizers, which plays an important role in both theoretical and numerical aspects of optimization. This notion has been comprehensively investigated in the unconstrained framework as well as for problems of nonlinear programming with $C^2$-smooth data. Available results for nonpolyhedral conic programs were obtained only under strong constraint nondegeneracy assumptions. Here we develop an approach of second-order variational analysis, which allows us to establish complete neighborhood and pointbased characterizations of tilt stability for problems of second-order cone programming generated by the nonpolyhedral second-order/Lorentz/ice-cream cone. These characterizations are established under the weakest metric subregularity constraint qualification condition.


title: Optimal Strategies for Disjunctive Sensing and Control

abstract: A disjunctive sensing and actuation problem is considered in which the actuators and sensors are prevented from operating together over any given time step. This problem is motivated by practical applications in the area of spacecraft control. Assuming a linear system model with stochastic process disturbance and measurement noise, a procedure to construct a periodic sequence that ensures bounded states and estimation error covariance is described along with supporting analysis results. The procedure is also extended to ensure eventual satisfaction of probabilistic chance constraints on the state. The proposed scheme demonstrates good performance in simulations for spacecraft relative motion control.


title: URBAN-i: From urban scenes to mapping slums, transport modes, and pedestrians in cities using deep learning and computer vision

abstract: Within the burgeoning expansion of deep learning and computer vision across the different fields of science, when it comes to urban development, deep learning and computer vision applications are still limited towards the notions of smart cities and autonomous vehicles. Indeed, a wide gap of knowledge appears when it comes to cities and urban regions in less developed countries where the chaos of informality is the dominant scheme. How can deep learning and Artificial Intelligence (AI) untangle the complexities of informality to advance urban modelling and our understanding of cities? Various questions and debates can be raised concerning the future of cities of the North and the South in the paradigm of AI and computer vision. In this paper, we introduce a new method for multipurpose realistic-dynamic urban modelling relying on deep learning and computer vision, using deep Convolutional Neural Networks (CNN), to sense and detect informality and slums in urban scenes from aerial and street view images in addition to detection of pedestrian and transport modes. The model has been trained on images of urban scenes in cities across the globe. The model shows a good validation of understanding a wide spectrum of nuances among the planned and the unplanned regions, including informal and slum areas. We attempt to advance urban modelling for better understanding the dynamics of city developments. We also aim to exemplify the significant impacts of AI in cities beyond how smart cities are discussed and perceived in the mainstream. The algorithms of the URBAN-i model are fully-coded in Python programming with the pre-trained deep learning models to be used as a tool for mapping and city modelling in the various corner of the globe, including informal settlements and slum regions.


title: Emerging superconductivity with broken time reversal symmetry inside a superconducting $s$-wave state

abstract: In general, magnetism and superconductivity are antagonistic to each other. However, there are several families of superconductors, in which superconductivity may coexist with magnetism, and only a few examples are known, when superconductivity itself induces spontaneous magnetism. The most known compounds are Sr$_2$RuO$_4$ and some noncentrosymmetric superconductors. Here, we report the finding of a narrow dome of a novel $s+is'$ superconducting (SC) phase with broken time-reversal symmetry (BTRS) inside the broad $s$-wave SC region of the centrosymmetric multiband superconductor Ba$_{\rm 1-x}$K$_{\rm x}$Fe$_2$As$_2$ ($0.7 \lesssim x \lesssim 0.85$). We observe spontaneous magnetic fields inside this dome using the muon spin relaxation ($\mu$SR) technique. Furthermore, our detailed specific heat study reveals that the BTRS dome appears very close to a change in the topology of the Fermi surface (Lifshitz transition). With this, we experimentally demonstrate the emergence of a novel quantum state due to topological changes of the electronic system.


title: Worldsheets in Holography: Computing Corrections to the Veneziano Amplitude

abstract: We provide a brief summary of a method to calculate improvements to the Veneziano Amplitude, creating sub-leading non-linearities in the Regge trajectory of states. We formulate it as an extension of a computation by Makeenko and Olesen. We begin in a confining gauge theory coupled to matter, rewriting the meson scattering amplitude as a specific path integral over shapes and sizes of closed Wilson loops using the worldline formalism. We then prescribe how to further the computation at strong coupling by employing holography, which provides a prescription for the expectation value of these Wilson loops in strongly coupled regimes. We find that the problem can then be thought of as a computation in an effective field theory of a string worldsheet sigma model, evolving in a broad class of holographic backgrounds. A convenient interaction picture presents itself naturally in this context, allowing us to draw Feynman diagrams corresponding to the first few corrections due to weaker coupling regimes. The answer we find has qualitatively the same features as other endeavours with the same objective.


title: Testing strong line metallicity diagnostics at z~2

abstract: High-z galaxy gas-phase metallicities are usually determined through observations of strong optical emission lines with calibrations tied to the local universe. Recent debate has questioned if these calibrations are valid in the high-z universe. We investigate this by analysing a sample of 16 galaxies at z~2 available in the literature, and for which the metallicity can be robustly determined using oxygen auroral lines. The sample spans a redshift range of 1.4 < z < 3.6, has metallicities of 7.4-8.4 in 12+log(O/H) and stellar masses 10^7.5-10^11 Msun. We test commonly used strong line diagnostics (R23, O3, O2, O32, N2, O3N2 and Ne3O2 ) as prescribed by four different sets of empirical calibrations, as well as one fully theoretical calibration. We find that none of the strong line diagnostics (or calibration set) tested perform consistently better than the others. Amongst the line ratios tested, R23 and O3 deliver the best results, with accuracies as good as 0.01-0.04 dex and dispersions of ~0.2 dex in two of the calibrations tested. Generally, line ratios involving nitrogen predict higher values of metallicity, while results with O32 and Ne3O2 show large dispersions. The theoretical calibration yields an accuracy of 0.06 dex, comparable to the best strong line methods. We conclude that, within the metallicity range tested in this work, the locally calibrated diagnostics can still be reliably applied at z~2.


title: Decomposing Frobenius Heisenberg categories

abstract: We give two alternate presentations of the Frobenius Heisenberg category, $\mathcal{Heis}_{F,k}$, defined by Savage, when the Frobenius algebra $F=F_1\oplus\dotsb\oplus F_n$ decomposes as a direct sum of Frobenius subalgebras. In these alternate presentations, the morphism spaces of $\mathcal{Heis}_{F,k}$ are given in terms of planar diagrams consisting of strands "colored" by integers $i=1,\dotsc,n$, where a strand of color $i$ carries tokens labelled by elements of $F_i.$ In addition, we prove that when $F$ decomposes this way, the tensor product of Frobenius Heisenberg categories, $\mathcal{Heis}_{F_1,k}\otimes\dotsb\otimes\mathcal{Heis}_{F_n,k},$ is equivalent to a certain subcategory of the Karoubi envelope of $\mathcal{Heis}_{F,k}$ that we call the $\textit{partial}$ Karoubi envelope of $\mathcal{Heis}_{F,k}$.


title: Species traits and community properties explain species extinction effects on detritus-based food webs

abstract: Effects of changes in functional composition of soil communities on nutrient cycling are still not well understood. Models simulating community dynamics overcome the technical challenges of conducting species removal experiments in the field. However, to date, available soil food web models do not adequately represent the organic matter processing chain which is key for soil dynamics. Here, we present a new model of soil food web dynamics accounting for allometric scaling of metabolic rate, ontogeny of organic matter, and explicit representation of nitrogen and carbon flows. We use this model to investigate what traits are best predictors of species effects on community productivity and on nutrient cycling. To do so, we removed 161 tropho-species (groups of functionally identical species) one at a time from 48 forest soil food webs, and simulated their dynamics until equilibrium. Simulations revealed that combinations of traits better determine removal effects than single ones. The smallest species are the most competitive ones, but carnivores of various body masses presenting the highest connectivity and resource similarity could be key stone species in the regulation of competitive forces. Despite this, most removals had low effects, suggesting functional redundancy provides a high resistance of soil food webs to single tropho-species extinction. We also highlight for the first time that food web structure and soil fertility can drastically change species effects in an unpredictable way. Moreover, the exclusion of detritus and stoichiometric constraints in past studies lead to underestimations of indirect effects and retroactions. While additional work is needed to incorporate complementarity between detritivores, it is essential to take into account these mechanisms in models in order to improve the understanding of soil food web functioning.


title: On the Capacity Region for Secure Index Coding

abstract: We study the index coding problem in the presence of an eavesdropper, where the aim is to communicate without allowing the eavesdropper to learn any single message aside from the messages it may already know as side information. We establish an outer bound on the underlying secure capacity region of the index coding problem, which includes polymatroidal and security constraints, as well as the set of additional decoding constraints for legitimate receivers. We then propose a secure variant of the composite coding scheme, which yields an inner bound on the secure capacity region of the index coding problem. For the achievability of secure composite coding, a secret key with vanishingly small rate may be needed to ensure that each legitimate receiver who wants the same message as the eavesdropper, knows at least two more messages than the eavesdropper. For all securely feasible index coding problems with four or fewer messages, our numerical results establish the secure index coding capacity region.


title: Social cognitive optimization with tent map for combined heat and power economic dispatch

abstract: Combined heat and power economic dispatch (CHPED) problem is a sophisticated constrained nonlinear optimization problem in a heat and power production system for assigning heat and power production to minimize the production costs. To address this challenging problem, a novel social cognitive optimization algorithm with tent map (TSCO) is presented for solving the CHPED problem. To handle the equality constraints in heat and power balance constraints, adaptive constraints relaxing rule is adopted in constraint processing. The novelty of our work lies in the introduction of a new powerful TSCO algorithm to solve the CHPED issue. The effectiveness and superiority of the presented algorithm is validated by conducting 2 typical CHPED cases. The numerical results show that the proposed approach has better convergence speed and solution quality than all other existing state-of-the-art algorithms.


title: Negativity volume of the generalized Wigner function as an entanglement witness for hybrid bipartite states

abstract: In a recent paper, Tilma, Everitt {\it et al.} derived a generalized Wigner function that can characterize both the discrete and continuous variable states, i.e., hybrid states. As such, one can expect that the negativity of the generalized Wigner function applied to the hybrid states can reveal their nonclassicality, in analogy with the well-known Wigner function defined for the continuous variable states. In this work, we demonstrate that, indeed, the negativity volume of the generalized Wigner function of the hybrid bipartite states can be used as an entanglement witness for such states, provided that it exceeds a certain critical value. In particular, we study hybrid bipartite qubit-bosonic states and provide a qubit-Schr\"{o}dinger cat state as an example. Since the detection of the generalized Wigner function of hybrid bipartite states in phase space can be experimentally simpler than the tomographic reconstruction of the corresponding density matrix, our results, therefore, present a convenient tool in the entanglement identification of such states.


title: Visualization of High-dimensional Scalar Functions Using Principal Parameterizations

abstract: Insightful visualization of multidimensional scalar fields, in particular parameter spaces, is key to many fields in computational science and engineering. We propose a principal component-based approach to visualize such fields that accurately reflects their sensitivity to input parameters. The method performs dimensionality reduction on the vast $L^2$ Hilbert space formed by all possible partial functions (i.e., those defined by fixing one or more input parameters to specific values), which are projected to low-dimensional parameterized manifolds such as 3D curves, surfaces, and ensembles thereof. Our mapping provides a direct geometrical and visual interpretation in terms of Sobol's celebrated method for variance-based sensitivity analysis. We furthermore contribute a practical realization of the proposed method by means of tensor decomposition, which enables accurate yet interactive integration and multilinear principal component analysis of high-dimensional models.


title: New Lower Bounds for the Number of Pseudoline Arrangements

abstract: Arrangements of lines and pseudolines are fundamental objects in discrete and computational geometry. They also appear in other areas of computer science, such as the study of sorting networks. Let $B_n$ be the number of nonisomorphic arrangements of $n$ pseudolines and let $b_n=\log_2{B_n}$. The problem of estimating $B_n$ was posed by Knuth in 1992. Knuth conjectured that $b_n \leq {n \choose 2} + o(n^2)$ and also derived the first upper and lower bounds: $b_n \leq 0.7924 (n^2 +n)$ and $b_n \geq n^2/6 -O(n)$. The upper bound underwent several improvements, $b_n \leq 0.6988\, n^2$ (Felsner, 1997), and $b_n \leq 0.6571\, n^2$ (Felsner and Valtr, 2011), for large $n$. Here we show that $b_n \geq cn^2 -O(n \log{n})$ for some constant $c>0.2083$. In particular, $b_n \geq 0.2083\, n^2$ for large $n$. This improves the previous best lower bound, $b_n \geq 0.1887\, n^2$, due to Felsner and Valtr (2011). Our arguments are elementary and geometric in nature. Further, our constructions are likely to spur new developments and improved lower bounds for related problems, such as in topological graph drawings.


title: RFI subspace smearing and projection for array radio telescopes

abstract: Active Radio Frequency Interference (RFI) mitigation becomes a necessity for radio astronomy. The solution commonly applied by the community consists in monitoring the statistics of the received signal, and flag out the detected corrupted data. Subspace projection with array radio telescopes has been suggested as an alternative to data excision to avoid important losses of data and overcome its inherent ineffectiveness with continuous interference. Spatial filtering relies on the estimation of the RFI spatial contribution, and the projection of the subspace spanned by the RFI out of the observed data vector space. To perform well, the dimensionality of the RFI subspace is constrained. RFI subspace estimation techniques assume the source of RFI to be spatially stationary over the sample covariance matrix evaluation. When the relative movement between the telescope and the interferer becomes significant, the RFI subspace gets smeared over the whole data vector space. The subspace projection can then no longer be applied without affecting the source of interest recovery. This paper addresses the effect of RFI subspace smearing on the subspace projection approach, and suggests an alternative technique based on a covariance matrix subtraction, improving the performance of spatial filtering in the case of high subspace smearing.


title: Approximate abstractions of control systems with an application to aggregation

abstract: Previous approaches to constructing abstractions for control systems rely on geometric conditions or, in the case of an interconnected control system, a condition on the interconnection topology. Since these conditions are not always satisfiable, we relax the restrictions on the choice of abstractions, instead opting to select ones which nearly satisfy such conditions via optimization-based approaches. To quantify the resulting effect on the error between the abstraction and concrete control system, we introduce the notions of practical simulation functions and practical storage functions. We show that our approach facilitates the procedure of aggregation, where one creates an abstraction by partitioning agents into aggregate areas. We demonstrate the results on an application where we regulate the temperature in three separate zones of a building.


title: A Kazhdan-Lusztig algorithm for Whittaker modules

abstract: We study a category of Whittaker modules over a complex semisimple Lie algebra by realizing it as a category of twisted D-modules on the associated flag variety using Beilinson-Bernstein localization. The main result of this paper is the development of a geometric algorithm for computing the composition multiplicities of standard Whittaker modules. This algorithm establishes that these multiplicities are determined by a collection of polynomials we refer to as Whittaker Kazhdan-Lusztig polynomials. In the case of trivial nilpotent character, this algorithm specializes to the usual algorithm for computing multiplicities of composition factors of Verma modules using Kazhdan-Lusztig polynomials.


title: Slender body theory for particles with non-circular cross-sections

abstract: This paper presents a theory to obtain the force per unit length acting on a slender filament with a non-circular cross-section moving in a fluid at low Reynolds number. Using a regular perturbation of the inner solution, we show that the force per unit length has $O(1/ln(2A))$ + $O(\alpha/ln^2(2A))$ contributions driven by the relative motion of the particle and the local fluid velocity and an $O(\alpha/(ln(2A)A))$ contribution driven by the gradient in the imposed fluid velocity. Here, the aspect ratio ($A=l/a_0$) is defined as the ratio of the size of the particle ($l$) and the cross-sectional dimension ($a_0$); and $\alpha$ is the amplitude of the non-circular perturbation. Using thought experiments, we show that two-lobed and three-lobed cross-sections affect the response to relative motion and velocity gradients, respectively. A two-dimensional Stokes flow calculation is used to extend the perturbation analysis to cross-sections that deviate significantly from a circle (i.e., $\alpha \sim O(1)$). We demonstrate the ability of our method to accurately compute the resistance to translation and rotation of a slender triaxial ellipsoid. Furthermore, we illustrate novel dynamics of straight rods in a simple shear flow that translate and rotate quasi-periodically if they have two-lobed cross-section; and rotate chaotically and translate diffusively if they have a combination of two- and three-lobed cross-sections. Finally, we show the remarkable ability of our theory to accurately predict the motion of rings, retaining great accuracy for moderate aspect ratios ($\sim 10$) and cross-sections that deviate significantly from a circle, thereby making our theory a computationally inexpensive alternative to other Stokes flow solvers.


title: A Brief History of Persistence

abstract: Persistent homology is currently one of the more widely known tools from computational topology and topological data analysis. We present in this note a brief survey on the evolution of the subject. The goal is to highlight the main ideas, starting from the subject's computational inception more than 20 years ago, to the more modern categorical and representation-theoretic point of view.


title: Improved Techniques for Adversarial Discriminative Domain Adaptation

abstract: Adversarial discriminative domain adaptation (ADDA) is an efficient framework for unsupervised domain adaptation in image classification, where the source and target domains are assumed to have the same classes, but no labels are available for the target domain. We investigate whether we can improve performance of ADDA with a new framework and new loss formulations. Following the framework of semi-supervised GANs, we first extend the discriminator output over the source classes, in order to model the joint distribution over domain and task. We thus leverage on the distribution over the source encoder posteriors (which is fixed during adversarial training) and propose maximum mean discrepancy (MMD) and reconstruction-based loss functions for aligning the target encoder distribution to the source domain. We compare and provide a comprehensive analysis of how our framework and loss formulations extend over simple multi-class extensions of ADDA and other discriminative variants of semi-supervised GANs. In addition, we introduce various forms of regularization for stabilizing training, including treating the discriminator as a denoising autoencoder and regularizing the target encoder with source examples to reduce overfitting under a contraction mapping (i.e., when the target per-class distributions are contracting during alignment with the source). Finally, we validate our framework on standard domain adaptation datasets, such as SVHN and MNIST. We also examine how our framework benefits recognition problems based on modalities that lack training data, by introducing and evaluating on a neuromorphic vision sensing (NVS) sign language recognition dataset, where the source and target domains constitute emulated and real neuromorphic spike events respectively. Our results on all datasets show that our proposal competes or outperforms the state-of-the-art in unsupervised domain adaptation.


title: Smoothed Analysis for the Condition Number of Structured Real Polynomial Systems

abstract: We consider the sensitivity of real zeros of structured polynomial systems to perturbations of their coefficients. In particular, we provide explicit estimates for condition numbers of structured random real polynomial systems, and extend these estimates to the smoothed analysis setting.


title: ClusterGAN : Latent Space Clustering in Generative Adversarial Networks

abstract: Generative Adversarial networks (GANs) have obtained remarkable success in many unsupervised learning tasks and unarguably, clustering is an important unsupervised learning problem. While one can potentially exploit the latent-space back-projection in GANs to cluster, we demonstrate that the cluster structure is not retained in the GAN latent space. In this paper, we propose ClusterGAN as a new mechanism for clustering using GANs. By sampling latent variables from a mixture of one-hot encoded variables and continuous latent variables, coupled with an inverse network (which projects the data to the latent space) trained jointly with a clustering specific loss, we are able to achieve clustering in the latent space. Our results show a remarkable phenomenon that GANs can preserve latent space interpolation across categories, even though the discriminator is never exposed to such vectors. We compare our results with various clustering baselines and demonstrate superior performance on both synthetic and real datasets.


title: Two-phase model of the polycrystalline aggregate with account for grain-boundary states under quasi-static deformation

abstract: The statistical theory of flow stress, including yield strength, for polycrystalline materials under quasi-static plastic deformation suggested in [arxiv:1803.08247[cond-mat.mtr-sci], arxiv:1805.08623[cond-mat.mtr-sci]] is developed in the framework of a two-phase model. Analytic and graphic forms of the generalized Hall-Petch relations are obtained for samples with BCC (\alpha-phase Fe), FCC (Cu, Al, Ni) and HCP (\alpha-Ti, Zr) crystalline lattices at T=300K with different values of grain-boundary (second) phase. The maximum of yield strength and respective extremal grain size of the samples are shifted by changing of the second phase. Temperature dependence in the range 100-350K for yield strength (using the example of Al) revealed its increase for closely packed nano-crystalline samples with the growth of temperature. An enlargement of the second phase in a sample neutralizes this property.


title: Network Coded Handover in IEEE 802.11

abstract: We propose a network coded handover of a station moving between two IEEE 802.11 access points (AP). To address such novel proposed framework on a small cell WiFi to WiFi AP handoff, we propose a novel model for the Distributed Coordination Function (DCF) of the WiFi IEEE 802.11 with fixed average contention window. We provide a single packet tranmission model which has been extended to N-packets transmission models with and without fragmentation. We also model the N-packet transmission for the uncoded/coded packets broadcast in order to compare the IEEE 802.11 unreliable to reliable coded broadcast with ACK. We analyze the delay over all, unicast and broadcast transmissions, for the scenario considered with a topology with one WiFi AP before the handover. Capitalizing on the set of models and their corresponding mean completion times (delay), we analyze the performance of different mechanisms. Finally, we provide a novel formulation of the Network Coding on the Edge handover when the station is mobile allowing for the derivation of optimal transmission strategies that can define an optimal time, when to switch to the other AP.


title: Whitney equisingularity in families of generically reduced curves

abstract: In this work we study equisingularity in a one-parameter flat family of generically reduced curves. We consider some equisingular criteria as topological triviality, Whitney equisingularity and strong simultaneous resolution. In this context, we prove that Whitney equisingularity is equivalent to strong simultaneous resolution and it is also equivalent to the constancy of the Milnor number and the multiplicity of the fibers. These results are extensions to the case of flat deformations of generically reduced curves, of known results on reduced curves. When the family $(X,0)$ is topologically trivial, we also characterize Whitney equisingularity through Cohen-Macaulay property of a certain local ring associated to the parameter space of the family.


title: Path prediction of aggregated $\alpha$-stable moving averages using semi-norm representations

abstract: For $(X_t)$ a two-sided $\alpha$-stable moving average, this paper studies the conditional distribution of future paths given a piece of observed trajectory when the process is far from its central values. Under this framework, vectors of the form $\boldsymbol{X}_t=(X_{t-m},\ldots,X_t,X_{t+1},\ldots,X_{t+h})$, $m\ge0$, $h\ge1$, are multivariate $\alpha$-stable and the dependence between the past and future components is encoded in their spectral measures. A new representation of stable random vectors on unit cylinders -sets $\{\boldsymbol{s}\in\mathbb{R}^{m+h+1}: \hspace{0.3cm} \|\boldsymbol{s}\|=1\}$ for $\|\cdot\|$ an adequate semi-norm- is proposed in order to describe the tail behaviour of vectors $\boldsymbol{X}_t$ when only the first $m+1$ components are assumed to be observed and large in norm. Not all stable vectors admit such a representation and $(X_t)$ will have to be <<anticipative enough>> for $\boldsymbol{X}_t$ to admit one. The conditional distribution of future paths can then be explicitly derived using the regularly varying tails property of stable vectors and has a natural interpretation in terms of pattern identification. The approach extends to processes resulting from the linear combination of stable moving averages and applied to several examples.


title: Detecting Gang-Involved Escalation on Social Media Using Context

abstract: Gang-involved youth in cities such as Chicago have increasingly turned to social media to post about their experiences and intents online. In some situations, when they experience the loss of a loved one, their online expression of emotion may evolve into aggression towards rival gangs and ultimately into real-world violence. In this paper, we present a novel system for detecting Aggression and Loss in social media. Our system features the use of domain-specific resources automatically derived from a large unlabeled corpus, and contextual representations of the emotional and semantic content of the user's recent tweets as well as their interactions with other users. Incorporating context in our Convolutional Neural Network (CNN) leads to a significant improvement.


title: Unsupervised Cross-lingual Transfer of Word Embedding Spaces

abstract: Cross-lingual transfer of word embeddings aims to establish the semantic mappings among words in different languages by learning the transformation functions over the corresponding word embedding spaces. Successfully solving this problem would benefit many downstream tasks such as to translate text classification models from resource-rich languages (e.g. English) to low-resource languages. Supervised methods for this problem rely on the availability of cross-lingual supervision, either using parallel corpora or bilingual lexicons as the labeled data for training, which may not be available for many low resource languages. This paper proposes an unsupervised learning approach that does not require any cross-lingual labeled data. Given two monolingual word embedding spaces for any language pair, our algorithm optimizes the transformation functions in both directions simultaneously based on distributional matching as well as minimizing the back-translation losses. We use a neural network implementation to calculate the Sinkhorn distance, a well-defined distributional similarity measure, and optimize our objective through back-propagation. Our evaluation on benchmark datasets for bilingual lexicon induction and cross-lingual word similarity prediction shows stronger or competitive performance of the proposed method compared to other state-of-the-art supervised and unsupervised baseline methods over many language pairs.


title: Critical Percolation on Random Networks with Prescribed Degrees

abstract: Random graphs have played an instrumental role in modelling real-world networks arising from the internet topology, social networks, or even protein-interaction networks within cells. Percolation, on the other hand, has been the fundamental model for understanding robustness and spread of epidemics on these networks. From a mathematical perspective, percolation is one of the simplest models that exhibits phase transition, and fascinating features are observed around the critical point. In this thesis, we prove limit theorems about structural properties of the connected components obtained from percolation on random graphs at criticality. The results are obtained for random graphs with general degree sequence, and we identify different universality classes for the critical behavior based on moment assumptions on the degree distribution.


title: Automated Spatiotemporal Analysis of Fibrils and Coronal Rain using the Rolling Hough Transform

abstract: A technique is presented that automates the direction characterization of curvilinear features in multidimensional solar imaging data sets. It is an extension of the Rolling Hough Transform (RHT) technique presented by Clark, Peek, and Putman (Astrophys. J. 789, 82, 2014), and it excels at rapid quantification of spatial and spatiotemporal feature orientation even for low signal to noise applications. It operates on a pixel-by-pixel basis within a data set and reliably quantifies orientation even for locations not centered on a feature ridge, which is used here to derive a quasi-continuous map of the chromospheric fine structure projection angle. For time-series analysis, a procedure is developed that uses a hierarchical application of the RHT to automatically derive apparent motion of coronal rain observed off-limb. Essential to the success of this technique is this paper's formulation for the RHT error analysis as it provides a means to properly filter results.


title: On the two-systole of real projective spaces

abstract: We establish an integral-geometric formula for minimal two-spheres inside homogeneous three-spheres, and use it to provide a characterisation of each homogeneous metric on the three-dimensional real projective space as the unique metric with the largest possible two-systole among metrics with the same volume in its conformal class.


title: Effects of long-wavelength fluctuations in large galaxy surveys

abstract: In order to capture as much information as possible large galaxy surveys have been increasing their volume and redshift depth. To face this challenge theory has responded by making cosmological simulations of huge computational volumes with equally increasing the number of dark matter particles and supercomputing resources. Thus, it is taken for granted that the ideal situation is when a single computational box encompasses the whole effective volume of the observational survey, e.g., ~50 Gpch^3 for the DESI and Euclid surveys. Here we study the effects of missing long-waves in a finite volume using several relevant statistics: the abundance of dark matter halos, the PDF, the correlation function and power spectrum, and covariance matrices. Finite volume effects can substantially modify the results if the computational volumes are less than ~(500Mpch)^3. However, the effects become extremely small and practically can be ignored when the box-size exceeds ~1Gpch^3. We find that the average power spectra of dark matter fluctuations show remarkable lack of dependence on the computational box-size with less than 0.1% differences between 1Gpch and 4Gpch boxes. No measurable differences are expected for the halo mass functions for these volumes. The covariance matrices are scaled trivially with volume, and small corrections due to super-sample modes can be added. We conclude that there is no need to make those extremely large simulations when a box-size of 1-1.5Gpch is sufficient to fulfil most of the survey science requirements.


title: On the min-max width of unit volume three-spheres

abstract: How large can be the width of Riemannian three-spheres of the same volume in the same conformal class? If a maximum value is attained, how does a maximising metric look like? What happens as the conformal class changes? In this paper, we investigate these and other related questions, focusing on the context of Simon-Smith min-max theory.


title: On cylindricity of submanifolds of nonnegative Ricci curvature in a Minkowski space

abstract: We consider Finsler submanifolds $M^n$ of nonnegative Ricci curvature in a Minkowski space $\mathbb{M}^{n+p}$ which contain a line or whose relative nullity index is positive. For hypersurfaces, submanifolds of codimension two or of dimension two, we prove that the submanifold is a cylinder, under a certain condition on the inertia of the pencil of the second fundamental forms. We give an example of a surface of positive flag curvature in a three-dimensional Minkowski space which is not locally convex.


title: On The Painleve Property For A Class Of Quasilinear Partial Differential Equations

abstract: The last decades saw growing interest across multiple disciplines in nonlinear phenomena described by partial differential equations (PDE). Integrability of such equations is tightly related with the Painleve property - solutions being free from moveable critical singularities. The problem of Painleve classification of ordinary and partial nonlinear differential equations lasting since the end of XIX century saw significant advances for the equation of lower (mainly up to fourth with rare exceptions) order, however not that much for the equations of higher orders. Recent works of the author have completed the Painleve classification for several broad classes of ordinary differential equations of arbitrary order, advancing the methodology of the Panleve analysis. This paper transfers one of those results on a broad class of nonlinear partial differential equations - quasilinear equations of an arbitrary order three or higher, algebraic in the dependent variable and including only the highest order derivatives of it. Being a first advance in Painleve classification of broad classes of arbitrary order nonlinear PDE's known to the author, this work highlights the potential in building classifications of that kind going beyond specific equations of a limited order, as mainly considered so far.


title: Model Risk Measurement under Wasserstein Distance

abstract: The paper proposes a new approach to model risk measurement based on the Wasserstein distance between two probability measures. It formulates the theoretical motivation resulting from the interpretation of fictitious adversary of robust risk management. The proposed approach accounts for equivalent and non-equivalent probability measures and incorporates the economic reality of the fictitious adversary. It provides practically feasible results that overcome the restriction of considering only models implying probability measures equivalent to the reference model. The Wasserstein approach suits for various types of model risk problems, ranging from the single-asset hedging risk problem to the multi-asset allocation problem. The robust capital market line, accounting for the correlation risk, is not achievable with other non-parametric approaches.


title: A measure of transcendence for singular points on conics

abstract: A singular point on a plane conic defined over $\mathbb{Q}$ is a transcendental point of the curve which admits very good rational approximations, uniformly in terms of the height. Extremal numbers and Sturmian continued fractions are abscissa of such points on the parabola $y=x^2$. In this paper we provide a measure of transcendence for singular points on conics defined over $\mathbb{Q}$ which, in these two cases, improves on the measure obtained by Adamczewski et Bugeaud. The main tool is a quantitative version of Schmidt subspace theorem due to Evertse.


title: Threshold factor models for high-dimensional time series

abstract: We consider a threshold factor model for high-dimensional time series in which the dynamics of the time series is assumed to switch between different regimes according to the value of a threshold variable. This is an extension of threshold modeling to a high-dimensional time series setting under a factor structure. Specifically, within each threshold regime, the time series is assumed to follow a factor model. The regime switching mechanism creates structural change in the factor loading matrices. It provides flexibility in dealing with situations that the underlying states may be changing over time, as often observed in economic time series and other applications. We develop the procedures for the estimation of the loading spaces, the number of factors and the threshold value, as well as the identification of the threshold variable, which governs the regime change mechanism. The theoretical properties are investigated. Simulated and real data examples are presented to illustrate the performance of the proposed method.


title: Pseudocharacters of Classical Groups

abstract: A $GL_d$-pseudocharacter is a function from a group $\Gamma$ to a ring $k$ satisfying polynomial relations which make it "look like" the character of a representation. When $k$ is an algebraically closed field, Taylor proved that $GL_d$-pseudocharacters of $\Gamma$ are the same as degree-$d$ characters of $\Gamma$ with values in $k$, hence are in bijection with equivalence classes of semisimple representations $\Gamma \rightarrow GL_d(k)$. Recently, V. Lafforgue generalized this result by showing that, for any connected reductive group $H$ over an algebraically closed field $k$ of characteristic 0 and for any group $\Gamma$, there exists an infinite collection of functions and relations which are naturally in bijection with $H^0(k)$-conjugacy classes of semisimple representations $\Gamma \rightarrow H(k)$. In this paper, we reformulate Lafforgue's result in terms of a new algebraic object called an FFG-algebra. We then define generating sets and generating relations for these objects and show that, for all $H$ as above, the corresponding FFG-algebra is finitely presented. Hence we can always define $H$-pseudocharacters consisting of finitely many functions satisfying finitely many relations. Next, we use invariant theory to give explicit finite presentations of the FFG-algebras for (general) orthogonal groups, (general) symplectic groups, and special orthogonal groups. Finally, we use our pseudocharacters to answer questions about conjugacy vs. element-conjugacy of representations, following Larsen.


title: A Profile Likelihood Approach to Semiparametric Estimation with Nonignorable Nonresponse

abstract: Statistical inference with nonresponse is quite challenging, especially when the response mechanism is nonignorable. The existing methods often require correct model specifications for both outcome and response models. However, due to nonresponse, both models cannot be verified from data directly and model misspecification can lead to a seriously biased inference. To overcome this limitation, we develop a robust and efficient semiparametric method based on the profile likelihood. The proposed method uses the robust semiparametric response model, in which fully unspecified function of study variable is assumed. An efficient computation algorithm using fractional imputation is developed. A quasi-likelihood approach for testing ignorability is also developed. The consistency and asymptotic normality of the proposed method are established. The finite-sample performance is examined in the extensive simulation studies and an application to the Korean Labor and Income Panel Study dataset is also presented.


title: Tuning metaheuristics by sequential optimization of regression models

abstract: Tuning parameters is an important step for the application of metaheuristics to problem classes of interest. In this work we present a tuning framework based on the sequential optimization of perturbed regression models. Besides providing algorithm configurations with good expected performance, the proposed methodology can also provide insights on the relevance of each parameter and their interactions, as well as models of expected algorithm performance for a given problem class, conditional on the parameter values. A test case is presented for the tuning of six parameters of a decomposition-based multiobjective optimization algorithm, in which an instantiation of the proposed framework is compared against the results obtained by the most recent version the Iterated Racing (Irace) procedure. The results suggest that the proposed approach returns solutions that are as good as those of Irace in terms of mean performance, with the advantage of providing more information on the relevance and effect of each parameter on the expected performance of the algorithm.


title: Neutron Scattering Investigation of Rhenium Orbital Ordering in $3d-5d$ Double Perovskite Ca$_2$FeReO$_6$

abstract: We have carried out inelastic neutron scattering experiments to study magnetic excitations in ordered double perovskite Ca$_2$FeReO$_6$. We found a well-defined magnon mode with a bandwidth of $\sim$50meV below the ferri-magnetic ordering temperature ($T_c\sim$520K), similar to previously studied Ba$_2$FeReO$_6$. The spin excitation is gapless for most temperatures within the magnetically ordered phase. However, a spin gap of $\sim$10meV opens up below $\sim$150K, which is well below the magnetic ordering temperature but coincides with a previously reported metal-insulator transition and onset of structural distortion. The observed temperature dependence of spin gap provides strong evidence for ordering of Re orbitals at $\sim$150~K, in accordance with earlier proposal put forward by Oikawa $\it{et.\,al}$ based on neutron diffraction [J. Phys. Soc. Jpn., $\bf{72}$, 1411 (2003)] as well as recent theoretical work by Lee and Marianetti [Phys. Rev. B, $\bf{97}$, 045102 (2018)]. The presence of separate orbital and magnetic ordering in Ca$_2$FeReO$_6$ suggests weak coupling between spin and orbital degrees of freedom and hints towards a sub-dominant role played by spin orbit coupling in describing its magnetism. In addition, we observed only one well-defined magnon band near magnetic zone boundary, which is incompatible with simple ferrimagnetic spin waves arising from Fe and Re local moments, but suggests a strong damping of Re magnon mode.


title: Who Started It? Identifying Root Sources in Textual Conversation Threads

abstract: In textual conversation threads, as found on many popular social media platforms, each particular user text comment either originates a new thread of discussion, or replies to a previous comment. An individual who makes an original comment ---termed as the "root source''---is a topic initiator or even an information source, and identifying such individuals is of particular interest. The reply structure of comments is not always available (e.g. in the proliferation of a news event), and thus identifying root sources is a nontrivial task. In this paper, we develop a generative model based on marked multivariate Hawkes processes, and introduce a novel concept, "root source probability", to quantify the uncertainty in attributing possible root sources to each comment. A dynamic-programming-based algorithm is then derived to efficiently compute root source probabilities. Experiments on synthetic and real-world data show that our method identifies root sources that match ground truth and human intuition.


title: Super-Isolated Abelian Varieties

abstract: We call an abelian variety over a finite field $\mathbb{F}_q$ super-isolated if its ($\mathbb{F}_q$-rational) isogeny class contains a single isomorphism class. In this paper, we use the Honda-Tate theorem to characterize super-isolated ordinary simple abelian varieties by certain algebraic integers. Our main result is that for a fixed dimension $g \geq 3$, there are finitely many such varieties.


title: Evaluation of Preference of Multimedia Content using Deep Neural Networks for Electroencephalography

abstract: Evaluation of quality of experience (QoE) based on electroencephalography (EEG) has received great attention due to its capability of real-time QoE monitoring of users. However, it still suffers from rather low recognition accuracy. In this paper, we propose a novel method using deep neural networks toward improved modeling of EEG and thereby improved recognition accuracy. In particular, we aim to model spatio-temporal characteristics relevant for QoE analysis within learning models. The results demonstrate the effectiveness of the proposed method.


title: Reconstructing solar wind inhomogeneous structures from stereoscopic observations in white-light: Small transients along the Sun-Earth line

abstract: The Heliospheric Imagers (HI) on board the two spacecraft of the Solar Terrestrial Relations Observatory (STEREO) provided white-light images of transients in the solar wind from dual perspectives from 2007 to 2014. In this paper, we develop a new method to identify and locate the transients automatically from simultaneous images from the two inner telescopes, known as HI-1, based on a correlation analysis. Correlation coefficient (cc) maps along the Sun-Earth line are constructed for the period from 1 Jan 2010 to 28 Feb 2011. From the maps, transients propagating along the Sun-Earth line are identified, and a 27-day periodic pattern is revealed, especially for small-scale transients. Such a periodicity in the transient pattern is consistent with the rotation of the Sun's global magnetic structure and the periodic crossing of the streamer structures and slow solar wind across the Sun-Earth line, and this substantiates the reliability of our method and the high degree of association between the small-scale transients of the slow solar wind and the coronal streamers. Besides, it is suggested by the cc map that small-scale transients along the Sun-Earth line are more frequent than large-scale transients by a factor of at least 2, and that they quickly diffused into background solar wind within about 40 Rs in terms of the signal-to-noise ratio of white-light emissions. The method provides a new tool to reconstruct inhomogeneous structures in the heliosphere from multiple perspectives.


title: Exploiting the structure effectively and efficiently in low rank matrix recovery

abstract: Low rank model arises from a wide range of applications, including machine learning, signal processing, computer algebra, computer vision, and imaging science. Low rank matrix recovery is about reconstructing a low rank matrix from incomplete measurements. In this survey we review recent developments on low rank matrix recovery, focusing on three typical scenarios: matrix sensing, matrix completion and phase retrieval. An overview of effective and efficient approaches for the problem is given, including nuclear norm minimization, projected gradient descent based on matrix factorization, and Riemannian optimization based on the embedded manifold of low rank matrices. Numerical recipes of different approaches are emphasized while accompanied by the corresponding theoretical recovery guarantees.


title: Energy-efficient Decision Fusion for Distributed Detection in Wireless Sensor Networks

abstract: This paper proposes an energy-efficient counting rule for distributed detection by ordering sensor transmissions in wireless sensor networks. In the counting rule-based detection in an $N-$sensor network, the local sensors transmit binary decisions to the fusion center, where the number of all $N$ local-sensor detections are counted and compared to a threshold. In the ordering scheme, sensors transmit their unquantized statistics to the fusion center in a sequential manner; highly informative sensors enjoy higher priority for transmission. When sufficient evidence is collected at the fusion center for decision making, the transmissions from the sensors are stopped. The ordering scheme achieves the same error probability as the optimum unconstrained energy approach (which requires observations from all the $N$ sensors) with far fewer sensor transmissions. The scheme proposed in this paper improves the energy efficiency of the counting rule detector by ordering the sensor transmissions: each sensor transmits at a time inversely proportional to a function of its observation. The resulting scheme combines the advantages offered by the counting rule (efficient utilization of the network's communication bandwidth, since the local decisions are transmitted in binary form to the fusion center) and ordering sensor transmissions (bandwidth efficiency, since the fusion center need not wait for all the $N$ sensors to transmit their local decisions), thereby leading to significant energy savings. As a concrete example, the problem of target detection in large-scale wireless sensor networks is considered. Under certain conditions the ordering-based counting rule scheme achieves the same detection performance as that of the original counting rule detector with fewer than $N/2$ sensor transmissions; in some cases, the savings in transmission approaches $(N-1)$.


title: Kahler-Ricci flow on blowups along submanifolds

abstract: In this short note, we study the behavior of Kaher-Ricci flow on Kahler manifolds which contract divisors to smooth submanifolds. We show that the Kahler potentials are Holder continuous and the flow converges sequentially in Gromov-Hausdorff topology to a compact metric space which is homeomorphic to the base manifold.


title: An Efficient ADMM-Based Algorithm to Nonconvex Penalized Support Vector Machines

abstract: Support vector machines (SVMs) with sparsity-inducing nonconvex penalties have received considerable attentions for the characteristics of automatic classification and variable selection. However, it is quite challenging to solve the nonconvex penalized SVMs due to their nondifferentiability, nonsmoothness and nonconvexity. In this paper, we propose an efficient ADMM-based algorithm to the nonconvex penalized SVMs. The proposed algorithm covers a large class of commonly used nonconvex regularization terms including the smooth clipped absolute deviation (SCAD) penalty, minimax concave penalty (MCP), log-sum penalty (LSP) and capped-$\ell_1$ penalty. The computational complexity analysis shows that the proposed algorithm enjoys low computational cost. Moreover, the convergence of the proposed algorithm is guaranteed. Extensive experimental evaluations on five benchmark datasets demonstrate the superior performance of the proposed algorithm to other three state-of-the-art approaches.


title: Resource-driven Substructural Defeasible Logic

abstract: Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects, and we discuss the design choices for the framework.


title: Uplink Cooperative NOMA for Cellular-Connected UAV

abstract: Aerial-ground interference mitigation is a challenging issue in the cellular-connected unmanned aerial vehicle (UAV) communications. Due to the strong line-of-sight (LoS) air-to-ground (A2G) channels, the UAV may impose/suffer more severe uplink/downlink interference to/from the cellular base stations (BSs) than the ground users. To tackle this challenge, we propose to apply the non-orthogonal multiple access (NOMA) technique to the uplink communication from a UAV to cellular BSs, under spectrum sharing with the existing ground users. However, for our considered system, traditional NOMA with local interference cancellation (IC), termed non-cooperative NOMA, may provide very limited gain compared to the OMA. This is because there are many co-channel BSs due to the LoS A2G channels and thus the UAV's rate performance is severely limited by the BS with the worst channel condition with the UAV. To improve the UAV's achievable rate, a new cooperative NOMA scheme is proposed by exploiting the backhaul links among BSs. Specifically, some BSs with better channel conditions are selected to decode the UAV's signals first, and then forward the decoded signals to their backhaul-connected BSs for IC. To investigate the optimal design of cooperative NOMA, we maximize the weighted sum-rate of the UAV and ground users by jointly optimizing the UAV's rate and power allocations over multiple resource blocks. However, this problem is hard to be solved optimally. To obtain useful insights, we first consider two special cases with egoistic and altruistic transmission strategies of the UAV, respectively, and solve their corresponding problems optimally. Next, we consider the general case and propose an efficient suboptimal solution via the alternating optimization. Numerical results show that the proposed cooperative NOMA yields significant throughput gains than the OMA and the non-cooperative NOMA benchmark.


title: Neural Rendering and Reenactment of Human Actor Videos

abstract: We propose a method for generating video-realistic animations of real humans under user control. In contrast to conventional human character rendering, we do not require the availability of a production-quality photo-realistic 3D model of the human, but instead rely on a video sequence in conjunction with a (medium-quality) controllable 3D template model of the person. With that, our approach significantly reduces production cost compared to conventional rendering approaches based on production-quality 3D models, and can also be used to realistically edit existing videos. Technically, this is achieved by training a neural network that translates simple synthetic images of a human character into realistic imagery. For training our networks, we first track the 3D motion of the person in the video using the template model, and subsequently generate a synthetically rendered version of the video. These images are then used to train a conditional generative adversarial network that translates synthetic images of the 3D model into realistic imagery of the human. We evaluate our method for the reenactment of another person that is tracked in order to obtain the motion data, and show video results generated from artist-designed skeleton motion. Our results outperform the state-of-the-art in learning-based human image synthesis. Project page: http://gvv.mpi-inf.mpg.de/projects/wxu/HumanReenactment/


title: New models for symbolic data analysis

abstract: Symbolic data analysis (SDA) is an emerging area of statistics concerned with understanding and modelling data that takes distributional form (i.e. symbols), such as random lists, intervals and histograms. It was developed under the premise that the statistical unit of interest is the symbol, and that inference is required at this level. Here we consider a different perspective, which opens a new research direction in the field of SDA. We assume that, as with a standard statistical analysis, inference is required at the level of individual-level data. However, the individual-level data are aggregated into symbols - group-based distributional-valued summaries - prior to the analysis. In this way, large and complex datasets can be reduced to a smaller number of distributional summaries, that may be analysed more efficiently than the original dataset. As such, we develop SDA techniques as a new approach for the analysis of big data. In particular we introduce a new general method for constructing likelihood functions for symbolic data based on a desired probability model for the underlying measurement-level data, while only observing the distributional summaries. This approach opens the door for new classes of symbol design and construction, in addition to developing SDA as a viable tool to enable and improve upon classical data analyses, particularly for very large and complex datasets. We illustrate this new direction for SDA research through several real and simulated data analyses.


title: Algebraic Structure of Holomorphic Poisson Cohomology on Nilmanifolds

abstract: It is proved that on nilmanifolds with abelian complex structure, there exists a canonically constructed non-trivial holomorphic Poisson structure. We identify the necessary and sufficient condition for its associated cohomology to be isomorphic to the cohomology associated to trivial (zero) holomorphic Poisson structure. We also identify a sufficient condition for this isomorphism to be at the level of Gerstenhaber algebras.


title: Vorticity measures and the inviscid limit

abstract: We consider a sequence of Leray-Hopf weak solutions of the 2D Navier-Stokes equations on a bounded domain, in the vanishing viscosity limit. We provide sufficient conditions on the associated vorticity measures, away from the boundary, which ensure that as the viscosity vanishes the sequence converges to a weak solution of the Euler equations. These assumptions are consistent with vortex sheet solutions of the Euler equations.


title: Local Classical Strategies vs Geometrical Quantum Constraints

abstract: We use an alternative approach to show that quantum entanglement-like correlations cannot be reproduced for any classical protocol. In our proposal, quantum geometric restrictions are impose over the physical system related to the existence of entanglement and we demonstrate that there is no classical local strategy that can reproduce them completely. Typically, the implementations of Bell inequalities have as a starting point the expectation of classical behavior and as conclusion the violation due to the quantum character of the system. We go the other way around. For this purpose, we build a computational simulation based on the scheme of non-communicating students. In this scheme, the students cannot manipulate the quantum systems but they may set up in advance a common strategy and share some common classical data in order to try to reproduce the given quantum correlations of such systems. By thoroughly searching in the whole space of classical strategies we conclude that local operations and classical communications does not satisfy the geometrical constraints imposed by quantum entanglement.


title: Non-invasive assessment of the spatial and temporal distributions of interstitial fluid pressure, fluid velocity and fluid flow in cancers in vivo

abstract: Interstitial fluid pressure (IFP), interstitial fluid velocity (IFV), interstitial permeability (IP) and vascular permeability (VP) are cancer mechanopathological parameters of great clinical significance. To date, there is a lack of non-invasive techniques that can be used to estimate these parameters in vivo. In this study, we designed and tested new ultrasound poroelastography methods capable of estimating the magnitude and spatial distribution of fluid pressure, fluid velocity and fluid flow inside tumors. We theoretically proved that fluid pressure, velocity and flow estimated using poroelastography from a tumor under creep compression are directly related to the underlying IFP, IFV and fluid flow, respectively, differing only in peak values. We also proved that, from the spatial distribution of the fluid pressure estimated using poroelastography, it is possible to derive: the parameter alpha, which quantifies the spatial distribution of the IFP; the ratio between VP and IP and the ratio between the peak IFP and effective vascular pressure in the tumor. Finally, we demonstrated that axial strain time constant (TC) elastograms are directly related to VP and IP in tumors. Our techniques were validated using finite element and ultrasound simulations, while experiments on a human breast cancer animal model were used to show the feasibility of these methods in vivo.


title: Topic Memory Networks for Short Text Classification

abstract: Many classification models work poorly on short texts due to data sparsity. To address this issue, we propose topic memory networks for short text classification with a novel topic memory mechanism to encode latent topic representations indicative of class labels. Different from most prior work that focuses on extending features with external knowledge or pre-trained topics, our model jointly explores topic inference and text classification with memory networks in an end-to-end manner. Experimental results on four benchmark datasets show that our model outperforms state-of-the-art models on short text classification, meanwhile generates coherent topics.


title: Multiple list colouring triangle-free planar graphs

abstract: This paper proves that for each positive integer $m$, there is a triangle-free planar graph $G$ which is not $(3m+ \lceil \frac m{17} \rceil-1, m)$-choosable.


title: The i-process yields of rapidly-accreting white dwarfs from multicycle He-shell flash stellar evolution models with mixing parameterizations from 3D hydrodynamics simulations

abstract: We have modelled the multicycle evolution of rapidly-accreting CO white dwarfs (RAWDs) with stable H burning intermittent with strong He-shell flashes on their surfaces for $0.7\leq M_\mathrm{RAWD}/M_\odot\leq 0.75$ and [Fe/H] ranging from $0$ to $-2.6$. We have also computed the i-process nucleosynthesis yields for these models. The i process occurs when convection driven by the He-shell flash ingests protons from the accreted H-rich surface layer, which results in maximum neutron densities $N_\mathrm{n,max}\approx 10^{13}$-$10^{15}\ \mathrm{cm}^{-3}$. The H-ingestion rate and the convective boundary mixing (CBM) parameter $f_\mathrm{top}$ adopted in the one-dimensional nucleosynthesis and stellar evolution models are constrained through 3D hydrodynamic simulations. The mass ingestion rate and, for the first time, the scaling laws for the CBM parameter $f_\mathrm{top}$ have been determined from 3D hydrodynamic simulations. We confirm our previous result that the high-metallicity RAWDs have a low mass retention efficiency ($\eta < 10\%$). A new result is that RAWDs with [Fe/H]$< -2$ have $\eta > 20\%$, therefore their masses may reach the Chandrasekhar limit and they may eventually explode as SNeIa. This result and the good fits of the i-process yields from the metal-poor RAWDs to the observed chemical composition of the CEMP-r/s stars suggest that some of the present-day CEMP-r/s stars could be former distant members of triple systems, orbiting close binary systems with RAWDs that may have later exploded as SNeIa.


title: Al-Cu-Fe quasicrystals as anode of lithium ion battery

abstract: In this paper, Al-Cu-Fe quasicrystal alloy was used as anode material of lithium-ion batteries. The first specific discharge capacity of quasicrystal was 204mAh/g. Cyclic voltammetry showed that oxidation peak of Al-Cu-Fe quasicrystal was at about 1.4V. The reduction peak was at 0.3V. Al-Cu-Fe quasicrystal have higher Li-ion diffusion impedance and Warburg in the first cycle. X-ray diffraction analysis demonstrate that Li atom enter into quasicrystal structure can not fully leave quasicrytal during first charge/discharge cycle which induce the irreversible capacity.


title: Comparing Computing Platforms for Deep Learning on a Humanoid Robot

abstract: The goal of this study is to test two different computing platforms with respect to their suitability for running deep networks as part of a humanoid robot software system. One of the platforms is the CPU-centered Intel NUC7i7BNH and the other is a NVIDIA Jetson TX2 system that puts more emphasis on GPU processing. The experiments addressed a number of benchmarking tasks including pedestrian detection using deep neural networks. Some of the results were unexpected but demonstrate that platforms exhibit both advantages and disadvantages when taking computational performance and electrical power requirements of such a system into account.


title: Temporal-Spatial Mapping for Action Recognition

abstract: Deep learning models have enjoyed great success for image related computer vision tasks like image classification and object detection. For video related tasks like human action recognition, however, the advancements are not as significant yet. The main challenge is the lack of effective and efficient models in modeling the rich temporal spatial information in a video. We introduce a simple yet effective operation, termed Temporal-Spatial Mapping (TSM), for capturing the temporal evolution of the frames by jointly analyzing all the frames of a video. We propose a video level 2D feature representation by transforming the convolutional features of all frames to a 2D feature map, referred to as VideoMap. With each row being the vectorized feature representation of a frame, the temporal-spatial features are compactly represented, while the temporal dynamic evolution is also well embedded. Based on the VideoMap representation, we further propose a temporal attention model within a shallow convolutional neural network to efficiently exploit the temporal-spatial dynamics. The experiment results show that the proposed scheme achieves the state-of-the-art performance, with 4.2% accuracy gain over Temporal Segment Network (TSN), a competing baseline method, on the challenging human action benchmark dataset HMDB51.


title: Supersymmetry Breaking Phase in Three Dimensional Large N Gauge Theories

abstract: Three dimensional supersymmetric gauge theories are often in a gapped phase, in which SUSY is spontaneously broken, if all the matter fields are massive and decoupled in the low energy. We study this phase in the large $N$ limit using the localization technique for the theory on the ellipsoid, which interpolates the round three sphere and the flat space compactified on $S^1$. We find a large $N$ saddle point solution for the gauge theory with some massive matter fields. This solution gives a vanishing (generalized) Polyakov loop in the flat space limit, thus, it corresponds to the confining phase at the leading order in the $1/N$ expansion.


title: Strategies for quantum races

abstract: We initiate the study of quantum races, games where two or more quantum computers compete to solve a computational problem. While the problem of dueling algorithms has been studied for classical deterministic algorithms, the quantum case presents additional sources of uncertainty for the players. The foremost among these is that players do not know if they have solved the problem until they measure their quantum state. This question of `when to measure?' presents a very interesting strategic problem. We develop a game-theoretic model of a multiplayer quantum race, and find an approximate Nash equilibrium where all players play the same strategy. In the two-party case, we further show that this strategy is nearly optimal in terms of payoff among all symmetric Nash equilibria. A key role in our analysis of quantum races is played by a more tractable version of the game where there is no payout on a tie; for such races we completely characterize the Nash equilibria in the two-party case. One application of our results is to the stability of the Bitcoin protocol when mining is done by quantum computers. Bitcoin mining is a race to solve a computational search problem, with the winner gaining the right to create a new block. Our results inform the strategies that eventual quantum miners should use, and also indicate that the collision probability---the probability that two miners find a new block at the same time---would not be too high in the case of quantum miners. Such collisions are undesirable as they lead to forking of the Bitcoin blockchain.


title: Deep Interest Evolution Network for Click-Through Rate Prediction

abstract: Click-through rate~(CTR) prediction, whose goal is to estimate the probability of the user clicks, has become one of the core tasks in advertising systems. For CTR prediction model, it is necessary to capture the latent user interest behind the user behavior data. Besides, considering the changing of the external environment and the internal cognition, user interest evolves over time dynamically. There are several CTR prediction methods for interest modeling, while most of them regard the representation of behavior as the interest directly, and lack specially modeling for latent interest behind the concrete behavior. Moreover, few work consider the changing trend of interest. In this paper, we propose a novel model, named Deep Interest Evolution Network~(DIEN), for CTR prediction. Specifically, we design interest extractor layer to capture temporal interests from history behavior sequence. At this layer, we introduce an auxiliary loss to supervise interest extracting at each step. As user interests are diverse, especially in the e-commerce system, we propose interest evolving layer to capture interest evolving process that is relative to the target item. At interest evolving layer, attention mechanism is embedded into the sequential structure novelly, and the effects of relative interests are strengthened during interest evolution. In the experiments on both public and industrial datasets, DIEN significantly outperforms the state-of-the-art solutions. Notably, DIEN has been deployed in the display advertisement system of Taobao, and obtained 20.7\% improvement on CTR.


title: Universal mixed sums of generalized $4$- and $8$-gonal numbers

abstract: An integer of the form $P_m(x)= \frac{(m-2)x^2-(m-4)x}{2}$ for an integer $x$, is called a generalized $m$-gonal number. For positive integers $\alpha_1,\dots,\alpha_u$ and $\beta_1,\dots,\beta_v$, a mixed sum $\Phi=\alpha_1P_4(x_1)+\cdots+\alpha_uP_4(x_u)+\beta_1P_8(y_1)+\cdots+\beta_vP_8(y_v)$ of generalized $4$- and $8$-gonal numbers is called universal if $\Phi=N$ has an integer solution for any nonnegative integer $N$. In this article, we prove that there are exactly 1271 proper universal mixed sums of generalized $4$- and $8$-gonal numbers. Furthermore, the "$61$-theorem" is proved, which states that an arbitrary mixed sum of generalized $4$- and $8$-gonal numbers is universal if and only if it represents the integers $1$, $2$, $3$, $4$, $5$, $6$, $7$, $8$, $9$, $10$, $12$, $13$, $14$, $15$, $18$, $20$, $30$, $60$, and $61$.


title: Planar Cooperative Extremum Seeking with Guaranteed Convergence Using A Three-Robot Formation

abstract: In this paper, a combined formation acquisition and cooperative extremum seeking control scheme is proposed for a team of three robots moving on a plane. The extremum seeking task is to find the maximizer of an unknown two-dimensional function on the plane. The function represents the signal strength field due to a source located at maximizer, and is assumed to be locally concave around maximizer and monotonically decreasing in distance to the source location. Taylor expansions of the field function at the location of a particular lead robot and the maximizer are used together with a gradient estimator based on signal strength measurements of the robots to design and analyze the proposed control scheme. The proposed scheme is proven to exponentially and simultaneously (i) acquire the specified geometric formation and (ii) drive the lead robot to a specified neighborhood disk around maximizer, whose radius depends on the specified desired formation size as well as the norm bounds of the Hessian of the field function. The performance of the proposed control scheme is evaluated using a set of simulation experiments.


title: Central limit theorem near the critical temperature for the overlap in the 2-spin spherical SK model

abstract: We prove a central limit theorem for the normalized overlap between two replicas in the spherical SK model in the high temperature phase. The convergence holds almost surely with respect to the disorder variables, and the inverse temperature can approach the criticial value at a polynomial rate with any exponent strictly greater than $1/3$.


title: Unbiasing Semantic Segmentation For Robot Perception using Synthetic Data Feature Transfer

abstract: Robot perception systems need to perform reliable image segmentation in real-time on noisy, raw perception data. State-of-the-art segmentation approaches use large CNN models and carefully constructed datasets; however, these models focus on accuracy at the cost of real-time inference. Furthermore, the standard semantic segmentation datasets are not large enough for training CNNs without augmentation and are not representative of noisy, uncurated robot perception data. We propose improving the performance of real-time segmentation frameworks on robot perception data by transferring features learned from synthetic segmentation data. We show that pretraining real-time segmentation architectures with synthetic segmentation data instead of ImageNet improves fine-tuning performance by reducing the bias learned in pretraining and closing the \textit{transfer gap} as a result. Our experiments show that our real-time robot perception models pretrained on synthetic data outperform those pretrained on ImageNet for every scale of fine-tuning data examined. Moreover, the degree to which synthetic pretraining outperforms ImageNet pretraining increases as the availability of robot data decreases, making our approach attractive for robotics domains where dataset collection is hard and/or expensive.


title: Neutrino spectrum in SU$(3)_\ell\times$SU$(3)_E$ gauged lepton flavor model

abstract: Massive neutrino is an evidence of new physics beyond the Standard Model. One of the well motivated new physics scenarios is a model with gauged lepton flavor symmetry. We investigate neutrino properties in the minimal SU$(3)_\ell\times$SU$(3)_E$ gauged lepton flavor model. In this model, three new species of fermions are introduced to cancel gauge anomalies. These new fermions lead to a see-saw mechanism for neutrino mass generation. We impose the constraints from perturbative unitarity in 2-2 scattering processes, as well as current experimental constraints, to obtain viable neutrino spectrum. We determine the lower bound, with the SU(3)$_\ell$ gauge coupling set to 1, on the lightest neutrino mass of $3.76\times10^{-3}\,(18.9\times10^{-3})\,$ eV for the normal (inverted) hierarchy.


title: Equivariant cohomology of torus orbifolds

abstract: We calculate the integral equivariant cohomology, in terms of generators and relations, of locally standard torus orbifolds whose odd degree ordinary cohomology vanishes. We begin by studying GKM-orbifolds, which are more general, before specialising to half-dimensional torus actions.


title: Aspects of Massive Gauge Theories on Three Sphere in Infinite Mass Limit

abstract: We study the $S^3$ partition function of three-dimensional supersymmetric $\mathcal{N}=4$ U($N$) SQCD with massive matter multiplets in the infinite mass limit with the so-called Coulomb branch localization. We show that in the infinite mass limit a specific point of the Coulomb branch is selected and contributes dominantly to the partition function. Therefore, we can argue whether each multiplet included in the theory is effectively massless in this limit, even on $S^3$, and conclude that the partition function becomes that of the effective theory on the specific point of the Coulomb branch in the infinite mass limit. In order to investigate which point of the Coulomb branch is dominant, we use the saddle point approximation in the large $N$ limit because the solution of the saddle point equation can be regarded as a specific point of the Coulomb branch. Then, we calculate the partition functions for small rank $N$ and confirm that their behaviors in the infinite mass limit are consistent with the conjecture from the results in the large $N$ limit. Our result suggests that the partition function in the infinite mass limit corresponds to that of an interacting superconformal field theory.


title: Learning Scripts as Hidden Markov Models

abstract: Scripts have been proposed to model the stereotypical event sequences found in narratives. They can be applied to make a variety of inferences including filling gaps in the narratives and resolving ambiguous references. This paper proposes the first formal framework for scripts based on Hidden Markov Models (HMMs). Our framework supports robust inference and learning algorithms, which are lacking in previous clustering models. We develop an algorithm for structure and parameter learning based on Expectation Maximization and evaluate it on a number of natural datasets. The results show that our algorithm is superior to several informed baselines for predicting missing events in partial observation sequences.


title: Relaxation to gaussian and generalized Gibbs states in systems of particles with quadratic hamiltonians

abstract: We present an elementary, general, and semi-quantitative description of relaxation to gaussian and generalized Gibbs states in lattice models of fermions or bosons with quadratic hamiltonians. Our arguments apply to arbitrary initial states that satisfy a mild condition on clustering of correlations. We also show that similar arguments can be used to understand relaxation (or its absence) in systems with time-dependent quadratic hamiltonians, and provide a semi-quantitative description of relaxation in quadratic periodically driven (Floquet) systems.


title: CNN-Based Signal Detection for Banded Linear Systems

abstract: Banded linear systems arise in many communication scenarios, e.g., those involving inter-carrier interference and inter-symbol interference. Motivated by recent advances in deep learning, we propose to design a high-accuracy low-complexity signal detector for banded linear systems based on convolutional neural networks (CNNs). We develop a novel CNN-based detector by utilizing the banded structure of the channel matrix. Specifically, the proposed CNN-based detector consists of three modules: the input preprocessing module, the CNN module, and the output postprocessing module. With such an architecture, the proposed CNN-based detector is adaptive to different system sizes, and can overcome the curse of dimensionality, which is a ubiquitous challenge in deep learning. Through extensive numerical experiments, we demonstrate that the proposed CNN-based detector outperforms conventional deep neural networks and existing model-based detectors in both accuracy and computational time. Moreover, we show that CNN is flexible for systems with large sizes or wide bands. We also show that the proposed CNN-based detector can be easily extended to near-banded systems such as doubly selective orthogonal frequency division multiplexing (OFDM) systems and 2-D magnetic recording (TDMR) systems, in which the channel matrices do not have a strictly banded structure.


title: Irreducible components of affine Deligne-Lusztig varieties

abstract: By extending the method of semi-modules developed by de Jong, Oort, Viehmann and Hamacher, we introduce a stratification for the affne Deligne-Lusztig variety (in the affne Grassmannian) attached to attached to a minuscule cocharacter and a basic element. As an application, we complete the proof of a conjecture on the irreducible components of affne Deligne-Lusztig varieties, due to Miaofen Chen and Xinwen Zhu.


title: Visual Attention Model for Cross-sectional Stock Return Prediction and End-to-End Multimodal Market Representation Learning

abstract: Technical and fundamental analysis are traditional tools used to analyze individual stocks; however, the finance literature has shown that the price movement of each individual stock correlates heavily with other stocks, especially those within the same sector. In this paper we propose a general purpose market representation that incorporates fundamental and technical indicators and relationships between individual stocks. We treat the daily stock market as a "market image" where rows (grouped by market sector) represent individual stocks and columns represent indicators. We apply a convolutional neural network over this market image to build market features in a hierarchical way. We use a recurrent neural network, with an attention mechanism over the market feature maps, to model temporal dynamics in the market. We show that our proposed model outperforms strong baselines in both short-term and long-term stock return prediction tasks. We also show another use for our market image: to construct concise and dense market embeddings suitable for downstream prediction tasks.


title: Massively Parallel Dynamic Programming on Trees

abstract: Dynamic programming is a powerful technique that is, unfortunately, often inherently sequential. That is, there exists no unified method to parallelize algorithms that use dynamic programming. In this paper, we attempt to address this issue in the Massively Parallel Computations (MPC) model which is a popular abstraction of MapReduce-like paradigms. Our main result is an algorithmic framework to adapt a large family of dynamic programs defined over trees. We introduce two classes of graph problems that admit dynamic programming solutions on trees. We refer to them as "(polylog)-expressible" and "linear-expressible" problems. We show that both classes can be parallelized in $O(\log n)$ rounds using a sublinear number of machines and a sublinear memory per machine. To achieve this result, we introduce a series of techniques that can be plugged together. To illustrate the generality of our framework, we implement in $O(\log n)$ rounds of MPC, the dynamic programming solution of graph problems such as minimum bisection, $k$-spanning tree, maximum independent set, longest path, etc., when the input graph is a tree.


title: Microscopic description of structural evolution in Pd, Xe, Ba, Nd, Sm, Gd and Dy isotopes

abstract: Aiming to understand the role of triaxiality and the evolution of the ground state nuclear shapes, we have carried out a microscopic study for a series of chains of Pd, Xe, Ba, Nd, Sm, Gd, and Dy isotopes. This is done within the self-consistent Relativistic-Hartree-Bogoliubov (RHB) formalism, and supported by the Triaxial Projected Shell Model (TPSM) approach. Pairing interaction separable in the momentum space with DD-ME2 force parameter is used to generate the potential energy surfaces(PESs) under the axial and triaxial symmetry. Shape evolution manifest themself in very clear manner in almost all the isotopic chains. Properties of the global mimima have been found to be in good agreement with the available experimental data. Relatively flat PESs, and $\gamma$-soft nature, have been suggested $^{108,110}$Pd, $^{132,134}$Xe and $^{134}$Ba as good candidates for E(5) symmetry, while $^{102}$Pd is not found suitable for E(5) symmetry. The PESs with a bump, and rigidity against triaxial variable($\gamma$) suggested $^{150}$Nd, $^{152}$Sm and $^{154}$Gd to be good candidates while $^{150}$Sm and $^{156}$Dy are poor candidates of X(5) critical-point symmetry. The findings of the present RHB calculations supported by TPSM are qualitatively in good agreement with the experimental and other theoretical calculations.


title: Addendum to 'The equivariant spectral function of an invariant elliptic operator'

abstract: Let $M$ be a compact boundaryless Riemannian manifold, carrying an effective and isometric action of a torus $T$, and $P_0$ an invariant elliptic classical pseudodifferential operator on $M$. In this note, we strengthen asymptotics for the equivariant (or reduced) spectral function of $P_0$ derived previously, which are already sharp in the eigenvalue aspect, to become almost sharp in the isotypic aspect. In particular, this leads to hybrid equivariant $L^p$-bounds for eigenfunctions that are almost sharp in the eigenvalue and isotypic aspect.


title: Quantum critical phenomena in heat transport via a two-state system

abstract: We present a theoretical study of the quantum critical behavior in heat transport via a two-state system with sub-ohmic reservoirs. We calculate the temperature dependence of the thermal conductance near the quantum phase transition via the continuous-time quantum Monte Carlo method and discuss its critical exponents. We also propose a superconducting circuit to realize the sub-ohmic spin-boson model that can be used to observe quantum critical phenomena.