@article{7909,
abstract = {Cell migration entails networks and bundles of actin filaments termed lamellipodia and microspikes or filopodia, respectively, as well as focal adhesions, all of which recruit Ena/VASP family members hitherto thought to antagonize efficient cell motility. However, we find these proteins to act as positive regulators of migration in different murine cell lines. CRISPR/Cas9-mediated loss of Ena/VASP proteins reduced lamellipodial actin assembly and perturbed lamellipodial architecture, as evidenced by changed network geometry as well as reduction of filament length and number that was accompanied by abnormal Arp2/3 complex and heterodimeric capping protein accumulation. Loss of Ena/VASP function also abolished the formation of microspikes normally embedded in lamellipodia, but not of filopodia capable of emanating without lamellipodia. Ena/VASP-deficiency also impaired integrin-mediated adhesion accompanied by reduced traction forces exerted through these structures. Our data thus uncover novel Ena/VASP functions of these actin polymerases that are fully consistent with their promotion of cell migration.},
author = {Damiano-Guercio, Julia and Kurzawa, Laëtitia and Müller, Jan and Dimchev, Georgi A and Schaks, Matthias and Nemethova, Maria and Pokrant, Thomas and Brühmann, Stefan and Linkner, Joern and Blanchoin, Laurent and Sixt, Michael K and Rottner, Klemens and Faix, Jan},
issn = {2050084X},
journal = {eLife},
publisher = {eLife Sciences Publications},
title = {{Loss of Ena/VASP interferes with lamellipodium architecture, motility and integrin-dependent adhesion}},
doi = {10.7554/eLife.55351},
volume = {9},
year = {2020},
}
@article{7910,
abstract = {Quantum illumination uses entangled signal-idler photon pairs to boost the detection efficiency of low-reflectivity objects in environments with bright thermal noise. Its advantage is particularly evident at low signal powers, a promising feature for applications such as noninvasive biomedical scanning or low-power short-range radar. Here, we experimentally investigate the concept of quantum illumination at microwave frequencies. We generate entangled fields to illuminate a room-temperature object at a distance of 1 m in a free-space detection setup. We implement a digital phase-conjugate receiver based on linear quadrature measurements that outperforms a symmetric classical noise radar in the same conditions, despite the entanglement-breaking signal path. Starting from experimental data, we also simulate the case of perfect idler photon number detection, which results in a quantum advantage compared with the relative classical benchmark. Our results highlight the opportunities and challenges in the way toward a first room-temperature application of microwave quantum circuits.},
author = {Barzanjeh, Shabir and Pirandola, S. and Vitali, D and Fink, Johannes M},
issn = {23752548},
journal = {Science Advances},
number = {19},
publisher = {AAAS},
title = {{Microwave quantum illumination using a digital receiver}},
doi = {10.1126/sciadv.abb0451},
volume = {6},
year = {2020},
}
@article{7919,
abstract = {We explore the time evolution of two impurities in a trapped one-dimensional Bose gas that follows a change of the boson-impurity interaction. We study the induced impurity-impurity interactions and their effect on the quench dynamics. In particular, we report on the size of the impurity cloud, the impurity-impurity entanglement, and the impurity-impurity correlation function. The presented numerical simulations are based upon the variational multilayer multiconfiguration time-dependent Hartree method for bosons. To analyze and quantify induced impurity-impurity correlations, we employ an effective two-body Hamiltonian with a contact interaction. We show that the effective model consistent with the mean-field attraction of two heavy impurities explains qualitatively our results for weak interactions. Our findings suggest that the quench dynamics in cold-atom systems can be a tool for studying impurity-impurity correlations.},
author = {Mistakidis, S. I. and Volosniev, Artem and Schmelcher, P.},
issn = {2643-1564},
journal = {Physical Review Research},
publisher = {American Physical Society},
title = {{Induced correlations between impurities in a one-dimensional quenched Bose gas}},
doi = {10.1103/physrevresearch.2.023154},
volume = {2},
year = {2020},
}
@article{7925,
abstract = {In this paper, we introduce a relaxed CQ method with alternated inertial step for solving split feasibility problems. We give convergence of the sequence generated by our method under some suitable assumptions. Some numerical implementations from sparse signal and image deblurring are reported to show the efficiency of our method.},
author = {Shehu, Yekini and Gibali, Aviv},
issn = {1862-4472},
journal = {Optimization Letters},
publisher = {Springer Nature},
title = {{New inertial relaxed method for solving split feasibilities}},
doi = {10.1007/s11590-020-01603-1},
year = {2020},
}
@article{7931,
abstract = {In the course of sample preparation for Next Generation Sequencing (NGS), DNA is fragmented by various methods. Fragmentation shows a persistent bias with regard to the cleavage rates of various dinucleotides. With the exception of CpG dinucleotides the previously described biases were consistent with results of the DNA cleavage in solution. Here we computed cleavage rates of all dinucleotides including the methylated CpG and unmethylated CpG dinucleotides using data of the Whole Genome Sequencing datasets of the 1000 Genomes project. We found that the cleavage rate of CpG is significantly higher for the methylated CpG dinucleotides. Using this information, we developed a classifier for distinguishing cancer and healthy tissues based on their CpG islands statuses of the fragmentation. A simple Support Vector Machine classifier based on this algorithm shows an accuracy of 84%. The proposed method allows the detection of epigenetic markers purely based on mechanochemical DNA fragmentation, which can be detected by a simple analysis of the NGS sequencing data.},
author = {Uroshlev, Leonid A. and Abdullaev, Eldar T. and Umarova, Iren R. and Il’Icheva, Irina A. and Panchenko, Larisa A. and Polozov, Robert V. and Kondrashov, Fyodor and Nechipurenko, Yury D. and Grokhovsky, Sergei L.},
issn = {20452322},
journal = {Scientific Reports},
publisher = {Springer Nature},
title = {{A method for identification of the methylation level of CpG islands from NGS data}},
doi = {10.1038/s41598-020-65406-1},
volume = {10},
year = {2020},
}
@article{7932,
abstract = {Pulsating flows through tubular geometries are laminar provided that velocities are moderate. This in particular is also believed to apply to cardiovascular flows where inertial forces are typically too low to sustain turbulence. On the other hand, flow instabilities and fluctuating shear stresses are held responsible for a variety of cardiovascular diseases. Here we report a nonlinear instability mechanism for pulsating pipe flow that gives rise to bursts of turbulence at low flow rates. Geometrical distortions of small, yet finite, amplitude are found to excite a state consisting of helical vortices during flow deceleration. The resulting flow pattern grows rapidly in magnitude, breaks down into turbulence, and eventually returns to laminar when the flow accelerates. This scenario causes shear stress fluctuations and flow reversal during each pulsation cycle. Such unsteady conditions can adversely affect blood vessels and have been shown to promote inflammation and dysfunction of the shear stress-sensitive endothelial cell layer.},
author = {Xu, Duo and Varshney, Atul and Ma, Xingyu and Song, Baofang and Riedl, Michael and Avila, Marc and Hof, Björn},
issn = {10916490},
journal = {Proceedings of the National Academy of Sciences of the United States of America},
number = {21},
pages = {11233--11239},
publisher = {National Academy of Sciences},
title = {{Nonlinear hydrodynamic instability and turbulence in pulsatile flow}},
doi = {10.1073/pnas.1913716117},
volume = {117},
year = {2020},
}
@article{7933,
abstract = {We study a mobile quantum impurity, possessing internal rotational degrees of freedom, confined to a ring in the presence of a many-particle bosonic bath. By considering the recently introduced rotating polaron problem, we define the Hamiltonian and examine the energy spectrum. The weak-coupling regime is studied by means of a variational ansatz in the truncated Fock space. The corresponding spectrum indicates that there emerges a coupling between the internal and orbital angular momenta of the impurity as a consequence of the phonon exchange. We interpret the coupling as a phonon-mediated spin-orbit coupling and quantify it by using a correlation function between the internal and the orbital angular momentum operators. The strong-coupling regime is investigated within the Pekar approach, and it is shown that the correlation function of the ground state shows a kink at a critical coupling, that is explained by a sharp transition from the noninteracting state to the states that exhibit strong interaction with the surroundings. The results might find applications in such fields as spintronics or topological insulators where spin-orbit coupling is of crucial importance.},
author = {Maslov, Mikhail and Lemeshko, Mikhail and Yakaboylu, Enderalp},
issn = {24699969},
journal = {Physical Review B},
number = {18},
publisher = {American Physical Society},
title = {{Synthetic spin-orbit coupling mediated by a bosonic environment}},
doi = {10.1103/PhysRevB.101.184104},
volume = {101},
year = {2020},
}
@article{7939,
abstract = {We design fast deterministic algorithms for distance computation in the Congested Clique model. Our key contributions include:
A (2+ϵ)-approximation for all-pairs shortest paths in O(log2n/ϵ) rounds on unweighted undirected graphs. With a small additional additive factor, this also applies for weighted graphs. This is the first sub-polynomial constant-factor approximation for APSP in this model.
A (1+ϵ)-approximation for multi-source shortest paths from O(n−−√) sources in O(log2n/ϵ) rounds on weighted undirected graphs. This is the first sub-polynomial algorithm obtaining this approximation for a set of sources of polynomial size.
Our main techniques are new distance tools that are obtained via improved algorithms for sparse matrix multiplication, which we leverage to construct efficient hopsets and shortest paths. Furthermore, our techniques extend to additional distance problems for which we improve upon the state-of-the-art, including diameter approximation, and an exact single-source shortest paths algorithm for weighted undirected graphs in O~(n1/6) rounds. },
author = {Censor-Hillel, Keren and Dory, Michal and Korhonen, Janne and Leitersdorf, Dean},
issn = {14320452},
journal = {Distributed Computing},
publisher = {Springer Nature},
title = {{Fast approximate shortest paths in the congested clique}},
doi = {10.1007/s00446-020-00380-5},
year = {2020},
}
@article{7940,
abstract = {We prove that the Yangian associated to an untwisted symmetric affine Kac–Moody Lie algebra is isomorphic to the Drinfeld double of a shuffle algebra. The latter is constructed in [YZ14] as an algebraic formalism of cohomological Hall algebras. As a consequence, we obtain the Poincare–Birkhoff–Witt (PBW) theorem for this class of affine Yangians. Another independent proof of the PBW theorem is given recently by Guay, Regelskis, and Wendlandt [GRW18].},
author = {Yang, Yaping and Zhao, Gufang},
issn = {1531586X},
journal = {Transformation Groups},
publisher = {Springer Nature},
title = {{The PBW theorem for affine Yangians}},
doi = {10.1007/s00031-020-09572-6},
year = {2020},
}
@inbook{7941,
abstract = {Expansion microscopy is a recently developed super-resolution imaging technique, which provides an alternative to optics-based methods such as deterministic approaches (e.g. STED) or stochastic approaches (e.g. PALM/STORM). The idea behind expansion microscopy is to embed the biological sample in a swellable gel, and then to expand it isotropically, thereby increasing the distance between the fluorophores. This approach breaks the diffraction barrier by simply separating the emission point-spread-functions of the fluorophores. The resolution attainable in expansion microscopy is thus directly dependent on the separation that can be achieved, i.e. on the expansion factor. The original implementation of the technique achieved an expansion factor of fourfold, for a resolution of 70–80 nm. The subsequently developed X10 method achieves an expansion factor of 10-fold, for a resolution of 25–30 nm. This technique can be implemented with minimal technical requirements on any standard fluorescence microscope, and is more easily applied for multi-color imaging than either deterministic or stochastic super-resolution approaches. This renders X10 expansion microscopy a highly promising tool for new biological discoveries, as discussed here, and as demonstrated by several recent applications.},
author = {Truckenbrodt, Sven M and Rizzoli, Silvio O.},
booktitle = {Methods in Cell Biology},
issn = {0091679X},
publisher = {Elsevier},
title = {{Simple multi-color super-resolution by X10 microscopy}},
doi = {10.1016/bs.mcb.2020.04.016},
year = {2020},
}
@article{7942,
abstract = {An understanding of the missing antinodal electronic excitations in the pseudogap state is essential for uncovering the physics of the underdoped cuprate high-temperature superconductors1,2,3,4,5,6. The majority of high-temperature experiments performed thus far, however, have been unable to discern whether the antinodal states are rendered unobservable due to their damping or whether they vanish due to their gapping7,8,9,10,11,12,13,14,15,16,17,18. Here, we distinguish between these two scenarios by using quantum oscillations to examine whether the small Fermi surface pocket, found to occupy only 2% of the Brillouin zone in the underdoped cuprates19,20,21,22,23,24, exists in isolation against a majority of completely gapped density of states spanning the antinodes, or whether it is thermodynamically coupled to a background of ungapped antinodal states. We find that quantum oscillations associated with the small Fermi surface pocket exhibit a signature sawtooth waveform characteristic of an isolated two-dimensional Fermi surface pocket25,26,27,28,29,30,31,32. This finding reveals that the antinodal states are destroyed by a hard gap that extends over the majority of the Brillouin zone, placing strong constraints on a drastic underlying origin of quasiparticle disappearance over almost the entire Brillouin zone in the pseudogap regime7,8,9,10,11,12,13,14,15,16,17,18.},
author = {Hartstein, Máté and Hsu, Yu Te and Modic, Kimberly A and Porras, Juan and Loew, Toshinao and Tacon, Matthieu Le and Zuo, Huakun and Wang, Jinhua and Zhu, Zengwei and Chan, Mun K. and Mcdonald, Ross D. and Lonzarich, Gilbert G. and Keimer, Bernhard and Sebastian, Suchitra E. and Harrison, Neil},
issn = {17452481},
journal = {Nature Physics},
publisher = {Springer Nature},
title = {{Hard antinodal gap revealed by quantum oscillations in the pseudogap regime of underdoped high-Tc superconductors}},
doi = {10.1038/s41567-020-0910-0},
year = {2020},
}
@phdthesis{7944,
abstract = {This thesis considers two examples of reconfiguration problems: flipping edges in edge-labelled triangulations of planar point sets and swapping labelled tokens placed on vertices of a graph. In both cases the studied structures – all the triangulations of a given point set or all token placements on a given graph – can be thought of as vertices of the so-called reconfiguration graph, in which two vertices are adjacent if the corresponding structures differ by a single elementary operation – by a flip of a diagonal in a triangulation or by a swap of tokens on adjacent vertices, respectively. We study the reconfiguration of one instance of a structure into another via (shortest) paths in the reconfiguration graph.
For triangulations of point sets in which each edge has a unique label and a flip transfers the label from the removed edge to the new edge, we prove a polynomial-time testable condition, called the Orbit Theorem, that characterizes when two triangulations of the same point set lie in the same connected component of the reconfiguration graph. The condition was first conjectured by Bose, Lubiw, Pathak and Verdonschot. We additionally provide a polynomial time algorithm that computes a reconfiguring flip sequence, if it exists. Our proof of the Orbit Theorem uses topological properties of a certain high-dimensional cell complex that has the usual reconfiguration graph as its 1-skeleton.
In the context of token swapping on a tree graph, we make partial progress on the problem of finding shortest reconfiguration sequences. We disprove the so-called Happy Leaf Conjecture and demonstrate the importance of swapping tokens that are already placed at the correct vertices. We also prove that a generalization of the problem to weighted coloured token swapping is NP-hard on trees but solvable in polynomial time on paths and stars.},
author = {Masárová, Zuzana},
isbn = {978-3-99078-005-3},
issn = {2663-337X},
keywords = {reconfiguration, reconfiguration graph, triangulations, flip, constrained triangulations, shellability, piecewise-linear balls, token swapping, trees, coloured weighted token swapping},
pages = {160},
publisher = {IST Austria},
title = {{Reconfiguration problems}},
doi = {10.15479/AT:ISTA:7944},
year = {2020},
}
@article{7948,
abstract = {In agricultural systems, nitrate is the main source of nitrogen available for plants. Besides its role as a nutrient, nitrate has been shown to act as a signal molecule for plant growth, development and stress responses. In Arabidopsis, the NRT1.1 nitrate transceptor represses lateral root (LR) development at low nitrate availability by promoting auxin basipetal transport out of the LR primordia (LRPs). In addition, our present study shows that NRT1.1 acts as a negative regulator of the TAR2 auxin biosynthetic gene expression in the root stele. This is expected to repress local auxin biosynthesis and thus to reduce acropetal auxin supply to the LRPs. Moreover, NRT1.1 also negatively affects expression of the LAX3 auxin influx carrier, thus preventing cell wall remodeling required for overlying tissues separation during LRP emergence. Both NRT1.1-mediated repression of TAR2 and LAX3 are suppressed at high nitrate availability, resulting in the nitrate induction of TAR2 and LAX3 expression that is required for optimal stimulation of LR development by nitrate. Altogether, our results indicate that the NRT1.1 transceptor coordinately controls several crucial auxin-associated processes required for LRP development, and as a consequence that NRT1.1 plays a much more integrated role than previously anticipated in regulating the nitrate response of root system architecture.},
author = {Maghiaoui, A and Bouguyon, E and Cuesta, Candela and Perrine-Walker, F and Alcon, C and Krouk, G and Benková, Eva and Nacry, P and Gojon, A and Bach, L},
issn = {0022-0957},
journal = {Journal of Experimental Botany},
publisher = {Oxford University Press},
title = {{The Arabidopsis NRT1.1 transceptor coordinately controls auxin biosynthesis and transport to regulate root branching in response to nitrate}},
doi = {10.1093/jxb/eraa242},
year = {2020},
}
@article{7949,
abstract = {Peptides derived from non-functional precursors play important roles in various developmental processes, but also in (a)biotic stress signaling. Our (phospho)proteome-wide analyses of C-terminally encoded peptide 5 (CEP5)-mediated changes revealed an impact on abiotic stress-related processes. Drought has a dramatic impact on plant growth, development and reproduction, and the plant hormone auxin plays a role in drought responses. Our genetic, physiological, biochemical and pharmacological results demonstrated that CEP5-mediated signaling is relevant for osmotic and drought stress tolerance in Arabidopsis, and that CEP5 specifically counteracts auxin effects. Specifically, we found that CEP5 signaling stabilizes AUX/IAA transcriptional repressors, suggesting the existence of a novel peptide-dependent control mechanism that tunes auxin signaling. These observations align with the recently described role of AUX/IAAs in stress tolerance and provide a novel role for CEP5 in osmotic and drought stress tolerance.},
author = {Smith, S and Zhu, S and Joos, L and Roberts, I and Nikonorova, N and Vu, LD and Stes, E and Cho, H and Larrieu, A and Xuan, W and Goodall, B and van de Cotte, B and Waite, JM and Rigal, A and R Harborough, SR and Persiau, G and Vanneste, S and Kirschner, GK and Vandermarliere, E and Martens, L and Stahl, Y and Audenaert, D and Friml, Jiří and Felix, G and Simon, R and Bennett, M and Bishopp, A and De Jaeger, G and Ljung, K and Kepinski, S and Robert, S and Nemhauser, J and Hwang, I and Gevaert, K and Beeckman, T and De Smet, I},
issn = {1535-9476},
journal = {Molecular & Cellular Proteomics},
number = {8},
pages = {1248--1262},
publisher = {American Society for Biochemistry and Molecular Biology},
title = {{The CEP5 peptide promotes abiotic stress tolerance, as revealed by quantitative proteomics, and attenuates the AUX/IAA equilibrium in Arabidopsis}},
doi = {10.1074/mcp.ra119.001826},
volume = {19},
year = {2020},
}
@inproceedings{7952,
abstract = {Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. manifolds defined as the zero set of some multivariate vector-valued smooth function f: ℝ^d → ℝ^(d-n). A natural (and efficient) way to approximate an isomanifold is to consider its Piecewise-Linear (PL) approximation based on a triangulation 𝒯 of the ambient space ℝ^d. In this paper, we give conditions under which the PL-approximation of an isomanifold is topologically equivalent to the isomanifold. The conditions are easy to satisfy in the sense that they can always be met by taking a sufficiently fine triangulation 𝒯. This contrasts with previous results on the triangulation of manifolds where, in arbitrary dimensions, delicate perturbations are needed to guarantee topological correctness, which leads to strong limitations in practice. We further give a bound on the Fréchet distance between the original isomanifold and its PL-approximation. Finally we show analogous results for the PL-approximation of an isomanifold with boundary. },
author = {Boissonnat, Jean-Daniel and Wintraecken, Mathijs},
booktitle = {36th International Symposium on Computational Geometry},
isbn = {978-3-95977-143-6},
issn = {1868-8969},
location = {Zürich, Switzerland},
pages = {20:1--20:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
title = {{The topological correctness of PL-approximations of isomanifolds}},
doi = {10.4230/LIPIcs.SoCG.2020.20},
volume = {164},
year = {2020},
}
@inproceedings{7955,
abstract = {Simple stochastic games are turn-based 2½-player games with a reachability objective. The basic question asks whether one player can ensure reaching a given target with at least a given probability. A natural extension is games with a conjunction of such conditions as objective. Despite a plethora of recent results on the analysis of systems with multiple objectives, the decidability of this basic problem remains open. In this paper, we present an algorithm approximating the Pareto frontier of the achievable values to a given precision. Moreover, it is an anytime algorithm, meaning it can be stopped at any time returning the current approximation and its error bound.},
author = {Ashok, Pranav and Chatterjee, Krishnendu and Kretinsky, Jan and Weininger, Maximilian and Winkler, Tobias},
booktitle = {Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science },
isbn = {9781450371049},
location = {Saarbrücken, Germany},
pages = {102--115},
publisher = {Association for Computing Machinery},
title = {{Approximating values of generalized-reachability stochastic games}},
doi = {10.1145/3373718.3394761},
year = {2020},
}
@article{6184,
abstract = {We prove edge universality for a general class of correlated real symmetric or complex Hermitian Wigner matrices with arbitrary expectation. Our theorem also applies to internal edges of the self-consistent density of states. In particular, we establish a strong form of band rigidity which excludes mismatches between location and label of eigenvalues close to internal edges in these general models.},
author = {Alt, Johannes and Erdös, László and Krüger, Torben H and Schröder, Dominik J},
journal = {Annals of Probability},
number = {2},
pages = {963--1001},
publisher = {Project Euclid},
title = {{Correlated random matrices: Band rigidity and edge universality}},
volume = {48},
year = {2020},
}
@article{6185,
abstract = {For complex Wigner-type matrices, i.e. Hermitian random matrices with independent, not necessarily identically distributed entries above the diagonal, we show that at any cusp singularity of the limiting eigenvalue distribution the local eigenvalue statistics are universal and form a Pearcey process. Since the density of states typically exhibits only square root or cubic root cusp singularities, our work complements previous results on the bulk and edge universality and it thus completes the resolution of the Wigner–Dyson–Mehta universality conjecture for the last remaining universality type in the complex Hermitian class. Our analysis holds not only for exact cusps, but approximate cusps as well, where an extended Pearcey process emerges. As a main technical ingredient we prove an optimal local law at the cusp for both symmetry classes. This result is also the key input in the companion paper (Cipolloni et al. in Pure Appl Anal, 2018. arXiv:1811.04055) where the cusp universality for real symmetric Wigner-type matrices is proven. The novel cusp fluctuation mechanism is also essential for the recent results on the spectral radius of non-Hermitian random matrices (Alt et al. in Spectral radius of random matrices with independent entries, 2019. arXiv:1907.13631), and the non-Hermitian edge universality (Cipolloni et al. in Edge universality for non-Hermitian random matrices, 2019. arXiv:1908.00969).},
author = {Erdös, László and Krüger, Torben H and Schröder, Dominik J},
issn = {1432-0916},
journal = {Communications in Mathematical Physics},
pages = {50},
publisher = {Springer Nature},
title = {{Cusp universality for random matrices I: Local law and the complex hermitian case}},
doi = {10.1007/s00220-019-03657-4},
year = {2020},
}
@article{6358,
abstract = {We study dynamical optimal transport metrics between density matricesassociated to symmetric Dirichlet forms on finite-dimensional C∗-algebras. Our settingcovers arbitrary skew-derivations and it provides a unified framework that simultaneously generalizes recently constructed transport metrics for Markov chains, Lindblad equations, and the Fermi Ornstein–Uhlenbeck semigroup. We develop a non-nommutative differential calculus that allows us to obtain non-commutative Ricci curvature bounds, logarithmic Sobolev inequalities, transport-entropy inequalities, andspectral gap estimates.},
author = {Carlen, Eric A. and Maas, Jan},
issn = {15729613},
journal = {Journal of Statistical Physics},
number = {2},
pages = {319--378},
publisher = {Springer Nature},
title = {{Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems}},
doi = {10.1007/s10955-019-02434-w},
volume = {178},
year = {2020},
}
@article{6563,
abstract = {This paper presents two algorithms. The first decides the existence of a pointed homotopy between given simplicial maps 𝑓,𝑔:𝑋→𝑌, and the second computes the group [𝛴𝑋,𝑌]∗ of pointed homotopy classes of maps from a suspension; in both cases, the target Y is assumed simply connected. More generally, these algorithms work relative to 𝐴⊆𝑋.},
author = {Filakovský, Marek and Vokřínek, Lukas},
issn = {16153383},
journal = {Foundations of Computational Mathematics},
pages = {311--330},
publisher = {Springer Nature},
title = {{Are two given maps homotopic? An algorithmic viewpoint}},
doi = {10.1007/s10208-019-09419-x},
volume = {20},
year = {2020},
}