Search

For a finite group $H$ and connected topological spaces $X$ and $Y$ such that $X$ is endowed with a free left $H$-action $\tau$, we provide a geometric condition in terms of the existence of a commutative diagram of spaces (arising from the triple $(X,Y;\tau)$) to decide whether the Borsuk--Ulam property holds for based homotopy classes $\alpha\in[X,Y]_0$, as well as for free homotopy classes $\alpha\in[X,Y]$. Here, a homotopy class $\alpha$ is said to satisfy the Borsuk--Ulam property if, for each of its representatives $f\in\alpha$, there exists an $H$-orbit where $f$ fails to be injective. Our geometric characterization is attained by constructing an $H$-equivariant map from $X$ to the classical configuration space $F_{|H|}(Y)$. We derive an algebraic condition from the geometric characterisation, and show that the former one is in fact equivalent to the latter one when $X$ and $Y$ are aspherical. We then specialize to the 1-dimensional case, i.e., when $X$ is an arbitrary connected graph, $H$ is cyclic, and $Y$ is either an interval, a circle, or their wedge sum. The graph-braid-group ingredient in our characterizations is then effectively controlled through the use of discrete Morse theory., Comment: 22 pages

For a graph $G$, let Conf$(G,n)$ denote the classical configuration space of $n$ labelled points in $G$. Abrams introduced a cubical complex, denoted here by DConf$(G,n)$, sitting inside Conf$(G,n)$ as a strong deformation retract provided $G$ is suitably subdivided. Using discrete Morse Theory techniques, we extend Abrams' result to the realm of configurations having no $k$-fold collisions., Comment: 23 pages, 4 figures

We formulate a simple model for the bounded derived category of gentle algebras in terms of marked ribbon graphs and their walks, in order to analyze indecomposable objects, Auslander-Reiten triangles and homological bilinear forms, and to provide some relevant derived invariants in a graph theoretic setting. Among others, we exhibit the non-negativity and Dynkin type of the homological quadratic form of a gentle algebra, describe its roots as the classes of indecomposable perfect complexes in the Grothendieck group, and express its Coxeter polynomial in terms of the Avella-Alaminos Geiss invariant. We also derive some consequences for Brauer graph algebras.

Let $M^{(k)}_{d}(n)$ be the manifold of $n$-tuples $(x_1,\ldots,x_n)\in(\mathbb{R}^d)^n$ having non-$k$-equal coordinates. We show that, for $d\geq2$, $M^{(3)}_{d}(n)$ is rationally formal if and only if $n\leq 6$. This stands in sharp contrast with the fact that all classical configuration spaces $M^{(2)}_d(n)=\text{Conf}(\hspace{.2mm}\mathbb{R}^d,n)$ are rationally formal, just as are all complements of arrangements of arbitrary complex subspaces with geometric lattice of intersections. The rational non formality of $M^{(3)}_{d}(n)$ for $n>6$ is established via detection of non-trivial triple Massey products assessed through Poincar\'e duality., Comment: 21 pages

For a positive integer $n$ and a finite simplicial complex $K$, we describe an algorithmic procedure constructing a maximal discrete gradient field $W(K,n)$ on Abrams' discretized configuration space $\text{DConf}(K,n)$. Computer experimentation shows that the field is generically optimal. We study the field $W(K,n)$ for $n=2$ and $K=\Delta^{m,d}$, the $d$-dimensional skeleton of the $m$-dimensional simplex. In particular, we prove that $\text{DConf}(\Delta^{m,d},2)$ is $(\min\{d,m-1\}-1)$-connected, has torsion-free homology and admits a minimal cell structure. We compute the Betti numbers of $\text{DConf}(\Delta^{m,d},2)$ and, for certain values of $d$, we prove that $\text{DConf}(\Delta^{m,d},2)$ breaks, up to homotopy, as a wedge of (not necessarily equidimensional) spheres., Comment: 24 pages, 2 figures

Bidirected graphs are multigraphs where every edge has an independent direction at each end. In the paper, with an arbitrary bidirected graph we associate a non-negative integral quadratic form (called the incidence form of the graph), and determine all forms that appear in this way in two main results: first, among non-negative connected unit forms, precisely those of Dynkin type $\mathbb{A}$ or $\mathbb{D}$ are incidence forms; second, we give simple conditions on the coefficients of a non-negative connected non-unitary form to be an incidence form. We say that those non-unitary forms have Dynkin type $\mathbb{C}$, and justify such nomenclature by generalizing known classifications and properties of non-negative quadratic forms of Dynkin types $\mathbb{A}$ and $\mathbb{D}$ to the introduced type~$\mathbb{C}$. We also show that the graphical framework of an incidence form is an useful tool to visualize its arithmetical properties, to prove new facts and to perform efficient computations for integral quadratic forms and related problems in number theory, algebra and graph theory. For instance, in a third main result we relate the walks of a bidirected graph with the $0,1,2$-roots of the associated incidence form (and to the classical root systems in the positive case). Moreover, we prove the universality property for a large class of integral quadratic forms, provide computational methods to find solutions or to characterize the finiteness of the sets of solutions of various related Diophantine equations, show a variant of Whitney's theorem on line graphs using switching classes, and apply our techniques to give a conceptual and constructive proof of the non-negativity (and possible Dynkin types) of the Euler quadratic forms of a class of finite-dimensional gentle algebras.

