title: Generative AI-Driven Storytelling: A New Era for Marketing

abstract: This paper delves into the transformative power of Generative AI-driven storytelling in the realm of marketing. Generative AI, distinct from traditional machine learning, offers the capability to craft narratives that resonate with consumers on a deeply personal level. Through real-world examples from industry leaders like Google, Netflix and Stitch Fix, we elucidate how this technology shapes marketing strategies, personalizes consumer experiences, and navigates the challenges it presents. The paper also explores future directions and recommendations for generative AI-driven storytelling, including prospective applications such as real-time personalized storytelling, immersive storytelling experiences, and social media storytelling. By shedding light on the potential and impact of generative AI-driven storytelling in marketing, this paper contributes to the understanding of this cutting-edge approach and its transformative power in the field of marketing.


title: Totally Ramified Maximal Tori and Bruhat-Tits theory

abstract: Suppose $k$ is a nonarchimedean local field, $K$ is a maximally unramified extension of $k$, and $\mathbf{G}$ is a connected reductive $k$-group. If $\mathbf{T}$ is a $K$-minisotropic maximal $k$-torus in $\mathbf{G}$, then we use Bruhat-Tits theory to describe the stable classes in the $\mathbf{G}$-orbit of $\mathbf{T}$, the rational classes in the $\mathbf{G}$-orbit of $\mathbf{T}$, and the $k$-embeddings, up to rational conjugacy, into $\mathbf{G}$ of $\mathbf{T}$. We also provide, via Bruhat-Tits theory, a complete and explicit description of: the rational conjugacy classes of $K$-minisotropic maximal tame $k$-tori in $\mathbf{G}$; the stable classes of $K$-minisotropic maximal tame $k$-tori in $\mathbf{G}$; and the $k$-embeddings, up to rational conjugacy, into $\mathbf{G}$ of a $K$-minisotropic maximal tame $k$-torus of $\mathbf{G}$.


title: Data-driven input-to-state stabilization with respect to measurement errors

abstract: We consider noisy input/state data collected from an experiment on a polynomial input-affine nonlinear system. Motivated by event-triggered control, we provide data-based conditions for input-to-state stability with respect to measurement errors. Such conditions, which take into account all dynamics consistent with data, lead to the design of a feedback controller, an ISS Lyapunov function, and comparison functions ensuring ISS with respect to measurement errors. When solved alternately for two subsets of the decision variables, these conditions become a convex sum-of-squares program. Feasibility of the program is illustrated with a numerical example.


title: GenDOM: Generalizable One-shot Deformable Object Manipulation with Parameter-Aware Policy

abstract: Due to the inherent uncertainty in their deformability during motion, previous methods in deformable object manipulation, such as rope and cloth, often required hundreds of real-world demonstrations to train a manipulation policy for each object, which hinders their applications in our ever-changing world. To address this issue, we introduce GenDOM, a framework that allows the manipulation policy to handle different deformable objects with only a single real-world demonstration. To achieve this, we augment the policy by conditioning it on deformable object parameters and training it with a diverse range of simulated deformable objects so that the policy can adjust actions based on different object parameters. At the time of inference, given a new object, GenDOM can estimate the deformable object parameters with only a single real-world demonstration by minimizing the disparity between the grid density of point clouds of real-world demonstrations and simulations in a differentiable physics simulator. Empirical validations on both simulated and real-world object manipulation setups clearly show that our method can manipulate different objects with a single demonstration and significantly outperforms the baseline in both environments (a 62% improvement for in-domain ropes and a 15% improvement for out-of-distribution ropes in simulation, as well as a 26% improvement for ropes and a 50% improvement for cloths in the real world), demonstrating the effectiveness of our approach in one-shot deformable object manipulation.


title: Nutrient control for a viscous Cahn-Hilliard-Keller-Segel model

abstract: In this paper, we address a distributed control problem for a system of partial differential equations describing the evolution of a tumor that takes the biological mechanism of chemotaxis into account. The system describing the evolution is obtained as a nontrivial combination of a Cahn-Hilliard type system accounting for the segregation between tumor cells and healthy cells, with a Keller-Segel type equation accounting for the evolution of a nutrient species and modeling the chemotaxis phenomenon. First, we develop a robust mathematical background that allows us to analyze an associated optimal control problem. This analysis forced us to select a source term of logistic type in the nutrient equation and to restrict the analysis to the case of two space dimensions. Then, the existence of an optimal control and first-order necessary conditions for optimality are established.


title: Well-posedness and optimal control for a viscous Cahn-Hilliard-Oono system with dynamic boundary conditions

abstract: In this paper we consider a nonlinear system of PDEs coupling the viscous Cahn-Hilliard-Oono equation with dynamic boundary conditions enjoying a similar structure on the boundary. After proving well-posedness of the corresponding initial boundary value problem, we study an associated optimal control problem related to a tracking-type cost functional, proving first-order necessary conditions of optimality. The controls enter the system in the form of a distributed and a boundary source. We can account for general potentials in the bulk and in the boundary part under the common assumption that the boundary potential is dominant with respect to the bulk one. For example, the regular quartic potential as well as the logarithmic potential can be considered in our analysis.


title: On B type family of Dubrovin-Frobenius manifolds and their integrable systems

abstract: According to M.Bertola and D.Zuo there is a two-index series of Dubrovin-Frobenius manifold structures associated to a B type Coxeter group. We study the relations between these structures for the different values of the indices. We show that part of the data of such Dubrovin-Frobenius manifold indexed by $(k,l)$ can be recovered by the $(k+r,l+r)$ Dubrovin-Frobenius manifold. Continuing the program of arXiv:2007.11974 we associate an infinite system of commuting PDEs to any difference of the indices $d = l-k \in \mathbb{N}$. Every such system is an extension of the dispersionless BKP hierarchy.


title: Exploring the impact of low-rank adaptation on the performance, efficiency, and regularization of RLHF

abstract: During the last stage of RLHF, a large language model is aligned to human intents via PPO training, a process that generally requires large-scale computational resources. In this technical report, we empirically investigate an efficient implementation of RLHF using low-rank adaptation (LoRA), which allows us to align the LLaMA 7B checkpoint on the Alpaca dataset using only two A100 GPUs instead of the eight required for full model fine-tuning. Despite tuning only 0.2% of LLaMA 7B's parameters, our implementation achieves better performance than the publicly-released AlpacaFarm checkpoint with full model fine-tuning. Next, we analyze several configurations of our LoRA-based PPO implementation, varying the form of the KL regularization term in the training objective. We find that (1) removing this penalty term does not harm performance on the AlpacaFarm evaluation set under our LoRA setup; (2) other regularizers, such as Jensen-Shannon divergence, lead to improved performance; and (3) while PPO training negatively impacts the factuality of model-generated responses, training with LoRA largely mitigates this effect. We release our code and pretrained checkpoints to facilitate future research on more efficient RLHF.


title: Where do free-ranging dogs rest? A population level study reveals hidden patterns in resting site choice

abstract: Free-ranging dogs (FRDs) in human-dominated areas encounter obstacles such as noise, pollution, limited food sources, and anthropogenic disturbance while resting. Since FRDs have survived as a population in India, as in many other parts of the Global South for centuries, they provide a unique opportunity to study adaptation of animals to the human-dominated urban landscape. We documented factors impacting resting behaviour and site preferences in three states of India, for 284 dogs, leading to 6047 observations over 3 years. 7 physical parameters of the resting sites, along with the biological factors like mating and pup-rearing and time of day affected their choice of resting sites. The frequency-rank distribution of the unique combinations in which the parameters were selected followed a Power law distribution, which suggests underlying biological reasons for the observed preferences. Further, 3 of these parameters showed maximum consistency of choice in terms of the sub-parameters selected, explaining 30% of the observations. FRDs prefer to rest close to their resource sites within the territory, at a place that enabled maximum visibility of the surroundings. They chose such sites in the core of the territory for sleeping. At other times, they chose such sites away from the core, and were less restive, thus allowing for immediate response in case of intrusion or threat. They generally avoided anthropogenic disturbance for sleeping, and preferred areas with shade.Incorporating these aspects into urban management plans can promote human-dog cooperation and reduce situations of conflict. We envisage more inclusive urban areas in the future, that can allow for co-existence of the humans and their oldest companions in the commensal relationship that has been maintained for hundreds of generations of dogs in this part of the world.


title: The Study of Optical Properties for Ordered and Disordered Silicon Nanowire Structures

abstract: We designed ordered and disordered silicon (Si) nanowire structures and analyzed their optical performance using the finite-difference time-domain (FDTD) technique. We studied the orderness of nanowire structures by calculating scalar variance. This study reveals that utilizing disorder structures can increase the average absorbance of Si nanowire structures. Spatial electric field distributions provided insights into light-matter interaction, indicating that disorder structures had higher path lengths compared to the periodic structure. We achieved an average absorbance of 41.46% for the hyperuniform Si nanowire structure with a maximum absorbance of 78.18%. Intuitively, we obtained ~70% high absorbance compared to periodic Si nanowire structure. Our findings will be conducive to designing new efficient solar cells and photodetectors.


title: QTOS: An Open-Source Quadruped Trajectory Optimization Stack

abstract: We introduce a new open-source framework, Quadruped Trajectory Optimization Stack (QTOS), which integrates a global planner, local planner, simulator, controller, and robot interface into a single package. QTOS serves as a full-stack interface, simplifying continuous motion planning on an open-source quadruped platform by bridging the gap between middleware and gait planning. It empowers users to effortlessly translate high-level navigation objectives into low-level robot commands. Furthermore, QTOS enhances the stability and adaptability of long-distance gait planning across challenging terrain.


title: Linear Monte Carlo quadrature with optimal confidence intervals

