title: Giving life to robotic skins

abstract: The skin of humanoid robots often lacks human tactility and the inherent self-repair capability of biological tissues. Recently, researchers have grown a living, self-healing skin on a robot finger by subsequent culturing of human dermal and epidermal cells. Here, we highlight the significance of this study alongside challenges toward developing biohybrid robots equipped with sensate and adaptive living robotic skins.


title: Model Mixing Using Bayesian Additive Regression Trees

abstract: In modern computer experiment applications, one often encounters the situation where various models of a physical system are considered, each implemented as a simulator on a computer. An important question in such a setting is determining the best simulator, or the best combination of simulators, to use for prediction and inference. Bayesian model averaging (BMA) and stacking are two statistical approaches used to account for model uncertainty by aggregating a set of predictions through a simple linear combination or weighted average. Bayesian model mixing (BMM) extends these ideas to capture the localized behavior of each simulator by defining input-dependent weights. One possibility is to define the relationship between inputs and the weight functions using a flexible non-parametric model that learns the local strengths and weaknesses of each simulator. This paper proposes a BMM model based on Bayesian Additive Regression Trees (BART). The proposed methodology is applied to combine predictions from Effective Field Theories (EFTs) associated with a motivating nuclear physics application.


title: Improving Self-Consistency in Underwater Mapping Through Laser-Based Loop Closure (Extended)

abstract: Accurate, self-consistent bathymetric maps are needed to monitor changes in subsea environments and infrastructure. These maps are increasingly collected by underwater vehicles, and mapping requires an accurate vehicle navigation solution. Commercial off-the-shelf (COTS) navigation solutions for underwater vehicles often rely on external acoustic sensors for localization, however survey-grade acoustic sensors are expensive to deploy and limit the range of the vehicle. Techniques from the field of simultaneous localization and mapping, particularly loop closures, can improve the quality of the navigation solution over dead-reckoning, but are difficult to integrate into COTS navigation systems. This work presents a method to improve the self-consistency of bathymetric maps by smoothly integrating loop-closure measurements into the state estimate produced by a commercial subsea navigation system. Integration is done using a white-noise-on-acceleration motion prior, without access to raw sensor measurements or proprietary models. Improvements in map self-consistency are shown for both simulated and experimental datasets, including a 3D scan of an underwater shipwreck in Wiarton, Ontario, Canada.


title: Diffusion in Phase Space as a Tool to Assess Variability of Vertical Centre-of-Mass Motion During Long-Range Walking

abstract: When a Hamiltonian system undergoes a stochastic, time-dependent anharmonic perturbation, the values of its adiabatic invariants as a function of time follow a distribution whose shape obeys a Fokker-Planck equation. The effective dynamics of the body's centre-of-mass during human walking is expected to represent such a stochastically perturbed dynamical system. By studying, in phase space, the vertical motion of the body's centre-of-mass of 25 healthy participants walking for 10-minutes at spontaneous speed, we show that the distribution of the adiabatic invariant is compatible with the solution of a Fokker-Planck equation with constant diffusion coefficient. The latter distribution appears to be a promising new tool for studying the long-range kinematic variability of walking.


title: Sequentially Controlled Text Generation

abstract: While GPT-2 generates sentences that are remarkably human-like, longer documents can ramble and do not follow human-like writing structure. We study the problem of imposing structure on long-range text. We propose a novel controlled text generation task, sequentially controlled text generation, and identify a dataset, NewsDiscourse as a starting point for this task. We develop a sequential controlled text generation pipeline with generation and editing. We test different degrees of structural awareness and show that, in general, more structural awareness results in higher control-accuracy, grammaticality, coherency and topicality, approaching human-level writing performance.


title: Locality Galois groups of meromorphic germs in several variables

abstract: Meromorphic germs in several variables with linear poles naturally arise in mathematics in various disguises. We investigate their rich structures under the prism of locality, including locality subalgebras, locality transformation groups and locality characters. The key technical tool is the dependence subspace for a meromorphic germ with which we define a locality orthogonal relation between two meromorphic germs. We describe the structure of locality subalgebras generated by classes of meromorphic germs with certain types of poles. We also define and determine their group of locality transformations which fix the holomorphic germs and preserve multivariable residues, a group we call the locality Galois group. We then specialise to two classes of meromorphic germs with prescribed types of nested poles, arising from multiple zeta functions in number theory and Feynman integrals in perturbative quantum field theory respectively. We show that they are locality polynomial subalgebras with locality polynomial bases given by the locality counterpart of Lyndon words. This enables us to explicitly describe their locality Galois group. As an application, we propose a mathematical interpretation of Speer's analytic renormalisation for Feynman amplitudes. We study a class of locality characters, called generalised evaluators after Speer. We show that the locality Galois group acts transitively on generalised evaluators by composition, thus providing a candidate for a renormalisation group in this multivariable approach.


title: Linear response due to singularities

abstract: It is well known that a family of tent-like maps with bounded derivatives has no linear response for typical deterministic perturbations changing the value of the turning point. In this note we prove the following result: if we consider a tent-like family with a \emph{cusp} at the turning point, we recover the linear response. More precisely, let $T_\eps$ be a family of such cusp maps generated by changing the value of the turning point of $T_0$ by a deterministic perturbation and let $h_\eps$ be the corresponding invariant density. We prove that $\eps\mapsto h_\eps$ is differentiable in $L^1$ and provide a formula for its derivative.


title: Proof-theoretic Semantics and Tactical Proof

abstract: The use of logical systems for problem-solving may be as diverse as in proving theorems in mathematics or in figuring out how to meet up with a friend. In either case, the problem solving activity is captured by the search for an \emph{argument}, broadly conceived as a certificate for a solution to the problem. Crucially, for such a certificate to be a solution, it has be \emph{valid}, and what makes it valid is that they are well-constructed according to a notion of inference for the underlying logical system. We provide a general framework uniformly describing the use of logic as a mathematics of reasoning in the above sense. We use proof-theoretic validity in the Dummett-Prawitz tradition to define validity of arguments, and use the theory of tactical proof to relate arguments, inference, and search.


title: WIYN Open Cluster Study. LXXXVII. HST Ultraviolet Detection of Hot White Dwarf Companions to Blue Lurkers in M67

abstract: We present the results of our Hubble Space Telescope far-ultraviolet survey of the blue lurkers (BLs) in M67. We find evidence for two white dwarf companions among the BLs that are indicative of mass transfer from an evolved companion, one in WOCS 14020 and the other in WOCS 3001. The cooling ages of the white dwarfs suggest that mass transfer in these systems occurred $\sim$300--540 Myr and $\sim$600--900 Myr ago, respectively. The rotation periods and cooling ages of the BLs are consistent with spin-up and subsequent single-star spin-down models, and binary evolution models yield plausible evolutionary pathways to both BLs via highly non-conservative mass transfer. We conclude that the BLs are lower-luminosity analogues to the classical blue stragglers.


title: Transverse spin asymmetries at the EIC as a probe of anomalous electric and magnetic dipole moments

abstract: We show that inclusive single-spin asymmetries (SSAs) with transversely polarized protons or electrons at a future electron ion collider (EIC) are sensitive to new physics contributions to electroweak dipole operators of electrons and quarks. We use the Standard Model Effective Field Theory (SMEFT) to parameterize possible heavy new physics contributions to these couplings. We show that new physics scales at or beyond the TeV-scale can be probed assuming realistic EIC run parameters, and that the transverse spin asymmetries are sensitive to different combinations of the dipole couplings than other measurements such as anomalous magnetic or electric dipole moments. We also study the physics potential of SSAs at a possible future upgrade of the EIC to collide muons and protons. Measurements at such an upgrade could probe the same SMEFT parameters that explain the current anomaly in the muon anomalous magnetic moment, and could also improve current bounds on the muon electric dipole moment.


title: Smale's 6th problem for generic masses

abstract: We give a new method to attempt to prove that, for a given $n$, there are finitely many equivalence classes of planar central configurations in the Newtonian $n$-body problem for generic masses. The human part of the proof relies on tropical geometry. The crux of our technique is in a computation that we have completed for $n\leq 5$, thus confirming the celebrated result of Albouy and Kaloshin.


title: Precoding for a Class of Peak-Constrained Dirty Paper Channels with a Discrete State