Astronomy and astrophysics are regarded as highly motivating topics for students in primary and secondary schools, and they have been a recurrent and effective resource to inspire passion about science. In fact, during the last years we have witnessed a boost of facilities providing small robotic telescopes for teachers and students to remotely undertake their own observing projects. A step forward is presented here, where we describe the experience of secondary school students attending professional observations of Venus at NASA's Infrared Telescope Facility (IRTF) and, in a second observing run, conducting the observations by themselves. In addition to quickly mastering the basic operation of the control software for the SpeX instrument, the students successfully performed different types of data acquisition, including drift scan imaging., Comment: 4 pages, 1 figure

The higher topological complexity of a space $X$, $\text{TC}_r(X)$, $r=2,3,\ldots$, and the topological complexity of a map $f$, $\text{TC}(f)$, have been introduced by Rudyak and Pave\v{s}i\'{c}, respectively, as natural extensions of Farber's topological complexity of a space. In this paper we introduce a notion of higher topological complexity of a map~$f$, $\text{TC}_{r,s}(f)$, for $1\leq s\leq r\geq2$, which simultaneously extends Rudyak's and Pave\v{s}i\'{c}'s notions. Our unified concept is relevant in the $r$-multitasking motion planning problem associated to a robot devise when the forward kinematics map plays a role in $s$ prescribed stages of the motion task. We study the homotopy invariance and the behavior of $\text{TC}_{r,s}$ under products and compositions of maps, as well as the dependence of $\text{TC}_{r,s}$ on $r$ and $s$. We draw general estimates for $\text{TC}_{r,s}(f\colon X\to Y)$ in terms of categorical invariants associated to $X$, $Y$ and $f$. In particular, we describe within one the value of $\text{TC}_{r,s}$ in the case of the non-trivial double covering over real projective spaces, as well as for their complex counterparts., Comment: 27 pages. Improved presentation

For finite connected graphs $\Gamma$ and $G$, with $\Gamma$ admitting a free involution $\tau$, we characterize the based homotopy classes $\alpha\in[\Gamma,G]$ for which the Borsuk-Ulam property holds in the sense of Gon\c{c}alves, Guaschi and Casteluber-Laass, i.e., the homotopy classes $\alpha$ so that each of its representatives $f\in\alpha$ satisfies $f(x) = f(\tau\cdot x)$ for some $x\in\Gamma$. This is attained through a graph-braid-group perspective aided by the use of discrete Morse theory., Comment: 11 pages, 2 figures

We introduce an algorithm that constructs a discrete gradient field on any simplicial complex. We show that, in all situations, the gradient field is maximal possible and, in a number of cases, optimal. We make a thorough analysis of the resulting gradient field in the case of Munkres' discrete model for $\text{Conf}(K_m,2)$, the configuration space of ordered pairs of non-colliding particles on the complete graph $K_m$ on $m$ vertices. Together with the use of Forman's discrete Morse theory, this allows us to describe in full the cohomology $R$-algebra $H^*(\text{Conf}(K_m,2);R)$ for any commutative unital ring $R$. As an application we prove that, although $\text{Conf}(K_m,2)$ is outside the "stable" regime, all its topological complexities are maximal possible when $m\geq4$., Comment: 29 pages, 18 figures

We compute the topological complexity of a polyhedral product $\mathcal{Z}$ defined in terms of an LS-logarithmic family of locally compact connected CW topological groups. The answer is given by a combinatorial formula that involves the LS category of the polyhedral-product factors. As a by-product, we show that the Iwase-Sakai conjecture holds true for $\mathcal{Z}$. The proof methodology uses a Fadell-Husseini viewpoint for the monoidal topological complexity (MTC) of a space, which, under mild conditions, recovers Iwase-Sakai's original definition. In the Fadell-Husseini context, the stasis condition -- MTC's raison d'\^etre -- can be encoded at the covering level. Our Fadell-Husseini-inspired definition provides an alternative to the MTC variant given by Dranishnikov, as well as to the ones provided by Garc\'ia-Calcines, Carrasquel-Vera and Vandembroucq in terms of relative category., Comment: 15 pages

The authors of the study conduct a legal analysis of the concept of energy security. Energy is vital for sustainable development, and sustainability is not only at the heart of development, but also economic, environmental, social and military policies. To ensure the sustainability of the policy, 'security' seems to be a mandatory goal to achieve. The article critically assesses the change in the energy paradigm., Comment: 7 pages. Key words: energy security, energy concept, energy paradigm. JEL codes: E-00; E-6

