title: Generalized Dicke model and gauge-invariant master equations for two atoms in ultrastrongly-coupled cavity quantum electrodynamics

abstract: We study a generalization of the well-known Dicke model, using two dissimilar atoms in the regime of ultrastrongly coupled cavity quantum electrodynamics. Our theory uses gauge invariant master equations, which yields consistent results in either of the standard multipolar and Coulomb gauges, including system-bath interactions for open cavity systems. We first show how a second atom can be treated as a sensor atom to measure the output spectrum from a single atom in the ultrastrong-coupling regime, and compare results with the quantum regression theorem, explaining when they can be different. We then focus on the case where the second atom is also ultrastrongly coupled to the cavity, but with different parameters from those of the first atom, which introduces complex coupling effects and additional resonances and spectral features. In particular, we show multiple resonances in the cavity spectra that are visible off-resonance, which cannot be seen when the second atom is on-resonance with the rest of the system. We also observe clear anti-crossing features particularly pronounced for when the second atom tunes through resonance.


title: HST Proper Motion Measurements of Supernova Remnant N132D: Center of Expansion and Age

abstract: We present proper motion measurements of oxygen-rich ejecta of the LMC supernova remnant N132D using two epochs of Hubble Space Telescope Advanced Camera for Surveys data spanning 16 years. The proper motions of 120 individual knots of oxygen-rich gas were measured and used to calculate a center of expansion (CoE) of $\alpha$=05:25:01.71 and $\delta$=-69:38:41.64 (J2000) with a 1-$\sigma$ uncertainty of 2.90 arcseconds. This new CoE measurement is 9.2 and 10.8 arcseconds from two previous CoE estimates based on the geometry of the optically emitting ejecta. We also derive an explosion age of 2770 $\pm$ 500 yr, which is consistent with recent age estimates of $\approx 2500$ yr made from 3D ejecta reconstructions. We verify our estimates of the CoE and age using a new automated procedure that detected and tracked the proper motions of 137 knots, with 73 knots that overlap with the visually identified knots. We find the proper motions of ejecta are still ballistic, despite the remnant's age, and are consistent with the notion that the ejecta are expanding into an ISM cavity. Evidence for explosion asymmetry from the parent supernova is also observed. Using the visually measured proper motion measurements and corresponding center of expansion and age, we compare N132D to other supernova remnants with proper motion ejecta studies.


title: Algorithms and Complexity for Computing Nash Equilibria in Adversarial Team Games

abstract: Adversarial team games model multiplayer strategic interactions in which a team of identically-interested players is competing against an adversarial player in a zero-sum game. Such games capture many well-studied settings in game theory, such as congestion games, but go well-beyond to environments wherein the cooperation of one team -- in the absence of explicit communication -- is obstructed by competing entities; the latter setting remains poorly understood despite its numerous applications. Since the seminal work of Von Stengel and Koller (GEB `97), different solution concepts have received attention from an algorithmic standpoint. Yet, the complexity of the standard Nash equilibrium has remained open. In this paper, we settle this question by showing that computing a Nash equilibrium in adversarial team games belongs to the class continuous local search (CLS), thereby establishing CLS-completeness by virtue of the recent CLS-hardness result of Rubinstein and Babichenko (STOC `21) in potential games. To do so, we leverage linear programming duality to prove that any $\epsilon$-approximate stationary strategy for the team can be extended in polynomial time to an $O(\epsilon)$-approximate Nash equilibrium, where the $O(\cdot)$ notation suppresses polynomial factors in the description of the game. As a consequence, we show that the Moreau envelop of a suitable best response function acts as a potential under certain natural gradient-based dynamics.


title: A deep learning approach to using wearable seismocardiography (SCG) for diagnosing aortic valve stenosis and predicting aortic hemodynamics obtained by 4D flow MRI

abstract: In this paper, we explored the use of deep learning for the prediction of aortic flow metrics obtained using 4D flow MRI using wearable seismocardiography (SCG) devices. 4D flow MRI provides a comprehensive assessment of cardiovascular hemodynamics, but it is costly and time-consuming. We hypothesized that deep learning could be used to identify pathological changes in blood flow, such as elevated peak systolic velocity Vmax in patients with heart valve diseases, from SCG signals. We also investigated the ability of this deep learning technique to differentiate between patients diagnosed with aortic valve stenosis (AS), non-AS patients with a bicuspid aortic valve (BAV), non-AS patients with a mechanical aortic valve (MAV), and healthy subjects with a normal tricuspid aortic valve (TAV). In a study of 77 subjects who underwent same-day 4D flow MRI and SCG, we found that the Vmax values obtained using deep learning and SCGs were in good agreement with those obtained by 4D flow MRI. Additionally, subjects with TAV, BAV, MAV, and AS could be classified with ROC-AUC values of 92%, 95%, 81%, and 83%, respectively. This suggests that SCG obtained using low-cost wearable electronics may be used as a supplement to 4D flow MRI exams or as a screening tool for aortic valve disease.


title: Random perturbations for the chemotaxis-fluid model with fractional dissipation: Global pathwise weak solutions

abstract: This paper considers a stochastically perturbed Keller-Segel-Navier-Stokes (KS-SNS) system arising from the biomathematics in two dimensions, where the diffusion of fluid is expressed by a fractional Laplacian with an exponent in $[1/2,1]$. Our main result demonstrates that, under appropriate assumptions, the Cauchy problem of the KS-SNS system has a unique global probabilistically strong and analytically weak solution, which also confirms that the quadratic logistic source authentically contributes to the global existence of solutions. First, a three-layer approximate system is introduced, this system seems to be new in the studying of chemotaxis-fluid model and it enables one to construct approximate solutions in regular Hilbert spaces $H^s(\mathbb{R}^2)$. Second, to accomplish the convergence progressively, a series of crucial entropy-energy inequalities for the approximations are derived, whose derivation strongly depends on the fine structure of the system and requires a novel strategy to adapt to the appearance of fractional dissipation and the unboundedness of domain. Third, based on these uniform bounds, we establish the existence of global martingale weak solutions by virtue of a stochastic compactness method. Finally, by applying the Littlewood-Paley theory, we show that the pathwise uniqueness holds for these martingale solution. As a by-product, a few interpolation inequalities in Besov spaces are obtained, which seems to be new and may have their own interest.


title: Thermodynamics and its Prediction and CALPHAD Modeling: Review, State of the Art, and Perspectives

abstract: Thermodynamics is a science concerning the state of a system, whether it is stable, metastable, or unstable. The combined law of thermodynamics derived by Gibbs about 150 years ago laid the foundation of thermodynamics. In Gibbs combined law, the entropy production due to internal processes was not included, and the 2nd law was thus practically removed from the Gibbs combined law, so it is only applicable to systems under equilibrium. Gibbs further derived the classical statistical thermodynamics in terms of the probability of configurations in a system. With the quantum mechanics (QM) developed, the QM-based statistical thermodynamics was established and connected to classical statistical thermodynamics at the classical limit as shown by Landau. The development of density function theory (DFT) by Kohn and co-workers enabled the QM prediction of properties of the ground state of a system. On the other hand, the entropy production due to internal processes in non-equilibrium systems was studied separately by Onsager and Prigogine and co-workers. The digitization of thermodynamics was developed by Kaufman in the framework of the CALPHAD modeling of individual phases. Our recently termed zentropy theory integrates DFT and statistical mechanics through the replacement of the internal energy of each individual configuration by its DFT-predicted free energy. Furthermore, through the combined law of thermodynamics with the entropy production as a function of internal degrees of freedom, it is shown that the kinetic coefficient matrix of independent internal processes is diagonal with respect to the conjugate potentials in the combined law, and the cross phenomena represented by the phenomenological Onsager reciprocal relationships are due to the dependence of the conjugate potential of the molar quantity in a flux on nonconjugate potentials.


title: A note on highly connected $K_{2,\ell}$-minor free graphs

abstract: We show that every $3$-connected $K_{2,\ell}$-minor free graph with minimum degree at least $4$ has maximum degree at most $7\ell$. As a consequence, we show that every 3-connected $K_{2,\ell}$-minor free graph with minimum degree at least $5$ and no twins of degree $5$ has bounded size. Our proofs use Steiner trees and nested cuts; in particular, they do not rely on Ding's characterization of $K_{2,\ell}$-minor free graphs.


title: Time-reversal invariant finite-size topology

abstract: We report finite-size topology in the quintessential time-reversal (TR) invariant systems, the quantum spin Hall insulator (QSHI) and the three-dimensional, strong topological insulator (STI): previously-identified helical or Dirac cone boundary states of these phases hybridize in wire or slab geometries with one open boundary condition for finite system size, and additional, topologically-protected, lower-dimensional boundary modes appear for open boundary conditions in two or more directions. For the quasi-one-dimensional (q(2-1)D) QSHI, we find topologically-protected, quasi-zero-dimensional (q(2-2)D) boundary states within the hybridization gap of the helical edge states, determined from q(2-1)D bulk topology characterized by topologically non-trivial Wilson loop spectra. We show this finite-size topology furthermore occurs in 1T'-WTe2 in ribbon geometries with sawtooth edges, based on analysis of a tight-binding model derived from density-functional theory calculations, motivating experimental investigation of our results. In addition, we find quasi-two-dimensional (q(3-1)D) finite-size topological phases occur for the STI, yielding helical boundary modes distinguished from those of the QSHI by a non-trivial magneto-electric polarizability linked to the original 3D bulk STI. Finite-size topological phases therefore exhibit signatures associated with the non-trivial topological invariant of a higher-dimensional bulk. Finally, we find the q(3-2)D STI also exhibits finite-size topological phases, finding the first signs of topologically-protected boundary modes of codimension greater than 1 due to finite-size topology. Finite-size topology of four or higher-dimensional systems is therefore possible in experimental settings without recourse to thermodynamically large synthetic dimensions.


