title: Training quantum neural networks using the Quantum Information Bottleneck method

abstract: We provide in this paper a concrete method for training a quantum neural network to maximize the relevant information about a property that is transmitted through the network. This is significant because it gives an operationally well founded quantity to optimize when training autoencoders for problems where the inputs and outputs are fully quantum. We provide a rigorous algorithm for computing the value of the quantum information bottleneck quantity within error $\epsilon$ that requires $O(\log^2(1/\epsilon) + 1/\delta^2)$ queries to a purification of the input density operator if its spectrum is supported on $\{0\}~\bigcup ~[\delta,1-\delta]$ for $\delta>0$ and the kernels of the relevant density matrices are disjoint. We further provide algorithms for estimating the derivatives of the QIB function, showing that quantum neural networks can be trained efficiently using the QIB quantity given that the number of gradient steps required is polynomial.


title: Algebraic network reconstruction of discrete dynamical systems

abstract: We present a computational algebra solution to reverse engineering the network structure of discrete dynamical systems from data. We use monomial ideals to determine dependencies between variables that encode constraints on the possible wiring diagrams underlying the process generating the discrete-time, continuous-space data. Our work assumes that each variable is either monotone increasing or decreasing. We prove that with enough data, even in the presence of small noise, our method can reconstruct the correct unique wiring diagram.


title: Automatic Anomalies Detection in Hydraulic Devices

abstract: Nowadays, the applications of hydraulic systems are present in a wide variety of devices in both industrial and everyday environments. The implementation and usage of hydraulic systems have been well documented; however, today, this still faces a challenge, the integration of tools that allow more accurate information about the functioning and operation of these systems for proactive decision-making. In industrial applications, many sensors and methods exist to measure and determine the status of process variables (e.g., flow, pressure, force). Nevertheless, little has been done to have systems that can provide users with device-health information related to hydraulic devices integrated into the machinery. Implementing artificial intelligence (AI) technologies and machine learning (ML) models in hydraulic system components has been identified as a solution to the challenge many industries currently face: optimizing processes and carrying them out more safely and efficiently. This paper presents a solution for the characterization and estimation of anomalies in one of the most versatile and used devices in hydraulic systems, cylinders. AI and ML models were implemented to determine the current operating status of these hydraulic components and whether they are working correctly or if a failure mode or abnormal condition is present.


title: Learning to Optimize in Model Predictive Control

abstract: Sampling-based Model Predictive Control (MPC) is a flexible control framework that can reason about non-smooth dynamics and cost functions. Recently, significant work has focused on the use of machine learning to improve the performance of MPC, often through learning or fine-tuning the dynamics or cost function. In contrast, we focus on learning to optimize more effectively. In other words, to improve the update rule within MPC. We show that this can be particularly useful in sampling-based MPC, where we often wish to minimize the number of samples for computational reasons. Unfortunately, the cost of computational efficiency is a reduction in performance; fewer samples results in noisier updates. We show that we can contend with this noise by learning how to update the control distribution more effectively and make better use of the few samples that we have. Our learned controllers are trained via imitation learning to mimic an expert which has access to substantially more samples. We test the efficacy of our approach on multiple simulated robotics tasks in sample-constrained regimes and demonstrate that our approach can outperform a MPC controller with the same number of samples.


title: A \texttt{Matlab} Toolbox for the Regularization of Descriptor Systems Arising from Generalized Realization Procedures

abstract: In this report we introduce a \texttt{Matlab} toolbox for the regularization of descriptor systems. We apply it, in particular, for systems resulting from the generalized realization procedure of \cite{MayA07}, which generates, via rational interpolation techniques, a linear \emph{descriptor system} from interpolation data. The resulting system needs to be regularized to make it feasible for the use in simulation, optimization, and control. This process is called \emph{regularization}


title: Proving False in Object-Oriented Verification Programs by Exploiting Non-Termination

abstract: We looked at three different object-oriented program verifiers: Gobra, KeY, and Dafny. We show that all three can be made to prove false by using a simple trick with ghost variable declaration and non-terminating code. This shows that verifiers for these languages can produce unsound results without much difficulty and that this is possibly common throughout all OO verifiers.


title: Iterated Mapping Cones on the Koszul Complex and Their Application to Complete Intersection Rings

abstract: Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of the components of $A$ and express the images of the maps of these sequences as homologies of iterated mapping cones built on $K$. As an application of this iterated mapping cone construction, we recover a minimal free resolution of the residue field $\mathsf k$ over $R$, independent from the well-known resolution constructed by Tate by adjoining variables and killing cycles. Through our construction, the differential maps can be expressed explicitly as blocks of matrices, arranged in some combinatorial patterns.


title: Groups of isometries of ultrametric Urysohn spaces and their unitary representations

abstract: We consider groups $\mathbb{I}$ of isometries of ultrametric Urysohn spaces $\mathbb{U}$. Such spaces $\mathbb{U}$ admit transparent realizations as boundaries of certain $R$-trees and the groups $\mathbb{I}$ are groups of automorphisms of these $R$-trees. Denote by $\mathbb{I}[X]\subset \mathbb{I}$ stabilizers of finite subspaces $X\subset \mathbb{U}$. Double cosets $\mathbb{I}[X]\cdot g\cdot \mathbb{I}[Y]$, where $g\in \mathbb{I}$, are enumerated by ultrametrics on union of spaces $X\cup Y$. We construct natural associative multiplications on double coset spaces $\mathbb{I}[X]\backslash \mathbb{I}/\mathbb{I}[X]$ and, more generally, multiplications $\mathbb{I}[X]\backslash \mathbb{I}/\mathbb{I}[Y]\,\times\, \mathbb{I}[Y]\backslash \mathbb{I}/\mathbb{I}[Z]\to \mathbb{I}[X]\backslash \mathbb{I}/\mathbb{I}[Z]$. These operations are a kind of canonical amalgamations of ultrametric spaces. On the other hand, this product can be interpreted in terms of partial isomorphisms of certain $R$-trees (in particular, we come to an inverse category). This allows us to classify all unitary representations of the groups $\mathbb{I}$ and to prove that groups $\mathbb{I}$ have type $I$. We also describe a universal semigroup compactification of $\mathbb{I}$ whose image in any unitary representation of $\mathbb{I}$ is compact.


title: Errors in stimulated-Raman-induced logic gates in $^{133}$Ba$^+$

abstract: ${}^{133}\mathrm{Ba}^+$ is illuminated by a laser that is far-detuned from optical transitions, and the resulting spontaneous Raman scattering rate is measured. The observed scattering rate is lower than previous theoretical estimates. The majority of the discrepancy is explained by a more accurate treatment of the scattered photon density of states. This work establishes that, contrary to previous models, there is no fundamental limit to laser-driven quantum gates from laser-induced spontaneous Raman scattering.


title: Enhanced Negative Energy with a Massless Dirac Field

abstract: Motivated by traversable wormhole constructions that require large amounts of negative energy, we explore constraints on the amount of negative energy that can be carried by a free Dirac field in a slab-shaped region between two parallel spatial planes. Specifically, we ask what is the minimum possible uniform energy density that can exist at some time, considering all possible states and all possibilities for the physics outside the slab. The vacuum state where we identify the two sides of the slab with antiperiodic boundary conditions gives one possible state with uniform negative energy, but we argue that states with more negative energy exist above 1+1 dimensions. Technically, we reduce the problem to studying a massive Dirac field on an interval in 1+1 dimensions and numerically search for states with uniform energy density in a lattice regulated model. We succeed in finding states with enhanced negative energy (relative to the antiperiodic vacuum) which also appear to have a sensible continuum limit. Our results for the mass-dependence of the minimum uniform energy density in 1+1 dimensions suggest that for a 3+1 dimensional massless Dirac fermion, it is possible to have states with arbitrarily large uniform negative energy density in an arbitrarily wide slab.


title: Audio Latent Space Cartography

abstract: We explore the generation of visualisations of audio latent spaces using an audio-to-image generation pipeline. We believe this can help with the interpretability of audio latent spaces. We demonstrate a variety of results on the NSynth dataset. A web demo is available.


title: StyleGAN as a Utility-Preserving Face De-identification Method

abstract: Face de-identification methods have been proposed to preserve users' privacy by obscuring their faces. These methods, however, can degrade the quality of photos, and they usually do not preserve the utility of faces, i.e., their age, gender, pose, and facial expression. Recently, GANs, such as StyleGAN, have been proposed, which generate realistic, high-quality imaginary faces. In this paper, we investigate the use of StyleGAN in generating de-identified faces through style mixing. We examined this de-identification method for preserving utility and privacy by implementing several face detection, verification, and identification attacks and conducting a user study. The results from our extensive experiments, human evaluation, and comparison with two state-of-the-art methods, i.e., CIAGAN and DeepPrivacy, show that StyleGAN performs on par or better than these methods, preserving users' privacy and images' utility. In particular, the results of the machine learning-based experiments show that StyleGAN0-4 preserves utility better than CIAGAN and DeepPrivacy while preserving privacy at the same level. StyleGAN0-3 preserves utility at the same level while providing more privacy. In this paper, for the first time, we also performed a carefully designed user study to examine both privacy and utility-preserving properties of StyleGAN0-3, 0-4, and 0-5, as well as CIAGAN and DeepPrivacy from the human observers' perspectives. Our statistical tests showed that participants tend to verify and identify StyleGAN0-5 images more easily than DeepPrivacy images. All the methods but StyleGAN0-5 had significantly lower identification rates than CIAGAN. Regarding utility, as expected, StyleGAN0-5 performed significantly better in preserving some attributes. Among all methods, on average, participants believe gender has been preserved the most while naturalness has been preserved the least.


title: Pointed vortex loops in ideal 2D fluids

