title: Deep Tactile Experience: Estimating Tactile Sensor Output from Depth Sensor Data

abstract: Tactile sensing is inherently contact based. To use tactile data, robots need to make contact with the surface of an object. This is inefficient in applications where an agent needs to make a decision between multiple alternatives that depend the physical properties of the contact location. We propose a method to get tactile data in a non-invasive manner. The proposed method estimates the output of a tactile sensor from the depth data of the surface of the object based on past experiences. An experience dataset is built by allowing the robot to interact with various objects, collecting tactile data and the corresponding object surface depth data. We use the experience dataset to train a neural network to estimate the tactile output from depth data alone. We use GelSight tactile sensors, an image-based sensor, to generate images that capture detailed surface features at the contact location. We train a network with a dataset containing 578 tactile-image to depthmap correspondences. Given a depth-map of the surface of an object, the network outputs an estimate of the response of the tactile sensor, should it make a contact with the object. We evaluate the method with structural similarity index matrix (SSIM), a similarity metric between two images commonly used in image processing community. We present experimental results that show the proposed method outperforms a baseline that uses random images with statistical significance getting an SSIM score of 0.84 +/- 0.0056 and 0.80 +/- 0.0036, respectively.


title: On the dynamics of the contagious rate under isolation measures

abstract: The infection dynamics of a population under stationary isolation conditions is modeled. It is underlined that the stationary character of the isolation measures can be expected to imply that an effective SIR model with constant parameters should describe the infection process. Then, a derivation of this property is presented, assuming that the statistical fluctuations in the number of infection and recovered cases are disregarded. This effective SIR model shows a reduced population number and a constant $\beta$ parameter. The effects of also including the retardation between recovery and infection process is also considered. Next, it is shown that any solution of the effective SIR also solves the linear problem to which the SIR equations reduce when the total population is much larger than the number of the infected cases. Then, it is also argued that this equivalence follows for a specific contagious parameter $\beta(t)$ which time dependence is analytically derived here. Then, two equivalent predictive calculational methods for the infection dynamics under stationary isolation measures are proposed. The results represent a solutions for the known and challenging problem of defining the time dependence of the contagion parameter, when the SIR parameter $N$ is assumed to be the whole population number. Finally, the model is applied to describe the known infection curves for countries that already had passed the epidemic process under strict stationary isolation measures. The cases of Iceland, New Zealand, Korea and Cuba were considered. Although, non subject to stationary isolation measures the cases of U.S.A. and Mexico are also examined due to their interest. The results support the argued validity of SIR model including retardation.


title: Tropical Diagram for Linear-Nonlinear Boundary in Canonical Ensemble

abstract: For classical discrete systems under constant composition, we re-examine how linear-nonlinear boundary in canonical ensemble, connecting a set of potential energy surface and that of microscopic configuration in thermodynamic equilibrium, is characterized by underlying lattice, from tropical geometry. We here show that by applying suitable tropical limit and multiple coordinate transform to time evolution of discrete dynamical system, reflecting geometric aspect of the nonlinearity, we successfully construct tropical diagram caputuring the universal character of linear/nonlinear region on configuration space for f = 2 structural degree of freedoms (SDFs). The diagram indicates that the boundary near disordered state is mainly dominated by constraints to individual SDF, while quasi linear-nonlinear boundary apart from disordered state is dominated by local non-separability in SDFs.


title: Real-time Mortality Prediction Using MIMIC-IV ICU Data Via Boosted Nonparametric Hazards

abstract: Electronic Health Record (EHR) systems provide critical, rich and valuable information at high frequency. One of the most exciting applications of EHR data is in developing a real-time mortality warning system with tools from survival analysis. However, most of the survival analysis methods used recently are based on (semi)parametric models using static covariates. These models do not take advantage of the information conveyed by the time-varying EHR data. In this work, we present an application of a highly scalable survival analysis method, BoXHED 2.0 to develop a real-time in-ICU mortality warning indicator based on the MIMIC IV data set. Importantly, BoXHED can incorporate time-dependent covariates in a fully nonparametric manner and is backed by theory. Our in-ICU mortality model achieves an AUC-PRC of 0.41 and AUC-ROC of 0.83 out of sample, demonstrating the benefit of real-time monitoring.


title: A Sum of Squares Characterization of Perfect Graphs

abstract: We present an algebraic characterization of perfect graphs, i.e., graphs for which the clique number and the chromatic number coincide for every induced subgraph. We show that a graph is perfect if and only if certain nonnegative polynomials associated with the graph are sums of squares. As a byproduct, we obtain several infinite families of nonnegative polynomials that are not sums of squares through graph-theoretic constructions. We also characterize graphs for which the associated polynomials belong to certain structured subsets of sum of squares polynomials. Finally, we reformulate some well-known results from the theory of perfect graphs as statements about sum of squares proofs of nonnegativity of certain polynomials.


title: Nonlinear Reduced DNN Models for State Estimation

abstract: We propose in this paper a data driven state estimation scheme for generating nonlinear reduced models for parametric families of PDEs, directly providing data-to-state maps, represented in terms of Deep Neural Networks. A major constituent is a sensor-induced decomposition of a model-compliant Hilbert space warranting approximation in problem relevant metrics. It plays a similar role as in a Parametric Background Data Weak framework for state estimators based on Reduced Basis concepts. Extensive numerical tests shed light on several optimization strategies that are to improve robustness and performance of such estimators.


title: Sim-to-Real Transfer in Multi-agent Reinforcement Networking for Federated Edge Computing

abstract: Federated Learning (FL) over wireless multi-hop edge computing networks, i.e., multi-hop FL, is a cost-effective distributed on-device deep learning paradigm. This paper presents FedEdge simulator, a high-fidelity Linux-based simulator, which enables fast prototyping, sim-to-real code, and knowledge transfer for multi-hop FL systems. FedEdge simulator is built on top of the hardware-oriented FedEdge experimental framework with a new extension of the realistic physical layer emulator. This emulator exploits trace-based channel modeling and dynamic link scheduling to minimize the reality gap between the simulator and the physical testbed. Our initial experiments demonstrate the high fidelity of the FedEdge simulator and its superior performance on sim-to-real knowledge transfer in reinforcement learning-optimized multi-hop FL.


title: Enumerating threshold graphs and some related graph classes

abstract: We give combinatorial proofs of some enumeration formulas involving labelled threshold, quasi-threshold, loop-threshold and quasi-loop-threshold graphs. In each case we count by number of vertices and number of components. For threshold graphs, we also count by number of dominating vertices, and for loop-threshold graphs we count by number of looped dominating vertices. We also obtain an analog of the Frobenius formula (connecting Eulerian numbers and Stirling numbers of the second kind) in the context of labelled threshold graphs.


title: Uncertainty-Aware Semi-Supervised Few Shot Segmentation

abstract: Few shot segmentation (FSS) aims to learn pixel-level classification of a target object in a query image using only a few annotated support samples. This is challenging as it requires modeling appearance variations of target objects and the diverse visual cues between query and support images with limited information. To address this problem, we propose a semi-supervised FSS strategy that leverages additional prototypes from unlabeled images with uncertainty guided pseudo label refinement. To obtain reliable prototypes from unlabeled images, we meta-train a neural network to jointly predict segmentation and estimate the uncertainty of predictions. We employ the uncertainty estimates to exclude predictions with high degrees of uncertainty for pseudo label construction to obtain additional prototypes based on the refined pseudo labels. During inference, query segmentation is predicted using prototypes from both support and unlabeled images including low-level features of the query images. Our approach is end-to-end and can easily supplement existing approaches without the requirement of additional training to employ unlabeled samples. Extensive experiments on PASCAL-$5^i$ and COCO-$20^i$ demonstrate that our model can effectively remove unreliable predictions to refine pseudo labels and significantly improve upon state-of-the-art performances.


title: Predicting Rebar Endpoints using Sin Exponential Regression Model

abstract: Currently, unmanned automation studies are underway to minimize the loss rate of rebar production and the time and accuracy of calibration when producing defective products in the cutting process of processing rebar factories. In this paper, we propose a method to detect and track rebar endpoint images entering the machine vision camera based on YOLO (You Only Look Once)v3, and to predict rebar endpoint in advance with sin exponential regression of acquired coordinates. The proposed method solves the problem of large prediction error rates for frame locations where rebar endpoints are far away in OPPDet (Object Position Prediction Detect) models, which prepredict rebar endpoints with improved results showing 0.23 to 0.52% less error rates at sin exponential regression prediction points.


title: Improving Robustness of Reinforcement Learning for Power System Control with Adversarial Training

abstract: Due to the proliferation of renewable energy and its intrinsic intermittency and stochasticity, current power systems face severe operational challenges. Data-driven decision-making algorithms from reinforcement learning (RL) offer a solution towards efficiently operating a clean energy system. Although RL algorithms achieve promising performance compared to model-based control models, there has been limited investigation of RL robustness in safety-critical physical systems. In this work, we first show that several competition-winning, state-of-the-art RL agents proposed for power system control are vulnerable to adversarial attacks. Specifically, we use an adversary Markov Decision Process to learn an attack policy, and demonstrate the potency of our attack by successfully attacking multiple winning agents from the Learning To Run a Power Network (L2RPN) challenge, under both white-box and black-box attack settings. We then propose to use adversarial training to increase the robustness of RL agent against attacks and avoid infeasible operational decisions. To the best of our knowledge, our work is the first to highlight the fragility of grid control RL algorithms, and contribute an effective defense scheme towards improving their robustness and security.


title: Kinetic Simulations of Strongly-Magnetized Parallel Shocks: Deviations from MHD Jump Conditions