abstract: We study the numerical integration of functions from isotropic Sobolev spaces $W_p^s([0,1]^d)$ using finitely many function evaluations within randomized algorithms, aiming for the smallest possible probabilistic error guarantee $\varepsilon > 0$ at confidence level $1-\delta \in (0,1)$. For spaces consisting of continuous functions, non-linear Monte Carlo methods with optimal confidence properties have already been known, in few cases even linear methods that succeed in that respect. In this paper we promote a new method called stratified control variates (SCV) and by it show that already linear methods achieve optimal probabilistic error rates in the high smoothness regime without the need to adjust algorithmic parameters to the uncertainty $\delta$. We also analyse a version of SCV in the low smoothness regime where $W_p^s([0,1]^d)$ may contain functions with singularities. Here, we observe a polynomial dependence of the error on $\delta^{-1}$ which cannot be avoided for linear methods. This is worse than what is known to be possible using non-linear algorithms where only a logarithmic dependence on $\delta^{-1}$ occurs if we tune in for a specific value of $\delta$.


title: Sub-action Prototype Learning for Point-level Weakly-supervised Temporal Action Localization

abstract: Point-level weakly-supervised temporal action localization (PWTAL) aims to localize actions with only a single timestamp annotation for each action instance. Existing methods tend to mine dense pseudo labels to alleviate the label sparsity, but overlook the potential sub-action temporal structures, resulting in inferior performance. To tackle this problem, we propose a novel sub-action prototype learning framework (SPL-Loc) which comprises Sub-action Prototype Clustering (SPC) and Ordered Prototype Alignment (OPA). SPC adaptively extracts representative sub-action prototypes which are capable to perceive the temporal scale and spatial content variation of action instances. OPA selects relevant prototypes to provide completeness clue for pseudo label generation by applying a temporal alignment loss. As a result, pseudo labels are derived from alignment results to improve action boundary prediction. Extensive experiments on three popular benchmarks demonstrate that the proposed SPL-Loc significantly outperforms existing SOTA PWTAL methods.


title: Adaptive multiplication of rank-structured matrices in linear complexity

abstract: Hierarchical matrices approximate a given matrix by a decomposition into low-rank submatrices that can be handled efficiently in factorized form. $\mathcal{H}^2$-matrices refine this representation following the ideas of fast multipole methods in order to achieve linear, i.e., optimal complexity for a variety of important algorithms. The matrix multiplication, a key component of many more advanced numerical algorithms, has so far proven tricky: the only linear-time algorithms known so far either require the very special structure of HSS-matrices or need to know a suitable basis for all submatrices in advance. In this article, a new and fairly general algorithm for multiplying $\mathcal{H}^2$-matrices in linear complexity with adaptively constructed bases is presented. The algorithm consists of two phases: first an intermediate representation with a generalized block structure is constructed, then this representation is re-compressed in order to match the structure prescribed by the application. The complexity and accuracy are analysed and numerical experiments indicate that the new algorithm can indeed be significantly faster than previous attempts.


title: On the formation of metallic glass

abstract: The high cooling rate needed for preparing the metallic glass (MG) makes the nonequilibrium nature of glass formation more prominent and requires a better quenching technique than ever before. Here, we formulate the cooling process in an analytical way and figure out the determinants for cooling rate, and analyze the crystallization time with consideration of phase diagram. Based on the reduced glass transition temperature, Trg, for measuring the glass-forming ability (GFA), a more reasonable {\Delta}Trg is proposed. Glass transition, especially in ever glass whose ground state is of glass, is discussed in terms of thermodynamics for phase transition. A fundamental law concerning the changing rate of entropy in a closed system is supposed to underlie the physics for glass formation. These results may help understand the glass formation principally and develop new and robust MGs technically.


title: Blind Deconvolution of Sparse Graph Signals in the Presence of Perturbations

abstract: Blind deconvolution over graphs involves using (observed) output graph signals to obtain both the inputs (sources) as well as the filter that drives (models) the graph diffusion process. This is an ill-posed problem that requires additional assumptions, such as the sources being sparse, to be solvable. This paper addresses the blind deconvolution problem in the presence of imperfect graph information, where the observed graph is a perturbed version of the (unknown) true graph. While not having perfect knowledge of the graph is arguably more the norm than the exception, the body of literature on this topic is relatively small. This is partly due to the fact that translating the uncertainty about the graph topology to standard graph signal processing tools (e.g. eigenvectors or polynomials of the graph) is a challenging endeavor. To address this limitation, we propose an optimization-based estimator that solves the blind identification in the vertex domain, aims at estimating the inverse of the generating filter, and accounts explicitly for additive graph perturbations. Preliminary numerical experiments showcase the effectiveness and potential of the proposed algorithm.


title: Fast Triangle Counting

abstract: Listing and counting triangles in graphs is a key algorithmic kernel for network analyses including community detection, clustering coefficients, k-trusses, and triangle centrality. We design and implement a new serial algorithm for triangle counting that performs competitively with the fastest previous approaches on both real and synthetic graphs, such as those from the Graph500 Benchmark and the MIT/Amazon/IEEE Graph Challenge. The experimental results use the recently-launched Intel Xeon Platinum 8480+ and CPU Max 9480 processors.


title: The connection between polymer collapse and the onset of jamming

abstract: Previous studies have shown that the interiors of proteins are densely packed, reaching packing fractions that are as large as those found for static packings of individual amino-acid-shaped particles. How can the interiors of proteins take on such high packing fractions given that amino acids are connected by peptide bonds and many amino acids are hydrophobic with attractive interactions? We investigate this question by comparing the structural and mechanical properties of collapsed attractive disk-shaped bead-spring polymers to those of three reference systems: static packings of repulsive disks, of attractive disks, and of repulsive disk-shaped bead-spring polymers. We show that attractive systems quenched to temperatures below the glass transition $T \ll T_g$ and static packings of both repulsive disks and bead-spring polymers possess similar interior packing fractions. Previous studies have shown that static packings of repulsive disks are isostatic at jamming onset, i.e. the number of contacts $N_c$ matches the number of degrees of freedom, which strongly influences their mechanical properties. We find that repulsive polymers are hypostatic at jamming onset, but effectively isostatic when including quartic modes. While attractive disk and polymer packings are hyperstatic, we identify a definition for interparticle contacts for which they can also be considered as effectively isostatic. As a result, we show that the mechanical properties (e.g. scaling of the potential energy with excess contact number and low-frequency contribution to the density of vibrational modes) of weakly attractive disk and polymer packings are similar to those of ${\it isostatic}$ repulsive disk and polymer packings. Our results demonstrate that static packings generated via attractive collapse or compression of repulsive particles possess similar structural and mechanical properties.


title: Subspace Dual and orthogonal frames\\ by action of an abelian group

abstract: In this article, we discuss subspace duals of a frame of translates by an action of a closed abelian subgroup $\Gamma$ of a locally compact group $\mathscr G.$ These subspace duals are not required to lie in the space generated by the frame. We characterise translation-generated subspace duals of a frame/Riesz basis involving the Zak transform for the pair $(\mathscr G, \Gamma) .$ We continue our discussion on the orthogonality of two translation-generated Bessel pairs using the Zak transform, which allows us to explore the dual of super-frames. As an example, we extend our findings to splines, Gabor systems, $p$-adic fields $\mathbb Q p,$ locally compact abelian groups using the fiberization map.


title: MMST-ViT: Climate Change-aware Crop Yield Prediction via Multi-Modal Spatial-Temporal Vision Transformer

abstract: Precise crop yield prediction provides valuable information for agricultural planning and decision-making processes. However, timely predicting crop yields remains challenging as crop growth is sensitive to growing season weather variation and climate change. In this work, we develop a deep learning-based solution, namely Multi-Modal Spatial-Temporal Vision Transformer (MMST-ViT), for predicting crop yields at the county level across the United States, by considering the effects of short-term meteorological variations during the growing season and the long-term climate change on crops. Specifically, our MMST-ViT consists of a Multi-Modal Transformer, a Spatial Transformer, and a Temporal Transformer. The Multi-Modal Transformer leverages both visual remote sensing data and short-term meteorological data for modeling the effect of growing season weather variations on crop growth. The Spatial Transformer learns the high-resolution spatial dependency among counties for accurate agricultural tracking. The Temporal Transformer captures the long-range temporal dependency for learning the impact of long-term climate change on crops. Meanwhile, we also devise a novel multi-modal contrastive learning technique to pre-train our model without extensive human supervision. Hence, our MMST-ViT captures the impacts of both short-term weather variations and long-term climate change on crops by leveraging both satellite images and meteorological data. We have conducted extensive experiments on over 200 counties in the United States, with the experimental results exhibiting that our MMST-ViT outperforms its counterparts under three performance metrics of interest.


title: Recovering Missing Node Features with Local Structure-based Embeddings

abstract: Node features bolster graph-based learning when exploited jointly with network structure. However, a lack of nodal attributes is prevalent in graph data. We present a framework to recover completely missing node features for a set of graphs, where we only know the signals of a subset of graphs. Our approach incorporates prior information from both graph topology and existing nodal values. We demonstrate an example implementation of our framework where we assume that node features depend on local graph structure. Missing nodal values are estimated by aggregating known features from the most similar nodes. Similarity is measured through a node embedding space that preserves local topological features, which we train using a Graph AutoEncoder. We empirically show not only the accuracy of our feature estimation approach but also its value for downstream graph classification. Our success embarks on and implies the need to emphasize the relationship between node features and graph structure in graph-based learning.


title: Constructing a Knowledge Graph for Vietnamese Legal Cases with Heterogeneous Graphs

abstract: This paper presents a knowledge graph construction method for legal case documents and related laws, aiming to organize legal information efficiently and enhance various downstream tasks. Our approach consists of three main steps: data crawling, information extraction, and knowledge graph deployment. First, the data crawler collects a large corpus of legal case documents and related laws from various sources, providing a rich database for further processing. Next, the information extraction step employs natural language processing techniques to extract entities such as courts, cases, domains, and laws, as well as their relationships from the unstructured text. Finally, the knowledge graph is deployed, connecting these entities based on their extracted relationships, creating a heterogeneous graph that effectively represents legal information and caters to users such as lawyers, judges, and scholars. The established baseline model leverages unsupervised learning methods, and by incorporating the knowledge graph, it demonstrates the ability to identify relevant laws for a given legal case. This approach opens up opportunities for various applications in the legal domain, such as legal case analysis, legal recommendation, and decision support.


