July 2023 arXiv papers — page 107
Showing 10,601–10,700 of 16,958 papers
Guoxiu He, Aixin Sun, Wei Lu
Fast-growing scientific publications present challenges to the scientific community. In this paper, we describe their implications to researchers. As references form explicit foundations for researchers to conduct a study, we investigate the evolution in reference patterns based on 60.8 million papers published from 1960 to 2015. The results demonstrate that
WaterScenes: A Multi-Task 4D Radar-Camera Fusion Dataset and Benchmarks for Autonomous Driving on Water Surfaces
cs.CVShanliang Yao, Runwei Guan, Zhaodong Wu, Yi Ni
Autonomous driving on water surfaces plays an essential role in executing hazardous and time-consuming missions, such as maritime surveillance, survivors rescue, environmental monitoring, hydrography mapping and waste cleaning. This work presents WaterScenes, the first multi-task 4D radar-camera fusion dataset for autonomous driving on water surfaces. Equipp
Linghua Zhu, Senwei Liang, Chao Yang, Xiaosong Li
The rapid progress in quantum computing has opened up new possibilities for tackling complex scientific problems. Variational quantum eigensolver (VQE) holds the potential to solve quantum chemistry problems and achieve quantum advantages. However, the measurement step within the VQE framework presents challenges. It can introduce noise and errors while esti
Lahcen Akerkouch, Trung Bao Le
We investigate the dynamics of the Red Blood Cell (RBC) in microfluidic channels under oscillatory flows. The simulations employ a hybrid continuum-particle approach, in which the cell membrane and cytosol fluid are modeled using Dissipative Particle Dynamics (DPD) method, and the blood plasma is modeled as an incompressible fluid via the Immersed Boundary M
Lev Barash, Arman Babakhani, Itay Hen
We present a universal parameter-free quantum Monte Carlo (QMC) algorithm designed to simulate arbitrary spin-$1/2$ Hamiltonians. To ensure the convergence of the Markov chain to equilibrium for every conceivable case, we devise a clear and simple automated protocol that produces QMC updates that are provably ergodic and satisfy detailed balance. We demonstr
$\Omega^-$ production as a probe of equation of state of dense matter near the QCD phase transition in relativistic heavy-ion collisions
nucl-thZhi-Min Wu, Gao-Chan Yong
The production of doubly strange hyperon $\Xi^-$ and trebly strange hyperon $\Omega^-$ in relativistic Au+Au collisions at $\sqrt{s_{NN}}$ = 4.2 GeV is explored based on a relativistic transport model that is interweaved with hadronic mean-field potentials for heavy-ion collisions. Upon comparison, it appears that relative to the double strangeness observabl
Wenzhou Lv, Tianyu Wu, Luolin Xiong, Liang Wu
Objective: The artificial pancreas (AP) has shown promising potential in achieving closed-loop glucose control for individuals with type 1 diabetes mellitus (T1DM). However, designing an effective control policy for the AP remains challenging due to the complex physiological processes, delayed insulin response, and inaccurate glucose measurements. While mode
Hong Sun, Xue Li, Yinchuan Xu, Youkow Homma
This paper presents AutoHint, a novel framework for automatic prompt engineering and optimization for Large Language Models (LLM). While LLMs have demonstrated remarkable ability in achieving high-quality annotation in various tasks, the key to applying this ability to specific tasks lies in developing high-quality prompts. Thus we propose a framework to inh
On the ability of CNNs to extract color invariant intensity based features for image classification
cs.CVPradyumna Elavarthi, James Lee, Anca Ralescu
Convolutional neural networks (CNNs) have demonstrated remarkable success in vision-related tasks. However, their susceptibility to failing when inputs deviate from the training distribution is well-documented. Recent studies suggest that CNNs exhibit a bias toward texture instead of object shape in image classification tasks, and that background information
Joseph Kraisler, Amir Sagiv, Michael I. Weinstein
Dispersive time-decay estimates are proved for a one-parameter family of one-dimensional Dirac Hamiltonians with dislocations; these are operators which interpolate between two phase-shifted massive Dirac Hamiltonians at $x=+\infty$ and $x=-\infty$. This family of Hamiltonians arises in the theory of topologically protected states of one-dimensional quantum
Experimental investigation of kinetic instabilities driven by runaway electrons in the EXL-50 spherical torus
physics.plasm-phMingyuan Wang, Mingsheng Tan, Yuejiang Shi, Ziqi Wang
In this study, the first observation of high-frequency instabilities driven by runaway electrons has been reported in the EXL-50 spherical torus using a high-frequency magnetic pickup coil. The central frequency of these instabilities is found to be exponentially dependent on the plasma density, similar to the dispersion relation of the whistler wave. The in
Observation of whistler wave instability driven by temperature anisotropy of energetic electrons on EXL-50 spherical torus
physics.plasm-phMingyuan Wang, Yuejiang Shi, Jiaqi Dong, Xinliang Gao
Electromagnetic modes in the frequency range of 30-120MHz were observed in electron cyclotron wave (ECW) steady state plasmas on the ENN XuanLong-50 (EXL-50) spherical torus. These modes were found to have multiple bands of frequencies proportional to the Alfv\'en velocity. This indicates that the observed mode frequencies satisfy the dispersion relation of
Eldor Abdukhamidov, Mohammed Abuhamad, Simon S. Woo, Eric Chan-Tin
Deep learning models are susceptible to adversarial samples in white and black-box environments. Although previous studies have shown high attack success rates, coupling DNN models with interpretation models could offer a sense of security when a human expert is involved, who can identify whether a given sample is benign or malicious. However, in white-box e
Benjamin Allen
Symmetry arguments are frequently used -- often implicitly -- in mathematical modeling of natural selection. Symmetry simplifies the analysis of models and reduces the number of distinct population states to be considered. Here, I introduce a formal definition of symmetry in mathematical models of natural selection. This definition applies to a broad class o
Natasha Dobrinen, John Krueger, Pedro Marun, Miguel Angel Mota
We prove that the consistency strength of Martin's Maximum restricted to partial orders of cardinality $\omega_1$ follows from the consistency of ZFC.
Stochastic Reaction-Diffusion Systems in Biophysics: Towards a Toolbox for Quantitative Model Evaluation
stat.MEGregor Pasemann, Carsten Beta, Wilhelm Stannat
We develop a statistical toolbox for a quantitative model evaluation of stochastic reaction-diffusion systems modeling space-time evolution of biophysical quantities on the intracellular level. Starting from space-time data $X_N(t,x)$, as, e.g., provided in fluorescence microscopy recordings, we discuss basic modelling principles for conditional mean trend a
Matthew Lerner-Brecher
We introduce a new diffusion process which arises as the $n\to\infty$ limit of a Bessel process of dimension $d \ge 2$ conditioned upon remaining bounded below one until time $n$. In addition to being interesting in its own right, we argue that the resulting diffusion process is a natural hard edge counterpart to the Ferrari-Spohn diffusion of arXiv:math/030
Matheus Guedes de Andrade, Nitish K. Panigrahy, Wenhan Dai, Saikat Guha
Quantum networks are complex systems formed by the interaction among quantum processors through quantum channels. Analogous to classical computer networks, quantum networks allow for the distribution of quantum operations among quantum processors. In this work, we describe a Quantum Walk Control Protocol (QWCP) to perform distributed quantum operations in a
Juan Camilo Arias, Vyacheslav Futorny, Kailash C. Misra
We consider reduced imaginary Verma modules for the untwisted quantum affine algebras $U_q(\hat{\g})$ and define a crystal-like base which we call imaginary crystal base using the Kashiwara algebra $\mathcal K_q$ constructed in earlier work by Ben Cox and two of the authors. We prove the existence of the imaginary crystal base for any object in a suitable ca
Antonio De Felice, Shinji Tsujikawa
We study the linear stability of static and spherically symmetric (SSS) black holes (BHs) in the presence of a Weyl-squared curvature besides an Einstein-Hilbert term in the action. In this theory, there is always an exact Schwarzschild BH irrespective of the Weyl coupling constant $\alpha$, with the appearance of a non-Schwarzschild solution for a particula
A novel device for controlling the flow of information based on Weyl fermions and some interesting remarks regarding the electromagnetic interactions of high energy particles
quant-phGeorgios N. Tsigaridas, Aristides I. Kechriniotis, Christos A. Tsonos, Konstantinos K. Delibasis
In this work we propose a novel device for controlling the flow of information using Weyl fermions. Based on a previous work of our group, we show that it is possible to fully control the flow of Weyl fermions on several different channels, by applying an electric field perpendicular to the direction of motion of the particles on each channel. In this way, w
Mouhamad Dieye, Wael Jaafar, Halima Elbiaze, Roch Glitho
The advent of a new breed of enhanced multimedia services has put network operators into a position where they must support innovative services while ensuring both end-to-end Quality of Service requirements and profitability. Recently, Network Function Virtualization (NFV) has been touted as a cost-effective underlying technology in 5G networks to efficientl
Clara Torres-Latorre
We prove the parabolic boundary Harnack inequality in parabolic flat Lipschitz domains by blow-up techniques, allowing for the first time a non-zero right-hand side. Our method allows us to treat solutions to equations driven by non-divergence form operators with bounded measurable coefficients, and a right-hand side $f \in L^q$ for $q > n+2$. In the case of
C. T. Parzyck, N. K. Gupta, Y. Wu, V. Anil
A hallmark of many unconventional superconductors is the presence of many-body interactions which give rise to broken symmetry states intertwined with superconductivity. Recent resonant soft x-ray scattering experiments report commensurate $3a_0$ charge density wave order in the infinite layer nickelates, which has important implications regarding the univer
Zuheng Xu, Trevor Campbell
In this paper, we investigate the impact of numerical instability on the reliability of sampling, density evaluation, and evidence lower bound (ELBO) estimation in variational flows. We first empirically demonstrate that common flows can exhibit a catastrophic accumulation of error: the numerical flow map deviates significantly from the exact map -- which af
Nils Carqueville, Lukas Müller
We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category $\mathcal{T}_{\textrm{orb}}
Eldor Abdukhamidov, Mohammed Abuhamad, George K. Thiruvathukal, Hyoungshick Kim
In this paper, we present a novel Single-class target-specific Adversarial attack called SingleADV. The goal of SingleADV is to generate a universal perturbation that deceives the target model into confusing a specific category of objects with a target category while ensuring highly relevant and accurate interpretations. The universal perturbation is stochas
Misclassification in Automated Content Analysis Causes Bias in Regression. Can We Fix It? Yes We Can!
cs.LGNathan TeBlunthuis, Valerie Hase, Chung-Hong Chan
Automated classifiers (ACs), often built via supervised machine learning (SML), can categorize large, statistically powerful samples of data ranging from text to images and video, and have become widely popular measurement devices in communication science and related fields. Despite this popularity, even highly accurate classifiers make errors that cause mis
James S. Kuszlewicz, Marc Hon, Daniel Huber
We present measurements of the dipole mode asymptotic period spacing ($\Delta\Pi_1$), the coupling factor between p- and g- modes ($q$), the g-mode phase offset ($\epsilon_g$), and the mixed-mode frequency rotational splitting ($\delta\nu_{\mathrm{rot}}$) for 1,074 low-luminosity red giants from the Kepler mission. Using oscillation mode frequencies extracte
Hideyuki Hotta, Yuto Bekki, Laurent Gizon, Quentin Noraz
The Sun's axisymmetric large-scale flows, differential rotation and meridional circulation, are thought to be maintained by the influence of rotation on the thermal-convective motions in the solar convection zone. These large-scale flows are crucial for maintaining the Sun's global magnetic field. Over the last several decades, our understanding of large-sca
José R. Carrión, James Gabe, Christopher Schafhauser, Aaron Tikuisis
We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new and essentially self-contained proof of the stably finite case of the unital classification theorem: unital simple sepa
Geram R. Hunanyan, Johannes Koch, Stefanie Moll, Enrique Rico
The quantum Rabi model describes the coupling of a two-state system to a bosonic field mode. Recent theoretical work has pointed out that a generalized periodic version of this model, which maps onto Hamiltonians applicable in superconducting qubit settings, can be quantum simulated with cold trapped atoms. Here, we experimentally demonstrate atomic dynamics
Emek Barış Küçüktabak, Yue Wen, Matthew Short, Efe Demirbaş
Physical interaction between individuals plays an important role in human motor learning and performance during shared tasks. Using robotic devices, researchers have studied the effects of dyadic haptic interaction mostly focusing on the upper-limb. Developing infrastructure that enables physical interactions between multiple individuals' lower limbs can ext
Peng-Ju Hu, Yi Pang
We investigate which 4-derivative extensions of Einstein-Maxwell theory admit multi-extremal black hole solutions with gravitational force balanced by Coulomb force. We obtain a set of constraints on the 4-derivative couplings by exploring various probe limits in multi-black hole systems. It turns out that these constraints are tighter than those needed to p
Yanyu Jia, Fang Yuan, Guangming Cheng, Yue Tang
Conventional vapor deposition or epitaxial growth of two-dimensional (2D) materials and heterostructures is conducted in a large chamber in which masses transport from the source to the substrate. Here we report a chamber-free, on-chip approach for growing a 2D crystalline structures directly in a nanoscale surface-confined 2D space. The method is based on a
Vinay Banakar, Kan Wu, Yuvraj Patel, Kimberly Keeton
We present WiscSort, a new approach to high-performance concurrent sorting for existing and future byte-addressable storage (BAS) devices. WiscSort carefully reduces writes, exploits random reads by splitting keys and values during sorting, and performs interference-aware scheduling with thread pool sizing to avoid I/O bandwidth degradation. We introduce the
Alaa Altassan, Murat Alan
Let $ k \geq 2 $ and let $ ( L_{n}^{(k)} )_{n \geq 2-k} $ be the $k-$generalized Lucas sequence with certain initial $ k $ terms and each term afterward is the sum of the $ k $ preceding terms. In this paper, we find all repdigits which are products of arbitrary three terms of $k-$generalized Lucas sequences. Thus, we find all non negative integer solutions
Runqing Yang, Harrison Szeto, Brandon Zou, Emily Spitaleri
The mechanisms of lithium electrodeposition, which overwhelmingly affect lithium metal battery performance and safety, remain insufficiently understood due to its electrochemical complexity. Novel, non-destructive and in situ techniques to probe electrochemical interfaces during lithium electrodeposition are highly desirable. In this work, we demonstrate the
Testing the limits of scalar-Gauss-Bonnet gravity through nonlinear evolutions of spin-induced scalarization
gr-qcDaniela D. Doneva, Llibert Aresté Saló, Katy Clough, Pau Figueras
Quadratic theories of gravity with second order equations of motion provide an interesting model for testing deviations from general relativity in the strong gravity regime. However, they can suffer from a loss of hyperbolicity, even for initial data that is in the weak coupling regime and free from any obvious pathology. This effect has been studied in a va
Oscillating photonic Bell state from a semiconductor quantum dot for quantum key distribution
quant-phMatteo Pennacchietti, Brady Cunard, Shlok Nahar, Mohd Zeeshan
An on-demand source of bright entangled photon pairs is desirable for quantum key distribution (QKD) and quantum repeaters. The leading candidate to generate entangled photon pairs is based on spontaneous parametric down-conversion (SPDC) in a non-linear crystal. However, there exists a fundamental trade-off between entanglement fidelity and efficiency in SP
Zhuowen Yin, Xinyao Ding, Xin Zhang, Zhengwang Wu
Autism Spectrum Disorder (ASD) has been emerging as a growing public health threat. Early diagnosis of ASD is crucial for timely, effective intervention and treatment. However, conventional diagnosis methods based on communications and behavioral patterns are unreliable for children younger than 2 years of age. Given evidences of neurodevelopmental abnormali
The Runge--Kutta discontinuous Galerkin method with compact stencils for hyperbolic conservation laws
math.NAQifan Chen, Zheng Sun, Yulong Xing
In this paper, we develop a new type of Runge--Kutta (RK) discontinuous Galerkin (DG) method for solving hyperbolic conservation laws. Compared with the original RKDG method, the new method features improved compactness and allows simple boundary treatment. The key idea is to hybridize two different spatial operators in an explicit RK scheme, utilizing local
Konrad Furmańczyk, Wojciech Niemiro, Mariola Chrzanowska, Marta Zalewska
We propose a new graphical model to describe the comorbidity of allergic diseases. We present our model in two versions. First, we introduce a generative model that correctly reflects the variables' causal relationship. Then we propose an approximation of the generative model by another misspecified model that is computationally more efficient and easily int
O. B. Zaslavskii
We consider the background of a rotating axially symmetric black hole. Let particle 0 decay to two fragments 1 and 2 in the direction parallel to that of particle 0. It is shown that if decay occurs inside the ergoregion, both particles 1 and 2 move in the same direction as particle 0. For the scenario, when decay happens in the turning point of all three pa
Brian Udall
In this paper, we study the class of parabolically geometrically finite (PGF) subgroups of mapping class groups, introduced by Dowdall-Durham-Leininger-Sisto. We prove a combination theorem for graphs of PGF groups (and other generalizations) by utilizing subsurface projection to obtain control on the geometry of fundamental groups of graphs of PGF groups, g
Xavier Boluna, Stefano Profumo, Juliette Blé, Dana Hennings
The observation of the final stages of the evaporation of a light black hole, which Hawking referred to as ``black hole explosion", would offer critical insights on quantum gravity and high-energy physics phenomena. Here, we explore, review, and revisit the observational features and rates expected for nearby, light, evaporating black holes, and we assess an
Subhojit Pal, Aradhya Shukla, Prasanta K. Panigrahi
The augmented nonlinear Schr\"odinger equation (ANLSE), describing BEC, with the Lee-Huang-Yang (LHY) correction has exhibited a quantum droplet state, which has found experimental verification. In addition to the droplet, exact kink-antikink and supersolid phases have been recently obtained in different parameter domains. Interestingly, these solutions are
Control of Nonlinear Systems Under Multiple Time-Varying Output Constraints: A Single Funnel Approach
eess.SYFarhad Mehdifar, Lars Lindemann, Charalampos P. Bechlioulis, Dimos V. Dimarogonas
This paper proposes a novel control framework for handling (potentially coupled) multiple time-varying output constraints for uncertain nonlinear systems. First, it is shown that the satisfaction of multiple output constraints boils down to ensuring the positiveness of a scalar variable (the signed distance from the time-varying output-constrained set's boun
Eugene Syriani, Istvan David, Gauransh Kumar
By organizing knowledge within a research field, Systematic Reviews (SR) provide valuable leads to steer research. Evidence suggests that SRs have become first-class artifacts in software engineering. However, the tedious manual effort associated with the screening phase of SRs renders these studies a costly and error-prone endeavor. While screening has trad
Matthew Anderson, Vu Le
We advance the Cohn-Umans framework for developing fast matrix multiplication algorithms. We introduce, analyze, and search for a new subclass of strong uniquely solvable puzzles (SUSP), which we call simplifiable SUSPs. We show that these puzzles are efficiently verifiable, which remains an open question for general SUSPs. We also show that individual simpl
Erandi Chavez, Erin Redwing, Imke de Pater, Ricardo Hueso
Using near-infrared observations of Neptune from the Keck and Lick Observatories, and the Hubble Space Telescope in combination with amateur datasets, we calculated the drift rates of prominent infrared-bright cloud features on Neptune between 2018 and 2021. These features had lifespans of $\sim 1$ day to $\geq$1 month and were located at mid-latitudes and n
Mário J. de Oliveira
From classical stochastic equations of motion we derive the quantum Schr\"odinger equation. The derivation is carried out by assuming that the real and imaginary parts of the wave function $\phi$ are proportional to the coordinates and momenta associated to the degrees of freedom of an underlying classical system. The wave function $\phi$ is assumed to be a
Infrared action spectroscopy as tool for probing gas-phase dynamics: Protonated Dimethyl Ether, (CH$_3$)$_2$OH$^+$, formed by the reaction of CH$_3$OH$_{2}^{+}$ with CH$_3$OH
astro-ph.GAVincent Richardson, Daniel B. Rap, Sandra Brünken, Daniela Ascenzi
Methanol is one of the most abundant interstellar Complex Organic Molecules (iCOMs) and it represents a major building block for the synthesis of increasingly complex oxygen-containing molecules. The reaction between protonated methanol and its neutral counterpart, giving protonated dimethyl ether, (CH$_3$)$_2$OH$^+$, along with the ejection of a water molec
Samudrajit Thapa, Bat-El Pinchasik, Yair Shokef
Many organisms in nature use local interactions to generate global cooperative phenomena. To unravel how the behavior of individuals generates effective interactions within a group, we introduce a simple model, wherein each agent senses the presence of others nearby and changes its physical motion accordingly. This generates non-physical, or virtual interact
Shawn M. Jones, Diane Oyen
Understanding the spread of images across the web helps us understand the reuse of scientific visualizations and their relationship with the public. The "Flatten the Curve" graphic was heavily used during the COVID-19 pandemic to convey a complex concept in a simple form. It displays two curves comparing the impact on case loads for medical facilities if the
Max Simchowitz, Abhishek Gupta, Kaiqing Zhang
Obtaining rigorous statistical guarantees for generalization under distribution shift remains an open and active research area. We study a setting we call combinatorial distribution shift, where (a) under the test- and training-distributions, the labels $z$ are determined by pairs of features $(x,y)$, (b) the training distribution has coverage of certain mar
Renan C. A. Alves, Bruno C. Albertini, Marcos A. Simplicio
Efforts to secure computing systems via software traditionally focus on the operating system and application levels. In contrast, the Security Protocol and Data Model (SPDM) tackles firmware level security challenges, which are much harder (if at all possible) to detect with regular protection software. SPDM includes key features like enabling peripheral aut
Tung Nguyen, Alex Scott, Paul Seymour
Erd\H{o}s and Hajnal conjectured that for every graph $H$, there exists $c>0$ such that every $H$-free graph $G$ has a clique or a stable set of size at least $|G|^c$ (a graph is $H$-free if it has no induced subgraph isomorphic to $H$). Alon, Pach, and Solymosi reduced the Erd\H{o}s-Hajnal conjecture to the case when $H$ is {\em prime} (that is, $H$ cannot
Yuri Gurevich, Andreas Blass
Primal logic arose in access control; it has a remarkably efficient (linear time) decision procedure for its entailment problem. But primal logic is a general logic of information. In the realm of arbitrary items of information (infons), conjunction, disjunction, and implication may seem to correspond (set-theoretically) to union, intersection, and relative
Michael Anastos, Oliver Cooley, Mihyun Kang, Matthew Kwan
There are a number of well-known problems and conjectures about partitioning graphs to satisfy local constraints. For example, the majority colouring conjecture of Kreutzer, Oum, Seymour, van der Zypen and Wood states that every directed graph has a 3-colouring such that for every vertex $v$, at most half of the out-neighbours of $v$ have the same colour as
Igor V. Bondarev, Michael D. Pugh, Pablo Rodriguez-Lopez, Lilia M. Woods
We study within the framework of the Lifshitz theory the long-range Casimir force for in-plane isotropic and anisotropic free-standing transdimensional material slabs. In the former case, we show that the confinement-induced nonlocality not only weakens the attraction of ultrathin slabs but also changes the distance dependence of the material-dependent corre
Van Cyr, Bryna Kra, Samuel Petite
Every symbolic system supports a Borel measure that is invariant under the shift, but it is not known if every such systems supports a measure that is invariant under all of its automorphisms; known as a characteristic measure. We give sufficient conditions to find a characteristic measure, additionally showing when it can be taken to be a measure of maximal
Robert Balkin, Hector D. Ceniceros, Ruimeng Hu
In this paper, we propose a numerical methodology for finding the closed-loop Nash equilibrium of stochastic delay differential games through deep learning. These games are prevalent in finance and economics where multi-agent interaction and delayed effects are often desired features in a model, but are introduced at the expense of increased dimensionality o
Reynolds-number scaling of wall-pressure--velocity correlations in wall-bounded turbulence
physics.flu-dynWoutijn J. Baars, Giulio Dacome, Myoungkyu Lee
Wall-pressure fluctuations are a practically robust input for real-time control systems aimed at modifying wall-bounded turbulence. The scaling behaviour of the wall-pressure--velocity coupling requires investigation to properly design a controller with such input data so that it can actuate upon the desired turbulent structures. A comprehensive database fro
Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman
Parametricity is a property of the syntax of type theory implying, e.g., that there is only one function having the type of the polymorphic identity function. Parametricity is usually proven externally, and does not hold internally. Internalising it is difficult because once there is a term witnessing parametricity, it also has to be parametric itself and th
Interacting Local Topological Markers: A one-particle density matrix approach for characterizing the topology of interacting and disordered states
cond-mat.mes-hallJulia D. Hannukainen, Miguel F. Martínez, Jens H. Bardarson, Thomas Klein Kvorning
While topology is a property of a quantum state itself, most existing methods for characterizing the topology of interacting phases of matter require direct knowledge of the underlying Hamiltonian. We offer an alternative by utilizing the one-particle density matrix formalism to extend the concept of the Chern, chiral, and Chern-Simons markers to include int
Baian Liu
$\DeclareMathOperator{\IntR}{Int{}^\text{R}}$$\DeclareMathOperator{\Int}{Int}$Let $D$ be a domain. Park determined the necessary and sufficient conditions for which the ring of integer-valued polynomials $\Int(D)$ is a globalized pseudovaluation domain (GPVD). In this work, we investigate the ring of integer-valued rational functions $\IntR(D)$. Since it is
J. Gomez Enri, P. Cipollini, M. Passaro, S. Vignudelli
This paper analyzes the availability and accuracy of coastal altimetry sea level products in the Strait of Gibraltar. All possible repeats of two sections of the Envisat and AltiKa ground-tracks were used in the eastern and western portions of the strait. For Envisat, along-track sea level anomalies (SLAs) at 18-Hz posting rate were computed using ranges fro
Larry Guth, Dominique Maldague, Changkeun Oh
We extend the small cap decoupling program established by Demeter, Guth, and Want to paraboloids in $\mathbb{R}^n$ for some range of $p$.
Giuseppe Russo, Niklas Stoehr, Manoel Horta Ribeiro
Conspiracy Theory Identication task is a new shared task proposed for the first time at the Evalita 2023. The ACTI challenge, based exclusively on comments published on conspiratorial channels of telegram, is divided into two subtasks: (i) Conspiratorial Content Classification: identifying conspiratorial content and (ii) Conspiratorial Category Classificatio
Dynamics of electronic states in the insulating Intermediate surface phase of 1T-TaS$_2$
cond-mat.str-elJingwei Dong, Weiyan Qi, Dongbin Shin, Laurent Cario
This article reports a comparative study of bulk and surface properties in the transition metal dichalcogenide 1T-TaS$_2$. When heating the sample, the surface displays an intermediate insulating phase that persists for $\sim 10$ K on top of a metallic bulk. The weaker screening of Coulomb repulsion and stiffer Charge Density Wave (CDW) explain such resilien
Jingwei Zhang, Ke Ma, Saarthak Kapse, Joel Saltz
Semantic segmentations of pathological entities have crucial clinical value in computational pathology workflows. Foundation models, such as the Segment Anything Model (SAM), have been recently proposed for universal use in segmentation tasks. SAM shows remarkable promise in instance segmentation on natural images. However, the applicability of SAM to comput
Issa Khalifeh, Luka Murn, Marta Mrak, Ebroul Izquierdo
Video frame interpolation is an increasingly important research task with several key industrial applications in the video coding, broadcast and production sectors. Recently, transformers have been introduced to the field resulting in substantial performance gains. However, this comes at a cost of greatly increased memory usage, training and inference time.
Yu-Zhen Janice Chen, Daniel S. Menasché, Don Towsley
Effective resource allocation in sensor networks, IoT systems, and distributed computing is essential for applications such as environmental monitoring, surveillance, and smart infrastructure. Sensors or agents must optimize their resource allocation to maximize the accuracy of parameter estimation. In this work, we consider a group of sensors or agents, eac
Ruotian Gong, Xinyi Du, Eli Janzen, Vincent Liu
Spin defects in van der Waals materials offer a promising platform for advancing quantum technologies. Here, we propose and demonstrate a powerful technique based on isotope engineering of host materials to significantly enhance the coherence properties of embedded spin defects. Focusing on the recently-discovered negatively charged boron vacancy center ($\m
No Train No Gain: Revisiting Efficient Training Algorithms For Transformer-based Language Models
cs.LGJean Kaddour, Oscar Key, Piotr Nawrot, Pasquale Minervini
The computation necessary for training Transformer-based language models has skyrocketed in recent years. This trend has motivated research on efficient training algorithms designed to improve training, validation, and downstream performance faster than standard training. In this work, we revisit three categories of such algorithms: dynamic architectures (la
Distilling Large Language Models for Biomedical Knowledge Extraction: A Case Study on Adverse Drug Events
cs.CLYu Gu, Sheng Zhang, Naoto Usuyama, Yonas Woldesenbet
Large language models (LLMs), such as GPT-4, have demonstrated remarkable capabilities across a wide range of tasks, including health applications. In this paper, we study how LLMs can be used to scale biomedical knowledge curation. We find that while LLMs already possess decent competency in structuring biomedical text, by distillation into a task-specific
Baudouin Le Charlier
This paper presents the main features of a system that aims to transform regular expressions into shorter equivalent expressions. The system is also capable of computing other operations useful for simplification, such as checking the inclusion of regular languages. The main novelty of this work is that it combines known but distinct ways of representing reg
Humza Naveed, Asad Ullah Khan, Shi Qiu, Muhammad Saqib
Large Language Models (LLMs) have recently demonstrated remarkable capabilities in natural language processing tasks and beyond. This success of LLMs has led to a large influx of research contributions in this direction. These works encompass diverse topics such as architectural innovations, better training strategies, context length improvements, fine-tunin
Improved selective background Monte Carlo simulation at Belle II with graph attention networks and weighted events
hep-exBoyang Yu, Nikolai Hartmann, Luca Schinnerl, Thomas Kuhr
When measuring rare processes at Belle II, a huge luminosity is required, which means a large number of simulations are necessary to determine signal efficiencies and background contributions. However, this process demands high computation costs while most of the simulated data, in particular in case of background, are discarded by the event selection. Thus,
Probing NV and SiV charge state dynamics using high-voltage nanosecond pulse and photoluminescence spectral analysis
cond-mat.mtrl-sciArtur Pambukhchyan, Sizhe Weng, Indu Aravind, Stephen B. Cronin
Nitrogen-vacancy (NV) and silicon-vacancy (SiV) color defects in diamond are promising systems for applications in quantum technology. The NV and SiV centers have multiple charge states, and their charge states have different electronic, optical and spin properties. For the NV centers, most investigations for quantum sensing applications are targeted on the
Laboratory experiments on the sublimation of methane through ice dust layers and applications to cometary activity
astro-ph.EPCarla Tamai, Belen Mate, Stephanie Cazaux, Miguel Angel Satorre
Context. Comets are small celestial bodies made of ice, dust, and rock that orbit the Sun. Understanding their behavior as they warm up at perihelion unveils many pieces of information about the interior and general morphology of the ices hidden under the dust. Aims. The goal of this research is to study the sublimation of CH4 through amorphous solid water (
Tobias Schröder, Zijing Ou, Jen Ning Lim, Yingzhen Li
Energy-based models are a simple yet powerful class of probabilistic models, but their widespread adoption has been limited by the computational burden of training them. We propose a novel loss function called Energy Discrepancy (ED) which does not rely on the computation of scores or expensive Markov chain Monte Carlo. We show that ED approaches the explici
Luis Benet, Luca Ferranti, Nathalie Revol
As developers of libraries implementing interval arithmetic, we faced the same difficulties when it comes to testing our libraries. What must be tested? How can we devise relevant test cases for unit testing? How can we ensure a high (and possibly 100%) test coverage? Before considering these questions, we briefly recall the main features of interval arithme
Evidence for mass-dependent peculiar velocities in compact object binaries: Towards better constraints on natal kicks
astro-ph.HEYue Zhao, Poshak Gandhi, Cordelia Dashwood Brown, Christian Knigge
We compile a catalogue of low-mass and high-mass X-ray binaries, some recently reported binaries that likely host a neutron star (NS) or a black hole (BH), and binary pulsars (a pulsar and a non-degenerated companion) that have measured systemic radial velocities ($\gamma$). Using Gaia and radio proper motions together with $\gamma$, we integrate their Galac
Ivan Bocanegra, Héctor M. Moya-Cessa
A non-unitary transformation leading to a Hatano-Nelson problem is performed on an array of equally-spaced optical waveguides. Such transformation produces a non-reciprocal system of waveguides, as the corresponding Hamiltonian becomes non-Hermitian. This may be achieved by judiciously choosing an attenuation (amplification) of the injected (or exciting) fie
Pengzi Miao
Applying a family of mass-capacity related inequalities proved in \cite{M22}, we obtain sufficient conditions that imply the nonnegativity as well as positive lower bounds of the mass, on a class of manifolds with nonnegative scalar curvature, with or without a singularity.
B. M. Hegelich, L. Labun, O. Z. Labun, T. A. Mehlhorn
Short-pulse, ultra high-intensity lasers have opened new regimes for studying fusion plasmas and creating novel ultra-short ion beams and neutron sources. Diagnosing the plasma in these experiments is important for optimizing the fusion yield but difficult due to the picosecond time scales, 10s of micron-cubed volumes and high densities. We propose to use th
Marcia Ferreira, Rodrigo Costas, Vito Servedio, Stefan Thurner
Scientific institutions play a crucial role in driving intellectual, social, and technological progress. Their capacity to innovate depends mainly on their ability to attract, retain, and nurture scientific talent and ultimately make it available to other organizations, industries, or the economy. As researchers change institutions during their careers, thei
Ivan Bocanegra, Héctor M. Moya-Cessa
The effect of a non-unitary transformation on an initial Hermitian operator is studied. The initial (Hermitian) optical system is a Glauber-Fock optical lattice. The resulting non-Hermitian Hamiltonian models an anisotropic (Glauber-Fock) waveguide array of the Hatano-Nelson-type. Several cases are analyzed and exact analytical solutions for both the Hermiti
Robust scalable initialization for Bayesian variational inference with multi-modal Laplace approximations
stat.MEWyatt Bridgman, Reese Jones, Mohammad Khalil
For predictive modeling relying on Bayesian inversion, fully independent, or ``mean-field'', Gaussian distributions are often used as approximate probability density functions in variational inference since the number of variational parameters is twice the number of unknown model parameters. The resulting diagonal covariance structure coupled with unimodal b
Yijiong Lin, Alex Church, Max Yang, Haoran Li
Bimanual manipulation with tactile feedback will be key to human-level robot dexterity. However, this topic is less explored than single-arm settings, partly due to the availability of suitable hardware along with the complexity of designing effective controllers for tasks with relatively large state-action spaces. Here we introduce a dual-arm tactile roboti
Eli Chien, Wei-Ning Chen, Chao Pan, Pan Li
GNNs can inadvertently expose sensitive user information and interactions through their model predictions. To address these privacy concerns, Differential Privacy (DP) protocols are employed to control the trade-off between provable privacy protection and model utility. Applying standard DP approaches to GNNs directly is not advisable due to two main reasons
Sezin Çit Ogun Dogru
In [5], Bede et al. defined the max-product Meyer-K\"{o}nig and Zeller operator. They examined the approximation and shape preserving properties of this operator, and they found the order of approximation to be $\frac{\sqrt{y}\left( 1-y\right) }{\sqrt{m}}$ by the modulus of continuity and claimed that this order of approximation could only be improved in cer
RaBiT: An Efficient Transformer using Bidirectional Feature Pyramid Network with Reverse Attention for Colon Polyp Segmentation
cs.CVNguyen Hoang Thuan, Nguyen Thi Oanh, Nguyen Thi Thuy, Stuart Perry
Automatic and accurate segmentation of colon polyps is essential for early diagnosis of colorectal cancer. Advanced deep learning models have shown promising results in polyp segmentation. However, they still have limitations in representing multi-scale features and generalization capability. To address these issues, this paper introduces RaBiT, an encoder-d
Mohamed Naamane
The study of semantic relationships has revealed a close connection between these relationships and the morphological characteristics of a language. Morphology, as a subfield of linguistics, investigates the internal structure and formation of words. By delving into the relationship between semantic relationships and language morphology, we can gain deeper i
Deepankar Basu
In this paper, I discuss three aspects of the Frisch-Waugh-Lovell theorem. First, I show that the theorem holds for linear instrumental variables estimation of a multiple regression model that is either exactly or overidentified. I show that with linear instrumental variables estimation: (a) coefficients on endogenous variables are identical in full and part
The complete dynamics description of positively curved metrics in the Wallach flag manifold $\mathrm{SU}(3)/\mathrm{T}^2$
math.DGLeonardo F. Cavenaghi, Lino Grama, Ricardo M. Martins, Douglas D. Novaes
The family of invariant Riemannian manifolds in the Wallach flag manifold $\mathrm{SU}(3)/\mathrm{T}^2$ is described by three parameters $(x,y,z)$ of positive real numbers. By restricting such a family of metrics in the \emph{tetrahedron} $\cal{T}:= x+y+z = 1$, in this paper, we describe all regions $\cal R \subset \cal T$ admitting metrics with curvature pr
L. Li, S. Strauch, J. C. Bernauer, W. J. Briscoe
The MUSE experiment at the Paul Scherrer Institute is measuring elastic lepton-proton scattering cross sections in a four-momentum transfer range from $Q^2$ of approximately 0.002 to 0.08 GeV$^2$ using positively and negatively charged electrons and muons. The extraction of the Born cross sections from the experimental data requires radiative corrections. Es
R. Machleidt
Microscopic nuclear theory is based on the tenet that atomic nuclei can be accurately described as collections of point-like nucleons interacting via two- and many-body forces obeying nonrelativistic quantum mechanics -- and the concept of the ab initio approach is to calculate nuclei accordingly. The forces are fixed in free-space scattering and must be acc