title: SCONE: Surface Coverage Optimization in Unknown Environments by Volumetric Integration

abstract: Next Best View computation (NBV) is a long-standing problem in robotics, and consists in identifying the next most informative sensor position(s) for reconstructing a 3D object or scene efficiently and accurately. Like most current methods, we consider NBV prediction from a depth sensor like Lidar systems. Learning-based methods relying on a volumetric representation of the scene are suitable for path planning, but have lower accuracy than methods using a surface-based representation. However, the latter do not scale well with the size of the scene and constrain the camera to a small number of poses. To obtain the advantages of both representations, we show that we can maximize surface metrics by Monte Carlo integration over a volumetric representation. In particular, we propose an approach, SCONE, that relies on two neural modules: The first module predicts occupancy probability in the entire volume of the scene. Given any new camera pose, the second module samples points in the scene based on their occupancy probability and leverages a self-attention mechanism to predict the visibility of the samples. Finally, we integrate the visibility to evaluate the gain in surface coverage for the new camera pose. NBV is selected as the pose that maximizes the gain in total surface coverage. Our method scales to large scenes and handles free camera motion: It takes as input an arbitrarily large point cloud gathered by a depth sensor as well as camera poses to predict NBV. We demonstrate our approach on a novel dataset made of large and complex 3D scenes.


title: Star formation at the smallest scales; A JWST study of the clump populations in SMACS0723

abstract: We present the clump populations detected in 18 lensed galaxies at redshifts 1 to 8.5 within the lensing cluster field SMACS0723. The recent JWST Early Release Observations of this poorly known region of the sky have revealed numerous point-like sources within and surrounding their host galaxies, undetected in the shallower HST images. We use JWST multiband photometry and the lensing model of this galaxy cluster to estimate the intrinsic sizes and magnitudes of the stellar clumps. We derive optical restframe effective radii from $<$10 to 100s pc and masses ranging from $\sim10^5$ to $10^9$ M$_{\odot}$, overlapping with massive star clusters in the local universe. The ages range from 1 Myr to 1 Gyr. We compare the crossing time to the age of the clumps and determine that between 45 and 60 % of the detected clumps are consistent with being gravitationally bound. The lack of Gyr old clumps suggest that the dissolution time scales are shorter than 1 Gyr. We see a significant increase in the luminosity (mass) surface density of the clumps with redshift. Clumps in galaxies at the reionisation era have stellar densities higher than massive clusters in the local universe. We zoom-in into single galaxies at redshift $<6$ and find for two galaxies, the Sparkler and the Firework, that their star clusters/clumps show distinctive colour distributions and location surrounding their host galaxy that are compatible with being accredited or formed during merger events. The ages of some of the compact clusters are between 1 and 4 Gyr, e.g., globular cluster precursors formed around 9-12 Gyr ago. Our study, conducted on a small sample of galaxies, shows the potential of JWST observations for understanding the conditions under which star clusters form in rapidly evolving galaxies.


title: Minimax AUC Fairness: Efficient Algorithm with Provable Convergence

abstract: The use of machine learning models in consequential decision making often exacerbates societal inequity, in particular yielding disparate impact on members of marginalized groups defined by race and gender. The area under the ROC curve (AUC) is widely used to evaluate the performance of a scoring function in machine learning, but is studied in algorithmic fairness less than other performance metrics. Due to the pairwise nature of the AUC, defining an AUC-based group fairness metric is pairwise-dependent and may involve both \emph{intra-group} and \emph{inter-group} AUCs. Importantly, considering only one category of AUCs is not sufficient to mitigate unfairness in AUC optimization. In this paper, we propose a minimax learning and bias mitigation framework that incorporates both intra-group and inter-group AUCs while maintaining utility. Based on this Rawlsian framework, we design an efficient stochastic optimization algorithm and prove its convergence to the minimum group-level AUC. We conduct numerical experiments on both synthetic and real-world datasets to validate the effectiveness of the minimax framework and the proposed optimization algorithm.


title: Transonic buffet characteristics under conditions of free and forced transition

abstract: Transonic buffet is commonly associated with self-sustained flow unsteadiness involving shock-wave/boundary-layer interaction over aerofoils and wings. The phenomenon has been classified as either laminar or turbulent based on the state of the boundary layer immediately upstream of the shock foot and distinct mechanisms for the two types have been suggested. The turbulent case is known to be associated with a global linear instability. Herein, large-eddy simulations are used for the first time to make direct comparisons of the two types by examining free- and forced-transition conditions. Corresponding simulations based on the Reynolds-averaged Navier--Stokes equations for the forced-transition case are also performed for comparison with the scale-resolving approach and for linking the findings with existing literature. Coherent flow features are scrutinised using both data-based spectral proper orthogonal decomposition of the time-marched results and operator-based global linear stability and resolvent analyses within the Reynolds-averaged Navier--Stokes framework. It is demonstrated that the essential dynamic features remain the same for the two buffet types (and for the two levels of the aerodynamic modelling hierarchy), suggesting that both types arise due to the same fundamental mechanism.


title: Problem-Size Independent Angles for a Grover-Driven Quantum Approximate Optimization Algorithm

abstract: The Quantum Approximate Optimization Algorithm (QAOA) requires that circuit parameters are determined that allow one to sample from high-quality solutions to combinatorial optimization problems. Such parameters can be obtained using either costly outer-loop optimization procedures and repeated calls to a quantum computer or, alternatively, via analytical means. In this work we demonstrate that if one knows the probability density function describing how the objective function of a problem is distributed, that the calculation of the expectation of such a problem Hamiltonian under a Grover-driven, QAOA-prepared state can be performed independently of system size. Such calculations can help deliver insights into the performance of and predictability of angles in QAOA in the limit of large problem sizes, in particular, for the number partitioning problem.


title: Energy Decay in $1+1$ Rindler Spacetime

abstract: We consider solutions of the massless scalar wave equation $\Box_g\psi=0$ on a fixed Rindler background and show polynomial decay of the energy flux related to the Rindler observers near null infinity and to local observers near the Rindler horizon. The main estimates are obtained via the vector field method using suitable vector fields multipliers which are analogous to the ones used in Schwarzschild spacetime and Minkowski spacetime.


title: Examining Audio Communication Mechanisms for Supervising Fleets of Agricultural Robots

abstract: Agriculture is facing a labor crisis, leading to increased interest in fleets of small, under-canopy robots (agbots) that can perform precise, targeted actions (e.g., crop scouting, weeding, fertilization), while being supervised by human operators remotely. However, farmers are not necessarily experts in robotics technology and will not adopt technologies that add to their workload or do not provide an immediate payoff. In this work, we explore methods for communication between a remote human operator and multiple agbots and examine the impact of audio communication on the operator's preferences and productivity. We develop a simulation platform where agbots are deployed across a field, randomly encounter failures, and call for help from the operator. As the agbots report errors, various audio communication mechanisms are tested to convey which robot failed and what type of failure occurs. The human is tasked with verbally diagnosing the failure while completing a secondary task. A user study was conducted to test three audio communication methods: earcons, single-phrase commands, and full sentence communication. Each participant completed a survey to determine their preferences and each method's overall effectiveness. Our results suggest that the system using single phrases is the most positively perceived by participants and may allow for the human to complete the secondary task more efficiently. The code is available at: https://github.com/akamboj2/Agbot-Sim.


title: Verification-Preserving Inlining in Automatic Separation Logic Verifiers (extended version)

abstract: Bounded verification has proved useful to detect bugs and to increase confidence in the correctness of a program. In contrast to unbounded verification, reasoning about calls via (bounded) inlining and about loops via (bounded) unrolling does not require method specifications and loop invariants and, therefore, reduces the annotation overhead to the bare minimum, namely specifications of the properties to be verified. For verifiers based on traditional program logics, verification is preserved by inlining (and unrolling): successful unbounded verification of a program w.r.t. some annotation implies successful verification of the inlined program. That is, any error detected in the inlined program reveals a true error in the original program. However, this essential property might not hold for automatic separation logic verifiers such as Caper, GRASShopper, RefinedC, Steel, VeriFast, and verifiers based on Viper. In this setting, inlining generally changes the resources owned by method executions, which may affect automatic proof search algorithms and introduce spurious errors. In this paper, we present the first technique for verification-preserving inlining in automatic separation logic verifiers. We identify a semantic condition on programs and prove in Isabelle/HOL that it ensures verification-preserving inlining for state-of-the-art automatic separation logic verifiers. We also prove a dual result: successful verification of the inlined program ensures that there are method and loop annotations that enable the verification of the original program for bounded executions. To check our semantic condition automatically, we present two approximations that can be checked syntactically and with a program verifier, respectively. We implement these checks in Viper and demonstrate that they are effective for non-trivial examples from different verifiers.


title: Regular subgraphs of linear hypergraphs

abstract: We prove that the maximum number of edges in a 3-uniform linear hypergraph on $n$ vertices containing no 2-regular subhypergraph is $n^{1+o(1)}$. This resolves a conjecture of Dellamonica, Haxell, Luczak, Mubayi, Nagle, Person, R\"odl, Schacht and Verstra\"ete. We use this result to show that the maximum number of edges in a $3$-uniform hypergraph on $n$ vertices containing no immersion of a closed surface is $n^{2+o(1)}$. Furthermore, we present results on the maximum number of edges in $k$-uniform linear hypergraphs containing no $r$-regular subhypergraph.


title: Minimax-Optimal Multi-Agent RL in Markov Games With a Generative Model