For a tree $T$ and a positive integer $n$, let $B_nT$ denote the $n$-strand braid group on $T$. We use discrete Morse theory techniques to show that the cohomology ring $H^*(B_nT)$ is encoded by an explicit abstract simplicial complex $K_nT$ that measures $n$-local interactions among essential vertices of $T$. We show that, in many cases (for instance when $T$ is a binary tree), $H^*(B_nT)$ is the exterior face ring determined by $K_nT$., Comment: The paper has been reorganized so to spell out the explicit description of the cohomology ring of arbitrary tree braid groups. Furthermore, the exterior face ring structure is now proved for a large family of trees (which includes binary trees). Final version, submitted for publication. 29 pages, 11 figures

We describe parametrised motion planning algorithms for systems controlling objects represented by points that move without collisions in an even dimensional Euclidean space and in the presence of up to three obstacles with \emph{a priori} unknown positions. Our algorithms are optimal in the sense that the parametrised local planners have minimal posible size., Comment: 16 pages. Final version. To appear in Morfismos

We introduce the effectual topological complexity (ETC) of a $G$-space $X$. This is a $G$-equivariant homotopy invariant sitting in between the effective topological complexity of the pair $(X,G)$ and the (regular) topological complexity of the orbit space $X/G$. We study ETC for spheres and surfaces with antipodal involution, obtaining a full computation in the case of the torus. This allows us to prove the vanishing of twice the non-trivial obstruction responsible for the fact that the topological complexity of the Klein bottle is 4. In addition, this gives a counterexample to the possibility -- suggested in Pave\v{s}i\'c's work on the topological complexity of a map -- that ETC of $(X,G)$ would agree with Farber's $TC(X)$ whenever the projection map $X\to X/G$ is finitely sheeted. We conjecture that ETC of spheres with antipodal action recasts the Hopf invariant one problem, and describe (conjecturally optimal) effectual motion planners., Comment: 19 pages

For a graph $\Gamma$, let $K(H_{\Gamma},1)$ denote the Eilenberg-Mac Lane space associated to the right-angled Artin (RAA) group $H_{\Gamma}$ defined by $\Gamma$. We use the relationship between the combinatorics of $\Gamma$ and the topological complexity of $K(H_{\Gamma},1)$ to explain, and generalize to the higher TC realm, Dranishnikov's observation that the topological complexity of a covering space can be larger than that of the base space. In the process, for any positive integer $n$, we construct a graph $\mathcal{O}_n$ whose TC-generating function has polynomial numerator of degree $n$. Additionally, motivated by the fact that $K(H_{\Gamma},1)$ can be realized as a polyhedral product, we study the LS category and topological complexity of more general polyhedral product spaces. In particular, we use the concept of a strong axial map in order to give an estimate, sharp in a number of cases, of the topological complexity of a polyhedral product whose factors are real projective spaces. Our estimate exhibits a mixed cat-TC phenomenon not present in the case of RAA groups., Comment: The paper is now written in a more concise and succinct way. In particular, our main results are highlighted and contextualized in an introductory section. 25 pages, 4 figures

Two integral quadratic unit forms are called strongly Gram congruent if their upper triangular Gram matrices are Z-congruent. The paper gives a combinatorial strong Gram invariant for those unit forms that are non-negative of Dynkin type A, within the framework introduced in [Fundamenta Informaticae 184(1):49-82, 2021], and uses it to determine all corresponding Coxeter polynomials and (reduced) Coxeter numbers., Comment: Integral quadratic form, Gram congruence, Dynkin type, Coxeter polynomial, edge-bipartite graph, quiver, incidence matrix, signed line graph

In the context of signed line graphs, this article introduces a modified inflation technique to study strong Gram congruence of non-negative (integral quadratic) unit forms, and uses it to show that weak and strong Gram congruence coincide among positive unit forms of Dynkin type A. The concept of inverse of a quiver is also introduced, and is used to obtain and analyze the Coxeter matrix of non-negative unit forms of Dynkin type A. Connected principal unit forms of such type are also classified., Comment: Integral quadratic form, Gram congruence, quiver, Dynkin type, Coxeter matrix, edge-bipartite graph, signed line graph

We describe and implement a randomized algorithm that inputs a polyhedron, thought of as the space of states of some automated guided vehicle $\mathcal{R}$, and outputs an explicit system of piecewise linear motion planners for $\mathcal{R}$. The algorithm is designed in such a way that the cardinality of the outputed system is probabilistically close (with parameters chosen by the user) to minimal possible. This yields the first automated solution for robust-to-noise robot motion planning in terms of simplicial complexity (SC) techniques, a discretization of Farber's topological complexity TC. Besides its relevance toward technological applications, our work revels that, unlike other discrete approaches to TC, the SC model can recast Farber's invariant without having to introduce costly subdivisions. We develop and implement our algorithm by actually discretizing Mac\'ias-Virg\'os and Mosquera-Lois' notion of homotopic distance, thus encompassing computer estimations of other sectional category invariants as well, such as the Lusternik-Schnirelmann category of polyhedra., Comment: 21 pages. New author added. The algorithm is now set in the realm of homotopic distance, thus encompassing other sectional category invariants