abstract: Shocks waves are a ubiquitous feature of many astrophysical plasma systems, and an important process for energy dissipation and transfer. The physics of these shock waves are frequently treated/modeled as a collisional, fluid MHD discontinuity, despite the fact that many shocks occur in the collisionless regime. In light of this, using fully kinetic, 3D simulations of non-relativistic, parallel propagating collisionless shocks comprised of electron-positron plasma, we detail the deviation of collisionless shocks form MHD predictions for varying magnetization/Alfv\'enic Mach numbers, with particular focus on systems with Alf\'enic Mach numbers much smaller than sonic Mach numbers. We show that the shock compression ratio decreases for sufficiently large upstream magnetic fields, in agreement with the predictions of Bret & Narayan (2018). Additionally, we examine the role of magnetic field strength on the shock front width. This work reinforces a growing body of work that suggest that modeling many astrophysical systems with only a fluid plasma description omits potentially important physics.


title: A bottom-up approach to Hilbert's Basis Theorem

abstract: In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we introduce the polynomial ring and the fundamental relationship between polynomials and sets of points. We prove some results in algebraic geometry, notably Hilbert's Basis Theorem.


title: Fast and Exact Outlier Detection in Metric Spaces: A Proximity Graph-based Approach

abstract: Distance-based outlier detection is widely adopted in many fields, e.g., data mining and machine learning, because it is unsupervised, can be employed in a generic metric space, and does not have any assumptions of data distributions. Data mining and machine learning applications face a challenge of dealing with large datasets, which requires efficient distance-based outlier detection algorithms. Due to the popularization of computational environments with large memory, it is possible to build a main-memory index and detect outliers based on it, which is a promising solution for fast distance-based outlier detection. Motivated by this observation, we propose a novel approach that exploits a proximity graph. Our approach can employ an arbitrary proximity graph and obtains a significant speed-up against state-of-the-art. However, designing an effective proximity graph raises a challenge, because existing proximity graphs do not consider efficient traversal for distance-based outlier detection. To overcome this challenge, we propose a novel proximity graph, MRPG. Our empirical study using real datasets demonstrates that MRPG detects outliers significantly faster than the state-of-the-art algorithms.


title: Stem and topological entropy on Cayley trees

abstract: We consider the existence of the topological entropy of shift spaces on a finitely generated semigroup whose Cayley graph is a tree. The considered semigroups include free groups. On the other hand, the notion of stem entropy is introduced. For shift spaces on a strict free semigroup, the stem entropy coincides with the topological entropy. We reveal a sufficient condition for the existence of the stem entropy of shift spaces on a semigroup. Furthermore, we demonstrate that the topological entropy exists in many cases and is identical to the stem entropy.


title: Algorithms Using Local Graph Features to Predict Epidemics

abstract: We study a simple model of epidemics where an infected node transmits the infection to its neighbors independently with probability $p$. This is also known as the independent cascade or Susceptible-Infected-Recovered (SIR) model with fixed recovery time. The size of an outbreak in this model is closely related to that of the giant connected component in ``edge percolation'', where each edge of the graph is kept independently with probability $p$, studied for a large class of networks including configuration model \cite{molloy2011critical} and preferential attachment \cite{bollobas2003,Riordan2005}. Even though these models capture the effects of degree inhomogeneity and the role of super-spreaders in the spread of an epidemic, they only consider graphs that are locally tree like i.e. have a few or no short cycles. Some generalizations of the configuration model were suggested to capture local communities, known as household models \cite{ball2009threshold}, or hierarchical configuration model \cite{Hofstad2015hierarchical}. Here, we ask a different question: what information is needed for general networks to predict the size of an outbreak? Is it possible to make predictions by accessing the distribution of small subgraphs (or motifs)? We answer the question in the affirmative for large-set expanders with local weak limits (also known as Benjamini-Schramm limits). In particular, we show that there is an algorithm which gives a $(1-\epsilon)$ approximation of the probability and the final size of an outbreak by accessing a constant-size neighborhood of a constant number of nodes chosen uniformly at random. We also present corollaries of the theorem for the preferential attachment model, and study generalizations with household (or motif) structure. The latter was only known for the configuration model.


title: Keypoint-Based Bimanual Shaping of Deformable Linear Objects under Environmental Constraints using Hierarchical Action Planning

abstract: This paper addresses the problem of contact-based manipulation of deformable linear objects (DLOs) towards desired shapes with a dual-arm robotic system. To alleviate the burden of high-dimensional continuous state-action spaces, we model the DLO as a kinematic multibody system via our proposed keypoint detection network. This new perception network is trained on a synthetic labeled image dataset and transferred to real manipulation scenarios without conducting any manual annotations. Our goal-conditioned policy can efficiently learn to rearrange the configuration of the DLO based on the detected keypoints. The proposed hierarchical action framework tackles the manipulation problem in a coarse-to-fine manner (with high-level task planning and low-level motion control) by leveraging on two action primitives. The identification of deformation properties is avoided since the algorithm replans its motion after each bimanual execution. The conducted experimental results reveal that our method achieves high performance in state representation of the DLO, and is robust to uncertain environmental constraints.


title: SS-MAIL: Self-Supervised Multi-Agent Imitation Learning

abstract: The current landscape of multi-agent expert imitation is broadly dominated by two families of algorithms - Behavioral Cloning (BC) and Adversarial Imitation Learning (AIL). BC approaches suffer from compounding errors, as they ignore the sequential decision-making nature of the trajectory generation problem. Furthermore, they cannot effectively model multi-modal behaviors. While AIL methods solve the issue of compounding errors and multi-modal policy training, they are plagued with instability in their training dynamics. In this work, we address this issue by introducing a novel self-supervised loss that encourages the discriminator to approximate a richer reward function. We employ our method to train a graph-based multi-agent actor-critic architecture that learns a centralized policy, conditioned on a learned latent interaction graph. We show that our method (SS-MAIL) outperforms prior state-of-the-art methods on real-world prediction tasks, as well as on custom-designed synthetic experiments. We prove that SS-MAIL is part of the family of AIL methods by providing a theoretical connection to cost-regularized apprenticeship learning. Moreover, we leverage the self-supervised formulation to introduce a novel teacher forcing-based curriculum (Trajectory Forcing) that improves sample efficiency by progressively increasing the length of the generated trajectory. The SS-MAIL framework improves multi-agent imitation capabilities by stabilizing the policy training, improving the reward shaping capabilities, as well as providing the ability for modeling multi-modal trajectories.


title: Affine Hermitian Grassmann Codes

abstract: The Grassmannian is an important object in Algebraic Geometry. One of the many techniques used to study the Grassmannian is to build a vector space from its points in the projective embedding and study the properties of the resulting linear code. We introduce a new class of linear codes, called Affine Hermitian Grassman Codes. These codes are the linear codes resulting from an affine part of the projection of the Polar Hermitian Grassmann codes. They combine Polar Hermitian Grassmann codes and Affine Grassmann codes. We will determine the parameters of these codes.


title: Exact solution of the minimalist Stark many body localization problem in terms of spin pair hopping

abstract: Stark many body localization problem on a periodic spin chain with local four spin hopping conserving dipole moment becomes equivalent to a spin pair hopping model after overturn of spins in odd or even positions. Eigenstates of the latter problem are separated into four groups including two groups of delocalized states with translationally invariant unrestricted (group I) or restricted (group II) Krylov subspaces and other two with confined spin transport having either all mobile (group III) or some immobile spins (group IV). These groups can be examined experimentally in systems like those recently investigated in Refs. [1, 2].


title: Computing Semilinear Sparse Models for Approximately Eventually Periodic Signals

abstract: Some elements of the theory and algorithmics corresponding to the computation of semilinear sparse models for discrete-time signals are presented. In this study, we will focus on approximately eventually periodic discrete-time signals, that is, signals that can exhibit an aperiodic behavior for an initial amount of time, and then become approximately periodic afterwards. The semilinear models considered in this study are obtained by combining sparse representation methods, linear autoregressive models and GRU neural network models, initially fitting each block model independently using some reference data corresponding to some signal under consideration, and then fitting some mixing parameters that are used to obtain a signal model consisting of a linear combination of the previously fitted blocks using the aforementioned reference data, computing sparse representations of some of the matrix parameters of the resulting model along the process. Some prototypical computational implementations are presented as well.


title: Assessing Ecosystem State Space Models: Identifiability and Estimation

abstract: Bayesian methods are increasingly being applied to parameterize mechanistic process models used in environmental prediction and forecasting. In particular, models describing ecosystem dynamics with multiple states that are linear and autoregressive at each step in time can be treated as statistical state space models. In this paper we examine this subset of ecosystem models, giving closed form Gibbs sampling updates for latent states and process precision parameters when process and observation errors are normally distributed. We use simulated data from an example model (DALECev) to assess the performance of parameter estimation and identifiability under scenarios of gaps in observations. We show that process precision estimates become unreliable as temporal gaps between observed state data increase. To improve estimates, particularly precisions, we introduce a method of tuning the timestep of the latent states to leverage higher-frequency driver information. Further, we show that data cloning is a suitable method for assessing parameter identifiability in this class of models. Overall, our study helps inform the application of state space models to ecological forecasting applications where 1) data are not available for all states and transfers at the operational timestep for the ecosystem model and 2) process uncertainty estimation is desired.


title: Momentum-Space Spin Antivortex and Spin Transport in Monolayer Pb

