July 2022 arXiv papers — page 41

Chengyu Zhou, Xiaolei Fang

This paper proposes a supervised dimension reduction methodology for tensor data which has two advantages over most image-based prognostic models. First, the model does not require tensor data to be complete which expands its application to incomplete data. Second, it utilizes time-to-failure (TTF) to supervise the extraction of low-dimensional features whic

Di Wang, Nicolas Honnorat, Peter T. Fox, Kerstin Ritter

Deep neural networks currently provide the most advanced and accurate machine learning models to distinguish between structural MRI scans of subjects with Alzheimer's disease and healthy controls. Unfortunately, the subtle brain alterations captured by these models are difficult to interpret because of the complexity of these multi-layer and non-linear model

M. D. Acciarri, C. Moore, S. D. Baalrud

Molecular dynamics simulations are used to model ion and neutral temperature evolution in partially-ionized atmospheric pressure plasma at different ionization fractions. Results show that ion-ion interactions are strongly coupled at ionization fractions as low as 10^-5 and that the temperature evolution is influenced by effects associated with the strong co

Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu

CoqQ is a framework for reasoning about quantum programs in the Coq proof assistant. Its main components are: a deeply embedded quantum programming language, in which classic quantum algorithms are easily expressed, and an expressive program logic for proving properties of programs. CoqQ is foundational: the program logic is formally proved sound with respec

Chiara Marletto, Vlatko Vedral

We discuss the implications of the principle of locality for interference in quantum field theory. As an example, we consider the interaction of two charges via a mediating quantum field and the resulting interference pattern, in the Lorenz gauge. Using the Heisenberg picture, we propose that detecting relative phases or entanglement between two charges in a

Maxim Mazanov, Anton S. Kupriianov, Roman S. Savelev, Zuxian He

The concepts of topology have a profound impact on physics research spanning the fields of condensed matter, photonics and acoustics and predicting topological states that provide unprecedented versatility in routing and control of waves of various nature. Higher-order topological insulators further expand this plethora of possibilities towards extended rang

Riffat Islam, Sanaa Rafique, Olga A. Bredikhina, Steven Jones

University students' day-to-day lives largely depend on transportation. Public transit alternatives are not widely available in the United States' small-town, rural, and suburban collegiate environments (U.S.). This study disseminated an online survey among international students studying at The University of Alabama (UA) campus, a predominantly white instit

Francesco Pinto, Philip H. S. Torr, Puneet K. Dokania

Following the surge of popularity of Transformers in Computer Vision, several studies have attempted to determine whether they could be more robust to distribution shifts and provide better uncertainty estimates than Convolutional Neural Networks (CNNs). The almost unanimous conclusion is that they are, and it is often conjectured more or less explicitly tha

Bianca Giaccone, Asher Berlin, Ivan Gonin, Anna Grassellino

The Superconducting Quantum Materials and Systems center is developing searches for dark photons, axions and ALPs with the goal of improving upon the current state-of-the-art sensitivity. These efforts leverage on Fermi National Accelerator expertise on ultra-high quality factor superconducting radio frequency cavities combined with the center research on qu

Pranav Dheram, Murugesan Ramakrishnan, Anirudh Raju, I-Fan Chen

As for other forms of AI, speech recognition has recently been examined with respect to performance disparities across different user cohorts. One approach to achieve fairness in speech recognition is to (1) identify speaker cohorts that suffer from subpar performance and (2) apply fairness mitigation measures targeting the cohorts discovered. In this paper,

María Moreno Llácer

