title: A General Approach to Adding Differential Privacy to Iterative Training Procedures

abstract: In this work we address the practical challenges of training machine learning models on privacy-sensitive datasets by introducing a modular approach that minimizes changes to training algorithms, provides a variety of configuration strategies for the privacy mechanism, and then isolates and simplifies the critical logic that computes the final privacy guarantees. A key challenge is that training algorithms often require estimating many different quantities (vectors) from the same set of examples --- for example, gradients of different layers in a deep learning architecture, as well as metrics and batch normalization parameters. Each of these may have different properties like dimensionality, magnitude, and tolerance to noise. By extending previous work on the Moments Accountant for the subsampled Gaussian mechanism, we can provide privacy for such heterogeneous sets of vectors, while also structuring the approach to minimize software engineering challenges.


title: Branching from the General Linear Group to the Symmetric Group and the Principal Embedding

abstract: Let S be a principally embedded sl_2 subalgebra in sl_n for n > 2. A special case of results of the third author and Gregg Zuckerman implies that there exists a positive integer b(n) such that for any finite-dimensional irreducible sl_n representation, V, there exists an irreducible S-representation embedding in V with dimension at most b(n). In a 2017 paper (joint with Hassan Lhou), they prove that b(n)=n is the sharpest possible bound, and also address embeddings other than the principal one. These results concerning embeddings may by interpreted as statements about plethysm. Then, a well known result about these plethysms can be interpreted as a "branching rule". Specifically, a (finite dimensional) representation of GL(n,C) will decompose into irreducible representations of the symmetric group when it is restricted to the subgroup consisting of permutation matrices. The question of which irreducible representations of the symmetric group occur with positive multiplicity is the topic of this paper, applying the previous work of Lhou, Zuckerman, and the third author.


title: Adding Constraints to Bayesian Inverse Problems

abstract: Using observation data to estimate unknown parameters in computational models is broadly important. This task is often challenging because solutions are non-unique due to the complexity of the model and limited observation data. However, the parameters or states of the model are often known to satisfy additional constraints beyond the model. Thus, we propose an approach to improve parameter estimation in such inverse problems by incorporating constraints in a Bayesian inference framework. Constraints are imposed by constructing a likelihood function based on fitness of the solution to the constraints. The posterior distribution of the parameters conditioned on (1) the observed data and (2) satisfaction of the constraints is obtained, and the estimate of the parameters is given by the maximum a posteriori estimation or posterior mean. Both equality and inequality constraints can be considered by this framework, and the strictness of the constraints can be controlled by constraint uncertainty denoting a confidence on its correctness. Furthermore, we extend this framework to an approximate Bayesian inference framework in terms of the ensemble Kalman filter method, where the constraint is imposed by re-weighing the ensemble members based on the likelihood function. A synthetic model is presented to demonstrate the effectiveness of the proposed method and in both the exact Bayesian inference and ensemble Kalman filter scenarios, numerical simulations show that imposing constraints using the method presented improves identification of the true parameter solution among multiple local minima.


title: Pions near condensation under compact star conditions

abstract: The behavior of pions is studied in systems where their normal leptonic decay is forbidden. When thermal fluctuations are present, a low decay rate is generated, and as a consequence of lepton recombination, the amount of pions remains almost unaltered. Compact stars conditions are favorable for the formation of such intermediate state of charged pions: near condensation and almost stable, leading to a continuum source of anti-neutrinos. In particular, protoneutron stars could be an scenario where this state of matter is relevant.


title: An efficient characterization of complex-balanced, detailed-balanced, and weakly reversible systems

abstract: Very often, models in biology, chemistry, physics, and engineering are systems of polynomial or power-law ordinary differential equations, arising from a reaction network. Such dynamical systems can be generated by many different reaction networks. On the other hand, networks with special properties (such as reversibility or weak reversibility) are known or conjectured to give rise to dynamical systems that have special properties: existence of positive steady states, persistence, permanence, and (for well-chosen parameters) complex balancing or detailed balancing. These last two are related to thermodynamic equilibrium, and therefore the positive steady states are unique and stable. We describe a computationally efficient characterization of polynomial or power-law dynamical systems that can be obtained as complex-balanced, detailed-balanced, weakly reversible, and reversible mass-action systems.


title: Inverse moving source problems in electrodynamics

abstract: This paper is concerned with the uniqueness on two inverse moving source problems in electrodynamics with partial boundary data. We show that (1) if the temporal source function is compactly supported, then the spatial source profile function or the orbit function can be uniquely determined by the tangential trace of the electric field measured on part of a sphere, (2) if the temporal function is given by a Dirac distribution, then the impulsive time point and the source location can be uniquely determined at four receivers on a sphere.


title: ABC: A Big CAD Model Dataset For Geometric Deep Learning

abstract: We introduce ABC-Dataset, a collection of one million Computer-Aided Design (CAD) models for research of geometric deep learning methods and applications. Each model is a collection of explicitly parametrized curves and surfaces, providing ground truth for differential quantities, patch segmentation, geometric feature detection, and shape reconstruction. Sampling the parametric descriptions of surfaces and curves allows generating data in different formats and resolutions, enabling fair comparisons for a wide range of geometric learning algorithms. As a use case for our dataset, we perform a large-scale benchmark for estimation of surface normals, comparing existing data driven methods and evaluating their performance against both the ground truth and traditional normal estimation methods.


title: Electroweak phase transition and Higgs phenomenology in the Georgi-Machacek model

abstract: In this work, we perform the electroweak phase transition study with the Georgi-Machacek model. We investigate both the one-step and two-step strong first order electroweak phase transition (SFOEWPT). The SFOEWPT viable parameter spaces could be tested by the future 14 TeV LHC, HL-LHC, and ILC. The LHC Higgs signal strength measurements severely bound the SFOEWPT valid parameter spaces, a tinny region of the mixing angle between the neutral fields of the isospin-doublet and isospin-triplet scalars around $\alpha\sim 0$ can allow the two-step SFOEWPT to occur. The triplet vacuum expectation value (VEV) is crucial for both SFOEWPT and related Higgs phenomenology. The two-step SFOEWPT can be distinguished from the one-step SFOEWPT through the triple Higgs coupling searches and the low mass doubly charged Higgs searches at colliders.


title: Interaction-induced long-time tail of a nonlinear ac absorption in a localized system: a relay-race mechanism

abstract: In conventional solid-state electron systems with localized states the ac absorption is linear since the inelastic widths of the energy levels exceeds the drive amplitude. The situation is different in the systems of cold atoms in which phonons are absent. Then even a weak drive leads to saturation of the ac absorption within resonant pairs, so that the population of levels oscillates with the Rabi frequency. We demonstrate that, in the presence of weak dipole-dipole interactions, the response of the system acquires a long-time component which oscillates with frequency much smaller than the Rabi frequency. The underlying mechanism of this long-time behavior is that the fields created in the course of the Rabi oscillations serve as resonant drive for the second-generation Rabi oscillations in pairs with level spacings close to the Rabi frequency. The frequency of the second-generation oscillations is of the order of interaction strength. As these oscillations develop, they can initiate the next-generation Rabi oscillations, and so on. Formation of the second-generation oscillations is facilitated by the non-diagonal component of the dipole-dipole interaction tensor.


title: Loss of Gibbs property in one-dimensional mixing shifts of finite type

abstract: Let $\pi$ be a factor map from a one-dimensional mixing shift of finite type $X$ onto a sofic shift $Y$. We investigate when $\pi$ sends Gibbs measures on $X$ to non-Gibbs measures on $Y$.


title: Solar Cell Surface Defect Inspection Based on Multispectral Convolutional Neural Network

abstract: Similar and indeterminate defect detection of solar cell surface with heterogeneous texture and complex background is a challenge of solar cell manufacturing. The traditional manufacturing process relies on human eye detection which requires a large number of workers without a stable and good detection effect. In order to solve the problem, a visual defect detection method based on multi-spectral deep convolutional neural network (CNN) is designed in this paper. Firstly, a selected CNN model is established. By adjusting the depth and width of the model, the influence of model depth and kernel size on the recognition result is evaluated. The optimal CNN model structure is selected. Secondly, the light spectrum features of solar cell color image are analyzed. It is found that a variety of defects exhibited different distinguishable characteristics in different spectral bands. Thus, a multi-spectral CNN model is constructed to enhance the discrimination ability of the model to distinguish between complex texture background features and defect features. Finally, some experimental results and K-fold cross validation show that the multi-spectral deep CNN model can effectively detect the solar cell surface defects with higher accuracy and greater adaptability. The accuracy of defect recognition reaches 94.30%. Applying such an algorithm can increase the efficiency of solar cell manufacturing and make the manufacturing process smarter.


title: Automated, context-free assignment of asymmetric rotor microwave spectra

abstract: We present a new algorithm, Robust Automated Assignment of Rigid Rotors (RAARR), for assigning rotational spectra of asymmetric tops. The RAARR algorithm can automatically assign experimental spectra under a broad range of conditions, including spectra comprised of multiple mixture components, in about 100 seconds or less. The RAARR algorithm exploits constraints placed by the conservation of energy to find sets of connected lines in an unassigned spectrum. The highly constrained structure of these sets eliminates all but a handful of plausible assignments for a given set, greatly reducing the number of potential assignments that must be evaluated. We successfully apply our algorithm to automatically assign 15 experimental spectra, including 5 previously unassigned species, without prior estimation of molecular rotational constants. In 9 of the 15 cases, the RAARR algorithm successfully assigns two or more mixture components.


title: Discovering Inorganic Electrides from an Automated Computational Screening

