May 2023 arXiv papers — page 126

Atsushi Yasuda, Nario Kuno, Kazuo Sorai, Kazuyuki Muraoka

We simultaneously measured the spatially-resolved CO-to-H$_{2}$ conversion factor ($\alpha_\mathrm{CO}$) and dust-to-gas ratio (DGR) in nearby galaxies on a kiloparsec scale. In this study, we used $^{12}$CO($J=1-0$) data obtained by the Nobeyama 45-m radio telescope with HI and dust mass surface densities. We obtained the values of global $\alpha_\mathrm{CO

Lingfeng Shen, Haiyun Jiang, Lemao Liu, Ying Chen

Static word embedding is still useful, particularly for context-unavailable tasks, because in the case of no context available, pre-trained language models often perform worse than static word embeddings. Although dimension is a key factor determining the quality of static word embeddings, automatic dimension selection is rarely discussed. In this paper, we

Fan Yang, Tao Wang, Xiaofei Wang

Accurately detecting student behavior in classroom videos can aid in analyzing their classroom performance and improving teaching effectiveness. However, the current accuracy rate in behavior detection is low. To address this challenge, we propose the Student Classroom Behavior Detection system based on based on YOLOv7-BRA (YOLOv7 with Bi-level Routing Atten

Lingfeng Shen, Haiyun Jiang, Lemao Liu, Shuming Shi

Generating proper embedding of sentences through an unsupervised way is beneficial to semantic matching and retrieval problems in real-world scenarios. This paper presents Representation ALchemy (RepAL), an extremely simple post-processing method that enhances sentence representations. The basic idea in RepAL is to de-emphasize redundant information of sente

Yunsheng Ma, Liangqi Yuan, Amr Abdelraouf, Kyungtae Han

Ensuring traffic safety and preventing accidents is a critical goal in daily driving, where the advancement of computer vision technologies can be leveraged to achieve this goal. In this paper, we present a multi-view, multi-scale framework for naturalistic driving action recognition and localization in untrimmed videos, namely M$^2$DAR, with a particular fo

Karel Hasík, Jana Kopfová, Petra Nábělková, Sergei Trofimchuk

We study the Murray adaptation of the Noyes-Field five-step model of the Belousov-Zhabotinsky (BZ) reaction in the case when a tuning parameter $r$, which determines the level of the bromide ion far ahead of the propagating wave, is bigger than 1 and when the delay in generation of the bromous acid is taken into account. The existence of wavefronts in the de

Jan Lebert, Daniel Deng, Lei Fan, Lik Chuan Lee

The heart's contraction is caused by electrical excitation which propagates through the heart muscle. It was recently shown that the electrical excitation can be computed from the contractile motion of a simulated piece of heart muscle tissue using deep learning. In cardiac electrophysiology, a primary diagnostic goal is to identify electrical triggers or dr

K. Tsuchikusa, K. Yamamoto, M. Katsura, C. T. de Paula

In various types of many-particle systems, bidispersity is frequently used to avoid spontaneous ordering in particle configuration. In this study, the relation between bidispersity and disorder degree of particle configuration is investigated. By using magnetic dipole-dipole interaction, magnet particles are dispersed in a two-dimensional cell without physic

M. A. Razzak, B. C. Khoo, K. B. Lua, C. M. J. Tay

This study investigates drag reduction capability of naturally-occurring-oscillating axial secondary flow(ASF) induced by helical-corrugated surface in Taylor Couette flow(TCFHelical) for three values of pitch to wavelength-ratios(P* =1,2,3) and amplitude to wavelength-ratio(A*) of 0.25. As reported in Razzak et al. (2020), emergence of naturally-occurring-o

Davi Lima, Carlos Gustavo Moreira, Christian Camilo Silva Villamil

Let $\varphi_0$ be a smooth conservative diffeomorphism of a compact surface $S$ and let $\Lambda_0$ be a transitive horseshoe of $\varphi_0$. Given a smooth real function $f$ defined in $S$ and a small smooth conservative perturbation $\varphi$ of $\varphi_0$, let $L_{\varphi, f}$ and $M_{\varphi, f}$ be respectively the Lagrange and Markov spectra associat

Kiyeob Lee, Peng Zhao, Anirban Bhattacharya, Bani K. Mallick

With the increasing amount of distributed energy resources (DERs) integration, there is a significant need to model and analyze hosting capacity (HC) for future electric distribution grids. Hosting capacity analysis (HCA) examines the amount of DERs that can be safely integrated into the grid and is a challenging task in full generality because there are man

Jianghu Dong

Coronavirus disease 2019 in solid organ transplant (SOT) patients is associated with more severe outcomes than non-immunosuppressed hosts. However, exactly which risk factors cause Long COVID in acute COVID cases remains unknown. More importantly, the impact of Long COVID on patient survival remains understudied, especially when examined alongside the effect

Huihui Fang, Fei Li, Junde Wu, Huazhu Fu

Pathologic myopia (PM) is a common blinding retinal degeneration suffered by highly myopic population. Early screening of this condition can reduce the damage caused by the associated fundus lesions and therefore prevent vision loss. Automated diagnostic tools based on artificial intelligence methods can benefit this process by aiding clinicians to identify

Md Adnan Arefeen, Zhouyu Li, Md Yusuf Sarwar Uddin, Anupam Das

With the growth of computer vision applications, deep learning, and edge computing contribute to ensuring practical collaborative intelligence (CI) by distributing the workload among edge devices and the cloud. However, running separate single-task models on edge devices is inefficient regarding the required computational resource and time. In this context,

Yiming Cui, Lecheng Ruan, Hang-Cheng Dong, Qiang Li

The networks for point cloud tasks are expected to be invariant when the point clouds are affinely transformed such as rotation and reflection. So far, relative to the rotational invariance that has been attracting major research attention in the past years, the reflection invariance is little addressed. Notwithstanding, reflection symmetry can find itself i

Maoyu Zhang, Yan Song, Wenlin Dai

The minimum covariance determinant (MCD) estimator is ubiquitous in multivariate analysis, the critical step of which is to select a subset of a given size with the lowest sample covariance determinant. The concentration step (C-step) is a common tool for subset-seeking; however, it becomes computationally demanding for high-dimensional data. To alleviate th

Pirazh Khorramshahi, Zhe Wu, Tianchen Wang, Luke Deluccia

Despite recent advances in video-based action recognition and robust spatio-temporal modeling, most of the proposed approaches rely on the abundance of computational resources to afford running huge and computation-intensive convolutional or transformer-based neural networks to obtain satisfactory results. This limits the deployment of such models on edge de

Jay M. Ver Hoef, Michael Dumelle, Matt Higham, Erin E. Peterson

We consider four main goals when fitting spatial linear models: 1) estimating covariance parameters, 2) estimating fixed effects, 3) kriging (making point predictions), and 4) block-kriging (predicting the average value over a region). Each of these goals can present different challenges when analyzing large spatial data sets. Current research uses a variety

