April 2023 arXiv papers — page 68

De Tang, Zhi-An Wang

This paper is concerned with existence, non-existence and uniqueness of positive (coexistence) steady states to a predator-prey system with density-dependent dispersal. To overcome the analytical obstacle caused by the cross-diffusion structure embedded in the density-dependent dispersal, we use a variable transformation to convert the problem into an ellipt

Zhiyuan Yan, Min Li, Zhengyuan Shi, Wenjie Zhang

Boolean satisfiability problem (SAT) is fundamental to many applications. Existing works have used graph neural networks (GNNs) for (approximate) SAT solving. Typical GNN-based end-to-end SAT solvers predict SAT solutions concurrently. We show that for a group of symmetric SAT problems, the concurrent prediction is guaranteed to produce a wrong answer becaus

John C. Baez

Underlying the Riemann Hypothesis there is a question whose full answer still eludes us: what do the zeros of the Riemann zeta function really mean? As a step toward answering this, Andr\'e Weil proposed a series of conjectures that include a simplified version of the Riemann Hypothesis in which the meaning of the zeros becomes somewhat easier to understand.

Ebenezer R. H. P. Isaac, Jim Reno

Not too long ago, AI security used to mean the research and practice of how AI can empower cybersecurity, that is, AI for security. Ever since Ian Goodfellow and his team popularized adversarial attacks on machine learning, security for AI became an important concern and also part of AI security. It is imperative to understand the threats to machine learning

Olivier Bordellès, Randell Heyman, Dion Nikolic

We investigate various sparse sets that satisfy the prime number theorem. The sparsest of these sets, $\{\lfloor x/n^t \rfloor:n \le x\}$, has density approaching $1/x$ as $t$ approaches infinity.

L. N. Kalousis

The purpose of the present article is to offer an analytical model that can be used for the calibration of photomultiplier tubes (PMTs). The derivation of the mathematical formulae is discussed extensively and we apply this machinery to a real problem; the gain determination of the R7081 Hamamatsu PMT. We hope that our work can provide a third, powerful alte

Takwon Kim, Ki-Ahm Lee, Hyungsung Yun

