title: ComputableViz: Mathematical Operators as a Formalism for Visualization Processing and Analysis

abstract: Data visualizations are created and shared on the web at an unprecedented speed, raising new needs and questions for processing and analyzing visualizations after they have been generated and digitized. However, existing formalisms focus on operating on a single visualization instead of multiple visualizations, making it challenging to perform analysis tasks such as sorting and clustering visualizations. Through a systematic analysis of previous work, we abstract visualization-related tasks into mathematical operators such as union and propose a design space of visualization operations. We realize the design by developing ComputableViz, a library that supports operations on multiple visualization specifications. To demonstrate its usefulness and extensibility, we present multiple usage scenarios concerning processing and analyzing visualization, such as generating visualization embeddings and automatically making visualizations accessible. We conclude by discussing research opportunities and challenges for managing and exploiting the massive visualizations on the web.


title: Collaborative causal inference with a distributed data-sharing management

abstract: Data sharing barriers are paramount challenges arising from multicenter clinical trials where multiple data sources are stored in a distributed fashion at different local study sites. Merging such data sources into a common data storage for a centralized statistical analysis requires a data use agreement, which is often time-consuming. Data merging may become more burdensome when causal inference is of primary interest because propensity score modeling involves combining many confounding variables, and systematic incorporation of this additional modeling in meta-analysis has not been thoroughly investigated in the literature. We propose a new causal inference framework that avoids the merging of subject-level raw data from multiple sites but needs only the sharing of summary statistics. The proposed collaborative inference enjoys maximal protection of data privacy and minimal sensitivity to unbalanced data distributions across data sources. We show theoretically and numerically that the new distributed causal inference approach has little loss of statistical power compared to the centralized method that requires merging the entire data. We present large-sample properties and algorithms for the proposed method. We illustrate its performance by simulation experiments and a real-world data example on a multicenter clinical trial of basal insulin treatment for reducing the risk of post-transplantation diabetes among kidney-transplant patients.


title: Polynomial Bounds On Parallel Repetition For All 3-Player Games With Binary Inputs

abstract: We prove that for every 3-player (3-prover) game $\mathcal G$ with value less than one, whose query distribution has the support $\mathcal S = \{(1,0,0), (0,1,0), (0,0,1)\}$ of hamming weight one vectors, the value of the $n$-fold parallel repetition $\mathcal G^{\otimes n}$ decays polynomially fast to zero; that is, there is a constant $c = c(\mathcal G)>0$ such that the value of the game $\mathcal G^{\otimes n}$ is at most $n^{-c}$. Following the recent work of Girish, Holmgren, Mittal, Raz and Zhan (STOC 2022), our result is the missing piece that implies a similar bound for a much more general class of multiplayer games: For $\textbf{every}$ 3-player game $\mathcal G$ over $\textit{binary questions}$ and $\textit{arbitrary answer lengths}$, with value less than 1, there is a constant $c = c(\mathcal G)>0$ such that the value of the game $\mathcal G^{\otimes n}$ is at most $n^{-c}$. Our proof technique is new and requires many new ideas. For example, we make use of the Level-$k$ inequalities from Boolean Fourier Analysis, which, to the best of our knowledge, have not been explored in this context prior to our work.


title: Elementary Quantum Geometry

abstract: These Lecture Notes provide an elementary introduction to the quantization of two-dimensional quantum gravity. Nothing beyond undergratuate physics and mathematic is required. Explicit formulas for the partition functions for universes with n boundaries are derived, as well as for the so-called two-point function. The latter shows explicitly that the fractal dimension of a typical two-dimensional quantum universe is four.


title: On the $L_p$ Brunn-Minkowski theory and the $L_p$ Minkowski problem for $C$-coconvex sets

abstract: Let $C$ be a pointed closed convex cone in $\mathbb{R}^n$ with vertex at the origin $o$ and having nonempty interior. The set $A\subset C$ is $C$-coconvex if the volume of $A$ is finite and $A^{\bullet}=C\setminus A$ is a closed convex set. For $0<p<1$, the $p$-co-sum of $C$-coconvex sets is introduced, and the corresponding $L_p$ Brunn-Minkowski inequality for $C$-coconvex sets is established. We also define the $L_p$ surface area measures, for $0\neq p\in \mathbb{R}$, of certain $C$-coconvex sets, which are critical in deriving a variational formula of the volume of the Wulff shape associated with a family of functions obtained from the $p$-co-sum. This motivates the $L_p$ Minkowski problem aiming to characterize the $L_p$ surface area measures of $C$-coconvex sets. The existence of solutions to the $L_p$ Minkowski problem for all $0\neq p\in \mathbb{R}$ is established. The $L_p$ Minkowski inequality for $0<p<1$ is proved and is used to obtain the uniqueness of the solutions to the $L_p$ Minkowski problem for $0<p<1$. For $p=0$, we introduce $(1-\tau)\diamond A_1\oplus_0\tau\diamond A_2$, the log-co-sum of two $C$-coconvex sets $A_{1}$ and $A_{2}$ with respect to $\tau \in(0, 1)$, and prove the log-Brunn-Minkowski inequality of $C$-coconvex sets. The log-Minkowski inequality is also obtained and is applied to prove the uniqueness of the solutions to the log-Minkowski problem that characterizes the cone-volume measures of $C$-coconvex sets. Our result solves an open problem raised by Schneider in [Schneider, Adv. Math., 332 (2018), pp. 199-219].


title: A Differential Evolution-Enhanced Latent Factor Analysis Model for High-dimensional and Sparse Data

abstract: High-dimensional and sparse (HiDS) matrices are frequently adopted to describe the complex relationships in various big data-related systems and applications. A Position-transitional Latent Factor Analysis (PLFA) model can accurately and efficiently represent an HiDS matrix. However, its involved latent factors are optimized by stochastic gradient descent with the specific gradient direction step-by-step, which may cause a suboptimal solution. To address this issue, this paper proposes a Sequential-Group-Differential- Evolution (SGDE) algorithm to refine the latent factors optimized by a PLFA model, thereby achieving a highly-accurate SGDE-PLFA model to HiDS matrices. As demonstrated by the experiments on four HiDS matrices, a SGDE-PLFA model outperforms the state-of-the-art models.


title: CTRLEval: An Unsupervised Reference-Free Metric for Evaluating Controlled Text Generation

abstract: Existing reference-free metrics have obvious limitations for evaluating controlled text generation models. Unsupervised metrics can only provide a task-agnostic evaluation result which correlates weakly with human judgments, whereas supervised ones may overfit task-specific data with poor generalization ability to other datasets. In this paper, we propose an unsupervised reference-free metric called CTRLEval, which evaluates controlled text generation from different aspects by formulating each aspect into multiple text infilling tasks. On top of these tasks, the metric assembles the generation probabilities from a pre-trained language model without any model training. Experimental results show that our metric has higher correlations with human judgments than other baselines, while obtaining better generalization of evaluating generated texts from different models and with different qualities.


title: Nearby Young Stars and Young Moving Groups

abstract: The past two decades have seen dramatic progress in our knowledge of the population of stars of age $\lesssim$150 Myr that lie within $\sim$100 pc of the Sun. Most such stars are found in loose kinematic groups ("nearby young moving groups"; NYMGs). The proximity of NYMGs and their members facilitates studies of the X-ray properties of coeval groups of pre-main sequence (pre-MS) stars as well as of individual pre-MS systems. In this review, we focus on how NYMG X-ray studies provide unique insight into the early evolution of stellar magnetic activity, the X-ray signatures of accretion, and the irradiation and dissipation of protoplanetary disks by high-energy photons originating with their host pre-MS stars. We discuss the likely impacts of the next generation of X-ray observing facilities on these aspects of the study of NYMGs and their members.


title: Noncommutative Geometry of the Quantum Disk

abstract: We discuss various aspects of noncommutative geometry of a smooth subalgebra of the Toeplitz algebra. In particular, we study the structure of derivations on this subalgebra.


title: UrbanFly: Uncertainty-Aware Planning for Navigation Amongst High-Rises with Monocular Visual-Inertial SLAM Maps

abstract: We present UrbanFly: an uncertainty-aware real-time planning framework for quadrotor navigation in urban high-rise environments. A core aspect of UrbanFly is its ability to robustly plan directly on the sparse point clouds generated by a Monocular Visual Inertial SLAM (VINS) backend. It achieves this by using the sparse point clouds to build an uncertainty-integrated cuboid representation of the environment through a data-driven monocular plane segmentation network. Our chosen world model provides faster distance queries than the more common voxel-grid representation, and UrbanFly leverages this capability in two different ways leading to two trajectory optimizers. The first optimizer uses a gradient-free cross-entropy method to compute trajectories that minimize collision probability and smoothness cost. Our second optimizer is a simplified version of the first and uses a sequential convex programming optimizer initialized based on probabilistic safety estimates on a set of randomly drawn trajectories. Both our trajectory optimizers are made computationally tractable and independent of the nature of underlying uncertainty by embedding the distribution of collision violations in Reproducing Kernel Hilbert Space. Empowered by the algorithmic innovation, UrbanFly outperforms competing baselines in metrics such as collision rate, trajectory length, etc., on a high-fidelity AirSim simulator augmented with synthetic and real-world dataset scenes.


title: Naturally small Yukawa couplings from trans-Planckian asymptotic safety

abstract: In gauge-Yukawa systems embedded in the framework of trans-Planckian asymptotic safety we discuss the dynamical generation of arbitrarily small Yukawa couplings driven by the presence of a non-interactive infrared-attractive fixed point in the renormalization group flow. Additional ultraviolet-attractive fixed points guarantee that the theory remains well defined up to an infinitely high scale. We apply this mechanism to the Yukawa couplings of the Standard Model extended with right-handed neutrinos, finding that asymptotically safe solutions in agreement with the current experimental determination of the masses and mixing angles exist for Dirac neutrinos with normal mass ordering. We generalize the discussion by applying the same mechanism to a new-physics model with sterile-neutrino dark matter, where we generate naturally the feeble Yukawa interaction required to reproduce via freeze-in the correct relic abundance.