abstract: We study a special kind of singular vorticities in ideal 2D fluids that combine features of point vortices and vortex sheets, namely pointed vortex loops. We focus on the coadjoint orbits of the area-preserving diffeomorphism group of ${\mathbb R}^2$ determined by them. We show that a polarization subgroup consists of diffeomorphisms that preserve the loop as a set, thus the configuration space is the space of loops that enclose a fixed area, without information on vorticity distribution and attached points.


title: Matching with Incomplete Preferences

abstract: I study a two-sided marriage market in which agents have incomplete preferences -- i.e., they find some alternatives incomparable. The strong (weak) core consists of matchings wherein no coalition wants to form a new match between themselves, leaving some (all) agents better off without harming anyone. The strong core may be empty, while the weak core can be too large. I propose the concept of the "compromise core" -- a nonempty set that sits between the weak and the strong cores. Similarly, I define the men-(women-) optimal core and illustrate its benefit in an application to India's engineering college admissions system.


title: Can Ensembling Pre-processing Algorithms Lead to Better Machine Learning Fairness?

abstract: As machine learning (ML) systems get adopted in more critical areas, it has become increasingly crucial to address the bias that could occur in these systems. Several fairness pre-processing algorithms are available to alleviate implicit biases during model training. These algorithms employ different concepts of fairness, often leading to conflicting strategies with consequential trade-offs between fairness and accuracy. In this work, we evaluate three popular fairness pre-processing algorithms and investigate the potential for combining all algorithms into a more robust pre-processing ensemble. We report on lessons learned that can help practitioners better select fairness algorithms for their models.


title: The study of contact properties in edge-contacted graphene-aluminum Josephson junctions

abstract: Transparent contact interfaces in superconductor-graphene hybrid systems are critical for realizing superconducting quantum applications. Here, we examine the effect of the edge-contact fabrication process on the transparency of the superconducting aluminum-graphene junction. We show significant improvement in the transparency of our superconductor-graphene junctions by promoting the chemical component of the edge contact etch process. Our results compare favorably with state-of-the-art graphene Josephson junctions. The findings of our study contribute to advancing the fabrication knowledge of edge-contacted superconductor-graphene junctions.


title: Sound emergence as a predictor of short-term annoyance from wind turbine noise

abstract: While sound emergence is used in several countries to regulate wind energy development, there is no published evidence that it is a relevant noise descriptor for this purpose. In the present work, we carried out two listening tests to evaluate the merits of sound emergence. Three definitions of sound emergence were considered: the one in ISO 1996-1, sound emergence under audibility condition $e_{UAC}$, and spectral emergence $e_{SP}$. We also considered the specific to residual ratio and loudness metrics. In each listening test, the sound stimuli consisted of 48 sound stimuli at 3 A-weighted sound pressure levels $\{30, 40, 50\}$~dB and 4 specific-to-residual ratios $\{-10, -5, 0, +5 \}$~dB. The results lead to the conclusion that short term annoyance is better predicted by the total sound pressure level than by sound emergence, whatever the definition considered for the latter, or than by the specific to residual ratio. Short-term annoyance is slightly better predicted by $e_{UAC}$ than by $e$, while $e$ is a better predictor than $e_{SP}$. The total sound pressure level and the loudness metrics performed similarly. Furthermore, the results provide evidence that sound emergence is a poor predictor of the audibility of wind turbine sounds.


title: Ribbonness of Kervaire's sphere-link in homotopy 4-sphere and its consequences to 2-complexes

abstract: M. A. Kervaire showed that every group of deficiency $d$ and weight $d$ is the fundamental group of a smooth sphere-link of $d$ components in a smooth homotopy 4-sphere. In the use of the smooth unknotting conjecture and the smooth 4D Poincar{\'e} conjecture, any such sphere-link is shown to be a sublink of a free ribbon sphere-link in the 4-sphere. Since every ribbon sphere-link in the 4-sphere is also shown to be a sublink of a free ribbon sphere-link in the 4-sphere, Kervaire's sphere-link and the ribbon sphere-link are equivalent concepts. By applying this result to a ribbon disk-link in the 4-disk, it is shown that the compact complement of every ribbon disk-link in the 4-disk is aspherical. By this property, a ribbon disk-link presentation for every contractible finite 2-complex is introduced. By using this presentation, it is shown that every connected subcomplex of a contractible finite 2-complex is aspherical (meaning partially yes for Whitehead aspherical conjecture).


title: Collabs: A Flexible and Performant CRDT Collaboration Framework

abstract: A collaboration framework is a distributed system that serves as the data layer for a collaborative app. Conflict-free Replicated Data Types (CRDTs) are a promising theoretical technique for implementing collaboration frameworks. However, existing frameworks are inflexible: they are often one-off implementations of research papers or only permit a restricted set of CRDT semantics, and they do not allow app-specific optimizations. Until now, there was no general framework that lets programmers mix, match, and modify CRDTs. We solve this with Collabs, a CRDT-based collaboration framework that lets programmers implement their own CRDTs, either from-scratch or by composing existing building blocks. Collabs prioritizes both semantic flexibility and performance flexibility: it allows arbitrary app-specific CRDT behaviors and optimizations, while still providing strong eventual consistency. We demonstrate Collabs's capabilities and programming model with example apps and CRDT implementations. We then show that a collaborative rich-text editor using Collabs's built-in CRDTs can scale to over 100 simultaneous users, unlike existing CRDT frameworks and Google Docs. Collabs also has lower end-to-end latency and server CPU usage than a popular Operational Transformation framework, with acceptable CRDT metadata overhead.


title: On the degree distribution of Haros graphs

abstract: Haros graphs is a graph-theoretical representation of real numbers in the unit interval. The degree distribution of the Haros graphs provides information regarding the topological structure and the associated real number. This article provides a comprehensive demonstration of a conjecture concerning the analytical formulation of the degree distribution. Specifically, a theorem outlines the relationship between Haros graphs, the corresponding continued fraction of its associated real number, and the subsequent symbolic paths in the Farey binary Tree. Moreover, an expression continuous and piece-wise linear in subintervals defined by Farey fractions can be derived from an additional conclusion for the degree distribution of Haros graphs.


title: Benchmarking Offline Reinforcement Learning Algorithms for E-Commerce Order Fraud Evaluation

abstract: Amazon and other e-commerce sites must employ mechanisms to protect their millions of customers from fraud, such as unauthorized use of credit cards. One such mechanism is order fraud evaluation, where systems evaluate orders for fraud risk, and either "pass" the order, or take an action to mitigate high risk. Order fraud evaluation systems typically use binary classification models that distinguish fraudulent and legitimate orders, to assess risk and take action. We seek to devise a system that considers both financial losses of fraud and long-term customer satisfaction, which may be impaired when incorrect actions are applied to legitimate customers. We propose that taking actions to optimize long-term impact can be formulated as a Reinforcement Learning (RL) problem. Standard RL methods require online interaction with an environment to learn, but this is not desirable in high-stakes applications like order fraud evaluation. Offline RL algorithms learn from logged data collected from the environment, without the need for online interaction, making them suitable for our use case. We show that offline RL methods outperform traditional binary classification solutions in SimStore, a simplified e-commerce simulation that incorporates order fraud risk. We also propose a novel approach to training offline RL policies that adds a new loss term during training, to better align policy exploration with taking correct actions.


title: The new HADES ToF Forward Detector

abstract: The High-Acceptance DiElectron Spectrometer (HADES) at GSI Darmstadt consists of a 6-coil toroidal magnet centered on the beam axis and six identical detection sections located between the coils and covering polar angles between $18^\circ$ and $85^\circ$. The physics aims include the study of the properties of hot and dense hadronic matter as well as elementary and pion-induced reactions. To increase the acceptance of HADES at very low polar angles in the forward region, between $0.5^\circ$ and $7^\circ$, a new detector, the Forward Detector (FD), has been built. The FD is composed of a tracking and a Time Of Flight (TOF) detector based on Resistive Plate Chamber (RPC) technology. The TOF detector, covering an area of around $2$ m$^2$, is composed by $128$ strip-like shielded RPC cells, with two different widths $22$ mm and $44$ mm and $750$ mm length distributed in four modules symmetrically placed around the beam axis. Each cell is composed by four gas gaps, $0.270$ mm, delimited by three ($2$ mm) aluminum and two ($1$ mm) glass electrodes. In order to cope with an expected maximum particle load of around $400$ Hz/cm$^{2}$, close to the beam axis, the detector is operated above room temperature in order to decrease the resistivity of the glass and increase the count rate capability. Details of the system construction and results concerning timing precision are described in this communication. The detector was operated at $31.5^\circ$C with a maximum particle load of around $600$ Hz/cm$^2$ during a production beam time for six weeks in early $2022$ showing an average time precision of around $80$ ps.


title: Towards a Taxonomy for the Use of Synthetic Data in Advanced Analytics

abstract: The proliferation of deep learning techniques led to a wide range of advanced analytics applications in important business areas such as predictive maintenance or product recommendation. However, as the effectiveness of advanced analytics naturally depends on the availability of sufficient data, an organization's ability to exploit the benefits might be restricted by limited data or likewise data access. These challenges could force organizations to spend substantial amounts of money on data, accept constrained analytics capacities, or even turn into a showstopper for analytics projects. Against this backdrop, recent advances in deep learning to generate synthetic data may help to overcome these barriers. Despite its great potential, however, synthetic data are rarely employed. Therefore, we present a taxonomy highlighting the various facets of deploying synthetic data for advanced analytics systems. Furthermore, we identify typical application scenarios for synthetic data to assess the current state of adoption and thereby unveil missed opportunities to pave the way for further research.


title: Unifying Vision, Text, and Layout for Universal Document Processing

abstract: We propose Universal Document Processing (UDOP), a foundation Document AI model which unifies text, image, and layout modalities together with varied task formats, including document understanding and generation. UDOP leverages the spatial correlation between textual content and document image to model image, text, and layout modalities with one uniform representation. With a novel Vision-Text-Layout Transformer, UDOP unifies pretraining and multi-domain downstream tasks into a prompt-based sequence generation scheme. UDOP is pretrained on both large-scale unlabeled document corpora using innovative self-supervised objectives and diverse labeled data. UDOP also learns to generate document images from text and layout modalities via masked image reconstruction. To the best of our knowledge, this is the first time in the field of document AI that one model simultaneously achieves high-quality neural document editing and content customization. Our method sets the state-of-the-art on 8 Document AI tasks, e.g., document understanding and QA, across diverse data domains like finance reports, academic papers, and websites. UDOP ranks first on the leaderboard of the Document Understanding Benchmark.


title: Diabatic Quantum Annealing for the Frustrated Ring Model

abstract: Quantum annealing is a continuous-time heuristic quantum algorithm for solving or approximately solving classical optimization problems. The algorithm uses a schedule to interpolate between a driver Hamiltonian with an easy-to-prepare ground state and a problem Hamiltonian whose ground state encodes solutions to an optimization problem. The standard implementation relies on the evolution being adiabatic: keeping the system in the instantaneous ground state with high probability and requiring a time scale inversely related to the minimum energy gap between the instantaneous ground and excited states. However, adiabatic evolution can lead to evolution times that scale exponentially with the system size, even for computationally simple problems. Here, we study whether non-adiabatic evolutions with optimized annealing schedules can bypass this exponential slowdown for one such class of problems called the frustrated ring model. For sufficiently optimized annealing schedules and system sizes of up to 39 qubits, we provide numerical evidence that we can avoid the exponential slowdown. Our work highlights the potential of highly-controllable quantum annealing to circumvent bottlenecks associated with the standard implementation of quantum annealing.


title: Periodic necking of misfit hyperelastic filaments embedded in a soft matrix

abstract: The necking instability is a precursor to tensile failure and rupture of materials. A quasistatically loaded free-standing uniaxial specimen typically exhibits necking at a single location, corresponding to a long wavelength bifurcation mode. If confined to a substrate or embedded in a matrix, the same filament can exhibit periodic necking thus creating segments of finite length. While periodic instabilities have been extensively studied in ductile metal filaments and thin sheets, less is known about necking in hyperelastic materials. There is a renewed interest in the role of necking in novel materials to advance fabrication processes and to explain fragmentation phenomena observed in 3D printed active biological matter. In both cases materials are not well described by existing frameworks that employ J2 plasticity, and existing studies ignore the role of misfit stretches that may emerge in these systems through chemical or biological contraction. To address these limitations, we first experimentally demonstrate the role of the matrix on the necking and fragmentation of a compliant embedded filament. Using a strain softening generalized hyperelastic model, our analytical bifurcation analysis explains the experimental observations and agrees with numerical predictions. The analysis reveals 3 distinct bifurcation modes: a long wavelength necking, recovering the Considere criterion; a periodic necking observed in our experiments; and a short wavelength mode characterized by localization along the center cord of the filament and independent of the film-to-matrix stiffness ratio. We find that the softening coefficient and the filament misfit stretch can significantly influence the stability threshold and observed wavelength, respectively. Our results can guide the design and fabrication of composite materials and explain the fragmentation processes observed in active biological materials.


title: A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)