Samy Jelassi, Boris Hanin, Ziwei Ji, Sashank J. Reddi

In this short note we consider random fully connected ReLU networks of width $n$ and depth $L$ equipped with a mean-field weight initialization. Our purpose is to study the dependence on $n$ and $L$ of the maximal update ($\mu$P) learning rate, the largest learning rate for which the mean squared change in pre-activations after one step of gradient descent r

Meike Neuwohner

The weighted $3$-Set Packing problem is defined as follows: As input, we are given a collection $\mathcal{S}$ of sets, each of cardinality at most $3$ and equipped with a positive weight. The task is to find a disjoint sub-collection of maximum total weight. Already the special case of unit weights is known to be NP-hard, and the state-of-the-art are $\frac{

Cedric Schmitt, Jonas Erhardt, Philipp Eck, Matthias Schmitt

Atomic monolayers on semiconductor surfaces represent a new class of functional quantum materials at the ultimate two-dimensional limit, ranging from superconductors [1, 2] to Mott insulators [3, 4] and ferroelectrics [5] to quantum spin Hall insulators (QSHI) [6, 7]. A case in point is the recently discovered QSHI indenene [7, 8], a triangular monolayer of

Nishu Kumari

In a recent paper (arXiv:2301.09744), Erickson and Hunziker consider partitions in which the arm-leg difference is an arbitrary constant $m$. In previous works, these partitions are called $(-m)$-asymmetric partitions. Regarding these partitions and their conjugates as the highest weights, they prove an identity yielding an infinite family of dimension equal

Krithika Iyer, Shireen Elhabian

Statistical shape modeling is the computational process of discovering significant shape parameters from segmented anatomies captured by medical images (such as MRI and CT scans), which can fully describe subject-specific anatomy in the context of a population. The presence of substantial non-linear variability in human anatomy often makes the traditional sh

Alec Traaseth, Theodore Weisman

We prove combination theorems in the spirit of Klein and Maskit in the context of discrete convergence groups acting geometrically finitely on their limit sets. As special cases, we obtain combination theorems for geometrically finite groups of isometries of Hadamard manifolds with pinched negative curvature, and for relatively quasi-convex subgroups of rela

Zhen Guo, Peiqi Wang, Yanwei Wang, Shangdi Yu

Large Language Models (LLMs) have made remarkable advancements in the field of natural language processing. However, their increasing size poses challenges in terms of computational cost. On the other hand, Small Language Models (SLMs) are known for their efficiency, but they often struggle with limited capacity and training data, especially in specific doma

Md Washik Al Azad, Shifat Sarwar, Sifat Ut Taki, Spyridon Mastorakis

Computation offloading (often to external computing resources over a network) has become a necessity for modern applications. At the same time, the proliferation of machine learning techniques has empowered malicious actors to use such techniques in order to breach the privacy of the execution process for offloaded computations. This can enable malicious act

Ignace Aristide Minlend, Tobias Weth, Jing Wu

We prove the existence of nontrivial unbounded exceptional domains in the Euclidean space $\R^N$, $N\geq4$. These domains arise as perturbations of complements of straight cylinders in $\R^N$, and by definition they support a positive harmonic function with vanishing Dirichlet boundary values and constant Neumann boundary values, the so-called roof function.

G J Milburn

Physical learning machines, be they classical or quantum, are necessarily dissipative systems. The rate of energy dissipation decreases as the learning error rate decreases linking thermodynamic efficiency and learning efficiency. In the classical case the energy is dissipated as heat. We give an example based on a quantum optical perceptron where the energy

Rostislav Arkhipov, Pavel Belov, Anton Pakhomov, Mikhail Arkhipov

Unipolar and quasi-unipolar half-cycle pulses having nonzero electric pulse area are a limit of pulse shortening in a given spectral range. In spite of the fact that existence of such pulses was considered by Jackson (1962), V.L. Ginzburg (1960-s), Bullough and Ahmad (1971) as well as Bessonov (1981), the possibility of their existence and propagation in spa

Johnathan Djella Legnongo, Tony Ezome, Florian Luca

We describe the average sizes of the set of bad witnesses for a pseudo-primality test which is the product of a multiple-rounds Miller-Rabin test by the Galois test.

Yohei Sawada, Le Duc

The accuracy of Earth system models is compromised by unknown and/or unresolved dynamics, making the quantification of systematic model errors essential. While a model parameter estimation, which allows parameters to change spatio-temporally, shows promise in quantifying and mitigating systematic model errors, the estimation of the spatio-temporally distribu

Sarik Ghazarian, Yijia Shao, Rujun Han, Aram Galstyan

Commonsense reasoning is omnipresent in human communications and thus is an important feature for open-domain dialogue systems. However, evaluating commonsense in dialogue systems is still an open challenge. We take the first step by focusing on event commonsense that considers events and their relations, and is crucial in both dialogues and general commonse

Enes Altuncu, Jason R. C. Nurse, Meryem Bagriacik, Sophie Kaleba

In this highly digitised world, fake news is a challenging problem that can cause serious harm to society. Considering how fast fake news can spread, automated methods, tools and services for assisting users to do fact-checking (i.e., fake news detection) become necessary and helpful, for both professionals, such as journalists and researchers, and the gener

Yang Liu, Yuexian Hou

Masked Language Models (MLMs) have been successful in many natural language processing tasks. However, real-world stereotype biases are likely to be reflected in MLMs due to their learning from large text corpora. Most of the evaluation metrics proposed in the past adopt different masking strategies, designed with the log-likelihood of MLMs. They lack holist

Tarun Dalal

In this article, we determine all intermediate modular curves $X_\Delta(N)$ that admit infinitely many cubic points over the rational field $\mathbb{Q}$.

Zach LaDuca, Katherine Su, Sebastian Manzo, Michael S. Arnold

Understanding the sticking coefficient $\sigma$, i.e., the probability of an adatom sticking to a surface, is essential for controlling the stoichiometry during epitaxial film growth. However, $\sigma$ on monolayer graphene-covered surfaces and its impact on remote epitaxy are not understood. Here, using molecular-beam epitaxial (MBE) growth of the magnetic

B. C. Lyons, J. McClenaghan, T. Slendebroek, O. Meneghini

The STEP (Stability, Transport, Equilibrium, and Pedestal) integrated-modeling tool has been developed in OMFIT to predict stable, tokamak equilibria self-consistently with core-transport and pedestal calculations. STEP couples theory-based codes to integrate a variety of physics, including MHD stability, transport, equilibrium, pedestal formation, and curre

Eran Kaufman, Lee-Ad Gottlieb

In this work, we consider the task of automated emphasis detection for spoken language. This problem is challenging in that emphasis is affected by the particularities of speech of the subject, for example the subject accent, dialect or voice. To address this task, we propose to utilize deep fake technology to produce an emphasis devoid speech for this speak

Shoieb Ahmed Chowdhury, M. F. N. Taufique, Jing Wang, Marissa Masden

Austenitic 347H stainless steel offers superior mechanical properties and corrosion resistance required for extreme operating conditions such as high temperature. The change in microstructure due to composition and process variations is expected to impact material properties. Identifying microstructural features such as grain boundaries thus becomes an impor

Ye Liu, Semih Yavuz, Rui Meng, Dragomir Radev

The dominant paradigm of textual question answering systems is based on end-to-end neural networks, which excels at answering natural language questions but falls short on complex ones. This stands in contrast to the broad adaptation of semantic parsing approaches over structured data sources (e.g., relational database, knowledge graphs), that convert natura

Andrew Salmon

We show that Lusztig's theories of two-sided cells and non-unipotent representations of a reductive group over a finite field are compatible with the V. Lafforgue's automorphic-to-galois direction of the Langlands correspondence. To do this, we extend cases where nearby cycles commutes with pushforward from sheaves on the moduli space of shtukas to a product

Rajan Plumley, Sathya Chitturi, Cheng Peng, Tadesse Assefa

With the introduction of x-ray free electron laser sources around the world, new scientific approaches for visualizing matter at fundamental length and time-scales have become possible. As it relates to magnetism and "magnetic-type" systems, advanced methods are being developed for studying ultrafast magnetic responses on the time-scales at which they occur.

Ahmed MohanRaj Alenezi

Digital forensics in smart environments is an emerging field that deals with the investigation and analysis of digital evidence in smart devices and environments. As smart environments continue to evolve, digital forensic investigators face new challenges in retrieving, preserving, and analyzing digital evidence. At the same time, recent advancements in digi

Philipp W. A. Schönhöfer, Kai Sun, Xiaoming Mao, Sharon C. Glotzer

Entropic self-assembly is governed by the shape of the constituent particles, yet a priori prediction of crystal structures from particle shape alone is non-trivial for anything but the simplest of space-filling shapes. At the same time, most polyhedra are not space-filling due to geometric constraints, but these constraints can be relaxed or even eliminated

L. Bonne, S. Bontemps, N. Schneider, R. Simon

We present new $^{13}$CO(1-0), C$^{18}$O(1-0), HCO$^{+}$(1-0) and H$^{13}$CO$^{+}$(1-0) maps from the IRAM 30m telescope, and a spectrally-resolved [CII] 158 $\mu$m map observed with the SOFIA telescope towards the massive DR21 cloud. This traces the kinematics from low- to high-density gas in the cloud which allows to constrain the formation scenario of the

Matteo Viale

This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.

Binglin Li, Jie Liang, Haisheng Fu, Jingning Han

Encoding the Region Of Interest (ROI) with better quality than the background has many applications including video conferencing systems, video surveillance and object-oriented vision tasks. In this paper, we propose a ROI-based image compression framework with Swin transformers as main building blocks for the autoencoder network. The binary ROI mask is inte

Ehsan Tohidi, Mario Coutino, David Gesbert

We study the problem of selecting a subset of vectors from a large set, to obtain the best signal representation over a family of functions. Although greedy methods have been widely used for tackling this problem and many of those have been analyzed under the lens of (weak) submodularity, none of these algorithms are explicitly devised using such a functiona

Leonardo Clarke, Alice Shapley, Ryan L. Sanders, Michael W. Topping

Using deep near-infrared Keck/MOSFIRE observations, we analyze the rest-optical spectra of eight star-forming galaxies in the COSMOS and GOODS-N fields. We reach integration times of $\sim$10 hours in the deepest bands, pushing the limits on current ground-based observational capabilities. The targets fall into two redshift bins -- 5 galaxies at $z \sim 1.7$

D. Anish Roshi, Sean Marshall, Amit Vishwas, Mike Sulzer

The Next Generation Arecibo Telescope (NGAT) was a concept presented in a white paper Roshi et al. (2021) developed by members of the Arecibo staff and user community immediately after the collapse of the 305 m legacy telescope. A phased array of small parabolic antennas placed on a tiltable plate-like structure forms the basis of the NGAT concept. The phase

Galen Reeves, Henry D. Pfister

Recently, the authors showed that Reed-Muller (RM) codes achieve capacity on binary memoryless symmetric (BMS) channels with respect to bit error rate. This paper extends that work by showing that RM codes defined on non-binary fields, known as generalized RM codes, achieve capacity on sufficiently symmetric non-binary channels with respect to symbol error r

Suhaila M. Shakiah, Rupak Vignesh Swaminathan, Hieu Duy Nguyen, Raviteja Chinta

Machine learning model weights and activations are represented in full-precision during training. This leads to performance degradation in runtime when deployed on neural network accelerator (NNA) chips, which leverage highly parallelized fixed-point arithmetic to improve runtime memory and latency. In this work, we replicate the NNA operators during the tra

J. S. C. Prentice

We transform a double integral into a second-order initial value problem, which we solve using Euler's method and Richardson extrapolation. For an example we consider, we achieve accuracy close to machine precision (1e-15). We also use the algorithm to determine the error curve for a Simpson cubature rule.

Yunran Chen, Alexander Volfovsky

Dynamic network data have become ubiquitous in social network analysis, with new information becoming available that captures when friendships form, when corporate transactions happen and when countries interact with each other. Flexible and interpretable models are needed in order to properly capture the behavior of individuals in such networks. In this pap

Michel Bertemes

We present recent results from the Belle II experiment related to quarkonium and charm physics. With data samples collected by Belle II during operation of the SuperKEKB collider above the $\Upsilon(4S)$ resonance, we study the processes $e^+e^- \to \omega\chi_{bJ}(1P)$ ($J=0$, 1, or 2), search for the bottomonium equivalent of the X(3872) and measure the ex

Gang Yang, Xiangyong Cao, Wenzhe Xiao, Man Zhou

Pan-sharpening aims to generate a high-resolution multispectral (HRMS) image by integrating the spectral information of a low-resolution multispectral (LRMS) image with the texture details of a high-resolution panchromatic (PAN) image. It essentially inherits the ill-posed nature of the super-resolution (SR) task that diverse HRMS images can degrade into an

Kiana Baumgärtner, Misa Nozaki, Marvin Reuner, Nils Wind

Interfaces between molecules and 2D materials exhibit energy-driven functionalities, wherein charge transfer directs molecular motion. Unlike equilibrium systems, where molecular assemblies settle into static configurations, continuous energy input can drive transient, collective molecular rearrangements. Here, we reveal ultrafast spectroscopic fingerprints

Wei Hao, Zixi Wang, Lauren Hong, Lingxiao Li

ML models are increasingly being pushed to mobile devices, for low-latency inference and offline operation. However, once the models are deployed, it is hard for ML operators to track their accuracy, which can degrade unpredictably (e.g., due to data drift). We design the first end-to-end system for continuously monitoring and adapting models on mobile devic

Adam Cieślik, Eva Hackmann, Patryk Mach

We derive novel analytical solutions describing timelike and null geodesics in the Kerr spacetime. The solutions are parameterized explicitly by constants of motion -- the energy, the angular momentum, and the Carter constant -- and initial coordinates. A single set of formulas is valid for all null and timelike geodesics, irrespectively of their radial and

Gaston A. Brouwer, Jonathan Joe, Matt Noble

Given positive integers $m$ and $r$, define $C_m(r)$ to be the minimum odd number of $\mathbb{Z}^m$ vectors, each of magnitude $\sqrt{r}$, that together sum to the zero vector. In this article, $C_m(r)$ is investigated for various assignments of $m$ and $r$. A few previous results are combined to definitively answer the question except in the case of $m=3$ a

Homa Nikbakht, Eric Ruzomberka, Michèle Wigger, Shlomo Shamai

A point-to-point communication is considered where a roadside unite (RSU) wishes to simultaneously send messages of enhanced mobile broadband (eMBB) and ultra-reliable low-latency communication (URLLC) services to a vehicle. The eMBB message arrives at the beginning of a block and its transmission lasts over the entire block. During each eMBB transmission bl

Rakesh Nadig, Mohammad Sadrosadati, Haiyu Mao, Nika Mansouri Ghiasi

The performance and capacity of solid-state drives (SSDs) are continuously improving to meet the increasing demands of modern data-intensive applications. Unfortunately, communication between the SSD controller and memory chips (e.g., 2D/3D NAND flash chips) is a critical performance bottleneck for many applications. SSDs use a multi-channel shared bus archi

Ryan Boldi, Lee Spector

When using Quality Diversity (QD) optimization to solve hard exploration or deceptive search problems, we assume that diversity is extrinsically valuable. This means that diversity is important to help us reach an objective, but is not an objective in itself. Often, in these domains, practitioners benchmark their QD algorithms against single objective optimi

Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan

Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and generalizable model across different application domains. In this paper, we propose an accurate and generalizable trans

Jong-Ho Kim, Young Ju Lee, Jea-Hyun Park

The study of collective behavior in multi-agent systems has attracted the attention of many researchers due to its wide range of applications. Among them, the Cucker-Smale model was developed to study the phenomenon of flocking, and various types of extended models have been actively proposed and studied in recent decades. In this study, we address open ques

Yi Su, Xiangyu Wang, Elaine Ya Le, Liang Liu

Effective exploration is believed to positively influence the long-term user experience on recommendation platforms. Determining its exact benefits, however, has been challenging. Regular A/B tests on exploration often measure neutral or even negative engagement metrics while failing to capture its long-term benefits. We here introduce new experiment designs

Yuheng Wang, Paul Fodor, Michael Kifer

Knowledge representation and reasoning (KRR) systems describe and reason with complex concepts and relations in the form of facts and rules. Unfortunately, wide deployment of KRR systems runs into the problem that domain experts have great difficulty constructing correct logical representations of their domain knowledge. Knowledge engineers can help with thi

Keyu Zhu, Nabeel Gillani, Pascal Van Hentenryck

In the face of increasingly severe privacy threats in the era of data and AI, the US Census Bureau has recently adopted differential privacy, the de facto standard of privacy protection for the 2020 Census release. Enforcing differential privacy involves adding carefully calibrated random noise to sensitive demographic information prior to its release. This

Sandhya S. Menon, Dafne Guetta, Simone Dall'Osso

The emission from shock breakouts (SBOs) represents the earliest electromagnetic (EM) signal emitted by cataclysmic events involving the formation or the merger of neutron stars (NSs). As such, SBOs carry unique information on the structure of their progenitors and on the explosion energy. The characteristic~SBO emission is expected in the UV range, and its

Yufei Tian, Anjali Narayan-Chen, Shereen Oraby, Alessandra Cervone

Automatic song writing is a topic of significant practical interest. However, its research is largely hindered by the lack of training data due to copyright concerns and challenged by its creative nature. Most noticeably, prior works often fall short of modeling the cross-modal correlation between melody and lyrics due to limited parallel data, hence generat

Ronen Eldan, Yuanzhi Li

Language models (LMs) are powerful tools for natural language processing, but they often struggle to produce coherent and fluent text when they are small. Models with around 125M parameters such as GPT-Neo (small) or GPT-2 (small) can rarely generate coherent and consistent English text beyond a few words even after extensive training. This raises the questi

Uri Abraham, Avi Hayoun

We present a formal framework for proving the correctness of set implementations backed by binary-search-tree (BST) and linked lists, which are often difficult to prove correct using automation. This is because many concurrent set implementations admit non-local linearization points for their `contains' procedure. We demonstrate this framework by applying it

Cyril Julien, Francine Meylan

In this paper, motivated by the work of Kim and Kolar for the case of pseudoconvex models which are sums of squares of polynomials, we study the Lie algebra of real-analytic infinitesimal $CR$ automorphisms of a model hypersurface $M_0$ given by \begin{equation} M_0= \{(z,w) \in \mathbb C^{3} \times \mathbb C \ | \ \Im w= P\bar Q + Q\bar P + R\bar R \}, \end

José de Ramón, Maria Papageorgiou, Eduardo Martín-Martínez

In this paper we analyze the problem of "apparent" superluminal signalling and retrocausation that can appear for particle detector models when considering non-compactly supported field-detector interactions in quantum field theory in curved spacetimes and in relativistic quantum information protocols. For this purpose, we define a signalling estimator based

Everton Boos, Douglas S. Goncalves, Fermin S. V. Bazan

Inspired by certain regularization techniques for linear inverse problems, in this work we investigate the convergence properties of the Levenberg-Marquardt method using singular scaling matrices. Under a completeness condition, we show that the method is well-defined and establish its local quadratic convergence under an error bound assumption. We also prov

Robert Lipshitz, Peter Ozsváth, Dylan Thurston

We define an invariant for bordered 3-manifolds with torus boundary, taking the form of a module over a weighted A-infinity algebra associated to a torus defined in previous work. On setting U=0, we obtain the bordered three-manifold invariants with torus boundary constructed earlier.

Prune C. August, Jacob L. Bean, Michael Zhang, Jonathan Lunine

We present the dayside thermal emission spectrum of WASP-77Ab from 2.8 -- 5.2 $\mu$m as observed with the NIRSpec instrument on the James Webb Space Telescope (JWST). WASP-77Ab was previously found to have a sub-solar metallicity and a solar carbon-to-oxygen (C/O) ratio from H$_2$O and CO absorption lines detected using high-resolution spectroscopy. By perfo

Andrea Jiménez, Daniel A. Quiroz, Christopher Thraves Caro

The immersion-analogue of Hadwiger's Conjecture states that every graph $G$ contains an immersion of $K_{\chi(G)}$. This conjecture has been recently strengthened in the following way: every graph $G$ contains a totally odd immersion of $K_{\chi(G)}$. We prove this stronger conjecture for line graphs of constant-multiplicity multigraphs, thus extending a res

Gecia Bravo-Hermsdorff, Róbert Busa-Fekete, Mohammad Ghavamzadeh, Andres Muñoz Medina

Modern statistical estimation is often performed in a distributed setting where each sample belongs to a single user who shares their data with a central server. Users are typically concerned with preserving the privacy of their samples, and also with minimizing the amount of data they must transmit to the server. We give improved private and communication-e

Leonard C. Nielsen, Paul Erhart, Manuel Guizar-Sicairos, Marianne Liebi

The development of small-angle scattering tensor tomography has enabled the study of anisotropic nanostructures in a volume-resolved manner. It is of great value to have reconstruction methods that can handle many different nanostructural symmetries. For such a method to be employed by researchers from a wide range of backgrounds, it is crucial that its reli

Elliot Kaplan, Christoph Kesting

We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of $\mathcal{R}$ is model complete (assuming that $T$ is), it has a distal theory, and the definable sets are geometrically tame.

Francesco Roscia, Michele Focchi, Andrea Del Prete, Darwin G. Caldwell

Quadruped robots are machines intended for challenging and harsh environments. Despite the progress in locomotion strategy, safely recovering from unexpected falls or planned drops is still an open problem. It is further made more difficult when high horizontal velocities are involved. In this work, we propose an optimization-based reactive Landing Controlle

Takuto Yamaguchi, Hironobu Yoshimi, Miyoshi Seki, Minoru Ohtsuka

Valley photonic crystal (VPhC) waveguides have attracted much attention because of their ability to enable robust light propagation against sharp bends. However, their demonstration using a complementary metal-oxide-semiconductor (CMOS)-compatible process suitable for mass production has not yet been reported at the telecom wavelengths. Here, by tailoring th

Marcus Collins

Using Brakke's Evolver, we numerically verify conjectured optimal planar double bubbles for density $r^p$ and provide conjectures for triple and quadruple bubbles.

Chung-Yang Wang, Carlota Pereira, Stewart Leith, Guillaume Rosaz

The performance of superconducting radio-frequency (SRF) cavities is sometimes limited by local defects. To investigate the RF properties of these local defects, especially those that nucleate RF magnetic vortices, a near-field magnetic microwave microscope is employed. Local third harmonic response (P3f) and its temperature-dependence and RF power-dependenc

Bo Li, Xiaowen Zhou

Applying excursion theory, we re-express several well studied fluctuation quantities associated to Parisian ruin problem for L\'evy risk processes in terms of integrals with respect to excursion measure for spectrally negative L\'evy process. We show that these new expressions reconcile with the previous results on Parisian ruin problem.

Jason Tsang, Harry Prapavessis

Introduction: The Canadian Guidelines recommend physical activity for overall health benefits, including cognitive, emotional, functional, and physical health. However, traditional research methods are inefficient and outdated. This paper aims to guide researchers in enhancing their research methods using software development kits and wearable smart devices.

Céline Péroux, Annalisa De Cia, J. Christopher Howk

Our ability to interpret observations of galaxies and trace their stellar, gas, and dust content over cosmic time critically relies on our understanding of how the dust abundance and properties vary with environment. Here, we compute the dust surface density across cosmic times to put novel constraints on simulations of the build-up of dust. We provide obser

Tobias Mistele

One of the aims of Aether Scalar Tensor Theory (AeST) is to reproduce the successes of Modified Newtonian Dynamics (MOND) on galactic scales. Indeed, the quasi-static limit of AeST achieves precisely this, assuming that the vector field $\vec{A}$ vanishes and that the so-called ghost condensate can be neglected. The effects of the ghost condensate were inves

Qianshan Zhan, Xiao-Jun Zeng

In transfer learning, transferability is one of the most fundamental problems, which aims to evaluate the effectiveness of arbitrary transfer tasks. Existing research focuses on classification tasks and neglects domain or task differences. More importantly, there is a lack of research to determine whether to transfer or not. To address these, we propose a ne

Wandemberg Gibaut, Leonardo Pereira, Fabio Grassiotto, Alexandre Osorio

Neurosymbolic AI deals with models that combine symbolic processing, like classic AI, and neural networks, as it's a very established area. These models are emerging as an effort toward Artificial General Intelligence (AGI) by both exploring an alternative to just increasing datasets' and models' sizes and combining Learning over the data distribution, Reaso

Shaoshu Su, Ce Hao, Catherine Weaver, Chen Tang

Autonomous racing control is a challenging research problem as vehicles are pushed to their limits of handling to achieve an optimal lap time; therefore, vehicles exhibit highly nonlinear and complex dynamics. Difficult-to-model effects, such as drifting, aerodynamics, chassis weight transfer, and suspension can lead to infeasible and suboptimal trajectories

Ilya Shapiro

Considering the monoidal category $\mathcal{C}$ obtained as modules over a Hopf algebra $H$ in a rigid braided category $\mathcal{B}$, we prove decomposition results for the Hochschild and cyclic homology categories $HH(\mathcal{C})$ and $HC(\mathcal{C})$ of $\mathcal{C}$. This is accomplished by defining a notion of a (stable) anti-Yetter-Drinfeld module wi

Sanjana Curtis, Pablo Bosch, Philipp Mösta, David Radice

We present a 3D general-relativistic magnetohydrodynamic simulation of a short-lived neutron star remnant formed in the aftermath of a binary neutron star merger. The simulation uses an M1 neutrino transport scheme to track neutrino-matter interactions and is well-suited to studying the resulting nucleosynthesis and kilonova emission. We find that the ejecta

Moumita Indra, Deepak Jain, Sandip Mondal

We have studied the collective spin-conserving collective excitation spectra in rotating diluted ultra-cold Bose atoms. Double roton-minima have been observed in the fractional quantum Hall (FQH) states for the two filling fractions ($\nu$) of the first series of Jain's composite fermion sequences. The obtained roton-minima for $\nu$ = 1/4 are at the wave-ve

Jan Mees, Thomas C. O'Connor, Lars Pastewka

We analyze the shear response of grafted polymer chains in shear flow via coarse-grained molecular dynamics simulations. Our simulations confirm that the shear response is dominated by the brush's outermost correlation volume, which depends on shear rate at high Weissenberg number. The system's shear stress can be approximated by the brush's entropic stress.

Maximiliano A. Sacco, Manuel Pulido, Juan J. Ruiz, Pierre Tandeo

Quantifying forecast uncertainty is a key aspect of state-of-the-art numerical weather prediction and data assimilation systems. Ensemble-based data assimilation systems incorporate state-dependent uncertainty quantification based on multiple model integrations. However, this approach is demanding in terms of computations and development. In this work a mach

Benjamin G. Janesko

We present a DFT+U-type functional for strong correlation, derived from multiconfigurational wavefunction theory. The reference system experiences electron-electron interactions only in DFT+U-type atomic states, yielding a block-localized configuration interaction Hamiltonian which depends on the atomic state occupancies and the promotion energies of doubly

Raghvendra Sahai, Benjamin Stenger

Using the GALEX archive, we have discovered extended structures around ten asymptotic giant branch (AGB) stars (out of a total 92 searched) emitting in the far-ultraviolet (FUV) band. In all but one, we find the typical morphology expected for a spherical wind moving relative to, and interacting with the ISM to produce an astrosphere. The exception is V\,Hya

Li Xiang, Ramesh Dhakal, Mykhaylo Ozerov, Yuxuan Jiang

Using optical magneto-spectroscopy, we investigate the magnetic excitations of Na$_2$Co$_2$TeO$_6$ in a broad magnetic field range ($0\ \rm{T}\leq B\leq 17.5\ \rm{T}$) at low temperature. Our measurements reveal rich spectra of in-plane magnetic excitations with a surprisingly large number of modes, even in the high-field spin-polarized state. Theoretical ca