title: On {\lambda}-backbone coloring of cliques with tree backbones in linear time

abstract: A $\lambda$-backbone coloring of a graph $G$ with its subgraph (also called a backbone) $H$ is a function $c \colon V(G) \rightarrow \{1,\dots, k\}$ ensuring that $c$ is a proper coloring of $G$ and for each $\{u,v\} \in E(H)$ it holds that $|c(u) - c(v)| \ge \lambda$. In this paper we propose a way to color cliques with tree and forest backbones in linear time that the largest color does not exceed $\max\{n, 2 \lambda\} + \Delta(H)^2 \lceil\log{n} \rceil$. This result improves on the previously existing approximation algorithms as it is $(\Delta(H)^2 \lceil\log{n} \rceil)$-absolutely approximate, i.e. with an additive error over the optimum. We also present an infinite family of trees $T$ with $\Delta(T) = 3$ for which the coloring of cliques with backbones $T$ require to use at least $\max\{n, 2 \lambda\} + \Omega(\log{n})$ colors for $\lambda$ close to $\frac{n}{2}$.


title: Phonon-Mediated Long-Range Attractive Interaction in One-Dimensional Cuprates

abstract: Establishing a minimal microscopic model for cuprates is a key step towards the elucidation of a high-$T_c$ mechanism. By a quantitative comparison with a recent \emph{in situ} angle-resolved photoemission spectroscopy measurement in doped 1D cuprate chains, our simulation identifies a crucial contribution from long-range electron-phonon coupling beyond standard Hubbard models. Using reasonable ranges of coupling strengths and phonon energies, we obtain a strong attractive interaction between neighboring electrons, whose strength is comparable to experimental observations. Nonlocal couplings play a significant role in the mediation of neighboring interactions. Considering the structural and chemical similarity between 1D and 2D cuprate materials, this minimal model with long-range electron-phonon coupling will provide important new insights on cuprate high-$T_C$ superconductivity and related quantum phases.


title: Primitive Rateless Codes

abstract: In this paper, we propose primitive rateless (PR) codes. A PR code is characterized by the message length and a primitive polynomial over $\mathbf{GF}(2)$, which can generate a potentially limitless number of coded symbols. We show that codewords of a PR code truncated at any arbitrary length can be represented as subsequences of a maximum-length sequence ($m$-sequence). We characterize the Hamming weight distribution of PR codes and their duals and show that for a properly chosen primitive polynomial, the Hamming weight distribution of the PR code can be well approximated by the truncated binomial distribution. We further find a lower bound on the minimum Hamming weight of PR codes and show that there always exists a PR code that can meet this bound for any desired codeword length. We provide a list of primitive polynomials for message lengths up to $40$ and show that the respective PR codes closely meet the Gilbert-Varshamov bound at various rates. Simulation results show that PR codes can achieve similar block error rates as their BCH counterparts at various signal-to-noise ratios (SNRs) and code rates. PR codes are rate-compatible and can generate as many coded symbols as required; thus, demonstrating a truly rateless performance.


title: Fast and Explicit Neural View Synthesis

abstract: We study the problem of novel view synthesis from sparse source observations of a scene comprised of 3D objects. We propose a simple yet effective approach that is neither continuous nor implicit, challenging recent trends on view synthesis. Our approach explicitly encodes observations into a volumetric representation that enables amortized rendering. We demonstrate that although continuous radiance field representations have gained a lot of attention due to their expressive power, our simple approach obtains comparable or even better novel view reconstruction quality comparing with state-of-the-art baselines while increasing rendering speed by over 400x. Our model is trained in a category-agnostic manner and does not require scene-specific optimization. Therefore, it is able to generalize novel view synthesis to object categories not seen during training. In addition, we show that with our simple formulation, we can use view synthesis as a self-supervision signal for efficient learning of 3D geometry without explicit 3D supervision.


title: Pushouts of extensions of groupoids by bundles of abelian groups

abstract: We analyse extensions $\Sigma$ of groupoids $G$ by bundles $A$ of abelian groups. We describe a pushout construction for such extensions, and use it to describe the extension group of a given groupoid $G$ by a given bundle $A$. There is a natural action of $\Sigma$ on the dual of $A$, yielding a corresponding transformation groupoid. The pushout of this transformation groupoid by the natural map from the fibre product of $A$ with its dual to the Cartesian product of the dual with the circle is a twist over the transformation groupoid resulting from the action of $G$ on the dual of $A$. We prove that the full $C^*$-algebra of this twist is isomorphic to the full $C^*$-algebra of $\Sigma$, and that this isomorphism descends to an isomorphism of reduced algebras. We give a number of examples and applications.


title: An active dendritic tree can mitigate fan-in limitations in superconducting neurons

abstract: Superconducting electronic circuits have much to offer with regard to neuromorphic hardware. Superconducting quantum interference devices (SQUIDs) can serve as an active element to perform the thresholding operation of a neuron's soma. However, a SQUID has a response function that is periodic in the applied signal. We show theoretically that if one restricts the total input to a SQUID to maintain a monotonically increasing response, a large fraction of synapses must be active to drive a neuron to threshold. We then demonstrate that an active dendritic tree (also based on SQUIDs) can significantly reduce the fraction of synapses that must be active to drive the neuron to threshold. In this context, the inclusion of a dendritic tree provides the dual benefits of enhancing the computational abilities of each neuron and allowing the neuron to spike with sparse input activity.


title: DefGraspSim: Simulation-based grasping of 3D deformable objects

abstract: Robotic grasping of 3D deformable objects (e.g., fruits/vegetables, internal organs, bottles/boxes) is critical for real-world applications such as food processing, robotic surgery, and household automation. However, developing grasp strategies for such objects is uniquely challenging. In this work, we efficiently simulate grasps on a wide range of 3D deformable objects using a GPU-based implementation of the corotational finite element method (FEM). To facilitate future research, we open-source our simulated dataset (34 objects, 1e5 Pa elasticity range, 6800 grasp evaluations, 1.1M grasp measurements), as well as a code repository that allows researchers to run our full FEM-based grasp evaluation pipeline on arbitrary 3D object models of their choice. We also provide a detailed analysis on 6 object primitives. For each primitive, we methodically describe the effects of different grasp strategies, compute a set of performance metrics (e.g., deformation, stress) that fully capture the object response, and identify simple grasp features (e.g., gripper displacement, contact area) measurable by robots prior to pickup and predictive of these performance metrics. Finally, we demonstrate good correspondence between grasps on simulated objects and their real-world counterparts.


title: Rank of the vertex-edge incidence matrix of $r$-out hypergraphs

abstract: We consider a space of sparse Boolean matrices of size $n \times n$, which have finite co-rank over $GF(2)$ with high probability. In particular, the probability such a matrix has full rank, and is thus invertible, is a positive constant with value about $0.2574$ for large $n$. The matrices arise as the vertex-edge incidence matrix of 1-out 3-uniform hypergraphs The result that the null space is finite, can be contrasted with results for the usual models of sparse Boolean matrices, based on the vertex-edge incidence matrix of random $k$-uniform hypergraphs. For this latter model, the expected co-rank is linear in the number of vertices $n$, \cite{ACO}, \cite{CFP}. For fields of higher order, the co-rank is typically Poisson distributed.


title: Detect and Defense Against Adversarial Examples in Deep Learning using Natural Scene Statistics and Adaptive Denoising

abstract: Despite the enormous performance of deepneural networks (DNNs), recent studies have shown theirvulnerability to adversarial examples (AEs), i.e., care-fully perturbed inputs designed to fool the targetedDNN. Currently, the literature is rich with many ef-fective attacks to craft such AEs. Meanwhile, many de-fenses strategies have been developed to mitigate thisvulnerability. However, these latter showed their effec-tiveness against specific attacks and does not general-ize well to different attacks. In this paper, we proposea framework for defending DNN classifier against ad-versarial samples. The proposed method is based on atwo-stage framework involving a separate detector anda denoising block. The detector aims to detect AEs bycharacterizing them through the use of natural scenestatistic (NSS), where we demonstrate that these statis-tical features are altered by the presence of adversarialperturbations. The denoiser is based on block matching3D (BM3D) filter fed by an optimum threshold valueestimated by a convolutional neural network (CNN) toproject back the samples detected as AEs into theirdata manifold. We conducted a complete evaluation onthree standard datasets namely MNIST, CIFAR-10 andTiny-ImageNet. The experimental results show that theproposed defense method outperforms the state-of-the-art defense techniques by improving the robustnessagainst a set of attacks under black-box, gray-box and white-box settings. The source code is available at: https://github.com/kherchouche-anouar/2DAE


title: Joule-Thomson expansion for noncommutative uncharged black holes

abstract: In this work we study the Joule-Thomson expansion for uncharged black holes in a noncommutative scenario characterized by a parameter $\theta$, which is present in the horizon function. We calculate the inversion temperature for some values of $\theta$ and the isenthalpics for fixed masses. We find that the uncharged noncommutative black hole behaves as a charged commutative one.


title: Improving Speech Translation by Understanding and Learning from the Auxiliary Text Translation Task

abstract: Pretraining and multitask learning are widely used to improve the speech to text translation performance. In this study, we are interested in training a speech to text translation model along with an auxiliary text to text translation task. We conduct a detailed analysis to understand the impact of the auxiliary task on the primary task within the multitask learning framework. Our analysis confirms that multitask learning tends to generate similar decoder representations from different modalities and preserve more information from the pretrained text translation modules. We observe minimal negative transfer effect between the two tasks and sharing more parameters is helpful to transfer knowledge from the text task to the speech task. The analysis also reveals that the modality representation difference at the top decoder layers is still not negligible, and those layers are critical for the translation quality. Inspired by these findings, we propose three methods to improve translation quality. First, a parameter sharing and initialization strategy is proposed to enhance information sharing between the tasks. Second, a novel attention-based regularization is proposed for the encoders and pulls the representations from different modalities closer. Third, an online knowledge distillation is proposed to enhance the knowledge transfer from the text to the speech task. Our experiments show that the proposed approach improves translation performance by more than 2 BLEU over a strong baseline and achieves state-of-the-art results on the \textsc{MuST-C} English-German, English-French and English-Spanish language pairs.