We compute the Lusternik-Schnirelmann category and the topological complexity of no $k$-equal manifolds $M^{(k)}_d(n)$ for certain values of $d$, $k$ and $n$. This includes instances where $M^{(k)}_d(n)$ is known to be rationally non-formal. The key ingredient in our computations is the knowledge of the cohomology ring $H^*(M^{(k)}_d(n))$ as described by Dobrinskaya and Turchin. A fine tuning comes from the use of obstruction theory techniques.

Wiltshire-Gordon has introduced a homotopy model for ordered configuration spaces on a given simplicial complex. That author asserts that, after a suitable subdivision, his model also works for unordered configuration spaces. We supply details justifying Wiltshire-Gordon's assertion and, more importantly, uncover the equivariant properties of his more-general simplicial-difference model for the complement of a subcomplex inside a larger complex. This is achieved by proving an equivariant version of the Nerve Lemma. In addition, in the case of configuration spaces, we show that a slight variation of the model has better properties: it is regular and sits inside the configuration space as a strong and equivariant deformation retract. Our variant for the configuration-space model comes from a comparison, in the equivariant setting, between Wiltshire's simplicial difference and a well known model for the complement of a full subcomplex on a simplicial complex., Comment: Version 2 of this manuscript extends the result in version 1 by developing the equivariant properties of the simplicial difference. A needed equivariant version of the Nerve Lemma is proved. 19 pages

In robotics, a topological theory of motion planning was initiated by M. Farber. The multitasking motion planning problem is new and its theoretical part via topological complexity has hardly been developed, but the concrete implementations are still non-existent, and in fact this work takes the first step in this last direction (producing explicit algorithms.) We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions between them and avoiding obstacles. Furthermore, we present the multitasking version of the algorithms., Comment: 10 pages, 4 figures. arXiv admin note: substantial text overlap with arXiv:1911.03859; text overlap with arXiv:1906.03239

For a Hausdorff space $X$, we exhibit an unexpected connection between the sectional number of the Fadell-Neuwirth fibration $\pi_{2,1}^X:F(X,2)\to X$, and the fixed point property (FPP) for self-maps on $X$. Explicitly, we demonstrate that a space $X$ has the FPP if and only if 2 is the minimal cardinality of open covers $\{U_i\}$ of $X$ such that each $U_i$ admits a continuous local section for $\pi_{2,1}^X$. This characterization connects a standard problem in fixed point theory to current research trends in topological robotics., Comment: 16 pages

Using the ordered analogue of Farley-Sabalka's discrete gradient field on the configuration space of a graph, we unravel a levelwise behavior of the generators of the pure braid group on a tree. This allows us to generalize Farber's equivariant description of the homotopy type of the configuration space on a tree on two particles. The results are applied to the calculation of all the higher topological complexities of ordered configuration spaces on trees on any number of particles., Comment: 24 pages, 7 figures

The early optical emission of gamma-ray bursts gives an opportunity to understand the central engine and first stages of these events. About 30\% of GRBs present flares whose origin is still a subject of discussion. We present optical photometry of GRB 180620A with the COATLI telescope and RATIR instrument. COATLI started to observe from the end of prompt emission at $T+39.3$~s and RATIR from $T+121.4$~s. We supplement the optical data with the X-ray light curve from \emph{Swift}/XRT. %The optical and X-ray light curves show very unusual behavior with features clearly beyond the standard fireball model. We observe an optical flare from $T+110$ to $T+550$~s, with a temporal index decay $\alpha_\mathrm{O,decay}=1.32\pm 0.01$, and a $\Delta t/t=1.63$, which we interpret as the signature of a reverse shock component. After the initial normal decay the light curves show a long plateau from $T+500$ to $T+7800$~s both in X-rays and the optical before decaying again after an achromatic jet break at $T+7800$~s. Fluctuations are seen during the plateau phase in the optical. Adding to the complexity of GRB afterglows, the plateau phase (typically associated with the coasting phase of the jet) is seen in this object after the ``normal'' decay phase (emitted during the deceleration phase of the jet) and the jet break phase occurs directly after the plateau. We suggest that this sequence of events can be explained by a rapid deceleration of the jet with $t_d\lesssim 40$ s due to the high density of the environment ($\approx 100$ cm$^{-3}$) followed by reactivation of the central engine which causes the flare and powers the plateau phase., Comment: 13 pages, 2 figures, 2 tables, submitted to ApJ