title: NOWJ1@ALQAC 2023: Enhancing Legal Task Performance with Classic Statistical Models and Pre-trained Language Models

abstract: This paper describes the NOWJ1 Team's approach for the Automated Legal Question Answering Competition (ALQAC) 2023, which focuses on enhancing legal task performance by integrating classical statistical models and Pre-trained Language Models (PLMs). For the document retrieval task, we implement a pre-processing step to overcome input limitations and apply learning-to-rank methods to consolidate features from various models. The question-answering task is split into two sub-tasks: sentence classification and answer extraction. We incorporate state-of-the-art models to develop distinct systems for each sub-task, utilizing both classic statistical models and pre-trained Language Models. Experimental results demonstrate the promising potential of our proposed methodology in the competition.


title: RMDM: A Multilabel Fakenews Dataset for Vietnamese Evidence Verification

abstract: In this study, we present a novel and challenging multilabel Vietnamese dataset (RMDM) designed to assess the performance of large language models (LLMs), in verifying electronic information related to legal contexts, focusing on fake news as potential input for electronic evidence. The RMDM dataset comprises four labels: real, mis, dis, and mal, representing real information, misinformation, disinformation, and mal-information, respectively. By including these diverse labels, RMDM captures the complexities of differing fake news categories and offers insights into the abilities of different language models to handle various types of information that could be part of electronic evidence. The dataset consists of a total of 1,556 samples, with 389 samples for each label. Preliminary tests on the dataset using GPT-based and BERT-based models reveal variations in the models' performance across different labels, indicating that the dataset effectively challenges the ability of various language models to verify the authenticity of such information. Our findings suggest that verifying electronic information related to legal contexts, including fake news, remains a difficult problem for language models, warranting further attention from the research community to advance toward more reliable AI models for potential legal applications.


title: Parallel Longest Common SubSequence Analysis In Chapel

abstract: One of the most critical problems in the field of string algorithms is the longest common subsequence problem (LCS). The problem is NP-hard for an arbitrary number of strings but can be solved in polynomial time for a fixed number of strings. In this paper, we select a typical parallel LCS algorithm and integrate it into our large-scale string analysis algorithm library to support different types of large string analysis. Specifically, we take advantage of the high-level parallel language, Chapel, to integrate Lu and Liu's parallel LCS algorithm into Arkouda, an open-source framework. Through Arkouda, data scientists can easily handle large string analytics on the back-end high-performance computing resources from the front-end Python interface. The Chapel-enabled parallel LCS algorithm can identify the longest common subsequences of two strings, and experimental results are given to show how the number of parallel resources and the length of input strings can affect the algorithm's performance.


title: Enhancing personalised thermal comfort models with Active Learning for improved HVAC controls

abstract: Developing personalised thermal comfort models to inform occupant-centric controls (OCC) in buildings requires collecting large amounts of real-time occupant preference data. This process can be highly intrusive and labour-intensive for large-scale implementations, limiting the practicality of real-world OCC implementations. To address this issue, this study proposes a thermal preference-based HVAC control framework enhanced with Active Learning (AL) to address the data challenges related to real-world implementations of such OCC systems. The proposed AL approach proactively identifies the most informative thermal conditions for human annotation and iteratively updates a supervised thermal comfort model. The resulting model is subsequently used to predict the occupants' thermal preferences under different thermal conditions, which are integrated into the building's HVAC controls. The feasibility of our proposed AL-enabled OCC was demonstrated in an EnergyPlus simulation of a real-world testbed supplemented with the thermal preference data of 58 study occupants. The preliminary results indicated a significant reduction in overall labelling effort (i.e., 31.0%) between our AL-enabled OCC and conventional OCC while still achieving a slight increase in energy savings (i.e., 1.3%) and thermal satisfaction levels above 98%. This result demonstrates the potential for deploying such systems in future real-world implementations, enabling personalised comfort and energy-efficient building operations.


title: Test-Time Compensated Representation Learning for Extreme Traffic Forecasting

abstract: Traffic forecasting is a challenging task due to the complex spatio-temporal correlations among traffic series. In this paper, we identify an underexplored problem in multivariate traffic series prediction: extreme events. Road congestion and rush hours can result in low correlation in vehicle speeds at various intersections during adjacent time periods. Existing methods generally predict future series based on recent observations and entirely discard training data during the testing phase, rendering them unreliable for forecasting highly nonlinear multivariate time series. To tackle this issue, we propose a test-time compensated representation learning framework comprising a spatio-temporal decomposed data bank and a multi-head spatial transformer model (CompFormer). The former component explicitly separates all training data along the temporal dimension according to periodicity characteristics, while the latter component establishes a connection between recent observations and historical series in the data bank through a spatial attention matrix. This enables the CompFormer to transfer robust features to overcome anomalous events while using fewer computational resources. Our modules can be flexibly integrated with existing forecasting methods through end-to-end training, and we demonstrate their effectiveness on the METR-LA and PEMS-BAY benchmarks. Extensive experimental results show that our method is particularly important in extreme events, and can achieve significant improvements over six strong baselines, with an overall improvement of up to 28.2%.


title: Music Generation based on Generative Adversarial Networks with Transformer

abstract: Autoregressive models based on Transformers have become the prevailing approach for generating music compositions that exhibit comprehensive musical structure. These models are typically trained by minimizing the negative log-likelihood (NLL) of the observed sequence in an autoregressive manner. However, when generating long sequences, the quality of samples from these models tends to significantly deteriorate due to exposure bias. To address this issue, we leverage classifiers trained to differentiate between real and sampled sequences to identify these failures. This observation motivates our exploration of adversarial losses as a complement to the NLL objective. We employ a pre-trained Span-BERT model as the discriminator in the Generative Adversarial Network (GAN) framework, which enhances training stability in our experiments. To optimize discrete sequences within the GAN framework, we utilize the Gumbel-Softmax trick to obtain a differentiable approximation of the sampling process. Additionally, we partition the sequences into smaller chunks to ensure that memory constraints are met. Through human evaluations and the introduction of a novel discriminative metric, we demonstrate that our approach outperforms a baseline model trained solely on likelihood maximization.


title: Dynamical Phonons Following Electron Relaxation Stages in Photo-excited Graphene

abstract: Ultrafast electron-phonon relaxation dynamics in graphene hides many distinct phenomena, such as hot phonon generation, dynamical Kohn anomalies, and phonon decoupling, yet still remains largely unexplored. Here, we unravel intricate mechanisms governing the vibrational relaxation and phonon dressing in graphene at a highly non-equilibrium state by means of first-principles techniques. We calculate dynamical phonon spectral functions and momentum-resolved linewidths for various stages of electron relaxation and find photo-induced phonon hardening, overall increase of relaxation rate and nonadiabaticity as well as phonon gain. Namely, the initial stage of photo-excitation is found to be governed by strong phonon anomalies of finite-momentum optical modes along with incoherent phonon production. Population inversion state, on the other hand, allows production of coherent and strongly-coupled phonon modes. Our research provides vital insights into the electron-phonon coupling phenomena in graphene, and serves as a foundation for exploring non-equilibrium phonon dressing in materials where ordered states and phase transitions can be induced by photo-excitation.


title: On the Balmer spectrum of Morel-Voevodsky category

abstract: We introduce the Morava-isotropic stable homotopy category and, more generally, the stable homotopy category of an extension $E/k$. These "local" versions of the Morel-Voevodsky stable ${\Bbb{A}}^1$-homotopy category $SH(k)$ are analogues of local motivic categories introduced in [22], but with a substantially more general notion of "isotropy". This permits to construct the, so-called, isotropic Morava points of the Balmer spectrum $\operatorname{Spc}(SH^c(k))$ of (the compact part of) the Morel-Voevodsky category. These analogues of topological Morava points are parametrized by the choice of Morava K-theory and a $K(p,m)$-equivalence class of extensions $E/k$. This provides a large supply of new points, and substantially improves our understanding of the spectrum. An interesting new feature is that the specialization among isotropic points behaves differently than in topology.


title: Unsupervised Green Object Tracker (GOT) without Offline Pre-training

abstract: Supervised trackers trained on labeled data dominate the single object tracking field for superior tracking accuracy. The labeling cost and the huge computational complexity hinder their applications on edge devices. Unsupervised learning methods have also been investigated to reduce the labeling cost but their complexity remains high. Aiming at lightweight high-performance tracking, feasibility without offline pre-training, and algorithmic transparency, we propose a new single object tracking method, called the green object tracker (GOT), in this work. GOT conducts an ensemble of three prediction branches for robust box tracking: 1) a global object-based correlator to predict the object location roughly, 2) a local patch-based correlator to build temporal correlations of small spatial units, and 3) a superpixel-based segmentator to exploit the spatial information of the target frame. GOT offers competitive tracking accuracy with state-of-the-art unsupervised trackers, which demand heavy offline pre-training, at a lower computation cost. GOT has a tiny model size (<3k parameters) and low inference complexity (around 58M FLOPs per frame). Since its inference complexity is between 0.1%-10% of DL trackers, it can be easily deployed on mobile and edge devices.


title: Achieving Ultra-Reliable Low-Latency Communication (URLLC) in Next-Generation Cellular Networks with Programmable Data Planes

