title: Ellipse Detection and Localization with Applications to Knots in Sawn Lumber Images

abstract: While general object detection has seen tremendous progress, localization of elliptical objects has received little attention in the literature. Our motivating application is the detection of knots in sawn timber images, which is an important problem since the number and types of knots are visual characteristics that adversely affect the quality of sawn timber. We demonstrate how models can be tailored to the elliptical shape and thereby improve on general purpose detectors; more generally, elliptical defects are common in industrial production, such as enclosed air bubbles when casting glass or plastic. In this paper, we adapt the Faster R-CNN with its Region Proposal Network (RPN) to model elliptical objects with a Gaussian function, and extend the existing Gaussian Proposal Network (GPN) architecture by adding the region-of-interest pooling and regression branches, as well as using the Wasserstein distance as the loss function to predict the precise locations of elliptical objects. Our proposed method has promising results on the lumber knot dataset: knots are detected with an average intersection over union of 73.05%, compared to 63.63% for general purpose detectors. Specific to the lumber application, we also propose an algorithm to correct any misalignment in the raw timber images during scanning, and contribute the first open-source lumber knot dataset by labeling the elliptical knots in the preprocessed images.


title: Simultaneous Speech-to-Speech Translation System with Neural Incremental ASR, MT, and TTS

abstract: This paper presents a newly developed, simultaneous neural speech-to-speech translation system and its evaluation. The system consists of three fully-incremental neural processing modules for automatic speech recognition (ASR), machine translation (MT), and text-to-speech synthesis (TTS). We investigated its overall latency in the system's Ear-Voice Span and speaking latency along with module-level performance.


title: Frobenius projective and affine geometry of varieties in positive characteristic

abstract: The goal of the present paper is to lay the foundations for a theory of projective and affine structures on higher-dimensional varieties in positive characteristic. This theory deals with Frobenius-projective and Frobenius-affine structures, which have been previously investigated only in the case where the underlying varieties are curves. As the first step in expanding the theory, we prove various basic properties on Frobenius-projective and Frobenius-affine structures and study (the positive characteristic version of) the classification problem, starting with S. Kobayashi and T. Ochiai, of varieties admitting projective or affine structures. In the first half of the present paper, we construct bijective correspondences with several types of generalized indigenous bundles; one of them is defined in terms of Berthelot's higher-level differential operators. We also prove the positive characteristic version of Gunning's formulas, which give necessary conditions on Chern classes for the existence of Frobenius-projective or Frobenius-affine structures respectively. The second half of the present paper is devoted to studying, from the viewpoint of Frobenius-projective and Frobenius-affine structures, some specific classes of varieties, i.e., projective and affine spaces, abelian varieties, curves, and surfaces. For example, it is shown that the existence of Frobenius-projective structures of infinite level gives a characterization of ordinariness for abelian varieties. Also, we prove that any smooth projective curve of genus $>1$ admits a Frobenius-projective structure of infinite level, which induces a representation of the stratified fundamental group.


title: Excited state diabatization on the cheap using DFT: Photoinduced electron and hole transfer

abstract: Excited state electron and hole transfer underpin fundamental steps in processes such as exciton dissociation at photovoltaic heterojunctions, photoinduced charge transfer at electrodes, and electron transfer in photosynthetic reaction centers. Diabatic states corresponding to charge or excitation localized species, such as locally excited and charge transfer states, provide a physically intuitive framework to simulate and understand these processes. However, obtaining accurate diabatic states and their couplings from adiabatic electronic states generally leads to inaccurate results when combined with low-tier electronic structure methods, such as time dependent density functional theory (TDDFT), and exorbitant computational cost when combined with high-level wavefunction-based methods. Here we introduce a DFT-based diabatization scheme, {\Delta}-ALMO(MSDFT2), which directly constructs the diabatic states using absolutely localized molecular orbitals (ALMOs). We demonstrate that our method, which combines ALMO calculations with the {\Delta}SCF technique to construct electronically excited diabatic states and obtains their couplings with charge-transfer states using our MSDFT2 scheme, gives accurate results for excited state electron and hole transfer in both charged and uncharged systems that underlie DNA repair, charge separation in donor-acceptor dyads, chromophore-to-solvent electron transfer, and singlet fission. This framework for the accurate and efficient construction of excited state diabats and evaluation of their couplings directly from DFT thus offers a route to simulate and elucidate photoinduced electron and hole transfer in large disordered systems, such as those encountered in the condensed phase.


title: AES: Autonomous Excavator System for Real-World and Hazardous Environments

abstract: Excavators are widely used for material-handling applications in unstructured environments, including mining and construction. The size of the global market of excavators is 44.12 Billion USD in 2018 and is predicted to grow to 63.14 Billion USD by 2026. Operating excavators in a real-world environment can be challenging due to extreme conditions and rock sliding, ground collapse, or exceeding dust. Multiple fatalities and injuries occur each year during excavations. An autonomous excavator that can substitute human operators in these hazardous environments would substantially lower the number of injuries and can improve the overall productivity.


title: Ab initio theory of the Drude plasma frequency

abstract: We derive a theoretical expression to calculate the Drude plasma frequency $\omega_p$ based on quantum mechanical time dependent perturbation theory. We show that in general $\omega_p^2$ should be replaced by a second rank tensor, the Drude tensor $\mathcal{D}$, which we express in terms of products of the velocity expectation values integrated over the Fermi surface, and which is amiable to analytical and numerical evaluation. For the Sommerfeld's model of metals our expression yields the ubiquitous plasma frequency $\omega^2_p=4\pi n_e e^2/m_e$. The Drude tensor takes into account the geometry of the unit cell and may be calculated from first principles for isotropic as well as anisotropic metallic systems. We present results for the noble metals, Cu, Ag, and Au without stress and subject to isotropic and uniaxial strains, and we compare the results to those available from experiment.


title: Inverse Kinematics as Low-Rank Euclidean Distance Matrix Completion

abstract: The majority of inverse kinematics (IK) algorithms search for solutions in a configuration space defined by joint angles. However, the kinematics of many robots can also be described in terms of distances between rigidly-attached points, which collectively form a Euclidean distance matrix. This alternative geometric description of the kinematics reveals an elegant equivalence between IK and the problem of low-rank matrix completion. We use this connection to implement a novel Riemannian optimization-based solution to IK for various articulated robots with symmetric joint angle constraints.


title: The m-core-EP inverse in Minkowski space

abstract: In this paper, we introduce the m-core-EP inverse in Minkowski space, consider its properties, and get several sufficient and necessary conditions for the existence of the m-core-EP inverse. We give the m-core-EP decomposition in Minkowski space, and note that not every square matrix has the decomposition. Furthermore, by applying the m-core-EP inverse and the m-core-EP decomposition, we introduce the m-core-EP order and give some characterizations of it.


title: When Is the Conway-Maxwell-Poisson Distribution Infinitely Divisible?

abstract: An essential character for a distribution to play a central role in the limit theory is infinite divisibility. In this note, we prove that the Conway-Maxwell-Poisson (CMP) distribution is infinitely divisible iff it is the Poisson or geometric distribution. This explains that, despite its applications in a wide range of fields, there is no theoretical foundation for the CMP distribution to be a natural candidate for the law of small numbers.


title: Social-STAGE: Spatio-Temporal Multi-Modal Future Trajectory Forecast

abstract: This paper considers the problem of multi-modal future trajectory forecast with ranking. Here, multi-modality and ranking refer to the multiple plausible path predictions and the confidence in those predictions, respectively. We propose Social-STAGE, Social interaction-aware Spatio-Temporal multi-Attention Graph convolution network with novel Evaluation for multi-modality. Our main contributions include analysis and formulation of multi-modality with ranking using interaction and multi-attention, and introduction of new metrics to evaluate the diversity and associated confidence of multi-modal predictions. We evaluate our approach on existing public datasets ETH and UCY and show that the proposed algorithm outperforms the state of the arts on these datasets.


title: Using flexible noise models to avoid noise model misspecification in inference of differential equation time series models

abstract: When modelling time series, it is common to decompose observed variation into a "signal" process, the process of interest, and "noise", representing nuisance factors that obfuscate the signal. To separate signal from noise, assumptions must be made about both parts of the system. If the signal process is incorrectly specified, our predictions using this model may generalise poorly; similarly, if the noise process is incorrectly specified, we can attribute too much or too little observed variation to the signal. With little justification, independent Gaussian noise is typically chosen, which defines a statistical model that is simple to implement but often misstates system uncertainty and may underestimate error autocorrelation. There are a range of alternative noise processes available but, in practice, none of these may be entirely appropriate, as actual noise may be better characterised as a time-varying mixture of these various types. Here, we consider systems where the signal is modelled with ordinary differential equations and present classes of flexible noise processes that adapt to a system's characteristics. Our noise models include a multivariate normal kernel where Gaussian processes allow for non-stationary persistence and variance, and nonparametric Bayesian models that partition time series into distinct blocks of separate noise structures. Across the scenarios we consider, these noise processes faithfully reproduce true system uncertainty: that is, parameter estimate uncertainty when doing inference using the correct noise model. The models themselves and the methods for fitting them are scalable to large datasets and could help to ensure more appropriate quantification of uncertainty in a host of time series models.


title: The quasi-reversibility method to numerically solve an inverse source problem for hyperbolic equations

abstract: We propose a numerical method to solve an inverse source problem of computing the initial condition of hyperbolic equations from the measurements of Cauchy data. This problem arises in thermo- and photo- acoustic tomography in a bounded cavity, in which the reflection of the wave makes the widely-used approaches, such as the time reversal method, not applicable. In order to solve this inverse source problem, we approximate the solution to the hyperbolic equation by its Fourier series with respect to a special orthogonal basis of $L^2$. Then, we derive a coupled system of elliptic equations for the corresponding Fourier coefficients. We solve it by the quasi-reversibility method. The desired initial condition follows. We rigorously prove the convergence of the quasi-reversibility method as the noise level tends to 0. Some numerical examples are provided. In addition, we numerically prove that the use of the special basic above is significant.


