title: A Data-Efficient Visual-Audio Representation with Intuitive Fine-tuning for Voice-Controlled Robots

abstract: A command-following robot that serves people in everyday life must continually improve itself in deployment domains with minimal help from its end users, instead of engineers. Previous methods are either difficult to continuously improve after the deployment or require a large number of new labels during fine-tuning. Motivated by (self-)supervised contrastive learning, we propose a novel representation that generates an intrinsic reward function for command-following robot tasks by associating images with sound commands. After the robot is deployed in a new domain, the representation can be updated intuitively and data-efficiently by non-experts without any hand-crafted reward functions. We demonstrate our approach on various sound types and robotic tasks, including navigation and manipulation with raw sensor inputs. In simulated and real-world experiments, we show that our system can continually self-improve in previously unseen scenarios given fewer new labeled data, while still achieving better performance over previous methods.


title: High-precision broadband linear polarimetry of early-type binaries III. AO Cassiopeiae revisited

abstract: The fact that the O-type close binary star system AO~Cassiopeiae exhibits variable phase-locked linear polarization has been known since the mid-1970s. In this work, we re-observe the polarization arising from this system more than 50 years later to better estimate the interstellar polarization and to independently derive the orbital parameters, such as inclination, $i$, orientation, $\Omega$, and the direction of the rotation for the inner orbit from the phase-folded polarization curves of the Stokes $q$ and $u$ parameters. The Dipol-2 polarimeter was used to obtain linear polarization measurements of AO~Cassiopeiae in the $B$, $V$, and $R$ passbands with the T60 remotely controlled telescope at an unprecedented accuracy level of $\sim$0.003\%. We have obtained the first proper quantification of the interstellar polarization in the direction heading towards AO~Cas by observing the polarization of three neighboring field stars. We employed a Lomb-Scargle algorithm and detected a clear periodic signal for the orbital period of AO~Cas. The standard analytical method based on a two-harmonics Fourier fit was used to obtain the inclination and orientation of the binary orbit. Our polarimetric data exhibited an unambiguous periodic signal at 1.76 days, thus confirming the orbital period of the binary system of 3.52 days. Most of the observed polarization is of interstellar origin. The de-biased values of the orbital inclination are $i = 63^{\circ} +2^{\circ}/ -3^{\circ}$ and orientation of $\Omega = 29^{\circ} (209^{\circ}) \pm 8^{\circ}$. The direction of the binary system rotation on the plane of the sky is clockwise.


title: On the fractional mixed fractional Brownian motion Time Changed by Inverse alpha Stable Subordinator

abstract: A time-changed fractional mixed fractional Brownian motion by inverse alpha stable subordinator with index alpha in (0, 1) is an iterated process L constructed as the superposition of fractional mixed fractional Brownian motion N(a, b) and an independent inverse {\alpha}-stable subordinator Talpha. In this paper we prove that the process LT alpha(a, b) is of long range dependence property under a smooth condition on the Hirsh index H1 and H2. We deduce that the fractional mixed fractional Brownian motion has long range dependence for every H1 < H2.


title: Reachability in Injective Piecewise Affine Maps

abstract: One of the most basic, longstanding open problems in the theory of dynamical systems is whether reachability is decidable for one-dimensional piecewise affine maps with two intervals. In this paper we prove that for injective maps, it is decidable. We also study various related problems, in each case either establishing decidability, or showing that they are closely connected to Diophantine properties of certain transcendental numbers, analogous to the positivity problem for linear recurrence sequences. Lastly, we consider topological properties of orbits of one-dimensional piecewise affine maps, not necessarily with two intervals, and negatively answer a question of Bournez, Kurganskyy, and Potapov, about the set of orbits in expanding maps.


title: Towards Modular Machine Learning Solution Development: Benefits and Trade-offs

abstract: Machine learning technologies have demonstrated immense capabilities in various domains. They play a key role in the success of modern businesses. However, adoption of machine learning technologies has a lot of untouched potential. Cost of developing custom machine learning solutions that solve unique business problems is a major inhibitor to far-reaching adoption of machine learning technologies. We recognize that the monolithic nature prevalent in today's machine learning applications stands in the way of efficient and cost effective customized machine learning solution development. In this work we explore the benefits of modular machine learning solutions and discuss how modular machine learning solutions can overcome some of the major solution engineering limitations of monolithic machine learning solutions. We analyze the trade-offs between modular and monolithic machine learning solutions through three deep learning problems; one text based and the two image based. Our experimental results show that modular machine learning solutions have a promising potential to reap the solution engineering advantages of modularity while gaining performance and data advantages in a way the monolithic machine learning solutions do not permit.


title: Prioritizing Variables for Observational Study Design using the Joint Variable Importance Plot

abstract: Observational studies of treatment effects require adjustment for confounding variables. However, causal inference methods typically cannot deliver perfect adjustment on all measured baseline variables, and there is often ambiguity about which variables should be prioritized. Standard prioritization methods based on treatment imbalance alone neglect variables' relationships with the outcome. We propose the joint variable importance plot to guide variable prioritization for observational studies. Since not all variables are equally relevant to the outcome, the plot adds outcome associations to quantify the potential confounding jointly with the standardized mean difference. To enhance comparisons on the plot between variables with different confounding relationships, we also derive and plot bias curves. Variable prioritization using the plot can produce recommended values for tuning parameters in many existing matching and weighting methods. We showcase the use of the joint variable importance plots in the design of a balance-constrained matched study to evaluate whether taking an antidiabetic medication, glyburide, increases the incidence of C-section delivery among pregnant individuals with gestational diabetes.


title: Modeling Preferences: A Bayesian Mixture of Finite Mixtures for Rankings and Ratings

abstract: Rankings and ratings are commonly used to express preferences but provide distinct and complementary information. Rankings give ordinal and scale-free comparisons but lack granularity; ratings provide cardinal and granular assessments but may be highly subjective or inconsistent. Collecting and analyzing rankings and ratings jointly has not been performed until recently due to a lack of principled methods. In this work, we propose a flexible, joint statistical model for rankings and ratings under heterogeneous preferences: the Bradley-Terry-Luce-Binomial (BTL-Binomial). We employ a Bayesian mixture of finite mixtures (MFM) approach to estimate heterogeneous preferences, understand their inherent uncertainty, and make accurate decisions based on ranking and ratings jointly. We demonstrate the efficiency and practicality of the BTL-Binomial MFM approach on real and simulated datasets of ranking and rating preferences in peer review and survey data contexts.


title: Earthquake Magnitude and b value prediction model using Extreme Learning Machine

abstract: Earthquake prediction has been a challenging research area for many decades, where the future occurrence of this highly uncertain calamity is predicted. In this paper, several parametric and non-parametric features were calculated, where the non-parametric features were calculated using the parametric features. $8$ seismic features were calculated using Gutenberg-Richter law, the total recurrence, and the seismic energy release. Additionally, criterions such as Maximum Relevance and Maximum Redundancy were applied to choose the pertinent features. These features along with others were used as input for an Extreme Learning Machine (ELM) Regression Model. Magnitude and time data of $5$ decades from the Assam-Guwahati region were used to create this model for magnitude prediction. The Testing Accuracy and Testing Speed were computed taking the Root Mean Squared Error (RMSE) as the parameter for evaluating the mode. As confirmed by the results, ELM shows better scalability with much faster training and testing speed (up to a thousand times faster) than traditional Support Vector Machines. The testing RMSE came out to be around $0.097$. To further test the model's robustness -- magnitude-time data from California was used to calculate the seismic indicators which were then fed into an ELM and then tested on the Assam-Guwahati region. The model proves to be robust and can be implemented in early warning systems as it continues to be a major part of Disaster Response and management.


title: The Packing Chromatic Number of the Infinite Square Grid is 15

abstract: A packing $k$-coloring is a natural variation on the standard notion of graph $k$-coloring, where vertices are assigned numbers from $\{1, \ldots, k\}$, and any two vertices assigned a common color $c \in \{1, \ldots, k\}$ need to be at a distance greater than $c$ (as opposed to $1$, in standard graph colorings). Despite a sequence of incremental work, determining the packing chromatic number of the infinite square grid has remained an open problem since its introduction in 2002. We culminate the search by proving this number to be 15. We achieve this result by improving the best-known method for this problem by roughly two orders of magnitude. The most important technique to boost performance is a novel, surprisingly effective propositional encoding for packing colorings. Additionally, we developed an alternative symmetry-breaking method. Since both new techniques are more complex than existing techniques for this problem, a verified approach is required to trust them. We include both techniques in a proof of unsatisfiability, reducing the trusted core to the correctness of the direct encoding.


title: A deep reinforcement learning approach to assess the low-altitude airspace capacity for urban air mobility

abstract: Urban air mobility is the new mode of transportation aiming to provide a fast and secure way of travel by utilizing the low-altitude airspace. This goal cannot be achieved without the implementation of new flight regulations which can assure safe and efficient allocation of flight paths to a large number of vertical takeoff/landing aerial vehicles. Such rules should also allow estimating the effective capacity of the low-altitude airspace for planning purposes. Path planning is a vital subject in urban air mobility which could enable a large number of UAVs to fly simultaneously in the airspace without facing the risk of collision. Since urban air mobility is a novel concept, authorities are still working on the redaction of new flight rules applicable to urban air mobility. In this study, an autonomous UAV path planning framework is proposed using a deep reinforcement learning approach and a deep deterministic policy gradient algorithm. The objective is to employ a self-trained UAV to reach its destination in the shortest possible time in any arbitrary environment by adjusting its acceleration. It should avoid collisions with any dynamic or static obstacles and avoid entering prior permission zones existing on its path. The reward function is the determinant factor in the training process. Thus, two different reward function compositions are compared and the chosen composition is deployed to train the UAV by coding the RL algorithm in python. Finally, numerical simulations investigated the success rate of UAVs in different scenarios providing an estimate of the effective airspace capacity.


title: Topic Ontologies for Arguments

abstract: Many computational argumentation tasks, like stance classification, are topic-dependent: the effectiveness of approaches to these tasks significantly depends on whether the approaches were trained on arguments from the same topics as those they are tested on. So, which are these topics that researchers train approaches on? This paper contributes the first comprehensive survey of topic coverage, assessing 45 argument corpora. For the assessment, we take the first step towards building an argument topic ontology, consulting three diverse authoritative sources: the World Economic Forum, the Wikipedia list of controversial topics, and Debatepedia. Comparing the topic sets between the authoritative sources and corpora, our analysis shows that the corpora topics-which are mostly those frequently discussed in public online fora - are covered well by the sources. However, other topics from the sources are less extensively covered by the corpora of today, revealing interesting future directions for corpus construction.