abstract: Security protocols are essential building blocks of modern IT systems. Subtle flaws in their design or implementation may compromise the security of entire systems. It is, thus, important to prove the absence of such flaws through formal verification. Much existing work focuses on the verification of protocol *models*, which is not sufficient to show that their *implementations* are actually secure. Verification techniques for protocol implementations (e.g., via code generation or model extraction) typically impose severe restrictions on the used programming language and code design, which may lead to sub-optimal implementations. In this paper, we present a methodology for the modular verification of strong security properties directly on the level of the protocol implementations. Our methodology leverages state-of-the-art verification logics and tools to support a wide range of implementations and programming languages. We demonstrate its effectiveness by verifying memory safety and security of Go implementations of the Needham-Schroeder-Lowe, Diffie-Hellman key exchange, and WireGuard protocols, including forward secrecy and injective agreement for WireGuard. We also show that our methodology is agnostic to a particular language or program verifier with a prototype implementation for C.


title: Formation of hub-filament structure triggered by cloud-cloud collision in W33 complex

abstract: Hub-filament systems are suggested to be birth cradles of high-mass stars and clusters, but the formation of hub-filament structure is still unclear. Using the survey data FUGIN $^{13}$CO (1-0), C$^{18}$O (1-0), and SEDIGISM $^{13}$CO (2-1), we investigate formation of hub-filament structure in W33 complex. W33 complex consists of two colliding clouds, called W33-blue and W33-red. We decompose the velocity structures in W33-blue by fitting multiple velocity components, and find a continuous and monotonic velocity field. Virial parameters of Dendrogram structures suggest the dominance of gravity in W33-blue. The strong positive correlation between velocity dispersion and column density indicates the non-thermal motions in W33-blue may originate from gravitationally driven collapse. These signatures suggest that the filamentary structures in W33-blue result from the gravitational collapse of the compressed layer. However, the large scale velocity gradient in W33-blue may mainly originate from the cloud-cloud collision and feedback of active star formation, instead of the filament-rooted longitudinal inflow. From the above observed results, we argue that the cloud-cloud collision triggers formation of hub-filament structures in W33 complex. Meanwhile, the appearance of multiple-scale hub-filament structures in W33-blue is likely an imprint of the transition from the compressed layer to a hub-filament system.


title: Detecting and Attributing Change in Climate and Complex Systems: Foundations, Kolmogorov Modes, and Nonlinear Fingerprints

abstract: Detection and attribution studies have played a major role in shaping contemporary climate science and have provided key motivations supporting global climate policy negotiations. Their goal is to associate unambiguously observed patterns of climate change with anthropogenic and natural forcings acting as drivers through the so-called optimal fingerprinting method. We show here how response theory for nonequilibrium systems provides the physical and dynamical foundations behind optimal fingerprinting for the climate change detection and attribution problem, including the notion of causality used for attribution purposes. We clearly frame assumptions, strengths, and potential pitfalls of the method. Additionally, we clarify the mathematical framework behind the degenerate fingerprinting method that leads to early warning indicators for tipping points. Finally, we extend the optimal fingerprinting method to the regime of nonlinear response. Our findings indicate that optimal fingerprinting for detection and attribution can be applied to virtually any stochastic system undergoing time-dependent forcing.

categories: physics.ao-ph cond-mat.stat-mech physics.data-an physics.geo-ph


title: POQue: Asking Participant-specific Outcome Questions for a Deeper Understanding of Complex Events

abstract: Knowledge about outcomes is critical for complex event understanding but is hard to acquire. We show that by pre-identifying a participant in a complex event, crowd workers are able to (1) infer the collective impact of salient events that make up the situation, (2) annotate the volitional engagement of participants in causing the situation, and (3) ground the outcome of the situation in state changes of the participants. By creating a multi-step interface and a careful quality control strategy, we collect a high quality annotated dataset of 8K short newswire narratives and ROCStories with high inter-annotator agreement (0.74-0.96 weighted Fleiss Kappa). Our dataset, POQue (Participant Outcome Questions), enables the exploration and development of models that address multiple aspects of semantic understanding. Experimentally, we show that current language models lag behind human performance in subtle ways through our task formulations that target abstract and specific comprehension of a complex event, its outcome, and a participant's influence over the event culmination.


title: A Sparse DAE Solver in Maple

abstract: In this paper, some adaptive single-step methods like Trapezoid (TR), Implicit-mid point (IMP), Euler-backward (EB), and Radau IIA (Rad) methods are implemented in Maple to solve index-1 nonlinear Differential Algebraic Equations (DAEs). Maple's robust and efficient ability to search within a list/set is exploited to identify the sparsity pattern and the analytic Jacobian. The algorithm and implementation were found to be robust and efficient for index-1 DAE problems and scales well for finite difference/finite element discretization of two-dimensional models with system size up to 10,000 nonlinear DAEs and solves the same in few seconds.


title: Branching with selection and mutation I: Mutant fitness of Fr\'echet type

abstract: We investigate two stochastic models of a growing population subject to selection and mutation. In our models each individual carries a fitness which determines its mean offspring number. Many of these offspring inherit their parent's fitness, but some are mutants and obtain a fitness randomly sampled from a distribution in the domain of attraction of the Fr\'echet distribution. We give a rigorous proof for the precise rate of superexponential growth of these stochastic processes and support the argument by a heuristic and numerical study of the mechanism underlying this growth.


title: Integrability and Matrix Models

abstract: A brief review of the eigenvalue matrix model integrability and superintegrability properties, focused on the simplest, still representative, Gaussian Hermitian case.


title: Topological Designs for Scalar Vortex Coronagraphs

abstract: The detection and characterization of Earth-like exoplanets around Sun-like stars for future flagship missions requires coronagraphs to achieve contrasts on the order of 1e-10 at close angular separations and over large spectral bandwidths (>=20%). We present our progress thus far on exploring the potential for scalar vortex coronagraphs (SVCs) in direct exoplanet imaging. SVCs are an attractive alternative to vector vortex coronagraphs (VVCs), which have recently demonstrated 6e-9 raw contrast in 20% broadband light but are polarization dependent. SVCs imprint the same phase ramp on the incoming light and do not require polarization splitting, but are inherently limited by their chromatic behavior. Several SVC designs have been proposed in recent years to solve this issue by modulating or wrapping the azimuthal phase function according to specific patterns. For one such design, the staircase SVC, we present our best experimental SVC results demonstrating raw contrast of 2e-7 in 10% broadband light. Since SVC broadband performance and aberration sensitivities are highly dependent on topology, we conducted a comparative study of several SVC designs to optimize for high contrast across a range of bandwidths. Furthermore, we present a new coronagraph optimization tool to predict performance in order to find an achromatic solution.


