July 2023 arXiv papers — page 76

Tornike Kadeishvili

In these lectures we present our minimality theorem by which in cohomology of a topological space appear multioperations which turn it ot Stasheff $A(\infty)$ algebra. This rich structure carries more information than just the structure of cohomology algebra, particularly it allows to define cohomologies of the loop space. We present also the notion of $C(\i

Surender Siwach

This paper investigates the beta decay of nuclei within the sd model space, encompassing the $0d_{3/2}$, $0d_{5/2}$, and $1s_{1/2}$ shells. We comprehensively analyze their decay characteristics, including the half-life, $logft$ value, Q value, branching ratio, B(GT) value, M(GT), and R(GT) value. These results are compared with experimental data from Z = 8-

Xavier Coiteux-Roy, Francesco d'Amore, Rishikesh Gajjala, Fabian Kuhn

We give an almost complete characterization of the hardness of $c$-coloring $\chi$-chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that: 1) We give a new distributed algorithm that finds a $c$-coloring in $\chi$-

Subhankar Banerjee, Priyanka Kaswan, Sennur Ulukus

We consider a slotted communication system consisting of a source, a cache, a user and a timestomping adversary. The time horizon consists of total $T$ time slots, such that the source transmits update packets to the user directly over $T_{1}$ time slots and to the cache over $T_{2}$ time slots. We consider $T_{1}\ll T_{2}$, $T_{1}+T_{2} < T$, such that the

Ruben S. Andrist, Martin J. A. Schuetz, Pierre Minssen, Romina Yalovetzky

Rydberg atom arrays are among the leading contenders for the demonstration of quantum speedups. Motivated by recent experiments with up to 289 qubits [Ebadi et al., Science 376, 1209 (2022)] we study the maximum independent set problem on unit-disk graphs with a broader range of classical solvers beyond the scope of the original paper. We carry out extensive

Andreas Hauptmann, Subhadip Mukherjee, Carola-Bibiane Schönlieb, Ferdia Sherry

Plug-and-play (PnP) denoising is a popular iterative framework for solving imaging inverse problems using off-the-shelf image denoisers. Their empirical success has motivated a line of research that seeks to understand the convergence of PnP iterates under various assumptions on the denoiser. While a significant amount of research has gone into establishing

Eugene Kogan

We continue our previous studies of the shocks in the lossy Josephson transmission line (JTL). The paper consists of two parts. In the first part we analyse the scattering of the "sound' (small amplitude small wave vector harmonic wave) on the shock wave and calculate the reflection and the transmission coefficients. In the second part we show that the kinks

Wojciech Cygan, Hugo Panzo, Stjepan Šebek

We establish bounds on expected values of various geometric quantities that describe the size of the convex hull spanned by a path of the standard planar Brownian motion. Expected values of the perimeter and the area of the Brownian convex hull are known explicitly, and satisfactory bounds on the expected value of its diameter can be found in the literature

Supriyo Jana, Soumen Sarkar

In this paper, we consider the following two algebraic hypersurfaces $$S^1\times S^2=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2-a^2)^2 + x_3^2 + x_4^2 -1=0;~ a>1\}$$ and $$S^2\times S^1=\{(x_1,x_2,x_3,x_4)\in \mathbb{R}^4:(x_1^2+x_2^2+x_3^2-b^2)^2+x_4^2-1=0;~ b>1\}$$ embedded in $\mathbb{R}^4$. We study polynomial vector fields in $\mathbb{R}^4$ separa

Nilanjan Bag, Anup Haldar

In this article, we prove an asymptotic formula for the fourth power mean of a general $s$-dimensional hyper-Kloosterman sum. We find the number of solutions of certain congruence equations mod $p$ which play an integral part to prove our main result. We use estimates for character sums and analytic methods to prove our theorem.

Avinash Kori, Francesco Locatello, Fabio De Sousa Ribeiro, Francesca Toni

The extraction of modular object-centric representations for downstream tasks is an emerging area of research. Learning grounded representations of objects that are guaranteed to be stable and invariant promises robust performance across different tasks and environments. Slot Attention (SA) learns object-centric representations by assigning objects to \texti

Patrick Kennedy-Hunt, Qaasim Shafi, Ajith Urundolil Kumaran

We prove a $q$-refined tropical correspondence theorem for higher genus descendant logarithmic Gromov--Witten invariants with a $\lambda_g$ class in toric surfaces. Specifically, a generating series of such logarithmic Gromov--Witten invariants agrees with a $q$-refined count of rational tropical curves satisfying higher valency conditions. As a corollary, w

