title: Orbital dynamics and histories of satellite galaxies around Milky Way-mass galaxies in the FIRE simulations

abstract: The orbits of satellite galaxies encode rich information about their histories. We investigate the orbital dynamics and histories of satellite galaxies around Milky Way (MW)-mass host galaxies using the FIRE-2 cosmological simulations, which, as previous works have shown, produce satellite mass functions and spatial distributions that broadly agree with observations. We first examine trends in orbital dynamics at z = 0, including total velocity, specific angular momentum, and specific total energy: the time of infall into the MW-mass halo primarily determines these orbital properties. We then examine orbital histories, focusing on the lookback time of first infall into a host halo and pericenter distances, times, and counts. Roughly 37 per cent of galaxies with Mstar < 10^7 Msun were `pre-processed' as a satellite in a lower-mass group, typically ~2.7 Gyr before falling into the MW-mass halo. Half of all satellites at z = 0 experienced multiple pericenters about their MW-mass host. Remarkably, for most (67 per cent) of these satellites, their most recent pericenter was not their minimum pericenter: the minimum typically was ~40 per cent smaller and occurred ~6 Gyr earlier. These satellites with growing pericenters appear to have multiple origins: for about half, their specific angular momentum gradually increased over time, while for the other half, most rapidly increased near their first apocenter, suggesting that a combination of a time-dependent MW-mass halo potential and dynamical perturbations in the outer halo caused these satellites' pericenters to grow. Our results highlight the limitations of idealized, static orbit modeling, especially for pericenter histories.


title: Quantum Crosstalk Robust Quantum Control

abstract: The prevalence of quantum crosstalk in current quantum devices poses challenges for achieving high-fidelity quantum logic operations and reliable quantum processing. Through quantum control theory, we develop an analytical condition for achieving crosstalk-robust single-qubit control of multi-qubit systems. We examine the effects of quantum crosstalk via a cumulant expansion and develop a condition to suppress the leading order contributions to the dynamics. The efficacy of the condition is illustrated in the domains of quantum state preservation and noise characterization through the development of crosstalk-robust dynamical decoupling and quantum noise spectroscopy (QNS) protocols. Using the IBM Quantum Experience, crosstalk-robust state preservation is demonstrated on 27 qubits, where a $3\times$ improvement in coherence decay is observed for single-qubit product and multipartite entangled states. Through the use of noise injection, we experimentally demonstrate crosstalk-robust dephasing QNS on a seven qubit processor, where a $10^4$ improvement in reconstruction accuracy over ``cross-susceptible" alternatives is found. Together, these experiments highlight the significant impact the crosstalk mitigation condition can have on improving multi-qubit characterization and control on current quantum devices.


title: Andreev Reflection in Scanning Tunneling Spectroscopy of Unconventional Superconductors

abstract: We evaluate the differential conductance measured in a scanning tunneling microscopy (STM) setting at arbitrary electron transmission between an STM tip and a two-dimensional (2D) superconductor with arbitrary gap structure. Our analytical scattering theory accounts for Andreev reflections, which become prominent at larger transmissions. We show that this provides complementary information about the superconducting gap structure beyond the tunneling density of states, strongly facilitating the ability to extract the gap symmetry and its relation to the underlying crystalline lattice. We use the developed theory to discuss recent experimental results on superconductivity in twisted bilayer graphene.


title: Prevalence and scalable control of localized networks

abstract: The ability to control network dynamics is essential for ensuring desirable functionality of many technological, biological, and social systems. Such systems often consist of a large number of network elements, and controlling large-scale networks remains challenging because the computation and communication requirements increase prohibitively fast with network size. Here, we introduce a notion of network locality that can be exploited to make the control of networks scalable even when the dynamics are nonlinear. We show that network locality is captured by an information metric and is almost universally observed across real and model networks. In localized networks, the optimal control actions and system responses are both shown to be necessarily concentrated in small neighborhoods induced by the information metric. This allows us to develop localized algorithms for determining network controllability and optimizing the placement of driver nodes. This also allows us to develop a localized algorithm for designing local feedback controllers that approach the performance of the corresponding best global controllers while incurring a computational cost orders-of-magnitude lower. We validate the locality, performance, and efficiency of the algorithms in Kuramoto oscillator networks as well as three large empirical networks: synchronization dynamics in the Eastern U.S. power grid, epidemic spreading mediated by the global air transportation network, and Alzheimer's disease dynamics in a human brain network. Taken together, our results establish that large networks can be controlled with computation and communication costs comparable to those for small networks.


title: Nonuniform grids for Brillouin zone integration and interpolation

abstract: We present two developments for the numerical integration of a function over the Brillouin zone. First, we introduce a nonuniform grid, which we refer to as the Farey grid, that generalizes regular grids. Second, we introduce symmetry-adapted Voronoi tessellation, a general technique to assign weights to the points in an arbitrary grid. Combining these two developments, we propose a strategy to perform Brillouin zone integration and interpolation that provides a significant computational advantage compared to the usual approach based on regular uniform grids. We demonstrate our methodology in the context of first principles calculations with the study of Kohn anomalies in the phonon dispersions of graphene and MgB2, and in the evaluation of the electron-phonon driven renormalization of the band gaps of diamond and bismuthene. In the phonon calculations, we find speedups by a factor of 3 to 4 when using density functional perturbation theory, and by a factor of 6 to 7 when using finite differences in conjunction with supercells. As a result, the computational expense between density functional perturbation theory and finite differences becomes comparable. For electron-phonon coupling calculations we find even larger speedups. Finally, we also demonstrate that the Farey grid can be expressed as a combination of the widely used regular grids, which should facilitate the adoption of this methodology.

categories: cond-mat.other cond-mat.mes-hall cond-mat.mtrl-sci physics.comp-ph


title: Decomposition, condensation defects, and fusion

abstract: In this paper we outline the application of decomposition to condensation defects and their fusion rules. Briefly, a condensation defect is obtained by gauging a higher-form symmetry along a submanifold, and so there is a natural interplay with notions of decomposition, the statement that d-dimensional quantum field theories with global (d-1)-form symmetries are equivalent to disjoint unions of other quantum field theories. We will also construct new (sometimes non-invertible) defects, and compute their fusion products, again utilizing decomposition. An important role will be played in all these analyses by theta angles for gauged higher-form symmetries, which can be used to select individual universes in a decomposition.


title: Astrophotonic Solutions for Spectral Cross-Correlation Techniques

abstract: Using photonic devices, we developed a new approach to traditional spectroscopy where the spectral cross-correlation with a template spectrum can be done entirely on-device. By creating photonic devices with a carefully designed, modulated transmission spectrum, the cross-correlation can be carried out optically without requiring any dispersion, vastly simplifying the instrument and reducing its cost. The measured correlation lag can be used for detecting atomic/molecular species within and determining the radial velocity of a particular astrophysical object. We present an overview of two design approaches that are currently being developed that use different photonic platforms: silicon and fibre-based photonics. The silicon photonic approach utilizes ring resonators that can be thermo-optically modulated to carry out the cross-correlation. The fibre approach uses customized fibre Bragg gratings (FBGs) with transmission spectra that can be strain-modulated. Both approaches have been able to detect molecular gas in a lab setting, and we are now in the process of on-sky testing. Lastly, we discuss the future for these types of devices as their simplicity opens up the possibility of developing low-cost, purpose-built multi-object or integral field spectroscopic instruments that could make significant contributions to scientific programs requiring stellar RV measurements and exoplanet detections.


title: Stepped Partially Acoustic Dark Matter, Large Scale Structure, and the Hubble Tension

abstract: We propose a new interacting dark sector model, Stepped Partially Acoustic Dark Matter (SPartAcous), that can simultaneously address the two most important tensions in current cosmological data, the $H_0$ and $S_8$ problems. As in the Partially Acoustic Dark Matter (PAcDM) scenario, this model features a subcomponent of dark matter that interacts with dark radiation at high temperatures, suppressing the growth of structure at small scales and thereby addressing the $S_8$ problem. However, in the SPartAcous model, the dark radiation includes a component with a light mass that becomes non-relativistic close to the time of matter-radiation equality. As this light component annihilates away, the remaining dark radiation heats up and its interactions with dark matter decouple. The heating up of the dark sector results in a step-like increase in the relative energy density in dark radiation, significantly reducing the $H_0$ tension, while the decoupling of dark matter and dark radiation ensures that the power spectrum at larger scales is identical to $\Lambda$CDM.


title: Quantum Quenches of an SO(5) Pseudospin Reveal Higgs Bosons

abstract: Controlled dynamical probe measurement of complex order parameter fluctuations may reveal its massive collective excitations. Here, we design dynamical quench protocols to excite independently all ten midgap Higgs bosons in the isotropic Balian--Werthamer state of a spinfull $p$-wave superfluid or superconductor. The analysis is based on microscopic equations of motion of an SO(5) pseudospin, an extension of the usual Bloch equation to a five dimensional space. Key to these protocols is the realization of quenches that break the rotational symmetry of the kinetic energy and exploit the irreducible representation of the angular momentum $J=2$. For perturbative quenches, we find (non-decaying) periodic oscillations in time of these Higgs modes. Experiments to realize our proposal for either superfluids or superconductors are considered.


title: Boosting New Physics Searches in $t\bar{t}Z$ and $tZj$ Production with Angular Moments

abstract: The angular moments for the $Z$ boson can be used as analyzers for the underlying production dynamics for the $t\bar t Z$ and $t Zj$ processes. In this manuscript, we derive these angular moments at leading and next-to-leading order in QCD at the LHC. We show that these observables work as efficient probes to beyond the Standard Model effects, considering the Standard Model Effective Field theory framework. Remarkably, we observe that these probes unveil blind directions to CP-odd operators, providing sizable new physics sensitivity at the 14 TeV LHC with 3 ab$^{-1}$ of data.


title: The Supersonic Project: The Early Evolutionary Path of SIGOs

abstract: Supersonically Induced Gas Objects (SIGOs) are a class of early Universe objects that have gained attention as a potential formation route for globular clusters. SIGOs have only recently begun to be studied in the context of molecular hydrogen cooling, which is key to characterizing their structure and evolution. Studying the population-level properties of SIGOs with molecular cooling is important for understanding their potential for collapse and star formation, and central for addressing whether SIGOs can survive to the present epoch. Here, we investigate the evolution of SIGOs before they form stars, using a combination of numerical and analytical analysis. For example, we study various timescales important to the evolution of SIGOs at a population level in the presence of molecular cooling. Revising the previous formulation for the critical density of collapse for SIGOs allows us to show that their prolateness tends to act as an inhibiting factor to collapse. We find that simulated SIGOs are limited by artificial two-body relaxation effects that tend to disperse them, an effect of their limited resolution. We expect that SIGOs in nature will be longer-lived compared to our simulations. Further, the fall-back timescale on which SIGOs fall into nearby dark matter halos, potentially producing a globular-cluster-like system, is frequently longer than their cooling timescale and the collapse timescale on which they shrink through gravity. Therefore, some SIGOs have time to cool and collapse outside of halos despite initially failing to exceed the critical density, even without considering metal line cooling. From this analysis we conclude that SIGOs should form stars outside of halos in non-negligible stream velocity patches in the Universe.


title: Vortex structure deformation of rotating Lifshitz Holographic Superconductors

abstract: We construct a type-II holographic superconductor from an anisotropic rotating background metric. We study the effects of the magnetic field on the vortex structure, including continuous deformations both from triangular to square lattices or vice versa. Our holographic model reproduces known experimental vortex lattice deformations and the increment of the vortex population by increasing the external magnetic field.


title: Signatures of impact-driven atmospheric loss in large ensembles of exoplanets

abstract: The results of large-scale exoplanet transit surveys indicate that the distribution of small planet radii is likely sculpted by atmospheric loss. Several possible physical mechanisms exist for this loss of primordial atmospheres, each of which produces a different set of observational signatures. In this study, we investigate the impact-driven mode of atmosphere loss via N-body simulations. We compare the results from giant impacts, at a demographic level, to results from another commonly-invoked method of atmosphere loss: photoevaporation. Applying two different loss prescriptions to the same sets of planets, we then examine the resulting distributions of planets with retained primordial atmospheres. As a result of this comparison, we identify two new pathways toward discerning the dominant atmospheric loss mechanism at work. Both of these pathways involve using transit multiplicity as a diagnostic, in examining the results of follow-up atmospheric and radial velocity surveys.


title: Missing Metals in DQ Stars; a Compelling Clue to their Origin

abstract: White dwarf stars frequently experience external pollution by heavy elements, and yet the intrinsically carbon-enriched DQ spectral class members fail to exhibit this phenomenon, representing a decades-old conundrum. This study reports a high-resolution spectroscopic search for Ca II in classical DQ white dwarfs, finding that these stars are stunted both in pollution frequency and heavy element mass fractions, relative to the wider population. Compared to other white dwarf spectral classes, the average external accretion rate is found to be at least three orders of magnitude lower in the DQ stars. Several hypotheses are considered which need to simultaneously account for i) an apparent lack of accreted metals, ii) a dearth of circumstellar planetary material, iii) an observed deficit of unevolved companions in post-common envelope binaries, iv) relatively low helium mass fractions, and remnant masses that appear smaller than for other spectral classes, v) a high incidence of strong magnetism, and vi) modestly older disk kinematics. Only one hypothesis is consistent with all these constraints, suggesting DQ white dwarfs are the progeny of binary evolution that altered both their stellar structures and their circumstellar environments. A binary origin is already suspected for the warmer and more massive DQ stars, and is proposed here as an inclusive mechanism to expose core carbon material, in a potential evolutionary unification for the entire DQ spectral class. In this picture, DQ stars are not descended from DA or DB white dwarfs that commonly host dynamically-active planetary systems.


title: Approximation-based Threshold Optimization from Single Antenna to Massive SIMO Authentication

abstract: In a wireless sensor network, data from various sensors are gathered to estimate the system-state of the process system. However, adversaries aim at distorting the system-state estimate, for which they may infiltrate sensors or position additional devices in the environment. To authenticate the received process values, the integrity of the measurements from different sensors can be evaluated jointly with the temporal integrity of channel measurements from each sensor. For this purpose, we design a security protocol, in which Kalman filters are used to predict the system-state and the channel-state values, and the received data are authenticated by a hypothesis test. We theoretically analyze the adversarial success probability and the reliability rate obtained in the hypothesis test in two ways, based on a chi-square approximation and on a Gaussian approximation. The two approximations are exact for small and large data vectors, respectively. The Gaussian approximation is suitable for analyzing massive single-input multiple-output (SIMO) setups. To obtain additional insights, the approximation is further adapted for the case of channel hardening, which occurs in massive SIMO fading channels. As adversaries always look for the weakest point of a system, a time-constant security level is required. To provide such a service, the approximations are used to propose time-varying threshold values for the hypothesis test, which approximately attain a constant security level. Numerical results show that a constant security level can only be achieved by a time-varying threshold choice, while a constant threshold value leads to a time-varying security level.


title: Dynamical evolution in the D1D5 CFT

abstract: It is interesting to ask: how does the radial space direction emerge from the CFT in gauge-gravity duality? In this context we resolve a long-standing puzzle with the gravity duals of two classes of states in the D1D5 CFT. For each class the CFT states are in the untwisted sector, suggesting that the energy gap should be $1/R_y$ where $R_y$ is the radius of the circle on which the D1D5 CFT is compactified. For one class of states, the gravity dual indeed has exactly this gap, while for the other class, the gravity dual has a very deep throat, leading to an energy gap much smaller than $1/R_y$. We resolve this puzzle by showing that for the latter class of states, perturbing the CFT off its free point leads to the formation of a band structure in the CFT. We also explain why such a band structure does not arise for the first class of states. Thus for the case where a deep throat emerges in the gravity description, the dynamics of falling down this throat is described in the CFT as a sequential `hopping' between states all of which have the same energy at the free point; this hopping amplitude converts an integer spaced spectrum into a closely spaced band of energy levels.