In this paper, we study generalized Schauder theory for the degenerate/singular parabolic equations of the form $$u_t = a^{i'j'}u_{i'j'} + 2 x_n^{\gamma/2} a^{i'n} u_{i'n} + x_n^{\gamma} a^{nn} u_{nn} + b^{i'} u_{i'} + x_n^{\gamma/2} b^n u_{n} + c u + f \quad (\gamma \leq1).$$ When the equation above is singular, it can be derived from Monge--Amp\`ere equati

Minghao Liu, Jiaheng Wei, Yang Liu, James Davis

Artificial intelligence (AI) models for computer vision trained with supervised machine learning are assumed to solve classification tasks by imitating human behavior learned from training labels. Most efforts in recent vision research focus on measuring the model task performance using standardized benchmarks such as accuracy. However, limited work has soug

Siddharth P. Maharathy, Manimala Mitra

Doubly-charged Higgs bosons have extensively been searched at the LHC. In this work, we study the sensitivity reach of the doubly-charged scalar ($H^{\pm\pm}$) in muon collider for the well-known Type-II seesaw scenario. First, we perform a cut-based analysis to predict the discovery prospect in the muon collider operating with 3 TeV center of mass energy. I

Eric J. Baxter, Shivam Pandey, Susmita Adhikari, Weiguang Cui

The Sunyaev Zel'dovich (SZ) effect is sensitive to the pressure of ionized gas inside galaxy clusters, which is in turn controlled largely by the gravitational potential of the cluster. Changing the concentration parameter describing the cluster mass distribution impacts the gravitational potential and thus the cluster SZ signal, with implications for cosmol

Chuanan Wei

Harmonic numbers are significant in various branches of number theory. With the help of the digamma function, we prove ten conjectural series of Z.-W. Sun involving harmonic numbers. Several ones of them are also series expansions of $\log2/\pi^2$.

Hidehito Nagao, Yasuhiko Yamada

Three $q$-Painlev\'e type equations are derived through degenerations of the $q$-Painlev\'e equation with affine Weyl group symmetry of type $q$-$E_8^{(1)}$. The three $q$-Painlev\'e type equations are associated with different realizations of the same symmetry/surface type $q$-$E_7^{(1)}$/$q$-$A_1^{(1)}$. We give three representations of affine Weyl group a

Douglas M. Gingrich

Quantum atmosphere effective radii for the emission of spin-0, -1/2, -1, and -2 massless fields from Schwarzschild, Tangherlini, non-commutative geometry inspired, and polymeric black holes are calculated. The power observed from the black hole at spatial infinity taking greybody factors into account is compared to an equal-power black-body radiator of the s

Dinesh Kumar, Dilworth Y. Parkinson, Jeffrey J. Donatelli

X-Ray based computed tomography (CT) is a well-established technique for determining the three-dimensional structure of an object from its two-dimensional projections. In the past few decades, there have been significant advancements in the brightness and detector technology of tomography instruments at synchrotron sources. These advancements have led to the

Siyuan Wu, Ruijuan Xiao, Hong Li, Liquan Chen

A potential superionic material LiY(SO$_4$)$_2$ has been excavated from the published literatures because its synthesis method and experiment data implied it exists the superionic state. We use \textit{ab initio} calculation to analyzing the differences between solid state and superionic state. We found the diffusion of Li$^+$ from the lattice site to the in

Joseph Hickey

Firms compete for clients, creating distributions of market shares ranging from domination by a few giant companies to markets in which there are many small firms. These market structures evolve in time, and may remain stable for many years before a new firm emerges and rapidly obtains a large market share. We seek the simplest realistic model giving rise to

Wen Hu, Da-hai Yan, Qiang-lin Hu

An interesting result recently reported for Mrk 421 is the detection of a significant excess at hard X-ray energies, which could provide useful information for investigating particle acceleration and emission mechanisms in the relativistic jet. Considering a two-injection scenario, we develop a self-consistent one-zone leptonic model to understand the origin

X. Cheng, E. R. Priest, H. T. Li, J. Chen

Magnetic reconnection is a key mechanism involved in solar eruptions and is also a prime possibility to heat the low corona to millions of degrees. Here, we present ultra-high-resolution extreme ultraviolet observations of persistent null-point reconnection in the corona at a scale of about 390 km over one hour observations of the Extreme-Ultraviolet Imager

Yuqing Zou, Zeyu Zhang, Chunwei Wang, Yifan Cheng

Vertical van der Waals (vdW) heterostructures consisting of graphene (Gr) and transition metal dichalcogenides (TMDs) have created a fascinating platform for exploring optical and electronic properties in the two-dimensional limit. Previous study has revealed the ultrafast formation of interfacial excitons and the exciton dynamics in the Gr/MoS2 heterostruct

Stephen Ebert, Christian Ferko, Zhengdi Sun

We develop the holographic dictionary for pure $\mathrm{AdS}_3$ gravity where the Lagrangian of the dual $2d$ conformal field theory has been deformed by an arbitrary function of the energy-momentum tensor. In addition to the $T \overline{T}$ deformation, examples of such functions include a class of marginal stress tensor deformations which are special beca

Kwang-Wu Chen, Minking Eie, Yao Lin Ong

In this paper, we provide a symmetric formula and a duality formula relating multiple zeta values and zeta-star values. Leveraging Zagier's formula for computing $\zeta^\star(\{2\}^p,3,\{2\}^q)$, we employ our theorems to establish a formula for computing $\zeta^\star(\{2\}^p,1,\{2\}^q)$ for any positive integers $p$ and $q$, along with other formulas of int

Hiruni Kegalle, Danula Hettiachchi, Jeffrey Chan, Flora Salim

Micro-mobility services (e.g., e-bikes, e-scooters) are increasingly popular among urban communities, being a flexible transport option that brings both opportunities and challenges. As a growing mode of transportation, insights gained from micro-mobility usage data are valuable in policy formulation and improving the quality of services. Existing research a

Kei Irie

For any star-shaped toric domain in $\mathbb{C}^2$, we define a filtered chain complex which conjecturally computes positive $S^1$-equivariant symplectic homology of the domain. Assuming this conjecture, we show that the limit $\lim_{k \to \infty} c^{\mathrm{GH}}_k(X)/k$ exists for any star-shaped toric domain $X \subset \mathbb{C}^2$, where $c^{\mathrm{GH}}

Francesca Borzumati, Kaoru Hagiwara, Kentarou Mawatari, Youichi Yamada

Pair-produced long-lived lightest Higgsinos decaying within a few meters in the LHC detectors are considered. The relatively light nearly-pure Higgsino states object of this study are those of a supersymmetric minimal model with gauge-mediated supersymmetry breaking and heavy sfermions and gauginos. The heavier Higgsinos decay instantly into the lightest one

Ekaterina Ponizovskaya-Devine

The influence of crosstalk on quantum communication networks and its mitigation is discussed. It was shown that choosing the parameters for the network that uses the phase stochastic resonance phenomena can increase the signal-to-noise ratio.

Yansong Feng, Abderrahmane Nitaj, Yanbin Pan

The Implicit Factorization Problem was first introduced by May and Ritzenhofen at PKC'09. This problem aims to factorize two RSA moduli $N_1=p_1q_1$ and $N_2=p_2q_2$ when their prime factors share a certain number of least significant bits (LSBs). They proposed a lattice-based algorithm to tackle this problem and extended it to cover $k>2$ RSA moduli. Since

Zhuojia Shen, John Criswell

With the increasing popularity of AArch64 processors in general-purpose computing, securing software running on AArch64 systems against control-flow hijacking attacks has become a critical part toward secure computation. Shadow stacks keep shadow copies of function return addresses and, when protected from illegal modifications and coupled with forward-edge

Rafi Ahmed, Hai Deng

This paper introduces a new moving target detection method under crabbing error due to platform motion. Two contour-based attributes known as circularity ratio and bending energy are extracted to a transformed domain of the radar samples. These features are applied to detect the target and non-linear clutter using a machine learning classifier. The effective

Romario Sameh Samir

Accurate and efficient classification of different types of cancer is critical for early detection and effective treatment. In this paper, we present the results of our experiments using the EfficientNet algorithm for classification of brain tumor, breast cancer mammography, chest cancer, and skin cancer. We used publicly available datasets and preprocessed

Rahul Deshpande, Aron van den Bogaard, Ricardo Vinuesa, Luka Lindić

We study the Reynolds-number effects on the outer region of moderate adverse-pressure-gradient (APG) turbulent boundary layers (TBLs) and find that their small scale energy reduces with increasing friction Reynolds-number ($Re_{\tau}$). The trend is based on analyzing APG TBL data across 600 $\lesssim$ $Re_{\tau}$ $\lesssim$ 7000, and contrasts with the negl

Ahmad J. Alkhodair, Saraju P. Mohanty, Elias Kougianos

Distributed Ledger Technology (DLT) has been introduced using the most common consensus algorithm either for an electronic cash system or a decentralized programmable assets platform which provides general services. Most established reliable networks are unsuitable for all applications such as smart cities applications, and, in particular, Internet of Things

Tosca Lechner, Shai Ben-David

We consider the long-standing question of finding a parameter of a class of probability distributions that characterizes its PAC learnability. We provide a rather surprising answer - no such parameter exists. Our techniques allow us to show similar results for several general notions of characterizing learnability and for several learning tasks. We show that

Vishal P. Patil, Ian Ho, Manu Prakash

Computation, mechanics and materials merge in biological systems, which can continually self-optimize through internal adaptivity across length scales, from cytoplasm and biofilms to animal herds. Recent interest in such material-based computation uses the principles of energy minimization, inertia and dissipation to solve optimization problems. Although spe

MingChao Guo, ShiJie Pan, WenMin Li, Fei Gao

Anomaly detection, an important branch of machine learning, plays a critical role in fraud detection, health care, intrusion detection, military surveillance, etc. As one of the most commonly used unsupervised anomaly detection algorithms, the Local Outlier Factor algorithm (LOF algorithm) has been extensively studied. This algorithm contains three steps, i.

Tianhao Li, Sandesh Shetty, Advaith Kamath, Ajay Jaiswal

Large pre-trained language models (LLMs) have been shown to have significant potential in few-shot learning across various fields, even with minimal training data. However, their ability to generalize to unseen tasks in more complex fields, such as biology, has yet to be fully evaluated. LLMs can offer a promising alternative approach for biological inferenc

Xiyang Wang, Chunyun Fu, Jiawei He, Mingguang Huang

In the classical tracking-by-detection (TBD) paradigm, detection and tracking are separately and sequentially conducted, and data association must be properly performed to achieve satisfactory tracking performance. In this paper, a new end-to-end multi-object tracking framework is proposed, which integrates object detection and multi-object tracking into a s

Xiaoping Xie, Hao Cai, Can Li, Fei Ding

The incidence rate of voice diseases is increasing year by year. The use of software for remote diagnosis is a technical development trend and has important practical value. Among voice diseases, common diseases that cause hoarseness include spasmodic dysphonia, vocal cord paralysis, vocal nodule, and vocal cord polyp. This paper presents a voice disease det

Zhong-Qiu Wang, Samuele Cornell, Shukjae Choi, Younglo Lee

We propose FSB-LSTM, a novel long short-term memory (LSTM) based architecture that integrates full- and sub-band (FSB) modeling, for single- and multi-channel speech enhancement in the short-time Fourier transform (STFT) domain. The model maintains an information highway to flow an over-complete input representation through multiple FSB-LSTM modules. Each FS

Jiaxiong Qiu, Peng-Tao Jiang, Yifan Zhu, Ze-Xin Yin

Neural implicit methods have achieved high-quality 3D object surfaces under slight specular highlights. However, high specular reflections (HSR) often appear in front of target objects when we capture them through glasses. The complex ambiguity in these scenes violates the multi-view consistency, then makes it challenging for recent methods to reconstruct ta

Thiago Cavalheiro, Alexandre Santana, João Cossich

In this paper, we present conditions for the existence and uniqueness of chain control sets of discrete-time linear systems on the affine two-dimensional Lie group. More specifically, we prove that these chain control sets are given by the union of an infinite number of control sets with empty interiors.

Ting-ting Ma, Yu-qiang Liu, Chang-shui Yu

The most important difference between ultrastrong and non-ultrastrong coupling regimes is that the ground state contains excitations. We consider a qubit-plasmon-phonon ultrastrong coupling (USC) system with a three-level atom coupled to the photon and phonon via its upper two energy levels and show that spontaneous emission of the atom from its intermediate

Hoang-Giang Cao, Weihao Zeng, I-Chen Wu

It is crucial to address the following issues for ubiquitous robotics manipulation applications: (a) vision-based manipulation tasks require the robot to visually learn and understand the object with rich information like dense object descriptors; and (b) sim-to-real transfer in robotics aims to close the gap between simulated and real data. In this paper, w

Yuki Minowa

Let $\mathcal{G}_{\alpha}(X, G)$ be the $G$-gauge group over a space $X$ corresponding to a map $\alpha \colon X \to BG$. We compute the integral cohomology of $B\mathcal{G}_{1}(S^2, SO(n))$ for $n = 3,4$. We also show that the homology of $B\mathcal{G}_{1}(S^2, SO(n))$ is torsion free if and only if $n\le 4$. As an application, we classify the homotopy type

Lulu Kang, Xinwei Deng, Ran Jin

Systems with both quantitative and qualitative responses are widely encountered in many applications. Design of experiment methods are needed when experiments are conducted to study such systems. Classic experimental design methods are unsuitable here because they often focus on one type of response. In this paper, we develop a Bayesian D-optimal design meth

Stanley Kingston, Prassanth, Shrinivas A, Balamurugan MS

This work involves the usage of various NLP models to predict the winner of a particular judgment by the means of text extraction and summarization from a judgment document. These documents are useful when it comes to legal proceedings. One such advantage is that these can be used for citations and precedence reference in Lawsuits and cases which makes a str

Z. P. Luong, M. T. Vo

The paper presents the multipole expansion for the electron-nucleus scattering cross section at high energies within the framework of the unified electroweak theory. The electroweak currents of the nucleus are expanded into the simple components with definite angular momenta, called the multipole form factors. The multipole expansion of the cross section is

Cristiano Politowski, Fabio Petrillo, Ghizlane ElBoussaidi, Gabriel C. Ullmann

As the complexity and scope of games increase, game testing, also called playtesting, becomes an essential activity to ensure the quality of video games. Yet, the manual, ad-hoc nature of game testing leaves space for automation. In this paper, we research, design, and implement an approach to supplement game testing to balance video games with autonomous ag

David Bindel, Matt Landreman, Misha Padidar

In designing stellarators, any design decision ultimately comes with a trade-off. Improvements in particle confinement, for instance, may increase the burden on engineers to build more complex coils, and the tightening of financial constraints may simplify the design and worsen some aspects of transport. Understanding trade-offs in stellarator designs is cri

Haoxiang Luo, Xiangyue Yang, Hongfang Yu, Gang Sun

Due to advantages in security and privacy, blockchain is considered a key enabling technology to support 6G communications. Practical Byzantine Fault Tolerance (PBFT) and RAFT are seen as the most applicable consensus mechanisms (CMs) in blockchain-enabled wireless networks. However, previous studies on PBFT and RAFT rarely consider the channel performance o

Lorenzo Quarisa, José L. Rodrigo

The Rayleigh and Orr-Sommerfeld equations are ODEs which arise from the linearized Euler and Navier-Stokes equation around a shear flow. In this paper, we consider the adjoints of the Rayleigh and Orr-Sommerfeld equations on $[0,\infty)$ with respect to the complex $L^2$ product. In the viscous case, we consider a family of viscosity-dependent Navier boundar

Yifan Wang, Meng Yuan, Lei Li, Karen Sui Geok Chua

Numerous diseases and aging can cause degeneration of people's balance ability resulting in limited mobility and even high risks of fall. Robotic technologies can provide more intensive rehabilitation exercises or be used as assistive devices to compensate for balance ability. However, With the new healthcare paradigm shifting from hospital care to home care

Christian Táfula

Let $A\subseteq \mathbb{Z}_{\geq 0}$ be a finite set with minimum element $0$, maximum element $m$, and $\ell$ elements strictly in between. Write $(hA)^{(t)}$ for the set of integers that can be written in at least $t$ ways as a sum of $h$ elements of $A$. We prove that $(hA)^{(t)}$ is "structured" for \[ h \geq (1+o(1)) \frac{1}{e} m\ell t^{1/\ell} \] (as

Siying Hu, Hen Chen Yen, Ziwei Yu, Mingjian Zhao

Wizard of Oz (WoZ) as a prototyping method has been used to simulate intelligent user interfaces, particularly for speech-based systems. However, as our societies' expectations on artificial intelligence (AI) grows, the question remains whether a single Wizard is sufficient for it to simulate smarter systems and more complex interactions. Optimistic visions

Fitrio Pakana, Nasrin Sohrabi, Chenhao Xu, Zahir Tari

Storage systems using Peer-to-Peer (P2P) architecture are an alternative to the traditional client-server systems. They offer better scalability and fault tolerance while at the same time eliminate the single point of failure. The nature of P2P storage systems (which consist of heterogeneous nodes) introduce however data placement challenges that create impl

Michael Bidollahkhani, Ferhat Atasoy, Hamdan Abdellatef

We present LTC-SE, an improved version of the Liquid Time-Constant (LTC) neural network algorithm originally proposed by Hasani et al. in 2021. This algorithm unifies the Leaky-Integrate-and-Fire (LIF) spiking neural network model with Continuous-Time Recurrent Neural Networks (CTRNNs), Neural Ordinary Differential Equations (NODEs), and bespoke Gated Recurr

Jamila Chouqar, Jacob Lustig-Yaeger, Zouhair Benkhaldoun, Andrew Szentgyorgyi

In this paper, we compare the chemistry and the emission spectra of nitrogen-dominated cool, warm, and hot ultra-short-period (USP) super-Earth atmospheres in and out of chemical equilibrium at various surface pressure scenarios ranging from 0.1 to 10 bar. We link the one-dimensional VULCAN chemical kinetic code, in which thermochemical kinetic and vertical

Moubariz Z. Garaev, Igor E. Shparlinski

Let $\varepsilon>0$ be a fixed small constant, ${\mathbb F}_p$ be the finite field of $p$ elements for prime $p$. We consider additive and multiplicative problems in ${\mathbb F}_p$ that involve intervals and arbitrary sets. Representative examples of our results are as follows. Let ${\mathcal M}$ be an arbitrary subset of ${\mathbb F}_p$. If $\#{\mathcal M}

Pedro Mendes

The issue of reproducibility of computational models and the related FAIR principles (findable, accessible, interoperable, and reusable) are examined in a specific test case. I analyze a computational model of the segment polarity network in Drosophila embryos published in 2000. Despite the high number of citations to this publication, 23 years later the mod

Meiqi Hu, Chen Wu, Liangpei Zhang

High spectral resolution imagery of the Earth's surface enables users to monitor changes over time in fine-grained scale, playing an increasingly important role in agriculture, defense, and emergency response. However, most current algorithms are still confined to describing local features and fail to incorporate a global perspective, which limits their abil

Hyun Min Lee, Adriana Menkara

We study the hybrid inflation with a pseudo-Nambu-Goldstone boson inflaton and two waterfall scalar fields. The $Z_2$ symmetry for the waterfall fields keeps inflaton potential flat against quantum corrections coming from the waterfall couplings, and it is broken spontaneously in the vacuum without a domain wall problem within the Hubble horizon of our unive

Sheryl Mathew, Annapoorani Subramanian, Pooja, Balamurugan MS

Human activity recognition is one of the most important tasks in computer vision and has proved useful in different fields such as healthcare, sports training and security. There are a number of approaches that have been explored to solve this task, some of them involving sensor data, and some involving video data. In this paper, we aim to explore two deep l

Gilbert Bahati, Pio Ong, Aaron D. Ames

A common assumption on the deployment of safeguarding controllers on the digital platform is that high sampling frequency translates to a small violation of safety. This paper investigates and formalizes this assumption through the lens of Input-to-State Safety. From this perspective, and leveraging control barrier functions (CBFs), we propose an alternative

Pio Ong, Aaron D. Ames

In balancing safety with the nominal control objectives, e.g., stabilization, it is desirable to reduce the time period when safety filters are in effect. Inspired by traditional spacecraft maneuvers, and with the ultimate goal of reducing the duration when safety is of concern, this paper proposes an event-triggered control framework with switching state-ba

Sebastião dos Anjos Sousa-Júnior, Natanael C. Costa, Raimundo R. dos Santos

The extended Hubbard model (EHM) describes fermions on a lattice coupled through on-site, $U$, and first-neighbor, $V$, interactions. In the context of high-$T_c$ cuprates, antiferromagnetic fluctuations may lead to an attractive channel, hence to superconductivity. Despite interest in the two-dimensional version of the model, the current knowledge about the

Aisha Urooj Khan, Hilde Kuehne, Bo Wu, Kim Chheu

Answering questions about complex situations in videos requires not only capturing the presence of actors, objects, and their relations but also the evolution of these relationships over time. A situation hyper-graph is a representation that describes situations as scene sub-graphs for video frames and hyper-edges for connected sub-graphs and has been propos

Shantanu Mandal, Adhrik Chethan, Vahid Janfaza, S M Farabi Mahmud

Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the correct configuration, along with their valid bounds and rules, which are commonly referred to as software specifications. As software systems grow in complexity and scale, the number o

Sinai Robins

The integer point transform $\sigma_{\mathcal P}$ is an important invariant of a rational polytope $\mathcal P$, and here we show that it is a complete invariant. We prove that it is only necessary to evaluate $\sigma_{\mathcal P}$ at one algebraic point in order to uniquely determine $\mathcal P$, by employing the Lindemann-Weierstrass theorem. Similarly, w

Joseph A. M. Paddison, Li Yin, Keith M. Taddei, Malcolm J. Cochran

The kagome lattice can host exotic magnetic phases arising from frustrated and competing magnetic interactions. However, relatively few insulating kagome materials exhibit incommensurate magnetic ordering. Here, we present a study of the magnetic structures and interactions of antiferromagnetic Na$_2$Mn$_3$Cl$_8$ with an undistorted Mn$^{2+}$ kagome network.

Akhil Nekkanti, Sheel Nidhan, Oliver T. Schmidt, Sutanu Sarkar

A turbulent circular disk wake database (Chongsiripinyo \& Sarkar, \textit{J. Fluid Mech.}, vol. 885, 2020) at Reynolds number $\textit{Re} = U_\infty D/\nu = 5 \times 10^{4}$ is interrogated to identify the presence of large-scale streaks - coherent elongated regions of streamwise velocity. The unprecedented streamwise length - until $x/D \approx 120$ - of

Wei Ren

In this paper, we prove that reduced dynamics on Collatz conjecture is periodical, and its period equals 2 to the power of the count of x/2 computation in the reduced dynamics. More specifically, if there exists reduced dynamics of x (that is, start from an integer x and the computation will go to an integer less than x), then there must also exist reduced d

Avimita Chatterjee, Koustubh Phalak, Swaroop Ghosh

In the current Noisy Intermediate Scale Quantum (NISQ) era of quantum computing, qubit technologies are prone to imperfections, giving rise to various errors such as gate errors, decoherence/dephasing, measurement errors, leakage, and crosstalk. These errors present challenges in achieving error-free computation within NISQ devices. A proposed solution to th

Irénée Frérot, Amit Vashisht, Martina Morassi, Aristide Lemaître

The elementary excitations in weakly interacting quantum fluids have a non-trivial nature which is at the basis of defining quantum phenomena such as superfluidity. These excitations and the physics they lead to have been explored in closed quantum systems at thermal equilibrium both theoretically within the celebrated Bogoliubov framework, and experimentall

Jie Zhu, Bo-Qiang Ma

Finsler geometry is a natural and fundamental generalization of Riemann geometry, and is a tool to research Lorentz invariance violation. We find the connection between the most general modified dispersion relation and a pseudo-Finsler structure, and then we calculate the arrival time delay of astroparticles with different modified dispersion relations in th

Neeraj K. Rajak, Dumpala Tirumalarao, Gourav Vaid, Sharath Kumar C

Although there is no complete theory of high temperature superconductivity, the importance of CuO$_2$ planes in cuprate superconductors is confirmed from both theory and experiments. Strong Coulomb repulsion between electrons on the CuO$_2$ plane makes the resultant electron system highly correlated and a difficult problem to solve since exact solutions of m

Victor Y. Wang

We show that almost all primes $p\not\equiv \pm 4 \bmod{9}$ are sums of three cubes, assuming a conjecture due to Hooley, Manin, et al. on cubic fourfolds. This conjecture is approachable under standard statistical hypotheses on geometric families of $L$-functions.

Nishant Panda, Natalie Klein, Dominic Yang, Patrick Gasda

Given two probability densities on related data spaces, we seek a map pushing one density to the other while satisfying application-dependent constraints. For maps to have utility in a broad application space (including domain translation, domain adaptation, and generative modeling), the map must be available to apply on out-of-sample data points and should

John T. Antolik, Jesse L. Belden, Nathan B. Speirs, Daniel M. Harris

When a blunt body impacts an air-water interface, large hydrodynamic forces often arise, a phenomenon many of us have unfortunately experienced in a failed dive or "belly flop." Beyond assessing risk to biological divers, an understanding and methods for remediation of such slamming forces are critical to the design of numerous engineered naval and aerospace

Pelle Steffens

This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in differential geometry and mathematical physics. To advertise the advantages of such a theory, we start with a detailed intro

Pranav Guruprasad, Sujith Kumar S, Vigneswaran C, V. Srinivasa Chakravarthy

With the surging inclination towards carrying out tasks on computational devices and digital mediums, any method that converts a task that was previously carried out manually, to a digitized version, is always welcome. Irrespective of the various documentation tasks that can be done online today, there are still many applications and domains where handwritte

Kenneth S. Alexander

It is not known (and even physicists disagree) whether first passage percolation (FPP) on $\mathbb{Z}^d$ has an upper critical dimension $d_c$, such that the fluctuation exponent $\chi=0$ in dimensions $d>d_c$. In part to facilitate study of this question, we may nonetheless try to understand properties of FPP in such dimensions should they exist, in particu

V. Lora, J. A. Toalá, J. I. González-Carbajal, M. A. Guerrero

We present the first 3D radiation-hydrodynamic simulations of the formation of planetary nebulae (PNe) emerging from 3D spiral patterns. We use the GUACHO code to create 3D spiral structures as a consequence of the distortions on the geometry of the intrinsically isotropic wind of an asymptotic giant branch (AGB) star produced by a companion star in a circul

Shankar Dutt, Christian Notthoff, Xue Wang, Christina Trautmann

The annealing kinetics of the high energy ion damage in amorphous silicon dioxide (a-SiO2) are still not well understood, despite the material's widespread application in material science, physics, geology, and biology. This study investigates how annealing temperature, duration, and ambient environment affect the recovery of irradiation damage produced alon

K. Garcia-Cifuentes, R. L. Becerra, F. De Colle, J. I. Cabrera

Gamma-Ray bursts (GRBs) have been traditionally classified based on their duration. The increasing number of extended emission (EE) GRBs, lasting typically more than 2 seconds but with properties similar to those of a short GRBs, challenges the traditional classification criteria. In this work, we use the t-Distributed Stochastic Neighbor Embedding (t-SNE),

Hamed Khosravi, Taofeeq Olajire, Ahmed Shoyeb Raihan, Imtiaz Ahmed

Manufacturing advanced materials and products with a specific property or combination of properties is often warranted. To achieve that it is crucial to find out the optimum recipe or processing conditions that can generate the ideal combination of these properties. Most of the time, a sufficient number of experiments are needed to generate a Pareto front. H

Tanish Jain

The positive therapeutic effect of viewing pet images online has been well-studied. However, it is difficult to obtain large-scale production of such content since it relies on pet owners to capture photographs and upload them. I use a Generative Adversarial Network-based framework for the creation of fake pet images at scale. These images are uploaded on an

Leonardo Kosloff, César J. Niche, Gabriela Planas

In this paper we address the decay of solutions to the four-dimen\-sional energy-critical nonlinear heat equation in the critical space $\dot{H}^1$. Recently, it was proven that the $\dot{H}^1$ norm of solutions goes to zero when time goes to infinity, but no decay rates were established. By means of the Fourier Splitting Method and using properties arising

Yuxiang Yang, Xiangyun Meng, Wenhao Yu, Tingnan Zhang

Jumping is essential for legged robots to traverse through difficult terrains. In this work, we propose a hierarchical framework that combines optimal control and reinforcement learning to learn continuous jumping motions for quadrupedal robots. The core of our framework is a stance controller, which combines a manually designed acceleration controller with

Luk Burchard, Max Xiaohang Zhao, Johannes Langguth, Aydın Buluç

Dedicated accelerator hardware has become essential for processing AI-based workloads, leading to the rise of novel accelerator architectures. Furthermore, fundamental differences in memory architecture and parallelism have made these accelerators targets for scientific computing. The sequence alignment problem is fundamental in bioinformatics; we have imple

Henry Alston, Luca Cocconi, Thibault Bertrand

Nonreciprocal interactions are commonplace in continuum-level descriptions of both biological and synthetic active matter, yet studies addressing their implications for time-reversibility have so far been limited to microscopic models. Here, we derive a general expression for the average rate of informational entropy production in the most generic mixture of

Alex Junho Lee, Seungwon Song, Hyungtae Lim, Woojoo Lee

Localization has been a challenging task for autonomous navigation. A loop detection algorithm must overcome environmental changes for the place recognition and re-localization of robots. Therefore, deep learning has been extensively studied for the consistent transformation of measurements into localization descriptors. Street view images are easily accessi

Alfredo D. Millano, Genly Leon, Andronikos Paliathanasis

We study the dynamics of the field equations in a four-dimensional isotropic and homogeneous spatially flat Friedmann--Lema\^{\i}tre--Robertson--Walker geometry in the context of Einstein-Gauss-Bonnet theory with a matter source and a scalar field coupled to the Gauss-Bonnet scalar. In this theory, the Gauss-Bonnet term contributes to the field equations. Th

Adithyaa Karthikeyan, Himanshu Balhara, Abhishek Hanchate, Andreas K Lianos

This study aims to relate the time-frequency patterns of acoustic emission (AE) and other multi-modal sensor data collected in a hybrid directed energy deposition (DED) process to the pore formations at high spatial (0.5 mm) and time (< 1ms) resolutions. Adapting an explainable AI method in LIME (Local Interpretable Model-Agnostic Explanations), certain high

Xi Cen

In this paper, we prove the boundedness of the multilinear Littlewood-Paley square operators and their commutators on weighted Morrey spaces, then we give the boundedness and weak-type $L\log L$ estimates for the commutators of multilinear Littlewood-Paley g-functions and multilinear Marcinkiewicz integrals on weighted Morrey spaces in the form of corollarie

Kunio Kaneta, Kin-ya Oda, Motohiko Yoshimura

Cosmological analysis of extended Jordan-Brans-Dicke (eJBD) gravity is presented in the Einstein metric frame in which gravitational interaction is readily understandable. Our formulation is the first systematic investigation of how to introduce lagrangian of standard particle physics in eJBD framework consistently with the general principle of spontaneously

Nikolaj Bjørner, Shuo Chen, Yang Chen, Zhongxin Guo

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to focus on design-level properties rather than specific low-level attack patterns. Our proposed technology, called Theorem-C

Nuno Guerreiro, Vasco Amaral, Miguel Goulão

Sound - the oft-neglected sense for Software Engineering - is a crucial component of our daily lives, playing a vital role in how we interact with the world around us. In this paper, we challenge the traditional boundaries of Software Engineering by proposing a new approach based on sound design for using sound in modelling tools that is on par with visual d

Polina Zablotskaia, Du Phan, Joshua Maynez, Shashi Narayan

Modern deep models for summarization attains impressive benchmark performance, but they are prone to generating miscalibrated predictive uncertainty. This means that they assign high confidence to low-quality predictions, leading to compromised reliability and trustworthiness in real-world applications. Probabilistic deep learning methods are common solution

Tianyu Wang, Christopher Pierce, Velin Kojouharov, Baxi Chong

Limbless locomotors, from microscopic worms to macroscopic snakes, traverse complex, heterogeneous natural environments typically using undulatory body wave propagation. Theoretical and robophysical models typically emphasize body kinematics and active neural/electronic control. However, we contend that because such approaches often neglect the role of passi

F. Demontis, G. Ortenzi, G. Roberti, M. Sommacal

We study the (1+1) focussing nonlinear Schr\"{o}dinger equation for an initial condition with compactly-supported parabolic profile and phase depending quadratically on the spatial coordinate. In the absence of dispersion, using the natural class of self-similar solutions, we provide a criterion for blow-up in finite time, generalising a result by Talanov et

Abdullah Taha Çağan, Görkem Berkay Koç, Handan Yakın, Berk Çiloğlu

Providing a stable connectivity in maritime communications is of utmost importance to unleash the full potential of smart ports. Nonetheless, due to the crowded nature of harbor environments, it is likely that some ships are shadowed by others, resulting in reduced received power that subsequently diminishes their data rates-even threatens basic connectivity