Jin-Yi Cai

From MaRDI portal
Person:269464

Available identifiers

zbMath Open cai.jin-yiMaRDI QIDQ269464

List of research outcomes

PublicationDate of PublicationType
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
https://portal.mardi4nfdi.de/entity/Q49932652021-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
Perfect Matchings, Rank of Connection Tensors and Graph Homomorphisms2019-10-15Paper
Approximability of the Six-vertex Model2019-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
Holographic algorithms beyond matchgates2018-03-21Paper
Complexity classification of the six-vertex model2018-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
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
https://portal.mardi4nfdi.de/entity/Q31137772012-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
A Computational Proof of Complexity of Some Restricted Counting Problems2009-06-03Paper
Approximation and Hardness Results for Label Cut and Related Problems2009-06-03Paper
Holographic algorithms: the power of dimensionality resolved2009-04-29Paper
Some Results on Matchgates and Holographic Algorithms2009-03-12Paper
https://portal.mardi4nfdi.de/entity/Q35969522009-02-09Paper
Signature Theory in Holographic Algorithms2009-01-29Paper
https://portal.mardi4nfdi.de/entity/Q35496382009-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
Lower bounds for constant-depth circuits in the presence of help bits1990-01-01Paper
A note on the determinant and permanent problem1990-01-01Paper
On the power of parity polynomial time1990-01-01Paper
With probability one, a random oracle separates PSPACE from the polynomial-time hierarchy1989-01-01Paper
Enumerative counting is hard1989-01-01Paper
The Boolean Hierarchy II: Applications1989-01-01Paper
The Boolean Hierarchy I: Structural Properties1988-01-01Paper
Graph Minimal Uncolorability is ${\text{D}}^{\text{p}} $-Complete1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37668751987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37733311987-01-01Paper
The Cyclic Coloring Problem and Estimation of Sparse Hessian Matrices1986-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Jin-Yi Cai