title: To observe, or not to observe, quantum-coherent dark matter in the Milky Way, that is a question

abstract: In recent years, Bose-Einstein-condensed dark matter (BEC-DM) has become a popular alternative to standard, collisionless cold dark matter (CDM). This BEC-DM - also called scalar field dark matter (SFDM) - can suppress structure formation and thereby resolve the small-scale crisis of CDM for a range of boson masses. However, these same boson masses also entail implications for BEC-DM substructure within galaxies, especially within our own Milky Way. Observational signature effects of BEC-DM substructure depend upon its unique quantum-mechanical features and have the potential to reveal its presence. Ongoing efforts to determine the dark matter substructure in our Milky Way will continue and expand considerably over the next years. In this contribution, we will discuss some of the existing constraints and potentially new ones with respect to the impact of BEC-DM onto baryonic tracers. Studying dark matter substructure in our Milky Way will soon resolve the question, whether dark matter behaves classical or quantum on scales of $\lesssim 1$ kpc.

categories: astro-ph.GA astro-ph.CO cond-mat.quant-gas hep-ph quant-ph


title: Primordial Power Spectrum Reconstruction From CMB Weak Lensing Power Spectrum

abstract: We use the modified Richardson-Lucy deconvolution algorithm to reconstruct the Primordial Power Spectrum from the Weak Lensing Power spectrum reconstructed from the CMB anisotropies. This provides an independent window to observe and constrain the PPS $P_R(k)$ along different $k$ scales as compared to CMB Temperature Power Spectrum. The Weak Lensing Power spectrum does not contain secondary variations in power and hence is cleaner, unlike the Temperature Power spectrum which suffers from lensing which is visible in its PPS reconstructions. We demonstrate that the physical behaviour of the weak lensing kernel is different from the temperature kernel and reconstructs broad features over $k$. We provide an in-depth analysis of the error propagation using simulated data and Monte-Carlo sampling, based on Planck best-fit cosmological parameters to simulate the data and cosmic variance limited error bars. The error and initial condition analysis provides a clear picture of the optimal reconstruction region for the estimator and we provide and algorithm for $P_R(k)$ sampling to be used based on the given data, errors and its binning properties. Eventually we plan to use this method on actual mission data and provide a cross reference to PPS reconstructed from other sectors and any possible features in them.


title: Twisted cubic and point-line incidence matrix in $\mathrm{PG}(3,q)$

abstract: We consider the structure of the point-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ connected with orbits of points and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of points are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines through every point and of points lying on every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.


title: 0

abstract: What is the funniest number in cryptography? 0. The reason is that for all x, x*0 = 0, i.e., the equation is always satisfied no matter what x is. This article discusses crypto bugs in four BLS signatures' libraries (ethereum/py ecc, supranational/blst, herumi/bls, sigp/milagro bls) that revolve around 0. Furthermore, we develop "splitting zero" attacks to show a weakness in the proof-of-possession aggregate signature scheme standardized in BLS RFC draft v4. Eth2 bug bounties program generously awarded $35,000 in total for the reported bugs.


title: Linear inference problems with deterministic constraints

abstract: Methods are described for the solution of linear inference problems subject to deterministic constraints. The approach builds on work by Backus (1970a,b,c) and Parker (1977), but a range useful advances are suggested to address both conceptual and practical issues. The theory is motivated by, and illustrated with, the estimation of a finite number of a function's spherical harmonic coefficients from a finite set of its point values. Numerical examples are included to demonstrate that the methods can be efficiently applied to realistic problems.


title: BFV extensions for mechanical systems with Lie-2 symmetry

abstract: We consider mechanical systems on $T^*M$ with possibly irregular and reducible first class contraints linear in the momenta, which thus correspond to singular foliations on $M$. According to a recent result, the latter ones have a Lie-infinity algebroid $(\cal M,Q)$ covering them, where we restrict to the case of Lie-2 algebroids. We propose to consider $T^*\cal M$ as a potential BFV extended phase space of the constrained system, such that the canonical lift of the nilpotent vector field $Q$ yields automatically a solution to the BFV master equation. We show that in this case, the BFV extension of the Hamiltonian, providing a second corner stone of the BFV formalism, may be obstructed. We identify the corresponding complex governing this second extension problem explicitly (the first extension problem was circumvented by means of the lift of the Lie-2 algebroid structure). We repeatedly come back to the example of angular momenta on $T^*\mathbb R^3$: in this procedure, the standard free Hamiltonian does not have a BFV extension -- while it does so on $T^*(\mathbb R^3 \backslash \{0 \})$, with a relatively involved ghost contribution singular at the origin.


title: Triangulation and persistence: Algebra 101

abstract: This paper lays the foundations of triangulated persistence categories (TPC), which brings together persistence modules with the theory of triangulated categories. As a result we introduce several measurements and metrics on the set of objects of some triangulated categories. We also provide examples of TPCs coming from algebra, algebraic topology, microlocal sheaf theory and symplectic topology.


title: User Preference-aware Fake News Detection

abstract: Disinformation and fake news have posed detrimental effects on individuals and society in recent years, attracting broad attention to fake news detection. The majority of existing fake news detection algorithms focus on mining news content and/or the surrounding exogenous context for discovering deceptive signals; while the endogenous preference of a user when he/she decides to spread a piece of fake news or not is ignored. The confirmation bias theory has indicated that a user is more likely to spread a piece of fake news when it confirms his/her existing beliefs/preferences. Users' historical, social engagements such as posts provide rich information about users' preferences toward news and have great potential to advance fake news detection. However, the work on exploring user preference for fake news detection is somewhat limited. Therefore, in this paper, we study the novel problem of exploiting user preference for fake news detection. We propose a new framework, UPFD, which simultaneously captures various signals from user preferences by joint content and graph modeling. Experimental results on real-world datasets demonstrate the effectiveness of the proposed framework. We release our code and data as a benchmark for GNN-based fake news detection: https://github.com/safe-graph/GNN-FakeNews.


title: Consistency of invariance-based randomization tests

abstract: Invariance-based randomization tests -- such as permutation tests, rotation tests, or sign changes -- are an important and widely used class of statistical methods. They allow drawing inferences under weak assumptions on the data distribution. Most work focuses on their type I error control properties, while their consistency properties are much less understood. We develop a general framework and a set of results on the consistency of invariance-based randomization tests in signal-plus-noise models. Our framework is grounded in the deep mathematical area of representation theory. We allow the transforms to be general compact topological groups, such as rotation groups, acting by general linear group representations. We study test statistics with a generalized sub-additivity property. We apply our framework to a number of fundamental and highly important problems in statistics, including sparse vector detection, testing for low-rank matrices in noise, sparse detection in linear regression, and two-sample testing. Comparing with minimax lower bounds, we find perhaps surprisingly that in some cases, randomization tests detect signals at the minimax optimal rate.


title: Methods of Continuation and their Implementation in the COCO Software Platform with Application to Delay Differential Equations

abstract: This paper treats comprehensively the construction of problems from nonlinear dynamics and constrained optimization amenable to parameter continuation techniques and with particular emphasis on multi-segment boundary-value problems with delay. The discussion is grounded in the context of the COCO software package and its explicit support for community-driven development. To this end, the paper first formalizes the COCO construction paradigm for augmented continuation problems compatible with simultaneous analysis of implicitly defined manifolds of solutions to nonlinear equations and the corresponding adjoint variables associated with optimization of scalar objective functions along such manifolds. The paper uses applications to data assimilation from finite time histories and phase response analysis of periodic orbits to identify a universal paradigm of construction that permits abstraction and generalization. It then details the theoretical framework for a COCO-compatible toolbox able to support the analysis of a large family of delay-coupled multi-segment boundary-value problems, including periodic orbits, quasiperiodic orbits, connecting orbits, initial-value problems, and optimal control problems, as illustrated in a suite of numerical examples. The paper aims to present a pedagogical treatment that is accessible to the novice and inspiring to the expert by appealing to the many senses of the applied nonlinear dynamicist. Sprinkled among a systematic discussion of problem construction, graph representations of delay-coupled problems, and vectorized formulas for problem discretization, the paper includes an original derivation using Lagrangian sensitivity analysis of phase-response functionals for periodic-orbit problems in abstract Banach spaces, as well as a demonstration of the regularizing benefits of multi-dimensional manifold continuation for near-singular problems.


title: GCD of sums of $k$ consecutive Fibonacci, Lucas, and generalized Fibonacci numbers

abstract: We explore the sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In particular, we give precise values for the greatest common divisor (GCD) of all sums of $k$ consecutive terms of $\left(G_n\right)_{n \geq 0}$. When $G_0 = 0$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Fibonacci numbers, and when $G_0 = 2$ and $G_1 = 1$, we yield the GCD of all sums of $k$ consecutive Lucas numbers. Denoting the GCD of all sums of $k$ consecutive generalized Fibonacci numbers by the symbol $\mathcal{G}_{G_0, G_1}\!(k)$, we give two tantalizing characterizations for these values, one involving a simple formula in $k$ and another involving generalized Pisano periods: $$\mathcal{G}_{G_0, G_1}\!(k) = \gcd(G_{k+1}-G_1,\, G_{k+2}-G_2)\; \mbox{and}$$ $$\mathcal{G}_{G_0, G_1}\!(k) = \mathrm{lcm}\{m \mid \pi_{G_0,G_1}\!(m) \text{ divides } k\},$$ where $\pi_{G_0,G_1}\!(m)$ denotes the generalized Pisano period of the generalized Fibonacci sequence modulo $m$. The fact that these vastly different-looking formulas coincide leads to some surprising and delightful new understandings of the Fibonacci and Lucas numbers.


title: Stability of local gamma factors arising from the doubling method for general spin groups