title: Density of Selmer ranks in families of even Galois representations, Wiles' formula, and global reciprocity

abstract: This paper concerns the distribution of Selmer ranks in a family of even Galois representations in even residual characteristic obtained by allowing ramification at auxiliary primes. The main result is a Galois cohomological analogue of a theorem of Friedlander, Iwaniec, Mazur and Rubin on the distribution of Selmer ranks in a family of twists of elliptic curves. The Selmer groups are constructed as prescribed by the Galois cohomological method for GL(2): At each ramified place, the local Selmer condition is the tangent space of a smooth quotient of the local deformation ring. By methods of global class field theory, the Selmer group at the minimal level is computed explicitly. The infinitude of primes for which the Selmer rank increases by one is proved, and the density of such primes is shown to be 1/192. The proof combines Wiles' formula and the global reciprocity law. The result has implications for the algebraic structure of even deformation rings and the distribution of their presentations in families.


title: FairShare: Blockchain Enabled Fair, Accountable and Secure Data Sharing for Industrial IoT

abstract: Industrial Internet of Things (IIoT) opens up a challenging research area towards improving secure data sharing which currently has several limitations. Primarily, the lack of inbuilt guarantees of honest behavior of participating, such as end-users or cloud behaving maliciously may result in disputes. Given such challenges, we propose a fair, accountable, and secure data sharing scheme, $\textit{FairShare}$ for IIoT. In this scheme, data collected from IoT devices are processed and stored in cloud servers with intermediate fog nodes facilitating computation. Authorized clients can access this data against some fee to make strategic decisions for improving the operational services of the IIoT system. By enabling blockchain, $\textit{FairShare}$ prevents fraudulent activities and thereby achieves fairness such that each party gets their rightful outcome in terms of data or penalty/rewards while simultaneously ensuring accountability of the services provided by the parties. Additionally, smart contracts are designed to act as a mediator during any dispute by enforcing payment settlement. Further, security and privacy of data are ensured by suitably applying cryptographic techniques like proxy re-encryption. We prove $\textit{FairShare}$ to be secure as long as at least one of the parties is honest. We validate $\textit{FairShare}$ with a theoretical overhead analysis. We also build a prototype in Ethereum to estimate performance and justify comparable results with a state-of-the-art scheme both via simulation and a realistic testbed setup. We observe an additional communication overhead of 256 bytes and a cost of deployment of 1.01 USD in Ethereum which are constant irrespective of file size.


title: Cosmic Web Dissection in Fuzzy Dark Matter Cosmologies

abstract: On large cosmological scales, anisotropic gravitational collapse is manifest in the dark cosmic web. Its statistical properties are little known for alternative dark matter models such as fuzzy dark matter (FDM). In this work, we assess for the first time the relative importance of cosmic nodes, filaments, walls and voids in a cosmology with primordial small-scale suppression of power. We post-process $N$-body simulations of FDM-like cosmologies with varying axion mass $m$ at redshifts $z\sim 1.0-5.6$ using the NEXUS+ Multiscale Morphology Filter technique at smoothing scale $\Delta x = 0.04 \ h^{-1}$Mpc. The formation of wall and void halos is more suppressed than naively expected from the half-mode mass $M_{1/2}$. Also, we quantify the mass and volume filling fraction of cosmic environments and find that 2D cosmic sheets host a larger share of the matter content of the Universe as $m$ is reduced, with an $\sim 8-12$\% increase for the $m=7 \times 10^{-22}$ eV model compared to CDM. We show that in FDM-like cosmologies, filaments, walls and voids are cleaner and more pronounced structures than in CDM, revealed by a strong mid-range peak in the conditioned overdensity PDFs $P(\delta)$. At high redshift, low-density regions are more suppressed than high-density regions. Furthermore, skewness estimates $S_3$ of the total overdensity PDF in FDM-like cosmologies are consistently higher than in CDM, especially at high redshift $z\sim 5.6$ where the $m=10^{-22}$ eV model differs from CDM by $\sim 6 \sigma$. Accordingly, we advocate for the usage of $P(\delta)$ as a testbed for constraining FDM and other alternative dark matter models.


title: The Hilbert series of the superspace coinvariant ring

