title: Columbus: Android App Testing Through Systematic Callback Exploration

abstract: With the continuous rise in the popularity of Android mobile devices, automated testing of apps has become more important than ever. Android apps are event-driven programs. Unfortunately, generating all possible types of events by interacting with the app's interface is challenging for an automated testing approach. Callback-driven testing eliminates the need for event generation by directly invoking app callbacks. However, existing callback-driven testing techniques assume prior knowledge of Android callbacks, and they rely on a human expert, who is familiar with the Android API, to write stub code that prepares callback arguments before invocation. Since the Android API is huge and keeps evolving, prior techniques could only support a small fraction of callbacks present in the Android framework. In this work, we introduce Columbus, a callback-driven testing technique that employs two strategies to eliminate the need for human involvement: (i) it automatically identifies callbacks by simultaneously analyzing both the Android framework and the app under test, and (ii) it uses a combination of under-constrained symbolic execution (primitive arguments), and type-guided dynamic heap introspection (object arguments) to generate valid and effective inputs. Lastly, Columbus integrates two novel feedback mechanisms -- data dependency and crash-guidance, during testing to increase the likelihood of triggering crashes, and maximizing coverage. In our evaluation, Columbus outperforms state-of-the-art model-driven, checkpoint-based, and callback-driven testing tools both in terms of crashes and coverage.


title: Isometry groups of inductive limits of metric spectral triples and Gromov-Hausdorff convergence

abstract: In this paper we study the groups of isometries and the set of bi-Lipschitz automorphisms of spectral triples from a metric viewpoint, in the propinquity framework of Latremoliere. In particular we prove that these groups and sets are compact in the automorphism group of the spectral triple C*-algebra with respect to the Monge-Kantorovich metric, which induces the topology of pointwise convergence. We then prove a necessary and sufficient condition for the convergence of the actions of various groups of isometries, in the sense of the covariant version of the Gromov-Hausdorff propinquity -- a noncommutative analogue of the Gromov-Hausdorff distance -- when working in the context of inductive limits of quantum compact metric spaces and metric spectral triples. We illustrate our work with examples including AF algebras and noncommutative solenoids.


title: An Overview of Recent Developments in Big Boolean Equations

abstract: Methods of solving big Boolean equations can be broadly classified as algebraic, tabular, numerical and map methods. The most prominent among these classes are the algebraic and map methods. This paper surveys and compares these two types of methods as regards simplicity, efficiency, and usability. The paper identifies the main types of solutions of Boolean equations as subsumptive general solutions, parametric general solutions and particular solutions. In a subsumptive general solution, each of the variables is expressed as an interval based on successive conjunctive or disjunctive eliminants of the original function. In a parametric general solution each of the variables is expressed via arbitrary parameters which are freely chosen elements of the underlying Boolean algebra. A particular solution is an assignment from the underlying Boolean algebra to every pertinent variable that makes the Boolean equation an identity. The paper offers a tutorial exposition, review, and comparison of the three types of solutions by way of an illustrative example. This example is also viewed from the perspective of a recently developed technique that relies on atomic decomposition. Map techniques are demonstrated to be at least competitive with (and occasionally superior to) algebraic techniques, since they have a better control on the minimality of the pertinent function representations, and hence are more capable of producing more compact solutions.


title: A Review on Generative Adversarial Networks for Data Augmentation in Person Re-Identification Systems

abstract: Interest in automatic people re-identification systems has significantly grown in recent years, mainly for developing surveillance and smart shops software. Due to the variability in person posture, different lighting conditions, and occluded scenarios, together with the poor quality of the images obtained by different cameras, it is currently an unsolved problem. In machine learning-based computer vision applications with reduced data sets, one possibility to improve the performance of re-identification system is through the augmentation of the set of images or videos available for training the neural models. Currently, one of the most robust ways to generate synthetic information for data augmentation, whether it is video, images or text, are the generative adversarial networks. This article reviews the most relevant recent approaches to improve the performance of person re-identification models through data augmentation, using generative adversarial networks. We focus on three categories of data augmentation approaches: style transfer, pose transfer, and random generation.


title: Robot path planning using deep reinforcement learning

abstract: Autonomous navigation is challenging for mobile robots, especially in an unknown environment. Commonly, the robot requires multiple sensors to map the environment, locate itself, and make a plan to reach the target. However, reinforcement learning methods offer an alternative to map-free navigation tasks by learning the optimal actions to take. In this article, deep reinforcement learning agents are implemented using variants of the deep Q networks method, the D3QN and rainbow algorithms, for both the obstacle avoidance and the goal-oriented navigation task. The agents are trained and evaluated in a simulated environment. Furthermore, an analysis of the changes in the behaviour and performance of the agents caused by modifications in the reward function is conducted.


title: The covariety of numerical semigroups with fixed Frobenius number

abstract: Denote by $\mathrm m(S)$ the multiplicity of a numerical semigroup $S$. A covariety is a nonempty family $\mathscr{C}$ of numerical semigroups that fulfills the following conditions: there is the minimum of $\mathscr{C},$ the intersection of two elements of $\mathscr{C}$ is again an element of $\mathscr{C}$ and $S\backslash \{\mathrm m(S)\}\in \mathscr{C}$ for all $S\in \mathscr{C}$ such that $S\neq \min(\mathscr{C}).$ In this work we describe an algorithmic procedure to compute all the elements of $\mathscr{C}.$ We prove that there exists the smallest element of $\mathscr{C}$ containing a set of positive integers. We show that $\mathscr{A}(F)=\{S\mid S \mbox{ is a numerical semigroup with Frobenius number }F\}$ is a covariety, and we particularize the previous results in this covariety. Finally, we will see that there is the smallest covariety containing a finite set of numerical semigroups.


title: Conveying the Predicted Future to Users: A Case Study of Story Plot Prediction

abstract: Creative writing is hard: Novelists struggle with writer's block daily. While automatic story generation has advanced recently, it is treated as a "toy task" for advancing artificial intelligence rather than helping people. In this paper, we create a system that produces a short description that narrates a predicted plot using existing story generation approaches. Our goal is to assist writers in crafting a consistent and compelling story arc. We conducted experiments on Amazon Mechanical Turk (AMT) to examine the quality of the generated story plots in terms of consistency and storiability. The results show that short descriptions produced by our frame-enhanced GPT-2 (FGPT-2) were rated as the most consistent and storiable among all models; FGPT-2's outputs even beat some random story snippets written by humans. Next, we conducted a preliminary user study using a story continuation task where AMT workers were given access to machine-generated story plots and asked to write a follow-up story. FGPT-2 could positively affect the writing process, though people favor other baselines more. Our study shed some light on the possibilities of future creative writing support systems beyond the scope of completing sentences. Our code is available at: https://github.com/appleternity/Story-Plot-Generation.


title: The $\mathbb C$-motivic Adams-Novikov spectral sequence for topological modular forms

abstract: We analyze the $\mathbb{C}$-motivic (and classical) Adams-Novikov spectral sequence for the $\mathbb{C}$-motivic modular forms spectrum $\mathit{mmf}$ (and for the classical topological modular forms spectrum $\mathit{tmf}$). We primarily use purely algebraic techniques, with a few exceptions. Along the way, we settle a previously unresolved detail about the multiplicative structure of the homotopy groups of $\mathit{tmf}$.


title: ImageAssist: Tools for Enhancing Touchscreen-Based Image Exploration Systems for Blind and Low Vision Users

abstract: Blind and low vision (BLV) users often rely on alt text to understand what a digital image is showing. However, recent research has investigated how touch-based image exploration on touchscreens can supplement alt text. Touchscreen-based image exploration systems allow BLV users to deeply understand images while granting a strong sense of agency. Yet, prior work has found that these systems require a lot of effort to use, and little work has been done to explore these systems' bottlenecks on a deeper level and propose solutions to these issues. To address this, we present ImageAssist, a set of three tools that assist BLV users through the process of exploring images by touch -- scaffolding the exploration process. We perform a series of studies with BLV users to design and evaluate ImageAssist, and our findings reveal several implications for image exploration tools for BLV users.


title: JANA: Jointly Amortized Neural Approximation of Complex Bayesian Models

abstract: This work proposes ``jointly amortized neural approximation'' (JANA) of intractable likelihood functions and posterior densities arising in Bayesian surrogate modeling and simulation-based inference. We train three complementary networks in an end-to-end fashion: 1) a summary network to compress individual data points, sets, or time series into informative embedding vectors; 2) a posterior network to learn an amortized approximate posterior; and 3) a likelihood network to learn an amortized approximate likelihood. Their interaction opens a new route to amortized marginal likelihood and posterior predictive estimation -- two important ingredients of Bayesian workflows that are often too expensive for standard methods. We benchmark the fidelity of JANA on a variety of simulation models against state-of-the-art Bayesian methods and propose a powerful and interpretable diagnostic for joint calibration. In addition, we investigate the ability of recurrent likelihood networks to emulate complex time series models without resorting to hand-crafted summary statistics.


title: PiRL: Participant-Invariant Representation Learning for Healthcare Using Maximum Mean Discrepancy and Triplet Loss

abstract: Due to individual heterogeneity, person-specific models are usually achieving better performance than generic (one-size-fits-all) models in data-driven health applications. However, generic models are usually preferable in real-world applications, due to the difficulties of developing person-specific models, such as new-user-adaptation issues and system complexities. To improve the performance of generic models, we propose a Participant-invariant Representation Learning (PiRL) framework, which utilizes maximum mean discrepancy (MMD) loss and domain-adversarial training to encourage the model to learn participant-invariant representations. Further, to avoid trivial solutions in the learned representations, a triplet loss based constraint is used for the model to learn the label-distinguishable embeddings. The proposed framework is evaluated on two public datasets (CLAS and Apnea-ECG), and significant performance improvements are achieved compared to the baseline models.