abstract: In this work we prove that the local $\gamma$-factor arising from the doubling integrals for split general spin groups is stable. This deep property of the $\gamma$-factor constitutes an important ingredient in the application of the (generalized) doubling method to the construction of a global functorial lift. We obtain our result by adapting the arguments of Rallis and Soudry who proved the stability property for symplectic and orthogonal groups.


title: Multiple harmonic sums $\mathcal{H}_{\lbrace s\rbrace^{2l}=1;p-1}$ modulo $p^4$ and applications

abstract: Wilson's theorem for the factorial got generalized to the moduli $p^2$ in 1900 and $p^3$ in 2000 by J.W.L. Glaisher and Z-H. Sun respectively. This paper which studies more generally the multiple harmonic sums $\mathcal{H}_{\lbrace s\rbrace^{2l}=1;p-1},2\leq 2l\leq p-1$ modulo $p^4$ in association with the Stirling numbers $\left[\begin{array}{l}\;\;\;p\\2s-1\end{array}\right], 2\leq 2s\leq p-1$ modulo $p^4$ is concerned with establishing a generalization of Wilson, Glaisher and Sun's results to the modulus $p^4$. We also break p-residues of convolutions of three divided Bernoulli numbers of respective orders $p-1$, $p-3$ and $p-5$ into smaller pieces and generalize some results of Sun for some of the generalized harmonic numbers of order $p-1$ modulo $p^4$.


title: Contextual-Lexicon Approach for Abusive Language Detection

abstract: Since a lexicon-based approach is more elegant scientifically, explaining the solution components and being easier to generalize to other applications, this paper provides a new approach for offensive language and hate speech detection on social media. Our approach embodies a lexicon of implicit and explicit offensive and swearing expressions annotated with contextual information. Due to the severity of the social media abusive comments in Brazil, and the lack of research in Portuguese, Brazilian Portuguese is the language used to validate the models. Nevertheless, our method may be applied to any other language. The conducted experiments show the effectiveness of the proposed approach, outperforming the current baseline methods for the Portuguese language.


title: Time-dependent coherent squeezed states in a nonunitary approach

abstract: In this work, we have applied the integrals of motion method in a nonunitary approach and so obtained the time-dependent displacement and squeezed parameters of the coherent squeezed states (CSS). On its turn, CSS for one-dimensional systems with general time-dependent quadratic Hamiltonian are constructed. We discuss the properties of these states, in particular, minimization of uncertainty relation and transition probabilities. As an application, we calculate the CSS of an oscillator with a time-dependent frequency and shown that the solution can be obtained from these well-known Mathieu's equation.


title: How the formation of Neptune shapes the Kuiper belt

abstract: Inward migration of giant planets is predicted by hydrodynamical simulations during the gas phase of the protoplanetary disc. The phenomenon is also invoked to explain resonant and near-resonant exoplanetary system structures. The early inward migration may also have affected our Solar System and sculpted its different minor planet reservoirs. In this study we explore how the early inward migration of the giant planets shapes the Kuiper Belt. We test different scenarios with only Neptune and Uranus and with all the four giant planets, including also some models with the subsequent outward planetesimal-driven migration of Neptune after the gas dispersal. We find objects populating mean motion resonances even when Neptune and Uranus do not migrate at all or only migrate inwards. When the planets are fixed, planetesimals stick only temporarily to the mean motion resonances, while inwards migration yields a new channel to populate the resonances without invoking convergent migration. In these cases, however, it is hard to populate mean motion resonances that do not cross the planetesimal disc (such as 2:1 and 5:2) and there is a lack of resonant KBOs that cross Neptune's orbit. These Neptune crossers are an unambiguous signature of the outward migration of Neptune. The starting position and the growth rate of Neptune matters for the contamination of the classical Kuiper belt region from neighbouring regions. The eccentricity and inclination space of the hot classicals and the scattered disc region become much more populated when all the giant planets are included. The 5:2 resonance with Neptune becomes increasingly populated with deeper inward migrations of Neptune. The overall inclination distribution, however, is still narrower than from observations, as is generally the case for Kuiper belt population models.


title: The DP Color Function of Joins and Vertex-Gluings of Graphs

abstract: DP-coloring (also called correspondence coloring) is a generalization of list coloring that has been widely studied in recent years after its introduction by Dvo\v{r}\'{a}k and Postle in 2015. As the analogue of the chromatic polynomial $P(G,m)$, the DP color function of a graph $G$, denoted $P_{DP}(G,m)$, counts the minimum number of DP-colorings over all possible $m$-fold covers. Chromatic polynomials for joins and vertex-gluings of graphs are well understood, but the effect of these graph operations on the DP color function is not known. In this paper we make progress on understanding the DP color function of the join of a graph with a complete graph and vertex-gluings of certain graphs. We also develop tools to study the DP color function under these graph operations, and we study the threshold (smallest $m$) beyond which the DP color function of a graph constructed with these operations equals its chromatic polynomial.


title: A Bi-Encoder LSTM Model For Learning Unstructured Dialogs

abstract: Creating a data-driven model that is trained on a large dataset of unstructured dialogs is a crucial step in developing Retrieval-based Chatbot systems. This paper presents a Long Short Term Memory (LSTM) based architecture that learns unstructured multi-turn dialogs and provides results on the task of selecting the best response from a collection of given responses. Ubuntu Dialog Corpus Version 2 was used as the corpus for training. We show that our model achieves 0.8%, 1.0% and 0.3% higher accuracy for Recall@1, Recall@2 and Recall@5 respectively than the benchmark model. We also show results on experiments performed by using several similarity functions, model hyper-parameters and word embeddings on the proposed architecture


title: Embedding Grid Graphs on Surfaces

abstract: In this paper, we analyze embeddings of grid graphs on orientable surfaces. We determine the genus of a large class of k-dimensional grid graphs and effective two-sided bounds for the genus of any 3-dimensional grid graph, both in terms of a grid graph's combinatorics. As an application, we provide a complete classification of planar and toroidal grid graphs. Our work requires a variety of combinatorial arguments to determine effective lower bounds on the genus of a grid graph, along with explicitly constructing embeddings of grid graphs on surfaces to determine effective upper bounds on their genera.


title: Current distribution and group velocities for electronic states on $\alpha-\mathcal{T}_3$ lattice ribbons in a magnetic field

abstract: We study the group velocities of electronic states and distributions of currents in $\alpha-\mathcal{T}_3$ lattice ribbons under a uniform perpendicular magnetic field. Using the effective low-energy model we analyze all possible simple configurations of lattice termination with zigzag and armchair boundaries. We show that the edge current depends on the type of zigzag termination, and can be zero or finite near the edge. Also similar dependence is observed in the case of armchair termination and is related to the size of the ribbon. The nonzero current flowing along the edge can be used a signature of formation of propagating edge states. Also we show the qualitative difference in the distribution of the edge current between the case of $\alpha=1$ (dice model) and other values of model parameter $\alpha\neq 1$ for armchair-terminated ribbons.


title: Probing lipid membrane bending mechanics using gold nanorod tracking

abstract: Lipid bilayer membranes undergo rapid bending undulations with wavelengths from tens of nanometers to tens of microns due to thermal fluctuations. Here, we probe such undulations and the membranes' mechanics by measuring the time-varying orientation of single gold nanorods (GNRs) adhered to the membrane, using high-speed dark field microscopy. In a lipid vesicle, such measurements allow the determination of the membrane's viscosity, bending rigidity and tension as well as the friction coefficient for sliding of the monolayers over one another. The in-plane rotation of the GNR is hindered by undulations in a membrane tension dependent manner, consistent with simulations. The motion of single GNRs adhered to the plasma membrane of living cultured cells similarly reveals that membrane's complex physics and coupling to the cell's actomyosin cortex.


title: Multiscale modelling of oxygenic photogranules

abstract: This work presents a mathematical model which describes both the genesis and growth of oxygenic photogranules (OPGs) and the related treatment process. The photogranule has been modelled as a free boundary domain with radial symmetry, which evolves over time as a result of microbial growth, attachment and detachment processes. A system of hyperbolic and parabolic PDEs has been considered to model the advective transport and growth of sessile biomass and the diffusive transport and conversion of soluble substrates. The reactor has been modelled as a sequencing batch reactor (SBR) through a system of first order IDEs. Phototrophic biomass has been considered for the first time in granular biofilms, and cyanobacteria and microalgae are taken into account separately to model their differences in growth rate and light harvesting and utilization. To describe the key role of cyanobacteria in the photogranules formation process, the attachment velocity of all suspended microbial species has been modelled as a function of the cyanobacteria concentration in suspended form. The model takes into account the main biological aspects and processes involved in OPGs based systems: heterotrophic and photoautotrophic activities of cyanobacteria and microalgae, metabolic activity of heterotrophic and nitrifying bacteria, microbial decay, EPS secrection, diffusion and conversion of soluble substrates (inorganic and organic carbon, ammonia, nitrate and oxygen), symbiotic and competitive interactions between the different microbial species, day-night cycle, light diffusion and attenuation across the granular biofilm and photoinhibion phenomena. The model has been integrated numerically, investigating the evolution and microbial composition of photogranules and the treatment efficiency of the OPGs-based system. The results show the consistency of the model and confirm the effectiveness of the OPGs technology.


title: HyperRNN: Deep Learning-Aided Downlink CSI Acquisition via Partial Channel Reciprocity for FDD Massive MIMO

abstract: In order to unlock the full advantages of massive multiple input multiple output (MIMO) in the downlink, channel state information (CSI) is required at the base station (BS) to optimize the beamforming matrices. In frequency division duplex (FDD) systems, full channel reciprocity does not hold, and CSI acquisition generally requires downlink pilot transmission followed by uplink feedback. Prior work proposed the end-to-end design of pilot transmission, feedback, and CSI estimation via deep learning. In this work, we introduce an enhanced end-to-end design that leverages partial uplink-downlink reciprocity and temporal correlation of the fading processes by utilizing jointly downlink and uplink pilots. The proposed method is based on a novel deep learning architecture -- HyperRNN -- that combines hypernetworks and recurrent neural networks (RNNs) to optimize the transfer of long-term channel features from uplink to downlink. Simulation results demonstrate that the HyperRNN achieves a lower normalized mean square error (NMSE) performance, and that it reduces requirements in terms of pilot lengths.


