Showing 1–15 of 15 results for author: Martins, T

Parametric-ROM of Structures with Varying Geometry using Direct Parameterization of Invariant Manifolds

Authors: Tiago Martins, Alessandra Vizzaccaro, Daniel Rixen

Abstract: This work presents a framework for parametric reduction in FEM, where geometry is controlled by a parameter without altering material properties or stress states. The inverse determinant in the weak form is expanded as a power series, with explicit expressions for the zeroth and first-order terms. External forcing and parameter dependence are incorporated into an enlarged autonomous system, reduce… ▽ More This work presents a framework for parametric reduction in FEM, where geometry is controlled by a parameter without altering material properties or stress states. The inverse determinant in the weak form is expanded as a power series, with explicit expressions for the zeroth and first-order terms. External forcing and parameter dependence are incorporated into an enlarged autonomous system, reduced via the direct parameterization of invariant manifolds method and homological equations. The parameter is treated as an additional variable with trivial dynamics, isolated for inclusion in the ROM. This approach enables efficient parametric studies and advances reduced-order modeling in structural dynamics. △ Less

Submitted 1 April, 2025; v1 submitted 28 February, 2025; originally announced February 2025.

Comments: conference paper

A lower bound for set-colouring Ramsey numbers

Authors: Lucas Aragão, Maurício Collares, João Pedro Marciano, Taísa Martins, Robert Morris

Abstract: The set-colouring Ramsey number $R_{r,s}(k)$ is defined to be the minimum $n$ such that if each edge of the complete graph $K_n$ is assigned a set of $s$ colours from $\{1,\ldots,r\}$, then one of the colours contains a monochromatic clique of size $k$. The case $s = 1$ is the usual $r$-colour Ramsey number, and the case $s = r - 1$ was studied by Erdős, Hajnal and Rado in 1965, and by Erdős and S… ▽ More The set-colouring Ramsey number $R_{r,s}(k)$ is defined to be the minimum $n$ such that if each edge of the complete graph $K_n$ is assigned a set of $s$ colours from $\{1,\ldots,r\}$, then one of the colours contains a monochromatic clique of size $k$. The case $s = 1$ is the usual $r$-colour Ramsey number, and the case $s = r - 1$ was studied by Erdős, Hajnal and Rado in 1965, and by Erdős and Szemerédi in 1972. The first significant results for general $s$ were obtained only recently, by Conlon, Fox, He, Mubayi, Suk and Verstraëte, who showed that $R_{r,s}(k) = 2^{Θ(kr)}$ if $s/r$ is bounded away from $0$ and $1$. In the range $s = r - o(r)$, however, their upper and lower bounds diverge significantly. In this note we introduce a new (random) colouring, and use it to determine $R_{r,s}(k)$ up to polylogarithmic factors in the exponent for essentially all $r$, $s$ and $k$. △ Less

Submitted 16 January, 2023; v1 submitted 13 December, 2022; originally announced December 2022.

Comments: 12 pages, submitted version, added Conjecture 5.1

On the anti-Ramsey threshold for non-balanced graphs

Authors: Pedro Araújo, Taísa Martins, Letícia Mattos, Walner Mendonça, Luiz Moreira, Guilherme O. Mota

Abstract: For graphs $G$ and $H$, we write $G \overset{\mathrm{rb}}{\longrightarrow} H $ if any proper edge-coloring of $G$ contains a rainbow copy of $H$, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for $G(n,p) \overset{\mathrm{rb}}{\longrightarrow}H$ is at most $n^{-1/m_2(H)}$. Previous results have matched the lower bound for… ▽ More For graphs $G$ and $H$, we write $G \overset{\mathrm{rb}}{\longrightarrow} H $ if any proper edge-coloring of $G$ contains a rainbow copy of $H$, i.e., a copy where no color appears more than once. Kohayakawa, Konstadinidis and the last author proved that the threshold for $G(n,p) \overset{\mathrm{rb}}{\longrightarrow}H$ is at most $n^{-1/m_2(H)}$. Previous results have matched the lower bound for this anti-Ramsey threshold for cycles and complete graphs with at least 5 vertices. Kohayakawa, Konstadinidis and the last author also presented an infinite family of graphs $H$ for which the anti-Ramsey threshold is asymptotically smaller than $n^{-1/m_2(H)}$. In this paper, we devise a framework that provides a richer and more complex family of such graphs that includes all the previously known examples. △ Less

Submitted 13 January, 2022; originally announced January 2022.

Comments: 22 pages, 1 figure

On the construction of complete expanding gradient Rici solitons

Authors: Marcio de Sousa, Paula Bonfim, Romildo Pina, Tiberio Martins

