title: Gauss-Newton oriented greedy algorithms for the reconstruction of operators in nonlinear dynamics

abstract: This paper is devoted to the development and convergence analysis of greedy reconstruction algorithms based on the strategy presented in [Y. Maday and J. Salomon, Joint Proceedings of the 48th IEEE Conference on Decision and Control and the 28th Chinese Control Conference, 2009, pp. 375--379]. These procedures allow the design of a sequence of control functions that ease the identification of unknown operators in nonlinear dynamical systems. The original strategy of greedy reconstruction algorithms is based on an offline/online decomposition of the reconstruction process and an ansatz for the unknown operator obtained by an a priori chosen set of linearly independent matrices. In the previous work [S. Buchwald, G. Ciaramella and J. Salomon, SIAM J. Control Optim., 59(6), pp. 4511-4537], convergence results were obtained in the case of linear identification problems. We tackle here the more general case of nonlinear systems. More precisely, we introduce a new greedy algorithm based on the linearized system. Then, we show that the controls obtained with this new algorithm lead to the local convergence of the classical Gauss-Newton method applied to the online nonlinear identification problem. We then extend this result to the controls obtained on nonlinear systems where a local convergence result is also proved. The main convergence results are obtained for the reconstruction of drift operators in dynamical systems with linear and bilinear control structures.


title: Metawisdom of the Crowd: How Choice Within Aided Decision Making Can Make Crowd Wisdom Robust

abstract: Quality information can improve individual judgments but nonetheless fail to make group decisions more accurate; if individuals choose to attend to the same information in the same way, the predictive diversity that enables crowd wisdom may be lost. Decision support systems, from business intelligence software to public search engines, present individuals with decision aids -- discrete presentations of relevant information, interpretative frames, or heuristics -- to enhance the quality and speed of decision making, but have the potential to bias judgments through the selective presentation of information and interpretative frames. We redescribe the wisdom of the crowd as often having two decisions, the choice of decision aids and then the primary decision. We then define \emph{metawisdom of the crowd} as any pattern by which the collective choice of aids leads to higher crowd accuracy than randomized assignment to the same aids, a comparison that accounts for the information content of the aids. While choice is ultimately constrained by the setting, in two experiments -- the prediction of inflation (N=947, pre-registered) and a tightly controlled estimation game (N=1198) -- we find strong evidence of metawisdom. It comes about through diverse errors arising through the use of diverse aids, not through widespread use of the aids that induce the most accurate estimates. Thus the microfoundations of crowd wisdom appear in the first choice, suggesting crowd wisdom can be robust in information choice problems. Given the implications for collective decision making, more research on the nature and use of decision aids is needed.


title: When Do Program-of-Thoughts Work for Reasoning?

abstract: In the realm of embodied artificial intelligence, the reasoning capabilities of Large Language Models (LLMs) play a pivotal role. Although there are effective methods like program-of-thought prompting for LLMs which uses programming language to tackle complex reasoning tasks, the specific impact of code data on the improvement of reasoning capabilities remains under-explored. To address this gap, we propose complexity-impacted reasoning score (CIRS), which combines structural and logical attributes, to measure the correlation between code and reasoning abilities. Specifically, we use the abstract syntax tree to encode the structural information and calculate logical complexity by considering the difficulty and the cyclomatic complexity. Through an empirical analysis, we find not all code data of complexity can be learned or understood by LLMs. Optimal level of complexity is critical to the improvement of reasoning abilities by program-aided prompting. Then we design an auto-synthesizing and stratifying algorithm, and apply it to instruction generation for mathematical reasoning and code data filtering for code generation tasks. Extensive results demonstrates the effectiveness of our proposed approach. Code will be integrated into the EasyInstruct framework at https://github.com/zjunlp/EasyInstruct.


title: Pseudo-Boolean Polynomials Approach To Edge Detection And Image Segmentation

abstract: We introduce a deterministic approach to edge detection and image segmentation by formulating pseudo-Boolean polynomials on image patches. The approach works by applying a binary classification of blob and edge regions in an image based on the degrees of pseudo-Boolean polynomials calculated on patches extracted from the provided image. We test our method on simple images containing primitive shapes of constant and contrasting colour and establish the feasibility before applying it to complex instances like aerial landscape images. The proposed method is based on the exploitation of the reduction, polynomial degree, and equivalence properties of penalty-based pseudo-Boolean polynomials.


title: Convexity and rigidity of hypersurfaces in Cartan-Hadamard manifolds

abstract: We show that in Cartan-Hadamard manifolds $M^n$, $n\geq 3$, closed infinitesimally convex hypersurfaces $\Gamma$ bound convex flat regions, if curvature of $M^n$ vanishes on tangent planes of $\Gamma$. This encompasses Chern-Lashof characterization of convex hypersurfaces in Euclidean space, and some results of Greene-Wu-Gromov on rigidity of Cartan-Hadamard manifolds. It follows that closed simply connected surfaces in $M^3$ with minimal total absolute curvature bound Euclidean convex bodies, as stated by M. Gromov in 1985. The proofs employ the Gauss-Codazzi equations, a generalization of Schur comparison theorem to CAT($k$) spaces, and other techniques from Alexandrov geometry outlined by A. Petrunin.


title: Validation and Comparison of HI-STORM Overpack Thermal-Hydraulic Model with MOOSE and NekRS

abstract: Nuclear power is a significant source of electricity in the United States, but the average U.S. nuclear power plant is around 40 years old. Safe management of spent nuclear fuel (SNF) is a crucial aspect of the back end of the nuclear fuel cycle. SNF dry storage systems are increasingly popular as they represent an effective solution in this area, given the absence of a final disposal system. In particular, the spent fuel cask system (dry cask method) provides a feasible solution for maintaining SNF ($\sim$60 years) prior to the final disposal. The HI-STORM overpack and MPC-32 canister are the primary components of the HI-STORM 100 dry cask storage system. They remove heat from the system via natural circulation with no human intervention required. This characteristic provides passive heat removal while requiring little maintenance in dry cask storage systems. This project aims to validate and compare the capabilities of a thermal model of HI-STORM overpack developed using the Multiphysics Object-Oriented Simulation Environment (MOOSE) based on the author's previous study. MOOSE is an open-source framework developed by Idaho National Laboratory for multiscale, multiphysics simulations. This study will improve the capabilities of the thermal-hydraulic model of the HI-STORM dry cask storage system by producing high-fidelity results for the air circulation in the overpack. Large Eddy Simulations (LES) are performed using the open-source spectral element code NekRS, developed by Argonne National Laboratory (ANL), for simulating transitional and turbulent flows in complex geometries. NekRS will produce high-fidelity results for the HI-STORM overpack to assess the validity of the current thermal-hydraulic model.


title: Timely Multi-Goal Transmissions With an Intermittently Failing Sensor

abstract: A sensor observes a random phenomenon and transmits updates about the observed phenomenon to a remote monitor. The sensor may experience intermittent failures in which case the monitor will not receive any updates until the sensor has recovered. The monitor wants to keep a timely view of the observed process, as well as to detect any sensor failures, using the timings of the updates. We analyze this system model from a goal-oriented and semantic communication point of view, where the communication has multiple goals and multiple meanings/semantics. For the first goal, the performance is quantified by the age of information of the observed process at the monitor. For the second goal, the performance is quantified by the probability of error of the monitor's estimation of the sensor's failure status. Each arriving update packet brings both an information update and an indication about the sensor's status. The monitor estimates the failure status of the sensor by using the timings of the received updates. This estimation is subject to error, since a long period without any update receptions may be due to a low update rate or a failure of the sensor. We examine the trade-off between these two goals. We show that the probability of error of estimating a sensor failure decreases with increased update rate, however, the age of information is minimized with an intermediate update rate (not too low or high).


title: From SMOTE to Mixup for Deep Imbalanced Classification

abstract: Given imbalanced data, it is hard to train a good classifier using deep learning because of the poor generalization of minority classes. Traditionally, the well-known synthetic minority oversampling technique (SMOTE) for data augmentation, a data mining approach for imbalanced learning, has been used to improve this generalization. However, it is unclear whether SMOTE also benefits deep learning. In this work, we study why the original SMOTE is insufficient for deep learning, and enhance SMOTE using soft labels. Connecting the resulting soft SMOTE with Mixup, a modern data augmentation technique, leads to a unified framework that puts traditional and modern data augmentation techniques under the same umbrella. A careful study within this framework shows that Mixup improves generalization by implicitly achieving uneven margins between majority and minority classes. We then propose a novel margin-aware Mixup technique that more explicitly achieves uneven margins. Extensive experimental results demonstrate that our proposed technique yields state-of-the-art performance on deep imbalanced classification while achieving superior performance on extremely imbalanced data. The code is open-sourced in our developed package https://github.com/ntucllab/imbalanced-DL to foster future research in this direction.


title: Meta-learning for model-reference data-driven control

abstract: One-shot direct model-reference control design techniques, like the Virtual Reference Feedback Tuning (VRFT) approach, offer time-saving solutions for the calibration of fixed-structure controllers for dynamic systems. Nonetheless, such methods are known to be highly sensitive to the quality of the available data, often requiring long and costly experiments to attain acceptable closed-loop performance. These features might prevent the widespread adoption of such techniques, especially in low-data regimes. In this paper, we argue that the inherent similarity of many industrially relevant systems may come at hand, offering additional information from plants that are similar (yet not equal) to the system one aims to control. Assuming that this supplementary information is available, we propose a novel, direct design approach that leverages the data from similar plants, the knowledge of controllers calibrated on them, and the corresponding closed-loop performance to enhance model-reference control design. More specifically, by constructing the new controller as a combination of the available ones, our approach exploits all the available priors following a meta-learning philosophy, while ensuring non-decreasing performance. An extensive numerical analysis supports our claims, highlighting the effectiveness of the proposed method in achieving performance comparable to iterative approaches, while at the same time retaining the efficiency of one-shot direct data-driven methods like VRFT.


