March 2023 arXiv papers — page 131

Junzhang Jia, Xuetong Wu, Jingge Zhu, Jamie Evans

We study the effectiveness of stochastic side information in deterministic online learning scenarios. We propose a forecaster to predict a deterministic sequence where its performance is evaluated against an expert class. We assume that certain stochastic side information is available to the forecaster but not the experts. We define the minimax expected regr

Amol Sasane

New algebraic-analytic properties of a previously studied Banach algebra $\mathcal{A}({\bf{p}})$ of entire functions are established. For a given fixed sequence $(\bf{p}(n))_{n\geq 0}$ of positive real numbers, such that $\lim_{n\rightarrow \infty} {\bf{p}}(n)^{\frac{1}{n}}=\infty$, the Banach algebra $\mathcal{A}({\bf{p}})$ is the set of all entire function

Clarisse Fournier, Kenji Watanabe, Takashi Taniguchi, Stéphanie Buil

The ability to identify and characterize homogeneous and inhomogeneous dephasing processes is crucial in solid-state quantum optics. In particular, spectral diffusion leading to line broadening is difficult to evidence when the associated timescale is shorter than the inverse of the photon detection rate. Here, we show that a combination of resonant laser ex

Chiranjit Ray

Andrews introduced the partition function $\overline{C}_{k, i}(n)$, called singular overpartition, which counts the number of overpartitions of $n$ in which no part is divisible by $k$ and only parts $\equiv \pm i\pmod{k}$ may be overlined. We study the parity and distribution results for $\overline{C}_{k,i}(n),$ where $k>3$ and $1\leq i \leq \left\lfloor\fr

Lisai Zhang, Qingcai Chen, Zhijian Chen, Yunpeng Han

Fine-grained supervision based on object annotations has been widely used for vision and language pre-training (VLP). However, in real-world application scenarios, aligned multi-modal data is usually in the image-caption format, which only provides coarse-grained supervision. It is not only cost-expensive but also compute-expensive to collect object annotati

Li Ma, Xiaoyu Li, Jing Liao, Pedro V. Sander

Looping videos are short video clips that can be looped endlessly without visible seams or artifacts. They provide a very attractive way to capture the dynamism of natural scenes. Existing methods have been mostly limited to 2D representations. In this paper, we take a step forward and propose a practical solution that enables an immersive experience on dyna

Wael Bahsoun, Alexey Korepanov

We study infinite systems of mean field weakly coupled intermittent maps in the Pomeau-Manneville scenario. We prove that the coupled system admits a unique ``physical'' stationary state, to which all absolutely continuous states converge. Moreover, we show that suitably regular states converge polynomially.

Fa Peng

Let $2\le n\le9$. Suppose that $f:R\to R$ is locally Lipschitz function satisfying $f(t)\ge A\min\{0,t\}-K$ for all $t\in R$ with some constant $A\ge0$ and $K\ge 0$. We establish an a priori interior H\"older regularity of $C^2$-stable solution to the semilinear elliptic equation $-\Delta u=f(u)$. If, in addition, $f$ is nondecreasing and convex, we obtain t

Xize Cheng, Linjun Li, Tao Jin, Rongjie Huang

Multi-media communications facilitate global interaction among people. However, despite researchers exploring cross-lingual translation techniques such as machine translation and audio speech translation to overcome language barriers, there is still a shortage of cross-lingual studies on visual speech. This lack of research is mainly due to the absence of da

Rasmus Laurvig Haugaard, Frederik Hagelskjær, Thorbjørn Mosekjær Iversen

Object pose estimation is a core computer vision problem and often an essential component in robotics. Pose estimation is usually approached by seeking the single best estimate of an object's pose, but this approach is ill-suited for tasks involving visual ambiguity. In such cases it is desirable to estimate the uncertainty as a pose distribution to allow do

Yixin Chen, Jeffrey Richley, Darleen Perez-Lavin, Jessica Singh Syal

We study general-sum, multi-player stochastic games with transferable utility, motivated by settings where agents can use side payments to make cooperation individually rational. Building on the Harsanyi--Shapley (HS) value for normal-form games, we introduce two HS-based value notions for stochastic games: HS-S, defined by aggregating dynamic coalition-vers

Loris Di Cairano, Matteo Gori, Matthieu Sarkis, Alexandre Tkatchenko

We combine the microcanonical formulation of lattice gauge theories (LGTs) developed by Callaway and the microcanonical inflection point analysis (MIPA) proposed by Bachmann et al. to achieve a systematic characterization of phase transitions (PTs) in U(1) lattice electrodynamics. Besides identifying the well-known deconfinement PT (DPT) due to the neutral p