title: On characterization of the exponential distribution via hypoexponential distributions

abstract: The sum of independent, but not necessary identically distributed, exponential random variables follows hypoexponential distribution. We focus on a particular case when all, but one rate parameters of the exponential variables are identical. this is known as exponentially modified Erlang distribution in molecular biology. We prove a characterization of the exponential distribution, which complements previous characterizations via hypoexponential distribution with all rates different from each other.


title: Structural and magnetic properties of the quasicrystal approximant Au$_{65}$Ga$_{21}$Tb$_{14}$

abstract: Magnetic properties of the quasicrystal approximant Au$_{65}$Ga$_{21}$Tb$_{14}$ were investigated by the magnetization and the neutron diffraction experiments. The temperature dependences of the magnetic susceptibility and the magnetization curve indicate dominant ferromagnetic interactions, while the whirling antiferromagnetic order was found from the neutron diffraction experiments. In the antiferromagnetic phase, the magnetic moments are aligned almost perpendicular to a pseudo five-fold symmetry axis, which should correspond to the easy-axis direction of a Tb atom. The magnetic properties similar to those of Au$_{72}$Al$_{14}$Tb$_{14}$ in spite of the difference in the electron-per-atom ratio suggest the robustness of the easy-axis anisotropy against the chemical substitution of the nonmagnetic atoms.


title: Entropic measure of directional emissions in microcavity lasers

abstract: We propose a noble notion of the directional emission in microcavity lasers. First, Shannon entropy of the far-field profiles in the polar coordinate can quantify the degree of unidirectionality of the emission, while previous notions about the unidirectionality can not efficiently measure in the robust range against a variation of the deformation parameter. Second, a divergence angle of the directional emission is defined phenomenologically in terms of full width at half maximum, and it is barely applicable to a complicated peak structure. However, Shannon entropy of semi-marginal probability of the far-field profiles in the cartesian coordinate can present equivalent results, and moreover it is applicable to even the cases with a complicated peak structure of the emission.


title: Differential Cost Analysis with Simultaneous Potentials and Anti-potentials

abstract: We present a novel approach to differential cost analysis that, given a program revision, attempts to statically bound the difference in resource usage, or cost, between the two program versions. Differential cost analysis is particularly interesting because of the many compelling applications for it, such as detecting resource-use regressions at code-review time or proving the absence of certain side-channel vulnerabilities. One prior approach to differential cost analysis is to apply relational reasoning that conceptually constructs a product program on which one can over-approximate the difference in costs between the two program versions. However, a significant challenge in any relational approach is effectively aligning the program versions to get precise results. In this paper, our key insight is that we can avoid the need for and the limitations of program alignment if, instead, we bound the difference of two cost-bound summaries rather than directly bounding the concrete cost difference. In particular, our method computes a threshold value for the maximal difference in cost between two program versions simultaneously using two kinds of cost-bound summaries -- a potential function that evaluates to an upper bound for the cost incurred in the first program and an anti-potential function that evaluates to a lower bound for the cost incurred in the second. Our method has a number of desirable properties: it can be fully automated, it allows optimizing the threshold value on relative cost, it is suitable for programs that are not syntactically similar, and it supports non-determinism. We have evaluated an implementation of our approach on a number of program pairs collected from the literature, and we find that our method computes tight threshold values on relative cost in most examples.


title: Accurate Online Posterior Alignments for Principled Lexically-Constrained Decoding

abstract: Online alignment in machine translation refers to the task of aligning a target word to a source word when the target sequence has only been partially decoded. Good online alignments facilitate important applications such as lexically constrained translation where user-defined dictionaries are used to inject lexical constraints into the translation model. We propose a novel posterior alignment technique that is truly online in its execution and superior in terms of alignment error rates compared to existing methods. Our proposed inference technique jointly considers alignment and token probabilities in a principled manner and can be seamlessly integrated within existing constrained beam-search decoding algorithms. On five language pairs, including two distant language pairs, we achieve consistent drop in alignment error rates. When deployed on seven lexically constrained translation tasks, we achieve significant improvements in BLEU specifically around the constrained positions.


title: Calibration window selection based on change-point detection for forecasting electricity prices

abstract: We employ a recently proposed change-point detection algorithm, the Narrowest-Over-Threshold (NOT) method, to select subperiods of past observations that are similar to the currently recorded values. Then, contrarily to the traditional time series approach in which the most recent $\tau$ observations are taken as the calibration sample, we estimate autoregressive models only for data in these subperiods. We illustrate our approach using a challenging dataset - day-ahead electricity prices in the German EPEX SPOT market - and observe a significant improvement in forecasting accuracy compared to commonly used approaches, including the Autoregressive Hybrid Nearest Neighbors (ARHNN) method.


title: Acoustic-to-articulatory Inversion based on Speech Decomposition and Auxiliary Feature

abstract: Acoustic-to-articulatory inversion (AAI) is to obtain the movement of articulators from speech signals. Until now, achieving a speaker-independent AAI remains a challenge given the limited data. Besides, most current works only use audio speech as input, causing an inevitable performance bottleneck. To solve these problems, firstly, we pre-train a speech decomposition network to decompose audio speech into speaker embedding and content embedding as the new personalized speech features to adapt to the speaker-independent case. Secondly, to further improve the AAI, we propose a novel auxiliary feature network to estimate the lip auxiliary features from the above personalized speech features. Experimental results on three public datasets show that, compared with the state-of-the-art only using the audio speech feature, the proposed method reduces the average RMSE by 0.25 and increases the average correlation coefficient by 2.0% in the speaker-dependent case. More importantly, the average RMSE decreases by 0.29 and the average correlation coefficient increases by 5.0% in the speaker-independent case.


title: Compressible Velocity Transformations for Various Noncanonical Wall-Bounded Turbulent Flows

abstract: This work assesses several popular transformations for the velocity profile through their application to several types of non-canonical compressible wall-bounded turbulent flows. Specifically, this work explores DNS databases of high-enthalpy boundary layers with dissociation and vibrational excitation, supercritical channel and boundary-layer flows, and adiabatic boundary layers with pressure gradients. The transformations considered include the van Driest [Van Driest, J. Aeronaut. Sci., 18(1951):145-216], Zhang et al. [Zhang et al., Phys. Rev. Lett., 109(2012):054502], Trettel-Larsson [Trettel and Larsson, Phys. Fluids, 28(2016):026102], data-driven [Volpiani et al., Phys. Rev. Fluids, 5(2020):052602], and total-stress-based [Griffin et al., Proc. Natl. Acad. Sci. U.S.A., 118(2021):e2111144118] transformations. The Trettel-Larsson transformation collapses velocity profiles of high-enthalpy temporal boundary layers but not the spatial boundary layers considered. For supercritical channel flows, the Trettel-Larsson transformation also performs well over the entire inner layer. None of the transformations above works for supercritical boundary layers. For all the considered methods, the transformed velocity profiles of boundary layers with weak pressure gradients coincide well with the universal incompressible law of the wall. In summary, all these popular methods fail to deliver uniform performance for non-canonical compressible wall-bounded flows in the logarithmic region, and a more sophisticated version, which accounts for these different physics, is needed. The data-driven and total-stress-based transformations perform well in the viscous sublayer for all the considered flows.


title: Lower bound for entropy production rate in stochastic systems far from equilibrium

abstract: We show that the Schnakenberg's entropy production rate in a master equation is lower bounded by a function of the weight of the Markov graph, here defined as the sum of the absolute values of probability currents over the edges. The result is valid for time-dependent nonequilibrium entropy production rates. Moreover, in a general framework, we prove a theorem showing that the Kullback-Leibler divergence between distributions $P(s)$ and $P'(s):=P(m(s))$, where $m$ is an involution, $m(m(s))=s$, is lower bounded by a function of the total variation of $P$ and $P'$, for any $m$. The bound is tight and it improves on Pinsker's inequality for this setup. This result illustrates a connection between nonequilibrium thermodynamics and graph theory with interesting applications.

categories: cond-mat.stat-mech math-ph math.MP physics.data-an


title: Spectrum of Primordial Gravitational Waves in Modified Gravities: A Short Overview

abstract: In this work we shall exhaustively study the effects of modified gravity on the energy spectrum of the primordial gravitational waves background. S. Weinberg has also produced significant works related to the primordial gravitational waves with the most important one being the effects of neutrinos on primordial gravitational waves. With this sort review, our main aim is to gather all the necessary information for studying the effects of modified gravity on primordial gravitational waves in a concrete and quantitative way and in a single paper. After reviewing all the necessary techniques for extracting the general relativistic energy spectrum, and how to obtain in a WKB way the modified gravity damping or amplifying factor, we concentrate on specific forms of modified gravity of interest. The most important parameter involved for the calculation of the effects of modified gravity on the energy spectrum is the parameter $a_M$ which we calculate for the cases of $f(R,\phi)$ gravity, Chern-Simons-corrected $f(R,\phi)$ gravity, Einstein-Gauss-Bonnet-corrected $f(R,\phi)$ gravity, and higher derivative extended Einstein-Gauss-Bonnet-corrected $f(R,\phi)$ gravity. The exact forms of $a_M$ is presented explicitly for the first time in the literature. With regard to Einstein-Gauss-Bonnet-corrected $f(R,\phi)$ gravity, and higher derivative extended Einstein-Gauss-Bonnet-corrected $f(R,\phi)$ gravity theories, we focus on the case that the gravitational wave propagating speed is equal to that of light's in vacuum. We provide expressions for $a_M$ expressed in terms of the cosmic time and in terms of the redshift, which can be used directly for the numerical calculation of the effect of modified gravity on the primordial gravitational wave energy spectrum.