title: ParaGuide: Guided Diffusion Paraphrasers for Plug-and-Play Textual Style Transfer

abstract: Textual style transfer is the task of transforming stylistic properties of text while preserving meaning. Target "styles" can be defined in numerous ways, ranging from single attributes (e.g, formality) to authorship (e.g, Shakespeare). Previous unsupervised style-transfer approaches generally rely on significant amounts of labeled data for only a fixed set of styles or require large language models. In contrast, we introduce a novel diffusion-based framework for general-purpose style transfer that can be flexibly adapted to arbitrary target styles at inference time. Our parameter-efficient approach, ParaGuide, leverages paraphrase-conditioned diffusion models alongside gradient-based guidance from both off-the-shelf classifiers and strong existing style embedders to transform the style of text while preserving semantic information. We validate the method on the Enron Email Corpus, with both human and automatic evaluations, and find that it outperforms strong baselines on formality, sentiment, and even authorship style transfer.


title: Free energy of the bipartite spherical SK model at critical temperature

abstract: The spherical Sherrington-Kirkpatrick (SSK) model and its bipartite analog both exhibit the phenomenon that their free energy fluctuations are asymptotically Gaussian at high temperature but asymptotically Tracy-Widom at low temperature. This was proved in two papers by Baik and Lee, for all non-critical temperatures. The case of critical temperature was recently computed for the SSK model in two separate papers, one by Landon and the other by Johnstone, Klochkov, Onatski, Pavlyshyn. In the current paper, we derive the critical temperature result for the bipartite SSK model. In particular, we find that the free energy fluctuations exhibit a transition when the temperature is in a window of size $n^{-1/3}\sqrt{\log n}$ around the critical temperature, the same window for the SSK model. Within this transitional window, the asymptotic fluctuations of the free energy are the sum of independent Gaussian and Tracy-Widom random variables.


title: Canonical Factors for Hybrid Neural Fields

abstract: Factored feature volumes offer a simple way to build more compact, efficient, and intepretable neural fields, but also introduce biases that are not necessarily beneficial for real-world data. In this work, we (1) characterize the undesirable biases that these architectures have for axis-aligned signals -- they can lead to radiance field reconstruction differences of as high as 2 PSNR -- and (2) explore how learning a set of canonicalizing transformations can improve representations by removing these biases. We prove in a two-dimensional model problem that simultaneously learning these transformations together with scene appearance succeeds with drastically improved efficiency. We validate the resulting architectures, which we call TILTED, using image, signed distance, and radiance field reconstruction tasks, where we observe improvements across quality, robustness, compactness, and runtime. Results demonstrate that TILTED can enable capabilities comparable to baselines that are 2x larger, while highlighting weaknesses of neural field evaluation procedures.


title: Online Overexposed Pixels Hallucination in Videos with Adaptive Reference Frame Selection

abstract: Low dynamic range (LDR) cameras cannot deal with wide dynamic range inputs, frequently leading to local overexposure issues. We present a learning-based system to reduce these artifacts without resorting to complex acquisition mechanisms like alternating exposures or costly processing that are typical of high dynamic range (HDR) imaging. We propose a transformer-based deep neural network (DNN) to infer the missing HDR details. In an ablation study, we show the importance of using a multiscale DNN and train it with the proper cost function to achieve state-of-the-art quality. To aid the reconstruction of the overexposed areas, our DNN takes a reference frame from the past as an additional input. This leverages the commonly occurring temporal instabilities of autoexposure to our advantage: since well-exposed details in the current frame may be overexposed in the future, we use reinforcement learning to train a reference frame selection DNN that decides whether to adopt the current frame as a future reference. Without resorting to alternating exposures, we obtain therefore a causal, HDR hallucination algorithm with potential application in common video acquisition settings. Our demo video can be found at https://drive.google.com/file/d/1-r12BKImLOYCLUoPzdebnMyNjJ4Rk360/view


title: A note on typicality in random quantum scattering

abstract: We consider scattering processes where a quantum system is comprised of an inner subsystem and of a boundary, and is subject to Haar-averaged random unitaries acting on the boundary-environment Hilbert space only. We show that, regardless of the initial state, a single scattering event will disentangle the unconditional state (i.e., the scattered state when no information about the applied unitary is available) across the inner subsystem-boundary partition. Also, we apply Levy's lemma to constrain the trace norm fluctuations around the unconditional state. Finally, we derive analytical formulae for the mean scattered purity for initial globally pure states, and provide one with numerical evidence of the reduction of fluctuations around such mean values with increasing environmental dimension.


title: A Comparative Study of Loss Functions: Traffic Predictions in Regular and Congestion Scenarios

abstract: Spatiotemporal graph neural networks have achieved state-of-the-art performance in traffic forecasting. However, they often struggle to forecast congestion accurately due to the limitations of traditional loss functions. While accurate forecasting of regular traffic conditions is crucial, a reliable AI system must also accurately forecast congestion scenarios to maintain safe and efficient transportation. In this paper, we explore various loss functions inspired by heavy tail analysis and imbalanced classification problems to address this issue. We evaluate the efficacy of these loss functions in forecasting traffic speed, with an emphasis on congestion scenarios. Through extensive experiments on real-world traffic datasets, we discovered that when optimizing for Mean Absolute Error (MAE), the MAE-Focal Loss function stands out as the most effective. When optimizing Mean Squared Error (MSE), Gumbel Loss proves to be the superior choice. These choices effectively forecast traffic congestion events without compromising the accuracy of regular traffic speed forecasts. This research enhances deep learning models' capabilities in forecasting sudden speed changes due to congestion and underscores the need for more research in this direction. By elevating the accuracy of congestion forecasting, we advocate for AI systems that are reliable, secure, and resilient in practical traffic management scenarios.


title: Sharing proofs with predicative theories through universe polymorphic elaboration

abstract: As the development of formal proofs is a time-consuming task, it is important to devise ways of sharing the already written proofs to prevent wasting time redoing them. One of the challenges in this domain is to translate proofs written in proof assistants based on impredicative logics to proof assistants based on predicative logics, whenever impredicativity is not used in an essential way. In this paper we present a transformation for sharing proofs with a core predicative system supporting prenex universe polymorphism (like in Agda). It consists in trying to elaborate each term into a predicative universe polymorphic term as general as possible. The use of universe polymorphism is justified by the fact that mapping each universe to a fixed one in the target theory is not sufficient in most cases. During the elaboration, we need to solve unification problems in the equational theory of universe levels. In order to do this, we give a complete characterization of when a single equation admits a most general unifier. This characterization is then employed in a partial algorithm which uses a constraint-postponement strategy for trying to solve unification problems. The proposed translation is of course partial, but in practice allows one to translate many proofs that do not use impredicativity in an essential way. Indeed, it was implemented in the tool Predicativize and then used to translate semi-automatically many non-trivial developments from Matita's library to Agda, including proofs of Bertrand's Postulate and Fermat's Little Theorem, which (as far as we know) were not available in Agda yet.


title: Input margins can predict generalization too