title: Non-invertible Symmetries and Higher Representation Theory I

abstract: The purpose of this paper is to investigate the global categorical symmetries that arise when gauging finite higher groups in three or more dimensions. The motivation is to provide a common perspective on constructions of non-invertible global symmetries in higher dimensions and a precise description of the associated symmetry categories. This paper focusses on gauging finite groups and split 2-groups in three dimensions. In addition to topological Wilson lines, we show that this generates a rich spectrum of topological surface defects labelled by 2-representations and explain their connection to condensation defects for Wilson lines. We derive various properties of the topological defects and show that the associated symmetry category is the fusion 2-category of 2-representations. This allows us to determine the full symmetry categories of certain gauge theories with disconnected gauge groups. A subsequent paper will examine gauging more general higher groups in higher dimensions.


title: Anomaly segmentation model for defects detection in electroluminescence images of heterojunction solar cells

abstract: Efficient defect detection in solar cell manufacturing is crucial for stable green energy technology manufacturing. This paper presents a deep-learning-based automatic detection model SeMaCNN for classification and semantic segmentation of electroluminescent images for solar cell quality evaluation and anomalies detection. The core of the model is an anomaly detection algorithm based on Mahalanobis distance that can be trained in a semi-supervised manner on imbalanced data with small number of digital electroluminescence images with relevant defects. This is particularly valuable for prompt model integration into the industrial landscape. The model has been trained with the on-plant collected dataset consisting of 68 748 electroluminescent images of heterojunction solar cells with a busbar grid. Our model achieves the accuracy of 92.5%, F1 score 95.8%, recall 94.8%, and precision 96.9% within the validation subset consisting of 1049 manually annotated images. The model was also tested on the open ELPV dataset and demonstrates stable performance with accuracy 94.6% and F1 score 91.1%. The SeMaCNN model demonstrates a good balance between its performance and computational costs, which make it applicable for integrating into quality control systems of solar cell manufacturing.


title: The Effect of Environment on Galaxy Spiral Arms, Bars, Concentration, and Quenching