title: A Database of Modular Forms on Noncongruence Subgroups

abstract: We present a database of several hundred modular forms up to and including weight six on noncongruence subgroups of index $\leq 17$. In addition, our database contains expressions for the Belyi map for genus zero subgroups and equations of the corresponding elliptic curves for genus one subgroups and numerical approximations of noncongruence Eisenstein series to 1500 digits precision.


title: Multiscale Transforms for Signals on Simplicial Complexes

abstract: Our previous multiscale graph basis dictionaries/graph signal transforms -- Generalized Haar-Walsh Transform (GHWT); Hierarchical Graph Laplacian Eigen Transform (HGLET); Natural Graph Wavelet Packets (NGWPs); and their relatives -- were developed for analyzing data recorded on nodes of a given graph. In this article, we propose their generalization for analyzing data recorded on edges, faces (i.e., triangles), or more generally $\kappa$-dimensional simplices of a simplicial complex (e.g., a triangle mesh of a manifold). The key idea is to use the Hodge Laplacians and their variants for hierarchical partitioning of a set of $\kappa$-dimensional simplices in a given simplicial complex, and then build localized basis functions on these partitioned subsets. We demonstrate their usefulness for data representation on both illustrative synthetic examples and real-world simplicial complexes generated from a co-authorship/citation dataset and an ocean current/flow dataset.

categories: cs.SI cs.NA eess.SP math.CO math.NA physics.soc-ph


title: Reduced nuclear helicity amplitudes for deuteron electrodisintegration and other processes

abstract: We extend the original idea of reduced nuclear amplitudes to capture individual helicity amplitudes and discuss various applications to exclusive processes involving the deuteron. Specifically, we consider deuteron form factors, structure functions, tensor polarization observables, photodisintegration, and electrodisintegration. The basic premise is that nuclear processes at high momentum transfer can be approximated by tree graphs for point-like nucleons supplemented by empirical form factors for each nucleon. The latter represent the internal structure of the nucleon, and incorporate nonperturbative physics, which can allow for early onset of scaling behavior. The nucleon form factors are evaluated at the net momentum transfer experienced by the given nucleon, with use of $G_E$ for a no-flip contribution and $G_M$ for a helicity-flip contribution. Results are compared with data where available. The deuteron photodisintegration asymmetry $\Sigma$ is obtained with a value of $\Sigma(90^\circ)\simeq -0.06$, which is much closer to experiment than the value of -1 originally expected. The method also provides an estimate of the momentum transfer values required for scaling onset. We find that the deuteron structure function $B$ is a good place to look, above momentum transfers of 10 GeV$^2$.


title: Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs

abstract: Given a graph $H$, we prove that every (theta, prism)-free graph of sufficiently large treewidth contains either a large clique or an induced subgraph isomorphic to $H$, if and only if $H$ is a forest.


title: Coideal subalgebras of pointed and connected Hopf algebras

abstract: Let $H$ be a pointed Hopf algebra with abelian coradical. Let $A\supseteq B$ be left (or right) coideal subalgebras of $H$ that contain the coradical of $H$. We show that $A$ has a PBW basis over $B$, provided that $H$ satisfies certain mild conditions. In the case that $H$ is a connected graded Hopf algebra of characteristic zero and $A$ and $B$ are both homogeneous of finite Gelfand-Kirillov dimension, we show that $A$ is a graded iterated Ore extension of $B$. These results turn out to be conceptual consequences of a structure theorem for each pair $S\supseteq T$ of homogeneous coideal subalgebras of a connected graded braided bialgebra $R$ with braiding satisfying certain mild conditions. The structure theorem claims the existence of a well-behaved PBW basis of $S$ over $T$. The approach to the structure theorem is constructive by means of a combinatorial method based on Lyndon words and braided commutators, which is originally developed by V. K. Kharchenko for primitively generated braided Hopf algebras of diagonal type. Since in our context we don't priorilly assume $R$ to be primitively generated, new methods and ideas are introduced to handle the corresponding difficulties, among others.


title: The average degree of edge chromatic critical graphs with maximum degree seven

abstract: In this paper, by developing several new adjacency lemmas about a path on $4$ or $5$ vertices, we show that the average degree of 7-critical graphs is at least 6. It implies Vizing's planar graph conjecture for planar graphs with maximum degree $7$ and its extension to graphs embeddable in a surface with nonnegative Euler characteristic due to Sanders and Zhao (J. Combin. Theory Ser. B 83 (2001) 201-212 and J. Combin. Theory Ser. B 87 (2003) 254-263) and Zhang (Graphs and Combinatorics 16 (2000) 467-495).


title: A refinement of Lang's formula for the sum of powers of integers

abstract: In 2011, W. Lang derived a novel, explicit formula for the sum of powers of integers $S_k(n) = 1^k + 2^k + \cdots + n^k$ involving simultaneously the Stirling numbers of the first and second kind. In this note, we first recall and then slightly refine Lang's formula for $S_k(n)$. As it turns out, the refined Lang's formula constitutes a special case of a well-known relationship between the power sums, the elementary symmetric functions, and the complete homogeneous symmetric functions. In addition, we provide several applications of this general relationship.


title: Playing hide and seek: tackling in-store picking operations while improving customer experience

abstract: The evolution of the retail business presents new challenges and raises pivotal questions on how to reinvent stores and supply chains to meet the growing demand of the online channel. One of the recent measures adopted by omnichannel retailers is to address the growth of online sales using in-store picking, which allows serving online orders using existing assets. However, it comes with the downside of harming the offline customer experience. To achieve picking policies adapted to the dynamic customer flows of a retail store, we formalize a new problem called Dynamic In-store Picker Routing Problem (diPRP). In this relevant problem - diPRP - a picker tries to pick online orders while minimizing customer encounters. We model the problem as a Markov Decision Process (MDP) and solve it using a hybrid solution approach comprising mathematical programming and reinforcement learning components. Computational experiments on synthetic instances suggest that the algorithm converges to efficient policies. Furthermore, we apply our approach in the context of a large European retailer to assess the results of the proposed policies regarding the number of orders picked and customers encountered. Our work suggests that retailers should be able to scale the in-store picking of online orders without jeopardizing the experience of offline customers. The policies learned using the proposed solution approach reduced the number of customer encounters by more than 50% when compared to policies solely focused on picking orders. Thus, to pursue omnichannel strategies that adequately trade-off operational efficiency and customer experience, retailers cannot rely on actual simplistic picking strategies, such as choosing the shortest possible route.


title: Impact of electron correlations on the $\mathbf{k}$-resolved electronic structure of PdCrO$_{2}$ revealed by Compton scattering

abstract: Delafossite PdCrO$_2$ is an intriguing material which displays nearly-free electron and Mott insulating behaviour in different layers. Both angle-resolved photoemission spectroscopy (ARPES) and Compton scattering measurements have established a hexagonal Fermi surface in the material's paramagnetic phase. However, the Compton experiment detected an additional structure in the projected occupancy which was originally interpreted as an additional Fermi surface feature not seen by ARPES. Here, we revisit this interpretation of the Compton data. State-of-the-art density functional theory (DFT) with dynamical mean field theory (DMFT), the so-called DFT+DMFT method, predicts the Mott insulating state along with a single hexagonal Fermi surface in excellent agreement with ARPES and Compton. However, DFT+DMFT fails to predict the intensity of the additional spectral weight feature observed in the Compton data. We infer that this discrepancy may arise from the DFT+DMFT not being able to correctly predict certain features in the shape and dispersion of the unoccupied quasiparticle band near the Fermi level. Therefore, a theoretical description beyond our DFT+DMFT model is needed to incorporate vital electron interactions, such as inter-layer electron coupling interactions which for PdCrO$_2$ gives rise to the Kondo-like so-called intertwined excitation.


title: A Direct and New Construction of Near-Optimal Multiple ZCZ Sequence Sets

abstract: In this paper, for the first time, we present a direct and new construction of multiple zero-correlation zone (ZCZ) sequence sets with inter-set zero-cross correlation zone (ZCCZ) from generalised Boolean function. Tang \emph{et al.} in their 2010 paper, proposed an open problem to construct $N$ binary ZCZ sequence sets such that each of these ZCZ sequence sets is optimal and if the union of these $N$ sets is taken then that union is again an optimal ZCZ sequence set. The proposed construction partially settles this open problem by presenting a construction of optimal ZCZ sequence sets such that their union is a near-optimal ZCZ sequence set. Further, the performance parameter of each binary ZCZ sequence set in the proposed construction is $1$ and tends to $1$ for their union. The proposed construction is presented by a two-layer graphical representation and compared with the existing state-of-the-art. Finally, novel multi-cluster quasi synchronous-code division multiple access (QS-CDMA) system model is provided by using the proposed multiple ZCZ sequence sets.


title: Domain Generalization via Ensemble Stacking for Face Presentation Attack Detection

abstract: Face Presentation Attack Detection (PAD) plays a pivotal role in securing face recognition systems against spoofing attacks. Although great progress has been made in designing face PAD methods, developing a model that can generalize well to unseen test domains remains a significant challenge. Moreover, due to different types of spoofing attacks, creating a dataset with a sufficient number of samples for training deep neural networks is a laborious task. This work proposes a comprehensive solution that combines synthetic data generation and deep ensemble learning to enhance the generalization capabilities of face PAD. Specifically, synthetic data is generated by blending a static image with spatiotemporal encoded images using alpha composition and video distillation. This way, we simulate motion blur with varying alpha values, thereby generating diverse subsets of synthetic data that contribute to a more enriched training set. Furthermore, multiple base models are trained on each subset of synthetic data using stacked ensemble learning. This allows the models to learn complementary features and representations from different synthetic subsets. The meta-features generated by the base models are used as input to a new model called the meta-model. The latter combines the predictions from the base models, leveraging their complementary information to better handle unseen target domains and enhance the overall performance. Experimental results on four datasets demonstrate low half total error rates (HTERs) on three benchmark datasets: CASIA-MFSD (8.92%), MSU-MFSD (4.81%), and OULU-NPU (6.70%). The approach shows potential for advancing presentation attack detection by utilizing large-scale synthetic data and the meta-model.


