title: Investigating Generalization by Controlling Normalized Margin

abstract: Weight norm $\|w\|$ and margin $\gamma$ participate in learning theory via the normalized margin $\gamma/\|w\|$. Since standard neural net optimizers do not control normalized margin, it is hard to test whether this quantity causally relates to generalization. This paper designs a series of experimental studies that explicitly control normalized margin and thereby tackle two central questions. First: does normalized margin always have a causal effect on generalization? The paper finds that no -- networks can be produced where normalized margin has seemingly no relationship with generalization, counter to the theory of Bartlett et al. (2017). Second: does normalized margin ever have a causal effect on generalization? The paper finds that yes -- in a standard training setup, test performance closely tracks normalized margin. The paper suggests a Gaussian process model as a promising explanation for this behavior.


title: Low-pass filter with ultra-wide stopband for quantum computing applications

abstract: A new type of low-pass filter based on a leaky coaxial waveguide is presented. The filter has minimal insertion loss in the pass band, while at the same time high attenuation in the stop band is achieved. Thanks to its arrangement, the filter does not present parasitic leakage paths, so that, unlike conventional resonant filters, the stop band extends to very high frequencies. It is shown that a particular stop-band attenuation can be obtained by adding or removing leaking sections. Coupling between the center coaxial structure and the leaking holes is investigated. A prototype is manufactured and scattering parameters are measured up to 145 GHz. The prototype shows an insertion loss of less than 0.15 dB up to 10 GHz and an attenuation in excess of 60 dB above 70 GHz. The proposed filter is suitable for superconducting quantum computing applications where qubits are sensitive to radiation with energy high enough to break Cooper-pairs, thereby destroying superconductivity.

categories: quant-ph cond-mat.supr-con cs.SY eess.SY


title: Understanding PDF uncertainty on the $W$ boson mass measurements in CT18 global analysis

abstract: We study the dependence of the transverse mass distribution of the charged lepton and the missing energies on the parton distributions (PDFs) adapted to the $W$ boson mass measurements at the CDF and ATLAS experiments. We compare the shape variations of the distribution induced by different PDFs and find that spread of predictions from different PDF sets can be much larger than the PDF uncertainty predicted by a specific PDF set. We suggest analyzing the experimental data using up-to-date PDFs for a better understanding of the PDF uncertainties in the $W$ boson mass measurements. We further carry out a series of Lagrange multiplier scans to identify the constraints on the transverse mass distribution imposed by individual data sets in the CT18 global analysis. In the case of CDF measurement, the distribution is mostly sensitive to the $d$-quark PDFs at the intermediate $x$ region that is largely constrained by the DIS and Drell-Yan data on the deuteron target, as well as the Tevatron lepton charge asymmetry data.


title: Learning to Brachiate via Simplified Model Imitation

abstract: Brachiation is the primary form of locomotion for gibbons and siamangs, in which these primates swing from tree limb to tree limb using only their arms. It is challenging to control because of the limited control authority, the required advance planning, and the precision of the required grasps. We present a novel approach to this problem using reinforcement learning, and as demonstrated on a finger-less 14-link planar model that learns to brachiate across challenging handhold sequences. Key to our method is the use of a simplified model, a point mass with a virtual arm, for which we first learn a policy that can brachiate across handhold sequences with a prescribed order. This facilitates the learning of the policy for the full model, for which it provides guidance by providing an overall center-of-mass trajectory to imitate, as well as for the timing of the holds. Lastly, the simplified model can also readily be used for planning suitable sequences of handholds in a given environment. Our results demonstrate brachiation motions with a variety of durations for the flight and hold phases, as well as emergent extra back-and-forth swings when this proves useful. The system is evaluated with a variety of ablations. The method enables future work towards more general 3D brachiation, as well as using simplified model imitation in other settings.


title: Nonlinear self-action of ultrashort guided exciton-polariton pulses in dielectric slab coupled to 2D semiconductor

abstract: Recently reported large values of exciton-polariton nonlinearity of transition metal dichalcogenide (TMD) monolayers coupled to optically resonant structures approach the values characteristic for GaAs-based systems in the regime of strong light-matter coupling. Contrary to the latter, TMD-based polaritonic devices remain operational at ambient conditions and therefore have greater potential for practical nanophotonic applications. Here we present the study of the nonlinear properties of Ta$_2$O$_5$ slab waveguide coupled to a WSe$_2$ monolayer. We first confirm that the hybridization between waveguide photon mode and a 2D semiconductor exciton resonance gives rise to the formation of exciton-polaritons with Rabi splitting of 36 meV. By measuring transmission of ultrashort optical pulses through this TMD-based polaritonic waveguide, we demonstrate for the first time the strong nonlinear dependence of the output spectrum on the input pulse energy. Our theoretical model provides semi-quantitative agreement with experiment and gives insights into the dominating microscopic processes which determine the nonlinear pulse self-action: Coulomb inter-particle interaction and scattering to incoherent excitonic reservoir. We also confirm that at intermediate pump energies the system supports quasi-stationary solitonic regime of pulse propagation. Our results are essential for the development of nonlinear on-chip polaritonic devices based of 2D semiconductors.


title: Optimal Horoball Packing Densities for Koszul-type tilings in Hyperbolic $3$-space

abstract: We determine the optimal horoball packing densities for the Koszul-type Coxeter simplex tilings in $\mathbb{H}^3$. We give a family of horoball packings parameterized by the Busemann function and symmetry group that achieve the simplicial packing density upper bound $d_3(\infty) = \left( 2 \sqrt{3} \Lambda\left( \frac{\pi }{3} \right) \right)^{-1} \approx 0.853276$ where $\Lambda$ is the Lobachevsky function.


title: What does it mean to be a responsible AI practitioner: An ontology of roles and skills

abstract: With the growing need to regulate AI systems across a wide variety of application domains, a new set of occupations has emerged in the industry. The so-called responsible AI practitioners or AI ethicists are generally tasked with interpreting and operationalizing best practices for ethical and safe design of AI systems. Due to the nascent nature of these roles, however, it is unclear to future employers and aspiring AI ethicists what specific function these roles serve and what skills are necessary to serve the functions. Without clarity on these, we cannot train future AI ethicists with meaningful learning objectives. In this work, we examine what responsible AI practitioners do in the industry and what skills they employ on the job. We propose an ontology of existing roles alongside skills and competencies that serve each role. We created this ontology by examining the job postings for such roles over a two-year period (2020-2022) and conducting expert interviews with fourteen individuals who currently hold such a role in the industry. Our ontology contributes to business leaders looking to build responsible AI teams and provides educators with a set of competencies that an AI ethics curriculum can prioritize.


title: High-Resolution UAV Image Generation for Sorghum Panicle Detection

abstract: The number of panicles (or heads) of Sorghum plants is an important phenotypic trait for plant development and grain yield estimation. The use of Unmanned Aerial Vehicles (UAVs) enables the capability of collecting and analyzing Sorghum images on a large scale. Deep learning can provide methods for estimating phenotypic traits from UAV images but requires a large amount of labeled data. The lack of training data due to the labor-intensive ground truthing of UAV images causes a major bottleneck in developing methods for Sorghum panicle detection and counting. In this paper, we present an approach that uses synthetic training images from generative adversarial networks (GANs) for data augmentation to enhance the performance of Sorghum panicle detection and counting. Our method can generate synthetic high-resolution UAV RGB images with panicle labels by using image-to-image translation GANs with a limited ground truth dataset of real UAV RGB images. The results show the improvements in panicle detection and counting using our data augmentation approach.


title: Dynamic demand for differentiated products with fixed-effects unobserved heterogeneity

abstract: This paper studies identification and estimation of a dynamic discrete choice model of demand for differentiated product using consumer-level panel data with few purchase events per consumer (i.e., short panel). Consumers are forward-looking and their preferences incorporate two sources of dynamics: last choice dependence due to habits and switching costs, and duration dependence due to inventory, depreciation, or learning. A key distinguishing feature of the model is that consumer unobserved heterogeneity has a Fixed Effects (FE) structure -- that is, its probability distribution conditional on the initial values of endogenous state variables is unrestricted. I apply and extend recent results to establish the identification of all the structural parameters as long as the dataset includes four or more purchase events per household. The parameters can be estimated using a sufficient statistic - conditional maximum likelihood (CML) method. An attractive feature of CML in this model is that the sufficient statistic controls for the forward-looking value of the consumer's decision problem such that the method does not require solving dynamic programming problems or calculating expected present values.


title: Turing machine interaction problem

abstract: The article introduces some ideas for solving special cases of the following problem, proposed in a somewhat generalized form by Marcus Hutter in 2000. Given two Turing machines $A$ and $C$, it is required to build a Turing machine $B$, such that after interacting of $A$ and $B$ on a shared tape for a fixed number of iterations, the machine $C$ outputs 1 on the communication protocol of $A$ and $B$. Details in the introduction.


title: Strain-Enhanced Mobility of Monolayer MoS2

abstract: Strain engineering is an important method for tuning the properties of semiconductors and has been used to improve the mobility of silicon transistors for several decades. Recently, theoretical studies have predicted that strain can also improve the mobility of two-dimensional (2D) semiconductors, e.g. by reducing intervalley scattering or lowering effective masses. Here, we experimentally show strain-enhanced electron mobility in monolayer MoS2 transistors with uniaxial tensile strain, on flexible substrates. The on-state current and mobility are nearly doubled with tensile strain up to 0.7%, and devices return to their initial state after release of strain. We also show a gate-voltage-dependent gauge factor up to 200 for monolayer MoS2, which is higher than previous values reported for sub-1 nm thin piezoresistive films. These results demonstrate the importance of strain engineering 2D semiconductors for performance enhancements in integrated circuits, or for applications such as flexible strain sensors.


title: Chaotic tracial dynamics