abstract: Understanding generalization in deep neural networks is an active area of research. A promising avenue of exploration has been that of margin measurements: the shortest distance to the decision boundary for a given sample or its representation internal to the network. While margins have been shown to be correlated with the generalization ability of a model when measured at its hidden representations (hidden margins), no such link between large margins and generalization has been established for input margins. We show that while input margins are not generally predictive of generalization, they can be if the search space is appropriately constrained. We develop such a measure based on input margins, which we refer to as `constrained margins'. The predictive power of this new measure is demonstrated on the 'Predicting Generalization in Deep Learning' (PGDL) dataset and contrasted with hidden representation margins. We find that constrained margins achieve highly competitive scores and outperform other margin measurements in general. This provides a novel insight on the relationship between generalization and classification margins, and highlights the importance of considering the data manifold for investigations of generalization in DNNs.


title: Enveloping algebra is a Yetter--Drinfeld module algebra over Hopf algebra of regular functions on the automorphism group of a Lie algebra

abstract: We present an elementary construction of a (highly degenerate) Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ of a finite-dimensional Lie algebra $\mathfrak{g}$ over arbitrary field $\mathbf{k}$ and the Hopf algebra $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$ of regular functions on the automorphism group of $\mathfrak{g}$. This pairing induces a Hopf action of $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$ on $U(\mathfrak{g})$ which together with an explicitly given coaction makes $U(\mathfrak{g})$ into a braided commutative Yetter--Drinfeld $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$-module algebra. From these data one constructs a Hopf algebroid structure on the smash product algebra $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))\sharp U(\mathfrak{g})$ retaining essential features from earlier constructions of a Hopf algebroid structure on infinite-dimensional versions of Heisenberg double of $U(\mathfrak{g})$, including a noncommutative phase space of Lie algebra type, while avoiding the need of completed tensor products. We prove a slightly more general result where algebra $\mathcal{O}(\mathrm{Aut}(\mathfrak{g}))$ is replaced by $\mathcal{O}(\mathrm{Aut}(\mathfrak{h}))$ and where $\mathfrak{h}$ is any finite-dimensional Leibniz algebra having $\mathfrak{g}$ as its maximal Lie algebra quotient.


title: $\mathbb{Z}_p$-lattices in semistable Galois representations

abstract: We show that the category of logarithmic prismatic F-crystals on $(\mathcal{O}_K, \varpi^{\mathbb{N}})$ is equivalent to the category of $\mathbb{Z}_p$-lattices in semistable $\text{Gal}_K$-representations. We then apply our method to describe such Galois representations using linear algebraic data via various "logarithmic" versions of Breuil--Kisin modules.


title: Multimodal Contrastive Learning and Tabular Attention for Automated Alzheimer's Disease Prediction

abstract: Alongside neuroimaging such as MRI scans and PET, Alzheimer's disease (AD) datasets contain valuable tabular data including AD biomarkers and clinical assessments. Existing computer vision approaches struggle to utilize this additional information. To address these needs, we propose a generalizable framework for multimodal contrastive learning of image data and tabular data, a novel tabular attention module for amplifying and ranking salient features in tables, and the application of these techniques onto Alzheimer's disease prediction. Experimental evaulations demonstrate the strength of our framework by detecting Alzheimer's disease (AD) from over 882 MR image slices from the ADNI database. We take advantage of the high interpretability of tabular data and our novel tabular attention approach and through attribution of the attention scores for each row of the table, we note and rank the most predominant features. Results show that the model is capable of an accuracy of over 83.8%, almost a 10% increase from previous state of the art.


title: Policy composition in reinforcement learning via multi-objective policy optimization

abstract: We enable reinforcement learning agents to learn successful behavior policies by utilizing relevant pre-existing teacher policies. The teacher policies are introduced as objectives, in addition to the task objective, in a multi-objective policy optimization setting. Using the Multi-Objective Maximum a Posteriori Policy Optimization algorithm (Abdolmaleki et al. 2020), we show that teacher policies can help speed up learning, particularly in the absence of shaping rewards. In two domains with continuous observation and action spaces, our agents successfully compose teacher policies in sequence and in parallel, and are also able to further extend the policies of the teachers in order to solve the task. Depending on the specified combination of task and teacher(s), teacher(s) may naturally act to limit the final performance of an agent. The extent to which agents are required to adhere to teacher policies are determined by hyperparameters which determine both the effect of teachers on learning speed and the eventual performance of the agent on the task. In the humanoid domain (Tassa et al. 2018), we also equip agents with the ability to control the selection of teachers. With this ability, agents are able to meaningfully compose from the teacher policies to achieve a superior task reward on the walk task than in cases without access to the teacher policies. We show the resemblance of composed task policies with the corresponding teacher policies through videos.


title: Three-dimensional imaging of buried heterointerfaces

abstract: We report three-dimensional (3D) structure determination of a twisted hexagonal boron nitride (h-BN) heterointerface from a single-view data set using multislice ptychography. We identify the buried heterointerface between two twisted h-BN flakes with a lateral resolution of 0.57 {\AA} and a depth resolution of 2.5 nm. The latter is a significant improvement (~2.7 times) over the aperture-limited depth resolution of incoherent imaging modes such as annular-dark-field scanning transmission electron microscopy. This is attributed to the diffraction signal extending beyond the aperture edge with the depth resolution set by the curvature of the Ewald sphere. Future advances to this approach could improve the depth resolution to the sub-nanometer level and enable the identification of individual dopants, defects and color centers in twisted heterointerfaces and other materials.


title: Learning Modulated Transformation in GANs

abstract: The success of style-based generators largely benefits from style modulation, which helps take care of the cross-instance variation within data. However, the instance-wise stochasticity is typically introduced via regular convolution, where kernels interact with features at some fixed locations, limiting its capacity for modeling geometric variation. To alleviate this problem, we equip the generator in generative adversarial networks (GANs) with a plug-and-play module, termed as modulated transformation module (MTM). This module predicts spatial offsets under the control of latent codes, based on which the convolution operation can be applied at variable locations for different instances, and hence offers the model an additional degree of freedom to handle geometry deformation. Extensive experiments suggest that our approach can be faithfully generalized to various generative tasks, including image generation, 3D-aware image synthesis, and video generation, and get compatible with state-of-the-art frameworks without any hyper-parameter tuning. It is noteworthy that, towards human generation on the challenging TaiChi dataset, we improve the FID of StyleGAN3 from 21.36 to 13.60, demonstrating the efficacy of learning modulated geometry transformation.


title: Graph Theory and its Uses in Graph Algorithms and Beyond

abstract: Graphs are fundamental objects that find widespread applications across computer science and beyond. Graph Theory has yielded deep insights about structural properties of various families of graphs, which are leveraged in the design and analysis of algorithms for graph optimization problems and other computational optimization problems. These insights have also proved helpful in understanding the limits of efficient computation by providing constructions of hard problem instances. At the same time, algorithmic tools and techniques provide a fresh perspective on graph theoretic problems, often leading to novel discoveries. In this thesis, we exploit this symbiotic relationship between graph theory and algorithms for graph optimization problems and beyond. This thesis consists of three parts. In the first part, we study a graph routing problem called the Node-Disjoint Paths (NDP) problem. Given a graph and a set of source-destination pairs of its vertices, the goal is to route the maximum number of pairs via node-disjoint paths. We come close to resolving the approximability of NDP by showing that it is $n^{\Omega(1/poly\log\log n)}$-hard to approximate, even on grid graphs, where n is the number of vertices. In the second part of this thesis, we use graph decomposition techniques developed for efficient algorithms to derive a graph theoretic result. We show that for every n-vertex expander graph G, if H is any graph with at most $O(n/\log n)$ vertices and edges, then H is a minor of G. In the last part, we show that the graph theoretic tools and graph algorithmic techniques can shed light on problems seemingly unrelated to graphs. We show that the randomized space complexity of the Longest Increasing Subsequence (LIS) problem in the streaming model is intrinsically tied to the query-complexity of the Non-Crossing Matching problem on graphs in a new model of computation that we define.


title: A General-Purpose Self-Supervised Model for Computational Pathology

abstract: Tissue phenotyping is a fundamental computational pathology (CPath) task in learning objective characterizations of histopathologic biomarkers in anatomic pathology. However, whole-slide imaging (WSI) poses a complex computer vision problem in which the large-scale image resolutions of WSIs and the enormous diversity of morphological phenotypes preclude large-scale data annotation. Current efforts have proposed using pretrained image encoders with either transfer learning from natural image datasets or self-supervised pretraining on publicly-available histopathology datasets, but have not been extensively developed and evaluated across diverse tissue types at scale. We introduce UNI, a general-purpose self-supervised model for pathology, pretrained using over 100 million tissue patches from over 100,000 diagnostic haematoxylin and eosin-stained WSIs across 20 major tissue types, and evaluated on 33 representative CPath clinical tasks in CPath of varying diagnostic difficulties. In addition to outperforming previous state-of-the-art models, we demonstrate new modeling capabilities in CPath such as resolution-agnostic tissue classification, slide classification using few-shot class prototypes, and disease subtyping generalization in classifying up to 108 cancer types in the OncoTree code classification system. UNI advances unsupervised representation learning at scale in CPath in terms of both pretraining data and downstream evaluation, enabling data-efficient AI models that can generalize and transfer to a gamut of diagnostically-challenging tasks and clinical workflows in anatomic pathology.


title: Efficient DCQO Algorithm within the Impulse Regime for Portfolio Optimization

abstract: We propose a faster digital quantum algorithm for portfolio optimization using the digitized-counterdiabatic quantum optimization (DCQO) paradigm in the impulse regime, that is, where the counterdiabatic terms are dominant. Our approach notably reduces the circuit depth requirement of the algorithm and enhances the solution accuracy, making it suitable for current quantum processors. We apply this protocol to a real-case scenario of portfolio optimization with 20 assets, using purely quantum and hybrid classical-quantum paradigms. We experimentally demonstrate the advantages of our protocol using up to 20 qubits on an IonQ trapped-ion quantum computer. By benchmarking our method against the standard quantum approximate optimization algorithm and finite-time digitized-adiabatic algorithms, we obtain a significant reduction in the circuit depth by factors of 2.5 to 40, while minimizing the dependence on the classical optimization subroutine. Besides portfolio optimization, the proposed method is applicable to a large class of combinatorial optimization problems.


title: Open-Source Magnetometer for Characterizing Magnetic Fields in Ultracold Experiments

abstract: We demonstrate a fully automated open-source magnetometer designed primarily for characterization of magnetic fields produced by coils, permanent magnets or by parasitic sources. It is based on an Arduino Mega microcontroller and a three-axis Hall sensor with a measurement range of +/-8 G per axis and the RMS of the field readout below 0.3 mG. For all practical purposes, the sensor displacement during data acquisition is virtually unlimited, which can be particularly useful for characterizing large or extended coils like Helmholtz cages or Zeeman slowers. All components needed for the construction are cheap and widely available off-the-shelf elements or are 3D-printed. The operation of the magnetometer is controlled via a graphical user interface (GUI), which manages all essential functionalities, like data acquisition and plotting. The GUI also incorporates additional features, like data averaging, calibration of the displacement of the Hall sensor or real-time readout of the magnetic field, useful for monitoring magnetic field changes. We have used a pair of rectangular coils constructed for a potassium--cesium 2D magneto-optical trap to benchmark the performance of the magnetometer. We have obtained good agreement with both simulations and measurements acquired with a commercial gaussmeter.


title: Observing hidden neuronal states in experiments

abstract: We construct systematically experimental steady-state bifurcation diagrams for entorhinal cortex neurons. A slowly ramped voltage-clamp electrophysiology protocol serves as closed-loop feedback controlled experiment for the subsequent current-clamp open-loop protocol on the same cell. In this way, the voltage-clamped experiment determines dynamically stable and unstable (hidden) steady states of the current-clamp experiment. The transitions between observable steady states and observable spiking states in the current-clamp experiment reveal stability and bifurcations of the steady states, completing the steady-state bifurcation diagram.


title: An Adaptive Tangent Feature Perspective of Neural Networks

abstract: In order to better understand feature learning in neural networks, we propose a framework for understanding linear models in tangent feature space where the features are allowed to be transformed during training. We consider linear transformations of features, resulting in a joint optimization over parameters and transformations with a bilinear interpolation constraint. We show that this optimization problem has an equivalent linearly constrained optimization with structured regularization that encourages approximately low rank solutions. Specializing to neural network structure, we gain insights into how the features and thus the kernel function change, providing additional nuance to the phenomenon of kernel alignment when the target function is poorly represented using tangent features. We verify our theoretical observations in the kernel alignment of real neural networks.


title: 3D Adversarial Augmentations for Robust Out-of-Domain Predictions

abstract: Since real-world training datasets cannot properly sample the long tail of the underlying data distribution, corner cases and rare out-of-domain samples can severely hinder the performance of state-of-the-art models. This problem becomes even more severe for dense tasks, such as 3D semantic segmentation, where points of non-standard objects can be confidently associated to the wrong class. In this work, we focus on improving the generalization to out-of-domain data. We achieve this by augmenting the training set with adversarial examples. First, we learn a set of vectors that deform the objects in an adversarial fashion. To prevent the adversarial examples from being too far from the existing data distribution, we preserve their plausibility through a series of constraints, ensuring sensor-awareness and shapes smoothness. Then, we perform adversarial augmentation by applying the learned sample-independent vectors to the available objects when training a model. We conduct extensive experiments across a variety of scenarios on data from KITTI, Waymo, and CrashD for 3D object detection, and on data from SemanticKITTI, Waymo, and nuScenes for 3D semantic segmentation. Despite training on a standard single dataset, our approach substantially improves the robustness and generalization of both 3D object detection and 3D semantic segmentation methods to out-of-domain data.


title: Symmetries and Charges in Weyl-Fefferman-Graham Gauge

abstract: We investigate the asymptotic symmetries of three-dimensional AdS Einstein gravity in the Weyl-Fefferman-Graham gauge, which is a generalization of the Fefferman-Graham gauge inducing a Weyl connection as part of the boundary structure. We show that this gauge arises as a natural intermediary step of the gauge-fixing procedure in the Chern-Simons formulation. We prove that the diffeomorphism required to go to the usual Fefferman-Graham gauge can be charged, and thus its implementation has physical repercussions. We discuss the holographic renormalization and the variational principle offering a new holographic take on this gauge and its charges.


title: Online Job Failure Prediction in an HPC System

abstract: Modern High Performance Computing (HPC) systems are complex machines, with major impacts on economy and society. Along with their computational capability, their energy consumption is also steadily raising, representing a critical issue given the ongoing environmental and energetic crisis. Therefore, developing strategies to optimize HPC system management has paramount importance, both to guarantee top-tier performance and to improve energy efficiency. One strategy is to act at the workload level and highlight the jobs that are most likely to fail, prior to their execution on the system. Jobs failing during their execution unnecessarily occupy resources which could delay other jobs, adversely affecting the system performance and energy consumption. In this paper, we study job failure prediction at submit-time using classical machine learning algorithms. Our novelty lies in (i) the combination of these algorithms with Natural Language Processing (NLP) tools to represent jobs and (ii) the design of the approach to work in an online fashion in a real system. The study is based on a dataset extracted from a production machine hosted at the HPC centre CINECA in Italy. Experimental results show that our approach is promising.


title: Empirical Study of Straggler Problem in Parameter Server on Iterative Convergent Distributed Machine Learning

abstract: The purpose of this study is to test the effectiveness of current straggler mitigation techniques over different important iterative convergent machine learning(ML) algorithm including Matrix Factorization (MF), Multinomial Logistic Regression (MLR), and Latent Dirichlet Allocation (LDA) . The experiment was conducted to implemented using the FlexPS system, which is the latest system implementation that employ parameter server architecture. The experiment employed the Bulk Synchronous Parallel (BSP) computational model to examine the straggler problem in Parameter Server on Iterative Convergent Distributed Machine Learning. Moreover, the current research analyzes the experimental arrangement of the parameter server strategy concerning the parallel learning problems by injecting universal straggler patterns and executing latest mitigation techniques. The findings of the study are significant in that as they will provide the necessary platform for conducting further research into the problem and allow the researcher to compare different methods for various applications. The outcome is therefore expected to facilitate the development of new techniques coupled with new perspectives in addressing this problem.


title: Generative AI for Semantic Communication: Architecture, Challenges, and Outlook

abstract: Semantic communication (SemCom) is expected to be a core paradigm in future communication networks, yielding significant benefits in terms of spectrum resource saving and information interaction efficiency. However, the existing SemCom structure is limited by the lack of context-reasoning ability and background knowledge provisioning, which, therefore, motivates us to seek the potential of incorporating generative artificial intelligence (GAI) technologies with SemCom. Recognizing GAI's powerful capability in automating and creating valuable, diverse, and personalized multimodal content, this article first highlights the principal characteristics of the combination of GAI and SemCom along with their pertinent benefits and challenges. To tackle these challenges, we further propose a novel GAI-assisted SemCom network (GAI-SCN) framework in a cloud-edge-mobile design. Specifically, by employing global and local GAI models, our GAI-SCN enables multimodal semantic content provisioning, semantic-level joint-source-channel coding, and AIGC acquisition to maximize the efficiency and reliability of semantic reasoning and resource utilization. Afterward, we present a detailed implementation workflow of GAI-SCN, followed by corresponding initial simulations for performance evaluation in comparison with two benchmarks. Finally, we discuss several open issues and offer feasible solutions to unlock the full potential of GAI-SCN.


title: Dynamic Dual-Graph Fusion Convolutional Network For Alzheimer's Disease Diagnosis

abstract: In this paper, a dynamic dual-graph fusion convolutional network is proposed to improve Alzheimer's disease (AD) diagnosis performance. The following are the paper's main contributions: (a) propose a novel dynamic GCN architecture, which is an end-to-end pipeline for diagnosis of the AD task; (b) the proposed architecture can dynamically adjust the graph structure for GCN to produce better diagnosis outcomes by learning the optimal underlying latent graph; (c) incorporate feature graph learning and dynamic graph learning, giving those useful features of subjects more weight while decreasing the weights of other noise features. Experiments indicate that our model provides flexibility and stability while achieving excellent classification results in AD diagnosis.


title: Investigation and Evaluation of Adaptive Algorithms for Multichannel Active Noise Control System

abstract: This dissertation focuses on the investigation and evaluation of adptive algorithms for multichannel active noise control system. The aim of the research is to investigate the effectiveness of the FxLMS algorithm and the pre-trained control filter in attenuating various types of noise. The study begins with a comprehensive review of the existing literature on active noise control, highlighting the significance of noise reduction in different applications. The theoretical foundations of the FxLMS algorithm and the pre-trained control filter are then presented, including their underlying principles and mathematical formulations. Through a comprehensive analysis, a clear understanding of these methods is established. To assess the performance of the FxLMS algorithm and the pre-trained control filter, extensive simulation experiments are conducted using real-world noise signals. The experiments include scenarios such as aircraft noise, traffic noise, and mixed noise. The results of the simulations are used to compare the noise reduction capabilities of the two methods and to evaluate their effectiveness under different noise conditions. The findings indicate that the FxLMS algorithm exhibits remarkable noise reduction performance. It demonstrates a strong ability to track and respond quickly to varying noise patterns. In the initial stages of noise reduction, the pre-trained control filter shows better performance. However, as time progresses, the FxLMS algorithm consistently achieves higher average noise reduction levels compared to the pre-trained control filter. Additionally, the FxLMS algorithm shows faster responsiveness during transitional periods when noise characteristics change. These findings contribute to the field of noise control and provide valuable insights for designing efficient noise reduction systems.


title: Dark sector and Axion-like particle search at BESIII

abstract: Dark matter (DM) refers to a new type of matter that may explain observed rotation curves of galaxies and the composite structure of the Universe. It may couple to the Standard Model particles via portals, which include the possibility of axion-like particle, light Higgs boson, dark photon and spin-1/2 fermions. The axion-like particle and light Higgs boson can be accessible via radiative decays of $J/\psi$ while the dark photon via initial-state radiation process using the data of high-intensity $e^+e^-$ collider experiments, such as the BESIII experiment. DM may be depicted as baryonic matter in an invisible final state. The presence of a massless dark photon, predicted by the spontaneous broken of Abelian group $U(1)_D$, may enhance the branching fractions of rare flavor changing neutral current decay processes. BESIII experiment has recently explored the possibility of these DM scenarios using the data samples collected at several energy points, including $J/\psi$ and $\psi(3686)$ resonances. This report summarizes the recent results of the BESIII experiment related to the dark-sector and Axion-like particles.


title: SA Unet Improved

abstract: Retinal vessels segmentation is well known problem in image processing on the medical field. Good segmentation may help doctors take better decisions while diagnose eyes disuses. This paper describes our work taking up the DRIVE challenge which include segmentation on retinal vessels. We invented a new method which combine using of StyleGAN2 and SA-Unet. Our innovation can help any small data set segmentation problem.


title: New Post-DART Collision Period for the Didymos System: Evidence for Anomalous Orbital Decay

abstract: On September 26, 2022, NASA's DART spacecraft impacted Dimorphos, the secondary asteroid in the (65803) Didymos system, so that the efficiency with which a satellite could divert an asteroid could be measured from the change in the system's period. We present new data from the Thacher Observatory and measure a change in period, $\Delta P = -34.2 \pm 0.1$ min, which deviates from previous measurements by $3.5\,\sigma$. This suggests that the system period may have decreased by $\sim 1$ minute in the 20 to 30 days between previous measurements and our measurements. We find that no mechanism previously presented for this system can account for this large of a period change, and drag from impact ejecta is an unlikely explanation. Further observations of the (65803) Didymos system are needed to both confirm our result and to further understand this system post impact.


title: Proceedings of the Twentieth International Conference on Quantum Physics and Logic

abstract: This volume contains the proceedings of the 20th International Conference on Quantum Physics and Logic (QPL 2023). The aim of the QPL conference series is to bring together academic and industry researchers working on mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, type systems, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.


title: A method of maximum likelihood fit to data with non-uniform efficiencies

abstract: Estimations of physical parameters using data usually involve non-uniform experimental efficiencies. In this article, a method of maximum likelihood fit is introduced using the efficiency as a weight, while the probability distribution function is kept unaffected by the efficiency. A brief proof and pseudo-experiment studies suggest that this method gives unbiased estimation of parameters. For cases where the probability distribution function can be normalized analytically, this method significant reduces the usage of computing resources.


title: Detecting Inactive Cyberwarriors from Online Forums

abstract: The proliferation of misinformation has emerged as a new form of warfare in the information age. This type of warfare involves cyberwarriors, who deliberately propagate messages aimed at defaming opponents or fostering unity among allies. In this study, we investigate the level of activity exhibited by cyberwarriors within a large online forum, and remarkably, we discover that only a minute fraction of cyberwarriors are active users. Surprisingly, despite their expected role of actively disseminating misinformation, cyberwarriors remain predominantly silent during peacetime and only spring into action when necessary. Moreover, we analyze the challenges associated with identifying cyberwarriors and provide evidence that detecting inactive cyberwarriors is considerably more challenging than identifying their active counterparts. Finally, we discuss potential methodologies to more effectively identify cyberwarriors during their inactive phases, offering insights into better capturing their presence and actions. The experimental code is released for reproducibility: \url{https://github.com/Ryaninthegame/Detect-Inactive-Spammers-on-PTT}.


title: Deep Learning and Bayesian inference for Inverse Problems

abstract: Inverse problems arise anywhere we have indirect measurement. As, in general they are ill-posed, to obtain satisfactory solutions for them needs prior knowledge. Classically, different regularization methods and Bayesian inference based methods have been proposed. As these methods need a great number of forward and backward computations, they become costly in computation, in particular, when the forward or generative models are complex and the evaluation of the likelihood becomes very costly. Using Deep Neural Network surrogate models and approximate computation can become very helpful. However, accounting for the uncertainties, we need first understand the Bayesian Deep Learning and then, we can see how we can use them for inverse problems. In this work, we focus on NN, DL and more specifically the Bayesian DL particularly adapted for inverse problems. We first give details of Bayesian DL approximate computations with exponential families, then we will see how we can use them for inverse problems. We consider two cases: First the case where the forward operator is known and used as physics constraint, the second more general data driven DL methods. keyword: Neural Network, Variational Bayesian inference, Bayesian Deep Learning (DL), Inverse problems, Physics based DL.


title: Unidentifiability of System Dynamics: Conditions and Controller Design

abstract: How to make a dynamic system unidentifiable is an important but still open issue. It not only requires that the parameters of the systems but also the equivalent systems cannot be identified by any identification approaches. Thus, it is a much more challenging problem than the existing analysis of parameter identifiability. In this paper, we investigate the problem of dynamic unidentifiability and design the controller to make the system dynamics unidentifiable. Specifically, we first define dynamic unidentifiability by taking both system parameters and equivalent systems into consideration. Then, we obtain the necessary and sufficient condition for unidentifiability based on the Fisher Information Matrix. This condition is derived by analysis of the relationship between the unidentifiable parameters and the Hessian matrix of the system function. Next, we propose a controller design scheme for ensuring dynamic unidentifiability under linear system models. We prove that for controllable and observable linear time-invariant systems, the requirement of unidentifiability is equivalent to the requirement of a low-rank controller. Then, the low-rank controller design problem is solved by transforming it into a model order reduction problem. We demonstrate the effectiveness of our method by simulation.


title: Parallel Unconstrained Local Search for Partitioning Irregular Graphs

abstract: We present new refinement heuristics for the balanced graph partitioning problem that break with an age-old rule. Traditionally, local search only permits moves that keep the block sizes balanced (below a size constraint). In this work, we demonstrate that admitting large temporary balance violations drastically improves solution quality. The effects are particularly strong on irregular instances such as social networks. Designing efficient implementations of this general idea involves both careful selection of candidates for unconstrained moves as well as algorithms for rebalancing the solution later on. We explore a wide array of design choices to achieve this, in addition to our third goal of high parallel scalability. We present compelling experimental results, demonstrating that our parallel unconstrained local search techniques outperform the prior state of the art by a substantial margin. Compared with four state-of-the-art solvers, our new technique finds 75\% of the best solutions on irregular graphs. We achieve a 9.6\% improvement in edge cut over the next best competitor, while being only 7.7\% slower in the geometric mean.


title: Defining stable phases of open quantum systems

abstract: The steady states of dynamical processes can exhibit stable nontrivial phases, which can also serve as fault-tolerant classical or quantum memories. For Markovian quantum (classical) dynamics, these steady states are extremal eigenvectors of the non-Hermitian operators that generate the dynamics, i.e., quantum channels (Markov chains). However, since these operators are non-Hermitian, their spectra are an unreliable guide to dynamical relaxation timescales or to stability against perturbations. We propose an alternative dynamical criterion for a steady state to be in a stable phase, which we name uniformity: informally, our criterion amounts to requiring that, under sufficiently small local perturbations of the dynamics, the unperturbed and perturbed steady states are related to one another by a finite-time dissipative evolution. We show that this criterion implies many of the properties one would want from any reasonable definition of a phase. We prove that uniformity is satisfied in a canonical classical cellular automaton, and provide numerical evidence that the gap determines the relaxation rate between nearby steady states in the same phase, a situation we conjecture holds generically whenever uniformity is satisfied. We further conjecture some sufficient conditions for a channel to exhibit uniformity and therefore stability.


title: Measurements of the $Z^{0}/\gamma^{*}$ cross section and transverse single spin asymmetry in 510 GeV $p$$+$$p$ collisions

abstract: The differential cross section for $Z^{0}$ production, measured as a function of the boson's transverse momentum ($p_{\mathrm{T}}$), provides important constraints on the evolution of the transverse momentum dependent parton distribution functions (TMDs). The transverse single spin asymmetry (TSSA) of the $Z^{0}$ is sensitive to one of the polarized TMDs, the Sivers function, which is predicted to have the opposite sign in $p+p$ $\rightarrow W/Z+ X$ from that which enters in semi-inclusive deep inelastic scattering. In this Letter, the STAR Collaboration reports the first measurement of the $Z^{0}/\gamma^{*}$ differential cross section as a function of its $p_{\mathrm{T}}$ in $p$$+$$p$ collisions at a center-of-mass energy of 510 GeV, together with the $Z^{0}/\gamma^{*}$ total cross section. We also report the measurement of $Z^{0}/\gamma^{*}$ TSSA in transversely polarized $p$$+$$p$ collisions at 510 GeV.


title: Celestial mechanics in Newtonian-like gravity with variable $G$

abstract: A Newtonian-like theory inspired by the Brans-Dicke gravitational Lagrangian has been recently proposed in Ref. arXiv:2009.04434(v4). This work demonstrates that the modified gravitational force acting on a test particle is analogous to that derived from the Manev potential. Specifically, an additional term $\propto r^{-3}$ emerges alongside the conventional Newtonian component. We analyse the predicted expression for the pericenter advance and the Roche limit and use them to constraint the theory's single free parameter $\omega$ which is analogous to the Brans-Dicke parameter. At the same time this theory is able to solve the advance of Mercury's perihelion, we also show that there is no relevant impact on the Roche limit in comparison to the well known Newtonian results.


title: Chunked Lists versus Extensible Arrays for Text Inversion

abstract: In our 2017 work on in-memory list-based text inversion [Hawking and Billerbeck. Efficient In-Memory, List-Based Text Inversion. ADCS 2017] we compared memory use and indexing speed of a considerable number of variants of chunked linked lists. In the present work we compare the best performing of those variants (FBB - dynamic Fibonacci chunking) with the extensible SQ array technique (SQA) presented in [Moffat and Mackenzie. Immediate-Access Indexing Using Space-Efficient Extensible Arrays. ADCS 2023].


title: Classification robustness to common optical aberrations

abstract: Computer vision using deep neural networks (DNNs) has brought about seminal changes in people's lives. Applications range from automotive, face recognition in the security industry, to industrial process monitoring. In some cases, DNNs infer even in safety-critical situations. Therefore, for practical applications, DNNs have to behave in a robust way to disturbances such as noise, pixelation, or blur. Blur directly impacts the performance of DNNs, which are often approximated as a disk-shaped kernel to model defocus. However, optics suggests that there are different kernel shapes depending on wavelength and location caused by optical aberrations. In practice, as the optical quality of a lens decreases, such aberrations increase. This paper proposes OpticsBench, a benchmark for investigating robustness to realistic, practically relevant optical blur effects. Each corruption represents an optical aberration (coma, astigmatism, spherical, trefoil) derived from Zernike Polynomials. Experiments on ImageNet show that for a variety of different pre-trained DNNs, the performance varies strongly compared to disk-shaped kernels, indicating the necessity of considering realistic image degradations. In addition, we show on ImageNet-100 with OpticsAugment that robustness can be increased by using optical kernels as data augmentation. Compared to a conventionally trained ResNeXt50, training with OpticsAugment achieves an average performance gain of 21.7% points on OpticsBench and 6.8% points on 2D common corruptions.


title: Plasma Lens Prototype Progress: Plasma Diagnostics And Particle Tracking For ILC e+ Source

abstract: In recent years, the concept of high-gradient, symmetric focusing using active plasma lenses has regained notable attention owing to its potential benefits in terms of compactness and beam dynamics when juxtaposed with traditional focusing elements. An enticing application lies in the optical matching of extensively divergent positrons originating from the undulator-based ILC positron source, thereby enhancing the positron yield in subsequent accelerating structures. Through a collaboration between the University of Hamburg and DESY Hamburg, a scaled-down prototype for this purpose has been conceptualized and fabricated. In this presentation, we provide an overview of the ongoing progress in the development of this prototype. Furthermore, first insights into the development of a particle tracking code especially designed for plasma lenses with implemented Bayes optimization, are given.


title: The AIMS Site Survey

abstract: This paper reports site survey results for the Infrared System for the Accurate Measurement of Solar Magnetic Field, especially in Saishiteng Mountain, Qinghai, China. Since 2017, we have installed weather station, spectrometer for precipitable water vapor (PWV) and S-DIMM and carried out observation on weather elements, precipitable water vapor and daytime seeing condition for more than one year in almost all candidates. At Mt. Saishiteng, the median value of daytime precipitable water vapor is 5.25 mm and its median value in winter season is 2.1 mm. The median value of Fried parameter of daytime seeing observation at Saishiteng Mountain is 3.42 cm. Its solar direct radiation data shows that solar average observable time is 446 minutes per day and premium time is 401 minutes per day in August 2019.

categories: astro-ph.IM astro-ph.EP astro-ph.SR physics.ao-ph


title: On the Steganographic Capacity of Selected Learning Models

abstract: Machine learning and deep learning models are potential vectors for various attack scenarios. For example, previous research has shown that malware can be hidden in deep learning models. Hiding information in a learning model can be viewed as a form of steganography. In this research, we consider the general question of the steganographic capacity of learning models. Specifically, for a wide range of models, we determine the number of low-order bits of the trained parameters that can be overwritten, without adversely affecting model performance. For each model considered, we graph the accuracy as a function of the number of low-order bits that have been overwritten, and for selected models, we also analyze the steganographic capacity of individual layers. The models that we test include the classic machine learning techniques of Linear Regression (LR) and Support Vector Machine (SVM); the popular general deep learning models of Multilayer Perceptron (MLP) and Convolutional Neural Network (CNN); the highly-successful Recurrent Neural Network (RNN) architecture of Long Short-Term Memory (LSTM); the pre-trained transfer learning-based models VGG16, DenseNet121, InceptionV3, and Xception; and, finally, an Auxiliary Classifier Generative Adversarial Network (ACGAN). In all cases, we find that a majority of the bits of each trained parameter can be overwritten before the accuracy degrades. Of the models tested, the steganographic capacity ranges from 7.04 KB for our LR experiments, to 44.74 MB for InceptionV3. We discuss the implications of our results and consider possible avenues for further research.


title: A strategy to tailor the mechanical and degradation properties of PCL-PEG-PCL based copolymers for biomedical application

abstract: Biodegradable and biocompatible 3D printable biomaterials with tunable mechanical properties and degradation rate adapted to target tissues were urgently required to manufacture scaffolds for tissue regeneration. Herein, a strategy based on a series of copolymers are proposed where the mechanical and degradation properties can be optimized regarding the specific biological application. With this purpose, poly($\epsilon$-caprolactone)-poly(ethylene glycol)-poly($\epsilon$-caprolactone) (PCL-PEG-PCL, PCEC) triblock co-polymers with high molecular weight were synthesized by using PEG with a wide range of molecular weight (from 0.6 kg/mol to 35 kg/mol) as macroinitiators. PCEC copolymers exhibited tunable mechanical properties with an elastic modulus in the range 338-705 MPa and a degradation rate from 60% mass loss after 8 h to 70% mass loss after 23 days in accelerated tests, as well as excellent cytocompatibility and cell attachment after culture with mouse fibroblast L929 cells. The mechanisms responsible for these properties were ascertained by means of different techniques to ascertain the structure-property relationship in PCEC copolymers. Furthermore, it was shown that it is possible to manufacture PCEC scaffolds by 3D printing with excellent dimensional accuracy and controlled microporosity. This study provides a promising strategy to design, select, and fabricate copolymers with tunable mechanical properties and degradation rate for tissue engineering applications.


title: Planet formation throughout the Milky Way: Planet populations in the context of Galactic chemical evolution

abstract: As stellar compositions evolve over time in the Milky Way, so will the resulting planet populations. In order to place planet formation in the context of Galactic chemical evolution, we make use of a large ($N = 5\,325$) stellar sample representing the thin and thick discs, defined chemically, and the halo, and we simulate planet formation by pebble accretion around these stars. We build a chemical model of their protoplanetary discs, taking into account the relevant chemical transitions between vapour and refractory minerals, in order to track the resulting compositions of formed planets. We find that the masses of our synthetic planets increase on average with increasing stellar metallicity [Fe/H] and that giant planets and super-Earths are most common around thin-disc ($\alpha$-poor) stars since these stars have an overall higher budget of solid particles. Giant planets are found to be very rare ($\lesssim$1\%) around thick-disc ($\alpha$-rich) stars and nearly non-existent around halo stars. This indicates that the planet population is more diverse for more metal-rich stars in the thin disc. Water-rich planets are less common around low-metallicity stars since their low metallicity prohibits efficient growth beyond the water ice line. If we allow water to oxidise iron in the protoplanetary disc, this results in decreasing core mass fractions with increasing [Fe/H]. Excluding iron oxidation from our condensation model instead results in higher core mass fractions, in better agreement with the core-mass fraction of Earth, that increase with increasing [Fe/H]. Our work demonstrates how the Galactic chemical evolution and stellar parameters, such as stellar mass and chemical composition, can shape the resulting planet population.


title: Examples of effectivity for integral points on certain curves of genus 2

abstract: This short article concerns a method to obtain effectivity for the search of integral points on certain (sets of) curves of genus 2. More precisely, we wish to illustrate just an example of application of a criterion of Bilu, to derive effectivity for integral points on certain families of affine curves of genus 2. Future work, in collaboration with D. Lombardo, will contain details and more general applications. We shall construct morphisms from these curves to $\G_{\rm m}^2$, with image of increasing degrees. We note that as the degree increases, we may say that the examples become `more interesting', since they cannot be derived by substitution from a universal family. As a counterpart, there is the negative feature in that the relevant curves will somewhat have increasing fields of definition.