title: Vassiliev measures of complexity for open and closed curves in 3-space

abstract: In this manuscript we define Vassiliev measures of complexity for open curves in 3-space. These are related to the coefficients of the enhanced Jones polynomial of open curves in 3-space. These Vassiliev measures are continuous functions of the curve coordinates and as the ends of the curve tend to coincide, they converge to the corresponding Vassiliev invariants of the resulting knot. We focus on the second Vassiliev measure from the enhanced Jones polynomial for closed and open curves in 3-space. For closed curves, this second Vassiliev measure can be computed by a Gauss code diagram and it has an integral formulation, the double alternating self-linking integral. The double alternating self-linking integral is a topological invariant for closed curves and a continuous function of the curve coordinates for open curves in 3-space. For polygonal curves, the double alternating self-linking integral obtains a simpler expression in terms of geometric probabilities. For a polygonal curve with 4 edges, the double alternating self-linking integral coincides with the signed geometric probability of obtaining the knotoid k2.1 in a random projection direction.


title: Learning to Better Segment Objects from Unseen Classes with Unlabeled Videos

abstract: The ability to localize and segment objects from unseen classes would open the door to new applications, such as autonomous object learning in active vision. Nonetheless, improving the performance on unseen classes requires additional training data, while manually annotating the objects of the unseen classes can be labor-extensive and expensive. In this paper, we explore the use of unlabeled video sequences to automatically generate training data for objects of unseen classes. It is in principle possible to apply existing video segmentation methods to unlabeled videos and automatically obtain object masks, which can then be used as a training set even for classes with no manual labels available. However, our experiments show that these methods do not perform well enough for this purpose. We therefore introduce a Bayesian method that is specifically designed to automatically create such a training set: Our method starts from a set of object proposals and relies on (non-realistic) analysis-by-synthesis to select the correct ones by performing an efficient optimization over all the frames simultaneously. Through extensive experiments, we show that our method can generate a high-quality training set which significantly boosts the performance of segmenting objects of unseen classes. We thus believe that our method could open the door for open-world instance segmentation using abundant Internet videos.


title: Reranking Machine Translation Hypotheses with Structured and Web-based Language Models

abstract: In this paper, we investigate the use of linguistically motivated and computationally efficient structured language models for reranking N-best hypotheses in a statistical machine translation system. These language models, developed from Constraint Dependency Grammar parses, tightly integrate knowledge of words, morphological and lexical features, and syntactic dependency constraints. Two structured language models are applied for N-best rescoring, one is an almost-parsing language model, and the other utilizes more syntactic features by explicitly modeling syntactic dependencies between words. We also investigate effective and efficient language modeling methods to use N-grams extracted from up to 1 teraword of web documents. We apply all these language models for N-best re-ranking on the NIST and DARPA GALE program 2006 and 2007 machine translation evaluation tasks and find that the combination of these language models increases the BLEU score up to 1.6% absolutely on blind test sets.


title: Causal Learning for Socially Responsible AI

abstract: There have been increasing concerns about Artificial Intelligence (AI) due to its unfathomable potential power. To make AI address ethical challenges and shun undesirable outcomes, researchers proposed to develop socially responsible AI (SRAI). One of these approaches is causal learning (CL). We survey state-of-the-art methods of CL for SRAI. We begin by examining the seven CL tools to enhance the social responsibility of AI, then review how existing works have succeeded using these tools to tackle issues in developing SRAI such as fairness. The goal of this survey is to bring forefront the potentials and promises of CL for SRAI.


title: Computational Group Selection

abstract: Humans spend a significant part of their lives being a part of groups. In this document we propose research directions that would make it possible to computationally form productive groups. We bring to light several issues that need to be addressed in the pursuit of this goal (not amplifying existing biases and inequality, for example), as well as multiple avenues to study that would help achieve us this task efficiently.


title: Target-free Extrinsic Calibration of a 3D-Lidar and an IMU