We use rewriting systems to spell out cup-products in the (twisted) cohomology groups of a product of surface groups. This allows us to detect a non-trivial obstruction bounding from below the effective topological complexity of an orientable surface with respect to its antipodal involution. Our estimates are at most one unit from being optimal, and are closely related to the (regular) topological complexity of non-orientable surfaces., Comment: 27 pages. This new version of the paper includes a detailed application of the cohomology calculations to the effective topological complexity of oriented surfaces

We present optimal motion planning algorithms which can be used in designing practical systems controlling objects moving in Euclidean space without collisions. Our algorithms are optimal in a very concrete sense, namely, they have the minimal possible number of local planners. Our algorithms are motivated by those presented by Mas-Ku and Torres-Giese (as streamlined by Farber), and are developed within the more general context of the multitasking (a.k.a.~higher) motion planning problem. In addition, an eventual implementation of our algorithms is expected to work more efficiently than previous ones when applied to systems with a large number of moving objects., Comment: 17 pages

In this short note we observe that the higher topological complexity of an iterated connected sum of real projective spaces is maximal possible. Unlike the case of regular TC, the result is accessible through easy mod 2 zero-divisor cup-length considerations., Comment: 4 pages

We compute the Lusternik-Schnirelmann category (LS-cat) and the higher topological complexity ($TC_s$, $s\geq2$) of the "no-$k$-equal" configuration space Conf$_k(\mathbb{R},n)$. This yields (with $k=3$) the LS-cat and the higher topological complexity of Khovanov's group PP$_n$ of pure planar braids on $n$ strands, which is an $\mathbb{R}$-analogue of Artin's classical pure braid group on $n$ strands. Our methods can be used to describe optimal motion planners for PP$_n$ provided $n$ is small., Comment: 24 pages. References and list of authors updated. Slight reorganization of sections to improve readability

Let $D_{n,\gamma}$ be the complex of graphs on $n$ vertices and domination number at least $\gamma$. We prove that $D_{n,n-2}$ has the homotopy type of a finite wedge of 2-spheres. This is done by using discrete Morse theory techniques. Acyclicity of the needed matching is proved by introducing a relativized form of a well known method for constructing acyclic matchings on suitable chunks of simplices. Our approach allows us to extend our results to the realm of infinite graphs. In addition, we give evidence supporting the assertion that the homotopy equivalences $D_{n,n-1}\simeq\bigvee S^0$ and $D_{n,n-2}\simeq\bigvee S^2$ do not seem to generalize for $D_{n,\gamma}$ with $\gamma\leq n-3$., Comment: 22 pages. This revised version of the paper has been re-structured to improve reading. In particular, main results have been collected in an introductory section. The case of graphs with an infinite number of vertices is now dealt with by discrete Morse theory

The aim of this paper is to give a (discrete) Morse theoretic proof of the fact that the $k$-th skeleton of the flag complex $\mathcal{F}$, associated to the lattice of subspaces of a finite dimensional vector space, is homotopy equivalent to a wedge of spheres of dimension $\min\{k,\dim(\mathcal{F})\}$. The tight control provided by Morse theoretic methods allows us to give an explicit formula for the number of spheres appearing in each of these wedge summands., Comment: 15 pages

This work is motivated by the question of whether there are spaces $X$ for which the Farber-Grant symmetric topological complexity $TC^S(X)$ differs from the Basabe-Gonz\'alez-Rudyak-Tamaki symmetric topological complexity $TC^\Sigma(X)$. It is known that, for a projective space $RP^m$, $TC^S(RP^m)$ captures, with a few potentially exceptional cases, the Euclidean embedding dimension of $RP^m$. We now show that, for all $m\geq1$, $TC^\Sigma(RP^m)$ is characterized as the smallest positive integer $n$ for which there is a symmetric $\mathbb{Z}_2$-biequivariant map $S^m\times S^m\to S^n$ with a "monoidal" behavior on the diagonal. This result thus lies at the core of the efforts in the 1970's to characterize the embedding dimension of real projective spaces in terms of the existence of symmetric axial maps. Together with Nakaoka's description of the cohomology ring of symmetric squares, this allows us to compute both $TC$ numbers in the case of $RP^{2^e}$ for $e\geq1$. In particular, this leaves the torus $S^1\times S^1$ as the only closed surface whose symmetric (symmetrized) $TC^S$ ($TC^\Sigma$) -invariant is currently unknown., Comment: 15 pages. New features: (1) A full unrestricted characterization of TC^\Sigma\ of RP^m in terms of symmetric Z_2-biequivariant maps with a "monoidal" behavior in the diagonal. (2) A computation of TC^\Sigma\ of RP^m for m a 2-power. (3) A computation of TC^\Sigma\ of S^1 reproving the recent announcements by D. M. Davis and M. Grant