title: An improved one-dimensional Hardy inequality

abstract: We prove a one-dimensional Hardy inequality on the halfline with sharp constant, which improves the classical form of this inequality. As a consequence of this new inequality we can rederive known doubly weighted Hardy inequalities. Our motivation comes from the theory of Schr\"odinger operators and we explain the use of Hardy inequalities in that context.


title: Find Another Me Across the World -- Large-scale Semantic Trajectory Analysis Using Spark

abstract: In today's society, location-based services are widely used which collect a huge amount of human trajectories. Analyzing semantic meanings of these trajectories can benefit numerous real-world applications, such as product advertisement, friend recommendation, and social behavior analysis. However, existing works on semantic trajectories are mostly centralized approaches that are not able to keep up with the rapidly growing trajectory collections. In this paper, we propose a novel large-scale semantic trajectory analysis algorithm in Apache Spark. We design a new hash function along with efficient distributed algorithms that can quickly compute semantic trajectory similarities and identify communities of people with similar behavior across the world. The experimental results show that our approach is more than 30 times faster than centralized approaches without sacrificing any accuracy like other parallel approaches.


title: Co-VQA : Answering by Interactive Sub Question Sequence

abstract: Most existing approaches to Visual Question Answering (VQA) answer questions directly, however, people usually decompose a complex question into a sequence of simple sub questions and finally obtain the answer to the original question after answering the sub question sequence(SQS). By simulating the process, this paper proposes a conversation-based VQA (Co-VQA) framework, which consists of three components: Questioner, Oracle, and Answerer. Questioner raises the sub questions using an extending HRED model, and Oracle answers them one-by-one. An Adaptive Chain Visual Reasoning Model (ACVRM) for Answerer is also proposed, where the question-answer pair is used to update the visual representation sequentially. To perform supervised learning for each model, we introduce a well-designed method to build a SQS for each question on VQA 2.0 and VQA-CP v2 datasets. Experimental results show that our method achieves state-of-the-art on VQA-CP v2. Further analyses show that SQSs help build direct semantic connections between questions and images, provide question-adaptive variable-length reasoning chains, and with explicit interpretability as well as error traceability.


title: SciNoBo : A Hierarchical Multi-Label Classifier of Scientific Publications

abstract: Classifying scientific publications according to Field-of-Science (FoS) taxonomies is of crucial importance, allowing funders, publishers, scholars, companies and other stakeholders to organize scientific literature more effectively. Most existing works address classification either at venue level or solely based on the textual content of a research publication. We present SciNoBo, a novel classification system of publications to predefined FoS taxonomies, leveraging the structural properties of a publication and its citations and references organised in a multilayer network. In contrast to other works, our system supports assignments of publications to multiple fields by considering their multidisciplinarity potential. By unifying publications and venues under a common multilayer network structure made up of citing and publishing relationships, classifications at the venue-level can be augmented with publication-level classifications. We evaluate SciNoBo on a publications' dataset extracted from Microsoft Academic Graph and we perform a comparative analysis against a state-of-the-art neural-network baseline. The results reveal that our proposed system is capable of producing high-quality classifications of publications.


title: Simultaneous evidence of edge collapse and hub-filament configurations: A rare case study of a Giant Molecular Filament G45.3+0.1

abstract: We study multiwavelength and multiscale data to investigate the kinematics of molecular gas associated with the star-forming complexes G045.49+00.04 (G45E) and G045.14+00.14 (G45W) in the Aquila constellation. An analysis of the FUGIN $^{13}$CO(1-0) line data unveils the presence of a giant molecular filament (GMF G45.3+0.1; length $\sim$75 pc, mass $\sim$1.1$\times$10$^{6}$ M$_{\odot}$) having a coherent velocity structure at [53, 63] km s$^{-1}$. The GMF G45.3+0.1 hosts G45E and G45W complexes at its opposite ends. We find large scale velocity oscillations along GMF G45.3+0.1, which also reveals the linear velocity gradients of $-$0.064 and $+$0.032 km s$^{-1}$ pc$^{-1}$ at its edges. The photometric analysis of point-like sources shows the clustering of young stellar object (YSO) candidate sources at the filament's edges where the presence of dense gas and HII regions are also spatially observed. The Herschel continuum maps along with the CHIMPS $^{13}$CO(3-2) line data unravel the presence of parsec scale hub-filament systems (HFSs) in both the sites, G45E and G45W. Our study suggests that the global collapse of GMF G45.3+0.1 is end-dominated, with addition to the signature of global nonisotropic collapse (GNIC) at the edges. Overall, GMF G45.3+0.1 is the first observational sample of filament where the edge collapse and the hub-filament configurations are simultaneously investigated. These observations open up the new possibility of massive star formation, including the formation of HFSs.


title: Chiral-anomaly-driven magnetotransport in the correlated Weyl magnet Mn$_3$Sn

abstract: The quest for topological states in strongly correlated materials is challenging but essential from fundamental research and application perspectives. The magnetic Weyl semimetal (WSM) state in the chiral antiferromagnet Mn$_3$Sn emerges with strong electronic correlations, offering an intriguing arena for exploring the interplay between Weyl fermions and correlation physics. One prominent characteristic of the WSM state is the chiral anomaly, yet the potential effects of electronic correlations on the chiral anomaly remain unexplored. Here, we report a comprehensive study of the in-plane magnetotransport properties of single-crystal Mn$_{3+x}$Sn$_{1-x}$ with three different Mn doping levels ($x=0.053$, 0.070, and 0.090). The excess Mn leads to glassy ferromagnetic behavior and the Kondo effect, aside from shifting the chemical potential relative to the Weyl nodes. Thus, systematic tuning of the Mn doping level enables us to study the interplay between the spin-fluctuation scatterings, the correlation effect, and the chiral anomaly. We identify negative longitudinal magnetoresistance and planar Hall effect specific to the chiral anomaly for all three doping levels, indicating that the chiral anomaly persists in the presence of strong correlations.


title: Electricity Price Forecasting: The Dawn of Machine Learning

abstract: Electricity price forecasting (EPF) is a branch of forecasting on the interface of electrical engineering, statistics, computer science, and finance, which focuses on predicting prices in wholesale electricity markets for a whole spectrum of horizons. These range from a few minutes (real-time/intraday auctions and continuous trading), through days (day-ahead auctions), to weeks, months or even years (exchange and over-the-counter traded futures and forward contracts). Over the last 25 years, various methods and computational tools have been applied to intraday and day-ahead EPF. Until the early 2010s, the field was dominated by relatively small linear regression models and (artificial) neural networks, typically with no more than two dozen inputs. As time passed, more data and more computational power became available. The models grew larger to the extent where expert knowledge was no longer enough to manage the complex structures. This, in turn, led to the introduction of machine learning (ML) techniques in this rapidly developing and fascinating area. Here, we provide an overview of the main trends and EPF models as of 2022.


title: Optical modelling of accommodative light field display system and prediction of human eye responses

abstract: The spatio-angular resolution of a light field (LF) display is a crucial factor for delivering adequate spatial image quality and eliciting an accommodation response. Previous studies have modelled retinal image formation with an LF display and evaluated whether accommodation would be evoked correctly. The models were mostly based on ray-tracing and a schematic eye model, which pose computational complexity and inaccurately represent the human eye population's behaviour. We propose an efficient wave-optics-based framework to model the human eye and a general LF display. With the model, we simulated the retinal point spread function (PSF) of a point rendered by an LF display at various depths to characterise the retinal image quality. Additionally, accommodation responses to rendered LF images were estimated by computing the visual Strehl ratio based on the optical transfer function (VSOTF) from the PSFs. We assumed an ideal LF display that had an infinite spatial resolution and was free from optical aberrations in the simulation. We tested images rendered at 0--4 dioptres of depths having angular resolutions of up to 4x4 viewpoints within a pupil. The simulation predicted small and constant accommodation errors, which contradict the findings of previous studies. An evaluation of the optical resolution of the rendered retinal image suggested a trade-off between the maximum resolution achievable and the depth range of a rendered image where in-focus resolution is kept high. The proposed framework can be used to evaluate the upper bound of the optical performance of an LF display for realistically aberrated eyes, which may help to find an optimal spatio-angular resolution required to render a high quality 3D scene.


title: Inverse is Better! Fast and Accurate Prompt for Few-shot Slot Tagging

abstract: Prompting methods recently achieve impressive success in few-shot learning. These methods modify input samples with prompt sentence pieces, and decode label tokens to map samples to corresponding labels. However, such a paradigm is very inefficient for the task of slot tagging. Since slot tagging samples are multiple consecutive words in a sentence, the prompting methods have to enumerate all n-grams token spans to find all the possible slots, which greatly slows down the prediction. To tackle this, we introduce an inverse paradigm for prompting. Different from the classic prompts mapping tokens to labels, we reversely predict slot values given slot types. Such inverse prompting only requires a one-turn prediction for each slot type and greatly speeds up the prediction. Besides, we propose a novel Iterative Prediction Strategy, from which the model learns to refine predictions by considering the relations between different slot types. We find, somewhat surprisingly, the proposed method not only predicts faster but also significantly improves the effect (improve over 6.1 F1-scores on 10-shot setting) and achieves new state-of-the-art performance.


title: A general mathematical framework for constrained mixed-variable blackbox optimization problems with meta and categorical variables

