title: Unsupervised Regionalization of Particle-resolved Aerosol Mixing State Indices on the Global Scale

abstract: The aerosol mixing state significantly affects the climate and health impacts of atmospheric aerosol particles. Simplified aerosol mixing state assumptions, common in Earth System models, can introduce errors in the prediction of these aerosol impacts. The aerosol mixing state index, a metric to quantify aerosol mixing state, is a convenient measure for quantifying these errors. Global estimates of aerosol mixing state indices have recently become available via supervised learning models, but require regionalization to ease spatiotemporal analysis. Here we developed a simple but effective unsupervised learning approach to regionalize predictions of global aerosol mixing state indices. We used the monthly average of aerosol mixing state indices global distribution as the input data. Grid cells were then clustered into regions by the k-means algorithm without explicit spatial information as input. This approach resulted in eleven regions over the globe with specific spatial aggregation patterns. Each region exhibited a unique distribution of mixing state indices and aerosol compositions, showing the effectiveness of the unsupervised regionalization approach. This study defines "aerosol mixing state zones" that could be useful for atmospheric science research.


title: How to hear the corners of a drum

abstract: We announce a new result which shows that under either Dirichlet, Neumann, or Robin boundary conditions, the corners in a planar domain are a spectral invariant of the Laplacian. For the case of polygonal domains, we show how a locality principle, in the spirit of Kac's "principle of not feeling the boundary" can be used together with calculations of explicit model heat kernels to prove the result. In the process, we prove this locality principle for all three boundary conditions. Albeit previously known for Dirichlet boundary conditions, this appears to be new for Robin and Neumann boundary conditions, in the generality presented here. For the case of curvilinear polygons, we describe how the same arguments using the locality principle fail, but can nonetheless be replaced by powerful microlocal analysis methods.


title: FPRAS Approximation of the Matrix Permanent in Practice

abstract: The matrix permanent belongs to the complexity class #P-Complete. It is generally believed to be computationally infeasible for large problem sizes, and significant research has been done on approximation algorithms for the matrix permanent. We present an implementation and detailed runtime analysis of one such Markov Chain Monte Carlo (MCMC) based Fully Polynomial Randomized Approximation Scheme (FPRAS) for the matrix permanent, which has previously only been described theoretically and with big-Oh runtime analysis. We demonstrate by analysis and experiment that the constant factors hidden by previous big-Oh analyses result in computational infeasibility.


title: Visual Aware Hierarchy Based Food Recognition

abstract: Food recognition is one of the most important components in image-based dietary assessment. However, due to the different complexity level of food images and inter-class similarity of food categories, it is challenging for an image-based food recognition system to achieve high accuracy for a variety of publicly available datasets. In this work, we propose a new two-step food recognition system that includes food localization and hierarchical food classification using Convolutional Neural Networks (CNNs) as the backbone architecture. The food localization step is based on an implementation of the Faster R-CNN method to identify food regions. In the food classification step, visually similar food categories can be clustered together automatically to generate a hierarchical structure that represents the semantic visual relations among food categories, then a multi-task CNN model is proposed to perform the classification task based on the visual aware hierarchical structure. Since the size and quality of dataset is a key component of data driven methods, we introduce a new food image dataset, VIPER-FoodNet (VFN) dataset, consists of 82 food categories with 15k images based on the most commonly consumed foods in the United States. A semi-automatic crowdsourcing tool is used to provide the ground-truth information for this dataset including food object bounding boxes and food object labels. Experimental results demonstrate that our system can significantly improve both classification and recognition performance on 4 publicly available datasets and the new VFN dataset.


title: Proactive Pseudo-Intervention: Causally Informed Contrastive Learning For Interpretable Vision Models

abstract: Deep neural networks excel at comprehending complex visual signals, delivering on par or even superior performance to that of human experts. However, ad-hoc visual explanations of model decisions often reveal an alarming level of reliance on exploiting non-causal visual cues that strongly correlate with the target label in training data. As such, deep neural nets suffer compromised generalization to novel inputs collected from different sources, and the reverse engineering of their decision rules offers limited interpretability. To overcome these limitations, we present a novel contrastive learning strategy called {\it Proactive Pseudo-Intervention} (PPI) that leverages proactive interventions to guard against image features with no causal relevance. We also devise a novel causally informed salience mapping module to identify key image pixels to intervene, and show it greatly facilitates model interpretability. To demonstrate the utility of our proposals, we benchmark on both standard natural images and challenging medical image datasets. PPI-enhanced models consistently deliver superior performance relative to competing solutions, especially on out-of-domain predictions and data integration from heterogeneous sources. Further, our causally trained saliency maps are more succinct and meaningful relative to their non-causal counterparts.


title: Competition in Cross-situational Word Learning: A Computational Study

abstract: Children learn word meanings by tapping into the commonalities across different situations in which words are used and overcome the high level of uncertainty involved in early word learning experiences. We propose a modeling framework to investigate the role of mutual exclusivity bias - asserting one-to-one mappings between words and their meanings - in reducing uncertainty in word learning. In a set of computational studies, we show that to successfully learn word meanings in the face of uncertainty, a learner needs to use two types of competition: words competing for association to a referent when learning from an observation and referents competing for a word when the word is used. Our work highlights the importance of an algorithmic-level analysis to shed light on the utility of different mechanisms that can implement the same computational-level theory.


title: More style, less work: card-style data decrease risk-limiting audit sample sizes

abstract: U.S. elections rely heavily on computers such as voter registration databases, electronic pollbooks, voting machines, scanners, tabulators, and results reporting websites. These introduce digital threats to election outcomes. Risk-limiting audits (RLAs) mitigate threats to some of these systems by manually inspecting random samples of ballot cards. RLAs have a large chance of correcting wrong outcomes (by conducting a full manual tabulation of a trustworthy record of the votes), but can save labor when reported outcomes are correct. This efficiency is eroded when sampling cannot be targeted to ballot cards that contain the contest(s) under audit. If the sample is drawn from all cast cards, RLA sample sizes scale like the reciprocal of the fraction of ballot cards that contain the contest(s) under audit. That fraction shrinks as the number of cards per ballot grows (i.e., when elections contain more contests) and as the fraction of ballots that contain the contest decreases (i.e., when a smaller percentage of voters are eligible to vote in the contest). States that conduct RLAs of contests on multi-card ballots or of small contests can dramatically reduce sample sizes by using information about which ballot cards contain which contests -- by keeping track of card-style data (CSD). For instance, CSD reduces the expected number of draws needed to audit a single countywide contest on a 4-card ballot by 75%. Similarly, CSD reduces the expected number of draws by 95% or more for an audit of two contests with the same margin on a 4-card ballot if one contest is on every ballot and the other is on 10% of ballots. In realistic examples, the savings can be several orders of magnitude.


title: A Weighted Solution to SVM Actionability and Interpretability

abstract: Research in machine learning has successfully developed algorithms to build accurate classification models. However, in many real-world applications, such as healthcare, customer satisfaction, and environment protection, we want to be able to use the models to decide what actions to take. We investigate the concept of actionability in the context of Support Vector Machines. Actionability is as important as interpretability or explainability of machine learning models, an ongoing and important research topic. Actionability is the task that gives us ways to act upon machine learning models and their predictions. This paper finds a solution to the question of actionability on both linear and non-linear SVM models. Additionally, we introduce a way to account for weighted actions that allow for more change in certain features than others. We propose a gradient descent solution on the linear, RBF, and polynomial kernels, and we test the effectiveness of our models on both synthetic and real datasets. We are also able to explore the model's interpretability through the lens of actionability.


title: Baikal-GVD: status and first results

abstract: Baikal-GVD is a cubic-kilometer scale deep-underwater neutrino detector being constructed in Lake Baikal. It is designed to detect neutrinos from $\sim$100 GeV to multi-PeV energies and beyond. Detector deployment began in Spring 2015. Since April 2020 the detector includes seven 8-string clusters carrying in total 2016 optical modules located at depths from 750 to 1275 meters. By the end of the first phase of detector construction in 2024 it is planned to deploy 15 clusters, reaching the effective volume for high-energy cascade detection of 0.75 km$^3$. The design and status of the Baikal-GVD detector and first results of data analysis are presented in this report.


title: Effect of processing parameters on the properties of freeze-cast Ni wick with gradient porosity

abstract: Wicks are the main component of Loop Heat Pipe systems, whereby coolant liquid flow through their porous structure. They are usually formed by a primary wick to produce liquid transportation by capillary force, and a secondary wick that is continuously wetted by the liquid coolant. Traditionally, the two wicks are manufactured separately and subsequently joined, thereby creating an interface that reduces the liquid transfer efficiency. In order to overcome this situation, a gradient porous wick is proposed and successfully manufactured through the freeze-casting method in a single operation. The influence of two different dispersant agents, KD4 and stearic acid was studied on the processing parameters, final pore size and morphology, and capillarity performances. A variate of gradient porosity was obtained by applying a diverse thermal gradient and solidification front velocity during directional solidification. The rheological characterisation of the camphene-based NiO suspensions was performed using a rotational viscometer. The final pore size and morphology were characterised by Optical Microscopy, Field Emission Scanning Electron Microscopy, and X-ray computed tomography. The use of stearic acid improves the particle stabilisation and generates pore enlargement with an equiaxed pore structure, while commercial dispersant KD4 shows a dendritic pore morphology at lower thermal gradient.


title: A semigroup is finite if and only if it is chain-finite and antichain-finite