title: Robust Pseudo-Markets for Reusable Public Resources

abstract: We study non-monetary mechanisms for the fair and efficient allocation of reusable public resources, i.e., resources used for varying durations. We consider settings where a limited resource is repeatedly shared among a set of agents, each of whom may request to use the resource over multiple consecutive rounds, receiving utility only if they get to use the resource for the full duration of their request. Such settings are of particular significance in scientific research where large-scale instruments such as electron microscopes, particle colliders, or telescopes are shared between multiple research groups; this model also subsumes and extends existing models of repeated non-monetary allocation where resources are required for a single round only. We study a simple pseudo-market mechanism where upfront we endow each agent with a budget of artificial credits, proportional to the fair share of the resource we want the agent to receive. The endowments thus define for each agent her ideal utility as that which she derives from her favorite allocation with no competition, but subject to getting at most her fair share of the resource across rounds. Next, on each round, and for each available resource item, our mechanism runs a first-price auction with a selective reserve, wherein each agent submits a desired duration and a per-round-bid, which must be at least the reserve price if requesting for multiple rounds; the bidder with the highest per-round-bid wins, and gets to use the item for the desired duration. We consider this problem in a Bayesian setting and show that under a carefully chosen reserve price, irrespective of how others bid, each agent has a simple strategy that guarantees she receives a $1/2$ fraction of her ideal utility in expectation. We also show this result is tight, i.e., no mechanism can guarantee that all agents get more than half of their ideal utility.


title: A Stochastic Quasi-Newton Method in the Absence of Common Random Numbers

abstract: We present a quasi-Newton method for unconstrained stochastic optimization. Most existing literature on this topic assumes a setting of stochastic optimization in which a finite sum of component functions is a reasonable approximation of an expectation, and hence one can design a quasi-Newton method to exploit common random numbers. In contrast, and motivated by problems in variational quantum algorithms, we assume that function values and gradients are available only through inexact probabilistic zeroth- and first-order oracles and no common random numbers can be exploited. Our algorithmic framework -- derived from prior work on the SASS algorithm -- is general and does not assume common random numbers. We derive a high-probability tail bound on the iteration complexity of the algorithm for nonconvex and strongly convex functions. We present numerical results demonstrating the empirical benefits of augmenting SASS with our quasi-Newton updating scheme, both on synthetic problems and on real problems in quantum chemistry.


title: On the classification of fibrations by genus two singular curves via fibrations by elliptic curves on surfaces

abstract: In 1944 Zariski discovered that Bertini's theorem on variable singular points is no longer true when we pass from a field of characteristic zero to a field of positive characteristic. In other words, he found fibrations by singular curves, which only exist in positive characteristic. Such fibrations are connected with many interesting phenomena. For instance, the extension of Enrique's classification of surfaces to positive characteristic (Bombieri and Mumford in 1976), the counterexamples of Kodaira vanishing theorem (Mukai in 2013 and Zheng in 2016) and the isolated singularities with infinity Milnor number (Hefez, Rodrigues and Salom\~ao in 2019). In this work we are going to show that the smoothing process introduced by Shimada in 1991 can be used to classify the set of fibrations by genus two singular curves, up to isomorphism among their generic fibers, such that their smoothing are elliptic fibrations on rational surfaces. Moreover we will also describe the vector fields that can be used to recover such fibrations by singular curves via quotient of rational elliptic surfaces.


title: Relationships between Journal Publication, Citation, and Usage Metrics within a Carnegie R1 University Collection: A Correlation Analysis

abstract: This study examines the correlational relationships between local journal authorship, local and external citation counts, full-text downloads, link-resolver clicks, and four global journal impact factor indices within an all-disciplines journal collection of 12,200 titles and six subject subsets at the University of Illinois at Urbana-Champaign (UIUC) Library. While earlier investigations of the relationships between usage (downloads) and citation metrics have been inconclusive, this study shows strong correlations in the all-disciplines set and most subject subsets. The normalized Eigenfactor was the only global impact factor index that correlated highly with local journal metrics. Some of the identified disciplinary variances among the six subject subsets may be explained by the journal publication aspirations of UIUC researchers. The correlations between authorship and local citations in the six specific subject subsets closely match national department or program rankings.


title: Nash equilibrium selection by eigenvalue control

abstract: People choose their strategies through a trial-and-error learning process in which they gradually discover that some strategies work better than others. The process can be modelled as an evolutionary game dynamics system, which may be controllable. In modern control theory, eigenvalue (pole) assignment is a basic approach to designing a full-state feedback controller, which can influence the outcome of a game. This study shows that, in a game with two Nash equilibria, the long-running strategy distribution can be controlled by pole assignment. We illustrate a theoretical workflow to design and evaluate the controller. To our knowledge, this is the first realisation of the control of equilibrium selection by design in the game dynamics theory paradigm. We hope the controller can be verified in a laboratory human subject game experiment.


title: CCDs for the instrumentation of the Telescopio Nazionale Galileo

abstract: Most of the scientific instrumentation as well as the tracking systems and the Shack- Hartmann wavefront analysers at the Italian National Telescope Galileo use CCDs as detectors. The characterization of detectors is of fundamental importance for their correct utilization in scientific instrumentation. We report on the measurement of the electro-optical characteristics of CCDs that will be used in the scientific instrumentation at the Italian National Telescope. In particular we will show and compare the quantum e{\AE}ciency, the charge transfer e{\AE}ciency, the dark current, the read out noise the uniformity and the linearity of two sets of CCDs manufactured by EEV and LORAL. Finally, we will show the preliminary tests done at the telescope with the optical imager that has a mosaic of two EEV chips.


title: Optimization of the injection beam line at the Cooler Synchrotron COSY using Bayesian Optimization

abstract: The complex non-linear processes in multi-dimensional parameter spaces, that are typical for an accelerator, are a natural application for machine learning algorithms. This paper reports on the use of Bayesian optimization for the optimization of the Injection Beam Line (IBL) of the Cooler Synchrotron storage ring COSY at the Forschungszentrum J\"ulich, Germany. Bayesian optimization is a machine learning method that optimizes a continuous objective function using limited observations. The IBL is composed of 15 quadrupoles and 28 steerers. The goal is to increase the beam intensity inside the storage ring. The results showed the effectiveness of the Bayesian optimization in achieving better/faster results compared to manual optimization.


title: Improving initialization and evolution accuracy of cosmological neutrino simulations

abstract: Neutrino mass constraints are a primary focus of current and future large-scale structure (LSS) surveys. Non-linear LSS models rely heavily on cosmological simulations -- the impact of massive neutrinos should therefore be included in these simulations in a realistic, computationally tractable, and controlled manner. A recent proposal to reduce the related computational cost employs a symmetric neutrino momentum sampling strategy in the initial conditions. We implement a modified version of this strategy into the Hardware/Hybrid Accelerated Cosmology Code (HACC) and perform convergence tests on its internal parameters. We illustrate that this method can impart $\mathcal{O}(1\%)$ numerical artifacts on the total matter field on small scales, similar to previous findings, and present a method to remove these artifacts using Fourier-space filtering of the neutrino density field. Moreover, we show that the converged neutrino power spectrum does not follow linear theory predictions on relatively large scales at early times at the $15\%$ level, prompting a more careful study of systematics in particle-based neutrino simulations. We also present an improved method for backscaling linear transfer functions for initial conditions in massive neutrino cosmologies that is based on achieving the same relative neutrino growth as computed with Boltzmann solvers. Our self-consistent backscaling method yields sub-percent accuracy in the total matter growth function. Comparisons for the non-linear power spectrum with the Mira-Titan emulator at a neutrino mass of $m_{\nu}=0.15~\mathrm{eV}$ are in very good agreement with the expected level of errors in the emulator and in the direct N-body simulation.


title: Equilibrium non-selfgravitating tori around black holes in parameterised spherically symmetric spacetimes

abstract: Non-selfgravitating equilibrium tori orbiting around black holes have a long history and have been employed in numerous simulations of accretion flows onto black holes and other compact objects. We have revisited the problem of constructing such equilibria starting from spherically symmetric black-hole spacetimes expressed in terms of a fully generic and rapidly converging parameterisation: the RZ metric. Within this framework, we have extended the definitions of all of the quantities characterising these equilibria, starting from the concept of the von Zeipel cylinders and up to the possible ranges of the specific angular momenta that are employed to construct families of tori. Within the allowed space of parameters we have then encountered both standard ``single-torus'' solutions, but also non-standard ``double-tori'' solutions. While the properties of the first ones in terms of the presence of a single cusp, of a local pressure maximum and of a varying outer radius, are very similar to those encountered in general relativity, the properties of double-tori solutions are far richer and naturally allow for configurations having the same constant specific angular momentum and hence are potentially easier to produce in nature. The existence of these objects is at present very hypothetical, but these equilibrium tori were to be observed, they would provide very valuable information on the properties of the spacetime and on its deviation from general relativity.


title: De novo structural ensemble determination from single-molecule X-ray scattering: A Bayesian approach

