November 2022 arXiv papers — page 52

Nirvana Caballero, Thierry Giamarchi

The theory of disordered elastic systems is one of the most powerful frameworks to assess the physics of multiple systems that span from ferromagnets to migrating biological cells. In this formalism, one assumes that the system can be described with a displacement field. This field can represent an interface position, the deformation of a vortex lattice or c

J. C. Andrianjafy, N. Heeralall-Issur, A. A. Deshpande, K. Golap

We present the analysis of radio interferometric 2-s images from a MeerKAT observation of the repeating fast radio burst FRB121102 on September 2019, during which 11 distinct pulses have been previously detected using high time and frequency resolution data cubes. In this work, we detected 6 out of the 11 bursts in the image plane at 1.48 GHz with a minimum

Mingjia Li, Binhui Xie, Shuang Li, Chi Harold Liu

Generalizing models trained on normal visual conditions to target domains under adverse conditions is demanding in the practical systems. One prevalent solution is to bridge the domain gap between clear- and adverse-condition images to make satisfactory prediction on the target. However, previous methods often reckon on additional reference images of the sam

Ronja Khelifa, Shengyu Shan, Takashi Taniguchi, Kenji Watanabe

Optical information processing using photonic integrated circuits is a key goal in the field of nanophotonics. Extensive research efforts have led to remarkable progress in integrating active and passive device functionalities within one single photonic circuit. Still, to date, one of the central components - i.e. light sources - remain a challenge to be int

Ashkan Mirzaei, Tristan Aumentado-Armstrong, Konstantinos G. Derpanis, Jonathan Kelly

Neural Radiance Fields (NeRFs) have emerged as a popular approach for novel view synthesis. While NeRFs are quickly being adapted for a wider set of applications, intuitively editing NeRF scenes is still an open challenge. One important editing task is the removal of unwanted objects from a 3D scene, such that the replaced region is visually plausible and co

Enrico Trotti

We investigate the scattering of two scalar glueballs in pure YM theory, using the well known dilaton potential. We perform the calculations considering a glueball mass of about $m_G \approx 1.7$ GeV, as predicted by lattice QCD. We begin with the tree-level theory, but the question about the presence of a bound state needs a deeper study to be answered. Thu

H. Li, H. Johra, F. de Andrade Pereira, T. Hong

Energy flexibility, through short-term demand-side management (DSM) and energy storage technologies, is now seen as a major key to balancing the fluctuating supply in different energy grids with the energy demand of buildings. This is especially important when considering the intermittent nature of ever-growing renewable energy production, as well as the inc

Clio Azina, Sylvain Badie, Andrey Litnovsky, Laura Silvestroni

New generation concentrated solar power (CSP) plants require new solar receiver materials with selective optical properties and excellent corrosion resistance against molten salts. MAX phases are promising materials for CSP applications due to their optical properties and resistance to thermal shocks. Herein, we report a solar absorptance >/= 0.5 and a therm

Lingshun Kong, Jiangxin Dong, Mingqiang Li, Jianjun Ge

We present an effective and efficient method that explores the properties of Transformers in the frequency domain for high-quality image deblurring. Our method is motivated by the convolution theorem that the correlation or convolution of two signals in the spatial domain is equivalent to an element-wise product of them in the frequency domain. This inspires

Igor Donevski, Jimmy Jessen Nielsen

Achieving cyber-physical control over a wireless channel requires satisfying both the timeliness of a single packet and preserving the latency reliability across several consecutive packets. To satisfy those requirements as an ubiquitous service requires big infrastructural developments, or flexible on-demand equipment such as UAVs. To avoid the upfront cost

Marco Leonetti, Luca Leuzzi, Giancarlo Ruocco

The measurement of the optical Transmission Matrix (TM) enables to access "open channels": input patterns, specific to each scattering structure, capable to deliver very high transmission. Various approaches, based either on multiple interferometric measurements or on systematic random testing of incident wavefronts, enable to estimate the inputs required to

Xue Zhang, Baofang Cai, Jie Ren, Zhengping Yuan

The ferrimagnets, such as GdxFeCo(1-x), can produce ultrafast magnetic switching and oscillation due to the strong exchange field. The two-sublattices macrospin model has been widely used to explain the experimental results. However, it fails in describing the spatial nonuniform magnetic dynamics which gives rises to many important phenomenons such as the do

Daniel Wachsmuth

In this paper, we consider optimization problems with $L^0$-cost of the controls. Here, we take the support of the control as independent optimization variable. Topological derivatives of the corresponding value function with respect to variations of the support are derived. These topological derivatives are used in a novel gradient descent algorithm with Ar