abstract: This work presents a novel target-free extrinsic calibration algorithm for a 3D Lidar and an IMU pair using an Extended Kalman Filter (EKF) which exploits the \textit{motion based calibration constraint} for state update. The steps include, data collection by motion excitation of the Lidar Inertial Sensor suite along all degrees of freedom, determination of the inter sensor rotation by using rotational component of the aforementioned \textit{motion based calibration constraint} in a least squares optimization framework, and finally, the determination of inter sensor translation using the \textit{motion based calibration constraint} for state update in an Extended Kalman Filter (EKF) framework. We experimentally validate our method using data collected in our lab and open-source (https://github.com/unmannedlab/imu_lidar_calibration) our contribution for the robotics research community.


title: On groups of finite upper rank

abstract: The `upper rank' of a group is the supremum of the (Pr\"{u}fer) ranks of its finite quotients, and for a prime $p$, the `upper $p$-rank' is the supremum of the sectional $p$-ranks of those quotients. The former is finite if and only if the latter are finitely bounded as $p$ ranges over all primes (a deep fact). Here we discuss the question: if the upper $p$-ranks of a finitely generated group $G$ are all finite, are they necessarily bounded? The case where $G$ is a soluble group is still an open problem.


title: Speeding up Computational Morphogenesis with Online Neural Synthetic Gradients

abstract: A wide range of modern science and engineering applications are formulated as optimization problems with a system of partial differential equations (PDEs) as constraints. These PDE-constrained optimization problems are typically solved in a standard discretize-then-optimize approach. In many industry applications that require high-resolution solutions, the discretized constraints can easily have millions or even billions of variables, making it very slow for the standard iterative optimizer to solve the exact gradients. In this work, we propose a general framework to speed up PDE-constrained optimization using online neural synthetic gradients (ONSG) with a novel two-scale optimization scheme. We successfully apply our ONSG framework to computational morphogenesis, a representative and challenging class of PDE-constrained optimization problems. Extensive experiments have demonstrated that our method can significantly speed up computational morphogenesis (also known as topology optimization), and meanwhile maintain the quality of final solution compared to the standard optimizer. On a large-scale 3D optimal design problem with around 1,400,000 design variables, our method achieves up to 7.5x speedup while producing optimized designs with comparable objectives.


title: Effective $f(R)$ actions for modified Loop Quantum Cosmologies via order reduction

abstract: General Relativity is an extremely successful theory, at least for weak gravitational fields, however, it breaks down at very high energies, such as in correspondence of the initial singularity. Quantum Gravity is expected to provide more physical insights concerning this open question. Indeed, one alternative scenario to the Big Bang, that manages to completely avoid the singularity, is offered by Loop Quantum Cosmology (LQC), which predicts that the Universe undergoes a collapse to an expansion through a bounce. In this work, we use metric $f(R)$ gravity to reproduce the modified Friedmann equations which have been obtained in the context of modified loop quantum cosmologies. To achieve this, we apply an order reduction method to the $f(R)$ field equations, and obtain covariant effective actions that lead to a bounce, for specific models of modified LQC, considering matter as a scalar field.


title: Accuracy Improvement for Fully Convolutional Networks via Selective Augmentation with Applications to Electrocardiogram Data

abstract: Deep learning methods have shown suitability for time series classification in the health and medical domain, with promising results for electrocardiogram data classification. Successful identification of myocardial infarction holds life saving potential and any meaningful improvement upon deep learning models in this area is of great interest. Conventionally, data augmentation methods are applied universally to the training set when data are limited in order to ameliorate data resolution or sample size. In the method proposed in this study, data augmentation was not applied in the context of data scarcity. Instead, samples that yield low confidence predictions were selectively augmented in order to bolster the model's sensitivity to features or patterns less strongly associated with a given class. This approach was tested for improving the performance of a Fully Convolutional Network. The proposed approach achieved 90 percent accuracy for classifying myocardial infarction as opposed to 82 percent accuracy for the baseline, a marked improvement. Further, the accuracy of the proposed approach was optimal near a defined upper threshold for qualifying low confidence samples and decreased as this threshold was raised to include higher confidence samples. This suggests exclusively selecting lower confidence samples for data augmentation comes with distinct benefits for electrocardiogram data classification with Fully Convolutional Networks.


title: Move Schedules: Fast persistence computations in coarse dynamic settings

abstract: Matrix reduction is the standard procedure for computing the persistent homology of a filtered simplicial complex with $m$ simplices. Its output is a particular decomposition of the total boundary matrix, from which the persistence diagrams and generating cycles are derived. Persistence diagrams are known to vary continuously with respect to their input, motivating the study of their computation for time-varying filtered complexes. Computing persistence dynamically can be reduced to maintaining a valid decomposition under adjacent transpositions in the filtration order. Since there are $O(m^2)$ such transpositions, this maintenance procedure exhibits limited scalability and is often too fine for many applications. We propose a coarser strategy for maintaining the decomposition over a 1-parameter family of filtrations. By reduction to a particular longest common subsequence problem, we show that the minimal number of decomposition updates $d$ can be found in $O(m \log \log m)$ time and $O(m)$ space, and that the corresponding sequence of permutations -- which we call a schedule -- can be constructed in $O(d m \log m)$ time. We also show that, in expectation, the storage needed to employ this strategy is actually sublinear in $m$. Exploiting this connection, we show experimentally that the decrease in operations to compute diagrams across a family of filtrations is proportional to the difference between the expected quadratic number of states and the proposed sublinear coarsening. Applications to video data, dynamic metric space data, and multiparameter persistence are also presented.


title: Efficiently Partitioning the Edges of a 1-Planar Graph into a Planar Graph and a Forest

abstract: 1-planar graphs are graphs that can be drawn in the plane such that any edge intersects with at most one other edge. Ackerman showed that the edges of a 1-planar graph can be partitioned into a planar graph and a forest, and claims that the proof leads to a linear time algorithm. However, it is not clear how one would obtain such an algorithm from his proof. In this paper, we first reprove Ackerman's result (in fact, we prove a slightly more general statement) and then show that the split can be found in linear time by using an edge-contraction data structure by Holm et al.


title: Class Equilibrium using Coulomb's Law

abstract: Projection algorithms learn a transformation function to project the data from input space to the feature space, with the objective of increasing the inter-class distance. However, increasing the inter-class distance can affect the intra-class distance. Maintaining an optimal inter-class separation among the classes without affecting the intra-class distance of the data distribution is a challenging task. In this paper, inspired by the Coulomb's law of Electrostatics, we propose a new algorithm to compute the equilibrium space of any data distribution where the separation among the classes is optimal. The algorithm further learns the transformation between the input space and equilibrium space to perform classification in the equilibrium space. The performance of the proposed algorithm is evaluated on four publicly available datasets at three different resolutions. It is observed that the proposed algorithm performs well for low-resolution images.


title: Improved Hopfield Network Optimization using Manufacturable Three-terminal Electronic Synapses

abstract: We describe via simulation novel optimization algorithms for a Hopfield neural network constructed using manufacturable three-terminal Silicon-Oxide-Nitride-Oxide-Silicon (SONOS) synaptic devices. We first present a computationally-light, memristor-based, highly accurate compact model for the SONOS. Using the compact model, we describe techniques of simulated annealing in Hopfield networks by exploiting imperfect problem definitions, current leakage, and the continuous tunability of the SONOS to enable transient chaotic group dynamics. We project improvements in energy consumption and latency for optimization relative to the best CPUs and GPUs by at least 4 orders of magnitude, and also exceeding the best projected memristor-based hardware; along with a 100-fold increase in error-resilient hardware size (i.e., problem size).


title: Spatially Coherent Clustering Based on Orthogonal Nonnegative Matrix Factorization

abstract: Classical approaches in cluster analysis are typically based on a feature space analysis. However, many applications lead to datasets with additional spatial information and a ground truth with spatially coherent classes, which will not necessarily be reconstructed well by standard clustering methods. Motivated by applications in hyperspectral imaging, we introduce in this work clustering models based on orthogonal nonnegative matrix factorization, which include an additional total variation (TV) regularization procedure on the cluster membership matrix to enforce the needed spatial coherence in the clusters. We propose several approaches with different optimization techniques, where the TV regularization is either performed as a subsequent postprocessing step or included into the clustering algorithm. Finally, we provide a numerical evaluation of all proposed methods on a hyperspectral dataset obtained from a matrix-assisted laser desorption/ionisation imaging measurement, which leads to significantly better clustering results compared to classical clustering models.


title: StegaPos: Preventing Unwanted Crops and Replacements with Imperceptible Positional Embeddings

abstract: We present a learned, spatially-varying steganography system that allows detecting when and how images have been altered by cropping, splicing or inpainting after publication. The system comprises a learned encoder that imperceptibly hides distinct positional signatures in every local image region before publication, and an accompanying learned decoder that extracts the steganographic signatures to determine, for each local image region, its 2D positional coordinates within the originally-published image. Crop and replacement edits become detectable by the inconsistencies they cause in the hidden positional signatures. Using a prototype system for small $(400 \times 400)$ images, we show experimentally that simple CNN encoder and decoder architectures can be trained jointly to achieve detection that is reliable and robust, without introducing perceptible distortion. This approach could help individuals and image-sharing platforms certify that an image was published by a trusted source, and also know which parts of such an image, if any, have been substantially altered since publication.


title: Magnetoresistance driven by the magnetic Berezinskii-Kosterlitz-Thouless transition

abstract: While the Berezinskii-Kosterlitz-Thouless transition (BKT) has been under intense scrutiny for decades, unambiguous experimental signatures in magnetic systems remain elusive. Here, we investigate the interplay between electronic and magnetic degrees of freedom near the BKT transition. Focusing on a metal with easy-plane ferromagnetic order, we establish a framework that accounts both for the coupling between the charge current and the flow of topological magnetic defects and for electron scattering on their inhomogeneous spin texture. We show that electron scattering is responsible for a temperature-dependent magnetoresistance effect scaling as the density of the topological defects, which is expected to increase dramatically above the BKT transition temperature. Our findings call for further experimental investigations.


title: Text-to-Speech Synthesis Techniques for MIDI-to-Audio Synthesis

abstract: Speech synthesis and music audio generation from symbolic input differ in many aspects but share some similarities. In this study, we investigate how text-to-speech synthesis techniques can be used for piano MIDI-to-audio synthesis tasks. Our investigation includes Tacotron and neural source-filter waveform models as the basic components, with which we build MIDI-to-audio synthesis systems in similar ways to TTS frameworks. We also include reference systems using conventional sound modeling techniques such as sample-based and physical-modeling-based methods. The subjective experimental results demonstrate that the investigated TTS components can be applied to piano MIDI-to-audio synthesis with minor modifications. The results also reveal the performance bottleneck -- while the waveform model can synthesize high quality piano sound given natural acoustic features, the conversion from MIDI to acoustic features is challenging. The full MIDI-to-audio synthesis system is still inferior to the sample-based or physical-modeling-based approaches, but we encourage TTS researchers to test their TTS models for this new task and improve the performance.


title: The Effects of Multiple Modes and Reduced Symmetry on the Rapidity and Robustness of Slow Contraction

abstract: We demonstrate that the rapidity and robustness of slow contraction in homogenizing and flattening the universe found in simulations in which the initial conditions were restricted to non-perturbative variations described by a single fourier mode along only a single spatial direction are in general enhanced if the initial variations are along two spatial directions, include multiple modes, and thereby have reduced symmetry. Particularly significant are shear effects that only become possible when variations are allowed along two or more spatial dimensions. Based on the numerical results, we conjecture that the counterintuitive enhancement occurs because more degrees of freedom are activated which drive spacetime away from an unstable Kasner fixed point and towards the stable Friedmann-Robertson-Walker fixed point.


title: Wise-SrNet: A Novel Architecture for Enhancing Image Classification by Learning Spatial Resolution of Feature Maps

abstract: One of the main challenges since the advancement of convolutional neural networks is how to connect the extracted feature map to the final classification layer. VGG models used two sets of fully connected layers for the classification part of their architectures, which significantly increased the number of models' weights. ResNet and the next deep convolutional models used the Global Average Pooling (GAP) layer to compress the feature map and feed it to the classification layer. Although using the GAP layer reduces the computational cost, but also causes losing spatial resolution of the feature map, which results in decreasing learning efficiency. In this paper, we aim to tackle this problem by replacing the GAP layer with a new architecture called Wise-SrNet. It is inspired by the depthwise convolutional idea and is designed for processing spatial resolution while not increasing computational cost. We have evaluated our method using three different datasets: Intel Image Classification Challenge, MIT Indoors Scenes, and a part of the ImageNet dataset. We investigated the implementation of our architecture on several models of the Inception, ResNet, and DenseNet families. Applying our architecture has revealed a significant effect on increasing convergence speed and accuracy. Our Experiments on images with 224*224 resolution increased the Top-1 accuracy between 2% to 8% on different datasets and models. Running our models on 512*512 resolution images of the MIT Indoors Scenes dataset showed a notable result of improving the Top-1 accuracy within 3% to 26%. We will also demonstrate the GAP layer's disadvantage when the input images are large and the number of classes is not few. In this circumstance, our proposed architecture can do a great help in enhancing classification results. The code is shared at https://github.com/mr7495/image-classification-spatial.


title: Vulnerabilities and Open Issues of Smart Contracts: A Systematic Mapping

abstract: Smart Contracts (SCs) are programs stored in a Blockchain to ensure agreements between two or more parties. Due to the unchangeable essence of Blockchain, failures or errors in SCs become perpetual once published. The reliability of SCs is essential to avoid financial losses. So, SCs must be checked to ensure the absence of errors. Hence, many studies addressed new methods and tools for zero-bug software in SCs. This paper conducted a systematic literature mapping identifying initiatives and tools to analyze SCs and how to deal with the identified vulnerabilities. Besides, this work identifies gaps that may lead to research topics for future work.


title: End-to-End Ascent-Entry Mission Performance Optimization Using Gaussian Quadrature Collocation

abstract: The performance optimization for a combined ascent-entry mission subject to constraints on heating rate and heating load is studied. The ascent vehicle is modeled as a three-stage rocket that places the vehicle onto a suborbital exo-atmopheric trajectory after which the vehicle undergoes an unpowered entry and descent to a vertically downward terminal condition. The entry vehicle is modeled as a high lift-to-drag ratio vehicle that is capable of withstanding high levels of thermal and structural loads. A performance index is designed to improve control margin while attenuating phugoid oscillations during atmospheric entry. Furthermore, a mission corresponding to a prototype launch and target point is used in this study. The trajectory optimization problem is formulated as a multiple-phase optimal control problem, and the optimal control problem is solved using an adaptive Gaussian quadrature collocation method. A key aspect of the optimized trajectories is that, for particular ranges of maximum allowable heating rate and heating load during entry, relatively small adjustments made during ascent can potentially decrease the control effort required during atmospheric entry. Outside of these ranges for maximum allowable heating rate and heating load, however, it is found that the required control effort increases and eventually saturates the commanded angle of attack upon initial descent. The key features of the optimized trajectories and controls are identified, and the approach developed in this paper provides a systematic method for end-to-end ascent-entry trajectory optimization.


title: dualFace:Two-Stage Drawing Guidance for Freehand Portrait Sketching

abstract: In this paper, we propose dualFace, a portrait drawing interface to assist users with different levels of drawing skills to complete recognizable and authentic face sketches. dualFace consists of two-stage drawing assistance to provide global and local visual guidance: global guidance, which helps users draw contour lines of portraits (i.e., geometric structure), and local guidance, which helps users draws details of facial parts (which conform to user-drawn contour lines), inspired by traditional artist workflows in portrait drawing. In the stage of global guidance, the user draws several contour lines, and dualFace then searches several relevant images from an internal database and displays the suggested face contour lines over the background of the canvas. In the stage of local guidance, we synthesize detailed portrait images with a deep generative model from user-drawn contour lines, but use the synthesized results as detailed drawing guidance. We conducted a user study to verify the effectiveness of dualFace, and we confirmed that dualFace significantly helps achieve a detailed portrait sketch. see http://www.jaist.ac.jp/~xie/dualface.html


title: Blockchains and Self-Sovereign Identities Applied to Healthcare Solutions: A Systematic Review

abstract: Self-Sovereign Identity (SSI), a Blockchain-based technology for digital identity management, is a promising concept for handling health data. It could represent a step forward in empowering users, granting them control over their data. This work conducts a systematic literature review to investigate state-of-the-art measures based on SSI and Blockchain technologies for dealing with electronic health records (EHRs), identifying gaps, and determining the key questions for future research. As a result, this review shows a growing interest in Blockchain methods to handle EHRs, but few works consider using the self-sovereign identity approaches. The results obtained in this work also suggest that: Blockchain technologies provide a viable alternative to deliver EHR solutions such as patient monitoring, healthcare data trading, and prescription control; consolidated Blockchain technologies are the preferred core components of most effective strategies; keeping raw health data off-chain helps to create scalable solutions; health data standards make searching medical records in Blockchain structures feasible; Smart Contracts are essential components of Blockchain-based EHR solutions; the concepts of data ownership and Self-Sovereign Identity have been neither adequately defined nor employed in the health context.


title: On the rough solutions of 3D compressible Euler equations: an alternative proof

abstract: The well-posedness of Cauchy problem of 3D compressible Euler equations is studied. By using Smith-Tataru's approach \cite{ST}, we prove the local existence, uniqueness and stability of solutions for Cauchy problem of 3D compressible Euler equations, where the initial data of velocity, density, specific vorticity $v, \rho \in H^s, \varpi \in H^{s_0} (2<s_0<s)$. It's an alternative and simplified proof of the result given by Q. Wang in \cite{WQEuler}.


title: ODDObjects: A Framework for Multiclass Unsupervised Anomaly Detection on Masked Objects

abstract: This paper presents a novel framework for unsupervised anomaly detection on masked objects called ODDObjects, which stands for Out-of-Distribution Detection on Objects. ODDObjects is designed to detect anomalies of various categories using unsupervised autoencoders trained on COCO-style datasets. The method utilizes autoencoder-based image reconstruction, where high reconstruction error indicates the possibility of an anomaly. The framework extends previous work on anomaly detection with autoencoders, comparing state-of-the-art models trained on object recognition datasets. Various model architectures were compared, and experimental results show that memory-augmented deep convolutional autoencoders perform the best at detecting out-of-distribution objects.


title: Data-Based Optimal Bandwidth for Kernel Density Estimation of Statistical Samples

abstract: It is a common practice to evaluate probability density function or matter spatial density function from statistical samples. Kernel density estimation is a frequently used method, but to select an optimal bandwidth of kernel estimation, which is completely based on data samples, is a long-term issue that has not been well settled so far. There exist analytic formulae of optimal kernel bandwidth, but they cannot be applied directly to data samples, since they depend on the unknown underlying density functions from which the samples are drawn. In this work, we devise an approach to pick out the totally data-based optimal bandwidth. First, we derive correction formulae for the analytic formulae of optimal bandwidth to compute the roughness of the sample's density function. Then substitute the correction formulae into the analytic formulae for optimal bandwidth, and through iteration, we obtain the sample's optimal bandwidth. Compared with analytic formulae, our approach gives very good results, with relative differences from the analytic formulae being only 2%-3% for a sample size larger than 10^4. This approach can also be generalized easily to cases of variable kernel estimations.


title: A unified Neural Network Approach to E-CommerceRelevance Learning

abstract: Result relevance scoring is critical to e-commerce search user experience. Traditional information retrieval methods focus on keyword matching and hand-crafted or counting-based numeric features, with limited understanding of item semantic relevance. We describe a highly-scalable feed-forward neural model to provide relevance score for (query, item) pairs, using only user query and item title as features, and both user click feedback as well as limited human ratings as labels. Several general enhancements were applied to further optimize eval/test metrics, including Siamese pairwise architecture, random batch negative co-training, and point-wise fine-tuning. We found significant improvement over GBDT baseline as well as several off-the-shelf deep-learning baselines on an independently constructed ratings dataset. The GBDT model relies on 10 times more features. We also present metrics for select subset combinations of techniques mentioned above.


title: Optimal Regional Tracking Control of Time-Fractional Diffusion Systems

abstract: In this paper, we aim to explore optimal regional trajectory tracking control problems of the anomalous subdiffusion processes governed by time-fractional diffusion systems under the Neumann boundary conditions. Using eigenvalue theory of the system operator and the semigroup theory, we explore the existence and some estimates of the mild solution to the considered system. An approach on finding solution to the optimal problem that minimizes the regional trajectory tracking error and the corresponding control cost over a finite space and time domain is then explored via the Hilbert uniqueness method (HUM). The obtained results not only can be directly used to investigate the systems that are not controllable on the whole domain, but also yield an explicit expression of the control signal in terms of the desired trajectory. Most importantly, it is worth noting that our results in this paper are still novel even for the special case when the order of fractional derivative is equal to one. Finally, we provide a numerical example to illustrate our theoretical results.


title: Kerr Black hole shadows in Melvin magnetic field with stable photon orbits

abstract: We have studied the spacetime of a Kerr black hole immersed in Melvin magnetic field, and found not only unstable light rings could exist, but also stable light rings could exist. Both the prograde and retrograde unstable light rings radiuses increase with the magnetic field parameter $B$, but it is the opposite for stable light rings. The existence of unstable, stable light rings depend on both the rotation parameter $a$ and the magnetic field parameter $B$. For a certain $a$, there are both the prograde and retroprade unstable (stable) light rings when $B$ is less than a critical value $B_{c}$ of retrograde light ring. In this case, the shadows of Melvin-Kerr black hole have two gray regions on both sides of the middle main shadow, which correspond to the prograde and retrograde stable photon orbits. The photons in stable orbits are always moving around Melvin-Kerr black hole, they can't enter the black hole or escape to infinity. As $B$ continues to increase, there is only the prograde unstable (stable) light ring. In this case, the gray region only emerges in the life of the main shadow, which corresponds to the prograde stable photon orbits. The absence of the retrograde unstable (stable) light rings makes the Melvin-Kerr black hole shadow an half-panoramic (equatorial) shadow. When $B$ is bigger than $B_{C}$ of prograde light ring, neither prograde nor retroprade unstable (stable) light rings exist. In this case, the shadow of Melvin-Kerr black hole has no gray region for stable photon orbits, and becomes a panoramic (equatorial) shadow. In addition, there also exist some self-similar fractal structures in the shadow of Melvin-Kerr black hole arising from the chaotic motion of photon.


title: Total dominator coloring number of middle graphs

abstract: A total dominator coloring of a graph G is a proper coloring of G in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number of a graph is the minimum number of color classes in a total dominator coloring. In this article, we study the total dominator coloring on middle graphs by giving several bounds for the case of general graphs and trees. Moreover, we calculate explicitely the total dominator chromatic number of the middle graph of several known families of graphs.


title: On the all-India rainfall index and sub-India rainfall heterogeneity

abstract: We revisit long-standing controversies regarding relationships among the all-India rainfall index (AIRI), sub-India summer rainfall variations, El Ni\~no-Southern Oscillation (ENSO), and the Indian Ocean Dipole (IOD) using 120-year sea surface temperature and high-resolution rainfall datasets. AIRI closely tracks with the spatial extent of wet anomalies and with the average across gridpoints in rainy day count. The leading rainfall variability mode is a monopole associated primarily with rainy day count and ENSO. The second mode is a tripole with same-signed loadings in the high-rainfall Western Ghats and Central Monsoon Zone regions and opposite-signed loadings in Southeastern India between. The IOD projects onto this tripole and, as such, is weakly correlated with AIRI. However, when the linear influence of ENSO is removed, the IOD rainfall regressions become quasi-homogeneously more positive, making the ENSO-residual IOD and AIRI timeseries significantly correlated.


title: Fundamental limits on concentrating and preserving tensorized quantum resources

abstract: Quantum technology offers great advantages in many applications by exploiting quantum resources like nonclassicality, coherence, and entanglement. In practice, an environmental noise unavoidably affects a quantum system and it is thus an important issue to protect quantum resources from noise. In this work, we investigate the manipulation of quantum resources possessing the so-called tensorization property and identify the fundamental limitations on concentrating and preserving those quantum resources. We show that if a resource measure satisfies the tensorization property as well as the monotonicity, it is impossible to concentrate multiple noisy copies into a single better resource by free operations. Furthermore, we show that quantum resources cannot be better protected from channel noises by employing correlated input states on joint channels if the channel output resource exhibits the tensorization property. We address several practical resource measures where our theorems apply and manifest their physical meanings in quantum resource manipulation.


title: Auto-weighted low-rank representation for clustering

abstract: In this paper, a novel unsupervised low-rank representation model, i.e., Auto-weighted Low-Rank Representation (ALRR), is proposed to construct a more favorable similarity graph (SG) for clustering. In particular, ALRR enhances the discriminability of SG by capturing the multi-subspace structure and extracting the salient features simultaneously. Specifically, an auto-weighted penalty is introduced to learn a similarity graph by highlighting the effective features, and meanwhile, overshadowing the disturbed features. Consequently, ALRR obtains a similarity graph that can preserve the intrinsic geometrical structures within the data by enforcing a smaller similarity on two dissimilar samples. Moreover, we employ a block-diagonal regularizer to guarantee the learned graph contains $k$ diagonal blocks. This can facilitate a more discriminative representation learning for clustering tasks. Extensive experimental results on synthetic and real databases demonstrate the superiority of ALRR over other state-of-the-art methods with a margin of 1.8\%$\sim$10.8\%.


title: Deep Learning-Empowered Predictive Beamforming for IRS-Assisted Multi-User Communications

abstract: The realization of practical intelligent reflecting surface (IRS)-assisted multi-user communication (IRS-MUC) systems critically depends on the proper beamforming design exploiting accurate channel state information (CSI). However, channel estimation (CE) in IRS-MUC systems requires a significantly large training overhead due to the numerous reflection elements involved in IRS. In this paper, we adopt a deep learning approach to implicitly learn the historical channel features and directly predict the IRS phase shifts for the next time slot to maximize the average achievable sum-rate of an IRS-MUC system taking into account the user mobility. By doing this, only a low-dimension multiple-input single-output (MISO) CE is needed for transmit beamforming design, thus significantly reducing the CE overhead. To this end, a location-aware convolutional long short-term memory network (LA-CLNet) is first developed to facilitate predictive beamforming at IRS, where the convolutional and recurrent units are jointly adopted to exploit both the spatial and temporal features of channels simultaneously. Given the predictive IRS phase shift beamforming, an instantaneous CSI (ICSI)-aware fully-connected neural network (IA-FNN) is then proposed to optimize the transmit beamforming matrix at the access point. Simulation results demonstrate that the sum-rate performance achieved by the proposed method approaches that of the genie-aided scheme with the full perfect ICSI.


title: Manipulation of polar vortex chirality in oxide superlattices

abstract: Topological polar vortices that are the electric analogues of magnetic objects, present great potential in applications of future nanoelectronics due to their nanometer size, anomalous dielectric response, and chirality. To enable the functionalities, it is prerequisite to manipulate the polar states and chirality by using external stimuli. Here, we probe the evolutions of polar state and chirality of polar vortices in PbTiO3/SrTiO3 superlattices under electric field by using atomically resolved in situ scanning transmission electron microscopy and phase-field simulations. We find that the adjacent clockwise and counterclockwise vortex usually have opposite chirality. The phase-field simulations suggest that the rotation reversal or axial polarization switching can lead to the chirality change. Guided by which, we experimentally validate that the vortex rotation direction can be changed by applying and subsequently removing of electric fields, offering a potential strategy to manipulate the vortex chirality. The revealed details of dynamic behavior for individual polar vortices at atomic scale and the proposed strategy for chirality manipulation provide fundamentals for future device applications.


title: Stochastic Recurrent Neural Network for Multistep Time Series Forecasting

abstract: Time series forecasting based on deep architectures has been gaining popularity in recent years due to their ability to model complex non-linear temporal dynamics. The recurrent neural network is one such model capable of handling variable-length input and output. In this paper, we leverage recent advances in deep generative models and the concept of state space models to propose a stochastic adaptation of the recurrent neural network for multistep-ahead time series forecasting, which is trained with stochastic gradient variational Bayes. In our model design, the transition function of the recurrent neural network, which determines the evolution of the hidden states, is stochastic rather than deterministic as in a regular recurrent neural network; this is achieved by incorporating a latent random variable into the transition process which captures the stochasticity of the temporal dynamics. Our model preserves the architectural workings of a recurrent neural network for which all relevant information is encapsulated in its hidden states, and this flexibility allows our model to be easily integrated into any deep architecture for sequential modelling. We test our model on a wide range of datasets from finance to healthcare; results show that the stochastic recurrent neural network consistently outperforms its deterministic counterpart.


title: Limits on Magnetized Quark-Nugget Dark Matter from Episodic Natural Events

abstract: A quark nugget is a hypothetical dark-matter candidate composed of approximately equal numbers of up, down, and strange quarks. Most models of quark nuggets do not include effects of their intrinsic magnetic field. However, Tatsumi used a mathematically tractable approximation of the Standard Model of Particle Physics and found that the cores of magnetar pulsars may be quark nuggets in a ferromagnetic liquid state with surface magnetic field Bo between $10^{ 11}$ T and $10^{ 13}$ T. We have applied that result to quark-nugget dark matter. Previous work addressed the formation and aggregation of magnetized quark nuggets (MQNs) into a broad and magnetically stabilized mass distribution before they could decay and addressed their interaction with normal matter through their magnetopause, losing translational velocity while gaining rotational velocity and radiating electromagnetic energy. The two orders of magnitude uncertainty in Tatsumi estimate for Bo precludes the practical design of systematic experiments to detect MQNs through their predicted interaction with matter. In this paper, we examine episodic events consistent with a unique signature of MQNs. If they are indeed caused by MQNs, they constrain the most likely values of Bo to $1.65 x 10^{ 12}$ T $+/-$ $21\%$ and support the design of definitive tests of the MQN dark-matter hypothesis.


title: Intelligent Omni-Surfaces for Full-Dimensional Wireless Communications: Principle, Technology, and Implementation

abstract: The recent development of metasurfaces has motivated their potential use for improving the performance of wireless communication networks by manipulating the propagation environment through nearly-passive sub-wavelength scattering elements arranged on a surface. However, most studies of this technology focus on reflective metasurfaces, i.e., the surface reflects the incident signals towards receivers located on the same side of the transmitter, which restricts the coverage to one side of the surface. In this article, we introduce the concept of intelligent omni-surface (IOS), which is able to serve mobile users on both sides of the surface to achieve full-dimensional communications by jointly engineering its reflective and refractive properties. The working principle of the IOS is introduced and a novel hybrid beamforming scheme is proposed for IOS-based wireless communications. Moreover, we present a prototype of IOS-based wireless communications and report experimental results. Furthermore, potential applications of the IOS to wireless communications together with relevant research challenges are discussed.


title: Algorithms for ridge estimation with convergence guarantees

abstract: The extraction of filamentary structure from a point cloud is discussed. The filaments are modeled as ridge lines or higher dimensional ridges of an underlying density. We propose two novel algorithms, and provide theoretical guarantees for their convergences. We consider the new algorithms as alternatives to the Subspace Constraint Mean Shift (SCMS) algorithm that do not suffer from a shortcoming of the SCMS that is also revealed in this paper.


title: Molecular Dynamics Simulation of the Interaction between Cracks in Single-Crystal Aluminum

abstract: The interaction between cracks, as well as their propagation, in single-crystal aluminum is investigated at the atomic scale using the molecular dynamics method and the modified embedded atom method. The results demonstrated that the crack propagation in aluminum is a quite complex process, which is accompanied by micro-crack growth, merging, stress shielding, dislocation emission, and phase transformation of the crystal structure. The main deformation mechanisms at the front of the fatigue crack are holes, slip bands, and cross-slip bands. During crack propagation, there are interactions between cracks. Such interactions inhibit the phase transition at the crack tip, and also affect the direction and speed of crack propagation. The intensity of the interaction between two cracks decreases with the increase of the distance between them and increases with increasing crack size. Moreover, while this interaction has no effect on the elastic modulus of the material, it affects its strength limit.


title: The Detectability of Binary Star Planetary and Brown Dwarf Companions From Eclipse Timing Variations

abstract: In this paper, we determine the detectability of eclipsing binary star companions from eclipse timing variations using the Kepler mission dataset. Extensive and precise stellar time-series photometry from space-based missions enable searches for binary star companions. However, due to the large datasets and computational resources involved, these searches would benefit from guidance from detection simulations. Our simulations start with and benefit from the use of empirical Kepler mission data, into which we inject third bodies to predict the resulting timing of binary star eclipses. We find that the orbital eccentricity of the third body and the orbital period of the host binary star are the key factors in detecting companions. Target brightness is also likely to be a factor in detecting companions. Detectable third body masses and periods can be efficiently bound using just two equations. Our results enable the setting of realistic expectations when planning searches for eclipsing binary star planetary and brown dwarf companions. Our results also suggest the brown dwarf desert is real rather than observational selection.


title: On the Correlation Between Atomic Gas and Bars in Galaxies

abstract: We analyze the correlation between properties of large-scale bars and atomic gas content of galaxies to explore the role of HI gas on bar evolution in galaxies. We show that the absolute bar size depends strongly on total stellar mass of galaxies and does not change significantly with HI gas fraction at fixed stellar mass. Furthermore, the physical size of the bar is small and nearly constant in high Hi gas fraction and low-mass galaxies, and becomes larger with increasing galactic stellar mass in low gas fraction galaxies. When the stellar masses are fixed, the relative bar length normalized to the disk shows a decrease with increasing HI gas fraction due to the larger disks in gas-richer galaxies. We measure the gas deficiency of the samples and find that the gas-rich galaxies have longer and stronger bars compared with the Hi gas-deficient galaxies at fixed stellar mass, especially for the massive ones. When splitting the samples into star forming and quiescent subgroups, the star forming galaxies tend to have longer bars than the quiescent ones at fixed stellar mass and gas deficiency. In addition, our results suggest two different types of bar properties, in which the bars in gas-rich galaxies grow longer but retain similar axial ratio over time, while they grow longer and fatter over time in gas-poor galaxies.


title: Braid graphs in simply-laced triangle-free Coxeter systems are partial cubes

abstract: In this paper, we study the structure of braid graphs in simply-laced Coxeter systems. We prove that every reduced expression has a unique factorization as a product of so-called links, which in turn induces a decomposition of the braid graph into a box product of the braid graphs for each link factor. When the Coxeter graph has no three-cycles, we use the decomposition to prove that braid graphs are partial cubes, i.e., can be isometrically embedded into a hypercube. For a special class of links, called Fibonacci links, we prove that the corresponding braid graphs are Fibonacci cubes.


title: Textured organic ferroelectric films from physical vapor deposition and amorphous-to-crystalline transition

abstract: Crystallization is a key for ferroelectricity which is a collective behavior of microscopic electric dipoles. On the other hand, uncontrolled crystallization leads to uneven morphology and random crystal orientations, which undermines the application potential of ferroelectric thin films. In this work, we introduce a film fabrication method of low-temperature physical vapor deposition followed by restrained crystallization, with electrical properties monitored in real-time by in situ measurements. This method was adopted to fabricate films of 2-methylbenzimidazole (MBI), whose molecule crystals are proton-transfer type biaxial ferroelectrics and tend to grow into a hedgehog-shaped spherulites morphology. The in situ measurements confirm that the crystallization, corresponding to a clear transition of physical properties, occurs dominantly during post-deposition warming. This enables the fabrication of micron-thick films in disk-shaped morphology with one polarization axis aligned along the out-of-plane direction, while the measured spontaneous polarization and coercive field are comparable to the single-crystal values. These results mark an important advancement of film growth that is expected to benefit widely the fabrication of molecular materials films whose functional properties hinge on crystallization to achieve desirable morphology and crystallinity.


title: Integration of Unpaired Single-cell Chromatin Accessibility and Gene Expression Data via Adversarial Learning

abstract: Deep learning has empowered analysis for single-cell sequencing data in many ways and has generated deep understanding about a range of complex cellular systems. As the booming single-cell sequencing technologies brings the surge of high dimensional data that come from different sources and represent cellular systems with different features, there is an equivalent rise and challenge of integrating single-cell sequence across modalities. Here, we present a novel adversarial approach to integrate single-cell chromatin accessibility and gene expression data in a semi-supervised manner. We demonstrate that our method substantially improves data integration from a simple adversarial domain adaption approach, and it also outperforms two state-of-the-art (SOTA) methods.


title: Evanescent Particles

abstract: Massive Klein-Gordon theory is quantized on a timelike hyperplane in Minkowski space using the framework of general boundary quantum field theory. In contrast to previous work, not only the propagating sector of the phase space is quantized, but also the evanescent sector, with the correct physical vacuum. This yields for the first time a description of the quanta of the evanescent field alone. The key tool is the novel $\alpha$-K\"ahler quantization prescription based on a $*$-twisted observable algebra. The spatial evolution of states between timelike hyperplanes is established and turns out to be non-unitary if different choices are made for the quantization ambiguity for initial and final hyperplane. Nevertheless, a consistent notion of transition probability is established also in the non-unitary case, thanks to the use of the positive formalism. Finally, it is shown how a conducting boundary condition on the timelike hyperplane gives rise to what we call the Casimir state. This is a pseudo-state which can be interpreted as an alternative vacuum and which gives rise to a sea of particle pairs even in this static case.


title: Local polarization and valence distribution in LaNiO3/LaMnO3 heterostructures

abstract: The inside of the electrical double layer at perovskite oxide heterointerfaces is examined. Here, we report the local polarization and valence distribution in LaNiO$_3$/LaMnO$_3$ and LaMnO$_3$/LaNiO$_3$ bilayers on a SrTiO$_3$ (001) substrate. Simultaneous measurements of two aspects of the structure are realized by using Bayesian inference based on resonant- and nonresonant-surface X-ray diffraction data. The results show that the average Mn valences are Mn$^{3.12+}$ and Mn$^{3.19+}$ for the two samples. The intensity of their local electric field is $\sim$1~GV/m and the direction of the field points from LaMnO$_3$ to LaNiO$_3$.


title: Cavity magnomechanical storage and retrieval of quantum states

abstract: We show how a quantum state in a microwave cavity mode can be transferred to and stored in a phononic mode via an intermediate magnon mode in a magnomechanical system. For this we consider a ferrimagnetic yttrium iron garnet (YIG) sphere inserted in a microwave cavity, where the microwave and magnon modes are coupled via a magnetic-dipole interaction and the magnon and phonon modes in the YIG sphere are coupled via magnetostrictive forces. By modulating the cavity and magnon detunings and the driving of the magnon mode in time, a Stimulated Raman Adiabatic Passage (STIRAP)-like coherent transfer becomes possible between the cavity mode and the phonon mode. The phononic mode can be used to store the photonic quantum state for long periods as it possesses lower damping than the photonic and magnon modes. Thus our proposed scheme offers a possibility of using magnomechanical systems as quantum memory for photonic quantum information.


title: A Sliding-Window Approach to Automatic Creation of Meeting Minutes

abstract: Meeting minutes record any subject matters discussed, decisions reached and actions taken at meetings. The importance of minuting cannot be overemphasized in a time when a significant number of meetings take place in the virtual space. In this paper, we present a sliding window approach to automatic generation of meeting minutes. It aims to tackle issues associated with the nature of spoken text, including lengthy transcripts and lack of document structure, which make it difficult to identify salient content to be included in the meeting minutes. Our approach combines a sliding window and a neural abstractive summarizer to navigate through the transcripts to find salient content. The approach is evaluated on transcripts of natural meeting conversations, where we compare results obtained for human transcripts and two versions of automatic transcripts and discuss how and to what extent the summarizer succeeds at capturing salient content.


title: Efficient training of physics-informed neural networks via importance sampling

abstract: Physics-Informed Neural Networks (PINNs) are a class of deep neural networks that are trained, using automatic differentiation, to compute the response of systems governed by partial differential equations (PDEs). The training of PINNs is simulation-free, and does not require any training dataset to be obtained from numerical PDE solvers. Instead, it only requires the physical problem description, including the governing laws of physics, domain geometry, initial/boundary conditions, and the material properties. This training usually involves solving a non-convex optimization problem using variants of the stochastic gradient descent method, with the gradient of the loss function approximated on a batch of collocation points, selected randomly in each iteration according to a uniform distribution. Despite the success of PINNs in accurately solving a wide variety of PDEs, the method still requires improvements in terms of computational efficiency. To this end, in this paper, we study the performance of an importance sampling approach for efficient training of PINNs. Using numerical examples together with theoretical evidences, we show that in each training iteration, sampling the collocation points according to a distribution proportional to the loss function will improve the convergence behavior of the PINNs training. Additionally, we show that providing a piecewise constant approximation to the loss function for faster importance sampling can further improve the training efficiency. This importance sampling approach is straightforward and easy to implement in the existing PINN codes, and also does not introduce any new hyperparameter to calibrate. The numerical examples include elasticity, diffusion and plane stress problems, through which we numerically verify the accuracy and efficiency of the importance sampling approach compared to the predominant uniform sampling approach.


title: Tidally Perturbed Oblique Pulsations in the Hierarchical Triple System V1031 Orionis

abstract: We present TESS photometry of the triple star system V1031 Ori (AB)C, which exhibits short-period oscillations superimposed on an eclipsing light curve. The high-quality data were analyzed in detail and combined with the published spectroscopic measurements to obtain the fundamental stellar parameters of the program target. The masses and radii of the eclipsing pair (AB) were determined to about 0.5 \% and 0.7 \% precision, respectively. We found 23 significant frequencies in two ranges of $<$ 2 day$^{-1}$ and 10.9$-$12.7 day$^{-1}$ from the eclipse-subtracted residuals. Among them, sixteen in the gravity ($g$)-mode region may be aliases and artefacts due to imperfect removal of the systematic trends and the binary effects from the TESS data. Seven frequencies in the pressure ($p$)-mode region were separated by the orbital frequency and split by the average offset of 0.042 $\pm$ 0.003 day$^{-1}$ from their adjacent harmonics. Further, the pulsation amplitudes are clearly modulated with the binary star orbit. The results indicate that the $p$-mode frequencies are tidally perturbed pulsations from the secondary component and the pulsation axis could be aligned with the tidal axis.


title: Faint AGNs Favor Unexpectedly Long Inter-band Time Lags

abstract: Inconsistent conclusions are obtained from recent active galactic nuclei (AGNs) accretion disk inter-band time-lag measurements. While some works show that the measured time lags are significantly larger (by a factor of $\sim 3$) than the theoretical predictions of the Shakura \& Sunyaev disk (SSD) model, others find that the time-lag measurements are consistent with (or only slightly larger than) that of the SSD model. These conflicting observational results might be symptoms of our poor understanding of AGN accretion physics. Here we show that sources with larger-than-expected time lags tend to be less-luminous AGNs. Such a dependence is unexpected if the inter-band time lags are attributed to the light-travel-time delay of the illuminating variable X-ray photons to the static SSD. If, instead, the measured inter-band lags are related not only to the static SSD but also to the outer broad emission-line regions (BLRs; e.g., the blended broad emission lines and/or diffuse continua), our result indicates that the contribution of the non-disk BLR to the observed UV/optical continuum decreases with increasing luminosity ($L$), i.e., an anti-correlation resembling the well-known Baldwin effect. Alternatively, we argue that the observed dependence might be a result of coherent disk thermal fluctuations as the relevant thermal timescale, $\tau_{\mathrm{TH}}\propto L^{0.5}$. With future accurate measurements of inter-band time lags, the above two scenarios can be distinguished by inspecting the dependence of inter-band time lags upon either the BLR components in the variable spectra or the timescales.


title: Non-uniform Observability for Moving Horizon Estimation and stability with respect to additive perturbation

abstract: This paper formalises the concepts of weakly and weakly regularly persistent input trajectory as well as their link to the Observability Grammian and the existence and uniqueness of solutions of Moving Horizon Estimation (MHE) problems. Additionally, thanks to a new time-uniform Implicit Function Theorem, these notions are proved to imply the stability of MHE solutions with respect to small additive perturbation in the measurements and in the dynamics, both uniformly and non-uniformly in time. Finally, examples and counter-examples of weakly persistent and weakly regularly persistent input trajectories are given in the case of 2D bearing-only navigation.


title: An Optimal Estimator of Intrinsic Alignments for Star-forming Galaxies in IllustrisTNG Simulation

abstract: Emission line galaxies (ELGs), more generally star-forming galaxies, are valuable tracers of large-scale structure and therefore main targets of upcoming wide-area spectroscopic galaxy surveys. We propose a fixed-aperture shape estimator of each ELG for extracting the intrinsic alignment (IA) signal, and assess the performance of the method using image simulations of ELGs generated from the IllustrisTNG simulation including observational effects such as the sky background noise. We show that our method enables a significant detection of the IA power spectrum with the linear-scale coefficient $A_{\rm IA}\simeq (13$--$15)\pm 3.0$ up to $z=2$, even from the small simulation volume $\sim0.009\,(h^{-1}{\rm Gpc})^3$, in contrast to the null detection with the standard method. Thus the ELG IA signal, measured with our method, opens up opportunities to exploit cosmology and galaxy physics in high-redshift universe.


title: Two-Server Delegation of Computation on Label-Encrypted Data

abstract: Catalano and Fiore propose a scheme to transform a linearly-homomorphic encryption into a homomorphic encryption scheme capable of evaluating quadratic computations on ciphertexts. Their scheme is based on the linearly-homomorphic encryption (such as Goldwasser-Micali, Paillier and ElGamal) and need to perform large integer operation on servers. Then, their scheme have numerous computations on the servers. At the same time, their scheme cannot verify the computations and cannot evaluate more than degree-4 computations. To solve these problems, we no longer use linearly-homomorphic encryption which based on number theory assumptions. We use label and pseudorandom function to encrypt message, which significantly reduce the computations on the servers and enable us to use homomorphic MACs technology to realize verifiable computations naturally. We also extend the method to construct $d$-server schemes, which allow the client to delegate degree-$d$ computations on outsourced data.


title: Multi-Server Verifiable Delegation of Computations: Unconditional Security and Practical Efficiency

abstract: Outsourcing computation has gained significant popularity in recent years due to the prevalence of cloud computing. There are two main security concerns in outsourcing computation: how to guarantee the cloud server performs the computation correctly and how to keep the client's data secret. The {\em single-server verifiable computation} (SSVC) of Gennaro, Gentry and Parno (Crypto'10) enables a client to delegate the computation of a function $f$ on any input $x$ with both concerns highly relieved, but only results in {\em computationally secure} schemes that {\em lack practical efficiency}. While the SSVC schemes use a single server, in this paper we develop a {\em multi-server verifiable computation} (MSVC) model where the client shares both $f$ and $x$ among multiple servers, each server performs a set of computations on its shares, and finally the client reconstructs $f(x)$ from all servers' results. In this MSVC model we propose a generic construction for outsourcing computations of the form $F{\bf x}$, where $F$ is a matrix and $\bf x$ is a vector. Our generic construction achieves {\em information-theoretic security, input privacy} and {\em function privacy}. By optimizing the parameters, we obtain both a 3-server scheme,which uses the least number of servers, and a 4-server scheme, which incurs the least workload. By decomposing many polynomial computations as a two-stage computation, where the first-stage has the form $F{\bf x}$ and the second-stage is fast, and delegating the first-stage computation, we obtain MSVC schemes for these polynomials. We implement our MSVC schemes and show that they are among the most {\em practical} ones to date.