abstract: Single molecule X-ray scattering experiments with free electron lasers have opened a new route to the structure determination of biomolecules. Because typically only very few photons per scattering image are recorded and thus the signal-to-noise ratio is very low in this extreme Poisson regime, structure refinement is quite challenging. In addition, in each scattering event the orientation of the biomolecule is random and unknown. As a further layer of complexity, many biomolecules show structural heterogeneity and conformational transitions between different distinct structures; these structural dynamics are averaged out by existing refinement methods. To overcome these limitations, here we developed and tested a rigorous Bayesian approach and demonstrate that it should be possible to determine not only a single structure, but an entire structural ensemble from these experiments. Using $10^6$ synthetic scattering images generated from molecular dynamics trajectories, our approach was able to resolve ensembles of eight alanine dipeptide conformers at $2\,$\r{A} resolution; similarly, we determined the unfolded ensemble of the protein chignolin at $4-7\,$\r{A} resolution using $1.2\cdot 10^7$ images. Unexpectedly, much fewer images are required to determine an ensemble of $n$ structures of $m$ atoms each than a single structure of $n\times m$ atoms, i.e., of the same total number of degrees of freedom. These findings show that X-ray scattering experiments using state-of-the-art free electron lasers should allow one to determine not only biomolecular structures, but whole structure ensembles and, ultimately, 'molecular movies'.


title: GUP corrections to black hole thermodynamics in the extended phase space approach

abstract: In this work, we study corrections to black hole temperature and entropy in the context of the generalized uncertainty principle. In particular, we obtain corrected asymptotically anti de-Sitter black hole solutions following the extended phase space scheme in which the cosmological constant is considered as a thermodynamic pressure satisfying certain equation of state. Among all the possibilities, we consider that the cosmological pressure satisfies either a Polytropic or a Chaplygin equation of state. The physical plausibility of the solutions is studied based on the energy conditions and the associated heat capacity.


title: Maximin optimal cluster randomized designs for assessing treatment effect heterogeneity

abstract: Cluster randomized trials (CRTs) are studies where treatment is randomized at the cluster level but outcomes are typically collected at the individual level. When CRTs are employed in pragmatic settings, baseline population characteristics may moderate treatment effects, leading to what is known as heterogeneous treatment effects (HTEs). Pre-specified, hypothesis-driven HTE analyses in CRTs can enable an understanding of how interventions may impact subpopulation outcomes. While closed-form sample size formulas have recently been proposed, assuming known intracluster correlation coefficients (ICCs) for both the covariate and outcome, guidance on optimal cluster randomized designs to ensure maximum power with pre-specified HTE analyses has not yet been developed. We derive new design formulas to determine the cluster size and number of clusters to achieve the locally optimal design (LOD) that minimizes variance for estimating the HTE parameter given a budget constraint. Given the LODs are based on covariate and outcome-ICC values that are usually unknown, we further develop the maximin design for assessing HTE, identifying the combination of design resources that maximize the relative efficiency of the HTE analysis in the worst case scenario. In addition, given the analysis of the average treatment effect is often of primary interest, we also establish optimal designs to accommodate multiple objectives by combining considerations for studying both the average and heterogeneous treatment effects. We illustrate our methods using the context of the Kerala Diabetes Prevention Program CRT, and provide an R Shiny app to facilitate calculation of optimal designs under a wide range of design parameters.


title: A Class of Algorithms for Quadratic Minimization

abstract: Certain problems in quadratic minimization can be reduced to finding the point $x$ of a polyhedron ${ P}$ that minimizes the distance $\|x-p\|$ for some $p\notin { P}$. This amounts to a search for the appropriate face $F$ of ${ P}$ for which the minimizing point is the projection of $p$ onto $F$. We present a class of algorithms for finding the face $F$ and the corresponding minimizing point $x\in { P}$, then a number of examples using those methods.


title: Towards Co-operative Congestion Mitigation

abstract: The effects of traffic congestion are widespread and are an impedance to everyday life. Piecewise constant driving policies have shown promise in helping mitigate traffic congestion in simulation environments. However, no works currently test these policies in situations involving real human users. Thus, we propose to evaluate these policies through the use of a shared control framework in a collaborative experiment with the human driver and the driving policy aiming to co-operatively mitigate congestion. We intend to use the CARLA simulator alongside the Flow framework to conduct user studies to evaluate the affect of piecewise constant driving policies. As such, we present our in-progress work in building our framework and discuss our proposed plan on evaluating this framework through a human-in-the-loop simulation user study.


title: Quasi normal modes of a Casimir--like traversable wormhole through the semi-analytical WKB approach

abstract: In this work, we implement the semi-analytical WKB method to explore the behaviour of a scalar field on a traversable wormhole space--time with a Casimir--like complexity reported in Eur. Phys. J. C 82, 420 (2022). We estimate the error in the computation of the quasi--normal frequencies of the scalar field at each order in the WKB and show that the order with the best accuracy is not unique. We compute the value of the quasinormal frequencies for the smallest estimated error. As an aside, we find that the imaginary part of the quasinormal modes frequencies approach to zero for the fundamental mode mimicking the so--called quasi--resonance observed for massive scalar fields in the Reissner--Nordstr\"{o}m background.


title: Quantum State Transfer Optimization: Balancing Fidelity and Energy Consumption using Pontryagin Maximum Principle

abstract: In this study, we address a control-constrained optimal control problem pertaining to the transformation of quantum states. Our objective is to navigate a quantum system from an initial state to a desired target state while adhering to the principles of the Liouville-von Neumann equation. To achieve this, we introduce a cost functional that balances the dual goals of fidelity maximization and energy consumption minimization. We derive optimality conditions in the form of the Pontryagin Maximum Principle (PMP) for the matrix-valued dynamics associated with this problem. Subsequently, we present a time-discretized computational scheme designed to solve the optimal control problem. This computational scheme is rooted in an indirect method grounded in the PMP, showcasing its versatility and efficacy. To illustrate the practicality and applicability of our methodology, we employ it to address the case of a spin $\frac{1}{2}$ particle subjected to interaction with a magnetic field. Our findings shed light on the potential of this approach to tackle complex quantum control scenarios and contribute to the broader field of quantum state transformations.


title: An Application of Pontryagin Neural Networks to Solve Optimal Quantum Control Problems

abstract: Reliable high-fidelity quantum state transformation has always been considered as an inseparable part of quantum information processing. In this regard, Pontryagin maximum principle has proved to play an important role to achieve the maximum fidelity in an optimum time or energy. Motivated by this, in this work, we formulate a control constrained optimal control problem where we aim to minimize time and also energy subjected to a quantum system satisfying the bilinear Schrodinger equation. We derive the first order optimality conditions through the application of Pontryagin Maximum (minimum) Principle, which results in a boundary value problem. Next, in order to obtain efficient numerical results, we exploit a particular family of physics-informed neural networks that are specifically designed to tackle the indirect method based on the Maximum Principle of Pontryagin. This method has not yet been studied in the quantum context, but it can significantly speed up the process. To this end, we first obtain a set of relations which finally let us compute the optimal control strategy to determine the time- and energy-optimal protocol driving a general initial state to a target state by a quantum Hamiltonian with bounded control. We make use of the so-called "qutip" package in python, and the newly developed "tfc" python package.


title: Designing a Wayfinding Robot for People with Visual Impairments

abstract: People with visual impairments (PwVI) often have difficulties navigating through unfamiliar indoor environments. However, current wayfinding tools are fairly limited. In this short paper, we present our in-progress work on a wayfinding robot for PwVI. The robot takes an audio command from the user that specifies the intended destination. Then, the robot autonomously plans a path to navigate to the goal. We use sensors to estimate the real-time position of the user, which is fed to the planner to improve the safety and comfort of the user. In addition, the robot describes the surroundings to the user periodically to prevent disorientation and potential accidents. We demonstrate the feasibility of our design in a public indoor environment. Finally, we analyze the limitations of our current design, as well as our insights and future work. A demonstration video can be found at https://youtu.be/BS9r5bkIass.


title: Pairwise-parallel entangling gates on orthogonal modes in a trapped-ion chain

abstract: Parallel operations are important for both near-term quantum computers and larger-scale fault-tolerant machines because they reduce execution time and qubit idling. We propose and implement a pairwise-parallel gate scheme on a trapped-ion quantum computer. The gates are driven simultaneously on different sets of orthogonal motional modes of a trapped-ion chain. We demonstrate the utility of this scheme by creating a GHZ state in one step using parallel gates with one overlapping qubit. We also show its advantage for circuits by implementing a digital quantum simulation of the dynamics of an interacting spin system, the transverse-field Ising model. This method effectively extends the available gate depth by up to two times with no overhead apart from additional initial cooling when no overlapping qubit is involved. This is because using a set of extra modes as additional quantum degrees of freedom is nearly equivalent to halving the trap heating rate, doubling the laser and qubit coherence time, and extending the controller memory depth by up to a factor of two. This scheme can be easily applied to different trapped-ion qubits and gate schemes, broadly enhancing the capabilities of trapped-ion quantum computers.


title: DMSConfig: Automated Configuration Tuning for Distributed IoT Message Systems Using Deep Reinforcement Learning

abstract: The Distributed Messaging Systems (DMSs) used in IoT systems require timely and reliable data dissemination, which can be achieved through configurable parameters. However, the high-dimensional configuration space makes it difficult for users to find the best options that maximize application throughput while meeting specific latency constraints. Existing approaches to automatic software profiling have limitations, such as only optimizing throughput, not guaranteeing explicit latency limitations, and resulting in local optima due to discretizing parameter ranges. To overcome these challenges, a novel configuration tuning system called DMSConfig is proposed that uses machine learning and deep reinforcement learning. DMSConfig interacts with a data-driven environment prediction model, avoiding the cost of online interactions with the production environment. DMSConfig employs the deep deterministic policy gradient (DDPG) method and a custom reward mechanism to make configuration decisions based on predicted DMS states and performance. Experiments show that DMSConfig performs significantly better than the default configuration, is highly adaptive to serve tuning requests with different latency boundaries, and has similar throughput to prevalent parameter tuning tools with fewer latency violations.