Zhuohong Li, Wei He, Hongyan Zhang

Nowadays, many large-scale land-cover (LC) products have been released, however, current LC products for China either lack a fine resolution or nationwide coverage. With the rapid urbanization of China, there is an urgent need for creating a very-high-resolution (VHR) national-scale LC map for China. In this study, a novel 1-m resolution LC map of China cove

Jiayang Liu, Xieyuanli Chen, Junhao Xiao, Sichao Lin

Fast and accurate path planning is important for ground robots to achieve safe and efficient autonomous navigation in unstructured outdoor environments. However, most existing methods exploiting either 2D or 2.5D maps struggle to balance the efficiency and safety for ground robots navigating in such challenging scenarios. In this paper, we propose a novel hy

Paweł Krukowski, Michał Piskorski, Ruslana Udovytska, Dorota A. Kowalczyk

Our research shows that commercially available graphene on quartz modified with rhenium oxide meets the requirements for its use as a conductive and transparent anode in optoelectronic devices. The cluster growth of rhenium oxide enables an increase in the work function of graphene by 1.3 eV up to 5.2 eV, which guarantees an appropriate adjustment to the ene

Hong Liu, Dong Wei, Donghuan Lu, Jinghan Sun

Multimodal magnetic resonance imaging (MRI) provides complementary information for sub-region analysis of brain tumors. Plenty of methods have been proposed for automatic brain tumor segmentation using four common MRI modalities and achieved remarkable performance. In practice, however, it is common to have one or more modalities missing due to image corrupt

Wonhee Ko, Sang Yong Song, Jiaqiang Yan, Jose L. Lado

The pairing symmetry of the superconducting order parameter in iron-based superconductors has been a subject of debate, with various models proposing s-wave, d-wave, and mixed combinations as possible candidates. Here we probe the pairing symmetry of FeSe utilizing the new methodology of Tunneling Andreev Reflection (TAR). TAR directly exploits the transpare

N. V. Jagtap, M. K. Mudunuru, K. B. Nakshatrala

Emerging technologies like hypersonic aircraft, space exploration vehicles, and batteries avail fluid circulation in embedded microvasculatures for efficient thermal regulation. Modeling is vital during these engineered systems' design and operational phases. However, many challenges exist in developing a modeling framework. What is lacking is an accurate fr

Matthias Rempel, Georgios Chintzoglou, Mark C. M. Cheung, Yuhong Fan

We present a new simulation setup using the MURaM radiative Magnetohydrodynamic (MHD) code that allows to study the formation of collisional polarity inversion lines (cPILs) in the photosphere and the coronal response including flares. In this scheme we start with a bipolar sunspot configuration and set the spots on collision course by imposing the appropria

Vincenzo Mariani, Agnès Fienga, Olivier Minazzoli

We use MCMC to sample the posterior distribution of the mass of the graviton -- assumed here to be manifest through a Yukawa suppression of the Newtonian potential -- by using INPOP planetary ephemerides. The main technical difficulty is the lack of analytical formulation for the forward problem and the cost in term of computation time for its numerical esti

Daeun Kyung, Kyungmin Jo, Jaegul Choo, Joonseok Lee

X-ray computed tomography (CT) is one of the most common imaging techniques used to diagnose various diseases in the medical field. Its high contrast sensitivity and spatial resolution allow the physician to observe details of body parts such as bones, soft tissue, blood vessels, etc. As it involves potentially harmful radiation exposure to patients and surg

Gábor Bíró, Gergely Gábor Barnaföldi, Péter Lévai

High-energy physics (HEP) provides ever-growing amount of data. To analyse these, continuously-evolving computational power is required in parallel by extending the storage capacity. Such developments play key roles in the future of this field however, these can be achieved also by optimization of existing IT resources. One of the main computing capacity con

Guo Yang, Daniel Lo, Robert Mullins, Yiren Zhao

Large Language Models (LLMs) have demonstrated impressive performance on a range of Natural Language Processing (NLP) tasks. Unfortunately, the immense amount of computations and memory accesses required for LLM training makes them prohibitively expensive in terms of hardware cost, and thus challenging to deploy in use cases such as on-device learning. In th

Raheleh Biglari, Joachim Denil

Designing a Cyber-Physical System (CPS), including modeling the control components and services, is a challenging task. Using models and simulations during run-time is crucial for successfully implementing advanced control and prediction components. The complexity of designing an effective CPS system increases due to real-time constraints. Generating accurat

Andrea Guidolin, Claudia Landi