Jia Jia, Long Wang

An automorphism of a compact complex space is called wild in the sense of Reichstein--Rogalski--Zhang if there is no non-trivial proper invariant analytic subset. We show that a compact complex surface admitting a wild automorphism must be a complex torus or an Inoue surface of certain type, and this wild automorphism has zero entropy. As a by-product of our

Kuanxu Hou, Delei Kong, Junjie Jiang, Hao Zhuang

Traditional visual place recognition (VPR), usually using standard cameras, is easy to fail due to glare or high-speed motion. By contrast, event cameras have the advantages of low latency, high temporal resolution, and high dynamic range, which can deal with the above issues. Nevertheless, event cameras are prone to failure in weakly textured or motionless

Isaac Alonso Asensio, Claudio Dalla Vecchia, Douglas Potter, Joachim Stadel

We extend the state-of-the-art N-body code PKDGRAV3 with the inclusion of mesh-free gas hydrodynamics for cosmological simulations. Two new hydrodynamic solvers have been implemented, the mesh-less finite volume and mesh-less finite mass methods. The solvers manifestly conserve mass, momentum and energy, and have been validated with a wide range of standard

Precious K. Sejake, Sarah V. White, Ian Heywood, Kshitij Thorat

We present the results from studying 140 radio sources in the GLEAM (GaLactic and Extragalactic All-sky MWA [Murchison Widefield Array]) 4-Jy (G4Jy) Sample. These sources were followed-up with MeerKAT to assess their radio morphology and enable host-galaxy identification, as existing radio images of 25 to 45-arcsec resolution do not provide sufficient inform

D. Sangalli, M. D'Alessandro, C. Attaccalite

In pump-probe spectroscopy, two laser pulses are employed to garner dynamical information from the sample of interest. The pump initiates the optical process by exciting a portion of the sample from the electronic ground state to an accessible electronic excited state, an exciton. Thereafter, the probe interacts with the already excited sample. The change in

Javier Martinez-Martin, Juan Jose Sanz-Cillero

We present an implementation of the Electroweak Chiral Lagrangian (also denoted as Higgs Effective Theory) in several high energy physics Mathematica packages. In particular, we implement the bosonic part of the electoweak Lagrangian up to next-to-leading order for FeynRules, FeynArts and FeynCalc. These tools are publicly available and can be used to readil

Dafydd Owen-Newns, Joshua Robertson, Matej Hejda, Antonio Hurtado