abstract: A subset $A$ of a semigroup $S$ is called a $chain$ ($antichain$) if $xy\in\{x,y\}$ ($xy\notin\{x,y\}$) for any (distinct) elements $x,y\in S$. A semigroup $S$ is called ($anti$)$chain$-$finite$ if $S$ contains no infinite (anti)chains. We prove that each antichain-finite semigroup $S$ is periodic and for every idempotent $e$ of $S$ the set $\sqrt[\infty]{e}=\{x\in S:\exists n\in\mathbb N\;\;(x^n=e)\}$ is finite. This property of antichain-finite semigroups is used to prove that a semigroup is finite if and only if it is chain-finite and antichain-finite. Also we present an example of an antichain-finite semilattice that is not a union of finitely many chains.


title: A Lecture About the Use of Orlicz Spaces in Information Geometry

abstract: This is a revised version of a tutorial lecture that I presented at the \`Ecole de Physique des Houches on July 26-31 2020. Topics include Non-parametric Information Geometry, the Statistical bundle, exponential Orlicz spaces, and Gaussian Orlicz-Sobolev spaces.


title: Art Style Classification with Self-Trained Ensemble of AutoEncoding Transformations

abstract: The artistic style of a painting is a rich descriptor that reveals both visual and deep intrinsic knowledge about how an artist uniquely portrays and expresses their creative vision. Accurate categorization of paintings across different artistic movements and styles is critical for large-scale indexing of art databases. However, the automatic extraction and recognition of these highly dense artistic features has received little to no attention in the field of computer vision research. In this paper, we investigate the use of deep self-supervised learning methods to solve the problem of recognizing complex artistic styles with high intra-class and low inter-class variation. Further, we outperform existing approaches by almost 20% on a highly class imbalanced WikiArt dataset with 27 art categories. To achieve this, we train the EnAET semi-supervised learning model (Wang et al., 2019) with limited annotated data samples and supplement it with self-supervised representations learned from an ensemble of spatial and non-spatial transformations.


title: Brain Co-Processors: Using AI to Restore and Augment Brain Function

abstract: Brain-computer interfaces (BCIs) use decoding algorithms to control prosthetic devices based on brain signals for restoration of lost function. Computer-brain interfaces (CBIs), on the other hand, use encoding algorithms to transform external sensory signals into neural stimulation patterns for restoring sensation or providing sensory feedback for closed-loop prosthetic control. In this article, we introduce brain co-processors, devices that combine decoding and encoding in a unified framework using artificial intelligence (AI) to supplement or augment brain function. Brain co-processors can be used for a range of applications, from inducing Hebbian plasticity for rehabilitation after brain injury to reanimating paralyzed limbs and enhancing memory. A key challenge is simultaneous multi-channel neural decoding and encoding for optimization of external behavioral or task-related goals. We describe a new framework for developing brain co-processors based on artificial neural networks, deep learning and reinforcement learning. These "neural co-processors" allow joint optimization of cost functions with the nervous system to achieve desired behaviors. By coupling artificial neural networks with their biological counterparts, neural co-processors offer a new way of restoring and augmenting the brain, as well as a new scientific tool for brain research. We conclude by discussing the potential applications and ethical implications of brain co-processors.


title: Efficient sliding locomotion of three-link bodies

abstract: We study the efficiency of sliding locomotion for three-link bodies in the presence of dry (Coulomb) friction. Friction coefficient space can be partitioned into several regions, each with distinct types of efficient kinematics. These include kinematics resembling lateral undulation with very anisotropic friction, small-amplitude reciprocal kinematics, very large amplitude kinematics near isotropic friction, and kinematics that are very asymmetric about the flat state. In the two-parameter shape space, zero net rotation for elliptical trajectories occurs mainly with bilateral or antipodal symmetry. These symmetric subspaces have about the same peak efficiency as the full space but with much smaller dimension. Adding modes with two or three times the basic frequency greatly increases the numbers of local optimal for efficiency, but only modestly increases the peak efficiency. Random ensembles with higher frequencies have efficiency distributions that peak near a certain nonzero value and decay rapidly up to the maximum efficiency. A stochastic optimization algorithm is developed to compute optima with higher frequencies. These are simple closed curves, sharpened versions of the elliptical optima in most cases, and achieve much higher efficiencies mainly for small normal friction. With a linear resistance law, the optimal trajectories are similar in much of friction coefficient space, and relative efficiencies are much lower except with very large normal friction.


title: Gaia Early Data Release 3: The astrometric solution

abstract: Gaia Early Data Release 3 (Gaia EDR3) contains results for 1.812 billion sources in the magnitude range G = 3 to 21 based on observations collected by the European Space Agency Gaia satellite during the first 34 months of its operational phase. We describe the input data, the models, and the processing used for the astrometric content of Gaia EDR3, as well as the validation of these results performed within the astrometry task. The processing broadly followed the same procedures as for Gaia DR2, but with significant improvements to the modelling of observations. For the first time in the Gaia data processing, colour-dependent calibrations of the line- and point-spread functions have been used for sources with well-determined colours from DR2. In the astrometric processing these sources obtained five-parameter solutions, whereas other sources were processed using a special calibration that allowed a pseudocolour to be estimated as the sixth astrometric parameter. Compared with DR2, the astrometric calibration models have been extended, and the spin-related distortion model includes a self-consistent determination of basic-angle variations, improving the global parallax zero point. Gaia EDR3 gives full astrometric data (positions at epoch J2016.0, parallaxes, and proper motions) for 1.468 billion sources (585 million with five-parameter solutions, 882 million with six parameters), and mean positions at J2016.0 for an additional 344 million. Solutions with five parameters are generally more accurate than six-parameter solutions, and are available for 93% of the sources brighter than G = 17 mag. The median uncertainty in parallax and annual proper motion is 0.02-0.03 mas at magnitude G = 9 to 14, and around 0.5 mas at G = 20. Extensive characterisation of the statistical properties of the solutions is provided, including the estimated angular power spectrum of parallax bias from the quasars.


title: Solving the Minimum Convex Partition of Point Sets with Integer Programming

abstract: The partition of a problem into smaller sub-problems satisfying certain properties is often a key ingredient in the design of divide-and-conquer algorithms. For questions related to location, the partition problem can be modeled, in geometric terms, as finding a subdivision of a planar map -- which represents, say, a geographical area -- into regions subject to certain conditions while optimizing some objective function. In this paper, we investigate one of these geometric problems known as the Minimum Convex Partition Problem (MCPP). A convex partition of a point set $P$ in the plane is a subdivision of the convex hull of $P$ whose edges are segments with both endpoints in $P$ and such that all internal faces are empty convex polygons. The MCPP is an NP-hard problem where one seeks to find a convex partition with the least number of faces. We present a novel polygon-based integer programming formulation for the MCPP, which leads to better dual bounds than the previously known edge-based model. Moreover, we introduce a primal heuristic, a branching rule and a pricing algorithm. The combination of these techniques leads to the ability to solve instances with twice as many points as previously possible while constrained to identical computational resources. A comprehensive experimental study is presented to show the impact of our design choices.


title: Unveiling the phase diagram of a bond-alternating spin-$\frac12$ $K$-$\Gamma$ chain

abstract: The key to unraveling intriguing phenomena observed in various Kitaev materials lies in understanding the interplay of Kitaev ($K$) interaction and a symmetric off-diagonal $\Gamma$ interaction. To provide insight into the challenging problems, we study the quantum phase diagram of a bond-alternating spin-$1/2$ $g_x$-$g_y$ $K$-$\Gamma$ chain by density-matrix renormalization group method where $g_x$ and $g_y$ are the bond strengths of the odd and even bonds, respectively. The phase diagram is dominated by even-Haldane ($g_x > g_y$) and odd-Haldane ($g_x < g_y$) phases where the former is topologically trivial while the latter is a symmetry-protected topological phase. Near the antiferromagnetic Kitaev limit, there are two gapped $A_x$ and $A_y$ phases characterized by distinct nonlocal string correlators. In contrast, the isotropic ferromagnetic (FM) Kitaev point serves as a multicritical point where two topological phase transitions meet. The remaining part of the phase diagram contains three symmetry-breaking magnetic phases. One is a six-fold degenerate FM$_{U_6}$ phase where all the spins are parallel to one of the $\pm \hat{x}$, $\pm \hat{y}$, and $\pm \hat{z}$ axes in a six-site spin rotated basis, while the other two have more complex spin structures with all the three spin components being finite. Existence of a rank-2 spin-nematic ordering in the latter is also discussed.


title: Using topological autoencoders as a filtering function for global and local topology

abstract: Choosing a suitable filtering function for the Mapper algorithm can be difficult due to its arbitrariness and domain-specific requirements. Finding a general filtering function that can be applied across domains is therefore of interest, since it would improve the representation of manifolds in higher dimensions. In this extended abstract, we propose that topological autoencoders is a suitable candidate for this and report initial results strengthening this hypothesis for one set of high-dimensional manifolds. The results indicate a potential for an easier choice of filtering function when using the Mapper algorithm, allowing for a more general and descriptive representation of high-dimensional data.


title: Linear Reduced Order Model Predictive Control

abstract: Model predictive controllers use dynamics models to solve constrained optimal control problems. However, computational requirements for real-time control have limited their use to systems with low-dimensional models. Nevertheless, high-dimensional models arise in many settings, for example discretization methods for generating finite-dimensional approximations to partial differential equations can result in models with thousands to millions of dimensions. In such cases, reduced order models (ROMs) can significantly reduce computational requirements, but model approximation error must be considered to guarantee controller performance. In this work, a reduced order model predictive control (ROMPC) scheme is proposed to solve robust, output feedback, constrained optimal control problems for high-dimensional linear systems. Computational efficiency is obtained by using projection-based ROMs, and guarantees on robust constraint satisfaction and stability are provided. Performance of the approach is demonstrated in simulation for several examples, including an aircraft control problem leveraging an inviscid computational fluid dynamics model with dimension 998,930.


title: Learning to Rearrange Deformable Cables, Fabrics, and Bags with Goal-Conditioned Transporter Networks

abstract: Rearranging and manipulating deformable objects such as cables, fabrics, and bags is a long-standing challenge in robotic manipulation. The complex dynamics and high-dimensional configuration spaces of deformables, compared to rigid objects, make manipulation difficult not only for multi-step planning, but even for goal specification. Goals cannot be as easily specified as rigid object poses, and may involve complex relative spatial relations such as "place the item inside the bag". In this work, we develop a suite of simulated benchmarks with 1D, 2D, and 3D deformable structures, including tasks that involve image-based goal-conditioning and multi-step deformable manipulation. We propose embedding goal-conditioning into Transporter Networks, a recently proposed model architecture for learning robotic manipulation that rearranges deep features to infer displacements that can represent pick and place actions. In simulation and in physical experiments, we demonstrate that goal-conditioned Transporter Networks enable agents to manipulate deformable structures into flexibly specified configurations without test-time visual anchors for target locations. We also significantly extend prior results using Transporter Networks for manipulating deformable objects by testing on tasks with 2D and 3D deformables. Supplementary material is available at https://berkeleyautomation.github.io/bags/.


title: SoK: Training Machine Learning Models over Multiple Sources with Privacy Preservation

abstract: Nowadays, gathering high-quality training data from multiple data sources with privacy preservation is a crucial challenge to training high-performance machine learning models. The potential solutions could break the barriers among isolated data corpus, and consequently enlarge the range of data available for processing. To this end, both academic researchers and industrial vendors are recently strongly motivated to propose two main-stream folders of solutions mainly based on software constructions: 1) Secure Multi-party Learning (MPL for short); and 2) Federated Learning (FL for short). The above two technical folders have their advantages and limitations when we evaluate them according to the following five criteria: security, efficiency, data distribution, the accuracy of trained models, and application scenarios. Motivated to demonstrate the research progress and discuss the insights on the future directions, we thoroughly investigate these protocols and frameworks of both MPL and FL. At first, we define the problem of Training machine learning Models over Multiple data sources with Privacy Preservation (TMMPP for short). Then, we compare the recent studies of TMMPP from the aspects of the technical routes, the number of parties supported, data partitioning, threat model, and machine learning models supported, to show their advantages and limitations. Next, we investigate and evaluate five popular FL platforms. Finally, we discuss the potential directions to resolve the problem of TMMPP in the future.


title: Atomistic simulations of the human proteasome inhibited by a covalent ligand

abstract: The proteasome is a large biomolecular complex responsible for protein degradation. It is under intense research due to its fundamental role in cellular homeostasis, and tremendous potential for medicinal applications. Recent data from X-ray crystallography and cryo-electron microscopy have suggested that there is a large-scale structural change upon binding of an inhibitor. We carried out atomistic molecular dynamics simulations of the native and inhibited proteasomes to understand the molecular details of the inhibition. Here we describe the technical details of the simulations and assess the quality of the trajectories obtained. The biochemical aspects of the proteasome are under further investigation and will be published elsewhere. This work was a part of the GCS-Prot project at the HLRS, run on the Cray XC40 supercomputing system.


title: Combining Spatial Clustering with LSTM Speech Models for Multichannel Speech Enhancement

abstract: Recurrent neural networks using the LSTM architecture can achieve significant single-channel noise reduction. It is not obvious, however, how to apply them to multi-channel inputs in a way that can generalize to new microphone configurations. In contrast, spatial clustering techniques can achieve such generalization, but lack a strong signal model. This paper combines the two approaches to attain both the spatial separation performance and generality of multichannel spatial clustering and the signal modeling performance of multiple parallel single-channel LSTM speech enhancers. The system is compared to several baselines on the CHiME3 dataset in terms of speech quality predicted by the PESQ algorithm and word error rate of a recognizer trained on mis-matched conditions, in order to focus on generalization. Our experiments show that by combining the LSTM models with the spatial clustering, we reduce word error rate by 4.6\% absolute (17.2\% relative) on the development set and 11.2\% absolute (25.5\% relative) on test set compared with spatial clustering system, and reduce by 10.75\% (32.72\% relative) on development set and 6.12\% absolute (15.76\% relative) on test data compared with LSTM model.


title: Traffic Assignment Problem for Footpath Networks with Bidirectional Links

abstract: The estimation of pedestrian traffic in urban areas is often performed with computationally intensive microscopic models that usually suffer from scalability issues in large-scale footpath networks. In this study, we present a new macroscopic user equilibrium traffic assignment problem (UE-pTAP) framework for pedestrian networks while taking into account fundamental microscopic properties such as self-organization in bidirectional streams and stochastic walking travel times. We propose four different types of pedestrian volume-delay functions (pVDFs), calibrate them with empirical data, and discuss their implications on the existence and uniqueness of the traffic assignment solution. We demonstrate the applicability of the developed UE-pTAP framework in a small network as well as a large scale network of Sydney footpaths.


title: On Infusing Reachability-Based Safety Assurance within Planning Frameworks for Human-Robot Vehicle Interactions

abstract: Action anticipation, intent prediction, and proactive behavior are all desirable characteristics for autonomous driving policies in interactive scenarios. Paramount, however, is ensuring safety on the road -- a key challenge in doing so is accounting for uncertainty in human driver actions without unduly impacting planner performance. This paper introduces a minimally-interventional safety controller operating within an autonomous vehicle control stack with the role of ensuring collision-free interaction with an externally controlled (e.g., human-driven) counterpart while respecting static obstacles such as a road boundary wall. We leverage reachability analysis to construct a real-time (100Hz) controller that serves the dual role of (i) tracking an input trajectory from a higher-level planning algorithm using model predictive control, and (ii) assuring safety by maintaining the availability of a collision-free escape maneuver as a persistent constraint regardless of whatever future actions the other car takes. A full-scale steer-by-wire platform is used to conduct traffic weaving experiments wherein two cars, initially side-by-side, must swap lanes in a limited amount of time and distance, emulating cars merging onto/off of a highway. We demonstrate that, with our control stack, the autonomous vehicle is able to avoid collision even when the other car defies the planner's expectations and takes dangerous actions, either carelessly or with the intent to collide, and otherwise deviates minimally from the planned trajectory to the extent required to maintain safety.


title: Multivariate Density Estimation with Deep Neural Mixture Models

abstract: Albeit worryingly underrated in the recent literature on machine learning in general (and, on deep learning in particular), multivariate density estimation is a fundamental task in many applications, at least implicitly, and still an open issue. With a few exceptions, deep neural networks (DNNs) have seldom been applied to density estimation, mostly due to the unsupervised nature of the estimation task, and (especially) due to the need for constrained training algorithms that ended up realizing proper probabilistic models that satisfy Kolmogorov's axioms. Moreover, in spite of the well-known improvement in terms of modeling capabilities yielded by mixture models over plain single-density statistical estimators, no proper mixtures of multivariate DNN-based component densities have been investigated so far. The paper fills this gap by extending our previous work on Neural Mixture Densities (NMMs) to multivariate DNN mixtures. A maximum-likelihood (ML) algorithm for estimating Deep NMMs (DNMMs) is handed out, which satisfies numerically a combination of hard and soft constraints aimed at ensuring satisfaction of Kolmogorov's axioms. The class of probability density functions that can be modeled to any degree of precision via DNMMs is formally defined. A procedure for the automatic selection of the DNMM architecture, as well as of the hyperparameters for its ML training algorithm, is presented (exploiting the probabilistic nature of the DNMM). Experimental results on univariate and multivariate data are reported on, corroborating the effectiveness of the approach and its superiority to the most popular statistical estimation techniques.


title: Tracing dark energy history with gamma ray bursts

abstract: Observations of gamma-ray bursts up to $z\sim 9$ are best suited to study the possible evolution of the Universe equation of state at intermediate redshifts. We apply the Combo-relation to a sample of 174 gamma ray bursts to investigate possible evidence of evolving dark energy parameter $w(z)$. We first build a gamma ray burst Hubble's diagram and then we estimate the set ($\Omega_m$, $\Omega_{\Lambda}$) in the framework of flat and non-flat $\Lambda$CDM paradigm. We then get bounds over the $w$CDM model, where $w$ is thought to evolve with redshift, adopting two priors over the Hubble constant in tension at $4.4$-$\sigma$, i.e. $H_0=(67.4\pm0.5)$ km/s/Mpc and $H_0=(74.03\pm1.42)$ km/s/Mpc. We show our new sample provides tighter constraints on $\Omega_m$ since at $z\leq1.2$ we see that $w(z)$ agrees within 1$\sigma$ with the standard value $w=-1$. The situation is the opposite at larger $z$, where gamma ray bursts better fix $w(z)$ that seems to deviate from $w=-1$ at $2$-$\sigma$ and $4$-$\sigma$ level, depending on the redshift bins. In particular, we investigate the $w(z)$ evolution through a piecewise formulation over seven redshift intervals. From our fitting procedure we show that at $z\geq 1.2$ the case $w<-1$ cannot be fully excluded, indicating that dark energy's influence is not negligible at larger $z$. We confirm the Combo relation as a powerful tool to investigate cosmological evolution of dark energy. Future space missions will significantly enrich the gamma ray burst database even at smaller redshifts, improving de facto the results discussed in this paper.


title: On anisotropy and inhomogeneity parameter estimation using traveltimes

abstract: We consider an anisotropic inhomogeneous model to simulate measured vertical-seismic-profile traveltimes. In this model, we assume that velocity increases linearly with depth and anisotropy is the result of elliptical velocity dependence. Using a series of sources in a line to a single receiver, we minimize the least-squares residual between measured and modelled traveltimes to estimate the anisotropy and inhomogeneity parameters of the subsurface. To verify the approach, we construct synthetic traveltime data for a one- and two-layer model and perform the traveltime inversion. We justify the convergence-ensuring specifications and model-parameter restrictions that are intrinsic to the parameter estimation. To determine the approach's practicality, we assess the reliability of results under the influence of noise. From this assessment, we discern the noise threshold for both models and determine that the noise restriction is severely restrictive for increasing model complexity. We estimate parameters, using the same methodology, for a real-data case and conclude with a discussion of results.


title: Non-Abelian Anyons and Some Cousins of the Arad-Herzog Conjecture

abstract: Long ago, Arad and Herzog (AH) conjectured that, in finite simple groups, the product of two conjugacy classes of length greater than one is never a single conjugacy class. We discuss implications of this conjecture for non-abelian anyons in 2+1-dimensional discrete gauge theories. Thinking in this way also suggests closely related statements about finite simple groups and their associated discrete gauge theories. We prove these statements and provide some physical intuition for their validity. Finally, we explain that the lack of certain dualities in theories with non-abelian finite simple gauge groups provides a non-trivial check of the AH conjecture.

categories: hep-th cond-mat.str-el math-ph math.MP math.QA


title: Input-driven automata on well-nested infinite strings: automata-theoretic and topological properties

abstract: Automata operating on strings of nested brackets, known as input-driven pushdown automata, and as visibly pushdown automata, have been studied since the 1980s. They were extended to the case of infinite strings by Alur and Madhusudan ("Visibly pushdown languages", STOC 2004). This paper investigates the properties of these automata under the assumption that a given infinite string is always well-nested. This restriction enables a complete characterization of the corresponding $\omega$-languages in terms of classical $\omega$-regular languages and input-driven automata on finite strings. This characterization leads to a determinization result for these automata, as well as to the first results on their Wadge degrees.


title: Infinite-range correlations in 1D systems with continuous symmetry

abstract: O(N)-symmetric lattice scalar fields are considered, coupled to a chemical potential and source terms. At the example of N=2, it is shown that such systems can even in (0+1) dimensions produce infinite-range correlations and a non-zero vacuum expectation value whenever the chemical potential assumes certain discrete values. Different mechanisms for how the latter phenomena are produced are discussed, depending on whether source terms are set to zero or non-zero values. In the conclusion, the relation of these findings to the Mermin-Wagner theorem is addressed.


title: Modeling Updates of Scholarly Webpages Using Archived Data

abstract: The vastness of the web imposes a prohibitive cost on building large-scale search engines with limited resources. Crawl frontiers thus need to be optimized to improve the coverage and freshness of crawled content. In this paper, we propose an approach for modeling the dynamics of change in the web using archived copies of webpages. To evaluate its utility, we conduct a preliminary study on the scholarly web using 19,977 seed URLs of authors' homepages obtained from their Google Scholar profiles. We first obtain archived copies of these webpages from the Internet Archive (IA), and estimate when their actual updates occurred. Next, we apply maximum likelihood to estimate their mean update frequency ($\lambda$) values. Our evaluation shows that $\lambda$ values derived from a short history of archived data provide a good estimate for the true update frequency in the short-term, and that our method provides better estimations of updates at a fraction of resources compared to the baseline models. Based on this, we demonstrate the utility of archived data to optimize the crawling strategy of web crawlers, and uncover important challenges that inspire future research directions.


title: Ideal approximation in $n$-angulated categories

abstract: In this paper, we study ideal approximation theory associated to almost $n$-exact structures in extension closed subcategories of $n$-angulated categories. For $n=3$, an $n$-angulated category is nothing but a classical triangulated category. Moreover, since every exact category can be embedded as an extension closed subcategory of a triangulated category, therefore, our approach extends the recent ideal approximations theories developed by Fu, Herzog et al. for exact categories and by Breaz and Modoi for triangulated categories.


title: An Asynchronous Maximum Independent Set Algorithm by Myopic Luminous Robots on Grids

abstract: We consider the problem of constructing a maximum independent set with mobile myopic luminous robots on a grid network whose size is finite but unknown to the robots. In this setting, the robots enter the grid network one-by-one from a corner of the grid, and they eventually have to be disseminated on the grid nodes so that the occupied positions form a maximum independent set of the network. We assume that robots are asynchronous, anonymous, silent, and they execute the same distributed algorithm. In this paper, we propose two algorithms: The first one assumes the number of light colors of each robot is three and the visible range is two, but uses additional strong assumptions of port-numbering for each node. To delete this assumption, the second one assumes the number of light colors of each robot is seven and the visible range is three. In both algorithms, the number of movements is $O(n(L+l))$ steps where $n$ is the number of nodes and $L$ and $l$ are the grid dimensions.


title: CompFeat: Comprehensive Feature Aggregation for Video Instance Segmentation

abstract: Video instance segmentation is a complex task in which we need to detect, segment, and track each object for any given video. Previous approaches only utilize single-frame features for the detection, segmentation, and tracking of objects and they suffer in the video scenario due to several distinct challenges such as motion blur and drastic appearance change. To eliminate ambiguities introduced by only using single-frame features, we propose a novel comprehensive feature aggregation approach (CompFeat) to refine features at both frame-level and object-level with temporal and spatial context information. The aggregation process is carefully designed with a new attention mechanism which significantly increases the discriminative power of the learned features. We further improve the tracking capability of our model through a siamese design by incorporating both feature similarities and spatial similarities. Experiments conducted on the YouTube-VIS dataset validate the effectiveness of proposed CompFeat. Our code will be available at https://github.com/SHI-Labs/CompFeat-for-Video-Instance-Segmentation.


title: A viscosity solution approach to regularity properties of the optimal value function

abstract: In this paper we analyze the optimal value function $v$ associated to a general parametric optimization problems via the theory of viscosity solutions. The novelty is that we obtain regularity properties of $v$ by showing that it is a viscosity solution to a set of first-order equations. As a consequence, in Banach spaces, we provide sufficient conditions for local and global Lipschitz properties of $v$. We also derive, in finite dimensions, conditions for optimality through a comparison principle. Finally, we study the relationship between viscosity and Clarke generalized solutions to get further differentiability properties of $v$ in Euclidean spaces.


title: Low-Latency Asynchronous Logic Design for Inference at the Edge

abstract: Modern internet of things (IoT) devices leverage machine learning inference using sensed data on-device rather than offloading them to the cloud. Commonly known as inference at-the-edge, this gives many benefits to the users, including personalization and security. However, such applications demand high energy efficiency and robustness. In this paper we propose a method for reduced area and power overhead of self-timed early-propagative asynchronous inference circuits, designed using the principles of learning automata. Due to natural resilience to timing as well as logic underpinning, the circuits are tolerant to variations in environment and supply voltage whilst enabling the lowest possible latency. Our method is exemplified through an inference datapath for a low power machine learning application. The circuit builds on the Tsetlin machine algorithm further enhancing its energy efficiency. Average latency of the proposed circuit is reduced by 10x compared with the synchronous implementation whilst maintaining similar area. Robustness of the proposed circuit is proven through post-synthesis simulation with 0.25 V to 1.2 V supply. Functional correctness is maintained and latency scales with gate delay as voltage is decreased.


title: How to Deploy Intelligent Reflecting Surfaces in Wireless Network: BS-side, User-side, or Both Sides?

abstract: The performance of wireless communication systems is fundamentally constrained by the random and uncontrollable wireless channel. By leveraging the recent advance in digitally-controlled metasurface, intelligent reflecting surface (IRS) has emerged as a promising solution to enhance the wireless network performance by smartly reconfiguring the radio propagation environment. Despite the substantial research on IRS-aided communications, this article addresses the important issue of how to deploy IRSs in a wireless network to achieve its optimum performance. We first compare the two conventional strategies of deploying IRS at the side of base station or distributed users in terms of various communication performance metrics, and then propose a new hybrid IRS deployment strategy by combining their complementary advantages. Moreover, the main challenges in optimizing IRS deployment as well as their promising solutions are discussed. A case study is also presented to compare the performance of different IRS deployment strategies and draw useful insights for practical design.


title: Black-box Model Inversion Attribute Inference Attacks on Classification Models

abstract: Increasing use of ML technologies in privacy-sensitive domains such as medical diagnoses, lifestyle predictions, and business decisions highlights the need to better understand if these ML technologies are introducing leakages of sensitive and proprietary training data. In this paper, we focus on one kind of model inversion attacks, where the adversary knows non-sensitive attributes about instances in the training data and aims to infer the value of a sensitive attribute unknown to the adversary, using oracle access to the target classification model. We devise two novel model inversion attribute inference attacks -- confidence modeling-based attack and confidence score-based attack, and also extend our attack to the case where some of the other (non-sensitive) attributes are unknown to the adversary. Furthermore, while previous work uses accuracy as the metric to evaluate the effectiveness of attribute inference attacks, we find that accuracy is not informative when the sensitive attribute distribution is unbalanced. We identify two metrics that are better for evaluating attribute inference attacks, namely G-mean and Matthews correlation coefficient (MCC). We evaluate our attacks on two types of machine learning models, decision tree and deep neural network, trained with two real datasets. Experimental results show that our newly proposed attacks significantly outperform the state-of-the-art attacks. Moreover, we empirically show that specific groups in the training dataset (grouped by attributes, e.g., gender, race) could be more vulnerable to model inversion attacks. We also demonstrate that our attacks' performances are not impacted significantly when some of the other (non-sensitive) attributes are also unknown to the adversary.


title: The Neural Coding Framework for Learning Generative Models

abstract: Neural generative models can be used to learn complex probability distributions from data, to sample from them, and to produce probability density estimates. We propose a computational framework for developing neural generative models inspired by the theory of predictive processing in the brain. According to predictive processing theory, the neurons in the brain form a hierarchy in which neurons in one level form expectations about sensory inputs from another level. These neurons update their local models based on differences between their expectations and the observed signals. In a similar way, artificial neurons in our generative models predict what neighboring neurons will do, and adjust their parameters based on how well the predictions matched reality. In this work, we show that the neural generative models learned within our framework perform well in practice across several benchmark datasets and metrics and either remain competitive with or significantly outperform other generative models with similar functionality (such as the variational auto-encoder).


title: Ultrasonic Oscillatory Two-phase Flow in Microchannels

abstract: Experimental and numerical investigations are performed to provide an assessment of the transport behavior of an ultrasonic oscillatory two-phase flow in a microchannel. The work is inspired by the flow observed in an innovative ultrasonic fabric drying device using a piezoelectric bimorph transducer with microchannels, where a water-air two-phase flow is transported by harmonically oscillating microchannels. The flow exhibits highly unsteady behavior as the water and air interact with each other during the vibration cycles, making it significantly different from the well-studied steady flow in microchannels. The computational fluid dynamics (CFD) modeling is realized by combing the turbulence Reynolds-averaged Navier-Stokes (RANS) k-${\omega}$ model with the phase-field method to resolve the dynamics of the two-phase flow. The numerical results are qualitatively validated by the experiment. Through parametric studies, we specifically examined the effects of vibration conditions (i.e., frequency and amplitude), microchannel taper angle, and wall surface contact angle (i.e., wettability) on the flow rate through the microchannel. The results will advance the potential applications where oscillatory or general unsteady microchannel two-phase flows may be present.


title: Quantum Keyless Privacy vs. Quantum Key Distribution for Space Links

abstract: We study information theoretical security for space links between a satellite and a ground-station. Quantum key distribution (QKD) is a well established method for information theoretical secure communication, giving the eavesdropper unlimited access to the channel and technological resources only limited by the laws of quantum physics. But QKD for space links is extremely challenging, the achieved key rates are extremely low, and day-time operating impossible. However, eavesdropping on a channel in free-space without being noticed seems complicated, given the constraints imposed by orbital mechanics. If we also exclude eavesdropper's presence in a given area around the emitter and receiver, we can guarantee that he has only access to a fraction of the optical signal. In this setting, quantum keyless private (direct) communication based on the wiretap channel model is a valid alternative to provide information theoretical security. Like for QKD, we assume the legitimate users to be limited by state-of-the-art technology, while the potential eavesdropper is only limited by physical laws: physical measurement (Helstrom detector) and quantum electrodynamics (Holevo bound). Nevertheless, we demonstrate information theoretical secure communication rates (positive keyless private capacity) over a classical-quantum wiretap channel using on-off-keying of coherent states. We present numerical results for a setting equivalent to the recent experiments with the Micius satellite and compare them to the fundamental limit for the secret key rate of QKD. We obtain much higher rates compared with QKD with exclusion area of less than 13 meters for Low Earth Orbit (LEO) satellites. Moreover, we show that the wiretap channel quantum keyless privacy is much less sensitive to noise and signal dynamics and daytime operation is possible.


title: PMP-Net: Point Cloud Completion by Learning Multi-step Point Moving Paths

abstract: The task of point cloud completion aims to predict the missing part for an incomplete 3D shape. A widely used strategy is to generate a complete point cloud from the incomplete one. However, the unordered nature of point clouds will degrade the generation of high-quality 3D shapes, as the detailed topology and structure of discrete points are hard to be captured by the generative process only using a latent code. In this paper, we address the above problem by reconsidering the completion task from a new perspective, where we formulate the prediction as a point cloud deformation process. Specifically, we design a novel neural network, named PMP-Net, to mimic the behavior of an earth mover. It moves each point of the incomplete input to complete the point cloud, where the total distance of point moving paths (PMP) should be shortest. Therefore, PMP-Net predicts a unique point moving path for each point according to the constraint of total point moving distances. As a result, the network learns a strict and unique correspondence on point-level, which can capture the detailed topology and structure relationships between the incomplete shape and the complete target, and thus improves the quality of the predicted complete shape. We conduct comprehensive experiments on Completion3D and PCN datasets, which demonstrate our advantages over the state-of-the-art point cloud completion methods.


title: Equilibrium states which are not Gibbs measure on hereditary subshifts

abstract: In this paper, we consider which kind of invariant measure on hereditary subshifts is not Gibbs measure. For the hereditary closure of a subshift $(X,S)$, we prove that in some situation, the invariant measure $\nu*B_{p,1-p}$ can not be a Gibbs measure where $\nu$ is an invariant measure on $(X,S)$. As an application, we show that for some $\B$-free subshifts, the unique equilibrium state $\nu_\eta*B_{p,1-p}$ is not Gibbs measure.


title: Evidence of topological nodal lines and surface states in the centrosymmetric superconductor SnTaS2

abstract: The discovery of signatures of topological superconductivity in superconducting bulk materials with topological surface states has attracted intensive research interests recently. Utilizing angle-resolved photoemission spectroscopy and first-principles calculations, here, we demonstrate the existence of topological nodal-line states and drumheadlike surface states in centrosymmetric superconductor SnTaS2, which is a type-II superconductor with a critical transition temperature of about 3 K. The valence bands from Ta 5d orbitals and the conduction bands from Sn 5p orbitals cross each other, forming two nodal lines in the vicinity of the Fermi energy without the inclusion of spin-orbit coupling (SOC), protected by the spatial-inversion symmetry and time-reversal symmetry. The nodal lines are gapped out by SOC. The drumheadlike surface states, the typical characteristics in nodal-line semimetals, are quite visible near the Fermi level. Our findings indicate that SnTaS2 offers a promising platform for exploring the exotic properties of the topological nodal-line fermions and gives a help to study topological superconductivity.


title: MLS: A Large-Scale Multilingual Dataset for Speech Research

abstract: This paper introduces Multilingual LibriSpeech (MLS) dataset, a large multilingual corpus suitable for speech research. The dataset is derived from read audiobooks from LibriVox and consists of 8 languages, including about 44.5K hours of English and a total of about 6K hours for other languages. Additionally, we provide Language Models (LM) and baseline Automatic Speech Recognition (ASR) models and for all the languages in our dataset. We believe such a large transcribed dataset will open new avenues in ASR and Text-To-Speech (TTS) research. The dataset will be made freely available for anyone at http://www.openslr.org.


title: Some nonlinear inverse relations of Bell polynomials via the Lagrange inversion formula

abstract: In this paper, by means of the classical Lagrange inversion formula, we establish a general nonlinear inverse relations which is a partial solution to the problem proposed in the paper [J. Wang, Nonlinear inverse relations for the Bell polynomials via the Lagrange inversion formula, J. Integer Seq., Vol. 22 (2019), Article 19.3.8. (https://cs.uwaterloo.ca/journals/JIS/VOL22/Wang/wang53.pdf). As applications of this inverse relation, we not only find a short proof of another nonlinear inverse relation due to Birmajer et al., but also set up a few convolution identities concerning the Mina polynomials.


title: Mapping Network States Using Connectivity Queries

abstract: Can we infer all the failed components of an infrastructure network, given a sample of reachable nodes from supply nodes? One of the most critical post-disruption processes after a natural disaster is to quickly determine the damage or failure states of critical infrastructure components. However, this is non-trivial, considering that often only a fraction of components may be accessible or observable after a disruptive event. Past work has looked into inferring failed components given point probes, i.e. with a direct sample of failed components. In contrast, we study the harder problem of inferring failed components given partial information of some `serviceable' reachable nodes and a small sample of point probes, being the first often more practical to obtain. We formulate this novel problem using the Minimum Description Length (MDL) principle, and then present a greedy algorithm that minimizes MDL cost effectively. We evaluate our algorithm on domain-expert simulations of real networks in the aftermath of an earthquake. Our algorithm successfully identify failed components, especially the critical ones affecting the overall system performance.