title: Charging in the vortex lattice of type-II superconductors

abstract: We study the magnetic-field dependence of the vortex-core charge in the Abrikosov lattice of an $s$-wave superconductor based on the augmented quasiclassical equations, where we incorporate the pair-potential gradient (PPG) terms characteristic of charging in superconductors besides the well-known Lorentz force. Our numerical results at $T=0.2 T_{\rm c}$ and $0.5 T_{\rm c}$ reveal that periodic charge redistribution is superimposed on the magnetic flux-line lattice with different spatial patterns at different fields. The PPG terms are dominant at weak fields over the Lorentz force for accumulating charge in the vortex cores, whereas the Lorentz force prevails at higher fields to give rise to a peak structure in the core charge around $H\sim \frac{1}{2}H_{{\rm c}2}$. We estimate the peak value of the core charge at $T=0.2 T_{\rm c}$ using parameters appropriate for cuprates to obtain a large value of $Q \sim 10^{-2} |e|$ in the core region of radius $0.2 \xi_0$ in the $ab$ plane and length $1 \ {\rm nm}$ along the $c$ axis.


title: Competitive Influence Propagation and Fake News Mitigation in the Presence of Strong User Bias

abstract: Due to the extensive role of social networks in social media, it is easy for people to share the news, and it spreads faster than ever before. These platforms also have been exploited to share the rumor or fake information, which is a threat to society. One method to reduce the impact of fake information is making people aware of the correct information based on hard proof. In this work, first, we propose a propagation model called Competitive Independent Cascade Model with users' Bias (CICMB) that considers the presence of strong user bias towards different opinions, believes, or political parties. We further propose a method, called $k-TruthScore$, to identify an optimal set of truth campaigners from a given set of prospective truth campaigners to minimize the influence of rumor spreaders on the network. We compare $k-TruthScore$ with state of the art methods, and we measure their performances as the percentage of the saved nodes (nodes that would have believed in the fake news in the absence of the truth campaigners). We present these results on a few real-world networks, and the results show that $k-TruthScore$ method outperforms baseline methods.


title: Understanding the scaling of boson peak through insensitivity of elastic heterogeneity to bending rigidity in polymer glasses

abstract: Amorphous materials exhibit peculiar mechanical and vibrational properties, including non-affine elastic responses and excess vibrational states, i.e., the so-called boson peak. For polymer glasses, these properties are considered to be affected by the bending rigidity of the constituent polymer chains. In our recent work [Tomoshige, et al., Sci. Rep. 9 19514 (2019)], we have revealed simple relationships between the variations of vibrational properties and the global elastic properties: the response of the boson peak scales only with that of the global shear modulus. This observation suggests that the spatial heterogeneity of the local shear modulus distribution is insensitive to changes in the bending rigidity. Here, we demonstrate the insensitivity of elastic heterogeneity by directly measuring the local shear modulus distribution. We also study transverse sound wave propagation, which is also shown to scale only with the global shear modulus. Through these analyses, we conclude that the bending rigidity does not alter the spatial heterogeneity of the local shear modulus distribution, which yields vibrational and acoustic properties that are controlled solely by the global shear modulus of a polymer glass.


title: Spectral Efficiency vs Complexity in Downlink Algorithms for Reconfigurable Intelligent Surfaces

abstract: Reconfigurable Intelligent Surfaces (RIS) are an emerging technology that can be used to reconfigure the propagation environment to improve cellular communication link rates. RIS, which are thin metasurfaces composed of discrete elements, passively manipulate incident electromagnetic waves through controlled reflective phase tuning. In this paper, we investigate co-design of the multiantenna basestation beamforming vector and multielement RIS phase shifts. The downlink narrowband transmission uses sub-6 GHz frequency bands, and the user equipment has a single antenna. Subject to the non-convex constraints due to the RIS phase shifts, we maximize the spectral efficiency or equivalent channel power as a proxy. Our contributions in improving RIS-aided links include (1) design of gradient ascent codesign algorithms, and (2) comparison of seven codesign algorithms in spectral efficiency vs. computational complexity. In simulation, the best spectral efficiency vs. computational complexity tradeoffs are shown by two of our proposed gradient ascent algorithms.


title: Understanding the hand-gestures using Convolutional Neural Networks and Generative Adversial Networks

abstract: In this paper, it is introduced a hand gesture recognition system to recognize the characters in the real time. The system consists of three modules: real time hand tracking, training gesture and gesture recognition using Convolutional Neural Networks. Camshift algorithm and hand blobs analysis for hand tracking are being used to obtain motion descriptors and hand region. It is fairy robust to background cluster and uses skin color for hand gesture tracking and recognition. Furthermore, the techniques have been proposed to improve the performance of the recognition and the accuracy using the approaches like selection of the training images and the adaptive threshold gesture to remove non-gesture pattern that helps to qualify an input pattern as a gesture. In the experiments, it has been tested to the vocabulary of 36 gestures including the alphabets and digits, and results effectiveness of the approach.


title: Eliminating components in Quillen's Conjecture

abstract: We generalize an earlier result of Segev, which shows that {\em some\/} component in a minimal counterexample to Quillen's conjecture must admit an outer automorphism. We show in fact that {\em every\/} component must admit an outer automorphism. Thus we transform his restriction-result on components to an elimination-result: namely one which excludes any component which does not admit an outer automorphism. Indeed we show that the outer automorphisms admitted must include $p$-outers: that is, outer automorphisms of order divisible by $p$. This gives stronger, concrete eliminations: for example if $p$ is odd, it eliminates sporadic and alternating components -- thus reducing to Lie-type components (and typically forcing $p$-outers of field type). For $p = 2$, we obtain similar but less restrictive results. We also provide some tools to help eliminate suitable components that do admit $p$-outers in a minimal counterexample.


title: On Efficient and Robust Metrics for RANSAC Hypotheses and 3D Rigid Registration

abstract: This paper focuses on developing efficient and robust evaluation metrics for RANSAC hypotheses to achieve accurate 3D rigid registration. Estimating six-degree-of-freedom (6-DoF) pose from feature correspondences remains a popular approach to 3D rigid registration, where random sample consensus (RANSAC) is a de-facto choice to this problem. However, existing metrics for RANSAC hypotheses are either time-consuming or sensitive to common nuisances, parameter variations, and different application scenarios, resulting in performance deterioration in overall registration accuracy and speed. We alleviate this problem by first analyzing the contributions of inliers and outliers, and then proposing several efficient and robust metrics with different designing motivations for RANSAC hypotheses. Comparative experiments on four standard datasets with different nuisances and application scenarios verify that the proposed metrics can significantly improve the registration performance and are more robust than several state-of-the-art competitors, making them good gifts to practical applications. This work also draws an interesting conclusion, i.e., not all inliers are equal while all outliers should be equal, which may shed new light on this research problem.


title: STCNet: Spatio-Temporal Cross Network for Industrial Smoke Detection

abstract: Industrial smoke emissions present a serious threat to natural ecosystems and human health. Prior works have shown that using computer vision techniques to identify smoke is a low cost and convenient method. However, industrial smoke detection is a challenging task because industrial emission particles are often decay rapidly outside the stacks or facilities and steam is very similar to smoke. To overcome these problems, a novel Spatio-Temporal Cross Network (STCNet) is proposed to recognize industrial smoke emissions. The proposed STCNet involves a spatial pathway to extract texture features and a temporal pathway to capture smoke motion information. We assume that spatial and temporal pathway could guide each other. For example, the spatial path can easily recognize the obvious interference such as trees and buildings, and the temporal path can highlight the obscure traces of smoke movement. If the two pathways could guide each other, it will be helpful for the smoke detection performance. In addition, we design an efficient and concise spatio-temporal dual pyramid architecture to ensure better fusion of multi-scale spatiotemporal information. Finally, extensive experiments on public dataset show that our STCNet achieves clear improvements on the challenging RISE industrial smoke detection dataset against the best competitors by 6.2%. The code will be available at: https://github.com/Caoyichao/STCNet.


title: Natural Language Inference in Context -- Investigating Contextual Reasoning over Long Texts

abstract: Natural language inference (NLI) is a fundamental NLP task, investigating the entailment relationship between two texts. Popular NLI datasets present the task at sentence-level. While adequate for testing semantic representations, they fall short for testing contextual reasoning over long texts, which is a natural part of the human inference process. We introduce ConTRoL, a new dataset for ConTextual Reasoning over Long texts. Consisting of 8,325 expert-designed "context-hypothesis" pairs with gold labels, ConTRoL is a passage-level NLI dataset with a focus on complex contextual reasoning types such as logical reasoning. It is derived from competitive selection and recruitment test (verbal reasoning test) for police recruitment, with expert level quality. Compared with previous NLI benchmarks, the materials in ConTRoL are much more challenging, involving a range of reasoning types. Empirical results show that state-of-the-art language models perform by far worse than educated humans. Our dataset can also serve as a testing-set for downstream tasks like Checking Factual Correctness of Summaries.


title: Scoring Popularity in GitHub

abstract: Popularity and engagement are the currencies of social media platforms, serving as powerful reinforcement mechanisms to keep users online. Social coding platforms such as GitHub serve a dual purpose: they are practical tools that facilitate asynchronous, distributed collaborations between software developers while also supporting passive social media style interactions. There are several mechanisms for "liking" content on GitHub: 1) forking repositories to copy their content 2) watching repositories to be notified of updates and 3) starring to express approval. This paper presents a study of popularity in GitHub and examines the relationship between these three quantitative measures of popularity. We introduce a weight-based popularity score (WTPS) that is extracted from the history line of other popularity indicators.