The Second Biennal African Conference on Fundamental and Applied Physics (ACP) took place in March 2022. The scientific program included three summary reports on the African Strategy for Fundamental and Applied Physics (ASFAP). Here, the summary report of "Particle Physics and related applications" groups (Particle Physics, Nuclear Physics, Medical Physics,

Rinel Foguen Tchuendom, Shuang Gao, Peter E. Caines

An analysis of infinite horizon linear quadratic Gaussian (LQG) Mean Field Games is given within the general framework of Graphon Mean Field Games (GMFG) on dense infinite graphs (or networks) introduced in Caines and Huang (2018). For a class of LQG-GMFGs, analytical expressions are derived for the infinite horizon Nash values at the nodes of the infinite g

Y. Huang, C. Reichhardt, C. J. O. Reichhardt, Yan Feng

The superlubric-pinned transition in the depinning dynamics of a two-dimensional (2D) solid dusty plasma modulated by 2D triangular periodic substrates is investigated using Langevin dynamical simulations. When the lattice structure of the 2D solid dusty plasma perfectly matches the triangular substrate, two distinctive pinned and moving ordered states are o

Zhongwei Qiu, Qiansheng Yang, Jian Wang, Dongmei Fu

Multi-person 3D pose estimation is a challenging task because of occlusion and depth ambiguity, especially in the cases of crowd scenes. To solve these problems, most existing methods explore modeling body context cues by enhancing feature representation with graph neural networks or adding structural constraints. However, these methods are not robust for th

Florence Grenapin, Alessio D'Errico, Ebrahim Karimi

Some anisotropic materials form semicristalline structures, called spherulites, which observed in a polarisation microscope, exhibit a characteristic ``maltese-cross"-like pattern. While this observation has been hitherto considered as a tool to characterize these materials, we show that these patterns are associated with a strong light's spin-orbit coupling

Bruno Dinis, Mário J. Edmundo

In this paper we give an explicit characterization of o-minimal structures with definable Skolem functions/definable choice. Such structures are, after naming finitely many elements from the prime model, a union of finitely many trivial points each defined over $\emptyset $ and finitely many open intervals each a union of a $\emptyset $-definable family of g

Alexandru Chirvasitu

Let $\mathfrak{g}$ be a Lie algebra over an algebraically closed field $\Bbbk$ of characteristic zero. Define the universal grading group $\mathcal{C}(\mathfrak{g})$ as having one generator $g_{\rho}$ for each irreducible $\mathfrak{g}$-representation $\rho$, one relation $g_{\pi} = g_{\rho}^{-1}$ whenever $\pi$ is weakly contained in the dual representation

Huy Lê Nguyen, Thy Nguyen, Matthew Jones

We study the problem of fairness in k-centers clustering on data with disjoint demographic groups. Specifically, this work proposes a variant of fairness which restricts each group's number of centers with both a lower bound (minority-protection) and an upper bound (restricted-domination), and provides both an offline and one-pass streaming algorithm for the

Arwa Dabbech, Matthieu Terris, Adrian Jackson, Mpati Ramatsoku

We introduce the first AI-based framework for deep, super-resolution, wide-field radio-interferometric imaging, and demonstrate it on observations of the ESO~137-006 radio galaxy. The algorithmic framework to solve the inverse problem for image reconstruction builds on a recent ``plug-and-play'' scheme whereby a denoising operator is injected as an image reg

Arnab Sarker, Natalie Northrup, Ali Jadbabaie

Group interactions occur frequently in social settings, yet their properties beyond pairwise relationships in network models remain unexplored. In this work, we study homophily, the nearly ubiquitous phenomena wherein similar individuals are more likely than random to form connections with one another, and define it on simplicial complexes, a generalization

Philipp Stürmer, Mikael Nilsson Tengstrand, Stephanie Reimann

We investigate a Bose-Bose mixture across the miscible-immiscible phase transition governed by quantum fluctuations in one dimension. We find the recently predicted so-called mixed bubbles as ground states close to the mean-field miscible-immiscible threshold. These bubbles form a pocket of miscibility, separated by one of the components. The collective exci

Jong Youl Choi, Pei Zhang, Kshitij Mehta, Andrew Blanchard

Graph Convolutional Neural Network (GCNN) is a popular class of deep learning (DL) models in material science to predict material properties from the graph representation of molecular structures. Training an accurate and comprehensive GCNN surrogate for molecular design requires large-scale graph datasets and is usually a time-consuming process. Recent advan

Shen Yan, Adrian Burgos, Christopher Kinson, Daniel J. Eck

A new methodological framework suitable for era-adjusting baseball statistics is developed in this article. Within this methodological framework specific models are motivated. We call these models Full House Models. Full House Models work by balancing the achievements of Major League Baseball (MLB) players within a given season and the size of the MLB talent

Pagdame Tiebekabe, Serge Adonsou

In this paper, we find all integers $c$ having at least two representations as a difference between linear recurrent sequences. This problem is a pillai problem involving Padovan and Fibonacci sequence. The proof of our main theorem uses lower bounds for linear forms in logarithms, properties of continued fractions, and a version of the Baker-Davenport reduc

E. Aprile, K. Abe, F. Agostini, S. Ahmed Maouloud

We report on a blinded analysis of low-energy electronic-recoil data from the first science run of the XENONnT dark matter experiment. Novel subsystems and the increased 5.9 tonne liquid xenon target reduced the background in the (1, 30) keV search region to $(15.8 \pm 1.3)$ events/(tonne$\times$year$\times$keV), the lowest ever achieved in a dark matter det

Maria Escobar, Laura Daza, Cristina González, Jordi Pont-Tuset

We implemented Video Swin Transformer as a base architecture for the tasks of Point-of-No-Return temporal localization and Object State Change Classification. Our method achieved competitive performance on both challenges.

Giuseppe Bilotta, Vito Zago, Alexis Hérault, Hendrik D. van Ettinger

GPUSPH was the first implementation of the weakly-compressible Smoothed Particle Hydrodynamics method to run entirely on GPU using CUDA. Version 5, released in June 2018, features a radical restructuring of the code, offering a more structured implementation of several features and specialized optimization of most heavy-duty computational kernels. While thes

Zhengqi Gao, Fan-Keng Sun, Mingran Yang, Sucheng Ren

Data lies at the core of modern deep learning. The impressive performance of supervised learning is built upon a base of massive accurately labeled data. However, in some real-world applications, accurate labeling might not be viable; instead, multiple noisy labels (instead of one accurate label) are provided by several annotators for each data sample. Learn

Ira M. Gessel

Almkvist and Meurman showed that if h and k are integers, then so is $k^n(B_n(h/k) - B_n)$ where $B_n(u)$ is the Bernoulli polynomial. We give here a new and simpler proof of the Almkvist-Meurman theorem using generating functions. We describe some properties of these numbers and prove a common generalization of the Almkvist-Meurman theorem and a result of G

Yirui Wang, Shenghua He, Youbao Tang, Jingyu Chen

In order to cope with the increasing demand for labeling data and privacy issues with human detection, synthetic data has been used as a substitute and showing promising results in human detection and tracking tasks. We participate in the 7th Workshop on Benchmarking Multi-Target Tracking (BMTT), themed on "How Far Can Synthetic Data Take us"? Our solution,

Yuan An, Alex Kalinowski, Jane Greenberg

Measuring the distance between ontological elements is fundamental for ontology matching. String-based distance metrics are notorious for shallow syntactic matching. In this exploratory study, we investigate Wasserstein distance targeting continuous space that can incorporate various types of information. We use a pre-trained word embeddings system to embed

Yajiang Chen, A. A. Shanenko

Traditionally, the characteristic length of a superconducting condensate is associated with the spatial distribution of the corresponding gap function. However, the superconducting condensate is the quantum condensate of Cooper pairs and thus, the broader readership is more familiar with the concept of the Cooper-pair wave function. For conventional single-b

Quitzé Valenzuela-Stookey

I provide a novel approach to characterizing the set of interim realizable allocations, in the spirit of Matthews (1984) and Border (1991). The approach allows me to identify precisely why exact characterizations are difficult to obtain in some settings. The main results of the paper then show how to adapt the approach in order to obtain approximate characte

Disha Shur, Yufan Huang, David F. Gleich

We study a simple embedding technique based on a matrix of personalized PageRank vectors seeded on a random set of nodes. We show that the embedding produced by the element-wise logarithm of this matrix (1) are related to the spectral embedding for a class of graphs where spectral embeddings are significant, and hence useful representation of the data, (2) c

Yichen Zhang, Kei E. I. Tanaka, Jonathan C. Tan, Yao-Lun Yang

We present a detailed study of the massive star-forming region G35.2-0.74N with ALMA 1.3 mm multi-configuration observations. At 0.2" (440 au) resolution, the continuum emission reveals several dense cores along a filamentary structure, consistent with previous ALMA 0.85 mm observations. At 0.03" (66 au) resolution, we detect 22 compact sources, most of whic

Yi Huang, B. I. Shklovskii

This paper is written for the Special Issue in Honor of Emmanuel Rashba. We study the gas of indirect dipolar excitons created by an interband illumination of a pentalayer WSe$_2$/MoSe$_2$/WSe$_2$/MoSe$_2$/WSe$_2$. We show that two colinear indirect excitons bind into a linear biexciton with twice larger dipole moment. Two biexcitons with opposite dipole dir

Tushar M. Athawale, Chris R. Johnson, Sudhanshu Sane, David Pugmire

Visualization and analysis of multivariate data and their uncertainty are top research challenges in data visualization. Constructing fiber surfaces is a popular technique for multivariate data visualization that generalizes the idea of level-set visualization for univariate data to multivariate data. In this paper, we present a statistical framework to quan

Wendel A. Melo, Chad W. Sinclair

A recently presented model is adapted to predict the effects of strain path change on the strain aging (bake hardening) behaviour of an ultra low carbon (ULC) steel. Samples pre-deformed by rolling were aged and then tested in uniaxial tension at 0, 45 and 90$^\circ$ degrees to the prior rolling direction. The results show that aging changes not only the yie

I. Giomataris, I. Katsioulas, P. Knights, I. Manthos

Neutron spectroscopy is an invaluable tool for many scientific and industrial applications, including underground Dark Matter searches. Neutron-induced backgrounds produced by cosmic ray muons and the cavern radioactivity can mimic the expected Dark Matter signal. However, existing neutron detection methods have several drawbacks and limitations, thus measur

Steven Jecmen, Nihar B. Shah, Fei Fang, Vincent Conitzer

Many conferences rely on paper bidding as a key component of their reviewer assignment procedure. These bids are then taken into account when assigning reviewers to help ensure that each reviewer is assigned to suitable papers. However, despite the benefits of using bids, reliance on paper bidding can allow malicious reviewers to manipulate the paper assignm

Xingsheng Sun

The design and development of cutting-edge light materials for extreme conditions including high-speed impact remains a continuing and significant challenge in spite of steady advances. Magnesium (Mg) and its alloys have gained much attention, due to their high strength-to-weight ratio and potential of further improvements in material properties such as stre

David Klee, Ondrej Biza, Robert Platt

Multi-goal policy learning for robotic manipulation is challenging. Prior successes have used state-based representations of the objects or provided demonstration data to facilitate learning. In this paper, by hand-coding a high-level discrete representation of the domain, we show that policies to reach dozens of goals can be learned with a single network us

Shruti Pandey, Jayadeva, Smruti R. Sarangi

ML models are increasingly being used to increase the test coverage and decrease the overall testing time. This field is still in its nascent stage and up till now there were no algorithms that could match or outperform commercial tools in terms of speed and accuracy for large circuits. We propose an ATPG algorithm HybMT in this paper that finally breaks thi

Rongzhe Wei, Haoteng Yin, Junteng Jia, Austin R. Benson

Graph neural networks (GNNs) have shown superiority in many prediction tasks over graphs due to their impressive capability of capturing nonlinear relations in graph-structured data. However, for node classification tasks, often, only marginal improvement of GNNs over their linear counterparts has been observed. Previous works provide very few understandings

Marco Bonetti

After ten years from its discovery, the Higgs boson is still under unprecedented scrutiny. A huge theoretical effort has been invested in modelling Higgs boson production through gluon fusion, reaching $\text{N}^3\text{LO}$ predictions in pure QCD. This incredible theoretical achievement makes the exact computation of sub-leading contributions, such as mixed

Thomas Lee, Vineet Jagadeesan Nair, Andy Sun

Grid regulators and participants are paying increasing attention to Dynamic Line Ratings (DLR) as a new approach to address transmission system bottlenecks. In this paper, a thorough comparison of DLR, Ambient Adjusted Ratings (AAR), and the traditional Static Line Ratings (SLR) are conducted on a synthetic ERCOT grid. Estimates of DLR and AAR are calculated

Rubén Cordero, Luis A. Delgadillo, O. G. Miranda

Dark matter (DM) nature is one of the major issues in physics. The search for a DM candidate has motivated the known proposal of an ultralight scalar field (ULSF). We explore the possibility to search for this ULSF at the upcoming European Spallation Source neutrino Super-Beam experiment. We have considered the recent study case in which there could be an in

Amir Abbasi, Roland R. Netz, Ali Naji

Based on a Hamiltonian that incorporates the elastic coupling between a tracer and active particles, we derive a generalized Langevin model for the non-equilibrium mechanical response of active viscoelastic biomatter. Our model accounts for the power-law viscoelastic response of the embedding polymeric network as well as for the non-equilibrium energy transf

Arvind Narayanan, Kevin Lee

Information security isn't just about software and hardware -- it's at least as much about policies and processes. But the research community overwhelmingly focuses on the former over the latter, while gaping policy and process problems persist. In this experience paper, we describe a series of security policy audits that we conducted, exposing policy flaws

Seung-Yeon Ryoo

Nonabelian simply connected nilpotent Lie groups and not virtually abelian finitely generated groups of polynomial growth do not quasi-isometrically embed into uniformly convex Banach spaces. We quantify this fact by showing that a ball of radius $r\ge 2$ in the aforementioned groups must incur bilipschitz distortion at least a constant multiple of $(\log r)

Boqun Zhao, Chao Zhang, Wenqiang Yi, Yuanwei Liu

This letter analyzes the ergodic rates of a simultaneously transmitting and reflecting reconfigurable intelligent surface (STAR-RIS) aided non-orthogonal multiple access (NOMA) system, where the direct links from the base station to cell-edge users are non-line-of-sight due to obstacles, and STAR-RIS is used to provide line-of-sight links to these cell-edge

Jamaal Ahmad, Martin Bladt, Mogens Bladt

The estimation of absorption time distributions of Markov jump processes is an important task in various branches of statistics and applied probability. While the time-homogeneous case is classic, the time-inhomogeneous case has recently received increased attention due to its added flexibility and advances in computational power. However, commuting sub-inte

Tobias Kühn, Frédéric van Wijland

Modeling complex systems, like neural networks, simple liquids or flocks of birds, often works in reverse to textbook approaches: given data for which averages and correlations are known, we try to find the parameters of a given model consistent with it. In general, no exact calculation directly from the model is available and we are left with expensive nume

Isobel Seabrook, Paolo Barucca, Fabio Caccioli

Trade executions for major stocks come in bursts of activity, which can be partly attributed to the presence of self- and mutual excitations endogenous to the system. In this paper, we study transaction reports for five FTSE 100 stocks. We model the dynamic of transactions between counterparties using both univariate and multivariate Hawkes processes, which

Emanuel Casiano-Diaz, C. M. Herdman, Adrian Del Maestro

A ground state path integral quantum Monte Carlo algorithm is introduced that allows for the study of entanglement in lattice bosons at zero temperature. The R\'enyi entanglement entropy between spatial subregions is explored across the phase diagram of the one dimensional Bose-Hubbard model for systems consisting of up to $L=256$ sites at unit-filling witho

Stefan Bosse

Agent-based modelling (ABM), simulation (ABS), and distributed computation (ABC) are established methods. The Internet and Web-based technologies are suitable carriers. This paper is a technical report with some tutorial aspects of the JavaScript Agent Machine (JAM) platform and the programming of agents with AgentJS, a sub-set of the widely used JavaScript

Zhen Dai, Lek-Heng Lim

We extend rank-constrained optimization to general hyperbolic programs (HP) using the notion of matroid rank. For LP and SDP respectively, this reduces to sparsity-constrained LP and rank-constrained SDP that are already well-studied. But for QCQP and SOCP, we obtain new interesting optimization problems. For example, rank-constrained SOCP includes weighted

Xingchen Shen, Rolf Heid, Roland Hott, Björn Salzmann

Research on charge-density-wave (CDW) ordered transition-metal dichalcogenides continues to unravel new states of quantum matter correlated to the intertwined lattice and electronic degrees of freedom. Here, we report an inelastic x-ray scattering investigation of the lattice dynamics of the canonical CDW compound $2H$-TaSe$_2$ complemented by angle-resolved

Jonah Weigand-Whittier, Maria Sedykh, Kai Herz, Jaume Coll-Font

Purpose: To substantially shorten the acquisition time required for quantitative 3D chemical exchange saturation transfer (CEST) and semisolid magnetization transfer (MT) imaging and allow for rapid chemical exchange parameter map reconstruction. Methods: Three-dimensional CEST and MT magnetic resonance fingerprinting (MRF) datasets of L-arginine phantoms, w

Cheng-Chiang Tsai

For a reductive group $G$ over a non-archimedean local field, with some assumptions on (residue) characteristic we give an method to compute certain orbital integrals using a method close to that of Goresky-Kottiwitz-MacPherson but in a different language. These orbital integrals allow us to compute the Shalika germs at some ``very elliptic'' elements in ter

N. Fomin, R. Alarcon, L. Alonzi, E. Askanazi

We report a measurement of two energy-weighted gamma cascade angular distributions from polarized slow neutron capture on the ${}^{35}$Cl nucleus, one parity-odd correlation proportional to $\vec{s_{n}} \cdot \vec{k_{\gamma}}$ and one parity-even correlation proportional to $\vec{s_{n}} \cdot \vec{k_{n}} \times \vec{k_{\gamma}}$. A parity violating asymmetry

Nan Li, Alexandros Iosifidis, Qi Zhang

This paper studies inference acceleration using distributed convolutional neural networks (CNNs) in collaborative edge computing. To ensure inference accuracy in inference task partitioning, we consider the receptive-field when performing segment-based partitioning. To maximize the parallelization between the communication and computing processes, thereby mi

Nan Li, Alexandros Iosifidis, Qi Zhang

This paper studies inference acceleration using distributed convolutional neural networks (CNNs) in collaborative edge computing network. To avoid inference accuracy loss in inference task partitioning, we propose receptive field-based segmentation (RFS). To reduce the computation time and communication overhead, we propose a novel collaborative edge computi

Jamaal Ahmad, Mogens Bladt

The purpose of the present paper is to incorporate stochastic interest rates into a matrix-approach to multi-state life insurance, where formulas for reserves, moments of future payments and equivalence premiums can be obtained as explicit formulas in terms of product integrals or matrix exponentials. To this end we consider the Markovian interest model, whe

S. Komossa, A. Kraus, D. Grupe, M. L. Parker

We are carrying out the densest and longest multiyear, multiwavelength monitoring project of OJ 287 ever done. The project MOMO (Multiwavelength Observations and Modelling of OJ 287) covers wavelengths from the radio to the high-energy regime. A few selected observations are simultaneous with those of the Event Horizon Telescope (EHT). MOMO aims at understan

Nandita Bhaskhar, Daniel L. Rubin, Christopher Lee-Messer

Continuous monitoring of trained ML models to determine when their predictions should and should not be trusted is essential for their safe deployment. Such a framework ought to be high-performing, explainable, post-hoc and actionable. We propose TRUST-LAPSE, a "mistrust" scoring framework for continuous model monitoring. We assess the trustworthiness of eac

Peter Bruin

We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors under such group schemes and groups of isomorphism classes of these objects.

Paul J. Groot

The impact of mega-constellations of satellites in low-Earth orbit during nighttime optical observations is assessed. Orbital geometry is used to calculate the impact of stellar occultations by satellites on the photometry of individual stars as well as the effect on the photometric calibration of wide-field observations. Starlink-type satellites will have o

Hector Ibarra-Medel

Holm15A hosts one of the most massive back holes ever known. Hence, it is important to characterize any structure within its core to avoid any wrong association with its central black hole and, therefore, bias any future study. In this work, we present the first identification and characterization of 14 structures hidden behind the surface brightness of Holm

Gabriel S. Rocha, Gabriel S. Denicol, Maurício N. Ferreira, Jorge Noronha

We use a novel formulation of the relaxation time approximation to consistently calculate the bulk and shear viscosity coefficients using QCD-inspired energy-dependent relaxation times and phenomenological thermal masses obtained from fits to lattice QCD thermodynamics. The matching conditions are conveniently chosen to simplify the computations.

Shuocheng Guo, Xinwu Qian

The sensing and monitoring of the urban road network contribute to the efficient operation of the urban transportation system and the functionality of urban systems. However, traditional sensing methods, such as inductive loop sensors, roadside cameras, and crowdsourcing data from massive urban travelers (e.g., Google Maps), are often hindered by high costs,

Isaac Grosof, Naifeng Zhang, Marijn J. H. Heule

The Pigeonhole Principle (PHP) has been heavily studied in automated reasoning, both theoretically and in practice. Most solvers have exponential runtime and proof length, while some specialized techniques achieve polynomial runtime and proof length. Several decades ago, Cook manually constructed $O(n^4)$ extended resolution proofs, where $n$ denotes the num

Mohammad Amirabbasi, Peter Kratzer

Among the numerous 2D system that can be prepared via exfoliation, iron phosphorus trisulfide (FePS3) attracts a lot of attention recently due to its broad-range photoresponse, its unusual Ising-type magnetic order and possible applications in spintronic nano-devices. Despite various experimental and theoretical-computational reports, there are still uncerta

Arsenii Onuchin, Alina Chernizova, Mikhail Lebedev, Kirill Polovnikov

The fundamental relationship between the mesoscopic structure of neuronal circuits and organismic functions they subserve is one of the major challenges in contemporary neuroscience. Formation of structurally connected modules of neurons enacts the conversion from single-cell firing to large-scale behaviour of an organism, highlighting the importance of thei

Kryštof Kolář, Gal Shavit, Christophe Mora, Yuval Oreg

The emergence of correlated insulating phases in magic-angle twisted bilayer graphene exhibits strong sample dependence. Here, we derive an Anderson theorem governing the robustness against disorder of the Kramers intervalley coherent (K-IVC) state, a prime candidate for describing the correlated insulators at even fillings of the moir\'e flat bands. We find

Fenia Christopoulou, Gerasimos Lampouras, Milan Gritta, Guchun Zhang

We present PanGu-Coder, a pretrained decoder-only language model adopting the PanGu-Alpha architecture for text-to-code generation, i.e. the synthesis of programming language solutions given a natural language problem description. We train PanGu-Coder using a two-stage strategy: the first stage employs Causal Language Modelling (CLM) to pre-train on raw prog

Elena V. Gryzlova, Alexei N. Grum-Grzhimailo, Maksim D. Kiselev, Maria M. Popova

The modern Free-Electron-Lasers generate a highly intense polarized radiation which initiate a sequence of ionization and decay events. Their probability depends on the polarization of each state as function of time. Its complete accounting is limited by the fact that a state can be formed in various ways. Here we present the equivalent of rate equations for

Ivan Kostyuk, Dylan Nelson, Benedetta Ciardi, Martin Glatzle

In this work we investigate the dependence of the escape fraction of ionizing photons, $f_{\rm esc}$, on various galaxy and host halo properties during the epoch of reionization. We post-process the TNG50 magneto-hydrodynamical simulation from the IllustrisTNG project using the 3D multi-frequency radiative transfer code CRASH. Our work covers the stellar mas

Nava Gaddam, Nico Groenenboom

Hawking's free field theory is expected to break down after Page time. In previous work, we have shown that a primary dynamical reason for this breakdown is the dominance of graviton fluctuations of the horizon that mediate scattering processes. In this article, we present a toolbox for such `black hole scattering' computations. The toolbox comprises of expl

Xuejian Shen, Huangyu Xiao, Philip F. Hopkins, Kathryn M. Zurek

Many theories of dark matter beyond the Weakly Interacting Massive Particles (WIMP) paradigm feature an enhanced matter power spectrum on sub-parsec scales, leading to the formation of dense dark matter minihaloes. Future local observations are promising to search for and constrain such substructures. The survival probability of these dense minihaloes in the

Belle II Collaboration, F. Abudinén, I. Adachi, R. Adak

We report a study of $B \to J/\psi(\ell^{+}\ell^{-})K$ decays, where $\ell$ represents an electron or a muon, using $e^{+}e^{-}$ collisions at the $\Upsilon(4S)$ resonance. The data were collected by the Belle II experiment at the SuperKEKB asymmetric-energy collider during 2019-2021, corresponding to an integrated luminosity of $189$ fb$^{-1}$. The measured

Jack Ceroni, Alain Delgado, Soran Jahangiri, Juan Miguel Arrazola

To understand the chemical properties of molecules, it is often important to study derivatives of energies with respect to nuclear coordinates or external fields. Quantum algorithms for computing energy derivatives have been proposed, but only limited work has been done to address the specific challenges that arise in this context, where calculations are mor

Gregory Patchell, Sam Spiro

How can you fill a $3\times 3$ grid with the letters A and M so that the word ``AMM'' appears as many times as possible in the grid? More generally, given a word $w$ of length $n$, how can you fill an $n\times n$ grid so that $w$ appears as many times as possible? We solve this problem exactly for several families of words, and we asymptotically solve this p

Sam Spiro, Erlang Surya, Ji Zeng

Consider the following variant of Rock, Paper, Scissors (RPS) played by two players Rei and Norman. The game consists of $3n$ rounds of RPS, with the twist being that Rei (the restricted player) must use each of Rock, Paper, and Scissors exactly $n$ times during the $3n$ rounds, while Norman is allowed to play normally without any restrictions. Answering a q

Damiano Anselmi

Quantum gravity is extended to include purely virtual "cloud sectors", which allow us to define a complete set of point-dependent observables, including a gauge invariant metric and gauge invariant matter fields, and calculate their off-shell correlation functions perturbatively. The ordinary on-shell correlation functions and the $S$ matrix elements are una

Damiano Anselmi

We extend quantum field theory by including purely virtual "cloud" sectors, to define physical off-shell correlation functions of gauge invariant quark and gluon fields, without affecting the $S$ matrix amplitudes. The extension is made of certain cloud bosons, plus their anticommuting partners. Both are quantized as purely virtual, to ensure that they do no

Kung-Yi Su, Greg L. Bryan, Zoltán Haiman, Rachel S. Somerville

The early growth of black holes (BHs) in high-redshift galaxies is likely regulated by their feedback on the surrounding gas. While radiative feedback has been extensively studied, the role of mechanical feedback has received comparatively less scrutiny to date. Here we use high-resolution parsec-scale hydrodynamical simulations to study jet propagation and

Carlos Jaramillo

We propose a new production mechanism for keV sterile neutrino dark matter which relies neither on the oscillations between sterile and active neutrinos nor on the decay of additional heavier particles. The dark matter neutrinos are instead produced by thermal freeze-out, much like a typical WIMP. The challenge consists in balancing a large Yukawa coupling s

Almudena Carrera Vazquez, Daniel J. Egger, David Ochsner, Stefan Woerner

Simulating the time-evolution of a Hamiltonian is one of the most promising applications of quantum computers. Multi-Product Formulas (MPFs) are well suited to replace standard product formulas since they scale better with respect to time and approximation errors. Hamiltonian simulation with MPFs was first proposed in a fully quantum setting using a linear c

Lorenzo Pierini, Leonardo Gualtieri

One of the most promising strategies to test gravity in the strong-field, large curvature regime is gravitational spectroscopy: the measurement of black hole quasi-normal modes from the ringdown signal emitted in the aftermath of a compact binary coalescence, searching for deviations from the predictions of general relativity. This strategy is only effective

Christopher Cain, Anson D'Aloisio, Nakul Gangolli, Matthew McQuinn

A recent measurement of the Lyman-limit mean free path at $z = 6$ suggests it may have been very short, motivating a better understanding of the role that ionizing photon sinks played in reionization. Accurately modeling the sinks in reionization simulations is challenging because of the large dynamic range required if $\sim 10^4-10^8 M_{\odot}$ gas structur

Bren E. Backhaus, Joanna S. Bridge, Jonathan R. Trump, Nikko J. Cleri

We investigate spatially-resolved emission-line ratios in a sample of 219 galaxies ($0.6<z<1.3$) detected using the G102 grism on the \emph{Hubble Space Telescope} Wide Field Camera 3, taken as part of the CANDELS Ly$\alpha$ Emission at Reionization (CLEAR) survey, to measure ionization profiles and search for low-luminosity active galactic nuclei (AGN). We

Ansgar Denner, Giovanni Pelliccioli, Christopher Schwan

The production of a single top quark in association with a $\mathrm{Z}$ boson ($\mathrm{t}\mathrm{Z}\mathrm{j}$ production) at the LHC is a relevant probe of the electroweak sector of the Standard Model as well as a window to possible new-physics effects. The growing experimental interest in performing differential measurements for this process demands an im

Steffani M. Grondin, Jeremy J. Webb, Nathan W. C. Leigh, Joshua S. Speagle

Three-body interactions can eject stars from the core of a globular cluster, causing them to enter the Galactic halo as extra-tidal stars. While finding extra-tidal stars is imperative for understanding cluster evolution, connecting isolated extra-tidal field stars back to their birth cluster is extremely difficult. In this work, we present a new methodology

Hengameh Bagherian, Matthew Reece, Weishuang Linda Xu

The chromo-natural inflation (CNI) scenario predicts a potentially detectable chiral gravitational wave signal, generated by a Chern-Simons coupling between a rolling scalar axion field and an SU(2) gauge field with an isotropy-preserving classical background during inflation. However, the generation of this signal requires a very large integer Chern-Simons

Luca V. Delacretaz, A. Liam Fitzpatrick, Emanuel Katz, Matthew T. Walters

We study aspects of chaos and thermodynamics at strong coupling in a scalar model using LCT numerical methods. We find that our eigenstate spectrum satisfies Wigner-Dyson statistics and that the coefficients describing eigenstates in our basis satisfy Random Matrix Theory (RMT) statistics. At weak coupling, though the bulk of states satisfy RMT statistics, w

Gaël Noirot, Marcin Sawicki

We investigate the evolution of the physical extent of star formation of $M_{\star}>10^9~M_{\odot}$ rapidly-quenching galaxies at $z=1.0-1.4$. We measure the galaxy H$\alpha$ and stellar continuum sizes from their HST/WFC3 G141 grism spectroscopy and connect the galaxy sizes to time on their evolutionary delayed-$\tau$ tracks determined in Noirot et al. (202

Fengwu Sun, Eiichi Egami, Nor Pirzkal, Marcia Rieke

We report the serendipitous discovery of an [O III] $\lambda\lambda$4959/5007 and H$\alpha$ line emitter in the Epoch of Reionization (EoR) with the JWST commissioning data taken in the NIRCam wide field slitless spectroscopy (WFSS) mode. Located $\sim$55" away from the flux calibrator P330-E, this galaxy exhibits bright [O III] $\lambda\lambda$4959/5007 and

Marco Baldi

We present for the first time a suite of cosmological simulations for a particular class of interacting Dark Energy cosmologies characterised by a background expansion history constrained to be indistinguishable from $\Lambda $CDM. Such Constrained Interacting Dark Energy scenario -- or CIDER -- has been recently proposed by Barros et al. 2019 and has the ap

Jingkang Yang, Yi Zhe Ang, Zujin Guo, Kaiyang Zhou

Existing research addresses scene graph generation (SGG) -- a critical technology for scene understanding in images -- from a detection perspective, i.e., objects are detected using bounding boxes followed by prediction of their pairwise relationships. We argue that such a paradigm causes several problems that impede the progress of the field. For instance,