title: Searching for Lindbladians obeying local conservation laws and showing thermalization

abstract: We investigate the possibility of a Markovian quantum master equation (QME) that consistently describes a finite-dimensional system, a part of which is weakly coupled to a thermal bath. In order to preserve complete positivity and trace, such a QME must be of Lindblad form. For physical consistency, it should additionally preserve local conservation laws and be able to show thermalization. We search of Lindblad equations satisfying these additional criteria. First, we show that the microscopically derived Bloch-Redfield equation (RE) violates complete positivity unless in extremely special cases. We then prove that imposing complete positivity and demanding preservation of local conservation laws enforces the Lindblad operators and the lamb-shift Hamiltonian to be `local', i.e, to be supported only on the part of the system directly coupled to the bath. We then cast the problem of finding `local' Lindblad QME which can show thermalization into a semidefinite program (SDP). We call this the thermalization optimization problem (TOP). For given system parameters and temperature, the solution of the TOP conclusively shows whether the desired type of QME is possible up to a given precision. Whenever possible, it also outputs a form for such a QME. For a XXZ chain of few qubits, fixing a reasonably high precision, we find that such a QME is impossible over a considerably wide parameter regime when only the first qubit is coupled to the bath. Remarkably, we find that when the first two qubits are attached to the bath, such a QME becomes possible over much of the same paramater regime, including a wide range of temperatures.

categories: quant-ph cond-mat.mes-hall math-ph math.MP


title: Physical Realization of a Hyper Unclonable Function

abstract: Disordered photonic structures are promising materials for the realization of physical unclonable functions (PUF), physical objects that can overcome the limitations of conventional digital security methods and that enable cryptographic protocols immune against attacks by future quantum computers. One PUF limitation, so far, has been that their physical configuration is either fixed or can only be permanently modified, and hence allowing only one token per device. We show that it is possible to overcome this limitation by creating a reconfigurable structure made by light-transformable polymers, in which the physical structure of the unclonable function itself can be reversibly reconfigured. We term this novel concept Hyper PUF or HPUF in that it allows a large number of physical unclonable functions to co-exist simultaneously within one and the same device. The physical transformation of the structure is done all-optically in a reversible and spatially controlled fashion. Our novel technology provides a massive enhancement in security generating more complex keys containing a larger amount of information. At the same time, it allows for new applications, for example serving multiple clients on a single encryption device and the practical implementation of quantum secure authentication of data.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cs.CR physics.optics quant-ph


title: An electromechanics-driven fluid dynamics model for the simulation of the whole human heart

abstract: We introduce a multiphysics and geometric multiscale computational model, suitable to describe the hemodynamics of the whole human heart, driven by a four-chamber electromechanical model. We first present a study on the calibration of the biophysically detailed RDQ20 activation model (Regazzoni et al., 2020) that is able to reproduce the physiological range of hemodynamic biomarkers. Then, we demonstrate that the ability of the force generation model to reproduce certain microscale mechanisms, such as the dependence of force on fiber shortening velocity, is crucial to capture the overall physiological mechanical and fluid dynamics macroscale behavior. This motivates the need for using multiscale models with high biophysical fidelity, even when the outputs of interest are relative to the macroscale. We show that the use of a high-fidelity electromechanical model, combined with a detailed calibration process, allows us to achieve remarkable biophysical fidelity in terms of both mechanical and hemodynamic quantities. Indeed, our electromechanical-driven CFD simulations - carried out on an anatomically accurate geometry of the whole heart - provide results that match the cardiac physiology both qualitatively (in terms of flow patterns) and quantitatively (when comparing in silico results with biomarkers acquired in vivo). We consider the pathological case of left bundle branch block, and we investigate the consequences that an electrical abnormality has on cardiac hemodynamics thanks to our multiphysics integrated model. The computational model that we propose can faithfully predict a delay and an increasing wall shear stress in the left ventricle in the pathological condition. The interaction of different physical processes in an integrated framework allows us to faithfully describe and model this pathology, by capturing and reproducing the intrinsic multiphysics nature of the human heart.

categories: math.NA cs.CE cs.NA physics.bio-ph physics.flu-dyn


title: Stochastics of DNA Quantification

abstract: A common approach to quantifying DNA involves repeated cycles of DNA amplification. This approach, employed by the polymerase chain reaction (PCR), produces outputs that are corrupted by amplification noise, making it challenging to accurately back-calculate the amount of input DNA. Standard mathematical solutions to this back-calculation problem do not take adequate account of such noise and are error-prone. Here, we develop a parsimonious mathematical model of the stochastic mapping of input DNA onto experimental outputs that accounts, in a natural way, for amplification noise. We use the model to derive the probability density of the quantification cycle, a frequently reported experimental output, which can be fit to data to estimate input DNA. Strikingly, the model predicts that a sample with only one input DNA molecule has a $<$4% chance of testing positive, which is $>$25-fold lower than assumed by a standard method of interpreting PCR data. We provide formulae for calculating both the limit of detection and the limit of quantification, two important operating characteristics of DNA quantification methods that are frequently assessed by using ad-hoc mathematical techniques. Our results provide a mathematical foundation for the rigorous analysis of DNA quantification.


title: A Gaian Habitable Zone

abstract: When searching for inhabited exoplanets, understanding the boundaries of the habitable zone around the parent star is key. If life can strongly influence its global environment, then we would expect the boundaries of the habitable zone to be influenced by the presence of life. Here using a simple abstract model of `tangled-ecology' where life can influence a global parameter, labelled as temperature, we investigate the boundaries of the habitable zone of our model system. As with other models of life-climate interactions, the species act to regulate the temperature. However, the system can also experience `punctuations', where the system's state jumps between different equilibria. Despite this, an ensemble of systems still tends to sustain or even improve conditions for life on average, a feature we call Entropic Gaia. The mechanism behind this is sequential selection with memory which is discussed in detail. With this modelling framework we investigate questions about how Gaia can affect and ultimately extend the habitable zone to what we call the Gaian habitable zone. This generates concrete predictions for the size of the habitable zone around stars, suggests directions for future work on the simulation of exoplanets and provides insight into the Gaian bottleneck hypothesis and the habitability/inhabitance paradox.


title: Beyond spectral gap (extended): The role of the topology in decentralized learning

