Jin-Yi Cai

From MaRDI portal
Person:269464

Available identifiers

zbMath Open cai.jin-yiMaRDI QIDQ269464

List of research outcomes





PublicationDate of PublicationType
Restricted Holant dichotomy on domain sizes 3 and 42024-12-12Paper
Planar \#CSP equality corresponds to quantum isomorphism -- A Holant viewpoint2024-11-14Paper
Restricted Holant dichotomy on domains 3 and 42024-09-16Paper
Bounded degree nonnegative counting CSP2024-08-06Paper
The complexity of counting planar graph homomorphisms of domain size 32024-05-08Paper
Counting cycles on planar graphs in subexponential time2024-01-25Paper
https://portal.mardi4nfdi.de/entity/Q61473472024-01-15Paper
https://portal.mardi4nfdi.de/entity/Q61473482024-01-15Paper
Counting cycles on planar graphs in subexponential time2023-08-10Paper
Holographic algorithms on domains of general size2023-07-26Paper
Complexity classification of the eight-vertex model2023-07-17Paper
A complexity trichotomy for \(k\)-regular asymmetric spin systems using number theory2023-07-10Paper
Where Tutte and Holant meet: a view from counting complexity2023-04-28Paper
Perfect matchings, rank of connection tensors and graph homomorphisms2023-03-31Paper
Dichotomy result on 3-regular bipartite non-negative functions2023-02-24Paper
https://portal.mardi4nfdi.de/entity/Q58757112023-02-03Paper
A dichotomy for bounded degree graph homomorphisms with nonnegative weights2023-01-09Paper
Planar #CSP Equality Corresponds to Quantum Isomorphism -- A Holant Viewpoint2022-12-06Paper
Promise problems and access to unambiguous computation2022-08-18Paper
On the power of parity polynomial time2022-08-16Paper
Holographic Algorithm with Matchgates Is Universal for Planar \#CSP over Boolean Domain2022-05-03Paper
On a Theorem of Lovász that (&sdot, H ) Determines the Isomorphism Type of H2022-03-22Paper
Dichotomy result on 3-regular bipartite non-negative functions2022-03-21Paper
FKT is not universal -- a planar holant dichotomy for symmetric constraints2022-02-14Paper
The complexity of counting edge colorings for simple graphs2021-10-06Paper
A Complexity Trichotomy for k-Regular Asymmetric Spin Systems Using Number Theory2021-06-15Paper
Dichotomy for Holant\(^\ast\) problems on the Boolean domain2021-06-11Paper
Beyond \#CSP: a dichotomy for counting weighted Eulerian orientations with ARS2020-12-15Paper
Dichotomy for Graph Homomorphisms with Complex Values on Bounded Degree Graphs2020-04-14Paper
Gadgets and Anti-Gadgets Leading to a Complexity Dichotomy2019-12-16Paper
Approximability of the Six-vertex Model2019-10-15Paper
Perfect Matchings, Rank of Connection Tensors and Graph Homomorphisms2019-10-15Paper
On a Theorem of Lov\'asz that $\hom(\cdot, H)$ Determines the Isomorphism Type of $H$2019-09-09Paper
A decidable dichotomy theorem on directed graph homomorphisms with non-negative weights2019-08-30Paper
Dichotomy for Holant Problems with a Function on Domain Size 32019-05-15Paper
Clifford gates in the Holant framework2018-09-24Paper
Complexity of Counting CSP with Complex Weights2018-05-17Paper
Complexity classification of the six-vertex model2018-03-21Paper
Holographic algorithms beyond matchgates2018-03-21Paper
https://portal.mardi4nfdi.de/entity/Q46080072018-03-15Paper
Complexity Dichotomies for Counting Problems2018-01-02Paper
Fine separation of average time complexity classes2017-11-16Paper
https://portal.mardi4nfdi.de/entity/Q53651502017-09-29Paper
Holographic algorithm with matchgates is universal for planar #CSP over boolean domain2017-08-17Paper
Holographic Algorithms with Matchgates Capture Precisely Tractable Planar #CSP2017-05-30Paper
https://portal.mardi4nfdi.de/entity/Q29696472017-03-22Paper
Nonnegative Weighted #CSP: An Effective Complexity Dichotomy2016-12-21Paper
Gadgets and anti-gadgets leading to a complexity dichotomy2016-10-07Paper
Hardness and hierarchy theorems for probabilistic quasi-polynomial time2016-09-29Paper
Holant problems for 3-regular graphs with complex edge functions2016-09-21Paper
The complexity of counting edge colorings and a dichotomy for some higher domain Holant problems2016-09-09Paper
A complete dichotomy rises from the capture of vanishing signatures2016-09-02Paper
A classification of the probabilistic polynomial time hierarchy under fault tolerant access to oracle classes2016-06-16Paper
Erratum to: ``Signature theory in holographic algorithms2016-05-31Paper
\(\#\)BIS-hardness for 2-spin systems on bipartite bounded degree graphs in the tree non-uniqueness region2016-04-18Paper
Holant problems and counting CSP2015-02-04Paper
A collapse theorem for holographic algorithms with matchgates on domain size at most 42014-11-28Paper
https://portal.mardi4nfdi.de/entity/Q31916062014-10-06Paper
Circuit minimization problem2014-09-26Paper
A complete dichotomy rises from the capture of vanishing signatures2014-08-07Paper
Holographic algorithms beyond matchgates2014-07-01Paper
Complexity of counting CSP with complex weights2014-05-13Paper
The complexity of complex weighted Boolean \#CSP2014-01-28Paper
Partition functions on \(k\)-regular graphs with \(\{0,1\}\)-vertex assignments and real edge functions2014-01-10Paper
Graph homomorphisms with complex values: a dichotomy theorem2013-09-25Paper
Complexity Dichotomy for Counting Problems2013-03-18Paper
From Holant to \#CSP and back: dichotomy for Holant\(^{c}\) problems2013-01-28Paper
Holographic algorithms by Fibonacci gates2013-01-16Paper
Holographic reduction, interpolation and hardness2012-12-27Paper
Spin systems on \(k\)-regular graphs with complex edge functions2012-11-27Paper
Inapproximability after Uniqueness Phase Transition in Two-Spin Systems2012-11-02Paper
Holographic Algorithms on Domain Size k > 22012-07-16Paper
Holant Problems for Regular Graphs with Complex Edge Functions2012-01-23Paper
Honeynet games: A game theoretic approach to defending network monitors2011-12-15Paper
Signature theory in holographic algorithms2011-12-14Paper
Computational Complexity of Holant Problems2011-11-07Paper
Spin Systems on Graphs with Complex Edge Functions and Specified Degree Regularities2011-08-17Paper
Progress in Complexity of Counting Problems2011-06-03Paper
A computational proof of complexity of some restricted counting problems2011-05-18Paper
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy: Positive and Negative Results2011-03-18Paper
Approximation and hardness results for label cut and related problems2011-03-17Paper
Quadratic lower bound for permanent vs. determinant in any characteristic2011-02-07Paper
Holographic algorithms: from art to science2011-01-18Paper
From Holant to #CSP and Back: Dichotomy for Holant c Problems2010-12-09Paper
On Tractable Exponential Sums2010-09-07Paper
Graph Homomorphisms with Complex Values: A Dichotomy Theorem2010-09-07Paper
https://portal.mardi4nfdi.de/entity/Q35793922010-08-06Paper
A Dichotomy for k-Regular Graphs with {0, 1}-Vertex Assignments and Real Edge Functions2010-06-17Paper
On symmetric signatures in holographic algorithms2010-05-05Paper
A novel information transmission problem and its optimal solution2010-04-13Paper
On blockwise symmetric signatures for matchgates2010-02-09Paper
On the theory of matchgate computations2009-09-18Paper
A note on quadratic residuosity and UP2009-08-27Paper
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science2009-08-06Paper
An Attacker-Defender Game for Honeynets2009-07-23Paper
Relativized collapsing between BPP and PH under stringent oracle access2009-07-21Paper
Approximation and Hardness Results for Label Cut and Related Problems2009-06-03Paper
A Computational Proof of Complexity of Some Restricted Counting Problems2009-06-03Paper
Holographic algorithms: the power of dimensionality resolved2009-04-29Paper
Some Results on Matchgates and Holographic Algorithms2009-03-12Paper
Holographic algorithms2009-02-09Paper
Signature Theory in Holographic Algorithms2009-01-29Paper
Holographic algorithms: from art to science2009-01-05Paper
https://portal.mardi4nfdi.de/entity/Q53020722009-01-05Paper
https://portal.mardi4nfdi.de/entity/Q35396252008-11-19Paper
Basis collapse in holographic algorithms2008-08-20Paper
A Novel Information Transmission Problem and Its Optimal Solution2008-02-26Paper
On Block-Wise Symmetric Signatures for Matchgates2008-02-26Paper
Holographic Algorithms: The Power of Dimensionality Resolved2007-11-28Paper
STACS 20042007-10-01Paper
Valiant's holant theorem and matchgate tensors2007-09-28Paper
On Symmetric Signatures in Holographic Algorithms2007-09-03Paper
Theory and Applications of Models of Computation2007-04-30Paper
\(\text{S}_{2}^{\text{P}} \subseteq \text{ZPP}^{\text{NP}}\)2007-01-22Paper
Algorithms and Computation2006-11-14Paper
Time-space tradeoff in derandomizing probabilistic logspace2006-10-25Paper
Random access to advice strings and collapsing results2006-10-16Paper
On zero error algorithms having oracle access to one query2006-08-14Paper
Computing and Combinatorics2006-01-11Paper
Algorithms and Computation2005-12-22Paper
ON HIGHER ARTHUR-MERLIN CLASSES2005-10-19Paper
Competing provers yield improved Karp-Lipton collapse results2005-05-04Paper
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy2005-02-21Paper
https://portal.mardi4nfdi.de/entity/Q48086182004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44724742004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44259412003-09-14Paper
Essentially every unimodular matrix defines an expander2003-08-27Paper
On testing for zero polynomials by a set of points with bounded precision.2003-08-17Paper
https://portal.mardi4nfdi.de/entity/Q44186792003-08-11Paper
A new transference theorem in the geometry of numbers and new bounds for Ajtai's connection factor2003-03-09Paper
A lattice-based public-key cryptosystem2003-01-14Paper
A New Transference Theorem in the Geometry of Numbers2002-10-10Paper
https://portal.mardi4nfdi.de/entity/Q45513842002-09-05Paper
https://portal.mardi4nfdi.de/entity/Q27394332002-07-09Paper
https://portal.mardi4nfdi.de/entity/Q45256982001-01-24Paper
A note on the non-NP-hardness of approximate lattice problems under general Cook reductions.2000-12-12Paper
The Complexity of theA B CProblem2000-10-18Paper
Robust reductions2000-03-07Paper
Approximating the SVP to within a factor \((1+1/\dim^\varepsilon)\) is NP-hard under randomized reductions2000-01-17Paper
Fine Separation of Average-Time Complexity Classes1999-10-28Paper
https://portal.mardi4nfdi.de/entity/Q42508191999-10-05Paper
https://portal.mardi4nfdi.de/entity/Q42665511999-10-03Paper
https://portal.mardi4nfdi.de/entity/Q42585701999-09-13Paper
https://portal.mardi4nfdi.de/entity/Q42184191999-05-18Paper
On a scheduling problem of time deteriorating jobs1999-02-16Paper
A relation of primal--dual lattices and the complexity of shortest lattice vector problem1999-01-12Paper
Efficient algorithms for a scheduling problem and its applications to illicit drug market crackdowns1998-05-25Paper
Frobenius's degree formula and Toda's polynomials1998-05-25Paper
https://portal.mardi4nfdi.de/entity/Q43646001997-11-17Paper
https://portal.mardi4nfdi.de/entity/Q43351911997-10-16Paper
https://portal.mardi4nfdi.de/entity/Q43594561997-10-08Paper
On the correlation of symmetric functions1996-12-01Paper
On the correlation of symmetric functions1996-09-09Paper
On the impossibility of amplifying the independence of random variables1996-08-27Paper
https://portal.mardi4nfdi.de/entity/Q48752241996-06-18Paper
COMPUTING JORDAN NORMAL FORMS EXACTLY FOR COMMUTING MATRICES IN POLYNOMIAL TIME1995-10-29Paper
On Hausdorff and topological dimensions of the Kolmogorov complexity of the real line1995-01-15Paper
https://portal.mardi4nfdi.de/entity/Q42814951994-08-31Paper
Subquadratic Simulations of Balanced Formulae by Branching Programs1994-08-14Paper
PSPACE is provable by two provers in one round1994-04-27Paper
Taking random walks to grow trees in hypercubes1993-12-09Paper
An optimal lower bound on the number of variables for graph identification1993-03-10Paper
On games of incomplete information1993-01-16Paper
PSPACE SURVIVES CONSTANT-WIDTH BOTTLENECKS1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q39759301992-06-26Paper
A note on enumerative counting1991-01-01Paper
A note on the determinant and permanent problem1990-01-01Paper
On the power of parity polynomial time1990-01-01Paper
Lower bounds for constant-depth circuits in the presence of help bits1990-01-01Paper
With probability one, a random oracle separates PSPACE from the polynomial-time hierarchy1989-01-01Paper
The Boolean Hierarchy II: Applications1989-01-01Paper
Enumerative counting is hard1989-01-01Paper
The Boolean Hierarchy I: Structural Properties1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37668751987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37733311987-01-01Paper
Graph Minimal Uncolorability is ${\text{D}}^{\text{p}} $-Complete1987-01-01Paper
The Cyclic Coloring Problem and Estimation of Sparse Hessian Matrices1986-01-01Paper
A Uniformly Random Solution to Algorithmic RedistrictingN/APaper

Research outcomes over time

This page was built for person: Jin-Yi Cai