abstract: Recent advancements in wireless technologies towards the next-generation cellular networks have brought a new era that made it possible to apply cellular technology on traditionally-wired networks with tighter requirements, such as industrial networks. The next-generation cellular technologies (e.g., 5G and Beyond) introduce the concept of ultra-reliable low-latency communications (URLLC). This thesis presents a Software-Defined Networking (SDN) architecture with programmable data planes for the next-generation cellular networks to achieve URLLC. Our design deploys programmable switches between the cellular core and Radio Access Networks (RAN) to monitor and modify data traffic at the line speed. We introduce the concept of \textit{intra-cellular optimization}, a relaxation in cellular networks to allow pre-authorized in-network devices to communicate without being required to signal the core network. We also present a control structure, Unified Control Plane (UCP), containing a novel Ethernet Layer control protocol and an adapted version of link-state routing information distribution among the programmable switches. Our implementation uses P4 with an 5G implementation (Open5Gs) and a UE/RAN simulator. We implement a Python simulator to evaluate the performance of our system on multi-switch topologies by simulating the switch behavior. Our evaluation indicates latency reduction up to 2x with \textit{intra-cellular optimization} compared to the conventional architecture. We show that our design has a ten-millisecond level of control latency, and achieves fine-grained network security and monitoring.


title: Multi-camera Bird's Eye View Perception for Autonomous Driving

abstract: Most automated driving systems comprise a diverse sensor set, including several cameras, Radars, and LiDARs, ensuring a complete 360\deg coverage in near and far regions. Unlike Radar and LiDAR, which measure directly in 3D, cameras capture a 2D perspective projection with inherent depth ambiguity. However, it is essential to produce perception outputs in 3D to enable the spatial reasoning of other agents and structures for optimal path planning. The 3D space is typically simplified to the BEV space by omitting the less relevant Z-coordinate, which corresponds to the height dimension.The most basic approach to achieving the desired BEV representation from a camera image is IPM, assuming a flat ground surface. Surround vision systems that are pretty common in new vehicles use the IPM principle to generate a BEV image and to show it on display to the driver. However, this approach is not suited for autonomous driving since there are severe distortions introduced by this too-simplistic transformation method. More recent approaches use deep neural networks to output directly in BEV space. These methods transform camera images into BEV space using geometric constraints implicitly or explicitly in the network. As CNN has more context information and a learnable transformation can be more flexible and adapt to image content, the deep learning-based methods set the new benchmark for BEV transformation and achieve state-of-the-art performance. First, this chapter discusses the contemporary trends of multi-camera-based DNN (deep neural network) models outputting object representations directly in the BEV space. Then, we discuss how this approach can extend to effective sensor fusion and coupling downstream tasks like situation analysis and prediction. Finally, we show challenges and open problems in BEV perception.


title: Stylish Risk-Limiting Audits in Practice

abstract: Risk-limiting audits (RLAs) can use information about which ballot cards contain which contests (card-style data, CSD) to ensure that each contest receives adequate scrutiny, without examining more cards than necessary. RLAs using CSD in this way can be substantially more efficient than RLAs that sample indiscriminately from all cast cards. We describe an open-source Python implementation of RLAs using CSD for the Hart InterCivic Verity voting system and the Dominion Democracy Suite(R) voting system. The software is demonstrated using all 181 contests in the 2020 general election and all 214 contests in the 2022 general election in Orange County, CA, USA, the fifth-largest election jurisdiction in the U.S., with over 1.8 million active voters. (Orange County uses the Hart Verity system.) To audit the 181 contests in 2020 to a risk limit of 5% without using CSD would have required a complete hand tally of all 3,094,308 cast ballot cards. With CSD, the estimated sample size is about 20,100 cards, 0.65% of the cards cast--including one tied contest that required a complete hand count. To audit the 214 contests in 2022 to a risk limit of 5% without using CSD would have required a complete hand tally of all 1,989,416 cast cards. With CSD, the estimated sample size is about 62,250 ballots, 3.1% of cards cast--including three contests with margins below 0.1% and 9 with margins below 0.5%.


title: A construction of a graphical model

abstract: We present a nonparametric graphical model. Our model uses an undirected graph that represents conditional independence for general random variables defined by the conditional dependence coefficient (Azadkia and Chatterjee (2021)). The set of edges of the graph are defined as $E=\{(i,j):R_{i,j}\neq 0\}$, where $R_{i,j}$ is the conditional dependence coefficient for $X_i$ and $X_j$ given $(X_1,\ldots,X_p) \backslash \{X_{i},X_{j}\}$. We propose a graph structure learning by two steps selection procedure: first, we compute the matrix of sample version of the conditional dependence coefficient $\widehat{R_{i,j}}$; next, for some prespecificated threshold $\lambda>0$ we choose an edge $\{i,j\}$ if $ \left|\widehat{R_{i,j}} \right| \geq \lambda.$ The graph recovery structure has been evaluated on artificial and real datasets. We also applied a slight modification of our graph recovery procedure for learning partial correlation graphs for the elliptical distribution.


title: FrameRS: A Video Frame Compression Model Composed by Self supervised Video Frame Reconstructor and Key Frame Selector

abstract: In this paper, we present frame reconstruction model: FrameRS. It consists self-supervised video frame reconstructor and key frame selector. The frame reconstructor, FrameMAE, is developed by adapting the principles of the Masked Autoencoder for Images (MAE) for video context. The key frame selector, Frame Selector, is built on CNN architecture. By taking the high-level semantic information from the encoder of FrameMAE as its input, it can predicted the key frames with low computation costs. Integrated with our bespoke Frame Selector, FrameMAE can effectively compress a video clip by retaining approximately 30% of its pivotal frames. Performance-wise, our model showcases computational efficiency and competitive accuracy, marking a notable improvement over traditional Key Frame Extract algorithms. The implementation is available on Github


title: Comparative evaluation of bandwidth-bound applications on the Intel Xeon CPU MAX Series

abstract: In this paper we explore the performance of Intel Xeon MAX CPU Series, representing the most significant new variation upon the classical CPU architecture since the Intel Xeon Phi Processor. Given the availability of a large on-package high-bandwidth memory, the bandwidth-to-compute ratio has significantly shifted compared to other CPUs on the market. Since a large fraction of HPC workloads are sensitive to the available bandwidth, we explore how this architecture performs on a selection of HPC proxies and applications that are mostly sensitive to bandwidth, and how it compares to the previous 3rd generation Intel Xeon Scalable processors (codenamed Ice Lake) and an AMD EPYC 7003 Series Processor with 3D V-Cache Technology (codenamed Milan-X). We explore performance with different parallel implementations (MPI, MPI+OpenMP, MPI+SYCL), compiled with different compilers and flags, and executed with or without hyperthreading. We show how performance bottlenecks are shifted from bandwidth to communication latencies for some applications, and demonstrate speedups compared to the previous generation between 2.0x-4.3x.


title: SynthTab: Leveraging Synthesized Data for Guitar Tablature Transcription

abstract: Guitar tablature is a form of music notation widely used among guitarists. It captures not only the musical content of a piece, but also its implementation and ornamentation on the instrument. Guitar Tablature Transcription (GTT) is an important task with broad applications in music education, composition, and entertainment. Existing GTT datasets are quite limited in size and scope, rendering models trained on them prone to overfitting and incapable of generalizing to out-of-domain data. In order to address this issue, we present a methodology for synthesizing large-scale GTT audio using commercial acoustic and electric guitar plugins. We procure SynthTab, a dataset derived from DadaGP, which is a vast and diverse collection of richly annotated symbolic tablature. The proposed synthesis pipeline produces audio which faithfully adheres to the original fingerings and a subset of techniques specified in the tablature, and covers multiple guitars and styles for each track. Experiments show that pre-training a baseline GTT model on SynthTab can improve transcription performance when fine-tuning and testing on an individual dataset. More importantly, cross-dataset experiments show that pre-training significantly mitigates issues with overfitting.


title: Split Federated Learning for 6G Enabled-Networks: Requirements, Challenges and Future Directions

abstract: Sixth-generation (6G) networks anticipate intelligently supporting a wide range of smart services and innovative applications. Such a context urges a heavy usage of Machine Learning (ML) techniques, particularly Deep Learning (DL), to foster innovation and ease the deployment of intelligent network functions/operations, which are able to fulfill the various requirements of the envisioned 6G services. Specifically, collaborative ML/DL consists of deploying a set of distributed agents that collaboratively train learning models without sharing their data, thus improving data privacy and reducing the time/communication overhead. This work provides a comprehensive study on how collaborative learning can be effectively deployed over 6G wireless networks. In particular, our study focuses on Split Federated Learning (SFL), a technique recently emerged promising better performance compared with existing collaborative learning approaches. We first provide an overview of three emerging collaborative learning paradigms, including federated learning, split learning, and split federated learning, as well as of 6G networks along with their main vision and timeline of key developments. We then highlight the need for split federated learning towards the upcoming 6G networks in every aspect, including 6G technologies (e.g., intelligent physical layer, intelligent edge computing, zero-touch network management, intelligent resource management) and 6G use cases (e.g., smart grid 2.0, Industry 5.0, connected and autonomous systems). Furthermore, we review existing datasets along with frameworks that can help in implementing SFL for 6G networks. We finally identify key technical challenges, open issues, and future research directions related to SFL-enabled 6G networks.


title: What is the hard spectral state in X-ray binaries? Insights from GRRMHD accretion flows simulations and polarization of their X-ray emission

abstract: X-ray binaries are known to exhibit different spectral states which are often associated with different black hole accretion modes. The exact geometry and properties of these accretion modes is still uncertain. Recent IXPE measurements of linear polarization of X-ray emission in canonical X-ray binary system Cygnus X-1 allow us to test models for the hard spectral state of accretion in a unique way. We show that general relativistic radiative magnetohydrodynamic (GRRMHD) simulations of accreting stellar black hole in a hard X-ray state may be consistent with the new observational information. In the presented framework, where first-principle models have limited number of free parameters, the polarimetric X-ray observations put constraints on the viewing angle of the inner hot accretion flow.


title: Enhancing GAN-Based Vocoders with Contrastive Learning Under Data-limited Condition

abstract: Vocoder models have recently achieved substantial progress in generating authentic audio comparable to human quality while significantly reducing memory requirement and inference time. However, these data-hungry generative models require large-scale audio data for learning good representations. In this paper, we apply contrastive learning methods in training the vocoder to improve the perceptual quality of the vocoder without modifying its architecture or adding more data. We design an auxiliary task with mel-spectrogram contrastive learning to enhance the utterance-level quality of the vocoder model under data-limited conditions. We also extend the task to include waveforms to improve the multi-modality comprehension of the model and address the discriminator overfitting problem. We optimize the additional task simultaneously with GAN training objectives. Our results show that the tasks improve model performance substantially in data-limited settings.