title: A Sequential Descent Method for Global Optimization

abstract: In this paper, a sequential search method for finding the global minimum of an objective function is presented, The descent gradient search is repeated until the global minimum is obtained. The global minimum is located by a process of finding progressively better local minima. We determine the set of points of intersection between the curve of the function and the horizontal plane which contains the local minima previously found. Then, a point in this set with the greatest descent slope is chosen to be a initial point for a new descent gradient search. The method has the descent property and the convergence is monotonic. To demonstrate the effectiveness of the proposed sequential descent method, several non-convex multidimensional optimization problems are solved. Numerical examples show that the global minimum can be sought by the proposed method of sequential descent.


title: A Transfer Learning Approach for Dialogue Act Classification of GitHub Issue Comments

abstract: Social coding platforms, such as GitHub, serve as laboratories for studying collaborative problem solving in open source software development; a key feature is their ability to support issue reporting which is used by teams to discuss tasks and ideas. Analyzing the dialogue between team members, as expressed in issue comments, can yield important insights about the performance of virtual teams. This paper presents a transfer learning approach for performing dialogue act classification on issue comments. Since no large labeled corpus of GitHub issue comments exists, employing transfer learning enables us to leverage standard dialogue act datasets in combination with our own GitHub comment dataset. We compare the performance of several word and sentence level encoding models including Global Vectors for Word Representations (GloVe), Universal Sentence Encoder (USE), and Bidirectional Encoder Representations from Transformers (BERT). Being able to map the issue comments to dialogue acts is a useful stepping stone towards understanding cognitive team processes.


title: Neural Network Compression Via Sparse Optimization

abstract: The compression of deep neural networks (DNNs) to reduce inference cost becomes increasingly important to meet realistic deployment requirements of various applications. There have been a significant amount of work regarding network compression, while most of them are heuristic rule-based or typically not friendly to be incorporated into varying scenarios. On the other hand, sparse optimization yielding sparse solutions naturally fits the compression requirement, but due to the limited study of sparse optimization in stochastic learning, its extension and application onto model compression is rarely well explored. In this work, we propose a model compression framework based on the recent progress on sparse stochastic optimization. Compared to existing model compression techniques, our method is effective and requires fewer extra engineering efforts to incorporate with varying applications, and has been numerically demonstrated on benchmark compression tasks. Particularly, we achieve up to 7.2 and 2.9 times FLOPs reduction with the same level of evaluation accuracy on VGG16 for CIFAR10 and ResNet50 for ImageNet compared to the baseline heavy models, respectively.


title: Projection Method for Saddle Points of Energy Functional in $H^{-1}$ Metric

abstract: Saddle points play important roles as the transition states of activated process in gradient system driven by energy functional. However, for the same energy functional, the saddle points, as well as other stationary points, are different in different metrics such as the $L^2$ metric and the $H^{-1}$ metric. The saddle point calculation in $H^{-1}$ metric is more challenging with much higher computational cost since it involves higher order derivative in space and the inner product calculation needs to solve another Possion equation to get the $\Delta^{-1}$ operator. In this paper, we introduce the projection idea to the existing saddle point search methods, gentlest ascent dynamics (GAD) and iterative minimization formulation (IMF), to overcome this numerical challenge due to $H^{-1}$ metric. Our new method in the $L^2$ metric only by carefully incorporates a simple linear projection step. We show that our projection method maintains the same convergence speed of the original GAD and IMF, but the new algorithm is much faster than the direct method for $H^{-1}$ problem. The numerical results of saddle points in the one dimensional Ginzburg-Landau free energy and the two dimensional Landau-Brazovskii free energy in $H^{-1}$ metric are presented to demonstrate the efficiency of this new method.


title: QCD phase structure in strong magnetic fields

abstract: In this proceedings we discuss the natural connection between the reduction of neutral pion mass in the vacuum, and the magnetic catalysis as well as the reduction of transition temperature in the external magnetic field. We also present the first results on fluctuations of and correlations among conserved charges in strong magnetic fields from lattice QCD computations.


title: Maximization and Minimization of Interfacial Thermal Conductance by Modulating the Mass Distribution of Interlayer

abstract: Tuning interfacial thermal conductance has been a key task for the thermal management of nanoelectronic devices. Here, it is studied how the interfacial thermal conductance is great influenced by modulating the mass distribution of the interlayer of one-dimensional atomic chain. By nonequilibrium Green's function and machine learning algorithm, the maximum/minimum value of thermal conductance and its corresponding mass distribution are calculated. Interestingly, the mass distribution corresponding to the maximum thermal conductance is not a simple function, such as linear and exponential distribution predicted in previous works, it is similar to a sinusoidal curve around linear distribution for larger thickness interlayer. Further, the mechanism of the abnormal results is explained by analyzing the phonon transmission spectra and density of states. The work provides deep insight into optimizing and designing interfacial thermal conductance by modulating mass distribution of interlayer atoms.


title: An Efficient Closed-Form Method for Optimal Hybrid Force-Velocity Control

abstract: This paper derives a closed-form method for computing hybrid force-velocity control. The key idea is to maximize the kinematic conditioning of the mechanical system, which includes a robot, free objects, a rigid environment and contact constraints. The method is complete, in that it always produces an optimal/near optimal solution when a solution exists. It is efficient, since it is in closed form, avoiding the iterative search of previous work. We test the method on 78,000 randomly generated test cases. The method outperforms our previous search-based technique by being from 7 to 40 times faster, while consistently producing better solutions in the sense of robustness to kinematic singularity. We also test the method in several representative manipulation experiments.


title: The SAMI Galaxy Survey: bulge and disk stellar population properties in cluster galaxies

abstract: We explore stellar population properties separately in the bulge and the disk of double-component cluster galaxies to shed light on the formation of lenticular galaxies in dense environments. We study eight low-redshift clusters from the Sydney-AAO Multi-object Integral field (SAMI) Galaxy Survey, using 2D photometric bulge-disk decomposition in the $g$, $r$ and $i$-bands to characterize galaxies. For 192 double-component galaxies with $M_{*}>10^{10~}M_{\odot}$ we estimate the color, age and metallicity of the bulge and the disk. The analysis of the $g-i$ colors reveals that bulges are redder than their surrounding disks with a median offset of 0.12$\pm$0.02 mag, consistent with previous results. To measure mass-weighted age and metallicity we investigate three methods: (i) one based on galaxy stellar mass weights for the two components, (ii) one based on flux weights and (iii) one based on radial separation. The three methods agree in finding 62% of galaxies having bulges that are 2-3 times more metal-rich than the disks. Of the remaining galaxies, 7% have bulges that are more metal-poor than the disks, while for 31% the bulge and disk metallicities are not significantly different. We observe 23% of galaxies being characterized by bulges older and 34% by bulges younger with respect to the disks. The remaining 43% of galaxies have bulges and disks with statistically indistinguishable ages. Redder bulges tend to be more metal-rich than the disks, suggesting that the redder color in bulges is due to their enhanced metallicity relative to the disks instead of differences in stellar population age.


title: Strong Law of Large Numbers for Functionals of Random Fields With Unboundedly Increasing Covariances

abstract: The paper proves the Strong Law of Large Numbers for integral functionals of random fields with unboundedly increasing covariances. The case of functional data and increasing domain asymptotics is studied. Conditions to guarantee that the Strong Law of Large Numbers holds true are provided. The considered scenarios include wide classes of non-stationary random fields. The discussion about application to weak and long-range dependent random fields and numerical examples are given.


title: A Class of Analytic Functions associated with Sine Hyperbolic Functions

abstract: We introduce a class of analytic functions subordinate to the function $1+\sinh \left( z\right) $ and obtain various necessary and sufficient conditions for functions to be in the class. These conditions mainly comprise of the coefficient inequalities involving convolution. Further, we have obtained sharp five initial coefficients, a conjecture for the general nth coefficient and the third Hankel determinant bounds for the functions in this class. Also derived certain differential subordination implication results involving $1+\sinh \left( z\right)$.


title: Data Flow Refinement Type Inference

abstract: Refinement types enable lightweight verification of functional programs. Algorithms for statically inferring refinement types typically work by reduction to solving systems of constrained Horn clauses extracted from typing derivations. An example is Liquid type inference, which solves the extracted constraints using predicate abstraction. However, the reduction to constraint solving in itself already signifies an abstraction of the program semantics that affects the precision of the overall static analysis. To better understand this issue, we study the type inference problem in its entirety through the lens of abstract interpretation. We propose a new refinement type system that is parametric with the choice of the abstract domain of type refinements as well as the degree to which it tracks context-sensitive control flow information. We then derive an accompanying parametric inference algorithm as an abstract interpretation of a novel data flow semantics of functional programs. We further show that the type system is sound and complete with respect to the constructed abstract semantics. Our theoretical development reveals the key abstraction steps inherent in refinement type inference algorithms. The trade-off between precision and efficiency of these abstraction steps is controlled by the parameters of the type system. Existing refinement type systems and their respective inference algorithms, such as Liquid types, are captured by concrete parameter instantiations. We have implemented our framework in a prototype tool and evaluated it for a range of new parameter instantiations (e.g., using octagons and polyhedra for expressing type refinements). The tool compares favorably against other existing tools. Our evaluation indicates that our approach can be used to systematically construct new refinement type inference algorithms that are both robust and precise.


title: Role of Digital Twin in Optical Communication: Fault Management, Hardware Configuration, and Transmission Simulation

abstract: Optical communication is developing rapidly in the directions of hardware resource diversification, transmission system flexibility, and network function virtualization. Its proliferation poses a significant challenge to traditional optical communication management and control systems. Digital twin (DT), a technology that utilizes data, models, and algorithms and integrates multiple disciplines, acts as a bridge between the real and virtual worlds for comprehensive connectivity. In the digital space, virtual models are stablished dynamically to simulate and describe the states, behaviors, and rules of physical objects in the physical space. DT has been significantly developed and widely applied in industrial and military fields. This study introduces the DT technology to optical communication through interdisciplinary crossing and proposes a DT framework suitable for optical communication. The intelligent fault management model, flexible hardware configuration model, and dynamic transmission simulation model are established in the digital space with the help of deep learning algorithms to ensure the highreliability operation and high-efficiency management of optical communication systems and networks.