abstract: Electrides, with their excess electrons distributed in crystal cavities playing the role of anions, exhibit a variety of unique properties which make these materials desirable for many applications in catalysis, nonlinear optics and electron emission. While the first electride was discovered almost four decades ago, only few electride materials are known today, which limits our fundamental understanding as well as the practical use of these exotic materials. In this work, we propose an automated computational screening scheme to search for interstitial electrons and quantify their distributions inside the crystal cavities and energy space. Applying this scheme to all candidate materials in the Inorganic Crystal Structure Database (ICSD), we report the identification of 167 potential electride materials. This work significantly increases the current library of electride materials, which enables an in-depth investigation of their chemistry-structure-property relations and opens new avenues for future electride design.


title: Intensity Mapping in the Presence of Foregrounds and Correlated Continuum Emission

abstract: Intensity mapping has attracted significant interest as an approach to measure the properties of the interstellar medium in typical galaxies at high redshift. Intensity mapping measures the statistics of surface brightness as a function of frequency, making it sensitive not only to all line emission of interest but also radiation from all other sources. Significant effort has gone into developing approaches that reject foreground contamination. Additionally, the target galaxies have multiple sources of emission that can complicate the interpretation of the line brightness. We describe the problem of jointly estimating correlated continuum emission and cleaning uncorrelated continuum emission, such as from the Milky Way. We apply these considerations to a cross-correlation of Planck data with BOSS quasars for a determination of CII for 2 < z < 3.2. Intensity mapping surveys with few bands have unique challenges for treating foregrounds and avoiding bias from correlated continuum emission. We show how a future intensity mapping survey with many bands can separate line from continuum emission in cross-correlation.


title: A Low Effort Approach to Structured CNN Design Using PCA

abstract: Deep learning models hold state of the art performance in many fields, yet their design is still based on heuristics or grid search methods that often result in overparametrized networks. This work proposes a method to analyze a trained network and deduce an optimized, compressed architecture that preserves accuracy while keeping computational costs tractable. Model compression is an active field of research that targets the problem of realizing deep learning models in hardware. However, most pruning methodologies tend to be experimental, requiring large compute and time intensive iterations of retraining the entire network. We introduce structure into model design by proposing a single shot analysis of a trained network that serves as a first order, low effort approach to dimensionality reduction, by using PCA (Principal Component Analysis). The proposed method simultaneously analyzes the activations of each layer and considers the dimensionality of the space described by the filters generating these activations. It optimizes the architecture in terms of number of layers, and number of filters per layer without any iterative retraining procedures, making it a viable, low effort technique to design efficient networks. We demonstrate the proposed methodology on AlexNet and VGG style networks on the CIFAR-10, CIFAR-100 and ImageNet datasets, and successfully achieve an optimized architecture with a reduction of up to 3.8X and 9X in the number of operations and parameters respectively, while trading off less than 1% accuracy. We also apply the method to MobileNet, and achieve 1.7X and 3.9X reduction in the number of operations and parameters respectively, while improving accuracy by almost one percentage point.


title: Centrality dependence of deuteron production in Pb+Pb collisions at 2.76 TeV via hydrodynamics and hadronic afterburner

abstract: The deuteron binding energy is only 2.2 MeV. At the same time, its yield in Pb+Pb collisions at $\sqrt{s_{NN}} = $2.76 TeV corresponds to a thermal yield at the temperature around 155 MeV, which is too hot to keep deuterons bound. This puzzle is not completely resolved yet. In general, the mechanism of light nuclei production in ultra-high energy heavy ion collisions remains under debate. In a previous work [1] we suggest a microscopic explanation of the deuteron production in central ultra-relativistic Pb+Pb collisions, the main mechanism being $\pi pn \leftrightarrow \pi d$ reactions in the hadronic phase of the collision. We use a state-of-the-art hybrid approach, combining relativistic hydrodynamics for the hot and dense stage and hadronic transport for a later, more dilute stage. Deuteron rescattering in the hadronic stage is implemented explicitly, using its experimentally measured vacuum cross-sections. In these proceedings we extend our previous work to non-central collisions, keeping exactly the same methodology and parameters. We find that our approach leads to a good description of the measured deuteron transverse momentum spectra at centralities up to 40%, and underestimates the amount of deuterons at low transverse momentum at higher centralities. Nevertheless, the coalescence parameter $B_2$, measured by ALICE collaboration, is reproduced well in our approach even for peripheral collisions.


title: A Survey of Privacy Infrastructures and Their Vulnerabilities

abstract: Over the last two decades, the scale and complexity of Anonymous networks and its associated technologies grows exponentially as privacy has become a major concern of individuals. Also, some cyber attackers make use of privacy infrastructures including botnets and Tor to do illegal activities like drug, contraband or DDoS attack. However, anonymous networks are not perfect, there are some methods could exploit the vulnerabilities and track user information. In this paper, we analyze few of privacy infrastructures and their vulnerabilities.


title: Balanced Linear Contextual Bandits

abstract: Contextual bandit algorithms are sensitive to the estimation method of the outcome model as well as the exploration method used, particularly in the presence of rich heterogeneity or complex outcome models, which can lead to difficult estimation problems along the path of learning. We develop algorithms for contextual bandits with linear payoffs that integrate balancing methods from the causal inference literature in their estimation to make it less prone to problems of estimation bias. We provide the first regret bound analyses for linear contextual bandits with balancing and show that our algorithms match the state of the art theoretical guarantees. We demonstrate the strong practical advantage of balanced contextual bandits on a large number of supervised learning datasets and on a synthetic example that simulates model misspecification and prejudice in the initial training data.


title: Weakly supervised segment annotation via expectation kernel density estimation

abstract: Since the labelling for the positive images/videos is ambiguous in weakly supervised segment annotation, negative mining based methods that only use the intra-class information emerge. In these methods, negative instances are utilized to penalize unknown instances to rank their likelihood of being an object, which can be considered as a voting in terms of similarity. However, these methods 1) ignore the information contained in positive bags, 2) only rank the likelihood but cannot generate an explicit decision function. In this paper, we propose a voting scheme involving not only the definite negative instances but also the ambiguous positive instances to make use of the extra useful information in the weakly labelled positive bags. In the scheme, each instance votes for its label with a magnitude arising from the similarity, and the ambiguous positive instances are assigned soft labels that are iteratively updated during the voting. It overcomes the limitations of voting using only the negative bags. We also propose an expectation kernel density estimation (eKDE) algorithm to gain further insight into the voting mechanism. Experimental results demonstrate the superiority of our scheme beyond the baselines.


title: Domain-to-Domain Translation Model for Recommender System

abstract: Recently multi-domain recommender systems have received much attention from researchers because they can solve cold-start problem as well as support for cross-selling. However, when applying into multi-domain items, although algorithms specifically addressing a single domain have many difficulties in capturing the specific characteristics of each domain, multi-domain algorithms have less opportunity to obtain similar features among domains. Because both similarities and differences exist among domains, multi-domain models must capture both to achieve good performance. Other studies of multi-domain systems merely transfer knowledge from the source domain to the target domain, so the source domain usually comes from external factors such as the search query or social network, which is sometimes impossible to obtain. To handle the two problems, we propose a model that can extract both homogeneous and divergent features among domains and extract data in a domain can support for other domain equally: a so-called Domain-to-Domain Translation Model (D2D-TM). It is based on generative adversarial networks (GANs), Variational Autoencoders (VAEs), and Cycle-Consistency (CC) for weight-sharing. We use the user interaction history of each domain as input and extract latent features through a VAE-GAN-CC network. Experiments underscore the effectiveness of the proposed system over state-of-the-art methods by a large margin.


title: Cops and Robbers on Graphs with a Set of Forbidden Induced Subgraphs

abstract: It is known that the class of all graphs not containing a graph $H$ as an induced subgraph is cop-bounded if and only if $H$ is a forest whose every component is a path. In this study, we characterize all sets $\mathscr{H}$ of graphs with some $k\in \mathbb{N}$ bounding the diameter of members of $\mathscr{H}$ from above, such that $\mathscr{H}$-free graphs, i.e. graphs with no member of $\mathscr{H}$ as an induced subgraph, are cop-bounded. This, in particular, gives a characterization of cop-bounded classes of graphs defined by a finite set of connected graphs as forbidden induced subgraphs. Furthermore, we extend our characterization to the case of cop-bounded classes of graphs defined by a set $\mathscr{H}$ of forbidden graphs such that there is $k\in\mathbb{N}$ bounding the diameter of components of members of $\mathscr{H}$ from above.


title: On the Distribution of Discriminants over a Finite Field

abstract: For a prime power $q$, we show that the discriminants of monic polynomials in $\mathbb{F}_q[x]$ of a fixed degree $m$ are equally distributed if $\gcd(q-1,m(m-1))=2$ when $q$ is odd and $\gcd(q-1,m(m-1))=1$ if $q$ is even. A theorem in the converse direction is proved when $q-1$ is squarefree.


title: Mapper Comparison with Wasserstein Metrics

abstract: The challenge of describing model drift is an open question in unsupervised learning. It can be difficult to evaluate at what point an unsupervised model has deviated beyond what would be expected from a different sample from the same population. This is particularly true for models without a probabilistic interpretation. One such family of techniques, Topological Data Analysis, and the Mapper algorithm in particular, has found use in a variety of fields, but describing model drift for Mapper graphs is an understudied area as even existing techniques for measuring distances between related constructs like graphs or simplicial complexes fail to account for the fact that Mapper graphs represent a combination of topological, metric, and density information. In this paper, we develop an optimal transport based metric which we call the Network Augmented Wasserstein Distance for evaluating distances between Mapper graphs and demonstrate the value of the metric for model drift analysis by using the metric to transform the model drift problem into an anomaly detection problem over dynamic graphs.


title: Neutron Electric Dipole Moment from Beyond the Standard Model

abstract: We present an update on our calculations of the matrix elements of the CP violating quark and gluon chromo-EDM operators, as well as the operators these mix with, such as the QCD Theta-term. Their contribution to the neutron EDM is obtained by extrapolating the $F_3$ form factor of a vector current to zero momentum transfer. The calculation is being done using valence Wilson-clover quarks on HISQ background configurations generated by the MILC collaboration.