title: On the geometry and dynamical formulation of the Sinkhorn algorithm for optimal transport

abstract: The Sinkhorn algorithm is a numerical method for the solution of optimal transport problems. Here, I give a brief survey of this algorithm, with a strong emphasis on its geometric origin: it is natural to view it as a discretization, by standard methods, of a non-linear integral equation. In the appendix, I also provide a short summary of an early result of Beurling on product measures, directly related to the Sinkhorn algorithm.


title: Optimal Photodetector Size for High-Speed Free-Space Optics Receivers

abstract: The selection of an optimal photodetector area is closely linked to the attainment of higher data rates in optical wireless communication receivers. If the photodetector area is too large, the channel capacity degrades due to lower modulation bandwidth of the detector. A smaller photodetector maximizes the bandwidth, but minimizes the captured signal power and the subsequent signal-to-noise ratio. Therein lies an opportunity in this trade-off to maximize the channel rate by choosing the optimal photodetector area. In this study, we have optimized the photodetector area in order to maximize the channel capacity of a free-space optical link for a diverse set of communication scenarios. We believe that the study in this paper in general -- and the closed-form solutions derived in this study in particular -- will be helpful to maximize achievable data rates of a wide gamut of optical wireless communication systems: from long range deep space optical links to short range indoor visible light communication systems.


title: Anisotropy of Antiferromagnetic Domains in a Spin-orbit Mott Insulator

abstract: The temperature-dependent behavior of magnetic domains plays an essential role in the magnetic properties of materials, leading to widespread applications. However, experimental methods to access the three-dimensional (3D) magnetic domain structures are very limited, especially for antiferromagnets. Over the past decades, the spin-orbit Mott insulator iridate $Sr_2IrO_4$ has attracted particular attention because of its interesting magnetic structure and analogy to superconducting cuprates. Here, we apply resonant x-ray magnetic Bragg coherent diffraction imaging to track the real-space 3D evolution of antiferromagnetic ordering inside a $Sr_2IrO_4$ single crystal as a function of temperature, finding that the antiferromagnetic domain shows anisotropic changes. The anisotropy of the domain shape reveals the underlying anisotropy of the antiferromagnetic coupling strength within $Sr_2IrO_4$. These results demonstrate the high potential significance of 3D domain imaging in magnetism research.


title: The Impact of Debiasing on the Performance of Language Models in Downstream Tasks is Underestimated

abstract: Pre-trained language models trained on large-scale data have learned serious levels of social biases. Consequently, various methods have been proposed to debias pre-trained models. Debiasing methods need to mitigate only discriminatory bias information from the pre-trained models, while retaining information that is useful for the downstream tasks. In previous research, whether useful information is retained has been confirmed by the performance of downstream tasks in debiased pre-trained models. On the other hand, it is not clear whether these benchmarks consist of data pertaining to social biases and are appropriate for investigating the impact of debiasing. For example in gender-related social biases, data containing female words (e.g. ``she, female, woman''), male words (e.g. ``he, male, man''), and stereotypical words (e.g. ``nurse, doctor, professor'') are considered to be the most affected by debiasing. If there is not much data containing these words in a benchmark dataset for a target task, there is the possibility of erroneously evaluating the effects of debiasing. In this study, we compare the impact of debiasing on performance across multiple downstream tasks using a wide-range of benchmark datasets that containing female, male, and stereotypical words. Experiments show that the effects of debiasing are consistently \emph{underestimated} across all tasks. Moreover, the effects of debiasing could be reliably evaluated by separately considering instances containing female, male, and stereotypical words than all of the instances in a benchmark dataset.


title: A Course chapter on Quantum Computing for Master Students in Engineering

abstract: Quantum computing is a rapidly evolving field encompassing various disciplines such as physics, mathematics, computer engineering, and computer science. Teaching quantum computing in a concise and effective manner can be challenging, especially within the time constraints of a single course or a short period, even for graduate students. This challenge is particularly relevant in two-year MSc programs that include a thesis, which is a typical structure in higher education systems in the USA and Europe. In this paper, the author proposes an approach to teaching quantum computing and shares their experience of conducting a course chapter on the subject within a two-week time frame. The experience reported in this paper is integrated into the "Technologies of Computing Systems" (TCS) course, with a total workload of 6 ECTS (in the context of the European Credit Transfer and Accumulation System, one ECTS corresponds to 28 hours of work), conducted in one quarter, over seven weeks. The structure of the course chapter is discussed, involving a series of lectures that were accompanied by lab classes and a lab project, allowing students to receive guidance while also engaging in hands-on learning and independent study. The paper provides an overview of the quantum computing topics covered, and their integration in the TSC course, and gives details about how these topics are studied in the different types of classes. It also discusses the evaluation procedure and presents the results obtained. It can be concluded that the inclusion of the quantum computing component not only significantly increased student interest in the course but also effectively bridged the gap between classical and quantum computing for engineering students within a short period of two weeks.


title: Sizing Strategies for Algorithmic Trading in Volatile Markets: A Study of Backtesting and Risk Mitigation Analysis

abstract: Backtest is a way of financial risk evaluation which helps to analyze how our trading algorithm would work in markets with past time frame. The high volatility situation has always been a critical situation which creates challenges for algorithmic traders. The paper investigates different models of sizing in financial trading and backtest to high volatility situations to understand how sizing models can lower the models of VaR during crisis events. Hence it tries to show that how crisis events with high volatility can be controlled using short and long positional size. The paper also investigates stocks with AR, ARIMA, LSTM, GARCH with ETF data.


title: Interactively Teaching an Inverse Reinforcement Learner with Limited Feedback

abstract: We study the problem of teaching via demonstrations in sequential decision-making tasks. In particular, we focus on the situation when the teacher has no access to the learner's model and policy, and the feedback from the learner is limited to trajectories that start from states selected by the teacher. The necessity to select the starting states and infer the learner's policy creates an opportunity for using the methods of inverse reinforcement learning and active learning by the teacher. In this work, we formalize the teaching process with limited feedback and propose an algorithm that solves this teaching problem. The algorithm uses a modified version of the active value-at-risk method to select the starting states, a modified maximum causal entropy algorithm to infer the policy, and the difficulty score ratio method to choose the teaching demonstrations. We test the algorithm in a synthetic car driving environment and conclude that the proposed algorithm is an effective solution when the learner's feedback is limited.


title: On $p$-nonsingular systems of equations over solvable groups

abstract: Any group that has a subnormal series, in which all factors are abelian and all except the last one are $p'$-torsion-free, can be embedded into a group with a subnormal series of the same length, with the same properties and such that any $p$-nonsingular system of equations over this group is solvable in this group itself. This helps us to prove that the minimal order of a metabelian group, over which there is a unimodular equation that is unsolvable in metabelian groups, is 42.


title: A Dimension-Independent Bound on the Wasserstein Contraction Rate of a Geodesic Random Walk on the Sphere

abstract: We theoretically analyze the properties of a geodesic random walk on the Euclidean $d$-sphere. Specifically, we prove that the random walk's transition kernel is Wasserstein contractive with a contraction rate which can be bounded from above independently of the dimension $d$. Our result is of particular interest due to its implications regarding the potential for dimension-independent performance of both geodesic slice sampling on the sphere and Gibbsian polar slice sampling, which are Markov chain Monte Carlo methods for approximate sampling from essentially arbitrary distributions on their respective state spaces.


title: Two-Sided Capacitated Submodular Maximization in Gig Platforms

abstract: In this paper, we propose three generic models of capacitated coverage and, more generally, submodular maximization to study task-worker assignment problems that arise in a wide range of gig economy platforms. Our models incorporate the following features: (1) Each task and worker can have an arbitrary matching capacity, which captures the limited number of copies or finite budget for the task and the working capacity of the worker; (2) Each task is associated with a coverage or, more generally, a monotone submodular utility function. Our objective is to design an allocation policy that maximizes the sum of all tasks' utilities, subject to capacity constraints on tasks and workers. We consider two settings: offline, where all tasks and workers are static, and online, where tasks are static while workers arrive dynamically. We present three LP-based rounding algorithms that achieve optimal approximation ratios of $1-1/\mathsf{e} \sim 0.632$ for offline coverage maximization, competitive ratios of $(19-67/\mathsf{e}^3)/27\sim 0.580$ and $0.436$ for online coverage and online monotone submodular maximization, respectively.


title: Simultaneous approximation by operators of exponential type

abstract: There are many results on the simultaneous approximation by sequences of special positive linear operators. In the year 1978, Ismail and May as well as Volkov independently studied operators of exponential type covering the most classical approximation operators. In this paper we study asymptotic properties of these class of operators. We prove that under certain conditions, asymptotic expansions for sequences of operators belonging to a slightly larger class of operators, can be differentiated term-by-term. This general theorem contains several results which were previously obtained by several authors for concrete operators. One corollary states, that the complete asymptotic expansion for the Bernstein polynomials can be differentiated term-by-term. This implies a well-known result on the Voronovskaja formula obtained by Floater.


title: Btor2MLIR: A Format and Toolchain for Hardware Verification

abstract: Formats for representing and manipulating verification problems are extremely important for supporting the ecosystem of tools, developers, and practitioners. A good format allows representing many different types of problems, has a strong toolchain for manipulating and translating problems, and can grow with the community. In the world of hardware verification, and, specifically, the Hardware Model Checking Competition (HWMCC), the Btor2 format has emerged as the dominating format. It is supported by Btor2Tools, verification tools, and Verilog design tools like Yosys. In this paper, we present an alternative format and toolchain, called Btor2MLIR, based on the recent MLIR framework. The advantage of Btor2MLIR is in reusing existing components from a mature compiler infrastructure, including parsers, text and binary formats, converters to a variety of intermediate representations, and executable semantics of LLVM. We hope that the format and our tooling will lead to rapid prototyping of verification and related tools for hardware verification.