title: Accurate determination of excitation energy: An equation-of-motion approach over a bi-exponential Coupled Cluster theory

abstract: The calculation of molecular excited states is critically important to decipher a plethora of molecular properties. In this manuscript, we develop an equation of motion formalism on top of a bi-exponentially parametrized ground state wavefunction towards the determination of excited states. While the ground state bi-exponential parametrization ensures an accurate description of the wavefunction through the inclusion of high-rank correlation effects, the excited state is parametrized by a novel linear response operator with an effective excitation rank beyond two. To treat the ground and the excited states in the same footings, in addition to the conventional one and two-body response operators, we introduced certain two-body "generalized" response operators with an effective excitation rank of one. We introduce a projective formulation towards the determination of the perturbed amplitudes for the set of "generalized" operators. Our formulation entails a significantly small number of unknown parameters and is shown to be highly accurate compared to allied methods for several difficult chemical systems.


title: unORANIC: Unsupervised Orthogonalization of Anatomy and Image-Characteristic Features

abstract: We introduce unORANIC, an unsupervised approach that uses an adapted loss function to drive the orthogonalization of anatomy and image-characteristic features. The method is versatile for diverse modalities and tasks, as it does not require domain knowledge, paired data samples, or labels. During test time unORANIC is applied to potentially corrupted images, orthogonalizing their anatomy and characteristic components, to subsequently reconstruct corruption-free images, showing their domain-invariant anatomy only. This feature orthogonalization further improves generalization and robustness against corruptions. We confirm this qualitatively and quantitatively on 5 distinct datasets by assessing unORANIC's classification accuracy, corruption detection and revision capabilities. Our approach shows promise for enhancing the generalizability and robustness of practical applications in medical image analysis. The source code is available at https://github.com/sdoerrich97/unORANIC.