title: Ring structural transitions in strongly coupled dusty plasmas

abstract: This paper presents a numerical study of ring structural transitions in strongly coupled dusty plasma confined in a ring-shaped (quartic) potential well with a central barrier, whose axis of symmetry is parallel to the gravitational attraction. It is observed that increasing the amplitude of the potential leads to a transition from a ring monolayer structure (rings of different diameters nested within the same plane) to a cylindrical shell structure (rings of similar diameter aligned in parallel planes). In the cylindrical shell state, the rings alignment in the vertical plane exhibits hexagonal symmetry. The ring transition is reversible, but exhibits hysteresis in the initial and final particle positions. As the critical conditions for the transitions are approached, the transitional structure states exhibit zigzag instabilities or asymmetries on the ring alignment. Furthermore, for a fixed amplitude of the quartic potential that results in a cylinder-shaped shell structure, we show that additional rings in the cylindrical shell structure can be formed by decreasing the curvature of the parabolic potential well, whose axis of symmetry is perpendicular to the gravitational force, increasing the number density, and lowering the screening parameter. Finally, we discuss the application of these findings to dusty plasma experiments with ring electrodes and weak magnetic fields.


title: Quasi Normal Modes of hairy black holes at higher--order WKB approach

abstract: In this work, we implement the $13^{th}$ order semi-analytical WKB method to explore the stability of hairy black holes obtained in the framework of Gravitational Decoupling. In particular, we perform a detailed analysis of the frequencies of the quasi-normal modes as a function of the primary hair of the solutions with the aim to bound their values. We explore a broad interval in a step of 0.1 of the hair parameters. We find that except for some cases where the method is expected to have poor accuracy, all the solutions seem to be stable and the role played by the primary hair is twofold: to modulate the damping factor of the perturbation and to decrease the frequency of its oscillation.


title: An Incremental Singular Value Decomposition Approach for Large-Scale Spatially Parallel & Distributed but Temporally Serial Data -- Applied to Technical Flows

abstract: The paper presents a strategy to construct an incremental Singular Value Decomposition (SVD) for time-evolving, spatially 3D discrete data sets. A low memory access procedure for reducing and deploying the snapshot data is presented. Considered examples refer to Computational Fluid Dynamic (CFD) results extracted from unsteady flow simulations, which are computed spatially parallel using domain decomposition strategies. The framework addresses state of the art PDE-solvers dedicated to practical applications. Although the approach is applied to technical flows, it is applicable in similar applications under the umbrella of Computational Science and Engineering (CSE). To this end, we introduce a bunch matrix that allows the aggregation of multiple time steps and SVD updates, and significantly increases the computational efficiency. The incremental SVD strategy is initially verified and validated by simulating the 2D laminar single-phase flow around a circular cylinder. Subsequent studies analyze the proposed strategy for a 2D submerged hydrofoil located in turbulent two-phase flows. Attention is directed to the accuracy of the SVD-based reconstruction based on local and global flow quantities, their physical realizability, the independence of the domain partitioning, and related implementation aspects. Moreover, the influence of lower and (adaptive) upper construction rank thresholds on both the effort and the accuracy are assessed. The incremental SVD process is applied to analyze and compress the predicted flow field around a Kriso container ship in harmonic head waves at Fn = 0.26 and ReL = 1.4E+07. With a numerical overhead of O(10%), the snapshot matrix of size O(R10E+08 x 10E+04) computed on approximately 3000 processors can be incrementally compressed by O(95%). The storage reduction is accompanied by errors in integral force and local wave elevation quantities of O(1E-02%).

categories: cs.MS cs.DC physics.comp-ph physics.flu-dyn


title: Cluster-Guided Label Generation in Extreme Multi-Label Classification

abstract: For extreme multi-label classification (XMC), existing classification-based models poorly perform for tail labels and often ignore the semantic relations among labels, like treating "Wikipedia" and "Wiki" as independent and separate labels. In this paper, we cast XMC as a generation task (XLGen), where we benefit from pre-trained text-to-text models. However, generating labels from the extremely large label space is challenging without any constraints or guidance. We, therefore, propose to guide label generation using label cluster information to hierarchically generate lower-level labels. We also find that frequency-based label ordering and using decoding ensemble methods are critical factors for the improvements in XLGen. XLGen with cluster guidance significantly outperforms the classification and generation baselines on tail labels, and also generally improves the overall performance in four popular XMC benchmarks. In human evaluation, we also find XLGen generates unseen but plausible labels. Our code is now available at https://github.com/alexa/xlgen-eacl-2023.


title: SBcoyote: An Extensible Python-Based Reaction Editor and Viewer

abstract: SBcoyote is an open-source cross-platform biochemical reaction viewer and editor released under the liberal MIT license. It is written in Python and uses wxPython to implement the GUI and the drawing canvas. It supports the visualization and editing of compartments, species, and reactions. It includes many options to stylize each of these components. For instance, species can be in different colors and shapes. Other core features include the ability to create alias nodes, alignment of groups of nodes, network zooming, as well as an interactive bird-eye view of the network to allow easy navigation on large networks. A unique feature of the tool is the extensive Python plugin API, where third-party developers can include new functionality. To assist third-party plugin developers, we provide a variety of sample plugins, including, random network generation, a simple auto layout tool, export to Antimony, export SBML, import SBML, etc. Of particular interest are the export and import SBML plugins since these support the SBML level 3 layout and render standard, which is exchangeable with other software packages. Plugins are stored in a GitHub repository, and an included plugin manager can retrieve and install new plugins from the repository on demand. Plugins have version metadata associated with them to make it install plugin updates. Availability: https://github.com/sys-bio/SBcoyote.


title: The evolution of the UV/optical lag spectrum of NGC 7469 seen by the Liverpool Telescope

abstract: We present the results regarding the analysis of an intensive monitoring of the Active Galactic Nucleus (AGN) NGC 7469. We observed the source for 4 months with almost daily cadence in the ugriz bands, using the IO:O on the Liverpool Telescope. We measured the lags with respect to the u band and found a clear change of the lag spectrum between the first and the second half of the campaign. Given that the source varies on different timescales during these two segments, it is likely that different components are dominating the variability at different times. This result further confirms that reverberation models require a more complex geometry than a static illuminating point source and that particular attention has to be given in the interpretation of these delays.


title: Towards the Assisted Decomposition of Large-Active Files

abstract: Tightly coupled and interdependent systems inhibit productivity by requiring developers to carefully coordinate their changes, even when modifying subsystems that should be independent of one another. Poor architectural decisions frequently lead to the presence of large, change-prone source files that are at the center of complexes of technical debt. This kind of technical debt quickly incurs interest both through coordination costs and error-proneness. In this paper, we present a new approach for decomposing these ``large-active'' files to pay down critical technical debt. We package our approach as a refactoring recommendation system. Each recommendation is determined by analyzing patterns of co-change and mutual dependency among files. Each recommendation corresponds to a responsibility the large-active file has in relation to the rest of the system. By moving recommended functionality from the large-active file into smaller files, developers can reduce the impact of a debt-laden file and clarify its essential responsibilities. A key advantage of this approach over prior work is that we better focus effort; we avoid spending developer effort refactoring code that is only superficially problematic. We achieve this by incorporating revision history into both determining and ranking recommendations. Each recommendation corresponds to some change-prone responsibility. We present some examples of this approach in action and outline our future plans.


title: Surface potential-driven surface states in 3D topological photonic crystals

abstract: Surface potential in a topological matter could unprecedentedly localize the waves. However, this surface potential is yet to be exploited in topological photonic systems. Here, we demonstrate that photonic surface states can be induced and controlled by the surface potential in a dielectric double gyroid (DG) photonic crystal. The basis translation in a unit cell enables tuning of the surface potential, which in turn regulates the degree of wave localization. The gradual modulation of DG photonic crystals enables the generation of a pseudomagnetic field. Overall, this study shows the interplay between surface potential and pseudomagnetic field regarding the surface states. The physical consequences outlined herein not only widen the scope of surface states in 3D photonic crystals but also highlight the importance of surface treatments in a photonic system.


title: Med-EASi: Finely Annotated Dataset and Models for Controllable Simplification of Medical Texts

abstract: Automatic medical text simplification can assist providers with patient-friendly communication and make medical texts more accessible, thereby improving health literacy. But curating a quality corpus for this task requires the supervision of medical experts. In this work, we present $\textbf{Med-EASi}$ ($\underline{\textbf{Med}}$ical dataset for $\underline{\textbf{E}}$laborative and $\underline{\textbf{A}}$bstractive $\underline{\textbf{Si}}$mplification), a uniquely crowdsourced and finely annotated dataset for supervised simplification of short medical texts. Its $\textit{expert-layman-AI collaborative}$ annotations facilitate $\textit{controllability}$ over text simplification by marking four kinds of textual transformations: elaboration, replacement, deletion, and insertion. To learn medical text simplification, we fine-tune T5-large with four different styles of input-output combinations, leading to two control-free and two controllable versions of the model. We add two types of $\textit{controllability}$ into text simplification, by using a multi-angle training approach: $\textit{position-aware}$, which uses in-place annotated inputs and outputs, and $\textit{position-agnostic}$, where the model only knows the contents to be edited, but not their positions. Our results show that our fine-grained annotations improve learning compared to the unannotated baseline. Furthermore, $\textit{position-aware}$ control generates better simplification than the $\textit{position-agnostic}$ one. The data and code are available at https://github.com/Chandrayee/CTRL-SIMP.


title: Can room temperature data for tunneling molecular junctions be analyzed within a theoretical framework assuming zero temperature?