title: Non-Visual Cooking: Exploring Practices and Challenges of Meal Preparation by People with Visual Impairments

abstract: The reliance on vision for tasks related to cooking and eating healthy can present barriers to cooking for oneself and achieving proper nutrition. There has been little research exploring cooking practices and challenges faced by people with visual impairments. We present a content analysis of 122 YouTube videos to highlight the cooking practices of visually impaired people, and we describe detailed practices for 12 different cooking activities (e.g., cutting and chopping, measuring, testing food for doneness). Based on the cooking practices, we also conducted semi-structured interviews with 12 visually impaired people who have cooking experience and show existing challenges, concerns, and risks in cooking (e.g., tracking the status of tasks in progress, verifying whether things are peeled or cleaned thoroughly). We further discuss opportunities to support the current practices and improve the independence of people with visual impairments in cooking (e.g., zero-touch interactions for cooking). Overall, our findings provide guidance for future research exploring various assistive technologies to help people cook without relying on vision.


title: An Interval Arithmetic for Robust Error Estimation

abstract: Interval arithmetic is a simple way to compute a mathematical expression to an arbitrary accuracy, widely used for verifying floating-point computations. Yet this simplicity belies challenges. Some inputs violate preconditions or cause domain errors. Others cause the algorithm to enter an infinite loop and fail to compute a ground truth. Plus, finding valid inputs is itself a challenge when invalid and unsamplable points make up the vast majority of the input space. These issues can make interval arithmetic brittle and temperamental. This paper introduces three extensions to interval arithmetic to address these challenges. Error intervals express rich notions of input validity and indicate whether all or some points in an interval violate implicit or explicit preconditions. Movability flags detect futile recomputations and prevent timeouts by indicating whether a higher-precision recomputation will yield a more accurate result. Andinput search restricts sampling to valid, samplable points, so they are easier to find. We compare these extensions to the state-of-the-art technical computing software Mathematica, and demonstrate that our extensions are able to resolve 60.3% more challenging inputs, return 10.2x fewer completely indeterminate results, and avoid 64 cases of fatal error.


title: Optimal Hardy inequalities associated with multipolar Schr\"odinger operators

abstract: We proved some optimal Hardy inequalities in RNwhich is closely related to multipolar Schr\"odinger operators with mean-value type potentials, these sharp inequalities imply some multipolar type Heisenberg inequalities. We also obtained someimproved multipolar Hardy inequalities on bounded domains, moreover, we got the range of the best Hardy constant for a specific Hardy inequality.


title: Carle's Game: An Open-Ended Challenge in Exploratory Machine Creativity

abstract: This paper is both an introduction and an invitation. It is an introduction to CARLE, a Life-like cellular automata simulator and reinforcement learning environment. It is also an invitation to Carle's Game, a challenge in open-ended machine exploration and creativity. Inducing machine agents to excel at creating interesting patterns across multiple cellular automata universes is a substantial challenge, and approaching this challenge is likely to require contributions from the fields of artificial life, AI, machine learning, and complexity, at multiple levels of interest. Carle's Game is based on machine agent interaction with CARLE, a Cellular Automata Reinforcement Learning Environment. CARLE is flexible, capable of simulating any of the 262,144 different rules defining Life-like cellular automaton universes. CARLE is also fast and can simulate automata universes at a rate of tens of thousands of steps per second through a combination of vectorization and GPU acceleration. Finally, CARLE is simple. Compared to high-fidelity physics simulators and video games designed for human players, CARLE's two-dimensional grid world offers a discrete, deterministic, and atomic universal playground, despite its complexity. In combination with CARLE, Carle's Game offers an initial set of agent policies, learning and meta-learning algorithms, and reward wrappers that can be tailored to encourage exploration or specific tasks.


title: Data-Driven Low-Rank Neural Network Compression

abstract: Despite many modern applications of Deep Neural Networks (DNNs), the large number of parameters in the hidden layers makes them unattractive for deployment on devices with storage capacity constraints. In this paper we propose a Data-Driven Low-rank (DDLR) method to reduce the number of parameters of pretrained DNNs and expedite inference by imposing low-rank structure on the fully connected layers, while controlling for the overall accuracy and without requiring any retraining. We pose the problem as finding the lowest rank approximation of each fully connected layer with given performance guarantees and relax it to a tractable convex optimization problem. We show that it is possible to significantly reduce the number of parameters in common DNN architectures with only a small reduction in classification accuracy. We compare DDLR with Net-Trim, which is another data-driven DNN compression technique based on sparsity and show that DDLR consistently produces more compressed neural networks while maintaining higher accuracy.


title: Integer decomposition property of polytopes

abstract: We study the integer decomposition property of lattice polytopes associated with the $n$-dimensional smooth complete fans with at most $n+3$ rays. Using the classification of smooth complete fans by Kleinschmidt and Batyrev and a reduction to lower dimensional polytopes we prove the integer decomposition property for lattice polytopes in this setting.


title: Kit-Net: Self-Supervised Learning to Kit Novel 3D Objects into Novel 3D Cavities

abstract: In industrial part kitting, 3D objects are inserted into cavities for transportation or subsequent assembly. Kitting is a critical step as it can decrease downstream processing and handling times and enable lower storage and shipping costs. We present Kit-Net, a framework for kitting previously unseen 3D objects into cavities given depth images of both the target cavity and an object held by a gripper in an unknown initial orientation. Kit-Net uses self-supervised deep learning and data augmentation to train a convolutional neural network (CNN) to robustly estimate 3D rotations between objects and matching concave or convex cavities using a large training dataset of simulated depth images pairs. Kit-Net then uses the trained CNN to implement a controller to orient and position novel objects for insertion into novel prismatic and conformal 3D cavities. Experiments in simulation suggest that Kit-Net can orient objects to have a 98.9% average intersection volume between the object mesh and that of the target cavity. Physical experiments with industrial objects succeed in 18% of trials using a baseline method and in 63% of trials with Kit-Net. Video, code, and data are available at https://github.com/BerkeleyAutomation/Kit-Net.


title: Visual Parser: Representing Part-whole Hierarchies with Transformers

abstract: Human vision is able to capture the part-whole hierarchical information from the entire scene. This paper presents the Visual Parser (ViP) that explicitly constructs such a hierarchy with transformers. ViP divides visual representations into two levels, the part level and the whole level. Information of each part represents a combination of several independent vectors within the whole. To model the representations of the two levels, we first encode the information from the whole into part vectors through an attention mechanism, then decode the global information within the part vectors back into the whole representation. By iteratively parsing the two levels with the proposed encoder-decoder interaction, the model can gradually refine the features on both levels. Experimental results demonstrate that ViP can achieve very competitive performance on three major tasks e.g. classification, detection and instance segmentation. In particular, it can surpass the previous state-of-the-art CNN backbones by a large margin on object detection. The tiny model of the ViP family with $7.2\times$ fewer parameters and $10.9\times$ fewer FLOPS can perform comparably with the largest model ResNeXt-101-64$\times$4d of ResNe(X)t family. Visualization results also demonstrate that the learnt parts are highly informative of the predicting class, making ViP more explainable than previous fundamental architectures. Code is available at https://github.com/kevin-ssy/ViP.


title: Monotonic Filtering for Distributed Collection

abstract: Distributed data collection is a fundamental task in open systems. In such networks, data is aggregated across a network to produce a single aggregated result at a source device. Though self-stabilizing, algorithms performing data collection can produce large overestimates in the transient phase. For example, in [1] we demonstrated that in a line graph, a switch of sources after initial stabilization may produce overestimates that are quadratic in the network diameter. We also proposed monotonic filtering as a strategy for removing such large overestimates. Monotonic filtering prevents the transfer of data from device A to device B unless the distance estimate at A is more than that at B at the previous iteration. For a line graph, [1] shows that monotonic filtering prevents quadratic overestimates. This paper analyzes monotonic filtering for an arbitrary graph topology, showing that for an N device network, the largest overestimate after switching sources is at most 2N.


title: What Evidence We Would Miss If We Do Not Use Grey Literature?

abstract: Context: Over the last years, Grey Literature (GL) is gaining increasing attention in Secondary Studies in Software Engineering (SE). Notably, Multivocal Literature Review (MLR) studies, that search for evidence in both Traditional Literature (TL) and GL, is particularly benefiting from this raise of GL content. Despite the growing interest in MLR-based studies, the literature assessing how GL has contributed to MLR studies is still scarce. Objective: This research aims to assess how the use of GL contributed to MLR studies. By contributing, we mean, understanding to what extent GL is providing evidence that is indeed used by an MLR to answer its research question. Method: We conducted a tertiary study to identify MLR studies published between 2017 and 2019, selecting nine MLRs studies. Using qualitative and quantitative analysis, we identified the GL used and assessed to what extent these MLRs are contributing to MLR studies. Results: Our analysis identified that 1) GL provided evidence not found in TL, 2) most of the GL sources were used to provide recommendations to solve problems, explain a topic, and classify the findings, and 3) 19 different GL types were used in the studies; these GLs were mainly produced by SE practitioners (including blog posts, slides presentations, or project descriptions). Conclusions: We evidence how GL contributed to MLR studies. We observed that if these GLs were not included in the MLR, several findings would have been omitted or weakened. We also described the challenges involved when conducting this investigation, along with potential ways to deal with them, which may help future SE researchers.


title: A Parallel Approximation Algorithm for Maximizing Submodular $b$-Matching