Using the notion of contiguity of simplicial maps, we adapt Farber's topological complexity to the realm of simplicial complexes. We show that, for a finite simplicial complex $K$, our discretized concept recovers the topological complexity of the realization $\|K\|$. Our approach is well suited for designing and implementing algorithms that search for optimal motion planners for autonomous systems in real-life applications., Comment: 7 pages

We report on the first open-use based Atacama Large Millimeter/submm Array (ALMA) 345-GHz observation for the late afterglow phase of GRB131030A. The ALMA observation constrained a deep limit at 17.1 d for the afterglow and host galaxy. We also identified a faint submillimeter source (ALMAJ2300-0522) near the GRB131030A position. The deep limit at 345 GHz and multifrequency observations obtained using {\it Swift} and RATIR yielded forward shock modeling with a two-dimensional relativistic hydrodynamic jet simulation and described X-ray excess in the afterglow. The excess was inconsistent with the synchrotron self-inverse Compton radiation from the forward shock. The host galaxy of GRB131030A and optical counterpart of ALMAJ2300-0522 were also identified in the SUBARU image. Based on the deep ALMA limit for the host galaxy, the 3-$\sigma$ upper limits of IR luminosity and the star formation rate (SFR) is estimated as $L_{IR}<1.11\times10^{11} L_{\odot}$ and SFR$<18.7$ ($M_{\odot}$~yr$^{-1}$), respectively. Although the separation angle from the burst location (3.5 arcsec) was rather large, ALMAJ2300-0522 may be one component of the GRB131030A host galaxy, according to previous host galaxy cases., Comment: 16 pages, 7 figures, 1 table, PASJ in press

The $s$-th higher topological complexity of a space $X$, $TC_s(X)$, can be estimated from above by homotopical methods, and from below by homological methods. We give a thorough analysis of the gap between such estimates when $X=RP^m$, the real projective space of dimension $m.$ In particular, we describe a number $r(m)$, which depends on the structure of zeros and ones in the binary expansion of $m$, and with the property that $TC_s(RP^m)$ is given by $sm$ with an error of at most one provided $s \geq r(m)$ and $m \not\equiv 3 \bmod 4$ (the error vanishes for even $m$). The latter fact appears to be closely related to the estimation of the Euclidean immersion dimension of $RP^m$. We illustrate the phenomenon in the case $m=3 \cdot 2^a$., Comment: 18 pages

By means of the fossil record method implemented through Pipe3D, we reconstruct the global and radial stellar mass growth histories (MGHs) of an unprecedentedly large sample of galaxies, ranging from dwarf to giant objects, from the "Mapping Nearby Galaxies at the Apache Point Observatory" survey. We confirm that the main driver of the global MGHs is mass, with more massive galaxies assembling their masses earlier (downsizing), though for a given mass, the global MGHs segregate by color, specific star formation rate (sSFR), and morphological type. From the inferred radial mean MGHs, we find that at the late evolutionary stages (or for fractions of assembled mass larger than ~ 80%), the innermost regions formed stars on average earlier than the outermost ones (inside-out). At earlier epochs, when the age resolution of the method becomes poor, the mass assembly seems to be spatially homogeneous or even in the outside-in mode, specially for the red/quiescent/early-type galaxies. The innermost MGHs are in general more regular (less scatter around the mean) than the outermost ones. For dwarf and low-mass galaxies, we do not find evidence of an outside-in formation mode; instead their radial MGHs are very diverse most of the time, with periods of outside- in and inside-out modes (or strong radial migration), suggesting this an episodic SF history. Blue/star-forming/late-type galaxies present on average a significantly more pronounced inside-out formation mode than red/quiescent/early-type galaxies, independently of mass. We discuss our results in the light of the processes of galaxy formation, quenching, and radial migration. We discuss also on the uncertainties and biases of the fossil record method and how they could affect our results., Comment: Accepted for publication at MNRAS

Let $X$ be a two-cell complex with attaching map $\alpha\colon S^q\to S^p$, and let $C_X$ be the cofiber of the diagonal inclusion $X\to X\times X$. It is shown that the topological complexity (${\rm TC}$) of $X$ agrees with the Lusternik-Schnirelmann category (${\rm cat}$) of $C_X$ in the (almost stable) range $q\leq2p-1$. In addition, the equality ${\rm TC}(X)={\rm cat}(C_X)$ is proved in the (strict) metastable range $2p-1

We compute the higher topological complexity of ordered configuration spaces of orientable surfaces, thus extending Cohen-Farber's description of the ordinary topological complexity of those spaces., Comment: 18 pages