abstract: Non-trivial momentum-space spin texture of electrons can be induced by spin-orbit coupling and underpins various spin transport phenomena, such as current-induced spin polarization and spin Hall effect. In this work, we find a non-trivial spin texture, spin anti-vortex, can appear at certain momenta on the $\Gamma-\text K$ line in 2D monolayer Pb on top of SiC. Different from spin vortex due to the band degeneracy in the Rashba model, the existence of this spin anti-vortex is guaranteed by Poincare-Hopf theorem and thus topologically stable. Accompanied with this spin anti-vortex, a Lifshtiz transition of Fermi surfaces occur at certain momenta on the $\text K- \text M$ line, and both phenomena are originated from the anti-crossing between the $j=1/2$ and $j=3/2$ bands. A rapid variation of the response coefficients for both the current-induced spin polarization and spin Hall conductivity is found when the Fermi energy is tuned around the spin anti-vortex. Our work demonstrates the monolayer Pb as a potentially appealing platform for spintronic applications.


title: On completing a measurement model by symmetry

abstract: An appeal for symmetry is made to build established notions of specific representation and specific nonlinearity of measurement (often called model error) into a canonical linear regression model. Additive components are derived from the trivially complete model M = m. Factor analysis and equation error motivate corresponding notions of representation and nonlinearity in an errors-in-variables framework, with a novel interpretation of terms. It is suggested that a modern interpretation of correlation involves both linear and nonlinear association.


title: Sample size calculations for n-of-1 trials

abstract: N-of-1 trials, single participant trials in which multiple treatments are sequentially randomized over the study period, can give direct estimates of individual-specific treatment effects. Combining n-of-1 trials gives extra information for estimating the population average treatment effect compared with randomized controlled trials and increases precision for individual-specific treatment effect estimates. In this paper, we present a procedure for designing n-of-1 trials. We formally define the design components for determining the sample size of a series of n-of-1 trials, present models for analyzing these trials and use them to derive the sample size formula for estimating the population average treatment effect and the standard error of the individual-specific treatment effect estimates. We recommend first finding the possible designs that will satisfy the power requirement for estimating the population average treatment effect and then, if of interest, finalizing the design to also satisfy the standard error requirements for the individual-specific treatment effect estimates. The procedure is implemented and illustrated in the paper and through a Shiny app.


title: Long Passphrases: Potentials and Limits

abstract: Passphrases offer an alternative to traditional passwords which aim to be stronger and more memorable. However, users tend to choose short passphrases with predictable patterns that may reduce the security they offer. To explore the potential of long passphrases, we formulate a set of passphrase policies and guidelines aimed at supporting their creation and use. Through a 39-day user study we analyze the usability and security of passphrases generated using our policies and guidelines. Our analysis indicates these policies lead to reasonable usability and promising security for some use cases, and that there are some common pitfalls in free-form passphrase creation. Our results suggest that our policies can support the use of long passphrases.


title: Erd\H{o}s-Ko-Rado results for the general linear group, the special linear group and the affine general linear group

abstract: In this paper, we show that both the general linear group $\gl{q}$ and the special linear group $\slg{q}$ have both the EKR property and the EKR-module property. This is done using an algebraic method; a weighted adjacency matrix for the derangement graph for the group is found and Hoffman's ratio bound is applied to this matrix. We also consider the group $\agl{q}$ and the 2-intersecting sets in $\PGL(2,q)$.


title: Tight Bounds on the Spooky Pebble Game: Recycling Qubits with Measurements

abstract: Pebble games are popular models for analyzing time-space trade-offs. In particular, the reversible pebble game is often applied in quantum algorithms like Grover's search to efficiently simulate classical computation on inputs in superposition. However, the reversible pebble game cannot harness the additional computational power granted by irreversible intermediate measurements. The spooky pebble game, which models interleaved measurements and adaptive phase corrections, reduces the number of qubits beyond what reversible approaches can achieve. While the spooky pebble game does not reduce the total space (bits plus qubits) complexity of the simulation, it reduces the amount of space that must be stored in qubits. We prove asymptotically tight trade-offs for the spooky pebble game on a line with any pebble bound, giving a tight time-qubit tradeoff for simulating arbitrary classical sequential computation with the spooky pebble game. For example, for all $\epsilon \in (0,1]$, any classical computation requiring time $T$ and space $S$ can be implemented on a quantum computer using only $O(T/ \epsilon)$ gates and $O(T^{\epsilon}S^{1-\epsilon})$ qubits. This improves on the best known bound for the reversible pebble game with that number of qubits, which uses $O(2^{1/\epsilon} T)$ gates. We also consider the spooky pebble game on more general directed acyclic graphs (DAGs), capturing fine-grained data dependency in computation and show that this game can outperform the reversible pebble game on trees. Additionally any DAG can be pebbled with at most one more pebble than is needed in the irreversible pebble game, implying that finding the minimum number of pebbles necessary to play the spooky pebble game on a DAG with maximum in-degree two is PSPACE-hard to approximate.


title: Motohashi's Formula for the Fourth Moment of Individual Dirichlet $L$-Functions and Applications

abstract: A new reciprocity formula for Dirichlet $L$-functions associated to an arbitrary primitive Dirichlet character of prime modulus $q$ is established. We find an identity relating the fourth moment of individual Dirichlet $L$-functions in the $t$-aspect to the cubic moment of central $L$-values of Hecke-Maass newforms of level at most $q^{2}$ and primitive central character $\psi^{2}$ averaged over all primitive nonquadratic characters $\psi$ modulo $q$. Our formula can be thought of as a reverse version of recent work of Petrow-Young. Direct corollaries involve a variant of Iwaniec's short interval fourth moment bound and the twelfth moment bound for Dirichlet $L$-functions, which generalise work of Jutila and Heath-Brown, respectively. This work traverses an intersection of classical analytic number theory and automorphic forms.


title: Deep Transfer Learning & Beyond: Transformer Language Models in Information Systems Research

abstract: AI is widely thought to be poised to transform business, yet current perceptions of the scope of this transformation may be myopic. Recent progress in natural language processing involving transformer language models (TLMs) offers a potential avenue for AI-driven business and societal transformation that is beyond the scope of what most currently foresee. We review this recent progress as well as recent literature utilizing text mining in top IS journals to develop an outline for how future IS research can benefit from these new techniques. Our review of existing IS literature reveals that suboptimal text mining techniques are prevalent and that the more advanced TLMs could be applied to enhance and increase IS research involving text data, and to enable new IS research topics, thus creating more value for the research community. This is possible because these techniques make it easier to develop very powerful custom systems and their performance is superior to existing methods for a wide range of tasks and applications. Further, multilingual language models make possible higher quality text analytics for research in multiple languages. We also identify new avenues for IS research, like language user interfaces, that may offer even greater potential for future IS research.


title: Information Operations in Turkey: Manufacturing Resilience with Free Twitter Accounts

abstract: Following the 2016 US elections Twitter launched their Information Operations (IO) hub where they archive account activity connected to state linked information operations. In June 2020, Twitter took down and released a set of accounts linked to Turkey's ruling political party (AKP). We investigate these accounts in the aftermath of the takedown to explore whether AKP-linked operations are ongoing and to understand the strategies they use to remain resilient to disruption. We collect live accounts that appear to be part of the same network, ~30% of which have been suspended by Twitter since our collection. We create a BERT-based classifier that shows similarity between these two networks, develop a taxonomy to categorize these accounts, find direct sequel accounts between the Turkish takedown and the live accounts, and find evidence that Turkish IO actors deliberately construct their network to withstand large-scale shutdown by utilizing explicit and implicit signals of coordination. We compare our findings from the Turkish operation to Russian and Chinese IO on Twitter and find that Turkey's IO utilizes a unique group structure to remain resilient. Our work highlights the fundamental imbalance between IO actors quickly and easily creating free accounts and the social media platforms spending significant resources on detection and removal, and contributes novel findings about Turkish IO on Twitter.


title: Accurate and Robust Object-oriented SLAM with 3D Quadric Landmark Construction in Outdoor Environment

abstract: Object-oriented SLAM is a popular technology in autonomous driving and robotics. In this paper, we propose a stereo visual SLAM with a robust quadric landmark representation method. The system consists of four components, including deep learning detection, object-oriented data association, dual quadric landmark initialization and object-based pose optimization. State-of-the-art quadric-based SLAM algorithms always face observation related problems and are sensitive to observation noise, which limits their application in outdoor scenes. To solve this problem, we propose a quadric initialization method based on the decoupling of the quadric parameters method, which improves the robustness to observation noise. The sufficient object data association algorithm and object-oriented optimization with multiple cues enables a highly accurate object pose estimation that is robust to local observations. Experimental results show that the proposed system is more robust to observation noise and significantly outperforms current state-of-the-art methods in outdoor environments. In addition, the proposed system demonstrates real-time performance.


title: Probing the large-scale structure of the universe through gravitational-wave observations

abstract: The improvements in the sensitivity of the gravitational wave (GW) network enable the detection of several large redshift GW sources by third-generation GW detectors. These advancements provide an independent method to probe the large-scale structure of the universe by using the clustering of the binary black holes. The black hole catalogs are complementary to the galaxy catalogs because of large redshifts of GW events, which may imply that binary black holes (BBHs) are a better choice than galaxies to probe the large-scale structure of the universe and cosmic evolution over a large redshift range. To probe the large-scale structure, we used the sky position of the binary black holes observed by third-generation GW detectors to calculate the angular correlation function (ACF) and the bias factor of the population of binary black holes. This method is also statistically significant as 5000 BBHs are simulated. Moreover, for the third-generation GW detectors, we found that the bias factor can be recovered to within 33$\%$ with an observational time of ten years. This method only depends on the GW source-location posteriors; hence, it can be an independent method to reveal the formation mechanisms and origin of the BBH mergers compared to the electromagnetic method.


title: Empirical Policy Optimization for $n$-Player Markov Games