abstract: In data-parallel optimization of machine learning models, workers collaborate to improve their estimates of the model: more accurate gradients allow them to use larger learning rates and optimize faster. In the decentralized setting, in which workers communicate over a sparse graph, current theory fails to capture important aspects of real-world behavior. First, the `spectral gap' of the communication graph is not predictive of its empirical performance in (deep) learning. Second, current theory does not explain that collaboration enables larger learning rates than training alone. In fact, it prescribes smaller learning rates, which further decrease as graphs become larger, failing to explain convergence dynamics in infinite graphs. This paper aims to paint an accurate picture of sparsely-connected distributed optimization. We quantify how the graph topology influences convergence in a quadratic toy problem and provide theoretical results for general smooth and (strongly) convex objectives. Our theory matches empirical observations in deep learning, and accurately describes the relative merits of different graph topologies. This paper is an extension of the conference paper by Vogels et. al. (2022). Code: https://github.com/epfml/topology-in-decentralized-learning.


title: L-HYDRA: Multi-Head Physics-Informed Neural Networks

abstract: We introduce multi-head neural networks (MH-NNs) to physics-informed machine learning, which is a type of neural networks (NNs) with all nonlinear hidden layers as the body and multiple linear output layers as multi-head. Hence, we construct multi-head physics-informed neural networks (MH-PINNs) as a potent tool for multi-task learning (MTL), generative modeling, and few-shot learning for diverse problems in scientific machine learning (SciML). MH-PINNs connect multiple functions/tasks via a shared body as the basis functions as well as a shared distribution for the head. The former is accomplished by solving multiple tasks with MH-PINNs with each head independently corresponding to each task, while the latter by employing normalizing flows (NFs) for density estimate and generative modeling. To this end, our method is a two-stage method, and both stages can be tackled with standard deep learning tools of NNs, enabling easy implementation in practice. MH-PINNs can be used for various purposes, such as approximating stochastic processes, solving multiple tasks synergistically, providing informative prior knowledge for downstream few-shot learning tasks such as meta-learning and transfer learning, learning representative basis functions, and uncertainty quantification. We demonstrate the effectiveness of MH-PINNs in five benchmarks, investigating also the possibility of synergistic learning in regression analysis. We name the open-source code "Lernaean Hydra" (L-HYDRA), since this mythical creature possessed many heads for performing important multiple tasks, as in the proposed method.


title: On the Melting Thresholds of Semiconductors under Nanosecond Pulse Laser Irradiation

abstract: In this work, a unified numerical model is used to determine the melting thresholds and to investigate early stages of melting of several crystalline semiconductors (Si, Ge, GaAs, CdTe and InP) irradiated by nanosecond laser pulses. A molten fraction approach is used for continuous transition over the melting point. The results are compared with previously published theoretical and experimental data. A survey on the thermophysical and optical properties of the selected materials has been carried out to gather the most relevant data on temperature dependent properties for the solid and liquid states of these semiconductors where such data are available. A generalization of the obtained results is established which enables evaluation of the melting thresholds for different semiconductors based on their properties and irradiation conditions (laser wavelength, pulse duration).


title: Generalised Young Measures and characterisation of gradient Young Measures

abstract: Given a function $f\in C(\mathbb{R}^d)$ of linear growth, we give a new way of representing accumulation points of \begin{equation} \int_\Omega f(v_i(z))d\mu(z), \end{equation} where $\mu\in \mathcal{M}^+(\Omega)$, and $(v_i)_{i\in \mathbb{N}}\subset L^1(\Omega,\mu)$ is norm bounded. We call such representations "generalised Young Measures". With the help of the new representations, we then characterise these limits when they are generated by gradients, i.e. when $v_i = Du_i$ for $u_i\in W^{1,1}(\Omega,\mathbb{R}^m)$, via a set of integral inequalities.


title: A Shannon-Theoretic Approach to the Storage-Retrieval Tradeoff in PIR Systems

abstract: We consider the storage-retrieval rate tradeoff in private information retrieval (PIR) systems using a Shannon-theoretic approach. Our focus is mostly on the canonical two-message two-database case, for which a coding scheme based on random codebook generation and the binning technique is proposed. This coding scheme reveals a hidden connection between PIR and the classic multiple description source coding problem. We first show that when the retrieval rate is kept optimal, the proposed non-linear scheme can achieve better performance over any linear scheme. Moreover, a non-trivial storage-retrieval rate tradeoff can be achieved beyond space-sharing between this extreme point and the other optimal extreme point, achieved by the retrieve-everything strategy. We further show that with a method akin to the expurgation technique, one can extract a zero-error PIR code from the random code. Outer bounds are also studied and compared to establish the superiority of the non-linear codes over linear codes.


title: Spin polarization induced by decoherence in a tunneling one-dimensional Rashba model

abstract: Basic questions on the nature of spin polarization in two terminal systems and the way in which decoherence breaks Time-Reversal Symmetry (TRS) are analyzed. We exactly solve several one-dimensional models of tunneling electrons and show the interplay of spin precession and decay of the wavefunction in either a U(1) magnetic field or an effective Spin-Orbit (SO) magnetic field. Spin polarization is clearly identified as the emergence of a spin component parallel to either magnetic field. We show that Onsager's reciprocity is fulfilled when time reversal symmetry is present and no spin polarization arises, no matter the barrier parameters or the SO strength. Introducing a Buttiker's decoherence probe, that preserves unitarity of time evolution, we show that breaking of TRS results in a strong spin polarization for realistic SO, and barrier strengths. We discuss the significance of these results as a very general scenario for the onset of the Chiral-Induced Spin Selectivity effect (CISS), now possibly matching experiments in a quantitative manner.


title: Asteroids' reflectance from Gaia DR3: Artificial reddening at near-UV wavelengths

abstract: Aims. We aim to assess the suitability in the near-ultraviolet (NUV) region of the solar analogues selected by the team responsible for the asteroid reflectance included in Gaia Data Release 3 (DR3) and to suggest a correction (in the form of multiplicative factors) to be applied to the Gaia DR3 asteroid reflectance spectra to account for the differences with respect to the solar analogue Hyades 64. Results. We find that the solar analogues selected for Gaia DR3 to compute the reflectance spectra of the asteroids of this data release have a systematically redder spectral slope at wavelengths shorter than 0.55 {\mu}m than Hyades 64. We find that no correction is needed in the red photometer (RP, between 0.7 and 1 {\mu}m), but a correction should be applied at wavelengths below 0.55 {\mu}m, that is in the blue photometer (BP). After applying the correction, we find a better agreement between Gaia DR3 spectra, ECAS, HST, and our set of ground-based observations with the TNG. Conclusions. Correcting the near-UV part of the asteroid reflectance spectra is very important for proper comparisons with laboratory spectra (minerals, meteorite samples, etc.) or to analyse quantitatively the UV absorption (which is particularly important to study hydration in primitive asteroids). The spectral behaviour at wavelengths below 0.5 {\mu}m of the selected solar analogues should be fully studied and taken into account for Gaia DR4


title: Limits of Fault-Tolerance on Resource-Constrained Quantum Circuits for Classical Problems

abstract: Existing lower bounds on redundancy in fault-tolerant quantum circuits are applicable when both the input and the intended output are quantum states. These bounds may not necessarily hold, however, when the input and the intended output are classical bits, as in the Deutsch-Jozsa, Grover, or Shor algorithms. Here we show that indeed, noise thresholds obtained from existing bounds do not apply to a simple fault-tolerant implementation of the Deutsch-Jozsa algorithm. Then we obtain the first lower bound on the minimum required redundancy for fault-tolerant quantum circuits with classical inputs and outputs. Recent results show that due to physical resource constraints in quantum circuits, increasing redundancy can increase noise, which in turn may render many fault-tolerance schemes useless. So it is of both practical and theoretical interest to characterize the effect of resource constraints on the fundamental limits of fault-tolerant quantum circuits. Thus as an application of our lower bound, we characterize the fundamental limit of fault-tolerant quantum circuits with classical inputs and outputs under resource constraint-induced noise models.


title: Finite element approximation of scalar curvature in arbitrary dimension

abstract: We analyze finite element discretizations of scalar curvature in dimension $N \ge 2$. Our analysis focuses on piecewise polynomial interpolants of a smooth Riemannian metric $g$ on a simplicial triangulation of a polyhedral domain $\Omega \subset \mathbb{R}^N$ having maximum element diameter $h$. We show that if such an interpolant $g_h$ has polynomial degree $r \ge 0$ and possesses single-valued tangential-tangential components on codimension-1 simplices, then it admits a natural notion of (densitized) scalar curvature that converges in the $H^{-2}(\Omega)$-norm to the (densitized) scalar curvature of $g$ at a rate of $O(h^{r+1})$ as $h \to 0$, provided that either $N = 2$ or $r \ge 1$. As a special case, our result implies the convergence in $H^{-2}(\Omega)$ of the widely used "angle defect" approximation of Gaussian curvature on two-dimensional triangulations, without stringent assumptions on the interpolated metric $g_h$. We present numerical experiments that indicate that our analytical estimates are sharp.


title: ANNA: Abstractive Text-to-Image Synthesis with Filtered News Captions

abstract: Advancements in Text-to-Image synthesis over recent years have focused more on improving the quality of generated samples on datasets with descriptive captions. However, real-world image-caption pairs present in domains such as news data do not use simple and directly descriptive captions. With captions containing information on both the image content and underlying contextual cues, they become abstractive in nature. In this paper, we launch ANNA, an Abstractive News captioNs dAtaset extracted from online news articles in a variety of different contexts. We explore the capabilities of current Text-to-Image synthesis models to generate news domain-specific images using abstractive captions by benchmarking them on ANNA, in both standard training and transfer learning settings. The generated images are judged on the basis of contextual relevance, visual quality, and perceptual similarity to ground-truth image-caption pairs. Through our experiments, we show that techniques such as transfer learning achieve limited success in understanding abstractive captions but still fail to consistently learn the relationships between content and context features.


title: Streaming Zero-Knowledge Proofs

abstract: Streaming interactive proofs (SIPs) enable a space-bounded algorithm with one-pass access to a massive stream of data to verify a computation that requires large space, by communicating with a powerful but untrusted prover. This work initiates the study of zero-knowledge proofs for data streams. We define the notion of zero-knowledge in the streaming setting and construct zero-knowledge SIPs for the two main algorithmic building blocks in the streaming interactive proofs literature: the sumcheck and polynomial evaluation protocols. To the best of our knowledge all known streaming interactive proofs are based on either of these tools, and indeed, this allows us to obtain zero-knowledge SIPs for central streaming problems such as index, point and range queries, median, frequency moments, and inner product. Our protocols are efficient in terms of time and space, as well as communication: the verifier algorithm's space complexity is $\mathrm{polylog}(n)$ and, after a non-interactive setup that uses a random string of near-linear length, the remaining parameters are $n^{o(1)}$. En route, we develop an algorithmic toolkit for designing zero-knowledge data stream protocols, consisting of an algebraic streaming commitment protocol and a temporal commitment protocol.Our analyses rely on delicate algebraic and information-theoretic arguments and reductions from average-case communication complexity.


title: Improve Efficiency of Doubly Robust Estimator when Propensity Score is Misspecified

abstract: Doubly robust (DR) estimation is a crucial technique in causal inference and missing data problems. We propose a novel Propensity score Augmentved Doubly robust (PAD) estimator to enhance the commonly used DR estimator for average treatment effect on the treated (ATT), or equivalently, the mean of the outcome under covariate shift. Our proposed estimator attains a lower asymptotic variance than the conventional DR estimator when the propensity score (PS) model is misspecified and the outcome regression (OR) model is correct while maintaining the double robustness property that it is valid when either the PS or OR model is correct. These are realized by introducing some properly calibrated adjustment covariates to linearly augment the PS model and solving a restricted weighted least square (RWLS) problem to minimize the variance of the augmented estimator. Both the asymptotic analysis and simulation studies demonstrate that PAD can significantly reduce the estimation variance compared to the standard DR estimator when the PS model is wrong and the OR is correct, and maintain close performance to DR when the PS model is correct. We further applied our method to study the effects of eligibility for 401(k) plan on the improvement of net total financial assets using data from the Survey of Income and Program Participation of 1991.


title: Resonant triad interactions of gravity waves in cylindrical basins

abstract: We present the results of a theoretical investigation into the existence, evolution and excitation of resonant triads of nonlinear free-surface gravity waves confined to a cylinder of finite depth. It is well known that resonant triads are impossible for gravity waves in laterally unbounded domains; we demonstrate, however, that horizontal confinement of the fluid may induce resonant triads for particular fluid depths. For any three correlated wave modes arising in a cylinder of arbitrary cross-section, we prove necessary and sufficient conditions for the existence of a depth at which nonlinear resonance may arise, and show that the resultant critical depth is unique. We enumerate the low-frequency triads for circular cylinders, including a new class of resonances between standing and counter-propagating waves, and also briefly discuss annular and rectangular cylinders. Upon deriving the triad amplitude equations for a finite-depth cylinder of arbitrary cross-section, we deduce that the triad evolution is always periodic, and determine parameters controlling the efficiency of energy exchange. In order to excite a particular triad, we explore the influence of external forcing; in this case, the triad evolution may be periodic, quasi-periodic, or chaotic. Finally, our results have potential implications on resonant water waves in man-made and natural basins, such as industrial-scale fluid tanks, harbours and bays.


title: Emergence of anyonic correlations from spin and charge dynamics in one dimension

abstract: We propose a transformation for spin and charge degrees of freedom in one-dimensional lattice systems, constrained to have no doubly occupied sites, that allows direct access to the dynamical correlations of the system. The transformation delivers particle creation and annihilation operators in a form of a spinless particle and a non-local operator acting on the space of states of a spin-$1/2$ chain. This permits a decomposition of dynamical correlation functions as a convolution of those for impenetrable anyons together with those of a spin chain. Further analysis can be done by methods tailored for each part of the convolution, greatly increasing the impact and flexibility of the approach.


title: Towards the resolution of a quantized chaotic phase space: The interplay of dynamics with noise

abstract: We outline formal and physical similarities between the quantum dynamics of open systems, and the mesoscopic description of classical systems affected by weak noise. The main tool of our interest is the dissipative Wigner equation, that, for suitable timescales, becomes analogous to the Fokker-Planck equation describing classical advection and diffusion. This correspondence allows in principle to surmise a finite resolution, other than the Planck scale, for the quantized state space of the open system, particularly meaningful when the latter underlies chaotic classical dynamics. We provide representative examples of the quantum-stochastic parallel with noisy Hopf cycles and Van der Pol type oscillators.


title: Identification of lung nodules CT scan using YOLOv5 based on convolution neural network

abstract: Purpose: The lung nodules localization in CT scan images is the most difficult task due to the complexity of the arbitrariness of shape, size, and texture of lung nodules. This is a challenge to be faced when coming to developing different solutions to improve detection systems. the deep learning approach showed promising results by using convolutional neural network (CNN), especially for image recognition and it's one of the most used algorithm in computer vision. Approach: we use (CNN) building blocks based on YOLOv5 (you only look once) to learn the features representations for nodule detection labels, in this paper, we introduce a method for detecting lung cancer localization. Chest X-rays and low-dose computed tomography are also possible screening methods, When it comes to recognizing nodules in radiography, computer-aided diagnostic (CAD) system based on (CNN) have demonstrated their worth. One-stage detector YOLOv5 trained on 280 annotated CT SCAN from a public dataset LIDC-IDRI based on segmented pulmonary nodules. Results: we analyze the predictions performance of the lung nodule locations, and demarcates the relevant CT scan regions. In lung nodule localization the accuracy is measured as mean average precision (mAP). the mAP takes into account how well the bounding boxes are fitting the labels as well as how accurate the predicted classes for those bounding boxes, the accuracy we got 92.27%. Conclusion: this study was to identify the nodule that were developing in the lungs of the participants. It was difficult to find information on lung nodules in medical literature.


title: Trace Encoding in Process Mining: a survey and benchmarking

abstract: Encoding methods are employed across several process mining tasks, including predictive process monitoring, anomalous case detection, trace clustering, etc. These methods are usually performed as preprocessing steps and are responsible for transforming complex information into a numerical feature space. Most papers choose existing encoding methods arbitrarily or employ a strategy based on a specific expert knowledge domain. Moreover, existing methods are employed by using their default hyperparameters without evaluating other options. This practice can lead to several drawbacks, such as suboptimal performance and unfair comparisons with the state-of-the-art. Therefore, this work aims at providing a comprehensive survey on event log encoding by comparing 27 methods, from different natures, in terms of expressivity, scalability, correlation, and domain agnosticism. To the best of our knowledge, this is the most comprehensive study so far focusing on trace encoding in process mining. It contributes to maturing awareness about the role of trace encoding in process mining pipelines and sheds light on issues, concerns, and future research directions regarding the use of encoding methods to bridge the gap between machine learning models and process mining.


title: On the Approximation Accuracy of Gaussian Variational Inference

abstract: The main computational challenge in Bayesian inference is to compute integrals against a high-dimensional posterior distribution. In the past decades, variational inference (VI) has emerged as a tractable approximation to these integrals, and a viable alternative to the more established paradigm of Markov Chain Monte Carlo. However, little is known about the approximation accuracy of VI. In this work, we bound the TV error and the mean and covariance approximation error of Gaussian VI in terms of dimension and sample size. Our error analysis relies on a Hermite series expansion of the log posterior whose first terms are precisely cancelled out by the first order optimality conditions associated to the Gaussian VI optimization problem.


title: Computational analysis of NM-polynomial based topological indices and graph-entropies of carbon nanotube Y-junctions

abstract: Carbon nanotube Y-junctions are of great interest to the next generation of innovative multi-terminal nanodevices. Topological indices are graph-theoretically based parameters that describe various structural properties of a chemical molecule. The entropy of a graph is a topological descriptor that serves to characterize the complexity of the underlying molecular graph. The concept of entropy is a physical property of a thermodynamic system. Graph entropies are the essential thermophysical quantities defined for various graph invariants and are applied to measure the heterogeneity and relative stabilities of molecules. In this paper, several neighborhood degree sum-based topological indices including graph-based entropies of carbon nanotube Y-junction graphs are computed.


title: Homogenization of high-contrast media in finite-strain elastoplasticity

abstract: This work is devoted to the analysis of the interplay between internal variables and high-contrast microstructure in inelastic solids. As a concrete case-study, by means of variational techniques, we derive a macroscopic description for an elastoplastic medium. Specifically, we consider a composite obtained by filling the voids of a periodically perforated stiff matrix by soft inclusions. We study the $\Gamma$-convergence of the related energy functionals as the periodicity tends to zero. The main challenge is posed by the lack of coercivity brought about by the degeneracy of the material properties in the soft part. We prove that the $\Gamma$-limit, which we compute with respect to a suitable notion of convergence, is the sum of the contributions resulting from each of the two components separately. Eventually, convergence of the energy minimizing configurations is obtained.


title: Strong Convergence of Peaks Over a Threshold

abstract: Extreme Value Theory plays an important role to provide approximation results for the extremes of a sequence of independent random variables when their distribution is unknown. An important one is given by the {generalised Pareto distribution} $H_\gamma(x)$ as an approximation of the distribution $F_t(s(t)x)$ of the excesses over a threshold $t$, where $s(t)$ is a suitable norming function. In this paper we study the rate of convergence of $F_t(s(t)\cdot)$ to $H_\gamma$ in variational and Hellinger distances and translate it into that regarding the Kullback-Leibler divergence between the respective densities.


title: Optimised Morse transform of a Gaussian process feature space

abstract: Morse projections are well-known in chemistry and allow one, within a Morse potential approximation, to redefine the potential in a simple quadratic form. The latter, being a non-linear transform, is also very helpful for machine learning methods as they improve the performance of models by projecting the feature space onto more well-suited coordinates. Usually, the Morse projection parameters are taken from numerical benchmarks. We investigate the effect of changing these parameters latter on the model learning, as well as using the machine learning method itself to make the parameters decision. We find that learning is not necessarily improved by the latter and that general Morse projections are extremely susceptible to changes in the training data.


title: Reconstruction of Phase Dynamics from Macroscopic Observations Based on Linear and Nonlinear Response Theories

abstract: We propose a novel method to reconstruct phase dynamics equations from responses in macroscopic variables to weak inputs. Developing linear and nonlinear response theories in coupled phase-oscillators, we derive formulae which connect the responses with the system parameters including the time delay in interactions. We examine our method by applying it to two phase models, one of which describes a mean-field network of the Hodgkin--Huxley type neurons with a nonzero time delay. The method does not require much invasiveness nor microscopic observations, and these advantages highlight its broad applicability in various fields.


title: Large time behavior of semilinear stochastic partial differential equations perturbed by a mixture of Brownian and fractional Brownian motions

abstract: We study the trajectorywise blowup behavior of a semilinear partial differential equation that is driven by a mixture of multiplicative Brownian and fractional Brownian motion, modeling different types of random perturbations. The linear operator is supposed to have an eigenfunction of constant sign, and we show its influence, as well as the influence of its eigenvalue and of the other parameters of the equation, on the occurrence of a blowup in finite time of the solution. We give estimates for the probability of finite time blowup and of blowup before a given fixed time. Essential tools are the mild and weak form of an associated random partial differential equation.


title: Jet Energy Scale and Resolution Measurements in CMS

abstract: Measurements of jet energy scale (JES) and resolution (JER) are presented, based on the legacy reconstruction of 13 TeV proton-proton collision data collected by the CMS experiment during the LHC Run 2 period from 2016-2018. Precision measurement of JES is of the utmost importance for the vast majority of physics measurements and searches at CMS. The high pileup, a harsh radiation environment, and time-dependent variations in detector response and calibration, all make precision JES measurement a challenging task. We present in-situ derivations of JES and JER based on CMS Run 2 data, as well as on simulated samples using various advanced techniques.


title: An Equation of State of CO for use in Planetary Modeling

abstract: Although carbon monoxide (CO) is an abundant molecule and may have great importance for planetary interiors, measurements of its properties are difficult due to its extreme volatility. We calculate the equation of state for CO over a range of temperature and density that is applicable to the conditions in planetary interiors. Previous experimental and theoretical studies cover only a limited temperature-density range. Our calculations match these early results well, but now cover the full range of relevance. The method of calculation is based on the general-purpose quotidian equation of state described by More et al. (1988), which is here used in order to generate a freely downloadable look-up table to be used by the community.


title: The Kromatic Symmetric Function: A $K$-theoretic Analogue of $X_G$

abstract: Schur functions are a basis of the symmetric function ring that represent Schubert cohomology classes for Grassmannians. Replacing the cohomology ring with $K$-theory yields a rich combinatorial theory of inhomogeneous deformations, where Schur functions are replaced by their $K$-analogues, the basis of symmetric Grothendieck functions. We introduce and initiate a theory of the Kromatic symmetric function $\overline{X}_G$, a $K$-theoretic analogue of the chromatic symmetric function $X_G$ of a graph $G$. The Kromatic symmetric function is a generating series for graph colorings in which vertices may receive any nonempty set of distinct colors such that neighboring color sets are disjoint. Our main result lifts a theorem of Gasharov (1996) to this setting, showing that when $G$ is a claw-free incomparability graph, $\overline{X}_G$ is a positive sum of symmetric Grothendieck functions. This result suggests a topological interpretation of Gasharov's theorem. We then show that the Kromatic symmetric functions of path graphs are not positive in any of several $K$-analogues of the $e$-basis of symmetric functions, demonstrating that the Stanley-Stembridge conjecture (1993) does not have such a lift to $K$-theory and so is unlikely to be amenable to a topological perspective. We also define a vertex-weighted extension of $\overline{X}_G$ and show that it admits a deletion--contraction relation. Finally, we give a $K$-analogue for $\overline{X}_G$ of the classic monomial-basis expansion of $X_G$.


title: Sum Labelling Graphs of Maximum Degree Two

abstract: The concept of sum labelling was introduced in 1990 by Harary. A graph is a sum graph if its vertices can be labelled by distinct positive integers in such a way that two vertices are connected by an edge if and only if the sum of their labels is the label of another vertex in the graph. It is easy to see that every sum graph has at least one isolated vertex, and every graph can be made a sum graph by adding at most $n^2$ isolated vertices to it. The minimum number of isolated vertices that need to be added to a graph to make it a sum graph is called the sum number of the graph. The sum number of several prominent graph classes (e.g., cycles, trees, complete graphs) is already well known. We examine the effect of taking the disjoint union of graphs on the sum number. In particular, we provide a complete characterization of the sum number of graphs of maximum degree two, since every such graph is the disjoint union of paths and cycles.


title: The GLASS-JWST Early Release Science Program. II. Stage I release of NIRCam imaging and catalogs in the Abell 2744 region

abstract: We present images and a multi-wavelength photometric catalog based on all of the JWST NIRCam observations obtained to date in the region of the Abell 2744 galaxy cluster. These data come from three different programs, namely the GLASS-JWST Early Release Science Program, UNCOVER, and Director's Discretionary Time program 2756. The observed area in the NIRCam wide-band filters - covering the central and extended regions of the cluster, as well as new parallel fields - is 46.5 arcmin$^2$ in total. All images in eight bands (F090W, F115W, F150W, F200W, F277W, F356W, F410M, F444W) have been reduced adopting the latest calibration and reference files available. Data reduction has been performed using an augmented version of the official JWST pipeline, with improvements aimed at removing or mitigating defects in the raw images and improving the background subtraction and photometric accuracy. We obtain a F444W-detected multi-band catalog, including all NIRCam and available HST data, adopting forced aperture photometry on PSF-matched images. The catalog is intended to enable early scientific investigations and is optimized for the study of faint galaxies; it contains 24389 sources, with a 5$\sigma$ limiting magnitude in the F444W band ranging from 28.5 AB to 30.5 AB, as a result of the varying exposure times of the surveys that observed the field. We publicly release the reduced NIRCam images, associated multi-wavelength catalog and code adopted for $1/f$ noise removal with the aim of aiding users to familiarize themselves with JWST NIRCam data and identify suitable targets for follow-up observations.


title: Existence of robust non-uniformly hyperbolic endomorphism in homotopy classes

abstract: We extend the results of arXiv:2206.08295v2 by showing that any homothety in $\mathbb T^2$ is homotopic to a non-uniformly hyperbolic ergodic area preserving map, provided that its degree is at least $5^2$. We also address other small topological degree cases not considered in the previous article. This proves the existence of a $\mathcal C^1$ open set of non-uniformly hyperbolic systems, that intersects essentially every homotopy classes in $\mathbb T^2$, where the Lyapunov exponents vary continuously.


title: A Critical Appraisal of Data Augmentation Methods for Imaging-Based Medical Diagnosis Applications

abstract: Current data augmentation techniques and transformations are well suited for improving the size and quality of natural image datasets but are not yet optimized for medical imaging. We hypothesize that sub-optimal data augmentations can easily distort or occlude medical images, leading to false positives or negatives during patient diagnosis, prediction, or therapy/surgery evaluation. In our experimental results, we found that utilizing commonly used intensity-based data augmentation distorts the MRI scans and leads to texture information loss, thus negatively affecting the overall performance of classification. Additionally, we observed that commonly used data augmentation methods cannot be used with a plug-and-play approach in medical imaging, and requires manual tuning and adjustment.


title: Comparing Ordering Strategies For Process Discovery Using Synthesis Rules

abstract: Process discovery aims to learn process models from observed behaviors, i.e., event logs, in the information systems.The discovered models serve as the starting point for process mining techniques that are used to address performance and compliance problems. Compared to the state-of-the-art Inductive Miner, the algorithm applying synthesis rules from the free-choice net theory discovers process models with more flexible (non-block) structures while ensuring the same desirable soundness and free-choiceness properties. Moreover, recent development in this line of work shows that the discovered models have compatible quality. Following the synthesis rules, the algorithm incrementally modifies an existing process model by adding the activities in the event log one at a time. As the applications of rules are highly dependent on the existing model structure, the model quality and computation time are significantly influenced by the order of adding activities. In this paper, we investigate the effect of different ordering strategies on the discovered models (w.r.t. fitness and precision) and the computation time using real-life event data. The results show that the proposed ordering strategy can improve the quality of the resulting process models while requiring less time compared to the ordering strategy solely based on the frequency of activities.


title: Cold plasma waves in the chiral Maxwell-Carroll-Field-Jackiw electrodynamics

abstract: In this work, we study the propagation and absorption of plasma waves in the chiral Maxwell-Carroll-Field-Jackiw (MCJF) electrodynamics. The Maxwell equations are rewritten for a cold, uniform, and collisionless fluid plasma model, allowing us to determine the new refractive indices and propagating modes. The cases of propagation parallel and orthogonal to the magnetic field are examined considering a purely timelike CFJ background that plays the role of the magnetic conductivity chiral parameter. The collective electromagnetic modes are associated with four distinct refractive indices associated with right-circularly polarized and left-circularly polarized waves. For each index, the propagation and absorption zones are illustrated for some specific parameter values. In low-frequency regime, we have obtained modified helicons with right- and left-circularly polarizations. The optical behavior is investigated by means of the rotatory power (RP) and dichroism coefficient. The existence of a negative refraction zone enhances the rotatory power. It is also observed RP sign reversal, a feature of rotating plasmas.


title: Chat2Map: Efficient Scene Mapping from Multi-Ego Conversations

abstract: Can conversational videos captured from multiple egocentric viewpoints reveal the map of a scene in a cost-efficient way? We seek to answer this question by proposing a new problem: efficiently building the map of a previously unseen 3D environment by exploiting shared information in the egocentric audio-visual observations of participants in a natural conversation. Our hypothesis is that as multiple people ("egos") move in a scene and talk among themselves, they receive rich audio-visual cues that can help uncover the unseen areas of the scene. Given the high cost of continuously processing egocentric visual streams, we further explore how to actively coordinate the sampling of visual information, so as to minimize redundancy and reduce power use. To that end, we present an audio-visual deep reinforcement learning approach that works with our shared scene mapper to selectively turn on the camera to efficiently chart out the space. We evaluate the approach using a state-of-the-art audio-visual simulator for 3D scenes as well as real-world video. Our model outperforms previous state-of-the-art mapping methods, and achieves an excellent cost-accuracy tradeoff. Project: http://vision.cs.utexas.edu/projects/chat2map.


title: Discovering Sound Free-choice Workflow Nets With Non-block Structures

abstract: Process discovery aims to discover models that can explain the behaviors of event logs extracted from information systems. While various approaches have been proposed, only a few guarantee desirable properties such as soundness and free-choice. State-of-the-art approaches that exploit the representational bias of process trees to provide the guarantees are constrained to be block-structured.Such constructs limit the expressive power of the discovered models, i.e., only a subset of sound free-choice workflow nets can be discovered. To support a more flexible structural representation, we aim to discover process models that provide the same guarantees but also allow for non-block structures. Inspired by existing works that utilize synthesis rules from the free-choice nets theory, we propose an automatic approach that incrementally adds activities to an existing process model with predefined patterns. Playing by the rules ensures that the resulting models are always sound and free-choice. Furthermore, the discovered models are not restricted to block structures and are thus more flexible. The approach has been implemented in Python and tested using various real-life event logs. The experiments show that our approach can indeed discover models with competitive quality and more flexible structures compared to the existing approach.


title: Inferring the impact of feedback on the matter distribution using the Sunyaev Zel'dovich effect: Insights from CAMELS simulations and ACT+DES data

abstract: Feedback from active galactic nuclei and stellar processes changes the matter distribution on small scales, leading to significant systematic uncertainty in weak lensing constraints on cosmology. We investigate how the observable properties of group-scale halos can constrain feedback's impact on the matter distribution using Cosmology and Astrophysics with MachinE Learning Simulations (CAMELS). Extending the results of previous work to smaller halo masses and higher wavenumber, $k$, we find that the baryon fraction in halos contains significant information about the impact of feedback on the matter power spectrum. We explore how the thermal Sunyaev Zel'dovich (tSZ) signal from group-scale halos contains similar information. Using recent Dark Energy Survey (DES) weak lensing and Atacama Cosmology Telescope (ACT) tSZ cross-correlation measurements and models trained on CAMELS, we obtain $10\%$ constraints on feedback effects on the power spectrum at $k \sim 5\, h/{\rm Mpc}$. We show that with future surveys, it will be possible to constrain baryonic effects on the power spectrum to $\mathcal{O}(<1\%)$ at $k = 1\, h/{\rm Mpc}$ and $\mathcal{O}(3\%)$ at $k = 5\, h/{\rm Mpc}$ using the methods that we introduce here. Finally, we investigate the impact of feedback on the matter bispectrum, finding that tSZ observables are highly informative in this case.


title: Growth of Log-Analytic Functions

abstract: We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set which contains the germ of every ray at infinity.


title: Deterministic multi-level spin orbit torque switching using He+ microscopy patterning

abstract: He$^+$ ion irradiation is used to pattern multiple areas of Pt/Co/W films with different irradiation doses in Hall bars. The resulting perpendicular magnetic anisotropy landscape enables selective multilevel current-induced switching, with full deterministic control of the position and order of the individual switching elements. Key pattern design parameters are specified, opening a way to scalable multilevel switching devices.


title: Space Plasma Physics Science Opportunities for the Lunar Orbital Platform -Gateway

abstract: The Lunar Orbital Platform-Gateway (LOP-Gateway, or simply Gateway) is a crewed platform that will be assembled and operated in the vicinity of the Moon by NASA and international partner organizations, including ESA, starting from the mid-2020s. It will offer new opportunities for fundamental and applied scientific research. The Moon is a unique location to study the deep space plasma environment. Moreover, the lunar surface and the surface-bounded exosphere are interacting with this environment, constituting a complex multi-scale interacting system. This paper examines the opportunities provided by externally mounted payloads on the Gateway in the field of space plasma physics, heliophysics and space weather, but also examines the impact of the space environment on an inhabited platform in the vicinity of the Moon. It then presents the conceptual design of a model payload, required to perform these space plasma measurements and observations. It results that the Gateway is very well-suited for space plasma physics research. It allows a series of scientific objectives with a multidisciplinary dimension to be addressed.

categories: physics.space-ph astro-ph.EP astro-ph.IM physics.plasm-ph


title: A general framework for implementing distances for categorical variables

abstract: The degree to which subjects differ from each other with respect to certain properties measured by a set of variables, plays an important role in many statistical methods. For example, classification, clustering, and data visualization methods all require a quantification of differences in the observed values. We can refer to the quantification of such differences, as distance. An appropriate definition of a distance depends on the nature of the data and the problem at hand. For distances between numerical variables, there exist many definitions that depend on the size of the observed differences. For categorical data, the definition of a distance is more complex, as there is no straightforward quantification of the size of the observed differences. Consequently, many proposals exist that can be used to measure differences based on categorical variables. In this paper, we introduce a general framework that allows for an efficient and transparent implementation of distances between observations on categorical variables. We show that several existing distances can be incorporated into the framework. Moreover, our framework quite naturally leads to the introduction of new distance formulations and allows for the implementation of flexible, case and data specific distance definitions. Furthermore, in a supervised classification setting, the framework can be used to construct distances that incorporate the association between the response and predictor variables and hence improve the performance of distance-based classifiers.


title: Physics informed neural network for charged particles surrounded by conductive boundaries

abstract: In this paper, we developed a new PINN-based model to predict the potential of point-charged particles surrounded by conductive walls. As a result of the proposed physics-informed neural network model, the mean square error and R2 score are less than 7% and more than 90% for the corresponding example simulation, respectively. Results have been compared with typical neural networks and random forest as a standard machine learning algorithm. The R2 score of the random forest model was 70%, and a standard neural network could not be trained well. Besides, computing time is significantly reduced compared to the finite element solver.

categories: physics.comp-ph cond-mat.mtrl-sci math-ph math.MP


title: Families of bosonic suppression laws beyond the permutation symmetry principle

abstract: Exact cancellation of quantum amplitudes in multiphoton interferences with Fock states at input, the so-called suppression or zero transmission laws generalizing the Hong-Ou-Mandel dip, are useful tool in quantum information and computation. It was recently suggested that all bosonic suppression laws follow from a common permutation symmetry in the input quantum state and the unitary matrix of interferometer. By using the recurrence relations for interference of Fock states, we find a wealth of suppression laws on the beamsplitter and tritter which are not explained by the permutation symmetry principle. Our results reveal that in interference with Fock states on unitary multiports there are whole families of suppression laws for arbitrary total number of bosons even on asymmetric unitary multiports, beyond the previously formulated permutation symmetry principle.


title: Universal scaling between wave speed and size enables nanoscale high-performance reservoir computing based on propagating spin-waves

abstract: Neuromorphic computing using spin waves is promising for high-speed nanoscale devices, but the realization of high performance has not yet been achieved. Here we show, using micromagnetic simulations and simplified theory with response functions, that spin-wave physical reservoir computing can achieve miniaturization down to nanoscales keeping high computational power comparable with other state-of-art systems. We also show the scaling of system sizes with the propagation speed of spin waves plays a key role to achieve high performance at nanoscales.


title: Builtin Types viewed as Inductive Families

abstract: State of the art optimisation passes for dependently typed languages can help erase the redundant information typical of invariant-rich data structures and programs. These automated processes do not dramatically change the structure of the data, even though more efficient representations could be available. Using Quantitative Type Theory, we demonstrate how to define an invariant-rich, typechecking time data structure packing an efficient runtime representation together with runtime irrelevant invariants. The compiler can then aggressively erase all such invariants during compilation. Unlike other approaches, the complexity of the resulting representation is entirely predictable, we do not require both representations to have the same structure, and yet we are able to seamlessly program as if we were using the high-level structure.


title: Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs

abstract: The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translating proofs written in natural language into a formal representation that is computer-verifiable via interactive theorem provers. In this paper, we introduce a semantic parsing approach, based on the Universal Transformer architecture, that translates elementary mathematical proofs into an equivalent formalization in the language of the Coq interactive theorem prover. The same architecture is also trained to translate simple imperative code decorated with Hoare triples into formally verifiable proofs of correctness in Coq. Experiments on a limited domain of artificial and human-written proofs show that the models generalize well to intermediate lengths not seen during training and variations in natural language.


title: Competitive learning to generate sparse representations for associative memory

abstract: One of the most well established brain principles, hebbian learning, has led to the theoretical concept of neural assemblies. Based on it, many interesting brain theories have spawned. Palm's work implements this concept through binary associative memory, in a model that not only has a wide cognitive explanatory power but also makes neuroscientific predictions. Yet, associative memory can only work with logarithmic sparse representations, which makes it extremely difficult to apply the model to real data. We propose a biologically plausible network that encodes images into codes that are suitable for associative memory. It is organized into groups of neurons that specialize on local receptive fields, and learn through a competitive scheme. After conducting auto- and hetero-association experiments on two visual data sets, we can conclude that our network not only beats sparse coding baselines, but also that it comes close to the performance achieved using optimal random codes.


title: Virtual Node Graph Neural Network for Full Phonon Prediction

abstract: The structure-property relationship plays a central role in materials science. Understanding the structure-property relationship in solid-state materials is crucial for structure design with optimized properties. The past few years witnessed remarkable progress in correlating structures with properties in crystalline materials, such as machine learning methods and particularly graph neural networks as a natural representation of crystal structures. However, significant challenges remain, including predicting properties with complex unit cells input and material-dependent, variable-length output. Here we present the virtual node graph neural network to address the challenges. By developing three types of virtual node approaches - the vector, matrix, and momentum-dependent matrix virtual nodes, we achieve direct prediction of $\Gamma$-phonon spectra and full dispersion only using atomic coordinates as input. We validate the phonon bandstructures on various alloy systems, and further build a $\Gamma$-phonon database containing over 146,000 materials in the Materials Project. Our work provides an avenue for rapid and high-quality prediction of phonon spectra and bandstructures in complex materials, and enables materials design with superior phonon properties for energy applications. The virtual node augmentation of graph neural networks also sheds light on designing other functional properties with a new level of flexibility.


title: Privacy-Preserving Distributed Energy Resource Control with Decentralized Cloud Computing

abstract: The rapidly growing penetration of renewable energy resources brings unprecedented challenges to power distribution networks - management of a large population of grid-tied controllable devices encounters control scalability crises and potential end-user privacy breaches. Despite the importance, research on privacy preservation of distributed energy resource (DER) control in a fully scalable manner is lacked. To fill the gap, this paper designs a novel decentralized privacy-preserving DER control framework that 1) achieves control scalability over DER population and heterogeneity; 2) eliminates peer-to-peer communications and secures the privacy of all participating DERs against various types of adversaries; and 3) enjoys higher computation efficiency and accuracy compared to state-of-the-art privacy-preserving methods. A strongly coupled optimization problem is formulated to control the power consumption and output of DERs, including solar photovoltaics and energy storage systems, then solved using the projected gradient method. Cloud computing and secret sharing are seamlessly integrated into the proposed decentralized computing to achieve privacy preservation. Simulation results prove the capabilities of the proposed approach in DER control applications.


title: On the Generalized Fitting Height and Nonsoluble Length of the Mutually Permutable Products of Finite Groups

abstract: The generalized Fitting height $h^*(G)$ of a finite group $G$ is the least number $h$ such that $\mathrm{F}_h^* (G) = G$, where $\mathrm{F}_{(0)}^* (G) = 1$, and $\mathrm{F}_{(i+1)}^*(G)$ is the inverse image of the generalized Fitting subgroup $\mathrm{F}^*(G/\mathrm{F}^*_{(i)} (G))$. Let $p$ be a prime, $1=G_0\leq G_1\leq\dots\leq G_{2h+1}=G$ be the shortest normal series in which for $i$ odd the factor $G_{i+1}/G_i$ is $p$-soluble (possibly trivial), and for $i$ even the factor $G_{i+1}/G_i$ is a (non-empty) direct product of nonabelian simple groups. Then $h=\lambda_p(G)$ is called the non-$p$-soluble length of a group $G$. We proved that if a finite group $G$ is a mutually permutable product of of subgroups $A$ and $B$ then $\max\{h^*(A), h^*(B)\}\leq h^*(G)\leq \max\{h^*(A), h^*(B)\}+1$ and $\max\{\lambda_p(A), \lambda_p(B)\}= \lambda_p(G)$. Also we introduced and studied the non-Frattini length.


title: Impact, Attention, Influence: Early Assessment of Autonomous Driving Datasets

abstract: Autonomous Driving (AD), the area of robotics with the greatest potential impact on society, has gained a lot of momentum in the last decade. As a result of this, the number of datasets in AD has increased rapidly. Creators and users of datasets can benefit from a better understanding of developments in the field. While scientometric analysis has been conducted in other fields, it rarely revolves around datasets. Thus, the impact, attention, and influence of datasets on autonomous driving remains a rarely investigated field. In this work, we provide a scientometric analysis for over 200 datasets in AD. We perform a rigorous evaluation of relations between available metadata and citation counts based on linear regression. Subsequently, we propose an Influence Score to assess a dataset already early on without the need for a track-record of citations, which is only available with a certain delay.


title: Computer Anxiety: Supporting the Transition from Desktop to Mobile

abstract: Computer Anxiety is a phenomenon studied in multiple contexts and, in the actual COVID-19 scenario, it is gaining more and more importance as it impacts technology adoption and autonomy. People with Computer Anxiety (PwCA) might feel intimidated, afraid of feeling embarrassed or scared of damaging computers, even before the actual interaction. Thus, supporting the detection of Computer Anxiety at scale has the potential to support the technology industry to cope with this challenge. This position paper presents a user study involving 39 elderly participants in an investigation on the feasibility of using interaction events common to desktop and smartphones to predict different levels of Computer Anxiety. Moreover, it also proposes research directions about the role of smartphones in the context of Computer Anxiety for elderly people as a mean of supporting good first user experiences with technology, meaningful daily use, privacy, and feeling safe even when doing mistakes. We expect this position paper motivates practitioners, designers, and developers to consider Computer Anxiety as one of the existing barriers when creating mobile applications for elderly people.


title: On the Equality of Test Ideals

abstract: We provide a natural criterion which implies equality of the finitistic test ideal and test ideal in local rings of prime characteristic. Most notably, we show that the criterion is met by every local weakly $F$-regular ring whose anti-canonical algebra is Noetherian on the punctured spectrum.


title: Divisibility of character values of the symmetric group by prime powers

abstract: Proving a conjecture of Miller, we show that as $n$ tends to infinity almost all entries in the character table of $S_n$ are divisible by any given prime power. This extends our earlier work which treated divisibility by primes.


title: Association schemes on triples from affine special semilinear groups

abstract: Association schemes on triples (ASTs) are 3-dimensional analogues of classical association schemes. If a group acts two-transitively on a set, the orbits of the action induced on the triple Cartesian product of that set yields an AST. By considering the actions of semidirect products of the affine special linear group ASL(k,n) with subgroups of the Galois group Gal(GF(n)), we obtain the sizes, third valencies, and intersection numbers of the ASTs obtained from subgroups of the affine special semilinear group.


title: The logic with unsharp implication and negation

abstract: It is well-known that intuitionistic logics can be formalized by means of Brouwerian semilattices, i.e. relatively pseudocomplemented semilattices. Then the logical connective implication is considered to be the relative pseudocomplement and conjunction is the semilattice operation meet. If the Brouwerian semilattice has a bottom element 0 then the relative pseudocomplement with respect to 0 is called the pseudocomplement and it is considered as the connective negation in this logic. Our idea is to consider an arbitrary meet-semilattice with 0 satisfying only the Ascending Chain Condition, which is trivially satisfied in finite semilattices, and introduce the connective negation x^0 as the set of all maximal elements z satisfying x^z=0 and the connective implication x->y as the set of all maximal elements z satisfying x^z\le y. Such a negation and implication is "unsharp" since it assigns to one entry x or to two entries x and y belonging to the semilattice, respectively, a subset instead of an element of the semilattice. Surprisingly, this kind of negation and implication, respectively, still shares a number of properties of these connectives in intuitionistic logic, in particular the derivation rule Modus Ponens. Moreover, unsharp negation and unsharp implication can be characterized by means of five, respectively seven simple axioms. Several examples are presented. The concepts of a deductive system and of a filter are introduced as well as the congruence determined by such a filter. We finally describe certain relationships between these concepts.


title: Lessons from Formally Verified Deployed Software Systems (Extended version)

abstract: The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry? To help answer this question, the present survey examines a range of projects, in various application areas, that have produced formally verified systems and deployed them for actual use. It considers the technologies used, the form of verification applied, the results obtained, and the lessons that the software industry should draw regarding its ability to benefit from formal verification techniques and tools. Note: this version is the extended article, covering all the systems identified as relevant. A shorter version, covering only a selection, is also available.


title: Spinors, Proper Time and Higher-Spin Fields

abstract: We present a Lagrangian formulation for 4d integer-spin relativistic fields in the 5d space spanned by two conjugate Weyl spinors and a Lorentz-invariant proper-time coordinate. We construct a manifestly Poincare-invariant free classical action, find a general solution to equations of motion and a corresponding positive-definite inner product. Our formulation displays a separation of variables: equations of motion represent ODE in a proper time only, while spinor coordinates parameterize the Cauchy hypersurface. We also find momentum eigenstates solutions for massless arbitrary integer-spin fields and a massive scalar field.


title: Do Users Want Platform Moderation or Individual Control? Examining the Role of Third-Person Effects and Free Speech Support in Shaping Moderation Preferences

abstract: This study examines social media users' preferences for the use of platform-wide moderation in comparison to user-controlled, personalized moderation tools to regulate three categories of norm-violating content - hate speech, sexually explicit content, and violent content. Via a nationally representative survey of 984 US adults, we explore the influence of third-person effects and support for freedom of expression on this choice. We find that perceived negative effects on others negatively predict while free speech support positively predicts a preference for having personal moderation settings over platform-directed moderation for regulating each speech category. Our findings show that platform governance initiatives need to account for both actual and perceived media effects of norm-violating speech categories to increase user satisfaction. Our analysis suggests that users do not view personal moderation tools as an infringement on others' free speech but as a means to assert greater agency over their social media feeds.


title: Spatially Resolved Stellar Populations of $0.3<z<6.0$ Galaxies in WHL0137-08 and MACS0647+70 Clusters as Revealed by JWST: How do Galaxies Grow and Quench Over Cosmic Time?

abstract: We study the spatially resolved stellar populations of 444 galaxies at $0.3<z<6.0$ in two clusters (WHL0137-08 and MACS0647+70) and a blank field, combining imaging data from HST and JWST to perform spatially resolved spectral energy distribution (SED) modeling using pixedfit. The high spatial resolution of the imaging data combined with magnification from gravitational lensing in the cluster fields allows us to resolve some galaxies to sub-kpc scales (for 109 of our galaxies). At redshifts around cosmic noon and higher ($2.5\lesssim z\lesssim 6.0$), we find mass doubling times to be independent of radius, inferred from flat specific star formation rate (sSFR) radial profiles and similarities between the half-mass and half-SFR radii. At lower redshifts ($1.5\lesssim z\lesssim 2.5$), a significant fraction of our star-forming galaxies show evidence for nuclear starbursts, inferred from centrally elevated sSFR, and a much smaller half-SFR radius compared to the half-mass radius. At later epochs, we find more galaxies suppress star formation in their center but are still actively forming stars in the disk. Overall, these trends point toward a picture of inside-out galaxy growth consistent with theoretical models and simulations. We also observe a tight relationship between the central mass surface density and global stellar mass with $\sim 0.38$ dex scatter. Our analysis demonstrates the potential of spatially resolved SED analysis with JWST data. Future analysis with larger samples will be able to further explore the assembly of galaxy mass and the growth of their structures


title: Repulsive Bounded-Confidence Model of Opinion Dynamics in Polarized Communities

abstract: Collective opinions affect civic participation, governance, and societal norms. Due to the influence of opinion dynamics, many models of their formation and evolution have been developed. A commonly used approach for the study of opinion dynamics is bounded-confidence models. In these models, individuals are influenced by the opinions of others in their network. They generally assume that individuals will formulate their opinions to resemble those of their peers. In this paper, inspired by the dynamics of partisan politics, we introduce a bounded-confidence model in which individuals may be repelled by the opinions of their peers rather than only attracted to them. We prove convergence properties of our model and perform simulations to study the behavior of our model on various types of random networks. In particular, we observe that including opinion repulsion leads to a higher degree of opinion fragmentation than in standard bounded-confidence models.


title: Teaching Computer Vision for Ecology

abstract: Computer vision can accelerate ecology research by automating the analysis of raw imagery from sensors like camera traps, drones, and satellites. However, computer vision is an emerging discipline that is rarely taught to ecologists. This work discusses our experience teaching a diverse group of ecologists to prototype and evaluate computer vision systems in the context of an intensive hands-on summer workshop. We explain the workshop structure, discuss common challenges, and propose best practices. This document is intended for computer scientists who teach computer vision across disciplines, but it may also be useful to ecologists or other domain experts who are learning to use computer vision themselves.