abstract: A mathematical framework for modelling constrained mixed-variable optimization problems is presented in a blackbox optimization context. The framework introduces a new notation and allows solution strategies. The notation framework allows meta and categorical variables to be explicitly and efficiently modelled, which facilitates the solution of such problems. The new term meta variables is used to describe variables that influence which variables are acting or nonacting: meta variables may affect the number of variables and constraints. The flexibility of the solution strategies supports the main blackbox mixed-variable optimization approaches: direct search methods and surrogate-based methods (Bayesian optimization). The notation system and solution strategies are illustrated through an example of a hyperparameter optimization problem from the machine learning community.


title: Dimensionless machine learning: Imposing exact units equivariance

abstract: Units equivariance (or units covariance) is the exact symmetry that follows from the requirement that relationships among measured quantities of physics relevance must obey self-consistent dimensional scalings. Here, we express this symmetry in terms of a (non-compact) group action, and we employ dimensional analysis and ideas from equivariant machine learning to provide a methodology for exactly units-equivariant machine learning: For any given learning task, we first construct a dimensionless version of its inputs using classic results from dimensional analysis, and then perform inference in the dimensionless space. Our approach can be used to impose units equivariance across a broad range of machine learning methods which are equivariant to rotations and other groups. We discuss the in-sample and out-of-sample prediction accuracy gains one can obtain in contexts like symbolic regression and emulation, where symmetry is important. We illustrate our approach with simple numerical examples involving dynamical systems in physics and ecology.


title: Learning List-wise Representation in Reinforcement Learning for Ads Allocation with Multiple Auxiliary Tasks

abstract: With the recent prevalence of reinforcement learning (RL), there have been tremendous interests in utilizing RL for ads allocation in recommendation platforms (e.g., e-commerce and news feed sites). To achieve better allocation, the input of recent RL-based ads allocation methods is upgraded from point-wise single item to list-wise item arrangement. However, this also results in a high-dimensional space of state-action pairs, making it difficult to learn list-wise representations with good generalization ability. This further hinders the exploration of RL agents and causes poor sample efficiency. To address this problem, we propose a novel RL-based approach for ads allocation which learns better list-wise representations by leveraging task-specific signals on Meituan food delivery platform. Specifically, we propose three different auxiliary tasks based on reconstruction, prediction, and contrastive learning respectively according to prior domain knowledge on ads allocation. We conduct extensive experiments on Meituan food delivery platform to evaluate the effectiveness of the proposed auxiliary tasks. Both offline and online experimental results show that the proposed method can learn better list-wise representations and achieve higher revenue for the platform compared to the state-of-the-art baselines.


title: Moment-based Adversarial Training for Embodied Language Comprehension

abstract: In this paper, we focus on a vision-and-language task in which a robot is instructed to execute household tasks. Given an instruction such as "Rinse off a mug and place it in the coffee maker," the robot is required to locate the mug, wash it, and put it in the coffee maker. This is challenging because the robot needs to break down the instruction sentences into subgoals and execute them in the correct order. On the ALFRED benchmark, the performance of state-of-the-art methods is still far lower than that of humans. This is partially because existing methods sometimes fail to infer subgoals that are not explicitly specified in the instruction sentences. We propose Moment-based Adversarial Training (MAT), which uses two types of moments for perturbation updates in adversarial training. We introduce MAT to the embedding spaces of the instruction, subgoals, and state representations to handle their varieties. We validated our method on the ALFRED benchmark, and the results demonstrated that our method outperformed the baseline method for all the metrics on the benchmark.


title: From Simulated Mixtures to Simulated Conversations as Training Data for End-to-End Neural Diarization

abstract: End-to-end neural diarization (EEND) is nowadays one of the most prominent research topics in speaker diarization. EEND presents an attractive alternative to standard cascaded diarization systems since a single system is trained at once to deal with the whole diarization problem. Several EEND variants and approaches are being proposed, however, all these models require large amounts of annotated data for training but available annotated data are scarce. Thus, EEND works have used mostly simulated mixtures for training. However, simulated mixtures do not resemble real conversations in many aspects. In this work we present an alternative method for creating synthetic conversations that resemble real ones by using statistics about distributions of pauses and overlaps estimated on genuine conversations. Furthermore, we analyze the effect of the source of the statistics, different augmentations and amounts of data. We demonstrate that our approach performs substantially better than the original one, while reducing the dependence on the fine-tuning stage. Experiments are carried out on 2-speaker telephone conversations of Callhome and DIHARD 3. Together with this publication, we release our implementations of EEND and the method for creating simulated conversations.


title: A Free Lunch to Person Re-identification: Learning from Automatically Generated Noisy Tracklets

abstract: A series of unsupervised video-based re-identification (re-ID) methods have been proposed to solve the problem of high labor cost required to annotate re-ID datasets. But their performance is still far lower than the supervised counterparts. In the mean time, clean datasets without noise are used in these methods, which is not realistic. In this paper, we propose to tackle this problem by learning re-ID models from automatically generated person tracklets by multiple objects tracking (MOT) algorithm. To this end, we design a tracklet-based multi-level clustering (TMC) framework to effectively learn the re-ID model from the noisy person tracklets. First, intra-tracklet isolation to reduce ID switch noise within tracklets; second, alternates between using inter-tracklet association to eliminate ID fragmentation noise and network training using the pseudo label. Extensive experiments on MARS with various manually generated noises show the effectiveness of the proposed framework. Specifically, the proposed framework achieved mAP 53.4% and rank-1 63.7% on the simulated tracklets with strongest noise, even outperforming the best existing method on clean tracklets. Based on the results, we believe that building re-ID models from automatically generated noisy tracklets is a reasonable approach and will also be an important way to make re-ID models feasible in real-world applications.


title: Dilepton production from chirally asymmetric matter

abstract: We evaluate the dilepton production rate (DPR) from hot and dense chirally asymmetric quark matter. The presence of a finite chiral chemical potential (CCP) in the electromagnetic spectral function results in the appearance of new cut structures signifying additional scattering processes in the medium which leads to a significant enhancement in the DPR at lower values of invariant mass. The constituent quark mass evaluated using a 3-flavour Nambu--Jona-Lasinio model is also non-trivially affected by the CCP. These are found to result in a continuous dilepton production rate as a function of the invariant mass for higher values of temperature and baryonic chemical potential.


title: On resolution coresets for constrained clustering

abstract: Specific data compression techniques, formalized by the concept of coresets, proved to be powerful for many optimization problems. In fact, while tightly controlling the approximation error, coresets may lead to significant speed up of the computations and hence allow to extend algorithms to much larger problem sizes. The present paper deals with a weight-balanced clustering problem from imaging in materials science. Here, the class of desired coresets is naturally confined to those which can be viewed as lowering the resolution of the data. Hence one would expect that such resolution coresets are inferior to unrestricted coreset. We show, however, that the restrictions are more than compensated by utilizing the underlying structure of the data. In particular, we prove bounds for resolution coresets which improve known bounds in the relevant dimensions and also lead to significantly faster algorithms practice.


title: The Price of COVID-19 Risk in a Public University

abstract: We study the allocation of and compensation for occupational COVID-19 risk at Auburn University, a large public university in the U.S. In Spring 2021, approximately half of the face-to-face classes had enrollments above the legal capacity allowed by a public health order, which followed CDC social distancing guidelines. We find lower-ranked graduate student teaching assistants and adjunct instructors were systematically recruited to deliver riskier classes. Using an IV strategy in which teaching risk is shifted by classroom features (geometry and furniture), we show instructors who taught at least one risky class earned $7,400 more than those who did not.


title: Class-Incremental Learning by Knowledge Distillation with Adaptive Feature Consolidation

abstract: We present a novel class incremental learning approach based on deep neural networks, which continually learns new tasks with limited memory for storing examples in the previous tasks. Our algorithm is based on knowledge distillation and provides a principled way to maintain the representations of old models while adjusting to new tasks effectively. The proposed method estimates the relationship between the representation changes and the resulting loss increases incurred by model updates. It minimizes the upper bound of the loss increases using the representations, which exploits the estimated importance of each feature map within a backbone model. Based on the importance, the model restricts updates of important features for robustness while allowing changes in less critical features for flexibility. This optimization strategy effectively alleviates the notorious catastrophic forgetting problem despite the limited accessibility of data in the previous tasks. The experimental results show significant accuracy improvement of the proposed algorithm over the existing methods on the standard datasets. Code is available.


title: Equity, diversity, and inclusion in sports analytics

abstract: This paper presents a landmark study of equity, diversity and inclusion (EDI) in the field of sports analytics. We developed a survey that examined personal and job-related demographics, as well as individual perceptions and experiences about EDI in the workplace. We sent the survey to individuals in the five major North American professional leagues, representatives from the Olympic and Paralympic Committees in Canada and the U.S., the NCAA Division I programs, companies in sports tech/analytics, and university research groups. Our findings indicate the presence of a clear dominant group in sports analytics identifying as: young (72.0%), White (69.5%), heterosexual (89.7%) and male (82.0%). Within professional sports, males in management positions earned roughly 30,000 USD (27%) more on average compared to females. A smaller but equally alarming pay gap of 17,000 USD (14%) was found between White and non-White management personnel. Of concern, females were nearly five times as likely to experience discrimination and twice as likely to have considered leaving their job due to isolation or feeling unwelcome. While they had similar levels of agreement regarding fair processes for rewards and compensation, females "strongly agreed" less often than males regarding equitable support, equitable workload, having a voice, and being taken seriously. Over one third (36.3%) of females indicated that they "strongly agreed" that they must work harder than others to be valued equally, compared to 9.8% of males. We conclude the paper with concrete recommendations that could be considered to create a more equitable, diverse and inclusive environment for individuals working within the sports analytics sector.


title: Photon regions, shadow observables and constraints from M87* of a charged rotating black hole