abstract: The action on the trace space induced by a generic automorphism of a suitable finite classifiable C*-algebra is shown to be chaotic and weakly mixing. Model C*-algebras are constructed to observe the central limit theorem and other statistical features of strongly chaotic tracial actions. Genericity of finite Rokhlin dimension is used to describe KK-contractible stably projectionless C*-algebras as crossed products.


title: Nanoscale Electric Field Imaging with an Ambient Scanning Quantum Sensor Microscope

abstract: Nitrogen-vacancy (NV) center in diamond is a promising quantum sensor with remarkably versatile sensing capabilities. While scanning NV magnetometry is well-established, NV electrometry has been so far limited to bulk diamonds. Here we demonstrate imaging external alternating (AC) and direct (DC) electric fields with a single NV at the apex of a diamond scanning tip under ambient conditions. A strong electric field screening effect is observed at low frequencies due to charge noise on the surface. We quantitatively measure its frequency dependence, and overcome this screening by mechanically oscillating the tip for imaging DC fields. Our scanning NV electrometry achieved an AC E-field sensitivity of 26 mV um^(-1) Hz^(-1/2), a DC E-field gradient sensitivity of 2 V um^(-2) Hz^(-1/2), and sub-100 nm resolution limited by the NV-sample distance. Our work represents an important step toward building a scanning-probe-based multimodal quantum sensing platform.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.ins-det


title: The second derivative of the discrete Hardy-Littlewood maximal function

abstract: The regularity of the Hardy-Littlewood maximal function, in both discrete and continuous contexts, and for both centered and noncentered variants, has been subjected to intense study for the last two decades. But efforts so far have concentrated on first order differentiability and variation, as it is known that in the continuous context higher order regularity is impossible. This short note gives the first positive result on the higher order regularity of the discrete noncentered maximal function.


title: An Accelerated Failure Time Regression Model for Illness-Death Data: A Frailty Approach

abstract: This work presents a new model and estimation procedure for the illness-death survival data where the hazard functions follow accelerated failure time (AFT) models. A shared frailty variate induces positive dependence among failure times of a subject for handling the unobserved dependency between the non-terminal and the terminal failure times given the observed covariates. Semi-parametric maximum likelihood estimation procedure is developed via a kernel smoothed-aided EM algorithm, and variances are estimated by weighted bootstrap. The model is presented in the context of existing frailty-based illness-death models, emphasizing the contribution of the current work. The breast cancer data of the Rotterdam tumor bank are analyzed using the proposed and existing illness-death models. The results are contrasted and evaluated based on a new graphical goodness-of-fit procedure. Simulation results and data analysis nicely demonstrate the practical utility of the shared frailty variate with the AFT regression model under the illness-death framework.


title: MASALA: Modelling and Analysing the Semantics of Adpositions in Linguistic Annotation of Hindi

abstract: We present a completed, publicly available corpus of annotated semantic relations of adpositions and case markers in Hindi. We used the multilingual SNACS annotation scheme, which has been applied to a variety of typologically diverse languages. Building on past work examining linguistic problems in SNACS annotation, we use language models to attempt automatic labelling of SNACS supersenses in Hindi and achieve results competitive with past work on English. We look towards upstream applications in semantic role labelling and extension to related languages such as Gujarati.


title: Nanocartography: Planning for success in analytical electron microscopy

abstract: With the increasing diversity in material systems, ever-expanding number of analysis techniques, and the large capital costs of next generation instruments the ability to quickly and efficiently collect data in the electron microscope has become paramount to successful data analysis. Therefore, this research proposes a methodology of nanocartography that combines predictive stage motion with crystallographic information to provide microscopists with a sample map that can both reduce analysis time and improve confidence in data collected. Having a road map of the stage positions linked to microstructural (e.g., interfaces and growing directions) and crystallographic orientation data (e.g., specific poles and planes) provides microscopists with the ability to solve orientation relationships, create oblique tilt series movies, and also solve complex crystallographic unknowns at extremely small scales with minimal information. Most importantly, it can convert any sample orientation relationships across microscopes to increase optimization and collaboration throughout the field.


title: Toric polar maps and characteristic classes

abstract: Given a hypersurface in a complex projective space, we prove that the multidegrees of its toric polar map agree, up to sign, with the coefficients of the Chern-Schwartz-MacPherson class of a distinguished open set, namely the complement of the union of the hypersurface and the coordinate hyperplanes. In particular, the degree of the toric polar map is given by the signed topological Euler characteristic of the distinguished open set. For plane curves, a precise formula for the degree of the toric polar map is obtained in terms of local invariants. Finally, we construct families, in arbitrary dimension, of irreducible hypersurfaces whose toric polar map is birational.


title: Optimality and Complexity in Measured Quantum-State Stochastic Processes

abstract: If an experimentalist observes a sequence of emitted quantum states via either projective or positive-operator-valued measurements, the outcomes form a time series. Individual time series are realizations of a stochastic process over the measurements' classical outcomes. We recently showed that, in general, the resulting stochastic process is highly complex in two specific senses: (i) it is inherently unpredictable to varying degrees that depend on measurement choice and (ii) optimal prediction requires using an infinite number of temporal features. Here, we identify the mechanism underlying this complicatedness as generator nonunifilarity -- the degeneracy between sequences of generator states and sequences of measurement outcomes. This makes it possible to quantitatively explore the influence that measurement choice has on a quantum process' degrees of randomness and structural complexity using recently introduced methods from ergodic theory. Progress in this, though, requires quantitative measures of structure and memory in observed time series. And, success requires accurate and efficient estimation algorithms that overcome the requirement to explicitly represent an infinite set of predictive features. We provide these metrics and associated algorithms, using them to design informationally-optimal measurements of open quantum dynamical systems.

categories: quant-ph cond-mat.stat-mech math.DS nlin.CD


title: Boundary Conditions for $\mathrm{AdS_2}$ Dilaton Gravity

abstract: We study a bi-parametric family of dilaton gravity models with constant and negative curvature. This family includes the Jackiw-Teitelboim gravity and the Liouville gravity model induced by a bosonic string. Furthermore, this family is conformally equivalent to the hiperbolic dilaton models. We propose boundary conditions in the Fefferman-Graham and in the Eddington-Finkelstein gauge. We check the consistency of the asymptotic conditions by computing the entropy of their black hole solution.


title: Neural Architecture Search using Property Guided Synthesis

abstract: In the past few years, neural architecture search (NAS) has become an increasingly important tool within the deep learning community. Despite the many recent successes of NAS, however, most existing approaches operate within highly structured design spaces, and hence explore only a small fraction of the full search space of neural architectures while also requiring significant manual effort from domain experts. In this work, we develop techniques that enable efficient NAS in a significantly larger design space. To accomplish this, we propose to perform NAS in an abstract search space of program properties. Our key insights are as follows: (1) the abstract search space is significantly smaller than the original search space, and (2) architectures with similar program properties also have similar performance; thus, we can search more efficiently in the abstract search space. To enable this approach, we also propose a novel efficient synthesis procedure, which accepts a set of promising program properties, and returns a satisfying neural architecture. We implement our approach, $\alpha$NAS, within an evolutionary framework, where the mutations are guided by the program properties. Starting with a ResNet-34 model, $\alpha$NAS produces a model with slightly improved accuracy on CIFAR-10 but 96% fewer parameters. On ImageNet, $\alpha$NAS is able to improve over Vision Transformer (30% fewer FLOPS and parameters), ResNet-50 (23% fewer FLOPS, 14% fewer parameters), and EfficientNet (7% fewer FLOPS and parameters) without any degradation in accuracy.


title: An STL-based Formulation of Resilience in Cyber-Physical Systems

abstract: Resiliency is the ability to quickly recover from a violation and avoid future violations for as long as possible. Such a property is of fundamental importance for Cyber-Physical Systems (CPS), and yet, to date, there is no widely agreed-upon formal treatment of CPS resiliency. We present an STL-based framework for reasoning about resiliency in CPS in which resiliency has a syntactic characterization in the form of an STL-based Resiliency Specification (SRS). Given an arbitrary STL formula $\varphi$, time bounds $\alpha$ and $\beta$, the SRS of $\varphi$, $R_{\alpha,\beta}(\varphi)$, is the STL formula $\neg\varphi\mathbf{U}_{[0,\alpha]}\mathbf{G}_{[0,\beta)}\varphi$, specifying that recovery from a violation of $\varphi$ occur within time $\alpha$ (recoverability), and subsequently that $\varphi$ be maintained for duration $\beta$ (durability). These $R$-expressions, which are atoms in our SRS logic, can be combined using STL operators, allowing one to express composite resiliency specifications, e.g., multiple SRSs must hold simultaneously, or the system must eventually be resilient. We define a quantitative semantics for SRSs in the form of a Resilience Satisfaction Value (ReSV) function $r$ and prove its soundness and completeness w.r.t. STL's Boolean semantics. The $r$-value for $R_{\alpha,\beta}(\varphi)$ atoms is a singleton set containing a pair quantifying recoverability and durability. The $r$-value for a composite SRS formula results in a set of non-dominated recoverability-durability pairs, given that the ReSVs of subformulas might not be directly comparable (e.g., one subformula has superior durability but worse recoverability than another). To the best of our knowledge, this is the first multi-dimensional quantitative semantics for an STL-based logic. Two case studies demonstrate the practical utility of our approach.


title: Towards Racially Unbiased Skin Tone Estimation via Scene Disambiguation