Yinghao Aaron Li, Cong Han, Nima Mesgarani

In recent years, large-scale pre-trained speech language models (SLMs) have demonstrated remarkable advancements in various generative speech modeling applications, such as text-to-speech synthesis, voice conversion, and speech enhancement. These applications typically involve mapping text or speech inputs to pre-trained SLM representations, from which targe

Samson L. Shatashvili

This is a summary of my lecture at Igor Frenkel's 70th birthday conference. I give a brief review of my almost forty years of scientific interactions with Igor. I focus here on three topics of joint interests: 2-cocycles, coadjoint orbits and $WZW_4$. At the end of each topic I comment on new developments, if any.

Alp Uzman

We establish arithmeticity in the sense of A. Katok and F. Rodriguez Hertz of smooth actions $\alpha$ of $\mathbb{R}^k$ on an anonymous manifold $M$ of dimension $2k+1$ provided that there is an ergodic invariant Borel probability measure on $M$ w/r/t which each nontrivial time-$t$ map $\alpha_t$ of the action has positive entropy. Arithmeticity in this cont

Qingqi Zhao, Yuhang Wang, Cheng Chen

Underground hydrogen storage (UHS) in geological formations is a promising technology for large-scale hydrogen energy storage. Although lessons were learned from similar studies, including geological carbon sequestration and underground gas storage, the unique thermodynamic and physical properties of hydrogen distinguish UHS from the other subsurface storage

Lei Chen, Fang Xie, Shouvik Sur, Haoyu Hu

Strange metals arise in a variety of platforms for strongly correlated electrons, ranging from the cuprates, heavy fermions to flat band systems. Motivated by recent experiments in kagome metals, we study a Hubbard model on a kagome lattice whose noninteracting limit contains flat bands. A Kondo lattice description is constructed, in which the correlation ef

Antonio J. Garzón-Ramírez, Ignacio Franco

Controlling matter at the level of electrons using ultrafast laser sources represents an important challenge for science and technology. Recently we introduced a general laser control scheme (the Stark Control of Electrons at Interfaces or SCELI) based on the Stark effect that uses the subcycle structure of light to manipulate electron dynamics at semiconduc

Giulia Codenotti, Ansgar Freyer

The purpose of this paper is to study convex bodies $C$ for which there exists no convex body $C^\prime\subsetneq C$ of the same lattice width. Such bodies shall be called ``lattice reduced'', and they occur naturally in the study of the flatness constant in integer programming, as well as other problems related to lattice width. We show that any simplex tha

Joao Leonardo Silva Cotta, Omar Qasem, Paula do Vale Pereira, Hector Gutierrez

The growing number of noncooperative flying objects has prompted interest in sample-return and space debris removal missions. Current solutions are both costly and largely dependent on specific object identification and capture methods. In this paper, a low-cost modular approach for control of a swarm flight of small satellites in rendezvous and capture miss

LHCb collaboration, R. Aaij, A. S. W. Abdelmotteleb, C. Abellan Beteta

The decay $\Xi_b^-\to\Lambda_b^0\pi^-$ is observed using a proton-proton collision data sample collected at center-of-mass energy $\sqrt{s}=13$ TeV with the LHCb detector, corresponding to an integrated luminosity of 5.5 fb$^{-1}$. This process is mediated by the $s\to u\bar{u}d$ quark-level transition, where the $b$ quark in the $\Xi_b^-$ baryon is a specta

Neel Kanwal, Emiel A. M. Janssen, Kjersti Engan

The advancement of biomedical research heavily relies on access to large amounts of medical data. In the case of histopathology, Whole Slide Images (WSI) and clinicopathological information are valuable for developing Artificial Intelligence (AI) algorithms for Digital Pathology (DP). Transferring medical data "as open as possible" enhances the usability of

Jonathan Sterling

It often happens that free algebras for a given theory satisfy useful reasoning principles that are not preserved under homomorphisms of algebras, and hence need not hold in an arbitrary algebra. For instance, if $M$ is the free monoid on a set $A$, then the scalar multiplication function $A\times M \to M$ is injective. Therefore, when reasoning in the forma

Amjad Sohail, Jia-Xin Peng, Abdelkader Hidki, S. K. Singh

We theoretically propose a scheme to generate distant bipartite entanglement between various subsystems in coupled magnomechanical systems where both the microwave cavities are coupled through single photon hopping parameter. Each cavity also contains a magnon mode and phonon mode and this gives five excitation modes in our model Hamiltonian which are cavity