title: QFT: Post-training quantization via fast joint finetuning of all degrees of freedom

abstract: The post-training quantization (PTQ) challenge of bringing quantized neural net accuracy close to original has drawn much attention driven by industry demand. Many of the methods emphasize optimization of a specific degree-of-freedom (DoF), such as quantization step size, preconditioning factors, bias fixing, often chained to others in multi-step solutions. Here we rethink quantized network parameterization in HW-aware fashion, towards a unified analysis of all quantization DoF, permitting for the first time their joint end-to-end finetuning. Our single-step simple and extendable method, dubbed quantization-aware finetuning (QFT), achieves 4-bit weight quantization results on-par with SoTA within PTQ constraints of speed and resource.


title: Stars: Tera-Scale Graph Building for Clustering and Graph Learning

abstract: A fundamental procedure in the analysis of massive datasets is the construction of similarity graphs. Such graphs play a key role for many downstream tasks, including clustering, classification, graph learning, and nearest neighbor search. For these tasks, it is critical to build graphs which are sparse yet still representative of the underlying data. The benefits of sparsity are twofold: firstly, constructing dense graphs is infeasible in practice for large datasets, and secondly, the runtime of downstream tasks is directly influenced by the sparsity of the similarity graph. In this work, we present $\textit{Stars}$: a highly scalable method for building extremely sparse graphs via two-hop spanners, which are graphs where similar points are connected by a path of length at most two. Stars can construct two-hop spanners with significantly fewer similarity comparisons, which are a major bottleneck for learning based models where comparisons are expensive to evaluate. Theoretically, we demonstrate that Stars builds a graph in nearly-linear time, where approximate nearest neighbors are contained within two-hop neighborhoods. In practice, we have deployed Stars for multiple data sets allowing for graph building at the $\textit{Tera-Scale}$, i.e., for graphs with tens of trillions of edges. We evaluate the performance of Stars for clustering and graph learning, and demonstrate 10~1000-fold improvements in pairwise similarity comparisons compared to different baselines, and 2~10-fold improvement in running time without quality loss.


title: Cosmic Sands: The Origin of Dusty, Star-forming Galaxies in the Epoch of Reionization

abstract: We present the Cosmic Sands suite of cosmological zoom-in simulations based on the Simba galaxy formation model in order to study the build up of the first massive and dusty galaxies in the early Universe. Residing in the most massive halos, we find that the compact proto-massive galaxies undergo nearly continuous mergers with smaller subhalos, boosting star formation rates (SFRs) and the build up of stellar mass. The galaxies are already appreciably chemically evolved by z=10, with modeled dust masses comparable to those inferred from observations in the same epoch. We track gas accretion onto the galaxies to understand how extreme SFRs can be sustained by these early systems. We find that smooth gas accretion can maintain SFRs above 250 M$_{\odot}$ / yr but to achieve SFRs that boost galaxies well above the main sequence, a larger perturbation like a gas-rich major merger is necessary to trigger a starburst episode. Post-processing the Cosmic Sands simulations with dust radiative transfer, we find that while the infrared luminosities of the most dust rich galaxies are comparable to local ULIRGs, they are substantially dimmer than classical z=2 sub-millimeter galaxies. We end with a discussion on the possible reasons for this discrepancy at the highest masses and the future work we intend to carry out to study the chemical enrichment of the earliest dusty galaxies.


title: Classical Elastic Two-Particle Collision Energy Conservation using Edward Nelson's Energy, Double Diffusion and Special Relativity

abstract: The present paper shows that Edward Nelson's stochastic mechanics approach for quantum mechanics can be derived from the two classical elastically colliding particles with masses M and m satisfying a collision momentum preserving equation. The properties of the classical elastic momentum collision expression determine the full Edward Nelson energy collision energy for both particles. This classical total energy expression does not require a statistical expectation since no process was defined for the energy and it models the main and incident particle velocities perfectly. Quantum mechanics can be obtained by modelling the incident particle as a non-random potential using stochastic processes modelling the forward, post-collision and backward pre-collision velocities of the main particle. This presents the Schroedinger equation exactly the way that Nelson proposed in 1966 except for the diffusion constant. In this case the average energy is conserved in time and the forward, post-collision and backward pre-collision velocities of the system are related using statistical methods. If the incident particle does not have a potential the additional constraints for the movement of the incident particle leads to another Schroedinger equation. Finally, under suitable conditions it will be shown that the colliding particles satisfy Minkowski metric in special relativity. This last example shows how gravity can be quantized using details of this energy expression.


title: DISH: A Distributed Hybrid Optimization Method Leveraging System Heterogeneity

abstract: We study distributed optimization problems over multi-agent networks, including consensus and network flow problems. Existing distributed methods neglect the heterogeneity among agents' computational capabilities, limiting their effectiveness. To address this, we propose DISH, a distributed hybrid method that leverages system heterogeneity. DISH allows agents with higher computational capabilities or lower computational costs to perform local Newton-type updates while others adopt simpler gradient-type updates. Notably, DISH covers existing methods like EXTRA, DIGing, and ESOM-0 as special cases. To analyze DISH's performance with general update directions, we formulate distributed problems as minimax problems and introduce GRAND (gradient-related ascent and descent) and its alternating version, Alt-GRAND, for solving these problems. GRAND generalizes DISH to centralized minimax settings, accommodating various descent ascent update directions, including gradient-type, Newton-type, scaled gradient, and other general directions, within acute angles to the partial gradients. Theoretical analysis establishes global sublinear and linear convergence rates for GRAND and Alt-GRAND in strongly-convex-nonconcave and strongly-convex-PL settings, providing linear rates for DISH. In addition, we derive the local superlinear convergence of Newton-based variations of GRAND in centralized settings. Numerical experiments validate the effectiveness of our methods.


title: Sums of Reciprocals of Recurrence Relations

abstract: There is a growing literature on sums of reciprocals of polynomial functions of recurrence relations with constant coefficients and fixed depth, such as Fibonacci and Tribonacci numbers, products of such numbers, and balancing numbers (numbers $n$ such that the sum of the integers less than $n$ equals the sum of the $r$ integers immediately after, for some $r$ which is called the balancer of $n$; If $n$ is included in the summation, we have the cobalancing numbers, and $r$ is called the cobalancer of $n$). We generalize previous work to reciprocal sums of depth two recurrence sequences with arbitrary coefficients and the Tribonacci numbers, and show our method provides an alternative proof of some existing results. We define $(a,b)$ balancing and cobalancing numbers, where $a$ and $b$ are constants that multiply the left-hand side and right-hand side respectively, and derive recurrence relations describing these sequences. We show that for balancing numbers, the coefficients $(3,1)$ is unique such that every integer is a $(3,1)$ balancing number, and proved there does not exist an analogous set of coefficients for cobalancing numbers. We also found patterns for certain coefficients that have no balancing or cobalancing numbers.


title: Low Power Mesh Algorithms for Image Problems

abstract: We analyze a physically motivated fine-grained mesh-connected computer model, assuming that a word of information takes a fixed area and that it takes unit time and unit energy to move a word unit distance. This is a representation of computing on a chip with myriad tiny processors arranged as a mesh. While most mesh algorithms assume all processors are active at all times, we give algorithms that have only a few processors on at any one time, which reduces the power required. We apply this approach to basic problems involving images, showing that there can be dramatic reductions in the peak power with only small, if any, changes in the time required. We also show that these algorithms give a more efficient way to utilize power when more power is available.


title: Functional inequalities on symmetric spaces of noncompact type and applications

abstract: The aim of this paper is to begin a systematic study of functional inequalities on symmetric spaces of noncompact type of higher rank. Our first main goal of this study is to establish the Stein-Weiss inequality, also known as a weighted Hardy-Littlewood-Sobolev inequality, for the Riesz potential on symmetric spaces of noncompact type. This is achieved by performing delicate estimates of ground spherical function with the use of polyhedral distance on symmetric spaces and by combining the integral Hardy inequality developed by Ruzhansky and Verma with the sharp Bessel-Green-Riesz kernel estimates on symmetric spaces of noncompact type obtained by Anker and Ji. As a consequence of the Stein-Weiss inequality, we deduce Hardy-Sobolev, Hardy-Littlewood-Sobolev, Gagliardo-Nirenberg and Caffarelli-Kohn-Nirenberg inequalities on symmetric spaces of noncompact type. The second main purpose of this paper is to show the applications of aforementioned inequalities for studying nonlinear PDEs on symmetric spaces. Specifically, we show that the Gagliardo-Nirenberg inequality can be used to establish small data global existence results for the semilinear wave equations with damping and mass terms for the Laplace-Beltrami operator on symmetric spaces.


title: A Novel Approach for Exploring the Light Traveling Path in the Medium with a Spherically Symmetric Refractive Index

abstract: A unique perspective approach based on an analogy method is presented to solve the ray equation in a model of a continuous inhomogeneous medium, which has a spherically symmetric distribution. Basically, in the standard undergraduate physics teaching, the curved ray path caused by refraction in a medium with a continuously varying refractive index has always been a relatively difficult problem to solve. The equation is usually expressed in terms of partial differential equations (PDEs), which cannot be solved by analytical methods. Based on the analogy method, this work proposes the correspondence between ray refraction in an established medium model and the inverse-square central force system, succinctly obtaining their relation equations mathematically. We also verify the correctness of the method by qualitative and quantitative analysis. In terms of theoretical validation, we analyse the relation between Fermat's principle and Hamilton's principle, which lays a theoretical foundation for the analogy method. In addition, ray paths in the medium model were also simulated by numerical calculations based on COMSOL Multiphysics, and the results are in perfect agreement with the conclusions.