Persistent homology encodes the evolution of homological features of a multifiltered cell complex in the form of a multigraded module over a polynomial ring, called a multiparameter persistence module, and quantifies it through invariants suitable for topological data analysis. In this paper, we establish relations between the Betti tables, a standard invari

Bibhu Prasad Tripathy, Bijan Kumar Patel

For any integer $k \geq 2$, let $\{Q_{n}^{(k)} \}_{n \geq -(k-2)}$ denote the $k$-generalized Pell-Lucas sequence which starts with $0, \dots ,2,2$($k$ terms) where each next term is the sum of the $k$ preceding terms. In this paper, we find all the $k$-generalized Pell-Lucas numbers that are concatenations of two repdigits.

Kuldeep Singh Charak, Nikhil Bharti

In this paper, we prove some normality criteria concerning transitivity of normality from one family of meromorphic functions to another which improve and generalize some recent results. We also prove some value distribution results for certain differential polynomials which lead to some normality criteria involving sharing of holomorphic functions with cert

Jai Lalita, K. G. Paulson, Subhashish Banerjee

The negativity of the discrete Wigner functions (DWFs) is a measure of non-classicality and is often used to quantify the degree of quantum coherence in a system. The study of Wigner negativity and its evolution under different quantum channels can provide insight into the stability and robustness of quantum states under their interaction with the environmen

Xiaohang Dai, Lingda Kong, Qingcui Bu, Andrea Santangelo

In this work, using \textit{NICER} and \textit{Insight}-HXMT observations, we present a study of the broadband spectral and timing evolution of the source throughout the first reflare, which occurred about 4 months after the major outburst. Our findings suggest that during the reflare, below a critical luminosity $L_{\rm crit}\sim2.5\times10^{36}$ (D/2.2 kpc

Qiongyuan Wu, Matteo Carlesso

Non-equilibrium thermodynamics can provide strong advantages when compared to more standard equilibrium situations. Here, we present a general framework to study its application to concrete problems, which is valid also beyond the assumption of a Gaussian dynamics. We consider two different problems: 1) the dynamics of a levitated nanoparticle undergoing the

Carlos Raoni Mendes, Emilio Vital Brazil, Vinicius Segura, Renato Cerqueira

Evaluating the potential of a prospective candidate is a common task in multiple decision-making processes in different industries. We refer to a prospect as something or someone that could potentially produce positive results in a given context, e.g., an area where an oil company could find oil, a compound that, when synthesized, results in a material with

Balázs Ludmány, Gábor Domokos

While three-dimensional measurement technology is spreading fast, its meaningful application to sedimentary geology still lacks content. Classical shape descriptors (such as axis ratios, circularity of projection) were not inherently three-dimensional, because no such technology existed. Recently a new class of three-dimensional descriptors, collectively ref

Matteo Carlesso

Collapse models describe the breakdown of the quantum superposition principle when moving from microscopic to macroscopic scales. They are among the possible solutions to the quantum measurement problem and thus describe the emergence of classical mechanics from the quantum one. Testing collapse models is equivalent to test the limits of quantum mechanics. I

Hugo Perrin, Heng Li, Lorenzo Botto

Buckling induced by viscous flow changes the shape of sheet-like nanomaterial particles suspended in liquids. This instability at the particle scale affects collective behavior of suspension flows and has many technological and biological implications. Here, we investigated the effect of viscous hydrodynamic interactions on the morphology of flexible sheets.

Amitesh Datta

We develop a new algebraic theory of positive braids and conjugacy classes in the braid group $B_3$. We use our theory to establish a complete classification of isotopy classes of degree three symplectic curves in $\mathbb{CP}^2$ with only $A_n$-singularities for $n\geq 1$ (an $A_n$-singularity is locally modelled by the equation $z^2 = w^n$) independent of

P. Lunkenheimer, A. Loidl, G. P. Johari

By using dielectric spectroscopy in a broad range of temperatures and frequencies, we have investigated dipolar relaxations, the dc conductivity, and the possible occurrence of polar order in AgCN. Conductivity contributions dominate the dielectric response at elevated temperatures and low frequencies, most likely arising from the mobility of the small silve

Fabio Bagarello

We consider a simple model of interacting agents asked to choose between "yes" and "not" to some given question. The agents are described in terms of spin variables, and they interact according to a mean field Heisenberg model. We discuss under which conditions the agents can come out with a common choice. This is made using, in a social context, the notion

Martin Čech, Kaisa Matomäki