title: Entanglement dynamics of coupled oscillators from Gaussian states

abstract: In this work, we explore the dynamics of entanglement of an isolated quantum system consisting of two time-dependent, coupled harmonic oscillators. Through the use of a numerical method that relies on the estimation of the system's Wigner representation by a specific Gaussian function, we investigate the time evolution of the entanglement entropy after an instant quench in the inherent parameters of the system. Besides, from the comparison of the results obtained from the analytical expression for the time-dependent von Neumann entropy with the numerically computed entropy data, the effectiveness of the numerical method is tested for a variety of angular frequency combinations. Also, we analyze how the entropy of entanglement change as a function of time.


title: Explore BiLSTM-CRF-Based Models for Open Relation Extraction

abstract: Extracting multiple relations from text sentences is still a challenge for current Open Relation Extraction (Open RE) tasks. In this paper, we develop several Open RE models based on the bidirectional LSTM-CRF (BiLSTM-CRF) neural network and different contextualized word embedding methods. We also propose a new tagging scheme to solve overlapping problems and enhance models' performance. From the evaluation results and comparisons between models, we select the best combination of tagging scheme, word embedder, and BiLSTM-CRF network to achieve an Open RE model with a remarkable extracting ability on multiple-relation sentences.


title: Highly sensitive spin-flop transition in antiferromagnetic van-der Waals material MPS3 (M = Ni and Mn)