title: Architected Materials for Mechanical Compression: Design via Simulation, Deep Learning, and Experimentation

abstract: Architected materials can achieve enhanced properties compared to their plain counterparts. Specific architecting serves as a powerful design lever to achieve targeted behavior without changing the base material. Thus, the connection between architected structure and resultant properties remains an open field of great interest to many fields, from aerospace to civil to automotive applications. Here, we focus on properties related to mechanical compression, and design hierarchical honeycomb structures to meet specific values of stiffness and compressive stress. To do so, we employ a combination of techniques in a singular workflow, starting with molecular dynamics simulation of the forward design problem, augmenting with data-driven artificial intelligence models to address the inverse design problem, and verifying the behavior of de novo structures with experimentation of additively manufactured samples. We thereby demonstrate an approach for architected design that is generalizable to multiple material properties and agnostic to the identity of the base material.


title: The runaway greenhouse on subNeptune waterworlds

abstract: The implications of the water vapor runaway greenhouse phenomenon for water-rich subNeptunes are developed. In particular, the nature of the post-runaway equilibration process for planets that have an extremely high water inventory is addressed. Crossing the threshold from sub-runaway to super-runaway conditions leads to a transition from equilibrated states with cold deep liquid oceans and deep interior ice-X phases to states with hot supercritical fluid interiors. There is a corresponding marked inflation of radius for a given mass, similar to the runaway greenhouse radius inflation effect noted earlier for terrestrial planets, but in the present case the inflation involves the entire interior of the planet. The calculation employs the AQUA equation of state database to simplify the internal structure calculation. Some speculations concerning the effect of $\mathrm{H_2}$ admixture, silicate cores and hot vs. cold start evolution trajectories are offered. Observational implications are discussed, though the search for the mass-radius signature of the phenomena considered is limited by degeneracies and by lack of data.


title: AIDA: Analytic Isolation and Distance-based Anomaly Detection Algorithm

abstract: We combine the metrics of distance and isolation to develop the Analytic Isolation and Distance-based Anomaly (AIDA) detection algorithm. AIDA is the first distance-based method that does not rely on the concept of nearest-neighbours, making it a parameter-free model. Differently from the prevailing literature, in which the isolation metric is always computed via simulations, we show that AIDA admits an analytical expression for the outlier score, providing new insights into the isolation metric. Additionally, we present an anomaly explanation method based on AIDA, the Tempered Isolation-based eXplanation (TIX) algorithm, which finds the most relevant outlier features even in data sets with hundreds of dimensions. We test both algorithms on synthetic and empirical data: we show that AIDA is competitive when compared to other state-of-the-art methods, and it is superior in finding outliers hidden in multidimensional feature subspaces. Finally, we illustrate how the TIX algorithm is able to find outliers in multidimensional feature subspaces, and use these explanations to analyze common benchmarks used in anomaly detection.


title: On the cohomology of character stacks for non-orientable surfaces

abstract: We give a counterexample to a formula suggested by the work of Letellier and Rodriguez-Villegas (arXiv:2008.13435) for the mixed Poincar\'e series of character stacks for non-orientable surfaces. The counterexample is obtained by an explicit description of these character stacks for (real) elliptic curves.


title: Broadband Coherent Wave Control Through Photonic Collisions at Time Interfaces

abstract: Coherent wave control exploits the interference among multiple waves impinging on a system to suppress or enhance outgoing signals based on their relative phase and amplitude. This process inherently requires non-Hermiticity, in order to enable energy exchanges among the waves, and spatial interfaces in order to tailor their scattering. Here we explore the temporal analogue of this phenomenon, based on time-interfaces that support instantaneous non-Hermitian scattering events for photons analogous to mechanical collisions. Based on this mechanism, we demonstrate ultra-broadband temporal coherent wave control and photonic collisions with phase-tunable elastic features, and apply them to erase, enhance and reshape arbitrary pulses by suitably tailoring the amplitude and phase of counterpropagating signals. Our findings provide a pathway to effectively sculpt broadband light with light without requiring spatial boundaries, within an ultrafast and low-energy platform.


title: Spuriosity Rankings: Sorting Data to Measure and Mitigate Biases

abstract: We present a simple but effective method to measure and mitigate model biases caused by reliance on spurious cues. Instead of requiring costly changes to one's data or model training, our method better utilizes the data one already has by sorting them. Specifically, we rank images within their classes based on spuriosity (the degree to which common spurious cues are present), proxied via deep neural features of an interpretable network. With spuriosity rankings, it is easy to identify minority subpopulations (i.e. low spuriosity images) and assess model bias as the gap in accuracy between high and low spuriosity images. One can even efficiently remove a model's bias at little cost to accuracy by finetuning its classification head on low spuriosity images, resulting in fairer treatment of samples regardless of spuriosity. We demonstrate our method on ImageNet, annotating $5000$ class-feature dependencies ($630$ of which we find to be spurious) and generating a dataset of $325k$ soft segmentations for these features along the way. Having computed spuriosity rankings via the identified spurious neural features, we assess biases for $89$ diverse models and find that class-wise biases are highly correlated across models. Our results suggest that model bias due to spurious feature reliance is influenced far more by what the model is trained on than how it is trained.


title: Thales: Formulating and Estimating Architectural Vulnerability Factors for DNN Accelerators

abstract: As Deep Neural Networks (DNNs) are increasingly deployed in safety critical and privacy sensitive applications such as autonomous driving and biometric authentication, it is critical to understand the fault-tolerance nature of DNNs. Prior work primarily focuses on metrics such as Failures In Time (FIT) rate and the Silent Data Corruption (SDC) rate, which quantify how often a device fails. Instead, this paper focuses on quantifying the DNN accuracy given that a transient error has occurred, which tells us how well a network behaves when a transient error occurs. We call this metric Resiliency Accuracy (RA). We show that existing RA formulation is fundamentally inaccurate, because it incorrectly assumes that software variables (model weights/activations) have equal faulty probability under hardware transient faults. We present an algorithm that captures the faulty probabilities of DNN variables under transient faults and, thus, provides correct RA estimations validated by hardware. To accelerate RA estimation, we reformulate RA calculation as a Monte Carlo integration problem, and solve it using importance sampling driven by DNN specific heuristics. Using our lightweight RA estimation method, we show that transient faults lead to far greater accuracy degradation than what todays DNN resiliency tools estimate. We show how our RA estimation tool can help design more resilient DNNs by integrating it with a Network Architecture Search framework.


title: Gas dynamical friction as a binary formation mechanism in AGN discs

abstract: In this paper, we study how gaseous dynamical friction (DF) affects the motion of fly-by stellar-mass black holes (sBHs) embedded in active galactic nucleus (AGN) discs. We perform 3-body integrations of the interaction of two co-planar sBHs in nearby, initially circular orbits around the supermassive black hole (SMBH). We find that DF can facilitate the formation of gravitationally bound near-Keplerian binaries in AGN discs, and we delineate the discrete ranges of impact parameters and AGN disc parameters for which such captures occur. We also report trends in the bound binaries' eccentricity and sense of rotation (prograde or retrograde with respect to the background AGN disc) as a function of the impact parameter of the initial encounter. While based on an approximate description of gaseous friction, our results suggest that binary formation in AGN discs should be common and may produce both prograde and retrograde, as well as both circular and eccentric binaries.


title: Explaining Link Predictions in Knowledge Graph Embedding Models with Influential Examples

abstract: We study the problem of explaining link predictions in the Knowledge Graph Embedding (KGE) models. We propose an example-based approach that exploits the latent space representation of nodes and edges in a knowledge graph to explain predictions. We evaluated the importance of identified triples by observing progressing degradation of model performance upon influential triples removal. Our experiments demonstrate that this approach to generate explanations outperforms baselines on KGE models for two publicly available datasets.


title: Discovering the mesoscale for chains of conflict

abstract: Conflicts, like many social processes, are related events that span multiple scales in time, from the instantaneous to multi-year developments, and in space, from one neighborhood to continents. Yet, there is little systematic work on connecting the multiple scales, formal treatment of causality between events, and measures of uncertainty for how events are related to one another. We develop a method for extracting related chains of events that addresses these limitations with armed conflict. Our method explicitly accounts for an adjustable spatial and temporal scale of interaction for clustering individual events from a detailed data set, the Armed Conflict Event & Location Data Project. With it, we discover a mesoscale ranging from a week to a few months and from tens to a few hundred kilometers, where long-range correlations and nontrivial dynamics relating conflict events emerge. Importantly, clusters in the mesoscale, while extracted only from conflict statistics, are identifiable with causal mechanism cited in field studies. We leverage our technique to identify zones of causal interaction around conflict hotspots that naturally incorporate uncertainties. Thus, we show how a systematic, data-driven procedure extracts social objects for study, providing a scope for scrutinizing and predicting conflict amongst other processes.

categories: physics.soc-ph cond-mat.stat-mech nlin.AO stat.AP


title: Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