abstract: We design new serial and parallel approximation algorithms for computing a maximum weight $b$-matching in an edge-weighted graph with a submodular objective function. This problem is NP-hard; the new algorithms have approximation ratio $1/3$, and are relaxations of the Greedy algorithm that rely only on local information in the graph, making them parallelizable. We have designed and implemented Local Lazy Greedy algorithms for both serial and parallel computers. We have applied the approximate submodular $b$-matching algorithm to assign tasks to processors in the computation of Fock matrices in quantum chemistry on parallel computers. The assignment seeks to reduce the run time by balancing the computational load on the processors and bounding the number of messages that each processor sends. We show that the new assignment of tasks to processors provides a four fold speedup over the currently used assignment in the NWChemEx software on $8000$ processors on the Summit supercomputer at Oak Ridge National Lab.


title: A 125$\mu$W 8kS/s Sub-pA Area-Efficient Current Sensing 45nm CMOS ADC for Biosensing

abstract: This paper presents a 125$\mu$W, area efficient (0.042mm2) 81dB DR, 8kS/s current sensing ADC in 45nm CMOS capable of sensing sub-pA currents. Our approach combines the transimpedance amplifier (TIA) and ADC into a unified structure by folding a low-noise capacitive TIA into the first stage integrator of a 2nd order Delta-Sigma modulator. The dominant DAC feedback noise is mitigated by utilizing current scaling via slope modification by an integrator and differentiator pair.


title: Delocalization and quantum diffusion of random band matrices in high dimensions II: $T$-expansion

abstract: We consider Green's functions $G(z):=(H-z)^{-1}$ of Hermitian random band matrices $H$ on the $d$-dimensional lattice $(\mathbb Z/L\mathbb Z)^d$. The entries $h_{xy}=\bar h_{yx}$ of $H$ are independent centered complex Gaussian random variables with variances $s_{xy}=\mathbb E|h_{xy}|^2$. The variances satisfy a banded profile so that $s_{xy}$ is negligible if $|x-y|$ exceeds the band width $W$. For any $n\in \mathbb N$, we construct an expansion of the $T$-variable, $T_{xy}=|m|^2 \sum_{\alpha}s_{x\alpha}|G_{\alpha y}|^2$, with an error $O(W^{-nd/2})$, and use it to prove a local law on the Green's function. This $T$-expansion was the main tool to prove the delocalization and quantum diffusion of random band matrices for dimensions $d\ge 8$ in part I of this series.


title: Co-evolution of Opinion and Social Tie Dynamics Towards Structural Balance