title: Bounded geodesic image theorem via bicorn curves

abstract: We give a uniform bound of the bounded geodesic image theorem for the closed oriented surfaces. The proof utilizes the bicorn curves introduced by Przytycki and Sisto (see arXiv:1502.02176). With the uniformly bounded Hausdorff distance of the bicorn paths and 1-slimness of the bicorn curve triangles, we are able to show the bound is 44 for both non-annular and annular subsurfaces. In a particular case when the distance between a geodesic and an essential boundary component of subsurface (or core if it is annular) is $\geq 18$, then the bound can be as small as 3, which is comparable to the bound 4 in the motivating examples by Masur and Minsky (see arXiv:9807150), and is same as the bound given by Webb for non-annular subsurfaces.


title: Polarization Singularities in Light Scattering by Small Particles

abstract: Using full-wave numerical simulations and analytical multipole expansions we investigated the properties of real-space polarization singularities that emerge in light scattering by subwavelength particles. We considered spherical and torus particles made of dielectric or perfect-electric-conductor material. We determined the topological indices and the trajectories of electric-field polarization singularities in both the near-field and far-field regions. In the far-field region, a total of four singularities are identified and the sum of their polarization topological indices is two, independent of the particle's geometric shape. In the near-field region, the polarization singularities strongly depend on the particle's shape and the polarization of incident light, and their index sum is not governed by the Poincar\'e-Hopf theorem anymore due to the non-transverse nature of the fields. From near field to far field, a flipping of sign can happen to the polarization topological indices of the C lines. The far-field properties of the singularities can be well explained by the interference of the excited multipoles, but their near-field properties can be strongly affected by the evanescent fields that are not captured by the multipole expansions. Our work uncovers the important relationship between particles' geometric properties and the polarization singularities of their scattering field. The results can be applied to manipulate polarization singularities in nanophotonic systems and could generate novel applications in optical sensing.


title: Superconductivity beyond Pauli's limit in bulk NbS2: Evidence for the Fulde-Ferrell-Larkin-Ovchinnikov state

abstract: We present magnetic torque, specific heat and thermal expansion measurements combined with a piezo rotary positioner of the bulk transition metal dichalcogenide (TMD) superconductor NbS2 in high magnetic fields applied strictly parallel to its layer structure. The upper critical field of superconducting TMDs in the 2D form is known to be dramatically enhanced by a special form of Ising spin orbit coupling. This Ising superconductivity is very robust against the Pauli limit for superconductivity. We find that superconductivity beyond the Pauli limit still exists in bulk single crystals of NbS2. However, the comparison of our upper critical field transition line with numerical simulations rather points to the development of a Fulde-Ferrell-Larkin-Ovchinnikov state above the Pauli limit as a cause. This is also consistent with the observation of a magnetic field driven phase transition in the thermodynamic quantities within the superconducting state near the Pauli limit.


title: Probabilistic teleportation of a quantum dot spin qubit

abstract: Electron spin s in semiconductor quantum dot s have been intensively studied for implementing quantum computation and high fidelity single and two qubit operation s have recently been achieved . Quantum teleportation is a three qubit protocol exploiting quantum entanglement and it serv es as a n essential primitive for more sophisticated quantum algorithm s Here, we demonstrate a scheme for quantum teleportation based on direct Bell measurement for a single electron spin qubit in a triple quantum dot utilizing the Pauli exclusion principle to create and detect maximally entangled state s . T he single spin polarization is teleported from the input qubit to the output qubit with a fidelity of 0.9 1 We find this fidelity is primarily limited by singlet triplet mixing which can be improved by optimizing the device parameters Our results may be extended to quantum algorithms with a larger number of se miconductor spin qubit s


title: Multi-epoch SMA observations of the L1448C(N) protostellar SiO jet

abstract: L1448C(N) is a young protostar in Perseus, driving an outflow and an extremely high-velocity (EHV) molecular jet. We present multi-epoch observations of SiO $J = 8-7$, CO $J = 3-2$ lines, and 345 GHz dust continuum toward L1448C(N) in 2006, 2010, and 2017 with the Submillimeter Array. The knots traced by the SiO line show the averaged proper motion is $\sim0''.06~{\rm yr^{-1}}$ and $\sim0''.04~{\rm yr^{-1}}$ for the blue- and red-shifted jet, respectively. The corresponding transverse velocities are $\sim78~{\rm km s^{-1}}$ (blueshifted) and $\sim52~{\rm km s^{-1}}$ (redshifted). Together with the radial velocity, we found the inclination angle of the jets from the plane of the sky to be $\sim34$\deg$ $ for the blueshifted jet and $\sim46$\deg$ $ for the redfshifted jet. Given the new inclination angles, the mass-loss rate and mechanical power were refined to be $\sim1.8\times 10^{-6}~M_\odot$ and $\sim1.3~L_\odot$, respectively. In the epoch of 2017, a new knot is detected at the base of the redshifted jet. We found that the mass-loss rate of the new knot is three times higher than the averaged mass-loss rate of the redshifted jet. Besides, continuum flux has enhanced by $\sim37\%$ between 2010 and 2017. These imply that the variation of the mass-accretion rate by a factor of $\sim3$ has occurred in a short timescale of $\sim10-20$ yr. In addition, a knot in the downstream of the redshifted jet is found to be dimming over the three epochs.


title: Determining Question-Answer Plausibility in Crowdsourced Datasets Using Multi-Task Learning

abstract: Datasets extracted from social networks and online forums are often prone to the pitfalls of natural language, namely the presence of unstructured and noisy data. In this work, we seek to enable the collection of high-quality question-answer datasets from social media by proposing a novel task for automated quality analysis and data cleaning: question-answer (QA) plausibility. Given a machine or user-generated question and a crowd-sourced response from a social media user, we determine if the question and response are valid; if so, we identify the answer within the free-form response. We design BERT-based models to perform the QA plausibility task, and we evaluate the ability of our models to generate a clean, usable question-answer dataset. Our highest-performing approach consists of a single-task model which determines the plausibility of the question, followed by a multi-task model which evaluates the plausibility of the response as well as extracts answers (Question Plausibility AUROC=0.75, Response Plausibility AUROC=0.78, Answer Extraction F1=0.665).


title: A low latency ASR-free end to end spoken language understanding system

abstract: In recent years, developing a speech understanding system that classifies a waveform to structured data, such as intents and slots, without first transcribing the speech to text has emerged as an interesting research problem. This work proposes such as system with an additional constraint of designing a system that has a small enough footprint to run on small micro-controllers and embedded systems with minimal latency. Given a streaming input speech signal, the proposed system can process it segment-by-segment without the need to have the entire stream at the moment of processing. The proposed system is evaluated on the publicly available Fluent Speech Commands dataset. Experiments show that the proposed system yields state-of-the-art performance with the advantage of low latency and a much smaller model when compared to other published works on the same task.


title: Absorption-Based Diamond Spin Microscopy on a Plasmonic Quantum Metasurface

abstract: Nitrogen vacancy (NV) centers in diamond have emerged as a leading quantum sensor platform, combining exceptional sensitivity with nanoscale spatial resolution by optically detected magnetic resonance (ODMR). Because fluorescence-based ODMR techniques are limited by low photon collection efficiency and modulation contrast, there has been growing interest in infrared (IR)-absorption-based readout of the NV singlet state transition. IR readout can improve contrast and collection efficiency, but it has thus far been limited to long-pathlength geometries in bulk samples due to the small absorption cross section of the NV singlet state. Here, we amplify the IR absorption by introducing a resonant diamond metallodielectric metasurface that achieves a quality factor of Q ~ 1,000. This "plasmonic quantum sensing metasurface" (PQSM) combines localized surface plasmon polariton resonances with long-range Rayleigh-Wood anomaly modes and achieves the desired balance between field localization and sensing volume to optimize spin readout sensitivity. From combined electromagnetic and rate-equation modeling, we estimate a sensitivity below 1 nT/Hz$^{1/2}$ per um$^2$ of sensing area using numbers for present-day NV diamond samples and fabrication techniques. The proposed PQSM enables a new form of microscopic ODMR sensing with infrared readout near the spin-projection-noise-limited sensitivity, making it appealing for the most demanding applications such as imaging through scattering tissue and spatially-resolved chemical NMR detection.


title: Optimal Stopping with Expectation Constraints

abstract: We analyze an optimal stopping problem with a series of inequality-type and equality-type expectation constraints in a general non-Markovian framework. We show that the optimal stopping problem with expectation constraints (OSEC) in an arbitrary probability setting is equivalent to the constrained problem in weak formulation (optimization over joint laws of stopping rules with Brownian motion and state dynamics on an enlarged canonical space) and thus the OSEC value. Using a martingale-problem formulation, we make an equivalent characterization of the probability classes in weak formulation, which implies that the OSEC value function s upper semi-analytic. Then we exploit a measurable selection argument to establish a dynamic programming principle in weak formulation for the OSEC value function, in which the conditional expected costs act as additional states for constraint levels at the intermediate horizon.


title: CoADNet: Collaborative Aggregation-and-Distribution Networks for Co-Salient Object Detection