abstract: We explore new interactions between finite model theory and a number of classical streams of universal algebra and semigroup theory. A key result is an example of a finite algebra whose variety is not finitely axiomatisable in first order logic, but which has first order definable finite membership problem. This algebra witnesses the simultaneous failure of the {\L}os-Tarski Theorem, the SP-preservation theorem and Birkhoff's HSP-preservation theorem at the finite level as well as providing a negative solution to a first order formulation of the long-standing Eilenberg Sch\"utzenberger problem. The example also shows that a pseudovariety without any finite pseudo-identity basis may be finitely axiomatisable in first order logic. Other results include the undecidability of deciding first order definability of the pseudovariety of a finite algebra and a mapping from any fixed template constraint satisfaction problem to a first order equivalent variety membership problem, thereby providing examples of variety membership problems complete in each of the classes $\texttt{L}$, $\texttt{NL}$, $\texttt{Mod}_p(\texttt{L})$, $\texttt{P}$, and infinitely many others (depending on complexity-theoretic assumptions).


title: An analytical form of the dispersion function for local linear gyrokinetics in a curved magnetic field

abstract: Starting from the equations of collisionless linear gyrokinetics for magnetised plasmas with an imposed inhomogeneous magnetic field, we present the first known analytical, closed-form solution for the resulting velocity-space integrals in the presence of resonances due to both parallel streaming and constant magnetic drifts. These integrals are written in terms of the well-known plasma dispersion function (Faddeeva & Terentev 1954; Fried & Conte 1961), rendering the subsequent expressions simpler to treat analytically and more efficient to compute numerically. We demonstrate that our results converge to the well-known ones in the straight-magnetic-field and two-dimensional limits, and show good agreement with the numerical solver by G\"urcan (2014). By way of example, we calculate the exact dispersion relation for a simple electrostatic, ion-temperature-gradient-driven instability, and compare it with approximate kinetic and fluid models.


title: Triangular norms on bounded trellises

abstract: In this paper, we introduce the notion of a t-norm on bounded pseudo-ordered sets and in particular on bounded trellises (also known as weakly associative lattices), and provide some basic examples. The impact of abandoning transitivity is considerable: on a proper bounded trellis, the meet operation is not a t-norm, and there might actually exist no or even multiple maximal t-norms. We provide a first generic construction method that allows to extend a t-norm on an interior range of a given $\meet$-semi-trellis to the entire $\meet$-semi-trellis. Also, we discuss at length an instantiation of this method based on a particular interior range, namely a finite sub-trellis of the set of right-transitive elements of a given trellis. We pay specific attention to bounded pseudo-chains and modular trellises.


title: Phonon-mediated strong coupling between a three-dimensional topological insulator and a two-dimensional antiferromagnetic material

abstract: Van der Waals antiferromagnetic and topological insulator materials provide powerful platforms for modern optical, electronic, and spintronic devices applications. The interaction between an antiferromagnet (AFM) and a topological insulator (TI), if sufficiently strong, could offer emergent hybrid material properties that enable new functionality exceeding what is possible in any individual material constituent. In this work, we study strong coupling between THz excitations in a three dimensional (3D) topological insulator and a quasi-two dimensional (2D) antiferromagnetic material resulting in a new hybridized mode, namely a surface Dirac plasmon-phonon-magnon polariton. We find that the interaction between a surface Dirac plasmon polariton in the 3D TI and a magnon polariton in the 2D AFM is mediated by the phonon coupling in the 3D TI material. The coupling of phonons with an electromagnetic wave propagating in the 3D TI enhances the permittivity of the TI thin film in a way that results in a strong correlation between the dispersion of Dirac plasmon polaritons on the surfaces of the TI with the thickness of the TI. As a result, the dispersion of surface Dirac plasmon polaritons in the TI can be tuned toward resonance with the magnon polariton in the AFM material by varying the TI's thickness, thereby enhancing the strength of the coupling between the excitations in the two materials. The strength of this coupling, which results in the surface Dirac plasmon-phonon-magnon polariton, can be parameterized by the amplitude of the avoided-crossing splitting between the two polariton branches at the magnon resonance frequency...


title: Superconducting diode from flux biased Josephson junction arrays

abstract: We propose a realization of the superconducting diode effect in flux biased superconducting circuits of Josephson junctions. So far the observation of the superconducting diode effect has been limited to rather exotic material platforms. In theoretical proposals, it relied on a non-sinusoidal form of the current phase relation of Josephson junctions. Here, we show how the diode effect can be engineered in superconducting circuits without any such requirements. The only necessary ingredients are standard sinusoidal Josephson junctions and flux bias lines that are readily available in scalable industrial silicon-chip based superconducting design processes.


title: Better Together: pooling information in likelihood-free inference

abstract: Likelihood-free inference (LFI) methods, such as Approximate Bayesian computation (ABC), are now routinely applied to conduct inference in complex models. While the application of LFI is now commonplace, the choice of which summary statistics to use in the construction of the posterior remains an open question that is fraught with both practical and theoretical challenges. Instead of choosing a single vector of summaries on which to base inference, we suggest a new pooled posterior and show how to optimally combine inferences from different LFI posteriors. This pooled approach to inference obviates the need to choose a single vector of summaries, or even a single LFI algorithm, and delivers guaranteed inferential accuracy without requiring the computational resources associated with sampling LFI posteriors in high-dimensions. We illustrate this approach through a series of benchmark examples considered in the LFI literature.


title: Continual learning on deployment pipelines for Machine Learning Systems

abstract: Following the development of digitization, a growing number of large Original Equipment Manufacturers (OEMs) are adapting computer vision or natural language processing in a wide range of applications such as anomaly detection and quality inspection in plants. Deployment of such a system is becoming an extremely important topic. Our work starts with the least-automated deployment technologies of machine learning systems includes several iterations of updates, and ends with a comparison of automated deployment techniques. The objective is, on the one hand, to compare the advantages and disadvantages of various technologies in theory and practice, so as to facilitate later adopters to avoid making the generalized mistakes when implementing actual use cases, and thereby choose a better strategy for their own enterprises. On the other hand, to raise awareness of the evaluation framework for the deployment of machine learning systems, to have more comprehensive and useful evaluation metrics (e.g. table 2), rather than only focusing on a single factor (e.g. company cost). This is especially important for decision-makers in the industry.


title: Wavelet-based resolvent analysis for statistically-stationary and temporally-evolving flows

abstract: This work introduces a formulation of resolvent analysis that uses wavelet transforms rather than Fourier transforms in time. This allows resolvent analysis to be extended to turbulent flows with non-stationary means in addition to statistically-stationary flows. The optimal resolvent modes for this formulation correspond to the potentially time-transient structures that are most amplified by the linearized Navier-Stokes operator. We validate this methodology for turbulent channel flow and show that the wavelet-based and Fourier-based resolvent analyses are equivalent for statistically-stationary flows. We then apply the wavelet-based resolvent analysis to study the transient growth mechanism in the buffer layer of a turbulent channel flow by windowing the resolvent operator in time and frequency. The method is also applied to temporally-evolving parallel shear flows such as an oscillating boundary layer and three-dimensional channel flow, in which a lateral pressure gradient perturbs a fully-developed turbulent flow in a channel.


title: Learning Trust Over Directed Graphs in Multiagent Systems (extended version)

abstract: We address the problem of learning the legitimacy of other agents in a multiagent network when an unknown subset is comprised of malicious actors. We specifically derive results for the case of directed graphs and where stochastic side information, or observations of trust, is available. We refer to this as ``learning trust'' since agents must identify which neighbors in the network are reliable, and we derive a protocol to achieve this. We also provide analytical results showing that under this protocol i) agents can learn the legitimacy of all other agents almost surely, and that ii) the opinions of the agents converge in mean to the true legitimacy of all other agents in the network. Lastly, we provide numerical studies showing that our convergence results hold in practice for various network topologies and variations in the number of malicious agents in the network.


title: Branch-Cut Cosmology and the Bekenstein Criterion

abstract: In this contribution we address the implications of the Bekenstein Criterion in the branch-cut cosmology. The impossibility of packaging energy and entropy according to the Bekenstein Criterion in a finite size makes the transition phase of the branch-cut cosmology very peculiar, imposing a topological leap between the contraction and expansion phases of the primordial universe or a transition region similar to a wormhole, with space-time shaping itself topologically in the format of a helix-format around a branch point. Singularity means that there is no way for space-time to begin smoothly. The branch-cut cosmology alternatively proposes a non-temporal beginning at all, a pure space configuration, through a Wick rotation which replaces the imaginary time component by the temperature, the cosmological time.


title: Efficient Malware Analysis Using Metric Embeddings

abstract: In this paper, we explore the use of metric learning to embed Windows PE files in a low-dimensional vector space for downstream use in a variety of applications, including malware detection, family classification, and malware attribute tagging. Specifically, we enrich labeling on malicious and benign PE files using computationally expensive, disassembly-based malicious capabilities. Using these capabilities, we derive several different types of metric embeddings utilizing an embedding neural network trained via contrastive loss, Spearman rank correlation, and combinations thereof. We then examine performance on a variety of transfer tasks performed on the EMBER and SOREL datasets, demonstrating that for several tasks, low-dimensional, computationally efficient metric embeddings maintain performance with little decay, which offers the potential to quickly retrain for a variety of transfer tasks at significantly reduced storage overhead. We conclude with an examination of practical considerations for the use of our proposed embedding approach, such as robustness to adversarial evasion and introduction of task-specific auxiliary objectives to improve performance on mission critical tasks.


title: Structural transformation and environmental externalities

abstract: Even as policymakers seek to encourage economic development by addressing misallocation due to frictions in labor markets, the associated production externalities - such as air pollution - remain unexplored. Using a regression discontinuity design, we show access to rural roads increases agricultural fires and particulate emissions. Farm labor exits are a likely mechanism responsible for the increase in agricultural fires: rural roads cause movement of workers out of agriculture and induce farmers to use fire - a labor-saving but polluting technology - to clear agricultural residue or to make harvesting less labor-intensive. Overall, the adoption of fires due to rural roads increases infant mortality rate by 5.5% in downwind locations.


title: Matrix factorizations and $gl(m|k)$-quantum invariants