abstract: Inspired by the observations of supermassive black hole M87* in \emph{Event Horizon Telescope }(EHT) experiment, a remarkable surge in black hole physics is to use the black hole shadow's observables to distinguish general relativity (GR) and modified theories of gravity (MoG), which could also help to disclose the astrophysical nature of the center black hole in EHT observation. In this paper, we shall extensively carry out the study of a charged rotating black hole in conformal gravity, in which the term related with the charge has different falloffs from the usual Kerr-Newman (KN) black hole. We investigate the spacetime properties including the horizons, ergospheres and the photon regions; afterward, we show the boundary of black hole shadow and investigate its characterized observables. The features closely depend on the spin and charge parameters, which are compared with those in Kerr and KN black holes. Then presupposing the M87* a charged rotating black hole in conformal gravity, we also constrain the black hole parameters via the observation constraints from EHT experiment. We find that the constraints on the inferred circularity deviation, $\Delta C \lesssim 0.1$, and on the shadow axial ratio, $1< D_x \lesssim 4/3$, for the M87* black hole are satisfied for the entire parameter space of the charged rotating black hole in conformal gravity. However, the shadow angular diameter $\theta_d = 42 \pm 3 \mu as$ will give upper bound on the parameter space. Our findings indicate that the current charged rotating black hole in conformal gravity could be a candidate for astrophysical black holes. Moreover, the EHT observation on the axial ratio $D_x$ may help us to distinguish Kerr black hole and the current charged rotating black hole in conformal gravity in some parameter space.


title: Hierarchical Reinforcement Learning under Mixed Observability

abstract: The framework of mixed observable Markov decision processes (MOMDP) models many robotic domains in which some state variables are fully observable while others are not. In this work, we identify a significant subclass of MOMDPs defined by how actions influence the fully observable components of the state and how those, in turn, influence the partially observable components and the rewards. This unique property allows for a two-level hierarchical approach we call HIerarchical Reinforcement Learning under Mixed Observability (HILMO), which restricts partial observability to the top level while the bottom level remains fully observable, enabling higher learning efficiency. The top level produces desired goals to be reached by the bottom level until the task is solved. We further develop theoretical guarantees to show that our approach can achieve optimal and quasi-optimal behavior under mild assumptions. Empirical results on long-horizon continuous control tasks demonstrate the efficacy and efficiency of our approach in terms of improved success rate, sample efficiency, and wall-clock training time. We also deploy policies learned in simulation on a real robot.


title: On Prime Numbers and The Riemann Zeros

abstract: The current research regarding the Riemann zeros suggests the existence of a non-trivial algebraic/analytic structure on the set of Riemann zeros. The duality between primes and Riemann zeta function zeros suggests some new goals and aspects to be studied: {\em adelic duality} and the {\em POSet of prime numbers}. The article presents computational evidence of the structure of the imaginary parts $t$ of the non-trivial zeros of the Riemann zeta function $\rho=1/2+it$, called in this article the {\em Riemann Spectrum}, using the study of their distribution. The novelty represents in considering the associated characters $p^{it}$, towards an algebraic point of view, than rather in the sense of Analytic Number Theory. This structure is tentatively interpreted in terms of adelic characters, and the duality of the rationals. Second, the POSet structure of prime numbers studied, is tentatively mirrored via duality in the Riemann spectrum. A direct study of the convergence of their Fourier series, along Pratt trees, is proposed. Further considerations, relating the Riemann Spectrum, adelic characters and distributions, in terms of Hecke idelic characters, local zeta integrals (Mellin transform) and $\omega$-eigen-distributions, are explored following.


title: Towards Efficient Sparse Matrix Vector Multiplication on Real Processing-In-Memory Systems

abstract: Several manufacturers have already started to commercialize near-bank Processing-In-Memory (PIM) architectures. Near-bank PIM architectures place simple cores close to DRAM banks and can yield significant performance and energy improvements in parallel applications by alleviating data access costs. Real PIM systems can provide high levels of parallelism, large aggregate memory bandwidth and low memory access latency, thereby being a good fit to accelerate the widely-used, memory-bound Sparse Matrix Vector Multiplication (SpMV) kernel. This paper provides the first comprehensive analysis of SpMV on a real-world PIM architecture, and presents SparseP, the first SpMV library for real PIM architectures. We make two key contributions. First, we design efficient SpMV algorithms to accelerate the SpMV kernel in current and future PIM systems, while covering a wide variety of sparse matrices with diverse sparsity patterns. Second, we provide the first comprehensive analysis of SpMV on a real PIM architecture. Specifically, we conduct our rigorous experimental analysis of SpMV kernels in the UPMEM PIM system, the first publicly-available real-world PIM architecture. Our extensive evaluation provides new insights and recommendations for software designers and hardware architects to efficiently accelerate the SpMV kernel on real PIM systems. For more information about our thorough characterization on the SpMV PIM execution, results, insights and the open-source SparseP software package [26], we refer the reader to the full version of the paper [3, 4]. The SparseP software package is publicly and freely available at https://github.com/CMU-SAFARI/SparseP.


title: Mix-up Self-Supervised Learning for Contrast-agnostic Applications

abstract: Contrastive self-supervised learning has attracted significant research attention recently. It learns effective visual representations from unlabeled data by embedding augmented views of the same image close to each other while pushing away embeddings of different images. Despite its great success on ImageNet classification, COCO object detection, etc., its performance degrades on contrast-agnostic applications, e.g., medical image classification, where all images are visually similar to each other. This creates difficulties in optimizing the embedding space as the distance between images is rather small. To solve this issue, we present the first mix-up self-supervised learning framework for contrast-agnostic applications. We address the low variance across images based on cross-domain mix-up and build the pretext task based on two synergistic objectives: image reconstruction and transparency prediction. Experimental results on two benchmark datasets validate the effectiveness of our method, where an improvement of 2.5% ~ 7.4% in top-1 accuracy was obtained compared to existing self-supervised learning methods.


title: An objective test tool for pitch extractors' response attributes

abstract: We propose an objective measurement method for pitch extractors' responses to frequency-modulated signals. It enables us to evaluate different pitch extractors with unified criteria. The method uses extended time-stretched pulses combined by binary orthogonal sequences. It provides simultaneous measurement results consisting of the linear and the non-linear time-invariant responses and random and time-varying responses. We tested representative pitch extractors using fundamental frequencies spanning 80~Hz to 800~Hz with 1/48 octave steps and produced more than 2000 modulation frequency response plots. We found that making scientific visualization by animating these plots enables us to understand different pitch extractors' behavior at once. Such efficient and effortless inspection is impossible by inspecting all individual plots. The proposed measurement method with visualization leads to further improvement of the performance of one of the extractors mentioned above. In other words, our procedure turns the specific pitch extractor into the best reliable measuring equipment that is crucial for scientific research. We open-sourced MATLAB codes of the proposed objective measurement method and visualization procedure.


title: Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes

abstract: Artificial neural networks have recently been utilized in many feedback control systems and introduced new challenges regarding the safety of such systems. This paper considers the safe verification problem for a dynamical system with a given feedforward neural network as the feedback controller by using a constrained zonotope-based approach. A novel set-based method is proposed to compute both exact and over-approximated reachable sets for neural feedback systems with linear models, and linear program-based sufficient conditions are presented to verify whether the trajectories of such a system can avoid unsafe regions represented as constrained zonotopes. The results are also extended to neural feedback systems with nonlinear models. The computational efficiency and accuracy of the proposed method are demonstrated by two numerical examples where a comparison with state-of-the-art methods is also provided.


title: Handling of constraints in multiobjective blackbox optimization

abstract: This work proposes the integration of two new constraint-handling approaches into the blackbox constrained multiobjective optimization algorithm DMulti-MADS, an extension of the Mesh Adaptive Direct Search (MADS) algorithm for single-objective constrained optimization. The constraints are aggregated into a single constraint violation function which is used either in a two-phase approach, where research of a feasible point is prioritized if not available before improving the current solution set, or in a progressive barrier approach, where any trial point whose constraint violation function values are above a threshold are rejected. This threshold is progressively decreased along the iterations. As in the single-objective case, it is proved that these two variants generate feasible and/or infeasible sequences which converge either in the feasible case to a set of local Pareto optimal points or in the infeasible case to Clarke stationary points according to the constraint violation function. Computational experiments show that these two approaches are competitive with other state-of-the-art algorithms.


title: On the $\ell$-DLIPs of codes over finite commutative rings

abstract: Generalizing the linear complementary duals, the linear complementary pairs and the hull of codes, we introduce the concept of $\ell$-dimension linear intersection pairs ($\ell$-DLIPs) of codes over a finite commutative ring $(R)$, for some positive integer $\ell$. In this paper, we study $\ell$-DLIP of codes over $R$ in a very general setting by a uniform method. Besides, we provide a necessary and sufficient condition for the existence of a non-free (or free) $\ell$-DLIP of codes over a finite commutative Frobenius ring. In addition, we obtain a generator set of the intersection of two constacyclic codes over a finite chain ring, which helps us to get an important characterization of $\ell$-DLIP of constacyclic codes. Finally, the $\ell$-DLIP of constacyclic codes over a finite chain ring are used to construct new entanglement-assisted quantum error correcting (EAQEC) codes.


title: Cosmological Inflation in f(Q, T) Gravity

abstract: We study the cosmological inflation within the context of f(Q, T) gravity, wherein Q is the nonmetricity scalar and T is the trace of the matter energy-momentum tensor. By choosing a linear combination of Q and T, we first analyze the realization of an inflationary scenario driven via the geometrical effects of the linear f(Q, T) gravity and then, we obtain the modified slow-roll parameters, the scalar and the tensor spectral indices, and the tensor-to-scalar ratio for the proposed model. In addition, by choosing three inflationary potentials, i.e. the power-law, hyperbolic and natural potentials, and by applying the slow-roll approximations, we calculate these inflationary observables in the presence of an inflaton scalar field. The results indicate that by properly restricting the free parameters, the proposed model provides appropriate predictions that are consistent with the observational data obtained from the Planck 2018. Also, we specify that the contribution of linear model of f(Q, T) gravity with the hyperbolic and natural potentials can impose different restrictions on the parameters of these potentials. Furthermore, the predictions of natural inflation in this model are in good agreement with the joint Planck, BK15 and BAO data, justifying the use of the f(Q, T) gravity.


