title: Selling Information while Being an Interested Party

abstract: We study the algorithmic problem faced by an information holder (seller) who wants to optimally sell such information to a budged-constrained decision maker (buyer) that has to undertake some action. Differently from previous, we consider the case in which the seller is an interested party, as the action chosen by the buyer does not only influence their utility, but also seller's one. This happens in many real-world settings, where the way in which businesses use acquired information may positively or negatively affect the seller, due to the presence of externalities on the information market. The utilities of both the seller and the buyer depend on a random state of nature, which is revealed to the seller, but it is unknown to the buyer. Thus, the seller's goal is to (partially) sell their information about the state of nature to the buyer, so as to concurrently maximize revenue and induce the buyer to take a desirable action. We study settings in which buyer's budget and utilities are determined by a random buyer's type that is unknown to the seller. In such settings, an optimal protocol for the seller must propose to the buyer a menu of information-revelation policies to choose from, with the latter acquiring one of them by paying its corresponding price. Moreover, since in our model the seller is an interested party, an optimal protocol must also prescribe the seller to pay back the buyer contingently on their action. First, we show that the problem of computing a seller-optimal protocol can be solved in polynomial time. Next, we switch the attention to the case in which a seller's protocol employs a single information-revelation policy, rather than proposing a menu, deriving both positive and negative results.


title: Improved Algorithms for Multi-period Multi-class Packing Problems with Bandit Feedback

abstract: We consider the linear contextual multi-class multi-period packing problem (LMMP) where the goal is to pack items such that the total vector of consumption is below a given budget vector and the total value is as large as possible. We consider the setting where the reward and the consumption vector associated with each action is a class-dependent linear function of the context, and the decision-maker receives bandit feedback. LMMP includes linear contextual bandits with knapsacks and online revenue management as special cases. We establish a new estimator which guarantees a faster convergence rate, and consequently, a lower regret in such problems. We propose a bandit policy that is a closed-form function of said estimated parameters. When the contexts are non-degenerate, the regret of the proposed policy is sublinear in the context dimension, the number of classes, and the time horizon $T$ when the budget grows at least as $\sqrt{T}$. We also resolve an open problem posed by Agrawal & Devanur (2016) and extend the result to a multi-class setting. Our numerical experiments clearly demonstrate that the performance of our policy is superior to other benchmarks in the literature.


title: Linear extension operators for Sobolev spaces on radially-symmetric binary trees

abstract: Let $1 < p < \infty$ and suppose that we are given a function $f$ defined on the leaves of a weighted tree. We would like to extend $f$ to a function $F$ defined on the entire tree, so as to minimize the weighted $W^{1,p}$-Sobolev norm of the extension. An easy situation is when $p = 2$, where the harmonic extension operator provides such a function $F$. In this note we record our analysis of the particular case of a radially-symmetric binary tree, which is a complete, finite, binary tree with weights that depend only on the distance from the root. Neither the averaging operator nor the harmonic extension operator work here in general. Nevertheless, we prove the existence of a linear extension operator whose norm is bounded by a constant depending solely on $p$. This operator is a variant of the standard harmonic extension operator, and in fact it is harmonic extension with respect to a certain Markov kernel determined by $p$ and by the weights.


title: Protecting the Texas power grid from tropical cyclones: Increasing resilience by protecting critical lines

abstract: The Texan electric network in the Gulf Coast of the United States is frequently hit by Tropical Cyclones (TC) causing widespread power outages, a risk that is expected to substantially increase under global warming. Here, we introduce a new approach of combining a probabilistic line fragility model with a network model of the Texas grid to simulate the temporal evolution of wind-induced failures of transmission lines and the resulting cascading power outages from seven major historical hurricanes. The approach allows reproducing observed supply failures. In addition, compared to a static approach, it provides a significant advantage in identifying critical lines whose failure can trigger large supply shortages. We show that protecting only 1% of total lines can reduce the likelihood of the most destructive type of outages by a factor of between 5 and 20. The proposed modelling approach could represent a tool so far missing to effectively strengthen the power grids against future hurricane risks even under limited knowledge.


title: Auctions with Tokens: Monetary Policy as a Mechanism Design Choice

abstract: I study mechanism design with blockchain-based tokens, that is, tokens that can be used within a mechanism but can also be saved and traded outside of the mechanism. I do so by considering a repeated, private-value auction, in which the auctioneer accepts payments in a blockchain-based token he creates and initially owns. I show that the present-discounted value of the expected revenues is the same as in a standard auction with dollars, but these revenues accrue earlier and are less variable. The optimal monetary policy involves the burning of tokens used in the auction, a common feature of many blockchain-based auctions. I then introduce non-contractible effort and the possibility of misappropriating revenues. I compare the auction with tokens to an auction with dollars in which the auctioneer can also issue financial securities. An auction with tokens is preferred when there are sufficiently severe contracting frictions, while the opposite is true when contracting frictions are low.


title: Tunable BCS-BEC crossover, reentrant, and hidden quantum phase transitions in two-band superconductors with tunable valence and conduction bands

abstract: Two-band electronic structures with a valence and a conduction band separated by a tunable energy gap and with pairing of electrons in different channels can be relevant to investigate the properties of two-dimensional multiband superconductors and electron-hole superfluids, as monolayer FeSe, recently discovered superconducting bilayer graphene, and double-bilayer graphene electron-hole systems. This electronic configuration allows also to study the coexistence of superconductivity and charge density waves in connection with underdoped cuprates and transition metal dichalcogenides. By using a mean-field approach to study the system above mentioned, we have obtained numerical results for superconducting gaps, chemical potential, condensate fractions, coherence lengths, and superconducting mean-field critical temperature, considering a tunable band gap and different filling of the conduction band, for parametric choice of the pairing interactions. By tuning these quantities, the electrons redistribute among valence and conduction band in a complex way, leading to a new physics with respect to single-band superconductors, such as density induced and band-selective BCS-BEC crossover, quantum phase transitions, and hidden criticalities. At finite temperature, this phenomenon is also responsible for the non-monotonic behavior of the superconducting gaps resulting in a superconducting-normal state reentrant transition, without the need of disorder or magnetic effects.


title: Scalable Grid-Aware Dynamic Matching using Deep Reinforcement Learning

abstract: This paper proposes a two-level hierarchical matching framework for Integrated Hybrid Resources (IHRs) with grid constraints. An IHR is a collection of Renewable Energy Sources (RES) and flexible customers within a certain power system zone, endowed with an agent to match. The key idea is to pick the IHR zones so that the power loss effects within the IHRs can be neglected. This simplifies the overall matching problem into independent IHR-level matching problems and an upper-level optimal power flow problem to meet the IHR-level upstream flow requirements while respecting the grid constraints. Within each IHR, the agent employs a scalable Deep Reinforcement Learning algorithm to identify matching solutions such that the customer's service constraints are met. The central agent then solves an optimal power flow problem with the IHRs as the nodes, with their active power flow and reactive power {capacities}, and grid constraints to scalably determine the final flows such that matched power can be delivered to the extent the grid constraints are satisfied. The proposed framework is implemented on a test power distribution system, and multiple case studies are presented to substantiate the welfare efficiency of the proposed solution and the satisfaction of the grid and customers' servicing constraints.


title: Stochastic approaches: modeling the probability of encounters between H$_{2}$-molecules and metallic atomic clusters in a cubic box

abstract: In recent years the advance of chemical synthesis has made it possible to obtain \textquotedblleft naked\textquotedblright clusters of different transition metals. It is well known that cluster experiments allow studying the fundamental reactive behavior of catalytic materials in an environment that avoids the complications present in extended solid-phase research. In physicochemical terms, the question that arises is the chemical reduction of metallic clusters could be affected by the presence of H$_{_{2}}$ molecules, that is, by the probability of encounter that these small metal atomic agglomerates can have with these reducing species. Therefore, we consider the stochastic movement of $N$ molecules of hydrogen in a cubic box containing $M$ metallic atomic clusters in a confined region of the box. We use a Wiener process to simulate the stochastic process, with $\sigma$ given by the Maxwell-Boltzmann relationships, which enabled us to obtain an analytical expression for the probability density function. This expression is an exact expression, obtained under an original proposal outlined in this work, \textit{i.e.} obtained from considerations of \textit{mathematical rebounds}. On this basis, we obtained the probability of encounter for three different volumes, $0.1^{^{3}}$, $ 0.2^{^{3}} $ and $ 0.4^{^{3}} $ m$^{^{3}}$, at three different temperatures in each case, $293$, $373$ and $473$ K, for $ 10^{^{1}}\leq N \leq10^{^{10}}$, comparing the results with those obtained considering the distribution of the position as a Truncated Normal Distribution. Finally, we observe that the probability is significantly affected by the number $N$ of molecules and by the size of the box, not by the temperature.


title: Measurement of the fraction of jet longitudinal momentum carried by $\Lambda_{\rm c}^+$ baryons in pp collisions

abstract: Recent measurements of charm-baryon production in hadronic collisions have questioned the universality of charm-quark fragmentation across different collision systems. In this work the fragmentation of charm quarks into charm baryons is probed, by presenting the first measurement of the longitudinal jet momentum fraction carried by $\Lambda_{\rm c}^{+}$ baryons, $z^{\mathrm{ch}}_\mathrm{||}$, in hadronic collisions. The results are obtained in proton-proton (pp) collisions at $\sqrt{s}=13$ TeV at the LHC, with $\Lambda_{\rm c}^{+}$ baryons and charged (track-based) jets reconstructed in the transverse momentum intervals of $3 \leq p_{\rm T}^{\Lambda_{\rm c}^{+}} < 15$ GeV/$c$ and $7 \leq p_{\rm T}^{\rm jet\;ch} < 15$ GeV/$c$, respectively. The $z^{\mathrm{ch}}_\mathrm{||}$ distribution is compared to a measurement of ${\rm D}^0$-tagged charged jets in pp collisions as well as to PYTHIA 8 simulations. The data hints that the fragmentation of charm quarks into charm baryons is softer with respect to charm mesons, in the measured kinematic interval, as predicted by hadronisation models which include colour correlations beyond leading-colour in the string formation.


