Researcher profile

Carlos M. da Fonseca

Carlos M. da Fonseca contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 19 - Baseline
5works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2016arXiv

An integral approach to the Gardner-Fisher and untwisted Dowker sums

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.

preprint2016arXiv

The $μ$-permanent, a new graph labeling, and a known integer sequence

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.

preprint2016arXiv

Topological classification of sesquilinear forms: reduction to the nonsingular case

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 $φ:\mathbb C^m\to \mathbb C^n$ (i.e., a continuous bijection whose inverse is also a continuous bijection) such that $Φ(x,y)=Ψ(φ(x),φ(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.

preprint2016arXiv

Topological classification of systems of bilinear and sesquilinear forms

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}$.