title: Ripples of the QCD Critical Point

abstract: We investigate the impact of a critical end point (CEP) on the experimentally accessible baryon number fluctuations of different orders. By now, its potential location has been constrained fairly accurately within first principles functional QCD, together with the location of the chiral crossover line and further thermodynamic observables. This information is incorporated in an advanced QCD-assisted low energy effective theory which is used for the computation of baryon number fluctuations at the chemical freeze-out. This computation also takes care of global baryon number conservation at larger density, where the system changes from grand-canonical to canonical statistics. We observe a prominent peak structure, whose amplitude depends on the location of the CEP, while its position is more sensitive to the location of the freeze-out curve. Our results provide guidance for future low energy heavy-ion experiments.


title: The Relationship between Loneliness and Depression among College Students: Mining data derived from Passive Sensing

abstract: Loneliness and depression are interrelated mental health issues affecting students well-being. Using passive sensing data provides a novel approach to examine the granular behavioural indicators differentiating loneliness and depression, and the mediators in their relationship. This study aimed to investigate associations between behavioural features and loneliness and depression among students, exploring the complex relationships between these mental health conditions and associated behaviours. This study combined regression analysis, mediation analysis, and machine learning analysis to explore relationships between behavioural features, loneliness, and depression using passive sensing data, capturing daily life behaviours such as physical activity, phone usage, sleep patterns, and social interactions. Results revealed significant associations between behavioural features and loneliness and depression, emphasizing their interconnected nature. Increased activity and sleep duration were identified as protective factors. Distinct behavioural features for each condition were also found. Mediation analysis highlighted significant indirect effects in the relationship between loneliness and depression. The XGBoost model achieved the highest accuracy in predicting these conditions. This study demonstrated the importance of using passive sensing data and a multi-method approach to understand the complex relationship between loneliness, depression, and associated behaviours. Identifying specific behavioural features and mediators contributes to a deeper understanding of factors influencing loneliness and depression among students. This comprehensive perspective emphasizes the importance of interdisciplinary collaboration for a more nuanced understanding of complex human experiences.