abstract: In single-agent Markov decision processes, an agent can optimize its policy based on the interaction with environment. In multi-player Markov games (MGs), however, the interaction is non-stationary due to the behaviors of other players, so the agent has no fixed optimization objective. In this paper, we treat the evolution of player policies as a dynamical process and propose a novel learning scheme for Nash equilibrium. The core is to evolve one's policy according to not just its current in-game performance, but an aggregation of its performance over history. We show that for a variety of MGs, players in our learning scheme will provably converge to a point that is an approximation to Nash equilibrium. Combined with neural networks, we develop the \emph{empirical policy optimization} algorithm, that is implemented in a reinforcement-learning framework and runs in a distributed way, with each player optimizing its policy based on own observations. We use two numerical examples to validate the convergence property on small-scale MGs with $n\ge 2$ players, and a pong example to show the potential of our algorithm on large games.


title: Location Information Assisted Beamforming Design for Reconfigurable Intelligent Surface Aided Communication Systems

abstract: In reconfigurable intelligent surface (RIS) aided millimeter-wave (mmWave) communication systems, in order to overcome the limitation of the conventional channel state information (CSI) acquisition techniques, this paper proposes a location information assisted beamforming design without the requirement of the conventional channel training process. First, we establish the geometrical relation between the channel model and the user location, based on which we derive an approximate CSI error bound based on the user location error by means of Taylor approximation, triangle and power mean inequalities, and semidefinite relaxation (SDR). Second, for combating the uncertainty of the location error, we formulate a worst-case robust beamforming optimization problem. To solve the problem efficiently, we develop a novel iterative algorithm by utilizing various optimization tools such as Lagrange multiplier, matrix inversion lemma, SDR, as well as branch-and-bound (BnB). Additionally, we provide sufficient conditions for the SDR to output rank-one solutions, and modify the BnB algorithm to acquire the phase shift solution under an arbitrary constraint of possible phase shift values. Finally, we analyse the algorithm convergence and complexity, and carry out simulations to validate the theoretical derivation of the CSI error bound and the robustness of the proposed algorithm. Compared with the existing non-robust approach and the robust beamforming techniques based on S-procedure and penalty convex-concave procedure (CCP), our method can converge more quickly and achieve better performance in terms of the worst-case signal-to-noise ratio (SNR) at the receiver.


title: Earth-mass primordial black hole mergers as sources for non-repeating FRBs

abstract: Fast radio bursts (FRBs) are mysterious astronomical radio transients with extremely short intrinsic duration. Until now, the physical origins of them still remain elusive especially for the non-repeating FRBs. Strongly inspired by recent progress on possible evidence of Earth-mass primordial black holes, we revisit the model of Earth-mass primordial black holes mergers as sources for non-repeating FRBs. Under the null hypothesis that the observed non-repeating FRBs are originated from the mergers of Earth-mass primordial black holes, we analyzed four independent samples of non-repeating FRBs to study the model parameters i.e. the typical charge value $q_{\rm{c}}$ and the power index $\alpha$ of the charge distribution function of the primordial black hole population $\phi(q) \propto (q/q_{\rm{c}})^{-\alpha}$ which describe how the charge was distributed in the population. $q$ is the charge of the hole in the unit of $\sqrt{G} M$, where $M$ is the mass of the hole. It turns out that this model can explain the observed data well. {Assuming the monochromatic mass spectrum for primordial black holes}, we get the average value of typical charge $\bar{q}_{\rm{c}}/10^{-5}=1.59^{+0.08}_{-0.18}$ and the power index $\bar{\alpha}=4.53^{+0.21}_{-0.14}$ by combining the fitting results given by four non-repeating FRB samples. The event rate of the non-repeating FRBs can be explained in the context of this model, if the abundance of the primordial black hole populations with charge $q \gtrsim 10^{-6}$ is larger than $10^{-5}$ which is far below the upper limit given by current observations for the abundance of Earth-mass primordial black holes. In the future, simultaneous detection of FRBs and high frequency gravitational waves produced by mergers of Earth-mass primordial black holes may directly confirm or deny this model.


title: Quantum Simulation of an Extended Fermi-Hubbard Model Using a 2D Lattice of Dopant-based Quantum Dots

abstract: The Hubbard model is one of the primary models for understanding the essential many-body physics in condensed matter systems such as Mott insulators and cuprate high-Tc superconductors. Recent advances in atomically precise fabrication in silicon using scanning tunneling microscopy (STM) have made possible atom-by-atom fabrication of single and few-dopant quantum dots and atomic-scale control of tunneling in dopant-based devices. However, the complex fabrication requirements of multi-component devices have meant that emulating two-dimensional (2D) Fermi-Hubbard physics using these systems has not been demonstrated. Here, we overcome these challenges by integrating the latest developments in atomic fabrication and demonstrate the analog quantum simulation of a 2D extended Fermi-Hubbard Hamiltonian using STM-fabricated 3x3 arrays of single/few-dopant quantum dots. We demonstrate low-temperature quantum transport and tuning of the electron ensemble using in-plane gates as efficient probes to characterize the many-body properties, such as charge addition, tunnel coupling, and the impact of disorder within the array. By controlling the array lattice constants with sub-nm precision, we demonstrate tuning of the hopping amplitude and long-range interactions and observe the finite-size analogue of a transition from Mott insulating to metallic behavior in the array. By increasing the measurement temperature, we simulate the effect of thermally activated hopping and Hubbard band formation in transport spectroscopy. We compare the analog quantum simulations with numerically simulated results to help understand the energy spectrum and resonant tunneling within the array. The results demonstrated in this study serve as a launching point for a new class of engineered artificial lattices to simulate the extended Fermi-Hubbard model of strongly correlated materials.


title: An Empirical Study of Protocols in Smart Contracts

abstract: Smart contracts are programs that are executed on a blockhain. They have been used for applications in voting, decentralized finance, and supply chain management. However, vulnerabilities in smart contracts have been abused by hackers, leading to financial losses. Understanding state machine protocols in smart contracts has been identified as important to catching common bugs, improving documentation, and optimizing smart contracts. We analyze Solidity smart contracts deployed on the Ethereum blockchain and study the prevalence of protocols and protocol-based bugs, as well as opportunities for gas optimizations.


title: Optimistic Policy Optimization is Provably Efficient in Non-stationary MDPs

abstract: We study episodic reinforcement learning (RL) in non-stationary linear kernel Markov decision processes (MDPs). In this setting, both the reward function and the transition kernel are linear with respect to the given feature maps and are allowed to vary over time, as long as their respective parameter variations do not exceed certain variation budgets. We propose the $\underline{\text{p}}$eriodically $\underline{\text{r}}$estarted $\underline{\text{o}}$ptimistic $\underline{\text{p}}$olicy $\underline{\text{o}}$ptimization algorithm (PROPO), which is an optimistic policy optimization algorithm with linear function approximation. PROPO features two mechanisms: sliding-window-based policy evaluation and periodic-restart-based policy improvement, which are tailored for policy optimization in a non-stationary environment. In addition, only utilizing the technique of sliding window, we propose a value-iteration algorithm. We establish dynamic upper bounds for the proposed methods and a matching minimax lower bound which shows the (near-) optimality of the proposed methods. To our best knowledge, PROPO is the first provably efficient policy optimization algorithm that handles non-stationarity.


title: StyleNeRF: A Style-based 3D-Aware Generator for High-resolution Image Synthesis

abstract: We propose StyleNeRF, a 3D-aware generative model for photo-realistic high-resolution image synthesis with high multi-view consistency, which can be trained on unstructured 2D images. Existing approaches either cannot synthesize high-resolution images with fine details or yield noticeable 3D-inconsistent artifacts. In addition, many of them lack control over style attributes and explicit 3D camera poses. StyleNeRF integrates the neural radiance field (NeRF) into a style-based generator to tackle the aforementioned challenges, i.e., improving rendering efficiency and 3D consistency for high-resolution image generation. We perform volume rendering only to produce a low-resolution feature map and progressively apply upsampling in 2D to address the first issue. To mitigate the inconsistencies caused by 2D upsampling, we propose multiple designs, including a better upsampler and a new regularization loss. With these designs, StyleNeRF can synthesize high-resolution images at interactive rates while preserving 3D consistency at high quality. StyleNeRF also enables control of camera poses and different levels of styles, which can generalize to unseen views. It also supports challenging tasks, including zoom-in and-out, style mixing, inversion, and semantic editing.


title: Solving Optimization Problems over the Stiefel Manifold by Smooth Exact Penalty Function

abstract: In this paper, we present a novel penalty model called ExPen for optimization over the Stiefel manifold. Different from existing penalty functions for orthogonality constraints, ExPen adopts a smooth penalty function without using any first-order derivative of the objective function. We show that all the first-order stationary points of ExPen with a sufficiently large penalty parameter are either feasible, namely, are the first-order stationary points of the original optimization problem, or far from the Stiefel manifold. Besides, the original problem and ExPen share the same second-order stationary points. Remarkably, the exact gradient and Hessian of ExPen are easy to compute. As a consequence, abundant algorithm resources in unconstrained optimization can be applied straightforwardly to solve ExPen.


title: A synchrotron-based kilowatt-level radiation source for EUV lithograph

abstract: A compact damping ring with limited circumference of about 160 m is proposed for producing kilowatt-level coherent EUV radiation. The electron bunch in the ring is modulated by a 257nm wavelength laser with the help of the angular dispersion induced micro-bunching method [C. Feng and Z. Zhao, Sci. Rep. 7, 4724 (2017)]. Coherent radiation at 13.5 nm with an average power of about 2.5 kW can be achieved with the state-of-the-art accelerator and laser technologies.