title: Partitioning Distributed Compute Jobs with Reinforcement Learning and Graph Neural Networks

abstract: From natural language processing to genome sequencing, large-scale machine learning models are bringing advances to a broad range of fields. Many of these models are too large to be trained on a single machine, and instead must be distributed across multiple devices. This has motivated the research of new compute and network systems capable of handling such tasks. In particular, recent work has focused on developing management schemes which decide how to allocate distributed resources such that some overall objective, such as minimising the job completion time (JCT), is optimised. However, such studies omit explicit consideration of how much a job should be distributed, usually assuming that maximum distribution is desirable. In this work, we show that maximum parallelisation is sub-optimal in relation to user-critical metrics such as throughput and blocking rate. To address this, we propose PAC-ML (partitioning for asynchronous computing with machine learning). PAC-ML leverages a graph neural network and reinforcement learning to learn how much to partition computation graphs such that the number of jobs which meet arbitrary user-defined JCT requirements is maximised. In experiments with five real deep learning computation graphs on a recently proposed optical architecture across four user-defined JCT requirement distributions, we demonstrate PAC-ML achieving up to 56.2% lower blocking rates in dynamic job arrival settings than the canonical maximum parallelisation strategy used by most prior works.


title: A monotone connection between model class size and description length

abstract: This paper links sizes of model classes to the minimum lengths of their defining formulas, that is, to their description complexities. Limiting to models with a fixed domain of size n, we study description complexities with respect to the extension of propositional logic with the ability to count assignments. This logic, called GMLU, can alternatively be conceived as graded modal logic over Kripke models with the universal accessibility relation. While GMLU is expressively complete for defining multisets of assignments, we also investigate its fragments GMLU(d) that can count only up to the integer threshold d. We focus in particular on description complexities of equivalence classes of GMLU(d). We show that, in restriction to a poset of type realizations, the order of the equivalence classes based on size is identical to the order based on description complexities. This also demonstrates a monotone connection between Boltzmann entropies of model classes and description complexities. Furthermore, we characterize how the relation between domain size n and counting threshold d determines whether or not there exists a dominating class, which essentially means a model class with limit probability one. To obtain our results, we prove new estimates on r-associated Stirling numbers. As another crucial tool, we show that model classes split into two distinct cases in relation to their description complexity.


title: Cultural Differences in Friendship Network Behaviors: A Snapchat Case Study

abstract: Culture shapes people's behavior, both online and offline. Surprisingly, there is sparse research on how cultural context affects network formation and content consumption on social media. We analyzed the friendship networks and dyadic relations between content producers and consumers across 73 countries through a cultural lens in a closed-network setting. Closed networks allow for intimate bonds and self-expression, providing a natural setting to study cultural differences in behavior. We studied three theoretical frameworks of culture - individualism, relational mobility, and tightness. We found that friendship networks formed across different cultures differ in egocentricity, meaning the connectedness between a user's friends. Individualism, mobility, and looseness also significantly negatively impact how tie strength affects content consumption. Our findings show how culture affects social media behavior, and we outline how researchers can incorporate this in their work. Our work has implications for content recommendations and can improve content engagement.


title: Armouring of a frictional interface by mechanical noise

abstract: A dry frictional interface loaded in shear often displays stick-slip. The amplitude of this cycle depends on the probability that a slip event nucleates into a rupture, and on the rate at which slip events are triggered. This rate is determined by the distribution $P(x)$ of soft spots which yields if the shear stress is increased by some amount $x$. In minimal models of a frictional interface that include disorder, inertia and long-range elasticity, we discovered an 'armouring' mechanism, by which the interface is greatly stabilised after a large slip event: $P(x)$ then vanishes at small arguments, as $P(x)\sim x^\theta$ [1]. The exponent $\theta>0$, which exists only in the presence of inertia (otherwise $\theta=0$), was found to depend on the statistics of the disorder in the model, a phenomenon that was not explained. Here, we show that a single-particle toy model with inertia and disorder captures the existence of a non-trivial exponent $\theta>0$, which we can analytically relate to the statistics of the disorder.


title: Fairness-aware Vision Transformer via Debiased Self-Attention

abstract: Vision Transformer (ViT) has recently gained significant interest in solving computer vision (CV) problems due to its capability of extracting informative features and modeling long-range dependencies through the self-attention mechanism. To fully realize the advantages of ViT in real-world applications, recent works have explored the trustworthiness of ViT, including its robustness and explainability. However, another desiderata, fairness has not yet been adequately addressed in the literature. We establish that the existing fairness-aware algorithms (primarily designed for CNNs) do not perform well on ViT. This necessitates the need for developing our novel framework via Debiased Self-Attention (DSA). DSA is a fairness-through-blindness approach that enforces ViT to eliminate spurious features correlated with the sensitive attributes for bias mitigation. Notably, adversarial examples are leveraged to locate and mask the spurious features in the input image patches. In addition, DSA utilizes an attention weights alignment regularizer in the training objective to encourage learning informative features for target prediction. Importantly, our DSA framework leads to improved fairness guarantees over prior works on multiple prediction tasks without compromising target prediction performance.


title: Fairness in the Assignment Problem with Uncertain Priorities

abstract: In the assignment problem, a set of items must be allocated to unit-demand agents who express ordinal preferences (rankings) over the items. In the assignment problem with priorities, agents with higher priority are entitled to their preferred goods with respect to lower priority agents. A priority can be naturally represented as a ranking and an uncertain priority as a distribution over rankings. For example, this models the problem of assigning student applicants to university seats or job applicants to job openings when the admitting body is uncertain about the true priority over applicants. This uncertainty can express the possibility of bias in the generation of the priority ranking. We believe we are the first to explicitly formulate and study the assignment problem with uncertain priorities. We introduce two natural notions of fairness in this problem: stochastic envy-freeness (SEF) and likelihood envy-freeness (LEF). We show that SEF and LEF are incompatible and that LEF is incompatible with ordinal efficiency. We describe two algorithms, Cycle Elimination (CE) and Unit-Time Eating (UTE) that satisfy ordinal efficiency (a form of ex-ante Pareto optimality) and SEF; the well known random serial dictatorship algorithm satisfies LEF and the weaker efficiency guarantee of ex-post Pareto optimality. We also show that CE satisfies a relaxation of LEF that we term 1-LEF which applies only to certain comparisons of priority, while UTE satisfies a version of proportional allocations with ranks. We conclude by demonstrating how a mediator can model a problem of school admission in the face of bias as an assignment problem with uncertain priority.


title: Parabolic equations and SDEs with time-inhomogeneous Morrey drift

abstract: We prove the unique weak solvability of stochastic differential equations with time-inhomogeneous drift in essentially the largest (scaling-invariant) Morrey class, i.e.\,with integrability parameter $q>1$ close to $1$. The constructed weak solutions constitute a Feller evolution family. The proofs are based on a detailed Sobolev regularity theory of the corresponding parabolic equation.


title: Cavity-enhanced excitation of a quantum dot in the picosecond regime

abstract: A major challenge in generating single photons with a single emitter is to excite the emitter while avoiding laser leakage into the collection path. Ideally, any scheme to suppress this leakage should not result in a loss in efficiency of the single-photon source. Here, we investigate a scheme in which a single emitter, a semiconductor quantum dot, is embedded in a microcavity. The scheme exploits the splitting of the cavity mode into two orthogonally-polarised modes: one mode is used for excitation, the other for collection. By linking experiment to theory, we show that the best population inversion is achieved with a laser pulse detuned from the quantum emitter. The Rabi oscillations have an unusual dependence on pulse power. Our theory describes them quantitatively allowing us to determine the absolute photon creation probability. For the optimal laser detuning, the population innversion is 98\%. The Rabi oscillations depend on the sign of the laser-pulse detuning. We show that this arises from the non-trivial effect of phonons on the exciton dynamics. The exciton-phonon interaction is included in the theory and gives excellent agreement with all the experimental results.


title: Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search

abstract: In Machine Learning (ML)-enabled autonomous systems (MLASs), it is essential to identify the hazard boundary of ML Components (MLCs) in the MLAS under analysis. Given that such boundary captures the conditions in terms of MLC behavior and system context that can lead to hazards, it can then be used to, for example, build a safety monitor that can take any predefined fallback mechanisms at runtime when reaching the hazard boundary. However, determining such hazard boundary for an ML component is challenging. This is due to the problem space combining system contexts (i.e., scenarios) and MLC behaviors (i.e., inputs and outputs) being far too large for exhaustive exploration and even to handle using conventional metaheuristics, such as genetic algorithms. Additionally, the high computational cost of simulations required to determine any MLAS safety violations makes the problem even more challenging. Furthermore, it is unrealistic to consider a region in the problem space deterministically safe or unsafe due to the uncontrollable parameters in simulations and the non-linear behaviors of ML models (e.g., deep neural networks) in the MLAS under analysis. To address the challenges, we propose MLCSHE (ML Component Safety Hazard Envelope), a novel method based on a Cooperative Co-Evolutionary Algorithm (CCEA), which aims to tackle a high-dimensional problem by decomposing it into two lower-dimensional search subproblems. Moreover, we take a probabilistic view of safe and unsafe regions and define a novel fitness function to measure the distance from the probabilistic hazard boundary and thus drive the search effectively. We evaluate the effectiveness and efficiency of MLCSHE on a complex Autonomous Vehicle (AV) case study. Our evaluation results show that MLCSHE is significantly more effective and efficient compared to a standard genetic algorithm and random search.


title: Large Language Models are Versatile Decomposers: Decompose Evidence and Questions for Table-based Reasoning