Jens Tuyls, Dhruv Madeka, Kari Torkkola, Dean Foster

Imitation Learning (IL) is one of the most widely used methods in machine learning. Yet, many works find it is often unable to fully recover the underlying expert behavior, even in constrained environments like single-agent games. However, none of these works deeply investigate the role of scaling up the model and data size. Inspired by recent work in Natura

Loren I. Matilsky

In many rotating fluids, the lowest-order force balance is between gravity, pressure, and rotational acceleration ('GPR' balance). Terrestrial GPR balance takes the form of geostrophy and hydrostasy, which together yield the terrestrial thermal wind equation. By contrast, stellar GPR balance is an oblateness equation, which determines the departures of the t

Xuan Zhang, Gabriel Mancino-Ball, Necdet Serhat Aybat, Yangyang Xu

We propose a novel single-loop decentralized algorithm called DGDA-VR for solving the stochastic nonconvex strongly-concave minimax problem over a connected network of $M$ agents. By using stochastic first-order oracles to estimate the local gradients, we prove that our algorithm finds an $\epsilon$-accurate solution with $\mathcal{O}(\epsilon^{-3})$ sample

Ahmed Abdelkawy, Aly Farag, Islam Alkabbany, Asem Ali

In this paper, we propose a novel technique for measuring behavioral engagement through students' actions recognition. The proposed approach recognizes student actions then predicts the student behavioral engagement level. For student action recognition, we use human skeletons to model student postures and upper body movements. To learn the dynamics of stude

M. R. A. Sakran

An expansion procedure using third kind Chebyshev polynomials as base functions is suggested for solving second type Volterra integral equations with logarithmic kernels. The algorithm's convergence is studied and some illustrative examples are presented to show the method's efficiency and reliability, comparisons with other methods in the literature are mad

Helena Pais, Conrado Albertus, M. Ángeles Pérez-García, Constança Providência

Recently, a resonant state of four neutrons (tetraneutron) with an energy of $E_{4n}=2.37\pm 0.38 \rm{(stat)} \pm 0.44 \rm{(sys)}$ MeV and a width of $\Gamma=1.75\pm 0.22 \rm{(stat)} \pm 0.30 \rm{(sys)}$ MeV was reported. In this work, we analyse the effect of including such an exotic state on the yields of other light clusters, that not only form in astroph

Martin Land

In a series of recent papers we developed a formulation of general relativity in which spacetime and the dynamics of matter evolve with a Poincar\'e invariant parameter $\tau$. In this paper, we apply the formalism to derive the metric induced by a `static' event evolving uniformly along its $t$-axis at the spatial origin ${\mathbf x} = 0$. The metric is sho

Aritra Basu, Soumya P. Dash, Aryan Kaushik, Debasish Ghose

Index modulation schemes for reconfigurable intelligent surfaces (RIS)-assisted systems are envisioned as promising technologies for fifth-generation-advanced and sixth-generation (6G) wireless communication systems to enhance various system capabilities such as coverage area and network capacity. In this paper, we consider a receive diversity RIS-assisted w

Federico Betti, Jacopo Staiano, Lorenzo Baraldi, Lorenzo Baraldi

Research in Image Generation has recently made significant progress, particularly boosted by the introduction of Vision-Language models which are able to produce high-quality visual content based on textual inputs. Despite ongoing advancements in terms of generation quality and realism, no methodical frameworks have been defined yet to quantitatively measure

Maowu Nie, Chunjian Zhang, Zhenyu Chen, Li Yi