title: Improving homology-directed repair by small molecule agents for genetic engineering in unconventional yeast? -- Learning from the engineering of mammalian systems

abstract: The ability to precisely edit genomes by deleting or adding genetic information enables the study of biological functions and the building of efficient cell factories. In many unconventional yeasts, such as promising new hosts for cell factory design but also human pathogenic yeasts and food spoilers, this progress has been limited by the fact that most yeasts favor non-homologous end joining (NHEJ) over homologous recombination (HR) as DNA repair mechanism, impairing genetic access to these hosts. In mammalian cells, small molecules that either inhibit proteins involved in NHEJ, enhance protein function in HR, or molecules that arrest the cell cycle in HR-dominant phases are regarded as promising agents for the simple and transient increase of HR-mediated genome editing without the need for a priori host engineering. Only a few of these chemicals have been applied to the engineering of yeast although the targeted proteins are mostly conserved; making chemical agents a yet underexplored area in enhancing yeast engineering. Here, we consolidate knowledge of available small molecules that have been used to improve HR efficiency in mammalian cells and the few ones that have been used in yeast. We include available high throughput (HTP)-compatible NHEJ/HR quantification assays that could be used to screen for and isolate yeast-specific inhibitors.


title: The pcf theory of non fixed points

abstract: We deal with values taken by various pseudopower functions at a singular cardinal that is not a fixed point of the aleph function.