abstract: Table-based reasoning has shown remarkable progress in combining deep models with discrete reasoning, which requires reasoning over both free-form natural language (NL) questions and structured tabular data. However, previous table-based reasoning solutions usually suffer from significant performance degradation on huge evidence (tables). In addition, most existing methods struggle to reason over complex questions since the required information is scattered in different places. To alleviate the above challenges, we exploit large language models (LLMs) as decomposers for effective table-based reasoning, which (i) decompose huge evidence (a huge table) into sub-evidence (a small table) to mitigate the interference of useless information for table reasoning; and (ii) decompose complex questions into simpler sub-questions for text reasoning. Specifically, we first use the LLMs to break down the evidence (tables) involved in the current question, retaining the relevant evidence and excluding the remaining irrelevant evidence from the huge table. In addition, we propose a "parsing-execution-filling" strategy to alleviate the hallucination dilemma of the chain of thought by decoupling logic and numerical computation in each step. Extensive experiments show that our method can effectively leverage decomposed evidence and questions and outperforms the strong baselines on TabFact, WikiTableQuestion, and FetaQA datasets. Notably, our model outperforms human performance for the first time on the TabFact dataset.


title: A Prototype System for High Frame Rate Ultrasound Imaging based Prosthetic Arm Control

abstract: The creation of unique control methods for a hand prosthesis is still a problem that has to be addressed. The best choice of a human-machine interface (HMI) that should be used to enable natural control is still a challenge. Surface electromyography (sEMG), the most popular option, has a variety of difficult-to-fix issues (electrode displacement, sweat, fatigue). The ultrasound imaging-based methodology offers a means of recognising complex muscle activity and configuration with a greater SNR and less hardware requirements as compared to sEMG. In this study, a prototype system for high frame rate ultrasound imaging for prosthetic arm control is proposed. Using the proposed framework, a virtual robotic hand simulation is developed that can mimic a human hand as illustrated in the link [10]. The proposed classification model simulating four hand gestures has a classification accuracy of more than 90%.


title: A Study of Nine Triply Eclipsing Triples