title: StyleWaveGAN: Style-based synthesis of drum sounds with extensive controls using generative adversarial networks

abstract: In this paper we introduce StyleWaveGAN, a style-based drum sound generator that is a variation of StyleGAN, a state-of-the-art image generator. By conditioning StyleWaveGAN on both the type of drum and several audio descriptors, we are able to synthesize waveforms faster than real-time on a GPU directly in CD quality up to a duration of 1.5s while retaining a considerable amount of control over the generation. We also introduce an alternative to the progressive growing of GANs and experimented on the effect of dataset balancing for generative tasks. The experiments are carried out on an augmented subset of a publicly available dataset comprised of different drums and cymbals. We evaluate against two recent drum generators, WaveGAN and NeuroDrum, demonstrating significantly improved generation quality (measured with the Frechet Audio Distance) and interesting results with perceptual features.


title: Complexity and entanglement in non-local computation and holography

abstract: Does gravity constrain computation? We study this question using the AdS/CFT correspondence, where computation in the presence of gravity can be related to non-gravitational physics in the boundary theory. In AdS/CFT, computations which happen locally in the bulk are implemented in a particular non-local form in the boundary, which in general requires distributed entanglement. In more detail, we recall that for a large class of bulk subregions the area of a surface called the ridge is equal to the mutual information available in the boundary to perform the computation non-locally. We then argue the complexity of the local operation controls the amount of entanglement needed to implement it non-locally, and in particular complexity and entanglement cost are related by a polynomial. If this relationship holds, gravity constrains the complexity of operations within these regions to be polynomial in the area of the ridge.


title: Mechanical and electrical properties of MWCNT/PP films and structural health monitoring of GF/PP joints

abstract: While welding of thermoplastic composites (TPCs) is a promising rivetless method to reduce weight, higher confidence in joints' structural integrity and failure prediction must be achieved for widespread use in industry. In this work, we present an innovative study on damage detection for ultrasonically welded TPC joints with multiwalled carbon nanotubes (MWCNTs) and embedded buckypaper films. MWCNTs show promise for structural health monitoring (SHM) of composite joints, assembled by adhesive bonding or fusion bonding, through electrical resistance changes. This study focuses on investigating multifunctional films and their suitability for ultrasonic welding (USW) of TPCs, using two approaches: 1) MWCNT/filled polypropylene (PP) nanocomposites prepared via solvent dispersion, and 2) high conductivity MWCNT buckypaper embedded between PP films by hot pressing. Nanocomposite formulations containing 5 wt and 10 wt MWCNTs were synthesized using solvent dispersion method, followed by compression molding to manufacture films. The effect of MWCNT concentration on electrical and dynamic mechanical behavior of multifunctional films was examined with a Sourcemeter and Dynamic Mechanical Analyzer, and a comparison was made between 5 to 20 wt MWCNT-PP films based on previous research. Glass fiber/polypropylene (GF/PP) composite joints were ultrasonically welded in a single lap shear configuration using buckypaper and MWCNT/PP films. Furthermore, electrical resistance measurements were carried out for joints under bending loads. It was observed that 15 wt and 20 wt MWCNT/PP films had higher stability and sensitivity for resistance response than embedded buckypaper and films with low MWCNT contents, demonstrating their suitability for USW and potential for SHM.


title: Characterizing Spontaneous Ideation Contest on Social Media: Case Study on the Name Change of Facebook to Meta

abstract: Collecting good ideas is vital for organizations, especially companies, to retain their competitiveness. Social media is gathering attention as a place to extract ideas efficiently; however, the characteristics of ideas and the posters of ideas on social media are underexamined. Thus, this study aims to characterize spontaneous ideation contests among social media users by taking an event of Facebook's name change to Meta as a case study. As a dataset, we comprehensively collect tweets containing new acronyms of Big Tech companies, which we treat as an "idea" in this work. In the analysis, we especially focus on the diversity of ideas, which would be the main reason for enlisting social media for idea generation. As the main results, we discovered that social media users offered a wider range of ideas than those in mainstream media. The follow-follower network of the users suggested that the users' position on the network is related to the preferred ideas. Additionally, we discovered a link between the amount of user interaction on social media and the diversity of ideas. This study would promote the use of social media as a part of open innovation and co-creation processes in the industry.


title: Measuring pitch extractors' response to frequency-modulated multi-component signals

abstract: This article focuses on the research tool for investigating the fundamental frequencies of voiced sounds. We introduce an objective and informative measurement method of pitch extractors' response to frequency-modulated tones. The method uses a new test signal for acoustic system analysis. The test signal enables simultaneous measurement of the extractors' responses. They are the modulation frequency response and the total distortion, including intermodulation distortions. We applied this method to various pitch extractors and placed them on several performance maps. We used the proposed method to fine-tune one of the extractors to make it the best fit tool for scientific research of voice fundamental frequencies.


title: Escaping High-order Saddles in Policy Optimization for Linear Quadratic Gaussian (LQG) Control

abstract: First order policy optimization has been widely used in reinforcement learning. It guarantees to find the optimal policy for the state-feedback linear quadratic regulator (LQR). However, the performance of policy optimization remains unclear for the linear quadratic Gaussian (LQG) control where the LQG cost has spurious suboptimal stationary points. In this paper, we introduce a novel perturbed policy gradient (PGD) method to escape a large class of bad stationary points (including high-order saddles). In particular, based on the specific structure of LQG, we introduce a novel reparameterization procedure which converts the iterate from a high-order saddle to a strict saddle, from which standard random perturbations in PGD can escape efficiently. We further characterize the high-order saddles that can be escaped by our algorithm.


title: Charmonium tetraquarks and pentaquarks or an additional quark?

abstract: Most of the exotic hadrons discovered over the last 20 years fit into the quark model as normal mesons and baryons if the existence of a seventh flavor of quark is hypothesized. For the quark to reproduce the mass, spin, parity, production and decay modes of exotic hadrons, it would have to have a mass of $\sim$2.8 GeV, a charge of $-\tfrac{1}{3}$, and a W-boson-mediated interaction with the right-chiral component of the charm quark. The proposed spectrum of hadrons involving this quark is presented.


title: Artificial Intelligence for 6G Networks: Technology Advancement and Standardization

abstract: With the deployment of 5G networks, standards organizations have started working on the design phase for sixth-generation (6G) networks. 6G networks will be immensely complex, requiring more deployment time, cost and management efforts. On the other hand, mobile network operators demand these networks to be intelligent, self-organizing, and cost-effective to reduce operating expenses (OPEX). Machine learning (ML), a branch of artificial intelligence (AI), is the answer to many of these challenges providing pragmatic solutions, which can entirely change the future of wireless network technologies. By using some case study examples, we briefly examine the most compelling problems, particularly at the physical (PHY) and link layers in cellular networks where ML can bring significant gains. We also review standardization activities in relation to the use of ML in wireless networks and future timeline on readiness of standardization bodies to adapt to these changes. Finally, we highlight major issues in ML use in the wireless technology, and provide potential directions to mitigate some of them in 6G wireless networks.


title: Optical computing of quantum revivals

abstract: Interference is the mechanism through which waves can be structured into the most fascinating patterns. While for sensing, imaging, trapping, or in fundamental investigations, structured waves play nowadays an important role and are becoming subject of many interesting studies. Using a coherent optical field as a probe, we show how to structure light into distributions presenting collapse and revival structures in its wavefront. These distributions are obtained from the Fourier spectrum of an arrangement of aperiodic diffracting structures. Interestingly, the resulting interference may present quasiperiodic structures of diffraction peaks on a number of distance scales, even though the diffracting structure is not periodic. We establish an analogy with revival phenomena in the evolution of quantum mechanical systems and illustrate this computation numerically and experimentally, obtaining excellent agreement with the proposed theory.


title: BERT-Assisted Semantic Annotation Correction for Emotion-Related Questions

abstract: Annotated data have traditionally been used to provide the input for training a supervised machine learning (ML) model. However, current pre-trained ML models for natural language processing (NLP) contain embedded linguistic information that can be used to inform the annotation process. We use the BERT neural language model to feed information back into an annotation task that involves semantic labelling of dialog behavior in a question-asking game called Emotion Twenty Questions (EMO20Q). First we describe the background of BERT, the EMO20Q data, and assisted annotation tasks. Then we describe the methods for fine-tuning BERT for the purpose of checking the annotated labels. To do this, we use the paraphrase task as a way to check that all utterances with the same annotation label are classified as paraphrases of each other. We show this method to be an effective way to assess and revise annotations of textual user data with complex, utterance-level semantic labels.


title: Dually affine Information Geometry modeled on a Banach space

abstract: In this chapter, we study Information Geometry from a particular non-parametric or functional point of view. The basic model is a probabilities subset usually specified by regularity conditions. For example, probability measures mutually absolutely continuous or probability densities with a given degree of smoothness. We construct a manifold structure by giving an atlas of charts as mappings from probabilities to a Banach space. The charts we use are quite peculiar in that we consider only instances where the transition mappings are affine. We chose a particular expression of the tangent and cotangent bundles in this affine setting.


title: Nuclear structure properties of Si and P isotopes with the microscopic effective interactions

