Showing 1–12 of 12 results for author: Costa, I S

Integer eigenvalues of the $n$-Queens graph

Authors: Domingos M. Cardoso, Inês Serôdio Costa, Rui Duarte

Abstract: The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that… ▽ More The $n$-Queens graph, $\mathcal{Q}(n)$, is the graph obtained from a $n\times n$ chessboard where each of its $n^2$ squares is a vertex and two vertices are adjacent if and only if they are in the same row, column or diagonal. In a previous work the authors have shown that, for $n\ge4$, the least eigenvalue of $\mathcal{Q}(n)$ is $-4$ and its multiplicity is $(n-3)^2$. In this paper we prove that $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$ and its multiplicity is at least $\frac{n+1}{2}$ or $\frac{n-2}{2}$ when $n$ is odd or even, respectively. Furthermore, when $n$ is odd, it is proved that $-3,-2\ldots,\frac{n-11}{2}$ and $\frac{n-5}{2},\ldots,n-5$ are additional integer eigenvalues of $\mathcal{Q}(n)$ and a family of eigenvectors associated with them is presented. Finally, conjectures about the multiplicity of the aforementioned eigenvalues and about the non-existence of any other integer eigenvalue are stated. △ Less

Submitted 10 May, 2023; v1 submitted 19 January, 2023; originally announced January 2023.

MSC Class: 05C50

Sharp bounds on the least eigenvalue of a graph determined from edge clique partitions

Authors: Domingos M. Cardoso, Inês Serôdio Costa, Rui Duarte

Abstract: Sharp bounds on the least eigenvalue of an arbitrary graph are presented. Necessary and sufficient (just sufficient) conditions for the lower (upper) bound to be attained are deduced using edge clique partitions. As an application, we prove that the least eigenvalue of the $n$-Queens' graph $\mathcal{Q}(n)$ is equal to $-4$ for every $n \ge 4$ and it is also proven that the multiplicity of this ei… ▽ More Sharp bounds on the least eigenvalue of an arbitrary graph are presented. Necessary and sufficient (just sufficient) conditions for the lower (upper) bound to be attained are deduced using edge clique partitions. As an application, we prove that the least eigenvalue of the $n$-Queens' graph $\mathcal{Q}(n)$ is equal to $-4$ for every $n \ge 4$ and it is also proven that the multiplicity of this eigenvalue is $(n-3)^2$. Additionally, some results on the edge clique partition graph parameters are obtained. △ Less

Submitted 24 February, 2022; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2012.01992

MSC Class: 05C50; 05C70

Group actions on contractible $2$-complexes II

Authors: Kevin Ivan Piterman, Iván Sadofschi Costa

Abstract: In this second part we prove that, if $G$ is one of the groups $\mathrm{PSL}_2(q)$ with $q>5$ and $q\equiv 5\pmod {24}$ or $q\equiv 13 \pmod{24}$, then the fundamental group of every acyclic $2$-dimensional, fixed point free and finite $G$-complex admits a nontrivial representation in a unitary group $\mathrm{U}(m)$. This completes the proof of the following result: every action of a finite group… ▽ More In this second part we prove that, if $G$ is one of the groups $\mathrm{PSL}_2(q)$ with $q>5$ and $q\equiv 5\pmod {24}$ or $q\equiv 13 \pmod{24}$, then the fundamental group of every acyclic $2$-dimensional, fixed point free and finite $G$-complex admits a nontrivial representation in a unitary group $\mathrm{U}(m)$. This completes the proof of the following result: every action of a finite group on a finite and contractible $2$-complex has a fixed point. △ Less

Submitted 22 February, 2021; originally announced February 2021.

MSC Class: 57M60

Group actions on contractible $2$-complexes I

Authors: Iván Sadofschi Costa

Abstract: In this series of two articles, we prove that every action of a finite group $G$ on a finite and contractible $2$-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the acyclic $2$-dimensional $G$-complexes constructed by Oliver and Segev. In the first part we develop the necessary theory and cover the cases where… ▽ More In this series of two articles, we prove that every action of a finite group $G$ on a finite and contractible $2$-complex has a fixed point. The proof goes by constructing a nontrivial representation of the fundamental group of each of the acyclic $2$-dimensional $G$-complexes constructed by Oliver and Segev. In the first part we develop the necessary theory and cover the cases where $G=\mathrm{PSL}_2(2^n)$, $G=\mathrm{PSL}_2(q)$ with $q\equiv 3\pmod 8$ or $G=\mathrm{Sz}(2^n)$. The cases $G=\mathrm{PSL}_2(q)$ with $q\equiv 5\pmod 8$ are addressed in the second part. △ Less