title: Behavioral-based circular formation control for robot swarms

abstract: This paper focuses on coordinating a robot swarm orbiting a convex path without collisions among the individuals. The individual robots lack braking capabilities and can only adjust their courses while maintaining their constant but different speeds. Instead of controlling the spatial relations between the robots, our formation control algorithm aims to deploy a dense robot swarm that mimics the behavior of tornado schooling fish. To achieve this objective safely, we employ a combination of a scalable overtaking rule, a guiding vector field, and a control barrier function with an adaptive radius to facilitate smooth overtakes. The decision-making process of the robots is distributed, relying only on local information. Practical applications include defensive structures or escorting missions with the added resiliency of a swarm without a centralized command. We provide a rigorous analysis of the proposed strategy and validate its effectiveness through numerical simulations involving a high density of unicycles.


title: CppFlow: Generative Inverse Kinematics for Efficient and Robust Cartesian Path Planning

abstract: In this work we present CppFlow - a novel and performant planner for the Cartesian Path Planning problem, which finds valid trajectories up to 129x faster than current methods, while also succeeding on more difficult problems where others fail. At the core of the proposed algorithm is the use of a learned, generative Inverse Kinematics solver, which is able to efficiently produce promising entire candidate solution trajectories on the GPU. Precise, valid solutions are then found through classical approaches such as differentiable programming, global search, and optimization. In combining approaches from these two paradigms we get the best of both worlds - efficient approximate solutions from generative AI which are made exact using the guarantees of traditional planning and optimization. We evaluate our system against other state of the art methods on a set of established baselines as well as new ones introduced in this work and find that our method significantly outperforms others in terms of the time to find a valid solution and planning success rate, and performs comparably in terms of trajectory length over time. The work is made open source and available for use upon acceptance.


title: Optimal Estimation under a Semiparametric Density Ratio Model

abstract: In many statistical and econometric applications, we gather individual samples from various interconnected populations that undeniably exhibit common latent structures. Utilizing a model that incorporates these latent structures for such data enhances the efficiency of inferences. Recently, many researchers have been adopting the semiparametric density ratio model (DRM) to address the presence of latent structures. The DRM enables estimation of each population distribution using pooled data, resulting in statistically more efficient estimations in contrast to nonparametric methods that analyze each sample in isolation. In this article, we investigate the limit of the efficiency improvement attainable through the DRM. We focus on situations where one population's sample size significantly exceeds those of the other populations. In such scenarios, we demonstrate that the DRM-based inferences for populations with smaller sample sizes achieve the highest attainable asymptotic efficiency as if a parametric model is assumed. The estimands we consider include the model parameters, distribution functions, and quantiles. We use simulation experiments to support the theoretical findings with a specific focus on quantile estimation. Additionally, we provide an analysis of real revenue data from U.S. collegiate sports to illustrate the efficacy of our contribution.


title: Characterization of Solubilizers of Elements in Minimal Simple Groups

abstract: Given a finite group $G$, the solubilizer of an element $x$, denoted by $\Sol_G(x)$, is the set of all elements $y$ such that $\langle x, y\rangle$ is a soluble subgroup of $G$. In this paper, we provide a classification for all solubilizers of elements in minimal simple groups. We also examine these sets to explore their properties by discussing some computational methods and making some conjectures for further work.


title: Distinguishable consequence of classical gravity on quantum matter

abstract: What if gravity is classical? If true, a consistent co-existence of classical gravity and quantum matter requires that gravity exhibit irreducible classical fluctuations. These fluctuations can mediate classical correlations between the quantized motion of the gravitationally interacting matter. We use a consistent theory of quantum-classical dynamics, together with general relativity, to show that experimentally relevant observables can conclusively test the hypothesis that gravity is classical. This can be done for example by letting highly coherent source masses interact with each other gravitationally, and performing precise measurements of the cross-correlation of their motion. Theory predicts a characteristic phase response that distinguishes classical gravity from quantum gravity, and from naive sources of decoherence. Such experiments are imminently viable.


title: On level line fluctuations of SOS surfaces above a wall

abstract: We study the low temperature $(2+1)$D Solid-On-Solid model on $[[1, L ]]^2$ with zero boundary conditions and non-negative heights (a floor at height $0$). Caputo et al. (2016) established that this random surface typically admits either $\mathfrak h $ or $\mathfrak h+1$ many nested macroscopic level line loops $\{\mathcal L_i\}_{i\geq 0}$ for an explicit $\mathfrak h\asymp \log L$, and its top loop $\mathcal L_0$ has cube-root fluctuations: e.g., if $\rho(x)$ is the vertical displacement of $\mathcal L_0$ from the bottom boundary point $(x,0)$, then $\max \rho(x) = L^{1/3+o(1)}$ over $x\in I_0:=L/2+[[-L^{2/3},L^{2/3}]]$. It is believed that rescaling $\rho$ by $L^{1/3}$ and $I_0$ by $L^{2/3}$ would yield a limit law of a diffusion on $[-1,1]$. However, no nontrivial lower bound was known on $\rho(x)$ for a fixed $x\in I_0$ (e.g., $x=\frac L2$), let alone on $\min\rho(x)$ in $I_0$, to complement the bound on $\max\rho(x)$. Here we show a lower bound of the predicted order $L^{1/3}$: for every $\epsilon>0$ there exists $\delta>0$ such that $\min_{x\in I_0} \rho(x) \geq \delta L^{1/3}$ with probability at least $1-\epsilon$. The proof relies on the Ornstein--Zernike machinery due to Campanino-Ioffe-Velenik, and a result of Ioffe, Shlosman and Toninelli (2015) that rules out pinning in Ising polymers with modified interactions along the boundary. En route, we refine the latter result into a Brownian excursion limit law, which may be of independent interest. We further show that in a $ K L^{2/3}\times K L^{2/3}$ box with boundary conditions $\mathfrak h-1,\mathfrak h,\mathfrak h,\mathfrak h$ (i.e., $\mathfrak h-1$ on the bottom side and $\mathfrak h$ elsewhere), the limit of $\rho(x)$ as $K,L\to\infty$ is a Ferrari--Spohn diffusion.


title: Maximally efficient biphoton generation by single photon decay in nonlinear quantum photonic circuits

abstract: We develop a general nonperturbative formalism and propose a specific scheme for maximally efficient generation of biphoton states by parametric decay of single photons. We show that the well-known critical coupling concept of integrated optics can be generalized to the nonlinear coupling of quantized photon modes to describe the nonperturbative optimal regime of a single-photon nonlinearity and establish a fundamental upper limit on the nonlinear generation efficiency of quantum-correlated photons, which approaches unity for low enough absorption losses.


title: Neural Network-based Fault Detection and Identification for Quadrotors using Dynamic Symmetry