abstract: Co-Salient Object Detection (CoSOD) aims at discovering salient objects that repeatedly appear in a given query group containing two or more relevant images. One challenging issue is how to effectively capture co-saliency cues by modeling and exploiting inter-image relationships. In this paper, we present an end-to-end collaborative aggregation-and-distribution network (CoADNet) to capture both salient and repetitive visual patterns from multiple images. First, we integrate saliency priors into the backbone features to suppress the redundant background information through an online intra-saliency guidance structure. After that, we design a two-stage aggregate-and-distribute architecture to explore group-wise semantic interactions and produce the co-saliency features. In the first stage, we propose a group-attentional semantic aggregation module that models inter-image relationships to generate the group-wise semantic representations. In the second stage, we propose a gated group distribution module that adaptively distributes the learned group semantics to different individuals in a dynamic gating mechanism. Finally, we develop a group consistency preserving decoder tailored for the CoSOD task, which maintains group constraints during feature decoding to predict more consistent full-resolution co-saliency maps. The proposed CoADNet is evaluated on four prevailing CoSOD benchmark datasets, which demonstrates the remarkable performance improvement over ten state-of-the-art competitors.


title: Particle on the sphere: group-theoretic quantization in the presence of a magnetic monopole

abstract: The problem of quantizing a particle on a 2-sphere has been treated by numerous approaches, including Isham's global method based on unitary representations of a symplectic symmetry group that acts transitively on the phase space. Here we reconsider this simple model using Isham's scheme, enriched by a magnetic flux through the sphere via a modification of the symplectic form. To maintain complete generality we construct the Hilbert space directly from the symmetry algebra, which is manifestly gauge-invariant, using ladder operators. In this way, we recover algebraically the complete classification of quantizations, and the corresponding energy spectra for the particle. The famous Dirac quantization condition for the monopole charge follows from the requirement that the classical and quantum Casimir invariants match. In an appendix we explain the relation between this approach and the more common one that assumes from the outset a Hilbert space of wave functions that are sections of a nontrivial line bundle over the sphere, and show how the Casimir invariants of the algebra determine the bundle topology.


title: Optimizing distortion riskmetrics with distributional uncertainty

abstract: Optimization of distortion riskmetrics with distributional uncertainty has wide applications in finance and operations research. Distortion riskmetrics include many commonly applied risk measures and deviation measures, which are not necessarily monotone or convex. One of our central findings is a unifying result that allows us to convert an optimization of a non-convex distortion riskmetric with distributional uncertainty to a convex one, leading to great tractability. A sufficient condition to the unifying equivalence result is the novel notion of closedness under concentration, a variation of which is also shown to be necessary for the equivalence. Our results include many special cases that are well studied in the optimization literature, including but not limited to optimizing probabilities, Value-at-Risk, Expected Shortfall, Yaari's dual utility, and differences between distortion risk measures, under various forms of distributional uncertainty. We illustrate our theoretical results via applications to portfolio optimization, optimization under moment constraints, and preference robust optimization.


title: Quantum reservoir computing: a reservoir approach toward quantum machine learning on near-term quantum devices

abstract: Quantum systems have an exponentially large degree of freedom in the number of particles and hence provide a rich dynamics that could not be simulated on conventional computers. Quantum reservoir computing is an approach to use such a complex and rich dynamics on the quantum systems as it is for temporal machine learning. In this chapter, we explain quantum reservoir computing and related approaches, quantum extreme learning machine and quantum circuit learning, starting from a pedagogical introduction to quantum mechanics and machine learning. All these quantum machine learning approaches are experimentally feasible and effective on the state-of-the-art quantum devices.


title: Hierarchical Reinforcement Learning for Relay Selection and Power Optimization in Two-Hop Cooperative Relay Network

abstract: Cooperative communication is an effective approach to improve spectrum utilization. In order to reduce outage probability of communication system, most studies propose various schemes for relay selection and power allocation, which are based on the assumption of channel state information (CSI). However, it is difficult to get an accurate CSI in practice. In this paper, we study the outage probability minimizing problem subjected to a total transmission power constraint in a two-hop cooperative relay network. We use reinforcement learning (RL) methods to learn strategies for relay selection and power allocation, which do not need any prior knowledge of CSI but simply rely on the interaction with communication environment. It is noted that conventional RL methods, including most deep reinforcement learning (DRL) methods, cannot perform well when the search space is too large. Therefore, we first propose a DRL framework with an outage-based reward function, which is then used as a baseline. Then, we further propose a hierarchical reinforcement learning (HRL) framework and training algorithm. A key difference from other RL-based methods in existing literatures is that, our proposed HRL approach decomposes relay selection and power allocation into two hierarchical optimization objectives, which are trained in different levels. With the simplification of search space, the HRL approach can solve the problem of sparse reward, while the conventional RL method fails. Simulation results reveal that compared with traditional DRL method, the HRL training algorithm can reach convergence 30 training iterations earlier and reduce the outage probability by 5% in two-hop relay network with the same outage threshold.


title: Exploring the impact of under-reported cases on the COVID-19 spatiotemporal distribution using healthcare worker infection data

abstract: A timely understanding of the spatiotemporal pattern and development trend of COVID-19 is critical for timely prevention and control. However, the under-reporting of cases is widespread in fields associated with public health. It is also possible to draw biased inferences and formulate inappropriate prevention and control policies if the phenomenon of under-reporting is not taken into account. Therefore, in this paper, a novel framework was proposed to explore the impact of under-reporting on COVID-19 spatiotemporal distributions, and empirical analysis was carried out using infection data of healthcare workers in Wuhan and Hubei (excluding Wuhan). The results show that (1) the lognormal distribution was the most suitable to describe the evolution of epidemic with time; (2) the estimated peak infection time of the reported cases lagged the peak infection time of the healthcare worker cases, and the estimated infection time interval of the reported cases was smaller than that of the healthcare worker cases. (3) The impact of under-reporting cases on the early stages of the pandemic was greater than that on its later stages, and the impact on the early onset area was greater than that on the late onset area. (4) Although the number of reported cases was lower than the actual number of cases, a high spatial correlation existed between the cumulatively reported cases and healthcare worker cases. The proposed framework of this study is highly extensible, and relevant researchers can use data sources from other counties to carry out similar research.


title: Resource Allocation in One-dimensional Distributed Service Networks with Applications