abstract: In this paper, we propose co-evolution models for both dynamics of opinions (people's view on a particular topic) and dynamics of social appraisals (the approval or disapproval towards each other). Opinion dynamics and dynamics of signed networks, respectively, have been extensively studied. We propose a co-evolution model, where each vertex $i$ in the network has a current opinion vector $v_i$ and each edge $(i,j)$ has a weight $w_{ij}$ that models the relationship between $i,j$. The system evolves as the opinions and edge weights are updated over time by the following rules, Opinion Dynamics and Appraisal Dynamics. We are interested in characterizing the long-time behavior of the dynamic model -- i.e., whether edge weights evolve to have stable signs (positive or negative) and structural balance (the multiplication of weights on any triangle is non-negative). Our main theoretical result solves the above dynamic system with time-evolving opinions $V(t)=[v1(t),\cdots,vn(t)]$ and social tie weights $W(t)=[w_{ij}(t)]_{n\times n}$. For a generic initial opinion vector $V(0)$ and weight matrix $W(0)$, one of the two phenomena must occur at the limit. The first one is that both sign stability and structural balance (for any triangle with individual $i,j,k$, $w_{ij}w_{jk}w_{ki}\geq0$) occur. In the special case that $V(0)$ is an eigenvector of $W(0)$, we are able to obtain the explicit solution to the co-evolution equation and give exact estimates on the blowup time and rate convergence. The second one is that all the opinions converge to $0$, i.e., $\lim_{t\rightarrow \infty}|V(t)|=0$.


title: Non-singular quantum gravitational dynamics of an LTB dust shell model: the role of quantization prescriptions

abstract: We study some consequences of the loop quantization of the outermost dust shell in the Lema\^itre-Tolman-Bondi spacetime with a homogeneous dust density using different quantization strategies motivated by loop quantum gravity. Prior work has dealt with loop quantizing this model by employing holonomies and the triads, following the procedure in standard loop quantum cosmology. In this work we compare this quantization with the one in which holonomies and gauge-covariant fluxes are used. While both of the quantization schemes resolve the central singularity, they lead to different mass gaps at which a trapped surface forms. This trapped surface which is matched to an exterior generalized Vaidya spacetime disappears when the density of the dust shell is in the Planck regime. We find that the quantization based on holonomies and gauge-covariant fluxes generically results in an asymmetric evolution of the dust shell in which the effective mass associated with the white hole as seen by an external observer is $2/\pi$ of the one for the black hole. This effective difference in masses results from difference in the classical limits in pre- and post-bounce regimes in the two quantizations. This distinctive feature rules out formation of any black hole-white hole twin in presence of gauge-covariant flux modifications which is in contrast to the quantization using holonomies and triads where the gravitational collapse always leads to a black hole-white hole twins. In another striking difference, for the quantization based on holonomies and gauge-covariant fluxes there can be situations in which during a non-singular collapse only a black hole forms without a white hole.


title: Cautious Policy Programming: Exploiting KL Regularization in Monotonic Policy Improvement for Reinforcement Learning

abstract: In this paper, we propose cautious policy programming (CPP), a novel value-based reinforcement learning (RL) algorithm that can ensure monotonic policy improvement during learning. Based on the nature of entropy-regularized RL, we derive a new entropy regularization-aware lower bound of policy improvement that only requires estimating the expected policy advantage function. CPP leverages this lower bound as a criterion for adjusting the degree of a policy update for alleviating policy oscillation. Different from similar algorithms that are mostly theory-oriented, we also propose a novel interpolation scheme that makes CPP better scale in high dimensional control problems. We demonstrate that the proposed algorithm can trade o? performance and stability in both didactic classic control problems and challenging high-dimensional Atari games.


title: Human Attention during Goal-directed Reading Comprehension Relies on Task Optimization

abstract: The computational principles underlying attention allocation in complex goal-directed tasks remain elusive. Goal-directed reading, i.e., reading a passage to answer a question in mind, is a common real-world task that strongly engages attention. Here, we investigate what computational models can explain attention distribution in this complex task. We show that the reading time on each word is predicted by the attention weights in transformer-based deep neural networks (DNNs) optimized to perform the same reading task. Eye-tracking further reveals that readers separately attend to basic text features and question-relevant information during first-pass reading and rereading, respectively. Similarly, text features and question relevance separately modulate attention weights in shallow and deep DNN layers. Furthermore, when readers scan a passage without a question in mind, their reading time is predicted by DNNs optimized for a word prediction task. Therefore, attention during real-world reading can be interpreted as the consequence of task optimization.


title: Alfven number for the Richtmyer-Meshkov instability in magnetized plasmas

abstract: Magnetohydrodynamical evolution of the Richtmyer-Meshkov instability (RMI) is investigated by two-dimensional MHD simulations. The RMI is suppressed by a strong magnetic field, whereas the RMI amplifies an ambient magnetic field by many orders of magnitude if the seed field is weak. We have found that the suppression and amplification processes can be evaluated continuously along with the amplitude of the Alfv\'en number $R_A$, which is defined as the ratio of the linear growth velocity of the RMI to the Alfv\'en speed at the interface. When the Alfv\'en number is less than unity, the Lorentz force acting on the fluid mitigates the unstable motion of the RMI significantly, and the interface oscillates stably in this limit. If $R_A \gtrsim 1$, on the other hand, the surface modulation increases due to the growth of the RMI. The maximum strength of the magnetic field is enhanced up to by a factor of $R_A$. This critical feature is universal and independent of the initial Mach number of the incident shock, the Atwood number, corrugation amplitude, and even the direction of the initial magnetic field.


title: Topological gapless points in superconductors: From the viewpoint of symmetry

abstract: Searching for topological insulators/superconductors is a central subject in recent condensed matter physics. As a theoretical aspect, various classification methods of symmetry-protected topological phases have been developed, where the topology of a gapped Hamiltonian is investigated from the viewpoint of its onsite/crystal symmetry. On the other hand, topological physics also appears in semimetals, whose gapless points can be characterized by topological invariants. Stimulated by this background, we shed light on the topology of nodal superconductors. In this paper, we review our modern topological classification theory of superconducting gap nodes in terms of symmetry. The classification method elucidates nontrivial gap structures arising from nonsymmorphic symmetry or angular momentum, which cannot be predicted by a conventional theory.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: How many degrees of freedom do we need to train deep networks: a loss landscape perspective

abstract: A variety of recent works, spanning pruning, lottery tickets, and training within random subspaces, have shown that deep neural networks can be trained using far fewer degrees of freedom than the total number of parameters. We analyze this phenomenon for random subspaces by first examining the success probability of hitting a training loss sub-level set when training within a random subspace of a given training dimensionality. We find a sharp phase transition in the success probability from $0$ to $1$ as the training dimension surpasses a threshold. This threshold training dimension increases as the desired final loss decreases, but decreases as the initial loss decreases. We then theoretically explain the origin of this phase transition, and its dependence on initialization and final desired loss, in terms of properties of the high-dimensional geometry of the loss landscape. In particular, we show via Gordon's escape theorem, that the training dimension plus the Gaussian width of the desired loss sub-level set, projected onto a unit sphere surrounding the initialization, must exceed the total number of parameters for the success probability to be large. In several architectures and datasets, we measure the threshold training dimension as a function of initialization and demonstrate that it is a small fraction of the total parameters, implying by our theory that successful training with so few dimensions is possible precisely because the Gaussian width of low loss sub-level sets is very large. Moreover, we compare this threshold training dimension to more sophisticated ways of reducing training degrees of freedom, including lottery tickets as well as a new, analogous method: lottery subspaces. Code is available at https://github.com/ganguli-lab/degrees-of-freedom.


title: Design of a Smooth Landing Trajectory Tracking System for a Fixed-wing Aircraft

abstract: This paper presents a landing controller for a fixed-wing aircraft during the landing phase, ensuring the aircraft reaches the touchdown point smoothly. The landing problem is converted to a finite-time linear quadratic tracking (LQT) problem in which an aircraft needs to track the desired landing path in the longitudinal-vertical plane while satisfying performance requirements and flight constraints. First, we design a smooth trajectory that meets flight performance requirements and constraints. Then, an optimal controller is designed to minimize the tracking error, while landing the aircraft within the desired time frame. For this purpose, a linearized model of an aircraft developed under the assumption of a small flight path angle and a constant approach speed is used. The resulting Differential Riccati equation is solved backward in time using the Dormand Prince algorithm. Simulation results show a satisfactory tracking performance and the finite-time convergence of tracking errors for different initial conditions of the flare-out phase of landing.


title: AlterSGD: Finding Flat Minima for Continual Learning by Alternative Training

abstract: Deep neural networks suffer from catastrophic forgetting when learning multiple knowledge sequentially, and a growing number of approaches have been proposed to mitigate this problem. Some of these methods achieved considerable performance by associating the flat local minima with forgetting mitigation in continual learning. However, they inevitably need (1) tedious hyperparameters tuning, and (2) additional computational cost. To alleviate these problems, in this paper, we propose a simple yet effective optimization method, called AlterSGD, to search for a flat minima in the loss landscape. In AlterSGD, we conduct gradient descent and ascent alternatively when the network tends to converge at each session of learning new knowledge. Moreover, we theoretically prove that such a strategy can encourage the optimization to converge to a flat minima. We verify AlterSGD on continual learning benchmark for semantic segmentation and the empirical results show that we can significantly mitigate the forgetting and outperform the state-of-the-art methods with a large margin under challenging continual learning protocols.


title: Heterogeneous Effects in the Built Environment

abstract: We present an approach to estimate distance-dependent heterogeneous associations between point-referenced exposures to built environment characteristics and health outcomes. By estimating associations that depend non-linearly on distance between subjects and point-referenced exposures, this method addresses the modifiable area-unit problem that is pervasive in the built environment literature. Additionally, by estimating heterogeneous effects, the method also addresses the uncertain geographic context problem. The key innovation of our method is to combine ideas from the non-parametric function estimation literature and the Bayesian Dirichlet process literature. The former is used to estimate nonlinear associations between subject's outcomes and proximate built environment features, and the latter identifies clusters within the population that have different effects. We study this method in simulations and apply our model to study heterogeneity in the association between fast food restaurant availability and weight status of children attending schools in Los Angeles, California.


title: On regular $^*$-algebras of bounded linear operators: A new approach towards a theory of noncommutative Boolean algebras

abstract: We study (von Neumann) regular $^*$-subalgebras of $B(H)$, which we call R$^*$-algebras. The class of R$^*$-algebras coincides with that of "E$^*$-algebras that are pre-C$^*$-algebras" in the sense of Z. Sz\H{u}cs and B. Tak\'acs. We give examples, properties and questions of R$^*$-algebras. We observe that the class of unital commutative R$^*$-algebras has a canonical one-to-one correspondence with the class of Boolean algebras. This motivates the study of R$^*$-algebras as that of noncommutative Boolean algebras. We explain that seemingly unrelated topics of functional analysis, like AF C$^*$-algebras and incomplete inner product spaces, naturally arise in the investigation of R$^*$-algebras. We obtain a number of interesting results on R$^*$-algebras by applying various famous theorems in the literature.


title: Dendritic organic electrochemical transistors grown by electropolymerization for 3D neuromorphic engineering

abstract: One of the major limitation of standard top-down technologies used in today's neuromorphic engineering is their inability to map the 3D nature of biological brains. Here, we show how bipolar electropolymerization can be used to engineer 3D networks of PEDOT:PSS dendritic fibers. By controlling the growth conditions of the electropolymerized material, we investigate how dendritic fibers can reproduce structural plasticity by creating structures of controllable shape. We demonstrate gradual topologies evolution in a multi-electrode configuration. We conduct a detail electrical characterization of the PEDOT:PSS dendrites through DC and impedance spectroscopy measurements and we show how organic electrochemical transistors (OECT) can be realized with these structures. These measurements reveal that quasi-static and transient response of OECTs can be adjust by controlling dendrites' morphologies. The unique properties of organic dendrites are used to demonstrate short-term, long-term and structural plasticity, which are essential features required for future neuromorphic hardware development.

categories: cond-mat.dis-nn cond-mat.mtrl-sci cs.ET physics.app-ph q-bio.NC


title: Natural quantum reservoir computing for temporal information processing

abstract: Reservoir computing is a temporal information processing system that exploits artificial or physical dissipative dynamics to learn a dynamical system and generate the target time-series. This paper proposes the use of real superconducting quantum computing devices as the reservoir, where the dissipative property is served by the natural noise added to the quantum bits. The performance of this natural quantum reservoir is demonstrated in a benchmark time-series regression problem and a practical problem classifying different objects based on temporal sensor data. In both cases the proposed reservoir computer shows a higher performance than a linear regression or classification model. The results indicate that a noisy quantum device potentially functions as a reservoir computer, and notably, the quantum noise, which is undesirable in the conventional quantum computation, can be used as a rich computation resource.


title: Glassy nature of Ce65Al25Co10 alloy: A metallic glass

abstract: In the present investigation the glass forming ability of Ce65Al25Co10 metallic glass has been reported. It was successfully synthesised using melt spinning techniques. The existence of amorphous phase in Ce65Al25Co10 alloy have been proved using X-ray diffraction (XRD) and transmission electron microscopy (TEM) measurements. The thermal analysis of the synthesised sample using differential scanning calorimetry (DSC) shows a glass transition around 371 K, thus confirms existence of glassy phase at room temperature. The hardness of the synthesised sample at different load have been demonstrated. Moreover, the yield strength of the synthesised sample has also been calculated by means of hardness data and Meyer exponent.


title: The Element Extraction Problem and the Cost of Determinism and Limited Adaptivity in Linear Queries

abstract: Two widely-used computational paradigms for sublinear algorithms are using linear measurements to perform computations on a high dimensional input and using structured queries to access a massive input. Typically, algorithms in the former paradigm are non-adaptive whereas those in the latter are highly adaptive. This work studies the fundamental search problem of \textsc{element-extraction} in a query model that combines both: linear measurements with bounded adaptivity. In the \textsc{element-extraction} problem, one is given a nonzero vector $\mathbf{z} = (z_1,\ldots,z_n) \in \{0,1\}^n$ and must report an index $i$ where $z_i = 1$. The input can be accessed using arbitrary linear functions of it with coefficients in some ring. This problem admits an efficient nonadaptive randomized solution (through the well known technique of $\ell_0$-sampling) and an efficient fully adaptive deterministic solution (through binary search). We prove that when confined to only $k$ rounds of adaptivity, a deterministic \textsc{element-extraction} algorithm must spend $\Omega(k (n^{1/k} -1))$ queries, when working in the ring of integers modulo some fixed $q$. This matches the corresponding upper bound. For queries using integer arithmetic, we prove a $2$-round $\widetilde{\Omega}(\sqrt{n})$ lower bound, also tight up to polylogarithmic factors. Our proofs reduce to classic problems in combinatorics, and take advantage of established results on the {\em zero-sum problem} as well as recent improvements to the {\em sunflower lemma}.


title: Observation of topological edge states in thermal diffusion

abstract: The topological band theory predicts that bulk materials with nontrivial topological phases support topological edge states. This phenomenon is universal for various wave systems and has been widely observed for electromagnetic and acoustic waves. Here, we extend the notion of band topology from wave to diffusion dynamics. Unlike the wave systems that are usually Hermitian, the diffusion systems are anti-Hermitian with purely imaginary eigenvalues corresponding to decay rates. Via direct probe of the temperature diffusion, we experimentally retrieve the Hamiltonian of a thermal lattice, and observe the emergence of topological edge decays within the gap of bulk decays. Our results show that such edge states exhibit robust decay rates, which are topologically protected against disorders. This work constitutes a thermal analogue of topological insulators and paves the way to exploring defect-immune heat dissipation.


title: Stringent Tests of Gravity with Highly Relativistic Binary Pulsars in the Era of LISA and SKA

abstract: At present, 19 double neutron star (DNS) systems are detected by radio timing and 2 merging DNS systems are detected by kilo-hertz gravitational waves. Because of selection effects, none of them has an orbital period $P_b$ in the range of a few tens of minutes. In this paper we consider a multimessenger strategy proposed by Kyutoku et al. (2019), jointly using the Laser Interferometer Space Antenna (LISA) and the Square Kilometre Array (SKA) to detect and study Galactic pulsar-neutron star (PSR-NS) systems with $P_b \sim$ 10-100 min. We assume that we will detect PSR-NS systems by this strategy. We use standard pulsar timing software to simulate times of arrival of pulse signals from these binary pulsars. We obtain the precision of timing parameters of short-orbital-period PSR-NS systems whose orbital period $P_b \in (8,120)\,$min. We use the simulated uncertainty of the orbital decay, $\dot{P}_{b}$, to predict future tests for a variety of alternative theories of gravity. We show quantitatively that highly relativistic PSR-NS systems will significantly improve the constraint on parameters of specific gravity theories in the strong field regime. We also investigate the orbital periastron advance caused by the Lense-Thirring effect in a PSR-NS system with $P_b = 8\,$min, and show that the Lense-Thirring effect will be detectable to a good precision.


title: Strong dependence of the physical properties of cores on spatial resolution in observations and simulations

abstract: During the last decade in star formation research, many studies have targeted low- and high-mass star formation regions located at different distances, with different telescopes having specific angular resolution capabilities. We present a systematic investigation of the angular resolution effects, with special attention being paid to the derived masses of sources as well as the shape of the resulting source mass functions (SMFs). We tested the impact of angular resolution, from 0.6 down to 0.02 pc, in two star-forming regions observed with Herschel (NGC6334 and Aquila), and three (magneto)-hydrodynamical simulations. We detected and measured sources at each resolution using getsf and we analysed the derived masses and sizes of the sources. We find that the number of sources does not converge from 0.6 to 0.05 pc. It increases by about two when the angular resolution increases with a similar factor. Below 0.05 pc, the number of source still increases by about 1.3 when the angular resolution increases by two, suggesting that we are close to, but not yet at, convergence. We find that the measured sizes and masses of sources linearly depend on the angular resolution with no sign of convergence to a resolution-independent value. The corresponding SMF peak also shifts with angular resolution, while the slope of the high-mass tail of the SMFs remains almost invariant. If prestellar cores, physically distinct from their background, exist in cluster-forming molecular clouds, we conclude that their mass must be lower than reported so far in the literature. We discuss various implications for the studies of star formation: the problem of determining the mass reservoirs involved in the star-formation process; the inapplicability of the Gaussian beam deconvolution to infer source sizes; and the impossibility to determine the efficiency of the mass conversion from the cores to the stars.


title: A barrier method for frictional contact on embedded interfaces

abstract: We present a barrier method for treating frictional contact on interfaces embedded in finite elements. The barrier treatment has several attractive features, including: (i) it does not introduce any additional degrees of freedom or iterative steps, (ii) it is free of inter-penetration, (iii) it avoids an ill-conditioned matrix system, and (iv) it allows one to control the solution accuracy directly. We derive the contact pressure from a smooth barrier energy function that is designed to satisfy the non-penetration constraint. Likewise, we make use of a smoothed friction law in which the stick-slip transition is described by a continuous function of the slip displacement. We discretize the formulation using the extended finite element method to embed interfaces inside elements, and devise an averaged surface integration scheme that effectively provides stable solutions without traction oscillations. Subsequently, we develop a way to tailor the parameters of the barrier method to embedded interfaces, such that the method can be used without parameter tuning. We verify and investigate the proposed method through numerical examples with varied levels of complexity. The numerical results demonstrate that the proposed method is remarkably robust for challenging frictional contact problems, while requiring low cost comparable to that of the penalty method.


title: Safety and progress proofs for a reactive planner and controller for autonomous driving

abstract: In this paper, we perform safety and performance analysis of an autonomous vehicle that implements reactive planner and controller for navigating a race lap. Unlike traditional planning algorithms that have access to a map of the environment, reactive planner generates the plan purely based on the current input from sensors. Our reactive planner selects a waypoint on the local Voronoi diagram and we use a pure-pursuit controller to navigate towards the waypoint. Our safety and performance analysis has two parts. The first part demonstrates that the reactive planner computes a plan that is locally consistent with the Voronoi plan computed with full map. The second part involves modeling of the evolution of vehicle navigating along the Voronoi diagram as a hybrid automata. For proving the safety and performance specification, we compute the reachable set of this hybrid automata and employ some enhancements that make this computation easier. We demonstrate that an autonomous vehicle implementing our reactive planner and controller is safe and successfully completes a lap for five different circuits. In addition, we have implemented our planner and controller in a simulation environment as well as a scaled down autonomous vehicle and demonstrate that our planner works well for a wide variety of circuits.


title: On Local Minimizers of Quadratically Constrained Nonconvex Homogeneous Quadratic Optimization with at Most Two Constraints

abstract: We study nonconvex homogeneous quadratically constrained quadratic optimization with one or two constraints, denoted by (QQ1) and (QQ2), respectively. (QQ2) contains (QQ1), trust region subproblem (TRS) and ellipsoid regularized total least squares problem as special cases. It is known that there is a necessary and sufficient optimality condition for the global minimizer of (QQ2). In this paper, we first show that any local minimizer of (QQ1) is globally optimal. Unlike its special case (TRS) with at most one local non-global minimizer, (QQ2) may have infinitely many local non-global minimizers. At any local non-global minimizer of (QQ2), both linearly independent constraint qualification and strict complementary condition hold, and the Hessian of the Lagrangian has exactly one negative eigenvalue. As a main contribution, we prove that the standard second-order sufficient optimality condition for any strict local non-global minimizer of (QQ2) remains necessary. Applications and the impossibility of further extension are discussed.


title: A reply to Rovelli's response to our "Assessing Relational Quantum Mechanics''

abstract: In a recent paper, Rovelli responds to our critical assessment of Relational Quantum Mechanics (RQM). His main argument is that our assessment lacks merit, because we fail to understand, or cope with, the premises of his theory; instead, he argues, we judge his proposal, blinded by the preconceptions inherent to ``our camp''. Here, we explicitly show that our assessment judges RQM on its own terms, together with the basic requirements of precision, clarity, logical soundness and empirical suitability. Under those circumstances, we prove false Rovelli's claim that RQM provides a satisfactory, realistic, non-solipsistic description of the world. Moreover, his reply serves us to further exhibit the serious problems of the RQM proposal, as well as the failures of its author to understanding the basic conceptual difficulties of quantum theory.


title: A Hierarchical Bayesian model for Inverse RL in Partially-Controlled Environments

abstract: Robots learning from observations in the real world using inverse reinforcement learning (IRL) may encounter objects or agents in the environment, other than the expert, that cause nuisance observations during the demonstration. These confounding elements are typically removed in fully-controlled environments such as virtual simulations or lab settings. When complete removal is impossible the nuisance observations must be filtered out. However, identifying the source of observations when large amounts of observations are made is difficult. To address this, we present a hierarchical Bayesian model that incorporates both the expert's and the confounding elements' observations thereby explicitly modeling the diverse observations a robot may receive. We extend an existing IRL algorithm originally designed to work under partial occlusion of the expert to consider the diverse observations. In a simulated robotic sorting domain containing both occlusion and confounding elements, we demonstrate the model's effectiveness. In particular, our technique outperforms several other comparative methods, second only to having perfect knowledge of the subject's trajectory.


title: Multitask Identity-Aware Image Steganography via Minimax Optimization

abstract: High-capacity image steganography, aimed at concealing a secret image in a cover image, is a technique to preserve sensitive data, e.g., faces and fingerprints. Previous methods focus on the security during transmission and subsequently run a risk of privacy leakage after the restoration of secret images at the receiving end. To address this issue, we propose a framework, called Multitask Identity-Aware Image Steganography (MIAIS), to achieve direct recognition on container images without restoring secret images. The key issue of the direct recognition is to preserve identity information of secret images into container images and make container images look similar to cover images at the same time. Thus, we introduce a simple content loss to preserve the identity information, and design a minimax optimization to deal with the contradictory aspects. We demonstrate that the robustness results can be transferred across different cover datasets. In order to be flexible for the secret image restoration in some cases, we incorporate an optional restoration network into our method, providing a multitask framework. The experiments under the multitask scenario show the effectiveness of our framework compared with other visual information hiding methods and state-of-the-art high-capacity image steganography methods.


title: Escape of cosmic rays from perpendicular shocks in the interstellar magnetic field

abstract: We investigate the escape process from a perpendicular shock region of a spherical shock in the interstellar medium (ISM). The diffusive shock acceleration in the perpendicular shock of supernova remnants (SNRs) has been expected to accelerate cosmic rays (CRs) to the PeV scale without an upstream magnetic field amplification. We estimate the maximum energy of CRs limited by the escape from the perpendicular shock region. By performing test particle simulations, we confirm the theoretical estimation, showing that the escape-limited maximum energy in the perpendicular shock is several 10 TeV for the typical type Ia SNRs. Therefore, in order for SNRs in the ISM to accelerate CRs to the PeV scale, an upstream magnetic field amplification is needed. The characteristic energy scale of several 10 TeV could be the origin of the spectral break around 10 TeV, which was reported by recent direct CR observations. In addition, we show that, in the free expansion phase, the rapid perpendicular shock acceleration works on about 20% area of the whole shock surface, which is larger than the size of the superluminal shock region. We also discuss the escape of CR electrons from the perpendicular shock.


title: Detect and Locate: Exposing Face Manipulation by Semantic- and Noise-level Telltales

abstract: The technological advancements of deep learning have enabled sophisticated face manipulation schemes, raising severe trust issues and security concerns in modern society. Generally speaking, detecting manipulated faces and locating the potentially altered regions are challenging tasks. Herein, we propose a conceptually simple but effective method to efficiently detect forged faces in an image while simultaneously locating the manipulated regions. The proposed scheme relies on a segmentation map that delivers meaningful high-level semantic information clues about the image. Furthermore, a noise map is estimated, playing a complementary role in capturing low-level clues and subsequently empowering decision-making. Finally, the features from these two modules are combined to distinguish fake faces. Extensive experiments show that the proposed model achieves state-of-the-art detection accuracy and remarkable localization performance.


title: Multi-token Markov Game with Switching Costs

abstract: We study a general Markov game with metric switching costs: in each round, the player adaptively chooses one of several Markov chains to advance with the objective of minimizing the expected cost for at least $k$ chains to reach their target states. If the player decides to play a different chain, an additional switching cost is incurred. The special case in which there is no switching cost was solved optimally by Dumitriu, Tetali, and Winkler~\cite{DTW03} by a variant of the celebrated Gittins Index for the classical multi-armed bandit (MAB) problem with Markovian rewards \cite{Git74,Git79}. However, for Markovian multi-armed bandit with nontrivial switching cost, even if the switching cost is a constant, the classic paper by Banks and Sundaram \cite{BS94} showed that no index strategy can be optimal. In this paper, we complement their result and show there is a simple index strategy that achieves a constant approximation factor if the switching cost is constant and $k=1$. To the best of our knowledge, this index strategy is the first strategy that achieves a constant approximation factor for a general Markovian MAB variant with switching costs. For the general metric, we propose a more involved constant-factor approximation algorithm, via a nontrivial reduction to the stochastic $k$-TSP problem, in which a Markov chain is approximated by a random variable. Our analysis makes extensive use of various interesting properties of the Gittins index.


title: A First Look at Developers' Live Chat on Gitter

abstract: Modern communication platforms such as Gitter and Slack play an increasingly critical role in supporting software teamwork, especially in open source development.Conversations on such platforms often contain intensive, valuable information that may be used for better understanding OSS developer communication and collaboration. However, little work has been done in this regard. To bridge the gap, this paper reports a first comprehensive empirical study on developers' live chat, investigating when they interact, what community structures look like, which topics are discussed, and how they interact. We manually analyze 749 dialogs in the first phase, followed by an automated analysis of over 173K dialogs in the second phase. We find that developers tend to converse more often on weekdays, especially on Wednesdays and Thursdays (UTC), that there are three common community structures observed, that developers tend to discuss topics such as API usages and errors, and that six dialog interaction patterns are identified in the live chat communities. Based on the findings, we provide recommendations for individual developers and OSS communities, highlight desired features for platform vendors, and shed light on future research directions. We believe that the findings and insights will enable a better understanding of developers' live chat, pave the way for other researchers, as well as a better utilization and mining of knowledge embedded in the massive chat history.


title: Covariance's Loss is Privacy's Gain: Computationally Efficient, Private and Accurate Synthetic Data

abstract: The protection of private information is of vital importance in data-driven research, business, and government. The conflict between privacy and utility has triggered intensive research in the computer science and statistics communities, who have developed a variety of methods for privacy-preserving data release. Among the main concepts that have emerged are anonymity and differential privacy. Today, another solution is gaining traction, synthetic data. However, the road to privacy is paved with NP-hard problems. In this paper we focus on the NP-hard challenge to develop a synthetic data generation method that is computationally efficient, comes with provable privacy guarantees, and rigorously quantifies data utility. We solve a relaxed version of this problem by studying a fundamental, but a first glance completely unrelated, problem in probability concerning the concept of covariance loss. Namely, we find a nearly optimal and constructive answer to the question how much information is lost when we take conditional expectation. Surprisingly, this excursion into theoretical probability produces mathematical techniques that allow us to derive constructive, approximately optimal solutions to difficult applied problems concerning microaggregation, privacy, and synthetic data.


title: Recent Advances in Leveraging Human Guidance for Sequential Decision-Making Tasks

abstract: A longstanding goal of artificial intelligence is to create artificial agents capable of learning to perform tasks that require sequential decision making. Importantly, while it is the artificial agent that learns and acts, it is still up to humans to specify the particular task to be performed. Classical task-specification approaches typically involve humans providing stationary reward functions or explicit demonstrations of the desired tasks. However, there has recently been a great deal of research energy invested in exploring alternative ways in which humans may guide learning agents that may, e.g., be more suitable for certain tasks or require less human effort. This survey provides a high-level overview of five recent machine learning frameworks that primarily rely on human guidance apart from pre-specified reward functions or conventional, step-by-step action demonstrations. We review the motivation, assumptions, and implementation of each framework, and we discuss possible future research directions.


title: Predicting Fault Slip via Transfer Learning

abstract: Data-driven machine-learning for predicting instantaneous and future fault-slip in laboratory experiments has recently progressed markedly due to large training data sets. In Earth however, earthquake interevent times range from 10's-100's of years and geophysical data typically exist for only a portion of an earthquake cycle. Sparse data presents a serious challenge to training machine learning models. Here we describe a transfer learning approach using numerical simulations to train a convolutional encoder-decoder that predicts fault-slip behavior in laboratory experiments. The model learns a mapping between acoustic emission histories and fault-slip from numerical simulations, and generalizes to produce accurate results using laboratory data. Notably slip-predictions markedly improve using the simulation-data trained-model and training the latent space using a portion of a single laboratory earthquake-cycle. The transfer learning results elucidate the potential of using models trained on numerical simulations and fine-tuned with small geophysical data sets for potential applications to faults in Earth.


title: A new approach to the quantization of the damped harmonic oscillator

abstract: In this paper, a new approach for constructing Lagrangians for driven and undriven linearly damped systems is proposed, by introducing a redefined time coordinate and an associated coordinate transformation to ensure that the resulting Lagrangian satisfies the Helmholtz conditions. The approach is applied to canonically quantize the damped harmonic oscillator and although it predicts an energy spectrum that decays at the same rate to previous models, unlike those approaches it recovers the classical critical damping condition, which determines transitions between energy eigenstates, and is therefore consistent with the correspondence principle. It is also demonstrated how to apply the procedure to a driven damped harmonic oscillator.


title: Dynamic Distribution of Edge Intelligence at the Node Level for Internet of Things

abstract: In this paper, dynamic deployment of Convolutional Neural Network (CNN) architecture is proposed utilizing only IoT-level devices. By partitioning and pipelining the CNN, it horizontally distributes the computation load among resource-constrained devices (called horizontal collaboration), which in turn increases the throughput. Through partitioning, we can decrease the computation and energy consumption on individual IoT devices and increase the throughput without sacrificing accuracy. Also, by processing the data at the generation point, data privacy can be achieved. The results show that throughput can be increased by 1.55x to 1.75x for sharing the CNN into two and three resource-constrained devices, respectively.


title: Promises and Perils of Inferring Personality on GitHub

abstract: Personality plays a pivotal role in our understanding of human actions and behavior. Today, the applications of personality are widespread, built on the solutions from psychology to infer personality. In software engineering, for instance, one widely used solution to infer personality uses textual communication data. As studies on personality in software engineering continue to grow, it is imperative to understand the performance of these solutions. This paper compares the inferential ability of three widely studied text-based personality tests against each other and the ground truth on GitHub. We explore the challenges and potential solutions to improve the inferential ability of personality tests. Our study shows that solutions for inferring personality are far from being perfect. Software engineering communications data can infer individual developer personality with an average error rate of 41%. In the best case, the error rate can be reduced up to 36% by following our recommendations.


title: ReLLIE: Deep Reinforcement Learning for Customized Low-Light Image Enhancement

abstract: Low-light image enhancement (LLIE) is a pervasive yet challenging problem, since: 1) low-light measurements may vary due to different imaging conditions in practice; 2) images can be enlightened subjectively according to diverse preferences by each individual. To tackle these two challenges, this paper presents a novel deep reinforcement learning based method, dubbed ReLLIE, for customized low-light enhancement. ReLLIE models LLIE as a markov decision process, i.e., estimating the pixel-wise image-specific curves sequentially and recurrently. Given the reward computed from a set of carefully crafted non-reference loss functions, a lightweight network is proposed to estimate the curves for enlightening of a low-light image input. As ReLLIE learns a policy instead of one-one image translation, it can handle various low-light measurements and provide customized enhanced outputs by flexibly applying the policy different times. Furthermore, ReLLIE can enhance real-world images with hybrid corruptions, e.g., noise, by using a plug-and-play denoiser easily. Extensive experiments on various benchmarks demonstrate the advantages of ReLLIE, comparing to the state-of-the-art methods.


