arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Timothy Duff

46 papers · 2003–2026

2003: 12004: 02005: 02006: 02007: 02008: 02009: 02010: 02011: 12012: 02013: 12014: 02015: 12016: 12017: 22018: 32019: 22020: 42021: 32022: 42023: 62024: 62025: 62026: 5
2003peak 6 in 20232026

Frequent co-authors

Papers

showing 1–25 of 46 RSS

Aspect and Subordination in Plutarchan Narrative*

Timothy E. Duff

Anthropology · Oxford University Press eBooks · · cited 33× · DOI ↗ · more like this ·

Abstract This chapter identifies and explores two characteristics of Plutarchan narrative by means of close analysis of syntax and verbal aspect. The first is the tendency for events in which the subject of a Life is not involved to be told in subordinate clauses and with imperfective verb forms: features which have the effect of 'backgrounding' the content. The second is the predomination, at key moments, of imperfective verb forms, which have the effect of creating vivid slow-motion tableaux, in which events are described as though from the perspective of a participant; that is, in such scenes narrative perspective changes from 'external' (or 'diegetic') to 'internal' (or 'mimetic'). The first technique corresponds with a speeding up of narrative time, the second with a slowing down. Analysis of De gloria Atheniensium (347A–C) shows that Plutarch himself was aware that the second…

Galois/monodromy groups for decomposing minimal problems in 3D reconstruction

Timothy Duff, Viktor Korotynskiy, Tomas Pajdla +1 more

math.AG · · cited 32× · arXiv ↗ · more like this ·

We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic subproblems, and whether or not it has any symmetries. Tools from numerical algebraic geometry and computational group theory allow us to apply this framework to classical and novel reconstruction problems. We consider three classical cases--3-point absolute pose, 5-point relative pose, and 4-point homography estimation for calibrated cameras--where the decomposition and symmetries may be naturally understood in terms of the Galois/monodromy group. We then show how our framework can be applied to novel problems from absolute and relative pose estimation. For instance, we discover new symmetries for absolute pose problems involving mixtures of point and…

TRPLP – Trifocal Relative Pose From Lines at Points

Ricardo Fabbri, Timothy Duff, Hongyi Fan +9 more

Computer Vision and Pattern Recognition · HAL (Le Centre pour la Communication Scientifique Directe) · · cited 23× · DOI ↗ · more like this ·

