BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Eric Miles

Eric Miles contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
Computational Complexitymath.AG

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
2topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

4 published item(s)

preprint2015arXiv

Bridgeland Stability of Line Bundles on Surfaces

We study the Bridgeland stability of line bundles on surfaces using Bridgeland stability conditions determined by divisors. We show that given a smooth projective surface $S$, a line bundle $L$ is always Bridgeland stable for those stability conditions if there are no curves $C\subseteq S$ of negative self-intersection. When a curve $C$ of negative self-intersection is present, $L$ is destabilized by $L(-C)$ for some stability conditions. We conjecture that line bundles of the form $L(-C)$ are the only objects that can destabilize $L$, and that torsion sheaves of the form $L(C)|_C$ are the only objects that can destabilize $L[1]$. We prove our conjecture in several cases, and in particular for Hirzebruch surfaces.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Projectivity of Bridgeland Moduli Spaces on Del Pezzo Surfaces of Picard Rank 2

We prove that, for a natural class of Bridgeland stability conditions on $\mathbb{P}^1\times\mathbb{P}^1$ and the blow-up of $\mathbb{P}^2$ at a point, the moduli spaces of Bridgeland semistable objects are projective. Our technique is to find suitable regions of stability conditions with hearts that are (after "rotation") equivalent to representations of a quiver. The helix and tilting theory is well-behaved on Del Pezzo surfaces and we conjecture that this program (begun in arXiv:1203.0316) runs successfully for all Del Pezzo surfaces, and the analogous Bridgeland moduli spaces are projective.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Local reductions

We reduce non-deterministic time $T \ge 2^n$ to a 3SAT instance $ϕ$ of quasilinear size $|ϕ| = T \cdot \log^{O(1)} T$ such that there is an explicit circuit $C$ that on input an index $i$ of $\log |ϕ|$ bits outputs the $i$th clause, and each output bit of $C$ depends on $O(1)$ input bits. The previous best result was $C$ in NC$^1$. Even in the simpler setting of polynomial size $|ϕ| = \poly(T)$ the previous best result was $C$ in AC$^0$. More generally, for any time $T \ge n$ and parameter $r \leq n$ we obtain $\log_2 |ϕ| = \max(\log T, n/r) + O(\log n) + O(\log\log T)$ and each output bit of $C$ is a decision tree of depth $O(\log r)$. As an application, we tighten Williams' connection between satisfiability algorithms and circuit lower bounds (STOC 2010; SIAM J. Comput. 2013).

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Iterated group products and leakage resilience against NC^1

We show that if NC$^1 \neq$ L, then for every element $α$ of the alternating group $A_t$, circuits of depth $O(\log t)$ cannot distinguish between a uniform vector over $(A_t)^t$ with product $= α$ and one with product $=$ identity. Combined with a recent construction by the author and Viola in the setting of leakage-resilient cryptography [STOC '13], this gives a compiler that produces circuits withstanding leakage from NC$^1$ (assuming NC$^1 \neq$ L). For context, leakage from NC$^1$ breaks nearly all previous constructions, and security against leakage from P is impossible. %In the multi-query setting, circuits produced by this compiler use a simple secure hardware component. We build on work by Cook and McKenzie [J.\ Algorithms '87] establishing the relationship between L $=$ logarithmic space and the symmetric group $S_t$. Our techniques include a novel algorithmic use of commutators to manipulate the cycle structure of permutations in $A_t$.

0 citations0 reviewsNo code linkedOpen access