abstract: In our previous papers we used the Hilbert scheme of points on $C^2$ in order to construct a triply graded link homology and its $gl(m)$ version. Here we extend the $gl(m)$ construction to super-algebras $gl(m|k)$.


title: Transformers for End-to-End InfoSec Tasks: A Feasibility Study

abstract: In this paper, we assess the viability of transformer models in end-to-end InfoSec settings, in which no intermediate feature representations or processing steps occur outside the model. We implement transformer models for two distinct InfoSec data formats - specifically URLs and PE files - in a novel end-to-end approach, and explore a variety of architectural designs, training regimes, and experimental settings to determine the ingredients necessary for performant detection models. We show that in contrast to conventional transformers trained on more standard NLP-related tasks, our URL transformer model requires a different training approach to reach high performance levels. Specifically, we show that 1) pre-training on a massive corpus of unlabeled URL data for an auto-regressive task does not readily transfer to binary classification of malicious or benign URLs, but 2) that using an auxiliary auto-regressive loss improves performance when training from scratch. We introduce a method for mixed objective optimization, which dynamically balances contributions from both loss terms so that neither one of them dominates. We show that this method yields quantitative evaluation metrics comparable to that of several top-performing benchmark classifiers. Unlike URLs, binary executables contain longer and more distributed sequences of information-rich bytes. To accommodate such lengthy byte sequences, we introduce additional context length into the transformer by providing its self-attention layers with an adaptive span similar to Sukhbaatar et al. We demonstrate that this approach performs comparably to well-established malware detection models on benchmark PE file datasets, but also point out the need for further exploration into model improvements in scalability and compute efficiency.


title: The PHANGS-JWST Treasury Survey: Star Formation, Feedback, and Dust Physics at High Angular resolution in Nearby GalaxieS

abstract: The PHANGS collaboration has been building a reference dataset for the multi-scale, multi-phase study of star formation and the interstellar medium in nearby galaxies. With the successful launch and commissioning of JWST, we can now obtain high-resolution infrared imaging to probe the youngest stellar populations and dust emission on the scales of star clusters and molecular clouds ($\sim$5-50 pc). In Cycle 1, PHANGS is conducting an 8-band imaging survey from 2-21$\mu$m of 19 nearby spiral galaxies. CO(2-1) mapping, optical integral field spectroscopy, and UV-optical imaging for all 19 galaxies have been obtained through large programs with ALMA, VLT/MUSE, and Hubble. PHANGS-JWST enables a full inventory of star formation, accurate measurement of the mass and age of star clusters, identification of the youngest embedded stellar populations, and characterization of the physical state of small dust grains. When combined with Hubble catalogs of $\sim$10,000 star clusters, MUSE spectroscopic mapping of $\sim$20,000 HII regions, and $\sim$12,000 ALMA-identified molecular clouds, it becomes possible to measure the timescales and efficiencies of the earliest phases of star formation and feedback, build an empirical model of the dependence of small dust grain properties on local ISM conditions, and test our understanding of how dust-reprocessed starlight traces star formation activity, all across a diversity of galactic environments. Here we describe the PHANGS-JWST Treasury survey, present the remarkable imaging obtained in the first few months of science operations, and provide context for the initial results presented in the first series of PHANGS-JWST publications.


title: On finding hamiltonian cycles in Barnette graphs

abstract: In this paper, we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. Moreover, we show that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.


title: Quantum-Inspired Optimization over Permutation Groups

abstract: Quantum-inspired optimization (QIO) algorithms are computational techniques that emulate certain quantum mechanical effects on a classical hardware to tackle a class of optimization tasks. QIO methods have so far been employed to solve various binary optimization problems and a significant (polynomial) computational speedup over traditional techniques has also been reported. In this work, we develop an algorithmic framework, called Perm-QIO, to tailor QIO tools to directly solve an arbitrary optimization problem, where the domain of the underlying cost function is defined over a permutation group. Such problems are not naturally recastable to a binary optimization and, therefore, are not necessarily within the scope of direct implementation of traditional QIO tools. We demonstrate the efficacy of Perm-QIO in leveraging the structure of cost-landscape to find high-quality solutions for a class of vehicle routing problems that belong to the category of non-trivial combinatorial optimization over the space of permutations.


title: Causality and the Arrow of Time in the Branch-Cut Cosmology

abstract: We basis our initial analysis of the arrow of time on a relationship between the time evolution operator of quantum system and the time-independent density operator which describes the equilibrium state of a many-particle system at temperature $T$. We highlight through this analysis the identification of the imaginary temporal component of the branch-cut complex cosmic form factor with the direction in which the time-parameter flows globally, or the arrow of time. As a novelty, in this work we calculate the number of branches in the branch-cut universe to achieve causality involving the global time of evolution of the universe and the local time of travel of the light around each Hubble horizon. The preliminary result obtained is comparable to 60 e-folds of contraction in the FLRW cosmic scale factor $a(t) $ to overcome causality achieved in the bouncing model.


title: Visibility-Aware Navigation Among Movable Obstacles

abstract: In this paper, we examine the problem of visibility-aware robot navigation among movable obstacles (VANAMO). A variant of the well-known NAMO robotic planning problem, VANAMO puts additional visibility constraints on robot motion and object movability. This new problem formulation lifts the restrictive assumption that the map is fully visible and the object positions are fully known. We provide a formal definition of the VANAMO problem and propose the Look and Manipulate Backchaining (LaMB) algorithm for solving such problems. LaMB has a simple vision-based API that makes it more easily transferable to real-world robot applications and scales to the large 3D environments. To evaluate LaMB, we construct a set of tasks that illustrate the complex interplay between visibility and object movability that can arise in mobile base manipulation problems in unknown environments. We show that LaMB outperforms NAMO and visibility-aware motion planning approaches as well as simple combinations of them on complex manipulation problems with partial observability.


title: Correlated-photon imaging at 10 volumetric images per second

abstract: The correlation properties of light provide an outstanding tool to overcome the limitations of traditional imaging techniques. A relevant case is represented by correlation plenoptic imaging (CPI), a quantum-inspired volumetric imaging protocol employing spatio-temporally correlated photons from either entangled or chaotic sources to address the main limitations of conventional light-field imaging, namely, the poor spatial resolution and the reduced change of perspective for 3D imaging. However, the application potential of high-resolution imaging modalities relying on photon correlations is limited, in practice, by the need to collect a large number of frames. This creates a gap, unacceptable for many relevant tasks, between the time performance of correlated-light imaging and that of traditional imaging methods. In this article, we address this issue by exploiting the photon number correlations intrinsic in chaotic light, combined with a cutting-edge ultrafast sensor made of a large array of single-photon avalanche diodes (SPADs). This combination of source and sensor is embedded within a novel single-lens CPI scheme enabling to acquire 10 volumetric images per second. Our results place correlated-photon imaging at a competitive edge and prove its potential in practical applications.


title: Cascading of Nanomechanical Resonator Logic

abstract: Nanomechanical systems have been proposed as an alternative computing platform for high radiation environments, where semiconductor electronics traditionally fail, as well as to allow improved gate densities and energy consumption. While there have been numerous demonstrations of individual nanomechanical logic gates leveraging the Duffing nonlinearity, the development of useful nanomechanical logic circuits depends strongly on the ability to cascade multiple logic gates. Here we show theoretically that cascading nanomechanical logic gates, where the output of one gate is fed into the input of another, is a complex problem due to the transient dynamics of the collective system. These transient behaviours can lead to undesired bit flips, which precludes cascading altogether. We then show that this issue can be circumvented by carefully initialising the system prior to computation. We illustrate these salient features through the modelled dynamics of two cascaded nanomechanical NAND gates.


title: Good Practices and Common Pitfalls in Climate Time Series Changepoint Techniques: A Review

abstract: Climate changepoint (homogenization) methods abound today, with a myriad of techniques existing in both the climate and statistics literature. Unfortunately, the appropriate changepoint technique to use remains unclear to many. Further complicating issues, changepoint conclusions are not robust to small perturbations in assumptions; for example, allowing for a trend or correlation in the series can drastically change conclusions. This paper is a review of the changepoint topic, with an emphasis on illuminating the models and techniques that allow the scientist to make reliable conclusions. Pitfalls to avoid are demonstrated via actual applications. The discourse begins by narrating the salient statistical features of most climate time series. Thereafter, single and multiple changepoint problems are considered. Several pitfalls are discussed en route and good practices are recommended. While the majority of our applications involve temperature series, other settings are mentioned.


title: Attend Who is Weak: Pruning-assisted Medical Image Localization under Sophisticated and Implicit Imbalances

abstract: Deep neural networks (DNNs) have rapidly become a \textit{de facto} choice for medical image understanding tasks. However, DNNs are notoriously fragile to the class imbalance in image classification. We further point out that such imbalance fragility can be amplified when it comes to more sophisticated tasks such as pathology localization, as imbalances in such problems can have highly complex and often implicit forms of presence. For example, different pathology can have different sizes or colors (w.r.t.the background), different underlying demographic distributions, and in general different difficulty levels to recognize, even in a meticulously curated balanced distribution of training data. In this paper, we propose to use pruning to automatically and adaptively identify \textit{hard-to-learn} (HTL) training samples, and improve pathology localization by attending them explicitly, during training in \textit{supervised, semi-supervised, and weakly-supervised} settings. Our main inspiration is drawn from the recent finding that deep classification models have difficult-to-memorize samples and those may be effectively exposed through network pruning \cite{hooker2019compressed} - and we extend such observation beyond classification for the first time. We also present an interesting demographic analysis which illustrates HTLs ability to capture complex demographic imbalances. Our extensive experiments on the Skin Lesion Localization task in multiple training settings by paying additional attention to HTLs show significant improvement of localization performance by $\sim$2-3\%.