title: FEANet: Feature-Enhanced Attention Network for RGB-Thermal Real-time Semantic Segmentation

abstract: The RGB-Thermal (RGB-T) information for semantic segmentation has been extensively explored in recent years. However, most existing RGB-T semantic segmentation usually compromises spatial resolution to achieve real-time inference speed, which leads to poor performance. To better extract detail spatial information, we propose a two-stage Feature-Enhanced Attention Network (FEANet) for the RGB-T semantic segmentation task. Specifically, we introduce a Feature-Enhanced Attention Module (FEAM) to excavate and enhance multi-level features from both the channel and spatial views. Benefited from the proposed FEAM module, our FEANet can preserve the spatial information and shift more attention to high-resolution features from the fused RGB-T images. Extensive experiments on the urban scene dataset demonstrate that our FEANet outperforms other state-of-the-art (SOTA) RGB-T methods in terms of objective metrics and subjective visual comparison (+2.6% in global mAcc and +0.8% in global mIoU). For the 480 x 640 RGB-T test images, our FEANet can run with a real-time speed on an NVIDIA GeForce RTX 2080 Ti card.


title: Valid and Exact Statistical Inference for Multi-dimensional Multiple Change-Points by Selective Inference

abstract: In this paper, we study statistical inference of change-points (CPs) in multi-dimensional sequence. In CP detection from a multi-dimensional sequence, it is often desirable not only to detect the location, but also to identify the subset of the components in which the change occurs. Several algorithms have been proposed for such problems, but no valid exact inference method has been established to evaluate the statistical reliability of the detected locations and components. In this study, we propose a method that can guarantee the statistical reliability of both the location and the components of the detected changes. We demonstrate the effectiveness of the proposed method by applying it to the problems of genomic abnormality identification and human behavior analysis.


title: Decoherence effects in quantum nondemolition measurement induced entanglement between Bose-Einstein condensates

abstract: We study the robustness of quantum nondemolition (QND) measurement-induced entanglement between Bose-Einstein Condensates (BECs). We consider an experimental scheme where two BECs are placed in the paths of a Mach-Zehnder interferometer, and a QND interaction creates entanglement between coherent light and the atoms. We analyze the two dominant channels of decoherence, atomic dephasing and photon loss on the entangled states produced by this scheme. We calculate the effect of dephasing on the variance and expectation values of the spin operators, entanglement, and correlation criteria. Our analysis does not use the Holstein-Primakoff approximation and is capable of modeling long light-atom interaction times, producing non-Gaussian states beyond the two-mode squeezed states. In the presence of dephasing, the entangled states are robust in the macroscopic limit as long as the dimensionless interaction time is less than $ 1/\sqrt{N}$, where $ N $ is the number of atoms in the BEC. For photon loss, the entangled states generated by long interaction times show remarkable robustness that makes the scheme promising for various quantum information applications.


title: Dimensionality Reduction for Wasserstein Barycenter

abstract: The Wasserstein barycenter is a geometric construct which captures the notion of centrality among probability distributions, and which has found many applications in machine learning. However, most algorithms for finding even an approximate barycenter suffer an exponential dependence on the dimension $d$ of the underlying space of the distributions. In order to cope with this "curse of dimensionality," we study dimensionality reduction techniques for the Wasserstein barycenter problem. When the barycenter is restricted to support of size $n$, we show that randomized dimensionality reduction can be used to map the problem to a space of dimension $O(\log n)$ independent of both $d$ and $k$, and that \emph{any} solution found in the reduced dimension will have its cost preserved up to arbitrary small error in the original space. We provide matching upper and lower bounds on the size of the reduced dimension, showing that our methods are optimal up to constant factors. We also provide a coreset construction for the Wasserstein barycenter problem that significantly decreases the number of input distributions. The coresets can be used in conjunction with random projections and thus further improve computation time. Lastly, our experimental results validate the speedup provided by dimensionality reduction while maintaining solution quality.


title: SmartGridToolbox: A Library for Simulating Modern and Future Electricity Networks

abstract: We present SmartGridToolbox: a C++ library for simulating modern and future electricity networks. SmartGridToolbox is distinguished by the fact that it is a general purpose library (rather than an application), that emphasizes flexibility, extensibility, and ability to interface with a wide range of other tools, such as optimization technologies. It incorporates fully unbalanced network modelling, fast power flow and OPF solvers, a discrete-event simulation engine, and a component library that includes network components like lines, cables, transformers, ZIP loads and generators, renewable and storage components like PV generation and batteries, inverters, tap changers, PV, generic time dependent loads and more. We anticipate that SmartGridToolbox will be useful to researchers who require accurate simulations of electricity networks that go beyond simple applications of load flow - for example, by incorporating custom optimisation algorithms, controllers, devices, or network management strategies. Being a library, it is also perfect for developing a wide range of end use applications. We start with a comparison to existing open source software, and move on to present its main features and benchmark results. We conclude by discussing four applications, most notably, the use of SmartGridToolbox in the CONSORT Bruny Island Battery Trial, conducted between 2016 and 2019.


title: Typed Image-based Programming with Structure Editing

abstract: Many beloved programming systems are image-based: self-contained worlds that persist both code and data in a single file. Examples include Smalltalk, LISP, HyperCard, Flash, and spreadsheets. Image-based programming avoids much of the complexity of modern programming technology stacks and encourages more casual and exploratory programming. However conventional file-based programming has better support for collaboration and deployment. These problems have been blamed for the limited commercial success of Smalltalk. We propose to enable collaboration in image-based programming via types and structure editing. We focus on the problem of schema change on persistent data. We turn to static types, which paradoxically require more schema change but also provide a mechanism to express and execute those changes. To determine those changes we turn to structure editing, so that we can capture changes in type definitions with sufficient fidelity to automatically adapt the data to suit. We conjecture that typical schema changes can be handled through structure editing of static types. That positions us to tackle collaboration with what could be called version control for structure editing. We present a theory realizing this idea, which is our main technical contribution. While we focus here on editing types, if we can extend the approach to cover the entire programming experience then it would offer a new way to collaborate in image-based programming.


title: CMTR: Cross-modality Transformer for Visible-infrared Person Re-identification

abstract: Visible-infrared cross-modality person re-identification is a challenging ReID task, which aims to retrieve and match the same identity's images between the heterogeneous visible and infrared modalities. Thus, the core of this task is to bridge the huge gap between these two modalities. The existing convolutional neural network-based methods mainly face the problem of insufficient perception of modalities' information, and can not learn good discriminative modality-invariant embeddings for identities, which limits their performance. To solve these problems, we propose a cross-modality transformer-based method (CMTR) for the visible-infrared person re-identification task, which can explicitly mine the information of each modality and generate better discriminative features based on it. Specifically, to capture modalities' characteristics, we design the novel modality embeddings, which are fused with token embeddings to encode modalities' information. Furthermore, to enhance representation of modality embeddings and adjust matching embeddings' distribution, we propose a modality-aware enhancement loss based on the learned modalities' information, reducing intra-class distance and enlarging inter-class distance. To our knowledge, this is the first work of applying transformer network to the cross-modality re-identification task. We implement extensive experiments on the public SYSU-MM01 and RegDB datasets, and our proposed CMTR model's performance significantly surpasses existing outstanding CNN-based methods.


title: Segal-Bargmann Transforms Associated to a Family of Coupled Supersymmetries

abstract: The Segal-Bargmann transform is a Lie algebra and Hilbert space isomorphism between real and complex representations of the oscillator algebra. The Segal-Bargmann transform is useful in time-frequency analysis as it is closely related to the short-time Fourier transform. The Segal-Bargmann space provides a useful example of a reproducing kernel Hilbert space. Coupled supersymmetries (coupled SUSYs) are generalizations of the quantum harmonic oscillator that have a built-in supersymmetric nature and enjoy similar properties to the quantum harmonic oscillator. In this paper, we will develop Segal-Bargmann transforms for a specific class of coupled SUSYs which includes the quantum harmonic oscillator as a special case. We will show that the associated Segal-Bargmann spaces are distinct from the usual Segal-Bargmann space: their associated weight functions are no longer Gaussian and are spanned by stricter subsets of the holomorphic polynomials. The coupled SUSY Segal-Bargmann spaces provide new examples of reproducing kernel Hilbert spaces.


title: Finding Everything within Random Binary Networks

abstract: A recent work by Ramanujan et al. (2020) provides significant empirical evidence that sufficiently overparameterized, random neural networks contain untrained subnetworks that achieve state-of-the-art accuracy on several predictive tasks. A follow-up line of theoretical work provides justification of these findings by proving that slightly overparameterized neural networks, with commonly used continuous-valued random initializations can indeed be pruned to approximate any target network. In this work, we show that the amplitude of those random weights does not even matter. We prove that any target network can be approximated up to arbitrary accuracy by simply pruning a random network of binary $\{\pm1\}$ weights that is only a polylogarithmic factor wider and deeper than the target network.


title: Spectrally multiplexed and ultrabright entangled photon pairs in a lithium niobate microresonator

abstract: On-chip bright quantum sources with multiplexing ability are extremely high in demand for the integrated quantum networks with unprecedented scalability and complexity. Here, we demonstrate an ultrabright and broadband biphoton quantum source generated in a lithium niobate microresonator system.Without introducing the conventional domain poling, the on-chip microdisk produces entangled photon pairs covering a broad bandwidth promised by natural phase matching in spontaneous parametric down conversion.Experimentally, the multiplexed photon pairs are characterized by $30\ \rm nm$ bandwidth limited by the filtering system, which can be furthered enlarged.Meanwhile, the generation rate reaches $5.13\ {\rm MHz}/\upmu \rm W$ with a coincidence-to-accidental ratio up to $804$.Besides, the quantum source manifests the prominent purity with heralded single photon correlation $g_H^{(2)}(0)=0.0098\pm0.0021$ and energy-time entanglement with excellent interference visibility of $96.5\%\pm1.9\%$. Such quantum sources at the telecommunication band pave the way for high-dimensional entanglement and future integrated quantum information systems.