title: Vehicular Cooperative Perception Through Action Branching and Federated Reinforcement Learning

abstract: Cooperative perception plays a vital role in extending a vehicle's sensing range beyond its line-of-sight. However, exchanging raw sensory data under limited communication resources is infeasible. Towards enabling an efficient cooperative perception, vehicles need to address the following fundamental question: What sensory data needs to be shared?, at which resolution?, and with which vehicles? To answer this question, in this paper, a novel framework is proposed to allow reinforcement learning (RL)-based vehicular association, resource block (RB) allocation, and content selection of cooperative perception messages (CPMs) by utilizing a quadtree-based point cloud compression mechanism. Furthermore, a federated RL approach is introduced in order to speed up the training process across vehicles. Simulation results show the ability of the RL agents to efficiently learn the vehicles' association, RB allocation, and message content selection while maximizing vehicles' satisfaction in terms of the received sensory information. The results also show that federated RL improves the training process, where better policies can be achieved within the same amount of time compared to the non-federated approach.


title: On Query-to-Communication Lifting for Adversary Bounds

abstract: We investigate query-to-communication lifting theorems for models related to the quantum adversary bounds. Our results are as follows: 1. We show that the classical adversary bound lifts to a lower bound on randomized communication complexity with a constant-sized gadget. We also show that the classical adversary bound is a strictly stronger lower bound technique than the previously-lifted measure known as critical block sensitivity, making our lifting theorem one of the strongest lifting theorems for randomized communication complexity using a constant-sized gadget. 2. Turning to quantum models, we show a connection between lifting theorems for quantum adversary bounds and secure 2-party quantum computation in a certain "honest-but-curious" model. Under the assumption that such secure 2-party computation is impossible, we show that a simplified version of the positive-weight adversary bound lifts to a quantum communication lower bound using a constant-sized gadget. We also give an unconditional lifting theorem which lower bounds bounded-round quantum communication protocols. 3. Finally, we give some new results in query complexity. We show that the classical adversary and the positive-weight quantum adversary are quadratically related. We also show that the positive-weight quantum adversary is never larger than the square of the approximate degree. Both relations hold even for partial functions.