abstract: Recent developments in two-dimensional (2D) magnetism have motivated the search for novel van-der Waals (vdWs) magnetic materials to explore new magnetic phenomenon in the 2D limit. Metal thiophosphates, MPX3, is a class of magnetic vdWs materials with antiferromagnetic (AFM) ordering persisting down to the atomically thin limit. The magnetism in this material family has been found to be highly dependent on the choice of transition metal M. In this work, we have synthesized the intermediate compounds Ni1-xMnxPS3 (0 < x < 1) and investigated their magnetic properties. Our study reveals that the variation of Ni and Mn content in Ni1-xMnxPS3 can efficiently tune the spin-flop transition, likely due to the modulation of the magnetic anisotropy. Such effective tunning offers a promising candidate to engineer 2D magnetism for future device applications.


title: Diverse Image Inpainting with Bidirectional and Autoregressive Transformers

abstract: Image inpainting is an underdetermined inverse problem, which naturally allows diverse contents to fill up the missing or corrupted regions realistically. Prevalent approaches using convolutional neural networks (CNNs) can synthesize visually pleasant contents, but CNNs suffer from limited perception fields for capturing global features. With image-level attention, transformers enable to model long-range dependencies and generate diverse contents with autoregressive modeling of pixel-sequence distributions. However, the unidirectional attention in autoregressive transformers is suboptimal as corrupted image regions may have arbitrary shapes with contexts from any direction. We propose BAT-Fill, an innovative image inpainting framework that introduces a novel bidirectional autoregressive transformer (BAT) for image inpainting. BAT utilizes the transformers to learn autoregressive distributions, which naturally allows the diverse generation of missing contents. In addition, it incorporates the masked language model like BERT, which enables bidirectionally modeling of contextual information of missing regions for better image completion. Extensive experiments over multiple datasets show that BAT-Fill achieves superior diversity and fidelity in image inpainting qualitatively and quantitatively.