abstract: Autonomous robotic systems, such as quadrotors, are susceptible to actuator faults, and for the safe operation of such systems, timely detection and isolation of these faults is essential. Neural networks can be used for verification of actuator performance via online actuator fault detection with high accuracy. In this paper, we develop a novel model-free fault detection and isolation (FDI) framework for quadrotor systems using long-short-term memory (LSTM) neural network architecture. The proposed framework only uses system output data and the commanded control input and requires no knowledge of the system model. Utilizing the symmetry in quadrotor dynamics, we train the FDI for fault in just one of the motors (e.g., motor $\# 2$), and the trained FDI can predict faults in any of the motors. This reduction in search space enables us to design an FDI for partial fault as well as complete fault scenarios. Numerical experiments illustrate that the proposed NN-FDI correctly verifies the actuator performance and identifies partial as well as complete faults with over $90\%$ prediction accuracy. We also illustrate that model-free NN-FDI performs at par with model-based FDI, and is robust to model uncertainties as well as distribution shifts in input data.


title: Temperature-Induced Hexagonal-Orthorhombic Phase Transition in Lutetium Ferrite Nanoparticles

abstract: The X-ray diffraction, Raman and infrared spectroscopies and magnetic measurements were used to explore the correlated changes of the structure, lattice dynamics and magnetic properties of the LuFeO3 nanoparticles, which appear in dependence on their sintering temperature. We revealed a gradual substitution of the hexagonal phase by the orthorhombic phase in the nanoparticles, which sintering temperature increases from 700 C to 1100 C. The origin and stability of the hexagonal phase in the LuFeO3 nanoparticles is of the special interest, because the nanoparticle in the phase can be a room-temperature multiferroic with a weak ferromagnetic and pronounced structural and ferroelectric long-range ordering, while the antiferromagnetic and nonpolar orthorhombic phase is more stable in the bulk LuFeO3. To define the ranges of the hexagonal phase stability, we determine the bulk and interface energy densities of different phases from the comparison of the Gibbs model with experimental results. Using the Gibbs model parameters, we predict the influence of size effects and temperature on the structural and polar properties of the LuFeO3 nanoparticles. Analysis of the obtained results shows that the combination of the X-ray diffraction, Raman and infrared spectroscopy, magnetic measurements and theoretical modelling of structural and polar properties allows to establish the interplay between the phase composition, lattice dynamics and multiferroic properties of the LuFeO3 nanoparticles prepared in different conditions.


title: Improving Section 230, Preserving Democracy and Protecting Free Speech

abstract: This article proposes a framework for content moderation based on a decentralized market where no one party, neither governments nor firms, controls the flow of information.


title: Reducing sequential change detection to sequential estimation

abstract: We consider the problem of sequential change detection, where the goal is to design a scheme for detecting any changes in a parameter or functional $\theta$ of the data stream distribution that has small detection delay, but guarantees control on the frequency of false alarms in the absence of changes. In this paper, we describe a simple reduction from sequential change detection to sequential estimation using confidence sequences: we begin a new $(1-\alpha)$-confidence sequence at each time step, and proclaim a change when the intersection of all active confidence sequences becomes empty. We prove that the average run length is at least $1/\alpha$, resulting in a change detection scheme with minimal structural assumptions~(thus allowing for possibly dependent observations, and nonparametric distribution classes), but strong guarantees. Our approach bears an interesting parallel with the reduction from change detection to sequential testing of Lorden (1971) and the e-detector of Shin et al. (2022).


title: Rewriting History: Repurposing Domain-Specific CGRAs

abstract: Coarse-grained reconfigurable arrays (CGRAs) are domain-specific devices promising both the flexibility of FPGAs and the performance of ASICs. However, with restricted domains comes a danger: designing chips that cannot accelerate enough current and future software to justify the hardware cost. We introduce FlexC, the first flexible CGRA compiler, which allows CGRAs to be adapted to operations they do not natively support. FlexC uses dataflow rewriting, replacing unsupported regions of code with equivalent operations that are supported by the CGRA. We use equality saturation, a technique enabling efficient exploration of a large space of rewrite rules, to effectively search through the program-space for supported programs. We applied FlexC to over 2,000 loop kernels, compiling to four different research CGRAs and 300 generated CGRAs and demonstrate a 2.2$\times$ increase in the number of loop kernels accelerated leading to 3$\times$ speedup compared to an Arm A5 CPU on kernels that would otherwise be unsupported by the accelerator.


title: On generalized Tur\'an problems with bounded matching number

abstract: Given a graph $H$ and a family of graphs $\mathcal{F}$, the generalized Tur\'an number $\mathrm{ex}(n,H,\mathcal{F})$ is the maximum number of copies of $H$ in an $n$-vertex graphs that do not contain any member of $\mathcal{F}$ as a subgraph. Recently there has been interest in studying the case $\mathcal{F}=\{F,M_{s+1}\}$ for arbitrary $F$ and $H=K_r$. We extend these investigations to the case $H$ is arbitrary as well.


title: A few representation formulas for solutions of fractional Laplace equations

abstract: This paper is devoted to the Laplacian operator of fractional order $s\in (0,1)$ in several dimensions. We first establish a representation formula for the partial derivatives of the solutions of the homogeneous Dirichlet problem. Along the way, we obtain a Pohozaev-type identity for the fractional Green function and of the fractional Robin function. The latter extends to the fractional setting a formula obtained by Br\'ezis and Peletier, see \cite{Bresiz}, in the classical case of the Laplacian. As an application we consider the particle system extending the classical point vortex system to the case of a fractional Laplacian. We observe that, for a single particle in a bounded domain, the properties of the fractional Robin function are crucial for the study of the steady states. We also extend the classical Hadamard variational formula to the fractional Green function as well as to the shape derivative of weak solution to the homogeneous Dirichlet problem. Finally we turn to the in homogeneous Dirichlet problem and extend a formula by J.L. Lions, see \cite{Lions}, regarding the kernel of the reproducing kernel Hilbert space of harmonic functions to the case of $s$-harmonic functions. We observe that, despite the order of the operator is not $2$, this formula looks like the Hadamard variational formula, answering in a negative way to an open question raised in \cite{ELPL}.


title: Fully Synthetic Data for Complex Surveys

abstract: When seeking to release public use files for confidential data, statistical agencies can generate fully synthetic data. We propose an approach for making fully synthetic data from surveys collected with complex sampling designs. Our approach adheres to the general strategy proposed by Rubin (1993). Specifically, we generate pseudo-populations by applying the weighted finite population Bayesian bootstrap to account for survey weights, take simple random samples from those pseudo-populations, estimate synthesis models using these simple random samples, and release simulated data drawn from the models as public use files. To facilitate variance estimation, we use the framework of multiple imputation with two data generation strategies. In the first, we generate multiple data sets from each simple random sample. In the second, we generate a single synthetic data set from each simple random sample. We present multiple imputation combining rules for each setting. We illustrate the repeated sampling properties of the combining rules via simulation studies, including comparisons with synthetic data generation based on pseudo-likelihood methods. We apply the proposed methods to a subset of data from the American Community Survey.


title: A Hierarchical Framework for explaining the Cosmic Ray Spectrum using Diffusive Shock Acceleration

abstract: The hypothesis that the entire cosmic ray spectrum, from $\lesssim1\,{\rm GeV}$ to $\gtrsim100\,{\rm EeV}$ energy, can be accounted for by diffusive shock acceleration on increasingly large scales is critically examined. Specifically, it is conjectured that Galactic cosmic rays, up to $\sim3\,{\rm PeV}$, are mostly produced by local supernova remnants, from which they escape upstream. These cosmic rays initiate a powerful magnetocentrifugal wind, removing disk mass and angular momentum before passing through the Galactic Wind Termination Shock at a radius $\sim200\,{\rm kpc}$, where they can be re-accelerated to account for observed cosmic rays up to $\sim30\,{\rm PeV}$. The cosmic rays transmitted downstream from more powerful termination shocks associated with other galaxies can be further accelerated at Intergalactic Accretion Shocks to the highest energies observed. In this interpretation, the highest rigidity observed particles are protons; the highest energy particles are heavy nuclei, such as iron. A universal "bootstrap" prescription, coupling the energy density of the magnetic turbulence to that of the resonant cosmic rays, is proposed, initially for the highest energy particles escaping far ahead of the shock front and then scattering, successively, lower energy particles downstream. Observable implications of this general scheme relate to the spectrum, composition and sky distribution of Ultra-High-Energy Cosmic Rays, the extragalactic radio background, the Galactic halo magnetic field and Pevatrons.


title: Contrastive Decoding Improves Reasoning in Large Language Models

abstract: We demonstrate that Contrastive Decoding -- a simple, computationally light, and training-free text generation method proposed by Li et al 2022 -- achieves large out-of-the-box improvements over greedy decoding on a variety of reasoning tasks. Originally shown to improve the perceived quality of long-form text generation, Contrastive Decoding searches for strings that maximize a weighted difference in likelihood between strong and weak models. We show that Contrastive Decoding leads LLaMA-65B to outperform LLaMA 2, GPT-3.5 and PaLM 2-L on the HellaSwag commonsense reasoning benchmark, and to outperform LLaMA 2, GPT-3.5 and PaLM-540B on the GSM8K math word reasoning benchmark, in addition to improvements on a collection of other tasks. Analysis suggests that Contrastive Decoding improves over existing methods by preventing some abstract reasoning errors, as well as by avoiding simpler modes such as copying sections of the input during chain-of-thought. Overall, Contrastive Decoding outperforms nucleus sampling for long-form generation and greedy decoding for reasoning tasks, making it a powerful general purpose method for generating text from language models.


title: Uncertainty-aware 3D Object-Level Mapping with Deep Shape Priors

abstract: 3D object-level mapping is a fundamental problem in robotics, which is especially challenging when object CAD models are unavailable during inference. In this work, we propose a framework that can reconstruct high-quality object-level maps for unknown objects. Our approach takes multiple RGB-D images as input and outputs dense 3D shapes and 9-DoF poses (including 3 scale parameters) for detected objects. The core idea of our approach is to leverage a learnt generative model for shape categories as a prior and to formulate a probabilistic, uncertainty-aware optimization framework for 3D reconstruction. We derive a probabilistic formulation that propagates shape and pose uncertainty through two novel loss functions. Unlike current state-of-the-art approaches, we explicitly model the uncertainty of the object shapes and poses during our optimization, resulting in a high-quality object-level mapping system. Moreover, the resulting shape and pose uncertainties, which we demonstrate can accurately reflect the true errors of our object maps, can also be useful for downstream robotics tasks such as active vision. We perform extensive evaluations on indoor and outdoor real-world datasets, achieving achieves substantial improvements over state-of-the-art methods. Our code will be available at https://github.com/TRAILab/UncertainShapePose.


title: Probing the Viscoelastic Properties of Aqueous Protein Solutions using Molecular Dynamics Simulations

abstract: We performed molecular dynamics simulations to investigate the viscoelastic properties of aqueous protein solutions containing an antifreeze protein, a toxin protein, and bovine serum albumin. These simulations covered a temperature range from 280 K to 340 K. Our findings demonstrate that lower temperatures are associated with higher viscosity as well as a lower bulk modulus and speed of sound for all the systems studied. Furthermore, we observe an increase in the bulk modulus and speed of sound as the temperature increases up to a weak maximum while the viscosity decreases. Moreover, we analyzed the influence of protein concentration on the viscoelastic properties of the antifreeze protein solution. We observed a consistent increase in the bulk modulus, speed of sound, and viscosity as the protein concentration increased. Remarkably, our molecular dynamics simulations results closely resemble the trends observed in Brillouin scattering experiments on aqueous protein solutions. The similarity thus validates the use of simulations in studying the viscoelastic properties of protein water solutions. Ultimately, this work provides motivation for the integration of computer simulations with experimental data and holds potential for advancing our understanding of both simple and complex systems.


title: Public Perceptions of Gender Bias in Large Language Models: Cases of ChatGPT and Ernie

abstract: Large language models are quickly gaining momentum, yet are found to demonstrate gender bias in their responses. In this paper, we conducted a content analysis of social media discussions to gauge public perceptions of gender bias in LLMs which are trained in different cultural contexts, i.e., ChatGPT, a US-based LLM, or Ernie, a China-based LLM. People shared both observations of gender bias in their personal use and scientific findings about gender bias in LLMs. A difference between the two LLMs was seen -- ChatGPT was more often found to carry implicit gender bias, e.g., associating men and women with different profession titles, while explicit gender bias was found in Ernie's responses, e.g., overly promoting women's pursuit of marriage over career. Based on the findings, we reflect on the impact of culture on gender bias and propose governance recommendations to regulate gender bias in LLMs.


title: Heuristic-based Incremental Probabilistic Roadmap for Efficient UAV Exploration in Dynamic Environments

abstract: Autonomous exploration in dynamic environments necessitates a planner that can proactively respond to changes and make efficient and safe decisions for robots. Although plenty of sampling-based works have shown success in exploring static environments, their inherent sampling randomness and limited utilization of previous samples often result in sub-optimal exploration efficiency. Additionally, most of these methods struggle with efficient replanning and collision avoidance in dynamic settings. To overcome these limitations, we propose the Heuristic-based Incremental Probabilistic Roadmap Exploration (HIRE) planner for UAVs exploring dynamic environments. The proposed planner adopts an incremental sampling strategy based on the probabilistic roadmap constructed by heuristic sampling toward the unexplored region next to the free space, defined as the heuristic frontier regions. The heuristic frontier regions are detected by applying a lightweight vision-based method to the different levels of the occupancy map. Moreover, our dynamic module ensures that the planner dynamically updates roadmap information based on the environment changes and avoids dynamic obstacles. Simulation and physical experiments prove that our planner can efficiently and safely explore dynamic environments.


title: FDCNet: Feature Drift Compensation Network for Class-Incremental Weakly Supervised Object Localization

abstract: This work addresses the task of class-incremental weakly supervised object localization (CI-WSOL). The goal is to incrementally learn object localization for novel classes using only image-level annotations while retaining the ability to localize previously learned classes. This task is important because annotating bounding boxes for every new incoming data is expensive, although object localization is crucial in various applications. To the best of our knowledge, we are the first to address this task. Thus, we first present a strong baseline method for CI-WSOL by adapting the strategies of class-incremental classifiers to mitigate catastrophic forgetting. These strategies include applying knowledge distillation, maintaining a small data set from previous tasks, and using cosine normalization. We then propose the feature drift compensation network to compensate for the effects of feature drifts on class scores and localization maps. Since updating network parameters to learn new tasks causes feature drifts, compensating for the final outputs is necessary. Finally, we evaluate our proposed method by conducting experiments on two publicly available datasets (ImageNet-100 and CUB-200). The experimental results demonstrate that the proposed method outperforms other baseline methods.


title: Conditional Mutual Information Constrained Deep Learning for Classification

abstract: The concepts of conditional mutual information (CMI) and normalized conditional mutual information (NCMI) are introduced to measure the concentration and separation performance of a classification deep neural network (DNN) in the output probability distribution space of the DNN, where CMI and the ratio between CMI and NCMI represent the intra-class concentration and inter-class separation of the DNN, respectively. By using NCMI to evaluate popular DNNs pretrained over ImageNet in the literature, it is shown that their validation accuracies over ImageNet validation data set are more or less inversely proportional to their NCMI values. Based on this observation, the standard deep learning (DL) framework is further modified to minimize the standard cross entropy function subject to an NCMI constraint, yielding CMI constrained deep learning (CMIC-DL). A novel alternating learning algorithm is proposed to solve such a constrained optimization problem. Extensive experiment results show that DNNs trained within CMIC-DL outperform the state-of-the-art models trained within the standard DL and other loss functions in the literature in terms of both accuracy and robustness against adversarial attacks. In addition, visualizing the evolution of learning process through the lens of CMI and NCMI is also advocated.


title: Diophantine tuples and multiplicative structure of shifted multiplicative subgroups

abstract: We provide a substantial improvement on a recent result by Dixit, Kim, and Murty on the upper bound of $M_k(n)$, the largest size of a generalized Diophantine tuple with property $D_k(n)$, that is, each pairwise product is $n$ less than a $k$-th power. In particular, we show $M_k(n)=o(\log n)$ for a specially chosen sequence of $k$ and $n$ tending to infinity, breaking the $\log n$ barrier unconditionally. One innovation of our proof is a novel combination of Stepanov's method and Gallagher's larger sieve. One main ingredient in our proof is a non-trivial upper bound on the maximum size of a generalized Diophantine tuple over a finite field. In addition, we determine the maximum size of an infinite family of generalized Diophantine tuples over finite fields with square order, which is of independent interest. We also make significant progress towards a conjecture of S\'{a}rk\"{o}zy on multiplicative decompositions of shifted multiplicative subgroups. In particular, we prove that for almost all primes $p$, the set $\{x^2-1: x \in \mathbb{F}_p^*\} \setminus \{0\}$ cannot be decomposed as the product of two sets in $\mathbb{F}_p$ non-trivially.


title: Using Reinforcement Learning to Simplify Mealtime Insulin Dosing for People with Type 1 Diabetes: In-Silico Experiments

abstract: People with type 1 diabetes (T1D) struggle to calculate the optimal insulin dose at mealtime, especially when under multiple daily injections (MDI) therapy. Effectively, they will not always perform rigorous and precise calculations, but occasionally, they might rely on intuition and previous experience. Reinforcement learning (RL) has shown outstanding results in outperforming humans on tasks requiring intuition and learning from experience. In this work, we propose an RL agent that recommends the optimal meal-accompanying insulin dose corresponding to a qualitative meal (QM) strategy that does not require precise carbohydrate counting (CC) (e.g., a usual meal at noon.). The agent is trained using the soft actor-critic approach and comprises long short-term memory (LSTM) neurons. For training, eighty virtual subjects (VS) of the FDA-accepted UVA/Padova T1D adult population were simulated using MDI therapy and QM strategy. For validation, the remaining twenty VS were examined in 26-week scenarios, including intra- and inter-day variabilities in glucose. \textit{In-silico} results showed that the proposed RL approach outperforms a baseline run-to-run approach and can replace the standard CC approach. Specifically, after 26 weeks, the time-in-range ($70-180$mg/dL) and time-in-hypoglycemia ($<70$mg/dL) were $73.1\pm11.6$% and $ 2.0\pm 1.8$% using the RL-optimized QM strategy compared to $70.6\pm14.8$% and $ 1.5\pm 1.5$% using CC. Such an approach can simplify diabetes treatment, resulting in improved quality of life and glycemic outcomes.


title: How much can ChatGPT really help Computational Biologists in Programming?

abstract: ChatGPT, a recently developed product by openAI, is successfully leaving its mark as a multi-purpose natural language based chatbot. In this paper, we are more interested in analyzing its potential in the field of computational biology. A major share of work done by computational biologists these days involve coding up bioinformatics algorithms, analyzing data, creating pipelining scripts and even machine learning modeling and feature extraction. This paper focuses on the potential influence (both positive and negative) of ChatGPT in the mentioned aspects with illustrative examples from different perspectives. Compared to other fields of computer science, computational biology has - (1) less coding resources, (2) more sensitivity and bias issues (deals with medical data) and (3) more necessity of coding assistance (people from diverse background come to this field). Keeping such issues in mind, we cover use cases such as code writing, reviewing, debugging, converting, refactoring and pipelining using ChatGPT from the perspective of computational biologists in this paper.


title: Sparse Code Multiple Access (SCMA) Technique

abstract: Next-generation wireless networks require higher spectral efficiency and lower latency to meet the demands of various upcoming applications. Recently, non-orthogonal multiple access (NOMA) schemes are introduced in the literature for 5G and beyond. Various forms of NOMA are considered like power domain, code domain, pattern division multiple access, etc. to enhance the spectral efficiency of wireless networks. In this chapter, we introduce the code domain-based sparse code multiple access (SCMA) NOMA scheme to enhance the spectral efficiency of a wireless network. The design and detection of an SCMA system are analyzed in this chapter. Also, the method for codebooks design and its impact on system performance are highlighted. A hybrid multiple access scheme is also introduced using both code-domain and power-domain NOMA. Furthermore, simulation results are included to show the impact of various SCMA system parameters.ext-generation wireless networks require higher spectral efficiency and lower latency to meet the demands of various upcoming applications. Recently, non-orthogonal multiple access (NOMA) schemes are introduced in the literature for 5G and beyond. Various forms of NOMA are considered like power domain, code domain, pattern division multiple access, etc. to enhance the spectral efficiency of wireless networks. In this chapter, we introduce the code domainbased sparse code multiple access (SCMA) NOMA scheme to enhance the spectral efficiency of a wireless network. The design and detection of an SCMA system are analyzed in this chapter. Also, the method for codebooks design and its impact on system performance are highlighted. A hybrid multiple access scheme is also introduced using both code-domain and power-domain NOMA. Furthermore, simulation results are included to show the impact of various SCMA system parameters.


title: ChainForge: A Visual Toolkit for Prompt Engineering and LLM Hypothesis Testing

abstract: Evaluating outputs of large language models (LLMs) is challenging, requiring making -- and making sense of -- many responses. Yet tools that go beyond basic prompting tend to require knowledge of programming APIs, focus on narrow domains, or are closed-source. We present ChainForge, an open-source visual toolkit for prompt engineering and on-demand hypothesis testing of text generation LLMs. ChainForge provides a graphical interface for comparison of responses across models and prompt variations. Our system was designed to support three tasks: model selection, prompt template design, and hypothesis testing (e.g., auditing). We released ChainForge early in its development and iterated on its design with academics and online users. Through in-lab and interview studies, we find that a range of people could use ChainForge to investigate hypotheses that matter to them, including in real-world settings. We identify three modes of prompt engineering and LLM hypothesis testing: opportunistic exploration, limited evaluation, and iterative refinement.


title: $L^1$ Estimation: On the Optimality of Linear Estimators

abstract: Consider the problem of estimating a random variable $X$ from noisy observations $Y = X+ Z$, where $Z$ is standard normal, under the $L^1$ fidelity criterion. It is well known that the optimal Bayesian estimator in this setting is the conditional median. This work shows that the only prior distribution on $X$ that induces linearity in the conditional median is Gaussian. Along the way, several other results are presented. In particular, it is demonstrated that if the conditional distribution $P_{X|Y=y}$ is symmetric for all $y$, then $X$ must follow a Gaussian distribution. Additionally, we consider other $L^p$ losses and observe the following phenomenon: for $p \in [1,2]$, Gaussian is the only prior distribution that induces a linear optimal Bayesian estimator, and for $p \in (2,\infty)$, infinitely many prior distributions on $X$ can induce linearity. Finally, extensions are provided to encompass noise models leading to conditional distributions from certain exponential families.