title: Nonlinear extensions of gravitating dyons: from NUT wormholes to Taub-Bolt instantons

abstract: Recent work has shown the existence of a unique nonlinear extension of electromagnetism which preserves conformal symmetry and allows for the freedom of duality rotations. Moreover, black holes and gravitational waves have been found to exist in this nonlinearly extended electrovacuum. We generalise these dyonic black holes in two major ways: with the relaxation of their horizon topology and with the inclusion of magnetic mass. Motivated by recent attention to traversable wormholes, we use this new family of Taub-NUT spaces to construct AdS wormholes. We explore some thermodynamic features by using a semi-classical approach. Our results show that a phase transition between the nut and bolt configurations arises in a similar way to the Maxwellian case.


title: Boosting Image Super-Resolution Via Fusion of Complementary Information Captured by Multi-Modal Sensors

abstract: Image Super-Resolution (SR) provides a promising technique to enhance the image quality of low-resolution optical sensors, facilitating better-performing target detection and autonomous navigation in a wide range of robotics applications. It is noted that the state-of-the-art SR methods are typically trained and tested using single-channel inputs, neglecting the fact that the cost of capturing high-resolution images in different spectral domains varies significantly. In this paper, we attempt to leverage complementary information from a low-cost channel (visible/depth) to boost image quality of an expensive channel (thermal) using fewer parameters. To this end, we first present an effective method to virtually generate pixel-wise aligned visible and thermal images based on real-time 3D reconstruction of multi-modal data captured at various viewpoints. Then, we design a feature-level multispectral fusion residual network model to perform high-accuracy SR of thermal images by adaptively integrating co-occurrence features presented in multispectral images. Experimental results demonstrate that this new approach can effectively alleviate the ill-posed inverse problem of image SR by taking into account complementary information from an additional low-cost channel, significantly outperforming state-of-the-art SR approaches in terms of both accuracy and efficiency.