We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of (i) three points and one line and (ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Grobner basis methods. Our method is based on a new efficient homotopy continuation (HC) solver, which dramatically speeds up previous HC solving by specializing HC methods to generic cases of our problems. We show in simulated experiments that our solvers are numerically robust and stable under image noise. We show in real experiment that (i) SIFT features provide good enough point-and-line correspondences for three-view reconstruction and (ii) that we can solve difficult cases with too few or too noisy tentative matches where the state of the art structure…

Polynomial automata: zeroness and applications

Michael Benedikt, Timothy Duff, Aditya Sharad +1 more

Computational Theory and Mathematics · Oxford University Research Archive (ORA) (University of Oxford) · · cited 18× · DOI ↗ · more like this ·

We introduce a generalisation of weighted automata over a field, called polynomial automata, and we analyse the complexity of the Zeroness Problem in this model, that is, whether a given automaton outputs zero on all words. While this problem is non-primitive recursive in general, we highlight a subclass of polynomial automata for which the Zeroness Problem is primitive recursive. Refining further, we identify a subclass of affine VAS for which coverability is in 2EXPSPACE. We also use polynomial automata to obtain new proofs that equivalence of streaming string transducers is decidable, and that equivalence of copyless streaming string transducers is in PSPACE.

The Structure of the Plutarchan Book

Timothy E. Duff

Anthropology · Classical Antiquity · · cited 10× · DOI ↗ · more like this ·

This study focuses not on individual Lives or pairs of Lives, but on the book as a whole and its articulation across the full corpus. It argues that the Plutarchan book consists of up to four distinct sections: prologue, first Life, second Life, synkrisis. Each of these sections has a fairly consistent internal structure, and each has a distinct set of strategies for opening, for closure, and for managing the transition from one section to the next. Prologues provide an introduction to both Lives, and are clearly delineated from them, even though in our manuscripts they appear as part of the first Life; in fact, there is often a stronger break between prologue and first Life than there is between the two Lives themselves. Prologues usually begin with generalized reflections, to be followed only later by the naming of the subjects and a statement of their similarities. Most Lives begin…

Trifocal Relative Pose From Lines at Points

Ricardo Fabbri, Timothy Duff, Hongyi Fan +9 more

Computer Vision and Pattern Recognition · IEEE Transactions on Pattern Analysis and Machine Intelligence · · cited 9× · DOI ↗ · more like this ·

We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of (i) three points and one line and the novel case of (ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Gröbner basis methods. Our method is based on a new efficient homotopy continuation (HC) solver framework MINUS, which dramatically speeds up previous HC solving by specializing hc methods to generic cases of our problems. We characterize their number of solutions and show with simulated experiments that our solvers are numerically robust and stable under image noise, a key contribution given the borderline intractable degree of nonlinearity of trinocular constraints. We show in real experiments that (i) sift feature location and orientation…

Nonlinear Algebra and Applications

Paul Breiding, Türkü Özlüm Çelik, Timothy Duff +5 more

math.AG · · cited 8× · arXiv ↗ · more like this ·

We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration spaces of frameworks, biochemical reaction networks, algebraic vision, and tensor decompositions. Conversely, developments on these topics inspire new questions and algorithms for algebraic geometry.

Four-view Geometry with Unknown Radial Distortion

Petr Hrubý, Viktor Korotynskiy, Timothy Duff +4 more

Computer Vision and Pattern Recognition · Lund University Publications (Lund University) · · cited 7× · DOI ↗ · more like this ·

We present novel solutions to previously unsolved prob-lems of relative pose estimation from images whose calibration parameters, namely focal lengths and radial distortion, are unknown. Our approach enables metric reconstruction without modeling these parameters. The minimal case for reconstruction requires 13 points in 4 views for both the calibrated and uncalibrated cameras. We describe and implement the first solution to these minimal problems. In the calibrated case, this may be modeled as a polynomial sys-tem of equations with 3584 solutions. Despite the apparent intractability, the problem decomposes spectacularly. Each solution falls into a Euclidean symmetry class of size 16, and we can estimate 224 class representatives by solving a sequence of three subproblems with 28, 2, and 4 solutions. We highlight the relationship between internal constraints on the radial quadrifocal…

Solving polynomial systems via homotopy continuation and monodromy

Timothy Duff, Cvetelina Hill, Anders Jensen +3 more

math.AG · · cited 7× · arXiv ↗ · more like this ·

We study methods for finding the solution set of a generic system in a family of polynomial systems with parametric coefficients. We present a framework for describing monodromy based solvers in terms of decorated graphs. Under the theoretical assumption that monodromy actions are generated uniformly, we show that the expected number of homotopy paths tracked by an algorithm following this framework is linear in the number of solutions. We demonstrate that our software implementation is competitive with the existing state-of-the-art methods implemented in other software packages.

Trifocal Relative Pose from Lines at Points and its Efficient Solution

Ricardo Fabbri, Timothy Duff, Hongyi Fan +8 more

cs.CV · · cited 6× · arXiv ↗ · more like this ·

We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of i) three points and one line and the novel case of ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Groebner basis methods. Our method is based on a new efficient homotopy continuation (HC) solver framework MINUS, which dramatically speeds up previous HC solving by specializing HC methods to generic cases of our problems. We characterize their number of solutions and show with simulated experiments that our solvers are numerically robust and stable under image noise, a key contribution given the borderline intractable degree of nonlinearity of trinocular constraints. We show in real experiments that i) SIFT feature location and orientation…

Plutarch on the childhood of Alkibiades (<i>Alk.</i>2–3)

Timothy E. Duff

Anthropology · Proceedings of the Cambridge Philological Society · · cited 6× · DOI ↗ · more like this ·

Almost four decades ago, Donald Russell published in this journal an analysis of the first sixteen chapters of the Life of Alkibiades , which consist largely of short self-contained anecdotes about Alkibiades' childhood, youth and early career (Russell 1966b). As Russell demonstrated, most of these anecdotes are juxtaposed without any causal link. Although there are the occasional chronological markers – indications, for example, that Alkibiades is getting older and passing from childhood to early manhood – some are plainly out of chronological order and it is impossible to extract a clear chronology from them. Russell argued, however, that to try to extract such a chronological narrative would be to misunderstand the function of this material, which is not to provide a narrative of Alkibiades' early years but rather to illuminate and illustrate his character. Russell's argument, in…

Minimal Perspective Autocalibration

Andrea Porfiri Dal Cin, Timothy Duff, Luca Magri +1 more

cs.CV · · cited 5× · arXiv ↗ · more like this ·