title: TESS asteroseismology of the Kepler red giants

abstract: Red giant asteroseismology can provide valuable information for studying the Galaxy as demonstrated by space missions like CoRoT and Kepler. However, previous observations have been limited to small data sets and fields-of-view. The TESS mission provides far larger samples and, for the first time, the opportunity to perform asteroseimic inference from full-frame images full-sky, instead of narrow fields and pre-selected targets. Here, we seek to detect oscillations in TESS data of the red giants in the Kepler field using the 4-yr Kepler results as benchmark. Because we use 1-2 sectors of observation, our results are representative of the typical scenario from TESS data. We detect clear oscillations in ~3000 stars with another ~1000 borderline (low S/N) cases. In comparison, best-case predictions suggests ~4500 detectable oscillating giants. Of the clear detections, we measure Dnu in 570 stars, meaning a ~20% Dnu yield (14% for one sector and 26% for two sectors). These yields imply that typical (1-2 sector) TESS data will result in significant detection biases. Hence, to boost the number of stars, one might need to use only Numax as the seismic input for stellar property estimation. However, we find little bias in the seismic measurements and typical scatter is about 5-6% in Numax and 2-3% in Dnu. These values, coupled with typical uncertainties in parallax, Teff, and [Fe/H] in a grid-based approach, would provide internal uncertainties of 3% in inferred stellar radius, 6% in mass and 20% in age for low-luminosity giant stars. Finally, we find red giant seismology is not significantly affected by seismic signal confusion from blending for stars with Tmag < 12.5.