title: From syntactic structure to semantic relationship: hypernym extraction from definitions by recurrent neural networks using the part of speech information

abstract: The hyponym-hypernym relation is an essential element in the semantic network. Identifying the hypernym from a definition is an important task in natural language processing and semantic analysis. While a public dictionary such as WordNet works for common words, its application in domain-specific scenarios is limited. Existing tools for hypernym extraction either rely on specific semantic patterns or focus on the word representation, which all demonstrate certain limitations.


title: Stop-and-go locomotion of superwalking droplets

abstract: Vertically vibrating a liquid bath at two frequencies, $f$ and $f/2$, having a relative phase difference $\Delta\phi_0$ can give rise to self-propelled superwalking droplets on the liquid surface. We have numerically investigated such superwalking droplets with the two driving frequencies slightly detuned, resulting in the phase difference $\Delta\phi(t)$ varying linearly with time. We predict the emergence of stop-and-go motion of droplets, consistent with experimental observations [Valani et al. Phys. Rev. Lett. {\bf 123}, 024503 (2019)]. Our simulations in the parameter space spanned by the droplet size and the rate of traversal of the phase difference uncover three different types of droplet motion: back-and-forth, forth-and-forth, and irregular stop-and-go motion. Our findings lay a foundation for further studies of dynamically driven droplets, whereby the droplet's motion may be guided by engineering arbitrary time-dependent functions $\Delta\phi(t)$.