title: Using Structure-Behavior Coalescence Method for Systems Definition 2.0

abstract: Systems definition is an artifact created by humans to describe what a system is. A system has been defined, by systems definition 1.0, hopefully to be an integrated whole, embodied in its components, their interrelationships with each other and the environment, and the principles and guidelines governing its design and evolution. This systems definition 1.0 defining the system possesses one cardinal deficiency. The deficiency comes from that it does not describe the integration of systems structure and systems behavior. Structure-behavior coalescence (SBC) architecture provides an elegant way to integrate the structure and behavior of a system. A system is therefore redefined, by systems definition 2.0, truly to be an integrated whole, using the SBC architecture, embodied in its assembled components, their interactions with each other and the environment, and the principles and guidelines governing its design and evolution. Since systems definition 2.0 describes the integration of systems structure and systems behavior, definitely it is able to form an integrated whole of a system. In this situation, systems definition 2.0 is fully capable of defining a system.


title: Generic modules for the category of filtered by standard modules

abstract: Here we show that, given a finite homological system $({\cal P},\leq,\{\Delta_u\}_{u\in {\cal P}})$ for a finite-dimensional algebra $\Lambda$ over an algebraically closed field, the category ${\cal F}(\Delta)$ of $\Delta$-filtered modules is tame if and only if, for any $d\in \mathbb{N}$, there are only finitely many isomorphism classes of generic $\Lambda$-modules adapted to ${\cal F}(\Delta)$ with endolength $d$. We study the relationship between these generic modules and one-parameter families of indecomposables in ${\cal F}(\Delta)$. This study applies in particular to the category of filtered by standard modules for standardly stratified algebras.


title: Supervised Metric Learning for Music Structure Features

abstract: Music structure analysis (MSA) methods traditionally search for musically meaningful patterns in audio: homogeneity, repetition, novelty, and segment-length regularity. Hand-crafted audio features such as MFCCs or chromagrams are often used to elicit these patterns. However, with more annotations of section labels (e.g., verse, chorus, and bridge) becoming available, one can use supervised feature learning to make these patterns even clearer and improve MSA performance. To this end, we take a supervised metric learning approach: we train a deep neural network to output embeddings that are near each other for two spectrogram inputs if both have the same section type (according to an annotation), and otherwise far apart. We propose a batch sampling scheme to ensure the labels in a training pair are interpreted meaningfully. The trained model extracts features that can be used in existing MSA algorithms. In evaluations with three datasets (HarmonixSet, SALAMI, and RWC), we demonstrate that using the proposed features can improve a traditional MSA algorithm significantly in both intra- and cross-dataset scenarios.


title: Deep Learning-Based Power Control for Uplink Cell-Free Massive MIMO Systems

abstract: In this paper, a general framework for deep learning-based power control methods for max-min, max-product and max-sum-rate optimization in uplink cell-free massive multiple-input multiple-output (CF mMIMO) systems is proposed. Instead of using supervised learning, the proposed method relies on unsupervised learning, in which optimal power allocations are not required to be known, and thus has low training complexity. More specifically, a deep neural network (DNN) is trained to learn the map between fading coefficients and power coefficients within short time and with low computational complexity. It is interesting to note that the spectral efficiency of CF mMIMO systems with the proposed method outperforms previous optimization methods for max-min optimization and fits well for both max-sum-rate and max-product optimizations.


title: Towards nonlinear electrodynamics without renormalization

abstract: In this paper is considered nonlinear electrodynamics (NE) which does not satisfy the linear superposition principle (LSP). Since the presentation of the special theory of relativity, it has been commonly accepted that a famous formula E = mc^2 = m_0c^2 /(1-v^2/c^2)^(1/2) expresses the energy of a free particle only. However, while studying the experiment for the annihilation of particle and antiparticle and the production of the photon in terms of the law of energy conservation of particle and field, we obtain a conclusion that E includes not only the energy of a free particle but also the energy of its self -fields (electromagnetic field and gravitational field). Hence, a formula for the energy in the special theory of relativity comes to have a more inclusive meaning than Einstein had thought of it. Based upon such an idea and the correspondence principle, through introducing a new non-Euclidean four-dimensional space, so-called KR space in which the metric is the function of coordinates and 4-velocity, we reformulate the action function to be a function defined in the nonlinear version and from it find equation system for a charge and the field with a modified version, which is reduced to that in the Maxwell theory under the weak field condition: here, weak field condition is given by |U/m_0c^2|<<1, U; interactional energy. With the equation system, we show that the divergence problem arising from the Maxwell theory, without invoking renormalization, is very naturally solved by sensible mathematics and then demonstrate that the total energy of a free charge and its field equals mc^2 and so the energy of an electrostatic field leads to the finite. In this course are derived the modified version of Coulomb potential and of radiation reaction without renormalization which contains an interference effect (a nonlinear effect that does not obey LSP).


title: Application of some techniques in Sperner Theory: Optimal orientations of vertex-multiplications of trees with diameter 4

abstract: Koh and Tay proved a fundamental classification of $G$ vertex-multiplications into three classes $\mathscr{C}_0, \mathscr{C}_1$ and $\mathscr{C}_2$. They also showed that any vertex-multiplication of a tree with diameter at least 3 does not belong to the class $\mathscr{C}_2$. Of interest, $G$ vertex-multiplications are extensions of complete $n$-partite graphs and Gutin characterised complete bipartite graphs with an ingenious use of Sperner's Theorem. In this paper, we investigate vertex-multiplications of trees with diameter $4$ in $\mathscr{C}_0$ (or $\mathscr{C}_1$) and exhibit its intricate connections with problems in Sperner Theory, thereby extending Gutin's approach. Let $s$ denote the vertex-multiplication of the central vertex. We almost completely characterise the case of even $s$ and give a complete characterisation for the case of odd $s\ge 3$.


title: NYU-VPR: Long-Term Visual Place Recognition Benchmark with View Direction and Data Anonymization Influences

abstract: Visual place recognition (VPR) is critical in not only localization and mapping for autonomous driving vehicles, but also in assistive navigation for the visually impaired population. To enable a long-term VPR system on a large scale, several challenges need to be addressed. First, different applications could require different image view directions, such as front views for self-driving cars while side views for the low vision people. Second, VPR in metropolitan scenes can often cause privacy concerns due to the imaging of pedestrian and vehicle identity information, calling for the need for data anonymization before VPR queries and database construction. Both factors could lead to VPR performance variations that are not well understood yet. To study their influences, we present the NYU-VPR dataset that contains more than 200,000 images over a 2km by 2km area near the New York University campus, taken within the whole year of 2016. We present benchmark results on several popular VPR algorithms showing that side views are significantly more challenging for current VPR methods while the influence of data anonymization is almost negligible, together with our hypothetical explanations and in-depth analysis.


title: Unsupervised Learned Kalman Filtering

abstract: In this paper we adapt KalmanNet, which is a recently pro-posed deep neural network (DNN)-aided system whose architecture follows the operation of the model-based Kalman filter (KF), to learn its mapping in an unsupervised manner, i.e., without requiring ground-truth states. The unsupervised adaptation is achieved by exploiting the hybrid model-based/data-driven architecture of KalmanNet, which internally predicts the next observation as the KF does. These internal features are then used to compute the loss rather than the state estimate at the output of the system. With the capability of unsupervised learning, one can use KalmanNet not only to track the hidden state, but also to adapt to variations in the state space (SS) model. We numerically demonstrate that when the noise statistics are unknown, unsupervised KalmanNet achieves a similar performance to KalmanNet with supervised learning. We also show that we can adapt a pre-trained KalmanNet to changing SS models without providing additional data thanks to the unsupervised capabilities.


title: Natural Image Reconstruction from fMRI using Deep Learning: A Survey

abstract: With the advent of brain imaging techniques and machine learning tools, much effort has been devoted to building computational models to capture the encoding of visual information in the human brain. One of the most challenging brain decoding tasks is the accurate reconstruction of the perceived natural images from brain activities measured by functional magnetic resonance imaging (fMRI). In this work, we survey the most recent deep learning methods for natural image reconstruction from fMRI. We examine these methods in terms of architectural design, benchmark datasets, and evaluation metrics and present a fair performance evaluation across standardized evaluation metrics. Finally, we discuss the strengths and limitations of existing studies and present potential future directions.


title: Online Motion Planning with Soft Metric Interval Temporal Logic in Unknown Dynamic Environment

abstract: Motion planning of an autonomous system with high-level specifications has wide applications. However, research of formal languages involving timed temporal logic is still under investigation. Furthermore, many existing results rely on a key assumption that user-specified tasks are feasible in the given environment. Challenges arise when the operating environment is dynamic and unknown since the environment can be found prohibitive, leading to potentially conflicting tasks where pre-specified timed missions cannot be fully satisfied. Such issues become even more challenging when considering time-bound requirements. To address these challenges, this work proposes a control framework that considers hard constraints to enforce safety requirements and soft constraints to enable task relaxation. The metric interval temporal logic (MITL) specifications are employed to deal with time-bound constraints. By constructing a relaxed timed product automaton, an online motion planning strategy is synthesized with a receding horizon controller to generate policies, achieving multiple objectives in decreasing order of priority 1) formally guarantee the satisfaction of hard safety constraints; 2) mostly fulfill soft timed tasks; and 3) collect time-varying rewards as much as possible. Another novelty of the relaxed structure is to consider violations of both time and tasks for infeasible cases. Simulation results are provided to validate the proposed approach.