We introduce a new family of minimal problems for reconstruction from multiple views. Our primary focus is a novel approach to autocalibration, a long-standing problem in computer vision. Traditional approaches to this problem, such as those based on Kruppa's equations or the modulus constraint, rely explicitly on the knowledge of multiple fundamental matrices or a projective reconstruction. In contrast, we consider a novel formulation involving constraints on image points, the unknown depths of 3D points, and a partially specified calibration matrix $K$. For $2$ and $3$ views, we present a comprehensive taxonomy of minimal autocalibration problems obtained by relaxing some of these constraints. These problems are organized into classes according to the number of views and any assumed prior knowledge of $K$. Within each class, we determine problems with the fewest -- or a relatively…

SubalgebraBases in Macaulay2

Michael Burr, Oliver Clarke, Timothy Duff +3 more

math.AC · · cited 3× · arXiv ↗ · more like this ·

We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as SAGBI bases or canonical bases and form a special class of Khovanskii bases -- for polynomial rings and their quotients. We provide an overview of the design and functionality of SubalgberaBases and demonstrate how the package works on several motivating examples.

Monodromy Solver

Nathan Bliss, Timothy Duff, Anton Leykin +1 more

Computational Theory and Mathematics · · cited 3× · DOI ↗ · more like this ·

We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows the framework developed by Duff et al. (2018) and can operate in the presence of a large number of failures of the homotopy continuation subroutine. We give special attention to parallelization and probabilistic analysis of a model adapted to parallelization and failures. Apart from theoretical results, we developed a simulator that allows us to run a large number of experiments without recomputing the outcomes of the continuation subroutine.

Fundamental Constraints on Camera Centers Arising from 3D-2D Matches of Points and Lines

Jaired Collins, Taci Kucukpinar, Timothy Duff +3 more

Computer Vision and Pattern Recognition · International Journal of Computer Vision · · cited 1× · DOI ↗ · more like this ·

We investigate combinations of 3D-2D matches of points and lines for a single calibrated camera that imply a nontrivial constraint on the camera’s position. Specifically, we address the minimal cases for which n point matches and m line matches constrain the camera center to lie on an algebraic surface in $$\mathbb {R}^3$$ . For two points $$(m,n) = (0,2)$$ , the constraint is well-known to be a self-intersecting torus. We complete the classification problem by deriving explicit, general equations for the cases $$(m,n) \in \{ (2,0), (1, 1) \}$$ for two lines and one point, one line, respectively. We also report preliminary experiments investigating the suitability of these constraints for pose estimation tasks.

Certified homotopy tracking using the Krawczyk method

Timothy Duff, Kisun Lee

math.NA · · cited 1× · arXiv ↗ · more like this ·

We revisit the problem of certifying the correctness of approximate solution paths computed by numerical homotopy continuation methods. We propose a conceptually simple approach based on a parametric variant of the Krawczyk method from interval arithmetic. Unlike most previous methods for certified path-tracking, our approach is applicable in the general setting of parameter homotopies commonly used to solve polynomial systems of equations. We also describe a novel preconditioning strategy and give theoretical correctness and termination results. Experiments using a preliminary implementation of the method indicate that our approach is competitive with specialized methods appearing previously in the literature, in spite of our more general setting.

Line Multiview Ideals

Paul Breiding, Timothy Duff, Lukas Gustafsson +2 more

math.AG · · cited 1× · arXiv ↗ · more like this ·

We study the following problem in computer vision from the perspective of algebraic geometry: Using $m$ pinhole cameras we take $m$ pictures of a line in $\mathbb P^3$. This produces $m$ lines in $\mathbb P^2$ and the question is which $m$-tuples of lines can arise that way. We are interested in polynomial equations and therefore study the complex Zariski closure of all such tuples of lines. The resulting algebraic variety is a subvariety of $(\mathbb P^2)^m$ and is called line multiview variety. In this article, we study its ideal. We show that for generic cameras the ideal is generated by $3\times 3$-minors of a specific matrix. We also compute Gröbner bases and discuss to what extent our results carry over to the non-generic case.

Polyhedral Homotopies in Cox Coordinates

Timothy Duff, Simon Telen, Elise Walker +1 more

math.AG · · cited 1× · arXiv ↗ · more like this ·