For positive integers $m$ and $s$, let $\mathbf{m}_s$ stand for the $s$-th tuple $(m,\ldots,m)$. We show that, for large enough $s$, the higher topological complexity $TC_s$ of an even dimensional real projective space $RP^m$ is characterized as the smallest positive integer $k=k(m,s)$ for which there is a $(\mathbb{Z}_2)^{s-1}$-equivariant map from Davis' projective product space $P_{\mathbf{m}_s}$ to the $(k+1)$-th join-power $((\mathbb{Z}_2)^{s-1})^{\ast(k+1)}$. This is a (partial) generalization of Farber-Tabachnikov-Yuzvinsky's work relating $TC_2$ to the immersion dimension of real projective spaces. In addition, we compute the exact value of $TC_s(RP^m)$ for $m$ even and $s$ large enough., Comment: 11 pages

The clique number of a random graph in the Erdos-Renyi model G(n,p) yields a random variable which is known to be asymptotically (as n tends to infinity) almost surely within one of an explicit logarithmic (on n) function r(n,p). We extend this fact by showing that random graphs have, asymptotically almost surely, arbitrarily many pairwise disjoint complete subgraphs with as many vertices as r(n,p). The result is motivated by and applied to the sequential motion planning problem on random right angled Artin groups. Indeed, we give an asymptotical description of all the higher topological complexities of Eilenberg-MacLane spaces associated to random graph groups., Comment: 15 pages

Starting from Borel's description of the mod-2 cohomology of real flag manifolds, we give a minimal presentation of the cohomology ring for semi complete flag manifolds $F_{k,m}:=F(1,\ldots,1,m)$ where $1$ is repeated $k$ times. The information is used in order to estimate Farber's topological complexity of these spaces when $m$ approaches (from below) a 2-power. In particular, we get almost sharp estimates for $F_{2,2^e-1}$ which resemble the known situation for the real projective spaces $F_{1,2^e}$. Our results indicate that the agreement between the topological complexity and the immersion dimension of real projective spaces no longer holds for other flag manifolds. More interestingly, we also get corresponding results for the $s$-th (higher) topological complexity of these spaces. Actually, we prove the surprising fact that, as $s$ increases, the estimates become stronger. Indeed, we get several full computations of the higher motion planning problem of these manifolds. This property is also shown to hold for surfaces: we get a complete computation of the higher topological complexity of all closed surfaces (orientable or not). A homotopy-obstruction explanation is included for the phenomenon of having a cohomologically accessible higher topological complexity even when the regular topological complexity is not so accessible., Comment: This is a much expanded second version of the paper. The main results have been extended and sharpened by considering the $s$-th higher topological complexity of semi complete real flag manifolds. The methods and new results depend heavily on techniques from computational topology. 20 pages. Two authors have joined this version of the paper. Final version of this paper

We analysed 385 galactic spectra from the Sloan Digital Sky Survey Data Release 7 (SDSS-DR7) that belong to the catalog of isolated pairs of galaxies by Karachentsev. The spectra corresponds to physical pairs of galaxies as defined by V $\leq$ 1200 Km/s and a pair separation $\leq$ 100 kpc. We search for the incidence of nuclear activity, both thermal (star-forming) and non-thermal -Active Galactic Nuclei (AGN). After a careful extraction of the nuclear spectra, we use diagnostic diagrams and find that the incidence of AGN activity is 48 \% in the paired galaxies with emission lines and 40\% for the total sample (as compared to $\sim$ 43 \% and 41\% respectively in a sample of isolated galaxies). These results remain after dissecting the effects of morphological type and galactic stellar mass (with only a small, non significant, enhancement of the AGN fraction in pairs of objects). These results suggest that weak interactions are not necessary or sufficient to trigger low-luminosity AGN. Since the fraction of AGN is predominant in early type spiral galaxies, we conclude that the role of a bulge, and a large gas reservoir are both essential for the triggering of nuclear activity. The most striking result is that type 1 galaxies are almost absent from the AGN sample. This result is in conflict with the Unified Model, and suggests that high accretion rates are essential to form the Broad Line Region in active galaxies., Comment: 20 pages, to be published in MNRAS

Let R be a commutative ring containing 1/2. We compute the R-cohomology ring of the configuration space F(m,k) of k ordered points in the m-dimensional real projective space. The method uses the observation that the orbit configuration space of k ordered points in the m-dimensional sphere (with respect to the antipodal action) is a 2^k-fold covering of F(m,k). This implies that, for odd m, the Leray spectral sequence for the inclusion of F(m,k) in the k-fold Cartesian self power of the m-dimensional real projective space collapses after its first non-trivial differential, just as it does when the projective space is replaced by a complex projective variety. The method also allows us to handle the R-cohomology ring of the configuration space of k ordered points in a punctured real projective space. Lastly, we compute the Lusternik-Schnirelmann category and all of the higher topological complexities of some of the auxiliary orbit configuration spaces., Comment: 44 pages