title: Towards Generalized Implementation of Wasserstein Distance in GANs

abstract: Wasserstein GANs (WGANs), built upon the Kantorovich-Rubinstein (KR) duality of Wasserstein distance, is one of the most theoretically sound GAN models. However, in practice it does not always outperform other variants of GANs. This is mostly due to the imperfect implementation of the Lipschitz condition required by the KR duality. Extensive work has been done in the community with different implementations of the Lipschitz constraint, which, however, is still hard to satisfy the restriction perfectly in practice. In this paper, we argue that the strong Lipschitz constraint might be unnecessary for optimization. Instead, we take a step back and try to relax the Lipschitz constraint. Theoretically, we first demonstrate a more general dual form of the Wasserstein distance called the Sobolev duality, which relaxes the Lipschitz constraint but still maintains the favorable gradient property of the Wasserstein distance. Moreover, we show that the KR duality is actually a special case of the Sobolev duality. Based on the relaxed duality, we further propose a generalized WGAN training scheme named Sobolev Wasserstein GAN (SWGAN), and empirically demonstrate the improvement of SWGAN over existing methods with extensive experiments.


title: Expectation Values from the Single-Layer Quantum Approximate Optimization Algorithm on Ising Problems

abstract: We report on the energy-expectation-value landscapes produced by the single-layer ($p=1$) Quantum Approximate Optimization Algorithm (QAOA) when being used to solve Ising problems. The landscapes are obtained using an analytical formula that we derive. The formula allows us to predict the landscape for any given Ising problem instance and consequently predict the optimal QAOA parameters for heuristically solving that instance using the single-layer QAOA. We have validated our analytical formula by showing that it accurately reproduces the landscapes published in recent experimental reports. We then applied our methods to address the question: how well is the single-layer QAOA able to solve large benchmark problem instances? We used our analytical formula to calculate the optimal energy-expectation values for benchmark MAX-CUT problems containing up to $7\,000$ vertices and $41\,459$ edges. We also calculated the optimal energy expectations for general Ising problems with up to $100\,000$ vertices and $150\,000$ edges. Our results provide an estimate for how well the single-layer QAOA may work when run on a quantum computer with thousands of qubits. In addition to providing performance estimates when optimal angles are used, we are able to use our analytical results to investigate the difficulties one may encounter when running the QAOA in practice for different classes of Ising instances. We find that depending on the parameters of the Ising Hamiltonian, the expectation-value landscapes can be rather complex, with sharp features that necessitate highly accurate rotation gates in order for the QAOA to be run optimally on quantum hardware. We also present analytical results that explain some of the qualitative landscape features that are observed numerically.


title: A General Conditional BER Expression of Rectangular QAM in the Presence of Phase Noise

abstract: In this paper, we newly present a closed-form bit-error rate (BER) expression for an $M$-ary pulse-amplitude modulation ($M$-PAM) over additive white Gaussian noise (AWGN) channels by analytically characterizing the bit decision regions and positions. The obtained expression is then used to derive the conditional BER of a rectangular quadrature amplitude modulation (QAM) for a given value of phase noise. Numerical results show that the impact of phase noise on the conditional BER performance is proportional to the constellation size. Moreover, it is observed that given a constellation size, the square QAM achieves the lowest phase noise-induced performance loss compared to other rectangular constellations.


title: A Multi-dimensional Study of Requirements Changes in Agile Software Development Projects

abstract: Agile processes are now widely practiced by software engineering (SE) teams, and the agile manifesto claims that agile methods support responding to changes well. However, no study appears to have researched whether this is accurate in reality. Requirements changes (RCs) are inevitable in any software development environment, and we wanted to acquire a holistic picture of how RCs occur and are handled in agile SE teams in practice. We also wanted to know whether responding to changes is the only or a main reason for software teams to use agile in their projects. To do this we conducted a mixed-methods research study which comprised of interviews of 10 agile practitioners from New Zealand and Australia, a literature review, and an in-depth survey with the participation of 40 agile practitioners world-wide. Through this study we identified different types of RCs, their origination including reasons for origination, forms, sources, carriers, and events at which they originate, challenging nature, and finally whether agile helps to respond to changes or not. We also found that agile teams seem to be reluctant to accept RCs, and therefore, they use several mitigation strategies. Additionally, as they accept the RCs, they use a variety of techniques to handle them. Furthermore, we found that agile allowing better response to RCs is only a minor reason for practicing agile. Several more important reasons included being able to deliver the product in a shorter period and increasing team productivity. Practitioners stated this improves the agile team environment and thus are the real motivators for teams to practice agile. Finally, we provide a set of practical recommendations that can be used to better handle RCs effectively in agile software development environments.


title: 3D Grid-Based Monte Carlo Code for Radiative Transfer through Raman and Rayleigh Scattering with Atomic Hydrogen -- STaRS

abstract: Emission features formed through Raman scattering with atomic hydrogen provide unique and crucial information to probe the distribution and kinematics of a thick neutral region illuminated by a strong far UV emission source. We introduce a new 3 dimensional Monte-Carlo code in order to describe the radiative transfer of line photons that are subject to Raman and Rayleigh scattering with atomic hydrogen. In this code entitled "${\bf S}$ejong Radiative ${\bf T}$r${\bf a}$nsfer through ${\bf R}$aman and Rayleigh ${\bf S}$cattering (${\it STaRS}$), each photon is traced until escape with a tag attached carrying information including the position, direction, wavelength, and polarization. The thick neutral scattering region is divided into numerous cells with each cell being characterized by its velocity and density, which ensures huge flexibility of the code in analyzing Raman-scattered features formed in a neutral region with complicated kinematics and density distribution. As a test of the code, we revisit the formation of Balmer wings through Raman scattering of far UV continuum near Ly$\beta$ and Ly$\gamma$ in a static neutral region. An additional check is made to investigate Raman scattering of O VI in an expanding neutral medium. We find fairly good agreement of our results with previous works, demonstrating the capability of dealing with radiative transfer modeling that can be applied to spectropolarimetric imaging observations of various objects including symbiotic stars, young planetary nebulae, and active galactic nuclei.


title: Multipatch Discontinuous Galerkin IGA for the Biharmonic Problem On Surfaces

abstract: We present the analysis of interior penalty discontinuous Galerkin Isogeometric Analysis (dGIGA) for the biharmonic problem on orientable surfaces $\Omega \subset \mathbb{R}^3.$ Here, we consider a surface consisting of several non-overlapping patches as typical in multipatch dGIGA. Due to the non-overlapping nature of the patches, we construct NURBS approximation spaces which are discontinuous across the patch interfaces via a penalty scheme. By an appropriate discrete norm, we present \textit{a priori} error estimates for the non-symmetric, symmetric and semi-symmetric interior penalty methods. Finally, we confirm our theoritical results with numerical experiments.