abstract: We consider assignment policies that allocate resources to users, where both resources and users are located on a one-dimensional line. First, we consider unidirectional assignment policies that allocate resources only to users located to their left. We propose the Move to Right (MTR) policy, which scans from left to right assigning nearest rightmost available resource to a user, and contrast it to the Unidirectional Gale-Shapley (UGS) matching policy. While both policies among all unidirectional policies, minimize the expected distance traveled by a request (request distance), MTR is fairer. Moreover, we show that when user and resource locations are modeled by statistical point processes, and resources are allowed to satisfy more than one user, the spatial system under unidirectional policies can be mapped into bulk service queueing systems, thus allowing the application of many queueing theory results that yield closed form expressions. As we consider a case where different resources can satisfy different numbers of users, we also generate new results for bulk service queues. We also consider bidirectional policies where there are no directional restrictions on resource allocation and develop an algorithm for computing the optimal assignment which is more efficient than known algorithms in the literature when there are more resources than users. Numerical evaluation of performance of unidirectional and bidirectional allocation schemes yields design guidelines beneficial for resource placement. \np{Finally, we present a heuristic algorithm, which leverages the optimal dynamic programming scheme for one-dimensional inputs to obtain approximate solutions to the optimal assignment problem for the two-dimensional scenario and empirically yields request distances within a constant factor of the optimal solution.


title: Lovelock black holes with double-logarithmic electrodynamics source

abstract: This work examines the magnetized black holes of Lovelock gravity in the presence of double-logarithmic electrodynamics. In this context, the Lovelock polynomial is found and the accompanying thermodynamic quantities, such as mass, entropy, Hawking temperature, and heat capacity are determined. This new model of nonlinear electrodynamics is used to calculate the black hole solutions of Einstein, Gauss-Bonnet and third order Lovelock gravities as well. The impacts of the double-logarithmic electromagnetic field on the black hole thermodynamics in these particular theories are examined and the regions of horizon radius that correspond to the local thermodynamic stability are highlighted.


title: Blow-up and lifespan estimate for the generalized Tricomi equation with mixed nonlinearities

abstract: We study in this article the blow-up of the solution of the generalized Tricomi equation in the presence of two mixed nonlinearities, namely we consider $$ (Tr) \hspace{1cm} u_{tt}-t^{2m}\Delta u=|u_t|^p+|u|^q, \quad \mbox{in}\ \mathbb{R}^N\times[0,\infty),$$ with small initial data, where $m\ge0$.\\ For the problem $(Tr)$ with $m=0$, which corresponds to the uniform wave speed of propagation, it is known that the presence of mixed nonlinearities generates a new blow-up region in comparison with the case of a one nonlinearity ($|u_t|^p$ or $|u|^q$). We show in the present work that the competition between the two nonlinearities still yields a new blow region for the Tricomi equation $(Tr)$ with $m\ge0$, and we derive an estimate of the lifespan in terms of the Tricomi parameter $m$. As an application of the method developed for the study of the equation $(Tr)$ we obtain with a different approach the same blow-up result as in \cite{Lai2020} when we consider only one time-derivative nonlinearity, namely we keep only $|u_t|^p$ in the right-hand side of $(Tr)$.


title: An Empirical Study on Text-Independent Speaker Verification based on the GE2E Method

abstract: While many researchers in the speaker recognition area have started to replace the former classical state-of-the-art methods with deep learning techniques, some of the traditional i-vector-based methods are still state-of-the-art in the context of text-independent speaker verification. Google's Generalized End-to-End Loss for Speaker Verification (GE2E), a deep learning-based technique using long short-term memory units, has recently gained a lot of attention due to its speed in convergence and generalization. In this study, we aim at further studying the GE2E method and comparing different scenarios in order to investigate all of its aspects. Various experiments including the effects of a random sampling of test and enrollment utterances, test utterance duration, and the number of enrollment utterances are discussed in this article. Furthermore, we compare the GE2E method with the baseline state-of-the-art i-vector-based methods for text-independent speaker verification and show that it outperforms them by resulting in lower error rates while being end-to-end and requiring less training time for convergence.


title: Possible Magnetic Rotational Bands in 84^Rb

abstract: High-spin states in 84Rb are studied by using the 70Zn(18O, p3n)84Rb reaction at a beam energy of 75 MeV. Three high-lying negative-parity bands are established, whose level spacings are very regular, i.e., there is no signature splitting. The dipole character of the transitions of these three bands is assigned by the gamma-gamma directional correlations of oriented states (DCO) intensity ratios and the multipolarity M1 is suggested by analogy with multiparticle excitations in neighboring nuclei. Strong M1 and weak or no E2 transitions are observed. All these characteristic features show they are magnetic rotational bands.


title: The Virtual Goniometer: A new method for measuring angles on 3D models of fragmentary bone and lithics

abstract: The contact goniometer is a commonly used tool in lithic and zooarchaeological analysis, despite suffering from a number of shortcomings due to the physical interaction between the measuring implement, the object being measured, and the individual taking the measurements. However, lacking a simple and efficient alternative, researchers in a variety of fields continue to use the contact goniometer to this day. In this paper, we present a new goniometric method that we call the virtual goniometer, which takes angle measurements virtually on a 3D model of an object. The virtual goniometer allows for rapid data collection, and for the measurement of many angles that cannot be physically accessed by a manual goniometer. We compare the intra-observer variability of the manual and virtual goniometers, and find that the virtual goniometer is far more consistent and reliable. Furthermore, the virtual goniometer allows for precise replication of angle measurements, even among multiple users, which is important for reproducibility of goniometric-based research. The virtual goniometer is available as a plug-in in the open source mesh processing packages Meshlab and Blender, making it easily accessible to researchers exploring the potential for goniometry to improve archaeological methods and address anthropological questions.


title: Contextuality: At the Borders of Paradox

abstract: Contextuality is a key feature of quantum mechanics. We present the sheaf-theoretic approach to contextuality introduced by Abramsky and Brandenburger, and show how it covers a range of logical and physical phenomena "at the borders of paradox".


title: F-analytic B-pairs

abstract: In this note, we define the notion of $F$-analytic $B$-pairs and we prove that its category is equivalent to the one of $F$-analytic $(\varphi_q,\Gamma_K)$-modules.


title: Flat structure of meromorphic connections on Riemann surfaces

abstract: In the first part of the paper we study relation among meromorphic $k$-differentials, singular flat metrics and meromorphic connections. In the second part we define the notion of meromorphic $G$-differential for a multiplicative group $G\subset \mathbb{C}^*$ and we show a relation between meromorphic $G$-differentials and meromorphic connection. Moreover we prove a Poincar\'e-Bendixson theorem for infinite self-intersecting geodesics of meromorphic connections monodromy in $G$, with $\arg G^k=\{0\}$ for some $k\in\mathbb{N}$.


title: Windowed Backoff Algorithms for WiFi: Theory and Performance under Batched Arrivals

abstract: Binary exponential backoff (BEB) is a decades-old algorithm for coordinating access to a shared channel. In modern networks, BEB plays an important role in WiFi (IEEE 802.11) and other wireless communication standards. Despite this track record, well-known theoretical results indicate that under bursty traffic BEB yields poor makespan, and superior algorithms are possible. To date, the degree to which these findings impact performance in wireless networks has not been examined. To address this issue, we investigate one of the strongest cases against BEB: a single burst batch of packets that simultaneously contend for access to a wireless channel. Using Network Simulator 3, we incorporate into IEEE 802.11g several newer algorithms that, while inspired by BEB, possess makespan guarantees that are theoretically superior. Surprisingly, we discover that these newer algorithms underperform BEB. Investigating further, we identify as the culprit a common abstraction regarding the cost of collisions. Our experimental results are complemented by analytical arguments that the number of collisions - and not solely makespan - is an important metric to optimize. We argue that these findings have implications for the design of backoff algorithms in wireless networks.


title: Absolutely entangled set of pure states

abstract: Quite recently, Cai et al. [arXiv:2006.07165v1] proposed a new concept "absolutely entangled set" for bipartite quantum systems: for any possible choice of global basis, at least one state of the set is entangled. There they presented a minimum example with a set of four states in two qubit systems and they proposed a quantitative measure for the absolute set entanglement. In this work, we derive two necessity conditions for a set of states to be an absolutely entangled set. In addition, we give a series constructions of absolutely entangled bases on $\mathbb{C}^{d_1}\otimes \mathbb{C}^{d_2}$ for any nonprime dimension $d=d_1\times d_2$. Moreover, based on the structure of the orthogonal product basis in $\mathbb{C}^2\otimes \mathbb{C}^n$, we obtain another construction of absolutely entangled set with $2n+1$ elements in $\mathbb{C}^2\otimes \mathbb{C}^n$.


title: Feasible Region-based Identification Using Duality (Extended Version)

abstract: We consider the problem of estimating bounds on parameters representing tasks being performed by individual robots in a multirobot system. In our previous work, we derived necessary conditions based on persistency of excitation analysis for the exact identification of these parameters. We concluded that depending on the robot's task, the dynamics of individual robots may fail to satisfy these conditions, thereby preventing exact inference. As an extension to that work, this paper focuses on estimating bounds on task parameters when such conditions are not satisfied. Each robot in the team uses optimization-based controllers for mediating between task satisfaction and collision avoidance. We use KKT conditions of this optimization and SVD of active collision avoidance constraints to derive explicit relations between Lagrange multipliers, robot dynamics, and task parameters. Using these relations, we are able to derive bounds on each robot's task parameters. Through numerical simulations, we show how our proposed region based identification approach generates feasible regions for parameters when a conventional estimator such as a UKF fails. Additionally, empirical evidence shows that this approach generates contracting sets which converge to the true parameters much faster than the rate at which a UKF based estimate converges. Videos of these results are available at https://bit.ly/2JDMgeJ


title: Gluon fragmentation into ${^{3}\hspace{-0.6mm}P_{J}^{[1,8]}}$ quark pair and test of NRQCD factorization at two-loop level

abstract: The next-to-leading order (NLO) ($\mathcal{O}(\alpha_s^3)$) corrections for gluon fragmentation functions to a heavy quark-antiquark pair in ${^{3}\hspace{-0.6mm}P_{J}^{[1,8]}}$ states are calculated within the NRQCD factorization. We use integration-by-parts reduction and differential equations to semi-analytically calculate fragmentation functions in full-QCD, and find that infrared divergences can be absorbed by the NRQCD long distance matrix elements. Thus, the NRQCD factorization conjecture is verified at two-loop level via a physical process, which is free of artificial ultraviolet divergences. Through matching procedure, infrared-safe short distance coefficients and $\mathcal{O}(\alpha_s^2)$ perturbative NRQCD matrix elements $\langle{\mathcal O}^{{^{3}\hspace{-0.6mm}P_{J}^{[1,8]}}}({^{3}\hspace{-0.6mm}S_{1}^{[8]}})\rangle_{\mathrm{NLO}}$ are obtained simultaneously. The NLO short distance coefficients are found to have significant corrections comparing with the LO ones.


title: On the Usefulness of Self-Attention for Automatic Speech Recognition with Transformers

abstract: Self-attention models such as Transformers, which can capture temporal relationships without being limited by the distance between events, have given competitive speech recognition results. However, we note the range of the learned context increases from the lower to upper self-attention layers, whilst acoustic events often happen within short time spans in a left-to-right order. This leads to a question: for speech recognition, is a global view of the entire sequence useful for the upper self-attention encoder layers in Transformers? To investigate this, we train models with lower self-attention/upper feed-forward layers encoders on Wall Street Journal and Switchboard. Compared to baseline Transformers, no performance drop but minor gains are observed. We further developed a novel metric of the diagonality of attention matrices and found the learned diagonality indeed increases from the lower to upper encoder self-attention layers. We conclude the global view is unnecessary in training upper encoder layers.


title: A Statistical Perspective on Coreset Density Estimation

abstract: Coresets have emerged as a powerful tool to summarize data by selecting a small subset of the original observations while retaining most of its information. This approach has led to significant computational speedups but the performance of statistical procedures run on coresets is largely unexplored. In this work, we develop a statistical framework to study coresets and focus on the canonical task of nonparameteric density estimation. Our contributions are twofold. First, we establish the minimax rate of estimation achievable by coreset-based estimators. Second, we show that the practical coreset kernel density estimators are near-minimax optimal over a large class of H\"{o}lder-smooth densities.

categories: math.ST cs.IT cs.LG math.IT stat.ML stat.TH


title: Effective Model Compression via Stage-wise Pruning

abstract: Automated Machine Learning(Auto-ML) pruning methods aim at searching a pruning strategy automatically to reduce the computational complexity of deep Convolutional Neural Networks(deep CNNs). However, some previous work found that the results of many Auto-ML pruning methods cannot even surpass the results of the uniformly pruning method. In this paper, the ineffectiveness of Auto-ML pruning which is caused by unfull and unfair training of the supernet is shown. A deep supernet suffers from unfull training because it contains too many candidates. To overcome the unfull training, a stage-wise pruning(SWP) method is proposed, which splits a deep supernet into several stage-wise supernets to reduce the candidate number and utilize inplace distillation to supervise the stage training. Besides, A wide supernet is hit by unfair training since the sampling probability of each channel is unequal. Therefore, the fullnet and the tinynet are sampled in each training iteration to ensure each channel can be overtrained. Remarkably, the proxy performance of the subnets trained with SWP is closer to the actual performance than that of most of the previous Auto-ML pruning work. Experiments show that SWP achieves the state-of-the-art on both CIFAR-10 and ImageNet under the mobile setting.


title: Norms and Cayley Hamilton algebras

abstract: We develop the general Theory of Cayley Hamilton algebras using norms and compare with the approach, valid only in characteristic 0, using traces and presented in a previous paper $T$-ideals of Cayley Hamilton algebras, 2020, arXiv:2008.02222


title: Spring-Rod System Identification via Differentiable Physics Engine

abstract: We propose a novel differentiable physics engine for system identification of complex spring-rod assemblies. Unlike black-box data-driven methods for learning the evolution of a dynamical system \emph{and} its parameters, we modularize the design of our engine using a discrete form of the governing equations of motion, similar to a traditional physics engine. We further reduce the dimension from 3D to 1D for each module, which allows efficient learning of system parameters using linear regression. The regression parameters correspond to physical quantities, such as spring stiffness or the mass of the rod, making the pipeline explainable. The approach significantly reduces the amount of training data required, and also avoids iterative identification of data sampling and model training. We compare the performance of the proposed engine with previous solutions, and demonstrate its efficacy on tensegrity systems, such as NASA's icosahedron.


title: Newtonian Fractional-Dimension Gravity and Rotationally Supported Galaxies

abstract: We continue our analysis of Newtonian Fractional-Dimension Gravity, an extension of the standard laws of Newtonian gravity to lower dimensional spaces including those with fractional (i.e., non-integer) dimension. We apply our model to three rotationally supported galaxies: NGC 7814 (Bulge-Dominated Spiral), NGC 6503 (Disk-Dominated Spiral), and NGC 3741 (Gas-Dominated Dwarf). As was done in the general cases of spherically-symmetric and axially-symmetric structures, which were studied in previous work on the subject, we examine a possible connection between our model and Modified Newtonian Dynamics, a leading alternative gravity model which explains the observed properties of these galaxies without requiring the Dark Matter hypothesis. In our model, the MOND acceleration constant $a_{0} \simeq 1.2 \times 10^{-10}\mbox{m}\thinspace \mbox{s}^{ -2}$ can be related to a natural scale length $l_{0}$, namely $a_{0} \approx GM/l_{0}^{2}$ for a galaxy of mass $M$. Also, the empirical Radial Acceleration Relation, connecting the observed radial acceleration $g_{obs}$ with the baryonic one $g_{bar}$, can be explained in terms of a variable local dimension $D$. As an example of this methodology, we provide detailed rotation curve fits for the three galaxies mentioned above.


title: Submaximal properties in (strongly) topological gyrogroups

abstract: A space $X$ is submaximal if any dense subset of $X$ is open. In this paper, we prove that every submaximal topological gyrogroup of non-measurable cardinality is strongly $\sigma$-discrete. Moreover, we prove that every submaximal strongly topological gyrogroup of non-measurable cardinality is hereditarily paracompact.


title: Shape optimization of a microalgal raceway to enhance productivity

abstract: We consider a coupled physical-biological model describing growth of microalgae in a raceway pond cultivation process, accounting for hydrodynamics. Our approach combines a biological model (based on the Han model) and shallow water dynamics equations that model the fluid into the raceway pond. We present an optimization procedure dealing with the topography to maximize the biomass production over one lap or multiple laps with a paddle wheel. On the contrary to a widespread belief in the microalgae field, the results show that a flat topography is optimal in a periodic regime. In other frameworks, non-trivial topographies can be obtained. We present some of them, e.g., when a mixing device is included in the model.


title: Linear Codes from Incidence Matrices of Unit Graphs

abstract: In this paper, we examine the binary linear codes with respect to Hamming metric from incidence matrix of a unit graph $G(\mathbb{Z}_{n})$ with vertex set is $\mathbb{Z}_{n}$ and two distinct vertices $x$ and $y$ being adjacent if and only if $x+y$ is unit. The main parameters of the codes are given.


title: Correlation Decay and the Absence of Zeros Property of Partition Functions

abstract: Absence of (complex) zeros property is at the heart of the interpolation method developed by Barvinok \cite{barvinok2017combinatorics} for designing deterministic approximation algorithms for various graph counting and computing partition functions problems. Earlier methods for solving the same problem include the one based on the correlation decay property. Remarkably, the classes of graphs for which the two methods apply sometimes coincide or nearly coincide. In this paper we show that this is more than just a coincidence. We establish that if the interpolation method is valid for a family of graphs satisfying the self-reducibility property, then this family exhibits a form of correlation decay property which is asymptotic Strong Spatial Mixing (SSM) at distances $\omega(\log n)$, where $n$ is the number of nodes of the graph. This applies in particular to amenable graphs, such as graphs which are finite subsets of lattices. Our proof is based on a certain graph polynomial representation of the associated partition function. This representation is at the heart of the design of the polynomial time algorithms underlying the interpolation method itself. We conjecture that our result holds for all, and not just amenable graphs.


title: Nonlinear level attraction of cavity axion polariton in antiferromagnetic topological insulator

abstract: Strong coupling between cavity photons and various excitations in condensed matters boosts the field of light-matter interaction and generates several exciting sub-fields, such as cavity optomechanics and cavity magnon polariton. Axion quasiparticles, emerging in topological insulators, were predicted to strongly couple with the light and generate the so-called axion polariton. Here, we demonstrate that there arises a gapless level attraction in cavity axion polariton of antiferromagnetic topological insulators, which originates from a nonlinear interaction between axion and the odd-order resonance of cavity. Such a novel level attraction is essentially different from conventional level attractions with the mechanism of either a linear coupling or a dissipation-mediated interaction, and also different from the level repulsion induced by the strong coupling in common polaritons. Our results reveal a new mechanism of level attractions, and open up new roads for exploring the axion polariton with cavity technologies. They have potential applications for quantum information and dark matter research.


title: Towards Unifying Feature Attribution and Counterfactual Explanations: Different Means to the Same End

abstract: Feature attributions and counterfactual explanations are popular approaches to explain a ML model. The former assigns an importance score to each input feature, while the latter provides input examples with minimal changes to alter the model's predictions. To unify these approaches, we provide an interpretation based on the actual causality framework and present two key results in terms of their use. First, we present a method to generate feature attribution explanations from a set of counterfactual examples. These feature attributions convey how important a feature is to changing the classification outcome of a model, especially on whether a subset of features is necessary and/or sufficient for that change, which attribution-based methods are unable to provide. Second, we show how counterfactual examples can be used to evaluate the goodness of an attribution-based explanation in terms of its necessity and sufficiency. As a result, we highlight the complementarity of these two approaches. Our evaluation on three benchmark datasets - Adult-Income, LendingClub, and German-Credit - confirms the complementarity. Feature attribution methods like LIME and SHAP and counterfactual explanation methods like Wachter et al. and DiCE often do not agree on feature importance rankings. In addition, by restricting the features that can be modified for generating counterfactual examples, we find that the top-k features from LIME or SHAP are often neither necessary nor sufficient explanations of a model's prediction. Finally, we present a case study of different explanation methods on a real-world hospital triage problem


title: A Non-Perturbative Pairwise-Additive Analysis of Charge Transfer Contributions to Intermolecular Interaction Energies

abstract: Energy decomposition analysis (EDA) based on absolutely localized molecular orbitals (ALMOs) decomposes the interaction energy between molecules into physically interpretable components like geometry distortion, frozen interactions, polarization, and charge transfer (CT, also sometimes called charge delocalization) interactions. In this work, a numerically exact scheme to decompose the CT interaction energy into pairwise additive terms is introduced for the ALMO-EDA using density functional theory. Unlike perturbative pairwise charge-decomposition analysis, the new approach does not break down for strongly interacting systems, or show significant exchange-correlation functional dependence in the decomposed energy components. Both the energy lowering and the charge flow associated with CT can be decomposed. Complementary occupied-virtual orbital pairs (COVPs) that capture the dominant donor and acceptor CT orbitals are obtained for the new decomposition. It is applied to systems with different types of interactions including DNA base-pairs, borane-ammonia adducts, and transition metal hexacarbonyls. While consistent with most existing understanding of the nature of CT in these systems, the results also reveal some new insights into the origin of trends in donor-acceptor interactions.


title: Tokoin: A Coin-Based Accountable Access Control Scheme for Internet of Things

abstract: With the prevalence of Internet of Things (IoT) applications, IoT devices interact closely with our surrounding environments, bringing us unparalleled smartness and convenience. However, the development of secure IoT solutions is getting a long way lagged behind, making us exposed to common unauthorized accesses that may bring malicious attacks and unprecedented danger to our daily life. Overprivilege attack, a widely reported phenomenon in IoT that accesses unauthorized or excessive resources, is notoriously hard to prevent, trace and mitigate. To tackle this challenge, we propose Tokoin-Based Access Control (TBAC), an accountable access control model enabled by blockchain and Trusted Execution Environment (TEE) technologies, to offer fine-graininess, strong auditability, and access procedure control for IoT. TBAC materializes the virtual access power into a definite-amount and secure cryptographic coin termed "tokoin" (token+coin), and manages it using atomic and accountable state-transition functions in a blockchain. We also realize access procedure control by mandating every tokoin a fine-grained access policy defining who is allowed to do what at when in where by how. The tokoin is peer-to-peer transferable, and can be modified only by the resource owner when necessary. We fully implement TBAC with well-studied cryptographic primitives and blockchain platforms and present a readily available APP for regular users. We also present a case study to demonstrate how TBAC is employed to enable autonomous in-home cargo delivery while guaranteeing the access policy compliance and home owner's physical security by regulating the physical behaviors of the deliveryman.


title: Drift kinetic theory of alpha transport by tokamak perturbations

abstract: Upcoming tokamak experiments fueled with deuterium and tritium are expected to have large alpha particle populations. Such experiments motivate new attention to the theory of alpha particle confinement and transport. A key topic is the interaction of alphas with perturbations to the tokamak fields, including those from ripple and magnetohydrodynamic modes like Alfv\'{e}n eigenmodes. These perturbations can transport alphas, leading to changed localization of alpha heating, loss of alpha power, and damage to device walls. Alpha interaction with these perturbations is often studied with single particle theory. In contrast, we derive a drift kinetic theory to calculate the alpha heat flux resulting from arbitrary perturbation frequency and periodicity (provided these can be studied drift kinetically). Novel features of the theory include the retention of a large effective collision frequency resulting from the resonant alpha collisional boundary layer, correlated interactions over many poloidal transits, and finite orbit effects. Heat fluxes are considered for the example cases of ripple and the toroidal Alfv\'{e}n eigenmode (TAE). The ripple heat flux is small. The TAE heat flux is significant and scales with the square of the perturbation amplitude, allowing the derivation of constraints on mode amplitude for avoidance of significant alpha depletion. A simple saturation condition suggests that TAEs in one upcoming experiment will not cause significant alpha transport via the mechanisms in this theory. However, saturation above the level suggested by the simple condition, but within numerical and experimental experience, which could be accompanied by the onset of stochasticity, could cause significant transport.


title: Nitrogen overgrowth as a catalytic mechanism during diamond chemical vapour deposition

abstract: Nitrogen is frequently included in chemical vapour deposition feed gases to accelerate diamond growth. While there is no consensus for an atomistic mechanism of this effect, existing studies have largely focused on the role of sub-surface nitrogen and nitrogen-based adsorbates. In this work, we demonstrate the catalytic effect of surface-embedded nitrogen in nucleating new layers of (100) diamond. To do so we develop a model of nitrogen overgrowth using density functional theory. Nucleation of new layers occurs through C insertion into a C--C surface dimer. However, we find that C insertion into a C--N dimer has substantially reduced energy requirements. In particular, the rate of the key dimer ring-opening and closing mechanism is increased 400-fold in the presence of nitrogen. Full incorporation of the substitutional nitrogen defect is then facilitated through charge transfer of an electron from the nitrogen lone pair to charge acceptors on the surface. This work provides a compelling mechanism for the role of surface-embedded nitrogen in enhancing (100) diamond growth through the nucleation of new layers. Furthermore, it demonstrates a pathway for substitutional nitrogen formation during chemical vapour deposition which can be extended to study the creation of technologically relevant nitrogen-based defects.


title: Efficient Interpolation of Density Estimators

abstract: We study the problem of space and time efficient evaluation of a nonparametric estimator that approximates an unknown density. In the regime where consistent estimation is possible, we use a piecewise multivariate polynomial interpolation scheme to give a computationally efficient construction that converts the original estimator to a new estimator that can be queried efficiently and has low space requirements, all without adversely deteriorating the original approximation quality. Our result gives a new statistical perspective on the problem of fast evaluation of kernel density estimators in the presence of underlying smoothness. As a corollary, we give a succinct derivation of a classical result of Kolmogorov---Tikhomirov on the metric entropy of H\"{o}lder classes of smooth functions.


title: Topological properties of basins of attraction and expressiveness of width bounded neural networks

abstract: In Radhakrishnan et al. [2020], the authors empirically show that autoencoders trained with usual SGD methods shape out basins of attraction around their training data. We consider network functions of width not exceeding the input dimension and prove that in this situation basins of attraction are bounded and their complement cannot have bounded components. Our conditions in these results are met in several experiments of the latter work and we thus address a question posed therein. We also show that under some more restrictive conditions the basins of attraction are path-connected. The tightness of the conditions in our results is demonstrated by means of several examples. Finally, the arguments used to prove the above results allow us to derive a root cause why scalar-valued neural network functions that fulfill our bounded width condition are not dense in spaces of continuous functions.


title: Locking free staggered DG method for the Biot system of poroelasticity on general polygonal meshes

abstract: In this paper we propose and analyze a staggered discontinuous Galerkin method for a five-field formulation of the Biot system of poroelasticity on general polygonal meshes. Elasticity is equipped with stress-displacement-rotation formulation with weak stress symmetry for arbitrary polynomial orders, which extends the piecewise constant approximation developed in (L. Zhao and E.-J. Park, SIAM J. Sci. Comput. 42 (2020), A2158-A2181). The proposed method is locking free and can handle highly distorted grids possibly including hanging nodes, which is desirable for practical applications. We prove the convergence estimates for the semi-discrete scheme and fully discrete scheme for all the variables in their natural norms. In particular, the stability and convergence analysis do not need a uniformly positive storativity coefficient. Moreover, to reduce the size of the global system, we propose a five-field formulation based fixed stress splitting scheme, where the linear convergence of the scheme is proved. Several numerical experiments are carried out to confirm the optimal convergence rates and the locking-free property of the proposed method.


title: On the Power of Static Assignment Policies for Robust Facility Location Problems

abstract: We consider a two-stage robust facility location problem on a metric under an uncertain demand. The decision-maker needs to decide on the (integral) units of supply for each facility in the first stage to satisfy an uncertain second-stage demand, such that the sum of first stage supply cost and the worst-case cost of satisfying the second-stage demand over all scenarios is minimized. The second-stage decisions are only assignment decisions without the possibility of adding recourse supply capacity. This makes our model different from existing work on two-stage robust facility location and set covering problems. We consider an implicit model of uncertainty with an exponential number of demand scenarios specified by an upper bound $k$ on the number of second-stage clients. In an optimal solution, the second-stage assignment decisions depend on the scenario; surprisingly, we show that restricting to a fixed (static) fractional assignment for each potential client irrespective of the scenario gives us an $O(\log k/\log \log k)$-approximation for the problem. Moreover, the best such static assignment can be computed efficiently giving us the desired guarantee.


title: Towards a Better Global Loss Landscape of GANs

abstract: Understanding of GAN training is still very limited. One major challenge is its non-convex-non-concave min-max objective, which may lead to sub-optimal local minima. In this work, we perform a global landscape analysis of the empirical loss of GANs. We prove that a class of separable-GAN, including the original JS-GAN, has exponentially many bad basins which are perceived as mode-collapse. We also study the relativistic pairing GAN (RpGAN) loss which couples the generated samples and the true samples. We prove that RpGAN has no bad basins. Experiments on synthetic data show that the predicted bad basin can indeed appear in training. We also perform experiments to support our theory that RpGAN has a better landscape than separable-GAN. For instance, we empirically show that RpGAN performs better than separable-GAN with relatively narrow neural nets. The code is available at https://github.com/AilsaF/RS-GAN.


title: Dinv, Area, and Bounce for $\vec{k}$-Dyck paths

abstract: The well-known $q,t$-Catalan sequence has two combinatorial interpretations as weighted sums of ordinary Dyck paths: one is Haglund's area-bounce formula, and the other is Haiman's dinv-area formula. The zeta map was constructed to connect these two formulas: it is a bijection from ordinary Dyck paths to themselves, and it takes dinv to area, and area to bounce. Such a result was extended for $k$-Dyck paths by Loehr. The zeta map was extended by Armstrong-Loehr-Warrington for a very general class of paths. In this paper, We extend the dinv-area-bounce result for $\vec{k}$-Dyck paths by: i) giving a geometric construction for the bounce statistic of a $\vec{k}$-Dyck path, which includes the $k$-Dyck paths and ordinary Dyck paths as special cases; ii) giving a geometric interpretation of the dinv statistic of a $\vec{k}$-Dyck path. Our bounce construction is inspired by Loehr's construction and Xin-Zhang's linear algorithm for inverting the sweep map on $\vec{k}$-Dyck paths. Our dinv interpretation is inspired by Garsia-Xin's visual proof of dinv-to-area result on rational Dyck paths.