abstract: Virtual facial avatars will play an increasingly important role in immersive communication, games and the metaverse, and it is therefore critical that they be inclusive. This requires accurate recovery of the appearance, represented by albedo, regardless of age, sex, or ethnicity. While significant progress has been made on estimating 3D facial geometry, albedo estimation has received less attention. The task is fundamentally ambiguous because the observed color is a function of albedo and lighting, both of which are unknown. We find that current methods are biased towards light skin tones due to (1) strongly biased priors that prefer lighter pigmentation and (2) algorithmic solutions that disregard the light/albedo ambiguity. To address this, we propose a new evaluation dataset (FAIR) and an algorithm (TRUST) to improve albedo estimation and, hence, fairness. Specifically, we create the first facial albedo evaluation benchmark where subjects are balanced in terms of skin color, and measure accuracy using the Individual Typology Angle (ITA) metric. We then address the light/albedo ambiguity by building on a key observation: the image of the full scene -- as opposed to a cropped image of the face -- contains important information about lighting that can be used for disambiguation. TRUST regresses facial albedo by conditioning both on the face region and a global illumination signal obtained from the scene image. Our experimental results show significant improvement compared to state-of-the-art methods on albedo estimation, both in terms of accuracy and fairness. The evaluation benchmark and code will be made available for research purposes at https://trust.is.tue.mpg.de.


title: NOVA: A Practical Method for Creating Notebook-Ready Visual Analytics

abstract: How can we develop visual analytics (VA) tools that can be easily adopted? Visualization researchers have developed a large number of web-based VA tools to help data scientists in a wide range of tasks. However, adopting these standalone systems can be challenging, as they require data scientists to create new workflows to streamline the VA processes. Recent surveys suggest computational notebooks have been dominating data scientists' analytical workflows, as these notebooks seamlessly combine text, code, and visualization, allowing users to rapidly iterate code experiments. To help visualization researchers develop VA tools that can be easily integrated into existing data science workflows, we present NOVA, a simple and flexible method to adapt web-based VA systems for notebooks. We provide detailed examples of using this method with diverse web development technologies and different types of computational notebooks. Deployed application examples highlight that NOVA is easy to adopt, and data scientists appreciate in-notebook VA. NOVA is available at https://github.com/poloclub/nova.


title: On-site-interaction-induced Peak-dip-hump Characteristics with the Mean Field Theory + Perturbation Approach

abstract: For decades, the difficulty of tackling a strong coupling model with a perturbative approach remained regardless of numerous inquiries. In the current work, a typical mean field theory procedure transforms a strong coupling Hamiltonian into a weak one, which can be solved within a perturbative approach. The Hamiltonian of 2-dimensional free electron gas with Hubbard on-site interaction is calculated as a test of the new procedure. Consequently, the spectral characteristics of the cuprates peak-dip-hump are reproduced. The result is compared with the past theoretical investigations, e.g., quantum Monte Carlo method, density matrix renormalization group, tensor network methods, etc., which agree well with the spectral curve.


title: Connected size Ramsey numbers of matchings versus a small path or cycle

abstract: Given two graphs $G_1, G_2$, the connected size Ramsey number ${\hat{r}}_c(G_1,G_2)$ is defined to be the minimum number of edges of a connected graph $G$, such that for any red-blue edge colouring of $G$, there is either a red copy of $G_1$ or a blue copy of $G_2$. Concentrating on ${\hat{r}}_c(nK_2,G_2)$ where $nK_2$ is a matching, we generalise and improve two previous results as follows. Vito, Nabila, Safitri, and Silaban obtained the exact values of ${\hat{r}}_c(nK_2,P_3)$ for $n=2,3,4$. We determine its exact values for all positive integers $n$. Rahadjeng, Baskoro, and Assiyatun proved that ${\hat{r}}_c(nK_2,C_4)\le 5n-1$ for $n\ge 4$. We improve the upper bound from $5n-1$ to $\lfloor (9n-1)/2 \rfloor$. In addition, we show a result which has the same flavour and has exact values: ${\hat{r}}_c(nK_2,C_3)=4n-1$ for all positive integers $n$.


title: Chart Question Answering: State of the Art and Future Directions

abstract: Information visualizations such as bar charts and line charts are very common for analyzing data and discovering critical insights. Often people analyze charts to answer questions that they have in mind. Answering such questions can be challenging as they often require a significant amount of perceptual and cognitive effort. Chart Question Answering (CQA) systems typically take a chart and a natural language question as input and automatically generate the answer to facilitate visual data analysis. Over the last few years, there has been a growing body of literature on the task of CQA. In this survey, we systematically review the current state-of-the-art research focusing on the problem of chart question answering. We provide a taxonomy by identifying several important dimensions of the problem domain including possible inputs and outputs of the task and discuss the advantages and limitations of proposed solutions. We then summarize various evaluation techniques used in the surveyed papers. Finally, we outline the open challenges and future research opportunities related to chart question answering.


title: The saturated pairwise interaction Gibbs point process as a joint species distribution model