title: Snyder and their representation with creation and annihilation operators

abstract: Inspired by the Schwinger's representation of angular momentum, we propose a representation of certain operators where we use the algebra of the annihilation and creation operators. In particular, we propose a representation of the Snyder space-time with the help of the annihilation and creation operators, which create and annihilate quantum of space. In addition, we show that by using a matrix representation of the $SO(3)$ or $SU(2)$ Lie algebra it is possible to obtain a representation of the spacial sector of Snyder space-time. Finally, we obtain a quantized expectation value of the area of a sphere.


title: Enforcing Consistency in Weakly Supervised Semantic Parsing

abstract: The predominant challenge in weakly supervised semantic parsing is that of spurious programs that evaluate to correct answers for the wrong reasons. Prior work uses elaborate search strategies to mitigate the prevalence of spurious programs; however, they typically consider only one input at a time. In this work we explore the use of consistency between the output programs for related inputs to reduce the impact of spurious programs. We bias the program search (and thus the model's training signal) towards programs that map the same phrase in related inputs to the same sub-parts in their respective programs. Additionally, we study the importance of designing logical formalisms that facilitate this kind of consAistency-based training. We find that a more consistent formalism leads to improved model performance even without consistency-based training. When combined together, these two insights lead to a 10% absolute improvement over the best prior result on the Natural Language Visual Reasoning dataset.


title: Oversampling Divide-and-conquer for Response-skewed Kernel Ridge Regression

abstract: The divide-and-conquer method has been widely used for estimating large-scale kernel ridge regression estimates. Unfortunately, when the response variable is highly skewed, the divide-and-conquer kernel ridge regression (dacKRR) may overlook the underrepresented region and result in unacceptable results. We combine a novel response-adaptive partition strategy with the oversampling technique synergistically to overcome the limitation. Through the proposed novel algorithm, we allocate some carefully identified informative observations to multiple nodes (local processors). Although the oversampling technique has been widely used for addressing discrete label skewness, extending it to the dacKRR setting is nontrivial. We provide both theoretical and practical guidance on how to effectively over-sample the observations under the dacKRR setting. Furthermore, we show the proposed estimate has a smaller risk than that of the classical dacKRR estimate under mild conditions. Our theoretical findings are supported by both simulated and real-data analyses.


title: Electrochemical Modeling of GITT Measurements for Improved Solid-State Diffusion Coefficient Evaluation

abstract: Galvanostatic Intermittent Titration Technique (GITT) is widely used to evaluate solid-state diffusion coefficients in electrochemical systems. However, the existing analysis methods for GITT data require numerous assumptions, and the derived diffusion coefficients typically are not independently validated. To investigate the validity of the assumptions and derived diffusion coefficients, we employ a direct pulse fitting method for interpreting GITT data that involves numerically fitting an electrochemical pulse and subsequent relaxation to a one-dimensional, single-particle, electrochemical model coupled with non-ideal transport to directly evaluate diffusion coefficients that are independently verified through cycling predictions. Extracted from GITT measurements of the intercalation regime of FeS2 and used to predict the discharge behavior, our non-ideal diffusion coefficients prove to be two orders of magnitude more accurate than ideal diffusion coefficients extracted using conventional methods. We further extend our model to a polydisperse set of particles to show the validity of a single-particle approach when the modeled radius is proportional to the total volume-to-surface-area ratio of the system.


title: On the asymptotic stability of $N$-soliton solutions of the modified nonlinear Schr\"{o}dinger equation

abstract: The Cauchy problem of the modified nonlinear Schr\"{o}dinger (mNLS) equation with the finite density type initial data is investigated via $\overline{\partial}$ steepest descent method. In the soliton region of space-time $x/t\in(5,7)$, the long-time asymptotic behavior of the mNLS equation is derived for large times. Furthermore, for general initial data in a non-vanishing background, the soliton resolution conjecture for the mNLS equation is verified, which means that the asymptotic expansion of the solution can be characterized by finite number of soliton solutions as the time $t$ tends to infinity, and a residual error $\mathcal {O}(t^{-3/4})$ is provided.


title: Regular character-graphs whose eigenvalues are greater than or equal to -2

abstract: Let $G$ be a finite group and $\mathrm{Irr}(G)$ be the set of all complex irreducible characters of $G$. The character-graph $\Delta(G)$ associated to $G$, is a graph whose vertex set is the set of primes which divide the degrees of some characters in $\mathrm{Irr}(G)$ and two distinct primes $p$ and $q$ are adjacent in $\Delta(G)$ if the product $pq$ divides $\chi(1)$, for some $\chi\in\mathrm{Irr}(G)$. Tong-viet posed the conjecture that if $\Delta(G)$ is $k$-regular for some integer $k\geqslant 2$, then $\Delta(G)$ is either a complete graph or a cocktail party graph. In this paper, we show that his conjecture is true for all regular character-graphs whose eigenvalues are in the interval $[-2, \infty )$.


title: Analytical approach to the generalized friendship paradox in networks with correlated attributes

abstract: One of the interesting phenomena due to the topological heterogeneities in complex networks is the friendship paradox, stating that your friends have on average more friends than you do. Recently, this paradox has been generalized for arbitrary nodal attributes, called a generalized friendship paradox (GFP). In this paper, we analyze the GFP for the networks in which the attributes of neighboring nodes are correlated with each other. The correlation structure between attributes of neighboring nodes is modeled by the Farlie-Gumbel-Morgenstern copula, enabling us to derive approximate analytical solutions of the GFP for three kinds of methods summarizing the neighborhood of the focal node, i.e., mean-based, median-based, and fraction-based methods. The analytical solutions are comparable to simulation results, while some systematic deviations between them might be attributed to the higher-order correlations between nodal attributes. These results help us get deeper insight into how various summarization methods as well as the correlation structure of nodal attributes affect the GFP behavior, hence better understand various related phenomena in complex networks.


title: Disk potential functions for quadrics

abstract: We compute the disk potential of Gelfand--Zeitlin monotone torus fiber in a quadric hypersurface by exploiting toric degenerations, Lie theoretical mirror symmetry, and the structural result of the monotone Fukaya category.


title: NucMM Dataset: 3D Neuronal Nuclei Instance Segmentation at Sub-Cubic Millimeter Scale

abstract: Segmenting 3D cell nuclei from microscopy image volumes is critical for biological and clinical analysis, enabling the study of cellular expression patterns and cell lineages. However, current datasets for neuronal nuclei usually contain volumes smaller than $10^{\text{-}3}\ mm^3$ with fewer than 500 instances per volume, unable to reveal the complexity in large brain regions and restrict the investigation of neuronal structures. In this paper, we have pushed the task forward to the sub-cubic millimeter scale and curated the NucMM dataset with two fully annotated volumes: one $0.1\ mm^3$ electron microscopy (EM) volume containing nearly the entire zebrafish brain with around 170,000 nuclei; and one $0.25\ mm^3$ micro-CT (uCT) volume containing part of a mouse visual cortex with about 7,000 nuclei. With two imaging modalities and significantly increased volume size and instance numbers, we discover a great diversity of neuronal nuclei in appearance and density, introducing new challenges to the field. We also perform a statistical analysis to illustrate those challenges quantitatively. To tackle the challenges, we propose a novel hybrid-representation learning model that combines the merits of foreground mask, contour map, and signed distance transform to produce high-quality 3D masks. The benchmark comparisons on the NucMM dataset show that our proposed method significantly outperforms state-of-the-art nuclei segmentation approaches. Code and data are available at https://connectomics-bazaar.github.io/proj/nucMM/index.html.


title: Dynamical Friction in Nonlocal Gravity

abstract: We study dynamical friction in the Newtonian regime of nonlocal gravity (NLG), which is a classical nonlocal generalization of Einstein's theory of gravitation. The nonlocal aspect of NLG simulates dark matter. The attributes of the resulting effective dark matter are described and the main physical predictions of nonlocal gravity, which has a characteristic lengthscale of order 1 kpc, for galactic dynamics are presented. Within the framework of NLG, we derive the analogue of Chandrasekhar's formula for dynamical friction. The astrophysical implications of the results for the apparent rotation of a central bar subject to dynamical friction in a barred spiral galaxy are briefly discussed.


title: Motion Planning by Learning the Solution Manifold in Trajectory Optimization

abstract: The objective function used in trajectory optimization is often non-convex and can have an infinite set of local optima. In such cases, there are diverse solutions to perform a given task. Although there are a few methods to find multiple solutions for motion planning, they are limited to generating a finite set of solutions. To address this issue, we presents an optimization method that learns an infinite set of solutions in trajectory optimization. In our framework, diverse solutions are obtained by learning latent representations of solutions. Our approach can be interpreted as training a deep generative model of collision-free trajectories for motion planning. The experimental results indicate that the trained model represents an infinite set of homotopic solutions for motion planning problems.


title: PyCCE: A Python Package for Cluster Correlation Expansion Simulations of Spin Qubit Dynamic

abstract: We present PyCCE, an open-source Python library to simulate the dynamics of spin qubits in a spin bath, using the cluster-correlation expansion (CCE) method. PyCCE includes modules to generate realistic spin baths, employing coupling parameters computed from first principles with electronic structure codes, and enables the user to run simulations with either the conventional or generalized CCE method. We illustrate three use cases of the Python library: the calculation of the Hahn-echo coherence time of the nitrogen vacancy in diamond; the calculation of the coherence time of the basal divacancy in silicon carbide at avoided crossings; and the magnetic field orientation-dependent dynamics of a shallow donor in silicon. The complete documentation and installation instructions are available at https://pycce.readthedocs.io/en/latest/.


title: Intercross: An Android app for plant breeding and genetics cross management

abstract: Plant breeding is fundamentally comprised of three cyclic activities: 1) intermating lines to generate novel allelic combinations, 2) evaluation of new plant cultivars in distinct environments, and 3) selection of superior individuals to be used as parents in the next breeding cycle. While digital technologies and tools are commonly utilized for the latter two stages, many plant research programs still rely on manual annotation and paper tags to track the crosses that constitute the basis of a plant breeding program. This presence of analog data is a crack in the foundation of a digital breeding ecosystem and a significant occasion for errors to be introduced that will propagate through the entire breeding program. However, implementing digital cross tracking into breeding programs is difficult due to the non-standardized workflows that different breeders have adopted. Intercross, an open-source Android app, aims to provide scientists with a robust and simple solution for planning, tracking, and managing the crosses being made each season and aims to serve as the primary tool to digitize crossing data for breeding programs. The simplicity and flexibility of Intercross allows rapid and broad adoption by diverse breeding programs and will solidify the concepts of a digital breeding ecosystem.