abstract: Routinely, experiments on tunneling molecular junctions report values of conductances ($G_{RT}$) and currents ($I_{RT}$) measured at room temperature. On the other side, theoretical approaches based on simplified models provide analytic formulas for the conductance ($G_{0K}$) and current ($I_{0K}$) valid at zero temperature. Therefore, interrogating the applicability of the theoretical results deduced in the zero temperature limit to real experimental situations at room temperature i.e., $G_{RT} \approx G_{0K}$ and $I_{RT} \approx I_{0K}$) is a relevant aspect. Quantifying the pertaining temperature impact on the transport properties computed within the ubiquitous single level model with Lorentzian transmission is the specific aim of the present work. Comprehensive results are presented for broad ranges of the relevant parameters (level's energy offset $\varepsilon_0$ and width $\Gamma_a $, and applied bias $V$) that safely cover values characterizing currently fabricated junctions. They demonstrate that the strongest thermal effects occur at biases below resonance ($2 \left\vert \varepsilon_0 \right\vert - \delta\varepsilon_0 \alt \vert e V\vert \alt 2 \left\vert \varepsilon_0 \right\vert$). At fixed $V$, they affect an $\varepsilon_0$-range whose largest width $\delta\varepsilon_0 $ is about nine times larger than the thermal energy ($\delta\varepsilon_0 \approx 3 \pi k_B T$) at $\Gamma_a \to 0$. The numerous figures included aim at conveying a quick overview on the applicability of the zero temperature limit to a specific real junction. In quantitative terms, the conditions of applicability are expressed as mathematical inequalities involving elementary functions. They constitute the basis of an interactive data fitting procedure proposed, which aims at guiding experimentalists interested in data processing in a specific case.


title: Designing Equitable Algorithms

abstract: Predictive algorithms are now used to help distribute a large share of our society's resources and sanctions, such as healthcare, loans, criminal detentions, and tax audits. Under the right circumstances, these algorithms can improve the efficiency and equity of decision-making. At the same time, there is a danger that the algorithms themselves could entrench and exacerbate disparities, particularly along racial, ethnic, and gender lines. To help ensure their fairness, many researchers suggest that algorithms be subject to at least one of three constraints: (1) no use of legally protected features, such as race, ethnicity, and gender; (2) equal rates of "positive" decisions across groups; and (3) equal error rates across groups. Here we show that these constraints, while intuitively appealing, often worsen outcomes for individuals in marginalized groups, and can even leave all groups worse off. The inherent trade-off we identify between formal fairness constraints and welfare improvements -- particularly for the marginalized -- highlights the need for a more robust discussion on what it means for an algorithm to be "fair". We illustrate these ideas with examples from healthcare and the criminal-legal system, and make several proposals to help practitioners design more equitable algorithms.


title: Rouquier dimension is Krull dimension for normal toric varieties

abstract: We prove that for any normal toric variety, the Rouquier dimension of its bounded derived category of coherent sheaves is equal to its Krull dimension. Our proof uses the coherent-constructible correspondence to translate the problem into the study of Rouquier dimension for certain categories of constructible sheaves.


title: Bayesian Quantification with Black-Box Estimators

abstract: Understanding how different classes are distributed in an unlabeled data set is an important challenge for the calibration of probabilistic classifiers and uncertainty quantification. Approaches like adjusted classify and count, black-box shift estimators, and invariant ratio estimators use an auxiliary (and potentially biased) black-box classifier trained on a different (shifted) data set to estimate the class distribution and yield asymptotic guarantees under weak assumptions. We demonstrate that all these algorithms are closely related to the inference in a particular Bayesian model, approximating the assumed ground-truth generative process. Then, we discuss an efficient Markov Chain Monte Carlo sampling scheme for the introduced model and show an asymptotic consistency guarantee in the large-data limit. We compare the introduced model against the established point estimators in a variety of scenarios, and show it is competitive, and in some cases superior, with the state of the art.


title: Identifying Equivalent Training Dynamics

abstract: Study of the nonlinear evolution deep neural network (DNN) parameters undergo during training has uncovered regimes of distinct dynamical behavior. While a detailed understanding of these phenomena has the potential to advance improvements in training efficiency and robustness, the lack of methods for identifying when DNN models have equivalent dynamics limits the insight that can be gained from prior work. Topological conjugacy, a notion from dynamical systems theory, provides a precise definition of dynamical equivalence, offering a possible route to address this need. However, topological conjugacies have historically been challenging to compute. By leveraging advances in Koopman operator theory, we develop a framework for identifying conjugate and non-conjugate training dynamics. To validate our approach, we demonstrate that it can correctly identify a known equivalence between online mirror descent and online gradient descent. We then utilize it to: identify non-conjugate training dynamics between shallow and wide fully connected neural networks; characterize the early phase of training dynamics in convolutional neural networks; uncover non-conjugate training dynamics in Transformers that do and do not undergo grokking. Our results, across a range of DNN architectures, illustrate the flexibility of our framework and highlight its potential for shedding new light on training dynamics.


title: A High Order Cartesian Grid, Finite Volume Method for Elliptic Interface Problems

abstract: We present a higher-order finite volume method for solving elliptic PDEs with jump conditions on interfaces embedded in a 2D Cartesian grid. Second, fourth, and sixth order accuracy is demonstrated on a variety of tests including problems with high-contrast and spatially varying coefficients, large discontinuities in the source term, and complex interface geometries. We include a generalized truncation error analysis based on cell-centered Taylor series expansions, which then define stencils in terms of local discrete solution data and geometric information. In the process, we develop a simple method based on Green's theorem for computing exact geometric moments directly from an implicit function definition of the embedded interface. This approach produces stencils with a simple bilinear representation, where spatially-varying coefficients and jump conditions can be easily included and finite volume conservation can be enforced.


title: Axial anomaly in nonlinear conformal electrodynamics

abstract: We study the axial anomaly of Dirac spinors on gravitational instanton backgrounds in the context of nonlinear electrodynamics. In order to do so, we consider Einstein gravity minimally coupled to a recently proposed conformal electrodynamics that enjoys duality transformation invariance. These symmetries allow us to generalize the Eguchi-Hanson configuration while preserving its geometry. We then compute the Dirac index of the nonlinearly charged Eguchi-Hanson and Taub-NUT configurations. We find that there is an excess of positive chiral Dirac fermions over the negative ones which triggers the anomaly.


title: The Shrinkage-Delinkage Trade-off: An Analysis of Factorized Gaussian Approximations for Variational Inference

abstract: When factorized approximations are used for variational inference (VI), they tend to underestimate the uncertainty -- as measured in various ways -- of the distributions they are meant to approximate. We consider two popular ways to measure the uncertainty deficit of VI: (i) the degree to which it underestimates the componentwise variance, and (ii) the degree to which it underestimates the entropy. To better understand these effects, and the relationship between them, we examine an informative setting where they can be explicitly (and elegantly) analyzed: the approximation of a Gaussian,~$p$, with a dense covariance matrix, by a Gaussian,~$q$, with a diagonal covariance matrix. We prove that $q$ always underestimates both the componentwise variance and the entropy of $p$, \textit{though not necessarily to the same degree}. Moreover we demonstrate that the entropy of $q$ is determined by the trade-off of two competing forces: it is decreased by the shrinkage of its componentwise variances (our first measure of uncertainty) but it is increased by the factorized approximation which delinks the nodes in the graphical model of $p$. We study various manifestations of this trade-off, notably one where, as the dimension of the problem grows, the per-component entropy gap between $p$ and $q$ becomes vanishingly small even though $q$ underestimates every componentwise variance by a constant multiplicative factor. We also use the shrinkage-delinkage trade-off to bound the entropy gap in terms of the problem dimension and the condition number of the correlation matrix of $p$. Finally we present empirical results on both Gaussian and non-Gaussian targets, the former to validate our analysis and the latter to explore its limitations.


title: Cyber-attack TTP analysis for EPES systems

abstract: The electrical grid constitutes of legacy systems that were built with no security in mind. As we move towards the Industry 4.0 area though a high-degree of automation and connectivity provides: 1) fast and flexible configuration and updates as well as 2) easier maintenance and handling of misconfigurations and operational errors. Even though considerations are present about the security implications of the Industry 4.0 area in the electrical grid, electricity stakeholders deem their infrastructures as secure since they are isolated and allow no external connections. However, external connections are not the only security risk for electrical utilities. The Tactics, Techniques and Procedures (TTPs) that are employed by adversaries to perform cyber-attack towards the critical Electrical Power and Energy System (EPES) infrastructures are gradually becoming highly advanced and sophisticated. In this article we elaborate on these techniques and demonstrate them in a Power Plant of the Public Power Corporation (PPC). The demonstrated TTPs allow to exploit and execute remote commands in smart meters as well as Programmable Logic Controllers (PLCs) that are responsible for the power generator operation.


title: Hydrodynamic Simulations and Time-dependent Photoionization Modeling of Starburst-driven Superwinds

abstract: Thermal energies deposited by OB stellar clusters in starburst galaxies lead to the formation of galactic superwinds. Multi-wavelength observations of starburst-driven superwinds pointed at complex thermal and ionization structures which cannot adequately be explained by simple adiabatic assumptions. In this study, we perform hydrodynamic simulations of a fluid model coupled to radiative cooling functions, and generate time-dependent non-equilibrium photoionization models to predict physical conditions and ionization structures of superwinds using the MAIHEM atomic and cooling package built on the program FLASH. Time-dependent ionization states and physical conditions produced by our simulations are used to calculate the emission lines of superwinds for various parameters, which allow us to explore implications of non-equilibrium ionization for starburst regions with potential radiative cooling.