Fluctuations of harmonic flow along pseudorapidity, known as flow decorrelations, are an important probe of the initial state geometry of the quark-gluon plasma. The flow decorrelations are shown to be sensitive to the collective structure of the colliding nuclei, as revealed clearly by comparing collisions of isobars, $^{96}$Ru+$^{96}$Ru and $^{96}$Zr+$^{96

Peter Zizler, Mandana Sobhanzadeh

The singular value decomposition is arguably one of the most fundamental results in linear algebra. While rigorous proof of this result is of importance, equally important is the motivation in the applied settings. We provide a lively and quite intuitive presentation on the appearance of the singular value decomposition of a matrix in the round robin tournam

Holger Frahm, Márcio J. martins

Based on the finite-size analysis of the spectrum of the quantum group invariant deformation of the $OSp(3|2)$ superspin chain we identify the operator content of the conformal field theory describing the model in its scaling limit. We find that the macroscopic degeneracy of the conformal weights observed in the thermodynamic limit of the isotropic superspin

Levon Barseghyan, Francesca Molinari

We provide sufficient conditions for semi-nonparametric point identification of a mixture model of decision making under risk, when agents make choices in multiple lines of insurance coverage (contexts) by purchasing a bundle. As a first departure from the related literature, the model allows for two preference types. In the first one, agents behave accordin

Indulekha Kavila

This article gives an overview of the new SI and a few details as to how its setting up was achieved. Those interested in the story of how the kilogram was fixed by tying it to the Planck constant can go straight to section five. Otherwise, apart from the introduction given as section one which also presents excerpts from the relevant official documents on k

Alessandro Braggio, Matteo Carrega, Björn Sothmann, Rafael Sánchez

We investigate nonequilibrium effects in the transport of interacting electrons in quantum conductors, proposing the nonlocal thermoelectric response as a direct indicator of the presence of interactions, nonthermal states and the effect of correlations. This is done by assuming a quantum Hall setup where two channels (connected to reservoirs at different te

José Andrés Rodríguez Migueles, Tali Pinsky, Jessica S. Purcell

We construct a sequence of geodesics on the modular surface such that the complement of the canonical lifts to the unit tangent bundle are arithmetic 3-manifolds.

Anne Cathrine Linder, David Lusseau

Understanding human-nature interactions and the architecture of coupled human-nature systems is crucial for sustainable development. Cultural ecosystem services (CES), defined as intangible benefits derived from nature exposure, contribute to maintaining and improving human well-being. However, we have limited understanding of how well-being benefits emerge

F. Furuta, V. Yakovlev, T. Khabiboulline, K. McGee

Traveling wave SRF cavity is a new technology and requires a multi-stage process for development. Conceptual designs have been proposed to adopt TW resonance in an SRF cavity The early stages of developments have been funded by several SBIR grants to Euclid Techlabs which were completed in collaboration with Fermilab. A 3-cell proof-of-principle TW cavity wa

Marta Spreafico, Francesca Ieva, Marta Fiocco

This study aims to analyse the effects of reducing Received Dose Intensity (RDI) in chemotherapy treatment for osteosarcoma patients on their survival by using a novel approach. In this scenario, toxic side effects are risk factors for mortality and predictors of future exposure levels, introducing post-assignment confounding. Chemotherapy administration dat

Biplab Paul, Philip T. Reiss, Erjia Cui, Noemi Foà

The starting point for much of multivariate analysis (MVA) is an $n\times p$ data matrix whose $n$ rows represent observations and whose $p$ columns represent variables. Some multivariate data sets, however, may be best conceptualized not as $n$ discrete $p$-variate observations, but as $p$ curves or functions defined on a common time interval. Here we intro

Densuke Shiraishi

In the present paper, we derive formulas of complex and $\ell$-adic multiple polylogarithms, which have two aspects: a duality in terms of indexes and a reflection in terms of variables. We provide an algebraic proof of these formulas by using algebraic relations between associators arising from the $S_3$-symmetry of the projective line minus three points.

Xinwei Shen, Peter Bühlmann, Armeen Taeb

Since distribution shifts are common in real-world applications, there is a pressing need to develop prediction models that are robust against such shifts. Existing frameworks, such as empirical risk minimization or distributionally robust optimization, either lack generalizability for unseen distributions or rely on postulated distance measures. Alternative

Sevgi Atlihan, Martyn R. Dixon, Martin J. Evans

Let $G$ be a locally graded group and suppose that every non-nilpotent subgroup of $G$ is permutable. We prove that $G$ is soluble. (In light of previous results of the authors, it suffices to prove that $G$ is soluble if it is periodic.

Andreas Gross, Trevor Gunn

We develop several notions of multiplicity for linear factors of multivariable polynomials over different arithmetics (hyperfields). The key example is multiplicities over the hyperfield of signs, which encapsulates the arithmetic of $\mathbf{R}/\mathbf{R}_{>0}$. These multiplicities give us various upper and lower bounds on the number of linear factors with

Ali Tayyebi, Denis Vettoretti, Adolfo Anta, Florian Dörfler

This work explores the stability, behavior, variants, and a controller-hardware-in-the-loop (C-HiL) verification of the recently proposed grid-forming (GFM) hybrid angle control (HAC). We revisit the foundation of GFM HAC, and highlight its behavioral properties in relation to the conventional synchronous machine (SM). Next, we introduce the required complem

Huifang MA, Long Feng, Zhaojun Wang

This paper focuses on testing for the presence of alpha in time-varying factor pricing models, specifically when the number of securities N is larger than the time dimension of the return series T. We introduce a maximum-type test that performs well in scenarios where the alternative hypothesis is sparse. We establish the limit null distribution of the propo

Giovanni Cataldi, Giuseppe Magnifico, Pietro Silvi, Simone Montangero

We numerically simulate a non-Abelian lattice gauge theory in two spatial dimensions, with tensor networks (TN), up to intermediate sizes (>30 matter sites) well beyond exact diagonalization. We focus on the SU(2) Yang-Mills model in Hamiltonian formulation, with dynamical matter and minimally truncated gauge field (hardcore gluon). Thanks to the TN sign-pro

Hossein Abouee-Mehrizi, Mahdi Mirjalili, Vahid Sarhangian

We study a stochastic perishable inventory control problem with endogenous (decision-dependent) uncertainty in shelf-life of units. Our primary motivation is determining ordering policies for blood platelets. Determining optimal ordering quantities is a challenging task due to the short maximum shelf-life of platelets (3-5 days after testing) and high uncert

Martin Kreuzer, Florian Walsh

Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This is achieved step-by-step. First we collect and extend several algorithms for computing exponent lattices in different k

Umut Cetin, Kasper Larsen

In the dynamic discrete-time trading setting of Kyle (1985), we prove that Kyle's equilibrium model is stable when there are one or two trading times. For three or more trading times, we prove that Kyle's equilibrium is not stable. These theoretical results are proven to hold irrespectively of all Kyle's input parameters.

Aviv Arcobi, Stanislav Burov

Cell size control and homeostasis is a major topic in cell biology yet to be fully understood. Several growth laws like the timer, adder, and sizer were proposed, and mathematical approaches that model cell growth and division were developed. This study focuses on utilizing stochastic map modeling for investigating asymmetric cell division. We establish a ma

Antoine Dailly, Florent Foucaud, Anni Hakanen

In the Metric Dimension problem, one asks for a minimum-size set $R$ of vertices such that for any pair of vertices of the graph, there is a vertex from $R$ whose two distances to the vertices of the pair are distinct. This problem has mainly been studied on undirected graphs and has gained a lot of attention in the recent years. We focus on directed graphs,

Saeed Ghoorchian, Evgenii Kortukov, Setareh Maghsudi

Maximizing long-term rewards is the primary goal in sequential decision-making problems. The majority of existing methods assume that side information is freely available, enabling the learning agent to observe all features' states before making a decision. In real-world problems, however, collecting beneficial information is often costly. That implies that,

Micah Chrisman, Robert G. Todd

Bar-Natan's Zh-construction associates to each $n$ component virtual link diagram $L$ an $(n+1)$ component virtual link diagram $Zh(L)$. If $L_0,L_1$ are equivalent virtual link diagrams, then $Zh(L_0),Zh(L_1)$ are equivalent as semi-welded links. The importance of the $Zh$-construction is that it unifies several classical knot invariants with virtual knot i

D. Glavan, S. P. Miao, T. Prokopec, R. P. Woodard

Recent progress on nonlinear sigma models on de Sitter background has permitted the resummation of large inflationary logarithms by combining a variant of Starobinsky's stochastic formalism with a variant of the renormalization group. We reconsider single graviton loop corrections to the photon wave function, and to the Coulomb potential, in light of these d

Axel Brandenburg, Emma Clarke, Tina Kahniashvili, Andrew J. Long

In the primordial plasma, at temperatures above the scale of electroweak symmetry breaking, the presence of chiral asymmetries is expected to induce the development of helical hypermagnetic fields through the phenomenon of chiral plasma instability. It results in magnetohydrodynamic turbulence due to the high conductivity and low viscosity and sources gravit

Katerina Tkacova, Annette Idler, Neil Johnson, Eduardo López

We study the severity of conflict-related violence in Colombia at an unprecedented granular scale in space and across time. Splitting the data into different geographical regions and different historically-relevant eras, we uncover variations in the patterns of conflict severity which we then explain in terms of local conflict actors' different collective be

Dayu Yang, Yue Zhang, Hui Fang

As the popularity of voice assistants continues to surge, conversational search has gained increased attention in Information Retrieval. However, data sparsity issues in conversational search significantly hinder the progress of supervised conversational search methods. Consequently, researchers are focusing more on zero-shot conversational search approaches

Will E. Thompson, Morgan M. Giese, Dariusz C. Lis, Susanna L. Widicus Weaver

Presented here are NOEMA interferometric observations of the neighboring hot cores W3(H$_{2}$O) and W3(OH). The presence of two star-forming cores at different evolutionary stages within the same parent cloud presents a unique opportunity to study how the physics of the source and its evolutionary stage impact the chemistry. Through spectral analysis and ima

Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris

We propose a novel approach to soundly combining linear types with effect handlers. Linear type systems statically ensure that resources such as file handles are used exactly once. Effect handlers provide a modular programming abstraction for implementing features ranging from exceptions to concurrency. Whereas linear type systems bake in the assumption that

Kunal Pal, Kuntal Pal, Tapobrata Sarkar

Regular black holes are often geodesically incomplete when their extensions to negative values of the radial coordinate are considered. Here, we propose to use the Simpson-Visser method of regularising a singular spacetime, and apply it to a regular solution that is geodesically incomplete, to construct a geodesically complete regular solution. Our method is

Phuong T. Nguyen, Juri Di Rocco, Claudio Di Sipio, Riccardo Rubei

Since its launch in November 2022, ChatGPT has gained popularity among users, especially programmers who use it as a tool to solve development problems. However, while offering a practical solution to programming problems, ChatGPT should be mainly used as a supporting tool (e.g., in software education) rather than as a replacement for the human being. Thus,

Sahar Moghimian Hoosh, Henni Ouerdane, Vladimir Terzija, David Pozo

We analyze the potential benefits that energy storage systems (ESS) can bring to distribution networks in terms of cost, stability and flexibility. We propose an optimization model for the optimal sizing, siting, and operation of storage systems in distribution grids. A DistFlow formulation is used for modeling the AC power flow. The ESS model is based on a

Andreas Loukas, Pan Kessel, Vladimir Gligorijevic, Richard Bonneau

In silico screening uses predictive models to select a batch of compounds with favorable properties from a library for experimental validation. Unlike conventional learning paradigms, success in this context is measured by the performance of the predictive model on the selected subset of compounds rather than the entire set of predictions. By extending learn

Vikram Duvvur, Aashay Mehta, Edward Sun, Bo Wu

The use of machine learning in algorithmic trading systems is increasingly common. In a typical set-up, supervised learning is used to predict the future prices of assets, and those predictions drive a simple trading and execution strategy. This is quite effective when the predictions have sufficient signal, markets are liquid, and transaction costs are low.

Thomas Place, Marc Zeitoun

We introduce an operator on classes of regular languages, the star-free closure. Our motivation is to generalize standard results of automata theory within a unified framework. Given an arbitrary input class $C$, the star-free closure operator outputs the least class closed under Boolean operations and language concatenation, and containing all languages of

Haibin Zheng, Jinyin Chen, Haibo Jin

Deep neural networks (DNNs) have demonstrated their outperformance in various software systems, but also exhibit misbehavior and even result in irreversible disasters. Therefore, it is crucial to identify the misbehavior of DNN-based software and improve DNNs' quality. Test input prioritization is one of the most appealing ways to guarantee DNNs' quality, wh

Sohei Ashida

In this paper a method to obtain a critical point of the discretized Hartree-Fock functional from an approximate critical point is given. The method is based on Newton's method on the Grassmann manifold. We apply Newton's method regarding the discretized Hartree-Fock functional as a function of a density matrix. The density matrix is an orthogonal projection

Yunying Fan, Qilong Zhai

In this paper, we rewrite the Stokes eigenvalue problem as an Elliptic eigenvalue problem restricted to subspace, and introduce an abstract framework of solving abstract elliptic eigenvalue problem to give the WG scheme, error estimates and asymptotic lower bounds. Besides, we introduce a new stabilizer and several inequalities to prove GLB properties. Some

Sambhav Jain Reshma Rastogi

Support Vector Machines (SVM) have gathered significant acclaim as classifiers due to their successful implementation of Statistical Learning Theory. However, in the context of multiclass and multilabel settings, the reliance on vector-based formulations in existing SVM-based models poses limitations regarding flexibility and ease of incorporating additional

Manolis Ploumidis, Fabien Chaix, Nikolaos Chrysos, Marios Assiminakis

We present and evaluate the ExaNeSt Prototype, a liquid-cooled rack prototype consisting of 256 Xilinx ZU9EG MPSoCs, 4 TBytes of DRAM, 16 TBytes of SSD, and configurable interconnection 10-Gbps hardware. We developed this testbed in 2016-2019 to validate the flexibility of FPGAs for experimenting with efficient hardware support for HPC communication among te

Swastika Roy, Hatim Chergui, Christos Verikoukis

Future zero-touch artificial intelligence (AI)-driven 6G network automation requires building trust in the AI black boxes via explainable artificial intelligence (XAI), where it is expected that AI faithfulness would be a quantifiable service-level agreement (SLA) metric along with telecommunications key performance indicators (KPIs). This entails exploiting

Lars Sipos, Ulrike Schäfer, Katrin Glinka, Claudia Müller-Birn

Explanations in XAI are typically developed by AI experts and focus on algorithmic transparency and the inner workings of AI systems. Research has shown that such explanations do not meet the needs of users who do not have AI expertise. As a result, explanations are often ineffective in making system decisions interpretable and understandable. We aim to stre

Dogucan Yaman, Fevziye Irem Eyiokur, Leonard Bärmann, Hazim Kemal Ekenel

Talking face generation aims to create realistic videos with accurate lip synchronization and high visual quality, using given audio and reference video while preserving identity and visual characteristics. In this paper, we start by identifying several issues with existing synchronization learning methods. These involve unstable training, lip synchronizatio

Kayhan Behdin, Wenyu Chen, Rahul Mazumder

We consider the problem of learning a sparse graph underlying an undirected Gaussian graphical model, a key problem in statistical machine learning. Given $n$ samples from a multivariate Gaussian distribution with $p$ variables, the goal is to estimate the $p \times p$ inverse covariance matrix (aka precision matrix), assuming it is sparse (i.e., has a few n

Jovita Lukasik, Michael Moeller, Margret Keuper

Zero-cost proxies are nowadays frequently studied and used to search for neural architectures. They show an impressive ability to predict the performance of architectures by making use of their untrained weights. These techniques allow for immense search speed-ups. So far the joint search for well-performing and robust architectures has received much less at

Roger K. Moore

An important open question in human-robot interaction (HRI) is precisely when an agent should decide to communicate, particularly in a cooperative task. Perceptual Control Theory (PCT) tells us that agents are able to cooperate on a joint task simply by sharing the same 'intention', thereby distributing the effort required to complete the task among the agen

Patrick Foulon, Pascal Hubert, Carlos Matheus

Let $\Omega$ be a strictly convex divisible subset of the $n$-dimensional real projective space which is not an ellipsoid. Even though $\partial\Omega$ is not $C^2$, Benoist showed that it is $C^{1+\alpha}$ for some $\alpha>0$, and Crampon established that $\partial\Omega$ actually possesses a sort of anisotropic H\"older regularity -- described by a list $\

Zhixiang Wei, Lin Chen, Tao Tu, Huaian Chen

Most prior semantic segmentation methods have been developed for day-time scenes, while typically underperforming in night-time scenes due to insufficient and complicated lighting conditions. In this work, we tackle this challenge by proposing a novel night-time semantic segmentation paradigm, i.e., disentangle then parse (DTP). DTP explicitly disentangles n

Spyros Gidaris, Andrei Bursuc, Oriane Simeoni, Antonin Vobecky

Self-supervised learning can be used for mitigating the greedy needs of Vision Transformer networks for very large fully-annotated datasets. Different classes of self-supervised learning offer representations with either good contextual reasoning properties, e.g., using masked image modeling strategies, or invariance to image perturbations, e.g., with contra

J. Holzbauer, G. Wu, H. Park, K. McGee

The PIP-II project's LB650 cavities could potentially be vulnerable to mechanical deformation because of the geometric shape of the cavity due to reduced beta. The mechanical property of the niobium half-cell was measured following various heat treatments. The 5-cell cavities were tested in a controlled drop test fashion and the real-world road test. The res

Sunjeev Venkateswaran, Costas Kravaris

This work deals with the problem of designing disturbance decupled observers for the estimation of a function of the states in nonlinear systems. Necessary and sufficient conditions for the existence of lower order disturbance decoupled functional observers with linear dynamics and linear output map are derived. Based on this methodology, a fault-estimation

Prasad Samudrala, Justin Jose, Amit Kulkarni

Trap antenna is well known method and has many applications. With this method, trap(s) are used on antenna to block currents of some frequencies and so electrically divide the antenna into multiple segments and thus one antenna can work on multiple frequencies. In this paper, trap antenna method is used to design a dual band Sub GHz printed F-antenna. The an

Manuel Le Gallo, Corey Lammie, Julian Buechel, Fabio Carta

Analog In-Memory Computing (AIMC) is a promising approach to reduce the latency and energy consumption of Deep Neural Network (DNN) inference and training. However, the noisy and non-linear device characteristics, and the non-ideal peripheral circuitry in AIMC chips, require adapting DNNs to be deployed on such hardware to achieve equivalent accuracy to digi

Dongming Wu, Tiancai Wang, Yuang Zhang, Xiangyu Zhang

Referring video object segmentation (RVOS) aims at segmenting an object in a video following human instruction. Current state-of-the-art methods fall into an offline pattern, in which each clip independently interacts with text embedding for cross-modal understanding. They usually present that the offline pattern is necessary for RVOS, yet model limited temp

Derek Harland, Paul Sutcliffe

A new method is introduced to construct approximations to Skyrmions that are explicit rational functions of the spatial Cartesian coordinates. The scheme uses ADHM data of a Yang-Mills instanton to produce a Skyrmion with a baryon number that is equal to the instanton number. The formula for the Skyrmion involves only the evaluation of the ADHM data, in cont

Alessandro Pesci, Pierbiagio Pieri

Most of the existing proposals for laboratory tests of a quantum nature of gravity are based on the use of two delocalized masses or harmonically bound masses prepared in pure quantum states with large enough spatial extent. Here a setup is proposed that is based on a single delocalized mass coupled to a harmonically trapped test mass (undergoing first expan

Fiorenzo Bastianelli, Francesco Comberiati, Filippo Fecit, Fabio Ori

In this work, we investigate the computation of the counterterms necessary for the renormalization of the one-loop effective action of quantum gravity using both the worldline formalism and the heat kernel method. Our primary contribution is the determination of the Seleey-DeWitt coefficient $a_3(D)$ for perturbative quantum gravity with a cosmological const

Adam Szwajcowski

Utilizing spherical harmonic (SH) domain has been established as the default method of obtaining continuity over space in head-related transfer functions (HRTFs). This paper concerns different variants of extending this solution by replacing SHs with four-dimensional (4D) continuous functional models in which frequency is imagined as another physical dimensi

Guiyu Zhao, Zhentao Guo, Xin Wang, Hongbin Ma

Point cloud registration is to estimate a transformation to align point clouds collected in different perspectives. In learning-based point cloud registration, a robust descriptor is vital for high-accuracy registration. However, most methods are susceptible to noise and have poor generalization ability on unseen datasets. Motivated by this, we introduce Sph

Hristo Papazov

Let $(X, d)$ be a metric space and $C \subseteq 2^X$ -- a collection of special objects. In the $(X,d,C)$-chasing problem, an online player receives a sequence of online requests $\{B_t\}_{t=1}^T \subseteq C$ and responds with a trajectory $\{x_t\}_{t=1}^T$ such that $x_t \in B_t$. This response incurs a movement cost $\sum_{t=1}^T d(x_t, x_{t-1})$, and the

Manuel Ettengruber, Emmanouil Koutsangelas

General consistency requirements of Quantum Gravity demand the existence of one axion per Yang-Mills group. In this work, we consider theories with dark Yang-Mills sectors and investigate general phenomenological implications of these necessary axions. We carry out computations for two simple models, namely a pure Yang-Mills sector and $N$ exact Standard Mod

Thomas Place, Marc Zeitoun

We investigate an operator on classes of languages. For each class $C$, it outputs a new class $FO^2(I_C)$ associated with a variant of two-variable first-order logic equipped with a signature$I_C$ built from $C$. For $C = \{\emptyset, A^*\}$, we get the variant $FO^2(<)$ equipped with the linear order. For $C = \{\emptyset, \{\varepsilon\},A^+, A^*\}$, we g

Kuntal Bhandari, Bingkang Huang, Šárka Nečasová

In this paper, we consider the heat-conducting compressible self-gravitating fluids in time-dependent domains, which typically describe the motion of viscous gaseous stars. The flow is governed by the 3-D Navier-Stokes-Fourier-Poisson equations where the velocity is supposed to fulfil the full-slip boundary condition and the temperature on the boundary is gi

Yipin Su, Davide Riccobelli, Yingjie Chen, Weiqiu Chen

Designing smart devices with tunable shapes has important applications in industrial manufacture. In this paper, we investigate the nonlinear deformation and the morphological transitions between buckling, necking, and snap-through instabilities of layered DE balloons in response to an applied radial voltage and an inner pressure. We propose a general mathem

Shivang Srivastava, Dmitri B. Horoshko, Mikhail I. Kolobov

A time lens allows one to stretch or compress optical waveforms in time, similar to the conventional lens in space. However, a single-time-lens imaging system always imparts a residual temporal chirp on the image, which may be detrimental for quantum networks, where the temporal image interacts with other fields. We show that a two-time-lens imaging system s