title: $\imath$Hall algebra of Jordan quiver and $\imath$Hall-Littlewood functions

abstract: We show that the $\imath$Hall algebra of the Jordan quiver is a polynomial ring in infinitely many generators and obtain transition relations among several generating sets. We establish a ring isomorphism from this $\imath$Hall algebra to the ring of symmetric functions in two parameters $t, \theta$, which maps the $\imath$Hall basis to a class of (modified) inhomogeneous Hall-Littlewood ($\imath$HL) functions. The (modified) $\imath$HL functions admit a formulation via raising and lowering operators. We formulate and prove Pieri rules for (modified) $\imath$HL functions. The modified $\imath$HL functions specialize at $\theta=0$ to the modified HL functions; they specialize at $\theta=1$ to the deformed universal characters of type C, which further specialize at $(t=0, \theta =1)$ to the universal characters of type C.


title: How to Catch Marathon Cheaters: New Approximation Algorithms for Tracking Paths

abstract: Given an undirected graph, $G$, and vertices, $s$ and $t$ in $G$, the tracking paths problem is that of finding the smallest subset of vertices in $G$ whose intersection with any $s$-$t$ path results in a unique sequence. This problem is known to be NP-complete and has applications to animal migration tracking and detecting marathon course-cutting, but its approximability is largely unknown. In this paper, we address this latter issue, giving novel algorithms having approximation ratios of $(1+\epsilon)$, $O(\lg OPT)$ and $O(\lg n)$, for $H$-minor-free, general, and weighted graphs, respectively. We also give a linear kernel for $H$-minor-free graphs and make improvements to the quadratic kernel for general graphs.