title: A test of Radial Acceleration Relation for the {\it Giles et al Chandra} cluster sample

abstract: We carry out a test of the radial acceleration relation (RAR) for a sample of 10 dynamically relaxed and cool-core galaxy clusters imaged by the Chandra X-ray telescope, which was studied in Giles et al. For this sample, we observe that the best-fit RAR shows a very tight residual scatter equal to 0.09 dex. We obtain an acceleration scale of $1.59 \times 10^{-9} m/s^2$, which is about an order of magnitude higher than that obtained for galaxies. Furthermore, the best-fit RAR parameters differ from those estimated from some of the previously analyzed cluster samples, which indicates that the acceleration scale found from the RAR could be of an emergent nature, instead of a fundamental universal scale.


title: Network configuration theory for all networks

abstract: Entangled quantum networks provide great flexibilities and scalabilities for quantum information processing or quantum Internet. Most of results are focused on the nonlocalities of quantum networks. Our goal in this work is to explore new characterizations of any networks with theory-independent configurations. We firstly prove the configuration inequality for any network using the fractional independent set of the associated graph. These inequalities can be built with polynomial-time complexity. The new result allows featuring correlations of any classical network depending only on its network topology. Similar inequalities hold for all entangled quantum networks with any local measurements. This shows an inherent feature of quantum networks under local unitary operations. It is then applied for verifying almost all multipartite entangled pure states with linear complexity, and witnessing quantum network topology without assumption of inputs. The configuration theory is further extended for any no-signalling networks. These results may be interesting in entanglement theory, quantum information processing, and quantum networks.