abstract: Let $\Omega_n$ be the ring of polynomial-valued holomorphic differential forms on complex $n$-space, referred to in physics as the superspace ring of rank $n$. The symmetric group $\mathfrak{S}_n$ acts diagonally on $\Omega_n$ by permuting commuting and anticommuting generators simultaneously. We let $SI_n \subseteq \Omega_n$ be the ideal generated by $\mathfrak{S}_n$-invariants with vanishing constant term and study the quotient $SR_n = \Omega_n / SI_n$ of superspace by this ideal. We calculate the doubly-graded Hilbert series of $SR_n$ and prove an `operator theorem' which characterizes the harmonic space $SH_n \subseteq \Omega_n$ attached to $SR_n$ in terms of the Vandermonde determinant and certain differential operators. Our methods employ commutative algebra results which were used in the study of Hessenberg varieties. Our results prove conjectures of N. Bergeron, Li, Machacek, Sulzgruber, Swanson, Wallach, and Zabrocki.


title: A Rasmussen invariant for links in $\mathbb{RP}^3$

abstract: Asaeda-Przytycki-Sikora, Manturov, and Gabrov\v{s}ek extended Khovanov homology to links in $\mathbb{RP}^3$. We construct a Lee-type deformation of their theory, and use it to define an analogue of Rasmussen's s-invariant in this setting. We show that the s-invariant gives constraints on the genera of link cobordisms in the cylinder $I \times \mathbb{RP}^3$. As an application, we give examples of freely 2-periodic knots in $S^3$ that are concordant but not standardly equivariantly concordant.


title: Enumeration of multi-rooted plane trees

abstract: We give closed form expressions for the numbers of multi-rooted plane trees with specified degrees of root vertices. This results in an infinite number of integer sequences some of which are known to have an alternative interpretation. We also propose recursion relations for numbers of such trees as well as for the corresponding generating functions. Explicit expressions for the generating functions corresponding to plane trees having two and three roots are derived. As a by-product, we obtain a new binomial identity and a conjecture relating hypergeometric functions.


title: Constrained Reinforcement Learning for Dexterous Manipulation

abstract: Existing learning approaches to dexterous manipulation use demonstrations or interactions with the environment to train black-box neural networks that provide little control over how the robot learns the skills or how it would perform post training. These approaches pose significant challenges when implemented on physical platforms given that, during initial stages of training, the robot's behavior could be erratic and potentially harmful to its own hardware, the environment, or any humans in the vicinity. A potential way to address these limitations is to add constraints during learning that restrict and guide the robot's behavior during training as well as roll outs. Inspired by the success of constrained approaches in other domains, we investigate the effects of adding position-based constraints to a 24-DOF robot hand learning to perform object relocation using Constrained Policy Optimization. We find that a simple geometric constraint can ensure the robot learns to move towards the object sooner than without constraints. Further, training with this constraint requires a similar number of samples as its unconstrained counterpart to master the skill. These findings shed light on how simple constraints can help robots achieve sensible and safe behavior quickly and ease concerns surrounding hardware deployment. We also investigate the effects of the strictness of these constraints and report findings that provide insights into how different degrees of strictness affect learning outcomes. Our code is available at https://github.com/GT-STAR-Lab/constrained-rl-dexterous-manipulation.


title: Truveta Mapper: A Zero-shot Ontology Alignment Framework

abstract: In this paper, a new perspective is suggested for unsupervised Ontology Matching (OM) or Ontology Alignment (OA) by treating it as a translation task. Ontologies are represented as graphs, and the translation is performed from a node in the source ontology graph to a path in the target ontology graph. The proposed framework, Truveta Mapper (TM), leverages a multi-task sequence-to-sequence transformer model to perform alignment across multiple ontologies in a zero-shot, unified and end-to-end manner. Multi-tasking enables the model to implicitly learn the relationship between different ontologies via transfer-learning without requiring any explicit cross-ontology manually labeled data. This also enables the formulated framework to outperform existing solutions for both runtime latency and alignment quality. The model is pre-trained and fine-tuned only on publicly available text corpus and inner-ontologies data. The proposed solution outperforms state-of-the-art approaches, Edit-Similarity, LogMap, AML, BERTMap, and the recently presented new OM frameworks in Ontology Alignment Evaluation Initiative (OAEI22), offers log-linear complexity, and overall makes the OM task efficient and more straightforward without much post-processing involving mapping extension or mapping repair. We are open sourcing our solution.


title: Signature of $f\left(R\right)$ gravity via Lema\^itre-Tolman-Bondi inhomogeneous perturbations

abstract: We analyze inhomogeneous cosmological models in the local Universe, described by the Lema\^itre-Tolman-Bondi (LTB) metric and developed using linear perturbation theory on a homogeneous and isotropic Universe background. Focusing on the different evolution of spherical symmetric inhomogeneities, we compare the $\Lambda$LTB model, in which the cosmological constant $\Lambda$ is included in the LTB formalism, with inhomogeneous cosmological models based on $f\left(R\right)$ modified gravity theories viewed in the Jordan frame. We solve the system of field equations for both inhomogeneous cosmological models adopting the method of separation of variables: we integrate analytically the radial profiles of local perturbations, while their time evolution requires a numerical approach. The main result of the analysis concerns the different radial profiles of local inhomogeneities due to the presence of a non-minimally coupled scalar field in the Jordan frame of $f\left(R\right)$ gravity. While radial perturbations follow a power-law in the $\Lambda$LTB model, Yukawa-like contributions appear in the $f\left(R\right)$ theory. Interestingly, this latter peculiar behavior of radial profile is not affected by the choice of the $f\left(R\right)$ functional form. The numerical solution of time-dependent perturbations exhibits a non-diverging profile. This work suggests that investigations about local inhomogeneities in the late Universe may allow us to discriminate if the present cosmic acceleration is caused by a cosmological constant term or a modified gravity effect.


title: Soliton Merger Rates and Enhanced Axion Dark Matter Decay

abstract: Solitons are observed to form in simulations of dark matter (DM) halos consisting of bosonic fields. We use the extended Press-Schechter formalism to compute the mass function of solitons, assuming various forms for the relationship between halo mass and soliton mass. We further provide a new calculation of the rate of soliton major mergers. Solitons composed of axion DM are unstable above a critical mass, and decay to either relativistic axions or photons, depending on the values of the coupling constants. We use the computed soliton major merger rate to predict the enhanced DM decay rate due to soliton instability. For certain values of currently allowed axion parameters, the energy injection into the intergalactic medium from soliton decays to photons is comparable to or larger than the energy injection due to core collapse supernovae at $z>10$. A companion paper explores the phenomenology of such an energy injection.


title: Language-guided Task Adaptation for Imitation Learning

abstract: We introduce a novel setting, wherein an agent needs to learn a task from a demonstration of a related task with the difference between the tasks communicated in natural language. The proposed setting allows reusing demonstrations from other tasks, by providing low effort language descriptions, and can also be used to provide feedback to correct agent errors, which are both important desiderata for building intelligent agents that assist humans in daily tasks. To enable progress in this proposed setting, we create two benchmarks -- Room Rearrangement and Room Navigation -- that cover a diverse set of task adaptations. Further, we propose a framework that uses a transformer-based model to reason about the entities in the tasks and their relationships, to learn a policy for the target task


title: Automation and AI Technology in Surface Mining With a Brief Introduction to Open-Pit Operations in the Pilbara

abstract: This survey article provides a synopsis on some of the engineering problems, technological innovations, robotic development and automation efforts encountered in the mining industry -- particularly in the Pilbara iron-ore region of Western Australia. The goal is to paint the technology landscape and highlight issues relevant to an engineering audience to raise awareness of AI and automation trends in mining. It assumes the reader has no prior knowledge of mining and builds context gradually through focused discussion and short summaries of common open-pit mining operations. The principal activities that take place may be categorized in terms of resource development, mine-, rail- and port operations. From mineral exploration to ore shipment, there are roughly nine steps in between. These include: geological assessment, mine planning and development, production drilling and assaying, blasting and excavation, transportation of ore and waste, crush and screen, stockpile and load-out, rail network distribution, and ore-car dumping. The objective is to describe these processes and provide insights on some of the challenges/opportunities from the perspective of a decade-long industry-university R&D partnership.


title: SONIA: an immersive customizable virtual reality system for the education and exploration of brain networks

abstract: While mastery of neuroanatomy is important for the investigation of the brain, there is an increasing interest in exploring the neural pathways to better understand the roles of neural circuitry in brain functions. To tackle the limitations of traditional 2D-display-based neuronavigation software in intuitively visualizing complex 3D anatomies, several virtual reality (VR) and augmented reality (AR) solutions have been proposed to facilitate neuroanatomical education. However, with the increasing knowledge on brain connectivity and the functioning of the sub-systems, there is still a lack of similar software solutions for the education and exploration of these topics, which demand more elaborate visualization and interaction strategies. To address this gap, we designed the immerSive custOmizable Neuro learnIng plAform (SONIA), a novel user-friendly VR software system with a multi-scale interaction paradigm that allows flexible customization of learning materials. With both quantitative and qualitative evaluations through user studies, the proposed system is shown to have high usability, attractive visual design, and good educational value. As the first immersive system that integrates customizable design and detailed narratives of the brain sub-systems for the education of neuroanatomy and brain connectivity, SONIA showcases new potential directions and provides valuable insights regarding medical learning and exploration in VR.


title: Stratified inclined duct: direct numerical simulations

abstract: The stratified inclined duct (SID) experiment consists of a zero-net-volume exchange flow in a long tilted rectangular duct, which allows the study of realistic stratified shear flows with sustained internal forcing. We present the first three-dimensional direct numerical simulations (DNS) of SID to explore the transitions between increasingly turbulent flow regimes first described by Meyer \& Linden (\textit{J. Fluid Mech.} \textbf{753}, 242-253, 2014). We develop a numerical set-up that faithfully reproduces the experiments and sustains the flow for arbitrarily long times at minimal computational cost. We recover the four qualitative flow regimes found experimentally in the same regions of parameter space: laminar flow, waves, intermittent turbulence, and fully-developed turbulence. We find good qualitative and quantitative agreement between DNS and experiments and highlight the added value of DNS to complement experimental diagnostics and increase our understanding of the transition to turbulence, both temporally (laminar/turbulent cycles) and parametrically (as the tilt angle of the duct and the Reynolds number are increased). These results demonstrate that numerical studies of SID -- and deeper integration between simulations and experiments -- have the potential to lead to a better understanding of stratified turbulence in environmental flows.


title: Explosive Percolation Obeys Standard Finite-Size Scaling in an Event-based Ensemble

abstract: Explosive percolation in the Achlioptas process, which has attracted much research attention, is known to exhibit a rich variety of critical phenomena that are anomalous from the perspective of continuous phase transitions. Hereby, we show that, in an event-based ensemble, the critical behaviors in explosive percolation are rather clean and obey the standard finite-size scaling theory, except for the large fluctuation of pseudo-critical points. In the fluctuation window, multiple fractal structures emerge and the values can be derived from a crossover scaling theory. Further, their mixing effects account well for the previously observed anomalous phenomena. Making use of the clean scaling in the event-based ensemble, we determine with a high precision the critical points and exponents for a number of bond-insertion rules, and clarify ambiguities about their universalities. Our findings hold true for any spatial dimensions.


title: Spiral Structure and Massive Star formation in the Hub-Filament-System G326.27-0.49

abstract: Hub-filament systems (HFSs) are potential sites of formation of star clusters and high mass stars. To understand the HFSs and to provide observational constraints on current theories that attempt to explainstar formation globally, we report a study of the region associated with G326.27-0.49 using infrared data of dust continuum and newly obtained observations on molecular tracers using the APEX telescope. We use the spectroscopic observations to identify velocity-coherent structures (filaments and clumps) and study their properties at a resolution of 0.4 pc. The region contains two main velocity components: first component shows four filaments between -63 and -55 km/s forming a spiral structure converging in a hub, the second filamentary component at -72 km/s harbors a massive young stellar object and possibly interacts with the hub. The clumps harbouring the three main YSOs in the region are massive (187-535 Msun), have luminosities consistent with B-type stars, have central densities of ~10^6 cm^-3 and drive large outflows. Majority of the velocity-coherent clumps in the region show virial parameters between 2-7, which considering the detection of protostars implies collapse to be gradual. We conclude that the region consists of a network of filaments through which mass accretes (~10^-4 Msun/yr) onto the hub. The hub and some of the ends of filaments appear to be undergoing collapse to form new stars. This study identifies a target region for future high resolution observations that could probe the link between the core and filament evolution.


title: Differentiable bit-rate estimation for neural-based video codec enhancement

abstract: Neural networks (NN) can improve standard video compression by pre- and post-processing the encoded video. For optimal NN training, the standard codec needs to be replaced with a codec proxy that can provide derivatives of estimated bit-rate and distortion, which are used for gradient back-propagation. Since entropy coding of standard codecs is designed to take into account non-linear dependencies between transform coefficients, bit-rates cannot be well approximated with simple per-coefficient estimators. This paper presents a new approach for bit-rate estimation that is similar to the type employed in training end-to-end neural codecs, and able to efficiently take into account those statistical dependencies. It is defined from a mathematical model that provides closed-form formulas for the estimates and their gradients, reducing the computational complexity. Experimental results demonstrate the method's accuracy in estimating HEVC/H.265 codec bit-rates.


title: The entry sum of the inverse Cauchy matrix

abstract: Let $x_{1},x_{2},\ldots,x_{n}$ be $n$ numbers, and $y_{1},y_{2},\ldots,y_{n}$ be $n$ further numbers chosen such that all $n^{2}$ pairwise sums $x_{i}+y_{j}$ are nonzero. Consider the $n\times n$-matrix \[ C:=\left( \dfrac{1}{x_{i}+y_{j}}\right) _{1\leq i\leq n,\ 1\leq j\leq n} = \begin{pmatrix} \dfrac{1}{x_{1}+y_{1}} & \dfrac{1}{x_{1}+y_{2}} & \cdots & \dfrac{1}{x_{1}+y_{n}}\\ \dfrac{1}{x_{2}+y_{1}} & \dfrac{1}{x_{2}+y_{2}} & \cdots & \dfrac{1}{x_{2}+y_{n}}\\ \vdots & \vdots & \ddots & \vdots\\ \dfrac{1}{x_{n}+y_{1}} & \dfrac{1}{x_{n}+y_{2}} & \cdots & \dfrac{1}{x_{n}+y_{n}} \end{pmatrix}. \] This matrix $C$ is known as the "Cauchy matrix", and has been studied for 180 years. A classical result says that if $C$ is invertible, then the sum of all entries of its inverse $C^{-1}$ is $\sum_{k=1}^{n}x_{k}+\sum_{k=1}^{n}y_{k}$. We give a simple and short proof of this result, and briefly discuss a "tropicalized" variant in which the entries $\dfrac{1}{x_i+y_j}$ are replaced by $ \min\left\{ x_{i},y_{j}\right\}$.


title: GRAND-EDGE: A Universal, Jamming-resilient Algorithm with Error-and-Erasure Decoding

abstract: Random jammers that overpower transmitted signals are a practical concern for many wireless communication protocols. As such, wireless receivers must be able to cope with standard channel noise and jamming (intentional or unintentional). To address this challenge, we propose a novel method to augment the resilience of the recent family of universal error-correcting GRAND algorithms. This method, called Erasure Decoding by Gaussian Elimination (EDGE), impacts the syndrome check block and is applicable to any variant of GRAND. We show that the proposed EDGE method naturally reverts to the original syndrome check function in the absence of erasures caused by jamming. We demonstrate this by implementing and evaluating GRAND-EDGE and ORBGRAND-EDGE. Simulation results, using a Random Linear Code (RLC) with a code rate of $105/128$, show that the EDGE variants lower both the Block Error Rate (BLER) and the computational complexity by up to five order of magnitude compared to the original GRAND and ORBGRAND algorithms. We further compare ORBGRAND-EDGE to Ordered Statistics Decoding (OSD), and demonstrate an improvement of up to three orders of magnitude in the BLER.


title: Large harmonic functions for fully nonlinear fractional operators

abstract: We study existence, uniqueness and boundary blow-up profile for fractional harmonic functions on a bounded smooth domain $\Omega \subset \mathbb R^N$. We deal with harmonic functions associated to uniformly elliptic, fully nonlinear nonlocal operators, including the linear case $$ (-\Delta)^s u = 0 \quad \mbox{in} \ \Omega, $$ where $(-\Delta)^s$ denotes the fractional Laplacian of order $2s \in (0,2)$. We use the viscosity solution's theory and Perron's method to construct harmonic functions with zero exterior condition in $\bar \Omega^c$, and boundary blow-up profile $$ \lim_{x\to x_0, x \in \Omega}\mathrm{dist}(x, \partial \Omega)^{1-s}u(x)=h(x_0), \quad \mbox{for all} \quad x_0\in \partial \Omega, $$ for any given boundary data $h \in C(\partial \Omega)$. Our method allows us to provide blow-up rate for the solution and its gradient estimates. Results are new even in the linear case.


title: JEMS: A deep medium-band imaging survey in the Hubble Ultra-Deep Field with JWST NIRCam & NIRISS

abstract: We present JEMS (JWST Extragalactic Medium-band Survey), the first public medium-band imaging survey carried out using JWST/NIRCam and NIRISS. These observations use $\sim2\mu$m and $\sim4\mu$m medium-band filters (NIRCam F182M, F210M, F430M, F460M, F480M; and NIRISS F430M & F480M in parallel) over 15.6 square arcminutes in the Hubble Ultra Deep Field (UDF), thereby building on the deepest multi-wavelength public datasets available anywhere on the sky. We describe our science goals, survey design, NIRCam and NIRISS image reduction methods, and describe our first data release of the science-ready mosaics. Our chosen filters create a JWST imaging survey in the UDF that enables novel analysis of a range of spectral features potentially across the redshift range of $0.3<z<20$, including Paschen-$\alpha$, H$\alpha$+[NII], and [OIII]+H$\beta$ emission at high spatial resolution. We find that our JWST medium-band imaging efficiently identifies strong line emitters (medium-band colors $>1$ magnitude) across redshifts $1.5<z<9.3$, most prominently H$\alpha$+[NII] and [OIII]+H$\beta$. We present our first data release including science-ready mosaics of each medium-band image available to the community, adding to the legacy value of past and future surveys in the UDF. We also describe future data releases. This survey demonstrates the power of medium-band imaging with JWST, informing future extragalactic survey strategies using JWST observations.


title: Parallel random LiDAR with spatial multiplexing of a many-mode laser

abstract: We propose and experimentally demonstrate parallel LiDAR using random intensity fluctuations from a highly multimode laser. We optimize a degenerate cavity to have many spatial modes lasing simultaneously with different frequencies. Their spatio-temporal beating creates ultrafast random intensity fluctuations, which are spatially demultiplexed to generate hundreds of uncorrelated time traces for parallel ranging. The bandwidth of each channel exceeds 10 GHz, leading to a ranging resolution better than 1 cm. Our parallel random LiDAR is robust to cross-channel interference, and will facilitate high-speed 3D sensing and imaging.


title: PICSARR: high-precision polarimetry using CMOS image sensors

abstract: We have built and tested a compact, low-cost, but very-high-performance astronomical polarimeter based on a continuously rotating half-wave plate and a high-speed imaging detector. The polarimeter is suitable for small telescopes up to ~1 m in aperture. The optical system provides very high transmission over a wide wavelength range from the atmospheric UV cutoff to ~1000 nm. The high-quantum-efficiency, low-noise and high-speed of the detectors enable bright stars to be observed with high-precision as well as polarization imaging of extended sources. We have measured the performance of the instrument on 20 cm and 60 cm aperture telescopes. We show some examples of the type of science possible with this instrument. The polarimeter is particularly suited to studies of the wavelength dependence and time variability of the polarization of stars and planets.


title: Several families of ternary negacyclic codes and their duals

abstract: Constacyclic codes contain cyclic codes as a subclass and have nice algebraic structures. Constacyclic codes have theoretical importance, as they are connected to a number of areas of mathematics and outperform cyclic codes in several aspects. Negacyclic codes are a subclass of constacyclic codes and are distance-optimal in many cases. However, compared with the extensive study of cyclic codes, negacyclic codes are much less studied. In this paper, several families of ternary negacyclic codes and their duals are constructed and analysed. These families of negacyclic codes and their duals contain distance-optimal codes and have very good parameters in general.


title: On K\"ahler Ricci shrinker surfaces

abstract: In this paper, we prove that any K\"ahler Ricci shrinker surface has bounded sectional curvature. Combining this estimate with earlier work by many authors, we provide a complete classification of all K\"ahler Ricci shrinker surfaces.


title: Transformer-Patcher: One Mistake worth One Neuron

abstract: Large Transformer-based Pretrained Language Models (PLMs) dominate almost all Natural Language Processing (NLP) tasks. Nevertheless, they still make mistakes from time to time. For a model deployed in an industrial environment, fixing these mistakes quickly and robustly is vital to improve user experiences. Previous works formalize such problems as Model Editing (ME) and mostly focus on fixing one mistake. However, the one-mistake-fixing scenario is not an accurate abstraction of the real-world challenge. In the deployment of AI services, there are ever-emerging mistakes, and the same mistake may recur if not corrected in time. Thus a preferable solution is to rectify the mistakes as soon as they appear nonstop. Therefore, we extend the existing ME into Sequential Model Editing (SME) to help develop more practical editing methods. Our study shows that most current ME methods could yield unsatisfying results in this scenario. We then introduce Transformer-Patcher, a novel model editor that can shift the behavior of transformer-based models by simply adding and training a few neurons in the last Feed-Forward Network layer. Experimental results on both classification and generation tasks show that Transformer-Patcher can successively correct up to thousands of errors (Reliability) and generalize to their equivalent inputs (Generality) while retaining the model's accuracy on irrelevant inputs (Locality). Our method outperforms previous fine-tuning and HyperNetwork-based methods and achieves state-of-the-art performance for Sequential Model Editing (SME). The code is available at https://github.com/ZeroYuHuang/Transformer-Patcher.


title: Size of exceptional sets in weakly mixing systems

abstract: For any weakly mixing system $(X, \mathscr{B}, \mu, T)$ and $A, B \in \mathscr{B}$, there is a density zero set $J_{A,B}$ such that $\mu(A\cap T^{-n}B)$ converges to $\mu(A)\mu(B)$ for $n \notin J$. In this paper, we study bounds on the size of this exceptional set $J$. First, we show that, given the rate of weak mixing, we can find an upper bound on the size of $J$. We use this property to show the existence of an exceptional set $J$ of an interval exchange system with either $\left|J \cap [0, n]\right| \le Cn\log^{-a}n$ or $\left|J \cap [0, n]\right| \le Cn^{1 - \alpha}$, depending on whether or not the transformation is of rotation class. We also explicitly construct an exceptional set $J$ for the Chacon transformation and give upper and lower bounds for its size. More precisely, we show that there is a constant $C>0$ such that for any increasing function $h: \mathbb{R}_+ \to \mathbb{R}_+$ diverging to infinity, there is an exceptional set $J \subseteq \mathbb{N}$ such that $\left|J \cap [0, n]\right|\le Cf(n)$ for every Lebesgue measurable sets $A, B \subseteq [0,1]$, where $f(n) = (\log n)^{(\log \log n)^2h(n)}$. For the lower bound, we prove that for any $t>0$, there exists Lebesgue measurable sets $A, B\subseteq [0,1]$ and $C, N>0$ such that $\left|J_{A,B}\cap [0,n]\right|\geq C(\log n)^t$ for every $n>N$.


title: Design and Fabrication of PERC-Like CdTe Solar Cells Using Micropatterned Al2O3 Layer

abstract: Recent studies have investigated novel strategies to further improve the limited Voc of CdTe solar cells via increased carrier lifetime and doping density of CdTe thin films. Among various metal oxides, aluminum oxide (Al2O3) is a promising passivation candidate, where the negatively charged Al2O3 layer repels the minority carrier in CdTe and Al2O3 provides a chemically passivating interface, increasing the carrier lifetime. Despite the continuing efforts, an optimized back-contact architecture to improve the Voc while maintaining high Jsc and FF is still under development. In this work, we report the design, fabrication, and characterization of PERC-like CdTe solar cells, where an Al2O3 passivation layer is patterned using laser-beam lithography. Our process enables reproducible patterning on a rough surface CdTe while maintaining the size of the array in the design. Analysis of CdTe PERC devices (As-doped) shows a notably different Voc trend compared to FF and Jsc, independent of the patterned array structures used in this study. The subsurface electronic structure of CdTe and the interplay between carrier selectivity and collection of the patterned Al2O3 could be responsible for the observed PV characteristics.


title: Teaching Color Science to EECS Students Using Interactive Tutorials: Tools and Lessons

abstract: Teaching color science to Electrical Engineering and Computer Science (EECS) students is critical to preparing them for advanced topics such as graphics, visualization, imaging, Augmented/Virtual Reality. Color historically receive little attention in EECS curriculum; students find it difficult to grasp basic concepts. This is because today's pedagogical approaches are nonintuitive and lack rigor for teaching color science. We develop a set of interactive tutorials that teach color science to EECS students. Each tutorial is backed up by a mathematically rigorous narrative, but is presented in a form that invites students to participate in developing each concept on their own through visualization tools. This paper describes the tutorial series we developed and discusses the design decisions we made.


title: A Qualitative Study on the Implementation Design Decisions of Developers

abstract: Decision-making is a key software engineering skill. Developers constantly make choices throughout the software development process, from requirements to implementation. While prior work has studied developer decision-making, the choices made while choosing what solution to write in code remain understudied. In this mixed-methods study, we examine the phenomenon where developers select one specific way to implement a behavior in code, given many potential alternatives. We call these decisions implementation design decisions. Our mixed-methods study includes 46 survey responses and 14 semi-structured interviews with professional developers about their decision types, considerations, processes, and expertise for implementation design decisions. We find that implementation design decisions, rather than being a natural outcome from higher levels of design, require constant monitoring of higher level design choices, such as requirements and architecture. We also show that developers have a consistent general structure to their implementation decision-making process, but no single process is exactly the same. We discuss the implications of our findings on research, education, and practice, including insights on teaching developers how to make implementation design decisions.


title: The Next Chapter: A Study of Large Language Models in Storytelling

abstract: To enhance the quality of generated stories, recent story generation models have been investigating the utilization of higher-level attributes like plots or commonsense knowledge. The application of prompt-based learning with large language models (LLMs), exemplified by GPT-3, has exhibited remarkable performance in diverse natural language processing (NLP) tasks. This paper conducts a comprehensive investigation, utilizing both automatic and human evaluation, to compare the story generation capacity of LLMs with recent models across three datasets with variations in style, register, and length of stories. The results demonstrate that LLMs generate stories of significantly higher quality compared to other story generation models. Moreover, they exhibit a level of performance that competes with human authors, albeit with the preliminary observation that they tend to replicate real stories in situations involving world knowledge, resembling a form of plagiarism.


title: Quantification of Damage Using Indirect Structural Health Monitoring

abstract: Structural health monitoring is important to make sure bridges do not fail. Since direct monitoring can be complicated and expensive, indirect methods have been a focus on research. Indirect monitoring can be much cheaper and easier to conduct, however there are challenges with getting accurate results. This work focuses on damage quantification by using accelerometers. Tests were conducted on a model bridge and car with four accelerometers attached to to the vehicle. Different weights were placed on the bridge to simulate different levels of damage, and 31 tests were run for 20 different damage levels. The acceleration data collected was normalized and a Fast-Fourier Transform (FFT) was performed on that data. Both the normalized acceleration data and the normalized FFT data were inputted into a Non-Linear Principal Component Analysis (separately) and three principal components were extracted for each data set. Support Vector Regression (SVR) and Gaussian Process Regression (GPR) were used as the supervised machine learning methods to develop models. Multiple models were created so that the best one could be selected, and the models were compared by looking at their Mean Squared Errors (MSE). This methodology should be applied in the field to measure how effective it can be in real world applications.


title: Reverse Logistics Network Design to Estimate the Economic and Environmental Impacts of Take-back Legislation: A Case Study for E-waste Management System in Washington State

abstract: In recent years, recycling and disposal of end-of-life (EOL) electronic products has attracted considerable attention in response to concerns over resource recovery and environmental impacts of electronic waste (e-waste). In many countries, legislation to make manufacturers responsible for taking e-waste at the end of their useful lives either has been adopted or is being considered. In this paper, by capturing different stages in the life-cycle of EOL electronic products (or, e-waste) generated from private or small-entity users, we develop two different formulations of a reverse logistics network, i.e. system-optimum model and user-optimum model, to estimate both economic and environmental effects of take-back legislation. In this system, e-waste is collected through user drop-off at designated collection sites. While we study the whole reverse logistics network associated with recycling and remanufacturing of e-waste in the system-optimum model and obtain an optimum solution from the policy maker's perspective, we split the logistics network into two distinct parts in the user-optimum model in order to derive an optimum solution from the users' standpoint. Implementing the proposed models on an illustrative example shows how they are capable of estimating the economic and environmental impacts of take-back legislation in various stages of e-waste's life-cycle.


title: Bifurcation and stability of uniformly rotating homogeneous ellipsoids surrounded by a massive thin ring

abstract: We examine the effects of a massive concentric ring around a spheroid or an ellipsoid with uniform density and uniform rotation. Equilibrium sequences of axisymmetric Maclaurin-like spheroid and triaxial Jacobi-like ellipsoids are obtained. Due to the gravitational field of the ring, Maclaurin-like spheroid does not have a spherical limit when the object's angular frequency vanishes. At a critical value of the eccentricity of the spheroid's meridional section, a triaxial Jacobi-like ellipsoid bifurcates. When a parameter characterizing the gravitational field of the ring is smaller than a threshold, the bifurcation points of Maclaurin-like and Jacobi-like ellipsoids exist and the critical eccentricity is slightly larger than that of the classical Maclaurin-to-Jacobi bifurcation. When the parameter exceeds the threshold, the Maclaurin-like spheroid does not have the bifurcation point and the Jacobi-like ellipsoid appears at the lower eccentricity than the Maclaurin-like spheroid. By comparisons of the energy of the ellipsoids with the same angular momentum, it is shown that the critical point of bifurcation does not correspond to the onset of the secular instability of Maclaurin-like spheroid. It is concluded that the gravitational field of a massive ring surrounding a uniformly rotating spheroid stabilizes it against a bar-shaped deformation due to viscous dissipations.

categories: physics.class-ph astro-ph.EP astro-ph.GA astro-ph.SR


title: Stability analysis for circulant structured multi-agent molecular communication systems

abstract: In this paper, we introduce the system theoretic model for the multi-agent MC systems represented by multi-input and multi-output (MIMO) systems using the transfer functions, and then propose a method to analyze the stability for the special case of the circulant structured multi-agent MC systems. The proposed method decomposes the MIMO MC system into multiple single-input and single-output (SISO) systems, which facilitates to analyze of the stability of the large-scale multi-agent MC system. Finally, we demonstrate the proposed method to analyze the stability of a specific MC system.


title: Constraining Coupling Constants' Variation with Supernovae, Quasars, and GRBs

abstract: Dirac, in 1937 proposed the variation of coupling constants derived from his large number hypothesis. Efforts have continued since then to constrain their variation by various methods. We briefly discuss several methods used for the purpose while focusing primarily on the use of supernovae type 1a, quasars, and gamma-ray bursts (GRBs) as cosmological probes for determining cosmological distances. Supernovae type Ia (SNeIa) are considered the best standard candles since their intrinsic luminosity can be determined precisely from their light curves. However, they have only been observed up to about redshift $z=2.3$, mostly at $z<1.5$. Quasars are the brightest non-transient cosmic sources in the Universe. They have been observed up to $z=7.5$. Certain types of quasars can be calibrated well enough for their use as standard candles but with a higher degree of uncertainty in their intrinsic luminosity than the SNeIa. GRBs are even brighter than quasars, observed up to $z=9.4$. Their radiation lasts from 10s of milliseconds to several minutes and, in rare cases, for a few hours. However, they are even more challenging to calibrate as standard candles than quasars. What if the standard candles' intrinsic luminosities are affected when the coupling constants become dynamic? This paper uses our earlier finding that the speed of light c, the gravitational constant G, the Planck constant h, and the Boltzmann constant k variations are correlated as $G\thicksim c^{3}\thicksim h^{3}\thicksim k^{3/2}$ with $(\dot{G}/G)_{0}=3(\dot{c}/c)_{0}=(\dot{h}/h)_{0}=1.5 (\dot{k}/k)_{0}=5.4H_{0} =3.90(\pm 0.04)\times 10^{-10} yr^{-1}$ corroborates it with SNeIa, quasars, and GRBs observational data. Also, we show that this covarying coupling constant model may be better than the standard {\Lambda}CDM model for using quasars and GRBs as standard candles and predict the mass of the GRBs scales as $((1+z)^{1/3}-1)$.


title: On the Rational Cuspidal Divisor Class Groups of Drinfeld Modular Curves $X_0(\mathfrak{p}^r)$

abstract: Let $\mathcal{C}(\mathfrak{p}^r)$ be the rational cuspidal divisor class group of the Drinfeld modular curve $X_0(\mathfrak{p}^r)$ for a prime power level $\mathfrak{p}^r\in \mathbb{F}_q[T]$. We relate the rational cuspidal divisors of degree $0$ on $X_0(\mathfrak{p}^r)$ with $\Delta$-quotients, where $\Delta$ is the Drinfeld discriminant function. As a result, we are able to determine explicitly the structure of $\mathcal{C}(\mathfrak{p}^r)$ for arbitrary prime $\mathfrak{p}\in \mathbb{F}_q[T]$ and $r\geq 2$.


title: Viable massive gravity without nonlinear screening

abstract: We study nonlinear effects of perturbations around a cosmological background in projected massive gravity, which admits self-accelerating solutions in an open FLRW universe. Using the zero-curvature scaling limit, we derive nonlinear equations containing all the relevant terms on subhorizon scales. We find that the solution for a scalar graviton vanishes completely for all scales, which agrees with the linear perturbation analysis in the previous study. In addition, the effects on the gravitational potential due to the next order perturbation are strongly suppressed within the horizon. Therefore, a screening mechanism is no longer needed for consistency with solar-system experiments in the projected massive gravity.


title: Thermal capillary waves on bounded nanoscale thin films

abstract: The effect of confining walls on the fluctuation of a nanoscale thin film's free surface is studied using stochastic thin-film equations (STFEs). Two canonical boundary conditions are employed to reveal the influence of the confinement: (1) an imposed contact angle and (2) a pinned contact line. A linear stability analysis provides the wave eigenmodes, after which thermal-capillary-wave theory predicts the wave fluctuation amplitudes. Molecular dynamics (MD) simulations are performed to test the predictions, and a Langevin diffusion model is proposed to capture oscillations of the contact lines observed in MD simulations. Good agreement between the theoretical predictions and the MD simulation results is recovered, and it is discovered that confinement can influence the entire film. Notably, a constraint on the length scale of wave modes is found to affect fluctuation amplitudes from our theoretical model, especially for 3D films. This opens up challenges and future lines of inquiry.


title: LDMIC: Learning-based Distributed Multi-view Image Coding

abstract: Multi-view image compression plays a critical role in 3D-related applications. Existing methods adopt a predictive coding architecture, which requires joint encoding to compress the corresponding disparity as well as residual information. This demands collaboration among cameras and enforces the epipolar geometric constraint between different views, which makes it challenging to deploy these methods in distributed camera systems with randomly overlapping fields of view. Meanwhile, distributed source coding theory indicates that efficient data compression of correlated sources can be achieved by independent encoding and joint decoding, which motivates us to design a learning-based distributed multi-view image coding (LDMIC) framework. With independent encoders, LDMIC introduces a simple yet effective joint context transfer module based on the cross-attention mechanism at the decoder to effectively capture the global inter-view correlations, which is insensitive to the geometric relationships between images. Experimental results show that LDMIC significantly outperforms both traditional and learning-based MIC methods while enjoying fast encoding speed. Code will be released at https://github.com/Xinjie-Q/LDMIC.


title: Improving Responsiveness to Robots for Tacit Human-Robot Interaction via Implicit and Naturalistic Team Status Projection

abstract: Fluent human-human teaming is often characterized by tacit interaction without explicit communication. This is because explicit communication, such as language utterances and gestures, are inherently interruptive. On the other hand, tacit interaction requires team situation awareness (TSA) to facilitate, which often relies on explicit communication to maintain, creating a paradox. In this paper, we consider implicit and naturalistic team status projection for tacit human-robot interaction. Implicitness minimizes interruption while naturalness reduces cognitive demand, and they together improve responsiveness to robots. We introduce a novel process for such Team status Projection via virtual Shadows, or TPS. We compare our method with two baselines that use explicit projection for maintaining TSA. Results via human factors studies demonstrate that TPS provides a more fluent human-robot interaction experience by significantly improving human responsiveness to robots in tacit teaming scenarios, which suggests better TSA. Participants acknowledged robots implementing TPS as more acceptable as a teammate and favorable. Simultaneously, we demonstrate that TPS is comparable to, and sometimes better than, the best-performing baseline in maintaining accurate TSA


title: Heterogeneous Domain Adaptation for IoT Intrusion Detection: A Geometric Graph Alignment Approach

abstract: Data scarcity hinders the usability of data-dependent algorithms when tackling IoT intrusion detection (IID). To address this, we utilise the data rich network intrusion detection (NID) domain to facilitate more accurate intrusion detection for IID domains. In this paper, a Geometric Graph Alignment (GGA) approach is leveraged to mask the geometric heterogeneities between domains for better intrusion knowledge transfer. Specifically, each intrusion domain is formulated as a graph where vertices and edges represent intrusion categories and category-wise interrelationships, respectively. The overall shape is preserved via a confused discriminator incapable to identify adjacency matrices between different intrusion domain graphs. A rotation avoidance mechanism and a centre point matching mechanism is used to avoid graph misalignment due to rotation and symmetry, respectively. Besides, category-wise semantic knowledge is transferred to act as vertex-level alignment. To exploit the target data, a pseudo-label election mechanism that jointly considers network prediction, geometric property and neighbourhood information is used to produce fine-grained pseudo-label assignment. Upon aligning the intrusion graphs geometrically from different granularities, the transferred intrusion knowledge can boost IID performance. Comprehensive experiments on several intrusion datasets demonstrate state-of-the-art performance of the GGA approach and validate the usefulness of GGA constituting components.


title: Inductive Reasoning for Coinductive Types

abstract: We present AlgCo (Algebraic Coinductives), a practical framework for inductive reasoning over commonly used coinductive types such as conats, streams, and infinitary trees with finite branching factor. The key idea is to exploit the notion of algebraic complete partial order from domain theory to define continuous operations over coinductive types via primitive recursion on ``dense'' collections of their elements, enabling a convenient strategy for reasoning about algebraic coinductives by straightforward proofs by induction. We implement the AlgCo framework in Coq and demonstrate its power by verifying a stream variant of the sieve of Eratosthenes, a regular expression library based on coinductive trie encodings of formal languages, and expected value semantics for coinductive sampling processes over discrete probability distributions in the random bit model.


title: Inner Moreau envelope of nonsmooth conic chance constrained optimization problems

abstract: Optimization problems with uncertainty in the constraints occur in many applications. Particularly, probability functions present a natural form to deal with this situation. Nevertheless, in some cases, the resulting probability functions are nonsmooth. This motivates us to propose a regularization employing the Moreau envelope of a scalar representation of the vector inequality. More precisely, we consider a probability function which covers most of the general classes of probabilistic constraints: $$\varphi(x)=\mathbb{P}(\Phi(x,\xi)\in -\mathcal{K}),$$ where $\mathcal{K}$ is a convex cone of a Banach space. The conic inclusion $\Phi (x,\xi) \in - \mathcal{K}$ represents an abstract system of inequalities, and $\xi$ is a random vector. We propose a regularization by applying the Moreau envelope to the scalarization of the function $\Phi$. In this paper, we demonstrate, under mild assumptions, the smoothness of such a regularization and that it satisfies a type of variational convergence to the original probability function. Consequently, when considering an appropriately structured problem involving probabilistic constraints, we can thus entail the convergence of the minimizers of the regularized approximate problems to the minimizers of the original problem. Finally, we illustrate our results with examples and applications in the field of (nonsmooth) joint, semidefinite and probust chance constrained optimization problems.


title: Asymptotic properties of tensor powers in symmetric tensor categories

abstract: Let G be a group and V a finite dimensional representation of G over an algebraically closed field k of characteristic p>0. Let $d_n(V)$ be the number of indecomposable summands of $V^{\otimes n}$ of nonzero dimension mod p. It is easy to see that there exists a limit $\delta(V):=\lim_{n\to \infty}d_n(V)^{1/n}$, which is positive (and $\ge 1$) iff V has an indecomposable summand of nonzero dimension mod p. We show that in this case the number $$ c(V):=\liminf_{n\to \infty} \frac{d_n(V)}{\delta(V)^n}\in [0,1] $$ is strictly positive and $$ \log (c(V)^{-1})=O(\delta(V)^2), $$ and moreover this holds for any symmetric tensor category over k of moderate growth. Furthermore, we conjecture that in fact $$ \log(c(V)^{-1})=O(\delta(V)) $$ (which would be sharp), and prove this for p=2,3; in particular, for p=2 we show that $c(V)\ge 3^{-\frac{4}{3}\delta(V)+1}$. The proofs are based on the characteristic p version of Deligne's theorem for symmetric tensor categories obtained in earlier work of the authors. We also conjecture a classification of semisimple symmetric tensor categories of moderate growth which is interesting in its own right and implies the above conjecture for all $p$, and illustrate this conjecture by describing the semisimplification of the modular representation category of a cyclic p-group. Finally, we study the asymptotic behavior of the decomposition of $V^{\otimes n}$ in characteristic zero using Deligne's theorem and the Macdonald-Mehta-Opdam identity.


title: New conjecture on exact Dirac zero-modes of lattice fermions

abstract: We propose a new conjecture on the relation between the species doubling of lattice fermions and the topology of manifold on which the fermion action is defined. Our conjecture claims that the maximal number of fermion species on a finite-volume and finite-spacing lattice defined by discretizing a $D$-dimensional manifold is equal to the summation of the Betti numbers of the manifold. We start with reconsidering species doubling of naive fermions on the lattices whose topologies are torus ($T^{D}$), hyperball ($B^D$) and their direct-product space ($T^{D} \times B^{d}$). We find that the maximal number of species is in exact agreement with the sum of Betti numbers $\sum^{D}_{r=0} \beta_{r}$ for these manifolds. Indeed, the $4D$ lattice fermion on torus has up to $16$ species while the sum of Betti numbers of $T^4$ is $16$. This coincidence holds also for the $D$-dimensional hyperball and their direct-product space $T^{D} \times B^{d}$. We study several examples of lattice fermions defined on discretized hypersphere ($S^{D}$), and find that it has up to $2$ species, which is the same number as the sum of Betti numbers of $S^{D}$. From these facts, we conjecture the equivalence of the maximal number of fermion species and the summation of Betti numbers. We discuss a program for proof of the conjecture in terms of Hodge theory and spectral graph theory.


title: Unveiling the Risks of NFT Promotion Scams

abstract: The rapid growth in popularity and hype surrounding digital assets such as art, video, and music in the form of non-fungible tokens (NFTs) has made them a lucrative investment opportunity, with NFT-based sales surpassing $25B in 2021 alone. However, the volatility and general lack of technical understanding of the NFT ecosystem have led to the spread of various scams. The success of an NFT heavily depends on its online virality. As a result, creators use dedicated promotion services to drive engagement to their projects on social media websites, such as Twitter. However, these services are also utilized by scammers to promote fraudulent projects that attempt to steal users' cryptocurrency assets, thus posing a major threat to the ecosystem of NFT sales. In this paper, we conduct a longitudinal study of 439 promotion services (accounts) on Twitter that have collectively promoted 823 unique NFT projects through giveaway competitions over a period of two months. Our findings reveal that more than 36% of these projects were fraudulent, comprising of phishing, rug pull, and pre-mint scams. We also found that a majority of accounts engaging with these promotions (including those for fraudulent NFT projects) are bots that artificially inflate the popularity of the fraudulent NFT collections by increasing their likes, followers, and retweet counts. This manipulation results in significant engagement from real users, who then invest in these scams. We also identify several shortcomings in existing anti-scam measures, such as blocklists, browser protection tools, and domain hosting services, in detecting NFT-based scams. We utilized our findings to develop a machine learning classifier tool that was able to proactively detect 382 new fraudulent NFT projects on Twitter.


title: Relation between the noise correlations and the spin structure factor for Mott-insulating states in SU$(N)$ Hubbard models

abstract: It is well established that the noise correlations measured by time-of-flight imaging in cold-atom experiments, which correspond to the density-density correlations in the momentum space of trapped atomic gases, can probe the spin structure factor deep in the Mott-insulating regime of SU(2) Hubbard models. We explicitly derive the mathematical relation between the noise correlations and the spin structure factor in the strong-interaction limit of SU$(N)$ Hubbard models at any integer filling $\rho$. By calculating the ground states of one-dimensional SU$(N)$ Fermi-Hubbard models for $2\leq N\leq 6$ with use of the density-matrix renormalization-group method, we confirm the relation numerically in the regime of strong interactions $U \gg t$, where $U$ and $t$ denote the onsite interaction and the hopping energy. We show that the deviation between the actual noise correlations and those obtained from the spin structure factor scales as approximately $(t/U)^2$ for $\rho=1$ at intermediate and large lattice sizes on the basis of numeric and semi-analytic arguments.


title: On Dynamic Regret and Constraint Violations in Constrained Online Convex Optimization

abstract: A constrained version of the online convex optimization (OCO) problem is considered. With slotted time, for each slot, first an action is chosen. Subsequently the loss function and the constraint violation penalty evaluated at the chosen action point is revealed. For each slot, both the loss function as well as the function defining the constraint set is assumed to be smooth and strongly convex. In addition, once an action is chosen, local information about a feasible set within a small neighborhood of the current action is also revealed. An algorithm is allowed to compute at most one gradient at its point of choice given the described feedback to choose the next action. The goal of an algorithm is to simultaneously minimize the dynamic regret (loss incurred compared to the oracle's loss) and the constraint violation penalty (penalty accrued compared to the oracle's penalty). We propose an algorithm that follows projected gradient descent over a suitably chosen set around the current action. We show that both the dynamic regret and the constraint violation is order-wise bounded by the {\it path-length}, the sum of the distances between the consecutive optimal actions. Moreover, we show that the derived bounds are the best possible.


title: Low-Resource Compositional Semantic Parsing with Concept Pretraining

abstract: Semantic parsing plays a key role in digital voice assistants such as Alexa, Siri, and Google Assistant by mapping natural language to structured meaning representations. When we want to improve the capabilities of a voice assistant by adding a new domain, the underlying semantic parsing model needs to be retrained using thousands of annotated examples from the new domain, which is time-consuming and expensive. In this work, we present an architecture to perform such domain adaptation automatically, with only a small amount of metadata about the new domain and without any new training data (zero-shot) or with very few examples (few-shot). We use a base seq2seq (sequence-to-sequence) architecture and augment it with a concept encoder that encodes intent and slot tags from the new domain. We also introduce a novel decoder-focused approach to pretrain seq2seq models to be concept aware using Wikidata and use it to help our model learn important concepts and perform well in low-resource settings. We report few-shot and zero-shot results for compositional semantic parsing on the TOPv2 dataset and show that our model outperforms prior approaches in few-shot settings for the TOPv2 and SNIPS datasets.


title: Balanced Allocations with Heterogeneous Bins: The Power of Memory

abstract: We consider the allocation of $m$ balls (jobs) into $n$ bins (servers). In the standard Two-Choice process, at each step $t=1,2,\ldots,m$ we first sample two bins uniformly at random and place a ball in the least loaded bin. It is well-known that for any $m \geq n$, this results in a gap (difference between the maximum and average load) of $\log_2 \log n + \Theta(1)$ (with high probability). In this work, we consider the Memory process [Mitzenmacher, Prabhakar and Shah 2002] where instead of two choices, we only sample one bin per step but we have access to a cache which can store the location of one bin. Mitzenmacher, Prabhakar and Shah showed that in the lightly loaded case ($m = n$), the Memory process achieves a gap of $\mathcal{O}(\log \log n)$. Extending the setting of Mitzenmacher et al. in two ways, we first allow the number of balls $m$ to be arbitrary, which includes the challenging heavily loaded case where $m \geq n$. Secondly, we follow the heterogeneous bins model of Wieder [Wieder 2007], where the sampling distribution of bins can be biased up to some arbitrary multiplicative constant. Somewhat surprisingly, we prove that even in this setting, the Memory process still achieves an $\mathcal{O}(\log \log n)$ gap bound. This is in stark contrast with the Two-Choice (or any $d$-Choice with $d=\mathcal{O}(1)$) process, where it is known that the gap diverges as $m \rightarrow \infty$ [Wieder 2007]. Further, we show that for any sampling distribution independent of $m$ (but possibly dependent on $n$) the Memory process has a gap that can be bounded independently of $m$. Finally, we prove a tight gap bound of $\mathcal{O}(\log n)$ for Memory in another relaxed setting with heterogeneous (weighted) balls and a cache which can only be maintained for two steps.


title: Multi-view Kernel PCA for Time series Forecasting

abstract: In this paper, we propose a kernel principal component analysis model for multi-variate time series forecasting, where the training and prediction schemes are derived from the multi-view formulation of Restricted Kernel Machines. The training problem is simply an eigenvalue decomposition of the summation of two kernel matrices corresponding to the views of the input and output data. When a linear kernel is used for the output view, it is shown that the forecasting equation takes the form of kernel ridge regression. When that kernel is non-linear, a pre-image problem has to be solved to forecast a point in the input space. We evaluate the model on several standard time series datasets, perform ablation studies, benchmark with closely related models and discuss its results.


title: Characterization of supercuspidal representations and very regular elements

abstract: We prove that regular supercuspidal representations of $p$-adic groups are uniquely determined by their character values on very regular elements -- a special class of regular semisimple elements on which character formulae are very simple -- provided that this locus is sufficiently large. As a consequence, we resolve a question of Kaletha by giving a description of Kaletha's $L$-packets of regular supercuspidal representations which mirrors Langlands' construction for real groups following Harish-Chandra's characterization theorem for discrete series representations. Our techniques additionally characterize supercuspidal representations in general, giving $p$-adic analogues of results of Lusztig on reductive groups over finite fields. In particular, we establish an easy, non-cohomological characterization of unipotent supercuspidal representations when the residue field of the base field is sufficiently large.


title: Slice-and-Forge: Making Better Use of Caches for Graph Convolutional Network Accelerators

abstract: Graph convolutional networks (GCNs) are becoming increasingly popular as they can process a wide variety of data formats that prior deep neural networks cannot easily support. One key challenge in designing hardware accelerators for GCNs is the vast size and randomness in their data access patterns which greatly reduces the effectiveness of the limited on-chip cache. Aimed at improving the effectiveness of the cache by mitigating the irregular data accesses, prior studies often employ the vertex tiling techniques used in traditional graph processing applications. While being effective at enhancing the cache efficiency, those approaches are often sensitive to the tiling configurations where the optimal setting heavily depends on target input datasets. Furthermore, the existing solutions require manual tuning through trial-and-error or rely on sub-optimal analytical models. In this paper, we propose Slice-and-Forge (SnF), an efficient hardware accelerator for GCNs which greatly improves the effectiveness of the limited on-chip cache. SnF chooses a tiling strategy named feature slicing that splits the features into vertical slices and processes them in the outermost loop of the execution. This particular choice results in a repetition of the identical computational patterns over irregular graph data over multiple rounds. Taking advantage of such repetitions, SnF dynamically tunes its tile size. Our experimental results reveal that SnF can achieve 1.73x higher performance in geomean compared to prior work on multi-engine settings, and 1.46x higher performance in geomean on small scale settings, without the need for off-line analyses.


title: Some Unpublished Letters by G\"odel and von Neumann in the Fraenkel Archive

abstract: Several letters by Kurt G\"odel and Johann (J\'anos) von Neumann from the (so far uncatalogued) archive of Abraham (Adolf) Fraenkel at the National Library of Israel are published and discussed. These include two fragments by G\"odel of special interest, since they concern the relationship between G\"odel's incompleteness theorem and work by Herbrand, Presburger, and Zermelo, as well as a long letter from von Neumann from 1923 explaining his own approach to the axiomatization of set theory.


title: Mixed Effects Random Forests for Personalised Predictions of Clinical Depression Severity

abstract: This work demonstrates how mixed effects random forests enable accurate predictions of depression severity using multimodal physiological and digital activity data collected from an 8-week study involving 31 patients with major depressive disorder. We show that mixed effects random forests outperform standard random forests and personal average baselines when predicting clinical Hamilton Depression Rating Scale scores (HDRS_17). Compared to the latter baseline, accuracy is significantly improved for each patient by an average of 0.199-0.276 in terms of mean absolute error (p<0.05). This is noteworthy as these simple baselines frequently outperform machine learning methods in mental health prediction tasks. We suggest that this improved performance results from the ability of the mixed effects random forest to personalise model parameters to individuals in the dataset. However, we find that these improvements pertain exclusively to scenarios where labelled patient data are available to the model at training time. Investigating methods that improve accuracy when generalising to new patients is left as important future work.


title: SMART: Self-supervised Multi-task pretrAining with contRol Transformers

abstract: Self-supervised pretraining has been extensively studied in language and vision domains, where a unified model can be easily adapted to various downstream tasks by pretraining representations without explicit labels. When it comes to sequential decision-making tasks, however, it is difficult to properly design such a pretraining approach that can cope with both high-dimensional perceptual information and the complexity of sequential control over long interaction horizons. The challenge becomes combinatorially more complex if we want to pretrain representations amenable to a large variety of tasks. To tackle this problem, in this work, we formulate a general pretraining-finetuning pipeline for sequential decision making, under which we propose a generic pretraining framework \textit{Self-supervised Multi-task pretrAining with contRol Transformer (SMART)}. By systematically investigating pretraining regimes, we carefully design a Control Transformer (CT) coupled with a novel control-centric pretraining objective in a self-supervised manner. SMART encourages the representation to capture the common essential information relevant to short-term control and long-term control, which is transferrable across tasks. We show by extensive experiments in DeepMind Control Suite that SMART significantly improves the learning efficiency among seen and unseen downstream tasks and domains under different learning scenarios including Imitation Learning (IL) and Reinforcement Learning (RL). Benefiting from the proposed control-centric objective, SMART is resilient to distribution shift between pretraining and finetuning, and even works well with low-quality pretraining datasets that are randomly collected.


title: Exploring the Extremes: Characterizing a New Population of Old and Cold Brown Dwarfs

abstract: Mapping out the populations of thick disk and halo brown dwarfs is important for understanding the metallicity dependence of low-temperature atmospheres and the substellar mass function. Recently, a new population of cold and metal-poor brown dwarfs has been discovered, with $T_{\rm{eff}}$ $\lesssim$ 1400 K and metallicity $\lesssim$ $-$1 dex. This population includes what may be the first known "extreme T-type subdwarfs" and possibly the first Y-type subdwarf, WISEA J153429.75$-$104303.3. We have conducted a Gemini YJHK/Ks photometric follow-up campaign targeting potentially metal-poor T and Y dwarfs, utilizing the GNIRS and Flamingos-2 instruments. We present 14 near-infrared photometric detections of 8 unique targets: six T subdwarf candidates, one moderately metal poor Y dwarf candidate, and one Y subdwarf candidate. We have obtained the first ever ground-based detection of the highly anomalous object WISEA J153429.75$-$104303.3. The F110W$-$$J$ color of WISEA J153429.75$-$104303.3 is significantly bluer than that of other late-T and Y dwarfs, indicating that WISEA J153429.75$-$104303.3 has an unusual spectrum in the 0.9-1.4 $\mu$m wavelength range which encompasses the $J$-band peak. Our $J$-band detection of WISEA J153429.75$-$104303.3 and corresponding model comparisons suggest a subsolar metallicity and temperature of 400-550 K for this object. JWST spectroscopic follow-up at near-infrared and mid-infrared wavelengths would allow us to better understand the spectral peculiarities of WISEA J153429.75$-$104303.3, assess its physical properties, and conclusively determine whether or not it is the first Y-type subdwarf.


title: On the convergence of Sobolev gradient flow for the Gross-Pitaevskii eigenvalue problem

abstract: We study the convergences of three projected Sobolev gradient flows to the ground state of the Gross-Pitaevskii eigenvalue problem. They are constructed as the gradient flows of the Gross-Pitaevskii energy functional with respect to the $H^1_0$-metric and two other equivalent metrics on $H_0^1$, including the iterate-independent $a_0$-metric and the iterate-dependent $a_u$-metric. We first prove the energy dissipation property and the global convergence to a critical point of the Gross-Pitaevskii energy for the discrete-time $H^1$ and $a_0$-gradient flow. We also prove local exponential convergence of all three schemes to the ground state.


title: Model Agnostic Sample Reweighting for Out-of-Distribution Learning

abstract: Distributionally robust optimization (DRO) and invariant risk minimization (IRM) are two popular methods proposed to improve out-of-distribution (OOD) generalization performance of machine learning models. While effective for small models, it has been observed that these methods can be vulnerable to overfitting with large overparameterized models. This work proposes a principled method, \textbf{M}odel \textbf{A}gnostic sam\textbf{PL}e r\textbf{E}weighting (\textbf{MAPLE}), to effectively address OOD problem, especially in overparameterized scenarios. Our key idea is to find an effective reweighting of the training samples so that the standard empirical risk minimization training of a large model on the weighted training data leads to superior OOD generalization performance. The overfitting issue is addressed by considering a bilevel formulation to search for the sample reweighting, in which the generalization complexity depends on the search space of sample weights instead of the model size. We present theoretical analysis in linear case to prove the insensitivity of MAPLE to model size, and empirically verify its superiority in surpassing state-of-the-art methods by a large margin. Code is available at \url{https://github.com/x-zho14/MAPLE}.


title: A Stability Analysis of Fine-Tuning a Pre-Trained Model

abstract: Fine-tuning a pre-trained model (such as BERT, ALBERT, RoBERTa, T5, GPT, etc.) has proven to be one of the most promising paradigms in recent NLP research. However, numerous recent works indicate that fine-tuning suffers from the instability problem, i.e., tuning the same model under the same setting results in significantly different performance. Many recent works have proposed different methods to solve this problem, but there is no theoretical understanding of why and how these methods work. In this paper, we propose a novel theoretical stability analysis of fine-tuning that focuses on two commonly used settings, namely, full fine-tuning and head tuning. We define the stability under each setting and prove the corresponding stability bounds. The theoretical bounds explain why and how several existing methods can stabilize the fine-tuning procedure. In addition to being able to explain most of the observed empirical discoveries, our proposed theoretical analysis framework can also help in the design of effective and provable methods. Based on our theory, we propose three novel strategies to stabilize the fine-tuning procedure, namely, Maximal Margin Regularizer (MMR), Multi-Head Loss (MHLoss), and Self Unsupervised Re-Training (SURT). We extensively evaluate our proposed approaches on 11 widely used real-world benchmark datasets, as well as hundreds of synthetic classification datasets. The experiment results show that our proposed methods significantly stabilize the fine-tuning procedure and also corroborate our theoretical analysis.


title: Topological Trajectory Prediction with Homotopy Classes

abstract: Trajectory prediction in a cluttered environment is key to many important robotics tasks such as autonomous navigation. However, there are an infinite number of possible trajectories to consider. To simplify the space of trajectories under consideration, we utilise homotopy classes to partition the space into countably many mathematically equivalent classes. All members within a class demonstrate identical high-level motion with respect to the environment, i.e., travelling above or below an obstacle. This allows high-level prediction of a trajectory in terms of a sparse label identifying its homotopy class. We therefore present a light-weight learning framework based on variable-order Markov processes to learn and predict homotopy classes and thus high-level agent motion. By informing a Gaussian Mixture Model (GMM) with our homotopy class predictions, we see great improvements in low-level trajectory prediction compared to a naive GMM on a real dataset.


title: Spin Dynamics in van der Waals Magnetic Systems

abstract: The discovery of atomic monolayer magnetic materials has stimulated intense research activities in the two-dimensional (2D) van der Waals (vdW) materials community. The field is growing rapidly and there has been a large class of 2D vdW magnetic compounds with unique properties, which provides an ideal platform to study magnetism in the atomically thin limit. In parallel, based on tunneling magnetoresistance and magneto-optical effect in 2D vdW magnets and their heterostructures, emerging concepts of spintronic and optoelectronic applications such as spin tunnel field-effect transistors and spin-filtering devices are explored. While the magnetic ground state has been extensively investigated, reliable characterization and control of spin dynamics play a crucial role in designing ultrafast spintronic devices. Ferromagnetic resonance (FMR) allows direct measurements of magnetic excitations, which provides insight into the key parameters of magnetic properties such as exchange interaction, magnetic anisotropy, gyromagnetic ratio, spin-orbit coupling, damping rate, and domain structure. In this review article, we present an overview of the essential progress in probing spin dynamics of 2D vdW magnets using FMR techniques. Given the dynamic nature of this field, we focus mainly on broadband FMR, optical FMR, and spin-torque FMR, and their applications in studying prototypical 2D vdW magnets. We conclude with the recent advances in laboratory- and synchrotron-based FMR techniques and their opportunities to broaden the horizon of research pathways into atomically thin magnets.


title: Spatial Curvature and Thermodynamics

abstract: Reasonable parametrizations of the current Hubble data set of the expansion rate of our homogeneous and isotropic universe, after suitable smoothing of these data, strongly suggests that the area of the apparent horizon increases irrespective of whether the spatial curvature of the metric is open, flat or closed. Put in another way, any sign of the spatial curvature appears consistent with the second law of thermodynamics.


title: Material-based analysis of spin-orbital Mott insulators

abstract: We present a framework for analyzing Mott insulators using a material-based tight-binding model. We start with a realistic multiorbital Hubbard model and derive an effective model for the localized electrons through the second-order perturbation theory with respect to intersite hopping. This effective model, known as the Kugel-Khomskii model, is described by SU($N$) generators, where $N$ is the number of localized states. We solve this model by the mean-field theory that takes local correlations into account and reveal spin-orbital ordered states. To include spatial correlations, we apply the classical Monte Carlo based on the path-integral approach with SU($N$) coherent states, and also derive the equation of motion for spin-orbital degrees of freedom. Our approach is applicable to any Mott insulator with reasonable computational cost. The $5d$-pyrochlore oxide is used here as demonstration.


title: Exploring Parameter Redundancy in the Unitary Coupled-Cluster Ansatze for Hybrid Variational Quantum Computing

abstract: One of the commonly used chemical-inspired approaches in variational quantum computing is the unitary coupled-cluster (UCC) ansatze. Despite being a systematic way of approaching the exact limit, the number of parameters in the standard UCC ansatze exhibits unfavorable scaling with respect to the system size, hindering its practical use on near-term quantum devices. Efforts have been taken to propose some variants of UCC ansatze with better scaling. In this paper we explore the parameter redundancy in the preparation of unitary coupled-cluster singles and doubles (UCCSD) ansatze employing spin-adapted formulation, small amplitude filtration, and entropy-based orbital selection approaches. Numerical results of using our approach on some small molecules have exhibited a significant cost reduction in the number of parameters to be optimized and in the time to convergence compared with conventional UCCSD-VQE simulations. We also discuss the potential application of some machine learning techniques in further exploring the parameter redundancy, providing a possible direction for future studies.


title: The Geometry of Rank Drop in a Class of Face-Splitting Matrix Products

abstract: Given $k \leq 6$ points $(x_i,y_i) \in \mathbb{P}^2 \times \mathbb{P}^2$, we characterize rank deficiency of the $k \times 9$ matrix $Z_k$ with rows $x_i^\top \otimes y_i^\top$ in terms of the geometry of the point configurations $\{x_i\}$ and $\{y_i\}$. While this question comes from computer vision the answer relies on tools from classical algebraic geometry: For $k \leq 5$, the geometry of the rank-drop locus is characterized by cross-ratios and basic (projective) geometry of point configurations. For the case $k=6$ the rank-drop locus is captured by the classical theory of cubic surfaces.


title: On multiplicative spectral sequences for nerves and the free loop spaces

abstract: We construct a multiplicative spectral sequence converging to the cohomology algebra of the diagonal complex of a bisimplicial set with coefficients in a field. The construction provides a spectral sequence converging to the cohomology algebra of the classifying space of a topological category. By applying the machinery to a Borel construction, we determine explicitly the mod $p$ cohomology algebra of the free loop space of the real projective space for each odd prime $p$. This is highlighted as an important computational example of such a spectral sequence. Moreover, we try to represent generators in the singular de Rham cohomology algebra of the diffeological free loop space of a non-simply connected manifold $M$ with differential forms on the universal cover of $M$ via Chen's iterated integral map.


title: Investigating the variability of Swift-BAT blazars with NICER

abstract: We present results of X-ray spectral and time-domain variability analyses of 4 faint, "quiescent" blazars from the Swift-BAT 105-month catalog. We use observations from a recent, 5-month long NICER campaign, as well as archival BAT data. Variations in the 0.3-2 keV flux are detected on minute, $\sim$weekly, and monthly timescales, but we find that the fractional variability $F_{\rm var}$ on these timescales is $<25\%$ and decreases on longer timescales, implying generally low-amplitude variability across all sources and showing very low variability on monthly timescales ($F_{\rm var}\lesssim13\%$), which is at odds with previous studies that show that blazars are highly variable in the X-rays on a wide range of timescales. Moreover, we find that the flux variability on very short timescales appears to be characterized by long periods of relative quiescence accompanied by occasional short bursts, against the relatively time-stationary nature of the variability of most other AGN light curves. Our analysis also shows that the broadband X-ray spectra (0.3-195 keV) of our sources can be described with different power law models. As is the case with most blazars, we find that 2 sources (2MASS J09343014-1721215 and PKS 0312-770) are well-modeled with a simple power law, while the remaining two (1RXS J225146.9-320614 and PKS 2126-15) exhibit curvature in the form of a log-parabolic power law. We also find that, in addition to the continuum, PKS 2126-15 requires significant absorption at the soft X-rays ($\lesssim$1 keV) to fully describe the observed curvature, possibly due to absorption from the intergalactic medium.