abstract: In an effort to effectively model observed patterns in the spatial configuration of individuals of multiple species in nature, we introduce the saturated pairwise interaction Gibbs point process. Its main strength lies in its ability to model both attraction and repulsion within and between species, over different scales. As such, it is particularly well-suited to the study of associations in complex ecosystems. Based on the existing literature, we provide an easy to implement fitting procedure as well as a technique to make inference for the model parameters. We also prove that under certain hypotheses the point process is locally stable, which allows us to use the well-known `coupling from the past' algorithm to draw samples from the model. Different numerical experiments show the robustness of the model. We study three different ecological datasets, demonstrating in each one that our model helps disentangle competing ecological effects on species' distribution.


title: Rebellion and Disobedience as Useful Tools in Human-Robot Interaction Research -- The Handheld Robotics Case

abstract: This position paper argues on the utility of rebellion and disobedience (RaD) in human-robot interaction (HRI). In general, we see two main opportunities in the use of controlled and well designed rebellion and disobedience: i) illuminate insight into the effectiveness of the collaboration (or lack of) and ii) prevent mistakes and correct user actions when in the user's own interest. Through the use of a close interaction modality, that of handheld robots, we discuss use cases for utility of rebellion and disobedience that can be applicable to other instances of HRI.


title: An Interactive Annotation Tool for Perceptual Video Compression

abstract: Human perception is at the core of lossy video compression and yet, it is challenging to collect data that is sufficiently dense to drive compression. In perceptual quality assessment, human feedback is typically collected as a single scalar quality score indicating preference of one distorted video over another. In reality, some videos may be better in some parts but not in others. We propose an approach to collecting finer-grained feedback by asking users to use an interactive tool to directly optimize for perceptual quality given a fixed bitrate. To this end, we built a novel web-tool which allows users to paint these spatio-temporal importance maps over videos. The tool allows for interactive successive refinement: we iteratively re-encode the original video according to the painted importance maps, while maintaining the same bitrate, thus allowing the user to visually see the trade-off of assigning higher importance to one spatio-temporal part of the video at the cost of others. We use this tool to collect data in-the-wild (10 videos, 17 users) and utilize the obtained importance maps in the context of x264 coding to demonstrate that the tool can indeed be used to generate videos which, at the same bitrate, look perceptually better through a subjective study - and are 1.9 times more likely to be preferred by viewers. The code for the tool and dataset can be found at https://github.com/jenyap/video-annotation-tool.git


title: Policy Choice in Time Series by Empirical Welfare Maximization

abstract: This paper develops a novel method for policy choice in a dynamic setting where the available data is a multivariate time series. Building on the statistical treatment choice framework, we propose Time-series Empirical Welfare Maximization (T-EWM) methods to estimate an optimal policy rule for the current period or over multiple periods by maximizing an empirical welfare criterion constructed using nonparametric potential outcome time-series. We characterize conditions under which T-EWM consistently learns a policy choice that is optimal in terms of conditional welfare given the time-series history. We then derive a nonasymptotic upper bound for conditional welfare regret and its minimax lower bound. To illustrate the implementation and uses of T-EWM, we perform simulation studies and apply the method to estimate optimal monetary policy rules from macroeconomic time-series data.


title: Private Eye: On the Limits of Textual Screen Peeking via Eyeglass Reflections in Video Conferencing

abstract: Using mathematical modeling and human subjects experiments, this research explores the extent to which emerging webcams might leak recognizable textual and graphical information gleaming from eyeglass reflections captured by webcams. The primary goal of our work is to measure, compute, and predict the factors, limits, and thresholds of recognizability as webcam technology evolves in the future. Our work explores and characterizes the viable threat models based on optical attacks using multi-frame super resolution techniques on sequences of video frames. Our models and experimental results in a controlled lab setting show it is possible to reconstruct and recognize with over 75% accuracy on-screen texts that have heights as small as 10 mm with a 720p webcam. We further apply this threat model to web textual contents with varying attacker capabilities to find thresholds at which text becomes recognizable. Our user study with 20 participants suggests present-day 720p webcams are sufficient for adversaries to reconstruct textual content on big-font websites. Our models further show that the evolution towards 4K cameras will tip the threshold of text leakage to reconstruction of most header texts on popular websites. Besides textual targets, a case study on recognizing a closed-world dataset of Alexa top 100 websites with 720p webcams shows a maximum recognition accuracy of 94% with 10 participants even without using machine-learning models. Our research proposes near-term mitigations including a software prototype that users can use to blur the eyeglass areas of their video streams. For possible long-term defenses, we advocate an individual reflection testing procedure to assess threats under various settings, and justify the importance of following the principle of least privilege for privacy-sensitive scenarios.


title: Robust (Controlled) Table-to-Text Generation with Structure-Aware Equivariance Learning

abstract: Controlled table-to-text generation seeks to generate natural language descriptions for highlighted subparts of a table. Previous SOTA systems still employ a sequence-to-sequence generation method, which merely captures the table as a linear structure and is brittle when table layouts change. We seek to go beyond this paradigm by (1) effectively expressing the relations of content pieces in the table, and (2) making our model robust to content-invariant structural transformations. Accordingly, we propose an equivariance learning framework, which encodes tables with a structure-aware self-attention mechanism. This prunes the full self-attention structure into an order-invariant graph attention that captures the connected graph structure of cells belonging to the same row or column, and it differentiates between relevant cells and irrelevant cells from the structural perspective. Our framework also modifies the positional encoding mechanism to preserve the relative position of tokens in the same cell but enforce position invariance among different cells. Our technology is free to be plugged into existing table-to-text generation models, and has improved T5-based models to offer better performance on ToTTo and HiTab. Moreover, on a harder version of ToTTo, we preserve promising performance, while previous SOTA systems, even with transformation-based data augmentation, have seen significant performance drops. Our code is available at https://github.com/luka-group/Lattice.


title: On the rationality conjecture of some finite CW-complexes

abstract: In this paper, we establish the rationality conjecture raised in \cite{FKS} for any $(r-1)$-connected ($r\geq 2$) $kr$-dimensional CW-complex $X$ ($k\geq 2$) having a unique spherical cohomology class $u\in \tilde{H}^r(X, \mathbb{Z})$ such that $u^k\not =0$. %which is nilpotent with order of nilpotency equal to $k+1$. Next, we illustrate (topologically) our result by giving the minimal cell structure of such a CW-complex whose cohomology is a truncated polynomial algebra.


title: SELF-CARE: Selective Fusion with Context-Aware Low-Power Edge Computing for Stress Detection

abstract: Detecting human stress levels and emotional states with physiological body-worn sensors is a complex task, but one with many health-related benefits. Robustness to sensor measurement noise and energy efficiency of low-power devices remain key challenges in stress detection. We propose SELFCARE, a fully wrist-based method for stress detection that employs context-aware selective sensor fusion that dynamically adapts based on data from the sensors. Our method uses motion to determine the context of the system and learns to adjust the fused sensors accordingly, improving performance while maintaining energy efficiency. SELF-CARE obtains state-of-the-art performance across the publicly available WESAD dataset, achieving 86.34% and 94.12% accuracy for the 3-class and 2-class classification problems, respectively. Evaluation on real hardware shows that our approach achieves up to 2.2x (3-class) and 2.7x (2-class) energy efficiency compared to traditional sensor fusion.


title: Self-heating of cryogenic high-electron-mobility transistor amplifiers and the limits of microwave noise performance

abstract: The fundamental limits of the microwave noise performance of high electron mobility transistors (HEMTs) are of scientific and practical interest for applications in radio astronomy and quantum computing. Self-heating at cryogenic temperatures has been reported to be a limiting mechanism for the noise, but cryogenic cooling strategies to mitigate it, for instance using liquid cryogens, have not been evaluated. Here, we report microwave noise measurements of a packaged two-stage HEMT amplifier immersed in normal and superfluid $^4$He baths and in vacuum from 1.6 - 80 K. We find that these liquid cryogens are unable to mitigate the thermal noise associated with self-heating. Considering this finding, we examine the implications for the lower bounds of cryogenic noise performance in HEMTs. Our analysis supports the general design principle for cryogenic HEMTs of maximizing gain at the lowest possible power.


title: Orientations and cycles in supersingular isogeny graphs

abstract: The paper concerns several theoretical aspects of oriented supersingular $\ell$-isogeny volcanoes and their relationship to closed walks in the supersingular $\ell$-isogeny graph. Our main result is a bijection between the rims of the union of all oriented supersingular $\ell$-isogeny volcanoes over $\overline{\mathbb{F}}_p$ (up to conjugation of the orientations), and isogeny cycles (non-backtracking closed walks which are not powers of smaller walks) of the supersingular $\ell$-isogeny graph over $\overline{\mathbb{F}}_p$. The exact proof and statement of this bijection are made more intricate by special behaviours arising from extra automorphisms and the ramification of $p$ in certain quadratic orders. We use the bijection to count isogeny cycles of given length in the supersingular $\ell$-isogeny graph exactly as a sum of class numbers of these orders, and also give an explicit upper bound by estimating the class numbers.


title: A Structured Span Selector

abstract: Many natural language processing tasks, e.g., coreference resolution and semantic role labeling, require selecting text spans and making decisions about them. A typical approach to such tasks is to score all possible spans and greedily select spans for task-specific downstream processing. This approach, however, does not incorporate any inductive bias about what sort of spans ought to be selected, e.g., that selected spans tend to be syntactic constituents. In this paper, we propose a novel grammar-based structured span selection model which learns to make use of the partial span-level annotation provided for such problems. Compared to previous approaches, our approach gets rid of the heuristic greedy span selection scheme, allowing us to model the downstream task on an optimal set of spans. We evaluate our model on two popular span prediction tasks: coreference resolution and semantic role labeling. We show empirical improvements on both.


title: ACM -- Attribute Conditioning for Abstractive Multi Document Summarization

abstract: Abstractive multi document summarization has evolved as a task through the basic sequence to sequence approaches to transformer and graph based techniques. Each of these approaches has primarily focused on the issues of multi document information synthesis and attention based approaches to extract salient information. A challenge that arises with multi document summarization which is not prevalent in single document summarization is the need to effectively summarize multiple documents that might have conflicting polarity, sentiment or subjective information about a given topic. In this paper we propose ACM, attribute conditioned multi document summarization,a model that incorporates attribute conditioning modules in order to decouple conflicting information by conditioning for a certain attribute in the output summary. This approach shows strong gains in ROUGE score over baseline multi document summarization approaches and shows gains in fluency, informativeness and reduction in repetitiveness as shown through a human annotation analysis study.


title: Quantum information scrambling in non-Markovian open quantum systems

abstract: In this paper we investigate the dynamics of a spin chain whose two end spins interact with two independent non-Markovian baths by using the non-Markovian quantum state diffusion (QSD) equation approach. Specifically two issues about quantum information scrambling in open quantum system are addressed. The first issue is that tripartite mutual information (TMI) can quantify information scrambling properly via its negative value in closed system, whether it is still suitable to indicate quantum scrambling in open quantum system. However we find that negative TMI is not an suitable quantifier of information scrambling in open quantum system in some cases while negative tripartite logarithmic negativity (TLN) is more appropriate. The second one is that up to now almost all the open quantum system effects on information scrambling reported were focus on the Markovian environment, while the effect of non-Markovian environment on information scrambling is still elusive. Significantly our results show that the memory effect of environment will be beneficial to the emergence of quantum information scrambling. Moreover, it is found that environment is generally detrimental for information scrambling in a long time, while in some cases it will be helpful for information scrambling in a short time.


title: Dynamical and qKZ equations modulo $p^s$, an example

abstract: We consider an example of the joint system of dynamical differential equations and qKZ difference equations with parameters corresponding to equations for elliptic integrals. We solve this system of equations modulo any power $p^n$ of a prime integer $p$. We show that the $p$-adic limit of these solutions as $n\to\infty$ determines a sequence of line bundles, each of which is invariant with respect to the corresponding dynamical connection, and that sequence of line bundles is invariant with respect to the corresponding qKZ difference connection.


title: A construction of a $\lambda$- Poisson generic sequence

abstract: Years ago Zeev Rudnick defined the ${\lambda}$-Poisson generic sequences as the infinite sequences of symbols in a finite alphabet where the number of occurrences of long words in the initial segments follow the Poisson distribution with parameter ${\lambda}$. Although almost all sequences, with respect to the uniform measure, are Poisson generic, no explicit instance has yet been given. In this note we give a construction of an explicit ${\lambda}$-Poisson generic sequence over any alphabet and any positive ${\lambda}$, except for the case of the two-symbol alphabet, in which it is required that ${\lambda}$ be less than or equal to the natural logarithm of $2$. Since ${\lambda}$-Poisson genericity implies Borel normality, the constructed sequences are Borel normal. The same construction provides explicit instances of Borel normal sequences that are not ${\lambda}$-Poisson generic.


title: A Magnetogram-matching Method for Energizing Magnetic Flux Ropes Toward Eruption

abstract: We propose a new ``helicity-pumping'' method for energizing coronal equilibria that contain a magnetic flux rope (MFR) toward an eruption. We achieve this in a sequence of magnetohydrodynamics relaxations of small line-tied pulses of magnetic helicity, each of which is simulated by a suitable rescaling of the current-carrying part of the field. The whole procedure is ``magnetogram-matching'' because it involves no changes to the normal component of the field at the photospheric boundary. The method is illustrated by applying it to an observed force-free configuration whose MFR is modeled with our regularized Biot--Savart law method. We find that, in spite of the bipolar character of the external field, the MFR eruption is sustained by two reconnection processes. The first, which we refer to as breakthrough reconnection, is analogous to breakout reconnection in quadrupolar configurations. It occurs at a quasi-separator inside a current layer that wraps around the erupting MFR and is caused by the photospheric line-tying effect. The second process is the classical flare reconnection, which develops at the second quasi-separator inside a vertical current layer that is formed below the erupting MFR. Both reconnection processes work in tandem with the magnetic forces of the unstable MFR to propel it through the overlying ambient field, and their interplay may also be relevant for the thermal processes occurring in the plasma of solar flares. The considered example suggests that our method will be beneficial for both the modeling of observed eruptive events and theoretical studies of eruptions in idealized magnetic configurations.


title: Building Machine Translation Systems for the Next Thousand Languages

abstract: In this paper we share findings from our effort to build practical machine translation (MT) systems capable of translating across over one thousand languages. We describe results in three research domains: (i) Building clean, web-mined datasets for 1500+ languages by leveraging semi-supervised pre-training for language identification and developing data-driven filtering techniques; (ii) Developing practical MT models for under-served languages by leveraging massively multilingual models trained with supervised parallel data for over 100 high-resource languages and monolingual datasets for an additional 1000+ languages; and (iii) Studying the limitations of evaluation metrics for these languages and conducting qualitative analysis of the outputs from our MT models, highlighting several frequent error modes of these types of models. We hope that our work provides useful insights to practitioners working towards building MT systems for currently understudied languages, and highlights research directions that can complement the weaknesses of massively multilingual models in data-sparse settings.


title: A novel quantitative inverse scattering scheme using interior resonant modes

abstract: This paper is devoted to a novel quantitative imaging scheme of identifying impenetrable obstacles in time-harmonic acoustic scattering from the associated far-field data. The proposed method consists of two phases. In the first phase, we determine the interior eigenvalues of the underlying unknown obstacle from the far-field data via the indicating behaviour of the linear sampling method. Then we further determine the associated interior eigenfunctions by solving a constrained optimization problem, again only involving the far-field data. In the second phase, we propose a novel iteration scheme of Newton's type to identify the boundary surface of the obstacle. By using the interior eigenfunctions determined in the first phase, we can avoid computing any direct scattering problem at each Newton's iteration. The proposed method is particularly valuable for recovering a sound-hard obstacle, where the Newton's formula involves the geometric quantities of the unknown boundary surface in a natural way. We provide rigorous theoretical justifications of the proposed method. Numerical experiments in both 2D and 3D are conducted, which confirm the promising features of the proposed imaging scheme. In particular, it can produce quantitative reconstructions of high accuracy in a very efficient manner.


title: The Big Bang Nucleosynthesis abundances of the light elements using improved thermonuclear reaction rates

abstract: Big Bang Nucleosynthesis (BBN) is an important stage of a homogeneous and isotropic expanding universe. The results of calculation of the synthesis of light elements during this epoch can then be compared with the abundances of the light elements. The theoretical calculation of the BBN model depends on the initial conditions of the early universe and reaction cross sections measured by the nuclear physics experiment. Recently, an update of the NACRE (Nuclear Astrophysics Compilation of REactions) database is presented. This improved compilation comprises thermonuclear reaction rates for 34 two-body reactions on light nuclides (fifteen are particle transfer reactions and nineteen are radiative capture reactions). In this work, we calculate the BBN abundances by using these updated thermonuclear reaction rates in the framework of the code \texttt{AlterBBN}. Our results suggest that the new numerical result of the primordial Lithium abundance is 7.1 percent larger than the previous calculation.


title: Cherenkov Wakefield Radiation from an Open End of a Three-Layer Dielectric Capillary

abstract: Modern trends in beam-driven radiation sources involve interaction of Cherenkov wakefields with open-ended circular waveguide structures having complicated dielectric lining, with a three-layer dielectric capillary recently offered for reducing the radiation divergency being a representative example \cite{Jiang2020}. This paper presents rigorous approach allowing analytical description of electromagnetic processes occuring when the described structure is excited by single waveguide mode. In other words, corresponding canonical waveguide diffraction problem is considered in rigorous formulation. This is continuation of our recent paper \cite{GV2022} where a simpler case of a two-layer dielectric filling has been considered. Here we use the same analytical approach based on Wiener-Hopf-Fock technique and deal with more complicated case of a three-layer dielectric lining.


title: Methodology to Create Analysis-Naive Holdout Records as well as Train and Test Records for Machine Learning Analyses in Healthcare

abstract: It is common for researchers to holdout data from a study pool to be used for external validation as well as for future research, and the same desire is true to those using machine learning modeling research. For this discussion, the purpose of the holdout sample it is preserve data for research studies that will be analysis-naive and randomly selected from the full dataset. Analysis-naive are records that are not used for testing or training machine learning (ML) models and records that do not participate in any aspect of the current machine learning study. The methodology suggested for creating holdouts is a modification of k-fold cross validation, which takes into account randomization and efficiently allows a three-way split (holdout, test and training) as part of the method without forcing. The paper also provides a working example using set of automated functions in Python and some scenarios for applicability in healthcare.


title: Azimuthal-sensitive three-dimensional HBT radius in Au-Au collisions at $E_{beam} = 1.23$$A$ GeV by the IQMD model

abstract: We used an Isospin dependent Quantum Molecular Dynamics (IQMD) model to simulate Au + Au collisions at beam energy $E_{beam}$ = 1.23$A$ GeV, which corresponds to center of mass energy $\sqrt{s_{NN}} = 2.4$ GeV. Firstly, we obtained reasonable rapidity and transverse mass spectra of $\pi^-$ and $\pi^+$ as well as "apparent" temperature parameters in comparison with the HADES data. Then by calculating three-dimensional Hanbury Brown and Twiss (HBT) radius of same charged pion-pairs, we obtained the square difference of outward radius and sideward radius, i.e. $R_{out}^{2}-R_{side}^{2}$, as well as the freeze-out volume ($V_{fo}$), which were basically consistent with the trend of HADES experimental results. The azimuthal dependence of the HBT radii was also calculated by a matrix method, and corrected by the rotation matrix. In addition, the eccentricities of the $xy$- and $zy$- planes of pion-pair emissions were also extracted for different pair transverse momentum and collision centrality, which show that the $xy$-eccentricity increases with pair transverse momentum as well as centrality but not for $zy$-eccentricity, indicating a more asymmetric transverse emission of particle-pairs with higher transverse momentum in off-central collisions.


title: Wide binary pulsars from electron-capture supernovae

abstract: Neutron stars receive velocity kicks at birth in supernovae. Those formed in electron-capture supernovae from super asymptotic giant branch stars -- the lowest mass stars to end their lives in supernovae -- may receive significantly lower kicks than typical neutron stars. Given that many massive stars are members of wide binaries, this suggests the existence of a population of low-mass ($1.25 < M_\mathrm{psr} / $M$_\odot < 1.3$), wide ($P_\mathrm{orb} \gtrsim 10^{4}$\,day), eccentric ($e \sim 0.7$), unrecycled ($P_\mathrm{spin} \sim 1$\,s) binary pulsars. The formation rate of such binaries is sensitive to the mass range of (effectively) single stars leading to electron capture supernovae, the amount of mass lost prior to the supernova, and the magnitude of any natal kick imparted on the neutron star. We estimate that one such binary pulsar should be observable in the Milky Way for every 10,000 isolated pulsars, assuming that the width of the mass range of single stars leading to electron-capture supernovae is $\lesssim 0.2$\,M$_\odot$, and that neutron stars formed in electron-capture supernovae receive typical kicks less than 10\,km s$^{-1}$. We have searched the catalog of observed binary pulsars, but find no convincing candidates that could be formed through this channel, consistent with this low predicted rate. Future observations with the Square Kilometre Array may detect this rare sub-class of binary pulsar and provide strong constraints on the properties of electron-capture supernovae and their progenitors.


title: Multi-resolution partial differential equations preserved learning framework for spatiotemporal dynamics

abstract: Traditional data-driven deep learning models often struggle with high training costs, error accumulation, and poor generalizability in complex physical processes. Physics-informed deep learning (PiDL) addresses these challenges by incorporating physical principles into the model. Most PiDL approaches regularize training by embedding governing equations into the loss function, yet this depends heavily on extensive hyperparameter tuning to weigh each loss term. To this end, we propose to leverage physics prior knowledge by ``baking'' the discretized governing equations into the neural network architecture via the connection between the partial differential equations (PDE) operators and network structures, resulting in a PDE-preserved neural network (PPNN). This method, embedding discretized PDEs through convolutional residual networks in a multi-resolution setting, largely improves the generalizability and long-term prediction accuracy, outperforming conventional black-box models. The effectiveness and merit of the proposed methods have been demonstrated across various spatiotemporal dynamical systems governed by spatiotemporal PDEs, including reaction-diffusion, Burgers', and Navier-Stokes equations.


title: A Nonlocal Graph-PDE and Higher-Order Geometric Integration for Image Labeling

abstract: This paper introduces a novel nonlocal partial difference equation (G-PDE) for labeling metric data on graphs. The G-PDE is derived as nonlocal reparametrization of the assignment flow approach that was introduced in \textit{J.~Math.~Imaging \& Vision} 58(2), 2017. Due to this parameterization, solving the G-PDE numerically is shown to be equivalent to computing the Riemannian gradient flow with respect to a nonconvex potential. We devise an entropy-regularized difference-of-convex-functions (DC) decomposition of this potential and show that the basic geometric Euler scheme for integrating the assignment flow is equivalent to solving the G-PDE by an established DC programming scheme. Moreover, the viewpoint of geometric integration reveals a basic way to exploit higher-order information of the vector field that drives the assignment flow, in order to devise a novel accelerated DC programming scheme. A detailed convergence analysis of both numerical schemes is provided and illustrated by numerical experiments.


title: Filtrations on combinatorial intersection cohomology and invariants of subdivisions

abstract: Motivated by definitions in mixed Hodge theory, we define the weight filtration and the monodromy weight filtration on the combinatorial intersection cohomology of a fan. These filtrations give a natural definition of the multivariable invariants of subdivisions of polytopes, lattice polytopes and fans, namely the mixed $h$-polynomial, the refined limit mixed $h^*$-polynomial, and the mixed $cd$-index, defined by Katz--Stapledon and Dornian--Katz--Tsang. Previously, only the refined limit mixed $h^*$-polynomial had a geometric interpretation, which came from filtrations on the cohomology of a sch\"on hypersurface. Consequently, we generalize a positivity result on the mixed $h$-polynomial by Katz and Stapledon using the relative hard Lefschetz theorem of Karu.


title: Layer-wised Model Aggregation for Personalized Federated Learning

abstract: Personalized Federated Learning (pFL) not only can capture the common priors from broad range of distributed data, but also support customized models for heterogeneous clients. Researches over the past few years have applied the weighted aggregation manner to produce personalized models, where the weights are determined by calibrating the distance of the entire model parameters or loss values, and have yet to consider the layer-level impacts to the aggregation process, leading to lagged model convergence and inadequate personalization over non-IID datasets. In this paper, we propose a novel pFL training framework dubbed Layer-wised Personalized Federated learning (pFedLA) that can discern the importance of each layer from different clients, and thus is able to optimize the personalized model aggregation for clients with heterogeneous data. Specifically, we employ a dedicated hypernetwork per client on the server side, which is trained to identify the mutual contribution factors at layer granularity. Meanwhile, a parameterized mechanism is introduced to update the layer-wised aggregation weights to progressively exploit the inter-user similarity and realize accurate model personalization. Extensive experiments are conducted over different models and learning tasks, and we show that the proposed methods achieve significantly higher performance than state-of-the-art pFL methods.


title: Alignment of colloidal rods in crowded environments

abstract: Understanding the hydrodynamic alignment of colloidal rods in polymer solutions is pivotal for manufacturing structurally ordered materials. How polymer crowding influences the flow-induced alignment of suspended colloidal rods remains unclear when rods and polymers share similar length-scales. We tackle this problem by analyzing the alignment of colloidal rods suspended in crowded polymer solutions, and comparing against the case where crowding is provided by additional colloidal rods in a pure solvent. We find that the polymer dynamics govern the onset of shear-induced alignment of colloidal rods suspended in polymer solutions, and the control parameter for the alignment of rods is the Weissenberg number, quantifying the elastic response of the polymer to an imposed flow. Moreover, we show that the increasing colloidal alignment with the shear rate follows a universal trend that is independent of the surrounding crowding environment. Our results indicate that colloidal rod alignment in polymer solutions can be predicted based on the critical shear rate at which polymer coils are deformed by the flow, aiding the synthesis and design of anisotropic materials.


title: Crossings in Randomly Embedded Graphs

abstract: We consider the number of crossings in a graph which is embedded randomly on a convex set of points. We give an estimate to the normal distribution in Kolmogorov distance which implies a convergence rate of order $n^{-1/2}$ for various families of graphs, including random chord diagrams or full cycles.


title: Hardware-Robust In-RRAM-Computing for Object Detection

abstract: In-memory computing is becoming a popular architecture for deep-learning hardware accelerators recently due to its highly parallel computing, low power, and low area cost. However, in-RRAM computing (IRC) suffered from large device variation and numerous nonideal effects in hardware. Although previous approaches including these effects in model training successfully improved variation tolerance, they only considered part of the nonideal effects and relatively simple classification tasks. This paper proposes a joint hardware and software optimization strategy to design a hardware-robust IRC macro for object detection. We lower the cell current by using a low word-line voltage to enable a complete convolution calculation in one operation that minimizes the impact of nonlinear addition. We also implement ternary weight mapping and remove batch normalization for better tolerance against device variation, sense amplifier variation, and IR drop problem. An extra bias is included to overcome the limitation of the current sensing range. The proposed approach has been successfully applied to a complex object detection task with only 3.85\% mAP drop, whereas a naive design suffers catastrophic failure under these nonideal effects.


title: A Real Time Super Resolution Accelerator with Tilted Layer Fusion

abstract: Deep learning based superresolution achieves high-quality results, but its heavy computational workload, large buffer, and high external memory bandwidth inhibit its usage in mobile devices. To solve the above issues, this paper proposes a real-time hardware accelerator with the tilted layer fusion method that reduces the external DRAM bandwidth by 92\% and just needs 102KB on-chip memory. The design implemented with a 40nm CMOS process achieves 1920x1080@60fps throughput with 544.3K gate count when running at 600MHz; it has higher throughput and lower area cost than previous designs.


title: Row-wise Accelerator for Vision Transformer

abstract: Following the success of the natural language processing, the transformer for vision applications has attracted significant attention in recent years due to its excellent performance. However, existing deep learning hardware accelerators for vision cannot execute this structure efficiently due to significant model architecture differences. As a result, this paper proposes the hardware accelerator for vision transformers with row-wise scheduling, which decomposes major operations in vision transformers as a single dot product primitive for a unified and efficient execution. Furthermore, by sharing weights in columns, we can reuse the data and reduce the usage of memory. The implementation with TSMC 40nm CMOS technology only requires 262K gate count and 149KB SRAM buffer for 403.2 GOPS throughput at 600MHz clock frequency.


title: Pauli String Partitioning Algorithm with the Ising Model for Simultaneous Measurement

abstract: We propose an efficient algorithm for partitioning Pauli strings into subgroups, which can be simultaneously measured in a single quantum circuit. Our partitioning algorithm drastically reduces the total number of measurements in a variational quantum eigensolver for a quantum chemistry, one of the most promising applications of quantum computing. The algorithm is based on the Ising model optimization problem, which can be quickly solved using an Ising machine. We develop an algorithm that is applicable to problems with sizes larger than the maximum number of variables that an Ising machine can handle ($n_\text{bit}$) through its iterative use. The algorithm has much better time complexity and solution optimality than other algorithms such as Boppana--Halld\'orsson algorithm and Bron--Kerbosch algorithm, making it useful for the quick and effective reduction of the number of quantum circuits required for measuring the expectation values of multiple Pauli strings. We investigate the performance of the algorithm using the second-generation Digital Annealer, a high-performance Ising hardware, for up to $65,535$ Pauli strings using Hamiltonians of molecules and the full tomography of quantum states. We demonstrate that partitioning problems for quantum chemical calculations can be solved with a time complexity of $O(N)$ for $N\leq n_\text{bit}$ and $O(N^2)$ for $N>n_\text{bit}$ for the worst case, where $N$ denotes the number of candidate Pauli strings and $n_\text{bit}=8,192$ for the second-generation Digital Annealer used in this study. The reduction factor, which is the number of Pauli strings divided by the number of obtained partitions, can be $200$ at maximum.


title: Noncommutative supports, local cohomology and spectral sequences

abstract: The purpose of this paper is to study local cohomology in the noncommutative algebraic geometry framework of Artin and Zhang. The noncommutative spaces are obtained by base change of a Grothendieck category that is locally noetherian or strongly locally noetherian. Using what we call elementary objects and their injective hulls, we develop a theory of supports and associated primes in these categories. We apply our theory to study a general functorial setup that requires certain conditions on the injective hulls of elementary objects and gives us spectral sequences for derived functors associated to local cohomology objects, as well as generalized local cohomology and also generalized Nagata ideal transforms.


title: Learning from Drivers to Tackle the Amazon Last Mile Routing Research Challenge

abstract: The goal of the Amazon Last Mile Routing Research Challenge is to integrate the real-life experience of Amazon drivers into the solution of optimal route planning and optimization. This paper presents our method that tackles this challenge by hierarchically combining machine learning and conventional Traveling Salesperson Problem (TSP) solvers. Our method reaps the benefits from both worlds. On the one hand, our method encodes driver know-how by learning a sequential probability model from historical routes at the zone level, where each zone contains a few parcel stops. It then uses a single step policy iteration method, known as the Rollout algorithm, to generate plausible zone sequences sampled from the learned probability model. On the other hand, our method utilizes proven methods developed in the rich TSP literature to sequence stops within each zone efficiently. The outcome of such a combination appeared to be promising. Our method obtained an evaluation score of $0.0374$, which is comparable to what the top three teams have achieved on the official Challenge leaderboard. Moreover, our learning-based method is applicable to driving routes that may exhibit distinct sequential patterns beyond the scope of this Challenge. The source code of our method is publicly available at https://github.com/aws-samples/amazon-sagemaker-amazon-routing-challenge-sol


title: Towards a High-performance and Secure Memory System and Architecture for Emerging Applications

abstract: In this dissertation, we propose a memory and computing coordinated methodology to thoroughly exploit the characteristics and capabilities of the GPU-based heterogeneous system to effectively optimize applications' performance and privacy. Specifically, 1) we propose a task-aware and dynamic memory management mechanism to co-optimize applications' latency and memory footprint, especially in multitasking scenarios. 2) We propose a novel latency-aware memory management framework that analyzes the application characteristics and hardware features to reduce applications' initialization latency and response time. 3) We develop a new model extraction attack that explores the vulnerability of the GPU unified memory system to accurately steal private DNN models. 4) We propose a CPU/GPU Co-Encryption mechanism that can defend against a timing-correlation attack in an integrated CPU/GPU platform to provide a secure execution environment for the edge applications. This dissertation aims at developing a high-performance and secure memory system and architecture in GPU heterogeneous platforms to deploy emerging AI-enabled applications efficiently and safely.


title: A Novel Generative Convolutional Neural Network for Robot Grasp Detection on Gaussian Guidance

abstract: The vision-based grasp detection method is an important research direction in the field of robotics. However, due to the rectangle metric of the grasp detection rectangle's limitation, a false-positive grasp occurs, resulting in the failure of the real-world robot grasp task. In this paper, we propose a novel generative convolutional neural network model to improve the accuracy and robustness of robot grasp detection in real-world scenes. First, a Gaussian-based guided training method is used to encode the quality of the grasp point and grasp angle in the grasp pose, highlighting the highest-quality grasp point position and grasp angle and reducing the generation of false-positive grasps. Simultaneously, deformable convolution is used to obtain the shape features of the object in order to guide the subsequent network to the position. Furthermore, a global-local feature fusion method is introduced in order to efficiently obtain finer features during the feature reconstruction stage, allowing the network to focus on the features of the grasped objects. On the Cornell Grasping Datasets and Jacquard Datasets, our method achieves excellent performance of 99.0$\%$ and 95.9$\%$, respectively. Finally, the proposed method is put to the test in a real-world robot grasping scenario.


title: Global Model Learning for Large Deformation Control of Elastic Deformable Linear Objects: An Efficient and Adaptive Approach

abstract: Robotic manipulation of deformable linear objects (DLOs) has broad application prospects in many fields. However, a key issue is to obtain the exact deformation models (i.e., how robot motion affects DLO deformation), which are hard to theoretically calculate and vary among different DLOs. Thus, shape control of DLOs is challenging, especially for large deformation control which requires global and more accurate models. In this paper, we propose a coupled offline and online data-driven method for efficiently learning a global deformation model, allowing for both accurate modeling through offline learning and further updating for new DLOs via online adaptation. Specifically, the model approximated by a neural network is first trained offline on random data, then seamlessly migrated to the online phase, and further updated online during actual manipulation. Several strategies are introduced to improve the model's efficiency and generalization ability. We propose a convex-optimization-based controller, and analyze the system's stability using the Lyapunov method. Detailed simulations and real-world experiments demonstrate that our method can efficiently and precisely estimate the deformation model, and achieve large deformation control of untrained DLOs in 2D and 3D dual-arm manipulation tasks better than the existing methods. It accomplishes all 24 tasks with different desired shapes on different DLOs in the real world, using only simulation data for the offline learning.


title: A Hybrid Approach: Utilising Kmeans Clustering and Naive Bayes for IoT Anomaly Detection

abstract: The proliferation and variety of Internet of Things devices means that they have increasingly become a viable target for malicious users. This has created a need for anomaly detection algorithms that can work across multiple devices. This thesis suggests a potential alternative to the current anomaly detection algorithms to be implemented within IoT systems that can be applied across different types of devices. This algorithm is comprised of both unsupverised and supervised machine areas of machine learning combining the strongest facet of each. The algorithm involves the initial k-means clustering of attacks and assigns them to clusters. Next, the clusters are then used by the AdaBoosted Naive Bayes supervised learning algorithm in order to teach itself which piece of data should be clustered to which specific attack. This increases the accuracy of the proposed algorithm by adding clustered data before the final classification step, ensuring a more accurate algorithm. The correct indentification percentage scores for this proposed algorithm range anywhere from 90% to 100%, as well as rating the proposed algorithms accuracy, precision and recall. These high scores achieve an accurate, flexible, scalable, optimised algorithm that could potentially be in different IoT devices, ensuring strong data integrity and privacy.


title: Data Augmentation with Paraphrase Generation and Entity Extraction for Multimodal Dialogue System

abstract: Contextually aware intelligent agents are often required to understand the users and their surroundings in real-time. Our goal is to build Artificial Intelligence (AI) systems that can assist children in their learning process. Within such complex frameworks, Spoken Dialogue Systems (SDS) are crucial building blocks to handle efficient task-oriented communication with children in game-based learning settings. We are working towards a multimodal dialogue system for younger kids learning basic math concepts. Our focus is on improving the Natural Language Understanding (NLU) module of the task-oriented SDS pipeline with limited datasets. This work explores the potential benefits of data augmentation with paraphrase generation for the NLU models trained on small task-specific datasets. We also investigate the effects of extracting entities for conceivably further data expansion. We have shown that paraphrasing with model-in-the-loop (MITL) strategies using small seed data is a promising approach yielding improved performance results for the Intent Recognition task.


title: ResSFL: A Resistance Transfer Framework for Defending Model Inversion Attack in Split Federated Learning

abstract: This work aims to tackle Model Inversion (MI) attack on Split Federated Learning (SFL). SFL is a recent distributed training scheme where multiple clients send intermediate activations (i.e., feature map), instead of raw data, to a central server. While such a scheme helps reduce the computational load at the client end, it opens itself to reconstruction of raw data from intermediate activation by the server. Existing works on protecting SFL only consider inference and do not handle attacks during training. So we propose ResSFL, a Split Federated Learning Framework that is designed to be MI-resistant during training. It is based on deriving a resistant feature extractor via attacker-aware training, and using this extractor to initialize the client-side model prior to standard SFL training. Such a method helps in reducing the computational complexity due to use of strong inversion model in client-side adversarial training as well as vulnerability of attacks launched in early training epochs. On CIFAR-100 dataset, our proposed framework successfully mitigates MI attack on a VGG-11 model with a high reconstruction Mean-Square-Error of 0.050 compared to 0.005 obtained by the baseline system. The framework achieves 67.5% accuracy (only 1% accuracy drop) with very low computation overhead. Code is released at: https://github.com/zlijingtao/ResSFL.


title: Multi-party Quantum Private Comparison Protocol Based on Entanglement Swapping of Bell Entangled States

abstract: Recently, Liu W et al. proposed a two-party quantum private comparison (QPC) protocol using entanglement swapping of Bell entangled state (Commun. Theor. Phys. 57(2012)583-588). Subsequently, Liu W J et al. pointed out that in Liu W et al.'s protocol, the TP can extract the two users' secret inputs without being detected by launching the Bell-basis measurement attack, and suggested the corresponding improvement to mend this loophole (Commun. Theor. Phys. 62(2014)210-214). In this paper, we first point out the information leakage problem toward TP existing in both of the above two protocols, and then suggest the corresponding improvement by using the one-way hash function to encrypt the two users' secret inputs. We further put forward the three-party QPC protocol also based on entanglement swapping of Bell entangled state, and then validate its output correctness and its security in detail. Finally, we generalize the three-party QPC protocol into the multi-party case, which can accomplish arbitrary pair's comparison of equality among users within one execution.


title: Posterior Collapse of a Linear Latent Variable Model

abstract: This work identifies the existence and cause of a type of posterior collapse that frequently occurs in the Bayesian deep learning practice. For a general linear latent variable model that includes linear variational autoencoders as a special case, we precisely identify the nature of posterior collapse to be the competition between the likelihood and the regularization of the mean due to the prior. Our result suggests that posterior collapse may be related to neural collapse and dimensional collapse and could be a subclass of a general problem of learning for deeper architectures.


title: The Degrees-of-Freedom in Monostatic ISAC Channels: NLoS Exploitation vs. Reduction

abstract: The degrees of freedom (DoFs) attained in monostatic integrated sensing and communications (ISAC) are analyzed. Specifically, monostatic sensing aims for extracting target-orientation information from the line of sight (LoS) channel between the transmitter and the target, since the Non-LoS (NLoS) paths only contain clutter or interference. By contrast, in wireless communications, typically, both the LoS and NLoS paths are exploited for achieving diversity or multiplexing gains. Hence, we shed light on the NLoS exploitation vs. reduction tradeoffs in a monostatic ISAC scenario. In particular, we optimize the transmit power of each signal path to maximize the communication rate, while guaranteeing the sensing performance for the target. The non-convex problem formulated is firstly solved in closed form for a single-NLoS-link scenario, then we harness the popular successive convex approximation (SCA) method for a general multiple-NLoS-link scenario. Our simulation results characterize the fundamental performance tradeoffs between sensing and communication, demonstrating that the available DoFs in the ISAC channel should be efficiently exploited in a way that is distinctly different from that of communication-only scenarios.


title: Quantum private comparison via cavity QED

abstract: The first quantum private comparison (QPC) protocol via cavity quantum electrodynamics (QED) is proposed in this paper by making full use of the evolution law of atom via cavity QED, where the third party (TP) is allowed to misbehave on his own but cannot conspire with either of the two users. The proposed protocol adopts two-atom product states rather than entangled states as the initial quantum resource, and only needs single-atom measurements for two users. Both the unitary operations and the quantum entanglement swapping operation are not necessary for the proposed protocol. The proposed protocol can compare the equality of one bit from each user in each round comparison with one two-atom product state. The proposed protocol can resist both the outside attack and the participant attack. Particularly, it can prevent TP from knowing two users' secrets. Furthermore, the qubit efficiency of the proposed protocol is as high as 50%.


title: Improving negation detection with negation-focused pre-training

abstract: Negation is a common linguistic feature that is crucial in many language understanding tasks, yet it remains a hard problem due to diversity in its expression in different types of text. Recent work has shown that state-of-the-art NLP models underperform on samples containing negation in various tasks, and that negation detection models do not transfer well across domains. We propose a new negation-focused pre-training strategy, involving targeted data augmentation and negation masking, to better incorporate negation information into language models. Extensive experiments on common benchmarks show that our proposed approach improves negation detection performance and generalizability over the strong baseline NegBERT (Khandewal and Sawant, 2020).


title: Tracial approximation and ${\cal Z}$-stability

abstract: Let $A$ be a unital separable non-elementary amenable simple stably finite C*-algebra such that its tracial state space has a $\sigma$-compact countable-dimensional extremal boundary. We show that $A$ is ${\cal Z}$-stable if and only if it has strict comparison and stable rank one. We show that this result also holds for non-unital cases (which may not be Morita equivalent to unital ones).


title: Personalized QoE Enhancement for Adaptive Video Streaming: A Digital Twin-Assisted Scheme

abstract: In this paper, we present a digital twin (DT)-assisted adaptive video streaming scheme to enhance personalized quality-of-experience (PQoE). Since PQoE models are user-specific and time-varying, existing schemes based on universal and time-invariant PQoE models may suffer from performance degradation. To address this issue, we first propose a DT-assisted PQoE model construction method to obtain accurate user-specific PQoE models. Specifically, user DTs (UDTs) are respectively constructed for individual users, which can acquire and utilize users' data to accurately tune PQoE model parameters in real time. Next, given the obtained PQoE models, we formulate a resource management problem to maximize the overall long-term PQoE by taking the dynamics of user' locations, video content requests, and buffer statuses into account. To solve this problem, a deep reinforcement learning algorithm is developed to jointly determine segment version selection, and communication and computing resource allocation. Simulation results on the real-world dataset demonstrate that the proposed scheme can effectively enhance PQoE compared with benchmark schemes.


title: Dilatational-Plasticity Opens a New Mechanistic Pathway for Macromolecular Transport Across Polymeric Interfaces Yielding Solid-State Bonding

abstract: Bonding between polymeric interfaces is encountered widely in several industrial applications. Many of these bonding processes rely on time-consuming and temperature-dependent classical mechanism of polymer interdiffusion via reptation in a melt state. Here, for the first time, we report a new mechanistic pathway for achieving solid-state polymer bonding by triggering rapid macromolecular acceleration through mechanical deformation. Large-scale molecular simulations reveal that active plastic deformation in glassy polymers, at temperatures well-below the bulk (and surface) glass transition temperatures, is sufficient to cause segmental translations of the polymer chains that lead to interfacial interpenetrations, and formation of new entanglements. The underlying mechanistic basis for this new type of bonding is identified as enhanced molecular-scale dilatations (or densifications) in conjunction with accelerated molecular mobility during plastic deformation. The reported mechanistic insights open promising avenues for designing new bonding technologies or material systems, and transformation of the existing ones to achieve quick and energetically less intensive bonding.


title: The $SU(2)_D$ lepton portals for muon $g-2$, $W$ boson mass and dark matter

abstract: We propose a novel model for lepton flavor and dark matter based on the $SU(2)_D$ gauge symmetry and vector-like leptons in its fundamental representations. We introduce a dark $SU(2)_D$ Higgs doublet and a Higgs bi-doublet for the mass mixing between the vector-like lepton and the lepton. As a result, the seesaw lepton masses are generated and there are sizable one-loop contributions to the muon $g-2$ via the $SU(2)_D$ gauge bosons and the relatively heavy vector-like lepton, as indicated in Fermilab E989. The tree-level mass mixing between the $Z$ boson and the isospin neutral gauge boson of $SU(2)_D$ in our model accounts for the shift in the $W$ boson mass, being consistent with Tevatron CDFII. Finally, we show that the isospin charged gauge boson of $SU(2)_D$ becomes a plausible candidate for dark matter with a small mass splitting tied up to the modified $W$ boson mass, and there is a viable parameter space where the favored corrections to the muon $g-2$ and the $W$ boson mass and the dark matter constraints are simultaneously fulfilled.


title: What Do You Get from Turning on Your Video? Effects of Videoconferencing Affordances on Remote Class Experience During COVID-19

abstract: The outbreak of COVID-19 forced schools to swiftly transition from in-person classes to online or remote offerings, making educators and learners alike rely on online videoconferencing platforms. Platforms like Zoom offer audio-visual channels of communication and include features that are designed to approximate the classroom experience. However, it is not clear how students' learning experiences are affected by affordances of the videoconferencing platforms or what underlying factors explain the differential effects of these affordances on class experiences of engagement, interaction, and satisfaction. In order to find out, we conducted two online survey studies: Study 1 (N = 176) investigated the effects of three types of videoconferencing affordances (i.e., modality, interactivity, and agency affordances) on class experience during the first two months after the transition to online learning. Results showed that usage of the three kinds of affordances was positively correlated with students' class engagement, interaction, and satisfaction. Perceived anonymity, nonverbal cues, and comfort level were found to be the key mediators. In addition, students' usage of video cameras in class was influenced by their classmates. Study 2 (N = 256) tested the proposed relationships at a later stage of the pandemic and found similar results, thus serving as a constructive replication. This paper focuses on reporting the results of Study 1 since it captures the timely reactions from students when they first went online, and the second study plays a supplementary role in verifying Study 1 and thereby extending its external validity. Together, the two studies provide insights for instructors on how to leverage different videoconferencing affordances to enhance the virtual learning experience. Design implications for digital tools in online education are also discussed.


title: Photo-to-Shape Material Transfer for Diverse Structures

abstract: We introduce a method for assigning photorealistic relightable materials to 3D shapes in an automatic manner. Our method takes as input a photo exemplar of a real object and a 3D object with segmentation, and uses the exemplar to guide the assignment of materials to the parts of the shape, so that the appearance of the resulting shape is as similar as possible to the exemplar. To accomplish this goal, our method combines an image translation neural network with a material assignment neural network. The image translation network translates the color from the exemplar to a projection of the 3D shape and the part segmentation from the projection to the exemplar. Then, the material prediction network assigns materials from a collection of realistic materials to the projected parts, based on the translated images and perceptual similarity of the materials. One key idea of our method is to use the translation network to establish a correspondence between the exemplar and shape projection, which allows us to transfer materials between objects with diverse structures. Another key idea of our method is to use the two pairs of (color, segmentation) images provided by the image translation to guide the material assignment, which enables us to ensure the consistency in the assignment. We demonstrate that our method allows us to assign materials to shapes so that their appearances better resemble the input exemplars, improving the quality of the results over the state-of-the-art method, and allowing us to automatically create thousands of shapes with high-quality photorealistic materials. Code and data for this paper are available at https://github.com/XiangyuSu611/TMT.


title: Wiener filters on graphs and distributed polynomial approximation algorithms

abstract: In this paper, we consider Wiener filters to reconstruct deterministic and (wide-band) stationary graph signals from their observations corrupted by random noises, and we propose distributed algorithms to implement Wiener filters and inverse filters on networks in which agents are equipped with a data processing subsystem for limited data storage and computation power, and with a one-hop communication subsystem for direct data exchange only with their adjacent agents. The proposed distributed polynomial approximation algorithm is an exponential convergent quasi-Newton method based on Jacobi polynomial approximation and Chebyshev interpolation polynomial approximation to analytic functions on a cube. Our numerical simulations show that Wiener filtering procedure performs better on denoising (wide-band) stationary signals than the Tikhonov regularization approach does, and that the proposed polynomial approximation algorithms converge faster than the Chebyshev polynomial approximation algorithm and gradient decent algorithm do in the implementation of an inverse filtering procedure associated with a polynomial filter of commutative graph shifts.


title: Fragment-orbital-dependent spin fluctuations in the single-component molecular conductor [Ni(dmdt)$_2$]

abstract: Motivated by recent nuclear magnetic resonance experiments, we calculated the spin susceptibility, Knight shift, and spin-lattice relaxation rate ($1/T_{1}T$) of the single-component molecular conductor [Ni(dmdt)$_2$] using the random phase approximation in a multi-orbital Hubbard model describing the Dirac nodal line electronic system in this compound. This Hubbard model is composed of three fragment orbitals and on-site repulsive interactions obtained using ab initio many-body perturbation theory calculations. We found fragment-orbital-dependent spin fluctuations with the momentum $\textbf{q}$=$\textbf{0}$ and an incommensurate value of the wavenumber $\textbf{q}$=$\textbf{Q}$ at which a diagonal element of the spin susceptibility is maximum. The $\textbf{q}$=$\textbf{0}$ and $\textbf{Q}$ responses become dominant at low and high temperatures, respectively, with the Fermi-pocket energy scale as the boundary. We show that $1/T_{1}T$ decreases with decreasing temperature but starts to increase at low temperature owing to the $\textbf{q}$=$\textbf{0}$ spin fluctuations, while the Knight shift keeps monotonically decreasing. These properties are due to the intra-molecular antiferromagnetic fluctuations caused by the characteristic wave functions of this Dirac nodal line system, which is described by an $n$-band ($n\geq 3$) model. We show that the fragment orbitals play important roles in the magnetic properties of [Ni(dmdt)$_2$].


title: Anti-resonances and sharp analysis of Maryland localization for all parameters

abstract: We develop the technique to prove localization through the analysis of eigenfunctions in presence of both exponential frequency resonances and exponential phase barriers (anti-resonances) and use it to prove localization for the Maryland model for all parameters.


title: CoCoA-MT: A Dataset and Benchmark for Contrastive Controlled MT with Application to Formality

abstract: The machine translation (MT) task is typically formulated as that of returning a single translation for an input segment. However, in many cases, multiple different translations are valid and the appropriate translation may depend on the intended target audience, characteristics of the speaker, or even the relationship between speakers. Specific problems arise when dealing with honorifics, particularly translating from English into languages with formality markers. For example, the sentence "Are you sure?" can be translated in German as "Sind Sie sich sicher?" (formal register) or "Bist du dir sicher?" (informal). Using wrong or inconsistent tone may be perceived as inappropriate or jarring for users of certain cultures and demographics. This work addresses the problem of learning to control target language attributes, in this case formality, from a small amount of labeled contrastive data. We introduce an annotated dataset (CoCoA-MT) and an associated evaluation metric for training and evaluating formality-controlled MT models for six diverse target languages. We show that we can train formality-controlled models by fine-tuning on labeled contrastive data, achieving high accuracy (82% in-domain and 73% out-of-domain) while maintaining overall quality.


title: A Comparative Tutorial of Bayesian Sequential Design and Reinforcement Learning

abstract: Reinforcement Learning (RL) is a computational approach to reward-driven learning in sequential decision problems. It implements the discovery of optimal actions by learning from an agent interacting with an environment rather than from supervised data. We contrast and compare RL with traditional sequential design, focusing on simulation-based Bayesian sequential design (BSD). Recently, there has been an increasing interest in RL techniques for healthcare applications. We introduce two related applications as motivating examples. In both applications, the sequential nature of the decisions is restricted to sequential stopping. Rather than a comprehensive survey, the focus of the discussion is on solutions using standard tools for these two relatively simple sequential stopping problems. Both problems are inspired by adaptive clinical trial design. We use examples to explain the terminology and mathematical background that underlie each framework and map one to the other. The implementations and results illustrate the many similarities between RL and BSD. The results motivate the discussion of the potential strengths and limitations of each approach.


title: The ${\cal N}=4$ Supersymmetric Linear $W_{\infty}[\lambda]$ Algebra

abstract: From the recently known ${\cal N}=2$ supersymmetric linear $W_{\infty}^{K,K}[\lambda]$ algebra where $K$ is the dimension of fundamental (or antifundamental) representation of bifundamental $\beta \, \gamma$ and $b \, c$ ghost system, we determine its ${\cal N}=4$ supersymmetric enhancement at $K=2$. We construct the ${\cal N}=4$ stress energy tensor, the first ${\cal N}=4$ multiplet and their operator product expansions (OPEs) in terms of above bifundamentals. We show that the OPEs between the first ${\cal N}=4$ multiplet and itself are the same as the corresponding ones in the ${\cal N}=4$ coset $\frac{SU(N+2)}{SU(N)}$ model under the large $(N,k)$ 't Hooft-like limit with fixed $\lambda_{co} \equiv \frac{(N+1)}{(k+N+2)}$, up to two central terms. The two parameters are related to each other $\lambda =\frac{1}{2}\, \lambda_{co}$. We also provide other OPEs by considering the second, the third and the fourth ${\cal N}=4$ multiplets in the ${\cal N}=4$ supersymmetric linear $W_{\infty}[\lambda]$ algebra.