Skip to content

December 2023 arXiv papers — page 18

Showing 1,7011,800 of 18,165 papers

  1. Hernán Melgratti, Claudio Antares Mezzina, G. Michele Pinna

    Event structures have emerged as a foundational model for concurrent computation, explaining computational processes by outlining the events and the relationships that dictate their execution. They play a pivotal role in the study of key aspects of concurrent computation models, such as causality and independence, and have found applications across a broad r

  2. Linglong Qian, Joseph Arul Raj, Hugh Logan Ellis, Ao Zhang

    We introduce the Conditional Self-Attention Imputation (CSAI) model, a novel recurrent neural network architecture designed to address the challenges of complex missing data patterns in multivariate time series derived from hospital electronic health records (EHRs). CSAI extends state-of-the-art neural network-based imputation by introducing key modification

  3. Rong-Peng Liu, Xiaozhe Wang, Bo Zeng, Rawad Zgheib

    We investigate load redistribution (LR) attacks on integrated electricity-gas systems (IEGSs) and proposes a bilevel mixed-integer model to identify the most severe LR attack from an economic perspective. Under a mild assumption, we prove that the proposed model does not exclude any possible upper-level attack. A modified reformulation and decomposition (R&D

  4. Maksim Shundalau, Patrizia Lamberti

    The LiFr diatomic represents a promising candidate for indirect laser cooling that has not yet been investigated not theoretically or experimentally. The potential energy curves of the ground and low_lying excited states of the LiFr heteronuclear alkali metal dimer are calculated using the Fock_space relativistic coupled cluster theory for the first time. A

  5. Lucas Gonzalez, Andrea Alcaraz, Carolina Gabay, Monica Castro

    Objective: About 12,000 people are diagnosed with lung cancer (LC) each year in Argentina, and the diagnosis has a significant personal and family. The objective of this study was to characterize the Health-Related Quality of Life (HRQoL) and the economic impact in patients with LC and in their households. Methods: Observational cross-sectional study, throug

  6. Tam'si Ley, Anna Ouskova Leonteva, Johannes Schachenmayer, Pierre Collet

    As the size of quantum hardware progressively increases, the conjectured computational advantages of quantum technologies tend to be threatened by noise, which randomly corrupts the design of quantum logical gates. Several methods already exist to reduce the impacts of noise on that matter. However, a reliable and user-friendly one to reduce the noise impact

  7. Sören Nagel, Jobst Heitzig, Eckehard Schöll

    In this letter we present a stochastic dynamic model which can explain economic cycles. We show that the macroscopic description yields a complex dynamical landscape consisting of multiple stable fixed points, each corresponding to a split of the population into a large low and a small high income group. The stochastic fluctuations induce switching between t

  8. Jalal Etesami, Ali Habibnia, Negar Kiyavash

    We propose a nonparametric and time-varying directed information graph (TV-DIG) framework to estimate the evolving causal structure in time series networks, thereby addressing the limitations of traditional econometric models in capturing high-dimensional, nonlinear, and time-varying interconnections among series. This framework employs an information-theore

  9. Alexandre Maksoud

    We construct canonical adjoint $p$-adic $L$-functions generating the congruence ideal attached to Hida families using Ohta's pairing. We show that these $p$-adic $L$-functions, suitably modified by certain Euler factors, are interpolated by a regular element of Hida's universal ordinary Hecke algebra. We also relate them to characteristic series of primitive

  10. Raul Guedert, Daniella L. L. S. Andrade, Jéssica Rodrigues, Guilherme B. Pintarelli

    Electroporation is a complex, iterative, and nonlinear phenomenon that is often studied by numerical simulations. In recent years, tissue electroporation simulations have been performed using static models. However, the results of a static model simulation are restricted to a fixed protocol signature of the pulsed electric field. This paper describes a novel

  11. Adnan Theerens, Chris Cornelis

    Rough set theory is a well-known mathematical framework that can deal with inconsistent data by providing lower and upper approximations of concepts. A prominent property of these approximations is their granular representation: that is, they can be written as unions of simple sets, called granules. The latter can be identified with "if. . . , then. . . " ru

  12. D. A. Clarke, J. Goswami, F. Karsch, P. Petreczky

    Using an eighth-order Taylor expansion in baryon chemical potential, we recently obtained the (2+1)-flavor QCD equation of state (EoS) at non-zero conserved charge chemical potentials from the lattice. We focused on strangeness-neutral, isospin-symmetric QCD matter, which closely resembles the situation encountered in heavy-ion collision experiments. Using t

  13. Tianyang Liu, Fei Wang, Muhao Chen

    Large Language Models (LLMs) have shown to be capable of various tasks, yet their capability in interpreting and reasoning over tabular data remains an underexplored area. In this context, this study investigates from three core perspectives: the robustness of LLMs to structural perturbations in tables, the comparative analysis of textual and symbolic reason

  14. Guillaume Bal, Jeremy Hoskins, Solomon Quinn, Manas Rachh

    This paper concerns a boundary integral formulation for the two-dimensional massive Dirac equation. The mass term is assumed to jump across a one-dimensional interface, which models a transition between two insulating materials. This jump induces surface waves that propagate outward along the interface but decay exponentially in the transverse direction. Aft

  15. Luke Marrinan, Uday V. Shanbhag, Farzad Yousefian

    We consider the minimization of a Lipschitz continuous and expectation-valued function, denoted by $f$ and defined as $f(\mathbf{x}) \triangleq \mathbb{E}[\tilde{f}(\mathbf{x}, \mathbf{\xi})]$, over a closed and convex set $\mathcal{X}$. We obtain asymptotics as well as rate and complexity guarantees for computing approximate Clarke-stationary points via zer

  16. Benjamin M. Ampel, Chi-Heng Yang, James Hu, Hsinchun Chen

    The exponential growth of digital content has generated massive textual datasets, necessitating the use of advanced analytical approaches. Large Language Models (LLMs) have emerged as tools that are capable of processing and extracting insights from massive unstructured textual datasets. However, how to leverage LLMs for text analytics Information Systems (I

  17. J. Qin, X. Z. Zheng, S. Wuyts, Z. Lv

    Star-forming galaxies (SFGs) adhere to a surprisingly tight scaling relation of dust attenuation parameterized by the infrared excess (IRX=$L_{\rm IR}/L_{\rm UV}$), being jointly determined by the star formation rate (SFR), galaxy size ($R_{\rm e}$), metallicity ($Z$/Z$_\odot$) and axial ratio ($b/a$). We examine how these galaxy parameters determine the eff

  18. Fabian Badilla, Marcos Goycoolea, Gonzalo Muñoz, Thiago Serra

    The use of Mixed-Integer Linear Programming (MILP) models to represent neural networks with Rectified Linear Unit (ReLU) activations has become increasingly widespread in the last decade. This has enabled the use of MILP technology to test-or stress-their behavior, to adversarially improve their training, and to embed them in optimization models leveraging t

  19. Erfan Mohammadi, MohammadMahdi Barzegar, Mahdi Nohekhan

    The idea that marketing, in addition to profitability and sales, should also consider the consumer's health is not and has not been a far-fetched concept. It can be stated that there is no longer a way back to producing environmentally harmful products, and gradually, governmental pressures, competition, and changing customer attitudes are obliging companies

  20. He Zhang, Robin Ananda, Xinyi Fu, Zhe Sun

    Both sensor networks and data fusion are essential foundations for developing the smart home Internet of Things (IoT) and related fields. We proposed a multi-channel sensor network construction method involving hardware, acquisition, and synchronization in the smart home environment and a smart home data fusion method (SHDFM) for multi-modal data (position,

  21. Harshna Balhara, J. K. Singh, Shaily, Emmanuel N. Saridakis

    We perform observational confrontation and cosmographic analysis of $f(T,T_G)$ gravity and cosmology. This higher-order torsional gravity is based on both the torsion scalar, as well as on the teleparallel equivalent of the Gauss--Bonnet combination, and gives rise to an effective dark-energy sector which depends on the extra torsion contributions. We employ

  22. Nicola Abatangelo, Alberto Saldaña, Hugo Tavares

    Consider the following Lane-Emden system with Dirichlet boundary conditions: \[ -\Delta U = |V|^{\beta-1}V,\ -\Delta V = |U|^{\alpha-1}U \text{ in }\Omega,\qquad U=V= 0 \text{ on }\partial \Omega, \] in a bounded domain $\Omega$, for $(\alpha,\beta)$ subcritical. We study the asymptotic behavior of least-energy solutions when $\beta\to \infty$, for any fixed

  23. Faisal Shehzad, Dietmar Jannach

    In session-based recommendation settings, a recommender system has no access to long-term user profiles and thus has to base its suggestions on the user interactions that are observed in an ongoing session. Since such sessions can consist of only a small set of interactions, various approaches based on Graph Neural Networks (GNN) were recently proposed, as t

  24. Cristina Matache, Sean Moss, Sam Staton, Ariadne Si Suo

    Computational effects are commonly modelled by monads, but often a monad can be presented by an algebraic theory of operations and equations. This talk is about monads and algebraic theories for languages for inference, and their connections to semirings and tensors. A basic class of examples of algebraic theories comes from considering the theory of modules

  25. Xun Guo, Mingwu Zheng, Liang Hou, Yuan Gao

    Text-guided image-to-video (I2V) generation aims to generate a coherent video that preserves the identity of the input image and semantically aligns with the input prompt. Existing methods typically augment pretrained text-to-video (T2V) models by either concatenating the image with noised video frames channel-wise before being fed into the model or injectin

  26. Maurice H. P. M. van Putten

    Recent JWST surveys reveal a striking abundance of massive galaxies at cosmic dawn, earlier than predicted by $\Lambda$CDM. The implied speed-up in galaxy formation by gravitational collapse is reminiscent of short-period galaxy dynamics described by the baryonic Tully-Fisher relation. This may originate in weak gravitation tracking the de Sitter scale of ac

  27. Anna Tokareva

    The concept of early Universe inflation resolves several problems of hot Big Bang theory and quantitatively explains the origin of the inhomogeneities in the present Universe. However, it is not possible to arrange inflation in a scalar field model with renormalizable potential, such that it would not contradict the recent Planck data. For this reason, infla

  28. Jacob Armstrong-Goodall, Yvain Bruned

    Resonance based numerical schemes are those in which cancellations in the oscillatory components of the equation are taken advantage of in order to reduce the regularity required of the initial data to achieve a particular order of error and convergence. We investigate the potential for the derivation of resonance based schemes in the context of nonlinear st

  29. J. Mildner, M. D. Caio, G. Möller, N. R. Cooper

    We investigate the phases and phase transitions of the disordered Haldane model in the presence of on-site disorder. We use the real-space Chern marker and transfer matrices to extract critical exponents over a broad range of parameters. The disorder-driven transitions are consistent with the plateau transitions in the Integer Quantum Hall Effect (IQHE), in

  30. Stefan Keppeler, Simon Plätzer, Malin Sjodahl

    We construct a set of Wigner 6j symbols with gluon lines (adjoint representations) in closed form, expressed in terms of similar 6j symbols with quark lines (fundamental representations). Together with Wigner 6j symbols with quark lines, this gives a set of 6j symbols sufficient for treating QCD color structure for any number of external particles, in or bey

  31. Alexander Gagliano, V. Ashley Villar

    The Vera C. Rubin Observatory is slated to observe nearly 20 billion galaxies during its decade-long Legacy Survey of Space and Time. The rich imaging data it collects will be an invaluable resource for probing galaxy evolution across cosmic time, characterizing the host galaxies of transient phenomena, and identifying novel populations of anomalous systems.

  32. Alex Waldron

    We prove a Lojasiewicz-Simon inequality $$ \left| E(u) - 4\pi n \right| \leq C \| \mathcal{T}(u) \|^\alpha $$ for maps $u \in W^{2,2}\left( S^2, S^2 \right).$ The inequality holds with $\alpha = 1$ in general and with $\alpha > 1$ unless $u$ is nearly constant on an open set. We obtain polynomial convergence of weak solutions of harmonic map flow $u(t) : S^2

  33. Evgeniya V. Kulebyakina, Mikhail L. Skorikov, Elena V. Kolobkova, Maria S. Kuznetsova

    Lead halide perovskite nanocrystals (NCs) in a glass matrix combine excellent optical properties and stability against environment. The spectral and temporal characteristics of photoluminescence from CsPbBr$_3$ and CsPb(Cl,Br)$_3$ nanocrystals (NCs) in a fluorophosphate glass matrix are measured in a temperature range from 6 to 270 K in order to reveal facto

  34. James C. Green

    The Far Ultraviolet (FUV: hereafter 900-1150 A) is a spectral range which contains many of the ground state transitions of common elements but has had limited observational capabilities due to the unique technological requirements to operate in this waveband. Conceptual designs are presented, for high resolution (R > 50,000) echelle spectrographs for CubeSat

  35. Dmitry Melnikov

    We use the topological quantum field theory description of states in Chern-Simons theory to discuss the relation between spacetime connectivity and entanglement, exploring the paradigm entanglement=topology. We define a special class of states in Chern-Simons with properties similar to those of holographic states. While the holographic states are dual to cla

  36. Jing Xu, Andrew Lee, Sainbayar Sukhbaatar, Jason Weston

    Practitioners commonly align large language models using pairwise preferences, i.e., given labels of the type response A is preferred to response B for a given input. Perhaps less commonly, methods have also been developed for binary feedback, i.e. training models given labels of type response A is good or bad. We show how an existing performant binary feedb

  37. Riccardo Martini, Gregorio Paci, Dario Sauro

    We derive the runnings of the $R$ and $R^2$ operators that stem from integrating out quantum torsion fluctuations on a maximally symmetric Euclidean background, while treating the metric as a classical field. Our analysis is performed in a manifestly covariant way, exploiting both the recently-introduced spin-parity decomposition of torsion perturbations and

  38. Yaroslav Balytskyi, Yevgen Kotukh, Gennady Khalimov, Sang-Yoon Chang

    $\mathcal{PT}$-symmetric systems have garnered significant attention due to their unconventional properties. Despite the growing interest, there remains an ongoing debate about whether these systems outperform their Hermitian counterparts in practical applications, and if so, by what metrics this performance should be measured. We developed $\mathcal{PT}$-sy

  39. Shuchen Zhang, Linrui Jin, Yuan Lu, Linghai Zhang

    Moir\'e superlattices have emerged as a new platform for studying strongly correlated quantum phenomena, but these systems have been largely limited to van der Waals layer two-dimensional (2D) materials. Here we introduce moir\'e superlattices leveraging ultra-thin, ligand-free halide perovskites, facilitated by ionic interactions. Square moir\'e superlattic

  40. Zijie Yang, Yongjing Yin, Chaojun Kong, Tiange Chi

    Natural Medicinal Materials (NMMs) have a long history of global clinical applications and a wealth of records and knowledge. Although NMMs are a major source for drug discovery and clinical application, the utilization and sharing of NMM knowledge face crucial challenges, including the standardized description of critical information, efficient curation and

  41. Marc S. Klinger, Robert G. Leigh

    Recent work has highlighted the importance of crossed products in correctly elucidating the operator algebraic approach to quantum field theories. In the gravitational context, the crossed product simultaneously promotes von Neumann algebras associated with subregions in diffeomorphism covariant quantum field theories from type III to type II, and provides t

  42. Christopher L. Fryer, Paul A. Keiter, Vidushi Sharma, Joshua Leveillee

    Radiation flow through an inhomogeneous medium is critical in a wide range of physics and astronomy applications from transport across cloud layers on the earth to the propagation of supernova blast-waves producing UV and X-ray emission in supernovae. Radiation interacts with matter driving hydrodynamic feedback that further alters the radiation characterist

  43. M. Gochitashvili, R. Lomsadze, R. Ya. Kezerashvili, I. Noselidze

    We present an experimental study of the dissociative excitation in the collision of helium ions with nitrogen and oxygen molecules for collision energy of $0.7-10$ keV. Absolute emission cross sections are measured and reported for most nitrogen and oxygen atomic and ionic lines in wide, vacuum ultraviolet ($80-130$ nm) and visible ($380-800$ nm), spectral r

  44. Máximo Coppola, Daniel Gomez Dumm, Santiago Noguera, Norberto N. Scoccola

    We study the mass spectrum of light pseudoscalar and vector mesons in the presence of an external uniform magnetic field $\vec B$, considering the effects of the mixing with the axial vector meson sector. The analysis is performed within a two-flavor NJL-like model which includes isoscalar and isovector couplings together with a flavor mixing 't Hooft-like t

  45. Kurusch Ebrahimi-Fard, Igor Mencattini, Alexandre Quesney

    The Magnus expansion, introduced by Wilhelm Magnus in 1954, is an infinite Lie series employed to express solutions for first-order homogeneous linear differential equations involving a linear operator. Since its discovery it has evolved into a pivotal tool used across diverse disciplines, including physics, chemistry, and engineering. Over the past 25 years

  46. Robert Frontczak

    In this paper, we introduce three new classes of binomial sums involving Fibonacci (Lucas) numbers and weighted binomial coefficients.

  47. Ivan Dimitrijevic, Branko Dragovich, Zoran Rakic, Jelena Stankovic

    In this paper, we briefly review highlights of nonlocal de Sitter gravity based on the nonlocal term $ \sqrt{R - 2\Lambda}\ \mathcal{F}(\Box)\ \sqrt{R - 2\Lambda }$ in the Einstein-Hilbert action without matter sector. This nonlocal de Sitter gravity model has several exact cosmological FLRW solutions and one of these solutions contains some effects that are

  48. Fernando De Terán, Andrii Dmytryshyn, Froilán M. Dopico

    We show that the set of $m \times m$ complex skew-symmetric matrix polynomials of even grade $d$, i.e., of degree at most $d$, and (normal) rank at most $2r$ is the closure of the single set of matrix polynomials with certain, explicitly described, complete eigenstructure. This complete eigenstructure corresponds to the most generic $m \times m$ complex skew

  49. Yago Bea, Pau Figueras

    In recent years the equations of relativistic first-order viscous hydrodynamics, that is, the relativistic version of Navier-Stokes, have been shown to be well posed and causal under appropriate field redefinitions, also known as hydrodynamic frames. We perform real-time evolutions of these equations for a conformal fluid and explore, quantitatively, the con

  50. Maria Shubina

    In this paper we present a number of examples of exact solutions for the Friedmann cosmological equation for metric $ F(R) $ gravity model. Emphasis was placed on the possibility of obtaining exact time dependences of the main cosmological physical quantities: scale factor, scalar curvature, Hubble rate and function $ F(R) $. For this purpose an ansatz was u

  51. CMS Collaboration

    A measurement of the dijet production cross section is reported based on proton-proton collision data collected in 2016 at $\sqrt{s}$ = 13 TeV by the CMS experiment at the CERN LHC, corresponding to an integrated luminosity of up to 36.3 fb$^{-1}$. Jets are reconstructed with the anti-$k_\mathrm{T}$ algorithm for distance parameters of $R$ = 0.4 and 0.8. Cro

  52. C. Boutan, B. H. LaRoque, E. Lentz, N. S. Oblath

    The ADMX collaboration gathered data for its Run 1A axion dark matter search from January to June 2017, scanning with an axion haloscope over the frequency range 645-680 MHz (2.66-2.81 ueV in axion mass) at DFSZ sensitivity. The resulting axion search found no axion-like signals comprising all the dark matter in the form of a virialized galactic halo over th

  53. Joaquin Espinosa-Garcia, Cipriano Rangel, Jose C. Corchado

    Quasi-classical trajectory (QCT) calculations were conducted on the newly developed full-dimensional potential energy surface, PES-2023, to analyse two critical aspects: the influence of vibrational versus translational energy in promoting reactivity, and the impact of vibrational excitation within similar vibrational modes. The former relates to Polanyi's r

  54. Hankyung Ko

    We study parabolic double cosets in a Coxeter system by decomposing them into atom(ic coset)s, a generalization of simple reflections introduced in a joint work with Elias, Libedinsky, Patimo. We define and classify braid relations between compositions of atoms and prove a Matsumoto theorem. Together with a quadratic relation, our braid relations give a pres

  55. James D. Currie, Narad Rampersad

    It is known that there are infinite words over finite alphabets with Abelian repetition threshold arbitrarily close to 1; however, the construction previously used involves huge alphabets. In this note we give a short cyclic morphism (length 13) over an 8-letter alphabet yielding an Abelian repetition threshold less than 1.8.

  56. Nora M. Bauer, Rizwanul Alam, James Ostrowski, George Siopsis

    We use Quantum Imaginary Time Evolution (QITE) to solve polynomial unconstrained binary optimization (PUBO) problems. We show that a linear Ansatz yields good results for a wide range of PUBO problems, often outperforming standard classical methods, such as the Goemans-Williamson (GW) algorithm. We obtain numerical results for the Low Autocorrelation Binary

  57. Javier Castillo-Seoane, Lidia Contreras-Bernal, Antonio J. Riquelme, Samuel Fauvel

    Dye Sensitized Solar Cells (DSSCs) have recently regained attention for indoor light harvesting and powering wireless devices. Advantages such as cost-effectiveness, flexibility, wide angular response, and lightweight design have driven the fostering of the implementation of advanced photonic architectures, dedicated photosensitizers and compatibility with w

  58. James P. Crutchfield, David D. Dunn, Alexandra M. Jurgens

    Recording the undersea three-dimensional bioacoustic sound field in real-time promises major benefits to marine behavior studies. We describe a novel hydrophone array -- the hydroambiphone (HAP) -- that adapts ambisonic spatial-audio theory to sound propagation in ocean waters to realize many of these benefits through spatial localization and acoustic immers

  59. A. Sorgho, L. Verdes-Montenegro, K. M. Hess, M. G. Jones

    We investigate the relationship between the baryonic angular momentum and mass for a sample of 36 isolated disc galaxies with resolved HI kinematics and infrared WISE photometry drawn from -- and representative in terms of morphologies, stellar masses and HI-to-star fraction of -- the carefully-constructed AMIGA sample of isolated galaxies. Similarly to prev

  60. Chenan Wei, Vagharsh V. Mkhitaryan, Tigran A. Sedrakyan

    We study the low-energy properties of the one-dimensional spin-1/2 XXZ chain with time-reversal symmetry-breaking pseudo-scalar chiral interaction and propose a phase diagram for the model. In the integrable case of the isotropic Heisenberg model with the chiral interaction, we employ the thermodynamic Bethe ansatz to find "chiralization", the response of th

  61. Alex Doboli

    Creating written products is essential to modern life, including writings about one's identity and personal experiences. However, writing is often a difficult activity that requires extensive effort to frame the central ideas, the pursued approach to communicate the central ideas, e.g., using analogies, metaphors, or other possible means, the needed presenta

  62. Pei-Yi Feng, Xi-Lei Sun, Zheng-Hua An, Yong Deng

    The GECAM series of satellites utilize LaBr3(Ce), LaBr3(Ce,Sr), and NaI(Tl) crystals as sensitive materials for gamma-ray detectors (GRDs). To investigate the non-linearity in the detection of low-energy gamma rays and address errors in the E-C relationship calibration, comprehensive tests and comparative studies of the non-linearity of these three crystals

  63. Iaroslav V. Blagouchine, Eric Moreau

    In this paper we investigate the finite sum of cosecants $\sum\csc\big(\varphi+a\pi l/n\big),$ where the index $l$ runs through 1 to $n-1$ and $\varphi$ and $a$ are arbitrary parameters, as well as several closely related sums, such as similar sums of a series of secants, of tangents and of cotangents. These trigonometric sums appear in various problems in m

  64. Antonio Galves, Fernando Najman, Marcela Svarc, Claudia D. Vargas

    We introduce a new clustering method for the classification of functional data sets by their probabilistic law, that is, a procedure that aims to assign data sets to the same cluster if and only if the data were generated with the same underlying distribution. This method has the nice virtue of being non-supervised and non-parametric, allowing for explorator

  65. Sourav Ghosh

    The main goal of this article is to generalize Mess' work and using results from Labourie--Wentworth, Potrie--Sambarino and Smilga, to show that inside Hitchin representations, infinitesimal deformations of Fuchsian representations of a cocompact surface group do not act properly along the directions corresponding to the sum of a mixed odd differential and a

  66. D. J. G. Pearce, C. Thibault, Q. Chaboche, C. Blanch-Mercader

    Topological defects are ubiquitous on surfaces with orientational order fields. Here, we study equilibrium states generated by the feedback between geometry and nematic order on fluid membranes with an integer topological defect. When the Frank elastic constants associated with the orientational field dominate, the surfaces spontaneously deform toward an con

  67. Márton Benedek, Péter Biró, Gergely Csáji, Matthew Johnson

    In kidney exchange programmes (KEP) patients may swap their incompatible donors leading to cycles of kidney transplants. Nowadays, countries try to merge their national patient-donor pools leading to international KEPs (IKEPs). As shown in the literature, long-term stability of an IKEP can be achieved through a credit-based system. In each round, every count

  68. Thomas C. Fraser

    This thesis seeks to develop a general method for solving so-called quantum realizability problems, which are questions of the following form: under which conditions does there exist a quantum state exhibiting a given collection of properties? The approach adopted by this thesis is to utilize mathematical techniques previously developed for the related probl

  69. Omar I. Al-Bataineh

    This paper describes a formal general-purpose automated program repair (APR) framework based on the concept of program invariants. In the presented repair framework, the execution traces of a defected program are dynamically analyzed to infer specifications $\varphi_{correct}$ and $\varphi_{violated}$, where $\varphi_{correct}$ represents the set of likely i

  70. Teresa I. Hoekstra-Mendoza, Miguel E. Licona-Velázquez, Rocío Rojas-Monroy

    It is well known that determining if a digraph has a kernel is an NP-complete problem. However, Topp proved that when subdividing every arc of a digraph we obtain a digraph with a kernel. In this paper we define the kernel subdivision number $\kappa(D)$ of a digraph $D$ as the minimum number of arcs, such that, when subdividing them, we obtain a digraph with

  71. Artem Ilev

    In the paper hereditary classes of ${\rm L}$-structures are studied with language of the form ${{\rm L} = {\rm L_{fin}} \cup {\rm L_\infty}}$, where ${{\rm L_{fin}} = \langle R_1,R_2,\ldots, R_m, = \rangle}$ and ${{\rm L_\infty} = \langle R_{m+1}, R_{m+2}, \ldots \rangle}$, and also in ${\rm L_\infty}$ the number of predicates of each arity is finite, all pr

  72. Huan Liu, Zichang Tan, Chuangchuang Tan, Yunchao Wei

    In this paper, we study the problem of generalizable synthetic image detection, aiming to detect forgery images from diverse generative methods, e.g., GANs and diffusion models. Cutting-edge solutions start to explore the benefits of pre-trained models, and mainly follow the fixed paradigm of solely training an attached classifier, e.g., combining frozen CLI

  73. Sai Shubodh Puligilla, Mohammad Omama, Husain Zaidi, Udit Singh Parihar

    Global visual localization in LiDAR-maps, crucial for autonomous driving applications, remains largely unexplored due to the challenging issue of bridging the cross-modal heterogeneity gap. Popular multi-modal learning approach Contrastive Language-Image Pre-Training (CLIP) has popularized contrastive symmetric loss using batch construction technique by appl

  74. Saugata Basu, Alison Rosenblum

    We adapt a construction of Gabrielov and Vorobjov for use in the symmetric case. Gabrielov and Vorobjov had developed a means by which one may replace an arbitrary set $S$ definable in some o-minimal expansion of $\mathbb{R}$ with a compact set $T$. $T$ is constructed in such a way that for a given $m>0$ we have epimorphisms from the first $m$ homotopy and h

  75. Teresa I. Hoekstra-Mendoza

    Given a tree $T$, the cohomology ring of its unordered configuration space $H^{\ast}(U\mathcal{D}^nT)$ is an exterior face algebra if $T$ is a binary core tree (if by removing the leaves from $T$ we obtain a binary tree), or if $n=4$. This means that every cup product is determined by a simplicial complex $K_nT$. In this paper we show how to recover the tree

  76. Ai Guan, Julian Holstein, Andrey Lazarev

    We define Hochschild cohomology of the second kind for differential graded (dg) or curved algebras as a derived functor in the twisted derived category, and show that it is invariant under suitable Morita equivalences of the second kind. A bimodule version of Koszul duality is constructed and used to show that Hochschild cohomology of the second kind is pres

  77. Marc Kesseböhmer, Aljoscha Niemann

    In this note, we present an abstract approach to study asymptotic orders for adaptive approximations with respect to a monotone set function $\mathfrak{J}$ defined on dyadic cubes. We determine the exact upper order in terms of the critical value of the corresponding $\mathfrak{J}$-partition function, and we are able to provide upper and lower bounds in term

  78. Vasileios Evangelakos, Emmanuel Paspalakis, Dionisis Stefanatos

    We derive shortcuts to adiabaticity maximizing population transfer in a three-level $\Lambda$ quantum system, using the spin to spring mapping to formulate the corresponding optimal control problem on the simpler system of a classical driven dissipative harmonic oscillator. We solve the spring optimal control problem and obtain analytical expressions for the

  79. Óscar Ciaurri

    In this paper we analyze some classical operators in harmonic analysis associated to the multidimensional discrete Laplacian \[ \Delta_N f(\mathbf{n})=\sum_{i=1}^{N}(f(\mathbf{n}+\mathbf{e}_i)-2f(\mathbf{n})+f(\mathbf{n}-\mathbf{e}_i)), \qquad \mathbf{n}\in \mathbb{Z}^N. \] We deal with the heat and Poisson semigroups, the fractional integrals, the Riesz tra

  80. McKenzie Black, Changhui Tan

    We investigate a class of Vlasov-type kinetic flocking models featuring nonlinear velocity alignment. Our primary objective is to rigorously derive the hydrodynamic limit leading to the compressible Euler system with nonlinear alignment. This study builds upon the work by Figalli and Kang [Anal. PDE, 12(3), 843-866, 2018], which addressed the scenario of lin

  81. Erik D. Kountz, Chaitanya R. Murthy, Dong Chen, Linda Ye

    We study thermalization and thermal transport in single crystals of CsV$_3$Sb$_5$ through the CDW transition by directly measuring thermal diffusivity ($D$), thermal conductivity ($\kappa$), resistivity ($\rho$), and specific heat ($c$). Commensurate with previous reports, we observe a sharp, narrow anomaly in specific heat associated with a first order tran

  82. Laurent Talon, Andreas Andersen Hennig, Alex Hansen, Alberto Rosso

    The flow of yield stress fluids in porous media presents interesting complexity due to the interplay between the non-linear rheology and the heterogeneity of the medium. A remarkable consequence is that the number of flow paths increases with the applied pressure difference and is responsible for a non-linear Darcy law. Previous studies have focused on the p

  83. Surojit Ganguli, Zeyu Zhou, Christopher G. Brinton, David I. Inouye

    When each edge device of a network only perceives a local part of the environment, collaborative inference across multiple devices is often needed to predict global properties of the environment. In safety-critical applications, collaborative inference must be robust to significant network failures caused by environmental disruptions or extreme weather. Exis

  84. Andrey Shternshis, Stefano Marmi

    We use the statistical properties of Shannon entropy estimator and Kullback-Leibler divergence to study the predictability of ultra-high frequency financial data. We develop a statistical test for the predictability of a sequence based on empirical frequencies. We show that the degree of randomness grows with the increase of aggregation level in transaction

  85. Yihuai Zhang, Jean Auriol, Huan Yu

    This paper proposes a backstepping boundary control design for robust stabilization of linear first-order coupled hyperbolic partial differential equations (PDEs) with Markov-jumping parameters. The PDE system consists of 4 X 4 coupled hyperbolic PDEs whose first three characteristic speeds are positive and the last one is negative. We first design a full-st

  86. Mohammad Mahdi Altakach, Sabine Kraml, Andre Lessa, Sahana Narasimha

    Electroweak-inos, superpartners of the electroweak gauge and Higgs bosons, play a special role in supersymmetric theories. Their intricate mixing into chargino and neutralino mass eigenstates leads to a rich phenomenology, which makes it difficult to derive generic limits from LHC data. In this paper, we present a global analysis of LHC constraints for promp

  87. James D Kiper, Simon Sultana, Brent Auernheimer, Gursimran Singh Walia

    Software engineering (SE) evolves rapidly, with changing technology and industry expectations. The curriculum review bodies (e.g., ACM and IEEE-CS working groups) respond well but can have refresh cycles measured in years. For Computer Science and SE educators to be agile, predictive, and adapt to changing technology trends, judicious use of gray literature

  88. Advait Sarkar, Ian Drosos, Rob Deline, Andrew D. Gordon

    Generative AI, such as image generation models and large language models, stands to provide tremendous value to end-user programmers in creative and knowledge workflows. Current research methods struggle to engage end-users in a realistic conversation that balances the actually existing capabilities of generative AI with the open-ended nature of user workflo

  89. D. M. Broun, H. U. Özdemir, Vivek Mishra, N. R. Lee-Hone

    Dopant impurity potentials determined by ab-initio supercell DFT calculations are used to calculate the optical conductivity of overdoped LSCO and Tl-2201 in the superconducting and normal states. Vertex corrections are included, to account for the effect of forward scattering on two-particle properties. This approach was previously shown to provide good, se

  90. S. Henry, H. Su, S. Akhter, Z. Ahmad Dar

    Accelerator based neutrino oscillation experiments seek to measure the relative number of electron and muon neutrinos and antineutrinos at different $L/E$ values. However high statistics studies of neutrino interactions are almost exclusively measured using muon neutrinos and antineutrinos since the dominant flavor of neutrinos produced by accelerator based

  91. Kofi Deh, Elizabeth Coffee, Guannan Zhang, Nathaniel Kim

    The transient signal available for hyperpolarized (HP) 13C imaging limits the image spatial resolution. This paper demonstrates a method of increasing spatial resolution by post-processing the HP 13C metabolic map using a corresponding anatomic image as a high-resolution example. The proposed method is tested with a Shepp-Logan digital phantom and for an MR

  92. Roni Permana Saputra, Midriem Mirdanies, Eko Joni Pristianto, Dayat Kurniawan

    This paper presents a proposed method of autonomous control for docking tasks of a single-seat personal mobility vehicle. We proposed a non-linear model predictive control (NMPC) based visual servoing to achieves the desired autonomous docking task. The proposed method is implemented on a four-wheel electric wheelchair platform, with two independent rear dri

  93. Adva Mond, Julien Portier

    We prove that for every $k\ge 10$, the online Ramsey number for paths $P_k$ and $P_n$ satisfies $\tilde{r}(P_k,P_n) \geq \frac{5}{3}n + \frac{k}{9} - 4$, matching up to a linear term in $k$ the upper bound recently obtained by Bednarska-Bzd{\k{e}}ga. In particular, this implies $\lim_{n \rightarrow \infty} \frac{\tilde{r}(P_k, P_n)}{n} = \frac{5}{3}$, whenev

  94. Yuzhang Shang, Zhihang Yuan, Yan Yan

    Dataset distillation (DD) aims to synthesize a small dataset whose test performance is comparable to a full dataset using the same model. State-of-the-art (SoTA) methods optimize synthetic datasets primarily by matching heuristic indicators extracted from two networks: one from real data and one from synthetic data (see Fig.1, Left), such as gradients and tr

  95. Álvaro G. Becker, Marcelo P. Cenci, Thiago L. T. da Silveira, Hugo M. Veit

    The recycling of waste electrical and electronic equipment is an essential tool in allowing for a circular economy, presenting the potential for significant environmental and economic gain. However, traditional material separation techniques, based on physical and chemical processes, require substantial investment and do not apply to all cases. In this work,

  96. Jihyeon Park, Gun Sang Jeon

    We consider a modified graphene model under exchange couplings. Various quantum anomalous phases are known to emerge under uniform or staggered exchange couplings. We introduce the twist between the orientations of two sublattice exchange couplings, which is useful for examining how such topologically nontrivial phases under different types of exchange coupl

  97. Luca Cattelani, Vittorio Fortino

    The challenge in biomarker discovery using machine learning from omics data lies in the abundance of molecular features but scarcity of samples. Most feature selection methods in machine learning require evaluating various sets of features (models) to determine the most effective combination. This process, typically conducted using a validation dataset, invo

  98. Yongchang Cao, Liang He, Zhen Wu, Xinyu Dai

    BERT-based models have shown a remarkable ability in the Chinese Spelling Check (CSC) task recently. However, traditional BERT-based methods still suffer from two limitations. First, although previous works have identified that explicit prior knowledge like Part-Of-Speech (POS) tagging can benefit in the CSC task, they neglected the fact that spelling errors

  99. Seokbong Seol

    A DG manifold of amplitude $+1$ encodes the derived intersection of a section $s$ and the zero section of a vector bundle $E$. In this paper, we compute the Atiyah class of DG manifolds of amplitude $+1$. In particular, we show that the Atiyah class vanishes if and only if the intersection of $s$ with the zero section is a clean intersection. As an applicati

  100. Runzhe Tang, Long Yang, Lv Lu, Zheng Zhang

    This paper investigates covert communications in an integrated sensing and communications system, where a dual-functional base station (called Alice) covertly transmits signals to a covert user (called Bob) while sensing multiple targets, with one of them acting as a potential watcher (called Willie) and maliciously eavesdropping on legitimate communications