title: On the finiteness of the classifying space of diffeomorphisms of reducible three manifolds

abstract: In this paper, we use homological techniques to study the homological finiteness of $\mathrm{BDiff}(M, \text{rel }\partial)$ when $M$ is a reducible $3$-manifold with a non-empty boundary. Kontsevich conjectured that $\mathrm{BDiff}(M, \text{rel }\partial)$ has the homotopy type of a finite CW complex for all $3$-manifolds with non-empty boundary. Hatcher-McCullough proved this conjecture when $M$ is irreducible. We prove the homological version of Kontsevich's conjecture which is to show that $\mathrm{BDiff}(M, \text{rel }\partial)$ has finitely many nonzero homology groups which are each finitely generated.


title: TensorLib: A Spatial Accelerator Generation Framework for Tensor Algebra

abstract: Tensor algebra finds applications in various domains, and these applications, especially when accelerated on spatial hardware accelerators, can deliver high performance and low power. Spatial hardware accelerator exhibits complex design space. Prior approaches based on manual implementation lead to low programming productivity, rendering thorough design space exploration impossible. In this paper, we propose TensorLib, a framework for generating spatial hardware accelerator for tensor algebra applications. TensorLib is motivated by the observation that, different dataflows share common hardware modules, which can be reused across different designs. To build such a framework, TensorLib first uses Space-Time Transformation to explore different dataflows, which can compactly represent the hardware dataflow using a simple transformation matrix. Next, we identify the common structures of different dataflows and build parameterized hardware module templates with Chisel. Our generation framework can select the needed hardware modules for each dataflow, connect the modules using a specified interconnection pattern, and automatically generate the complete hardware accelerator design. TensorLib remarkably improves the productivity for the development and optimization of spatial hardware architecture, providing a rich design space with trade-offs in performance, area, and power. Experiments show that TensorLib can automatically generate hardware designs with different dataflows and achieve 21\% performance improvement on FPGA compared to the state-of-the-arts.