惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

GbyAI
GbyAI
Y
Y Combinator Blog
Martin Fowler
Martin Fowler
D
Docker
N
Netflix TechBlog - Medium
酷 壳 – CoolShell
酷 壳 – CoolShell
WordPress大学
WordPress大学
L
LangChain Blog
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
博客园 - 三生石上(FineUI控件)
博客园_首页
量子位
罗磊的独立博客
Blog — PlanetScale
Blog — PlanetScale
云风的 BLOG
云风的 BLOG
Microsoft Azure Blog
Microsoft Azure Blog
宝玉的分享
宝玉的分享
Apple Machine Learning Research
Apple Machine Learning Research
D
DataBreaches.Net
I
InfoQ
Engineering at Meta
Engineering at Meta
The Cloudflare Blog
H
Help Net Security
V
V2EX

Cheriton School of Computer Science

Master's Thesis Presentation • Computer Graphics • VR GAViewer: Immersive Visualisation and Direct Manipulation of the Conformal Model in Virtual Reality | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • Lower Bounds for Private Optimization Via Reconstruction Attacks | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Data Systems • Efficient Oblivious Query Processing for Property Graph Databases | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • Inferred Author Gender as a Variable Affecting LLM Behaviour | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Bioinformatics • From Candidates to Evidence: Diagnostics for Trustworthy Biological Discovery | Cheriton School of Computer Science | University of Waterloo PhD Defence • Algorithms and Complexity • Graph Property Testing and the Container Method | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Software Engineering • An Empirical Study of Transitive Vulnerability Exposure in PyPI | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Human–Computer Interaction • The Design and Development of a Virtual Patient System for Medical Education | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Software Engineering • Decoupling CLI Agent Scaffolding to Internalize Planning Across Scaffolds | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Algorithms and Complexity • On the Black-Box Impossibility of Hardness in TFNP from One-Way Functions | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • Geometric Distances for Curves and Graphs: From Matching to Simplification | Cheriton School of Computer Science | University of Waterloo PhD Defence • Computer Algebra | Symbolic Computation • On the Effective Algebraic Geometry of Determinantal Varieties | Cheriton School of Computer Science | University of Waterloo Seminar • Algorithms and Complexity • Computing with Full Memory in 2026 | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Cryptography, Security, and Privacy (CrySP) • Upgrading Security Properties for Updatable Public-Key Encryption through Modular Transformations | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Programming Languages • The Defensive Tax: Price of Defenses That Never Defend | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Algorithms and Complexity • Algorithms for Analytic Combinatorics: Positivity Bounds and D-finite Operators | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Cryptography, Security, and Privacy (CrySP) • IPFSCover: Examining Website Fingerprinting Threats in the InterPlanetary File System | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Programming Languages • Reified Generic Types for Scala 3 on the JVM | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • Abstract Reasoning with Vector Symbolic Algebras | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Artificial Intelligence | Machine Learning • Learning at Test Time: Adapting Models with Synthetic Data and Environment Interaction | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Formal Methods • Counterexample Guided Abstraction and Refinement in Dash Models | Cheriton School of Computer Science | University of Waterloo Master’s Thesis Presentation • Systems and Networking • Runtime Configuration of GPU Workloads for Energy-efficient Execution | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • Beyond Semantic Similarity: Direct Corpus Interaction for Agentic Search | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Artificial Intelligence | Machine Learning • OpenResearcher: Reproducible Training for Long-Horizon Deep Research Agents | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Software Engineering • SLA-Awareness for AI-assisted coding | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Software Engineering • Context-Aware CodeLLM Eviction for AI-assisted Coding | Cheriton School of Computer Science | University of Waterloo PhD Seminar • Bioinformatics • Recurrent Energy-Based Modeling of Side-Chain Allostery | Cheriton School of Computer Science | University of Waterloo Seminar • Bioinformatics | Artificial Intelligence • Advancing Drug Discovery with FAIR Data and Explainable AI in Biomedical Research | Cheriton School of Computer Science | University of Waterloo PhD Defence • Artificial Intelligence | Machine Learning | Bioinformatics • Generative Synthetic Data for Pre-Clinical Drug Discovery | Cheriton School of Computer Science | University of Waterloo PhD Defence • Human–Computer Interaction • Tangible World-in-Miniature Interaction in Virtual Reality | Cheriton School of Computer Science | University of Waterloo
Master’s Thesis Presentation • Algorithms and Complexity ...
Joe Petrik · 2026-08-06 · via Cheriton School of Computer Science

Please note: This master’s thesis presentation will take place in DC 2314 and online.

Raymond Liu, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Lap Chi Lau

Classical spectral graph theory shows that edge conductance characterizes the optimal O(log n) mixing time of d-regular graphs when d is constant. When d grows with n, however, the optimal mixing time is O(log_d n), and this characterization no longer applies. We give a new condition based on bipartite density that provides a more refined combinatorial characterization of mixing time across different degree regimes. Using this new connection between density and mixing time, we revisit the local algorithmic approach to finding dense subgraphs and show that it can be sharpened and extended considerably.

(1) We improve Andersen's bicriteria approximation algorithms for finding dense bipartite subgraphs, both in approximation ratio and in output size. Our result can be interpreted as a local version of Bilu and Linial’s converse of the expander mixing lemma. The approximation guarantee improves in the high density regime, resembling Cheeger’s inequality in the high conductance regime.

(2) We provide the first tradeoff between the approximation guarantee and the output size for finding small dense bipartite subgraphs. This tradeoff interpolates between the improved bicriteria guarantee above and a true approximation algorithm with no loss in the output size. In the high density regime, the true approximation guarantee has a subpolynomial approximation ratio.

(3) We extend this approach to the densest k-subgraph problem, answering a question raised by Andersen. This gives the first local approximation algorithm for the densest k-subgraph problem. Moreover, our approach identifies a new high density regime, distinct from the previous almost clique regime, where a polynomial time algorithm achieves a subpolynomial approximation ratio.

This analysis also gives a new random walk proof of the converse of the expander mixing lemma. Our algorithmic results can be viewed as a realization of Bilu and Linial’s speculation that their spectral bound might be useful in designing graph partitioning algorithms.


To attend this master’s thesis presentation in person, please go to DC 2314. You can also attend virtually on Zoom.