Source author record

Christian Engels

Christian Engels appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

4works
2topics
3close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2020arXiv

Lower Bounds of Algebraic Branching Programs and Layerization

In this paper we improve the lower bound of Chatterjee et al.\ (ECCC 2019) to an $Ω(n^2)$ lower bound for unlayered Algebraic Branching Programs. We also study the impact layerization has on Algebraic Branching Programs. We exhibit a polynomial that has an unlayered ABP of size $O(n)$ but any layered ABP has size at least $Ω(n\sqrt{n})$. We exhibit a similar dichotomy in the non-commutative setting where the unlayered ABP has size $O(n)$ and any layered ABP has size at least $Ω(n\log n -\log^2 n)$.

preprint2015arXiv

New Algorithms and Hard Instances for Non-Commutative Computation

Motivated by the recent developments on the complexity of non-com\-mu\-ta\-tive determinant and permanent [Chien et al.\ STOC 2011, Bläser ICALP 2013, Gentry CCC 2014] we attempt at obtaining a tight characterization of hard instances of non-commutative permanent. We show that computing Cayley permanent and determinant on weight\-ed adjacency matrices of graphs of component size six is $\#{\sf P}$ complete on algebras that contain $2\times 2$ matrices and the permutation group $S_3$. Also, we prove a lower bound of $2^{Ω(n)}$ on the size of branching programs computing the Cayley permanent on adjacency matrices of graphs with component size bounded by two. Further, we observe that the lower bound holds for almost all graphs of component size two. On the positive side, we show that the Cayley permanent on graphs of component size $c$ can be computed in time $n^{c{\sf poly}(t)}$, where $t$ is a parameter depending on the labels of the vertices. Finally, we exhibit polynomials that are equivalent to the Cayley permanent polynomial but are easy to compute over commutative domains.

preprint2014arXiv

Dichotomy Theorems for Homomorphism Polynomials of Graph Classes

In this paper, we will show dichotomy theorems for the computation of polynomials corresponding to evaluation of graph homomorphisms in Valiant's model. We are given a fixed graph $H$ and want to find all graphs, from some graph class, homomorphic to this $H$. These graphs will be encoded by a family of polynomials. We give dichotomies for the polynomials for cycles, cliques, trees, outerplanar graphs, planar graphs and graphs of bounded genus.

preprint2014arXiv

Random Shortest Paths: Non-Euclidean Instances for Metric Optimization Problems

Probabilistic analysis for metric optimization problems has mostly been conducted on random Euclidean instances, but little is known about metric instances drawn from distributions other than the Euclidean. This motivates our study of random metric instances for optimization problems obtained as follows: Every edge of a complete graph gets a weight drawn independently at random. The distance between two nodes is then the length of a shortest path (with respect to the weights drawn) that connects these nodes. We prove structural properties of the random shortest path metrics generated in this way. Our main structural contribution is the construction of a good clustering. Then we apply these findings to analyze the approximation ratios of heuristics for matching, the traveling salesman problem (TSP), and the k-median problem, as well as the running-time of the 2-opt heuristic for the TSP. The bounds that we obtain are considerably better than the respective worst-case bounds. This suggests that random shortest path metrics are easy instances, similar to random Euclidean instances, albeit for completely different structural reasons.