title: Hyperparameter Optimization: Foundations, Algorithms, Best Practices and Open Challenges

abstract: Most machine learning algorithms are configured by one or several hyperparameters that must be carefully chosen and often considerably impact performance. To avoid a time consuming and unreproducible manual trial-and-error process to find well-performing hyperparameter configurations, various automatic hyperparameter optimization (HPO) methods, e.g., based on resampling error estimation for supervised machine learning, can be employed. After introducing HPO from a general perspective, this paper reviews important HPO methods such as grid or random search, evolutionary algorithms, Bayesian optimization, Hyperband and racing. It gives practical recommendations regarding important choices to be made when conducting HPO, including the HPO algorithms themselves, performance evaluation, how to combine HPO with ML pipelines, runtime improvements, and parallelization. This work is accompanied by an appendix that contains information on specific software packages in R and Python, as well as information and recommended hyperparameter search spaces for specific learning algorithms. We also provide notebooks that demonstrate concepts from this work as supplementary files.


title: Supermassive Black Holes from Bose-Einstein Condensed Dark Matter -- or Black and Dark Separation by Angular Momentum

abstract: Many supermassive black holes (SMBH) of mass $10^{6\sim9}M_{\odot}$ are observed at the center of each galaxy even in the high redshift ($z\approx7$) Universe. To explain the early formation and the common existence of SMBH, we proposed previously the SMBH formation scenario by the gravitational collapse of the coherent dark matter (DM) composed from the Bose-Einstein Condensed (BEC) objects. A difficult problem in this scenario is the inevitable angular momentum which prevents the collapse of BEC. To overcome this difficulty, in this paper, we consider the very early Universe when the BEC-DM acquires its proper angular momentum by the tidal torque mechanism. The balance of the density evolution and the acquisition of the angular momentum determines the mass of the SMBH as well as the mass ratio of BH and the surrounding dark halo (DH). This ratio turns out to be $M_{BH}/M_{DH}\approx10^{-3\sim-5}(M_{tot}/10^{12}\mathrm{M}_{\odot})^{-1/2}$ assuming simple density profiles of the initial DM cloud. This estimate turns out to be consistent with the observations at $z\approx0$ and $z\approx6$, although the data scatter is large. Thus the angular momentum determines the separation of black and dark, \textsl{i.e. }SMBH and DH, in the original DM cloud.


title: Model Selection for Generic Reinforcement Learning

abstract: We address the problem of model selection for the finite horizon episodic Reinforcement Learning (RL) problem where the transition kernel $P^*$ belongs to a family of models $\mathcal{P}^*$ with finite metric entropy. In the model selection framework, instead of $\mathcal{P}^*$, we are given $M$ nested families of transition kernels $\cP_1 \subset \cP_2 \subset \ldots \subset \cP_M$. We propose and analyze a novel algorithm, namely \emph{Adaptive Reinforcement Learning (General)} (\texttt{ARL-GEN}) that adapts to the smallest such family where the true transition kernel $P^*$ lies. \texttt{ARL-GEN} uses the Upper Confidence Reinforcement Learning (\texttt{UCRL}) algorithm with value targeted regression as a blackbox and puts a model selection module at the beginning of each epoch. Under a mild separability assumption on the model classes, we show that \texttt{ARL-GEN} obtains a regret of $\Tilde{\mathcal{O}}(d_{\mathcal{E}}^*H^2+\sqrt{d_{\mathcal{E}}^* \mathbb{M}^* H^2 T})$, with high probability, where $H$ is the horizon length, $T$ is the total number of steps, $d_{\mathcal{E}}^*$ is the Eluder dimension and $\mathbb{M}^*$ is the metric entropy corresponding to $\mathcal{P}^*$. Note that this regret scaling matches that of an oracle that knows $\mathcal{P}^*$ in advance. We show that the cost of model selection for \texttt{ARL-GEN} is an additive term in the regret having a weak dependence on $T$. Subsequently, we remove the separability assumption and consider the setup of linear mixture MDPs, where the transition kernel $P^*$ has a linear function approximation. With this low rank structure, we propose novel adaptive algorithms for model selection, and obtain (order-wise) regret identical to that of an oracle with knowledge of the true model class.


title: Encoding Compositionality in Classical Planning Solutions

abstract: Classical AI planners provide solutions to planning problems in the form of long and opaque text outputs. To aid in the understanding transferability of planning solutions, it is necessary to have a rich and comprehensible representation for both human and computers beyond the current line-by-line text notation. In particular, it is desirable to encode the trace of literals throughout the plan to capture the dependencies between actions selected. The approach of this paper is to view the actions as maps between literals and the selected plan as a composition of those maps. The mathematical theory, called category theory, provides the relevant structures for capturing maps, their compositions, and maps between compositions. We employ this theory to propose an algorithm agnostic, model-based representation for domains, problems, and plans expressed in the commonly used planning description language, PDDL. This category theoretic representation is accompanied by a graphical syntax in addition to a linear notation, similar to algebraic expressions, that can be used to infer literals used at every step of the plan. This provides the appropriate constructive abstraction and facilitates comprehension for human operators. In this paper, we demonstrate this on a plan within the Blocksworld domain.


title: A 2D Georeferenced Map Aided Visual-Inertial System for Precise UAV Localization

abstract: Precise geolocalization is crucial for unmanned aerial vehicles (UAVs). However, most current deployed UAVs rely on the global navigation satellite systems (GNSS) or high precision inertial navigation systems (INS) for geolocalization. In this paper, we propose to use a lightweight visual-inertial system with a 2D georeference map to obtain accurate and consecutive geodetic positions for UAVs. The proposed system firstly integrates a micro inertial measurement unit (MIMU) and a monocular camera as odometry to consecutively estimate the navigation states and reconstruct the 3D position of the observed visual features in the local world frame. To obtain the geolocation, the visual features tracked by the odometry are further registered to the 2D georeferenced map. While most conventional methods perform image-level aerial image registration, we propose to align the reconstructed points to the map points in the geodetic frame; this helps to filter out the large portion of outliers and decouples the negative effects from the horizontal angles. The registered points are then used to relocalize the vehicle in the geodetic frame. Finally, a pose graph is deployed to fuse the geolocation from the aerial image registration and the local navigation result from the visual-inertial odometry (VIO) to achieve consecutive and drift-free geolocalization performance. We have validated the proposed method by installing the sensors to a UAV body rigidly and have conducted two flights in different environments with unknown initials. The results show that the proposed method can achieve less than 4m position error in flight at 100m high and less than 9m position error in flight about 300m high.


title: Convergence rates of vector-valued local polynomial regression

abstract: Non-parametric estimation of functions as well as their derivatives by means of local-polynomial regression is a subject that was studied in the literature since the late 1970's. Given a set of noisy samples of a $\mathcal{C}^k$ smooth function, we perform a local polynomial fit, and by taking its $m$-th derivative we obtain an estimate for the $m$-th function derivative. The known optimal rates of convergence for this problem for a $k$-times smooth function $f:\mathbb{R}^d \to \mathbb{R}$ are $n^{-\frac{k-m}{2k + d}}$. However in modern applications it is often the case that we have to estimate a function operating to $\mathbb{R}^D$, for $D \gg d$ extremely large. In this work, we prove that these same rates of convergence are also achievable by local-polynomial regression in case of a high dimensional target, given some assumptions on the noise distribution. This result is an extension to Stone's seminal work from 1980 to the regime of high-dimensional target domain. In addition, we unveil a connection between the failure probability $\varepsilon$ and the number of samples required to achieve the optimal rates.


title: Making Auctions Robust to Aftermarkets

abstract: A prevalent assumption in auction theory is that the auctioneer has full control over the market and that the allocation she dictates is final. In practice, however, agents might be able to resell acquired items in an aftermarket. A prominent example is the market for carbon emission allowances. These allowances are commonly allocated by the government using uniform-price auctions, and firms can typically trade these allowances among themselves in an aftermarket that may not be fully under the auctioneer's control. While the uniform-price auction is approximately efficient in isolation, we show that speculation and resale in aftermarkets might result in a significant welfare loss. Motivated by this issue, we consider three approaches, each ensuring high equilibrium welfare in the combined market. The first approach is to adopt smooth auctions such as discriminatory auctions. This approach is robust to correlated valuations and to participants acquiring information about others' types. However, discriminatory auctions have several downsides, notably that of charging bidders different prices for identical items, resulting in fairness concerns that make the format unpopular. Two other approaches we suggest are either using posted-pricing mechanisms, or using uniform-price auctions with anonymous reserves. We show that when using balanced prices, both these approaches ensure high equilibrium welfare in the combined market. The latter also inherits many of the benefits from uniform-price auctions such as price discovery, and can be introduced with a minor modification to auctions currently in use to sell carbon emission allowances.