November 2022 arXiv papers — page 68
Showing 6,701–6,800 of 17,114 papers
Mingjia Shi, Yuhao Zhou, Qing Ye, Jiancheng Lv
Federated learning (FL for simplification) is a distributed machine learning technique that utilizes global servers and collaborative clients to achieve privacy-preserving global model training without direct data sharing. However, heterogeneous data problem, as one of FL's main problems, makes it difficult for the global model to perform effectively on each
Aidos Issadykov, Mikhail A. Ivanov
We study the $B \to K^{(\ast)} \nu \bar{\nu}$ decays within the Standard Model (SM) by using the relevant transition form factors obtained from the covariant confined quark model (CCQM) developed by us. The $B \to K$ and $B\to K^\ast$ transition form factors are calculated in the full kinematic $q^2$ range. The branching fractions are then calculated. It is
Nisha Huang, Yuxin Zhang, Fan Tang, Chongyang Ma
Despite the impressive results of arbitrary image-guided style transfer methods, text-driven image stylization has recently been proposed for transferring a natural image into a stylized one according to textual descriptions of the target style provided by the user. Unlike the previous image-to-image transfer approaches, text-guided stylization progress prov
Xiaocheng Lu, Ziming Liu, Song Guo, Jingcai Guo
Compositional Zero-Shot Learning (CZSL) aims to recognize novel concepts formed by known states and objects during training. Existing methods either learn the combined state-object representation, challenging the generalization of unseen compositions, or design two classifiers to identify state and object separately from image features, ignoring the intrinsi
Guojun Wu, Luoshan Xu
Representations of domains mean in a general way representing a domain as a suitable family endowed with set-inclusion order of some mathematical structures. In this paper, representations of domains via CF-approximation spaces are considered. Concepts of CF-approximation spaces and CF-closed sets are introduced. It is proved that the family of CF-closed set
Alexander Rothkopf
The determination of real-time dynamics of strongly coupled quantum fields is a central goal of modern nuclear and particle physics, which requires insight into quantum field theory beyond the weak-coupling approximation. While lattice QCD has provided vital insights into the non-perturbative static properties of quarks and gluons it hides their real-time dy
Alexander Rothkopf
The Szymanzik improvement program for gauge theories is most commonly implemented using forward finite difference corrections to the Wilson action. Central symmetric schemes naively applied, suffer from a doubling of degrees of freedom, identical to the well known fermion doubling phenomenon. And while adding a complex Wilson term remedies the problem for fe
Ting Su, Craig Macdonald, Iadh Ounis
We propose a new uniform framework for text classification and ranking that can automate the process of identifying check-worthy sentences in political debates and speech transcripts. Our framework combines the semantic analysis of the sentences, with additional entity embeddings obtained through the identified entities within the sentences. In particular, w
Wu Wang
In this paper, the concept of quasi-finitely separating map and quasiapproximate identity are introduced. Based on these concepts, QFS-spaces and quasicontinuous maps are defined. Properties and characterizations of QFS-spaces are explored. Main results are: (1) Each QFS-space is quasicontinuous space; (2) Closed subspaces, quasicontinuous projection spaces
Alexander Rothkopf
Heavy quarkonium continues to play a central role in the study of nuclear matter under extremes of temperature and density in relativistic heavy-ion collisions. In this talk I report on recent developments in the theoretical description of quarkonium in-medium dynamics using the open-quantum systems approach. Not only does it provide a clear interpretation o
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
cs.PLGeoffrey W. Hamilton, Temesghen Kahsai, Maurizio Proietti
These proceedings include selected papers presented at the 9th Workshop on Horn Clauses for Verification and Synthesis and the Tenth International Workshop on Verification and Program Transformation, both affiliated with ETAPS 2022. Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advance
Passivity and Immersion based-modified gradient estimator: A control perspective in parameter estimation
eess.SYSyed Shadab Nayyer, G. Revati, S. R. Wagh, N. M. Singh
In this paper, a constructive and systematic strategy with more apparent degrees of freedom to achieve the accurate estimation of unknown parameters via a control perspective is proposed. By adding a virtual control in the final equation of the gradient dynamics, the Gradient Estimator (GE) and Memory Regressor and Extension (MRE) approaches are extended. Th
Density-tuned effective metal-insulator transitions in 2D semiconductor layers: Anderson localization or Wigner crystallization
cond-mat.mes-hallSeongjin Ahn, Sankar Das Sarma
Electrons (or holes) confined in 2D semiconductor layers have served as model systems for studying disorder and interaction effects for almost 50 years. In particular, strong disorder drives the metallic 2D carriers into a strongly localized Anderson insulator (AI) at low densities whereas pristine 2D electrons in the presence of no (or little) disorder shou
Ting Su, Craig Macdonald, Iadh Ounis
Social networks (SNs) are increasingly important sources of news for many people. The online connections made by users allows information to spread more easily than traditional news media (e.g., newspaper, television). However, they also make the spread of fake news easier than in traditional media, especially through the users' social network connections. I
Theory of the asynchronous state of structured rotator networks and its application to recurrent networks of excitatory and inhibitory units
q-bio.NCJonas Ranft, Benjamin Lindner
Recurrently coupled oscillators that are sufficiently heterogeneous and/or randomly coupled can show an asynchronous activity in which there are no significant correlations among the units of the network. The asynchronous state can nevertheless exhibit a rich temporal correlation statistics, that is generally difficult to capture theoretically. For randomly
Hanshu Yan
Deep learning methods have achieved great success in solving computer vision tasks, and they have been widely utilized in artificially intelligent systems for image processing, analysis, and understanding. However, deep neural networks have been shown to be vulnerable to adversarial perturbations in input data. The security issues of deep neural networks hav
Sagar Shrivastava
Littlewood-Richardson (LR) coefficients and Kostka Numbers appear in representation theory and combinatorics related to $GL_n$. It is known that Kostka numbers can be represented as special Littlewood-Rischardson coefficient. In this paper, we show how one can represent LR coefficient as a signed sum of Kostka numbers, and use the formulation to give a polyn
Suresh Kumar P, Bramha Dutta Pandey, Umesh Kumar Sharma, Pankaj
By extending the standard holographic principle to a cosmological framework and combining the non-flat condition with the Kaniadakis entropy, we construct the non-flat Kaniadakis holographic dark energy model. The model employs Kaniadakis parameter $K$ and a parameter $c$. Derivation of the differential equation for KHDE density parameter to describe the evo
Light-induced dynamic frequency shifting of microwave photons in a superconducting electro-optic converter
physics.app-phYuntao Xu, Wei Fu, Yiyu Zhou, Mingrui Xu
Hybrid superconducting-photonic microresonators are a promising platform for realizing microwave-to-optical transduction. However, the absorption of scattered photons by the superconductors leads to unintended microwave resonance frequency variation and linewidth broadening. Here, we experimentally study the dynamics of this effect and its impact on microwav
Xiaowei Huang, Shihao Zhang, Lvzhou Li
In this paper, we explore quantum speedups for the problem, inspired by matroid theory, of identifying a pair of $n$-bit binary strings that are promised to have the same number of 1s and differ in exactly two bits, by using the max inner product oracle and the sub-set oracle. More specifically, given two string $s, s'\in\{0, 1\}^n$ satisfying the above cons
Yi Yang, Zhong-Qiu Zhao, Quan Bai, Qing Liu
Due to the noises in crowdsourced labels, label aggregation (LA) has emerged as a standard procedure to post-process crowdsourced labels. LA methods estimate true labels from crowdsourced labels by modeling worker qualities. Most existing LA methods are iterative in nature. They need to traverse all the crowdsourced labels multiple times in order to jointly
VarietySound: Timbre-Controllable Video to Sound Generation via Unsupervised Information Disentanglement
cs.MMChenye Cui, Yi Ren, Jinglin Liu, Rongjie Huang
Video to sound generation aims to generate realistic and natural sound given a video input. However, previous video-to-sound generation methods can only generate a random or average timbre without any controls or specializations of the generated sound timbre, leading to the problem that people cannot obtain the desired timbre under these methods sometimes. I
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version)
cs.CRJoel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly
Most software domains rely on compilers to translate high-level code to multiple different machine languages, with performance not too much worse than what developers would have the patience to write directly in assembly language. However, cryptography has been an exception, where many performance-critical routines have been written directly in assembly (som
Automorphisms of finite order, periodic contractions, and Poisson-commutative subalgebras of $\mathcal S(\mathfrak g)$
math.RTDmitri Panyushev, Oksana Yakimova
Let $\mathfrak g$ be a semisimple Lie algebra, $\vartheta\in {\sf Aut}(\mathfrak g)$ a finite order automorphism, and $\mathfrak g_0$ the subalgebra of fixed points of $\vartheta$. Recently, we noticed that using $\vartheta$ one can construct a pencil of compatible Poisson brackets on $\mathcal S(\mathfrak g)$, and thereby a `large' Poisson-commutative subal
Timothée Crin-Barat, Ling-Yun Shou
We study the diffusive relaxation limit of the Jin-Xin system toward viscous conservation laws in the multi-dimensional setting. For initial data being small perturbations of a constant state in suitable homogeneous Besov norms, we prove the global well-posedness of strong solutions satisfying uniform estimates with respect to the relaxation parameter. Then,
Hongyu Wang
In this paper we give an local estimate for the Kobayashi distance on a bounded convex domain of finite type, which relates to a local pseudodistance near the boundary. The estimate is precise up to a bounded additive term. Also we conclude that the domain equipped with the Kobayashi distance is Gromov hyperbolic which gives another proof of the result of Zi
Jiakai Wang, Zhendong Chen, Zixin Yin, Qinghong Yang
Recently, adversarial attacks for audio recognition have attracted much attention. However, most of the existing studies mainly rely on the coarse-grain audio features at the instance level to generate adversarial noises, which leads to expensive generation time costs and weak universal attacking ability. Motivated by the observations that all audio speech c
Evaluating the Perceived Safety of Urban City via Maximum Entropy Deep Inverse Reinforcement Learning
cs.LGYaxuan Wang, Zhixin Zeng, Qijun Zhao
Inspired by expert evaluation policy for urban perception, we proposed a novel inverse reinforcement learning (IRL) based framework for predicting urban safety and recovering the corresponding reward function. We also presented a scalable state representation method to model the prediction problem as a Markov decision process (MDP) and use reinforcement lear
Existence and nonexistence of solutions to a critical biharmonic equation with logarithmic perturbation
math.APQi Li, Yuzhu Han, Tianlong Wang
In this paper, the following critical biharmonic elliptic problem \begin{eqnarray*} \begin{cases} \Delta^2u= \lambda u+\mu u\ln u^2+|u|^{2^{**}-2}u, &x\in\Omega,\\ u=\dfrac{\partial u}{\partial \nu}=0, &x\in\partial\Omega \end{cases} \end{eqnarray*} is considered, where $\Omega\subset \mathbb{R}^{N}$ is a bounded smooth domain with $N\geq5$. Some interesting
Jonathan Tseng, Rodrigo Castellon, C. Karen Liu
Dance is an important human art form, but creating new dances can be difficult and time-consuming. In this work, we introduce Editable Dance GEneration (EDGE), a state-of-the-art method for editable dance generation that is capable of creating realistic, physically-plausible dances while remaining faithful to the input music. EDGE uses a transformer-based di
Giulia Ricciardi
Heavy flavour physics is well described by the Standard Model with the exception of some measurements which could be pointing to new physics. We briefly review status and prospects of $R(D^{(\ast)})$ and $R(K^{(\ast)})$ anomalies and also address the long standing tension in the $|V_{cb}|$ and $|V_{ub}|$ exclusive/inclusive determinations.
Hyungjin Chung, Jeongsol Kim, Sehui Kim, Jong Chul Ye
Diffusion model-based inverse problem solvers have demonstrated state-of-the-art performance in cases where the forward operator is known (i.e. non-blind). However, the applicability of the method to blind inverse problems has yet to be explored. In this work, we show that we can indeed solve a family of blind inverse problems by constructing another diffusi
Hyungjin Chung, Dohoon Ryu, Michael T. McCann, Marc L. Klasky
Diffusion models have emerged as the new state-of-the-art generative model with high quality samples, with intriguing properties such as mode coverage and high flexibility. They have also been shown to be effective inverse problem solvers, acting as the prior of the distribution, while the information of the forward model can be granted at the sampling stage
Lacomme Philippe, Prins Christian, Tanguy Alain
This paper addresses the Capacitated Arc Routing Problem (CARP) using an Ant Colony Optimization scheme. Ant Colony schemes can compute solutions for medium scale instances of VRP. The proposed Ant Colony is dedicated to large-scale instances of CARP with more than 140 nodes and 190 arcs to service. The Ant Colony scheme is coupled with a local search proced
Tamás Csernák
We investigate the infinite version of the $k$-switch problem of Greenwell and Lov\'asz. Given infinite cardinals ${\kappa}$ and ${\lambda}$, for functions $x,y\in {}^{\lambda}\kappa $ we say that they are totally different if $x(i)\ne y(i)$ for each $i\in {\lambda}$. A function $F:{}^{\lambda}\kappa \longrightarrow {\kappa} $ is a proper coloring if $F(x)\n
Persistence and stability of generalized ribosome flow models with time-varying transition rates
math.DSG. Szederkenyi, M. A. Vaghy
In this paper the qualitative dynamical properties of so-called generalized ribosome flow models are studied. Ribosome flow models known from the literature are generalized by allowing an arbitrary directed network structure between the compartments and secondly, by assuming a general time-varying rate function describing the compartmental transitions. Persi
K. Mahesh Krishna, P. Sam Johnson
With the aim of representing subsets of Banach spaces as an infinite series using Lipschitz functions, we study a variant of metric frames which we call Lipschitz p-approximate Schauder frames (Lipschitz p-ASFs). We characterize Lipschitz p-ASFs and their duals completely using the canonical Schauder basis for classical sequence spaces. Similarity of Lipschi
Nilanjana Kumar
It is a challenge for the theoretical particle physicists to perform the phenomenology of the Beyond Standard Model (BSM) theories using advanced simulations which can mimic the experimental environment at the colliders as closely as possible. In collider phenomenology jet substructure is a concept that is used frequently to analyse the properties of the jet
Modified steady discrete unified gas kinetic scheme for multiscale radiative heat transfer
physics.comp-phXinliang Song, Yue Zhang, Xiafeng Zhou, Chuang Zhang
In this work, a steady discrete unified gas kinetic scheme (SDUGKS) is proposed to solve the steady radiative transfer equation (RTE), which is an improvement of the original SDUGKS [X. F. Zhou et al., J. Comput. Phys. 423, 109767 (2020)]. The trapezoidal rule other than the rectangular rule used in the original SDUGKS is adopted in the proposed method in th
Hao Mei, Xiaoliang Lei, Longchao Da, Bin Shi
This paper introduces a library for cross-simulator comparison of reinforcement learning models in traffic signal control tasks. This library is developed to implement recent state-of-the-art reinforcement learning models with extensible interfaces and unified cross-simulator evaluation metrics. It supports commonly-used simulators in traffic signal control
Yi-Yuang Wu, Zhi-Xun Shen, Wen-Yang Lin
Spontaneous reporting systems (SRS) have been developed to collect adverse event records that contain personal demographics and sensitive information like drug indications and adverse reactions. The release of SRS data may disclose the privacy of the data provider. Unlike other microdata, very few anonymyization methods have been proposed to protect individu
Chenyi Jiang, Dubing Chen, Shidong Wang, Yuming Shen
Compositional Zero-Shot Learning (CZSL) aims to recognize unseen compositions from seen states and objects. The disparity between the manually labeled semantic information and its actual visual features causes a significant imbalance of visual deviation in the distribution of various object classes and state classes, which is ignored by existing methods. To
Pan Gao, Shengzhou Luo, Manoranjan Paul
As being one of the main representation formats of 3D real world and well-suited for virtual reality and augmented reality applications, point clouds have gained a lot of popularity. In order to reduce the huge amount of data, a considerable amount of research on point cloud compression has been done. However, given a target bit rate, how to properly choose
Regularity for a geometrically nonlinear flat Cosserat micropolar membrane shell with curvature
math.APAndreas Gastel, Patrizio Neff
We consider the rigorously derived thin shell membrane $\Gamma$-limit of a three-dimensional isotropic geometrically nonlinear Cosserat micropolar model and deduce full interior regularity of both the midsurface deformation $m:\omega\subset{\mathbb R}^2\to{\mathbb R}^3$ and the orthogonal microrotation tensor field $R:\omega\subset{\mathbb R}^2\to SO(3)$. Th
Vlad Robu
Euler's totient function, $\varphi(n)$, which counts how many of $0,1,\dots,n-1$ are coprime to $n$, has an explicit asymptotic lower bound of $n/\log \log n$, modulo some constant. In this note, we generalise $\varphi$; given an irreducible integer polynomial $P$, we define the arithmetic function $\varphi_P(n)$ that counts the amount of numbers among $P(0)
Downscaled Representation Matters: Improving Image Rescaling with Collaborative Downscaled Images
cs.CVBingna Xu, Yong Guo, Luoqian Jiang, Mianjie Yu
Deep networks have achieved great success in image rescaling (IR) task that seeks to learn the optimal downscaled representations, i.e., low-resolution (LR) images, to reconstruct the original high-resolution (HR) images. Compared with super-resolution methods that consider a fixed downscaling scheme, e.g., bicubic, IR often achieves significantly better rec
ProCC: Progressive Cross-primitive Compatibility for Open-World Compositional Zero-Shot Learning
cs.CVFushuo Huo, Wenchao Xu, Song Guo, Jingcai Guo
Open-World Compositional Zero-shot Learning (OW-CZSL) aims to recognize novel compositions of state and object primitives in images with no priors on the compositional space, which induces a tremendously large output space containing all possible state-object compositions. Existing works either learn the joint compositional state-object embedding or predict
On the Multidimensional Augmentation of Fingerprint Data for Indoor Localization in A Large-Scale Building Complex Based on Multi-Output Gaussian Process
cs.NIZhe Tang, Sihao Li, Kyeong Soo Kim, Jeremy Smith
Wi-Fi fingerprinting becomes a dominant solution for large-scale indoor localization due to its major advantage of not requiring new infrastructure and dedicated devices. The number and the distribution of Reference Points (RPs) for the measurement of localization fingerprints like RSSI during the offline phase, however, greatly affects the localization accu
Barış Batuhan Topal, Deniz Yuret, Tevfik Metin Sezgin
Drawings are powerful means of pictorial abstraction and communication. Understanding diverse forms of drawings, including digital arts, cartoons, and comics, has been a major problem of interest for the computer vision and computer graphics communities. Although there are large amounts of digitized drawings from comic books and cartoons, they contain vast s
Andrés Balaguera-Antolínez, Francisco-Shu Kitaura, Shadab Alam, Chia-Hsun Chuang
We present a novel approach to the construction of mock galaxy catalogues for large-scale structure analysis based on the distribution of dark matter halos obtained with effective bias models at the field level. We aim to produce mock galaxy catalogues capable of generating accurate covariance matrices for a number of cosmological probes that are expected to
Blow up and lifespan estimates for systems of semi-linear wave equations with damping and potential
math.APMengliang Liu
In this paper, we consider the semi-linear wave systems with power-nonlinearities and a large class of space-dependent damping and potential. We obtain the same blow-up regions and the lifespan estimates for three types wave systems, compared with the systems without damping and potential.
Dominique Perrin, Christophe Reutenauer
The palindromization map has been defined initially by Aldo de Luca in the context of Sturmian words. It was extended to the free group of rank $2$ by Kassel and the second autho We extend their construction to arbitrary alphabets. We also investigate the suffix automaton and compact suffix automaton of the words obtained by palindromization.
Comparative Study of the Structural, Mechanical, Electronic, Optical and Thermodynamic Properties of Superconducting Disilicide YT$_2$Si$_2$ (X=Co, Ni, Ru, Rh, Pd, Ir) by DFT Simulation
cond-mat.supr-conMd. Atikur Rahmana, Mahbub Hasana, Rukaia Khatuna, Jannatul Ferdous Lubnaa
DFT simulation based ab-initio approach has been executed for investigating the comparative study of the physical properties of superconducting disilicide materials YT$_2$Si$_2$ (T= Co, Ni, Ru, Rh, Pd, Ir). This is the first comparative theoretical investigation of these materials, which is done through Cambridge Serial Total Energy Package module.
Sunil Hwang, Jaehong Yoon, Youngwan Lee, Sung Ju Hwang
Masked Video Autoencoder (MVA) approaches have demonstrated their potential by significantly outperforming previous video representation learning methods. However, they waste an excessive amount of computations and memory in predicting uninformative tokens/frames due to random masking strategies. (e.g., over 16 nodes with 128 NVIDIA A100 GPUs). To resolve th
Data-driven quadratic modeling in the Loewner framework from input-output time-domain measurements
math.DSD. S. Karachalios, I. V. Gosea, L. Gkimisis, A. C. Antoulas
In this study, we present a purely data-driven method that uses the Loewner framework (LF) along with nonlinear optimization techniques to infer quadratic with affine control dynamical systems that admit Volterra series (VS) representations from input-output (i/o) time-domain measurements. The proposed method extensively employs optimization tools for interp
Stability with explicit constants of the critical points of the fractional Sobolev inequality and applications to fast diffusion
math.APNicola De Nitti, Tobias König
We study the quantitative stability of critical points of the fractional Sobolev inequality. We show that, for a non-negative function $u \in \dot H^s(\mathbb R^N)$ whose energy satisfies $$\tfrac{1}{2} S^\frac{N}{2s}_{N,s} \le \|u\|_{\dot H^s(\mathbb R^N)} \le \tfrac{3}{2}S_{N,s}^\frac{N}{2s},$$ where $S_{N,s}$ is the optimal Sobolev constant, the bound $$
Miloslav Znojil
In 1956, Freeman Dyson discovered that the practical solution of Schr\"{o}dinger equation may be facilitated when one replaces the standard self-adjoint Hamiltonian $\mathfrak{h}=\mathfrak{h}^\dagger$ by its manifestly non-Hermitian isospectral avatar $H =\Omega^{-1} \mathfrak{h} \Omega$ with $\Omega^\dagger\Omega=\Theta \neq I$. The standard unitary interpr
Wang Qun
For the problem of solving Reynolds equation under natural boundary conditions, the corresponding hypothetical solution can be obtained by assuming the free boundary. If the solution satisfies natural boundary conditions, then the boundary is the boundary we are looking for. Obviously, there is a set S formed by all the boundaries that assume the solution is
Huijun Hou, Qingguo Li
Based on the concept of weakly meet $s_{Z}$-continuouity put forward by Xu and Luo in \cite{qzm}, we further prove that if the subset system $Z$ satisfies certain conditions, a poset is $s_{Z}$-continuous if and only if it is weakly meet $s_{Z}$-continuous and $s_{Z}$-quasicontinuous, which improves a related result given by Ruan and Xu in \cite{sz}. Meanwhi
Manxi Lin, Aasa Feragen, Kamil Mikolaj, Zahra Bashir
The quality of fetal ultrasound screening scans directly influences the precision of biometric measurements. However, acquiring high-quality scans is labor-intensive and highly relies on the operator's skills. Considering the low contrastiveness and imaging artifacts that widely exist in ultrasound, even a dedicated deep-learning model can be vulnerable to l
Yi Luo, Guiduo Duan, Guangchun Luo, Aiguo Chen
The success of Graph Neural Networks (GNN) in learning on non-Euclidean data arouses many subtopics, such as Label-inputted GNN (LGNN) and Implicit GNN (IGNN). LGNN, explicitly inputting supervising information (a.k.a. labels) in GNN, integrates label propagation to achieve superior performance, but with the dilemma between its propagating distance and adapt
Arman Ferdowsi, Ulrich Schmid, Josef Salzmann
In order to facilitate the analysis of timing relations between individual transitions in a signal trace, dynamic digital timing analysis offers a less accurate but much faster alternative to analog simulations of digital circuits. This primarily requires gate delay models that also account for the fact that the input-to-output delay of a particular input tr
Zhihao Peng, Hui Liu, Yuheng Jia, Junhui Hou
Existing graph clustering networks heavily rely on a predefined yet fixed graph, which can lead to failures when the initial graph fails to accurately capture the data topology structure of the embedding space. In order to address this issue, we propose a novel clustering network called Embedding-Induced Graph Refinement Clustering Network (EGRC-Net), which
Xiangping Chu, Qingguo Li
In this paper, we introduce the concept of $d^{\ast}$-spaces. We find that strong $d$-spaces are $d^{\ast}$-spaces, but the converse does not hold. We give a characterization for a topological space to be a $d^{\ast}$-space. We prove that the retract of a $d^{\ast}$-space is a $d^{\ast}$-space. We obtain the result that for any $T_{0}$ space $X$ and $Y$, if
M. Doniz, J. Gaset
We present the covariant multisymplectic formalism for the so-called cubic Horndeski theories and discuss the geometrical and physical interpretation of the constraints that arise in the unified Lagrangian-Hamiltonian approach. We analyse in more detail the covariant Hamiltonian formalism of these theories and we show that there are particular conditions tha
A Unified Model for Video Understanding and Knowledge Embedding with Heterogeneous Knowledge Graph Dataset
cs.CVJiaxin Deng, Dong Shen, Haojie Pan, Xiangyu Wu
Video understanding is an important task in short video business platforms and it has a wide application in video recommendation and classification. Most of the existing video understanding works only focus on the information that appeared within the video content, including the video frames, audio and text. However, introducing common sense knowledge from t
Yao Li, Tao Zhang, Xiapu Luo, Haipeng Cai
Artificial intelligence (AI) for software engineering (SE) tasks has recently achieved promising performance. In this paper, we investigate to what extent the pre-trained language model truly understands those SE tasks such as code search, code summarization, etc. We conduct a comprehensive empirical study on a board set of AI for SE (AI4SE) tasks by feeding
Rethinking Batch Sample Relationships for Data Representation: A Batch-Graph Transformer based Approach
cs.CVXixi Wang, Bo Jiang, Xiao Wang, Bin Luo
Exploring sample relationships within each mini-batch has shown great potential for learning image representations. Existing works generally adopt the regular Transformer to model the visual content relationships, ignoring the cues of semantic/label correlations between samples. Also, they generally adopt the "full" self-attention mechanism which are obvious
Pengyong Ding
This paper is concerned with the function $r_{k,s}(n)$, the number of (ordered) representations of $n$ as the sum of $s$ positive $k$-th powers, where integers $k,s\ge 2$. We examine the mean average of the function, or equivalently, \begin{equation*} \sum_{m=1}^n r_{k,s}(m). \end{equation*}
Enhancing Sensitivity to Leptonic CP Violation using Complementarity among DUNE, T2HK, and T2HKK
hep-phSanjib Kumar Agarwalla, Sudipta Das, Alessio Giarnetti, Davide Meloni
After the landmark discovery of non-zero $\theta_{13}$ by the modern reactor experiments, unprecedented precision on neutrino mass-mixing parameters has been achieved over the past decade. This has set the stage for the discovery of leptonic CP violation (LCPV) at high confidence level in the next-generation long-baseline neutrino oscillation experiments. In
Matija Delic, Khalid Adarbeh
This article aims to solve positively Anderson-Badawi Conjecture of n-Absorbing and strongly n-absorbing ideals of commutative rings in the class of u-rings. The main result extends and recovers Anderson-Badawis related result on Prufer domains
Egor Larionov, Andreas Longva, Uri M. Ascher, Jan Bender
Dynamics simulation with frictional contacts is important for a wide range of applications, from cloth simulation to object manipulation. Recent methods using smoothed lagged friction forces have enabled robust and differentiable simulation of elastodynamics with friction. However, the resulting frictional behavior can be inaccurate and may not converge to a
Probing the gravitational wave background from cosmic strings with Alternative LISA-TAIJI network
gr-qcBo-Rui Wang, Jin Li, He Wang
As one of the detection targets of all gravitational wave detectors at present, stochastic gravitational wave background (SGWB) provides us an important way to understand the evolution of our universe. In this paper, we explore the feasibility of detecting the SGWB generated by the loops, which arose throughout the cosmological evolution of the cosmic string
Effect of the $\sigma$-cut potential on the properties of neutron stars with or without a hyperonic core
nucl-thN. K. Patra, B. K. Sharma, A. Reghunath, A. K. H. Das
Motivated by the recent observation of high-mass pulsars ($M \simeq 2 M_{\odot}$), we employ the $\sigma$-cut potential on the equation of state (EOS) of high-density matter and the properties of neutron stars within the relativistic mean-field (RMF) model using TM1$^{*}$ parameter set. The $\sigma$-cut potential is known to reduce the contributions of the $
Exploring the Confounding Factors of Academic Career Success: An Empirical Study with Deep Predictive Modeling
cs.CYChenguang Du, Deqing Wang, Fuzhen Zhuang, Hengshu Zhu
Understanding determinants of success in academic careers is critically important to both scholars and their employing organizations. While considerable research efforts have been made in this direction, there is still a lack of a quantitative approach to modeling the academic careers of scholars due to the massive confounding factors. To this end, in this p
Sandi Klavžar, Dorota Kuziak
Nonlocal metric dimension ${\rm dim}_{\rm n\ell}(G)$ of a graph $G$ is introduced as the cardinality of a smallest nonlocal resolving set, that is, a set of vertices which resolves each pair of non-adjacent vertices of $G$. Graphs $G$ with ${\rm dim}_{\rm n\ell}(G) = 1$ or with ${\rm dim}_{\rm n\ell}(G) = n(G)-2$ are characterized. The nonlocal metric dimens
Minglong Qin, Penghui Yao
This paper considers the decidability of fully quantum nonlocal games with noisy maximally entangled states. Fully quantum nonlocal games are a generalization of nonlocal games, where both questions and answers are quantum and the referee performs a binary POVM measurement to decide whether they win the game after receiving the quantum answers from the playe
Mohaddeseh Seifi, Akram S. Sefiedgar
Horndeski theory is the most general scalar-tensor extension of General Relativity with second order field equations. It may be interesting to study the effects of the Generalized Uncertainty Principle on a static and asymptotically flat shift symmetric solutions of the Horndeski black holes. With this motivation, here we obtain the modified black hole tempe
Tathagat Pal, Gurinder Singh, Vivek Ashok Bohara, Anand Srivastava
In this work, we showcase the potential benefit of employing optical intelligent reflecting surfaces (O-IRS) for improving safety message dissemination for vehicular visible light communication (V-VLC) systems particularly at the road intersections. Buildings, roadside structures, signboards, and other impediments commonly hinder line-of-sight (LoS) communic
Calin Iuliu Lazaroiu
We study the infrared scale expansion of single field cosmological models using the Hamilton-Jacobi formalism, showing that its specialization at unit scale parameter recovers the slow roll expansion. In particular, we show that the latter coincides with a Laurent expansion of the Hamilton-Jacobi function in powers of the Planck mass, whose terms are control
Yifan Hao, Huiping Cao, K. Selcuk Candan, Jiefei Liu
Most neural network-based classifiers extract features using several hidden layers and make predictions at the output layer by utilizing these extracted features. We observe that not all features are equally pronounced in all classes; we call such features class-specific features. Existing models do not fully utilize the class-specific differences in feature
Di Wang, Long Ma, Risheng Liu, Xin Fan
Underwater image enhancement has become an attractive topic as a significant technology in marine engineering and aquatic robotics. However, the limited number of datasets and imperfect hand-crafted ground truth weaken its robustness to unseen scenarios, and hamper the application to high-level vision tasks. To address the above limitations, we develop an ef
Bounds for the collapsibility number of a simplicial complex and non-cover complexes of hypergraphs
math.CORekha Santhanam, Samir Shukla, Anurag Singh
The collapsibility number of simplicial complexes was introduced by Wegner in order to understand the intersection patterns of convex sets. This number also plays an important role in a variety of Helly type results. We show that the non-cover complex of a hypergraph $\mathcal{H}$ is $|V(\mathcal{H)}|- \gamma_i(\mathcal{H})-1$-collapsible, where $\gamma_i(\m
Dukhishyam Mallick
The quark model has proven successful in describing the basic building blocks of strongly interacting particles in the Standard Model, where hadronic states consist of quarks and gluons. At the same time, Lattice QCD predicts the possibility of glueball candidates in the mass range \mbox{1550--1750} MeV/$c^2$, which have never been observed. The experimental
ISAC Meets SWIPT: Multi-functional Wireless Systems Integrating Sensing, Communication, and Powering
cs.ITYilong Chen, Haocheng Hua, Jie Xu, Derrick Wing Kwan Ng
This paper unifies integrated sensing and communication (ISAC) and simultaneous wireless information and power transfer (SWIPT), by investigating a new multi-functional multiple-input multiple-output (MIMO) system integrating wireless sensing, communication, and powering. In this system, one multi-antenna hybrid access point (H-AP) transmits wireless signals
He Li, Zechen Tang, Xiaoxun Gong, Nianlong Zou
Ab initio study of magnetic superstructures (e.g., magnetic skyrmion) is indispensable to the research of novel materials but bottlenecked by its formidable computational cost. For solving the bottleneck problem, we develop a deep equivariant neural network method (named xDeepH) to represent density functional theory Hamiltonian $H_\text{DFT}$ as a function
K. Sarieddine, M. A. Sayed, S. Torabi, R. Atallah
In this paper, we study the security posture of the EV charging ecosystem against a new type of remote that exploits vulnerabilities in the EV charging mobile applications as an attack surface. We leverage a combination of static and dynamic analysis techniques to analyze the security of widely used EV charging mobile applications. Our analysis was performed
The Impact of Regulation Regime Changes on ChiNext IPOs: Effects of 2013 and 2020 Reforms on Pricing and Overreaction
q-fin.GNQi Deng, Lunge Dai, Zixin Yang, Zhong-guo Zhou
Since its inauguration, ChiNext has gone through three time periods with two different regulation regimes and three different sets of listing day trading restrictions. This paper studies the impact of regulation regimes and listing day trading restrictions on the initial return of ChiNext IPOs. We hypothesize that the initial return of a ChiNext IPO contains
Mu Yang, Jin-Shi Xu, Chuan-Feng Li, Guang-Can Guo
Photons play essential roles in fundamental physics and practical technologies. They have become one of the attractive informaiton carriers for quantum computation and quantum simulation. Recently, various photonic degrees of freedom supported by optical resonant cavities form photonic synthetic dimensions, which contribute to all-optical platforms for simul
Chris Bourne
Building from work by Cedzich et al. and Suzuki et al., we consider topological and index-theoretic properties of chiral unitaries, which are an abstraction of the time evolution of a chiral-symmetric self-adjoint operator. Split-step quantum walks provide a rich class of examples. We use the index of a pair of projections and the Cayley transform to define
Operationalizing Specifications, In Addition to Test Sets for Evaluating Constrained Generative Models
cs.HCVikas Raunak, Matt Post, Arul Menezes
In this work, we present some recommendations on the evaluation of state-of-the-art generative models for constrained generation tasks. The progress on generative models has been rapid in recent years. These large-scale models have had three impacts: firstly, the fluency of generation in both language and vision modalities has rendered common average-case ev
Robust mode-locking in a hybrid ultrafast laser based on nonlinear multimodal interference
physics.opticsXuanyi Liu, Maolin Dai, Denghui Pan, Kaibin Lin
We experimentally demonstrate the realization of a half-polarization-maintaining (half-PM) fiber laser, in which mode-locking is provided by a reflective multimode-interference saturable absorber (SA). In the specially designed SA, linearly polarized light is coupled into a 15-cm-long graded-index multimode fiber (GIMF) through the PM fiber, and then reflect
Eigenvalue Analysis and Applications of the Legendre Dual-Petrov-Galerkin Methods for Initial Value Problems
math.NADesong Kong, Jie Shen, Li-Lian Wang, Shuhuang Xiang
In this paper, we show that the eigenvalues and eigenvectors of the spectral discretisation matrices resulted from the Legendre dual-Petrov-Galerkin (LDPG) method for the $m$th-order initial value problem (IVP): $u^{(m)}(t)=\sigma u(t),\, t\in (-1,1)$ with constant $\sigma\not=0$ and usual initial conditions at $t=-1,$ are associated with the generalised Bes
Chuanfu Shen, Chao Fan, Wei Wu, Rui Wang
Video-based gait recognition has achieved impressive results in constrained scenarios. However, visual cameras neglect human 3D structure information, which limits the feasibility of gait recognition in the 3D wild world. Instead of extracting gait features from images, this work explores precise 3D gait features from point clouds and proposes a simple yet e
Victor Volfson
The paper considers the asymptotic of the ratio of the number of primes not exceeding the primorial and the number of residues in the reduced system of residues for the given primorial. We study the relationship between asymptotic lower bounds for the values of the Jacobstal function and the maximum distance between successive primes. One algorithm for compu
Xinwei Xue, Gaoyu Wang, Long Ma, Qi Jia
More and more attention has been paid to the segmentation of pulmonary nodules. Among the current methods based on deep learning, 3D segmentation methods directly input 3D images, which takes up a lot of memory and brings huge computation. However, most of the 2D segmentation methods with less parameters and calculation have the problem of lacking spatial re
Shiki Sato, Yosuke Kishinami, Hiroaki Sugiyama, Reina Akama
Automation of dialogue system evaluation is a driving force for the efficient development of dialogue systems. This paper introduces the bipartite-play method, a dialogue collection method for automating dialogue system evaluation. It addresses the limitations of existing dialogue collection methods: (i) inability to compare with systems that are not publicl
Yelleti Vivek, Vadlamani Ravi, Abhay Anand Mane, Laveti Ramesh Naidu
Gaining the trust of customers and providing them empathy are very critical in the financial domain. Frequent occurrence of fraudulent activities affects these two factors. Hence, financial organizations and banks must take utmost care to mitigate them. Among them, ATM fraudulent transaction is a common problem faced by banks. There following are the critica
Towards a phase-field model for thin structures: a coarse-grained constitutive law for brittle fracture of beams
physics.class-phGiovanni Corsi, Antonino Favata, Stefano Vidoli
Damage gradient models approximate fracture mechanics using a modulation of the material stiffness. To this aim a single scalar field, the damage, is used to degrade as a whole the elastic energy. If applied to the structural models of beams and shells, where the elastic energy is the sum of the stretching and bending contributions, a similar approach is not
Bo Liang, Lin Wang, Xiaofan Wang
Revealing the continuous dynamics on the networks is essential for understanding, predicting, and even controlling complex systems, but it is hard to learn and model the continuous network dynamics because of complex and unknown governing equations, high dimensions of complex systems, and unsatisfactory observations. Moreover, in real cases, observed time-se