title: Machine Learning for Cutting Planes in Integer Programming: A Survey

abstract: We survey recent work on machine learning (ML) techniques for selecting cutting planes (or cuts) in mixed-integer linear programming (MILP). Despite the availability of various classes of cuts, the task of choosing a set of cuts to add to the linear programming (LP) relaxation at a given node of the branch-and-bound (B&B) tree has defied both formal and heuristic solutions to date. ML offers a promising approach for improving the cut selection process by using data to identify promising cuts that accelerate the solution of MILP instances. This paper presents an overview of the topic, highlighting recent advances in the literature, common approaches to data collection, evaluation, and ML model architectures. We analyze the empirical results in the literature in an attempt to quantify the progress that has been made and conclude by suggesting avenues for future research.


title: Mixed Traffic Control and Coordination from Pixels

abstract: Traffic congestion is a persistent problem in our society. Previous methods for traffic control have proven futile in alleviating current congestion levels leading researchers to explore ideas with robot vehicles given the increased emergence of vehicles with different levels of autonomy on our roads. This gives rise to mixed traffic control, where robot vehicles regulate human-driven vehicles through reinforcement learning (RL). However, most existing studies use precise observations that require domain expertise and hand engineering for each road network's observation space. Additionally, precise observations use global information, such as environment outflow, and local information, i.e., vehicle positions and velocities. Obtaining this information requires updating existing road infrastructure with vast sensor environments and communication to potentially unwilling human drivers. We consider image observations, a modality that has not been extensively explored for mixed traffic control via RL, as the alternative: 1) images do not require a complete re-imagination of the observation space from environment to environment; 2) images are ubiquitous through satellite imagery, in-car camera systems, and traffic monitoring systems; and 3) images only require communication to equipment. In this work, we show robot vehicles using image observations can achieve competitive performance to using precise information on environments, including ring, figure eight, intersection, merge, and bottleneck. In certain scenarios, our approach even outperforms using precision observations, e.g., up to 8% increase in average vehicle velocity in the merge environment, despite only using local traffic information as opposed to global traffic information.


title: Screening Signal-Manipulating Agents via Contests

abstract: We study the design of screening mechanisms subject to competition and manipulation. A social planner has limited resources to allocate to multiple agents using only signals manipulable through unproductive effort. We show that the welfare-maximizing mechanism takes the form of a contest and characterize the optimal contest. We apply our results to two settings: either the planner has one item or a number of items proportional to the number of agents. We show that in both settings, with sufficiently many agents, a winner-takes-all contest is never optimal. In particular, the planner always benefits from randomizing the allocation to some agents.


title: Quantum Algorithm for Multiplicative Linear Logic

abstract: This paper describes a quantum algorithm for proof search in sequent calculus of a subset of Linear Logic using the Grover Search Algorithm. We briefly overview the Grover Search Algorithm and Linear Logic, show the detailed steps of the algorithm and then present the results obtained on quantum simulators.


title: KILM: Knowledge Injection into Encoder-Decoder Language Models

abstract: Large pre-trained language models (PLMs) have been shown to retain implicit knowledge within their parameters. To enhance this implicit knowledge, we propose Knowledge Injection into Language Models (KILM), a novel approach that injects entity-related knowledge into encoder-decoder PLMs, via a generative knowledge infilling objective through continued pre-training. This is done without architectural modifications to the PLMs or adding additional parameters. Experimental results over a suite of knowledge-intensive tasks spanning numerous datasets show that KILM enables models to retain more knowledge and hallucinate less, while preserving their original performance on general NLU and NLG tasks. KILM also demonstrates improved zero-shot performances on tasks such as entity disambiguation, outperforming state-of-the-art models having 30x more parameters.


title: Light front synchronization and rest frame densities of the proton: Electromagnetic densities

abstract: We clarify the physical origin and meaning of the two-dimensional relativistic densities of the light front formalism. The densities are shown to originate entirely from the use of light front time instead of instant form time, which physically corresponds to using an alternative synchronization convention. This is shown by using tilted light front coordinates, which consist of light front time and ordinary spatial coordinates, and which are also used to show that the obtained densities describe a system at rest rather than at infinite momentum. These coordinates allow all four components of the electromagnetic current density to be given clear physical meanings. We explicate the formalism for spin-half targets, obtaining charge and current densities of the proton and neutron using empirical form factor parametrizations, as well as up and down quark densities and currents. Angular modulations in the densities of transversely-polarized states are explained as originating from redshifts and blueshifts due to quarks moving in different longitudinal directions.


title: Performance of the wavelength-shifting fiber upgrade for the Mu2e cosmic-ray veto detector

abstract: The Cosmic-Ray Veto detector for the muon-to-electron conversion experiment at Fermilab consists of four plastic scintillating counter layers read out by silicon photo-multipliers through embedded wavelength-shifting fibers. In order to increase the light yield in the most critical regions of the Cosmic-Ray Veto detector for improved background rejection, a 1.8 mm diameter fiber is being used in many of the detector's critical modules instead of the previously planned 1.4 mm diameter fiber. This paper reports the testing procedure and light properties of thirty-four 1.8 mm fiber spools, with measurements performed using a custom-built scanner. We compare these new results with previously published data from the 1.4 mm diameter fiber used for regions of the cosmic-ray veto where the increased light yield is not required. In addition, measurements of fiber aging were performed.


title: Unsupervised Task Graph Generation from Instructional Video Transcripts

abstract: This work explores the problem of generating task graphs of real-world activities. Different from prior formulations, we consider a setting where text transcripts of instructional videos performing a real-world activity (e.g., making coffee) are provided and the goal is to identify the key steps relevant to the task as well as the dependency relationship between these key steps. We propose a novel task graph generation approach that combines the reasoning capabilities of instruction-tuned language models along with clustering and ranking components to generate accurate task graphs in a completely unsupervised manner. We show that the proposed approach generates more accurate task graphs compared to a supervised learning approach on tasks from the ProceL and CrossTask datasets.


title: Deep Joint Source-Channel Coding with Iterative Source Error Correction

abstract: In this paper, we propose an iterative source error correction (ISEC) decoding scheme for deep-learning-based joint source-channel coding (Deep JSCC). Given a noisy codeword received through the channel, we use a Deep JSCC encoder and decoder pair to update the codeword iteratively to find a (modified) maximum a-posteriori (MAP) solution. For efficient MAP decoding, we utilize a neural network-based denoiser to approximate the gradient of the log-prior density of the codeword space. Albeit the non-convexity of the optimization problem, our proposed scheme improves various distortion and perceptual quality metrics from the conventional one-shot (non-iterative) Deep JSCC decoding baseline. Furthermore, the proposed scheme produces more reliable source reconstruction results compared to the baseline when the channel noise characteristics do not match the ones used during training.


title: BIBO stability for funnel control: semilinear internal dynamics with unbounded input and output operators

abstract: This note deals with Bounded-Input-Bounded-Output (BIBO) stability for semilinear infinite-dimensional dynamical systems allowing for boundary control and boundary observation. We give sufficient conditions that guarantee BIBO stability based on Lipschitz conditions with respect to interpolation spaces. Our results can be applied to guarantee feasibility of funnel control for coupled ODE-PDE systems, as shown by means of an example from chemical engineering.


title: Generative Ornstein-Uhlenbeck Markets via Geometric Deep Learning

abstract: We consider the problem of simultaneously approximating the conditional distribution of market prices and their log returns with a single machine learning model. We show that an instance of the GDN model of Kratsios and Papon (2022) solves this problem without having prior assumptions on the market's "clipped" log returns, other than that they follow a generalized Ornstein-Uhlenbeck process with a priori unknown dynamics. We provide universal approximation guarantees for these conditional distributions and contingent claims with a Lipschitz payoff function.


title: Global weighted Lorentz estimates of oblique tangential derivative problems for weakly convex fully nonlinear operators

abstract: In this work, we develop weighted Lorentz-Sobolev estimates for viscosity solutions of fully nonlinear elliptic equations with oblique boundary condition under weakened convexity conditions in the following configuration $F(D^{2}u, Du, u, x) = f(x)$ in $\Omega$ and $\beta\cdot Du+\gamma u=g$ on $\partial \Omega$, where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$ ($n \geq 2$), under suitable assumptions on the source term f, data $\beta$, $\gamma$ and g. In addition, we obtain Lorentz-Sobolev estimates for solutions to the obstacle problem and others applications.


title: Improving Training Stability for Multitask Ranking Models in Recommender Systems

abstract: Recommender systems play an important role in many content platforms. While most recommendation research is dedicated to designing better models to improve user experience, we found that research on stabilizing the training for such models is severely under-explored. As recommendation models become larger and more sophisticated, they are more susceptible to training instability issues, i.e., loss divergence, which can make the model unusable, waste significant resources and block model developments. In this paper, we share our findings and best practices we learned for improving the training stability of a real-world multitask ranking model for YouTube recommendations. We show some properties of the model that lead to unstable training and conjecture on the causes. Furthermore, based on our observations of training dynamics near the point of training instability, we hypothesize why existing solutions would fail, and propose a new algorithm to mitigate the limitations of existing solutions. Our experiments on YouTube production dataset show the proposed algorithm can significantly improve training stability while not compromising convergence, comparing with several commonly used baseline methods.


title: QCD Thermodynamics and Neutral Pion in a Uniform Magnetic Field: Finite Volume Effects