Abstract: We study gradient Ricci solitons warped products whose base is the Euclidean space. We show that the warping functions of these manifolds are invariant under the (n-1)-dimensional translation group. We characterize the potential function when the torsion function depends only on one variable, which is a particular case of invariance by translation. From this study, we derive complete examples of e… ▽ More We study gradient Ricci solitons warped products whose base is the Euclidean space. We show that the warping functions of these manifolds are invariant under the (n-1)-dimensional translation group. We characterize the potential function when the torsion function depends only on one variable, which is a particular case of invariance by translation. From this study, we derive complete examples of expanding gradient Ricci solitons. △ Less

Submitted 10 April, 2020; originally announced April 2020.

Comments: In this work we build several examples of complete examples of expanding gradient Ricci solitons

Weak saturation numbers of complete bipartite graphs in the clique

Authors: Gal Kronenberg, Taísa Martins, Natasha Morrison

Abstract: The notion of weak saturation was introduced by Bollobás in 1968. Let $F$ and $H$ be graphs. A spanning subgraph $G \subseteq F$ is weakly $(F,H)$-saturated if it contains no copy of $H$ but there exists an ordering $e_1,\ldots,e_t$ of $E(F)\setminus E(G)$ such that for each $i \in [t]$, the graph $G \cup \{e_1,\ldots,e_i\}$ contains a copy $H'$ of $H$ such that $e_i \in H'$. Define $wsat(F,H)$ to… ▽ More The notion of weak saturation was introduced by Bollobás in 1968. Let $F$ and $H$ be graphs. A spanning subgraph $G \subseteq F$ is weakly $(F,H)$-saturated if it contains no copy of $H$ but there exists an ordering $e_1,\ldots,e_t$ of $E(F)\setminus E(G)$ such that for each $i \in [t]$, the graph $G \cup \{e_1,\ldots,e_i\}$ contains a copy $H'$ of $H$ such that $e_i \in H'$. Define $wsat(F,H)$ to be the minimum number of edges in a weakly $(F,H)$-saturated graph. In this paper, we prove for all $t \ge 2$ and $n \ge 3t-3$, that $wsat(K_n,K_{t,t}) = (t-1)(n + 1 - t/2)$, and we determine the value of $wsat(K_n,K_{t-1,t})$ as well. For fixed $2 \le s < t$, we also obtain bounds on $wsat(K_n,K_{s,t})$ that are asymptotically tight. △ Less

Submitted 4 March, 2022; v1 submitted 2 April, 2020; originally announced April 2020.

Comments: 15 pages, 3 figures

MSC Class: 05C35; 05D99; 82B43

Journal ref: Journal of Combinatorial Theory, Series A. Volume 178, February 2021, 105357

No additional tournaments are quasirandom-forcing

Authors: Robert Hancock, Adam Kabela, Daniel Kral, Taisa Martins, Roberto Parente, Fiona Skerman, Jan Volec

Abstract: A tournament H is quasirandom-forcing if the following holds for every sequence (G_n) of tournaments of growing orders: if the density of H in G_n converges to the expected density of H in a random tournament, then (G_n) is quasirandom. Every transitive tournament with at least 4 vertices is quasirandom-forcing, and Coregliano et al. [Electron. J. Combin. 26 (2019), P1.44] showed that there is als… ▽ More A tournament H is quasirandom-forcing if the following holds for every sequence (G_n) of tournaments of growing orders: if the density of H in G_n converges to the expected density of H in a random tournament, then (G_n) is quasirandom. Every transitive tournament with at least 4 vertices is quasirandom-forcing, and Coregliano et al. [Electron. J. Combin. 26 (2019), P1.44] showed that there is also a non-transitive 5-vertex tournament with the property. We show that no additional tournament has this property. This extends the result of Bucic et al. [Combinatorica 41 (2021), 175-208] that the non-transitive tournaments with seven or more vertices do not have this property. △ Less

Submitted 20 September, 2022; v1 submitted 9 December, 2019; originally announced December 2019.

The group Aut and Out of the fundamental group of a closed Sol 3-manifold

Authors: Daciberg Lima Gonçalves, Sérgio Tadao Martins

Abstract: Let $E$ be the fundamental group of a closed Sol 3-manifold. We describe the groups $Aut(E)$ and $Out(E)$. We first consider the case where $E$ is the fundamental group of a torus bundle, and then the case where $E$ is the fundamental group of a closed Sol 3-manifold which is not a torus bundle. The groups are described in terms of some iterated semi-direct products of well known groups, where one… ▽ More Let $E$ be the fundamental group of a closed Sol 3-manifold. We describe the groups $Aut(E)$ and $Out(E)$. We first consider the case where $E$ is the fundamental group of a torus bundle, and then the case where $E$ is the fundamental group of a closed Sol 3-manifold which is not a torus bundle. The groups are described in terms of some iterated semi-direct products of well known groups, where one exception is for $Out(E)$ for some $E$'s, in which case $Out(E)$ is described as an extension and a presentation is given. △ Less

