Source author record

Carlos M. da Fonseca

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
5topics
4close collaborators

Published work

5 publications

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 Sm,v=(π2m)2v∑k=1m−1cos⁡−2v(kπ2m) , 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 Sm,v=(π2m)2v∑k=1m−1cos⁡−2v(kπ2m) , S_{m,v}=\left(\frac π{2m}\right)^{2v}\sum_{k=1}^{m-1}\cos^{-2v}\left(\frac{kπ}{2m}\right)\, , where mm and vv 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(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=(aij)A=(a_{ij}) be an nn-by-nn matrix. For any real number μμ, we define the polynomial Pμ(A)=∑σ∈Sna1σ(1)⋯anσ(n) μℓ(σ)  ,P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; , as the μμ-permanent of AA, where ℓ(σ)\ell(σ) is the number of inversions of the permutation σσ in the symmetric group SnS_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 Φ:Cm×Cm→CΦ:\mathbb C^m\times\mathbb C^m\to \mathbb C and Ψ:Cn×Cn→CΨ:\mathbb C^n\times\mathbb C^n\to \mathbb C are called topologically equivalent if there exists a homeomorphism φ:Cm→Cnφ:\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))Φ(x,y)=Ψ(φ(x),φ(y)) for all x,y∈Cmx,y\in \mathbb C^m. R.A.Horn and V.V.Sergeichuk in 2006 constructed a regularizing decomposition of a square complex matrix AA; that is, a direct sum SAS∗=R⊕Jn1⊕⋯⊕JnpSAS^*=R\oplus J_{n_1}\oplus\dots\oplus J_{n_p}, in which SS and RR are nonsingular and each JniJ_{n_i} is the nin_i-by-nin_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 JniJ_{n_i} and replacement of R∈Cr×rR\in\mathbb C^{r\times r} by a nonsingular matrix R′∈Cr×rR'\in\mathbb C^{r\times r} such that RR and R′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 A\cal A and B\cal B be two systems consisting of the same vector spaces Cn1,…,Cnt\mathbb C^{n_1},\dots,\mathbb C^{n_t} and bilinear or sesquilinear forms Ai,Bi:Cnk(i)×Cnl(i)→CA_i,B_i:\mathbb C^{n_{k(i)}}\times\mathbb C^{n_{l(i)}}\to\mathbb C, for i=1,…,si=1,\dots,s. We prove that A\cal A is transformed to B\cal B by homeomorphisms within Cn1,…,Cnt\mathbb C^{n_1},\dots,\mathbb C^{n_t} if and only if A\cal A is transformed to B\cal B by linear bijections within Cn1,…,Cnt\mathbb C^{n_1},\dots,\mathbb C^{n_t}.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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