abstract: We address finite volume effects of lattice QCD calculations in background magnetic fields. Using chiral perturbation theory at next-to-leading order, volume effects are calculated for thermodynamic quantities: the chiral condensate, pressure anisotropy, and magnetization. The neutral pion effective action in a finite volume is additionally derived. For these charge neutral observables, volume and source averaging are shown to capitalize on magnetic periodicity, which is the remnant translational invariance of the finite-volume theory. For a fixed magnetic field strength, certain volume and source averaged quantities are independent of the size of the lattice transverse to the magnetic field. Despite this simplifying feature, finite volume corrections to the magnetic field dependence of the chiral condensate and neutral pion magnetic polarizability can be non-negligible. The pressure anisotropy at fixed magnetic flux, moreover, appears acutely sensitive to the lattice volume.


title: Density dependence of elastic properties of graphynes

abstract: Graphyne is a two-dimensional carbon allotrope of graphene. Its structure is composed of aromatic rings and/or carbon-carbon bonds connected by one or more acetylene chains. As some graphynes present the most of the excellent properties of graphene and non-null bandgap, they have been extensively studied. Recently, Kanegae and Fonseca reported calculations of four elastic properties of 70 graphynes, ten members of the seven families of graphynes [Carbon Trends 7, 100152 (2022)]. They showed that the acetylene chain length dependence of these properties can be simply modelled by a serial association of springs. Here, based on those results, we present the density dependence of these properties and show that the elastic moduli, $E$, of graphyne are less dependent on density, $\rho$, than porous cellular materials with an exponent of $E \sim \rho^{n}$, smaller than 2. We discuss the results in terms of the shape of the pores of the graphyne structures.


title: Reconstructing the parameter space of non-analytical cosmological fixed points

abstract: Dynamical system theory is a widely used technique in the analysis of cosmological models. Within this framework, the equations describing the dynamics of a model are recast in terms of dimensionless variables, which evolve according to a set of autonomous first-order differential equations. The fixed points of this autonomous set encode the asymptotic evolution of the model. Usually, these points can be written as analytical expressions for the variables in terms of the parameters of the model, which allows a complete characterization of the corresponding parameter space. However, a thoroughly analytical treatment is impossible in some cases. In this work, we give an example of a dark energy model, a scalar field coupled to a vector field in an anisotropic background, where not all the fixed points can be analytically found. Then, we put forward a general scheme that provides a numerical description of the parameter space. This allows us to find interesting accelerated attractors of the system with no analytical representation. This work may serve as a template for the numerical analysis of highly complicated dynamical systems.


title: Safe Networked Robotics with Probabilistic Verification

abstract: Autonomous robots must utilize rich sensory data to make safe control decisions. To process this data, compute-constrained robots often require assistance from remote computation, or the cloud, that runs compute-intensive deep neural network perception or control models. However, this assistance comes at the cost of a time delay due to network latency, resulting in past observations being used in the cloud to compute the control commands for the present robot state. Such communication delays could potentially lead to the violation of essential safety properties, such as collision avoidance. This paper develops methods to ensure the safety of robots operated over communication networks with stochastic latency. To do so, we use tools from formal verification to construct a shield, i.e., a run-time monitor, that provides a list of safe actions for any delayed sensory observation, given the expected and maximum network latency. Our shield is minimally intrusive and enables networked robots to satisfy key safety constraints, expressed as temporal logic specifications, with desired probability. We demonstrate our approach on a real F1/10th autonomous vehicle that navigates in indoor environments and transmits rich LiDAR sensory data over congested WiFi links.


title: Learning with Impartiality to Walk on the Pareto Frontier of Fairness, Privacy, and Utility

abstract: Deploying machine learning (ML) models often requires both fairness and privacy guarantees. Both of these objectives present unique trade-offs with the utility (e.g., accuracy) of the model. However, the mutual interactions between fairness, privacy, and utility are less well-understood. As a result, often only one objective is optimized, while the others are tuned as hyper-parameters. Because they implicitly prioritize certain objectives, such designs bias the model in pernicious, undetectable ways. To address this, we adopt impartiality as a principle: design of ML pipelines should not favor one objective over another. We propose impartially-specified models, which provide us with accurate Pareto frontiers that show the inherent trade-offs between the objectives. Extending two canonical ML frameworks for privacy-preserving learning, we provide two methods (FairDP-SGD and FairPATE) to train impartially-specified models and recover the Pareto frontier. Through theoretical privacy analysis and a comprehensive empirical study, we provide an answer to the question of where fairness mitigation should be integrated within a privacy-aware ML pipeline.


title: Rapid Design of Top-Performing Metal-Organic Frameworks with Qualitative Representations of Building Blocks

abstract: Data-driven materials design often encounters challenges where systems require or possess qualitative (categorical) information. Metal-organic frameworks (MOFs) are an example of such material systems. The representation of MOFs through different building blocks makes it a challenge for designers to incorporate qualitative information into design optimization. Furthermore, the large number of potential building blocks leads to a combinatorial challenge, with millions of possible MOFs that could be explored through time consuming physics-based approaches. In this work, we integrated Latent Variable Gaussian Process (LVGP) and Multi-Objective Batch-Bayesian Optimization (MOBBO) to identify top-performing MOFs adaptively, autonomously, and efficiently without any human intervention. Our approach provides three main advantages: (i) no specific physical descriptors are required and only building blocks that construct the MOFs are used in global optimization through qualitative representations, (ii) the method is application and property independent, and (iii) the latent variable approach provides an interpretable model of qualitative building blocks with physical justification. To demonstrate the effectiveness of our method, we considered a design space with more than 47,000 MOF candidates. By searching only ~1% of the design space, LVGP-MOBBO was able to identify all MOFs on the Pareto front and more than 97% of the 50 top-performing designs for the CO$_2$ working capacity and CO$_2$/N$_2$ selectivity properties. Finally, we compared our approach with the Random Forest algorithm and demonstrated its efficiency, interpretability, and robustness.


title: Bounding the Capabilities of Large Language Models in Open Text Generation with Prompt Constraints

abstract: The limits of open-ended generative models are unclear, yet increasingly important. What causes them to succeed and what causes them to fail? In this paper, we take a prompt-centric approach to analyzing and bounding the abilities of open-ended generative models. We present a generic methodology of analysis with two challenging prompt constraint types: structural and stylistic. These constraint types are categorized into a set of well-defined constraints that are analyzable by a single prompt. We then systematically create a diverse set of simple, natural, and useful prompts to robustly analyze each individual constraint. Using the GPT-3 text-davinci-002 model as a case study, we generate outputs from our collection of prompts and analyze the model's generative failures. We also show the generalizability of our proposed method on other large models like BLOOM and OPT. Our results and our in-context mitigation strategies reveal open challenges for future research. We have publicly released our code at https://github.com/SALT-NLP/Bound-Cap-LLM.


title: Shallow current of viscous fluid flowing between diverging or converging walls

abstract: We investigate the shallow flow of viscous fluid into and out of a channel whose gap width increases as a power-law ($x^n$), where $x$ is the downstream axis. The fluid flows slowly, while injected at a rate in the form of $t^\alpha$, where $t$ is time and $\alpha$ is a constant. The invading fluid has higher viscosity than the ambient fluid, thus avoiding Saffman-Taylor instability. Similarity solutions of the first kind for the outflow problem are found using approximations of lubrication theory. Zheng et al [2014] studied the deep-channel case and found divergent behaviour of the similarity variable as $n\rightarrow1$ and $n\rightarrow3$, when fluid flows into and out of the channel respectively. No divergence is found in the shallow case presented here. The characteristic equilibration time for the numerically simulated constant-volume flow to converge to the similarity solution is calculated assuming inverse dependence on the ratio disagreement between the current front using the method of lines (MOL). The inverse power dependence between equilibration time and ratio disagreement is found for channels of different powers. A similarity solution of the second kind for the inflow problem is found using the phase plane formalism and the bisection method. An exponential decay relationship is found between $n$ and the degree $\delta$ of the similarity variable $xt^{-\delta}$, which does not show any divergent behaviour for large $n$. An asymptotic behaviour is found for $\delta$ that approaches $1/2$ as $n\rightarrow\infty$.


title: Video Action Recognition Collaborative Learning with Dynamics via PSO-ConvNet Transformer

abstract: Recognizing human actions in video sequences, known as Human Action Recognition (HAR), is a challenging task in pattern recognition. While Convolutional Neural Networks (ConvNets) have shown remarkable success in image recognition, they are not always directly applicable to HAR, as temporal features are critical for accurate classification. In this paper, we propose a novel dynamic PSO-ConvNet model for learning actions in videos, building on our recent work in image recognition. Our approach leverages a framework where the weight vector of each neural network represents the position of a particle in phase space, and particles share their current weight vectors and gradient estimates of the Loss function. To extend our approach to video, we integrate ConvNets with state-of-the-art temporal methods such as Transformer and Recurrent Neural Networks. Our experimental results on the UCF-101 dataset demonstrate substantial improvements of up to 9% in accuracy, which confirms the effectiveness of our proposed method. In addition, we conducted experiments on larger and more variety of datasets including Kinetics-400 and HMDB-51 and obtained preference for Collaborative Learning in comparison with Non-Collaborative Learning (Individual Learning). Overall, our dynamic PSO-ConvNet model provides a promising direction for improving HAR by better capturing the spatio-temporal dynamics of human actions in videos. The code is available at https://github.com/leonlha/Video-Action-Recognition-Collaborative-Learning-with-Dynamics-via-PSO-ConvNet-Transformer.


title: Observations of R-Process Stars in the Milky Way and Dwarf Galaxies