title: Integrating Artificial Intelligence with Real-time Intracranial EEG Monitoring to Automate Interictal Identification of Seizure Onset Zones in Focal Epilepsy

abstract: An ability to map seizure-generating brain tissue, i.e., the seizure onset zone (SOZ), without recording actual seizures could reduce the duration of invasive EEG monitoring for patients with drug-resistant epilepsy. A widely-adopted practice in the literature is to compare the incidence (events/time) of putative pathological electrophysiological biomarkers associated with epileptic brain tissue with the SOZ determined from spontaneous seizures recorded with intracranial EEG, primarily using a single biomarker. Clinical translation of the previous efforts suffers from their inability to generalize across multiple patients because of (a) the inter-patient variability and (b) the temporal variability in the epileptogenic activity. Here, we report an artificial intelligence-based approach for combining multiple interictal electrophysiological biomarkers and their temporal characteristics as a way of accounting for the above barriers and show that it can reliably identify seizure onset zones in a study cohort of 82 patients who underwent evaluation for drug-resistant epilepsy. Our investigation provides evidence that utilizing the complementary information provided by multiple electrophysiological biomarkers and their temporal characteristics can significantly improve the localization potential compared to previously published single-biomarker incidence-based approaches, resulting in an average area under ROC curve (AUC) value of 0.73 in a cohort of 82 patients. Our results also suggest that recording durations between ninety minutes and two hours are sufficient to localize SOZs with accuracies that may prove clinically relevant. The successful validation of our approach on a large cohort of 82 patients warrants future investigation on the feasibility of utilizing intra-operative EEG monitoring and artificial intelligence to localize epileptogenic brain tissue.


title: A Gauged Flavor Model of Quarks and Leptons