title: Shatter and Gather: Learning Referring Image Segmentation with Text Supervision

abstract: Referring image segmentation, the task of segmenting any arbitrary entities described in free-form texts, opens up a variety of vision applications. However, manual labeling of training data for this task is prohibitively costly, leading to lack of labeled data for training. We address this issue by a weakly supervised learning approach using text descriptions of training images as the only source of supervision. To this end, we first present a new model that discovers semantic entities in input image and then combines such entities relevant to text query to predict the mask of the referent. We also present a new loss function that allows the model to be trained without any further supervision. Our method was evaluated on four public benchmarks for referring image segmentation, where it clearly outperformed the existing method for the same task and recent open-vocabulary segmentation models on all the benchmarks.


title: Tuning the perplexity for and computing sampling-based t-SNE embeddings

abstract: Widely used pipelines for the analysis of high-dimensional data utilize two-dimensional visualizations. These are created, e.g., via t-distributed stochastic neighbor embedding (t-SNE). When it comes to large data sets, applying these visualization techniques creates suboptimal embeddings, as the hyperparameters are not suitable for large data. Cranking up these parameters usually does not work as the computations become too expensive for practical workflows. In this paper, we argue that a sampling-based embedding approach can circumvent these problems. We show that hyperparameters must be chosen carefully, depending on the sampling rate and the intended final embedding. Further, we show how this approach speeds up the computation and increases the quality of the embeddings.


title: International Governance of Civilian AI: A Jurisdictional Certification Approach

abstract: This report describes trade-offs in the design of international governance arrangements for civilian artificial intelligence (AI) and presents one approach in detail. This approach represents the extension of a standards, licensing, and liability regime to the global level. We propose that states establish an International AI Organization (IAIO) to certify state jurisdictions (not firms or AI projects) for compliance with international oversight standards. States can give force to these international standards by adopting regulations prohibiting the import of goods whose supply chains embody AI from non-IAIO-certified jurisdictions. This borrows attributes from models of existing international organizations, such as the International Civilian Aviation Organization (ICAO), the International Maritime Organization (IMO), and the Financial Action Task Force (FATF). States can also adopt multilateral controls on the export of AI product inputs, such as specialized hardware, to non-certified jurisdictions. Indeed, both the import and export standards could be required for certification. As international actors reach consensus on risks of and minimum standards for advanced AI, a jurisdictional certification regime could mitigate a broad range of potential harms, including threats to public safety.


title: Scalable Algorithms for 2-Packing Sets on Arbitrary Graphs

abstract: A 2-packing set for an undirected graph $G=(V,E)$ is a subset $\mathcal{S} \subset V$ such that any two vertices $v_1,v_2 \in \mathcal{S}$ have no common neighbors. Finding a 2-packing set of maximum cardinality is a NP-hard problem. We develop a new approach to solve this problem on arbitrary graphs using its close relation to the independent set problem. Thereby, our algorithm red2pack uses new data reduction rules specific to the 2-packing set problem as well as a graph transformation. Our experiments show that we outperform the state-of-the-art for arbitrary graphs with respect to solution quality and also are able to compute solutions multiple orders of magnitude faster than previously possible. For example, we are able to solve 63% of the graphs in the tested data set to optimality in less than a second while the competitor for arbitrary graphs can only solve 5% of these graphs to optimality even with a 10 hour time limit. Moreover, our approach can solve a wide range of large instances that have previously been unsolved.


title: Coexistence of ergodic and weakly ergodic states in finite-height Wannier-Stark ladders

abstract: We investigate a single-particle in one-dimensional Wannier-Stark ladders with either a linear potential or a mosaic potential with spacing $\kappa=2$. In both cases, we exactly determine the critical energies separating the weakly ergodic states from ergodic states for a finite potential height. Especially in the latter case, we demonstrate a rich phase diagram with ergodic states, weakly ergodic states, and strongly Wannier-Stark localized states. Our results also exhibit that critical energies are highly dependent on the height of the ladder and ergodic states only survive at $E\approx0$ for the high ladder. Importantly, we find that the number of ergodic states can be adjusted by changing the interval of the non-zero potential. These interesting features will shed light on the study of disorder-free systems.


title: Document AI: A Comparative Study of Transformer-Based, Graph-Based Models, and Convolutional Neural Networks For Document Layout Analysis

abstract: Document AI aims to automatically analyze documents by leveraging natural language processing and computer vision techniques. One of the major tasks of Document AI is document layout analysis, which structures document pages by interpreting the content and spatial relationships of layout, image, and text. This task can be image-centric, wherein the aim is to identify and label various regions such as authors and paragraphs, or text-centric, where the focus is on classifying individual words in a document. Although there are increasingly sophisticated methods for improving layout analysis, doubts remain about the extent to which their findings can be generalized to a broader context. Specifically, prior work developed systems based on very different architectures, such as transformer-based, graph-based, and CNNs. However, no work has mentioned the effectiveness of these models in a comparative analysis. Moreover, while language-independent Document AI models capable of knowledge transfer have been developed, it remains to be investigated to what degree they can effectively transfer knowledge. In this study, we aim to fill these gaps by conducting a comparative evaluation of state-of-the-art models in document layout analysis and investigating the potential of cross-lingual layout analysis by utilizing machine translation techniques.


abstract: Humanity has wondered whether we are alone for millennia. The discovery of life elsewhere in the Universe, particularly intelligent life, would have profound effects, comparable to those of recognizing that the Earth is not the center of the Universe and that humans evolved from previous species. There has been rapid growth in the fields of extrasolar planets and data-driven astronomy. In a relatively short interval, we have seen a change from knowing of no extrasolar planets to now knowing more potentially habitable extrasolar planets than there are planets in the Solar System. In approximately the same interval, astronomy has transitioned to a field in which sky surveys can generate 1 PB or more of data. The Data-Driven Approaches to Searches for the Technosignatures of Advanced Civilizations_ study at the W. M. Keck Institute for Space Studies was intended to revisit searches for evidence of alien technologies in light of these developments. Data-driven searches, being able to process volumes of data much greater than a human could, and in a reproducible manner, can identify *anomalies* that could be clues to the presence of technosignatures. A key outcome of this workshop was that technosignature searches should be conducted in a manner consistent with Freeman Dyson's "First Law of SETI Investigations," namely "every search for alien civilizations should be planned to give interesting results even when no aliens are discovered." This approach to technosignatures is commensurate with NASA's approach to biosignatures in that no single observation or measurement can be taken as providing full certainty for the detection of life. Areas of particular promise identified during the workshop were (*) Data Mining of Large Sky Surveys, (*) All-Sky Survey at Far-Infrared Wavelengths, (*) Surveys with Radio Astronomical Interferometers, and (*) Artifacts in the Solar System.


title: Quantum black holes as classical space factories

abstract: Space and matter may both be manifestations of a single fundamental quantum dynamics, as it may become evident during black-hole evaporation. Inspired by the fact that quantum electrodynamics underlies the classical theory of elasticity, that in turn has a natural and well-known geometric description in terms of curvature and torsion, related to topological defects, here we move some necessary steps to find the map from such fundamental quantum level to the emergent level of classical space and quantum matter. We proceed by adapting the boson transformation method of standard quantum field theory to the quantum gravity fundamental scenario and successfully obtain the emergence of curvature and torsion, our main focus here. In doing so, we have been able to overcome difficult issues of interpretation, related to the Goldstone modes for rotational symmetry. In fact, we have been able to apply the boson transformation method to disclinations, to relate them to the spin structure and to give an heuristic derivation of the matter field equation on curved space. We also improve results of previous work on the emergence of geometric tensors from elasticity theory, as the non-Abelian contributions to the torsion and curvature tensors, postulated in those papers, here emerge naturally. More work is necessary to identify the type of gravity theories one can obtain in this way.