abstract: In this work we report the independent discovery and analysis of nine new compact triply eclipsing triple star systems found with the TESS mission: TICs 47151245, 81525800, 99013269, 229785001, 276162169, 280883908, 294803663, 332521671, and 356324779. Each of these nine systems exhibits distinct third-body eclipses where the third (`tertiary') star occults the inner eclipsing binary (EB), or vice versa. We utilize a photodynamical analysis of the TESS photometry, archival photometric data, TESS eclipse timing variations of the EBs, available archival spectral energy distribution curves (SED), and, in some cases, newly acquired radial velocity observations, to solve for the parameters of all three stars, as well as most of the orbital elements. From these analyses we find that the outer orbits of all nine systems are viewed nearly edge on (i.e., within $\lesssim 4^\circ$), and 6 of the systems are coplanar to within $5^\circ$; the others have mutual inclination angles of $20^\circ$, $41^\circ$, and possibly $179^\circ$ (i.e., a retrograde outer orbit). The outer orbital periods range from 47.8 days to 604 days, with eccentricities spanning 0.004 to 0.61. The masses of all 18 EB stars are in the range of 0.9-2.6 M$_\odot$ and are mostly situated near the main sequence. By contrast, the masses and radii of the tertiary stars range from 1.4-2.8 M$_\odot$ and 1.5-13 R$_\odot$, respectively. We make use of the system parameters from these 9 systems, plus those from a comparable number of compact triply eclipsing triples published previously, to gain some statistical insight into their properties.


title: Characteristic functions and Colligations

abstract: The characteristic function of row contractions and liftings of row contractions are complete invariants up to unitary equivalence for row contractions and liftings of row contractions, respectively. We provide alternate proofs for these using colligations. A class of co-isometric observable colligations with input spaces of finite dimension is characterized. Blaschke factor based transformations of the characteristic function of lifting are studied.


title: Learning Roles with Emergent Social Value Orientations

abstract: Social dilemmas can be considered situations where individual rationality leads to collective irrationality. The multi-agent reinforcement learning community has leveraged ideas from social science, such as social value orientations (SVO), to solve social dilemmas in complex cooperative tasks. In this paper, by first introducing the typical "division of labor or roles" mechanism in human society, we provide a promising solution for intertemporal social dilemmas (ISD) with SVOs. A novel learning framework, called Learning Roles with Emergent SVOs (RESVO), is proposed to transform the learning of roles into the social value orientation emergence, which is symmetrically solved by endowing agents with altruism to share rewards with other agents. An SVO-based role embedding space is then constructed by individual conditioning policies on roles with a novel rank regularizer and mutual information maximizer. Experiments show that RESVO achieves a stable division of labor and cooperation in ISDs with different complexity.


title: Successful cooling of a pixel tracker using gaseous helium: studies with a mock-up and a detector prototype

abstract: We report the successful operation of a functional pixel detector with gaseous helium cooling. Using an accurate mock-up beforehand, the cooling was validated. We use a miniature turbo compressor to propel the helium at $2\,g/s$ under ambient pressure conditions with gas temperatures above $0^{\circ}C$. Our earlier results based on computational fluid dynamics simulations and a much simpler mock-up are confirmed. With this, we paved the path to cool pixel detectors in experimental particle physics at heat densities up to $400\, mW/cm^2$ using helium. This enables cooling of detectors with very low mass requirements, minimising the effects of multiple Coulomb scattering effectively. The concept presented here is not limited to pixel detector applications and can be used to cool any surface with comparable heat-densities, only limited by shaping the helium gas flow.


title: Platinum contacts for 9-atom-wide armchair graphene nanoribbons

abstract: Creating a good contact between electrodes and graphene nanoribbons (GNRs) has been a longstanding challenge in searching for the next GNR-based nanoelectronics. This quest requires the controlled fabrication of sub-20 nm metallic gaps, a clean GNR transfer minimizing damage and organic contamination during the device fabrication, as well as work function matching to minimize the contact resistance. Here, we transfer 9-atom-wide armchair-edged GNRs (9-AGNRs) grown on Au(111)/mica substrates to pre-patterned platinum electrodes, yielding polymer-free 9-AGNR field-effect transistor devices. Our devices have a resistance in the range of $10^6$ to $10^8$ $\Omega$ in the low-bias regime, which is 2 to 4 orders of magnitude lower than previous reports. Density functional theory (DFT) calculations combined with the non-equilibrium Green's function method (NEGF) explain the observed p-type electrical characteristics and further demonstrate that platinum gives strong coupling and higher transmission in comparison to other materials such as graphene.


title: Simulated performance and calibration of CMS Phase-2 Upgrade Inner Tracker sensors

abstract: The next upgrade of the Large Hadron Collider (LHC) is planned from 2026 when the collider will move to its High Luminosity phase (HL-LHC). The CMS detector needs to be substantially upgraded during this period to exploit the fourfold increase in luminosity provided by the HL-LHC. This upgrade is referred to as the CMS Phase-2 Upgrade. A program of laboratory and beam test measurements, and performance studies based on the detailed simulation of the detector was carried out to support the decision of the technology of the sensors to be adopted in the different regions of the detector for the Phase-2 Upgrade. Among the various options considered, CMS chose to use 3D sensors with a 25 $\times$ 100 $\mu$m$^2$ pixel cell in the innermost layer of the barrel and planar sensors with a 25 $\times$ 100 $\mu$m$^2$ pixel cell elsewhere. In this paper, we detail the simulation studies that were carried out to choose the best sensor design. These studies include a detailed standalone simulation of the sensors made with PixelAV and the expected performance on high level observables obtained with the simulation and reconstruction software of the CMS experiment.


title: Execution-based Code Generation using Deep Reinforcement Learning

abstract: The utilization of programming language (PL) models, pre-trained on large-scale code corpora, as a means of automating software engineering processes has demonstrated considerable potential in streamlining various code generation tasks such as code completion, code translation, and program synthesis. However, current approaches mainly rely on supervised fine-tuning objectives borrowed from text generation, neglecting unique sequence-level characteristics of code, including but not limited to compilability as well as syntactic and functional correctness. To address this limitation, we propose PPOCoder, a new framework for code generation that synergistically combines pre-trained PL models with Proximal Policy Optimization (PPO) which is a widely used deep reinforcement learning technique. By utilizing non-differentiable feedback from code execution and structure alignment, PPOCoder seamlessly integrates external code-specific knowledge into the model optimization process. It's important to note that PPOCoder is a task-agnostic and model-agnostic framework that can be used across different code generation tasks and PLs. Extensive experiments on three code generation tasks demonstrate the effectiveness of our proposed approach compared to SOTA methods, achieving significant improvements in compilation success rates and functional correctness across different PLs.


title: Patch Gradient Descent: Training Neural Networks on Very Large Images

abstract: Traditional CNN models are trained and tested on relatively low resolution images (<300 px), and cannot be directly operated on large-scale images due to compute and memory constraints. We propose Patch Gradient Descent (PatchGD), an effective learning strategy that allows to train the existing CNN architectures on large-scale images in an end-to-end manner. PatchGD is based on the hypothesis that instead of performing gradient-based updates on an entire image at once, it should be possible to achieve a good solution by performing model updates on only small parts of the image at a time, ensuring that the majority of it is covered over the course of iterations. PatchGD thus extensively enjoys better memory and compute efficiency when training models on large scale images. PatchGD is thoroughly evaluated on two datasets - PANDA and UltraMNIST with ResNet50 and MobileNetV2 models under different memory constraints. Our evaluation clearly shows that PatchGD is much more stable and efficient than the standard gradient-descent method in handling large images, and especially when the compute memory is limited.


title: Simulating neutron stars with a flexible enthalpy-based equation of state parametrization in SpECTRE

abstract: Numerical simulations of neutron star mergers represent an essential step toward interpreting the full complexity of multimessenger observations and constraining the properties of supranuclear matter. Currently, simulations are limited by an array of factors, including computational performance and input physics uncertainties, such as the neutron star equation of state. In this work, we expand the range of nuclear phenomenology efficiently available to simulations by introducing a new analytic parametrization of cold, beta-equilibrated matter that is based on the relativistic enthalpy. We show that the new \emph{enthalpy parametrization} can capture a range of nuclear behavior, including strong phase transitions. We implement the enthalpy parametrization in the \texttt{SpECTRE} code, simulate isolated neutron stars, and compare performance to the commonly used spectral and polytropic parametrizations. We find comparable computational performance for nuclear models that are well represented by either parametrization, such as simple hadronic EoSs. We show that the enthalpy parametrization further allows us to simulate more complicated hadronic models or models with phase transitions that are inaccessible to current parametrizations.


title: Causal-Discovery Performance of ChatGPT in the context of Neuropathic Pain Diagnosis

abstract: ChatGPT has demonstrated exceptional proficiency in natural language conversation, e.g., it can answer a wide range of questions while no previous large language models can. Thus, we would like to push its limit and explore its ability to answer causal discovery questions by using a medical benchmark (Tu et al. 2019) in causal discovery.


title: Explaining Large Language Model-Based Neural Semantic Parsers (Student Abstract)

abstract: While large language models (LLMs) have demonstrated strong capability in structured prediction tasks such as semantic parsing, few amounts of research have explored the underlying mechanisms of their success. Our work studies different methods for explaining an LLM-based semantic parser and qualitatively discusses the explained model behaviors, hoping to inspire future research toward better understanding them.


title: Complete Neural Networks for Complete Euclidean Graphs

abstract: Neural networks for point clouds, which respect their natural invariance to permutation and rigid motion, have enjoyed recent success in modeling geometric phenomena, from molecular dynamics to recommender systems. Yet, to date, no model with polynomial complexity is known to be complete, that is, able to distinguish between any pair of non-isomorphic point clouds. We fill this theoretical gap by showing that point clouds can be completely determined, up to permutation and rigid motion, by applying the 3-WL graph isomorphism test to the point cloud's centralized Gram matrix. Moreover, we formulate an Euclidean variant of the 2-WL test and show that it is also sufficient to achieve completeness. We then show how our complete Euclidean WL tests can be simulated by an Euclidean graph neural network of moderate size and demonstrate their separation capability on highly symmetrical point clouds.


title: Subaperture-based Digital Aberration Correction for OCT: A Novel Mathematical Approach

abstract: In this paper, we consider subaperture-based approaches for the digital aberration correction (DAC) of optical coherence tomography (OCT) images. In particular, we introduce a mathematical framework for describing this class of approaches, leading to new insights for the subaperture-correlation method. Furthermore, we propose a novel DAC approach requiring only minimal statistical assumptions on the spectral phase of the scanned object. Finally, we demonstrate the applicability of our novel DAC approach via numerical examples based on both simulated and experimental OCT data.


title: Grounding Language Models to Images for Multimodal Inputs and Outputs

abstract: We propose an efficient method to ground pretrained text-only language models to the visual domain, enabling them to process arbitrarily interleaved image-and-text data, and generate text interleaved with retrieved images. Our method leverages the abilities of language models learnt from large scale text-only pretraining, such as in-context learning and free-form text generation. We keep the language model frozen, and finetune input and output linear layers to enable cross-modality interactions. This allows our model to process arbitrarily interleaved image-and-text inputs, and generate free-form text interleaved with retrieved images. We achieve strong zero-shot performance on grounded tasks such as contextual image retrieval and multimodal dialogue, and showcase compelling interactive abilities. Our approach works with any off-the-shelf language model and paves the way towards an effective, general solution for leveraging pretrained language models in visually grounded settings.


title: Enhanced quantum properties of shallow diamond atomic defects through nitrogen surface termination

abstract: Nitrogen vacancy (NV) centers in diamond have emerged in recent years as leading quantum sensors in various modalities. Most applications benefit from shallow NVs, enabling higher sensitivity and resolution. However, near surface NVs ($<$ 20 nm depth) suffer from reduced stability and coherence properties due to additional noise. We demonstrate a novel surface termination technique based on nitrogen plasma under non-damaging conditions, achieving significant improvement in NV optical stability and quantum coherence.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph


title: Geometry aware predictive models for exocytosis

abstract: Inter neuron communication happens through the exchange of neurotransmitters at the synapse by a process known as exocytosis. This makes exocytosis a fundamental process of information exchange in the body. The exocytosis process has a distinct geometry as it involves a vesicle that attaches to the cell membrane and then releases the neurotransmitters through a pore. Significant recent research, both experimental and numerical, attempt to understand the time dynamics of exocytosis. In this manuscript, we share an analytical model that predicts the key output parameters of exocytosis based on the geometry of the vesicle and pore. Our analytical predictions are well supported by detailed numerical simulations. This model could help extract geometrical parameters from experimental data and hence could be of broad interest.


title: Attend-and-Excite: Attention-Based Semantic Guidance for Text-to-Image Diffusion Models

abstract: Recent text-to-image generative models have demonstrated an unparalleled ability to generate diverse and creative imagery guided by a target text prompt. While revolutionary, current state-of-the-art diffusion models may still fail in generating images that fully convey the semantics in the given text prompt. We analyze the publicly available Stable Diffusion model and assess the existence of catastrophic neglect, where the model fails to generate one or more of the subjects from the input prompt. Moreover, we find that in some cases the model also fails to correctly bind attributes (e.g., colors) to their corresponding subjects. To help mitigate these failure cases, we introduce the concept of Generative Semantic Nursing (GSN), where we seek to intervene in the generative process on the fly during inference time to improve the faithfulness of the generated images. Using an attention-based formulation of GSN, dubbed Attend-and-Excite, we guide the model to refine the cross-attention units to attend to all subject tokens in the text prompt and strengthen - or excite - their activations, encouraging the model to generate all subjects described in the text prompt. We compare our approach to alternative approaches and demonstrate that it conveys the desired concepts more faithfully across a range of text prompts.


title: The Optimality of Constant Mark-Up Pricing

abstract: We consider a nonlinear pricing environment with private information. We provide profit guarantees (and associated mechanisms) that the seller can achieve across all possible distributions of willingness to pay of the buyers. With a constant elasticity cost function, constant markup pricing provides the optimal revenue guarantee across all possible distributions of willingness to pay and the lower bound is attained under a Pareto distribution. We characterize how profits and consumer surplus vary with the distribution of values and show that Pareto distributions are extremal. We also provide a revenue guarantee for general cost functions. We establish equivalent results for optimal procurement policies that support maximal surplus guarantees for the buyer given all possible cost distributions of the sellers.


title: The NectarCAM Timing System

abstract: NectarCAM is a Cherenkov camera which is going to equip the Medium-Sized Telescopes (MST) of the northern site of the Cherenkov Telescope Array Observatory (CTAO). NectarCAM is equipped with 265 modules, each consisting of 7 photo-multiplier tubes (PMTs), a Front-End Board and a local camera trigger system used for data acquisition. This paper addresses the timing performance of NectarCAM which are crucial to reduce the noise in shower images and improve image cleaning as well as to discriminate between gamma-ray photons and cosmic-ray background and finally to allow coincidence identification with neighbouring telescopes for stereoscopic operations. Verification tests of the system have been performed in a dark room using various light sources to illuminate the first NectarCAM unit. The resulting timing precision and accuracy of the trigger arrival relative to a laser source, of individual and multiple pixel signals have been studied and are shown to comply to CTAO requirements.


title: On the Deepest Cycle of a Random Mapping

abstract: Let $\mathcal{T}_n$ be the set of all mappings $T:\{1,2,\ldots,n\}\to\{1,2,\ldots,n\}$. The corresponding graph of $T$ is a union of disjoint connected unicyclic components. We assume that each $T\in\mathcal{T}_n$ is chosen uniformly at random (i.e., with probability $n^{-n}$). The cycle of $T$ contained within its largest component is callled the deepest one. For any $T\in\mathcal{T}_n$, let $\nu_n=\nu_n(T)$ denote the length of this cycle. In this paper, we establish the convergence in distribution of $\nu_n/\sqrt{n}$ and find the limits of its expectation and variance as $n\to\infty$. For $n$ large enough, we also show that nearly $55\%$ of all cyclic vertices of a random mapping $T\in\mathcal{T}_n$ lie in the deepest cycle and that a vertex from the longest cycle of $T$ does not belong to its largest component with approximate probability $0.075$.


title: Age of Information With Non-Poisson Updates in Cache-Updating Networks

abstract: We study age of information in multi-hop multi-cast cache-enabled networks where the inter-update times on the links are not necessarily exponentially distributed. We focus on the set of non-arithmetic distributions for inter-update times, which includes continuous probability distributions as a subset. We first characterize instantaneous age of information at each node for arbitrary networks. We then explicate the recursive equations for instantaneous age of information in multi-hop networks and derive closed form expressions for expected age of information at an end-user. We show that expected age in multi-hop networks exhibits an additive structure. Further, we show that the expected age at each user is directly proportional to the variance of inter-update times at all links between a user and the source. We expect the analysis in this work to help alleviate the over-dependence on Poisson processes for future work in age of information.


title: Classification of charge-conserving loop braid representations

abstract: Here a loop braid representation is a monoidal functor $\mathsf{F}$ from the loop braid category $\mathsf{L}$ to a suitable target category, and is $N$-charge-conserving if that target is the category $\mathsf{Match}^N$ of charge-conserving matrices (specifically $\mathsf{Match}^N$ is the same rank-$N$ charge-conserving monoidal subcategory of the monoidal category $\mathsf{Mat}$ used to classify braid representations in arXiv:2112.04533) with $\mathsf{F}$ strict, and surjective on $\mathbb{N}$, the object monoid. We classify and construct all such representations. In particular we prove that representations fall into varieties indexed by a set in bijection with the set of pairs of plane partitions of total degree $N$.


title: Bounds for c-Ideal Hashing

abstract: In this paper, we analyze hashing from a worst-case perspective. To this end, we study a new property of hash families that is strongly related to d-perfect hashing, namely c-ideality. On the one hand, this notion generalizes the definition of perfect hashing, which has been studied extensively; on the other hand, it provides a direct link to the notion of c-approximativity. We focus on the usually neglected case where the average load \alpha is at least 1 and prove upper and lower parametrized bounds on the minimal size of c-ideal hash families. As an aside, we show how c-ideality helps to analyze the advice complexity of hashing. The concept of advice, introduced a decade ago, lets us measure the information content of an online problem. We prove hashing's advice complexity to be linear in the hash table size.


title: A Mathematical Model for Curriculum Learning for Parities

abstract: Curriculum learning (CL) - training using samples that are generated and presented in a meaningful order - was introduced in the machine learning context around a decade ago. While CL has been extensively used and analysed empirically, there has been very little mathematical justification for its advantages. We introduce a CL model for learning the class of k-parities on d bits of a binary string with a neural network trained by stochastic gradient descent (SGD). We show that a wise choice of training examples involving two or more product distributions, allows to reduce significantly the computational cost of learning this class of functions, compared to learning under the uniform distribution. Furthermore, we show that for another class of functions - namely the `Hamming mixtures' - CL strategies involving a bounded number of product distributions are not beneficial.


title: Characterisations of dilations via approximants, expectations, and functional calculi

abstract: We consider characterisations of unitary dilations and approximations of irreversible classical dynamical systems on a Hilbert space. In the commutative case, building on the work in [9], one can express well known approximants (e.g. Hille- and Yosida-approximants) via expectations over certain stochastic processes. Using this, our first result characterises the simultaneous regular unitary dilatability of commuting families of $C_{0}$-semigroups via the dilatability of such approximants as well as via regular polynomial bounds. This extends the results in [13] to the unbounded setting. We secondly consider characterisations of unitary and regular unitary dilations via two distinct functional calculi. Applying these tools to a large class of classical dynamical systems, these two notions of dilation exactly characterise when a system admits unitary approximations under certain distinct notions of weak convergence. This establishes a sharp topological distinction between the two notions of unitary dilations. Our results are applicable to commutative systems as well as non-commutative systems satisfying the canonical commutation relations (CCR) in the Weyl form.


title: Multidimensional Quantum Fourier Transformation

abstract: The Quantum Fourier Transformation (QFT) is a well-known subroutine for algorithms on qubit-based universal quantum computers. In this work, the known QFT circuit is used to derive an efficient circuit for the multidimensional QFT. The complexity of the algorithm is $\mathcal{O}( \log^2(M)/d )$ for an array with $M=(2^n)^d$ elements $(n \in \mathbb{N})$ equally separated along $d$ dimensions. Relevant properties for application are discussed. An example on current hardware is depicted by a 6 qubit 2D-QFT with an IBM quantum computer.


title: A New Definition of Exoplanet Habitability: Introducing the Photosynthetic Habitable Zone

abstract: It may be possible to detect biosignatures of photosynthesis in an exoplanet's atmosphere. However, such a detection would likely require a dedicated study, occupying a large amount of telescope time. It is therefore prudent, while searching for signs of life that we may recognise, to pick the best target possible. In this work, we present a new region, the ``photosynthetic habitable zone'' \textemdash the distance from a star where both liquid water and oxygenic photosynthesis can occur. It is therefore the region where detectable biosignatures of oxygenic photosynthesis are most likely to occur. Our analysis indicates that in the most ideal conditions for life and no atmospheric effects, the photosynthetic habitable zone is almost as broad as the habitable zone. On the other hand, if conditions for life are anything less than excellent and atmospheric effects are even moderate, the photosynthetic habitable zone is concentrated at larger separations around more massive stars. Such cases are also not tidally locked to their host star, which could result in planetary rotation periods similar to the Earth's. We identify five planets, Kepler-452 b, Kepler-1638 b, Kepler-1544 b and Kepler-62 e and Kepler-62 f, that are consistently in the photosynthetic habitable zone for a variety of conditions, and we predict their day lengths to be between 9 and 11 hours. We conclude that the parameter space in which we should search for signs of life is much narrower than the standard habitable zone.


title: Topological Characterization of Task Solvability in General Models of Computation

abstract: The famous asynchronous computability theorem (ACT) relates the existence of an asynchronous wait-free shared memory protocol for solving a task with the existence of a simplicial map from a subdivision of the simplicial complex representing the inputs to the simplicial complex representing the allowable outputs. The original theorem relies on a correspondence between protocols and simplicial maps in round-structured models of computation that induce a compact topology. This correspondence, however, is far from obvious for computation models that induce a non-compact topology, and indeed previous attempts to extend the ACT have failed. This paper shows that in every non-compact model, protocols solving tasks correspond to simplicial maps that need to be continuous. It first proves a generalized ACT for sub-IIS models, some of which are non-compact, and applies it to the set agreement task. Then it proves that in general models too, protocols are simplicial maps that need to be continuous, hence showing that the topological approach is universal. Finally, it shows that the approach used in ACT that equates protocols and simplicial complexes actually works for every compact model. Our study combines, for the first time, combinatorial and point-set topological aspects of the executions admitted by the computation model.


title: Image Shortcut Squeezing: Countering Perturbative Availability Poisons with Compression

abstract: Perturbative availability poisons (PAPs) add small changes to images to prevent their use for model training. Current research adopts the belief that practical and effective approaches to countering PAPs do not exist. In this paper, we argue that it is time to abandon this belief. We present extensive experiments showing that 12 state-of-the-art PAP methods are vulnerable to Image Shortcut Squeezing (ISS), which is based on simple compression. For example, on average, ISS restores the CIFAR-10 model accuracy to $81.73\%$, surpassing the previous best preprocessing-based countermeasures by $37.97\%$ absolute. ISS also (slightly) outperforms adversarial training and has higher generalizability to unseen perturbation norms and also higher efficiency. Our investigation reveals that the property of PAP perturbations depends on the type of surrogate model used for poison generation, and it explains why a specific ISS compression yields the best performance for a specific type of PAP perturbation. We further test stronger, adaptive poisoning, and show it falls short of being an ideal defense against ISS. Overall, our results demonstrate the importance of considering various (simple) countermeasures to ensure the meaningfulness of analysis carried out during the development of PAP methods.


title: Assessing the spectral characteristics of band splitting type II radio bursts observed by CALLISTO spectrometers

abstract: Metric type II radio bursts are usually early indicators of CME-driven shocks and other space weather phenomena in the solar corona. This paper presents a detailed investigation of the spectral properties of band-splitting type II radio bursts and their association with sunspot number. Using type II radio bursts in a frequency range 20 to 200MHz observed by CALLISTO from 2010 to 2017, it was discovered that the analyzed type II shock height, magnetic field strength, CME shock speed, and Alfven speed synchronize with the trajectory of the solar cycle 24. Also, the study revealed that the onset of the declining phase of solar cycle 24 has the highest electron density. The analysis ascertained that the frequency of type II bursts depicts a bimodal distribution during the study period, with peaks in 2012 and 2015. Further, a good correlation(with correlation factor R=0.87) was obtained between the estimated CME shock speeds from the dynamic spectra, and the associated CME speeds from SOHO-LASCO. Moreover, the study confirmed a significant correlation(R=0.8) between the absolute drift rates and the plasma frequency. Additionally, the study explored that 60% of the type II radio bursts considered in this study emanated from the western longitudes. Hence, these findings emphasize that the temporal dynamics of the physical conditions of band-splitting type II radio are essential parameters in space weather monitoring and forecasting.


title: Finite temperature spin diffusion in the Hubbard model in the strong coupling limit

abstract: We investigate finite temperature spin transport in one spatial dimension by considering the spin-spin correlation function of the Hubbard model in the limiting case of infinitely strong repulsion. We find that in the absence of bias the transport is diffusive, and derive the spin diffusion constant. Our approach is based on asymptotic analysis of a Fredholm determinant representation. The obtained results are in agreement with Generalized Hydrodynamics approach.

categories: cond-mat.str-el cond-mat.stat-mech math-ph math.MP


title: RIS-Assisted Interference Mitigation for Uplink NOMA

abstract: Non-orthogonal multiple access (NOMA) has become a promising technology for next-generation wireless communications systems due to its capability to provide access for multiple users on the same resource. In this paper, we consider an uplink power-domain NOMA system aided by a reconfigurable intelligent surface (RIS) in the presence of a jammer that aims to maximize its interference on the base station (BS) uplink receiver. We consider two kinds of RISs, a regular RIS whose elements can only change the phase of the incoming wave, and an RIS whose elements can also attenuate the incoming wave. Our aim is to minimize the total power transmitted by the user terminals under quality-of-service constraints by controlling both the propagation from the users and the jammer to the BS with help of the RIS. The resulting objective function and constraints are both non-linear and non-convex, so we address this problem using numerical optimization. Our numerical results show that the RIS can help to dramatically reduce the per user required transmit power in an interference-limited scenario.

categories: cs.IT cs.SY eess.SP eess.SY math.IT math.OC


title: Identifying network topologies via quantum walk distributions

abstract: Control and characterization of networks is a paramount step for the development of many quantum technologies. Even for moderate-sized networks, this amounts to explore an extremely vast parameters space in search for the couplings defining the network topology. Here we explore the use of a genetic algorithm to retrieve the topology of a network from the measured probability distribution obtained from the evolution of a continuous-time quantum walk on the network. Our result shows that the algorithm is capable of efficiently retrieving the required information even in the presence of noise.


title: Factor Model of Mixtures

abstract: This paper proposes a new approach to estimating the distribution of a response variable conditioned on observing some factors. The proposed approach possesses desirable properties of flexibility, interpretability, tractability and extendability. The conditional quantile function is modeled by a mixture (weighted sum) of basis quantile functions, with the weights depending on factors. The calibration problem is formulated as a convex optimization problem. It can be viewed as conducting quantile regressions for all confidence levels simultaneously while avoiding quantile crossing by definition. The calibration problem is equivalent to minimizing the continuous ranked probability score (CRPS). Based on the canonical polyadic (CP) decomposition of tensors, we propose a dimensionality reduction method that reduces the rank of the parameter tensor and propose an alternating algorithm for estimation. Additionally, based on Risk Quadrangle framework, we generalize the approach to conditional distributions defined by Conditional Value-at-Risk (CVaR), expectile and other functions of uncertainty measures. Although this paper focuses on using splines as the weight functions, it can be extended to neural networks. Numerical experiments demonstrate the effectiveness of our approach.


title: Do Multi-Document Summarization Models Synthesize?

abstract: Multi-document summarization entails producing concise synopses of collections of inputs. For some applications, the synopsis should accurately \emph{synthesize} inputs with respect to a key property or aspect. For example, a synopsis of film reviews all written about a particular movie should reflect the average critic consensus. As a more consequential example, consider narrative summaries that accompany biomedical \emph{systematic reviews} of clinical trial results. These narratives should fairly summarize the potentially conflicting results from individual trials. In this paper we ask: To what extent do modern multi-document summarization models implicitly perform this type of synthesis? To assess this we perform a suite of experiments that probe the degree to which conditional generation models trained for summarization using standard methods yield outputs that appropriately synthesize inputs. We find that existing models do partially perform synthesis, but do so imperfectly. In particular, they are over-sensitive to changes in input ordering and under-sensitive to changes in input compositions (e.g., the ratio of positive to negative movie reviews). We propose a simple, general method for improving model synthesis capabilities by generating an explicitly diverse set of candidate outputs, and then selecting from these the string best aligned with the expected aggregate measure for the inputs, or \emph{abstaining} when the model produces no good candidate. This approach improves model synthesis performance. We hope highlighting the need for synthesis (in some summarization settings), motivates further research into multi-document summarization methods and learning objectives that explicitly account for the need to synthesize.


title: Interpreting Robustness Proofs of Deep Neural Networks

abstract: In recent years numerous methods have been developed to formally verify the robustness of deep neural networks (DNNs). Though the proposed techniques are effective in providing mathematical guarantees about the DNNs behavior, it is not clear whether the proofs generated by these methods are human-interpretable. In this paper, we bridge this gap by developing new concepts, algorithms, and representations to generate human understandable interpretations of the proofs. Leveraging the proposed method, we show that the robustness proofs of standard DNNs rely on spurious input features, while the proofs of DNNs trained to be provably robust filter out even the semantically meaningful features. The proofs for the DNNs combining adversarial and provably robust training are the most effective at selectively filtering out spurious features as well as relying on human-understandable input features.


title: Investigation of alumina formed by plasma electrolytic saturation

abstract: The process of alumina coating on the steel surface plasma electrolytic method is a method for increasing the corrosion resistance, in this process, electrolytic aluminum containing compounds should be able to cover the surface. The results show the size of a micron coating of cauliflower shape and distance of an average of about 6 microns. The coating on steel sample acted as a passive layer and corrosion resistance increases slightly. This is due to the low corrosion resistance because of the lack of uniformity and surface finish are not.


title: On the local converse Theorem for split $\mathrm{SO}_{2l}$

abstract: In this paper, we prove the local converse theorem for split even special orthogonal groups over a non-Archimedean local field of characteristic zero. This is the only case left on local converse theorems of split classical groups and the difficulty is the existence of the outer automorphism. We apply new ideas of considering the summation of partial Bessel functions and overcome this difficulty. As a direct application, we obtain a weak rigidity theorem for irreducible generic cuspidal representations of split even special orthogonal groups.


title: Benchmarking Large Language Models for News Summarization

abstract: Large language models (LLMs) have shown promise for automatic summarization but the reasons behind their successes are poorly understood. By conducting a human evaluation on ten LLMs across different pretraining methods, prompts, and model scales, we make two important observations. First, we find instruction tuning, and not model size, is the key to the LLM's zero-shot summarization capability. Second, existing studies have been limited by low-quality references, leading to underestimates of human performance and lower few-shot and finetuning performance. To better evaluate LLMs, we perform human evaluation over high-quality summaries we collect from freelance writers. Despite major stylistic differences such as the amount of paraphrasing, we find that LMM summaries are judged to be on par with human written summaries.


title: Ultrasound based Gas Detection: Analyzing Acoustic Impedance for High-Performance and Low-Cost Solutions

abstract: Gas leakage is a serious hazard in a variety of sectors, including industrial, domestic, and gas-powered vehicles. The installation of gas leak detection systems has emerged as a critical preventative measure to solve this problem. Traditional gas sensors, such as electrochemical, infrared point, and Metal Oxide Semiconductor sensors, have been widely used for gas leak detection. However, these sensors have limitations in terms of their adaptation to various gases, as well as their high cost and difficulties in scaling. In this paper, a novel non-contact gas detection technique based on a 40 kHz ultrasonic signal is described. The proposed approach employs the reflections of the emitted ultrasonic wave to detect the gas leaks and also able to identify the exact gas in real-time. To confirm the method's effectiveness, trials were carried out using Hydrogen, Helium, Argon, and Butane gas. The system identified gas flow breaches in 0.01 seconds, whereas the gas identification procedure took 0.8 seconds. An interesting extension of the proposed approach is real-time visualisation of gas flow employing an array of transducers.


title: General Gaussian Noise Mechanisms and Their Optimality for Unbiased Mean Estimation

abstract: We investigate unbiased high-dimensional mean estimators in differential privacy. We consider differentially private mechanisms whose expected output equals the mean of the input dataset, for every dataset drawn from a fixed bounded $d$-dimensional domain $K$. A classical approach to private mean estimation is to compute the true mean and add unbiased, but possibly correlated, Gaussian noise to it. In the first part of this paper, we study the optimal error achievable by a Gaussian noise mechanism for a given domain $K$ when the error is measured in the $\ell_p$ norm for some $p \ge 2$. We give algorithms that compute the optimal covariance for the Gaussian noise for a given $K$ under suitable assumptions, and prove a number of nice geometric properties of the optimal error. These results generalize the theory of factorization mechanisms from domains $K$ that are symmetric and finite (or, equivalently, symmetric polytopes) to arbitrary bounded domains. In the second part of the paper we show that Gaussian noise mechanisms achieve nearly optimal error among all private unbiased mean estimation mechanisms in a very strong sense. In particular, for every input dataset, an unbiased mean estimator satisfying concentrated differential privacy introduces approximately at least as much error as the best Gaussian noise mechanism. We extend this result to local differential privacy, and to approximate differential privacy, but for the latter the error lower bound holds either for a dataset or for a neighboring dataset, and this relaxation is necessary.

categories: math.ST cs.CR cs.DS cs.LG stat.ML stat.TH


title: Spontaneous square vs. hexagonal nanoscale skyrmion lattices in Fe/Ir(111)

abstract: We study the emergence of spontaneous skyrmion lattices in an Fe monolayer in fcc and hcp stacking on the Ir(111) surface using density functional theory (DFT). For fcc-Fe/Ir(111) we find the well-known square nanoskyrmion lattice. However, for hcp-Fe/Ir(111) the hexagonal skyrmion lattice previously proposed based on experiments is energetically unfavorable with respect to a hexagonal multi-Q state with nearly collinear magnetic moments. By mapping our DFT calculations to an atomistic spin model we demonstrate that the interplay of pair-wise exchange, higher-order exchange, and Dzyaloshinskii-Moriya interaction is decisive for the symmetry and collinearity of the obtained spin lattice.


title: ChatGPT or Human? Detect and Explain. Explaining Decisions of Machine Learning Model for Detecting Short ChatGPT-generated Text

abstract: ChatGPT has the ability to generate grammatically flawless and seemingly-human replies to different types of questions from various domains. The number of its users and of its applications is growing at an unprecedented rate. Unfortunately, use and abuse come hand in hand. In this paper, we study whether a machine learning model can be effectively trained to accurately distinguish between original human and seemingly human (that is, ChatGPT-generated) text, especially when this text is short. Furthermore, we employ an explainable artificial intelligence framework to gain insight into the reasoning behind the model trained to differentiate between ChatGPT-generated and human-generated text. The goal is to analyze model's decisions and determine if any specific patterns or characteristics can be identified. Our study focuses on short online reviews, conducting two experiments comparing human-generated and ChatGPT-generated text. The first experiment involves ChatGPT text generated from custom queries, while the second experiment involves text generated by rephrasing original human-generated reviews. We fine-tune a Transformer-based model and use it to make predictions, which are then explained using SHAP. We compare our model with a perplexity score-based approach and find that disambiguation between human and ChatGPT-generated reviews is more challenging for the ML model when using rephrased text. However, our proposed approach still achieves an accuracy of 79%. Using explainability, we observe that ChatGPT's writing is polite, without specific details, using fancy and atypical vocabulary, impersonal, and typically it does not express feelings.


title: LAGAN: Deep Semi-Supervised Linguistic-Anthropology Classification with Conditional Generative Adversarial Neural Network

abstract: Education is a right of all, however, every individual is different than others. Teachers in post-communism era discover inherent individualism to equally train all towards job market of fourth industrial revolution. We can consider scenario of ethnic minority education in academic practices. Ethnic minority group has grown in their own culture and would prefer to be taught in their native way. We have formulated such linguistic anthropology(how people learn)based engagement as semi-supervised problem. Then, we have developed an conditional deep generative adversarial network algorithm namely LA-GAN to classify linguistic ethnographic features in student engagement. Theoretical justification proves the objective, regularization and loss function of our semi-supervised adversarial model. Survey questions are prepared to reach some form of assumptions about z-generation and ethnic minority group, whose learning style, learning approach and preference are our main area of interest.


title: Prospects for Future Binary Black Hole GW Studies in Light of PTA Measurements

abstract: NANOGrav and other Pulsar Timing Arrays (PTAs) have discovered a common-spectrum process in the nHz range that may be due to gravitational waves (GWs): if so, they are likely to have been generated by black hole (BH) binaries with total masses $> 10^9 M_{\odot}$. Using the Extended Press-Schechter formalism to model the galactic halo mass function and a simple relation between the halo and BH masses suggests that these binaries have redshifts $z = {O}(1)$ and mass ratios $\gtrsim 10$, and that the GW signal at frequencies above ${O}(10)$~nHz may be dominated by relatively few binaries that could be distinguished experimentally and would yield observable circular polarization. Extrapolating the model to higher frequencies indicates that future GW detectors such as LISA and AEDGE could extend the PTA observations to lower BH masses $\in (10^6, 10^9 ) M_{\odot}$ and $\in (10^3, 10^9) M_{\odot}$.


title: Quantum Gravity Signatures in the Late-Universe

abstract: We calculate deviations in cosmological observables as a function of parameters in a class of connection-based models of quantum gravity. In this theory non-trivial modifications to the background cosmology can occur due to a distortion of the wave function of the Universe at the transition from matter to dark energy domination (which acts as a "reflection" in connection space). We are able to exclude some regions of parameter space and show with projected constraints that future experiments like DESI will be able to further constrain these models. An interesting feature of this theory is that there exists a region of parameter space that could naturally alleviate the $S_8$ tension.


title: Simplex Random Features

abstract: We present Simplex Random Features (SimRFs), a new random feature (RF) mechanism for unbiased approximation of the softmax and Gaussian kernels by geometrical correlation of random projection vectors. We prove that SimRFs provide the smallest possible mean square error (MSE) on unbiased estimates of these kernels among the class of weight-independent geometrically-coupled positive random feature (PRF) mechanisms, substantially outperforming the previously most accurate Orthogonal Random Features at no observable extra cost. We present a more computationally expensive SimRFs+ variant, which we prove is asymptotically optimal in the broader family of weight-dependent geometrical coupling schemes (which permit correlations between random vector directions and norms). In extensive empirical studies, we show consistent gains provided by SimRFs in settings including pointwise kernel estimation, nonparametric classification and scalable Transformers.


title: Learning in POMDPs is Sample-Efficient with Hindsight Observability

abstract: POMDPs capture a broad class of decision making problems, but hardness results suggest that learning is intractable even in simple settings due to the inherent partial observability. However, in many realistic problems, more information is either revealed or can be computed during some point of the learning process. Motivated by diverse applications ranging from robotics to data center scheduling, we formulate a Hindsight Observable Markov Decision Process (HOMDP) as a POMDP where the latent states are revealed to the learner in hindsight and only during training. We introduce new algorithms for the tabular and function approximation settings that are provably sample-efficient with hindsight observability, even in POMDPs that would otherwise be statistically intractable. We give a lower bound showing that the tabular algorithm is optimal in its dependence on latent state and observation cardinalities.


title: Reconstruction of $f(R)$ Gravity from Cosmological Unified Dark Fluid Model

abstract: In this work, we reconstruct the cosmological unified dark fluid model proposed previously by Elkhateeb \cite{Elkhateeb:2017oqy} in the framework of $f(R)$ gravity. Utilizing the equivalence between the scalar-tensor theory and the $f(R)$ gravity theory, the scalar field for the dark fluid is obtained, whence the $f(R)$ function is extracted and its viability is discussed. The $f(R)$ functions and the scalar field potentials have then been extracted in the early and late times of asymptotically de Sitter spacetime. The ability of our function to describe early time inflation is also tested. The early time scalar field potential is used to derive the slow roll inflation parameters. Our results of the tensor-to-scalar ratio $r$ and the scalar spectral index $n_s$ are in good agreement with results from Planck-2018 TT+TE+EE+lowE data for the model parameter $m > 2$.


title: VLBI Scrutiny of a New Neutrino-Blazar Multiwavelength-Flare Coincidence

abstract: In the past years, evidence has started piling up that some high-energy cosmic neutrinos can be associated with blazars in flaring states. On February 26, 2022, a new blazar-neutrino coincidence has been reported: the track-like neutrino event IC220225A detected by IceCube is spatially coincident with the flat-spectrum radio quasar PKS 0215+015. Like previous associations, this source was found to be in a high optical and ${\gamma}$-ray state. Moreover, the source showed a bright radio outburst, which substantially increases the probability of a true physical association. We have performed six observations with the VLBA shortly after the neutrino event with a monthly cadence and are monitoring the source with the Effelsberg 100m-Telescope, and with the Australia Compact Telescope Array. Here, we present first results on the contemporary parsec-scale jet structure of PKS 0215+015 in total intensity and polarization to constrain possible physical processes leading to neutrino emission in blazars.


title: Zero-Memory Graph Exploration with Unknown Inports

abstract: We study a very restrictive graph exploration problem. In our model, an agent without persistent memory is placed on a vertex of a graph and only sees the adjacent vertices. The goal is to visit every vertex of the graph, return to the start vertex, and terminate. The agent does not know through which edge it entered a vertex. The agent may color the current vertex and can see the colors of the neighboring vertices in an arbitrary order. The agent may not recolor a vertex. We investigate the number of colors necessary and sufficient to explore all graphs. We prove that n-1 colors are necessary and sufficient for exploration in general, 3 colors are necessary and sufficient if only trees are to be explored, and min(2k-3,n-1) colors are necessary and min(2k-1,n-1) colors are sufficient on graphs of size n and circumference $k$, where the circumference is the length of a longest cycle. This only holds if an algorithm has to explore all graphs and not merely certain graph classes. We give an example for a graph class where each graph can be explored with 4 colors, although the graphs have maximal circumference. Moreover, we prove that recoloring vertices is very powerful by designing an algorithm with recoloring that uses only 7 colors and explores all graphs.


title: Bounding first-order quantum phase transitions in adiabatic quantum computing

abstract: In the context of adiabatic quantum computation (AQC), it has been argued that first-order quantum phase transitions (QPTs) due to localisation phenomena cause AQC to fail by exponentially decreasing the minimal spectral gap of the Hamiltonian along the annealing path. The vanishing of the spectral gap is often linked to the localisation of the ground state in a local minimum, requiring the system to tunnel into the global minimum at a later stage of the annealing. Recent methods have been proposed to avoid this phenomena by carefully designing the involved Hamiltonians. However, it remains a challenge to formulate a comprehensive theory on the effect of the various parameters and the conditions under which QPTs make the AQC algorithm fail. Equipped with concepts from graph theory, in this work we link graph quantities associated to the Hamiltonians along the anneal path with the occurrence of QPTs. These links allow us to derive bounds on the location of the minimal spectral gap along the anneal path, augmenting the toolbox for the design of strategies to improve the runtime of AQC algorithms.


title: Salient Conditional Diffusion for Defending Against Backdoor Attacks

abstract: We propose a novel algorithm, Salient Conditional Diffusion (Sancdifi), a state-of-the-art defense against backdoor attacks. Sancdifi uses a denoising diffusion probabilistic model (DDPM) to degrade an image with noise and then recover said image using the learned reverse diffusion. Critically, we compute saliency map-based masks to condition our diffusion, allowing for stronger diffusion on the most salient pixels by the DDPM. As a result, Sancdifi is highly effective at diffusing out triggers in data poisoned by backdoor attacks. At the same time, it reliably recovers salient features when applied to clean data. This performance is achieved without requiring access to the model parameters of the Trojan network, meaning Sancdifi operates as a black-box defense.


title: Turbulence via intermolecular potential: Uncovering the origin

abstract: In recent works, we proposed a hypothesis, according to which turbulence in gases is created by the mean field effect of an intermolecular potential. We discovered that, in a numerically simulated inertial flow, turbulent solutions indeed spontaneously emerge from a laminar initial condition, as observed in nature and experiments. To study the origin of turbulent dynamics, in the current work we examine the equations of a two-dimensional inertial flow, linearized around a large scale constant vorticity state. Remarkably, even in this simplified setting, we find that turbulent dynamics emerge as linearly unstable fluctuations of the velocity divergence. In particular, for the linearized dynamics at a high Reynolds number, we find that, at short time scales, the coupling of the mean field potential with the large scale background vorticity creates linearly unstable, rapidly oscillating fluctuations of the divergence of velocity at inertial scales. In the asymptotic time limit, we find a persistent eigenvector, also aligned largely with the divergence of velocity, which allows these fluctuations to propagate in the form of traveling waves in the Fourier domain. Remarkably, these traveling waves decay at a constant, scale-independent exponential rate, which is rather unusual, because all explicitly dissipative terms in the equations are viscous. Furthermore, it appears that the famous Kolmogorov scaling of the kinetic energy is produced by this persistent velocity divergence, due to a cubic relation between the physical time variable, and a pseudo-time variable, in which the dynamics become asymptotically autonomous. These effects vanish when the mean field potential is removed.


title: The $\textit{False Widow}$ Link Between Neutron Star X-ray Binaries and Spider Pulsars

abstract: The discovery of transitional millisecond pulsars (tMSPs) provided conclusive proof that neutron star (NS) low-mass X-ray binaries (LMXBs) comprise part of the evolutionary pathway towards binary millisecond pulsars (MSPs). Redback and black widow `spider' pulsars are a sub-category of binary MSPs that `devour' their companions through ablation - the process through which material is lifted from the stellar surface by a pulsar wind. In addition to reducing the companion star's mass, ablation introduces observable characteristics like extended, energy-dependent and asymmetric eclipse profiles in systems observed at a sufficiently high inclination. Here, we present a detailed study and comparison of the X-ray eclipses of two NS LMXBs; $\textit{Swift}$ J1858.6$-$0814 and EXO 0748$-$676. Some of the X-ray eclipse characteristics observed in these two LMXBs are similar to the radio eclipse characteristics of eclipsing redback and black widow pulsars, suggesting that they may also host ablated companion stars. X-ray irradiation or a pulsar wind could drive the ablation. We conduct orbital phase-resolved spectroscopy for both LMXBs to map the column density, ionization and covering fraction of the material outflow. From this, we infer the presence of highly ionized and clumpy ablated material around the companion star in both systems. We term LMXBs undergoing ablation, $\textit{false widows}$, and speculate that they may be the progenitors of redback pulsars under the assumption that ablation begins in the LMXB stage. Therefore, the false widows could provide a link between LMXBs and spider pulsars. The detection of radio pulsations during non-accreting states can support this hypothesis.


title: From Semi-supervised to Omni-supervised Room Layout Estimation Using Point Clouds

abstract: Room layout estimation is a long-existing robotic vision task that benefits both environment sensing and motion planning. However, layout estimation using point clouds (PCs) still suffers from data scarcity due to annotation difficulty. As such, we address the semi-supervised setting of this task based upon the idea of model exponential moving averaging. But adapting this scheme to the state-of-the-art (SOTA) solution for PC-based layout estimation is not straightforward. To this end, we define a quad set matching strategy and several consistency losses based upon metrics tailored for layout quads. Besides, we propose a new online pseudo-label harvesting algorithm that decomposes the distribution of a hybrid distance measure between quads and PC into two components. This technique does not need manual threshold selection and intuitively encourages quads to align with reliable layout points. Surprisingly, this framework also works for the fully-supervised setting, achieving a new SOTA on the ScanNet benchmark. Last but not least, we also push the semi-supervised setting to the realistic omni-supervised setting, demonstrating significantly promoted performance on a newly annotated ARKitScenes testing set. Our codes, data and models are released in this repository.


title: Search for long-lived, massive particles in events with displaced vertices and multiple jets in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for long-lived particles decaying into hadrons is presented. The analysis uses 139 fb$^{-1}$ of $pp$ collision data collected at $\sqrt{s} = 13$ TeV by the ATLAS detector at the LHC using events that contain multiple energetic jets and a displaced vertex. The search employs dedicated reconstruction techniques that significantly increase the sensitivity to long-lived particles decaying in the ATLAS inner detector. Background estimates for Standard Model processes and instrumental effects are extracted from data. The observed event yields are compatible with those expected from background processes. The results are used to set limits at 95% confidence level on model-independent cross sections for processes beyond the Standard Model, and on scenarios with pair-production of supersymmetric particles with long-lived electroweakinos that decay via a small $R$-parity-violating coupling. The pair-production of electroweakinos with masses below 1.5 TeV is excluded for mean proper lifetimes in the range from 0.03 ns to 1 ns. When produced in the decay of $m(\tilde{g})=2.4$ TeV gluinos, electroweakinos with $m(\tilde\chi^0_1)=1.5$ TeV are excluded with lifetimes in the range of 0.02 ns to 4 ns.


title: Mathematical Capabilities of ChatGPT

abstract: We investigate the mathematical capabilities of two iterations of ChatGPT (released 9-January-2023 and 30-January-2023) and of GPT-4 by testing them on publicly available datasets, as well as hand-crafted ones, using a novel methodology. In contrast to formal mathematics, where large databases of formal proofs are available (e.g., the Lean Mathematical Library), current datasets of natural-language mathematics, used to benchmark language models, either cover only elementary mathematics or are very small. We address this by publicly releasing two new datasets: GHOSTS and miniGHOSTS. These are the first natural-language datasets curated by working researchers in mathematics that (1) aim to cover graduate-level mathematics, (2) provide a holistic overview of the mathematical capabilities of language models, and (3) distinguish multiple dimensions of mathematical reasoning. These datasets also test whether ChatGPT and GPT-4 can be helpful assistants to professional mathematicians by emulating use cases that arise in the daily professional activities of mathematicians. We benchmark the models on a range of fine-grained performance metrics. For advanced mathematics, this is the most detailed evaluation effort to date. We find that ChatGPT can be used most successfully as a mathematical assistant for querying facts, acting as a mathematical search engine and knowledge base interface. GPT-4 can additionally be used for undergraduate-level mathematics but fails on graduate-level difficulty. Contrary to many positive reports in the media about GPT-4 and ChatGPT's exam-solving abilities (a potential case of selection bias), their overall mathematical performance is well below the level of a graduate student. Hence, if your goal is to use ChatGPT to pass a graduate-level math exam, you would be better off copying from your average peer!


title: PADL: Language-Directed Physics-Based Character Control

abstract: Developing systems that can synthesize natural and life-like motions for simulated characters has long been a focus for computer animation. But in order for these systems to be useful for downstream applications, they need not only produce high-quality motions, but must also provide an accessible and versatile interface through which users can direct a character's behaviors. Natural language provides a simple-to-use and expressive medium for specifying a user's intent. Recent breakthroughs in natural language processing (NLP) have demonstrated effective use of language-based interfaces for applications such as image generation and program synthesis. In this work, we present PADL, which leverages recent innovations in NLP in order to take steps towards developing language-directed controllers for physics-based character animation. PADL allows users to issue natural language commands for specifying both high-level tasks and low-level skills that a character should perform. We present an adversarial imitation learning approach for training policies to map high-level language commands to low-level controls that enable a character to perform the desired task and skill specified by a user's commands. Furthermore, we propose a multi-task aggregation method that leverages a language-based multiple-choice question-answering approach to determine high-level task objectives from language commands. We show that our framework can be applied to effectively direct a simulated humanoid character to perform a diverse array of complex motor skills.


title: Reverse engineering adversarial attacks with fingerprints from adversarial examples

abstract: In spite of intense research efforts, deep neural networks remain vulnerable to adversarial examples: an input that forces the network to confidently produce incorrect outputs. Adversarial examples are typically generated by an attack algorithm that optimizes a perturbation added to a benign input. Many such algorithms have been developed. If it were possible to reverse engineer attack algorithms from adversarial examples, this could deter bad actors because of the possibility of attribution. Here we formulate reverse engineering as a supervised learning problem where the goal is to assign an adversarial example to a class that represents the algorithm and parameters used. To our knowledge it has not been previously shown whether this is even possible. We first test whether we can classify the perturbations added to images by attacks on undefended single-label image classification models. Taking a "fight fire with fire" approach, we leverage the sensitivity of deep neural networks to adversarial examples, training them to classify these perturbations. On a 17-class dataset (5 attacks, 4 bounded with 4 epsilon values each), we achieve an accuracy of 99.4% with a ResNet50 model trained on the perturbations. We then ask whether we can perform this task without access to the perturbations, obtaining an estimate of them with signal processing algorithms, an approach we call "fingerprinting". We find the JPEG algorithm serves as a simple yet effective fingerprinter (85.05% accuracy), providing a strong baseline for future work. We discuss how our approach can be extended to attack agnostic, learnable fingerprints, and to open-world scenarios with unknown attacks.


title: Symmetry constraints and spectral crossing in a Mott insulator with Green's function zeros

abstract: Lattice symmetries are central to the characterization of electronic topology. Recently, it was shown that Green's function eigenvectors form a representation of the space group. This formulation has allowed the identification of gapless topological states even when quasiparticles are absent. Here we demonstrate the profundity of the framework in the extreme case, when interactions lead to a Mott insulator, through a solvable model with long-range interactions. We find that both Mott poles and zeros are subject to the symmetry constraints, and relate the symmetry-enforced spectral crossings to degeneracies of the original non-interacting eigenstates. Our results lead to new understandings of topological quantum materials and highlight the utility of interacting Green's functions toward their symmetry-based design.


title: A Living Review of Quantum Computing for Plasma Physics

abstract: Quantum Computing promises accelerated simulation of certain classes of problems, in particular in plasma physics. Given the nascent interest in applying quantum computing techniques to study plasma systems, a compendium of the relevant literature would be most useful. As a novel field, new results are common, and it is important for researchers to stay up-to-date on the latest developments. With this in mind, the goal of this document is to provide a regularly up-to-date and thorough list of citations for those developing and applying these quantum computing approaches to experimental or theoretical work in plasma physics. As a living document, it will be updated as often as possible to incorporate the latest developments. References are grouped by topic, both in itemized format and through the use of tags. We provide instructions on how to participate, and suggestions are welcome.


title: Differential Analysis for Networks Obeying Conservation Laws

abstract: Networked systems that occur in various domains, such as the power grid, the brain, and opinion networks, are known to obey conservation laws. For instance, electric networks obey Kirchoff's laws, and social networks display opinion consensus. Such conservation laws are often modeled as balance equations that relate appropriate injected flows and potentials at the nodes of the networks. A recent line of work considers the problem of estimating the unknown structure of such networked systems from observations of node potentials (and only the knowledge of the statistics of injected flows). Given the dynamic nature of the systems under consideration, an equally important task is estimating the change in the structure of the network from data -- the so called differential network analysis problem. That is, given two sets of node potential observations, the goal is to estimate the structural differences between the underlying networks. We formulate this novel differential network analysis problem for systems obeying conservation laws and devise a convex estimator to learn the edge changes directly from node potentials. We derive conditions under which the estimate is unique in the high-dimensional regime and devise an efficient ADMM-based approach to perform the estimation. Finally, we demonstrate the performance of our approach on synthetic and benchmark power network data.