abstract: Beyond Standard Model physics frequently connects flavor symmetry with a discrete group. If the discrete symmetry arises spontaneously from a gauge theory, one can maintain compatibility with quantum gravity and avoid anomalies. We provide an example of such a model with the Standard Model gauge group extended to $SU(3)_C \times SU(2)_L \times U(1)_Y \times SU(2)_{T'} $ where the binary tetrahedral flavor group $T'$ is embedded in $SU(2)_{T'}$. Quark and lepton masses and mixing angles are fit to data, where lepton mixing angles are shifted from tribimaximal values by the addition of scalar VEVs to agree with the experimental data.


title: Bounding the plausibility of physical theories in a device-independent setting via hypothesis testing

abstract: The device-independent approach to physics is one where conclusions about physical systems (and hence of Nature) are drawn directly and solely from the observed correlations between measurement outcomes. This operational approach to physics arose as a byproduct of Bell's seminal work to distinguish, via a Bell test, quantum correlations from the set of correlations allowed by local-hidden-variable theories. In practice, since one can only perform a finite number of experimental trials, deciding whether an empirical observation is compatible with some class of physical theories will have to be carried out via the task of hypothesis testing. In this paper, we show that the prediction-based-ratio method---initially developed for performing a hypothesis test of local-hidden-variable theories---can equally well be applied to test many other classes of physical theories, such as those constrained only by the nonsignaling principle, and those that are constrained to produce any of the outer approximation to the quantum set of correlations due to Navascu\'es-Pironio-Ac\'{\i}n. We numerically simulate Bell tests using hypothetical nonlocal sources of correlations to illustrate the applicability of the method in both the independent and identically distributed (i.i.d.) scenario and the non-i.i.d. scenario. As a further application, we demonstrate how this method allows us to unveil an apparent violation of the nonsignaling conditions in certain experimental data collected in a Bell test. This, in turn, highlights the importance of the randomization of measurement settings, as well as a consistency check of the nonsignaling conditions in a Bell test.


title: Walking Through an Exploded Star: Rendering Supernova Remnant Cassiopeia A into Virtual Reality

abstract: NASA and other astrophysical data of the Cassiopeia A supernova remnant have been rendered into a three-dimensional virtual reality (VR) and augmented reality (AR) program, the first of its kind. This data-driven experience of a supernova remnant allows viewers to walk inside the leftovers from the explosion of a massive star, select the parts of the supernova remnant to engage with, and access descriptive texts on what the materials are. The basis of this program is a unique 3D model of the 340-year old remains of a stellar explosion, made by combining data from the NASA Chandra X-ray Observatory, Spitzer Space Telescope, and ground-based facilities. A collaboration between the Smithsonian Astrophysical Observatory and Brown University allowed the 3D astronomical data collected on Cassiopeia A to be featured in the VR/AR program, which is an innovation in digital technologies with public, education, and research-based impacts.


title: Distributed Wideband Sensing-based Architecture for Unlicensed Massive IoT Communications

abstract: Providing Internet connectivity to a massive number of Internet-of-things (IoT) objects over the unlicensed spectrum requires: (i) identifying a very large number of narrowband channels in a wideband spectrum and (ii) aggressively reusing the available channels over space to accommodate the high density of IoT devices. To this end, we propose a sensing-based architecture that identifies spectral and spatial resources at a fine resolution. In particular, we first propose a sensing assignment scheduler, where each base station (BS) is assigned a subset of the spectrum to sense at a high resolution. We then propose a distributed sensing algorithm, where BSs locally process and share their sensing reports, so that each BS obtains occupancy information of the wideband spectrum at its location. Once the spatio-spectral resource blocks are identified, we further propose a distributed resource allocation algorithm that maintains high spatial reuse of spectral opportunities while limiting the intra-network and inter-network interference. Numerical simulations are presented to validate the effectiveness of the proposed distributed algorithms, comparing them to centralized and non-cooperative schemes. It is shown that our architecture identifies more spatio-spectral resources, with lower misdetection of incumbents. As a result, more IoT devices are connected with limited interference into incumbents.


title: Constructing Lifshitz spaces using the Ricci flow

abstract: In this work we make use of the Ricci flow equations to show that, by starting from a general ansatz for the metric, we can construct two kinds of Lifshitz spaces in which: (a) the critical exponent coincides with the spatial dimension of the spacetime and therefore adopts discrete values, and (b) the critical exponent is continuous and arbitrary. These results show that Lifshitz spaces are exact solutions to the Ricci flow equations. Moreover, we found that the Ricci flow evolves towards a single fixed point for both cases which coincides with the flat spacetime.


title: On non-feasible edge sets in matching-covered graphs

abstract: Let $G=(V,E)$ be a matching-covered graph and $X$ be an edge set of $G$. $X$ is said to be feasible if there exist two perfect matchings $M_1$ and $M_2$ in $G$ such that $|M_1\cap X|\not \equiv|M_2\cap X|\ (\mbox{mod } 2)$. For any $V_0\subseteq V$, $X$ is said to be switching-equivalent to $X\oplus \nabla_G(V_0)$, where $\nabla_G(V_0)$ is the set of edges in $G$ each of which has exactly one end in $V_0$ and $A \oplus B$ is the symmetric difference of two sets $A$ and $B$. Lukot'ka and Rollov\'a showed that when $G$ is regular and bipartite, $X$ is non-feasible if and only if $X$ is switching-equivalent to $\emptyset$. This article extends Lukot'ka and Rollov\'a's result by showing that this conclusion holds as long as $G$ is matching-covered and bipartite. This article also studies matching-covered graphs $G$ whose non-feasible edge sets are switching-equivalent to $\emptyset$ or $E$ and partially characterizes these matching-covered graphs in terms of their ear decompositions. Another aim of this article is to construct infinite many $r$-connected and $r$-regular graphs of class 1 containing non-feasible edge sets not switching-equivalent to either $\emptyset$ or $E$ for an arbitrary integer $r$ with $r\ge 3$, which provides negative answers to problems asked by Lukot'ka and Rollov\'a and He, et al respectively.


title: Evidence of Slater-type mechanism as origin of insulating state in Sr2IrO4

abstract: For iridates with large spatially extended 5d orbitals, it may be anticipated that distant neighbor interactions would play a crucial role in their ground state properties. From this perspective, we investigate the magnetic structure of Sr2IrO4 by including interactions beyond first and second neighbors, via super cell modeling. Adopting to first-principles scalar relativistic methods, it is found that the minimum in total energy among various magnetic structures correspond to a up-up-down-down type antiferromagnetic ordering of the Ir ions for which the magnitude of the electronic gap, that of the Ir local moments and, the facsimile of the two-peaked structure in the optical conductivity spectra of Sr2IrO4 were found to be in good agreement with the experiments. The results unequivocally evidence that the origin of the electronic gap in Sr2IrO4 is due to an unconventional antiferromagnetic ordering of Ir ions, thereby classifying the system as a Slater magnet, rather than the spin-orbit coupling driven Jeff = 1/2 Mott insulator.


title: Homological Algebra of Heyting modules

abstract: The collection of open sets of a topological space forms a Heyting algebra, which leads to the idea of a Heyting algebra as a generalized topological space. In fact, a sober topological space may be reconstructed from its locale of open sets. This has given rise to a good theory of presheaves and sheaves over locales. At the same time, several ring like properties of Heyting algebras have also been studied. The purpose of this paper is to study a non-abelian homological theory for modules over Heyting algebras.


title: Algorithmic Theory of ODEs and Sampling from Well-conditioned Logconcave Densities

abstract: Sampling logconcave functions arising in statistics and machine learning has been a subject of intensive study. Recent developments include analyses for Langevin dynamics and Hamiltonian Monte Carlo (HMC). While both approaches have dimension-independent bounds for the underlying $\mathit{continuous}$ processes under sufficiently strong smoothness conditions, the resulting discrete algorithms have complexity and number of function evaluations growing with the dimension. Motivated by this problem, in this paper, we give a general algorithm for solving multivariate ordinary differential equations whose solution is close to the span of a known basis of functions (e.g., polynomials or piecewise polynomials). The resulting algorithm has polylogarithmic depth and essentially tight runtime - it is nearly linear in the size of the representation of the solution. We apply this to the sampling problem to obtain a nearly linear implementation of HMC for a broad class of smooth, strongly logconcave densities, with the number of iterations (parallel depth) and gradient evaluations being $\mathit{polylogarithmic}$ in the dimension (rather than polynomial as in previous work). This class includes the widely-used loss function for logistic regression with incoherent weight matrices and has been subject of much study recently. We also give a faster algorithm with $ \mathit{polylogarithmic~depth}$ for the more general and standard class of strongly convex functions with Lipschitz gradient. These results are based on (1) an improved contraction bound for the exact HMC process and (2) logarithmic bounds on the degree of polynomials that approximate solutions of the differential equations arising in implementing HMC.


title: On maximally oscillating perfect splines and some of their extremal properties

abstract: In this paper we study analogues of the perfect splines for weighted Sobolev classes of functions defined on the half-line. Maximally oscillating splines play important role in the solution of certain extremal problems. In particular, using these splines, we characterize the modulus of continuity of the differential operator.


title: The extending surfaces of immersions into surfaces

abstract: S. Blank solved the question of classifying immersed circles in $\mathbb{R}^{2}$ that extend to immersed disks, and how many topologically inequivalent disks can be extended. The quetions of various cases in $2$-dimension have already been solved by generalizing his method. In this paper, we give a new way, which is straightforward for the questions, and we determine all topological equivalence classes of immersed surfaces bounded by an arbitrary immersed circle in a closed oriented surface.


title: Testing isomorphism of circulant objects in polynomial time

abstract: Let ${\frak K}$ be a class of combinatorial objects invariant with respect to a given regular cyclic group. It is proved that the isomorphism of any two objects $X,Y\in{\frak K}$ can be tested in polynomial time in sizes of $X$ and $Y$.


title: Flatten-T Swish: a thresholded ReLU-Swish-like activation function for deep learning

abstract: Activation functions are essential for deep learning methods to learn and perform complex tasks such as image classification. Rectified Linear Unit (ReLU) has been widely used and become the default activation function across the deep learning community since 2012. Although ReLU has been popular, however, the hard zero property of the ReLU has heavily hindered the negative values from propagating through the network. Consequently, the deep neural network has not been benefited from the negative representations. In this work, an activation function called Flatten-T Swish (FTS) that leverage the benefit of the negative values is proposed. To verify its performance, this study evaluates FTS with ReLU and several recent activation functions. Each activation function is trained using MNIST dataset on five different deep fully connected neural networks (DFNNs) with depth vary from five to eight layers. For a fair evaluation, all DFNNs are using the same configuration settings. Based on the experimental results, FTS with a threshold value, T=-0.20 has the best overall performance. As compared with ReLU, FTS (T=-0.20) improves MNIST classification accuracy by 0.13%, 0.70%, 0.67%, 1.07% and 1.15% on wider 5 layers, slimmer 5 layers, 6 layers, 7 layers and 8 layers DFNNs respectively. Apart from this, the study also noticed that FTS converges twice as fast as ReLU. Although there are other existing activation functions are also evaluated, this study elects ReLU as the baseline activation function.


title: On ultrafilter extensions of first-order models and ultrafilter interpretations

abstract: There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as its main precursor. By a classical fact of general topology, the space of ultrafilters over a discrete space is its largest compactification; the ultrafilter extensions generalize this fact to discrete spaces endowed with an arbitrary first-order structure. Results of such kind are referred to as extension theorems. We offer a uniform approach to both types of extensions based on the idea to extend the extension procedure itself. Then we propose a generalization of the standard concept of first-order interpretations in which functional and relational symbols are interpreted rather by ultrafilters over sets of functions and relations than by functions and relations themselves, and define ultrafilter models with an appropriate semantics for them. We establish necessary and sufficient conditions under which ultrafilter models coincide with the canonical ultrafilter extensions of some ordinary models, and obtain their topological characterization. Further we propose even a wider concept of ultrafilter models together with their semantics based on limits of ultrafilters, and show that the new concept absorbs the former one as well as the ordinary concept of first-order models. We establish necessary and sufficient conditions under which ultrafilter models in the wide sense coincide with those in the narrow sense or with the ultrafilter extensions of some ordinary models. Finally we prove extension theorems for ultrafilter models.


title: A DFT study on the electronic and magnetic properties of triangular graphene antidot lattices

abstract: We explore the effect of antidot size on electronic and magnetic properties of graphene antidot lattices from first-principles calculations. The spin-polarized density of states, band gap, formation energy and the total magnetization of two different equilateral triangular and right triangular antidots with zigzag and mixed zigzag-armchair edges are studied. We find that although the values of band gap, formation energy and the total magnetization of both structures are different, these values may increase when the number of zigzag edges is increased. The armchair edges have no contribution in the total magnetization of right triangular antidots. The induced magnetic moments are mainly localized on the edge atoms with a maximum value at the center of each side of the triangles. We show that a spin-dependent band gap opens up in bilayer graphene as a result of antidot pattern in only one layer of the structure. Such periodic arrays of triangular antidots that cause a spin-dependent band gap around the Fermi energy can be utilized for turning graphene from a diamagnetic semimetal into a magnetic semiconductor.


title: Error Exponents of Typical Random Codes for the Colored Gaussian Channel

abstract: The error exponent of the typical random code is defined as the asymptotic normalized expectation of the logarithm of the probability of error, as opposed to the traditional definition of the random coding exponent as the normalized logarithm of the expectation of the probability of error with respect to a given ensemble of codes. For a certain ensemble of independent codewords, with a given power spectrum, and a generalized stochastic mismatched decoder, we characterize the error exponent the typical random codes (TRC) for the colored Gaussian channel, with emphasis on the range of low rates, where the TRC error exponent differs in value from the ordinary random coding error exponent. The error exponent formula, which is exponentially tight at some range of low rates, is presented as the maximum of a certain function with respect to one parameter only (in the spirit of Gallager's formulas) in the case of matched decoding, and two parameters in the case of mismatched decoding. Several aspects of the main results are discussed. These include: general properties, a parametric representation, critical rates, phase transitions, optimal input spectrum (water pouring), and comparison to the random coding exponent.


title: The young star population of L1188

abstract: We present new results on the young star population of the Lynds~1188 molecular cloud, associated with the Cepheus Bubble, a giant interstellar shell around the association Cep~OB\,2. In order to reveal the star-forming scenario of the molecular cloud located on the supershell, and understand the history of star formation in the region, we identified and characterized young star candidates based on an H$\alpha$ emission survey and various published photometric datasets. Using Gaia DR2 astrometry we studied the spatial distribution of the young star candidates and isolated three groups based on their distances. We constructed spectral energy distributions of our target stars, based on Pan-STARRS, 2MASS, {\it Spitzer} and {\it WISE} photometric data, estimating their spectral types, extinctions, and luminosities. We estimated masses by means of pre-main-sequence evolutionary models, and derived accretion rates from the equivalent width of the H$\alpha$ line. We studied the structure of the cloud by constructing a new extinction map, based on Pan-STARRS data. Our results show that the distribution of low-mass young stars in L1188 is well correlated with that of the dust and mole\-cular gas. We identified two small, compact clusters and a loose aggregate of young stars. We found that star formation in L1188 started about 5 million years ago. The apparent age gradient of young stars across the cloud and the ammonia cores located to the east of the optically visible young stellar groups support the scenario of star formation propagating away from the centre of the Cepheus Bubble.


title: Experimental Saturation of the Heat-Bath Algorithmic Cooling bound

abstract: Heat-Bath Algorithmic cooling (HBAC) techniques provide ways to selectively enhance the polarization of target quantum subsystems. However, the cooling in these techniques are bounded. Here we report the first experimental observation of the HBAC cooling bound. We use HBAC to hyperpolarize nuclear spins in diamond. Using two carbon nuclear spins as the source of polarization (reset) and the 14N nuclear spin as the computation bit, we demonstrate that repeating a single cooling step increases the polarization beyond the initial reset polarization and reaches the cooling limit of HBAC. We benchmark the performance of our experiment over a range of variable reset polarization. With the ability to polarize the reset spins to different initial polarizations, we envisage that the proposed model could serve as a test bed for studies on Quantum Thermodynamics.


title: Parity-dependent phase diagrams in spin-cluster two-leg ladders

abstract: Motivated by the recent experiment on $\rm{K_2Cu_3O\left(SO_4\right)_3}$, an edge-shared tetrahedral spin-cluster compound [M. Fujihala \textit{et al.}, Phys. Rev. Lett. \textbf{120}, 077201 (2018)], we investigate two-leg spin-cluster ladders with the plaquette number $n_p$ in each cluster up to six by the density-matrix renormalization group method. We find that the phase diagram of such ladders strongly depends on the parity of $n_p$. For even $n_p$, the phase diagram has two phases, one is the Haldane phase, and the other is the cluster rung-singlet phase. For odd $n_p$, there are four phases, which are a cluster-singlet phase, a cluster rung-singlet phase, a Haldane phase and an even Haldane phase. Moreover, in the latter case the region of the Haldane phase increases while the cluster-singlet phase and the even Haldane phase shrink as $n_p$ increases. We thus conjecture that in the large $n_p$ limit, the phase diagram will become independent of $n_p$. By analysing the ground-state energy and entanglement entropy we obtain the order of the phase transtions. In particular, for $n_p=1$ there is no phase transition between the even Haldane phase and the cluster-singlet phase while for other odd $n_p$ there is a first-order phase transition. Our work provides comprehensive phase diagrams for these cluster-based models and may be helpful to understand experiments on related materials.


title: 3DTI-Net: Learn Inner Transform Invariant 3D Geometry Features using Dynamic GCN

abstract: Deep learning on point clouds has made a lot of progress recently. Many point cloud dedicated deep learning frameworks, such as PointNet and PointNet++, have shown advantages in accuracy and speed comparing to those using traditional 3D convolution algorithms. However, nearly all of these methods face a challenge, since the coordinates of the point cloud are decided by the coordinate system, they cannot handle the problem of 3D transform invariance properly. In this paper, we propose a general framework for point cloud learning. We achieve transform invariance by learning inner 3D geometry feature based on local graph representation, and propose a feature extraction network based on graph convolution network. Through experiments on classification and segmentation tasks, our method achieves state-of-the-art performance in rotated 3D object classification, and achieve competitive performance with the state-of-the-art in classification and segmentation tasks with fixed coordinate value.


title: Evaluation of Energy-efficient VM Consolidation for Cloud Based Data Center - Revisited

abstract: In this paper, a re-evaluation undertaken for dynamic VM consolidation problem and optimal online deterministic algorithms for the single VM migration in an experimental environment. We proceeded to focus on energy and performance trade-off by planet lab workload traces, which consists of a thousand Planetlab VMs with widespread simulation environments. All experiments are done in a simulated cloud environment by the CloudSim simulation tool. A new paradigm of utility-oriented IT services is cloud computing, which offers a pay-as-you-go model. In recent years, there has been increasing interest among many users from business, scientific, engineering and educational territories in cloud computing. There is increasing concern that high energy consumption issues are a disadvantage for various institutions. However, so far too little attention has been given to the various methods to reduce energy consumption in cloud environments while ensuring performance. Besides the evaluation of energy-efficient data center management algorithms in the cloud, we proposed a further research directed toward the development of energy efficient algorithms. By the experimental evaluation of the current proposal for the competitive analysis of dynamic VM consolidation and optimal online deterministic algorithms for the single VM migration, we found different results for different algorithm combinations. Cloud-based data centers` consume massive energy, which has a negative effect on the environment and operational cost, this work contributes to the energy consumption reduction in the cloud environment.


title: Anomalous behavior of the quasi-one-dimensional quantum material Na$_{2}$OsO$_{4}$ at high pressure

abstract: Na$_{2}$OsO$_{4}$ is an unusual quantum material that, in contrast to the common 5${d}^{2}$ oxides with spins = 1, owns a magnetically silent ground state with spin = 0 and a band gap at Fermi level attributed to a distortion in the OsO$_{6}$ octahedral sites. In this semiconductor, our low-temperature electrical transport measurements indicate an anomaly at 6.3 K with a power-law behavior inclining through the semiconductor-to-metal transition observed at 23 GPa. Even more peculiarly, we discover that before this transition, the material becomes more insulating instead of merely turning into a metal according to the conventional wisdom. To investigate the underlying mechanisms, we applied experimental and theoretical methods to examine the electronic and crystal structures comprehensively, and conclude that the enhanced insulating state at high pressure originates from the enlarged distortion of the OsO$_{6}$. It is such a distortion that widens the band gap and decreases the electron occupancy in Os's ${t}_{2g}$ orbital through an interplay of the lattice, charge, and orbital in the material, which is responsible for the changes observed in our experiments.


title: Q-PET: PET with 3rd Eye Quantum Entanglement based Positron Emission Tomography

abstract: In the present ongoing study, we are proposing a prototype model for positron emission tomography detection technology by introduction of a new discriminatory window parameter. It can be a new generation PET detection technique. We introduced Polarization Measurement of the annihilation photons(generated from the annihilation of positron and electron) as an additional parameter in proposed prototype, to correlate annihilation photons of a particular annihilation event. The motivation behind this introduction is Quantum Entanglement relation between the two annihilation photons. These two oppositely emitted photons are linearly polarized at right angle to each other. Simulations studies for this research work are undergoing and some preliminary results are presented here.


title: Dynamics of logarithmic negativity and mutual information in smooth quenches

abstract: In this paper, we study how quantum correlation between subsystems changes in time by investigating time evolution of mutual information and logarithmic negativity in two protocols of mass quench. Hamiltonian in both protocols is for 2-dimensional free scalar theory with time-dependent mass: the mass in one case decreases monotonically and vanishes asymptotically (ECP), and that in the other decreases monotonically before t = 0, but increases monotonically afterward, and becomes constant asymptotically (CCP). We study the time evolution of the quantum correlations under those protocols in two different limits of the mass quench; fast limit and slow limit depending on the speed with which the mass is changed. We obtain the following two results: (1) For the ECP, we find that the time evolution of logarithmic negativity is, when the distance between the two subsystems is large enough, well-interpreted in terms of the propagation of relativistic particles created at a time determined by the limit of the quench we take. On the other hand, the evolution of mutual information in the ECP depends not only on the relativistic particles but also on slowly-moving particles. (2) For the CCP, both logarithmic negativity and mutual information oscillate in time after the quench. When the subsystems are well-separated, the oscillation of the quantum correlations in the fast limit is suppressed, and the time evolution looks similar to that under the ECP in the fast limit.


title: Robustness of Griffiths effects in homeostatic connectome models

abstract: I provide numerical evidence for the robustness of the Griffiths phase (GP) reported previously in dynamical threshold model simulations on a large human brain network with N=836733 connected nodes. The model, with equalized network sensitivity, is extended in two ways: introduction of refractory states or by randomized time dependent thresholds. The non-universal power-law dynamics in an extended control parameter region survives these modifications for a short refractory state and weak disorder. In case of temporal disorder the GP shrinks and for stronger heterogeneity disappears, leaving behind a mean-field type of critical transition. Activity avalanche size distributions below the critical point decay faster than in the original model, but the addition of inhibitory interactions sets it back to the range of experimental values.

categories: cond-mat.dis-nn cond-mat.stat-mech physics.bio-ph q-bio.NC


title: Global strong solutions to 3-D Navier-Stokes system with strong dissipation in one direction

abstract: We consider three dimensional incompressible Navier-Stokes equation $(NS)$ with different viscous coefficient in the vertical and horizontal variables. In particular, when one of these viscous coefficients is large enough compared to the initial data, we prove the global well-posedness of this system. In fact, we obtain the existence of a global strong solution to $(NS)$ when the initial data verify an anisotropic smallness condition which takes into account the different roles of the horizontal and vertical viscosity.


title: Novel magnetic field tuning of quantum spin excitations in a weakly coupled $S=$1/2 Heisenberg spin chain as seen from NMR

abstract: We report our NMR study of the spin excitations in the quasi-one dimensional (1D) $S=1/2$ quantum magnet CH$_3$NH$_3$Cu(HCOO)$_3$ lying in the 1D-3D dimensional crossover regime with Dzyaloshinskii-Moriya(DM) interactions. Above $T_N$, the spinon excitation is observed from the constant $1/T_1$ at low temperatures contributed from the staggered spin susceptibility. At low temperatures well below $T_N$, the $1/T_1$ begins to flatten out under weak magnetic fields. With the increasing field intensity, $1/T_1$ tends to show a power-law temperature dependence gradually, with the index increasing from zero to $\sim3$, and finally $\sim5$, which are the respective typical characteristic for the dominating two-magnon Raman process and three-magnon scattering contributions to the nuclear relaxation in a conventional 3D magnet. A possible physical mechanism for this novel magnetic field tuning of quantum spin excitations related with the enhanced effective staggered field created by the DM interactions under magnetic field is discussed.


title: Improving Binary Millisecond Pulsar Distances with Gaia

abstract: Improved distance measurements to millisecond pulsars can enhance pulsar timing array (PTA) sensitivity to gravitational-waves, improve tests of general relativity with binary pulsars, improve constraints on fuzzy dark matter, and more. Here we report the parallax and distance measurements to seven Gaia DR2 objects associated with seven International PTA pulsars: J0437-4715, J1012+5307, J1024-0719, J1732-5049, J1910+1256, J1843-1113, and J1949+3106. By multiplying the posteriors of the PTA-based parallax measurements with the Gaia parallax measurement to the pulsar's companion, we improve the distance measurements from a few percent to a factor of five, and a tentative detection of a binary companion to J1843-1113. We also find an order of magnitude improvement in the parallax measurement to J1949+3106.


title: Visualization of higher-order topological insulating phases in two-dimensional dielectric photonic crystals

abstract: The studies of topological phases of matter have been extended from condensed matter physics to photonic systems, resulting in fascinating designs of robust photonic devices. Recently, higher-order topological insulators (HOTIs) have been investigated as a novel topological phase of matter beyond the conventional bulk-boundary correspondence. Previous studies of HOTIs have been mainly focused on the topological multipole systems with negative coupling between lattice sites. Here we experimentally demonstrate that second-order topological insulating phases without negative coupling can be realized in two-dimensional dielectric photonic crystals (PCs). We visualize both one-dimensional topological edge states and zero-dimensional topological corner states by using near-field scanning technique. To characterize the topological properties of PCs, we define a novel topological invariant based on the bulk polarizations. Our findings open new research frontiers for searching HOTIs in dielectric PCs and provide a new mechanism for light-manipulating in a hierarchical way.


title: Hierarchical Discrete Distribution Decomposition for Match Density Estimation

abstract: Explicit representations of the global match distributions of pixel-wise correspondences between pairs of images are desirable for uncertainty estimation and downstream applications. However, the computation of the match density for each pixel may be prohibitively expensive due to the large number of candidates. In this paper, we propose Hierarchical Discrete Distribution Decomposition (HD^3), a framework suitable for learning probabilistic pixel correspondences in both optical flow and stereo matching. We decompose the full match density into multiple scales hierarchically, and estimate the local matching distributions at each scale conditioned on the matching and warping at coarser scales. The local distributions can then be composed together to form the global match density. Despite its simplicity, our probabilistic method achieves state-of-the-art results for both optical flow and stereo matching on established benchmarks. We also find the estimated uncertainty is a good indication of the reliability of the predicted correspondences.


title: Generic free subgroups and statistical hyperbolicity

abstract: This paper studies the generic behavior of $k$-tuple elements for $k\ge 2$ in a proper group action with contracting elements, with applications towards relatively hyperbolic groups, CAT(0) groups and mapping class groups. For a class of statistically convex-cocompact action, we show that an exponential generic set of $k$ elements for any fixed $k\ge 2$ generates a quasi-isometrically embedded free subgroup of rank $k$. For $k=2$, we study the sprawl property of group actions and establish that the class of statistically convex-cocompact actions is statistically hyperbolic in a sense of M. Duchin, S. Leli\`evre, and C. Mooney. For any proper action with a contracting element, if it satisfies a condition introduced by Dal'bo-Otal-Peign\'e and has purely exponential growth, we obtain the same results on generic free subgroups and statistical hyperbolicity.


title: Bruhat order and graph structures of lower intervals in Coxeter groups

abstract: We show that any lower Bruhat interval in a Coxeter group is a disjoint union of certain two-sided cosets as a consequence of Lifting Property and Subword Property. Furthermore, we describe these details in terms of Bruhat graphs, graded posets, and two-sided quotients altogether. For this purpose, we introduce some new ideas, quotient lower intervals and quotient Bruhat graphs.


title: Daniel Augusto da Silva, Poet of Mathematics

abstract: Daniel da Silva was a remarkable Scientist and Mathematician of the mid 19th century. Working in Portugal, isolated from the main scientific centres of the time, his investigations in pure mathematics had almost no impact. Apart from giving a short biography of his life and work, this article makes the case for considering him an unavoidable character in the History of Science and one of the founders of Discrete Mathematics, through his introduction of a key method in Enumerative Combinatorics: the Principle of Inclusion-Exclusion.


title: Lower cone distribution functions and set-valued quantiles form Galois connections

abstract: It is shown that the recently introduced lower cone distribution function and the associated set-valued multivariate quantile generate a Galois connection between a complete lattice of closed convex sets and the intervall [0,1]. This generalizes the (not so well-known) corresponding univariate result. It is also shown that an extension of the lower cone distribution function and the set-valued quantile characterize the capacity functional of a random set extension of the original multivariate variable along with its distribution.


title: On the impact of pull request decisions on future contributions

abstract: The pull-based development process has become prevalent on platforms such as GitHub as a form of distributed software development. Potential contributors can create and submit a set of changes to a software project through pull requests. These changes can be accepted, discussed or rejected by the maintainers of the software project, and can influence further contribution proposals. As such, it is important to examine the practices that encourage contributors to a project to submit pull requests. Specifically, we consider the impact of prior pull requests on the acceptance or rejection of subsequent pull requests. We also consider the potential effect of rejecting or ignoring pull requests on further contributions. In this preliminary research, we study three large projects on \textsf{GitHub}, using pull request data obtained through the \textsf{GitHub} API, and we perform empirical analyses to investigate the above questions. Our results show that continued contribution to a project is correlated with higher pull request acceptance rates and that pull request rejections lead to fewer future contributions.


title: Consistent Estimation of Residual Variance with Random Forest Out-Of-Bag Errors

abstract: The issue of estimating residual variance in regression models has experienced relatively little attention in the machine learning community. However, the estimate is of primary interest in many practical applications, e.g. as a primary step towards the construction of prediction intervals. Here, we consider this issue for the random forest. Therein, the functional relationship between covariates and response variable is modeled by a weighted sum of the latter. The dependence structure is, however, involved in the weights that are constructed during the tree construction process making the model complex in mathematical analysis. Restricting to L2-consistent random forest models, we provide random forest based residual variance estimators and prove their consistency.


title: PVSNet: Palm Vein Authentication Siamese Network Trained using Triplet Loss and Adaptive Hard Mining by Learning Enforced Domain Specific Features

abstract: Designing an end-to-end deep learning network to match the biometric features with limited training samples is an extremely challenging task. To address this problem, we propose a new way to design an end-to-end deep CNN framework i.e., PVSNet that works in two major steps: first, an encoder-decoder network is used to learn generative domain-specific features followed by a Siamese network in which convolutional layers are pre-trained in an unsupervised fashion as an autoencoder. The proposed model is trained via triplet loss function that is adjusted for learning feature embeddings in a way that minimizes the distance between embedding-pairs from the same subject and maximizes the distance with those from different subjects, with a margin. In particular, a triplet Siamese matching network using an adaptive margin based hard negative mining has been suggested. The hyper-parameters associated with the training strategy, like the adaptive margin, have been tuned to make the learning more effective on biometric datasets. In extensive experimentation, the proposed network outperforms most of the existing deep learning solutions on three type of typical vein datasets which clearly demonstrates the effectiveness of our proposed method.


title: Four-Gauge-Particle Scattering Amplitudes and Polyakov String Path Integral in the proper-time gauge

abstract: We evaluate four-gauge-particle tree level scattering amplitudes using the Polyakov string path integral in the proper-time gauge, where the string path integral can be cast into the Feynman-Schwinger proper-time representation. We compare the resultant scattering amplitudes, which include $\ap$-corrections, with the conventional ones that may be obtained by substituting local vertex operators for the external string states. In the zero-slope limit, both amplitudes are reduced to the four-gauge-particle scattering amplitude of non-Abelian Yang-Mills gauge theory. However, when the string corrections become relevant with finite $\ap$, the scattering amplitude in the proper-time gauge differs from the conventional one: The Polyakov string path integral in the proper-time gauge, equivalent to the deformed cubic string field theory, systematically provides the alpha prime corrections. In addition, we find that the scattering amplitude in the proper-time gauge contains tachyon poles in a manner consistent with three-particle-scattering amplitudes. The scattering amplitudes evaluated using the Polyakov string path integral in the proper-time gauge may be more suitable than conventional ones for exploring string corrections to the quantum field theories and high energy behaviors of open string.


title: Observation of high-Tc superconductivity in inhomogeneous combinatorial ceramics

abstract: A single-sample synthesis concept based on multi-element ceramic samples can produce a variety of local products. When applied to cuprate superconductors (SC), statistical modelling predicts the occurrence of possible compounds in a concentration range of about 50 ppm. In samples with such low concentrations, determining which compositions are superconducting is a challenging task and requires local probes or separation techniques. Here, we report results from samples with seven components: BaO2, CaCO3, SrCO3, La2O3, PbCO3, ZrO2 and CuO oxides and carbonates, starting from different grain sizes. The reacted ceramics show different phases, particular grain growth, as well as variations in homogeneity and superconducting properties. High-Tc superconductivity up to 118 K was found. Powder x-ray diffraction (XRD) in combination with energy-dispersive spectroscopy (EDS), scanning transmission electron microscopy (STEM) can assign Pb1223 and (Sr,Ca,Ba)0.7-1.0CuO2 phases in inhomogeneous samples milled with 10 mm ball sizes. Rather uniform samples featuring strong grain growth were obtained with 3 mm ball sizes, resulting in Tc =70 K superconductivity of the La(Ba,Ca)2Cu3Ox based phase. Scanning SQUID microscopy (SSM) establishes locally formed superconducting areas at a level of a few microns in inhomogeneous superconducting particles captured by a magnetic separation technique. The present results demonstrate a new synthetic approach for attaining high-Tc superconductivity in compounds without Bi, Tl, Hg, or the need for high-pressure synthesis.


title: Fully numerical electronic structure calculations on diatomic molecules in weak to strong magnetic fields

abstract: We present fully numerical electronic structure calculations on diatomic molecules exposed to an external magnetic field at the unrestricted Hartree-Fock limit, using a modified version of a recently developed finite element program, HelFEM. We have performed benchmark calculations on a few low-lying states of H2, HeH+, LiH, BeH+, BH, and CH+ as a function of the strength of an external magnetic field parallel to the molecular axis. The employed magnetic fields are in the range of $B=[0,10]~B_0$ atomic units, where $B_0 \approx 2.35 \times 10^5$ T. We have compared the results of the fully numerical calculations to ones obtained with the LONDON code using a large uncontracted gauge-including Cartesian Gaussian (GICG) basis set with exponents adopted from the Dunning aug-cc-pVTZ basis set. By comparison to the fully numerical results, we find that the basis set truncation error in the gauge-including Gaussian basis set is of the order of 1 kcal/mol at zero field, that the truncation error grows rapidly when the strength of the magnetic field increases, and that the largest basis set truncation error at $B=10~B_0$ exceeds 1000 kcal/mol. Studies in larger Gaussian basis sets suggest that reliable results can be obtained in GICG basis sets at fields stronger than $B=B_0$, provided that a sufficient coverage of higher-angular-momentum functions is included in the basis set.


title: Eta-nucleon and eta-prime-nucleon coupling constants in QCD and the role of gluons

abstract: Coupling constants of $\eta$ and $\eta^{\prime}$ mesons with nucleons have been calculated using the method of QCD sum rules. Starting from vacuum-to-meson correlation function of interpolating fields of two nucleons, its matrix element with respect to nucleon spinors has been considered. Coupling constants at the physical points have been estimated from extrapolation of results obtained at two other points. Anomalous glue has been found to give substantial contribution to the coupling constants and also accounts for a significant OZI-rule violation.


title: Cold atoms interacting with highly twisted laser beams mimic the forces involved in Millikan's experiment

abstract: This paper considers the analogy between the force exerted on cold atoms when they interact with a highly twisted tightly focused laser beam and the forces exerted on a charged dielectric particle inside a uniform electric field when we perform the Millikan's experiment. In the later case the particle experiences its weight, a force due to the electric field which is arranged in the opposite direction of the weight, and a drag force due to the air proportional and opposite to the velocity of the particle. The force due to the electric field is "quantised" since the charge of the particle is always an integer multiple of the electron charge. In the case of the cold atoms the total force is made up by three terms. The second term is quantised since it is proportional to the beam helicity which is an integer number. The sign of this term is opposite to the first. The third term is a damping force force proportional and opposite to the velocity of the atom. We present numerical calculations with parameters taken from experimental data which show an impressive analogy between the involved forces.


title: Spectral spaces versus distributive lattices: a dictionary

abstract: The category of distributive lattices is, in classical mathematics, antiequivalent to the category of spectral spaces. We give here some examples and a short dictionary for this antiequivalence. We propose a translation of several abstract theorems (in classical mathematics) into constructive ones, even in the case where points of a spectral space have no clear constructive content. La cat\'egorie des treillis distributifs et celle des espaces spectraux sont anti\'equivalentes (en math\'ematiques classiques). Nous proposons ici un petit dictionnaire pour cette anti\'equivalence. Nous indiquons comment un certain nombre de th\'eor\`emes \'etranges des math\'ematiques classiques obtiennent un contenu constructif gr\^ace \`a cette anti\'equivalence, m\^eme dans le cas, fr\'equent, o\`u les points des espaces spectraux consid\'er\'es n'ont pas de contenu constructif clair.


title: Good lattices of algebraic connections

abstract: We construct a logarithmic model of connections on smooth quasi-projective $n$-dimensional geometrically irreducible varieties defined over an algebraically closed field of characteristic $0$. It consists of a good compactification of the variety together with $(n+1)$ lattices on it which are stabilized by log differential operators, and compute algebraically de Rham cohomology. The construction is derived from the existence of good Deligne-Malgrange lattices, a theorem of Kedlaya and Mochizuki which consists first in eliminating the turning points. Moreover, we show that a logarithmic model obtained in this way, called a good model, yields a formula predicted by Michael Groechenig, computing the class of the characteristic variety of the underlying D-module in the $K$-theory group of the variety.


title: Change in the Crystallization Features of Supercooled Liquid Metal with an Increase in the Supercooling Level

abstract: The process of homogeneous crystal nucleation has been considered in a model liquid, where the interparticle interaction is described by a short-range spherical oscillatory potential. Mechanisms of initiating structural ordering in the liquid at various supercooling levels, including those corresponding to an amorphous state, have been determined. The sizes and shapes of formed crystal grains have been estimated statistically. The results indicate that the mechanisms of nucleation occurs throughout the entire considered temperature range. The crystallization of the system at low supercooling levels occurs through a mononuclear scenario. A high concentration of crystal nuclei formed at high supercooling levels (i.e., at temperatures comparable to and below the glass transition temperature $T_g$) creates the semblance of the presence of branched structures, which is sometimes erroneously interpreted as a signature of phase separation. The temperature dependence of the maximum concentration of crystal grains demonstrates two regimes the transition between which occurs at a temperature comparable to the glass transition temperature $T_g$.

categories: cond-mat.mtrl-sci cond-mat.stat-mech physics.atm-clus physics.comp-ph


title: Wikipedia2Vec: An Efficient Toolkit for Learning and Visualizing the Embeddings of Words and Entities from Wikipedia

abstract: The embeddings of entities in a large knowledge base (e.g., Wikipedia) are highly beneficial for solving various natural language tasks that involve real world knowledge. In this paper, we present Wikipedia2Vec, a Python-based open-source tool for learning the embeddings of words and entities from Wikipedia. The proposed tool enables users to learn the embeddings efficiently by issuing a single command with a Wikipedia dump file as an argument. We also introduce a web-based demonstration of our tool that allows users to visualize and explore the learned embeddings. In our experiments, our tool achieved a state-of-the-art result on the KORE entity relatedness dataset, and competitive results on various standard benchmark datasets. Furthermore, our tool has been used as a key component in various recent studies. We publicize the source code, demonstration, and the pretrained embeddings for 12 languages at https://wikipedia2vec.github.io.


title: Lipschitz regularity for a homogeneous doubly nonlinear PDE

abstract: We study the doubly nonlinear PDE $$ |\partial_t u|^{p-2}\,\partial_t u-\textrm{div}(|\nabla u|^{p-2}\nabla u)=0. $$ This equation arises in the study of extremals of Poincar\'e inequalities in Sobolev spaces. We prove spatial Lipschitz continuity and H\"older continuity in time of order $(p-1)/p$ for viscosity solutions. As an application of our estimates, we obtain pointwise control of the large time behavior of solutions.


title: A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs

abstract: Motivated by the problem of designing inference-friendly Bayesian nonparametric models in probabilistic programming languages, we introduce a general class of partially exchangeable random arrays which generalizes the notion of hierarchical exchangeability introduced in Austin and Panchenko (2014). We say that our partially exchangeable arrays are DAG-exchangeable since their partially exchangeable structure is governed by a collection of Directed Acyclic Graphs. More specifically, such a random array is indexed by $\mathbb{N}^{|V|}$ for some DAG $G=(V,E)$, and its exchangeability structure is governed by the edge set $E$. We prove a representation theorem for such arrays which generalizes the Aldous-Hoover and Austin-Panchenko representation theorems.


title: Resonances in nonrelativistic free-free Gaunt factors with screened Coulomb interaction

abstract: The effect of Coulomb interaction screening on non-relativistic free-free absorption is investigated by integrating the numerical continuum wave functions. The screened potential is taken to be in Debye-H\H{u}ckel (Yukawa) form with a screening length D. It is found that the values of the free-free Gaunt factors for different Debye screening lengths D for a given initial electron energy \eps_i and absorbing photon energy \omega, generally lie between those of the pure Coulomb field and field-free case. However, for initial electron energies below 0.1 Ry and fixed photon energy, the Gaunt factors show dramatic enhancements (broad and narrow resonances) in the vicinities of the critical screening lengths, Dnl, at which the energies of nl bound states in the potential merge into the continuum. These enhancements of the Gaunt factors can be significantly higher than their values in the unscreened (Coulomb) case over a broad range of \eps_i. The observed broad and narrow resonances in the Gaunt factors are related to the temporary formation of weakly bound (virtual) and resonant (quasi-bound) states of the low-energy initial electron on the Debye-H\H{u}ckel potential when the screening length is in the vicinity of Dnl.


title: Properties of a Two Dimensional Model of RNA Folding

abstract: Ribonucleic Acid (RNA) can fold into shapes that perform functions in the cell. These foldings are governed by Watson-Crick base pairing, namely Adenine to Uracil and Cytosine to Guanine (A-U and G-C). The properties of the H-P (hydrophobic-hydrophilic) model of protein folding has been well studied in the two dimensional orthogonal case, and we attempt to achieve similar results. We prove that (1) there is an infinite family of even-length sequences with unique optimal foldings, (2) there are two ideal foldings for an even length sequence and given a sequence is is quickly verifiable if both, one, or neither are optimal, (3) finding an optimal foldings under this model is NP-hard, and (4) we give a constant-factor approximation algorithm for optimally folding RNA sequences.


title: Interaction of hemispherical blast waves with inhomogeneous spheres: Probing the collision of a supernova ejecta with a nearby companion star in the laboratory

abstract: Past high-energy density laboratory experiments provided insights into the physics of supernovae, supernova remnants, and the destruction of interstellar clouds. In a typical experimental setting, a laser-driven planar blast wave interacts with a compositionally-homogeneous spherical or cylindrical target. In this work we propose a new laboratory platform that accounts for curvature of the impacting shock and density stratification of the target. Both characteristics reflect the conditions expected to exist shortly after a supernova explosion in a close binary system. We provide details of a proposed experimental design (laser drive, target configuration, diagnostic system), optimized to capture the key properties of recent ejecta-companion interaction models. Good qualitative agreement found between our experimental models and their astrophysical counterparts highlights strong potential of the proposed design to probe details of the ejecta-companion interaction for broad classes of objects by means of high energy density laboratory experiments.


title: A Large-Scale Study of Call Graph-based Impact Prediction using Mutation Testing

abstract: In software engineering, impact analysis involves predicting the software elements (e.g., modules, classes, methods) potentially impacted by a change in the source code. Impact analysis is required to optimize the testing effort. In this paper, we propose an evaluation technique to predict impact propagation. Based on 10 open-source Java projects and 5 classical mutation operators, we create 17,000 mutants and study how the error they introduce propagates. This evaluation technique enables us to analyze impact prediction based on four types of call graph. Our results show that graph sophistication increases the completeness of impact prediction. However, and surprisingly to us, the most basic call graph gives the best trade-off between precision and recall for impact prediction.


title: On Virtual Network Embedding: Paths and Cycles

abstract: Network virtualization provides a promising solution to overcome the ossification of current networks, allowing multiple Virtual Network Requests (VNRs) embedded on a common infrastructure. The major challenge in network virtualization is the Virtual Network Embedding (VNE) problem, which is to embed VNRs onto a shared substrate network and known to be $\mathcal{NP}$-hard. The topological heterogeneity of VNRs is one important factor hampering the performance of the VNE. However, in many specialized applications and infrastructures, VNRs are of some common structural features $\textit{e.g.}$, paths and cycles. To achieve better outcomes, it is thus critical to design dedicated algorithms for these applications and infrastructures by taking into accounting topological characteristics. Besides, paths and cycles are two of the most fundamental topologies that all network structures consist of. Exploiting the characteristics of path and cycle embeddings is vital to tackle the general VNE problem. In this paper, we investigated the path and cycle embedding problems. For path embedding, we proved its $\mathcal{NP}$-hardness and inapproximability. Then, by utilizing Multiple Knapsack Problem (MKP) and Multi-Dimensional Knapsack Problem (MDKP), we proposed an efficient and effective MKP-MDKP-based algorithm. For cycle embedding, we proposed a Weighted Directed Auxiliary Graph (WDAG) to develop a polynomial-time algorithm to determine the least-resource-consuming embedding. Numerical results showed our customized algorithms can boost the acceptance ratio and revenue compared to generic embedding algorithms in the literature.


title: A De Bruijn-Erd\H{o}s theorem in graphs?

abstract: A set of $n$ points in the Euclidean plane determines at least $n$ distinct lines unless these $n$ points are collinear. In 2006, Chen and Chv\'atal asked whether the same statement holds true in general metric spaces, where the line determined by points $x$ and $y$ is defined as the set consisting of $x$, $y$, and all points $z$ such that one of the three points $x,y,z$ lies between the other two. The conjecture that it does hold true remains unresolved even in the special case where the metric space arises from a connected undirected graph with unit lengths assigned to edges. We trace its curriculum vitae and point out twenty-nine related open problems plus three additional conjectures.


title: Numerical analysis of a full discretization for stochastic Cahn--Hilliard equation driven by additive noise

abstract: In this article, we consider the stochastic Cahn--Hilliard equation driven by space-time white noise. We discretize this equation by using a spatial spectral Galerkin method and a temporal accelerated implicit Euler method. The optimal regularity properties and uniform moment bounds of the exact and numerical solutions are shown. Then we prove that the proposed numerical method is strongly convergent with the sharp convergence rate in a negative Sobolev space. By using an interpolation approach, we deduce the spatial optimal convergence rate and the temporal super-convergence rate of the proposed numerical method in strong convergence sense. To the best of our knowledge, this is the first result on the strong convergence rates of numerical methods for the stochastic Cahn--Hilliard equation driven by space-time white noise. This interpolation approach is also applied to the general noise and high dimension cases, and strong convergence rate results of the proposed scheme are given.


title: Normal mode oscillations of a nonlocal composite matter wave soliton

abstract: The existence of stable bound states of three solitons in a Bose-Einstein condensate with nonlocal interactions is demonstrated by means of variational approach (VA) and numerical simulations. The potential of interaction between solitons derived from VA is shown to be of molecular type, i.e. attractive at long distances and repulsive at short distances. Normal modes of a three-soliton molecule are investigated by computing small amplitude oscillations of individual solitons near their equilibrium positions. Symmetric and asymmetric stretched states of the molecule are prepared and used as initial conditions in numerical simulations of the nonlocal Gross-Pitaevskii equation. As opposed to usual triatomic molecules, we find that the frequency of the asymmetric mode of a three-soliton molecule is smaller than the one of the symmetric mode. Possible experimental settings for the observation of these results are briefly discussed.


title: How the Network Topology, Traffic Distribution, and Routing Scheme Impact on the Spectrum Usage in Elastic Optical Networks

abstract: Elastic Optical Network (EON) has been considered as a promising optical networking technology to architect the next-generation backbone networks. Routing and Spectrum Assignment (RSA) is the fundamental problem in EONs to realize service provisioning. Generally, the RSA is solved by routing the requests with lightpaths first and then assigning spectrum resources to the lightpaths to optimize the spectrum usage. Thus, the spectrum assignment explicitly decide the final spectrum usage of EONs. However, besides the spectrum assignment, there are three other factors, the network topology, traffic distribution and routing scheme, implicitly impact on the spectrum usage. Few related work involves in the implicit impact mechanism. In this paper, we aim to provide a thoroughly theoretical analysis on the impact of the three key factors on the spectrum usage. To this end, two theoretical chains are proposed: (1) The optimal spectrum usage can be measured by the chromatic number of the conflict graph, which is positively correlated to the intersecting probability, \emph{i.e.}, the smaller the intersecting probability, the smaller the optimal spectrum usage; (2) The intersecting probability is decided by the network topology, traffic distribution and routing scheme via a quadratic programming parameterized with a matrix of conflict coefficients. The effectiveness of our theoretical analysis has been validated by extensive numerical results. Meanwhile, our theoretical deductions also permit to give several constant approximation ratios for RSA algorithms.


title: A short review on Applications of Deep learning for Cyber security

abstract: Deep learning is an advanced model of traditional machine learning. This has the capability to extract optimal feature representation from raw input samples. This has been applied towards various use cases in cyber security such as intrusion detection, malware classification, android malware detection, spam and phishing detection and binary analysis. This paper outlines the survey of all the works related to deep learning based solutions for various cyber security use cases. Keywords: Deep learning, intrusion detection, malware detection, Android malware detection, spam & phishing detection, traffic analysis, binary analysis.


title: The discrepancy of $(n_kx)$ with respect to certain probability measures

abstract: Let $(n_k)_{k=1}^{\infty}$ be a lacunary sequence of integers. We show that if $\mu$ is a probability measure on $[0,1)$ such that $|\widehat{\mu}(t)|\leq c|t|^{-\eta}$, then for $\mu$-almost all $x$, the discrepancy $D_N(n_kx)$ satisfies \begin{equation*} \frac{1}{4} \leq \limsup_{N\to\infty}\frac{N D_N(n_kx)}{\sqrt{N\log\log N}} \leq C \end{equation*} for some constant $C>0$, proving a conjecture of Haynes, Jensen and Kristensen. This allows a slight improvement on their previous result on products of the form $q\|q\alpha\| \|q\beta-\gamma\| $.


title: On the thermal equilibrium state of large scale flows

abstract: In a forced three-dimensional turbulent flow the scales larger than the forcing scale have been conjectured to reach a thermal equilibrium state forming a $k^2$ energy spectrum. In this work we examine the properties of these large scales in turbulent flows with the use of numerical simulations. We show that the choice of forcing can strongly affect the behavior of the large scales. A spectrally-dense forcing (a forcing that acts on {\it all modes} inside a finite-width spherical shell) with long correlation times may lead to strong deviations from the $k^2$ energy spectrum, while a spectrally-sparse forcing (a forcing that acts only on a few modes) with short correlated time-scale can reproduce the thermal spectrum. It is shown that the spectrally-dense forcing allows for numerous triadic interactions that couple one large scale mode with two forced modes and this leads to an excess of energy input in the large scales. This excess of energy is then moved back to the small-scales by self-interactions of the large-scale modes and by interactions with the turbulent small-scales. The overall picture that arises from the present analysis is that the large scales in a turbulent flow resemble a reservoir that is in (non-local) contact with a second out-of equilibrium reservoir consisting of the smaller (forced and turbulent) scales. If the injection of energy at the large scales from the forced modes is relative weak then the large-scale spectrum remains close to a thermal equilibrium and the role of long-range interactions is to set the global energy (temperature) of the equilibrium state. If, on the other hand, the long-range interactions are dominant, the large-scale self-interactions cannot respond fast enough to bring the system into equilibrium. Then the large scales deviate from the equilibrium state with energy spectrum that may display exponents different from the $k^2$ spectrum.


title: Efficient Structured Matrix Recovery and Nearly-Linear Time Algorithms for Solving Inverse Symmetric $M$-Matrices

abstract: In this paper we show how to recover a spectral approximations to broad classes of structured matrices using only a polylogarithmic number of adaptive linear measurements to either the matrix or its inverse. Leveraging this result we obtain faster algorithms for variety of linear algebraic problems. Key results include: $\bullet$ A nearly linear time algorithm for solving the inverse of symmetric $M$-matrices, a strict superset of Laplacians and SDD matrices. $\bullet$ An $\tilde{O}(n^2)$ time algorithm for solving $n \times n$ linear systems that are constant spectral approximations of Laplacians or more generally, SDD matrices. $\bullet$ An $\tilde{O}(n^2)$ algorithm to recover a spectral approximation of a $n$-vertex graph using only $\tilde{O}(1)$ matrix-vector multiplies with its Laplacian matrix. The previous best results for each problem either used a trivial number of queries to exactly recover the matrix or a trivial $O(n^\omega)$ running time, where $\omega$ is the matrix multiplication constant. We achieve these results by generalizing recent semidefinite programming based linear sized sparsifier results of Lee and Sun (2017) and providing iterative methods inspired by the semistreaming sparsification results of Kapralov, Lee, Musco, Musco and Sidford (2014) and input sparsity time linear system solving results of Li, Miller, and Peng (2013). We hope that by initiating study of these natural problems, expanding the robustness and scope of recent nearly linear time linear system solving research, and providing general matrix recovery machinery this work may serve as a stepping stone for faster algorithms.


title: Arm Manipulation Planning of Tethered Tools with the Help of a Tool Balancer

abstract: Robotic manipulation of tethered tools is widely seen in robotic work cells. They may cause excess strain on the tool's cable or undesired entanglements with the robot's arms. This paper presents a manipulation planner with cable orientation constraints for tethered tools suspended by tool balancers. The planner uses orientation constraints to limit the bending of the balancer's cable while the robot manipulates a tool and places it in a desired pose. The constraints reduce entanglements and decrease the torque induced by the cable on the robot joints. Simulation and real-world experiments show that the constrained planner can successfully plan robot motions for the manipulation of suspended tethered tools preventing the robot from damaging the cable or getting its arms entangled, potentially avoiding accidents. The planner is expected to play promising roles in manufacturing cells.


title: Hinted Networks

abstract: We present Hinted Networks: a collection of architectural transformations for improving the accuracies of neural network models for regression tasks, through the injection of a prior for the output prediction (i.e. a hint). We ground our investigations within the camera relocalization domain, and propose two variants, namely the Hinted Embedding and Hinted Residual networks, both applied to the PoseNet base model for regressing camera pose from an image. Our evaluations show practical improvements in localization accuracy for standard outdoor and indoor localization datasets, without using additional information. We further assess the range of accuracy gains within an aerial-view localization setup, simulated across vast areas at different times of the year.


title: Residual Policy Learning

abstract: We present Residual Policy Learning (RPL): a simple method for improving nondifferentiable policies using model-free deep reinforcement learning. RPL thrives in complex robotic manipulation tasks where good but imperfect controllers are available. In these tasks, reinforcement learning from scratch remains data-inefficient or intractable, but learning a residual on top of the initial controller can yield substantial improvements. We study RPL in six challenging MuJoCo tasks involving partial observability, sensor noise, model misspecification, and controller miscalibration. For initial controllers, we consider both hand-designed policies and model-predictive controllers with known or learned transition models. By combining learning with control algorithms, RPL can perform long-horizon, sparse-reward tasks for which reinforcement learning alone fails. Moreover, we find that RPL consistently and substantially improves on the initial controllers. We argue that RPL is a promising approach for combining the complementary strengths of deep reinforcement learning and robotic control, pushing the boundaries of what either can achieve independently. Video and code at https://k-r-allen.github.io/residual-policy-learning/.