title: Deep Learning Based Signal Enhancement of Low-Resolution Accelerometer for Fall Detection Systems

abstract: In the last two decades, fall detection (FD) systems have been developed as a popular assistive technology. Such systems automatically detect critical fall events and immediately alert medical professionals or caregivers. To support long-term FD services, various power-saving strategies have been implemented. Among them, a reduced sampling rate is a common approach for an energy-efficient system in the real-world. However, the performance of FD systems is diminished owing to low-resolution (LR) accelerometer signals. To improve the detection accuracy with LR accelerometer signals, several technical challenges must be considered, including misalignment, mismatch of effective features, and the degradation effects. In this work, a deep-learning-based accelerometer signal enhancement (ASE) model is proposed to improve the detection performance of LR-FD systems. This proposed model reconstructs high-resolution (HR) signals from the LR signals by learning the relationship between the LR and HR signals. The results show that the FD system using support vector machine and the proposed ASE model at an extremely low sampling rate (sampling rate < 2 Hz) achieved 97.34% and 90.52% accuracies in the SisFall and FallAllD datasets, respectively, while those without ASE models only achieved 95.92% and 87.47% accuracies in the SisFall and FallAllD datasets, respectively. This study demonstrates that the ASE model helps the FD systems tackle the technical challenges of LR signals and achieve better detection performance.


title: A Note on John Simplex with Positive Dilation

abstract: We prove a Johns theorem for simplices in $R^d$ with positive dilation factor $d+2$, which improves the previously known $d^2$ upper bound. This bound is tight in view of the $d$ lower bound. Furthermore, we give an example that $d$ isn't the optimal lower bound when $d=2$. Our results answered both questions regarding Johns theorem for simplices with positive dilation raised by \cite{leme2020costly}.


title: Data-driven approximation for feasible regions in nonlinear model predictive control

abstract: This paper develops a data-driven learning framework for approximating the feasible region and invariant set of a nonlinear system under the nonlinear Model Predictive Control (MPC) scheme. The developed approach is based on the feasibility information of a point-wise data set using low-discrepancy sequence. Using kernel-based Support Vector Machine (SVM) learning, we construct outer and inner approximations of the boundary of the feasible region and then, obtain the feasible region of MPC for the system. Furthermore, we extend our approach to the perturbed nonlinear systems using set-theoretic method. Finally, an illustrative numerical example is provided to show the effectiveness of the proposed approach.


title: Learning Graph Neural Networks with Approximate Gradient Descent

abstract: The first provably efficient algorithm for learning graph neural networks (GNNs) with one hidden layer for node information convolution is provided in this paper. Two types of GNNs are investigated, depending on whether labels are attached to nodes or graphs. A comprehensive framework for designing and analyzing convergence of GNN training algorithms is developed. The algorithm proposed is applicable to a wide range of activation functions including ReLU, Leaky ReLU, Sigmod, Softplus and Swish. It is shown that the proposed algorithm guarantees a linear convergence rate to the underlying true parameters of GNNs. For both types of GNNs, sample complexity in terms of the number of nodes or the number of graphs is characterized. The impact of feature dimension and GNN structure on the convergence rate is also theoretically characterized. Numerical experiments are further provided to validate our theoretical analysis.


title: Prospects for 10^{-18} Instability Laser Referenced on Thermal Atomic Ensembles

abstract: A thermal atomic ensemble-based laser source with superior frequency stability is proposed that relies on the accumulated contributions from an abundance of nonzero-transverse-velocity atomic ensembles. Compared with the traditional case in which only atoms with near-zero transverse velocities are utilized, the amplitude of the optical Ramsey fringes for a thermal calcium beam can be dramatically enhanced by three orders of magnitude or more, thus, the signal-to-noise ratio can be improved 33-fold. Based on the recent results of atomic interferometry-based laser stabilization, a quantum projection noise-limited frequency instability less than 2E-17/tau^0.5 is feasible. Such an ultrastable laser has promising applications in diverse areas, including metrology and astronomy.


title: Rotating cosmological cylindrical wormholes in GR and TEGR sourced by anisotropic fluids

abstract: Given an anisotropic fluid source, we determine in closed forms, upon solving the field equations of general relativity (GR) and teleparallel gravity (TEGR) coupled to a cosmological constant, cylindrically symmetric four-dimensional cosmological rotating wormholes, satisfying all local energy conditions, and cosmological rotating solutions with two axes of symmetry at finite proper distance. These solutions have the property that their angular velocity is proportional to the cosmological constant.


title: A U-statistic-based test of treatment effect heterogeneity

abstract: Many studies include a goal of determining whether there is treatment effect heterogeneity across different subpopulations. In this paper, we propose a U-statistic-based non-parametric test of the null hypothesis that the treatment effects are identical in different subgroups. The proposed test provides more power than the standard parametric test when the underlying distribution assumptions of the latter are violated. We apply the method to data from an economic study of program effectiveness and find that there is treatment effect heterogeneity in different subpopulations.


title: Probabilistic Latent Factor Model for Collaborative Filtering with Bayesian Inference

abstract: Latent Factor Model (LFM) is one of the most successful methods for Collaborative filtering (CF) in the recommendation system, in which both users and items are projected into a joint latent factor space. Base on matrix factorization applied usually in pattern recognition, LFM models user-item interactions as inner products of factor vectors of user and item in that space and can be efficiently solved by least square methods with optimal estimation. However, such optimal estimation methods are prone to overfitting due to the extreme sparsity of user-item interactions. In this paper, we propose a Bayesian treatment for LFM, named Bayesian Latent Factor Model (BLFM). Based on observed user-item interactions, we build a probabilistic factor model in which the regularization is introduced via placing prior constraint on latent factors, and the likelihood function is established over observations and parameters. Then we draw samples of latent factors from the posterior distribution with Variational Inference (VI) to predict expected value. We further make an extension to BLFM, called BLFMBias, incorporating user-dependent and item-dependent biases into the model for enhancing performance. Extensive experiments on the movie rating dataset show the effectiveness of our proposed models by compared with several strong baselines.


title: Interpreting Deep Neural Networks with Relative Sectional Propagation by Analyzing Comparative Gradients and Hostile Activations

abstract: The clear transparency of Deep Neural Networks (DNNs) is hampered by complex internal structures and nonlinear transformations along deep hierarchies. In this paper, we propose a new attribution method, Relative Sectional Propagation (RSP), for fully decomposing the output predictions with the characteristics of class-discriminative attributions and clear objectness. We carefully revisit some shortcomings of backpropagation-based attribution methods, which are trade-off relations in decomposing DNNs. We define hostile factor as an element that interferes with finding the attributions of the target and propagate it in a distinguishable way to overcome the non-suppressed nature of activated neurons. As a result, it is possible to assign the bi-polar relevance scores of the target (positive) and hostile (negative) attributions while maintaining each attribution aligned with the importance. We also present the purging techniques to prevent the decrement of the gap between the relevance scores of the target and hostile attributions during backward propagation by eliminating the conflicting units to channel attribution map. Therefore, our method makes it possible to decompose the predictions of DNNs with clearer class-discriminativeness and detailed elucidations of activation neurons compared to the conventional attribution methods. In a verified experimental environment, we report the results of the assessments: (i) Pointing Game, (ii) mIoU, and (iii) Model Sensitivity with PASCAL VOC 2007, MS COCO 2014, and ImageNet datasets. The results demonstrate that our method outperforms existing backward decomposition methods, including distinctive and intuitive visualizations.


title: Relativistic perfect fluids near Kasner singularities

abstract: We establish the existence of a stable family of solutions to the Euler equations on Kasner backgrounds near the singularity with the full expected asymptotic data degrees of freedom and no symmetry or isotropy restrictions. Existence is achieved through transforming the Euler equations into the form of a symmetric hyperbolic Fuchsian system followed by an application of a new existence theory for the singular initial value problem. Stability is shown to follow from the existence theory for the (regular) global initial value problem for Fuchsian systems that was developed in arXiv:1907.04071. In fact, for each solution in the family, we prove the existence of an open set of nearby solutions with the same qualitative asymptotics and show that any such perturbed solution agrees again with another solution of the singular initial value problem. All our results hold in the regime where the speed of sound of the fluid is large in comparison to all Kasner exponents. This is interpreted as the regime of stable fluid asymptotics near Kasner big bang singularities.


title: Euclidean-Norm-Induced Schatten-p Quasi-Norm Regularization for Low-Rank Tensor Completion and Tensor Robust Principal Component Analysis

abstract: The nuclear norm and Schatten-$p$ quasi-norm are popular rank proxies in low-rank matrix recovery. However, computing the nuclear norm or Schatten-$p$ quasi-norm of a tensor is hard in both theory and practice, hindering their application to low-rank tensor completion (LRTC) and tensor robust principal component analysis (TRPCA). In this paper, we propose a new class of tensor rank regularizers based on the Euclidean norms of the CP component vectors of a tensor and show that these regularizers are monotonic transformations of tensor Schatten-$p$ quasi-norm. This connection enables us to minimize the Schatten-$p$ quasi-norm in LRTC and TRPCA implicitly via the component vectors. The method scales to big tensors and provides an arbitrarily sharper rank proxy for low-rank tensor recovery compared to the nuclear norm. On the other hand, we study the generalization abilities of LRTC with the Schatten-$p$ quasi-norm regularizer and LRTC with the proposed regularizers. The theorems show that a relatively sharper regularizer leads to a tighter error bound, which is consistent with our numerical results. Particularly, we prove that for LRTC with Schatten-$p$ quasi-norm regularizer on $d$-order tensors, $p=1/d$ is always better than any $p>1/d$ in terms of the generalization ability. We also provide a recovery error bound to verify the usefulness of small $p$ in the Schatten-$p$ quasi-norm for TRPCA. Numerical results on synthetic data and real data demonstrate the effectiveness of the regularization methods and theorems.