We study non-vanishing of Dirichlet $L$-functions at the central point under the unlikely assumption that there exists an exceptional Dirichlet character. In particular we prove that if $\psi$ is a real primitive character modulo $D \in \mathbb{N}$ with $L(1, \psi) \ll (\log D)^{-25-\varepsilon}$, then, for any prime $q \in [D^{300}, D^{O(1)}]$, one has $L(1

Rolf Andreasson, Jakob Hultgren

Given a reflexive polytope with a height function, we prove a necessary and sufficient condition for solvability of the associated Monge-Amp\`ere equation. When the polytope is Delzant, solvability of this equation implies the metric SYZ conjecture for the corresponding family of Calabi-Yau hypersurfaces. We show how the location of the singularities in the

Davide Alessandro Coccomini, Andrea Esuli, Fabrizio Falchi, Claudio Gennaro

This paper explores the task of detecting images generated by text-to-image diffusion models. To evaluate this, we consider images generated from captions in the MSCOCO and Wikimedia datasets using two state-of-the-art models: Stable Diffusion and GLIDE. Our experiments show that it is possible to detect the generated images using simple Multi-Layer Perceptr

Mario Garcia-Fernandez, Raul Gonzalez Molina

We find a new obstruction to the existence of solutions of the Hull-Strominger system, which goes beyond the balanced property of the Calabi-Yau manifold $(X,\Omega)$ and the Mumford-Takemoto slope stability of the bundle over it. The basic principle is the construction of a (possibly indefinite) Hermitian-Einstein metric on the holomorphic string algebroid

A. Mironov, A. Morozov

We provide some details about the recently discovered integrable systems implied by commutativity of $W$ operators along the rays on the plane of roots of $w_\infty$-algebra. The simplest system of this type is the rational Calogero model, other systems escaped attention in the past. Existence of these systems is intimately tied to the very interesting WLZZ

Ayush Moharana, K. G. Hełminiak, F. Marcadon, T. Pawar

Compact Hierarchical Triples (CHT) are systems with the tertiary star orbiting the inner binary in an orbit shorter than 1000 days. CHT with an eclipsing binary as its inner binary can help us extract a multitude of information about all three stars in the system. In this study, we use independent observational techniques to estimate the orbital, stellar, an

Sourav Dey, Wojciech Florkowski, Amaresh Jaiswal, Radoslaw Ryblewski

The energy-momentum and spin tensors for a given theory can be replaced by alternative expressions that obey the same conservation laws for the energy, linear momentum, as well as angular momentum but, however, differ by the local redistribution of such quantities (with global energy, linear momentum, and angular momentum remaining unchanged). This arbitrari

Daniel Windisch

Samuel conjectured in 1961 that a (Noetherian) local complete intersection ring that is a UFD in codimension at most three is itself a UFD. It is said that Grothendieck invented local cohomology to prove this fact. Following the philosophy that a UFD is nothing else than a Krull domain (that is, a normal domain, in the Noetherian case) with trivial divisor c

Hyeonwoo Cho, Kazuya Nishimura, Kazuhide Watanabe, Ryoma Bise

Cell detection is an important task in biomedical research. Recently, deep learning methods have made it possible to improve the performance of cell detection. However, a detection network trained with training data under a specific condition (source domain) may not work well on data under other conditions (target domains), which is called the domain shift p

Nankun Hong, Renrong Mao

Let $NT(m, k, n)$ denote the total number of parts in the partitions of n with rank congruent to m modulo k. Andrews proved Beck's conjecture on congruences for $NT(m, k, n)$ modulo 5 and 7. Generalizing Andrews'results, Chern obtain congruences for $NT(m, k, n)$ modulo 11 and 13. More recently, the second author use the theory of Hecke operators to establis

Jian Zhao, Yu-Chun Wu, Guo-Ping Guo

Quantum error correction codes play a central role in the realisation of fault-tolerant quantum computing. Chamon model is a 3D generalization of the toric code. The error correction computation on this model has not been explored so far. In this work, the Chamon model is turned to a non-CSS error correction code. Logical qubits are built by the construct of

Ziqing Yang, Zeyang Sha, Michael Backes, Yang Zhang

Visual prompt learning, as a newly emerged technique, leverages the knowledge learned by a large-scale pre-trained model and adapts it to downstream tasks through the usage of prompts. While previous research has focused on designing effective prompts, in this work, we argue that compared to prompt design, a good mapping strategy matters more. In this sense,

Stefan Schoder, Andreas Wurzinger

This article presents an aeroacoustic workflow (pipeline) to generate a flow and acoustic dataset for studying flow-induced sound in the context of a cylinder in cross flow. The numerical simulations are performed using OpenFOAM (v9 or v10, or v2306) for the flow and openCFS for acoustics using the perturbed convective wave equation (PCWE) and the dilatation

C. A. Middelburg

This paper concerns an expansion of first-order Belnap-Dunn logic, named $\mathrm{BD}^{\supset,\mathsf{F}}$, and an application of this logic in the area of relational database theory. The notion of a relational database, the notion of a query applicable to a relational database, and several notions of an answer to a query with respect to a relational databa

Chengkun Li, Grégoire Clarté, Martin Jørgensen, Luigi Acerbi

In applied Bayesian inference scenarios, users may have access to a large number of pre-existing model evaluations, for example from maximum-a-posteriori (MAP) optimization runs. However, traditional approximate inference techniques make little to no use of this available information. We propose the framework of post-process Bayesian inference as a means to

Patrick Gelß, Aizhan Issagali, Ralf Kornhuber

We present a novel and mathematically transparent approach to function approximation and the training of large, high-dimensional neural networks, based on the approximate least-squares solution of associated Fredholm integral equations of the first kind by Ritz-Galerkin discretization, Tikhonov regularization and tensor-train methods. Practical application t

M. Kuffmeier, S. S. Jensen, T. Haugbølle

MHD models and the observation of accretion streamers confirmed that protostars can undergo late accretion events after the initial collapse phase. To provide better constraints, we study the evolution of stellar masses in MHD simulations of a (4 pc)^3 molecular cloud. Tracer particles allow us to accurately follow the trajectory of accreting material for al

Chao-Qun Shen, Xiao-Min Zhang, Zhi-Peng Peng, He Liu

This paper presents and investigates non-Gaussian perturbations for the warm k-inflation model that is driven by pure kinetic energy. The two complementary components of the overall non-Gaussianity are the three-point and four-point correlations. The intrinsic non-Gaussian component, denoted as the nonlinear parameter f_{NL}^{int}, is rooted in the three-poi

Adam R. H. Stevens, Vanessa A. Moss

While an astronomer's job is typically to look out from Earth, the seriousness of the climate crisis has meant a shift in many astronomers' focus. Astronomers are starting to consider how our resource requirements may contribute to this crisis and how we may better conduct our research in a more environmentally sustainable fashion. Astronomers for Planet Ear

Zimin Xia, Olaf Booij, Julian F. P. Kooij

We propose a novel end-to-end method for cross-view pose estimation. Given a ground-level query image and an aerial image that covers the query's local neighborhood, the 3 Degrees-of-Freedom camera pose of the query is estimated by matching its image descriptor to descriptors of local regions within the aerial image. The orientation-aware descriptors are obt

Aldana Grichener, Noam Soker

We suggest a common envelope jets supernova (CEJSN) origin to the supernova remnant (SNR) W49B where jets launched by a neutron star (NS) that collapsed to a black hole (BH) together with a thermonuclear outburst of the disrupted red super giant's (RGS's) core powered and shaped the ejecta. The jets account for the highly non-spherical morphology of W49B and

Heng Li, Lucas Beetsma, Suriya Prakash, Maurice Mikkers

Sedimentation and centrifugation can be used to sort particles by size, using a multistep (multicascade) method in which particles in the sediment are removed and the content of the supernatant is processed again, repeating the cycle several times. This paper proposes a theoretical analysis of this process, based on a one-dimensional model, with a view to id

Tobias Pfandzelter, Nils Japke, Trever Schirmer, Jonathan Hasenburg

The heterogeneous, geographically distributed infrastructure of fog computing poses challenges in data replication, data distribution, and data mobility for fog applications. Fog computing is still missing the necessary abstractions to manage application data, and fog application developers need to re-implement data management for every new piece of software

Peter Marius Flydal, Gereon Quick, Eirik Eik Svanes

We define a Real version of smooth Deligne cohomology for manifolds with involution which interpolates between equivariant sheaf cohomology and smooth imaginary-valued forms. Our main result is a classification of Real line bundles with Real connection on manifolds with involution.

Benjamin Klebel-Knobloch, Wojciech Tabis, Mateusz A. Gala, Osor S. Barišić

Measured transport properties of three representative cuprates are reproduced within the paradigm of two electron subsystems, itinerant and localized. The localized subsystem evolves continuously from the Cu 3d$^9$ hole at half-filling and corresponds to the (pseudo)gapped parts of the Fermi surface. The itinerant subsystem is observed as a pure Fermi liquid

Yeva Gevorgyan, Isamu Matsuyama, Clodoaldo Ragazzo

The goal of this work is to investigate under which circumstances the tidal response of a stratified body can be approximated by that of a homogeneous body. We show that any multilayered planet model can be approximated by a homogeneous body, with the same dissipation of tidal energy as a function of the excitation frequency, as long as the rheology of the h

Jianyuan Ruan, Bo Li, Yibo Wang, Yuxiang Sun

Most current LiDAR simultaneous localization and mapping (SLAM) systems build maps in point clouds, which are sparse when zoomed in, even though they seem dense to human eyes. Dense maps are essential for robotic applications, such as map-based navigation. Due to the low memory cost, mesh has become an attractive dense model for mapping in recent years. Howe

Haoqing Wang, Yehui Tang, Yunhe Wang, Jianyuan Guo

Masked Image Modeling (MIM) achieves outstanding success in self-supervised representation learning. Unfortunately, MIM models typically have huge computational burden and slow learning process, which is an inevitable obstacle for their industrial applications. Although the lower layers play the key role in MIM, existing MIM models conduct reconstruction tas

Sameep Dahal, Jukka Suomela

By prior work, it is known that any distributed graph algorithm that finds a maximal matching requires $\Omega(\log^* n)$ communication rounds, while it is possible to find a maximal fractional matching in $O(1)$ rounds in bounded-degree graphs. However, all prior $O(1)$-round algorithms for maximal fractional matching use arbitrarily fine-grained fractional

Michael Skeide

In these notes we prove two main results: 1) It is well-known that two strongly continuous $E_0$-semigroups on $B(H)$ can be paired if and only if they have anti-isomorphic Arveson systems. For a new notion of pairing (which coincides only for $B(H)$ with the existing one), we show: For a von Neumann algebra $B$, a strongly continuous $E_0$-semigroup on $B$

Raphaël van Laak, Sam Young

Primordial black holes (PBHs) are black holes that might have formed in high density regions in the early universe. The presence of local-type non-Gaussianity can lead to large-scale fluctuations in the PBH formation rate. If PBHs make up a non-negligible fraction of dark matter, these fluctuations can appear as isocurvature modes, and be used to constrain t

Huajie Song, Haitao Xu

In this work, we revisit the classic model of diatomic chain with cubic nonlinearity and investigate the formation mechanism of nonlinear localized time-periodic solutions (breathers) with frequencies exited the spectral bands. First we employ the long-chain limit to obtain estimates of linear eigenstates, especially those with frequencies near the band edge

Mustafa Zeqiri, Mark Niklas Müller, Marc Fischer, Martin Vechev

Neural Ordinary Differential Equations (NODEs) are a novel neural architecture, built around initial value problems with learned dynamics which are solved during inference. Thought to be inherently more robust against adversarial perturbations, they were recently shown to be vulnerable to strong adversarial attacks, highlighting the need for formal guarantee

David Mohlin, Josephine Sullivan

Estimating probability distributions which describe where an object is likely to be from camera data is a task with many applications. In this work we describe properties which we argue such methods should conform to. We also design a method which conform to these properties. In our experiments we show that our method produces uncertainties which correlate w

Kevin Kappelmann

Multiple types can represent the same concept. For example, lists and trees can both represent sets. Unfortunately, this easily leads to incomplete libraries: some set-operations may only be available on lists, others only on trees. Similarly, subtypes and quotients are commonly used to construct new type abstractions in formal verification. In such cases, o

David Solís-Martín, Juan Galán-Páez, Joaquín Borrego-Díaz

The aim of Predictive Maintenance, within the field of Prognostics and Health Management (PHM), is to identify and anticipate potential issues in the equipment before these become critical. The main challenge to be addressed is to assess the amount of time a piece of equipment will function effectively before it fails, which is known as Remaining Useful Life

Janet J. W. Dong, Kathy Q. Ji

We prove that the number $q(n)$ of partitions into distinct parts is log-concave for $n \geq 33$ and satisfies the higher order Tur\'an inequalities for $n\geq 121$ conjectured by Craig and Pun. In doing so, we establish explicit error terms for $q(n)$ and for $q(n-1)q(n+1)/q(n)^2$ based on Chern's asymptotic formulas for $\eta$-quotients.

Shimal Yonuis Abdulhadi, Ghazwan Qasim Hasan, Raghad Nawaf Gergees

Endophytes are tiny organisms present in living tissues of distinct plants and have been extensively studied for their endophytic microbial complement. Roots of Rosmarinus officinalis were subjected to the isolation of endophytic fungi and screened for antimicrobial activity against Gram-positive (Staphylococcus aureus and Bacillus subtilis) and Gram-negativ

Meirav Amram, Cheng Gong, Praveen Kumar Roy, Uriel Sinichkin

We compute the fundamental group of the Galois cover of a surface of degree~$8$, with singularities of degree $4$, whose degeneration envelope is isomorphic to an octahedron. The group is shown to be a metabelian group of order $2^{23}$. The computation amalgamates local groups, classified elsewhere, by an iterative combination of computational and group the

Xingzhe Su, Wenwen Qiang, Jie Hu, Fengge Wu

Generative adversarial networks (GANs) have achieved remarkable progress in the natural image field. However, when applying GANs in the remote sensing (RS) image generation task, an extraordinary phenomenon is observed: the GAN model is more sensitive to the size of training data for RS image generation than for natural image generation. In other words, the

M. Boström, Y. Li, I. Brevik, C. Persson

The study of atmospheric ice nuclei is vital for understanding the formation of precipitation and the development of cloud systems as it reveals how these tiny particles grow. A mechanism of such growth when the nuclei are in a mixed ice/water phase and quantum vacuum fluctuation-induced Casimir-Lifshitz interaction highlights the complexity and interconnect

Alberto Bertipaglia, Mohsen Alirezaei, Riender Happee, Barys Shyrokau

This paper proposes a novel vehicle sideslip angle estimator, which uses the physical knowledge from an Unscented Kalman Filter (UKF) based on a non-linear single-track vehicle model to enhance the estimation accuracy of a Convolutional Neural Network (CNN). The model-based and data-driven approaches interact mutually, and both use the standard inertial meas

Vittorio Erba, Florent Krzakala, Rodrigo Pérez, Lenka Zdeborová

We study the maximum-average submatrix problem, in which given an $N \times N$ matrix $J$ one needs to find the $k \times k$ submatrix with the largest average of entries. We study the problem for random matrices $J$ whose entries are i.i.d. random variables by mapping it to a variant of the Sherrington-Kirkpatrick spin-glass model at fixed magnetization. We

Alexis F. Vasseur, Jincheng Yang

We provide an unconditional $L^2$ upper bound for the boundary layer separation of Leray-Hopf solutions in a smooth bounded domain. By layer separation, we mean the discrepancy between a (turbulent) low-viscosity Leray-Hopf solution $u^\nu$ and a fixed (laminar) regular Euler solution $\bar u$ with similar initial conditions and body force. We show an asympt

Andrew Keane, Alannah Neff, Karen Blaha, Andreas Amann

Cluster synchronization is a fundamental phenomenon in systems of coupled oscillators. Here, we investigate clustering patterns that emerge in a unidirectional ring of four delay-coupled electrochemical oscillators. A voltage parameter in the experimental set-up controls the onset of oscillations via a Hopf bifurcation. For a smaller voltage, the oscillators

Yang Fu, Shibei Meng, Saihui Hou, Xuecai Hu

Recent works on pose-based gait recognition have demonstrated the potential of using such simple information to achieve results comparable to silhouette-based methods. However, the generalization ability of pose-based methods on different datasets is undesirably inferior to that of silhouette-based ones, which has received little attention but hinders the ap

Esteban Catté, Mohamed Sana, Mickael Maman

5G and beyond networks need to provide dynamic and efficient infrastructure management to better adapt to time-varying user behaviors (e.g., user mobility, interference, user traffic and evolution of the network topology). In this paper, we propose to manage the trajectory of Mobile Access Points (MAPs) under all these dynamic constraints with reduced comple

Michele Fossati, Filiberto Ares, Pasquale Calabrese

The study of entanglement in the symmetry sectors of a theory has recently attracted a lot of attention since it provides better understanding of some aspects of quantum many-body systems. In this paper, we extend this analysis to the case of non-Hermitian models, in which the reduced density matrix $\rho_A$ may be non-positive definite and the entanglement

Zhenshuo Zhang, Yun Zhu, Haizhou Shi, Siliang Tang

Albeit having gained significant progress lately, large-scale graph representation learning remains expensive to train and deploy for two main reasons: (i) the repetitive computation of multi-hop message passing and non-linearity in graph neural networks (GNNs); (ii) the computational cost of complex pairwise contrastive learning loss. Two main contributions

SeungJung Huh, Koushik Mukherjee, Kiryang Kwon, Jihoon Seo

Scale invariance and self-similarity in physics provide a unified framework to classify phases of matter and dynamical properties near equilibrium in both classical and quantum systems. This paradigm has been further extended to isolated many-body quantum systems driven far from equilibrium, where physical observables exhibit dynamical scaling with universal

Liwei Huang, Zhengyu Ma, Liutao Yu, Huihui Zhou

Deep artificial neural networks (ANNs) play a major role in modeling the visual pathways of primate and rodent. However, they highly simplify the computational properties of neurons compared to their biological counterparts. Instead, Spiking Neural Networks (SNNs) are more biologically plausible models since spiking neurons encode information with time seque

Yannik G. Gleichmann, Marcus J. Grote

A nonlinear optimization method is proposed for the solution of inverse medium problems with spatially varying properties. To avoid the prohibitively large number of unknown control variables resulting from standard grid-based representations, the misfit is instead minimized in a small subspace spanned by the first few eigenfunctions of a judicious elliptic

Luca Mariot, Luca Manzoni

Most of the approaches published in the literature to construct S-boxes via Cellular Automata (CA) work by either iterating a finite CA for several time steps, or by a one-shot application of the global rule. The main characteristic that brings together these works is that they employ a single CA rule to define the vectorial Boolean function of the S-box. In

Aitolkyn Baigutanova, Jaehyeon Myung, Diego Saez-Trumper, Ai-Jou Chou

Wikipedia plays a crucial role in the integrity of the Web. This work analyzes the reliability of this global encyclopedia through the lens of its references. We operationalize the notion of reference quality by defining reference need (RN), i.e., the percentage of sentences missing a citation, and reference risk (RR), i.e., the proportion of non-authoritati

Monica Garcia

We study thick subcategories of the category of 2-term complexes of projective modules over an associative algebra. We show that those thick subcategories that have enough injectives are in explicit bijection with 2-term silting complexes and complete cotorsion pairs. We also provide a bijection with left finite wide subcategories of the module category and

Saul Fuster, Farbod Khoraminia, Trygve Eftestøl, Tahlita C. M. Zuiverloon

Accurate segmentation of tissue in histopathological images can be very beneficial for defining regions of interest (ROI) for streamline of diagnostic and prognostic tasks. Still, adapting to different domains is essential for histopathology image analysis, as the visual characteristics of tissues can vary significantly across datasets. Yet, acquiring suffic

Upalaparna Banerjee, Joydeep Chakrabortty, Christoph Englert, Wrishik Naskar

The effective field theory (EFT) framework is a precise approximation procedure when the inherent assumptions of a large-scale separation between the Standard Model (SM) and new interactions alongside perturbativity are realised. Constraints from available data might not automatically guarantee these circumstances when contrasted with UV scenarios that the E

Ethan M. Alt, Xiuya Chang, Xun Jiang, Qing Liu

It is becoming increasingly popular to elicit informative priors on the basis of historical data. Popular existing priors, including the power prior, commensurate prior, and robust meta-analytic prior provide blanket discounting. Thus, if only a subset of participants in the historical data are exchangeable with the current data, these priors may not be appr

T. M. Koskamp, M. I. Katsnelson, K. J. A. Reijnders

The progress in two-dimensional materials has led to rapid experimental developments in quantum plasmonics, where light is manipulated using plasmons. Although numerical methods can be used to quantitatively describe plasmons in spatially inhomogeneous systems, they are limited to relatively small setups. Here, we present a novel semi-analytical method to de

Maximilian M. Rabe, Dario Paape, Daniela Mertzen, Shravan Vasishth

Models of eye-movement control during reading, developed largely within psychology, usually focus on visual, attentional, lexical, and motor processes but neglect post-lexical language processing; by contrast, models of sentence comprehension processes, developed largely within psycholinguistics, generally focus only on post-lexical language processes. We pr

Lili Xu, Chi Zhang, Soho Oyama, Manabu Machida

Biological tissue consists of various molecules. Instead of focusing on a particular molecule, we consider the Shannon entropy which is calculated from the abundance of different molecules at each spot in the tissue. The spatial distribution of the Shannon entropy is of interest. In this paper, we first obtain the heat map of perplexity, whose logarithm is t

Carl Oechsner, Daniel Ullrich

Socially Assistive Robots navigate highly sensible environments, which place high demands on safety and communication with users. The reasoning behind an SAR's actions must be transparent at any time to earn users' trust and acceptance. Although different communication modalities have been extensively studied, there is a lack of long-term studies investigati

K. Muhammed Shafi, A. Padhye, C. M. Chandrashekar

Detecting object with low reflectivity embedded within a noisy background is a challenging task. Quantum correlations between pairs of quantum states of light, though are highly sensitive to background noise and losses, offer advantages over traditional illumination methods. Instead of using correlated photon pairs which are sensitive, we experimentally demo