Submitted 11 September, 2019; originally announced September 2019.

MSC Class: 57S05 (Primary) 20E36; 57M99 (Secondary)

The size-Ramsey number of powers of bounded degree trees

Authors: Sören Berger, Yoshiharu Kohayakawa, Giulia Satiko Maesaka, Taísa Martins, Walner Mendonça, Guilherme Oliveira Mota, Olaf Parczyk

Abstract: Given a positive integer $s$, the $s$-colour size-Ramsey number of a graph $H$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that, in any colouring of $E(G)$ with $s$ colours, there is a monochromatic copy of $H$. We prove that, for any positive integers $k$ and $s$, the $s$-colour size-Ramsey number of the $k$th power of any $n$-vertex bounded deg… ▽ More Given a positive integer $s$, the $s$-colour size-Ramsey number of a graph $H$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that, in any colouring of $E(G)$ with $s$ colours, there is a monochromatic copy of $H$. We prove that, for any positive integers $k$ and $s$, the $s$-colour size-Ramsey number of the $k$th power of any $n$-vertex bounded degree tree is linear in $n$. As a corollary we obtain that the $s$-colour size-Ramsey number of $n$-vertex graphs with bounded treewidth and bounded degree is linear in $n$, which answers a question raised by Kamčev, Liebenau, Wood and Yepremyan [The size Ramsey number of graphs with bounded treewidth, arXiv:1906.09185 (2019)]. △ Less

Submitted 12 July, 2019; v1 submitted 8 July, 2019; originally announced July 2019.

Comments: 19 pages, 1 figure

The step Sidorenko property and non-norming edge-transitive graphs

Authors: Daniel Král', Taísa Martins, Péter Pál Pach, Marcin Wrochna

Abstract: Sidorenko's Conjecture asserts that every bipartite graph H has the Sidorenko property, i.e., a quasirandom graph minimizes the density of H among all graphs with the same edge density. We study a stronger property, which requires that a quasirandom multipartite graph minimizes the density of H among all graphs with the same edge densities between its parts; this property is called the step Sidore… ▽ More Sidorenko's Conjecture asserts that every bipartite graph H has the Sidorenko property, i.e., a quasirandom graph minimizes the density of H among all graphs with the same edge density. We study a stronger property, which requires that a quasirandom multipartite graph minimizes the density of H among all graphs with the same edge densities between its parts; this property is called the step Sidorenko property. We show that many bipartite graphs fail to have the step Sidorenko property and use our results to show the existence of a bipartite edge-transitive graph that is not weakly norming; this answers a question of Hatami [Israel J. Math. 175 (2010), 125-150]. △ Less

Submitted 6 December, 2019; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: Minor correction on page 7

Decomposing graphs into edges and triangles

Authors: Daniel Král', Bernard Lidický, Taísa L. Martins, Yanitsa Pehova

Abstract: We prove the following 30-year old conjecture of Győri and Tuza: the edges of every $n$-vertex graph $G$ can be decomposed into complete graphs $C_1,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (1/2+o(1))n^2$. This result implies the asymptotic version of the old result of Erdős, Goodman and Pósa that asserts the existence of such a decomposition with $\ell\le n^2/4$. We prove the following 30-year old conjecture of Győri and Tuza: the edges of every $n$-vertex graph $G$ can be decomposed into complete graphs $C_1,\ldots,C_\ell$ of orders two and three such that $|C_1|+\cdots+|C_\ell|\le (1/2+o(1))n^2$. This result implies the asymptotic version of the old result of Erdős, Goodman and Pósa that asserts the existence of such a decomposition with $\ell\le n^2/4$. △ Less

Submitted 6 June, 2018; v1 submitted 23 October, 2017; originally announced October 2017.

Comments: We present a shorter proof of our main result; the original proof, which can be of independent interest, is contained in versions 1 and 2 of the manuscript. Small fixes suggested by the referee

MSC Class: 05C70

Journal ref: Combinator. Probab. Comp. 28 (2019) 465-472

Finitely forcible graph limits are universal

Authors: Jacob W. Cooper, Daniel Kral, Taisa L. Martins

