Related papers: On the Andrews-Curtis conjecture and algorithms fr…
We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The…
We give an elementary introduction to the theory of triangulated categories covering their axioms, homological algebra in triangulated categories, triangulated subcategories, and Verdier localization. We try to use a minimal set of axioms…
We conjecture that the word problem of Artin-Tits groups can be solved without introducing trivial factors ss^{-1} or s^{-1}s. Here we make this statement precise and explain how it can be seen as a weak form of hyperbolicity. We prove the…
We establish a near dichotomy between randomness and structure for the point counts of arbitrary projective cubic threefolds over finite fields. Certain "special" subvarieties, not unlike those in the Manin conjectures, dominate. We also…
Hierarchical clustering is a popular unsupervised data analysis method. For many real-world applications, we would like to exploit prior information about the data that imposes constraints on the clustering hierarchy, and is not captured by…
Let $M$ be a closed, oriented and smooth manifold of dimension $d$. Let $\L M$ be the space of smooth loops in $M$. Chas and Sullivan introduced loop product, a product of degree $-d$ on the homology of $LM$. In this paper we show how for…
We consider the problem of assigning students to schools, when students have different utilities for schools and schools have capacity. There are additional group fairness considerations over students that can be captured either by concave…
We introduce a family of reconfiguration puzzles arising from ideas in geometry and topology. We present their construction from square-tiled shapes, discuss some of the underlying mathematics and describe how they are naturally associated…
Noting a curious link between Andrews' even-odd crank and the Stanley rank, we adopt a combinatorial approach building on the map of conjugation and continue the study of integer partitions with parts separated by parity. Our motivation is…
We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie…
We investigate combinatorial issues relating to the use of random orbit approximations to the attractor of an iterated function system with the aim of clarifying the role of the stochastic process during generation the orbit. A Baire…
We study the $k$-median clustering problem for high-dimensional polygonal curves with finite but unbounded number of vertices. We tackle the computational issue that arises from the high number of dimensions by defining a…
We propose some problems on the classification of toric manifolds from the viewpoint of topology and survey related results.
Consensus algorithms are popular distributed algorithms for computing aggregate quantities, such as averages, in ad-hoc wireless networks. However, existing algorithms mostly address the case where the measurements lie in a Euclidean space.…
We describe algorithms based on invariant theory to solve problems on the geometry of curves, mainly those of genus 2, 3 and 4. New theoretical results building on the first author's PhD thesis are also included.
We extend the results of our previous paper from knots to links by using a formula for the Jones polynomial of a link derived recently by N. Reshetikhin. We illustrate this formula by an example of a torus link. A relation between the…
This paper gives an algebraic conjecture which is shown to be equivalent to Thurston's Geometrization Conjecture for closed, orientable 3-manifolds. It generalizes the Stallings-Jaco theorem which established a similar result for the…
We propose a simple, projection-based algorithm for clustering mixtures of discrete (Bernoulli) distributions. Unlike previous approaches that rely on coordinate-specific ``combinatorial projections,'' our algorithm is rotationally…
The topology of artificial neural networks has a significant effect on their performance. Characterizing efficient topology is a field of promising research in Artificial Intelligence. However, it is not a trivial task and it is mainly…
In this paper, we introduce the concept of 3-alterfolds with embedded separating surfaces. When the separating surface is decorated by a spherical fusion category, we obtain quantum invariants of 3-alterfold, which is consistent with many…