Submitted 22 February, 2021; originally announced February 2021.

Comments: With an appendix by Kevin I. Piterman

MSC Class: 57M60

Spectral properties of the $n$-Queens' Graphs

Authors: Domingos M. Cardoso, Inês Serôdio Costa, Rui Duarte

Abstract: The $n$-Queens' graph, $\mathcal{Q}(n)$, is the graph associated to the $n \times n$ chessboard (a generalization of the classical $8 \times 8$ chessboard), with $n^2$ vertices, each one corresponding to a square of the chessboard. Two vertices of $\mathcal{Q}(n)$ are adjacent if and only if they are in the same row, in the same column or in the same diagonal of the chessboard. After a short overv… ▽ More The $n$-Queens' graph, $\mathcal{Q}(n)$, is the graph associated to the $n \times n$ chessboard (a generalization of the classical $8 \times 8$ chessboard), with $n^2$ vertices, each one corresponding to a square of the chessboard. Two vertices of $\mathcal{Q}(n)$ are adjacent if and only if they are in the same row, in the same column or in the same diagonal of the chessboard. After a short overview on the main combinatorial properties of $\mathcal{Q}(n)$, its spectral properties are investigated. First, a lower bound on the least eigenvalue of an arbitrary graph is obtained using clique edge partitions and a sufficient condition for this lower bound be attained is deduced. For the particular case of $\mathcal{Q}(n)$, we prove that for every $n$, its least eigenvalue is not less than $-4$ and it is equal to $-4$ with multiplicity $(n-3)^2$, for every $n \ge 4$. Furthermore, $n-4$ is also an eigenvalue of $\mathcal{Q}(n)$, with multiplicity at least $\frac{n-2}{2}$ when $n$ is even and at least $\frac{n+1}{2}$ when $n$ is odd. A conjecture about the integer eigenvalues of $\mathcal{Q}(n)$ is presented. We finish this article with an algorithm to determine an equitable partition of the $n$-Queens' graph, $\mathcal{Q}(n)$, for $n \ge 3$, concluding that such equitable partition has $\frac{(\lceil n/2\rceil+1)\lceil n/2\rceil}{2}$ cells. △ Less

Submitted 3 December, 2020; originally announced December 2020.

Comments: 25 pages

MSC Class: 05C15; 05C50; 05C69; 05C70

Group actions of $A_5$ on contractible $2$-complexes

Authors: Iván Sadofschi Costa

Abstract: We prove that every action of $A_5$ on a finite $2$-dimensional contractible complex has a fixed point. We prove that every action of $A_5$ on a finite $2$-dimensional contractible complex has a fixed point. △ Less

Submitted 21 October, 2020; v1 submitted 3 September, 2020; originally announced September 2020.

MSC Class: 57S17; 57M20; 57M60; 55M20; 55M25; 20F05; 20E06

Generalized small cancellation conditions, non-positive curvature and diagrammatic reducibility

Authors: Martin Axel Blufstein, Elias Gabriel Minian, Iván Sadofschi Costa

Abstract: We present a metric condition ${\LARGEτ}'$ which describes the geometry of classical small cancellation groups and applies also to other known classes of groups such as two-dimensional Artin groups. We prove that presentations satisfying condition ${\LARGEτ}'$ are diagrammatically reducible in the sense of Sieradski and Gersten. In particular we deduce that the standard presentation of an Artin gr… ▽ More We present a metric condition ${\LARGEτ}'$ which describes the geometry of classical small cancellation groups and applies also to other known classes of groups such as two-dimensional Artin groups. We prove that presentations satisfying condition ${\LARGEτ}'$ are diagrammatically reducible in the sense of Sieradski and Gersten. In particular we deduce that the standard presentation of an Artin group is aspherical if and only if it is diagrammatically reducible. We show that, under some extra hypotheses, ${\LARGEτ}'$-groups have quadratic Dehn functions and solvable conjugacy problem. In the spirit of Greendlinger's lemma, we prove that if a presentation $P=\langle X \mid R\rangle$ of group $G$ satisfies conditions ${\LARGEτ}'-C'(\frac{1}{2})$, the length of any nontrivial word in the free group generated by $X$ representing the trivial element in $G$ is at least that of the shortest relator. We also introduce a strict metric condition ${\LARGEτ}'_{<}$, which implies hyperbolicity. Finally we investigate non-metric and dual variants of these conditions, and study a harmonic mean version of small cancellation theory. △ Less

Submitted 24 June, 2020; originally announced June 2020.

MSC Class: 20F65; 20F67; 20F06; 20F10; 08A50; 20M05