abstract: In the present work, we have reported comprehensive study of the $sd$-shell nuclei Si and P with neutron number varying from $N = 9$ to $N = 20$ using the microscopic effective valence shell interactions, namely, N3LO, JISP16 and DJ16A. These effective $sd$-shell interactions are developed using the \textit{ab initio} no-core shell model wave functions and the Okubo-Lee-Suzuki transformation method. For comparison, we have also performed shell model calculations with the empirical USDB interaction. Energy spectra and electromagnetic properties of these isotopic chains have been studied. Theoretically calculated shell model results are compared with the available experimental data, to check the predictive strength of these microscopic interactions. It is found that the binding energies of the ground states are better reproduced with the DJ16A interaction as compared to other microscopic interactions and a proton subshell closure at $Z=14$ is obtained in Si. Spin-tensor decomposition of two-body interaction is presented to understand the contributions from central, vector and tensor components into these interactions. Spectroscopic strengths of $^{23}$Al($d$,$n$)$^{24}$Si are examined for the newly performed experiment at NSCL.


title: Open inverted bell and bell formation during the washing of vials

abstract: A range of fascinating flow features was observed while cleaning or filling the medicine or liquid vials in the kitchen sink by serendipity. Here, we present the formation of an open inverted bell and bell-shaped flow structures formed from the water sheet in a new geometric arrangement, hitherto unknown. When a laminar jet impinges on the surface of the liquid in the vial of marginally larger or similar diameter, an inverted open water bell is formed, which gradually changes into a flat water sheet to a classical water bell as the flow rate is increased. The inverted water bell structures disintegrate by forming water ridges which finally break down into different sizes of droplets.


title: Deep Algebraic Fitting for Multiple Circle Primitives Extraction from Raw Point Clouds

abstract: The shape of circle is one of fundamental geometric primitives of man-made engineering objects. Thus, extraction of circles from scanned point clouds is a quite important task in 3D geometry data processing. However, existing circle extraction methods either are sensitive to the quality of raw point clouds when classifying circle-boundary points, or require well-designed fitting functions when regressing circle parameters. To relieve the challenges, we propose an end-to-end Point Cloud Circle Algebraic Fitting Network (Circle-Net) based on a synergy of deep circle-boundary point feature learning and weighted algebraic fitting. First, we design a circle-boundary learning module, which considers local and global neighboring contexts of each point, to detect all potential circle-boundary points. Second, we develop a deep feature based circle parameter learning module for weighted algebraic fitting, without designing any weight metric, to avoid the influence of outliers during fitting. Unlike most of the cutting-edge circle extraction wisdoms, the proposed classification-and-fitting modules are originally co-trained with a comprehensive loss to enhance the quality of extracted circles.Comparisons on the established dataset and real-scanned point clouds exhibit clear improvements of Circle-Net over SOTAs in terms of both noise-robustness and extraction accuracy. We will release our code, model, and data for both training and evaluation on GitHub upon publication.


title: Effects of self-avoidance on the packing of stiff rods on ellipsoids

abstract: Using a statistical-mechanics approach, we study the effects of geometry and self-avoidance on the ordering of slender filaments inside non-isotropic containers, considering cortical microtubules in plant cells, and packing of genetic material inside viral capsids as concrete examples. Within a mean-field approximation, we show analytically how the shape of the container, together with self-avoidance, affects the ordering of the stiff rods. We find that the strength of the self-avoiding interaction plays a significant role in the preferred packing orientation, leading to a first-order transition for oblate cells, where the preferred orientation changes from azimuthal, along the equator, to a polar one, when self-avoidance is strong enough. While for prolate spheroids the ground state is always a polar-like order, strong self-avoidance results with a deep meta-stable state along the equator. We compute the critical surface describing the transition between azimuthal and polar ordering in the three dimensional parameter space (persistence length, eccentricity, and self-avoidance) and show that the critical behavior of this system is in fact related to the butterfly catastrophe model. We calculate the pressure and shear stress applied by the filament on the surface, and the injection force needed to be applied on the filament in order to insert it into the volume. We compare these results to the pure mechanical study where self-avoidance is ignored, and discuss similarities and differences.

categories: cond-mat.soft cond-mat.mtrl-sci cond-mat.stat-mech nlin.AO


title: Application of Stochastic Optimization Techniques to the Unit Commitment Problem -- A Review

abstract: Due to the established energy production methods contribution to the climate crisis, renewable energy is to replace a substantial part of coal or nuclear plants to prevent greenhouse gases or toxic waste entering the atmosphere. This relatively quick shift in energy production, primarily pushed by increasing political and economical pressure, requires enormous effort on the part of the energy providers to balance out production fluctuations. Consequently, a lot of research is conducted in the key area of stochastic unit commitment (UC) on electrical grids and microgrids. The term unit commitment includes a large variety of optimization techniques, and in this paper we will review recent developments in this area. We start by giving an overview over different problem definitions and stochastic optimization procedures, to then assess recent contributions to this topic. We therefore compare the proposals and case studies of several papers.


title: Word separation in continuous sign language using isolated signs and post-processing

abstract: . Continuous Sign Language Recognition (CSLR) is a long challenging task in Computer Vision due to the difficulties in detecting the explicit boundaries between the words in a sign sentence. To deal with this challenge, we propose a two-stage model. In the first stage, the predictor model, which includes a combination of CNN, SVD, and LSTM, is trained with the isolated signs. In the second stage, we apply a post-processing algorithm to the Softmax outputs obtained from the first part of the model in order to separate the isolated signs in the continuous signs. While the proposed model is trained on the isolated sign classes with similar frame numbers, it is evaluated on the continuous sign videos with a different frame length per each isolated sign class. Due to the lack of a large dataset, including both the sign sequences and the corresponding isolated signs, two public datasets in Isolated Sign Language Recognition (ISLR), RKS-PERSIANSIGN and ASLLVD, are used for evaluation. Results of the continuous sign videos confirm the efficiency of the proposed model to deal with isolated sign boundaries detection.


title: Matrices over commutative rings as sum of higher powers

abstract: On the Waring's problems for matrices over a commutative ring, there are some trace conditions provided for matrices eligibly expressed as a sum of $k$-th powers with $k=2,3,4,5,6,7,8$ in several literatures. In this paper, we provide the similar conditions for matrices written as a sum of $k$-th powers with $k=9,10,11,12,13,14,15,16$.


title: A UCB-based Tree Search Approach to Joint Verification-Correction Strategy for Large Scale Systems

abstract: Verification planning is a sequential decision-making problem that specifies a set of verification activities (VA) and correction activities (CA) at different phases of system development. While VAs are used to identify errors and defects, CAs also play important roles in system verification as they correct the identified errors and defects. However, current planning methods only consider VAs as decision choices. Because VAs and CAs have different activity spaces, planning a joint verification-correction strategy (JVCS) is still challenging, especially for large-size systems. Here we introduce a UCB-based tree search approach to search for near-optimal JVCSs. First, verification planning is simplified as repeatable bandit problems and an upper confidence bound rule for repeatable bandits (UCBRB) is presented with the optimal regret bound. Next, a tree search algorithm is proposed to search for feasible JVCSs. A tree-based ensemble learning model is also used to extend the tree search algorithm to handle local optimality issues. The proposed approach is evaluated on the notional case of a communication system.


title: Learning to Augment for Casual User Recommendation

abstract: Users who come to recommendation platforms are heterogeneous in activity levels. There usually exists a group of core users who visit the platform regularly and consume a large body of content upon each visit, while others are casual users who tend to visit the platform occasionally and consume less each time. As a result, consumption activities from core users often dominate the training data used for learning. As core users can exhibit different activity patterns from casual users, recommender systems trained on historical user activity data usually achieve much worse performance on casual users than core users. To bridge the gap, we propose a model-agnostic framework L2Aug to improve recommendations for casual users through data augmentation, without sacrificing core user experience. L2Aug is powered by a data augmentor that learns to generate augmented interaction sequences, in order to fine-tune and optimize the performance of the recommendation system for casual users. On four real-world public datasets, L2Aug outperforms other treatment methods and achieves the best sequential recommendation performance for both casual and core users. We also test L2Aug in an online simulation environment with real-time feedback to further validate its efficacy, and showcase its flexibility in supporting different augmentation actions.


title: On generalized lacunary series

abstract: Given lacunary sequence of integers, $n_k$, $n_{k+1}/n_k>\lambda>1$, we define a new sequence $\{m_k\}$ formed by all possible $l$-wise sums $\pm n_{k_1}\pm n_{k_2}\pm \ldots\pm n_{k_l}$. We prove if $\lambda>\lambda_l$, then any series \begin{equation} \sum_kc_ke^{im_kx},\qquad (1) \end{equation} with $\sum_k|c_k|^2<\infty$ converges almost everywhere after any rearrangement of the terms, where $1<\lambda_l<2$ is a certain critical value. We establish this property, proving a new Khintchine type inequality $\|S\|_p\le C_{l,\lambda,p}\|S\|_2$, $p>2$, where $S$ is a finite sum of form (1). For $\lambda\ge 3$, we also establish a sharp rate $p^{l/2}$ for the growth of the constant $C_{l,\lambda,p}$ as $p\to\infty$. Such an estimate for the Rademacher chaos sums was proved independently by Bonami and Kiener. In the case of $\lambda\ge 3$ we also establish some inverse convergence properties of series (1): 1) if series (1) converges a.e., then $\sum_k|c_k|^2<\infty$, 2) if it a.e. converges to zero, then $c_k=0$.


title: SinNeRF: Training Neural Radiance Fields on Complex Scenes from a Single Image