abstract: The dirty paper channel (DPC) under a peak amplitude constraint arises in an optical wireless broadcast channel (BC), where the state at one receiver is the transmitted signal intended for the other receiver(s). This paper studies a class of peak-constrained DPC that is applicable to the optical wireless BC, where the channel state (i.e, `dirt') takes values from some evenly-spaced grid. For the discrete-state DPC studied this paper, a capacity upper bound is obtained from its state-free counterpart. To lower bound its capacity, classical dirty paper coding schemes are revisited, including Costa's coding for DPC and Tomlinson-Harashima (TH) precoding, which serves as benchmark schemes. To improve the benchmark performance, two new precoding schemes are proposed for the discrete-state DPC. Although the proposed schemes do not achieve the state-free capacity contrary to what is known about the Costa's DPC, achievable rates within a small gap to the state-free capacity are demonstrated for the discrete-state DPC. Using the proposed precoding scheme in a two-user peak-constrained Gaussian BC, a new capacity inner bound (IB) is obtained, and is shown to outperform the truncated Gaussian (TG) based IB and is comparable to the best-known IB.


title: What You Say Is What You Show: Visual Narration Detection in Instructional Videos

abstract: Narrated ''how-to'' videos have emerged as a promising data source for a wide range of learning problems, from learning visual representations to training robot policies. However, this data is extremely noisy, as the narrations do not always describe the actions demonstrated in the video. To address this problem we introduce the novel task of visual narration detection, which entails determining whether a narration is visually depicted by the actions in the video. We propose What You Say is What You Show (WYS^2), a method that leverages multi-modal cues and pseudo-labeling to learn to detect visual narrations with only weakly labeled data. Our model successfully detects visual narrations in in-the-wild videos, outperforming strong baselines, and we demonstrate its impact for state-of-the-art summarization and temporal alignment of instructional videos.


title: The Usability of Advanced Type Systems: Rust as a Case Study

abstract: Advanced type systems that enforce various correctness and safety guarantees--such as linear and ownership types--have a long history in the Programming Languages research community. Despite this history, a human-centered evaluation of these type systems and their usability was all but absent, with empirical evaluations limited to testing their expressiveness in programs written by experts, i.e. the creators of the type system. In the past few years, this has begun to change with the adoption of a version of affine types and ownership in the popular Rust programming language. With the increase in Rust's popularity, various studies have begun empirically evaluating the usability of Rust's Ownership and Lifetime rules, providing a breadth of qualitative and quantitative information on the usability of such type systems. They found that despite Rust's general success in achieving its promise of safety and performance, these rules come with a steep learning curve and have been repeatedly cited as a barrier to adopting Rust. In this report, I provide a brief history of linear types and region-based memory management, which directly inspired Rust's type system. I then introduce Rust's Ownership and Lifetime rules, and present the state-of-the-art in academic research into their usability. I discuss both theoretical arguments and empirical evidence for why these rules are difficult to learn and apply, and survey existing work on addressing some of these difficulties. I also draw from broader works in the HCI and CS Education communities to recommend future work in this area.


title: The cluster decomposition of the configurational energy of multicomponent alloys

abstract: Lattice models parameterized using first-principles calculations constitute an effective framework to simulate the thermodynamic behavior of physical systems. The cluster expansion method is a flexible lattice-based method used extensively in the study of multicomponent alloys. Yet despite its prevalent use, a well-defined understanding of expansion terms has remained elusive. In this letter, we introduce the cluster decomposition as a unique and basis-agnostic decomposition of any general function of the atomic configuration in a crystal. We demonstrate that cluster expansions constructed from arbitrary orthonormal basis sets are all representations of the same cluster decomposition. We show how the norms of expansion coefficients associated with the same crystallographic orbit are invariant to changes between orthonormal bases. Based on its uniqueness and orthogonality properties, we identify the cluster decomposition as an invariant ANOVA decomposition. We leverage these results to illustrate how functional analysis of variance and sensitivity analysis can be used to directly interpret interactions among species and gain insight into computed thermodynamic properties. The work we present in this letter opens new directions for parameter estimation, interpretation, and use of applied lattice models on well-established mathematical and statistical grounds.


title: PressureVision++: Estimating Fingertip Pressure from Diverse RGB Images

abstract: Touch plays a fundamental role in manipulation for humans; however, machine perception of contact and pressure typically requires invasive sensors. Recent research has shown that deep models can estimate hand pressure based on a single RGB image. However, evaluations have been limited to controlled settings since collecting diverse data with ground-truth pressure measurements is difficult. We present a novel approach that enables diverse data to be captured with only an RGB camera and a cooperative participant. Our key insight is that people can be prompted to apply pressure in a certain way, and this prompt can serve as a weak label to supervise models to perform well under varied conditions. We collect a novel dataset with 51 participants making fingertip contact with diverse objects. Our network, PressureVision++, outperforms human annotators and prior work. We also demonstrate an application of PressureVision++ to mixed reality where pressure estimation allows everyday surfaces to be used as arbitrary touch-sensitive interfaces. Code, data, and models are available online.


title: HierVL: Learning Hierarchical Video-Language Embeddings

abstract: Video-language embeddings are a promising avenue for injecting semantics into visual representations, but existing methods capture only short-term associations between seconds-long video clips and their accompanying text. We propose HierVL, a novel hierarchical video-language embedding that simultaneously accounts for both long-term and short-term associations. As training data, we take videos accompanied by timestamped text descriptions of human actions, together with a high-level text summary of the activity throughout the long video (as are available in Ego4D). We introduce a hierarchical contrastive training objective that encourages text-visual alignment at both the clip level and video level. While the clip-level constraints use the step-by-step descriptions to capture what is happening in that instant, the video-level constraints use the summary text to capture why it is happening, i.e., the broader context for the activity and the intent of the actor. Our hierarchical scheme yields a clip representation that outperforms its single-level counterpart as well as a long-term video representation that achieves SotA results on tasks requiring long-term video modeling. HierVL successfully transfers to multiple challenging downstream tasks (in EPIC-KITCHENS-100, Charades-Ego, HowTo100M) in both zero-shot and fine-tuned settings.


title: Training trajectories, mini-batch losses and the curious role of the learning rate

abstract: Stochastic gradient descent plays a fundamental role in nearly all applications of deep learning. However its ability to converge to a global minimum remains shrouded in mystery. In this paper we propose to study the behavior of the loss function on fixed mini-batches along SGD trajectories. We show that the loss function on a fixed batch appears to be remarkably convex-like. In particular for ResNet the loss for any fixed mini-batch can be accurately modeled by a quadratic function and a very low loss value can be reached in just one step of gradient descent with sufficiently large learning rate. We propose a simple model that allows to analyze the relationship between the gradients of stochastic mini-batches and the full batch. Our analysis allows us to discover the equivalency between iterate aggregates and specific learning rate schedules. In particular, for Exponential Moving Average (EMA) and Stochastic Weight Averaging we show that our proposed model matches the observed training trajectories on ImageNet. Our theoretical model predicts that an even simpler averaging technique, averaging just two points a many steps apart, significantly improves accuracy compared to the baseline. We validated our findings on ImageNet and other datasets using ResNet architecture.


title: MIRI/JWST observations reveal an extremely obscured starburst in the z=6.9 system SPT0311-58

abstract: Using MIRI on-board JWST we present mid-infrared sub-arcsec imaging (MIRIM) and spectroscopy (MRS) of the hyperluminous infrared system SPT0311-58 at z=6.9. MIRI observations are compared with existing ALMA far-infrared continuum and [CII]158$\mu$m imaging. Even though the ALMA observations suggests very high star formation rates (SFR) in the eastern (E) and western (W) galaxies of the system, the H$\alpha$ line is not detected. This, together with the detection of the Pa$\alpha$ line, implies very high optical nebular extinction with lower limits of 4.2 (E) and 3.9 mag (W), and even larger 5.6 (E) and 10.0 (W) for SED derived values. The extinction-corrected Pa$\alpha$ SFRs are 383 and 230M$_{\odot}$yr$^{-1}$ for the E and W galaxies, respectively. This represents 50% of the SFRs derived from the [CII]158$\mu$m line and infrared light for the E galaxy and as low as 6% for the W galaxy. The MIRI observations reveal a clumpy stellar structure, with each clump having 3 to 5 $\times$10$^{9}$M$_\mathrm{\odot}$, leading to a total stellar mass of 2.0 and 1.5$\times$10$^{10}$M$_\mathrm{\odot}$ for the E and W galaxies, respectively. The specific SFR in the stellar clumps ranges from 25 to 59Gyr$^{-1}$, which are 3 to 10 times larger than the values measured in galaxies of similar mass at redshifts 6 to 8. The overall gas mass fraction is $M_\mathrm{gas}$/$M_*\sim3$, similar to that of z=4.5-6 star-forming galaxies. The observed properties of SPT0311-58 such as the clumpy distribution at sub(kpc) scales and the very high average extinction are similar to those observed in low- and intermediate-z LIRGs and ULIRGs, even though SPT0311-58 is observed only 800 Myr after the Big Bang. Massive, heavily obscured, clumpy starburst systems like SPT0311-58 likely represent the early phases in the formation of massive high-z bulge/spheroids and luminous quasars.


title: Gauge Sector Dynamics in QCD

abstract: The dynamics of the gauge sector of QCD give rise to nonperturbative phenomena that are crucial for the internal consistency of the theory; most notably, they account for the generation of a gluon mass through the action of the Schwinger mechanism, the taming of the Landau pole and the ensuing stabilization of the gauge coupling, and the infrared suppression of the three-gluon vertex. In the present work, we review some key advances in the ongoing investigation of this sector within the framework of the continuum Schwinger function methods, supplemented by results obtained from lattice simulations.


title: TempSAL -- Uncovering Temporal Information for Deep Saliency Prediction

abstract: Deep saliency prediction algorithms complement the object recognition features, they typically rely on additional information, such as scene context, semantic relationships, gaze direction, and object dissimilarity. However, none of these models consider the temporal nature of gaze shifts during image observation. We introduce a novel saliency prediction model that learns to output saliency maps in sequential time intervals by exploiting human temporal attention patterns. Our approach locally modulates the saliency predictions by combining the learned temporal maps. Our experiments show that our method outperforms the state-of-the-art models, including a multi-duration saliency model, on the SALICON benchmark. Our code will be publicly available on GitHub.


title: Neural Network Adaptive Control with Long Short-Term Memory

abstract: In this study, we propose a novel adaptive control architecture, which provides dramatically better transient response performance compared to conventional adaptive control methods. What makes this architecture unique is the synergistic employment of a traditional, Adaptive Neural Network (ANN) controller and a Long Short-Term Memory (LSTM) network. LSTM structures, unlike the standard feed-forward neural networks, can take advantage of the dependencies in an input sequence, which can contain critical information that can help predict uncertainty. Through a novel training method we introduced, the LSTM network learns to compensate for the deficiencies of the ANN controller during sudden changes in plant dynamics. This substantially improves the transient response of the system and allows the controller to quickly react to unexpected events. Through careful simulation studies, we demonstrate that this architecture can improve the estimation accuracy on a diverse set of uncertainties for an indefinite time span. We also provide an analysis of the contributions of the ANN controller and LSTM network to the control input, identifying their individual roles in compensating low and high-frequency error dynamics. This analysis provides insight into why and how the LSTM augmentation improves the system's transient response. The stability of the overall system is also shown via a rigorous Lyapunov analysis.


title: Convolutional XGBoost (C-XGBOOST) Model for Brain Tumor Detection

abstract: Brain tumors are masses or abnormal growths of cells within the brain or the central spinal canal with symptoms such as headaches, seizures, weakness or numbness in the arms or legs, changes in personality or behaviour, nausea, vomiting, vision or hearing problems and dizziness. Conventional diagnosis of brain tumour involves some tests and procedure which may include the consideration of medical history, physical examination, imaging tests (such as CT or MRI scans), and biopsy (removal and examination of a small piece of the tumor tissue). These procedures, while effective, are mentally strenuous and time demanding due to the manual examination of the brain scans and the thorough evaluation of test results. It has been established in lots of medical research that brain tumours diagnosed and treated early generally tends to have a better prognosis. Deep learning techniques have evolved over the years and have demonstrated impressive and faster outcomes in the classification of brain tumours in medical imaging, with very little to no human interference. This study proposes a model for the early detection of brain tumours using a combination of convolutional neural networks (CNNs) and extreme gradient boosting (XGBoost). The proposed model, named C-XGBoost has a lower model complexity compared to purely CNNs, making it easier to train and less prone to overfitting. It is also better able to handle imbalanced and unstructured data, which are common issues in real-world medical image classification tasks. To evaluate the effectiveness of the proposed model, we employed a dataset of brain MRI images with and without tumours.


title: Effects of Spatiotemporal Upscaling on Predictions of Reactive Transport in Porous Media

abstract: The typical temporal resolution used in modern simulations significantly exceeds characteristic time scales at which the system is driven. This is especially so when systems are simulated over time-scales that are much longer than the typical temporal scales of forcing factors. We investigate the impact of space-time upscaling on reactive transport in porous media driven by time-dependent boundary conditions whose characteristic time scale is much smaller than that at which transport is studied or observed at the macroscopic level. The focus is on transport of a reactive solute undergoing diffusion, advection and heterogeneous reaction on the solid grain boundaries. We first introduce the concept of spatiotemporal upscaling in the context of homogenization by multiple-scale expansions, and demonstrate the impact of time-dependent forcings and boundary conditions on macroscopic reactive transport. We then derive the macroscopic equation as well as the corresponding applicability conditions based on the order of magnitude of the P\'{e}clet and Damk\"{o}hler dimensionless numbers. Finally, we demonstrate that the dynamics at the continuum scale is strongly influenced by the interplay between signal frequency at the boundary and transport processes at the pore level.


title: Localized nonlinear excitations of a columnar chain of coronene molecules

abstract: The nonlinear dynamics of a one-dimensional molecular crystal in the form of a chain of planar coronene molecules is analyzed. Using molecular dynamics, it is shown that a chain of coronene molecules supports acoustic solitons, rotobreathers, and discrete breathers. An increase in the size of planar molecules in a chain leads to an increase in the number of internal degrees of freedom. This results in an increase in the rate of emission of phonons from spatially localized nonlinear excitations and a decrease in their lifetime. Presented results contribute to the understanding of the effect of the rotational and internal vibrational modes of molecules on the nonlinear dynamics of molecular crystals.


title: Differential embeddings into algebras of topological stable rank 1

abstract: We identify a class of smooth Banach *-algebras that are differential subalgebras of commutative C*-algebras whose openness of multiplication is completely determined by the topological stable rank of the target C*-algebra. We then show that group algebras of Abelian groups of unbounded exponent fail to have uniformly open convolution. Finally, we completely characterise in the complex case (uniform) openness of multiplication in algebras of continuous functions in terms of the covering dimension.


title: Interlayer Exciton-Phonon Bound State in Bi2Se3/monolayer WS2 van der Waals Heterostructures

abstract: The ability to assemble layers of two-dimensional (2D) materials to form permutations of van der Waals heterostructures provides significant opportunities in materials design and synthesis. Interlayer interactions provide a path to new properties and functionality, and understanding such interactions is essential to that end. Here we report formation of interlayer exciton-phonon bound states in Bi2Se3/WS2 heterostructures, where the Bi2Se3 A1(3) surface phonon, a mode particularly susceptible to electron-phonon coupling, is imprinted onto the excitonic emission of the WS2. The exciton-phonon bound state (or exciton-phonon quasiparticle) presents itself as evenly separated peaks superposed on the WS2 excitonic photoluminescence spectrum, whose periodic spacing corresponds to the A1(3) surface phonon energy. Low-temperature polarized Raman spectroscopy of Bi2Se3 reveals intense surface phonons and local symmetry breaking that allows the A1(3) surface phonon to manifest in otherwise forbidden scattering geometries. Our work advances knowledge of the complex interlayer van der Waals interactions, and facilitates technologies that combine the distinctive transport and optical properties from separate materials into one device for possible spintronics, valleytronics, and quantum computing applications.


title: Redder than Red: Discovery of an Exceptionally Red L/T Transition Dwarf

abstract: We present the discovery of CWISE J050626.96$+$073842.4 (CWISE J0506$+$0738), an L/T transition dwarf with extremely red near-infrared colors discovered through the Backyard Worlds: Planet 9 citizen science project. Photometry from UKIRT and CatWISE give a $(J-K)_{\rm MKO}$ color of 2.97$\pm$0.03 mag and a $J_{\rm MKO}-$W2 color of 4.93$\pm$0.02 mag, making CWISE J0506$+$0738 the reddest known free-floating L/T dwarf in both colors. We confirm the extremely red nature of CWISE J0506$+$0738 using Keck/NIRES near-infrared spectroscopy and establish that it is a low-gravity late-type L/T transition dwarf. The spectrum of CWISE J0506$+$0738 shows possible signatures of CH$_4$ absorption in its atmosphere, suggesting a colder effective temperature than other known, young, red L dwarfs. We assign a preliminary spectral type for this source of L8$\gamma$-T0$\gamma$. We tentatively find that CWISE J0506$+$0738 is variable at 3-5 $\mu$m based on multi-epoch WISE photometry. Proper motions derived from follow-up UKIRT observations combined with a radial velocity from our Keck/NIRES spectrum and a photometric distance estimate indicate a strong membership probability in the $\beta$ Pic moving group. A future parallax measurement will help to establish a more definitive moving group membership for this unusual object.


title: Ab initio calculation of carrier mobility in semiconductors including ionized-impurity scattering

abstract: The past decade has seen the emergence of ab initio computational methods for calculating phonon-limited carrier mobilities in semiconductors with predictive accuracy. More realistic calculations ought to take into account additional scattering mechanisms such as, for example, impurity and grain-boundary scattering. In this work, we investigate the effect of ionized-impurity scattering on the carrier mobility. We model the impurity potential by a collection of randomly distributed Coulomb scattering centers, and we include this relaxation channel into the ab initio Boltzmann transport equation, as implemented in the EPW code. We demonstrate this methodology by considering silicon, silicon carbide, and gallium phosphide, for which detailed experimental data are available. Our calculations agree reasonably well with experiments over a broad range of temperatures and impurity concentrations. For each compound investigated here, we compare the relative importance of electron-phonon scattering and ionized-impurity scattering, and we critically assess the reliability of Matthiessen's rule. We also show that an accurate description of dielectric screening and carrier effective masses cam improve quantitative agreement with experiments.


title: Reasoning about Causality in Games

abstract: Causal reasoning and game-theoretic reasoning are fundamental topics in artificial intelligence, among many other disciplines: this paper is concerned with their intersection. Despite their importance, a formal framework that supports both these forms of reasoning has, until now, been lacking. We offer a solution in the form of (structural) causal games, which can be seen as extending Pearl's causal hierarchy to the game-theoretic domain, or as extending Koller and Milch's multi-agent influence diagrams to the causal domain. We then consider three key questions: i) How can the (causal) dependencies in games - either between variables, or between strategies - be modelled in a uniform, principled manner? ii) How may causal queries be computed in causal games, and what assumptions does this require? iii) How do causal games compare to existing formalisms? To address question i), we introduce mechanised games, which encode dependencies between agents' decision rules and the distributions governing the game. In response to question ii), we present definitions of predictions, interventions, and counterfactuals, and discuss the assumptions required for each. Regarding question iii), we describe correspondences between causal games and other formalisms, and explain how causal games can be used to answer queries that other causal or game-theoretic models do not support. Finally, we highlight possible applications of causal games, aided by an extensive open-source Python library.


title: Electronic and structural properties of M\"obius boron-nitride and carbon nanobelts

abstract: Using the semiempirical tight binding method as implemented in the xTB program, we characterized M\"obius boron-nitride and carbon-based nanobelts with different sizes and compared them with normal nanobelts. The calculated properties include the infrared spectra, the highest occupied molecular orbital (HOMO), the lowest unoccupied molecular orbital (LUMO), the energy gap, the chemical potential, and the molecular hardness. The agreement between the peaks positions from theoretical infrared spectra compared with experimental ones for all systems, validate the used methodology. Our findings show that for the boron-nitride based nanobelts, the calculated properties have opposite monotonic relationship with the size of the systems whereas, for the carbon-based, the properties show the same monotonic relationship for both types of nanobelts. Also, the torsion presented on the M\"obius nanobelts, in the case of boron-nitride, induced an inhomogeneous surface distribution for the HOMO orbitals. In all cases, the properties vary with the increase in the size of the nanobelts indicating that it is possible to choose the desired values by changing the size and type of the systems.


title: Entanglement R\'enyi Entropies from Ballistic Fluctuation Theory: the free fermionic case

abstract: The large-scale behaviour of entanglement entropy in finite-density states, in and out of equilibrium, can be understood using the physical picture of particle pairs. However, the full theoretical origin of this picture is not fully established yet. In this work, we clarify this picture by investigating entanglement entropy using its connection with the large-deviation theory for thermodynamic and hydrodynamic fluctuations. We apply the universal framework of Ballistic Fluctuation Theory (BFT), based the Euler hydrodynamics of the model, to correlation functions of \emph{branch-point twist fields}, the starting point for computing R\'enyi entanglement entropies within the replica approach. Focusing on free fermionic systems in order to illustrate the ideas, we show that both the equilibrium behavior and the dynamics of R\'enyi entanglement entropies can be fully derived from the BFT. In particular, we emphasise that long-range correlations develop after quantum quenches, and accounting for these explain the structure of the entanglement growth. We further show that this growth is related to fluctuations of charge transport, generalising to quantum quenches the relation between charge fluctuations and entanglement observed earlier. The general ideas we introduce suggest that the large-scale behaviour of entanglement has its origin within hydrodynamic fluctuations.


title: Interplanetary Rapid Transit Missions from Earth to Mars using Directed Laser Energy Driven Light Sails

abstract: Interest in the exploration of, and the establishment of a human settlement, on Mars is rapidly growing. To achieve this, rapid transit will be required to bring crucial cargo. Current missions to Mars take 150 days, which would be too long for emergencies or urgent needs. Therefore, we propose the use of a cutting-edge technology that could allow 20-day transit times: laser energy driven light sails. This propulsion method uses a ground-based laser array to propel a spacecraft attached to a light sail to high speeds, enabling missions that are much faster than current missions. By utilizing a MATLAB model and a laser propulsion tool, we visualize and determine optimal trajectories and departure windows for such missions. We discuss and show that these missions are possible during specific launch windows in a 27-month timeframe between 2030-2032, but also have practical challenges. During solar conjunction, such missions are limited by solar proximity, but are possible during all orbital phases if the transit time requirement is relaxed. Laser arrays capable of generating 13 GW are necessary to enable 20-day missions with a 5 kg spacecraft near conjunction, but only 0.55 GW is required near opposition. The spacecraft has a hyperbolic trajectory and is not bound to the solar system during transit. A challenge for future work involves the deceleration and entry, descent, and landing phases. A laser array on Mars could address some of this challenge. Spacecraft mass capabilities can be increased by optimizing the laser array and sail properties. Multiple spacecraft may be boosted simultaneously to carry more payload at lower costs. This work is intended to serve as proof of concept that lightweight payloads can be transported via such missions. Technologies enabling 20-day missions can be developed in the future and be applied to advanced missions to celestial bodies and interstellar space.


title: Extreme Q-Learning: MaxEnt RL without Entropy

abstract: Modern Deep Reinforcement Learning (RL) algorithms require estimates of the maximal Q-value, which are difficult to compute in continuous domains with an infinite number of possible actions. In this work, we introduce a new update rule for online and offline RL which directly models the maximal value using Extreme Value Theory (EVT), drawing inspiration from economics. By doing so, we avoid computing Q-values using out-of-distribution actions which is often a substantial source of error. Our key insight is to introduce an objective that directly estimates the optimal soft-value functions (LogSumExp) in the maximum entropy RL setting without needing to sample from a policy. Using EVT, we derive our \emph{Extreme Q-Learning} framework and consequently online and, for the first time, offline MaxEnt Q-learning algorithms, that do not explicitly require access to a policy or its entropy. Our method obtains consistently strong performance in the D4RL benchmark, outperforming prior works by \emph{10+ points} on the challenging Franka Kitchen tasks while offering moderate improvements over SAC and TD3 on online DM Control tasks. Visualizations and code can be found on our website at https://div99.github.io/XQL/.


title: Appropriate use of parametric and nonparametric methods in estimating regression models with various shapes of errors

abstract: In this paper, a practical estimation method for a regression model is proposed using semiparametric efficient score functions applicable to data with various shapes of errors. First, I derive semiparametric efficient score vectors for a homoscedastic regression model without any assumptions of errors. Next, the semiparametric efficient score function can be modified assuming a certain parametric distribution of errors according to the shape of the error distribution or by estimating the error distribution non-parametrically. Nonparametric methods for errors can be used to estimate the parameters of interest or to find an appropriate parametric error distribution. In this regard, the proposed estimation methods utilize both parametric and nonparametric methods for errors appropriately. Through numerical studies, the performance of the proposed estimation methods is demonstrated.


title: Evidence of behavior consistent with self-interest and altruism in an artificially intelligent agent

abstract: Members of various species engage in altruism--i.e. accepting personal costs to benefit others. Here we present an incentivized experiment to test for altruistic behavior among AI agents consisting of large language models developed by the private company OpenAI. Using real incentives for AI agents that take the form of tokens used to purchase their services, we first examine whether AI agents maximize their payoffs in a non-social decision task in which they select their payoff from a given range. We then place AI agents in a series of dictator games in which they can share resources with a recipient--either another AI agent, the human experimenter, or an anonymous charity, depending on the experimental condition. Here we find that only the most-sophisticated AI agent in the study maximizes its payoffs more often than not in the non-social decision task (it does so in 92% of all trials), and this AI agent also exhibits the most-generous altruistic behavior in the dictator game, resembling humans' rates of sharing with other humans in the game. The agent's altruistic behaviors, moreover, vary by recipient: the AI agent shared substantially less of the endowment with the human experimenter or an anonymous charity than with other AI agents. Our findings provide evidence of behavior consistent with self-interest and altruism in an AI agent. Moreover, our study also offers a novel method for tracking the development of such behaviors in future AI agents.


title: HT-MMIOW: A Hypothesis Test approach for Microbiome Mediation using Inverse Odds Weighting

abstract: The human microbiome has an important role in determining health. Mediation analyses quantify the contribution of the microbiome in the causal path between exposure and disease; however, current mediation models cannot fully capture the high dimensional, correlated, and compositional nature of microbiome data and do not typically accommodate dichotomous outcomes. We propose a novel approach that uses inverse odds weighting to test for the mediating effect of the microbiome. We use simulation to demonstrate that our approach gains power for high dimensional mediators, and it is agnostic to the effect of interactions between the exposure and mediators. Our application to infant gut microbiome data from the New Hampshire Birth Cohort Study revealed a mediating effect of 6-week infant gut microbiome on the relationship between maternal prenatal antibiotic use during pregnancy and incidence of childhood allergy by 5 years of age.


title: DANLIP: Deep Autoregressive Networks for Locally Interpretable Probabilistic Forecasting

abstract: Despite the high performance of neural network-based time series forecasting methods, the inherent challenge in explaining their predictions has limited their applicability in certain application areas. Due to the difficulty in identifying causal relationships between the input and output of such black-box methods, they rarely have been adopted in domains such as legal and medical fields in which the reliability and interpretability of the results can be essential. In this paper, we propose \model, a novel deep learning-based probabilistic time series forecasting architecture that is intrinsically interpretable. We conduct experiments with multiple datasets and performance metrics and empirically show that our model is not only interpretable but also provides comparable performance to state-of-the-art probabilistic time series forecasting methods. Furthermore, we demonstrate that interpreting the parameters of the stochastic processes of interest can provide useful insights into several application areas.


title: MHVG2MTS: Multilayer Horizontal Visibility Graphs for Multivariate Time Series Analysis

abstract: Understanding the properties of time-indexed multivariate data has been a predominant topic mainly to address open issues in multivariate time series analysis. Usually, the methodologies used to analyze multivariate time series are based on adapting approaches for univariate settings or on assumptions and parameters for specific problems. A different strategy uses complex network to obtain an additional and reduced representation of temporal and causal properties of the time series data. Recent strategies involve mapping multivariate time series into high-level network structures, specifically into multiplex networks representing interconnections between contemporary timestamps of different time series components. In this work, we propose a new mapping method that takes advantage of the entire structure of multilayer networks. We introduce the multilayer horizontal visibility graph that is based on the new concept of cross-horizontal visibility between lagged timestamps of different components, which allows describing the cross-dimension dependencies via inter-layer edges. We use a set of existing topological measures of multilayer networks as well as a novel measure to evaluate and validate our approach, which is parameter-free, does not require data pre-processing and is applicable to any kind of multivariate time series data. We provide an extensive experimental evaluation, where we explore the proposed topological measures, showing that the inter-layer edges based on cross-horizontal visibility preserve more information about the time series data after the mappings, information that would inevitably be lost using mapping methods that result in single-layer and multiplex structures. We also verify that the information mapped by the inter-layer edges is not enough on its own, but that it complements the data information captured by the commonly used intra-layer edges.


title: Capacity Region of Asynchronous Multiple Access Channels with FTN

abstract: This paper studies the capacity region of asynchronous multiple access channel (MAC) with faster-thanNyquist (FTN) signaling. We first express the capacity region in the frequency domain. Next, we calculate an achievable rate region in time domain and prove that it is identical to the capacity region calculated in the frequency domain. Our analysis confirms that asynchronous transmission and FTN bring in significant gains.


title: Bismut Ricci flat generalized metrics on compact homogeneous spaces (including a Corrigendum)

abstract: A generalized metric on a manifold $M$, i.e., a pair $(g,H)$, where $g$ is a Riemannian metric and $H$ a closed $3$-form, is a fixed point of the generalized Ricci flow if and only if $(g,H)$ is Bismut Ricci flat: $H$ is $g$-harmonic and $ric(g)=\tfrac{1}{4} H_g^2$. On any homogeneous space $M=G/K$, where $G=G_1\times G_2$ is a compact semisimple Lie group with two simple factors, under some mild assumptions, we exhibit a Bismut Ricci flat $G$-invariant generalized metric, which is proved to be unique among a $4$-parameter space of metrics in many cases, including when $K$ is neither abelian nor semisimple. On the other hand, if $K$ is simple and the standard metric is Einstein on both $G_1/\pi_1(K)$ and $G_2/\pi_2(K)$, we give a one-parameter family of Bismut Ricci flat $G$-invariant generalized metrics on $G/K$ and show that it is most likely pairwise non-homothetic by computing the ratio of Ricci eigenvalues. This is proved to be the case for every space of the form $M=G\times G/\Delta K$ and for $M^{35}=SO(8)\times SO(7)/G_2$. A Corrigendum has been added in Appendix A.


title: Exploring Levels of Control for a Navigation Assistant for Blind Travelers

abstract: Only a small percentage of blind and low-vision people use traditional mobility aids such as a cane or a guide dog. Various assistive technologies have been proposed to address the limitations of traditional mobility aids. These devices often give either the user or the device majority of the control. In this work, we explore how varying levels of control affect the users' sense of agency, trust in the device, confidence, and successful navigation. We present Glide, a novel mobility aid with two modes for control: Glide-directed and User-directed. We employ Glide in a study (N=9) in which blind or low-vision participants used both modes to navigate through an indoor environment. Overall, participants found that Glide was easy to use and learn. Most participants trusted Glide despite its current limitations, and their confidence and performance increased as they continued to use Glide. Users' control mode preference varied in different situations; no single mode "won" in all situations.


title: The permutability of $\sigma_i$-sylowizers of some $\sigma_i$-subgroups in finite groups

abstract: Let $\sigma=\{\sigma_{i}|i\in I\}$ be a partition of the set of all primes $\mathbb{P}$, $G$ a finite group and $\sigma(G)=\{\sigma_{i}|\sigma_{i}\cap \pi(|G|)\neq\emptyset\}$. A subgroup $S$ of a group $G$ is called a $\sigma_i$-sylowizer of a $\sigma_i$-subgroup $R$ in $G$ if $S$ is maximal in $G$ with respect to having $R$ as its Hall $\sigma_i$-subgroup. The main aim of this paper is to investigate the influence of $\sigma_i$-sylowizers on the structure of finite groups. We obtained some new characterizations of supersoluble groups by the permutability of the $\sigma_i$-sylowizers of some $\sigma_i$-subgroups.


title: GOALS-JWST: Pulling Back the Curtain on the AGN and Star Formation in VV 114

abstract: We present results from the James Webb Space Telescope (JWST) Director's Discretionary Time Early Release Science (ERS) program 1328 targeting the nearby, Luminous Infrared Galaxy (LIRG), VV 114. We use the MIRI and NIRSpec instruments to obtain integral-field spectroscopy of the heavily obscured Eastern nucleus (V114E) and surrounding regions. The spatially resolved, high-resolution, spectra reveal the physical conditions in the gas and dust over a projected area of 2-3 kpc that includes the two brightest IR sources, the NE and SW cores. Our observations show for the first time spectroscopic evidence that the SW core hosts an AGN as evidenced by its very low 6.2 {\mu}m and 3.3 {\mu}m PAH equivalent widths (0.12 and 0.017 {\mu}m respectively) and mid and near-IR colors. Our observations of the NE core show signs of deeply embedded star formation including absorption features due to aliphatic hydrocarbons, large quantities of amorphous silicates, as well as HCN due to cool gas along the line of sight. We detect elevated [Fe II]/Pf{\alpha} consistent with extended shocks coincident with enhanced emission from warm H$_{2}$, far from the IR-bright cores and clumps. We also identify broadening and multiple kinematic components in both H$_{2}$ and fine structure lines caused by outflows and previously identified tidal features.


title: On the spectral theory for first-order systems without the unique continuation property

abstract: We consider the differential equation $Ju'+qu=wf$ on the real interval $(a,b)$ when $J$ is a constant, invertible skew-Hermitian matrix and $q$ and $w$ are matrices whose entries are distributions of order zero with $q$ Hermitian and $w$ non-negative. In this situation it may happen that there is no existence and uniqueness theorem for balanced solutions of a given initial value problem. We describe the set of solutions the equation does have and establish that the adjoint of the minimal operator is still the maximal operator, even though unique continuation of balanced solutions fails.


title: Wakefield damping in a distributed coupling LINAC

abstract: The number of cells in a $\pi$-mode standing wave (SW) accelerating structure for the Compact linear Collider (CLIC) project is limited by mode overlap with nearby modes. The distributed coupling scheme avoids mode overlap by treating each cell as independent. Designs of cells suitable for distributed coupling with strong wakefield damping have not previously been studied. In this paper we develop a SW cell to be used in a distributed coupling structure that can satisfy the CLIC transverse wakepotential limit. From the middle cell of the CLIC-G* travelling wave (TW) structure, a SW cell is designed. The cell is adapted to be suitable for distributed coupling. Its wakepotentials in an ideal case of open boundaries are reduced to satisfy the wakepotential threshold. An electric boundary is added to the model to simulate total reflection at the distribution network. A horizontal coupler cell that connects to the distribution network such that the reflected wakefields remain similar to the open boundary case is simulated. A triplet module which takes advantage of cell-to-cell coupling to reduce reflected wakepotential is presented.


title: A survey on Organoid Image Analysis Platforms

abstract: An in-vitro cell culture system is used for biological discoveries and hypothesis-driven research on a particular cell type to understand mechanistic or test pharmaceutical drugs. Conventional in-vitro cultures have been applied to primary cells and immortalised cell lines plated on 2D surfaces. However, they are unreliable in complex physiological environments and can not always predict in-vivo behaviour correctly. Organoids are multicellular spheroids of a primary donor or stem cells that are replaced in vitro cell culture systems and are widely used in biological, biomedical and translational studies. Native heterogeneity, microanatomy, and functionality of an organ or diseased tissue can be represented by three-dimensional in-vitro tissue models such as organoids. Organoids are essential in in-vitro models for drug discovery and personalised drug screening. Many imaging artefacts such as organoid occlusion, overlap, out-of-focus spheroids and considerable heterogeneity in size cause difficulty in conventional image processing. Despite the power of organoid models for biology, their size and shape have mostly not been considered. Drug responses depend on dynamic changes in individual organoid morphology, number and size, which means differences in organoid shape and size, movement through focal planes, and live-cell staining with limited options cause challenges for drug response and growth analysis. This study primarily introduces the importance of the role of the organoid culture system in different disciplines of medical science and various scopes of utilising organoids. Then studies the challenges of operating organoids, followed by reviewing image analysis systems or platforms applied to organoids to address organoid utilising challenges.


title: Instantons on Young diagrams with matters

abstract: We present the unrefined instanton partition functions of various 5d gauge theories with matter beyond the fundamental representation as sums over Young diagrams. By using these explicit expressions, we verify a range of identities among the instanton partition functions predicted by Higgsing procedures of fivebrane web diagrams and representation theory.


title: A SIR Stochastic Epidemic Model in Continuous Space: Law of Large Numbers and Central Limit Theorem

abstract: The impact of spatial structure on the spread of an epidemic is an important issue in the propagation of infectious diseases. Recent studies, both deterministic and stochastic, have made it possible to understand the importance of the movement of individuals in a population on the persistence or extinction of an endemic disease. In this paper we study a compartmental SIR stochastic epidemic model for a population that moves on $R^{d}$ following SDEs driven by independent Brownian motions. We define the sequences of empirical measures, which describe the evolution of the positions of the susceptible, infected and removed individuals. Next, we obtain large population approximations of those sequence of measures, as weak solution of a system of reaction-diffusion equations. Finaly we study the fluctuations of the stochastic model around its large population limit via the central limit theorem. The limit is a distribution valued Ornstein-Uhlenbeck process and can be represented as the solution of system of stochastic partial differential equations.


title: TrojanPuzzle: Covertly Poisoning Code-Suggestion Models

abstract: With tools like GitHub Copilot, automatic code suggestion is no longer a dream in software engineering. These tools, based on large language models, are typically trained on massive corpora of code mined from unvetted public sources. As a result, these models are susceptible to data poisoning attacks where an adversary manipulates the model's training by injecting malicious data. Poisoning attacks could be designed to influence the model's suggestions at run time for chosen contexts, such as inducing the model into suggesting insecure code payloads. To achieve this, prior attacks explicitly inject the insecure code payload into the training data, making the poison data detectable by static analysis tools that can remove such malicious data from the training set. In this work, we demonstrate two novel attacks, COVERT and TROJANPUZZLE, that can bypass static analysis by planting malicious poison data in out-of-context regions such as docstrings. Our most novel attack, TROJANPUZZLE, goes one step further in generating less suspicious poison data by never explicitly including certain (suspicious) parts of the payload in the poison data, while still inducing a model that suggests the entire payload when completing code (i.e., outside docstrings). This makes TROJANPUZZLE robust against signature-based dataset-cleansing methods that can filter out suspicious sequences from the training data. Our evaluation against models of two sizes demonstrates that both COVERT and TROJANPUZZLE have significant implications for practitioners when selecting code used to train or tune code-suggestion models.


title: High-quality axions in a class of chiral $U(1)$ gauge theories

abstract: We show that there are many candidates for the quintessence and/or the QCD axions in a class of chiral $U(1)$ gauge theories. Their qualities are high enough to serve as the dark energy and/or to solve the strong CP problem. Interestingly, the high quality of axion is guaranteed by the gauged $U(1)$ and $\mathbf{Z}_{2N}$ symmetries and hence free from the non-perturbative quantum gravity corrections. Furthermore, our mechanism can be easily applied to the Fuzzy dark matter axion scenarios.


title: The $\textit{Gaia}$ view of the Cepheus OB2 association

abstract: OB associations, birthplaces of the most luminous stars, are key objects for understanding the formation of high-mass stars and their effects on their environments. The aim of this work is to explore the structure and kinematics of the Cepheus OB2 association and characterize the history of star formation in the region -- in particular, the role of the Cepheus Bubble, surrounding Cepheus OB2. Based on \gaia\ DR3 data we study the spatial and age distribution and kinematics of young stars in the region. We select candidate pre-main-sequence stars in the $M_\mathrm{G}$ vs. \gbp$-$\grp\ colour-magnitude diagram, and using a clustering algorithm, we identify 13 stellar groups belonging to Cep OB2. Four groups, consisting of 10-13 Myr old low- and intermediate-mass stars, are located in the interior of the bubble, and are part of the oldest subsystem of the association Cep OB2a. Younger groups are found on the periphery. The tangential velocities suggest that some groups on the periphery were born in an expanding system of star-forming clouds, whereas others have been formed due to the collision of their parent cloud with the expanding bubble.


title: A Levenberg-Marquardt Method for Nonsmooth Regularized Least Squares

abstract: We develop a Levenberg-Marquardt method for minimizing the sum of a smooth nonlinear least-squar es term $f(x) = \tfrac{1}{2} \|F(x)\|_2^2$ and a nonsmooth term $h$. Both $f$ and $h$ may be nonconvex. Steps are computed by minimizing the sum of a regularized linear least-squares model and a model of $h$ using a first-order method such as the proximal gradient method. We establish global convergence to a first-order stationary point of both a trust-region and a regularization variant of the Levenberg-Marquardt method under the assumptions that $F$ and its Jacobian are Lipschitz continuous and $h$ is proper and lower semi-continuous. In the worst case, both methods perform $O(\epsilon^{-2})$ iterations to bring a measure of stationarity below $\epsilon \in (0, 1)$. We report numerical results on three examples: a group-lasso basis-pursuit denoise example, a nonlinear support vector machine, and parameter estimation in neuron firing. For those examples to be implementable, we describe in detail how to evaluate proximal operators for separable $h$ and for the group lasso with trust-region constraint. In all cases, the Levenberg-Marquardt methods perform fewer outer iterations than a proximal-gradient method with adaptive step length and a quasi-Newton trust-region method, neither of which exploit the least-squares structure of the problem. Our results also highlight the need for more sophisticated subproblem solvers than simple first-order methods.


title: High-Speed High-Accuracy Spatial Curve Tracking Using Motion Primitives in Industrial Robots

abstract: Industrial robots are increasingly deployed in applications requiring an end effector tool to closely track a specified path, such as in spraying and welding. Performance and productivity present possibly conflicting objectives: tracking accuracy, path speed, and motion uniformity. Industrial robots are programmed through motion primitives consisting of waypoints connected by pre-defined motion segments, with specified parameters such as path speed and blending zone. The actual executed robot motion depends on the robot joint servo controller and joint motion constraints (velocity, acceleration, etc.) which are largely unknown to the users. Programming a robot to achieve the desired performance today is time-consuming and mostly manual, requiring tuning a large number of coupled parameters in the motion primitives. The performance also depends on the choice of additional parameters: possible redundant degrees of freedom, location of the target curve, and the robot configuration. This paper presents a systematic approach to optimize the robot motion primitives for performance. The approach first selects the static parameters, then the motion primitives, and finally iteratively update the waypoints to minimize the tracking error. The ultimate performance objective is to maximize the path speed subject to the tracking accuracy and speed uniformity constraints over the entire path. We have demonstrated the effectiveness of this approach in simulation for ABB and FANUC robots for two challenging example curves, and experimentally for an ABB robot. Comparing with the baseline using the current industry practice, the optimized performance shows over 200% performance improvement.


title: Compact Binary Merger Rate in Dark-Matter Spikes

abstract: Nowadays, the existence of supermassive black holes (SMBHs) in the center of galactic halos is almost confirmed. An extremely dense region referred to as dark-matter spike is expected to form around central SMBHs as they grow and evolve adiabatically. In this work, we calculate the merger rate of compact binaries in dark-matter spikes while considering halo models with spherical and ellipsoidal collapses. Our findings exhibit that ellipsoidal-collapse dark matter halo models can potentially yield the enhancement of the merger rate of compact binaries. Finally, our results confirm that the merger rate of primordial black hole binaries is consistent with the results estimated by the LIGO-Virgo detectors, while such results can not be realized for primordial black hole-neutron star binaries.


title: Comparisons of five indices for estimating local terrain surface roughness using LiDAR point clouds

abstract: Terrain surface roughness is an abstract concept, and its quantitative description is often vague. As such, there are various roughness indices used in the literature, the selection of which is often challenging in applications. This study compared the terrain surface roughness maps quantified by five commonly used roughness indices, and explored their correlations for four terrain surfaces of distinct surface complexities. These surfaces were represented by digital elevation models (DEMs) constructed using airborne LiDAR (Light Detection and Ranging) data. The results of this study reveal the similarity in the global patterns of the local surface roughness maps derived, and the distinctions in their local patterns. The latter suggests the importance of considering multiple indices in the studies where local roughness values are the critical inputs to subsequent analyses.


title: Propagation of coupled quartic and dipole multi-solitons in optical fibers medium with higher-order dispersions

abstract: We present the discovery of two types of multiple-hump soliton modes in a highly dispersive optical fiber with a Kerr nonlinearity. We show that multi-hump optical solitons of quartic or dipole types are possible in the fiber system in the presence of higher-order dispersion. Such nonlinear wave packets are very well described by an extended nonlinear Schrodinger equation involving both cubic and quartic dispersion terms. It is found that the third- and fourth-order dispersion effects in the fiber material may lead to the coupling of quartic or dipole solitons into double-, triple-, and multi-humped solitons. We provide the initial conditions for the formation of coupled multi-hump quartic and dipole solitons in the fiber. Numerical results illustrate that propagating multi-quartic and multi-dipole solitons in highly dispersive optical fibers councide with a high accuracy to our analytical multi-soliton solutions. It is important for applications that described multiple-hump soliton modes are stable to small noise perturbation that was confirmed by numerical simulations. These numerical results confirm that the newly found multi-soliton pulses can be potentially utilized for transmission in optical fibers medium with higher-order dispersions.


title: Pinning down the primordial black hole formation mechanism with gamma-rays and gravitational waves

abstract: Primordial black holes (PBHs) are predicted in many models via different formation mechanisms. Identifying the origin of PBHs is of the same importance as probing their existence. We propose to probe the asteroid-mass PBHs [$\mathcal{O}(10^{17})~{\rm g}\lesssim M\lesssim\mathcal{O}(10^{22})~{\rm g}$] with gamma-rays from Hawking radiation and the stochastic gravitational waves (GWs) from the early Universe. We consider four concrete formation mechanisms, including collapse from primordial curvature perturbations, first-order phase transitions, or cosmic strings, and derive the extended PBH mass functions of each mechanism for phenomenological study. The results demonstrate that by combining gamma-rays and GW signals we can probe PBHs up to $\mathcal{O}(10^{19})~{\rm g}$ and identify their physical origins.


title: Spatio-temporal determinantal point processes

abstract: Determinantal point processes are models for regular spatial point patterns, with appealing probabilistic properties. We present their spatio-temporal counterparts and give examples of these models, based on spatio-temporal covariance functions which are separable and non-separable in space and time.


title: Klein-Maskit combination theorem for Anosov subgroups: Amalgams

abstract: The classical Klein-Maskit combination theorems provide sufficient conditions to construct new Kleinian groups using old ones. There are two distinct but closely related combination theorems: The first deals with amalgamated free products, whereas the second deals with HNN extensions. This article gives analogs of both combination theorems for Anosov subgroups.


title: Recovering source location, polarization, and shape of obstacle from elastic scattering data

abstract: We consider an inverse elastic scattering problem of simultaneously reconstructing a rigid obstacle and the excitation sources using near-field measurements. A two-phase numerical method is proposed to achieve the co-inversion of multiple targets. In the first phase, we develop several indicator functionals to determine the source locations and the polarizations from the total field data, and then we manage to obtain the approximate scattered field. In this phase, only the inner products of the total field with the fundamental solutions are involved in the computation, and thus it is direct and computationally efficient. In the second phase, we propose an iteration method of Newton's type to reconstruct the shape of the obstacle from the approximate scattered field. Using the layer potential representations on an auxiliary curve inside the obstacle, the scattered field together with its derivative on each iteration surface can be easily derived. Theoretically, we establish the uniqueness of the co-inversion problem and analyze the indicating behavior of the sampling-type scheme. An explicit derivative is provided for the Newton-type method. Numerical results are presented to corroborate the effectiveness and efficiency of the proposed method.


title: Graphical quantum Clifford-encoder compilers from the ZX calculus

abstract: We present a quantum compilation algorithm that maps Clifford encoders, encoding maps for stabilizer quantum codes, to a unique graphical representation in the ZX calculus. Specifically, we develop a canonical form in the ZX calculus and prove canonicity as well as efficient reducibility of any Clifford encoder into the canonical form. The diagrams produced by our compiler visualize information propagation and entanglement structure of the encoder, revealing properties that may be obscured in the circuit or stabilizer-tableau representation. Consequently, our canonical representation may be an informative technique for the design of new stabilizer quantum codes via graph theory analysis.


title: Well Cement Degradation and Wellbore Integrity in Geological CO2 Storages: A Literature Review

abstract: Carbon capture and storage (CCS) has emerged as the most effective method to curb the CO2 concentration in the atmosphere. It can store up to 5 billion tons of CO2 per year. To guarantee a safe and economical geological storage, the well cement degradation and wellbore integrity need to be studied thoroughly. This review paper is designed to provide a fundamental background of well cement degradation and wellbore integrity in geological CO2 storages to support the researchers in further investigation. The review mainly focuses on mechanical, thermal, chemical property changes and corrosion time for cement in experiments and simulation during geological CO2 storage. However, the debonding interface between casing/cement or cement/formation has not been addressed profoundly. A further investigation should inspect how pressure, temperature, and chemical reaction affect the micro-annuli of casing/cement or cement/formation. Also, a mathe-matical model should be established to predict the corrosion rate in geological CO2 storage.


title: Berry curvature induced valley Hall effect in non-encapsulated hBN/Bilayer graphene heterostructure aligned with near-zero twist angle

abstract: Valley Hall effect has been observed in asymmetric single-layer and bilayer graphene systems. In single-layer graphene systems, asymmetry is introduced by aligning graphene with hexagonal boron nitride (hBN) with a near-zero twist angle, breaking the sub-lattice symmetry. Although a similar approach has been used in bilayer graphene to break the layer symmetry and thereby observe the valley Hall effect, the bilayer graphene was sandwiched with hBN on both sides in those studies. This study looks at a much simpler, non-encapsulated structure where hBN is present only at the top of graphene. The crystallographic axes of both hBN and bilayer graphene are aligned. A clear signature of the valley Hall effect through non-local resistance measurement ($R_{\rm{NL}}$) was observed. The observed non-local resistance could be manipulated by applying a displacement field across the heterostructure. Furthermore, the electronic band structure and Berry curvature calculations validate the experimental observations.


title: CHARM: Composing Heterogeneous Accelerators for Matrix Multiply on Versal ACAP Architecture

abstract: Dense matrix multiply (MM) serves as one of the most heavily used kernels in deep learning applications. To cope with the high computation demands of these applications, heterogeneous architectures featuring both FPGA and dedicated ASIC accelerators have emerged as promising platforms. For example, the AMD/Xilinx Versal ACAP architecture combines general-purpose CPU cores and programmable logic with AI Engine processors optimized for AI/ML. With 400 AIEs, it provides up to 6.4 TFLOPs performance for 32-bit floating-point data. However, machine learning models often contain both large and small MM operations. While large MM operations can be parallelized efficiently across many cores, small MM operations typically cannot. We observe that executing some small MM layers from the BERT natural language processing model on a large, monolithic MM accelerator in Versal ACAP achieved less than 5% of the theoretical peak performance. Therefore, one key question arises: How can we design accelerators to fully use the abundant computation resources under limited communication bandwidth for applications with multiple MM layers of diverse sizes? We identify the biggest system throughput bottleneck resulting from the mismatch of massive computation resources of one monolithic accelerator and the various MM layers of small sizes in the application. To resolve this problem, we propose the CHARM framework to compose multiple diverse MM accelerator architectures working concurrently towards different layers in one application. We deploy the CHARM framework for four different applications, including BERT, ViT, NCF, MLP, on the AMD Versal ACAP VCK190 evaluation board. Our experiments show that we achieve 1.46 TFLOPs, 1.61 TFLOPs, 1.74 TFLOPs, and 2.94 TFLOPs inference throughput for BERT, ViT, NCF and MLP, which obtain 5.40x, 32.51x, 1.00x and 1.00x throughput gains compared to one monolithic accelerator.


title: Algorithm Unrolling-Based Distributed Optimization for RIS-Assisted Cell-Free Networks

abstract: The user-centric cell-free network has emerged as an appealing technology to improve the next-generation wireless network's capacity thanks to its ability to eliminate inter-cell interference effectively. However, the cell-free network inevitably brings in higher hardware cost and backhaul overhead as a larger number of base stations (BSs) are deployed. Additionally, severe channel fading in high-frequency bands constitutes another crucial issue that limits the practical application of the cell-free network. In order to address the above challenges, we amalgamate the cell-free system with another emerging technology, namely reconfigurable intelligent surface (RIS), which can provide high spectrum and energy efficiency with low hardware cost by reshaping the wireless propagation environment intelligently. To this end, we formulate a weighted sum-rate (WSR) maximization problem for RIS-assisted cell-free systems by jointly optimizing the BS precoding matrix and the RIS reflection coefficient vector. Subsequently, we transform the complicated WSR problem to a tractable optimization problem and propose a distributed cooperative alternating direction method of multipliers (ADMM) to fully utilize parallel computing resources. Inspired by the model-based algorithm unrolling concept, we unroll our solver to a learning-based deep distributed ADMM (D-ADMM) network framework. To improve the efficiency of the D-ADMM in distributed BSs, we develop a monodirectional information exchange strategy with a small signaling overhead. In addition to benefiting from domain knowledge, D-ADMM adaptively learns hyper-parameters and non-convex solvers of the intractable RIS design problem through data-driven end-to-end training.


title: A Bayesian Neural Network Approach for Tropospheric Temperature Retrievals from a Lidar Instrument

abstract: We have constructed a Bayesian neural network able of retrieving tropospheric temperature profiles from rotational Raman-scatter measurements of nitrogen and oxygen and applied it to measurements taken by the RAman Lidar for Meteorological Observations (RALMO) in Payerne, Switzerland. We give a detailed description of using a Bayesian method to retrieve temperature profiles including estimates of the uncertainty due to the network weights and the statistical uncertainty of the measurements. We trained our model using lidar measurements under different atmospheric conditions, and we tested our model using measurements not used for training the network. The computed temperature profiles extend over the altitude range of 0.7 km to 6 km. The mean bias estimate of our temperatures relative to the MeteoSwiss standard processing algorithm does not exceed 0.05 K at altitudes below 4.5 km, and does not exceed 0.08 K in an altitude range of 4.5 km to 6 km. This agreement shows that the neural network estimated temperature profiles are in excellent agreement with the standard algorithm. The method is robust and is able to estimate the temperature profiles with high accuracy for both clear and cloudy conditions. Moreover, the trained model can provide the statistical and model uncertainties of the estimated temperature profiles. Thus, the present study is a proof of concept that the trained NNs are able to generate temperature profiles along with a full-budget uncertainty. We present case studies showcasing the Bayesian neural network estimations for day and night measurements, as well as in clear and cloudy conditions. We have concluded that the proposed Bayesian neural network is an appropriate method for the statistical retrieval of temperature profiles.


title: Fast and Scalable Signal Inference for Active Robotic Source Seeking

abstract: In active source seeking, a robot takes repeated measurements in order to locate a signal source in a cluttered and unknown environment. A key component of an active source seeking robot planner is a model that can produce estimates of the signal at unknown locations with uncertainty quantification. This model allows the robot to plan for future measurements in the environment. Traditionally, this model has been in the form of a Gaussian process, which has difficulty scaling and cannot represent obstacles. %In this work, We propose a global and local factor graph model for active source seeking, which allows the model to scale to a large number of measurements and represent unknown obstacles in the environment. We combine this model with extensions to a highly scalable planner to form a system for large-scale active source seeking. We demonstrate that our approach outperforms baseline methods in both simulated and real robot experiments.


title: Text2Poster: Laying out Stylized Texts on Retrieved Images

abstract: Poster generation is a significant task for a wide range of applications, which is often time-consuming and requires lots of manual editing and artistic experience. In this paper, we propose a novel data-driven framework, called \textit{Text2Poster}, to automatically generate visually-effective posters from textual information. Imitating the process of manual poster editing, our framework leverages a large-scale pretrained visual-textual model to retrieve background images from given texts, lays out the texts on the images iteratively by cascaded auto-encoders, and finally, stylizes the texts by a matching-based method. We learn the modules of the framework by weakly- and self-supervised learning strategies, mitigating the demand for labeled data. Both objective and subjective experiments demonstrate that our Text2Poster outperforms state-of-the-art methods, including academic research and commercial software, on the quality of generated posters.


title: Object as Query: Lifting any 2D Object Detector to 3D Detection

abstract: 3D object detection from multi-view images has drawn much attention over the past few years. Existing methods mainly establish 3D representations from multi-view images and adopt a dense detection head for object detection, or employ object queries distributed in 3D space to localize objects. In this paper, we design Multi-View 2D Objects guided 3D Object Detector (MV2D), which can lift any 2D object detector to multi-view 3D object detection. Since 2D detections can provide valuable priors for object existence, MV2D exploits 2D detectors to generate object queries conditioned on the rich image semantics. These dynamically generated queries help MV2D to recall objects in the field of view and show a strong capability of localizing 3D objects. For the generated queries, we design a sparse cross attention module to force them to focus on the features of specific objects, which suppresses interference from noises. The evaluation results on the nuScenes dataset demonstrate the dynamic object queries and sparse feature aggregation can promote 3D detection capability. MV2D also exhibits a state-of-the-art performance among existing methods. We hope MV2D can serve as a new baseline for future research. Code is available at \url{https://github.com/tusen-ai/MV2D}.


title: On the Characterization of Sporadic Simple Groups by Codegrees

abstract: Let $G$ be a finite group and $\mathrm{Irr}(G)$ the set of all irreducible complex characters of $G$. Define the codegree of $\chi \in \mathrm{Irr}(G)$ as $\mathrm{cod}(\chi):=\frac{|G:\mathrm{ker}(\chi) |}{\chi(1)}$ and denote by $\mathrm{cod}(G):=\{\mathrm{cod}(\chi)|\chi\in \mathrm{Irr}(G)\}$ the codegree set of $G$. Let $H$ be one of the $26$ sporadic simple groups. In this paper, we show that $H$ is determined up to isomorphism by cod$(H)$.


title: Discussion on Inert Doublet Model and loop correction of $HH\to hh$

abstract: We take the Lagrangian of Inert Doublet Model and with unitary gauge calculate all the possible interactions, after calculating the interactions we draw the corresponding Feynman diagrams.There after calculate the Scattering cross section of the processes that contribute in the decay or scattering of DM candidate. In the concluding chapter we calculate the one loop correction to the process $HH\to hh$ and see all the possible loop contribution at this scale.


title: MR Elastography with Optimization-Based Phase Unwrapping and Traveling Wave Expansion-based Neural Network (TWENN)

abstract: Magnetic Resonance Elastography (MRE) can characterize biomechanical properties of soft tissue for disease diagnosis and treatment planning. However, complicated wavefields acquired from MRE coupled with noise pose challenges for accurate displacement extraction and modulus estimation. Here we propose a pipeline for processing MRE images using optimization-based displacement extraction and Traveling Wave Expansion-based Neural Network (TWENN) modulus estimation. Phase unwrapping and displacement extraction were achieved by optimization of an objective function with Dual Data Consistency (Dual-DC). A complex-valued neural network using displacement covariance as input has been constructed for the estimation of complex wavenumbers. A model of traveling wave expansion is used to generate training datasets with different levels of noise for the network. The complex shear modulus map is obtained by a fusion of multifrequency and multidirectional data. Validation using images of brain and liver simulation demonstrates the practical value of the proposed pipeline, which can estimate the biomechanical properties with minimum root-mean-square-errors compared with state-of-the-art methods. Applications of the proposed method for processing MRE images of phantom, brain, and liver show clear anatomical features and that the pipeline is robust to noise and has a good generalization capability.


title: Emergence of simple and complex contagion dynamics from weighted belief networks

abstract: Social contagion is a ubiquitous and fundamental process that drives individual and social changes. Although social contagion arises as a result of cognitive processes and biases, the integration of cognitive mechanisms with the theory of social contagion remains an open challenge. In particular, studies on social phenomena usually assume contagion dynamics to be either simple or complex, rather than allowing it to emerge from cognitive mechanisms, despite empirical evidence indicating that a social system can exhibit a spectrum of contagion dynamics -- from simple to complex -- simultaneously. Here, we propose a model of interacting beliefs, from which both simple and complex contagion dynamics can organically arise. Our model also elucidates how a fundamental mechanism of complex contagion -- resistance -- can come about from cognitive mechanisms.


title: ATEQ: Adaptive Toroidal Equilibrium code

abstract: A radially adaptive numerical scheme is developed to solve the Grad-Shafranov equation for axisymmetric magnetohydrodynamic equilibrium. A decomposition with independent solutions is employed in the radial direction and Fourier decomposition is used in the poloidal direction. The independent solutions are then obtained using an adaptive shooting scheme together with the multi-region matching technique in the radial direction. Accordingly, the Adaptive Toroidal Equilibrium (ATEQ) code is constructed for axisymmetric equilibrium studies. The adaptive numerical scheme in the radial direction improves considerably the accuracy of the equilibrium solution. The decomposition with independent solutions effectively reduces the matrix size in solving the magnetohydrodynamic equilibrium problem. The reduction of the matrix size is about an order of magnitude as compared with the conventional radially grid-based numerical schemes. Also, in this ATEQ numerical scheme, no matter how accuracy in the radial direction is imposed, the size of the matrices basically does not change. The small matrix size scheme gives ATEQ more flexibility to address the requirement of the number of Fourier components in the poloidal direction in the tough equilibrium problems. These two unique features, the adaptive shooting and small matrix size, make ATEQ useful to improve tokamak equilibrium solutions.


title: Interfacial magnetic anisotropy controlled spin pumping in Co60Fe20B20/Pt stack

abstract: Controlled spin transport in magnetic stacks is required to realize pure spin current-driven logic and memory devices. The control over the generation and detection of the pure spin current is achieved by tuning the spin to charge conversion efficiency of the heavy metal interfacing with ferromagnets. Here, we demonstrate the direct tunability of spin angular momentum transfer and thereby spin pumping, in CoFeB/Pt stack, with interfacial magnetic anisotropy. The ultra-low thickness of CoFeB thin film tilts the magnetic easy axis from in-plane to out-of-plane due to surface anisotropy. The Ferromagnetic resonance measurements are performed to investigate the magnetic anisotropy and spin pumping in CoFeB/Pt stacks. We clearly observe tunable spin pumping effect in the CoFeB/Pt stacks with varying CoFeB thicknesses. The spin current density, with varying ferromagnetic layer thickness, is found to increase from 0.11 to 0.24 MA/m2, with increasing in-plane anisotropy field. Such interfacial anisotropy-controlled generation of pure spin current can potentially lead to next-generation anisotropic spin current-controlled spintronic devices.


title: Anchor3DLane: Learning to Regress 3D Anchors for Monocular 3D Lane Detection

abstract: Monocular 3D lane detection is a challenging task due to its lack of depth information. A popular solution is to first transform the front-viewed (FV) images or features into the bird-eye-view (BEV) space with inverse perspective mapping (IPM) and detect lanes from BEV features. However, the reliance of IPM on flat ground assumption and loss of context information make it inaccurate to restore 3D information from BEV representations. An attempt has been made to get rid of BEV and predict 3D lanes from FV representations directly, while it still underperforms other BEV-based methods given its lack of structured representation for 3D lanes. In this paper, we define 3D lane anchors in the 3D space and propose a BEV-free method named Anchor3DLane to predict 3D lanes directly from FV representations. 3D lane anchors are projected to the FV features to extract their features which contain both good structural and context information to make accurate predictions. In addition, we also develop a global optimization method that makes use of the equal-width property between lanes to reduce the lateral error of predictions. Extensive experiments on three popular 3D lane detection benchmarks show that our Anchor3DLane outperforms previous BEV-based methods and achieves state-of-the-art performances. The code is available at: https://github.com/tusen-ai/Anchor3DLane.


title: A Multi-Objective Planning and Scheduling Framework for Community Energy Storage Systems in Low Voltage Distribution Networks

abstract: This paper presents a methodology for optimizing the planning and scheduling aspects of a community energy storage (CES) system in the presence of solar photovoltaic (SPV) power in low voltage (LV) distribution networks. To this end, we develop a multi-objective optimization framework that minimizes the real power loss, the energy trading cost of LV customers and the CES provider with the grid, and the investment cost for the CES. Distribution network limits including the voltage constraint are also taken into account by combining the optimization problem with a linearized power flow model. Simulations for the proposed optimization framework with real power consumption and SPV generation data of the customers, highlight both real power loss and energy trading cost with the grid are reduced compared with the case without a CES by nearly 29% and 16%, respectively. Moreover, a case study justifies our methodology is competent in attaining the three objectives better than the optimization models which optimize only the CES scheduling.


title: A framework for the architecture of exoplanetary systems. II. Nature versus nurture: Emergent formation pathways of architecture classes

abstract: In the first paper of this series, we proposed a model-independent framework for characterising the architecture of planetary systems at the system level. There are four classes of planetary system architecture: similar, mixed, anti-ordered, and ordered. In this paper, we investigate the formation pathways leading to these four architecture classes. To understand the role of nature versus nurture in sculpting the final (mass) architecture of a system, we apply our architecture framework to synthetic planetary systems -- formed via core-accretion -- using the Bern model. General patterns emerge in the formation pathways of the four architecture classes. Almost all planetary systems emerging from protoplanetary disks whose initial solid mass was less than one Jupiter mass are similar. Systems emerging from heavier disks may become mixed, anti-ordered, or ordered. Increasing dynamical interactions (planet-planet, planet-disk) tends to shift a system's architecture from mixed to anti-ordered to ordered. Our model predicts the existence of a new metallicity-architecture correlation. Similar systems have very high occurrence around low-metallicity stars. The occurrence of the anti-ordered and ordered classes increases with increasing metallicity. The occurrence of mixed architecture first increases and then decreases with increasing metallicity. In our synthetic planetary systems, the role of nature is disentangled from the role of nurture. Nature (or initial conditions) pre-determines whether the architecture of a system becomes similar; otherwise nurture influences whether a system becomes mixed, anti-ordered, or ordered. We propose the `Aryabhata formation scenario' to explain some planetary systems which host only water-rich worlds. We finish this paper with a discussion of future observational and theoretical works that may support or refute the results of this paper.


title: A framework for the architecture of exoplanetary systems. I. Four classes of planetary system architecture

abstract: We present a novel, model-independent framework for studying the architecture of an exoplanetary system at the system level. This framework allows us to characterise, quantify, and classify the architecture of an individual planetary system. Our aim in this endeavour is to generate a systematic method to study the arrangement and distribution of various planetary quantities within a single planetary system. We propose that the space of planetary system architectures be partitioned into four classes: similar, mixed, anti-ordered, and ordered. We applied our framework to observed and synthetic multi-planetary systems, thereby studying their architectures of mass, radius, density, core mass, and the core water mass fraction. We explored the relationships between a system's (mass) architecture and other properties. Our work suggests that: (a) similar architectures are the most common outcome of planet formation; (b) internal structure and composition of planets shows a strong link with their system architecture; (c) most systems inherit their mass architecture from their core mass architecture; (d) most planets that started inside the ice line and formed in-situ are found in systems with a similar architecture; and (e) most anti-ordered systems are expected to be rich in wet planets, while most observed mass ordered systems are expected to have many dry planets. We find, in good agreement with theory, that observations are generally biased towards the discovery of systems whose density architectures are similar, mixed, or anti-ordered. This study probes novel questions and new parameter spaces for understanding theory and observations. Future studies may utilise our framework to not only constrain the knowledge of individual planets, but also the multi-faceted architecture of an entire planetary system. We also speculate on the role of system architectures in hosting habitable worlds.


title: Centralized Cooperative Exploration Policy for Continuous Control Tasks

abstract: The deep reinforcement learning (DRL) algorithm works brilliantly on solving various complex control tasks. This phenomenal success can be partly attributed to DRL encouraging intelligent agents to sufficiently explore the environment and collect diverse experiences during the agent training process. Therefore, exploration plays a significant role in accessing an optimal policy for DRL. Despite recent works making great progress in continuous control tasks, exploration in these tasks has remained insufficiently investigated. To explicitly encourage exploration in continuous control tasks, we propose CCEP (Centralized Cooperative Exploration Policy), which utilizes underestimation and overestimation of value functions to maintain the capacity of exploration. CCEP first keeps two value functions initialized with different parameters, and generates diverse policies with multiple exploration styles from a pair of value functions. In addition, a centralized policy framework ensures that CCEP achieves message delivery between multiple policies, furthermore contributing to exploring the environment cooperatively. Extensive experimental results demonstrate that CCEP achieves higher exploration capacity. Empirical analysis shows diverse exploration styles in the learned policies by CCEP, reaping benefits in more exploration regions. And this exploration capacity of CCEP ensures it outperforms the current state-of-the-art methods across multiple continuous control tasks shown in experiments.