We construct "higher" motion planners for automated systems whose space of states are homotopy equivalent to a polyhedral product space $Z(K,\{(S^{k_i},\star)\})$, e.g. robot arms with restrictions on the possible combinations of simultaneously moving nodes. Our construction is shown to be optimal by explicit cohomology calculations. The higher topological complexity of other families of polyhedral product spaces is also determined., Comment: 30 pages. This second version of the paper extends the results of the first version to the case of polyhedral product spaces $Z(K,\{(S^{k_i},\star)\})$ where no restriction is assumed on the sphere dimensions $k_i$

We use the theory of differential tensor algebras and their modules to produce explicit representations of extended Dynkin quivers., Comment: PhD Thesis

We develop a theory of generalized Hopf invariants in the setting of sectional category. In particular we show how Hopf invariants for a product of fibrations can be identified as shuffle joins of Hopf invariants for the factors. Our results are applied in the study of Farber's topological complexity for 2-cell complexes, as well as in the construction of a counter-example to the analogue for topological complexity of Ganea's conjecture on Lusternik-Schnirelmann category., Comment: v4: 39 pages, incorporating comments from a referee. v3: 38 pages. Improved exposition and strengthened our results on TC of 2-cell complexes. v2: 36 pages. Completely re-written, with a new co-author and new title. We now calculate TC of many 2-cell complexes in the metastable range, and exhibit a counter-example to the TC analogue of Ganea's conjecture

Let $t$ be a positive integer. Following work of D. M. Davis, we study the topology of complex-projective product spaces, i.e. quotients of cartesian products of odd dimensional spheres by the diagonal $S^1$-action, and of the $t$-torsion lens product spaces, i.e. the corresponding quotients when the action is restricted to the $t^{\mathrm{th}}$ roots of unity. For a commutative complex-oriented cohomology theory $h^*$, we determine the $h^*$-cohomology ring of these spaces (in terms of the $t$-series for $h^*$, in the case of $t$-torsion lens product spaces). When $h^*$ is singular cohomology with mod 2 coefficients, we also determine the action of the Steenrod algebra. We show that these spaces break apart after a suspension as a wedge of desuspensions of usual stunted complex projective ($t$-torsion lens) spaces. We estimate the category and topological complexity of complex-projective and lens product spaces, showing in particular that these invariants are usually much lower than predicted by the usual dimensional bounds. We extend Davis' analysis of manifold properties such as immersion dimension, (stable-)span, and (stable-)parallelizability of real projective product spaces to the complex-projective and lens product cases., Comment: 14 pages. Submitted

In terms of Rudyak's generalization of Farber's topological complexity of the path motion planning problem in robotics, we give a complete description of the topological instabilities in any sequential motion planning algorithm for a system consisting of non-colliding autonomous entities performing tasks in space whilst avoiding collisions with several moving obstacles. The Isotopy Extension Theorem from manifold topology implies, somewhat surprisingly, that the complexity of this problem coincides with the complexity of the corresponding problem in which the obstacles are stationary., Comment: 10 pages; Final version, to appear in Proc. Amer. Math. Soc

We present a spectroscopic study of the incidence of AGN nuclear activity in two samples of isolated galaxies (Karachentseva, V.E. & Varela, J.). Our results show that the incidence of non-thermal nuclear activity is about 43% and 31% for galaxies with emission lines and for the total sample 40% and 27% respectively. For the first time we have a large number of bona-fide isolated galaxies (513 objects), with statistically significant number of all types. We find a clear relation between bulge mass and the incidence of nuclear activity in the sample with emission lines. This relation becomes flatter when we take into account the complete sample with no emission line galaxies. A large fraction (~70%) of elliptical galaxies or early type spirals have an active galactic nucleus and ~70% of them are LINERs. Only 3% of the AGN show the presence of broad lines (a not a single one can be classified as type 1 AGN). This is a remarkable result which is completely at odds with the unified model even if we consider warped or clumpy tori. Finally, we interpret the large fraction of AGN in isolated galaxies as the result of secular evolution of their supermasive black holes., Comment: 7 figures, 7 tables

We study Farber's topological complexity (TC) of Davis' projective product spaces (PPS's). We show that, in many non-trivial instances, the TC of PPS's coming from at least two sphere factors is (much) lower than the dimension of the manifold. This is in high contrast with the known situation for (usual) real projective spaces for which, in fact, the Euclidean immersion dimension and TC are two facets of the same problem. Low TC-values have been observed for infinite families of non-simply connected spaces only for H-spaces, for finite complexes whose fundamental group has cohomological dimension not exceeding 2, and now in this work for infinite families of PPS's. We discuss general bounds for the TC (and the Lusternik-Schnirelmann category) of PPS's, and compute these invariants for specific families of such manifolds. Some of our methods involve the use of an equivariant version of TC. We also give a characterization of the Euclidean immersion dimension of PPS's through generalized concepts of axial maps and, alternatively, non-singular maps. This gives an explicit explanation of the known relationship between the generalized vector field problem and the Euclidean immersion problem for PPS's., Comment: 16 pages