Zobrazeno 1 - 10
of 145 328
pro vyhledávání: '"P. A. Horn"'
Given two nonincreasing $n$-tuples of real numbers $\lambda_n$, $\mu_n$, the Horn problem asks for a description of all nonincreasing $n$-tuples of real numbers $\nu_n$ such that there exist Hermitian matrices $X_n$, $Y_n$ and $Z_n$ respectively with
Externí odkaz:
http://arxiv.org/abs/2410.12619
The Horn inequalities characterise the possible spectra of triples of $n$-by-$n$ Hermitian matrices $A+B=C$. We study integral inequalities that arise as limits of Horn inequalities as $n \to \infty$. These inequalities are parametrised by the points
Externí odkaz:
http://arxiv.org/abs/2410.08907
Autor:
Faella, Marco, Parlato, Gennaro
Verifying programs that manipulate tree data structures often requires complex, ad-hoc proofs that are hard to generalize and automate. This paper introduces an automatic technique for analyzing such programs. Our approach combines automata and logic
Externí odkaz:
http://arxiv.org/abs/2410.09668
Autor:
Bull, Philip, El-Makadema, Ahmed, Garsden, Hugh, Edgley, John, Roddis, Neil, Chluba, Jens, Conselice, Christopher J., Dutta, Sohini, Glasscock, Katrine A., Nasirudin, Ainulnabilah, Norris, Jordan, Wilensky, Michael J., Ye, Isabelle, Zhang, Zheng
The sky-averaged brightness temperature of the 21cm line from neutral hydrogen provides a sensitive probe of the thermal state of the intergalactic medium, particularly before and during Cosmic Dawn and the Epoch of Reionisation. This `global signal'
Externí odkaz:
http://arxiv.org/abs/2410.00076
Autor:
Carelli, Mishel, Grumberg, Orna
This work proposes a novel approach for automatic verification and synthesis of infinite-state reactive programs with respect to ${CTL}^*$ specifications, based on translation to Existential Horn Clauses (EHCs). $CTL^*$ is a powerful temporal logic,
Externí odkaz:
http://arxiv.org/abs/2408.11502
Autor:
Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Goharshady, Ehsan Kafshdar, Karrabi, Mehrdad, Saadat, Milad, Seeliger, Maximilian, Žikelić, Đorđe
Polynomial Horn clauses with existentially and universally quantified variables arise in many problems of verification and program analysis. We present PolyHorn which is a tool for solving polynomial Horn clauses in which variables on both sides of t
Externí odkaz:
http://arxiv.org/abs/2408.03796
Autor:
Tarau, Paul
Dual Horn clauses mirror key properties of Horn clauses. This paper explores the ``other side of the looking glass'' to reveal some expected and unexpected symmetries and their practical uses. We revisit Dual Horn clauses as enablers of a form of con
Externí odkaz:
http://arxiv.org/abs/2407.20413
Catamorphisms are functions that are recursively defined on list and trees and, in general, on Algebraic Data Types (ADTs), and are often used to compute suitable abstractions of programs that manipulate ADTs. Examples of catamorphisms include functi
Externí odkaz:
http://arxiv.org/abs/2408.06988
Publikováno v:
Scientific Reports, Vol 14, Iss 1, Pp 1-15 (2024)
Abstract This paper introduces a Hybrid Plasmonic Nano-Antenna (HPNA) with a gradient-index dielectric flat lens modeled with different materials to enhance and steer the radiation in a particular direction based on a phase shift array. Firstly, the
Externí odkaz:
https://doaj.org/article/3b50b0d043cd4ff798507c05e8c48c7a
Autor:
Chen, Hengzhun, Li, Yingzhou
The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a sym
Externí odkaz:
http://arxiv.org/abs/2407.00701