Acyclic $2$-dimensional complexes and Quillen's conjecture

Authors: Kevin I. Piterman, Iván Sadofschi Costa, Antonio Viruel

Abstract: Let $G$ be a finite group and $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. Quillen conjectured that $O_p(G)$ is nontrivial if $\mathcal{A}_p(G)$ is contractible. We prove that $O_p(G)\neq 1$ for any group $G$ admitting a $G$-invariant acyclic $p$-subgroup complex of dimension $2$. In particular, it follows that Quillen's conjecture holds for groups of $p$-… ▽ More Let $G$ be a finite group and $\mathcal{A}_p(G)$ be the poset of nontrivial elementary abelian $p$-subgroups of $G$. Quillen conjectured that $O_p(G)$ is nontrivial if $\mathcal{A}_p(G)$ is contractible. We prove that $O_p(G)\neq 1$ for any group $G$ admitting a $G$-invariant acyclic $p$-subgroup complex of dimension $2$. In particular, it follows that Quillen's conjecture holds for groups of $p$-rank $3$. We also apply this result to establish Quillen's conjecture for some particular groups not considered in the seminal work of Aschbacher--Smith. △ Less

Submitted 12 November, 2020; v1 submitted 3 July, 2019; originally announced July 2019.

Comments: 13 pages

MSC Class: 57S17; 20D05; 57M20; 55M20; 55M35; 57M60

The complex of partial bases of a free group

Authors: Iván Sadofschi Costa

Abstract: We prove that the simplicial complex whose simplices are the nonempty partial bases of $\mathbb{F}_n$ is homotopy equivalent to a wedge of $(n-1)$-spheres. Moreover, we show that it is Cohen-Macaulay. We prove that the simplicial complex whose simplices are the nonempty partial bases of $\mathbb{F}_n$ is homotopy equivalent to a wedge of $(n-1)$-spheres. Moreover, we show that it is Cohen-Macaulay. △ Less

Submitted 27 November, 2017; originally announced November 2017.

MSC Class: 20E36; 20E05; 20F65; 57M07

On a generalization of the seating couples problem

Authors: Daniel Kohen, Iván Sadofschi Costa

Abstract: We prove a conjecture of Adamaszek generalizing the seating couples problem to the case of $2n$ seats. Concretely, we prove that given a positive integer $n$ and $d_1,\ldots,d_n\in(\mathbb{Z}/2n)^*$ we can partition $\mathbb{Z}/2n$ into $n$ pairs with differences $d_1,\ldots,d_n$. We prove a conjecture of Adamaszek generalizing the seating couples problem to the case of $2n$ seats. Concretely, we prove that given a positive integer $n$ and $d_1,\ldots,d_n\in(\mathbb{Z}/2n)^*$ we can partition $\mathbb{Z}/2n$ into $n$ pairs with differences $d_1,\ldots,d_n$. △ Less

Submitted 21 March, 2016; originally announced March 2016.

Comments: 3 pages

MSC Class: 11B13; 05B10

Presentation complexes with the fixed point property

Authors: Iván Sadofschi Costa

Abstract: We prove that there exists a compact two-dimensional polyhedron with the fixed point property and even Euler characteristic. This answers a question posed by R.H. Bing in 1969. We also settle another of Bing's questions. We prove that there exists a compact two-dimensional polyhedron with the fixed point property and even Euler characteristic. This answers a question posed by R.H. Bing in 1969. We also settle another of Bing's questions. △ Less

Submitted 20 February, 2015; v1 submitted 8 February, 2015; originally announced February 2015.

Comments: 4 pages

MSC Class: 55M20; 57M20; 57M05

Journal ref: Geom. Topol. 21 (2017) 1275-1283

On a question of R.H. Bing concerning the fixed point property for two-dimensional polyhedra

Authors: Jonathan Ariel Barmak, Iván Sadofschi Costa

Abstract: In 1969 R.H. Bing asked the following question: Is there a compact two-dimensional polyhedron with the fixed point property which has even Euler characteristic? In this paper we prove that there are no spaces with these properties and abelian fundamental group. We also show that the fundamental group of an example cannot have trivial Schur multiplier. In 1969 R.H. Bing asked the following question: Is there a compact two-dimensional polyhedron with the fixed point property which has even Euler characteristic? In this paper we prove that there are no spaces with these properties and abelian fundamental group. We also show that the fundamental group of an example cannot have trivial Schur multiplier. △ Less

Submitted 30 December, 2014; originally announced December 2014.

Comments: 9 pages, 1 figure

MSC Class: 55M20; 57M20; 55P15; 57M05