title: When Are Linear Stochastic Bandits Attackable?

abstract: We study adversarial attacks on linear stochastic bandits: by manipulating the rewards, an adversary aims to control the behaviour of the bandit algorithm. Perhaps surprisingly, we first show that some attack goals can never be achieved. This is in sharp contrast to context-free stochastic bandits, and is intrinsically due to the correlation among arms in linear stochastic bandits. Motivated by this finding, this paper studies the attackability of a $k$-armed linear bandit environment. We first provide a complete necessity and sufficiency characterization of attackability based on the geometry of the arms' context vectors. We then propose a two-stage attack method against LinUCB and Robust Phase Elimination. The method first asserts whether the given environment is attackable; and if yes, it poisons the rewards to force the algorithm to pull a target arm linear times using only a sublinear cost. Numerical experiments further validate the effectiveness and cost-efficiency of the proposed attack method.


title: Assessment of a porous viscoelastic model for wave attenuation in ice-covered seas

abstract: Chen et al. (Eur. J. Mech. B/Fluids 78, pp. 88-105, 2019) recently proposed a two-dimensional continuum model for linear gravity waves propagating in ice-covered seas. It is based on a two-layer formulation where the ice cover is viewed as a porous viscoelastic medium. In the present paper, extensive tests against both laboratory experiments and field observations are performed to assess this model's ability at describing wave attenuation in various types of sea ice. The theoretical predictions are fitted to data on attenuation rate via error minimization and numerical solution of the corresponding dispersion relation. Detailed comparison with other existing viscoelastic theories is also presented. Estimates for effective rheological parameters such as shear modulus and kinematic viscosity are obtained from the fits and are found to vary significantly among the models. For this poroelastic system, the range of estimated values turns out to be relatively narrow in orders of magnitude over all the cases considered. Against field measurements from the Arctic Ocean, this model is able to reasonably reproduce the roll-over of attenuation rate as a function of frequency. Given the rather large number of physical parameters in such a formulation, a sensitivity analysis is also conducted to gauge the relevance of a representative set of them to the attenuation process.


title: Establishing Direct Phenomenological Connections between Fluid and Structure by the Koopman-Linearly-Time-Invariant Analysis

abstract: In this work, we introduce a novel data-driven formulation, the Koopman-Linearly-Time-Invariant (Koopman-LTI) analysis, for analyzing Fluid-Structure Interactions (FSI). An implementation of the Koopman-LTI on a subcritical free-shear flow over a prism at Re=22,000 corroborated a configuration-wise universal Koopman system, which approximated the configuration's nonlinear dynamics with stellar accuracy. The Koopman-LTI also successfully decomposed the entwined morphologies of raw measurement into a linear superposition of frequency-based constituents. Most importantly, with random and anisotropic turbulence, the Koopman-LTI yielded frequency-wise identical modes for structure response and fluid excitation, thus establishing direct constitutive relations between the phenomenology of fluid and structure.


title: Varieties of semiassociative relation algebras and tense algebras

abstract: It is well known that the subvariety lattice of the variety of relation algebras has exactly three atoms. The (join-irreducible) covers of two of these atoms are known, but a complete classification of the (join-irreducible) covers of the remaining atom has not yet been found. These statements are also true of a related subvariety lattice, namely the subvariety lattice of the variety of semiassociative relation algebras. The present article shows that this atom has continuum many covers in this subvariety lattice (and in some related subvariety lattices) using a previously established term equivalence between a variety of tense algebras and a variety of semiassociative r-algebras.


title: Navigation of a UAV Equipped with a Reconfigurable Intelligent Surface for LoS Wireless Communication with a Ground Vehicle

abstract: Unmanned aerial vehicles (UAVs) have been successfully adopted to enhance the flexibility and robustness of wireless communication networks. And recently, the reconfigurable intelligent surface (RIS) technology has been paid increasing attention to improve the throughput of the fifth-generation (5G) millimeter-wave (mmWave) wireless communication. In this work, we propose an RIS-outfitted UAV (RISoUAV) to secure an uninterrupted line-of-sight (LoS) link with a ground moving target (MT). The MT can be an emergency ambulance and need a secure wireless communication link for continuous monitoring and diagnosing the health condition of a patient, which is vital for delivering critical patient care. In this light, real-time communication is required for sending various clinical multimedia data including videos, medical images, and vital signs. This significant target is achievable thanks to the 5G wireless communication assisted with RISoUAV. A two-stage optimization method is proposed to optimize the RISoUAV trajectory limited to UAV motion and LoS constraints. At the first stage, the optimal tube path of the RISoUAV is determined by taking into account the energy consumption, instant LoS link, and UAV speed/acceleration constraints. At the second stage, an accurate RISoUAV trajectory is obtained by considering the communication channel performance and passive beamforming. Simulation results show the accuracy and effectiveness of the method.


title: A Space-time Model for Inferring A Susceptibility Map for An Infectious Disease

abstract: Motivated by foot-and-mouth disease (FMD) outbreak data from Turkey, we develop a model to estimate disease risk based on a space-time record of outbreaks. The spread of infectious disease in geographical units depends on both transmission between neighbouring units and the intrinsic susceptibility of each unit to an outbreak. Spatially correlated susceptibility may arise from known factors, such as population density, or unknown (or unmeasured) factors such as commuter flows, environmental conditions, or health disparities. Our framework accounts for both space-time transmission and susceptibility. We model the unknown spatially correlated susceptibility as a Gaussian process. We show that the susceptibility surface can be estimated from observed, geo-located time series of infection events and use a projection-based dimension reduction approach which improves computational efficiency. In addition to identifying high risk regions from the Turkey FMD data, we also study how our approach works on the well known England-Wales measles outbreaks data; our latter study results in an estimated susceptibility surface that is strongly correlated with population size, consistent with prior analyses.


title: Normal extensions of KTB of codimension 3

abstract: It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reflexive point, and the logic of the total relation on two points. A natural question arises about the cardinality of the set of normal extensions of KTB of codimension 3. Generalising two finite examples found by a computer search, we construct an uncountable family of (countable) graphs, and prove that certain frames based on these produce a continuum of normal extensions of KTB of codimension 3. We use algebraic methods, which in this case turn out to be better suited to the task than frame-theoretic ones.


title: Impact of biaxial birefringence in polar ice at radio frequencies on signal polarizations in ultra-high energy neutrino detection

abstract: It is known that polar ice is birefringent and that this can have implications for in-ice radio detection of ultra-high energy neutrinos. Previous investigations of the effects of birefringence on the propagation of radio-frequency signals in ice have found that it can cause time delays between pulses in different polarizations in in-ice neutrino experiments, and can have polarization-dependent effects on power in radar echoes at oblique angles in polar ice. I report, for the first time, on implications for the received power in different polarizations in high energy neutrino experiments, where the source of the emitted signal is in the ice, a biaxial treatment at radio wavelengths is used, and the signals propagate at oblique angles. I describe a model for this and compare with published results from the SPICE in-ice calibration pulser system at South Pole, where unexpectedly high cross-polarization power has been reported for some geometries. The data shows behaviors indicative of the need for a biaxial treatment of birefringence inducing non-trivial rotations of the signal polarization. The behaviors include, but are not limited to, a time delay that would leave an imprint in the power spectrum. I explain why this time delay has the potential to serve as both an in-ice neutrino signature and a measurement of the distance to the interaction. While further work is needed, I expect that proper handling of the effects presented here will increase the science potential of ultra-high energy neutrino experiments, and may impact the optimal designs of next-generation detectors.


title: Detection of Islands and Droplets on Smectic Films Using Machine Learning

abstract: Machine learning techniques have been developed to identify inclusions on the surface of freely suspended smectic liquid crystal films imaged by reflected light microscopy. The experimental images are preprocessed using Canny edge detection and then passed to a radial kernel support vector machine (SVM) trained to recognize circular islands and droplets. The SVM is able to identify these objects of interest with an accuracy that far exceeds that of conventional tracking software, especially when the background image is non-uniform or when the target features are in close proximity to one another. This method could be applied to tracking objects in a variety of visually inhomogeneous biological and soft matter environments, in order to study growth dynamics, the development of spatial order, and hydrodynamic behavio


title: Anatomy of a superorganism -- structure and growth dynamics of army ant bivouacs

abstract: Beyond unicellular and multicellular organisms, there is a third type of structural complexity in living animals: that of the mechanical self-assembly of groups of distinct multicellular organisms into dynamical, functional structures. One of the most striking examples of such structures is the army ant bivouac, a nest which self-assembles solely from the interconnected bodies of hundreds of thousands of individuals. These bivouacs are difficult to study because they rapidly disassemble when disturbed, and hence little is known about the structure and rules that individuals follow during their formation. Here we use a custom-built Computed Tomography scanner to investigate the details of the internal structure and growth process of army ant bivouacs. We show that bivouacs are heterogeneous structures, which throughout their growth maintain a thick shell surrounding a less dense interior that contains empty spaces akin to nest chambers. We find that ants within the bivouac do not carry more than approximately eight times their weight regardless of the size of the structure or their position within it. This observation suggests that bivouac size is not limited by physical constraints of the ants' morphology. This study brings us closer to understanding the rules used by individuals to govern the formation of these exceptional superorganismal structures, and provides insight into how to create engineered self-assembling systems with, for instance, swarms of robots or active matter.


title: Reinforcement Learning-Based Coverage Path Planning with Implicit Cellular Decomposition