abstract: This paper studies multi-agent reinforcement learning in Markov games, with the goal of learning Nash equilibria or coarse correlated equilibria (CCE) sample-optimally. All prior results suffer from at least one of the two obstacles: the curse of multiple agents and the barrier of long horizon, regardless of the sampling protocol in use. We take a step towards settling this problem, assuming access to a flexible sampling mechanism: the generative model. Focusing on non-stationary finite-horizon Markov games, we develop a fast learning algorithm called \myalg~and an adaptive sampling scheme that leverage the optimism principle in online adversarial learning (particularly the Follow-the-Regularized-Leader (FTRL) method). Our algorithm learns an $\varepsilon$-approximate CCE in a general-sum Markov game using $$ \widetilde{O}\bigg( \frac{H^4 S \sum_{i=1}^m A_i}{\varepsilon^2} \bigg) $$ samples, where $m$ is the number of players, $S$ indicates the number of states, $H$ is the horizon, and $A_i$ denotes the number of actions for the $i$-th player. This is minimax-optimal (up to log factor) when the number of players is fixed. When applied to two-player zero-sum Markov games, our algorithm provably finds an $\varepsilon$-approximate Nash equilibrium with minimal samples. Along the way, we derive a refined regret bound for FTRL that makes explicit the role of variance-type quantities, which might be of independent interest.

categories: cs.LG cs.GT cs.IT cs.SY eess.SY math.IT stat.ML


title: Modular forms and an explicit Chebotarev variant of the Brun-Titchmarsh theorem

