-
$a$-potent Schwarz matrices and Bessel-like Jacobi polynomials
Authors:
Alexander Dyachenko,
Carlos M. da Fonseca,
Mikhail Tyaglov
Abstract:
We consider the problem of the reconstruction of a Schwarz matrix from exactly one given eigenvalue. This inverse eigenvalue problem leads to the Jacobi orthogonal polynomials~$\{P_k^{(-n,n)}\}_{k=0}^{n-1}$ that can be treated as a discrete finite analogue of Bessel polynomials.
We consider the problem of the reconstruction of a Schwarz matrix from exactly one given eigenvalue. This inverse eigenvalue problem leads to the Jacobi orthogonal polynomials~$\{P_k^{(-n,n)}\}_{k=0}^{n-1}$ that can be treated as a discrete finite analogue of Bessel polynomials.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
Gelfand-Tsetlin modules for Lie algebras of rank $2$
Authors:
Milica Anđelić,
Carlos M. da Fonseca,
Vyacheslav Futorny,
Andrew Tsylke
Abstract:
We explicitly construct families of simple modules for Lie algebras of rank $2$, on which certain commutative subalgebra acts diagonally and has a simple spectrum. In type $A$ these modules are well known generic Gelfand-Tsetlin modules and they can be viewed as such for other rank $2$ Lie algebras.
We explicitly construct families of simple modules for Lie algebras of rank $2$, on which certain commutative subalgebra acts diagonally and has a simple spectrum. In type $A$ these modules are well known generic Gelfand-Tsetlin modules and they can be viewed as such for other rank $2$ Lie algebras.
△ Less
Submitted 9 January, 2025; v1 submitted 1 February, 2024;
originally announced February 2024.
-
Eigenvalue estimates of the drifted Cheng-Yau operator on bounded domains in pinched Cartan-Hadamard manifolds
Authors:
Júlio C. M. da Fonseca,
José N. V. Gomes
Abstract:
We show how a Bochner type formula can be used to establish universal inequalities for the eigenvalues of the drifted Cheng-Yau operator on a bounded domain in a pinched Cartan-Hadamard manifold with the Dirichlet boundary condition. In the first theorem, the hyperbolic space case is treated in an independent way. For the more general setting, we first establish a Rauch comparison theorem for the…
▽ More
We show how a Bochner type formula can be used to establish universal inequalities for the eigenvalues of the drifted Cheng-Yau operator on a bounded domain in a pinched Cartan-Hadamard manifold with the Dirichlet boundary condition. In the first theorem, the hyperbolic space case is treated in an independent way. For the more general setting, we first establish a Rauch comparison theorem for the Cheng-Yau operator and two estimates associated with the Bochner type formula for this operator. Next, we get some integral estimates of independent interest. As an application, we compute our universal inequalities. In particular, we obtain the corresponding inequalities for both Cheng-Yau operator and drifted Laplacian cases, and we recover the known inequalities for the Laplacian case. We also obtain a rigidity result for a Cheng-Yau operator on a class of bounded annular domains in a pinched Cartan-Hadamard manifold. In particular, we can use, e.g., the potential function of the Gaussian shrinking soliton to obtain such a rigidity for the Euclidean space case. The fundamental gap conjecture is also addressed in this paper.
△ Less
Submitted 21 March, 2022; v1 submitted 19 July, 2021;
originally announced July 2021.
-
The Expected Number of Distinct Consecutive Patterns in a Random Permutation
Authors:
Austin Allen,
Dylan Cruz Fonseca,
Veronica Dobbs,
Egypt Downs,
Evelyn Fokuoh,
Anant Godbole,
Sebastián Papanikolaou Costa,
Christopher Soto,
Lino Yoshikawa
Abstract:
Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, we show that the expected number of distinct consecutive patterns in $π_n$ is $\frac{n^2}{2}(1-o(1))$. This exhibits the fact that random permutations pack consecutive patterns near-perfectly.
Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, we show that the expected number of distinct consecutive patterns in $π_n$ is $\frac{n^2}{2}(1-o(1))$. This exhibits the fact that random permutations pack consecutive patterns near-perfectly.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
On the Bicriterion Maximum Flow Network Interdiction Problem
Authors:
Luca E. Schäfer,
Stefan Ruzika,
Sven O. Krumke,
Carlos M. Fonseca
Abstract:
This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by…
▽ More
This article focuses on a biobjective extension of the maximum flow network interdiction problem, where each arc in the network is associated with two capacity values. Two maximum flows from a source to a sink are to be computed independently of each other with respect to the first and second capacity function, respectively, while an interdictor aims to minimize the value of both maximum flows by interdicting arcs. We show that this problem is intractable and that the decision problem, which asks whether or not a feasible interdiction strategy is efficient, is NP-complete. We propose a pseudopolynomial time algorithm in the case of two-terminal series-parallel graphs and positive integer-valued interdiction costs. We extend this algorithm to a fully polynomial-time approximation scheme for the case of unit interdiction costs by appropriately partitioning the objective space.
△ Less
Submitted 8 October, 2020; v1 submitted 6 October, 2020;
originally announced October 2020.
-
Reference Bayesian analysis for hierarchical models
Authors:
Thaís C. O. Fonseca,
Helio S. Migon,
Heudson Mirandola
Abstract:
This paper proposes an alternative approach for constructing invariant Jeffreys prior distributions tailored for hierarchical or multilevel models. In particular, our proposal is based on a flexible decomposition of the Fisher information for hierarchical models which overcomes the marginalization step of the likelihood of model parameters. The Fisher information matrix for the hierarchical model…
▽ More
This paper proposes an alternative approach for constructing invariant Jeffreys prior distributions tailored for hierarchical or multilevel models. In particular, our proposal is based on a flexible decomposition of the Fisher information for hierarchical models which overcomes the marginalization step of the likelihood of model parameters. The Fisher information matrix for the hierarchical model is derived from the Hessian of the Kullback-Liebler (KL) divergence for the model in a neighborhood of the parameter value of interest. Properties of the KL divergence are used to prove the proposed decomposition. Our proposal takes advantage of the hierarchy and leads to an alternative way of computing Jeffreys priors for the hyperparameters and an upper bound for the prior information. While the Jeffreys prior gives the minimum information about parameters, the proposed bound gives an upper limit for the information put in any prior distribution. A prior with information above that limit may be considered too informative. From a practical point of view, the proposed prior may be evaluated computationally as part of a MCMC algorithm. This property might be essential for modeling setups with many levels in which analytic marginalization is not feasible. We illustrate the usefulness of our proposal with examples in mixture models, in model selection priors such as lasso and in the Student-t model.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
Lipschitz property for systems of linear mappings and bilinear forms
Authors:
Abdullah Alazemi,
Milica Anđelić,
Carlos M. da Fonseca,
Vladimir V. Sergeichuk
Abstract:
Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices th…
▽ More
Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices that transforms A to A'. We prove that if two representations are isomorphic and close to each other, then their isomorphism can be chosen close to the identity.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
An observation on the determinant of a Sylvester-Kac type matrix
Authors:
Carlos M. da Fonseca,
Emrah Kılıç
Abstract:
Based on a less-known result, we prove a recent conjecture concerning the determinant of a certain Sylvester-Kac type matrix and consider an extension of it.
Based on a less-known result, we prove a recent conjecture concerning the determinant of a certain Sylvester-Kac type matrix and consider an extension of it.
△ Less
Submitted 20 February, 2019;
originally announced February 2019.
-
The $μ$-permanent revisited
Authors:
Carlos M. da Fonseca
Abstract:
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, we review several less known results of the $μ$-permanent, recalling some of its interesting prope…
▽ More
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, we review several less known results of the $μ$-permanent, recalling some of its interesting properties. Some determinantal conjectures are considered and extended to that polynomial. A correction to a previous note is presented as well.
△ Less
Submitted 6 April, 2018;
originally announced April 2018.
-
On dimension of poset variety
Authors:
Claudia Cavalcante Fonseca,
Kostiantyn Iusenko
Abstract:
For a finite partially ordered set we calculate the dimension of the variety of its subspace representations having fixed dimension vector. The dimension is given in terms of the Euler quadratic form associated with a partially ordered set, which gives a geometric interpretation of this form.
For a finite partially ordered set we calculate the dimension of the variety of its subspace representations having fixed dimension vector. The dimension is given in terms of the Euler quadratic form associated with a partially ordered set, which gives a geometric interpretation of this form.
△ Less
Submitted 20 June, 2018; v1 submitted 1 April, 2018;
originally announced April 2018.
-
Topological classification of systems of bilinear and sesquilinear forms
Authors:
Carlos M. da Fonseca,
Vyacheslav Futorny,
Tetiana Rybalkina,
Vladimir V. Sergeichuk
Abstract:
Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for $i=1,\dots,s$. We prove that $\cal A$ is transformed to $\cal B$ by homeomorphisms within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ if and only if $\cal A$ is transformed to…
▽ More
Let $\cal A$ and $\cal B$ be two systems consisting of the same vector spaces $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ and bilinear or sesquilinear forms $A_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C$, for $i=1,\dots,s$. We prove that $\cal A$ is transformed to $\cal B$ by homeomorphisms within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$ if and only if $\cal A$ is transformed to $\cal B$ by linear bijections within $\mathbb C^{n_1},\dots,\mathbb C^{n_t}$.
△ Less
Submitted 26 November, 2016;
originally announced November 2016.
-
The $μ$-permanent, a new graph labeling, and a known integer sequence
Authors:
Milica Anđelić,
Carlos M. da Fonseca,
António Pereira
Abstract:
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain…
▽ More
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.
△ Less
Submitted 14 September, 2016;
originally announced September 2016.
-
Topological classification of sesquilinear forms: reduction to the nonsingular case
Authors:
Carlos M. da Fonseca,
Tetiana Rybalkina,
Vladimir V. Sergeichuk
Abstract:
Two sesquilinear forms $Φ:\mathbb C^m\times\mathbb C^m\to \mathbb C$ and $Ψ:\mathbb C^n\times\mathbb C^n\to \mathbb C$ are called topologically equivalent if there exists a homeomorphism $\varphi :\mathbb C^m\to \mathbb C^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $Φ(x,y)=Ψ(\varphi (x),\varphi (y))$ for all $x,y\in \mathbb C^m$. R.A.Horn and V.V.Sergei…
▽ More
Two sesquilinear forms $Φ:\mathbb C^m\times\mathbb C^m\to \mathbb C$ and $Ψ:\mathbb C^n\times\mathbb C^n\to \mathbb C$ are called topologically equivalent if there exists a homeomorphism $\varphi :\mathbb C^m\to \mathbb C^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $Φ(x,y)=Ψ(\varphi (x),\varphi (y))$ for all $x,y\in \mathbb C^m$. R.A.Horn and V.V.Sergeichuk in 2006 constructed a regularizing decomposition of a square complex matrix $A$; that is, a direct sum $SAS^*=R\oplus J_{n_1}\oplus\dots\oplus J_{n_p}$, in which $S$ and $R$ are nonsingular and each $J_{n_i}$ is the $n_i$-by-$n_i$ singular Jordan block. In this paper, we prove that $Φ$ and $Ψ$ are topologically equivalent if and only if the regularizing decompositions of their matrices coincide up to permutation of the singular summands $J_{n_i}$ and replacement of $R\in\mathbb C^{r\times r}$ by a nonsingular matrix $R'\in\mathbb C^{r\times r}$ such that $R$ and $R'$ are the matrices of topologically equivalent forms. Analogous results for real and complex bilinear forms are also obtained.
△ Less
Submitted 18 April, 2016;
originally announced April 2016.
-
An integral approach to the Gardner-Fisher and untwisted Dowker sums
Authors:
Carlos M. da Fonseca,
M. Lawrence Glasser,
Victor Kowalenko
Abstract:
We present a new and elegant integral approach to computing the Gardner-Fisher trigonometric power sum, which is given by $$ S_{m,v}=\left(\frac π{2m}\right)^{2v}\sum_{k=1}^{m-1}\cos^{-2v}\left(\frac{kπ}{2m}\right)\, ,
$$ We present a new and elegant integral approach to computing the Gardner-Fisher trigonometric power sum, which is given by…
▽ More
We present a new and elegant integral approach to computing the Gardner-Fisher trigonometric power sum, which is given by $$ S_{m,v}=\left(\frac π{2m}\right)^{2v}\sum_{k=1}^{m-1}\cos^{-2v}\left(\frac{kπ}{2m}\right)\, ,
$$ We present a new and elegant integral approach to computing the Gardner-Fisher trigonometric power sum, which is given by $$ S_{m,v}=\left(\frac π{2m}\right)^{2v}\sum_{k=1}^{m-1}\cos^{-2v}\left(\frac{kπ}{2m}\right)\, ,
$$ where $m$ and $v$ are positive integers. This method not only confirms the results obtained earlier by an empirical method, but it is also much more expedient from a computational point of view. By comparing the formulas from both methods, we derive several new interesting number theoretic results involving symmetric polynomials over the set of quadratic powers up to $(v-1)^2$ and the generalized cosecant numbers. The method is then extended to other related trigonometric power sums including the untwisted Dowker sum. By comparing both forms for this important sum, we derive new formulas for specific values of the Nörlund polynomials. Finally, by using the results appearing in the tables, we consider more advanced sums involving the product of powers of cotangent and tangent with powers of cosecant and secant respectively.
△ Less
Submitted 11 March, 2016;
originally announced March 2016.
-
Basic trigonometric power sums with applications
Authors:
Carlos M. da Fonseca,
M. Lawrence Glasser,
Victor Kowalenko
Abstract:
We present the transformation of several sums of positive integer powers of the sine and cosine into non-trigonometric combinatorial forms. The results are applied to the derivation of generating functions and to the number of the closed walks on a path and in a cycle.
We present the transformation of several sums of positive integer powers of the sine and cosine into non-trigonometric combinatorial forms. The results are applied to the derivation of generating functions and to the number of the closed walks on a path and in a cycle.
△ Less
Submitted 28 January, 2016;
originally announced January 2016.
-
Stability and contagion measures for spatial extreme value analyses
Authors:
C. Fonseca,
H. Ferreira,
L. Pereira A. P.,
Martins
Abstract:
As part of global climate change an accelerated hydrologic cycle (including an increase in heavy precipitation) is anticipated. So, it is of great importance to be able to quantify high-impact hydrologic relationships, for example, the impact that an extreme precipitation (or temperature) in a location has on a surrounding region. Building on the Multivariate Extreme Value Theory we propose a cont…
▽ More
As part of global climate change an accelerated hydrologic cycle (including an increase in heavy precipitation) is anticipated. So, it is of great importance to be able to quantify high-impact hydrologic relationships, for example, the impact that an extreme precipitation (or temperature) in a location has on a surrounding region. Building on the Multivariate Extreme Value Theory we propose a contagion index and a stability index. The contagion index makes it possible to quantify the effect that an exceedance above a high threshold can have on a region. The stability index reflects the expected number of crossings of a high threshold in a region associated to a specific location i, given the occurrence of at least one crossing at that location. We will find some relations with well-known extremal dependence measures found in the literature, which will provide immediate estimators. For these estimators an application to the annual maxima precipitation in Portuguese regions is presented.
△ Less
Submitted 6 June, 2012;
originally announced June 2012.
-
Generalized madogram and pairwise dependence of maxima over two regions of a random field
Authors:
Cecília Fonseca,
Luísa Pereira,
Helena Ferreira,
Ana Paula Martins
Abstract:
Spatial environmental processes often exhibit dependence in their large values. In order to model such processes their dependence properties must be characterized and quantified. In this paper we introduce a measure that evaluates the dependence among extreme observations located in two separated regions of locations of R^2. We compute the range of this new dependence measure, which extends the ex…
▽ More
Spatial environmental processes often exhibit dependence in their large values. In order to model such processes their dependence properties must be characterized and quantified. In this paper we introduce a measure that evaluates the dependence among extreme observations located in two separated regions of locations of R^2. We compute the range of this new dependence measure, which extends the existing λ-madogram concept, and compare it with extremal coefficients, finding generalizations of the known relations in pairwise approach. Estimators for this measure are introduced and asymptotic normality and strong consistency are shown. An application to the annual maxima precipitation in Portuguese regions is presented.
△ Less
Submitted 24 January, 2012; v1 submitted 13 April, 2011;
originally announced April 2011.