Photonic technologies offer great prospects for novel ultrafast, energy-efficient and hardware-friendly neuromorphic (brain-like) computing platforms. Moreover, neuromorphic photonic approaches based upon ubiquitous, technology-mature and low-cost Vertical-Cavity Surface Emitting Lasers (VCSELs) (devices found in fibre-optic transmitters, mobile phones, auto

Lan V. Truong, Albert Guillén i Fàbregas

We find the exact typical error exponent of constant composition generalized random Gilbert-Varshamov (RGV) codes over DMCs channels with generalized likelihood decoding. We show that the typical error exponent of the RGV ensemble is equal to the expurgated error exponent, provided that the RGV codebook parameters are chosen appropriately. We also prove that

Longlong Lin, Rong-Hua Li, Tao Jia

Conductance-based graph clustering has been recognized as a fundamental operator in numerous graph analysis applications. Despite the significant success of conductance-based graph clustering, existing algorithms are either hard to obtain satisfactory clustering qualities, or have high time and space complexity to achieve provable clustering qualities. To ov

Peter Kritzer, Onyekachi Osisiogu

In this paper, we study an efficient algorithm for constructing point sets underlying quasi-Monte Carlo integration rules for weighted Korobov classes. The algorithm presented is a reduced fast component-by-component digit-by-digit (CBC-DBD) algorithm, which useful for to situations where the weights in the function space show a sufficiently fast decay. The

Guangfu Cao, Li He, Ji Li

Let $B(\Omega)$ be the Banach space of holomorphic functions on a bounded connected domain $\Omega$ in $\mathbb C^n$, which contains the ring of polynomials on $\Omega $. In this paper, we first establish a criterion for $B(\Omega )$ to be reflexive via evaluation functions on $B(\Omega )$, that is, $B(\Omega )$ is reflexive if and only if the evaluation fun

L. Salvador Miranda, S. Basegmez du Pree, K. C. Y. Ng, A. Cheek

The next generation of neutrino telescopes will feature unprecedented sensitivities in the detection of neutrinos. Here we study the capabilities of a large-scale neutrino telescope, like the fully-operating KM3NeT experiment in the near future, for detecting dark matter annihilation signals from the Galactic Centre. We consider both ORCA and ARCA detectors,

Li-Chun Huang, Nai-Zen Hseuh, Yen-Che Chien, Wei-Yao Wang

Recent techniques for analyzing sports precisely has stimulated various approaches to improve player performance and fan engagement. However, existing approaches are only able to evaluate offline performance since testing in real-time matches requires exhaustive costs and cannot be replicated. To test in a safe and reproducible simulator, we focus on turn-ba

Dmitrii Y. Kolotkov

Slow magnetoacoustic waves represent an important tool for probing the solar coronal plasma. We quantitatively assess the applicability of the weak thermal conduction theory to coronal seismology by slow waves. We numerically model the linear standing slow wave in a 1D coronal loop, with field-aligned thermal conduction $\kappa_\parallel$ as a free parameter

Moshe Mandel, Or Tal, Yossi Adi

We present AERO, a audio super-resolution model that processes speech and music signals in the spectral domain. AERO is based on an encoder-decoder architecture with U-Net like skip connections. We optimize the model using both time and frequency domain loss functions. Specifically, we consider a set of reconstruction losses together with perceptual ones in

Emanuele De Angelis, Hari Govind V K

CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop on Horn Clauses for Verification and Synthesis held in Munich, Germany, on April 3, 2022. This edition featured six solvers, and eight tracks consisting of sets of linear and nonl

Min Jang, Jong-Hwan Kim, Seho Myung, Kyeongcheol Yang

In the conventional successive cancellation (SC) decoder for polar codes, all the future bits to be estimated later are treated as random variables. However, polar codes inevitably involve frozen bits, and their concatenated coding schemes also include parity bits (or dynamic frozen bits) causally generated from the past bits estimated earlier. We refer to t

Hossein Hojjat, Philipp Rümmer

This paper describes an ongoing effort to develop an optimizing version of the Eldarica Horn solver. The work starts from the observation that many kinds of optimization problems, and in particular the MaxSAT/SMT problem, can be seen as search problems on lattices. The paper presents a Scala library providing a domain-specific language (DSL) to uniformly mod

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

The functional properties of a program are often specified by providing a contract for each of its functions. A contract of a function consists of a pair of formulas, called a precondition and a postcondition, which, respectively, should hold before and after execution of that function. It might be the case that the contracts supplied by the programmer are n

Bruno Blanchet

ProVerif is a widely used security protocol verifier. Internally, ProVerif uses an abstract representation of the protocol by Horn clauses and a resolution algorithm on these clauses, in order to prove security properties of the protocol or to find attacks. In this paper, we present an overview of ProVerif and discuss some specificities of its resolution alg

Sriram Bhyravarapu, I. Vinod Reddy

A Star Coloring of a graph G is a proper vertex coloring such that every path on four vertices uses at least three distinct colors. The minimum number of colors required for such a star coloring of G is called star chromatic number, denoted by \chi_s(G). Given a graph G and a positive integer k, the STAR COLORING PROBLEM asks whether $G$ has a star coloring

Robert Glück, Tetsuo Yokoyama

String matching is a fundamental problem in algorithm. This study examines the development and construction of two reversible string-matching algorithms: a naive string-matching algorithm and the Rabin-Karp algorithm. The algorithms are used to introduce reversible computing concepts, beginning from basic reversible programming techniques to more advanced co

Igor Donevski, Marco Virgili, Nithin Babu, Jimmy Jessen Nielsen

Unmanned Aerial Vehicle (UAV) swarms are often required in off-grid scenarios, such as disaster-struck, war-torn or rural areas, where the UAVs have no access to the power grid and instead rely on renewable energy. Considering a main battery fed from two renewable sources, wind and solar, we scale such a system based on the financial budget, environmental ch

Hassan Hussein, Allard Oelen, Oliver Karras, Sören Auer

Knowledge Graphs (KG) have gained increasing importance in science, business and society in the last years. However, most knowledge graphs were either extracted or compiled from existing sources. There are only relatively few examples where knowledge graphs were genuinely created by an intertwined human-machine collaboration. Also, since the quality of data

Alberto Sabater, Luis Montesano, Ana C. Murillo

Event cameras record sparse illumination changes with high temporal resolution and high dynamic range. Thanks to their sparse recording and low consumption, they are increasingly used in applications such as AR/VR and autonomous driving. Current topperforming methods often ignore specific event-data properties, leading to the development of generic but compu

Enes Yigitbas

Due to the corona pandemic, numerous courses were held using digital solutions in order to be able to continue teaching. Conventional collaboration tools (Zoom, Big Blue Button, etc.) were used in particular to digitally map a synchronous session for teaching and learning purposes. While these conventional collaboration tools offer a solid basis for communic

Lizhi Cheng, Wenmian Yang, Weijia Jia

Multi-Intent Spoken Language Understanding (SLU), a novel and more complex scenario of SLU, is attracting increasing attention. Unlike traditional SLU, each intent in this scenario has its specific scope. Semantic information outside the scope even hinders the prediction, which tremendously increases the difficulty of intent detection. More seriously, guidin

Bing Han, Feifei Zhao, Yi Zeng, Wenxuan Pan

Spiking Neural Networks (SNNs) are more biologically plausible and computationally efficient. Therefore, SNNs have the natural advantage of drawing the sparse structural plasticity of brain development to alleviate the energy problems of deep neural networks caused by their complex and fixed structures. However, previous SNNs compression works are lack of in

Pablo Rocha

In this article we obtain an "off-diagonal" version of the Fefferman-Stein vector-valued maximal inequality on weighted Lebesgue spaces with variable exponents. As an application of this result and the atomic decomposition developed in [12] we prove, for certain exponents $q(\cdot)$ in $\mathcal{P}^{\log}(\mathbb{R}^{n})$ and certain weights $\omega$, that t

Kai-Shiang Chang, Wei-Yao Wang, Wen-Chih Peng

Sports analytics has captured increasing attention since analysis of the various data enables insights for training strategies, player evaluation, etc. In this paper, we focus on predicting what types of returning strokes will be made, and where players will move to based on previous strokes. As this problem has not been addressed to date, movement forecasti

Phani Teja Singamaneni, Anthony Favier, Rachid Alami

Current approaches in human-aware or social robot navigation address the humans that are visible to the robot. However, it is also important to address the possible emergences of humans to avoid shocks or surprises to humans and erratic behavior of the robot planner. In this paper, we propose a novel approach to detect and address these human emergences call

Anna Kristina Schnack-Petersen, Torsha Moitra, Sarai Dery Folkestad, Sonia Coriani

We present an implementation of a damped response framework for calculating resonant inelastic X-ray scattering (RIXS) at the equation-of-motion coupled cluster singles and doubles (CCSD) and second-order approximate coupled cluster singles and doubles (CC2) levels of theory in the open-source program $e^T$. This framework lays the foundation for future exte

Hemanth Chandravamsi, Sourabh Bhardwaj, K. Ramachandra, R. Sriram

The unsteady three-dimensional separated flow on a wall induced by a square protrusion (approximately twice the local boundary layer thickness in width and height), and its control by means of passive suction through holes, is investigated using wind tunnel experiments at Mach $2.87$. The baseline flow without any control was characterized and compared again

Alex Diana, Eleni Matechou, Jim Griffin, Douglas Yu

DNA-based biodiversity surveys involve collecting physical samples from survey sites and assaying the contents in the laboratory to detect species via their diagnostic DNA sequences. DNA-based surveys are increasingly being adopted for biodiversity monitoring. The most commonly employed method is metabarcoding, which combines PCR with high-throughput DNA seq

Souvik Jana, Shasvath J. Kapadia, Tejaswi Venumadhav, Parameswaran Ajith

Third generation gravitational wave (GW) detectors are expected to detect millions of binary black hole (BBH) mergers during their operation period. A small fraction of them ($\sim 1\%$) will be strongly lensed by intervening galaxies and clusters, producing multiple observable copies of the GW signals. The expected number of lensed events and the distributi

Tobias Flöry, Vinzenz Stummer, Justinas Pupeikis, Benjamin Willenberg

Femtosecond dual-comb lasers have revolutionized linear Fourier-domain spectroscopy by offering a rapid motion-free, precise and accurate measurement mode with easy registration of the combs beat note in the RF domain. Extensions of this technique found already application for nonlinear time-resolved spectroscopy within the energy limit available from source

Jan Korbel, Simon D. Lindner, Tuan Minh Pham, Rudolf Hanel

Homophily, the tendency of humans to attract each other when sharing similar features, traits, or opinions has been identified as one of the main driving forces behind the formation of structured societies. Here we ask to what extent homophily can explain the formation of social groups, particularly their size distribution. We propose a spin-glass-inspired f

Krishnakant Singh, Simone Schaub-Meyer, Stefan Roth

The high-quality images yielded by generative adversarial networks (GANs) have motivated investigations into their application for image editing. However, GANs are often limited in the control they provide for performing specific edits. One of the principal challenges is the entangled latent space of GANs, which is not directly suitable for performing indepe

S. Heinemeyer

Future perspectives for Higgs physics are outlined. First it is shown that the discovered Higgs boson cannot be the Standard Model (SM) Higgs boson, motivating the investigations of Higgs sectors beyond the SM (BSM). The secure future, the HL-LHC, and the agreed upon future, an $e^+e^-$ collider, are briefly discussed. The importance of theory calculations f

Alexandrina Stoyanova, Taha Hammadia, Arno Ricou, Bogdan Penkovsky

We present a hybrid classical-quantum approach to the binary classification of polymer structures. Two polymer classes visual (VIS) and near-infrared (NIR) are defined based on the size of the polymer gaps. The hybrid approach combines one of the three methods, Gaussian Kernel Method, Quantum-Enhanced Random Kitchen Sinks or Variational Quantum Classifier, i

Dilara Keküllüoğlu, Kami Vaniea, Maria K. Wolters, Walid Magdy

Twitter accounts are public by default, but Twitter gives the option to create protected accounts, where only approved followers can see their tweets. The publicly visible information changes based on the account type and the visibility of tweets also depends solely on the poster's account type which can cause unintended disclosures especially when users int

Konstantinos Kanellopoulos, Rahul Bera, Kosta Stojiljkovic, Nisa Bostanci

Conventional virtual memory (VM) frameworks enable a virtual address to flexibly map to any physical address. This flexibility necessitates large data structures to store virtual-to-physical mappings, which leads to high address translation latency and large translation-induced interference in the memory hierarchy. On the other hand, restricting the address

Grzegorz Adamski, Małgorzata Bednarska-Bzdęga

Given two graphs $G$ and $H$, a size Ramsey game is played on the edge set of $K_\mathbb{N}$. In every round, Builder selects an edge and Painter colours it red or blue. Builder's goal is to force Painter to create a red copy of $G$ or a blue copy of $H$ as soon as possible. The online (size) Ramsey number $\tilde r(G,H)$ is the number of rounds in the game

Matthew Johnson, Barnaby Martin, Siani Smith, Sukanya Pandey

We show that Edge Multiway Cut (also called Multiterminal Cut) and Node Multiway Cut are NP-complete on graphs of maximum degree $3$ (also known as subcubic graphs). This improves on a previous degree bound of $11$. Our NP-completeness result holds even for subcubic graphs that are planar.

Walter Smilga

Two particles, described by an irreducible two-particle representation of the Poincar\'e group, are correlated by the constraints that the constancy of the Casimir operators imposes on the state space. This correlation can be understood as a geometrically caused interaction between the particles, the strength of which is related to the normalisation constant

Frank M. Rieger

Active Galactic Nuclei (AGNs) and their relativistic jets belong to the most promising class of ultra-high-energy cosmic ray (UHECR) accelerators. This compact review summarises basic experimental findings by recent instruments, and discusses possible interpretations and astrophysical constraints on source energetics. Particular attention is given to potenti

Francesco Pase, Marco Giordani, Giampaolo Cuozzo, Sara Cavallero

This paper addresses the problem of enabling inter-machine Ultra-Reliable Low-Latency Communication (URLLC) in future 6G Industrial Internet of Things (IIoT) networks. As far as the Radio Access Network (RAN) is concerned, centralized pre-configured resource allocation requires scheduling grants to be disseminated to the User Equipments (UEs) before uplink t

Dongkyu Derek Cho, Won Chang, Jaewoo Park

Computer models play a crucial role in numerous scientific and engineering domains. To ensure the accuracy of simulations, it is essential to properly calibrate the input parameters of these models through statistical inference. While Bayesian inference is the standard approach for this task, employing Markov Chain Monte Carlo methods often encounters comput

F. Pinto-Gomez, F. de Soto

We report on a novel and extensive lattice QCD analysis for the three-gluon vertex from quenched lattice-QCD simulations. Using standard Wilson action, we have computed the three-gluon vertex beyond the usual kinematic restriction to the symmetric $(q^2 = r^2 = p^2)$ and soft-gluon $(p = 0)$ cases where it depends on a single momentum scale. The so-dubbed bi

Gianluca Cena, Stefano Scanzio, Adriano Valenzano

Seamless redundancy layered atop Wi-Fi has been shown able to tangibly increase communication quality, hence offering industry-grade reliability. However, it also implies much higher network traffic, which is often unbearable as the wireless spectrum is a shared and scarce resource. To deal with this drawback the Wi-Red proposal includes suitable duplication

Ali Najafi, Nihat Mugurtay, Ege Demirci, Serhat Demirkiran

In the context of Turkey's upcoming parliamentary and presidential elections ("se\c{c}im" in Turkish), social media is playing an important role in shaping public debate. The increasing engagement of citizens on social media platforms has led to the growing use of social media by political actors. It is of utmost importance to capture the upcoming Turkish el

Anna Vlaskina, Alexander Kryukov

The TAIGA experimental complex is a hybrid observatory for high-energy gamma-ray astronomy in the range from 10 TeV to several EeV. The complex consists of such installations as TAIGA- IACT, TAIGA-HiSCORE and a number of others. The TAIGA-HiSCORE facility is a set of wide-angle synchronized stations that detect Cherenkov radiation scattered over a large area

Eleftherios Vlahakis, Gregory Provan, Gordon Werner, Shanchieh Yang

We propose a novel framework for modelling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a single model embeds the dynamics of the physical process, the attack patterns, and the attack detection schemes. We show that this is compatible with established results in the analysis

Alessandro Zunino, Marco Castello, Giuseppe Vicidomini

Confocal laser-scanning microscopy (CLSM) is one of the most popular optical architectures for fluorescence imaging. In CLSM, a focused laser beam excites the fluorescence emission from a specific specimen position. Some actuators scan the probed region across the sample and a photodetector collects a single intensity value for each scan point, building a tw

Haohe Liu, Qiuqiang Kong, Xubo Liu, Xinhao Mei

This study defines a new evaluation metric for audio tagging tasks to overcome the limitation of the conventional mean average precision (mAP) metric, which treats different kinds of sound as independent classes without considering their relations. Also, due to the ambiguities in sound labeling, the labels in the training and evaluation set are not guarantee

Wenxuan Zhang, Xiaodong Cun, Xuan Wang, Yong Zhang

Generating talking head videos through a face image and a piece of speech audio still contains many challenges. ie, unnatural head movement, distorted expression, and identity modification. We argue that these issues are mainly because of learning from the coupled 2D motion fields. On the other hand, explicitly using 3D information also suffers problems of s

Alexander Bigalke, Lasse Hansen, Jasper Diesel, Carlotta Hennigs

3D human pose estimation is a key component of clinical monitoring systems. The clinical applicability of deep pose estimation models, however, is limited by their poor generalization under domain shifts along with their need for sufficient labeled training data. As a remedy, we present a novel domain adaptation method, adapting a model from a labeled source

Raúl Bombín, Alberto S. Muzas, Dino Novko, J. Iñaki Juaristi

In time-resolved pump-probe vibrational spectroscopy the internal stretch mode of polar molecules is utilized as a key observable to characterize the ultrafast dynamics of adsorbates on surfaces. The adsorbates non-adiabatic intermode couplings are the commonly accepted mechanisms behind the observed transient frequency shifts. Here, we study the CO/Pd(111)

Yong-Geun Oh, Yat-Hin Suen

The SYZ conjecture suggests a folklore that "Lagrangian multi-sections are mirror to holomorphic vector bundles". In this paper, we prove this folklore for Lagrangian multi-sections inside the cotangent bundle of a vector space, which are equivariantly mirror to complete toric varieties by the work of Fang-Liu-Treumann-Zaslow. We also introduce the Lagrangia

Miriam Wagner, Hayyan Helal, Rene Roepke, Sven Judel

This paper presents an approach of using methods of process mining and rule-based artificial intelligence to analyze and understand study paths of students based on campus management system data and study program models. Process mining techniques are used to characterize successful study paths, as well as to detect and visualize deviations from expected plan

Nilasis Chaudhuri, Piotr B. Mucha, Ewelina Zatorska

We prove the existence of the weak solutions to the compressible Navier--Stokes system with barotropic pressure $p(\varrho)=\varrho^\gamma$ for $\gamma\geq 9/5$ in three space dimension. The novelty of the paper is the approximation scheme that instead of the classical regularization of the continuity equation (based on the viscosity approximation $\ep \Delt

Zhao Li, Jin Qiao, Tan Liu, Tao Zhu

We calculate the gravitational waveform radiated from spinning black holes (BHs) binary in dynamical Chern-Simons (dCS) gravity. The equation of motion (EOM) of the spinining binary BHs is derived based on the modified Mathisson-Papapetrou-Dixon equation for the spin-aligned circular orbits. The leading-order effects induced by the dCS theory contains spin-s

Liang Li

Gamma-ray bursts (GRBs) exhibit a diversity of spectra. Several spectral models (e.g., Band, cutoff power-law, and blackbody) and their hybrid versions (e.g., Band+blackbody) have been widely used to fit the observed GRB spectra. Here, we attempt to collect all the bursts detected by {\it Fermi}-GBM with known redshifts from July 2008 to May 2022, motivated

Yunyan Xing, Benjamin J. Meyer, Mehrtash Harandi, Tom Drummond

Content-based medical image retrieval is an important diagnostic tool that improves the explainability of computer-aided diagnosis systems and provides decision making support to healthcare professionals. Medical imaging data, such as radiology images, are often multimorbidity; a single sample may have more than one pathology present. As such, image retrieva

Takanobu Hara

In potential theory, use of barriers is one of the most important techniques. We construct strong barriers for weighted quasilinear elliptic operators. There are two applications: (i) solvability of Poisson-type equations with boundary singular data, and (ii) a geometric version of Hardy inequality. Our construction method can be applied to a general class o

Tudor Pădurariu, Yukinobu Toda

We construct semiorthogonal decompositions of Donaldson-Thomas (DT) categories for reduced curve classes on local surfaces into products of quasi-BPS categories and Pandharipande-Thomas (PT) categories, giving a categorical analogue of the numerical DT/PT correspondence for Calabi-Yau 3-folds. The main ingredient is a categorical wall-crossing formula for DT

Leonard Bauersfeld, Elia Kaufmann, Davide Scaramuzza

Recently, learning-based controllers have been shown to push mobile robotic systems to their limits and provide the robustness needed for many real-world applications. However, only classical optimization-based control frameworks offer the inherent flexibility to be dynamically adjusted during execution by, for example, setting target speeds or actuator limi

Dhruv Patel, Abhinav Jain, Simran Bawkar, Manav Khorasiya

Many applications such as forensics, surveillance, satellite imaging, medical imaging, etc., demand High-Resolution (HR) images. However, obtaining an HR image is not always possible due to the limitations of optical sensors and their costs. An alternative solution called Single Image Super-Resolution (SISR) is a software-driven approach that aims to take a

Matthew Gerstbrein, Laura Sanità, Lucy Verberk

An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the existence of stable solutions for popular combinatorial games that involve the structure of matchings in graphs, such as network

Tudor Pădurariu, Yukinobu Toda

In this paper, we prove the categorical wall-crossing formula for certain quivers containing the three loop quiver, which we call DT/PT quivers. These quivers appear as Ext-quivers for the wall-crossing of DT/PT moduli spaces on Calabi-Yau 3-folds. The resulting formula is a semiorthogonal decomposition which involves quasi-BPS categories studied in our prev

Patrick Wachter, Stephan Kleber

DoIP, which is defined in ISO 13400, is a transport protocol stack for diagnostic data. Diagnostic data is a potential attack vector at vehicles, so secure transmission must be guaranteed to protect sensitive data and the vehicle. Previous work analyzed a draft version and earlier versions of the DoIP protocol without Transport Layer Security (TLS). No forma

Ahmet Unutulmaz, Cem Ünsalan

Reducing delay, power consumption, and chip area of a logic circuit are the main targets of a designer. Most of the times, the designer sacrifices power consumption and chip area to improve delay for a given technology node. To overcome this problem, we propose a ternary threshold logic gate. We implement the proposed gate by combining threshold logic and te

Stefan Güttel, Daniel Kressner, Bart Vandereycken

Rational approximation is a powerful tool to obtain accurate surrogates for nonlinear functions that are easy to evaluate and linearize. The interpolatory adaptive Antoulas--Anderson (AAA) method is one approach to construct such approximants numerically. For large-scale vector- and matrix-valued functions, however, the direct application of the set-valued v

Jaime Spencer, C. Stella Qian, Chris Russell, Simon Hadfield

This paper summarizes the results of the first Monocular Depth Estimation Challenge (MDEC) organized at WACV2023. This challenge evaluated the progress of self-supervised monocular depth estimation on the challenging SYNS-Patches dataset. The challenge was organized on CodaLab and received submissions from 4 valid teams. Participants were provided a devkit c

Poulami Sinhamahapatra, Lena Heidemann, Maureen Monnet, Karsten Roscher

Explaining black-box Artificial Intelligence (AI) models is a cornerstone for trustworthy AI and a prerequisite for its use in safety critical applications such that AI models can reliably assist humans in critical decisions. However, instead of trying to explain our models post-hoc, we need models which are interpretable-by-design built on a reasoning proce

Kensuke Yamamoto, Sei Ban, Kei Ieki, Atsuhiko Ochi

A new type of resistive plate chamber with thin-film electrodes based on diamond-like carbon is under development for background identification in the MEG II experiment. Installed in a low-momentum and high-intensity muon beam, the detector is required to have extremely low mass and a high rate capability. A single-layer prototype detector with 2 cm $\times$

Zhifang Guo, Yichong Leng, Yihan Wu, Sheng Zhao

Using a text description as prompt to guide the generation of text or images (e.g., GPT-3 or DALLE-2) has drawn wide attention recently. Beyond text and image generation, in this work, we explore the possibility of utilizing text descriptions to guide speech synthesis. Thus, we develop a text-to-speech (TTS) system (dubbed as PromptTTS) that takes a prompt w

Andrea Beraudo, Arturo De Pace, Marco Monteno, Marzia Nardi

We present a new model for the description of heavy-flavor hadronization in high-energy nuclear (and possibly hadronic) collisions, where the process takes place not in the vacuum, but in the presence of other color charges. We explore its effect on the charmed hadron yields and kinematic distributions once the latter is applied at the end of transport calcu

Takis Angelides, Lena Funcke, Karl Jansen, Stefan Kühn

Lattice computations in the Hamiltonian formulation have so far mainly focused on staggered fermions. In these proceedings, we study Wilson fermions in the Hamiltonian formulation and propose a new method to determine the resulting mass shift. As a benchmark study, we examine the one-flavour Schwinger model with Wilson fermions and a topological $\theta$-ter

Claire Theobald, Frédéric Pennerath, Brieuc Conan-Guez, Miguel Couceiro

Visual counterfactual explanations identify modifications to an image that would change the prediction of a classifier. We propose a set of techniques based on generative models (VAE) and a classifier ensemble directly trained in the latent space, which all together, improve the quality of the gradient required to compute visual counterfactuals. These improv

K. Castillo

The main result proved in [The eigenvalues of a tridiagonal matrix in biogeography, Appl. Math. Comput. 218 (2011) 195-201; MR2821464] by B. Igelnik and D. Simon is virtually the Sylvester determinant.

Yuchen Li, Zongxia Liang, Shunzhi Pang

We study continuous-time portfolio selection under monotone mean-variance (MMV) preferences in a jump-diffusion model, presenting an explicit solution different from that under classical mean-variance (MV) preferences in dynamic settings for the first time. We prove that the potential measures calculating MMV preferences can be restricted to non-negative Dol

D. Mandal, M. Lesur, E. Gravier, J. N. Sama

Trapped ion modes (TIM) belong to the family of ion temperature gradient (ITG) modes, which are one of the important ingredients in heat turbulent transport at the ion scale in tokamak plasmas. It is essential to properly estimate their linear growth rate to understand their influence on ion-scale turbulent transport. A global linear analysis of a reduced gy

Massimo D'Elia, Lorenzo Maio, Francesco Sanfilippo, Alfredo Stanzione

We discuss the phase diagram of QCD in the presence of a strong background magnetic field, providing numerical evidence, based on lattice simulations of QCD with $2+1$ flavours and physical quark masses, that the QCD crossover turns into a first order phase transition for large enough magnetic field, with a critical endpoint located between $eB=4$ GeV$^2$ (w

Hans A. Weidenmüller

An isolated quantum system is said to thermalize if ${\rm Tr} (A \rho(t)) \to {\rm Tr} (A \rho_{\rm eq})$ for time $t \to \infty$. Here $\rho(t)$ is the time-dependent density matrix of the system, $\rho_{\rm eq}$ is the time-independent density matrix that describes statistical equilibrium, and $A$ is a Hermitean operator standing for an observable. We show

Suresh Kumar, P Sreenivasa Kumar

Machine generation of Arithmetic Word Problems (AWPs) is challenging as they express quantities and mathematical relationships and need to be consistent. ML-solvers require a large annotated training set of consistent problems with language variations. Exploiting domain-knowledge is needed for consistency checking whereas LSTM-based approaches are good for p

Fabian Laakmann, Nicolas Boullé

We perform a bifurcation analysis of a two-dimensional magnetic Rayleigh--B\'enard problem using a numerical technique called deflated continuation. Our aim is to study the influence of the magnetic field on the bifurcation diagram as the Chandrasekhar number $Q$ increases and compare it to the standard (non-magnetic) Rayleigh--B\'enard problem. We compute s