abstract: Coverage path planning in a generic known environment is shown to be NP-hard. When the environment is unknown, it becomes more challenging as the robot is required to rely on its online map information built during coverage for planning its path. A significant research effort focuses on designing heuristic or approximate algorithms that achieve reasonable performance. Such algorithms have sub-optimal performance in terms of covering the area or the cost of coverage, e.g., coverage time or energy consumption. In this paper, we provide a systematic analysis of the coverage problem and formulate it as an optimal stopping time problem, where the trade-off between coverage performance and its cost is explicitly accounted for. Next, we demonstrate that reinforcement learning (RL) techniques can be leveraged to solve the problem computationally. To this end, we provide some technical and practical considerations to facilitate the application of the RL algorithms and improve the efficiency of the solutions. Finally, through experiments in grid world environments and Gazebo simulator, we show that reinforcement learning-based algorithms efficiently cover realistic unknown indoor environments, and outperform the current state of the art.


title: Similarity-and-Independence-Aware Beamformer with Iterative Casting and Boost Start for Target Source Extraction Using Reference

abstract: Target source extraction is significant for improving human speech intelligibility and the speech recognition performance of computers. This study describes a method for target source extraction, called the similarity-and-independence-aware beamformer (SIBF). The SIBF extracts the target source using a rough magnitude spectrogram as the reference signal. The advantage of the SIBF is that it can obtain a more accurate signal than the spectrogram generated by target-enhancing methods such as speech enhancement based on deep neural networks. For the extraction, we extend the framework of deflationary independent component analysis (ICA) by considering the similarities between the reference and extracted target sources, in addition to the mutual independence of all the potential sources. To solve the extraction problem by maximum-likelihood estimation, we introduce three source models that can reflect the similarities. The major contributions of this study are as follows. First, the extraction performance is improved using two methods, namely boost start for faster convergence and iterative casting for generating a more accurate reference. The effectiveness of these methods is verified through experiments using the CHiME3 dataset. Second, a concept of a fixed point pertaining to accuracy is developed. This concept facilitates understanding the relationship between the reference and SIBF output in terms of accuracy. Third, a unified formulation of the SIBF and mask-based beamformer is realized to apply the expertise of conventional BFs to the SIBF. The findings of this study can also improve the performance of the SIBF and promote research on ICA and conventional beamformers. Index Terms: beamformer, independent component analysis, source separation, speech enhancement, target source extraction


title: AoA Estimation for OAM Communication Systems With Mode-Frequency Multi-Time ESPRIT Method

abstract: Radio orbital angular momentum (OAM) communications require accurate alignment between the transmit and receive beam directions. Accordingly, a key feature of OAM receivers is the ability to reliably estimate the angle of arrival (AoA) of multi-mode OAM beams. Considering the limitations of existing AoA estimation techniques, in this paper, we propose an easier-to-implement AoA estimation method based on applying multiple times the estimating signal parameters via rotational invariance techniques (ESPRIT) algorithm to the received training signals in OAM mode and frequency domains, which is denoted as the mode-frequency (M-F) multi-time (MT)-ESPRIT algorithm. With this method, the misalignment error of real OAM channels can be greatly reduced and the performance approaches that of ideally aligned OAM channels.


title: Artificial Neural Network and Its Application Research Progress in Chemical Process

abstract: Most chemical processes, such as distillation, absorption, extraction, and catalytic reactions, are extremely complex processes that are affected by multiple factors. The relationships between their input variables and output variables are non-linear, and it is difficult to optimize or control them using traditional methods. Artificial neural network (ANN) is a systematic structure composed of multiple neuron models. Its main function is to simulate multiple basic functions of the nervous system of living organisms. ANN can achieve nonlinear control without relying on mathematical models, and is especially suitable for more complex control objects. This article will introduce the basic principles and development history of artificial neural networks, and review its application research progress in chemical process control, fault diagnosis, and process optimization.


title: Mitigating Memorization of Noisy Labels via Regularization between Representations

abstract: Designing robust loss functions is popular in learning with noisy labels while existing designs did not explicitly consider the overfitting property of deep neural networks (DNNs). As a result, applying these losses may still suffer from overfitting/memorizing noisy labels as training proceeds. In this paper, we first theoretically analyze the memorization effect and show that a lower-capacity model may perform better on noisy datasets. However, it is non-trivial to design a neural network with the best capacity given an arbitrary task. To circumvent this dilemma, instead of changing the model architecture, we decouple DNNs into an encoder followed by a linear classifier and propose to restrict the function space of a DNN by a representation regularizer. Particularly, we require the distance between two self-supervised features to be positively related to the distance between the corresponding two supervised model outputs. Our proposed framework is easily extendable and can incorporate many other robust loss functions to further improve performance. Extensive experiments and theoretical analyses support our claims. Code is available at github.com/UCSC-REAL/SelfSup_NoisyLabel.


title: Utilizing Active Machine Learning for Quality Assurance: A Case Study of Virtual Car Renderings in the Automotive Industry

abstract: Computer-generated imagery of car models has become an indispensable part of car manufacturers' advertisement concepts. They are for instance used in car configurators to offer customers the possibility to configure their car online according to their personal preferences. However, human-led quality assurance faces the challenge to keep up with high-volume visual inspections due to the car models' increasing complexity. Even though the application of machine learning to many visual inspection tasks has demonstrated great success, its need for large labeled data sets remains a central barrier to using such systems in practice. In this paper, we propose an active machine learning-based quality assurance system that requires significantly fewer labeled instances to identify defective virtual car renderings without compromising performance. By employing our system at a German automotive manufacturer, start-up difficulties can be overcome, the inspection process efficiency can be increased, and thus economic advantages can be realized.


title: Ambipolar Property of Isolated Hydrogen in Oxide Materials Revealed by Muon

abstract: The study on the electronic state of muon as pseudo-hydrogen (represented by the elemental symbol Mu) has long been appreciated as one of the few methods to experimentally access the electronic state of dilute hydrogen (H) in semiconductors and dielectrics. Meanwhile, theoretical predictions on the electronic state of H in these materials by first-principles calculations using density functional theory (DFT) do not always agree with the observed states of Mu, standing as an obstacle to integrating the findings of both Mu and H. In this paper, we provide resolution to this problem by a semi-quantitative model that enables systematic understanding of the electronic states of Mu in most oxides.


title: Zeroth-order considerations on an accelerator-based gravitational wave amplifier

abstract: The operation of an accelerator-based gravitational wave amplifier has been studied, taking into account the interaction between beam and gravitational wave and neglecting all effects related to the emission of - and interaction with electromagnetic radiation. The small-gain operation mode has been considered. The gravitational counterpart of the Madey theorem as well some basic amplifier quantities as resonance wavelength, amplifier gain and gain length have been derived.


title: Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling

abstract: Given a Boolean formula $\varphi$ over the set of variables $X$ and a projection set $\mathcal{P} \subseteq X$, a subset of variables $\mathcal{I}$ is independent support of $\mathcal{P}$ if two solutions agree on $\mathcal{I}$, then they also agree on $\mathcal{P}$. The notion of independent support is related to the classical notion of definability dating back to 1901, and have been studied over the decades. Recently, the computational problem of determining independent support for a given formula has attained importance owing to the crucial importance of independent support for hashing-based counting and sampling techniques. In this paper, we design an efficient and scalable independent support computation technique that can handle formulas arising from real-world benchmarks. Our algorithmic framework, called Arjun, employs implicit and explicit definability notions, and is based on a tight integration of gate-identification techniques and assumption-based framework. We demonstrate that augmenting the state of the art model counter ApproxMC4 and sampler UniGen3 with Arjun leads to significant performance improvements. In particular, ApproxMC4 augmented with Arjun counts 387 more benchmarks out of 1896 while UniGen3 augmented with Arjun samples 319 more benchmarks within the same time limit.


title: Neutrinos: from the r-process to the diffuse supernova neutrino background

abstract: Neutrinos from dense environments are connected to the longstanding open questions of how massive stars explode and what are the sites where $r$-process elements are made. Flavor evolution and neutrino properties can influence nucleosynthetic abundances. GW170817 has given indirect evidence for r-process elements in binary neutron star mergers. We discuss the impact of non-standard interactions in such sites. Nearby compact objects, strong gravitational fields are present. We discuss their influence upon neutrino decoherence in a wave packet treatment of neutrino propagation. We conclude by mentioning the upcoming measurement of the diffuse supernova neutrino background.


title: Fast tree skeleton extraction using voxel thinning based on tree point cloud

abstract: Tree skeleton plays an important role in tree structure analysis, forest inventory and ecosystem monitoring. However, it is a challenge to extract a skeleton from a tree point cloud with complex branches. In this paper, an automatic and fast tree skeleton extraction method (FTSEM) based on voxel thinning is proposed. In this method, a wood-leaf classification algorithm was introduced to filter leaf points for the reduction of the leaf interference on tree skeleton generation, tree voxel thinning was adopted to extract raw tree skeleton quickly, and a breakpoint connection algorithm was used to improve the skeleton connectivity and completeness. Experiments were carried out in Haidian Park, Beijing, in which 24 trees were scanned and processed to obtain tree skeletons. The graph search algorithm (GSA) is used to extract tree skeletons based on the same datasets. Compared with GSA method, the FTSEM method obtained more complete tree skeletons. And the time cost of the FTSEM method is evaluated using the runtime and time per million points (TPMP). The runtime of FTSEM is from 1.0 s to 13.0 s, and the runtime of GSA is from 6.4 s to 309.3 s. The average value of TPMP is 1.8 s for FTSEM, and 22.3 s for GSA respectively. The experimental results demonstrate that the proposed method is feasible, robust, and fast with a good potential on tree skeleton extraction.