abstract: We prove an explicit Chebotarev variant of the Brun--Titchmarsh theorem. This leads to explicit versions of the best-known unconditional upper bounds toward conjectures of Lang and Trotter for the coefficients of holomorphic cuspidal newforms. In particular, we prove that $$\lim_{x \to \infty} \frac{\#\{1 \leq n \leq x \mid \tau(n) \neq 0\}}{x} > 1-1.15 \times 10^{-12},$$ where $\tau(n)$ is Ramanujan's tau-function. This is the first known positive unconditional lower bound for the proportion of positive integers $n$ such that $\tau(n) \neq 0$.


title: Towards Clause Learning \`a la Carte through VarMonads

abstract: More and more languages have a need for constraint solving capabilities for features like error detection or automatic code generation. Imagine a dependently typed language that can immediately implement a program as soon as its type is given. In SAT-solving, there have been several techniques to speed up a search process for satisfying assignments to variables that could be used for program synthesis. One of these techniques is clause learning where, if a search branch runs into a conflict, the cause of the conflict is analysed and used to create a new clause that lets a branch fail earlier if the conflict arises again. We provide a framework with which this technique can come for free not just for Boolean solvers, but for any constraint solver running on recursive algebraic data types. We achieve this by tracking the read operations that happen before a variable is assigned and use this information to create the dependency graph needed for conflict analysis. Our results are implemented in Agda for best readability, but they transfer to other functional languages as well. For brevity, we do not provide an entire search system utilizing the clause learning, but it will become clear from the formalisms that our technique indeed enables a clause learning search system to be built.


title: Scale invariant process regression: Towards Bayesian ML with minimal assumptions

abstract: Current methods for regularization in machine learning require quite specific model assumptions (e.g. a kernel shape) that are not derived from prior knowledge about the application, but must be imposed merely to make the method work. We show in this paper that regularization can indeed be achieved by assuming nothing but invariance principles (w.r.t. scaling, translation, and rotation of input and output space) and the degree of differentiability of the true function. Concretely, we derive a novel (non-Gaussian) stochastic process from the above minimal assumptions, and we present a corresponding Bayesian inference method for regression. The mean posterior turns out to be a polyharmonic spline, and the posterior process is a mixture of t-processes. Compared with Gaussian process regression, the proposed method shows equal performance and has the advantages of being (i) less arbitrary (no choice of kernel) (ii) potentially faster (no kernel parameter optimization), and (iii) having better extrapolation behavior. We believe that the proposed theory has central importance for the conceptual foundations of regularization and machine learning and also has great potential to enable practical advances in ML areas beyond regression.


title: Shapelet-Based Counterfactual Explanations for Multivariate Time Series

abstract: As machine learning and deep learning models have become highly prevalent in a multitude of domains, the main reservation in their adoption for decision-making processes is their black-box nature. The Explainable Artificial Intelligence (XAI) paradigm has gained a lot of momentum lately due to its ability to reduce models opacity. XAI methods have not only increased stakeholders' trust in the decision process but also helped developers ensure its fairness. Recent efforts have been invested in creating transparent models and post-hoc explanations. However, fewer methods have been developed for time series data, and even less when it comes to multivariate datasets. In this work, we take advantage of the inherent interpretability of shapelets to develop a model agnostic multivariate time series (MTS) counterfactual explanation algorithm. Counterfactuals can have a tremendous impact on making black-box models explainable by indicating what changes have to be performed on the input to change the final decision. We test our approach on a real-life solar flare prediction dataset and prove that our approach produces high-quality counterfactuals. Moreover, a comparison to the only MTS counterfactual generation algorithm shows that, in addition to being visually interpretable, our explanations are superior in terms of proximity, sparsity, and plausibility.


title: Survey of Machine Learning Techniques To Predict Heartbeat Arrhythmias

abstract: Many works in biomedical computer science research use machine learning techniques to give accurate results. However, these techniques may not be feasible for real-time analysis of data pulled from live hospital feeds. In this project, different machine learning techniques are compared from various sources to find one that provides not only high accuracy but also low latency and memory overhead to be used in real-world health care systems.


title: Rowmotion on $m$-Tamari and BiCambrian Lattices

abstract: Thomas and Williams conjectured that rowmotion acting on the rational $(a,b)$-Tamari lattice has order $a+b-1$. We construct an equivariant bijection that proves this conjecture when $b\equiv 1\pmod a$; in fact, we determine the entire orbit structure of rowmotion in this case, showing that it exhibits the cyclic sieving phenomenon. We additionally show that the down-degree statistic is homomesic for this action. In a different vein, we consider the action of rowmotion on Barnard and Reading's biCambrian lattices. Settling a different conjecture of Thomas and Williams, we prove that if $c$ is a bipartite Coxeter element of a coincidental-type Coxeter group $W$, then the orbit structure of rowmotion on the $c$-biCambrian lattice is the same as the orbit structure of rowmotion on the lattice of order ideals of the doubled root poset of type $W$.


title: Hypomagnetic field effects as a potential avenue for testing the radical pair mechanism in biology

abstract: Near-zero magnetic fields, called hypomagnetic fields, are known to impact biological phenomena, including developmental processes, the circadian system, neuronal and brain activities, DNA methylation, calcium balance in cells, and many more. However, the exact mechanism underlying such effects is still elusive, as the corresponding energies are far smaller than thermal energies. It is known that chemical reactions involving radical pairs can be magnetic field dependent at very low intensities comparable to or less than the geomagnetic field. Here, we review in detail hypomagnetic field effects from the perspective of the radical pair mechanism, pointing out that under certain conditions, they can be comparable or even stronger than the effects of increasing the magnetic field. We suggest that hypomagnetic field effects are an interesting avenue for testing the radical pair mechanism in biology.

categories: quant-ph physics.bio-ph physics.chem-ph q-bio.NC


title: The carbon footprint of proposed $\rm e^+e^-$ Higgs factories

abstract: The energy consumption of any of the $\rm e^+e^-$ Higgs factory projects that can credibly operate immediately after the end of LHC, namely three linear colliders (CLIC, operating at $\sqrt{s}=380$GeV; and ILC and $\rm C^3$, operating at $\sqrt{s}=250$ GeV) and two circular colliders (CEPC and FCC-ee, operating at $\sqrt{s}=240$ GeV), will be everything but negligible. Future Higgs boson studies may therefore have a significant environmental impact. This note proposes to include the carbon footprint for a given physics performance as a top-level gauge for the design optimization and, eventually, the choice of the future facility. The projected footprints per Higgs boson produced, evaluated using the 2021 carbon emission of available electricity, are found to vary by a factor 100 depending on the considered Higgs factory project.

categories: hep-ph hep-ex physics.acc-ph physics.soc-ph


title: On Vassiliev Invariants of Virtual Knots

abstract: We discuss Vassiliev invariants for virtual knots, expanding upon the theory of quantum virtual knot invariants developed in arXiv:1509.00578. In particular, following the theory of quantum invariants we work with 'rotational' virtual knots. We define chord diagrams, weight systems, and give examples of Lie algebra weight systems of rotational virtual knots. We end with a discussion of extended quantum invariants, which capture information that standard quantum invariants of rotational virtuals cannot.


title: Evaporation of non-circular droplets

abstract: The dynamics of thin, non-circular droplets evaporating in the diffusion-limited regime are examined. The challenging non-rectilinear mixed-boundary problem this poses is solved using a novel asymptotic approach and an asymptotic expansion for the evaporative flux from the free surface of the droplet is found. While theoretically valid only for droplets that are close to circular, it is demonstrated that the methodology can successfully be applied to droplets with a wide variety of footprint shapes, including polygons and highly non-convex domains. While the applications of this are numerous, the analytically-tractable case of deposition of solute from large droplets is examined in detail, including a matched asymptotic analysis to resolve the pressure, streamlines and deposition up to second order.


title: Formal Contracts Mitigate Social Dilemmas in Multi-Agent RL

abstract: Multi-agent Reinforcement Learning (MARL) is a powerful tool for training autonomous agents acting independently in a common environment. However, it can lead to sub-optimal behavior when individual incentives and group incentives diverge. Humans are remarkably capable at solving these social dilemmas. It is an open problem in MARL to replicate such cooperative behaviors in selfish agents. In this work, we draw upon the idea of formal contracting from economics to overcome diverging incentives between agents in MARL. We propose an augmentation to a Markov game where agents voluntarily agree to binding transfers of reward, under pre-specified conditions. Our contributions are theoretical and empirical. First, we show that this augmentation makes all subgame-perfect equilibria of all Fully Observable Markov Games exhibit socially optimal behavior, given a sufficiently rich space of contracts. Next, we show that for general contract spaces, and even under partial observability, richer contract spaces lead to higher welfare. Hence, contract space design solves an exploration-exploitation tradeoff, sidestepping incentive issues. We complement our theoretical analysis with experiments. Issues of exploration in the contracting augmentation are mitigated using a training methodology inspired by multi-objective reinforcement learning: Multi-Objective Contract Augmentation Learning (MOCA). We test our methodology in static, single-move games, as well as dynamic domains that simulate traffic, pollution management and common pool resource management.


title: Variational quantum iterative power algorithms for global optimization

abstract: We introduce a family of variational quantum algorithms called quantum iterative power algorithms (QIPA) that outperform existing hybrid near-term quantum algorithms of the same kind. We demonstrate the capabilities of QIPA as applied to three different global-optimization numerical experiments: the ground-state optimization of the $H_2$ molecular dissociation, search of the transmon qubit ground-state, and biprime factorization. Since our algorithm is hybrid, quantum/classical technologies such as error mitigation and adaptive variational ansatzes can easily be incorporated into the algorithm. Due to the shallow quantum circuit requirements, we anticipate large-scale implementation and adoption of the proposed algorithm across current major quantum hardware.


title: Relativistic Solutions of Generalized-Dunkl Harmonic and Anharmonic Oscillators

abstract: Dunkl derivative enriches solutions by discussing parity due to its reflection operator. Very recently, one of the authors of this manuscript presented one of the most general forms of Dunkl derivative that depends on three Wigner parameters to have a better tuning. In this manuscript, we employ the latter generalized Dunkl derivative in a relativistic equation to examine two-dimensional harmonic and anharmonic oscillators solutions. We obtain the solutions by Nikiforov-Uvarov and QES methods, respectively. We show that degenerate states can occur according to the Wigner parameter values.


title: Automated Pruning of Polyculture Plants

abstract: Polyculture farming has environmental advantages but requires substantially more pruning than monoculture farming. We present novel hardware and algorithms for automated pruning. Using an overhead camera to collect data from a physical scale garden testbed, the autonomous system utilizes a learned Plant Phenotyping convolutional neural network and a Bounding Disk Tracking algorithm to evaluate the individual plant distribution and estimate the state of the garden each day. From this garden state, AlphaGardenSim selects plants to autonomously prune. A trained neural network detects and targets specific prune points on the plant. Two custom-designed pruning tools, compatible with a FarmBot gantry system, are experimentally evaluated and execute autonomous cuts through controlled algorithms. We present results for four 60-day garden cycles. Results suggest the system can autonomously achieve 0.94 normalized plant diversity with pruning shears while maintaining an average canopy coverage of 0.84 by the end of the cycles. For code, videos, and datasets, see https://sites.google.com/berkeley.edu/pruningpolyculture.


title: Autonomous Ground Navigation in Highly Constrained Spaces: Lessons learned from The BARN Challenge at ICRA 2022

abstract: The BARN (Benchmark Autonomous Robot Navigation) Challenge took place at the 2022 IEEE International Conference on Robotics and Automation (ICRA 2022) in Philadelphia, PA. The aim of the challenge was to evaluate state-of-the-art autonomous ground navigation systems for moving robots through highly constrained environments in a safe and efficient manner. Specifically, the task was to navigate a standardized, differential-drive ground robot from a predefined start location to a goal location as quickly as possible without colliding with any obstacles, both in simulation and in the real world. Five teams from all over the world participated in the qualifying simulation competition, three of which were invited to compete with each other at a set of physical obstacle courses at the conference center in Philadelphia. The competition results suggest that autonomous ground navigation in highly constrained spaces, despite seeming ostensibly simple even for experienced roboticists, is actually far from being a solved problem. In this article, we discuss the challenge, the approaches used by the top three winning teams, and lessons learned to direct future research.


title: GEO Payload Power Minimization: Joint Precoding and Beam Hopping Design

abstract: This paper aims to jointly determine linear precoding (LP) vectors, beam hopping (BH), and discrete DVB-S2X transmission rates for the GEO satellite communication systems to minimize the payload power consumption and satisfy ground users' demands within a time window. Regarding constraint on the maximum number of illuminated beams per time slot, the technical requirement is formulated as a sparse optimization problem in which the hardware-related beam illumination energy is modeled in a sparsity form of the LP vectors. To cope with this problem, the compressed sensing method is employed to transform the sparsity parts into the quadratic form of precoders. Then, an iterative window-based algorithm is developed to update the LP vectors sequentially to an efficient solution. Additionally, two other two-phase frameworks are also proposed for comparison purposes. In the first phase, these methods aim to determine the MODCOD transmission schemes for users to meet their demands by using a heuristic approach or DNN tool. In the second phase, the LP vectors of each time slot will be optimized separately based on the determined MODCOD schemes.


title: A Tight Upper Bound on the Average Order of Dominating Sets of a Graph

abstract: In this paper we study the the average order of dominating sets in a graph, $\operatorname{avd}(G)$. Like other average graph parameters, the extremal graphs are of interest. Beaton and Brown (2021) conjectured that for all graphs $G$ of order $n$ without isolated vertices, $\operatorname{avd}(G) \leq 2n/3$. Recently, Erey (2021) proved the conjecture for forests without isolated vertices. In this paper we prove the conjecture and classify which graphs have $\operatorname{avd}(G) = 2n/3$. We also use our bounds to prove the average version of Vizing's Conjecture.


title: The combinatorial structure of symmetric strongly shifted ideals

abstract: Symmetric strongly shifted ideals are a class of monomial ideals which come equipped with an action of the symmetric group and are analogous to the well-studied class of strongly stable monomial ideals. In this paper we focus on algebraic and combinatorial properties of symmetric strongly shifted ideals. On the algebraic side, we elucidate properties that pertain to behavior under ideal operations, primary decomposition, and the structure of their Rees algebra. On the combinatorial side, we develop a notion of partition Borel generators which leads to connections to discrete polymatroids, convex polytopes, and permutohedral toric varieties.


title: Resource theory of quantum scrambling

abstract: Quantum scrambling refers to the spread of local quantum information into the many degrees of freedom of a quantum system. In this work, we introduce a resource theory of scrambling which incorporates two mechanisms, "entanglement scrambling" and "magic scrambling". We introduce two resource monotones called the Pauli growth and the OTOC (out-of-time-ordered correlator) magic for these two mechanisms, respectively. We use our resource theory to explain recent experimental observations of magic. We also show that both resource monotones can be used to bound the decoding fidelity in Yoshida's black hole decoding protocol. These applications provide an operational interpretation of the resource monotones defined in this work.


title: Secret-Key Agreement Using Physical Identifiers for Degraded and Less Noisy Authentication Channels

abstract: Secret-key agreement based on biometric or physical identifiers is a promising security protocol for authenticating users or devices with small chips due to its lightweight security. In previous studies, the fundamental limits of such a protocol were analyzed, and the results showed that two auxiliary random variables were involved in the capacity region expressions. However, with these two auxiliary random variables, the complexity of computing the capacity regions may be prohibitively high. To deal with this problem, we explore classes of authentication channels that require only one auxiliary random variable in the expressions of the capacity regions. It is revealed that for the classes of degraded and less noisy authentication channels, a single auxiliary random variable is sufficient to express the capacity regions. As specific examples, we derive the closed-form expressions for binary and Gaussian sources. Also, numerical calculations for Gaussian sources are provided to show the trade-off between secret-key and privacy-leakage rates under a given storage rate, and to illustrate how the noise in the enrollment phase affects the capacity region.


title: Extreme Value Statistics of the Halo and Stellar Mass Distributions at High Redshift: are JWST Results in Tension with {\Lambda}CDM?

abstract: The distribution of dark matter halo masses can be accurately predicted in the $\Lambda$CDM cosmology. The presence of a single massive halo or galaxy at a particular redshift, assuming some baryon and stellar fraction for the latter, can therefore be used to test the underlying cosmological model. A number of recent measurements of very large galaxy stellar masses at high redshift ($z > 8$) motivate an investigation into whether any of these objects are in tension with $\Lambda$CDM. We use extreme value statistics to generate confidence regions in the mass-redshift plane for the most extreme mass haloes and galaxies. Tests against numerical models show no tension, neither in their dark matter halo masses nor their galaxy stellar masses. However, we find tentative $> 3\sigma$ tension with recent observational determinations of galaxy masses at high redshift from both HST & JWST, despite using conservative estimates for the stellar fraction ($f_{\star} \sim 1$). Either these galaxies are in tension with $\Lambda$CDM, or there are unaccounted for uncertainties in their stellar mass or redshift estimates.


title: Regular languages defined by first-order formulas without quantifier alternation

abstract: We give a simple new proof that regular languages defined by first-order sentences with no quantifier alteration can be defined by such sentences in which only regular atomic formulas appear. Earlier proofs of this fact relied on arguments from circuit complexity or algebra. Our proof is much more elementary, and uses only the most basic facts about finite automata.


title: BARReL: Bottleneck Attention for Adversarial Robustness in Vision-Based Reinforcement Learning

abstract: Robustness to adversarial perturbations has been explored in many areas of computer vision. This robustness is particularly relevant in vision-based reinforcement learning, as the actions of autonomous agents might be safety-critic or impactful in the real world. We investigate the susceptibility of vision-based reinforcement learning agents to gradient-based adversarial attacks and evaluate a potential defense. We observe that Bottleneck Attention Modules (BAM) included in CNN architectures can act as potential tools to increase robustness against adversarial attacks. We show how learned attention maps can be used to recover activations of a convolutional layer by restricting the spatial activations to salient regions. Across a number of RL environments, BAM-enhanced architectures show increased robustness during inference. Finally, we discuss potential future research directions.


title: Planck and BICEP/Keck Array 2018 constraints on primordial gravitational waves and perspectives for future B-mode polarization measurements

abstract: Current and future B-mode polarization data are the most powerful observables to constrain gravitational waves from the early Universe. We set conservative constraints on tensor modes when relaxing the inflationary consistency condition $n_t=-r/8$ between the tensor tilt $n_t$ and the tensor-to-scalar ratio r. By adding a power-law spectrum of tensor perturbations to $\Lambda$CDM, and parameterizing this tensor contribution by two independent primordial tensor-to-scalar ratios $(r_1,r_2)$ at $k_1 = 0.005$ Mpc$^{-1}$ and $k_2 = 0.02$ Mpc$^{-1}$, Planck and BICEP/Keck Array 2018 data (BK18) lead to constraints $r_{0.005} < 0.030$ and $r_{0.02} < 0.098$ at 95% CL. The corresponding upper bound $r_{0.01} < 0.039$ is by a factor of 2 tighter than the one obtained with Planck 2018 and the older BK15 data. We then study the perspectives for future CMB experiments that will measure both the reionization bump and recombination peak of the B-mode polarization angular power spectrum, such as LiteBIRD. We test the robustness of the results to the choice of the scales for $(r_1,r_2)$ in these future perspectives. Whereas distinguishing $n_t=-r/8$ from exact scale invariance is impossible as expected, we show how radical, theoretically motivated departures from $n_t=-r/8$, which are consistent with the current data, could be distinguished with LiteBIRD. Moreover, LiteBIRD will be able to shrink the allowed parameter space area in the $(r_{0.005},r_{0.02})$ plane to less than one hundredth of the currently allowed area by Planck 2018 and BK18.


title: Prioritizing Samples in Reinforcement Learning with Reducible Loss

abstract: Most reinforcement learning algorithms take advantage of an experience replay buffer to repeatedly train on samples the agent has observed in the past. Not all samples carry the same amount of significance and simply assigning equal importance to each of the samples is a na\"ive strategy. In this paper, we propose a method to prioritize samples based on how much we can learn from a sample. We define the learn-ability of a sample as the steady decrease of the training loss associated with this sample over time. We develop an algorithm to prioritize samples with high learn-ability, while assigning lower priority to those that are hard-to-learn, typically caused by noise or stochasticity. We empirically show that our method is more robust than random sampling and also better than just prioritizing with respect to the training loss, i.e. the temporal difference loss, which is used in prioritized experience replay.


title: Electrically Driven Thermal Infrared Metasurface with Narrowband Emission

abstract: Metasurfaces consisting of an array of planar sub-wavelength structures have shown great potentials in controlling thermal infrared radiation, including intensity, coherence, and polarization. These capabilities together with the two-dimensional nature make thermal metasurfaces an ultracompact multifunctional platform for infrared light manipulation. Integrating the functionalities, such as amplitude, phase (spectrum and directionality), and polarization, on a single metasurface offers fascinating device responses. However, it remains a significant challenge to concurrently optimize the optical, electrical, and thermal responses of a thermal metasurface in a small footprint. In this work, we develop a center-contacted electrode line design for a thermal infrared metasurface based on a gold nanorod array, which allows local Joule heating to electrically excite the emission without undermining the localized surface plasmonic resonance. The narrowband emission of thermal metasurfaces and their robustness against temperature nonuniformity demonstrated in this work have important implications for the applications in infrared imaging, sensing, and energy harvesting.


title: From the vapor-liquid coexistence region to the supercritical fluid: the van der Waals fluid

abstract: In this work the interface system of the van der Waals fluid is investigated by using the density gradient theory incorporated with the mean-field theory. Based on the mean-field dividing interface generated by the Maxwell construction, we propose a highly accurate density profile model for the density gradient theory, which facilitates reliable predictions of various properties for the interface region. It is found that the local intrinsic Helmholtz free energy peaks at the interface and that the maximum difference of the normal and tangential components of the pressure tensor corresponds to the maximum of the intrinsic Gibbs free energy. It is found that the entire phase space is divided into gas-like and liquid-like regions by the single line composed of the mean-field interface and the Widom line. The two-fluid feature of the supercritical fluid is hence inherited from the coexistence region. Phase diagrams extended into the coexistence region in all the temperature-pressure-volume planes are thus completed with the solutions to the vapor-liquid equilibrium problem by the van der Waals equation of state.


title: Emergent $U(1)$ Symmetries and $\tau$-$\sigma$ Duality in Gapless Superfluids or Superconductors

abstract: A superfluid spontaneously breaks the usual $U(1)$ symmetry because of condensation. In this article, we illustrate six classes of emergent $U(1)$ symmetries naturally appear in infrared limits in a broad class of gapless topological superfluids (that either belong to a stable phase or are quantum critical). In gapless states we have considered, emergent $U(1)$ symmetry groups are embedded in an $Spin(4)=SU(2) \otimes SU(2)$ group that are algebraically isomorphic to an $SO(4)$ group. All $U(1)$ charges associated with symmetries are further invariant under an $SU(2)$ spin group or an equivalent of it but always break pre-existing higher space-time Lorentz symmetry of $SO(3,1)$ group. Emergent $U(1)$ symmetries can be further spontaneously broken only if interactions are strong enough and resultant strong coupling states become fully gapped. However if states remain gapless, emergent $U(1)$ symmetries are always present, despite that these states may exhibit much lower space-time symmetries compared to their weakly interacting gapless Lorentz symmetric counter parts. In the limit of our interests, we have identified all possible gapless real fermions with or without Lorentz symmetries and find that they all display emergent $U(1)$ symmetries in the infrared limit.We argue emergent $U(1)$ symmetries in infrared are intrinsic in a broad class of interacting gapless superfluid or superconducting states and are typically well defined in high dimensions where there are infrared stable fixed points dictating emergent properties.


title: Generalized Higgs mechanism in long-range interacting quantum systems

abstract: The physics of long-range interacting quantum systems is currently living through a renaissance driven by the fast progress in quantum simulators. In these systems many paradigms of statistical physics do not apply and also the universal long-wavelength physics gets substantially modified by the presence of long-ranged forces. Here we explore the low-energy excitations of several long-range interacting quantum systems, including spin models and interacting Bose gases, in the ordered phase associated with the spontaneous breaking of U(1) and SU(2) symmetries. Instead of the expected Goldstone modes, we find three qualitatively different regimes, depending on the range of the interaction. In one of these regimes the Goldstone modes are gapped, via a generalization of the Higgs mechanism. Moreover, we show how this effect is realized in current experiments with ultracold atomic gases in optical cavities.


title: Friendliness Of Stack Overflow Towards Newbies

abstract: In today's modern digital world, we have a number of online Question and Answer platforms like Stack Exchange, Quora, and GFG that serve as a medium for people to communicate and help each other. In this paper, we analyzed the effectiveness of Stack Overflow in helping newbies to programming. Every user on this platform goes through a journey. For the first 12 months, we consider them to be a newbie. Post 12 months they come under one of the following categories: Experienced, Lurkers, or Inquisitive. Each question asked has tags assigned to it and we observe that questions with some specific tags have a faster response time indicating an active community in that field over others. The platform had a steady growth up to 2013 after which it started declining, but recently during the pandemic 2020, we can see rejuvenated activity on the platform.


title: System Fingerprint Recognition for Deepfake Audio: An Initial Dataset and Investigation

abstract: The rapid progress of deep speech synthesis models has posed significant threats to society such as malicious content manipulation. Therefore, many studies have emerged to detect the so-called deepfake audio. However, existing works focus on the binary detection of real audio and fake audio. In real-world scenarios such as model copyright protection and digital evidence forensics, it is needed to know what tool or model generated the deepfake audio to explain the decision. This motivates us to ask: Can we recognize the system fingerprints of deepfake audio? In this paper, we present the first deepfake audio dataset for system fingerprint recognition (SFR) and conduct an initial investigation. We collected the dataset from the speech synthesis systems of seven Chinese vendors that use the latest state-of-the-art deep learning technologies, including both clean and compressed sets. In addition, to facilitate the further development of system fingerprint recognition methods, we provide extensive benchmarks that can be compared and research findings. The dataset will be publicly available. .


title: Memristive Computing for Efficient Inference on Resource Constrained Devices

abstract: The advent of deep learning has resulted in a number of applications which have transformed the landscape of the research area in which it has been applied. However, with an increase in popularity, the complexity of classical deep neural networks has increased over the years. As a result, this has leads to considerable problems during deployment on devices with space and time constraints. In this work, we perform a review of the present advancements in non-volatile memory and how the use of resistive RAM memory, particularly memristors, can help to progress the state of research in deep learning. In other words, we wish to present an ideology that advances in the field of memristive technology can greatly influence and impact deep learning inference on edge devices.


title: Improving Speech Emotion Recognition Through Focus and Calibration Attention Mechanisms

abstract: Attention has become one of the most commonly used mechanisms in deep learning approaches. The attention mechanism can help the system focus more on the feature space's critical regions. For example, high amplitude regions can play an important role for Speech Emotion Recognition (SER). In this paper, we identify misalignments between the attention and the signal amplitude in the existing multi-head self-attention. To improve the attention area, we propose to use a Focus-Attention (FA) mechanism and a novel Calibration-Attention (CA) mechanism in combination with the multi-head self-attention. Through the FA mechanism, the network can detect the largest amplitude part in the segment. By employing the CA mechanism, the network can modulate the information flow by assigning different weights to each attention head and improve the utilization of surrounding contexts. To evaluate the proposed method, experiments are performed with the IEMOCAP and RAVDESS datasets. Experimental results show that the proposed framework significantly outperforms the state-of-the-art approaches on both datasets.


title: Improving Counterexample Quality from Failed Program Verification

abstract: In software verification, a successful automated program proof is the ultimate triumph. The road to such success is, however, paved with many failed proof attempts. The message produced by the prover when a proof fails is often obscure, making it very hard to know how to proceed further. The work reported here attempts to help in such cases by providing immediately understandable counterexamples. To this end, it introduces an approach called Counterexample Extraction and Minimization (CEAM). When a proof fails, CEAM turns the counterexample model generated by the prover into a a clearly understandable version; it can in addition simplify the counterexamples further by minimizing the integer values they contain. We have implemented the CEAM approach as an extension to the AutoProof verifier and demonstrate its application to a collection of examples.


title: Relational Self-Supervised Learning on Graphs

abstract: Over the past few years, graph representation learning (GRL) has been a powerful strategy for analyzing graph-structured data. Recently, GRL methods have shown promising results by adopting self-supervised learning methods developed for learning representations of images. Despite their success, existing GRL methods tend to overlook an inherent distinction between images and graphs, i.e., images are assumed to be independently and identically distributed, whereas graphs exhibit relational information among data instances, i.e., nodes. To fully benefit from the relational information inherent in the graph-structured data, we propose a novel GRL method, called RGRL, that learns from the relational information generated from the graph itself. RGRL learns node representations such that the relationship among nodes is invariant to augmentations, i.e., augmentation-invariant relationship, which allows the node representations to vary as long as the relationship among the nodes is preserved. By considering the relationship among nodes in both global and local perspectives, RGRL overcomes limitations of previous contrastive and non-contrastive methods, and achieves the best of both worlds. Extensive experiments on fourteen benchmark datasets over various downstream tasks demonstrate the superiority of RGRL over state-of-the-art baselines. The source code for RGRL is available at https://github.com/Namkyeong/RGRL.


title: Dataset Condensation with Latent Space Knowledge Factorization and Sharing

abstract: In this paper, we introduce a novel approach for systematically solving dataset condensation problem in an efficient manner by exploiting the regularity in a given dataset. Instead of condensing the dataset directly in the original input space, we assume a generative process of the dataset with a set of learnable codes defined in a compact latent space followed by a set of tiny decoders which maps them differently to the original input space. By combining different codes and decoders interchangeably, we can dramatically increase the number of synthetic examples with essentially the same parameter count, because the latent space is much lower dimensional and since we can assume as many decoders as necessary to capture different styles represented in the dataset with negligible cost. Such knowledge factorization allows efficient sharing of information between synthetic examples in a systematic way, providing far better trade-off between compression ratio and quality of the generated examples. We experimentally show that our method achieves new state-of-the-art records by significant margins on various benchmark datasets such as SVHN, CIFAR10, CIFAR100, and TinyImageNet.


title: Predicting microsatellite instability and key biomarkers in colorectal cancer from H&E-stained images: Achieving SOTA predictive performance with fewer data using Swin Transformer

abstract: Artificial intelligence (AI) models have been developed for predicting clinically relevant biomarkers, including microsatellite instability (MSI), for colorectal cancers (CRC). However, the current deep-learning networks are data-hungry and require large training datasets, which are often lacking in the medical domain. In this study, based on the latest Hierarchical Vision Transformer using Shifted Windows (Swin-T), we developed an efficient workflow for biomarkers in CRC (MSI, hypermutation, chromosomal instability, CpG island methylator phenotype, BRAF, and TP53 mutation) that only required relatively small datasets, but achieved the state-of-the-art (SOTA) predictive performance. Our Swin-T workflow not only substantially outperformed published models in an intra-study cross-validation experiment using TCGA-CRC-DX dataset (N = 462), but also showed excellent generalizability in cross-study external validation and delivered a SOTA AUROC of 0.90 for MSI using the MCO dataset for training (N = 1065) and the same TCGA-CRC-DX for testing. Similar performance (AUROC=0.91) was achieved by Echle and colleagues using approximately 8000 training samples (ResNet18) on the same testing dataset. Swin-T was extremely efficient using small training datasets and exhibits robust predictive performance with only 200-500 training samples. These data indicate that Swin-T may be 5-10 times more efficient than the current state-of-the-art algorithms for MSI based on ResNet18 and ShuffleNet. Furthermore, the Swin-T models showed promise as pre-screening tests for MSI status and BRAF mutation status, which could exclude and reduce the samples before the subsequent standard testing in a cascading diagnostic workflow to allow turnaround time reduction and cost saving.


title: Representation Learning of Knowledge Graph for Wireless Communication Networks

abstract: With the application of the fifth-generation wireless communication technologies, more smart terminals are being used and generating huge amounts of data, which has prompted extensive research on how to handle and utilize these wireless data. Researchers currently focus on the research on the upper-layer application data or studying the intelligent transmission methods concerning a specific problem based on a large amount of data generated by the Monte Carlo simulations. This article aims to understand the endogenous relationship of wireless data by constructing a knowledge graph according to the wireless communication protocols, and domain expert knowledge and further investigating the wireless endogenous intelligence. We firstly construct a knowledge graph of the endogenous factors of wireless core network data collected via a 5G/B5G testing network. Then, a novel model based on graph convolutional neural networks is designed to learn the representation of the graph, which is used to classify graph nodes and simulate the relation prediction. The proposed model realizes the automatic nodes classification and network anomaly cause tracing. It is also applied to the public datasets in an unsupervised manner. Finally, the results show that the classification accuracy of the proposed model is better than the existing unsupervised graph neural network models, such as VGAE and ARVGE.


title: Are disentangled representations all you need to build speaker anonymization systems?

abstract: Speech signals contain a lot of sensitive information, such as the speaker's identity, which raises privacy concerns when speech data get collected. Speaker anonymization aims to transform a speech signal to remove the source speaker's identity while leaving the spoken content unchanged. Current methods perform the transformation by relying on content/speaker disentanglement and voice conversion. Usually, an acoustic model from an automatic speech recognition system extracts the content representation while an x-vector system extracts the speaker representation. Prior work has shown that the extracted features are not perfectly disentangled. This paper tackles how to improve features disentanglement, and thus the converted anonymized speech. We propose enhancing the disentanglement by removing speaker information from the acoustic model using vector quantization. Evaluation done using the VoicePrivacy 2022 toolkit showed that vector quantization helps conceal the original speaker identity while maintaining utility for speech recognition.


title: Design Automation for Fast, Lightweight, and Effective Deep Learning Models: A Survey

abstract: Deep learning technologies have demonstrated remarkable effectiveness in a wide range of tasks, and deep learning holds the potential to advance a multitude of applications, including in edge computing, where deep models are deployed on edge devices to enable instant data processing and response. A key challenge is that while the application of deep models often incurs substantial memory and computational costs, edge devices typically offer only very limited storage and computational capabilities that may vary substantially across devices. These characteristics make it difficult to build deep learning solutions that unleash the potential of edge devices while complying with their constraints. A promising approach to addressing this challenge is to automate the design of effective deep learning models that are lightweight, require only a little storage, and incur only low computational overheads. This survey offers comprehensive coverage of studies of design automation techniques for deep learning models targeting edge computing. It offers an overview and comparison of key metrics that are used commonly to quantify the proficiency of models in terms of effectiveness, lightness, and computational costs. The survey then proceeds to cover three categories of the state-of-the-art of deep model design automation techniques: automated neural architecture search, automated model compression, and joint automated design and compression. Finally, the survey covers open issues and directions for future research.


title: DualVoice: Speech Interaction that Discriminates between Normal and Whispered Voice Input

abstract: Interactions based on automatic speech recognition (ASR) have become widely used, with speech input being increasingly utilized to create documents. However, as there is no easy way to distinguish between commands being issued and text required to be input in speech, misrecognitions are difficult to identify and correct, meaning that documents need to be manually edited and corrected. The input of symbols and commands is also challenging because these may be misrecognized as text letters. To address these problems, this study proposes a speech interaction method called DualVoice, by which commands can be input in a whispered voice and letters in a normal voice. The proposed method does not require any specialized hardware other than a regular microphone, enabling a complete hands-free interaction. The method can be used in a wide range of situations where speech recognition is already available, ranging from text input to mobile/wearable computing. Two neural networks were designed in this study, one for discriminating normal speech from whispered speech, and the second for recognizing whisper speech. A prototype of a text input system was then developed to show how normal and whispered voice can be used in speech text input. Other potential applications using DualVoice are also discussed.


title: Towards an AI-based Early Warning System for Bridge Scour

abstract: Scour is the number one cause of bridge failure in many parts of the world. Considering the lack of reliability in existing empirical equations for scour depth estimation and the complexity and uncertainty of scour as a physical phenomenon, it is essential to develop more reliable solutions for scour risk assessment. This study introduces a novel AI approach for early forecast of scour based on real-time monitoring data obtained from sonar and stage sensors installed at bridge piers. Long-short Term Memory networks (LSTMs), a prominent Deep Learning algorithm successfully used for time-series forecasting in other fields, were developed and trained using river stage and bed elevation readings for more than 11 years obtained from Alaska scour monitoring program. The capability of the AI models in scour prediction is shown for three case-study bridges. Results show that LSTMs can capture the temporal and seasonal patterns of both flow and river bed variations around bridge piers, through cycles of scour and filling and can provide reasonable predictions of upcoming scour depth as early as seven days in advance. It is expected that the proposed solution can be implemented by transportation authorities for development of emerging AI-based early warning systems, enabling superior bridge scour management.


title: Enhancing level set-based topology optimization with anisotropic graded meshes

abstract: We propose a new algorithm for the design of topologically optimized lightweight structures, under a minimum compliance requirement. The new process enhances a standard level set formulation in terms of computational efficiency, thanks to the employment of a strategic computational mesh. We pursue a twofold goal, i.e., to deliver a final layout characterized by a smooth contour and reliable mechanical properties. The smoothness of the optimized structure is ensured by the employment of an anisotropic adapted mesh, which sharply captures the material/void interface. A robust mechanical performance is guaranteed by a uniform tessellation of the internal part of the optimized configuration. A thorough numerical investigation corroborates the effectiveness of the proposed algorithm as a reliable and computationally affordable design tool, both in two- and three-dimensional contexts.


title: Determining all thermodynamic transport coefficients for an interacting large N quantum field theory

abstract: Thermodynamic transport coefficients can be calculated directly from quantum field theory without requiring analytic continuation to real time. We determine all second-order thermodynamic transport coefficients for the uncharged N-component massless (critical) scalar field theory with quartic interaction in the large N limit, for any value of the coupling. We find that in the large N limit, all thermodynamic transport coefficients for the interacting theory can be expressed analytically in terms of the in-medium mass and sums over modified Bessel functions. We expect our technique to allow a similar determination of all thermodynamic transport coefficients for all theories that are solvable in the large N limit, including certain gauge theories.


title: Euclid: Calibrating photometric redshifts with spectroscopic cross-correlations

abstract: Cosmological constraints from key probes of the Euclid imaging survey rely critically on the accurate determination of the true redshift distributions, $n(z)$, of tomographic redshift bins. We determine whether the mean redshift, $<z>$, of ten Euclid tomographic redshift bins can be calibrated to the Euclid target uncertainties of $\sigma(<z>)<0.002\,(1+z)$ via cross-correlation, with spectroscopic samples akin to those from the Baryon Oscillation Spectroscopic Survey (BOSS), Dark Energy Spectroscopic Instrument (DESI), and Euclid's NISP spectroscopic survey. We construct mock Euclid and spectroscopic galaxy samples from the Flagship simulation and measure small-scale clustering redshifts up to redshift $z<1.8$ with an algorithm that performs well on current galaxy survey data. The clustering measurements are then fitted to two $n(z)$ models: one is the true $n(z)$ with a free mean; the other a Gaussian Process modified to be restricted to non-negative values. We show that $<z>$ is measured in each tomographic redshift bin to an accuracy of order 0.01 or better. By measuring the clustering redshifts on subsets of the full Flagship area, we construct scaling relations that allow us to extrapolate the method performance to larger sky areas than are currently available in the mock. For the full expected Euclid, BOSS, and DESI overlap region of approximately 6000 deg$^{2}$, the uncertainties attainable by clustering redshifts exceeds the Euclid requirement by at least a factor of three for both $n(z)$ models considered, although systematic biases limit the accuracy. Clustering redshifts are an extremely effective method for redshift calibration for Euclid if the sources of systematic biases can be determined and removed, or calibrated-out with sufficiently realistic simulations. We outline possible future work, in particular an extension to higher redshifts with quasar reference samples.


title: Dark Grand Unification in the Axiverse: Decaying Axion Dark Matter and Spontaneous Baryogenesis

abstract: The quantum chromodynamics axion with a decay constant near the Grand Unification (GUT) scale has an ultralight mass near a neV. We show, however, that axion-like particles with masses near the keV - PeV range with GUT-scale decay constants are also well motivated in that they naturally arise from axiverse theories with dark non-abelian gauge groups. We demonstrate that the correct dark matter abundance may be achieved by the heavy axions in these models through the misalignment mechanism in combination with a period of early matter domination from the long-lived dark glueballs of the same gauge group. Heavy axion dark matter may decay to two photons, yielding mono-energetic electromagnetic signatures that may be detectable by current or next-generation space-based telescopes. We project the sensitivity of next-generation telescopes including $\textit {Athena,}$ AMEGO, and e-ASTROGAM to such decaying axion dark matter. If the dark sector contains multiple confining gauge groups, then the observed primordial baryon asymmetry may also be achieved in this scenario through spontaneous baryogenesis. We present explicit orbifold constructions where the dark gauge groups unify with the SM at the GUT scale and axions emerge as the fifth components of dark gauge fields with bulk Chern-Simons terms.


title: Implications for the collisional strength of Jupiter Trojans from the Eurybates family

abstract: In this work, we model the collisional evolution of the Jupiter Trojans and determined under which conditions the Eurybates-Queta system survives. We show that the collisional strength of the Jupiter Trojans and the age of the Eurybates family and by extension Queta are correlated. The collisional grinding of the Jupiter Trojan population over 4.5 Gy results in a size-frequency distribution (SFD) that remains largely unaltered at large sizes (>10 km) but is depleted at small sizes (10 m to 1 km). This results in a turnover in the SFD, the location of which depends on the collisional strength of the material. It is to be expected that the Trojan SFD bends between 1 and 10 km. Based on the SFD of the Eurybates family, we find that the family was likely the result of a catastrophic impact onto a 100 km rubble pile target. This corresponds to objects with a rather low collisional strength (10 times weaker than that of basaltic material studied in Benz & Asphaug1999). Assuming this weak strength, and an initial cumulative slope of the size frequency distribution of 2.1 between diameters of 2 m and 100 km when the Trojans were captured, the existence of Queta, the satellite of Eurybates, implies an upper limit for the family age of 3.7 Gy. Alternatively, we demonstrate that an unconventional collisional strength with a minimum at 20 m is a plausible candidate to ensure the survival of Queta over the age of the Solar System. Finally, we show how different collisional histories change the expected number of craters on the targets of the Lucy mission and that Lucy will be able to differentiate between them.


title: Revealing measurement-induced phase transitions by pre-selection

abstract: Pushing forward the understanding of general non-unitary dynamics in controlled quantum platforms has been fueled by the recent discovery of measurement-induced phases and phase transitions. So far, these transitions remained largely elusive, since they are masked in standard quantum mechanical observables due to the randomness of measurement outcomes. Here, we establish a general scheme -- pre-selection -- to make them observable: The outcome randomness is broken explicitly by steering the system towards a representative state, which corresponds to one out of exponentially many possible measurement outcomes. Remarkably, this steering can be chosen so gently that the basic properties of the underlying measurement-induced transition, such as entanglement structure and critical exponents, are not modified. Pre-selection introduces a unique dark or absorbing state with macroscopic order, replacing the maximally mixed stationary state of the unconditioned measurement trajectory ensemble. This creates a link of measurement-induced phase transitions to new forms of quantum absorbing state transitions, which can be detected by standard means via a local order parameter. This insight further enables a quantum simulation strategy, determining the underlying universality class in state-of-the-art quantum platforms without measurement readout.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Covariant bit threads

abstract: We derive several new reformulations of the Hubeny-Rangamani-Takayanagi covariant holographic entanglement entropy formula. These include: (1) a minimax formula, which involves finding a maximal-area achronal surface on a timelike hypersurface homologous to D(A) (the boundary causal domain of the region A whose entropy we are calculating) and minimizing over the hypersurface; (2) a max V-flow formula, in which we maximize the flux through D(A) of a divergenceless bulk 1-form V subject to an upper bound on its norm that is non-local in time; and (3) a min U-flow formula, in which we minimize the flux over a bulk Cauchy slice of a divergenceless timelike 1-form U subject to a lower bound on its norm that is non-local in space. The two flow formulas define convex programs and are related to each other by Lagrange duality. For each program, the optimal configurations dynamically find the HRT surface and the entanglement wedges of A and its complement. The V-flow formula is the covariant version of the Freedman-Headrick bit thread reformulation of the Ryu-Takayanagi formula. We also introduce a measure-theoretic concept of a "thread distribution", and explain how Riemannian flows, V-flows, and U-flows can be expressed in terms of thread distributions.


title: Constraining Scale Dependent Growth with Redshift Surveys

abstract: Ongoing and future redshift surveys have the capability to measure the growth rate of large scale structure at the percent level over a broad range of redshifts, tightly constraining cosmological parameters. Beyond general relativity, however, the growth rate in the linear density perturbation regime can be not only redshift dependent but scale dependent, revealing important clues to modified gravity. We demonstrate that a fully model independent approach of binning the gravitational strength $G_{\rm eff}(k,z)$ matches scalar-tensor results for the growth rate $f\sigma_8(k,z)$ to $0.02\%$-$0.27\%$ rms accuracy. For data of the quality of the Dark Energy Spectroscopic Instrument (DESI) we find the bin values can be constrained to 1.4\%-28\%. We also explore the general scalar-tensor form, constraining the amplitude and past and future scalaron mass/shape parameters. Perhaps most interesting is the strong complementarity of low redshift peculiar velocity data with DESI-like redshift space distortion measurements, enabling improvements up to a factor 6-7 on 2D joint confidence contour areas. Finally, we quantify some issues with gravity parametrizations that do not include all the key physics.


title: A Quantum Breakdown Model: from Many-body Localization to Chaos with Scars

abstract: We propose a quantum model of fermions simulating the electrical breakdown process of dielectrics. The model consists of $M$ sites with $N$ fermion modes per site, and has a conserved charge $Q$. It has an on-site chemical potential $\mu$ with disorder $W$, and an interaction of strength $J$ restricting each fermion to excite two more fermions when moving forward by one site. We show the $N=3$ model with disorder $W=0$ show a Hilbert space fragmentation and is exactly solvable except for very few Krylov subspaces. The analytical solution shows that the $N=3$ model exhibits many-body localization (MBL) as $M\rightarrow\infty$, which is stable against $W>0$ as our exact diagonalization (ED) shows. At $N>3$, our ED suggests a MBL to quantum chaos crossover at small $W$ as $M/N$ decreases across $1$, and persistent MBL at large $W$. At $W=0$, an exactly solvable many-body scar flat band exists in many charge $Q$ sectors, which has a nonzero measure in the thermodynamic limit. We further calculate the time evolution of a fermion added to the particle vacuum, which shows a breakdown (dielectric) phase when $\mu/J<1/2$ ($\mu/J>1/2$) if $W\ll J$, and no breakdown if $W\gg J$.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.stat-mech hep-th quant-ph


title: Revised Temperatures For Two Benchmark M-dwarfs -- Outliers No More

abstract: Well-characterised M-dwarfs are rare, particularly with respect to effective temperature. In this letter we re-analyse two benchmark M-dwarfs in eclipsing binaries from Kepler/K2: KIC 1571511AB and HD 24465AB. Both have temperatures reported to be hotter or colder by approximately 1000 K in comparison with both models and the majority of the literature. By modelling the secondary eclipses with both the original data and new data from TESS we derive significantly different temperatures which are not outliers. Removing this discrepancy allows these M-dwarfs to be truly benchmarks. Our work also provides relief to stellar modellers. We encourage more measurements of M-dwarf effective temperatures with robust methods.


title: Universal Scaling Laws for Solar and Stellar Atmospheric Heating: Catalog of Power-law Index between Solar Activity Proxies and Various Spectral Irradiances

abstract: The formation of extremely hot outer atmospheres is one of the most prominent manifestations of magnetic activity common to the late-type dwarf stars, including the Sun. It is widely believed that these atmospheric layers, the corona, transition region, and chromosphere, are heated by the dissipation of energy transported upwards from the stellar surface by the magnetic field. This is signified by the spectral line fluxes at various wavelengths, scaled with power-law relationships against the surface magnetic flux over a wide range of formation temperatures, which are universal to the Sun and Sun-like stars of different ages and activity levels. This study describes a catalog of power-law indices between solar activity proxies and various spectral line fluxes. Compared to previous studies, we expanded the number of proxies, which now includes the total magnetic flux, total sunspot number, total sunspot area, and the F10.7 cm radio flux, and further enhances the number of spectral lines by a factor of two. This provides the data to study in detail the flux-flux scaling laws from the regions specified by the temperatures of the corona (log(T/K)=6-7) to those of the chromosphere (log(T/K)~4), as well as the reconstruction of various spectral line fluxes of the Sun in the past, F-, G-, and K-type dwarfs, and the modeled stars.


title: Baryogenesis from spontaneous CP violation in the early Universe

abstract: We propose a variant of electroweak-scale baryogenesis characterized by the spontaneous breaking of the charge-parity (CP) symmetry in the early Universe driven by the vacuum expectation value of a CP-odd scalar. This CP breaking period in the early Universe would be ended by the electroweak phase transition, with CP being (approximately) conserved at present, thus avoiding the stringent electric dipole moment experimental constraints on beyond-the-Standard-Model sources of CP violation. We study an explicit realization via a non-minimal Higgs sector consisting of two Higgs doublets and a singlet pseudoscalar (2HDM + $a$). We analyze the region of the 2HDM + $a$ parameter space where such an early Universe period of CP violation occurs, and show that the required thermal history and successful baryogenesis lead to a predictive scenario, testable by a combination of LHC searches and low-energy flavour measurements.


title: One-loop Fierz Transformations

abstract: Fierz transformations for four-fermion operators are generalized to the one-loop level. A general renormalization scheme is used to compute QCD and QED corrections to the tree-level relations, which result from Fierz-evanescent operators. The results can be used to perform general one-loop basis transformations involving four-fermi and evanescent operators. We illustrate the usefulness of our results by discussing two examples from a matching calculation and a one-loop basis change.


title: Predictions for Quantum Gravitational Signatures from Inflation

abstract: We compute the corrections to the primordial power spectrum that should arise in realistic inflationary scenarios if there exists a generic covariant ultraviolet (UV) cutoff, as commonly motivated by considerations of quantum gravity. The corrections to the spectrum consist of small superimposed oscillations whose frequency, phase, and amplitude are functions of the comoving wave number. For any given cosmological parameters that characterize the slow roll during inflation, the frequency predicted for these oscillations depends only on the value of the UV cutoff. The specificity of this prediction can be used to increase experimental sensitivity through the filtering for template signatures. This will allow experiments to put new bounds on where a natural UV cutoff can be located between the Planck scale and the Hubble scale during inflation. It may even bring imprints of Planck-scale physics in the cosmic microwave background and in structure formation within the range of observations.


title: Simple 4-segment thermal cycling pyroelectric measurement protocol for differentiating between ferroelectric and non-ferroelectric materials

abstract: The rare-earth chromates (RECrO$_3$) and manganites (REMnO$_3$) where, RE = Eu, Y, Dy, Ho, Gd are constantly under scrutiny in search of room temperature magnetoelectric multiferroics. However, the artefacts and undesirable signal in some of the measurements pose a severe challenge in confirming the ferroelectric (FE) phase, especially in reference to pyroelectric current measurement technique. In this regard, we propose a simple modified approach to pyroelectric current measurement named as 4-segment thermal cycling protocol. This protocol assists in isolating the elusive, irreversible thermally stimulated current from the currents associated with spontaneous and reversible nature of the electric polarization in FE phase. In order to explain working principle of the protocol, we have compared simulated response of two hypothetical materials; an FE material free of space charges and a paraelectric material possessing only space charges. Further, we experimentally verify these new protocols in a single crystal of prototype ferroelectric material, Glycine Phosphite. This report primarily focuses on detailed investigation of ferroelectricity using the proposed protocol in two polycrystalline materials, HoCrO$_3$ and DyFe$_{0.5}$Mn$_{0.5}$O$_3$ where, the former has been reported to be multiferroic earlier. Our elaborative and careful approach to pyroelectric studies expound on the absence of reversible spontaneous electric polarization at temperature ranges tested in both, HoCrO$_3$ and DyFe$_{0.5}$Mn$_{0.5}$O$_3$.


title: Dirac electron under periodic magnetic field: Platform for fractional Chern insulator and generalized Wigner crystal

abstract: We propose a platform for flat Chern band by subjecting two-dimensional Dirac materials -- such as graphene and topological insulator thin films -- to a periodic magnetic field, which can be created by the vortex lattice of a type-II superconductor. As a generalization of the $n=0$ Landau level, the flat band of Dirac fermion under a nonuniform magnetic field remains at zero energy, exactly dispersionless and topologically protected, while its local density of states is spatially modulated due to the magnetic field variation. In the presence of short-range repulsion, we find fractional Chern insulators emerge at filling factors $\nu=1/m$, whose ground states are generalized Laughlin wavefunctions. We further argue that generalized Wigner crystals may emerge at certain commensurate fillings under a highly nonuniform magnetic field in the form of a flux line lattice.


title: Phase transition and fractionalization in superconducting Kondo lattice model

abstract: Topology, symmetry, electron correlations, and the interplay between them have formed the cornerstone of our understanding of quantum materials in recent years and are used to identify new emerging phases. While the first two give a fair understanding of noninteracting and, in many cases, weakly interacting wave function of electron systems, the inclusion of strong correlations could change the picture substantially. The Kondo lattice model is a paradigmatic example of the interplay of electron correlations and conduction electrons of a metallic system, describing heavy fermion materials and also fractionalized Fermi liquid pertaining to an underlying gauge symmetry and topological orders. In this work, we study a superconducting Kondo lattice model, a network of 1D Kitaev superconductors Kondo coupled to a lattice of magnetic moments. Using slave-particle representation of spins and exact numerical calculations, we obtain the phase diagram of the model in terms of Kondo coupling $J_K$ and identify a topological order phase for $J_{K}<J_{K}^c$ and a Kondo compensated phase for $J_{K}>J_{K}^c$, where $J_{K}^c$ is the critical point. Setting the energy scales of electron hopping and pairing to unity, the mean-field theory calculations achives $J_{K}^c=2$ and in exact numerics we found $J_{K}^c\simeq 1.76$, both of which show that the topological order is a robust phase. We argue that in terms of slave particles, the compensated phase corresponds to an invertible phase, and a Mott insulating transition leads to a topological order phase. Furthermore, we show that in the regime $J_{K}<J_{K}^c$ in addition to the low-energy topological states, a branch of subgap states appears inside the superconducting gap.


title: Dual topological nonlinear sigma models of $\text{QED}$ theory by dimensional reduction and monopole operators

abstract: Nonlinear $\sigma$ models (NLSM) with topological terms, i.e., Wess-Zumino-Witten (WZW) terms, or topological NLSM, are potent descriptions of many critical points and phases beyond the Landau paradigm. These critical systems include the deconfined quantum critical points (DQCP) between the Neel order and valance bond solid, and the Dirac spin liquid, in which the topological NLSMs are dual descriptions of the corresponding fermionic models or $\text{QED}$ theory. In this paper, we propose a dimensional reduction scheme to derive the $\text{U}(1)$ gauged topological NLSM in $n$-dimensional spacetime on a general target space represented by a Hermitian matrix from the dual QED theory. Compared with the famous Abanov-Wiegmann (AW) mechanism, which generally requires the fermions to be Dirac fermions in the infrared (IR), our method is also applicable to non-relativistic fermions in IR, which can have quadratic dispersion or even a Fermi surface. As concrete examples, we construct several two dimensional lattice models, whose IR theories are all the $N_f=4$ $\text{QED}_3$ with fermions of quadratic dispersion and show that its topological NLSM dual description has level-2 WZW terms on the Grassmannian manifold $\frac{\text{U(4)}}{\text{U(2)}\times \text{U(2)}}$ coupled with a dynamical $\text{U(1)}$ gauge field. We also study 't Hooft anomaly matching and the same effect of defects in both theories, such as interface, gauge monopoles and skyrmions, which further support our duality. Finally, we discuss how the macroscopic symmetries act on the $\text{U(1)}$ monopole operators and the corresponding quantum number.


title: Crossover from Fermi Arc to Full Fermi Surface

abstract: The Fermi surface as a contour of the gapless quasiparticle excitation in momentum space is studied based on a mean-field theory of the doped Mott insulator, where the underlying pseudogap phase is characterized by a two-component resonating-valence-bond (RVB) order that vanishes in the overdoping at $\delta>\delta^*$. Here the quasiparticle emerges as a ``collective'' mode and a Fermi arc is naturally present in the pseudogap regime, while a full Fermi surface is recovered at $\delta>\delta^*$. The area enclosed by the gapless quasiparticle contour still satisfies the Luttinger volume in both cases, and the ``Fermi arc'' at $\delta<\delta^*$ is actually due to a significant reduction of the spectral weight caused by a quasiparticle fractionalization in the antinodal region. The endpoints of the Fermi arcs exhibit enhanced density of states or ``hotspots'', which can further give rise to a charge-density-wave-like quasiparticle interference pattern. At the critical doping $\delta^*$, the fractionalized spin excitations become gapless and incoherent which is signaled by a divergent specific heat. At $\delta>\delta^*$, the quasiparticle excitation restores the coherence over the full Fermi surface, but the fractionalization still persists at a higher energy/temperature which may be responsible for a strange metal behavior. Different mechanisms for the Fermi arc and experimental comparisons are briefly discussed.


title: Time evolution of spread complexity in quenched Lipkin-Meshkov-Glick model

abstract: We use the spread complexity of a time evolved state after a sudden quantum quench in the Lipkin-Meshkov-Glick (LMG) model prepared in the ground state as a probe of quantum phase transition when the system is quenched towards the critical point. By studying the growth of the effective number of elements of the Krylov basis, those contribute to the spread complexity more than a preassigned cut off, we show how the two phases of the LMG model can be distinguished. We also explore the time evolution of spread entropy after both non-critical and critical quenches. We show that the sum contributing to the spread entropy converges slowly in the symmetric phase of the LMG model compared to that of the broken phase, and for a critical quench, the spread entropy diverges logarithmically at late times.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: Estimation Contracts for Outlier-Robust Geometric Perception

abstract: Outlier-robust estimation is a fundamental problem and has been extensively investigated by statisticians and practitioners. The last few years have seen a convergence across research fields towards "algorithmic robust statistics", which focuses on developing tractable outlier-robust techniques for high-dimensional estimation problems. Despite this convergence, research efforts across fields have been mostly disconnected from one another. This monograph bridges recent work on certifiable outlier-robust estimation for geometric perception in robotics and computer vision with parallel work in robust statistics. In particular, we adapt and extend recent results on robust linear regression (applicable to the low-outlier regime with << 50% outliers) and list-decodable regression (applicable to the high-outlier regime with >> 50% outliers) to the setup commonly found in robotics and vision, where (i) variables (e.g., rotations, poses) belong to a non-convex domain, (ii) measurements are vector-valued, and (iii) the number of outliers is not known a priori. The emphasis here is on performance guarantees: rather than proposing radically new algorithms, we provide conditions on the input measurements under which modern estimation algorithms (possibly after small modifications) are guaranteed to recover an estimate close to the ground truth in the presence of outliers. These conditions are what we call an "estimation contract". Besides the proposed extensions of existing results, we believe the main contributions of this monograph are (i) to unify parallel research lines by pointing out commonalities and differences, (ii) to introduce advanced material (e.g., sum-of-squares proofs) in an accessible and self-contained presentation for the practitioner, and (iii) to point out a few immediate opportunities and open questions in outlier-robust geometric perception.


title: Analytical Weak-lensing Shear Responses of Galaxy Properties and Galaxy Detection

abstract: Shear estimation bias from galaxy detection and blending identification is now recognized as an issue for ongoing and future weak lensing surveys. Currently, the empirical approach to correcting for this bias involves numerically shearing every observed galaxy and rerunning the detection and selection process. In this work, we provide an analytical correction for this bias that is accurate to subpercent level and far simpler to use. With the interpretation that smoothed image pixel values and galaxy properties are projections of the image signal onto a set of basis functions, we analytically derive the linear shear responses of both the pixel values and the galaxy properties (i.e., magnitude, size and shape) using the shear responses of the basis functions. With these derived shear responses, we correct for biases from shear-dependent galaxy detection and galaxy sample selection. With the analytical covariance matrix of measurement errors caused by image noise on pixel values and galaxy properties, we correct for the noise biases in galaxy shape measurement and the detection/selection process to the second-order in noise. The code used for this paper can carry out the detection, selection, and shear measurement for ~1000 galaxies per CPU second. The algorithm is tested with realistic image simulations, and we find, after the analytical correction (without relying on external image calibration) for the detection/selection bias of about $-4\%$, the multiplicative shear bias is $-0.12 \pm 0.10\%$ for isolated galaxies; and $-0.3 \pm 0.1\%$ for blended galaxies with Hyper Suprime-Cam observational condition.


title: SLAC Microresonator RF (SMuRF) Electronics: A tone-tracking readout system for superconducting microwave resonator arrays

abstract: We describe the newest generation of the SLAC Microresonator RF (SMuRF) electronics, a warm digital control and readout system for microwave-frequency resonator-based cryogenic detector and multiplexer systems such as microwave SQUID multiplexers ($\mu$mux) or microwave kinetic inductance detectors (MKIDs). Ultra-sensitive measurements in particle physics and astronomy increasingly rely on large arrays of cryogenic sensors, which in turn necessitate highly multiplexed readout and accompanying room-temperature electronics. Microwave-frequency resonators are a popular tool for cryogenic multiplexing, with the potential to multiplex thousands of detector channels on one readout line. The SMuRF system provides the capability for reading out up to 3328 channels across a 4-8 GHz bandwidth. Notably, the SMuRF system is unique in its implementation of a closed-loop tone-tracking algorithm that minimizes RF power transmitted to the cold amplifier, substantially relaxing system linearity requirements and effective noise from intermodulation products. Here we present a description of the hardware, firmware, and software systems of the SMuRF electronics, comparing achieved performance with science-driven design requirements. We focus in particular on the case of large channel count, low bandwidth applications, but the system has been easily reconfigured for high bandwidth applications. The system described here has been successfully deployed in lab settings and field sites around the world and is baselined for use on upcoming large-scale observatories.


title: Locations and Morphologies of Jellyfish Galaxies in A2744 and A370

abstract: We present a study of the orbits, environments and morphologies of 13 ram-pressure stripped galaxies in the massive, intermediate redshift (z$\sim0.3-0.4$) galaxy clusters A2744 and A370, using MUSE integral-field spectroscopy and HST imaging from the Frontier Fields Program. We compare different measures of the locations and morphologies of the stripped sample with a sample of 6 poststarburst galaxies identified within the same clusters, as well as the general cluster population. We calculate the phase space locations of all cluster galaxies and carry out a substructure analysis, finding that the ram-pressure stripped galaxies in A370 are not associated with any substructures, but are likely isolated infalling galaxies. In contrast, the ram-pressure stripped galaxies in A2744 are strictly located within a high-velocity substructure, moving through a region of dense X-ray emitting gas. We conclude that their ram-pressure interactions are likely to be the direct result of the merger between two components of the cluster. Finally, we study the morphologies of the stripped and poststarburst galaxies, using numerical measures to quantify the level of visual disturbances. We explore any morphological deviations of these galaxies from the cluster population, particularly the weaker cases which have been confirmed via the presence of ionised gas tails to be undergoing ram-pressure stripping, but are not strongly visually disturbed in the broad-band data. We find that the stripped sample galaxies are generally divergent from the general cluster sample, with poststarburst galaxies being intermediary in morphology between stripped galaxies and red passive cluster members.


title: Compact dust emission in a gravitationally lensed massive quiescent galaxy at z = 2.15 revealed in ~130 pc-resolution observations by ALMA

abstract: We present new observations of MRG-M2129, a quiescent galaxy at z = 2.15 with the Atacama Large Millimeter/submillimeter Array (ALMA). With the combination of the gravitational lensing effect by the foreground cluster and the angular resolution provided by ALMA, our data reveal 1.2 mm continuum emission at $\sim130$ pc angular resolution. Compact dust continuum is detected at 7.9 $\sigma$ in the target but displaced from its stellar peak position by $62 \pm 38$ mas, or $\sim169 \pm 105$ pc in the source plane. We find considerably high dust-to-stellar mass ratio, $4 \times 10^{-4}$. From non-detection of the [C i] 3P2 -> 3P1 line, we then derive $3 \sigma$ upper limits on the molecular gas-to-dust mass ratio $\delta_\mathrm{GDR} < 60$ and the molecular gas-to-stellar mass ratio fH2 < 2.3%. The derived $\delta_\mathrm{GDR}$ is $>2\times$ smaller than the typical value assumed for quiescent galaxies in the literature. Our study supports that there exists a broad range of $\delta_\mathrm{GDR}$ and urges submillimeter follow-up observations of quenching/recently quenched galaxies at similar redshifts. Based on the derived low $\delta_\mathrm{GDR}$ and other observed dust properties, we argue that the central black hole is still active and regulates star formation in the system. Our study exhibits a rare case of a gravitationally lensed type 2 QSO harbored by a quiescent galaxy.


title: A new calculation of semi-exclusive axion-like particle production at the LHC

abstract: We present a new calculation of axion-like particle (ALP) production in the semi-exclusive photon-initiated (PI) channel, that is either with intact outgoing protons or rapidity gaps present in the final state, and with no colour flow between the colliding LHC protons. This is the first full treatment of this process, accounting for both the possibility of proton dissociation and the survival factor probability of no additional proton-proton interactions, including its kinematic and process dependence. We present the expected event yields in the case that either one or both protons are required to be registered in the forward proton detectors installed in association with ATLAS and CMS. We find that this process can be sensitive to currently unprobed regions of ALP mass and ALP-photon coupling, in particular in the intermediate mass region. Our calculation is provided in the publicly available SuperChic 4 Monte Carlo (MC) generator, and can be passed to a general purpose MC for showering and hadronization of the final state.


title: The Fibonacci decomposition of symmetric Tetranacci polynomials

abstract: In this manuscript, we introduce (symmetric) Tetranacci polynomials $\xi_j$ as a twofold generalization of ordinary Tetranacci numbers, by considering both non unity coefficients and generic initial values in their recursive definition. The issue of these polynomials arose in condensed matter physics and the diagonalization of symmetric Toeplitz matrices having in total four non-zero off diagonals. For the latter, the symmetric Tetranacci polynomials are the basic entities of the associated eigenvectors; thus, treating the recursive structure determines the eigenvalues as well. Subsequently, we present a complete closed form expression for any symmetric Tetranacci polynomial. The key feature is a decomposition in terms of generalized Fibonacci polynomials.

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