Abstract: The theory of graph limits represents large graphs by analytic objects called graphons. Graph limits determined by finitely many graph densities, which are represented by finitely forcible graphons, arise in various scenarios, particularly within extremal combinatorics. Lovasz and Szegedy conjectured that all such graphons possess a simple structure, e.g., the space of their typical vertices is al… ▽ More The theory of graph limits represents large graphs by analytic objects called graphons. Graph limits determined by finitely many graph densities, which are represented by finitely forcible graphons, arise in various scenarios, particularly within extremal combinatorics. Lovasz and Szegedy conjectured that all such graphons possess a simple structure, e.g., the space of their typical vertices is always finite dimensional; this was disproved by several ad hoc constructions of complex finitely forcible graphons. We prove that any graphon is a subgraphon of a finitely forcible graphon. This dismisses any hope for a result showing that finitely forcible graphons possess a simple structure, and is surprising when contrasted with the fact that finitely forcible graphons form a meager set in the space of all graphons. In addition, since any finitely forcible graphon represents the unique minimizer of some linear combination of densities of subgraphs, our result also shows that such minimization problems, which conceptually are among the simplest kind within extremal graph theory, may in fact have unique optimal solutions with arbitrarily complex structure. △ Less

Submitted 9 October, 2018; v1 submitted 13 January, 2017; originally announced January 2017.

The cohomology ring of certain families of periodic virtually cyclic groups

Authors: Sérgio Tadao Martins, Daciberg Lima Gonçalves, Márcio de Jesus Soares

Abstract: Let G be a virtually cyclic of the form (Z_a x Z_b) x Z or [Z_a x (Z b x Q_{2^i})] x Z. We compute the integral cohomology ring of G, and then obtain the periodicity of the Farell cohomology of these groups. Let G be a virtually cyclic of the form (Z_a x Z_b) x Z or [Z_a x (Z b x Q_{2^i})] x Z. We compute the integral cohomology ring of G, and then obtain the periodicity of the Farell cohomology of these groups. △ Less

Submitted 4 March, 2016; originally announced March 2016.

Comments: 22 pages

MSC Class: 20J06 (Primary); 20F50 (Secondary)

The cohomology ring of the sapphires that admit the Sol geometry

Authors: Sérgio Tadao Martins, Daciberg Lima Gonçalves

Abstract: Let $G$ be the fundamental group of a sapphire that admits the Sol geometry and is not a torus bundle. We determine a finite free resolution of $\mathbb{Z}$ over $\mathbb{Z}G$ and calculate a partial diagonal approximation for this resolution. We also compute the cohomology rings $H^*(G; A)$ for $A = \mathbb{Z}$ and $A = \mathbb{Z}/p$ for an odd prime $p$, and indicate how to compute the groups… ▽ More Let $G$ be the fundamental group of a sapphire that admits the Sol geometry and is not a torus bundle. We determine a finite free resolution of $\mathbb{Z}$ over $\mathbb{Z}G$ and calculate a partial diagonal approximation for this resolution. We also compute the cohomology rings $H^*(G; A)$ for $A = \mathbb{Z}$ and $A = \mathbb{Z}/p$ for an odd prime $p$, and indicate how to compute the groups $H^*(G; A)$ and the multiplicative structure given by the cup product for any system of coefficients $A$. △ Less

Submitted 6 October, 2016; v1 submitted 11 December, 2014; originally announced December 2014.

Comments: 14 pages

Diagonal approximation and the cohomology ring of the fundamental groups of surfaces

Authors: Sergio Tadao Martins, Daciberg Lima Goncalves

Abstract: We construct finite free resolutions of Z over ZG, where G is the fundamental group of a surface distinct from S^2 and RP^2, and define diagonal approximations for these resolutions. We then procceed to give some possible applications that come with the knowledge of those maps. We construct finite free resolutions of Z over ZG, where G is the fundamental group of a surface distinct from S^2 and RP^2, and define diagonal approximations for these resolutions. We then procceed to give some possible applications that come with the knowledge of those maps. △ Less

Submitted 2 April, 2014; originally announced April 2014.

Comments: 12 pages

Diagonal approximation and the cohomology ring of torus fiber bundles

Authors: Sérgio Tadao Martins

Abstract: For a torus bundle (S^1 x S^1) -> E -> S^1$, we construct a finite free resolution Z over ZG, where G is the fundamental group of the total space E, and then we compute the cohomology groups H^*(G,Z) and H^*(G,Z_p) for a prime p. We also construct a partial diagonal approximation for the resolution, which allows us to compute the cup product in H^*(G,Z) and H^*(G,Z_p). For a torus bundle (S^1 x S^1) -> E -> S^1$, we construct a finite free resolution Z over ZG, where G is the fundamental group of the total space E, and then we compute the cohomology groups H^*(G,Z) and H^*(G,Z_p) for a prime p. We also construct a partial diagonal approximation for the resolution, which allows us to compute the cup product in H^*(G,Z) and H^*(G,Z_p). △ Less

Submitted 1 July, 2013; originally announced July 2013.