abstract: This chapter presents an overview of the recent progress on spectroscopic observations of metal-poor stars with r-process element signatures found in the Milky Way's stellar halo and satellite dwarf galaxies. Major empirical lessons related to the origins of the r-process are discussed, including the universality of the observed r-process pattern and deviations from universality among the light r-process elements and actinides. Different astrophysical sites of the r-process based on theoretical expectations are presented, including common and rare supernovae and neutron star mergers. A major distinguishing factor between r-process sites is their delay time distribution. The best constraints on the detailed r-process pattern come from Galactic halo r-process stars, but these cannot provide information on the environment of the stars' birth gas clouds. Studying r-process enrichment within dwarf galaxies can remedy the situation despite the fact that high-resolution spectroscopic observations of individual stars in these systems are very difficult to obtain. A general overview of dwarf galaxy properties and chemical evolution expectations depending on their mass and star formation duration is provided. The r-process trends depend on the stellar mass and star formation durations of dwarf galaxies in a way that clearly shows that the r-process is rare, prolific, and has both prompt and delayed sources. This work complements ongoing theoretical heavy-element nucleosynthesis explorations and experimental measurements of the properties of r-process nuclei, such as with the Facility for Rare Isotope Beams.


title: Extraction of Constituent Factors of Digestion Efficiency in Information Transfer by Media Composed of Texts and Images

abstract: The development and spread of information and communication technologies have increased and diversified information. However, the increase in the volume and the selection of information does not necessarily promote understanding. In addition, conventional evaluations of information transfer have focused only on the arrival of information to the receivers. They need to sufficiently take into account the receivers' understanding of the information after it has been acquired, which is the original purpose of the evaluation. In this study, we propose the concept of "information digestion," which refers to the receivers' correct understanding of the acquired information, its contents, and its purpose. In the experiment, we proposed an evaluation model of information digestibility using hierarchical factor analysis and extracted factors that constitute digestibility by four types of media.


title: Function Composition in Trustworthy Machine Learning: Implementation Choices, Insights, and Questions

abstract: Ensuring trustworthiness in machine learning (ML) models is a multi-dimensional task. In addition to the traditional notion of predictive performance, other notions such as privacy, fairness, robustness to distribution shift, adversarial robustness, interpretability, explainability, and uncertainty quantification are important considerations to evaluate and improve (if deficient). However, these sub-disciplines or 'pillars' of trustworthiness have largely developed independently, which has limited us from understanding their interactions in real-world ML pipelines. In this paper, focusing specifically on compositions of functions arising from the different pillars, we aim to reduce this gap, develop new insights for trustworthy ML, and answer questions such as the following. Does the composition of multiple fairness interventions result in a fairer model compared to a single intervention? How do bias mitigation algorithms for fairness affect local post-hoc explanations? Does a defense algorithm for untargeted adversarial attacks continue to be effective when composed with a privacy transformation? Toward this end, we report initial empirical results and new insights from 9 different compositions of functions (or pipelines) on 7 real-world datasets along two trustworthy dimensions - fairness and explainability. We also report progress, and implementation choices, on an extensible composer tool to encourage the combination of functionalities from multiple pillars. To-date, the tool supports bias mitigation algorithms for fairness and post-hoc explainability methods. We hope this line of work encourages the thoughtful consideration of multiple pillars when attempting to formulate and resolve a trustworthiness problem.


title: Generalized Abelian Turaev-Viro and $\mathrm{U}\!\left(1\right)$ BF Theories

abstract: We explain how it is possible to study $\mathrm{U}\!\left(1\right)$ BF theory over a connected closed oriented smooth $3$-manifold in the formalism of path integral thanks to Deligne-Beilinson cohomology. We show how we can straightforwardly extend the definition to families of theories in any dimension. We extend then the definition of the Turaev-Viro invariant of a connected closed oriented smooth $3$-manifold in an Abelian framework to a family of invariants in any dimension. We show that those invariants can be written as discrete BF theories. We explain how the extensions of $\mathrm{U}\!\left(1\right)$ BF theory we defined can be related to the extensions of Turaev-Viro invariant we constructed.


title: Observation of Josephson Harmonics in Tunnel Junctions

abstract: Superconducting quantum processors have a long road ahead to reach fault-tolerant quantum computing. One of the most daunting challenges is taming the numerous microscopic degrees of freedom ubiquitous in solid-state devices. State-of-the-art technologies, including the world's largest quantum processors, employ aluminum oxide (AlO$_x$) tunnel Josephson junctions (JJs) as sources of nonlinearity, assuming an idealized pure $\sin\varphi$ current-phase relation (C$\varphi$R). However, this celebrated $\sin\varphi$ C$\varphi$R is only expected to occur in the limit of vanishingly low-transparency channels in the AlO$_x$ barrier. Here we show that the standard C$\varphi$R fails to accurately describe the energy spectra of transmon artificial atoms across various samples and laboratories. Instead, a mesoscopic model of tunneling through an inhomogeneous AlO$_x$ barrier predicts %-level contributions from higher Josephson harmonics. By including these in the transmon Hamiltonian, we obtain orders of magnitude better agreement between the computed and measured energy spectra. The reality of Josephson harmonics transforms qubit design and prompts a reevaluation of models for quantum gates and readout, parametric amplification and mixing, Floquet qubits, protected Josephson qubits, etc. As an example, we show that engineered Josephson harmonics can reduce the charge dispersion and the associated errors in transmon qubits by an order of magnitude, while preserving anharmonicity.


title: Copula-based transferable models for synthetic population generation

abstract: Population synthesis involves generating synthetic yet realistic representations of a target population of micro-agents for behavioral modeling and simulation. Traditional methods, often reliant on target population samples, such as census data or travel surveys, face limitations due to high costs and small sample sizes, particularly at smaller geographical scales. We propose a novel framework based on copulas to generate synthetic data for target populations where only empirical marginal distributions are known. This method utilizes samples from different populations with similar marginal dependencies, introduces a spatial component into population synthesis, and considers various information sources for more realistic generators. Concretely, the process involves normalizing the data and treat it as realizations of a given copula, and then training a generative model before incorporating the information on the marginals of the target population. Utilizing American Community Survey data, we assess our framework's performance through standardized root mean squared error (SRMSE) and so-called sampled zeros. We focus on its capacity to transfer a model learned from one population to another. Our experiments include transfer tests between regions at the same geographical level as well as to lower geographical levels, hence evaluating the framework's adaptability in varied spatial contexts. We compare Bayesian Networks, Variational Autoencoders, and Generative Adversarial Networks, both individually and combined with our copula framework. Results show that the copula enhances machine learning methods in matching the marginals of the reference data. Furthermore, it consistently surpasses Iterative Proportional Fitting in terms of SRMSE in the transferability experiments, while introducing unique observations not found in the original training sample.


title: Realizable Standard Young Tableaux

abstract: Given two vectors $u$ and $v$, their outer sum is given by the matrix $A$ with entries $A_{ij} = u_{i} + v_{j}$. If the entries of $u$ and $v$ are increasing and sufficiently generic, the total ordering of the entries of the matrix is a standard Young tableau of rectangular shape. We call standard Young tableaux arising in this way realizable. The set of realizable tableaux was defined by Mallows and Vanderbei for studying a deconvolution algorithm, but we show they have appeared in many other contexts including sorting algorithms, quantum computing, random sorting networks, reflection arrangements, fiber polytopes, and Goodman and Pollack's theory of allowable sequences. In our work, we prove tight bounds on the asymptotic number of realizable rectangular tableaux. We also derive tight asymptotics for the number of realizable allowable sequences, which are in bijection with realizable staircase-shaped standard Young tableaux with the notion of realizability coming from the theory of sorting networks. As a consequence, we resolve an open question of Angel, Gorin, and Holroyd from 2012 and improve upon a 1986 result of Goodman and Pollack.


title: Data-Efficient Contrastive Self-supervised Learning: Most Beneficial Examples for Supervised Learning Contribute the Least

abstract: Self-supervised learning (SSL) learns high-quality representations from large pools of unlabeled training data. As datasets grow larger, it becomes crucial to identify the examples that contribute the most to learning such representations. This enables efficient SSL by reducing the volume of data required. Nevertheless, quantifying the value of examples for SSL has remained an open question. In this work, we address this problem for the first time, by proving that examples that contribute the most to contrastive SSL are those that have the most similar augmentations to other examples, in expectation. We provide rigorous guarantees for the generalization performance of contrastive learning on such subsets. Through extensive experiments, we show that we can safely exclude 20% of examples from CIFAR100 and 40% from STL10 and TinyImageNet, without affecting downstream task performance. In general, subsets selected by our method outperform random subsets by over 3% across these datasets. Interestingly, we also discover the subsets that contribute the most to contrastive learning are those that contribute the least to supervised learning. Code available at https://github.com/bigml-cs-ucla/sas-data-efficient-contrastive-learning.


title: NOMA-Assisted Symbiotic Backscatter: Novel Beamforming Designs Under Imperfect SIC

abstract: Optimal beamforming designs under imperfect successive interference cancellation (SIC) decoding for a symbiotic network of non-orthogonal multiple access (NOMA) primary users and a secondary ambient tag have been lacking. We address that issue here. The primary base station (BS) serves NOMA users and a passive tag simultaneously in this network. We develop two transmit beamforming designs to meet the user and tag requirements while mitigating the effect of imperfect SIC. Specifically, we design optimal BS transmit beamforming and power allocation to either maximize the weighted sum rate of NOMA users and the tag or minimize the BS transmit power under the minimum rate requirements while satisfying the tag minimum energy requirement. Because both these problems are non-convex, we propose algorithms using alternative optimization, fractional programming, and semi-definite relaxation techniques. We also analyze their computational complexity. Finally, we present extensive numerical results to validate the proposed schemes and to show significant performance gains while keeping the tag design intact. For example, the proposed digital beamforming increases the harvested power and data rate by 2.16e3 % and 314.5 % compared to random beamforming.