abstract: For a sample of 4378 nearby spiral and S0 galaxies, Yu and Ho (2020) used Fourier analysis of Sloan Digital Sky Survey images to show that the strengths of the spiral arms and the pitch angles of the arms are inversely correlated with central concentration. In the current study, we search for trends in the Yu and Ho (2020) spiral arm parameters with environment and specific star formation rate (sSFR). When comparing galaxies with similar concentrations, we do not find a significant difference in the arm strengths or pitch angles of spiral galaxies in clusters compared to field galaxies. When differences in concentration are taken into account, we also find no significant difference in the parameter f3 for cluster spirals compared to field spirals, where f3 is the normalized m = 3 Fourier amplitude. When concentration is held fixed, both arm strength and pitch angle are correlated with sSFR, but f3 is not. These relations support the suggestion by Davis et al. (2015) of a `fundamental plane' of spiral structure involving pitch angle, bulge stellar mass, and gas surface density. We discuss these results in terms of theories of spiral arm production and quenching in galaxies. To aid comparison with earlier studies based on Galaxy Zoo, we explore how the Yu and Ho (2020) parameters relate to similar parameters measured by Galaxy Zoo (i.e., f3 vs. number of arms, pitch angle vs. winding parameter, and concentration vs. bulge class).


title: Modular interface for managing cognitive bias in experts

abstract: Expert knowledge is required to interpret data across a range of fields. Experts bridge gaps that often exists in our knowledge about relationships between data and the parameters of interest. This is especially true in geoscientific applications, where knowledge of the Earth is derived from interpretations of observable features and relies on predominantly unproven but widely accepted theories. Thus, experts facilitate solutions to otherwise unsolvable problems. However, experts are inherently subjective, and susceptible to cognitive biases and adverse external effects. This work examines this problem within geoscience. Three compelling examples are provided of the prevalence of cognitive biases from previous work. The problem is then formally defined, and a set of design principles which ensure that any solution is sufficiently flexible to be readily applied to the range of geoscientific problems. No solutions exist that reliably capture and reduce cognitive bias in experts. However, formal expert elicitation methods can be used to assess expert variation, and a variety of approaches exist that may help to illuminate uncertainties, avoid misunderstandings, and reduce herding behaviours or single-expert over-dominance. This work combines existing and future approaches to reduce expert suboptimality through a flexible modular design where each module provides a specific function. The design centres around action modules that force a stop-and-perform step into interpretation tasks. A starter-pack of modules is provided as an example of the conceptual design. This simple bias-reduction system may readily be applied in organisations and during everyday interpretations through to tasks for major commercial ventures.


title: Simons Observatory Focal-Plane Module: Detector Re-biasing With Bias-step Measurements

abstract: The Simons Observatory is a ground-based cosmic microwave background survey experiment that consists of three 0.5 m small-aperture telescopes and one 6 m large-aperture telescope, sited at an elevation of 5200 m in the Atacama Desert in Chile. SO will deploy 60,000 transition-edge sensor (TES) bolometers in 49 separate focal-plane modules across a suite of four telescopes covering 30/40 GHz low frequency (LF), 90/150 GHz mid frequency (MF), and 220/280 GHz ultra-high frequency (UHF). Each MF and UHF focal-plane module packages 1720 optical detectors spreading across 12 detector bias lines that provide voltage biasing to the detectors. During observation, detectors are subject to varying atmospheric emission and hence need to be re-biased accordingly. The re-biasing process includes measuring the detector properties such as the TES resistance and responsivity in a fast manner. Based on the result, detectors within one bias line then are biased with suitable voltage. Here we describe a technique for re-biasing detectors in the modules using the result from bias-step measurement.


title: Smoothed Analysis of Information Spreading in Dynamic Networks

abstract: The best known solutions for $k$-message broadcast in dynamic networks of size $n$ require $\Omega(nk)$ rounds. In this paper, we see if these bounds can be improved by smoothed analysis. We study perhaps the most natural randomized algorithm for disseminating tokens in this setting: at every time step, choose a token to broadcast randomly from the set of tokens you know. We show that with even a small amount of smoothing (one random edge added per round), this natural strategy solves $k$-message broadcast in $\tilde{O}(n+k^3)$ rounds, with high probability, beating the best known bounds for $k=o(\sqrt{n})$ and matching the $\Omega(n+k)$ lower bound for static networks for $k=O(n^{1/3})$ (ignoring logarithmic factors). In fact, the main result we show is even stronger and more general: given $\ell$-smoothing (i.e., $\ell$ random edges added per round), this simple strategy terminates in $O(kn^{2/3}\log^{1/3}(n)\ell^{-1/3})$ rounds. We then prove this analysis close to tight with an almost-matching lower bound. To better understand the impact of smoothing on information spreading, we next turn our attention to static networks, proving a tight bound of $\tilde{O}(k\sqrt{n})$ rounds to solve $k$-message broadcast, which is better than what our strategy can achieve in the dynamic setting. This confirms that although smoothed analysis reduces the difficulties induced by changing graph structures, it does not eliminate them altogether. Finally, we apply our tools to prove an optimal result for $k$-message broadcast in so-called well-mixed networks in the absence of smoothing. By comparing this result to an existing lower bound for well-mixed networks, we establish a formal separation between oblivious and strongly adaptive adversaries with respect to well-mixed token spreading, partially resolving an open question on the impact of adversary strength on the $k$-message broadcast problem.


title: Understanding the secular evolution of NGC 628 using UVIT

abstract: Secular and environmental effects play a significant role in regulating the star formation rate and hence the evolution of the galaxies. Since UV flux is a direct tracer of the star formation in galaxies, the UltraViolet Imaging Telescope (UVIT) onboard ASTROSAT enables us to characterize the star forming regions in a galaxy with its remarkable spatial resolution. In this study, we focus on the secular evolution of NGC 628, a spiral galaxy in the local universe. We exploit the resolution of UVIT to resolve up to $\sim$ 63 pc in NGC 628 for identification and characterization of the star forming regions. We identify 300 star forming regions in the UVIT FUV image of NGC 628 using ProFound and the identified regions are characterized using Starburst99 models. The age and mass distribution of the star forming regions across the galaxy supports the inside-out growth of the disk. We find that there is no significant difference in the star formation properties between the two arms of NGC 628. We also quantify the azimuthal offset of the star forming regions of different ages. Since we do not find an age gradient, we suggest that the spiral density waves might not be the possible formation scenario of the spiral arms of NGC 628. The headlight cloud present in the disk of the galaxy is found to be having the highest star formation rate density ($0.23 M_{\odot} yr^{-1} kpc^{-2}$) compared to other star forming regions on spiral arms and the rest of the galaxy.


title: Measurements of the five-dimensional phase space distribution of an intense ion beam

abstract: No simulation of intense beam transport has accurately reproduced measurements at the level of beam halo. One potential explanation of this discrepancy is a lack of knowledge of the initial distribution of particles in six-dimensional (6D)~phase space. A direct 6D measurement of an ion beam was recently performed at the Spallation Neutron Source (SNS) Beam Test Facility (BTF), revealing nonlinear transverse-longitudinal correlations in the beam core that affect downstream evolution. Unfortunately, direct 6D~measurements are limited in resolution and dynamic range; here, we discuss the use of three slits and one screen to measure a 5D projection of the 6D phase space distribution, overcoming these limitations at the cost of one dimension. We examine the measured 5D distribution before and after transport through the BTF and compare to particle-in-cell simulations. We also discuss the possibility of reconstructing the 6D distribution from 5D and 4D projections.


title: Hamilton Principle for Chiral Anomalies in Hydrodynamics

abstract: We developed the spacetime-covariant Hamilton principle for barotropic flows of a perfect fluid in the external axial-vector potential conjugate to the helicity current. Such flows carry helicity, a chiral imbalance, controlled by the axial potential. The interest in such a setting is motivated by the recent observation that the axial-current anomaly of quantum field theories with Dirac fermions appears as a kinematic property of classical hydrodynamics. Especially interesting effects occur under the simultaneous actions of the electromagnetic field and the axial-vector potential. With the help of the Hamilton principle, we obtain the extension of the Euler equations by the axial potential and derive anomalies in the divergence of the axial and vector current. Our approach provides a hydrodynamic expression for vector and axial currents and lays down a platform for studying flows with a chiral imbalance and their anomalies.


title: A review of cryptosystems based on multi layer chaotic mappings

abstract: In recent years, a lot of research has gone into creating multi-layer chaotic mapping-based cryptosystems. Random-like behavior, a continuous broadband power spectrum, and a weak baseline condition dependency are all characteristics of chaotic systems. Chaos could be helpful in the three functional components of compression, encryption, and modulation in a digital communication system. To successfully use chaos theory in cryptography, chaotic maps must be built in such a way that the entropy they produce can provide the necessary confusion and diffusion. A chaotic map is used in the first layer of such cryptosystems to create confusion, and a second chaotic map is used in the second layer to create diffusion and create a ciphertext from a plaintext. A secret key generation mechanism and a key exchange method are frequently left out, and many researchers just assume that these essential components of any effective cryptosystem are always accessible. We review such cryptosystems by using a cryptosystem of our design, in which confusion in plaintext is created using Arnold's Cat Map, and logistic mapping is employed to create sufficient dispersion and ultimately get a matching ciphertext. We also address the development of key exchange protocols and secret key schemes for these cryptosystems, as well as the possible outcomes of using cryptanalysis techniques on such a system.


title: Security of IoT Device: Perspective Forensic/Anti-Forensic Issues on Invalid Area of NAND Flash Memory

abstract: NAND flash memory-based IoT device can potentially still leave behind original personal data in an invalid area even if the data has been deleted. In this paper, we raise the forensic issue of original data remaining in unmanaged blocks caused by NAND flash memory and introduce methods for secure deletion of such data in the invalid area. We also propose a verification technique for secure deletion that is performed based on cell count information, which refers to the difference in bits between personal data and data stored in the block. The pass/fail of the verification technique according to the cell count information is determined in consideration of error correction capabilities. With the forensic issue of de-identification being a vital theme in the big data industry, the threat of serious privacy breaches coupled with our proposal to prevent these attacks will prove to be critical technological necessities in the future.


title: On Zero-Divisor Graph of the ring $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$

abstract: In this article, we discussed the zero-divisor graph of a commutative ring with identity $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$ where $u^3=0$ and $p$ is an odd prime. We find the clique number, chromatic number, vertex connectivity, edge connectivity, diameter and girth of a zero-divisor graph associated with the ring. We find some of topological indices and the main parameters of the code derived from the incidence matrix of the zero-divisor graph $\Gamma(R).$ Also, we find the eigenvalues, energy and spectral radius of both adjacency and Laplacian matrices of $\Gamma(R).$


title: The Molecular Composition of Shadowed Protosolar Disk Midplanes beyond the Water Snowline

abstract: The disk midplane temperature is potentially affected by the dust traps/rings. The dust depletion beyond the water snowline will cast a shadow. In this study, we adopt a detailed gas-grain chemical reaction network, and investigate the radial gas and ice abundance distributions of dominant carbon-, oxygen-, and nitrogen-bearing molecules in disks with shadow structures beyond the water snowline around a protosolar-like star. In shadowed disks, the dust grains at around $3-8$ au are predicted to have more than around $5-10$ times amounts of ices of organic molecules such as H$_{2}$CO, CH$_{3}$OH, and NH$_{2}$CHO, saturated hydrocarbon ices such as CH$_{4}$ and C$_{2}$H$_{6}$, in addition to H$_{2}$O, CO, CO$_{2}$, NH$_{3}$, N$_{2}$, and HCN ices, compared with those in non-shadowed disks. In the shadowed regions, we find that hydrogenation (especially of CO ice) is the dominant formation mechanism of complex organic molecules. The gas-phase N/O ratios show much larger spatial variations than the gas-phase C/O ratios, thus the N/O ratio is predicted to be a useful tracer of the shadowed region. N$_{2}$H$^{+}$ line emission is a potential tracer of the shadowed region. We conclude that a shadowed region allows the recondensation of key volatiles onto dust grains, provides a region of chemical enrichment of ices that is much closer to the star than within a non-shadowed disk, and may explain to some degree the trapping of O$_{2}$ ice in dust grains that formed comet 67P/Churyumov-Gerasimenko. We discuss that, if formed in a shadowed disk, Jupiter does not need to have migrated vast distances.


title: Exoplanet Radio Transits as a Probe for Exoplanetary Magnetic Fields -- Time-dependent MHD Simulations

abstract: We perform a series of time dependent Magnetohydrodynamic simulations of the HD 189733 star-planet system in order to predict radio transit modulations due to the interaction between the stellar wind and planetary magnetic field. The simulation combines a model for the stellar corona and wind with an exoplanet that is orbiting the star in a fully dynamic, time-dependent manner. Our simulations generate synthetic radio images that enable us to obtain synthetic radio lightcurves in different frequencies. We find a clear evidence for the planetary motion in the radio light curves. Moreover, we find specific repeated features in the light curves that are attributed to the passage of the planetary magnetosphere in front of the star during transit. More importantly, we find a clear dependence in the magnitude and phase of these lightcurve features on the strength of the planetary magnetic field. Our work demonstrates that if radio transits could be observed, they could indeed provide information about the magnetic field strength of the transiting exoplanet. Future work to parameterize these lightcurve features and their dependence on the planetary field strength would provide tools to search for these features in radio observations datasets. As we only consider the thermal radio emission from the host star for our study, very sensitive radio interferometers are necessary to detect these kinds of planetary transit in radio.


title: Observations of Thomson scattering from a loop-prominence system

abstract: We describe observations of the white-light structures in the low corona following the X8.2 flare SOL2017-09-10, as observed in full Stokes parameters by the Helioseismic and Magnetic Imager (HMI) of the Solar Dynamics Observatory. These data show both bright loops and a diffuse emission region above them. We interpret the loops as the white-light counterpart of a classical loop-prominence system, intermediate between the hot X-ray loops and coronal rain. The diffuse emission external to the loops is linearly polarized and has a natural interpretation in terms of Thomson scattering from the hot plasma seen prior to its cooling and recombination. The polarimetric data from HMI enable us to distinguish this contribution of scattering from the HMI pseudo-continuum measurement, and to make a direct estimation of the coronal mass in the polarized source. For a snapshot at 16:19~UT, we estimate a mass $8 \times 10^{14}$~g. We further conclude that the volumetric filling factor of this source is near unity.


title: A new computation of pairing probabilities in several multiple-curve models

abstract: We give a new, short computation of pairing probabilities for multiple chordal interfaces in the critical Ising model, the harmonic explorer, and for multiple level lines of the Gaussian free field. The core of the argument are the convexity and uniqueness properties of local multiple SLE$(\kappa)$ measures, valid for all $\kappa > 0$ and thus in principle applicable for any underlying random curve model, once suitably connected to local multiple SLEs.


title: Higher current algebras, homotopy Manin triples, and a rectilinear adelic complex

abstract: The notion of a Manin triple of Lie algebras admits a generalization, to dg Lie algebras, in which various properties are required to hold only up to homotopy. This paper introduces two classes of examples of such homotopy Manin triples. These examples are associated to analogs in complex dimension two of, respectively, the punctured formal 1-disc, and the complex plane with multiple punctures. The dg Lie algebras which appear include certain higher current algebras in the sense of Faonte, Hennion and Kapranov arXiv:1701.01368. We work in a ringed space we call rectilinear space, and one of the tools we introduce is a model of the derived sections of its structure sheaf, whose construction is in the spirit of the adelic complexes for schemes due to Parshin and Beilinson.


title: Stability of the non-perturbative $O(D,D)$ de-Sitter spacetime. The isotropic case

abstract: The existence of de-Sitter solutions and their stability within string theory became, in recent years, one of the central research questions within the string theory community. The so-called de-Sitter conjecture states that the de-Sitter vacua are unstable within string theory. Here, we study the de-Sitter solutions in string theory and their stability in the time direction using the $O(d,d)$ symmetry approach allowing for the calculation of the generic form of the string theory effective action. We study the undiscussed case of the constant generalized dilaton as well as the general form of dilaton couplings. Our findings suggest that de-Sitter solutions are unstable for the constant generalized dilaton both with and without matter. Furthermore, we found that in order for the theory to be weakly coupled the general form of dilaton coupling is in the form of a cosmological constant.


title: Generative Models: An Interdisciplinary Perspective

abstract: By linking conceptual theories with observed data, generative models can support reasoning in complex situations. They have come to play a central role both within and beyond statistics, providing the basis for power analysis in molecular biology, theory building in particle physics, and resource allocation in epidemiology, for example. We introduce the probabilistic and computational concepts underlying modern generative models and then analyze how they can be used to inform experimental design, iterative model refinement, goodness-of-fit evaluation, and agent-based simulation. We emphasize a modular view of generative mechanisms and discuss how they can be flexibly recombined in new problem contexts. We provide practical illustrations throughout, and code for reproducing all examples is available at https://github.com/krisrs1128/generative_review. Finally, we observe how research in generative models is currently split across several islands of activity, and we highlight opportunities lying at disciplinary intersections.


title: Global Dynamics of Diffusive Hindmarsh-Rose Equations with Memristors

abstract: Global dynamics of the diffusive Hindmarsh-Rose equations with memristor as a new proposed model for neuron dynamics are investigated in this paper. We prove the existence and regularity of a global attractor for the solution semiflow through uniform analytic estimates showing the higher-order dissipative property and the asymptotically compact characteristics of the solution semiflow by the approach of Kolmogorov-Riesz theorem. The quantitative bounds of the regions containing this global attractor respectively in the state space and in the regular space are explicitly expressed by the model parameters.


title: Impact of population size on early adaptation in rugged fitness landscapes

abstract: Due to stochastic fluctuations arising from finite population size, known as genetic drift, the ability of a population to explore a rugged fitness landscape depends on its size. In the weak mutation regime, while the mean steady-state fitness increases with population size, we find that the height of the first fitness peak encountered when starting from a random genotype displays various behaviors versus population size, even among small and simple rugged landscapes. We show that the accessibility of the different fitness peaks is key to determining whether this height overall increases or decreases with population size. Furthermore, there is often a finite population size that maximizes the height of the first fitness peak encountered when starting from a random genotype. This holds across various classes of model rugged landscapes with sparse peaks, and in some experimental and experimentally-inspired ones. Thus, early adaptation in rugged fitness landscapes can be more efficient and predictable for relatively small population sizes than in the large-size limit.


title: Reducing NEXP-complete problems to DQBF

abstract: We present an alternative proof of the NEXP-hardness of the satisfiability of {\em Dependency Quantified Boolean Formulas} (DQBF). Besides being simple, our proof also gives us a general method to reduce NEXP-complete problems to DQBF. We demonstrate its utility by presenting explicit reductions from a wide variety of NEXP-complete problems to DQBF such as (succinctly represented) 3-colorability, Hamiltonian cycle, set packing and subset-sum as well as NEXP-complete logics such as the Bernays-Sch\"onfinkel-Ramsey class, the two-variable logic and the monadic class. Our results show the vast applications of DQBF solvers which recently have gathered a lot of attention among researchers.


title: Subexponential Parameterized Directed Steiner Network Problems on Planar Graphs: a Complete Classification

abstract: In the Directed Steiner Network problem, the input is a directed graph G, a subset T of k vertices of G called the terminals, and a demand graph D on T. The task is to find a subgraph H of G with the minimum number of edges such that for every edge (s,t) in D, the solution H contains a directed s to t path. In this paper we investigate how the complexity of the problem depends on the demand pattern when G is planar. Formally, if \mathcal{D} is a class of directed graphs closed under identification of vertices, then the \mathcal{D}-Steiner Network (\mathcal{D}-SN) problem is the special case where the demand graph D is restricted to be from \mathcal{D}. For general graphs, Feldmann and Marx [ICALP 2016] characterized those families of demand graphs where the problem is fixed-parameter tractable (FPT) parameterized by the number k of terminals. They showed that if \mathcal{D} is a superset of one of the five hard families, then \mathcal{D}-SN is W[1]-hard parameterized by k, otherwise it can be solved in time f(k)n^{O(1)}. For planar graphs an interesting question is whether the W[1]-hard cases can be solved by subexponential parameterized algorithms. Chitnis et al. [SICOMP 2020] showed that, assuming the ETH, there is no f(k)n^{o(k)} time algorithm for the general \mathcal{D}-SN problem on planar graphs, but the special case called Strongly Connected Steiner Subgraph can be solved in time f(k) n^{O(\sqrt{k})} on planar graphs. We present a far-reaching generalization and unification of these two results: we give a complete characterization of the behavior of every $\mathcal{D}$-SN problem on planar graphs. We show that assuming ETH, either the problem is (1) solvable in time 2^{O(k)}n^{O(1)}, and not in time 2^{o(k)}n^{O(1)}, or (2) solvable in time f(k)n^{O(\sqrt{k})}, but not in time f(k)n^{o(\sqrt{k})}, or (3) solvable in time f(k)n^{O(k)}, but not in time f(k)n^{o({k})}.


title: Energy-Aware Design of UAV-mounted RIS Networks for IoT Data Collection

abstract: Data collection in massive Internet of Things networks requires novel and flexible methods. Unmanned aerial vehicles (UAVs) are foreseen as a means to collect data rapidly even in remote areas without static telecommunication infrastructure. To this direction, UAV-mounted reconfigurable intelligent surfaces (RISs) aid in reducing the hardware requirements and signal processing complexity at the UAV side, while increasing the energy efficiency and reliabilityof the network. Hence, in this paper, we propose the utilization of a UAV-mounted RIS for data collection and study the coverage probability in such networks. Additionally, we propose a novel medium access control protocol based on slotted ALOHA and Code Combining to handle the communication of multiple sensors. To account for the crucial energy issue in UAVs, we devise an energy model that considers both the UAV and the RIS weight, as well as the environmental conditions and the UAV velocity. Finally, we characterize the performance of the proposed data collection scheme by analyzing the average throughput and the average data per flight, while providing useful insights for the design of such networks.


title: On the full dispersion Kadomtsev-Petviashvili equations for dispersive elastic waves

abstract: Full dispersive models of water waves, such as the Whitham equation and the full dispersion Kadomtsev-Petviashvili (KP) equation, are interesting from both the physical and mathematical points of view. This paper studies analogous full dispersive KP models of nonlinear elastic waves propagating in a nonlocal elastic medium. In particular we consider anti-plane shear elastic waves which are assumed to be small-amplitude long waves. We propose two different full dispersive extensions of the KP equation in the case of cubic nonlinearity and "negative dispersion". One of them is called the Whitham-type full dispersion KP equation and the other one is called the BBM-type full dispersion KP equation. Most of the existing KP-type equations in the literature are particular cases of our full dispersion KP equations. We also introduce the simplified models of the new proposed full dispersion KP equations by approximating the operators in the equations. We show that the line solitary wave solution of a simplified form of the Whitham-type full dispersion KP equation is linearly unstable to long-wavelength transverse disturbances if the propagation speed of the line solitary wave is greater than a certain value. A similar analysis for a simplified form of the BBM-type full dispersion KP equation does not provide a linear instability assessment.


title: A Probabilistic Framework for Mutation Testing in Deep Neural Networks

abstract: Context: Mutation Testing (MT) is an important tool in traditional Software Engineering (SE) white-box testing. It aims to artificially inject faults in a system to evaluate a test suite's capability to detect them, assuming that the test suite defects finding capability will then translate to real faults. If MT has long been used in SE, it is only recently that it started gaining the attention of the Deep Learning (DL) community, with researchers adapting it to improve the testability of DL models and improve the trustworthiness of DL systems. Objective: If several techniques have been proposed for MT, most of them neglected the stochasticity inherent to DL resulting from the training phase. Even the latest MT approaches in DL, which propose to tackle MT through a statistical approach, might give inconsistent results. Indeed, as their statistic is based on a fixed set of sampled training instances, it can lead to different results across instances set when results should be consistent for any instance. Methods: In this work, we propose a Probabilistic Mutation Testing (PMT) approach that alleviates the inconsistency problem and allows for a more consistent decision on whether a mutant is killed or not. Results: We show that PMT effectively allows a more consistent and informed decision on mutations through evaluation using three models and eight mutation operators used in previously proposed MT methods. We also analyze the trade-off between the approximation error and the cost of our method, showing that relatively small error can be achieved for a manageable cost. Conclusion: Our results showed the limitation of current MT practices in DNN and the need to rethink them. We believe PMT is the first step in that direction which effectively removes the lack of consistency across test executions of previous methods caused by the stochasticity of DNN training.


title: Subalgebras, subgroups, and singularity

abstract: This paper concerns the non-commutative analog of the Normal Subgroup Theorem for certain groups. Inspired by Kalantar-Panagopoulos, we show that all $\Gamma$-invariant subalgebras of $L\Gamma$ and $C^*_r(\Gamma)$ are ($\Gamma$-) co-amenable. The groups we work with satisfy a singularity phenomenon described in Bader-Boutonnet-Houdayer-Peterson. The setup of singularity allows us to obtain a description of $\Gamma$-invariant intermediate von Neumann subalgebras $L^{\infty}(X,\xi)\subset\mathcal{M}\subset L^{\infty}(X,\xi)\rtimes\Gamma$ in terms of the normal subgroups of $\Gamma$.


title: Magnetic-field-induced ab-plane rotation of the Eu magnetic moments in trigonal EuMg2Bi2 and EuMg2Sb2 single crystals below their Neel temperatures

abstract: The thermodynamic and electronic-transport properties of trigonal EuMg2Bi2 in ab-plane magnetic fields Hx and the A-type antiferromagnetic structure have recently been reported. At a temperature of 1.8 K < TN, the Eu magnetic moments with spin S = 7/2 remain locked in the ab plane up to and above the ab-plane critical field Hxc = 27.5 kOe at which the Eu moments become parallel to Hx. Here additional measurements at low fields are reported that reveal a new spin-reorientation transition at a field Hc1 = 465 Oe where the Eu moments remain in the ab plane but become perpendicular to Hx. At higher fields, the moments cant towards the field resulting in M proportional to Hx up to Hxc. Similar results are reported from measurements of the magnetic properties of EuMg2Sb2 single crystals, where Hc1 = 220 Oe is found. Theory is formulated that models the low-field magnetic behavior of both materials, and the associated anisotropies are calculated. The ab-plane trigonal anisotropy in EuMg2Sb2 is found to be significantly smaller than in EuMg2Bi2.


title: The quest for CMB signatures of Conformal Cyclic Cosmology

abstract: Circles of low-variance and Hawking points in the Cosmic Microwave Background (CMB), resulting from black hole mergers and black hole evaporation, respectively, in a previous cycle of the universe, have been predicted as possible evidence for the Conformal Cyclic Cosmology model (CCC) introduced by R. Penrose. We present a high-resolution search for such low-variance circles in the Planck and WMAP CMB data, and introduce HawkingNet, our machine learning open-source software based on a ResNet18 algorithm, to search for Hawking points in the CMB. We find that spots consisting of a few unusually bright (high-temperature) or dark (low-temperature) pixels, erroneously lead to regions with many low-variance circles, and consequently sets of near-concentric low-variance circles, when applying the search criteria used in previous work [V.G. Gurzadyan, R. Penrose]. After removing those spots from the data, no statistically significant low-variance circles can be found. Concerning Hawking points, also no statistically significant evidence is found when using a Gaussian temperature amplitude model over 1 degree opening angle and after accounting for spots of unusual brightness. That the unusual spots in the data are themselves remnants of Hawking points is not supported by low-variance and/or low-temperature circles around them. The absence of such statistically-significant distinct features in the currently available CMB data does not disprove the CCC model, but implies that higher resolution CMB data and/or refined CCC based predictions are needed to pursue the search for CCC signatures further


title: A dynamical Thouless formula

abstract: In this paper we establish an abstract, dynamical Thouless-type formula for affine families of $\mathrm{GL} (2,\mathbb{R})$ cocycles. This result extends the classical formula relating, via the Hilbert transform, the maximal Lyapunov exponent and the integrated density of states of a Schr\"odinger operator. Here, the role of the integrated density of states will be played by a more geometrical quantity, the fibered rotation number. As an application of this formula we present limitations on the modulus of continuity of random linear cocycles. Moreover, we derive H\"older-type continuity properties of the fibered rotation number for linear cocycles over various base dynamics.


title: Non-Standard Neutrino Self-Interactions Can Cause Neutrino Flavor Equipartition Inside the Supernova Core

abstract: We show that non-standard neutrino self-interactions can lead to total flavor equipartition in a dense neutrino gas, such as those expected in core-collapse supernovae. In this first investigation of this phenomenon in the multi-angle scenario, we demonstrate that such a flavor equipartition can occur on very short scales, and therefore very deep inside the newly formed proto-neutron star, with a possible significant impact on the physics of core-collapse supernovae. Our findings imply that future galactic core-collapse supernovae can appreciably probe non-standard neutrino self-interactions, for certain cases even when they are many orders of magnitude smaller than the Standard Model terms.


title: Non-intrusive sensing in turbulent boundary layers via deep fully-convolutional neural networks

abstract: Fully-convolutional neural networks (FCN) were proven to be effective for predicting the instantaneous state of a fully-developed turbulent flow at different wall-normal locations using quantities measured at the wall. In Guastoni et al. [J. Fluid Mech. 928, A27 (2021)], we focused on wall-shear-stress distributions as input, which are difficult to measure in experiments. In order to overcome this limitation, we introduce a model that can take as input the heat-flux field at the wall from a passive scalar. Four different Prandtl numbers $Pr = \nu/\alpha = (1,2,4,6)$ are considered (where $\nu$ is the kinematic viscosity and $\alpha$ is the thermal diffusivity of the scalar quantity). A turbulent boundary layer is simulated since accurate heat-flux measurements can be performed in experimental settings, paving the way for the implementation of a non-intrusive sensing approach for the flow in practical applications. This is particularly important for closed-loop flow control, which requires an accurate representation of the state of the flow to compute the actuation.


title: Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev

abstract: We discuss the use of negative bases in automatic sequences. Recently the theorem-prover Walnut has been extended to allow the use of base (-k) to express variables, thus permitting quantification over Z instead of N. This enables us to prove results about two-sided (bi-infinite) automatic sequences. We first explain the theory behind negative bases in Walnut. Next, we use this new version of Walnut to give a very simple proof of a strengthened version of a theorem of Shevelev. We use our ideas to resolve two open problems of Shevelev from 2017. We also reprove a 2000 result of Shur involving bi-infinite binary words.


title: Backward Stochastic Differential Equations (BSDEs) Using Infinite-dimensional Martingales with Subdifferential Operator

abstract: In this paper, we focus on a family of backward stochastic differential equations (BSDEs) with sub-differential operators that are driven by infinite-dimensional martingales which involve symmetry, that is, the process involves a positive definite nuclear operator Q. We shall show that the solution to such infinite-dimensional BSDEs exists and is unique. The existence of the solution is established using Yosida approximations, and the uniqueness is proved using Fixed Point Theorem. Furthermore, as an application of the main result, we shall show that the backward stochastic partial differential equation driven by infinite-dimensional martingales with a continuous linear operator has a unique solution under the condition that the function F equals to zero.


title: The shear viscosity of parton matter under anisotropic scatterings

abstract: The shear viscosity $\eta$ of a quark-gluon plasma in equilibrium can be calculated analytically using multiple methods or numerically using the Green-Kubo relation. It has been realized, which we confirm here, that the Chapman-Enskog method agrees well with the Green-Kubo result for both isotropic and anisotropic two-body scatterings. We then apply the Chapman-Enskog method to study the shear viscosity of the parton matter from a multi-phase transport model. In particular, we study the parton matter in the center cell of central and midcentral Au+Au collisions at $200A$ GeV and Pb+Pb collisions at $2760A$ GeV, which is assumed to be a plasma in thermal equilibrium but partial chemical equilibrium. As a result of using a constant Debye mass or cross section $\sigma$ for parton scatterings, the $\eta/s$ ratio increases with time (as the effective temperature decreases), contrary to the trend preferred by Bayesian analysis of the experimental data or pQCD results that use temperature-dependent Debye masses. At $\sigma=3$ mb that enables the transport model to approximately reproduce the elliptic flow data of the bulk matter, the average $\eta/s$ of the parton matter in partial equilibrium is found to be very small, between one to two times $1/(4\pi)$.


title: Gaussian Process Surrogate Models for Neural Networks

abstract: Not being able to understand and predict the behavior of deep learning systems makes it hard to decide what architecture and algorithm to use for a given problem. In science and engineering, modeling is a methodology used to understand complex systems whose internal processes are opaque. Modeling replaces a complex system with a simpler, more interpretable surrogate. Drawing inspiration from this, we construct a class of surrogate models for neural networks using Gaussian processes. Rather than deriving kernels for infinite neural networks, we learn kernels empirically from the naturalistic behavior of finite neural networks. We demonstrate our approach captures existing phenomena related to the spectral bias of neural networks, and then show that our surrogate models can be used to solve practical problems such as identifying which points most influence the behavior of specific neural networks and predicting which architectures and algorithms will generalize well for specific datasets.


title: Interaction Decompositions for Tensor Network Regression

abstract: It is well known that tensor network regression models operate on an exponentially large feature space, but questions remain as to how effectively they are able to utilize this space. Using a polynomial featurization, we propose the interaction decomposition as a tool that can assess the relative importance of different regressors as a function of their polynomial degree. We apply this decomposition to tensor ring and tree tensor network models trained on the MNIST and Fashion MNIST datasets, and find that up to 75% of interaction degrees are contributing meaningfully to these models. We also introduce a new type of tensor network model that is explicitly trained on only a small subset of interaction degrees, and find that these models are able to match or even outperform the full models using only a fraction of the exponential feature space. This suggests that standard tensor network models utilize their polynomial regressors in an inefficient manner, with the lower degree terms being vastly under-utilized.


title: Report of the Snowmass 2021 Collider Implementation Task Force

abstract: The Snowmass 2021 Implementation Task Force has been established to evaluate the proposed future accelerator projects for performance, technology readiness, schedule, cost, and environmental impact. Corresponding metrics has been developed for uniform comparison of the proposals ranging from Higgs/EW factories to multi-TeV lepton, hadron and ep collider facilities, based on traditional and advanced acceleration technologies. This report documents the metrics and processes, and presents evaluations of future colliders performed by Implementation Task Force.


title: Handling big tabular data of ICT supply chains: a multi-task, machine-interpretable approach

abstract: Due to the characteristics of Information and Communications Technology (ICT) products, the critical information of ICT devices is often summarized in big tabular data shared across supply chains. Therefore, it is critical to automatically interpret tabular structures with the surging amount of electronic assets. To transform the tabular data in electronic documents into a machine-interpretable format and provide layout and semantic information for information extraction and interpretation, we define a Table Structure Recognition (TSR) task and a Table Cell Type Classification (CTC) task. We use a graph to represent complex table structures for the TSR task. Meanwhile, table cells are categorized into three groups based on their functional roles for the CTC task, namely Header, Attribute, and Data. Subsequently, we propose a multi-task model to solve the defined two tasks simultaneously by using the text modal and image modal features. Our experimental results show that our proposed method can outperform state-of-the-art methods on ICDAR2013 and UNLV datasets.


title: CORNET: Learning Table Formatting Rules By Example

abstract: Spreadsheets are widely used for table manipulation and presentation. Stylistic formatting of these tables is an important property for both presentation and analysis. As a result, popular spreadsheet software, such as Excel, supports automatically formatting tables based on rules. Unfortunately, writing such formatting rules can be challenging for users as it requires knowledge of the underlying rule language and data logic. We present CORNET, a system that tackles the novel problem of automatically learning such formatting rules from user examples in the form of formatted cells. CORNET takes inspiration from advances in inductive programming and combines symbolic rule enumeration with a neural ranker to learn conditional formatting rules. To motivate and evaluate our approach, we extracted tables with over 450K unique formatting rules from a corpus of over 1.8M real worksheets. Since we are the first to introduce conditional formatting, we compare CORNET to a wide range of symbolic and neural baselines adapted from related domains. Our results show that CORNET accurately learns rules across varying evaluation setups. Additionally, we show that CORNET finds shorter rules than those that a user has written and discovers rules in spreadsheets that users have manually formatted.


title: Bayesian Soft Actor-Critic: A Directed Acyclic Strategy Graph Based Deep Reinforcement Learning

abstract: Adopting reasonable strategies is challenging but crucial for an intelligent agent with limited resources working in hazardous, unstructured, and dynamic environments to improve the system's utility, decrease the overall cost, and increase mission success probability. This paper proposes a novel directed acyclic strategy graph decomposition approach based on Bayesian chaining to separate an intricate policy into several simple sub-policies and organize their relationships as Bayesian strategy networks (BSN). We integrate this approach into the state-of-the-art DRL method -- soft actor-critic (SAC), and build the corresponding Bayesian soft actor-critic (BSAC) model by organizing several sub-policies as a joint policy. We compare our method against the state-of-the-art deep reinforcement learning algorithms on the standard continuous control benchmarks in the OpenAI Gym environment. The results demonstrate that the promising potential of the BSAC method significantly improves training efficiency.


title: Shifted Windows Transformers for Medical Image Quality Assessment

abstract: To maintain a standard in a medical imaging study, images should have necessary image quality for potential diagnostic use. Although CNN-based approaches are used to assess the image quality, their performance can still be improved in terms of accuracy. In this work, we approach this problem by using Swin Transformer, which improves the poor-quality image classification performance that causes the degradation in medical image quality. We test our approach on Foreign Object Classification problem on Chest X-Rays (Object-CXR) and Left Ventricular Outflow Tract Classification problem on Cardiac MRI with a four-chamber view (LVOT). While we obtain a classification accuracy of 87.1% and 95.48% on the Object-CXR and LVOT datasets, our experimental results suggest that the use of Swin Transformer improves the Object-CXR classification performance while obtaining a comparable performance for the LVOT dataset. To the best of our knowledge, our study is the first vision transformer application for medical image quality assessment.


title: Rigidity, separability, and cusp conditions of a wave function

abstract: We introduce in quantum mechanics a concept of \textit{rigidity} and a concept of a \textit{pinned point} of a wave function. The concept of a pinned point is a generalization of a familiar concept in the description of a vibrating string, while the concept of rigidity is introduced to describe the sensitivity of a wave function to changes in energy, potential, and/or external perturbation. Through these concepts and their mathematical implications, we introduce and formulate cusp conditions and cusp functions as fundamental properties of an arbitrary $N$-body quantum system with $N\ge 2$, greatly expanding their relevance beyond the Coulombic systems. The theory provides rigorous constraints on an arbitrary $N$-body quantum system, specifically on its short-range pair correlation that is essential to a better understanding of strongly correlated systems. More broadly, the theory and the derivations presented here are part of a reconstruction of the mathematical and conceptual foundation of an $N$-body quantum theory, incorporating previously hidden properties and insights revealed through the concepts of rigidity and pinned points. It includes general analytic properties of a 2-body wave function versus energy and their relations to cusp conditions and cusp functions. It includes a rigorous derivation and an understanding, in terms of an emergent length scale, of the 2-particle separability in an $(N>2)$-body quantum system and its relations to cusp conditions. It also includes a classification of quantum systems, both 2-body and $N$-body, based on the universal behaviors in their short-range correlation.


title: Path continuity of Markov processes and locality of Kolmogorov operators

abstract: We prove that if we are given a generator of a cadlag Markov process and an open domain $G$ in the state space, on which the generator has the local property expressed in a suitable way on a class $\mathcal{C}$ of test functions that is sufficiently rich, then the Markov process has continuous paths when it passes through $G$. The result holds for any Markov process which is associated with the generator merely on $\mathcal{C}$. This points out that the path continuity of the process is an a priori property encrypted by the generator acting on enough test functions, and this property can be easily checked in many situations. The approach uses potential theoretic tools and covers Markov processes associated with (possibly time-dependent) second order integro-differential operators (e.g., through the martingale problem) defined on domains in Hilbert spaces or on spaces of measures.


title: Improved concentration bounds for sums of independent sub-exponential random variables

abstract: Known Bernstein-type upper bounds on the tail probabilities for sums of independent zero-mean sub-exponential random variables are improved in several ways at once. The new upper bounds have a certain optimality property.


title: Region-Based Evidential Deep Learning to Quantify Uncertainty and Improve Robustness of Brain Tumor Segmentation

abstract: Despite recent advances in the accuracy of brain tumor segmentation, the results still suffer from low reliability and robustness. Uncertainty estimation is an efficient solution to this problem, as it provides a measure of confidence in the segmentation results. The current uncertainty estimation methods based on quantile regression, Bayesian neural network, ensemble, and Monte Carlo dropout are limited by their high computational cost and inconsistency. In order to overcome these challenges, Evidential Deep Learning (EDL) was developed in recent work but primarily for natural image classification. In this paper, we proposed a region-based EDL segmentation framework that can generate reliable uncertainty maps and robust segmentation results. We used the Theory of Evidence to interpret the output of a neural network as evidence values gathered from input features. Following Subjective Logic, evidence was parameterized as a Dirichlet distribution, and predicted probabilities were treated as subjective opinions. To evaluate the performance of our model on segmentation and uncertainty estimation, we conducted quantitative and qualitative experiments on the BraTS 2020 dataset. The results demonstrated the top performance of the proposed method in quantifying segmentation uncertainty and robustly segmenting tumors. Furthermore, our proposed new framework maintained the advantages of low computational cost and easy implementation and showed the potential for clinical application.


title: Semiparametric adaptive estimation under informative sampling

abstract: In survey sampling, survey data do not necessarily represent the target population, and the samples are often biased. However, information on the survey weights aids in the elimination of selection bias. The Horvitz-Thompson estimator is a well-known unbiased, consistent, and asymptotically normal estimator; however, it is not efficient. Thus, this study derives the semiparametric efficiency bound for various target parameters by considering the survey weight as a random variable and consequently proposes a semiparametric optimal estimator with certain working models on the survey weights. The proposed estimator is consistent, asymptotically normal, and efficient in a class of the regular and asymptotically linear estimators. Further, a limited simulation study is conducted to investigate the finite sample performance of the proposed method. The proposed method is applied to the 1999 Canadian Workplace and Employee Survey data.


title: Figure Descriptive Text Extraction using Ontological Representation

abstract: Experimental research publications provide figure form resources including graphs, charts, and any type of images to effectively support and convey methods and results. To describe figures, authors add captions, which are often incomplete, and more descriptions reside in body text. This work presents a method to extract figure descriptive text from the body of scientific articles. We adopted ontological semantics to aid concept recognition of figure-related information, which generates human- and machine-readable knowledge representations from sentences. Our results show that conceptual models bring an improvement in figure descriptive sentence classification over word-based approaches.


title: The cost of clean air: a price analysis of air filtration technology

abstract: Air pollution is a pernicious but increasingly rampant health problem in human populations across the globe. Varying duration of exposure to airborne pollutants can result in a plethora of health conditions, ranging from short-term bronchitis to prolonged cardiovascular diseases and lung cancers. Under chronic exposure to pollution, medical treatment for pollutant-caused health conditions can be quite costly. The most immediate and effective way to combat the health detriments of pollution is air purifiers, which take in ambient air and filter out the harmful pollutants before releasing it back into the surroundings. Filters are highly effective at decreasing air pollution, and by association, hospitalizations from exposure. An analysis of 52 common air purifiers was undertaken to compare acquisition and maintenance costs during severe air pollution levels across four counties in California. This approach enables the "cost" of clean air to be put into perspective i.e., the price compared to the cost of healthcare and other expenses, population age, and pre-existing conditions.


title: CodeBERT-nt: code naturalness via CodeBERT

abstract: Much of software-engineering research relies on the naturalness of code, the fact that code, in small code snippets, is repetitive and can be predicted using statistical language models like n-gram. Although powerful, training such models on large code corpus is tedious, time-consuming and sensitive to code patterns (and practices) encountered during training. Consequently, these models are often trained on a small corpora and estimate the language naturalness that is relative to a specific style of programming or type of project. To overcome these issues, we propose using pre-trained language models to infer code naturalness. Pre-trained models are often built on big data, are easy to use in an out-of-the-box way and include powerful learning associations mechanisms. Our key idea is to quantify code naturalness through its predictability, by using state-of-the-art generative pre-trained language models. To this end, we infer naturalness by masking (omitting) code tokens, one at a time, of code-sequences, and checking the models' ability to predict them. To this end, we evaluate three different predictability metrics; a) measuring the number of exact matches of the predictions, b) computing the embedding similarity between the original and predicted code, i.e., similarity at the vector space, and c) computing the confidence of the model when doing the token completion task irrespective of the outcome. We implement this workflow, named CodeBERT-nt, and evaluate its capability to prioritize buggy lines over non-buggy ones when ranking code based on its naturalness. Our results, on 2510 buggy versions of 40 projects from the SmartShark dataset, show that CodeBERT-nt outperforms both, random-uniform and complexity-based ranking techniques, and yields comparable results (slightly better) than the n-gram models.


title: Peter Bergmann on Observables in Hamiltonian General Relativity: A Historical-Critical Investigation

abstract: The problem of observables and their supposed lack of change has been significant in Hamiltonian quantum gravity since the 1950s. This paper considers the unrecognized variety of ideas about observables in the thought of Peter Bergmann, who invented observables. Whereas initially he required a constrained Hamiltonian formalism to be mathematically equivalent to the Lagrangian, in 1953 Bergmann and Schiller introduced a novel postulate, motivated by facilitating quantum gravity: observables were _invariant_ under transformations generated by _each individual_ first-class constraint. While modern works rely on Bergmann's authority and sometimes speak of "Bergmann observables," he had much to say about observables, plausible but not all consistent or remembered. At times he required observables to be locally defined (not changeless and global); at times he wanted them independent of the Hamiltonian formalism (not essentially involving separate first-class constraints). But typically he took observables to have vanishing Poisson bracket with each first-class constraint, purportedly justified by electrodynamics. He expected observables to be analogous to the transverse true degrees of freedom of electromagnetism. Hence there is no coherent concept of observables which he reliably endorsed. A revised definition of observables that satisfies the requirement that equivalent theories should have equivalent observables using the Rosenfeld-Anderson-Bergmann-Castellani gauge generator $G$, a tuned sum of first-class constraints that changes the canonical action $\int dt(p\dot{q}-H)$ by a boundary term. Bootstrapping from theory formulations with no first-class constraints, the "external" coordinate symmetry of GR calls for covariance ($4$-dimensional Lie derivative), not invariance ($0$ Poisson bracket), under $G$ (not each first-class constraint).


title: Dynamics of active liquid interfaces

abstract: Controlling interfaces of phase separating fluid mixtures is key to creating diverse functional soft materials. Traditionally, this is accomplished with surface-modifying chemical agents. Using experiment and theory, we study how mechanical activity shapes soft interfaces that separate an active and a passive fluid. Chaotic flows in the active fluid give rise to giant interfacial fluctuations and non-inertial propagating active waves. At high activities, stresses disrupt interface continuity and drive droplet generation, producing an emulsion-like active state comprised of finite-sized droplets. When in contact with a solid boundary, active interfaces exhibit non-equilibrium wetting transitions, wherein the fluid climbs the wall against gravity. These results demonstrate the promise of mechanically driven interfaces for creating a new class of soft active matter.

categories: cond-mat.soft cond-mat.mtrl-sci nlin.CD physics.flu-dyn


title: Fractional Order Analysis of the Polytropic Models Applied to Exoplanets

abstract: Physical conditions deep within planets and exoplanets have yet to be measured directly, but indirect methods can calculate them. The polytropic models are one possible solution to this problem. In the present paper, we assume that the interiors of planets follow a polytropic equation of state. Hydrostatic equilibrium conditions are used to determine the overall structural properties of the constituent matter. In the frame of the conformable fractional derivatives, we use polytropic gas spheres to model the density profiles, pressure profiles, temperature distributions, and the mass-radius relations for the interiors of the initial stage of exoplanets. Planets of single chemical composition were used to study the behavior of the mass-radius relation, pressure distributions, and temperature distribution variation with the fractional parameter. We calculated 72 fractional models for the mass of protoplanets of 1MJ, 3MJ, and 10MJ (MJ is the mass of Jupiter), and the values of the polytropic index are n=0, 0.5, 1, 1.5, and the fractional parameter rang 0.75-1.


title: Automated Market Making and Loss-Versus-Rebalancing

abstract: We consider the market microstructure of automated market makers (AMMs) from the perspective of liquidity providers (LPs). Our central contribution is a ``Black-Scholes formula for AMMs''. We identify the main adverse selection cost incurred by LPs, which we call ``loss-versus-rebalancing'' (LVR, pronounced ``lever''). LVR captures costs incurred by AMM LPs due to stale prices that are picked off by better informed arbitrageurs. We derive closed-form expressions for LVR applicable to all automated market makers. Our model is quantitatively realistic, matching actual LP returns empirically, and shows how CFMM protocols can be redesigned to reduce or eliminate LVR.

categories: q-fin.MF math.OC q-fin.PM q-fin.PR q-fin.TR


title: Recovery of a cubic nonlinearity for the nonlinear Schr\"odinger equation

abstract: We consider the problem of recovering a spatially-localized cubic nonlinearity in a nonlinear Schr\"odinger equation in dimensions two and three. We prove that solutions with data given by small-amplitude wave packets accrue a nonlinear phase that determines the X-ray transform of the nonlinear coefficient.


title: Darcy's law of yield stress fluids on a treelike network

abstract: Understanding the flow of yield stress fluids in porous media is a major challenge. In particular, experiments and extensive numerical simulations report a non-linear Darcy law as a function of the pressure gradient. In this letter, we consider a tree-like porous structure for which the problem of the flow can be resolved exactly thanks to a mapping with the directed polymer (DP) with disordered bond energies on the Cayley tree. Our results confirm the non-linear behavior of the flow and expresses its full pressure-dependence via the density of low-energy paths of DP restricted to vanishing overlap. These universal predictions are confirmed by extensive numerical simulations.


title: MILAN: Masked Image Pretraining on Language Assisted Representation

abstract: Self-attention based transformer models have been dominating many computer vision tasks in the past few years. Their superb model qualities heavily depend on the excessively large labeled image datasets. In order to reduce the reliance on large labeled datasets, reconstruction based masked autoencoders are gaining popularity, which learn high quality transferable representations from unlabeled images. For the same purpose, recent weakly supervised image pretraining methods explore language supervision from text captions accompanying the images. In this work, we propose masked image pretraining on language assisted representation, dubbed as MILAN. Instead of predicting raw pixels or low level features, our pretraining objective is to reconstruct the image features with substantial semantic signals that are obtained using caption supervision. Moreover, to accommodate our reconstruction target, we propose a more effective prompting decoder architecture and a semantic aware mask sampling mechanism, which further advance the transfer performance of the pretrained model. Experimental results demonstrate that MILAN delivers higher accuracy than the previous works. When the masked autoencoder is pretrained and finetuned on ImageNet-1K dataset with an input resolution of 224x224, MILAN achieves a top-1 accuracy of 85.4% on ViT-Base, surpassing previous state-of-the-arts by 1%. In the downstream semantic segmentation task, MILAN achieves 52.7 mIoU using ViT-Base on ADE20K dataset, outperforming previous masked pretraining results by 4 points.


title: Magneto-anisotropic weak antilocalization in near-surface quantum wells

abstract: We investigate the effects of an in-plane magnetic field on the weak antilocalization signature of near-surface quantum wells lacking bulk and inversion symmetry. The measured magnetoconductivity exhibits a strong anisotropy with respect to the direction of the in-plane magnetic field. The two-fold symmetry of the observed magneto-anisotropy originates from the competition between Rashba and Dresselhaus spin-orbit couplings. The high sensitivity of the weak antilocalization to the spin texture produced by the combined Zeeman and spin-orbit fields results in very large anisotropy ratios, reaching 100%. Using a semiclassical universal model in quantitative agreement with the experimental data, we uniquely determine the values of the Dresselhaus and Rashba parameters as well as the effective in-plane g-factor of the electrons. Understanding these parameters provides new prospects for novel applications ranging from spintronics to topological quantum computing.


title: A Hybrid Method for Condition Monitoring and Fault Diagnosis of Rolling Bearings With Low System Delay

abstract: Vibration-based condition monitoring techniques are commonly used to detect and diagnose failures of rolling bearings. Accuracy and delay in detecting and diagnosing different types of failures are the main performance measures in condition monitoring. Achieving high accuracy with low delay improves system reliability and prevents catastrophic equipment failure. Further, delay is crucial to remote condition monitoring and time-sensitive industrial applications. While most of the proposed methods focus on accuracy, slight attention has been paid to addressing the delay introduced in the condition monitoring process. In this paper, we attempt to bridge this gap and propose a hybrid method for vibration-based condition monitoring and fault diagnosis of rolling bearings that outperforms previous methods in terms of accuracy and delay. Specifically, we address the overall delay in vibration-based condition monitoring systems and introduce the concept of system delay to assess it. Then, we present the proposed method for condition monitoring. It uses Wavelet Packet Transform (WPT) and Fourier analysis to decompose short-duration input segments of the vibration signal into elementary waveforms and obtain their spectral contents. Accordingly, energy concentration in the spectral components-caused by defect induced transient vibrations-is utilized to extract a small number of features with high discriminative capabilities. Consequently, Bayesian optimization-based Random Forest (RF) algorithm is used to classify healthy and faulty operating conditions under varying motor speeds. The experimental results show that the proposed method can achieve high accuracy with low system delay.


title: Optimal Error-detection system for Identifying Codes

abstract: Assume that a graph $G$ models a detection system for a facility with a possible ``intruder," or a multiprocessor network with a possible malfunctioning processor. We consider the problem of placing detectors at a subset of vertices in $G$ to determine the location of an intruder if there is any. Many types of detection systems have been defined for different sensor capabilities; in particular, we focus on Identifying Codes, where each detector can determine whether there is an intruder within its closed neighborhood. In this research we explore a fault-tolerant variant of identifying codes applicable to real-world systems. Specifically, error-detecting identifying codes permit a false negative transmission from any single detector. We investigate minimum-sized error-detecting identifying codes in several classes of graphs, including cubic graphs and infinite grids, and show that the problem of determining said minimum size in arbitrary graphs is NP-complete.


title: Adaptive Sampling of Latent Phenomena using Heterogeneous Robot Teams (ASLaP-HR)

abstract: In this paper, we present an online adaptive planning strategy for a team of robots with heterogeneous sensors to sample from a latent spatial field using a learned model for decision making. Current robotic sampling methods seek to gather information about an observable spatial field. However, many applications, such as environmental monitoring and precision agriculture, involve phenomena that are not directly observable or are costly to measure, called latent phenomena. In our approach, we seek to reason about the latent phenomenon in real-time by effectively sampling the observable spatial fields using a team of robots with heterogeneous sensors, where each robot has a distinct sensor to measure a different observable field. The information gain is estimated using a learned model that maps from the observable spatial fields to the latent phenomenon. This model captures aleatoric uncertainty in the relationship to allow for information theoretic measures. Additionally, we explicitly consider the correlations among the observable spatial fields, capturing the relationship between sensor types whose observations are not independent. We show it is possible to learn these correlations, and investigate the impact of the learned correlation models on the performance of our sampling approach. Through our qualitative and quantitative results, we illustrate that empirically learned correlations improve the overall sampling efficiency of the team. We simulate our approach using a data set of sensor measurements collected on Lac Hertel, in Quebec, which we make publicly available.


title: Spin dynamics dominated by superexchange via virtual molecules

abstract: Simple, paradigmatic systems are important tools in understanding strongly correlated systems. One such system is the Bose-Hubbard model, which can be realized using atoms in optical lattices with delta-function interactions. We report the first experimental observation of two features of the Bose-Hubbard model: superexchange via virtual molecules in excited bands and off-site contact interactions. Adiabatic sweeps confirm the creation of such molecules, exemplifying a new kind of Feshbach resonance.


title: Acoustically levitated lock and key grains

abstract: We present a scheme for generating shape-dependent, specific bonds between millimeter scale particles, using acoustic levitation. We levitate particles in an ultrasonic standing wave, allowing for substrate-free assembly. Secondary scattering generates shape-dependent attractive forces between particles, while driving the acoustic trap above its resonance frequency produces active fluctuations that mimic an effective temperature. We 3D print planar particles, and show that the local curvature of their binding sites controls the selectivity for attaching a matching particle. We find that the bound-state probability and bound-state lifetime can be independently tuned via the binding site depth and height respectively. Finally, we show that these principles can be used to design particles that assemble into complex structures.


title: Approximate Extraction of Late-Time Returns via Morphological Component Analysis

abstract: A fundamental challenge in acoustic data processing is to separate a measured time series into relevant phenomenological components. A given measurement is typically assumed to be an additive mixture of myriad signals plus noise whose separation forms an ill-posed inverse problem. In the setting of sensing elastic objects using active sonar, we wish to separate the early-time returns (e.g., returns from the object's exterior geometry) from late-time returns caused by elastic or compressional wave coupling. Under the framework of Morphological Component Analysis (MCA), we compare two separation models using the short-duration and long-duration responses as a proxy for early-time and late-time returns. Results are computed for Stanton's elastic cylinder model as well as on experimental data taken from an in-Air circular Synthetic Aperture Sonar (AirSAS) system, whose separated time series are formed into imagery. We find that MCA can be used to separate early and late-time responses in both cases without the use of time-gating. The separation process is demonstrated to be robust to noise and compatible with AirSAS image reconstruction. The best separation results are obtained with a flexible, but computationally intensive, frame based signal model, while a faster Fourier Transform based method is shown to have competitive performance.


title: A new approach to color-coherent parton evolution

abstract: We present a simple parton-shower model that replaces the explicit angular ordering of the coherent branching formalism with a differentially accurate simulation of soft-gluon radiation by means of a non-trivial dependence on azimuthal angles. We introduce a global kinematics mapping and provide an analytic proof that it satisfies the criteria for next-to leading logarithmic accuracy. In the new algorithm, initial and final state evolution are treated on the same footing. We provide an implementation for final-state evolution in the numerical code Alaric and present a first comparison to experimental data.


title: An Accelerated Doubly Stochastic Gradient Method with Faster Explicit Model Identification

abstract: Sparsity regularized loss minimization problems play an important role in various fields including machine learning, data mining, and modern statistics. Proximal gradient descent method and coordinate descent method are the most popular approaches to solving the minimization problem. Although existing methods can achieve implicit model identification, aka support set identification, in a finite number of iterations, these methods still suffer from huge computational costs and memory burdens in high-dimensional scenarios. The reason is that the support set identification in these methods is implicit and thus cannot explicitly identify the low-complexity structure in practice, namely, they cannot discard useless coefficients of the associated features to achieve algorithmic acceleration via dimension reduction. To address this challenge, we propose a novel accelerated doubly stochastic gradient descent (ADSGD) method for sparsity regularized loss minimization problems, which can reduce the number of block iterations by eliminating inactive coefficients during the optimization process and eventually achieve faster explicit model identification and improve the algorithm efficiency. Theoretically, we first prove that ADSGD can achieve a linear convergence rate and lower overall computational complexity. More importantly, we prove that ADSGD can achieve a linear rate of explicit model identification. Numerically, experimental results on benchmark datasets confirm the efficiency of our proposed method.