We introduce the Cox homotopy algorithm for solving a sparse system of polynomial equations on a compact toric variety $X_Σ$. The algorithm lends its name from a construction, described by Cox, of $X_Σ$ as a GIT quotient $X_Σ= (\mathbb{C}^k \setminus Z) // G$ of a quasi-affine variety by the action of a reductive group. Our algorithm tracks paths in the total coordinate space $\mathbb{C}^k$ of $X_Σ$ and can be seen as a homogeneous version of the standard polyhedral homotopy, which works on the dense torus of $X_Σ$. It furthermore generalizes the commonly used path tracking algorithms in (multi)projective spaces in that it tracks a set of homogeneous coordinates contained in the $G$-orbit corresponding to each solution. The Cox homotopy combines the advantages of polyhedral homotopies and (multi)homogeneous homotopies, tracking only mixed volume many solutions and providing an elegant…

Monodromy Solver: Sequential and Parallel

Nathan Bliss, Timothy Duff, Anton Leykin +1 more

cs.SC · · cited 1× · arXiv ↗ · more like this ·

We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows a framework developed in previous work and can operate in the presence of a large number of failures of the homotopy continuation subroutine. We give special attention to parallelization and probabilistic analysis of a model adapted to parallelization and failures. Apart from theoretical results, we developed a simulator that allows us to run a large number of experiments without recomputing the outcomes of the continuation subroutine.

Lagrangian Dual Sections: A Topological Perspective on Hidden Convexity

Venkat Chandrasekaran, Timothy Duff, Jose Israel Rodriguez +1 more

math.OC · · cited 0× · arXiv ↗ · more like this ·

Hidden convexity is a powerful idea in optimization: under the right transformations, nonconvex problems that are seemingly intractable can be solved efficiently using convex optimization. We introduce the notion of a Lagrangian dual section of a nonlinear program defined over a topological space, and we use it to give a sufficient condition for a nonconvex optimization problem to have a natural convex reformulation. We emphasize the topological nature of our framework, using only continuity and connectedness properties of a certain Lagrangian formulation of the problem to prove our results. We demonstrate the practical consequences of our framework in a range of applications and by developing new algorithmic methodology. First, we present families of nonconvex problem instances that can be transformed to convex programs in the context of spectral inverse problems -- which include…

Numerically Computing Galois Groups of Minimal Problems

Timothy Duff

cs.CV · · cited 0× · arXiv ↗ · more like this ·

I discuss a seemingly unlikely confluence of topics in algebra, numerical computation, and computer vision. The motivating problem is that of solving multiples instances of a parametric family of systems of algebraic (polynomial or rational function) equations. No doubt already of interest to ISSAC attendees, this problem arises in the context of robust model-fitting paradigms currently utilized by the computer vision community (namely "Random Sampling and Consensus", aka "RanSaC".) This talk will give an overview of work in the last 5+ years that aspires to measure the intrinsic difficulty of solving such parametric systems, and makes strides towards practical solutions.

Brackets and Projective Geometry in Macaulay2

Dalton Bidleman, Timothy Duff, Jack Kendrick +1 more

math.AG · · cited 0× · arXiv ↗ · more like this ·

We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings and Grassmann-Cayley algebras, and illustrate basic functionality such as the straightening algorithm on examples from projective and enumerative geometry.

A Galois-Theoretic Complexity Measure for Solving Systems of Algebraic Equations

Timothy Duff

math.AG · · cited 0× · arXiv ↗ · more like this ·

Motivated by applications of algebraic geometry, we introduce the Galois width, a quantity characterizing the complexity of solving algebraic equations in a restricted model of computation allowing only field arithmetic and adjoining polynomial roots. We explain why practical heuristics such as monodromy give (at least) lower bounds on this quantity, and discuss problems in geometry, optimization, statistics, and computer vision for which knowledge of the Galois width either leads to improvements over standard solution techniques or rules out this possibility entirely.

A Computer Vision Problem in Flatland

Sameer Agarwal, Erin Connelly, Annalisa Crannell +2 more

math.AG · · cited 0× · arXiv ↗ · more like this ·

When is it possible to project two sets of labeled points lying in a pair of projective planes to the same image on a projective line? We give a complete answer to this question and describe the loci of the projection centers that enable a common image. In particular, we find that there exists a solution to this problem if and only if these two sets are themselves images of a common pointset in projective space.

Subalgebra and Khovanskii bases equivalence

Colin Alstad, Michael Burr, Oliver Clarke +1 more

math.AG · · cited 0× · arXiv ↗ · more like this ·

The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our philosophy is that most interesting examples of Khovanskii bases can also be realized as subalgebra bases and vice-versa. We also discuss the computation of Newton-Okounkov bodies, illustrating how interpreting Khovanskii bases as subalgebra bases makes them more amenable to the existing computer algebra tools.