title: Short-time scales in the Kramers problem: past, present, future (review and roadmap dedicated to the 95th birthday of Emmanuel Rashba)

abstract: The problem of noise-induced transitions is often associated with Hendrik Kramers due to his seminal paper of 1940, where an archetypal example - one-dimensional potential system subject to linear damping and weak white noise - was considered and the quasi-stationary rate of escape over a potential barrier was estimated for the ranges of extremely small and moderate-to-large damping. The gap between these ranges was covered in the 80th by one of Rashba's favourite disciples Vladimir Ivanovich Mel'nikov. It is natural to pose a question: how does the escape rate achieve the quasi-stationary stage? At least in case of a single potential barrier, the answer seems to be obvious: the escape rate should smoothly and monotonously grow from zero at the initial instant to the quasi-stationary value at time-scales of the order of the time required for the formation of the quasi-stationary distribution within the potential well. Such answer appeared to be confirmed with the analytic work of Vitaly Shneidman in 1997. However our works in the end of the 90th and in the beginning of the 2000th in collaboration with one more Rashba's favorite disciple Valentin Ivanovich Sheka and with Riccardo Mannella showed that, at a shorter time-scale, namely that of the order of the period of natural oscillations in the potential well, the escape rate growth generically occured stepwise or even in an oscillatory manner. Analytic results were confirmed with computer simulations. In the present paper, we review those results and provide a roadmap for the development of the subject, in particular demonstrating that various recently exploited experimental systems are excellent candidates for the observation of the above non-trivial theoretical predictions and, moreover, they promise useful applications.

categories: cond-mat.stat-mech cond-mat.mes-hall physics.app-ph physics.class-ph


title: SDSS-IV MaNGA: How Galaxy Interactions Influence Active Galactic Nuclei

abstract: We present a comparative study of active galactic nuclei (AGN) between galaxy pairs and isolated galaxies with the final data release of the MaNGA integral field spectroscopic survey. We build a sample of 391 kinematic galaxy pairs within the footprint of the survey and select AGN using the survey's spectra. We use the comoving volume densities of the AGN samples to quantify the effects that tidal interactions have on the triggering of nuclear accretion. Our hypothesis is that the pair sample contains AGN that are triggered by not only stochastic accretion but also tidally induced accretion and correlated accretion. With the level of stochastically triggered AGN fixed by the control sample, we model the strength of tidally induced accretion and correlated accretion as a function of projected separation (rp) and compare the model expectations with the observed volume densities of dual AGN and offset AGN (single AGN in a pair). At rp ~ 10 kpc, we find that tidal interactions induce ~30% more AGN than stochastic fueling and cause ~12% of the offset AGN to become dual AGN because of correlations. The strength of both these effects decreases with increasing rp. We also find that the OIII luminosities of the AGN in galaxy pairs are consistent with those found in isolated galaxies, likely because stochastically fed AGN dominate even among close pairs. Our results illustrates that while we can detect tidally induced effects statistically, it is challenging to separate tidally induced AGN and stochastically triggered AGN in interacting galaxies.


title: Probability Distribution Functions of Solar and Stellar Flares

abstract: We studied the soft X-ray data of solar flares and found that the distribution functions of flare fluence are successfully modeled by tapered power law or gamma function distributions whose power exponent is slightly smaller than 2, indicating that the total energy of the flare populations is mostly contributed from a small number of large flares. The largest possible solar flares in 1000 years are predicted to be around X70 in terms of the GOES flare class. We also studied superflares (more energetic than solar flares) from solar-type stars, and found that their power exponent in the fitting of the gamma function distribution is around 1.05, much flatter than solar flares. The distribution function of stellar flare energy extrapolated downward does not connect to the distribution function of solar flare energy.


title: Self-supervised Graph Representation Learning for Black Market Account Detection

abstract: Nowadays, Multi-purpose Messaging Mobile App (MMMA) has become increasingly prevalent. MMMAs attract fraudsters and some cybercriminals provide support for frauds via black market accounts (BMAs). Compared to fraudsters, BMAs are not directly involved in frauds and are more difficult to detect. This paper illustrates our BMA detection system SGRL (Self-supervised Graph Representation Learning) used in WeChat, a representative MMMA with over a billion users. We tailor Graph Neural Network and Graph Self-supervised Learning in SGRL for BMA detection. The workflow of SGRL contains a pretraining phase that utilizes structural information, node attribute information and available human knowledge, and a lightweight detection phase. In offline experiments, SGRL outperforms state-of-the-art methods by 16.06%-58.17% on offline evaluation measures. We deploy SGRL in the online environment to detect BMAs on the billion-scale WeChat graph, and it exceeds the alternative by 7.27% on the online evaluation measure. In conclusion, SGRL can alleviate label reliance, generalize well to unseen data, and effectively detect BMAs in WeChat.


title: Bounded arbitrage and nearly rational behavior

abstract: We establish the equivalence between a principle of almost absence of arbitrage opportunities and nearly rational decision-making. The implications of such principle are considered in the context of the aggregation of probabilistic opinions and of stochastic choice functions. In the former a bounded arbitrage principle and its equivalent form as an approximately Pareto condition are shown to bound the difference between the collective probabilistic assessment of a set of states and a linear aggregation rule on the individual assessments. In the latter we show that our general principle of limited arbitrage opportunities translates into a weakening of the McFadden-Richter axiom of stochastic rationality, and gives an upper bound for the minimum distance of a stochastic choice function to another in the class of random utility maximization models.


title: Model-independent determination of nuclear weak form factors and implications for Standard Model precision tests

abstract: We analyze the recoil corrections in superallowed beta decays of $T=1$, $J^P=0^+$ nuclei by fixing the mean square charge weak radius model-independently using the data of multiple charge radii across the nuclear isotriplet. By comparing to model estimations, we argue that the existing theory uncertainty in the statistical rate function $f$ might have been substantially underestimated. We discuss the implications of our proposed strategy for precision tests of Standard Model, including a potential alleviation of the first-row CKM unitarity deficit, and motivate new experiments for charge radii measurements.


title: A New Locally Divergence-Free Path-Conservative Central-Upwind Scheme for Ideal and Shallow Water Magnetohydrodynamics

abstract: We develop a new second-order unstaggered path-conservative central-upwind (PCCU) scheme for ideal and shallow water magnetohydrodynamics (MHD) equations. The new scheme possesses several important properties: it locally preserves the divergence-free constraint, it does not rely on any (approximate) Riemann problem solver, and it robustly produces high-resolution and non-oscillatory results. The derivation of the scheme is based on the Godunov-Powell nonconservative modifications of the studied MHD systems. The local divergence-free property is enforced by augmenting the modified systems with the evolution equations for the corresponding derivatives of the magnetic field components. These derivatives are then used to design a special piecewise linear reconstruction of the magnetic field, which guarantees a non-oscillatory nature of the resulting scheme. In addition, the proposed PCCU discretization accounts for the jump of the nonconservative product terms across cell interfaces, thereby ensuring stability. We test the proposed PCCU scheme on several benchmarks for both ideal and shallow water MHD systems. The obtained numerical results illustrate the performance of the new scheme, its robustness, and its ability not only to achieve high resolution, but also preserve the positivity of computed quantities such as density, pressure, and water depth.


title: A Visually Classified Spectroscopic Object Catalog for SDSS-IV MaNGA

abstract: We provide a catalog of visually classified objects in the MaNGA integral field spectroscopic survey. The MaNGA survey is designed to target a single galaxy with each of its integral field units; however, many of these fields will host ancillary objects. We identify these discrete objects by cleaning up SDSS photometric objects in MaNGA's fields-of-view. We then use the spectra from MaNGA's data cubes to spectrally classify the identified objects. The catalog contains the positions and classifications of 1385 stars, 11,439 galaxies, and 107 broad-line active galactic nucleus (BLAGN) from the 10,130 unique MaNGA fields. We also provide spectroscopically derived parameters for the galaxies including; stellar masses, gas and stellar kinematics, and emission-line fluxes and equivalent widths. This catalog effectively expands the size of the MaNGA catalog by ~50%, increasing the utility of the MaNGA project.


title: Codex Hacks HackerRank: Memorization Issues and a Framework for Code Synthesis Evaluation

abstract: The Codex model has demonstrated extraordinary competence in synthesizing code from natural language problem descriptions. However, in order to reveal unknown failure modes and hidden biases, such large-scale models must be systematically subjected to multiple and diverse evaluation studies. In this work, we evaluate the code synthesis capabilities of the Codex model based on a set of 115 Python problem statements from a popular competitive programming portal: HackerRank. Our evaluation shows that Codex is indeed proficient in Python, solving 96% of the problems in a zero-shot setting, and 100% of the problems in a few-shot setting. However, Codex exhibits clear signs of generating memorized code based on our evaluation. This is alarming, especially since the adoption and use of such models could directly impact how code is written and produced in the foreseeable future. With this in mind, we further discuss and highlight some of the prominent risks associated with large-scale models of source code. Finally, we propose a framework for code-synthesis evaluation using variations of problem statements based on mutations.


title: The nonlocal dispersal equation with seasonal succession

abstract: In this paper, we focus on the nonlocal dispersal monostable equation with seasonal succession, which can be used to describe the dynamics of species in an environment alternating between bad and good seasons. We first prove the existence and uniqueness of global positive solution, and then discuss the long time behaviors of solution. It is shown that its dynamics is completely determined by the sign of the principal eigenvalue, i.e., the time periodic problem has no positive solution and the solution of the initial value problem tends to zero when principal eigenvalue is non-negative, while the time periodic positive solution exists uniquely and is globally asymptotically stable when principal eigenvalue is negative.