title: MFST: A Python OpenFST Wrapper With Support for Custom Semirings and Jupyter Notebooks

abstract: This paper introduces mFST, a new Python library for working with Finite-State Machines based on OpenFST. mFST is a thin wrapper for OpenFST and exposes all of OpenFST's methods for manipulating FSTs. Additionally, mFST is the only Python wrapper for OpenFST that exposes OpenFST's ability to define a custom semirings. This makes mFST ideal for developing models that involve learning the weights on a FST or creating neuralized FSTs. mFST has been designed to be easy to get started with and has been previously used in homework assignments for a NLP class as well in projects for integrating FSTs and neural networks. In this paper, we exhibit mFST API and how to use mFST to build a simple neuralized FST with PyTorch.


title: Selective Pseudo-Labeling with Reinforcement Learning for Semi-Supervised Domain Adaptation

abstract: Recent domain adaptation methods have demonstrated impressive improvement on unsupervised domain adaptation problems. However, in the semi-supervised domain adaptation (SSDA) setting where the target domain has a few labeled instances available, these methods can fail to improve performance. Inspired by the effectiveness of pseudo-labels in domain adaptation, we propose a reinforcement learning based selective pseudo-labeling method for semi-supervised domain adaptation. It is difficult for conventional pseudo-labeling methods to balance the correctness and representativeness of pseudo-labeled data. To address this limitation, we develop a deep Q-learning model to select both accurate and representative pseudo-labeled instances. Moreover, motivated by large margin loss's capacity on learning discriminative features with little data, we further propose a novel target margin loss for our base model training to improve its discriminability. Our proposed method is evaluated on several benchmark datasets for SSDA, and demonstrates superior performance to all the comparison methods.


title: Hyperspectral Classification Based on Lightweight 3-D-CNN With Transfer Learning

abstract: Recently, hyperspectral image (HSI) classification approaches based on deep learning (DL) models have been proposed and shown promising performance. However, because of very limited available training samples and massive model parameters, DL methods may suffer from overfitting. In this paper, we propose an end-to-end 3-D lightweight convolutional neural network (CNN) (abbreviated as 3-D-LWNet) for limited samples-based HSI classification. Compared with conventional 3-D-CNN models, the proposed 3-D-LWNet has a deeper network structure, less parameters, and lower computation cost, resulting in better classification performance. To further alleviate the small sample problem, we also propose two transfer learning strategies: 1) cross-sensor strategy, in which we pretrain a 3-D model in the source HSI data sets containing a greater number of labeled samples and then transfer it to the target HSI data sets and 2) cross-modal strategy, in which we pretrain a 3-D model in the 2-D RGB image data sets containing a large number of samples and then transfer it to the target HSI data sets. In contrast to previous approaches, we do not impose restrictions over the source data sets, in which they do not have to be collected by the same sensors as the target data sets. Experiments on three public HSI data sets captured by different sensors demonstrate that our model achieves competitive performance for HSI classification compared to several state-of-the-art methods


title: Deterministic Scheduling for Low-latency Wireless Transmissions with Continuous Channel States

abstract: High energy efficiency and low latency have always been the significant goals pursued by the designer of wireless networks. One efficient way to achieve these goals is cross-layer scheduling based on the system states in different layers, such as queuing state and channel state. However, most existing works in cross-layer design focus on the scheduling based on the discrete channel state. Little attention is paid to considering the continuous channel state that is closer to the practical scenario. Therefore, in this paper, we study the optimal cross-layer scheduling policy on data transmission in a single communication link with continuous state-space of channel. The aim of scheduling is to minimize the average power for data transmission when the average delay is constrained. More specifically, the optimal cross-layer scheduling problem was formulated as a variational problem. Based on the variational problem, we show the optimality of the deterministic scheduling policy through a constructive proof. The optimality of the deterministic policy allows us to compress the searching space from the probabilistic policies to the deterministic policies.


title: Parton energy loss in a hard-soft factorized approach

abstract: An energetic parton travelling through a quark-gluon plasma loses energy via occasional hard scatterings and frequent softer interactions. Whether or not these interactions admit a perturbative description, the effect of the soft interactions can be factorized and encoded in a small number of transport coefficients. In this work, we present a hard-soft factorized parton energy loss model which combines a stochastic description of soft interactions and rate-based modelling of hard scatterings. We introduce a scale to estimate the regime of validity of the stochastic description, allowing for a better understanding of the model's applicability at small and large coupling. We study the energy and fermion-number cascade of energetic partons as an application of the model.


title: Connectedness percolation in the random sequential adsorption packings of elongated particles

abstract: Connectedness percolation phenomena in two-dimensional packings of elongated particles (discorectangles) were studied numerically. The packings were produced using random sequential adsorption (RSA) off-lattice model with preferential orientations of particles along a given direction. The partial ordering was characterized by order parameter $S$, with $S=0$ for completely disordered films (random orientation of particles) and $S=1$ for completely aligned particles along the horizontal direction $x$. The aspect ratio (length-to-width ratio) for the particles was varied within the range $\varepsilon \in [1;100]$. Analysis of connectivity was performed assuming a core-shell structure of particles. The value of $S$ affected the structure of packings, formation of long-range connectivity and electrical conductivity behavior. The effects were explained accounting for the competition between the particles' orientational degrees of freedom and the excluded volume effects. For aligned deposition, the anisotropy in electrical conductivity was observed and the values along alignment direction, $\sigma_x$, were larger than the values in perpendicular direction, $\sigma_y$. The anisotropy in localization of percolation threshold was also observed in finite sized packings, but it disappeared in the limit of infinitely large systems.


title: Topological and dynamical features of periodically driven spin ladders

abstract: Studies of periodically driven one-dimensional many-body systems have advanced our understanding of complex systems and stimulated promising developments in quantum simulation. It is hence of interest to go one step further, by investigating the topological and dynamical aspects of periodically driven spin ladders as clean quasi-one-dimensional systems with spin-spin interaction in the rung direction. Specifically, we find that such systems display subharmonic magnetization dynamics reminiscent to that of discrete time crystals (DTCs) at finite system sizes. Through the use of generalized Jordan-Wigner transformation, this feature can be attributed to presence of corner Majorana $\pi$ modes (MPMs), which are of topological origin, in the systems' equivalent Majorana lattice. Special emphasis is placed on how the coupling in the rung direction of the ladder prevents degeneracy from occurring between states differing by a single spin excitation, thus preserving the MPM-induced $\pi/T$ quasienergy spacing of the Floquet eigenstates in the presence of parameter imperfection. This feature, which is absent in their strict one-dimensional counterparts, may yield fascinating consequences in future studies of higher dimensional Floquet many-body systems.


title: Topological chiral spin liquids and competing states in triangular lattice SU($N$) Mott insulators

abstract: SU($N$) Mott insulators have been proposed and/or realized in solid-state materials and with ultracold atoms on optical lattices. We study the two-dimensional SU($N$) antiferromagnets on the triangular lattice. Starting from an SU($N$) Heisenberg model with the fundamental representation on each site in the large-$N$ limit, we perform a self-consistent calculation and find a variety of ground states including the valence cluster states, stripe ordered states with a doubled unit-cell and topological chiral spin liquids. The system favors a cluster or ordered ground state when the number of flavors $N$ is less than 6. It is shown that, increasing the number of flavors enhances quantum fluctuations and eventually transfer the clusterized ground states into a topological chiral spin liquids. This chiral spin liquid ground state has an equivalent for the square lattice SU($N$) magnets. We further identify the corresponding lowest competing states that represent another distinct type of chiral spin liquid states. We conclude with a discussion about the relevant systems and the experimental probes.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Non-relativistic Boson Stars as N-Body Quantum Systems

abstract: In the present work, we analyze the structural configuration of a collection of generic non-relativistic bosons forming a gravitational bound Bose-Einstein condensate that we interpreted as a non-relativistic boson star. We prove that the system's behavior can be obtained by analyzing its fundamental constituent's properties, i.e., the single particle properties. Additionally, we show that by expressing the corresponding Newtonian gravitational potential, under certain circumstances, as a harmonic oscillator potential ones, we can describe the conditions in which the non-relativistic boson star can form equilibrium configurations. In order to analyze the structural configuration related to the boson star, we employ four different \textit{ans\"atze} commonly used in the literature. The use of these \textit{ans\"atze} allows to compare the structural properties of the bosonic cloud or the boson star that leads to obtain several equilibrium configurations from compact objets matching to the size of typical stars to very gigantic systems comparable to the size of galaxy cluster dark matter halos. Finally, we show that these \textit{ans\"atze} predict, qualitatively speaking, the same structural and gravitational equilibrium configurations for different values of the parameters involved.


title: Extending Friedmann equations using fractional derivatives using a Last Step Modification technique: the case of a matter dominated accelerated expanding Universe

abstract: We present a toy model for extending the Friedmann equations of relativistic cosmology using fractional derivatives. We do this by replacing the integer derivatives, in a few well-known cosmological results with fractional derivatives leaving their order as a free parameter. All this with the intention to explain the current observed acceleration of the Universe. We apply the Last Step Modification technique of fractional calculus to construct some useful fractional equations of cosmology. The fits of the unknown fractional derivative order and the fractional cosmographic parameters to SN Ia data shows that this simple construction can explain the current accelerated expansion of the Universe without the use of a dark energy component with a MOND-like behaviour using Milgrom's acceleration constant which sheds light into to the non-necessity of a dark matter component as well.