title: LinCbO: fast algorithm for computation of the Duquenne-Guigues basis

abstract: We propose and evaluate a novel algorithm for computation of the Duquenne-Guigues basis which combines Close-by-One and LinClosure algorithms. This combination enables us to reuse attribute counters used in LinClosure and speed up the computation. Our experimental evaluation shows that it is the most efficient algorithm for computation of the Duquenne-Guigues basis.


title: Sim2Sim Evaluation of a Novel Data-Efficient Differentiable Physics Engine for Tensegrity Robots

abstract: Learning policies in simulation is promising for reducing human effort when training robot controllers. This is especially true for soft robots that are more adaptive and safe but also more difficult to accurately model and control. The sim2real gap is the main barrier to successfully transfer policies from simulation to a real robot. System identification can be applied to reduce this gap but traditional identification methods require a lot of manual tuning. Data-driven alternatives can tune dynamical models directly from data but are often data hungry, which also incorporates human effort in collecting data. This work proposes a data-driven, end-to-end differentiable simulator focused on the exciting but challenging domain of tensegrity robots. To the best of the authors' knowledge, this is the first differentiable physics engine for tensegrity robots that supports cable, contact, and actuation modeling. The aim is to develop a reasonably simplified, data-driven simulation, which can learn approximate dynamics with limited ground truth data. The dynamics must be accurate enough to generate policies that can be transferred back to the ground-truth system. As a first step in this direction, the current work demonstrates sim2sim transfer, where the unknown physical model of MuJoCo acts as a ground truth system. Two different tensegrity robots are used for evaluation and learning of locomotion policies, a 6-bar and a 3-bar tensegrity. The results indicate that only 0.25\% of ground truth data are needed to train a policy that works on the ground truth system when the differentiable engine is used for training against training the policy directly on the ground truth system.


title: Selectively Precoded Polar Codes

abstract: In this paper, we propose \textit{selectively precoded polar (SPP) code}, built on top of Arikan's capacity achieving polar codes. We provide the encoding and decoding scheme for SPP code. Simulation results show that for a target frame erasure rate (FER) of $\mathbf{10^{-5}}$, a (128, 64) SPP code is just 0.23 dB away from the information theoretic limit at this blocklength. Further, it is also shown that such codes possess better distance properties compared to other contemporary polar code variants.