abstract: Despite the rapid development of Neural Radiance Field (NeRF), the necessity of dense covers largely prohibits its wider applications. While several recent works have attempted to address this issue, they either operate with sparse views (yet still, a few of them) or on simple objects/scenes. In this work, we consider a more ambitious task: training neural radiance field, over realistically complex visual scenes, by "looking only once", i.e., using only a single view. To attain this goal, we present a Single View NeRF (SinNeRF) framework consisting of thoughtfully designed semantic and geometry regularizations. Specifically, SinNeRF constructs a semi-supervised learning process, where we introduce and propagate geometry pseudo labels and semantic pseudo labels to guide the progressive training process. Extensive experiments are conducted on complex scene benchmarks, including NeRF synthetic dataset, Local Light Field Fusion dataset, and DTU dataset. We show that even without pre-training on multi-view datasets, SinNeRF can yield photo-realistic novel-view synthesis results. Under the single image setting, SinNeRF significantly outperforms the current state-of-the-art NeRF baselines in all cases. Project page: https://vita-group.github.io/SinNeRF/


title: AutoProtoNet: Interpretability for Prototypical Networks

abstract: In meta-learning approaches, it is difficult for a practitioner to make sense of what kind of representations the model employs. Without this ability, it can be difficult to both understand what the model knows as well as to make meaningful corrections. To address these challenges, we introduce AutoProtoNet, which builds interpretability into Prototypical Networks by training an embedding space suitable for reconstructing inputs, while remaining convenient for few-shot learning. We demonstrate how points in this embedding space can be visualized and used to understand class representations. We also devise a prototype refinement method, which allows a human to debug inadequate classification parameters. We use this debugging technique on a custom classification task and find that it leads to accuracy improvements on a validation set consisting of in-the-wild images. We advocate for interpretability in meta-learning approaches and show that there are interactive ways for a human to enhance meta-learning algorithms.


title: Beyond Smoothness: Incorporating Low-Rank Analysis into Nonparametric Density Estimation

abstract: The construction and theoretical analysis of the most popular universally consistent nonparametric density estimators hinge on one functional property: smoothness. In this paper we investigate the theoretical implications of incorporating a multi-view latent variable model, a type of low-rank model, into nonparametric density estimation. To do this we perform extensive analysis on histogram-style estimators that integrate a multi-view model. Our analysis culminates in showing that there exists a universally consistent histogram-style estimator that converges to any multi-view model with a finite number of Lipschitz continuous components at a rate of $\widetilde{O}(1/\sqrt[3]{n})$ in $L^1$ error. In contrast, the standard histogram estimator can converge at a rate slower than $1/\sqrt[d]{n}$ on the same class of densities. We also introduce a new nonparametric latent variable model based on the Tucker decomposition. A rudimentary implementation of our estimators experimentally demonstrates a considerable performance improvement over the standard histogram estimator. We also provide a thorough analysis of the sample complexity of our Tucker decomposition-based model and a variety of other results. Thus, our paper provides solid theoretical foundations for extending low-rank techniques to the nonparametric setting


title: Upscaling of a reaction-diffusion-convection problem with exploding non-linear drift

abstract: We study a reaction-diffusion-convection problem with nonlinear drift posed in a domain with periodically arranged obstacles. The non-linearity in the drift is linked to the hydrodynamic limit of a totally asymmetric simple exclusion process (TASEP) governing a population of interacting particles crossing a domain with obstacle. Because of the imposed large drift scaling, this nonlinearity is expected to explode in the limit of a vanishing scaling parameter. As main working techniques, we employ two-scale formal homogenization asymptotics with drift to derive the corresponding upscaled model equations as well as the structure of the effective transport tensors. Finally, we use Schauder's fixed point theorem as well as monotonicity arguments to study the weak solvability of the upscaled model posed in an unbounded domain. This study wants to contribute with theoretical understanding needed when designing thin composite materials that are resistant to high velocity impacts.


title: Automatic Transformation of Natural to Unified Modeling Language: A Systematic Review

abstract: Context: Processing Software Requirement Specifications (SRS) manually takes a much longer time for requirement analysts in software engineering. Researchers have been working on making an automatic approach to ease this task. Most of the existing approaches require some intervention from an analyst or are challenging to use. Some automatic and semi-automatic approaches were developed based on heuristic rules or machine learning algorithms. However, there are various constraints to the existing approaches of UML generation, such as restriction on ambiguity, length or structure, anaphora, incompleteness, atomicity of input text, requirements of domain ontology, etc. Objective: This study aims to better understand the effectiveness of existing systems and provide a conceptual framework with further improvement guidelines. Method: We performed a systematic literature review (SLR). We conducted our study selection into two phases and selected 70 papers. We conducted quantitative and qualitative analyses by manually extracting information, cross-checking, and validating our findings. Result: We described the existing approaches and revealed the issues observed in these works. We identified and clustered both the limitations and benefits of selected articles. Conclusion: This research upholds the necessity of a common dataset and evaluation framework to extend the research consistently. It also describes the significance of natural language processing obstacles researchers face. In addition, it creates a path forward for future research.


title: Exploiting Local and Global Features in Transformer-based Extreme Multi-label Text Classification

abstract: Extreme multi-label text classification (XMTC) is the task of tagging each document with the relevant labels from a very large space of predefined categories. Recently, large pre-trained Transformer models have made significant performance improvements in XMTC, which typically use the embedding of the special CLS token to represent the entire document semantics as a global feature vector, and match it against candidate labels. However, we argue that such a global feature vector may not be sufficient to represent different granularity levels of semantics in the document, and that complementing it with the local word-level features could bring additional gains. Based on this insight, we propose an approach that combines both the local and global features produced by Transformer models to improve the prediction power of the classifier. Our experiments show that the proposed model either outperforms or is comparable to the state-of-the-art methods on benchmark datasets.


title: The Effects of the Environment and Linear Actuators on Robot Morphologies

abstract: The field of evolutionary robotics uses principles of natural evolution to design robots. In this paper, we study the effect of adding a new module inspired by the skeletal muscle to the existing RoboGen framework: the linear actuator. Additionally, we investigate how robots evolved in a plain environment differ from robots evolved in a rough environment. We consider the task of directed locomotion for comparing evolved robot morphologies. The results show that the addition of the linear actuator does not have a significant impact on the performance and morphologies of robots evolved in a plain environment. However, we find significant differences in the morphologies of robots evolved in a plain environment and robots evolved in a rough environment. We find that more complex behavior and morphologies emerge when we change the terrain of the environment.


title: 3D Path Following and L1 Adaptive Control for Underwater Vehicles

abstract: This paper addresses the problem of guidance and control of underwater vehicles. A multi-level control strategy is used to determine (1) outer-loop path-following commands and (2) inner-loop actuation commands. Specifically, a line-of-sight path-following algorithm is used to guide the vehicle along a three-dimensional path, and an $\mathcal{L}_1$ adaptive control algorithm is used to determine the low-level rudder commands to accomplish path following. The performance bounds of these outer- and inner-loop control algorithms are presented. Numerical results obtained using a physics-based Simulink model are used to aid in visualization of the control algorithm's performance.


title: Banach's isometric subspace problem in dimension four

abstract: We prove that if all intersections of a convex body $B\subset\mathbb R^4$ with 3-dimensional linear subspaces are linearly equivalent then $B$ is a centered ellipsoid. This gives an affirmative answer to the case $n=3$ of the following question by Banach from 1932: Is a normed vector space $V$ whose $n$-dimensional linear subspaces are all isometric, for a fixed $2 \le n< \dim V$, necessarily Euclidean? The dimensions $n=3$ and $\dim V=4$ is the first case where the question was unresolved. Since the $3$-sphere is parallelizable, known global topological methods do not help in this case. Our proof employs a differential geometric approach.


title: Active Foam: The Adaptive Mechanics of 2D Air-Liquid Foam under Cyclic Inflation

abstract: Foam is a canonical example of disordered soft matter where local force balance leads to the competition of many metastable configurations. Here we present an experimental and theoretical framework for "active foam" where an individual voxel inflates and deflates periodically. We explore structural adaptations of this disordered material with respect to added activity. Periodic injection of local activity leads to a small number of irreversible and reversible T1 transitions throughout the foam. Regardless of the presence of T1 transitions, individual vertices will displace outwards and subsequently return back to their approximate original radial position; this radial displacement follows an inverse law. Surprisingly, each return trajectory does not retrace its outbound path but rather encloses a finite area, with either a CW or CCW direction - which we define as a local swirl. These swirls form coherent patterns spanning the entire scale of the material. Using a reduced order dynamical model, we demonstrate that swirl arises as a direct consequence of spatial disorder in the local micro-structure. Building a first principles model, we demonstrate that disorder and strain rate control a crossover between cooperation and competition between swirls in adjacent vertices. Over longer timescales, the region around the active voxel structurally adapts from a higher-energy metastable state to a lower energy state, indicative of a localized annealing process. Finally, we develop a statistical toy-model that evolves edge lengths based on a set of simple rules to explore how this class of materials adapts over time as a function of initial structure. Adding activity to foam couples structural disorder and adaptive dynamics to encourage the development of a new class of abiotic, cellularized active matter.

categories: cond-mat.soft cond-mat.dis-nn nlin.AO physics.flu-dyn


title: Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

abstract: Within the framework of Riehl-Shulman's synthetic $(\infty,1)$-category theory, we present a theory of two-sided cartesian fibrations. Central results are several characterizations of the two-sidedness condition \`{a} la Chevalley, Gray, Street, and Riehl-Verity, a two-sided Yoneda Lemma, as well as the proof of several closure properties. Along the way, we also define and investigate a notion of fibered or sliced fibration which is used later to develop the two-sided case in a modular fashion. We also briefly discuss discrete two-sided cartesian fibrations in this setting, corresponding to $(\infty,1)$-distributors. The systematics of our definitions and results closely follows Riehl-Verity's $\infty$-cosmos theory, but formulated internally to Riehl-Shulman's simplicial extension of homotopy type theory. All the constructions and proofs in this framework are by design invariant under homotopy equivalence. Semantically, the synthetic $(\infty,1)$-categories correspond to internal $(\infty,1)$-categories implemented as Rezk objects in an arbitrary given $(\infty,1)$-topos.