title: Distance-preserving stabilizer measurements in hypergraph product codes

abstract: Unlike the surface code, quantum low-density parity-check (QLDPC) codes can have a finite encoding rate, potentially lowering the error correction overhead. However, finite-rate QLDPC codes have nonlocal stabilizers, making it difficult to design stabilizer measurement circuits that are low-depth and do not decrease the effective distance. Here, we demonstrate that a popular family of finite-rate QLDPC codes, hypergraph product codes, has the convenient property of distance-robustness: any stabilizer measurement circuit preserves the effective distance. In particular, we prove the depth-optimal circuit in [Tremblay et al, PRL 129, 050504 (2022)] is also optimal in terms of effective distance.


title: Protonated hydrogen cyanide as a tracer of pristine molecular gas

abstract: Protonated hydrogen cyanide, HCNH$^{+}$, plays a fundamental role in astrochemistry because it is an intermediary in gas-phase ion-neutral reactions within cold molecular clouds. However, the impact of the environment on the chemistry of HCNH$^{+}$ remains poorly understood. With the IRAM-30 m and APEX-12 m observations, we report the first robust distribution of HCNH$^{+}$ in the Serpens filament and in Serpens South. Our data suggest that HCNH$^{+}$ is abundant in cold and quiescent regions, but is deficit in active star-forming regions. The observed HCNH$^{+}$ fractional abundances relative to H$_{2}$ range from $3.1\times 10^{-11}$ in protostellar cores to $5.9\times 10^{-10}$ in prestellar cores, and the HCNH$^{+}$ abundance generally decreases with increasing H$_{2}$ column density, which suggests that HCNH$^{+}$ coevolves with cloud cores. Our observations and modeling results suggest that the abundance of HCNH$^{+}$ in cold molecular clouds is strongly dependent on the H$_{2}$ number density. The decrease in the abundance of HCNH$^{+}$ is caused by the fact that its main precursors (e.g., HCN and HNC) undergo freeze-out as the number density of H$_{2}$ increases. However, current chemical models cannot explain other observed trends, such as the fact that the abundance of HCNH$^{+}$ shows an anti-correlation with that of HCN and HNC, but a positive correlation with that of N$_{2}$H$^{+}$ in the southern part of the Serpens South northern clump. This indicates that additional chemical pathways have to be invoked for the formation of HCNH$^{+}$ via molecules like N$_{2}$ in regions in which HCN and HNC freeze out. Both the fact that HCNH$^{+}$ is most abundant in molecular cores prior to gravitational collapse and the fact that low-$J$ HCNH$^{+}$ transitions have very low H$_{2}$ critical densities make this molecular ion an excellent probe of pristine molecular gas.


title: Testing high scale supersymmetry via second order gravitational waves

abstract: Supersymmetry predicts multiple flat directions, some of which carry a net baryon or lepton number. Condensates in such directions form during inflation and later fragment into Q-balls, which can become the building blocks of primordial black holes. Thus supersymmetry can create conditions for an intermediate matter-dominated era with black holes dominating the energy density of the universe. Unlike particle matter, black holes decay suddenly enough to result in an observable gravitational wave signal via the poltergeist mechanism. We investigate the gravitational waves signatures of supersymmetry realized at energy scales that might not be accessible to present-day colliders.


title: RKKY interaction in triplet superconductors: Dzyaloshinskii-Moriya-type interaction mediated by spin-polarized Cooper pairs

abstract: The Ruderman--Kittel--Kasuya--Yosida (RKKY) interaction governs the coupling between localized spins and is strongly affected by the environment in which these spins reside. In superconductors, this interaction becomes long-ranged and provides information about the orbital symmetry of the superconducting order parameter. In this work, we consider the RKKY interaction between localized spins mediated by $p$-wave triplet superconductors. In contrast to the well-studied RKKY interaction in $d$-wave superconductors, we find that the spin of the Cooper pair in a triplet state also modulates the spin--spin coupling. We consider several different types of $p$-wave triplet states, and find that the form of the RKKY interaction changes significantly with the symmetries of the order parameter. For non-unitary superconducting states, two new terms appear in the RKKY interaction: a background spin magnetization coupling to the individual spins and, more interestingly, an effective Dzyaloshinskii--Moriya term. The latter term oscillates with the separation distance between the impurity spins. Finally, we find that the finite spin expectation value in non-unitary superconductors in concert with the conventional RKKY interaction can lead to non-collinear magnetic ground states even when the Dzyaloshinskii--Moriya term is negligible. The RKKY interaction in $p$-wave triplet superconductors thus offers a way to achieve new ground state spin configurations of impurity spins and simultaneously provides information about the underlying superconducting state.


title: Interfacing Electron and Neutrino Quasielastic Scattering Cross Sections with the Spectral Function in GENIE

abstract: Progress in neutrino-nucleus cross section models is being driven by the need for highly accurate predictions for the neutrino oscillation community. These sophisticated models are being developed within a microscopic description of the nucleus with the goal of encompassing all reaction modes relevant for the accelerator neutrino program. The disconnect between these microscopic models and the event generators that will be used in the next generation of experiments represents a critical obstacle that must be overcome in order to precisely measure the neutrino oscillation parameters. To this end we have developed a Fortran wrapper for lepton-nucleus quasielastic (QE) scattering within the GENIE event generator as a proof of principle, with the broader goal of creating an efficient pipeline for incorporating advanced theoretical models in event generators. As a demonstration of this interface, we have implemented the Spectral Function model into GENIE, offering a more complete description of the nuclear ground state, as well as the ability to provide quantifiable theoretical uncertainties. We validate this implementation and compare its predictions against data and against QE models already available in GENIE.


title: New non-supersymmetric flux vacua in string theory

abstract: In this note we construct large ensembles of supersymmetry breaking solutions arising in the context of flux compactifications of type IIB string theory. This class of solutions was previously proposed in arXiv:hep-th/0402135 for which we provide the first explicit examples in Calabi-Yau orientifold compactifications with discrete fluxes below their respective tadpole constraint. As a proof of concept, we study the degree 18 hypersurface in weighted projective space $\mathbb{CP}_{1,1,1,6,9}$. Furthermore, we look at 10 additional orientifolds with $h^{1,2}=2,3$. We find several flux vacua with hierarchical suppression of the vacuum energy with respect to the gravitino mass. These solutions provide a crucial stepping stone for the construction of explicit de Sitter vacua in string theory. Lastly, we also report the difference in the distribution of $W_0$ between supersymmetric and non-supersymmetric minima.


title: Chiral fluid membranes with orientational order and multiple edges

abstract: We carry out Monte Carlo simulations on fluid membranes with orientational order and multiple edges in the presence and absence of external forces. The membrane resists bending and has an edge tension, the orientational order couples with the membrane surface normal through a cost for tilting, and there is a chiral liquid crystalline interaction. In the absence of external forces, a membrane initialized as a vesicle will form a disk at low chirality, with the directors forming a smectic-A phase with alignment perpendicular to the membrane surface except near the edge. At large chirality a catenoid-like shape or a trinoid-like shape is formed, depending on the number of edges in the initial vesicle. This shape change is accompanied by cholesteric ordering of the directors and multiple $\pi$ walls connecting the membrane edges and wrapping around the membrane neck. If the membrane is initialized instead in a cylindrical shape and stretched by an external force, it maintains a nearly cylindrical shape but additional liquid crystalline phases appear. For large tilt coupling and low chirality, a smectic-A phase forms. For lower values of the tilt coupling, a nematic phase appears at zero chirality with the average director oriented perpendicular to the long axis of the membrane, while for nonzero chirality a cholesteric phase appears. The $\pi$ walls are tilt walls at low chirality and transition to twist walls as chirality is increased. We construct a continuum model of the director field to explain this behavior.


title: Estimating Ejecta Mass Ratios in Kepler's SNR: Global X-Ray Spectral Analysis Including Suzaku Systematics and Emitting Volume Uncertainties

abstract: The exact origins of many Type Ia supernovae$\unicode{x2013}$progenitor scenarios and explosive mechanisms$\unicode{x2013}$remain uncertain. In this work, we analyze the global Suzaku X-Ray spectrum of Kepler's supernova remnant in order to constrain mass ratios of various ejecta species synthesized during explosion. Critically, we account for the Suzaku telescope effective area calibration uncertainties of 5$\unicode{x2013}$20% by generating 100 mock effective area curves and using Markov Chain Monte Carlo based spectral fitting to produce 100 sets of best-fit parameter values. Additionally, we characterize the uncertainties from assumptions made about the emitting volumes of each model plasma component: finding that these uncertainties can be the dominant source of error. We then compare our calculated mass ratios to previous observational studies of Kepler's SNR and to the predictions of SN Ia simulations. Our mass ratio estimates require a $\sim$90% attenuated $^{12}$C$+^{16}$O reaction rate and are potentially consistent with both near- and sub-M$_{\rm Ch}$ progenitors, but are inconsistent with the dynamically stable double detonation origin scenario and only marginally consistent with the dynamically unstable dynamically-driven double-degenerate double detonation (D$^6$) scenario.


title: Quantum Otto engine driven by quantum fields

abstract: We consider a quantum Otto engine using an Unruh-DeWitt particle detector model which interacts with a quantum scalar field in curved spacetime. We express a generic condition for extracting positive work in terms of the effective temperature of the detector. This condition reduces to the well-known positive work condition in the literature under the circumstances where the detector reaches thermal equilibrium with the field. We then evaluate the amount of work extracted by the detector in two scenarios: an inertial detector in a thermal bath and a circulating detector in the Minkowski vacuum, which is inspired by the Unruh quantum Otto engine.