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

Jeremy Usatine

Jeremy Usatine contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COComputational ComplexityData Structures and Algorithmsmath.AG

Trust snapshot

Quick read

Trust 19 - Baseline
5works
0followers
4topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

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

5 published item(s)

preprint2022arXiv

Gromov-Witten theory and invariants of matroids

We use techniques from Gromov-Witten theory to construct new invariants of matroids taking value in the Chow groups of spaces of rational curves in the permutohedral toric variety. When the matroid is realizable by a complex hyperplane arrangement, our invariants coincide with virtual fundamental classes used to define the logarithmic Gromov-Witten theory of wonderful models of arrangement complements, for any logarithmic structure supported on the wonderful boundary. When the boundary is empty, this implies that the quantum cohomology ring of a hyperplane arrangement's wonderful model is a combinatorial invariant, i.e., it depends only on the matroid. When the boundary divisor is maximal, we use toric intersection theory to convert the virtual fundamental class into a balanced weighted fan in a vector space, having the expected dimension. We explain how the associated Gromov-Witten theory is completely encoded by intersections with this weighted fan. We include a number of questions whose positive answers would lead to a well-defined Gromov-Witten theory of non-realizable matroids.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Gap Theorems for the Delay of Circuits Simulating Finite Automata

We study the delay (also known as depth) of circuits that simulate finite automata, showing that only certain growth rates (as a function of the number $n$ of steps simulated) are possible. A classic result due to Ofman (rediscovered and popularized by Ladner and Fischer) says that delay $O(\log n)$ is always sufficient. We show that if the automaton is "generalized definite", then delay O(1) is sufficient, but otherwise delay $Ω(\log n)$ is necessary; there are no intermediate growth rates. We also consider "physical" (rather than "logical") delay, whereby we consider the lengths of wires when inputs and outputs are laid out along a line. In this case, delay O(n) is clearly always sufficient. We show that if the automaton is "definite", then delay O(1) is sufficient, but otherwise delay $Ω(n)$ is necessary; again there are no intermediate growth rates. Inspired by an observation of Burks, Goldstein and von Neumann concerning the average delay due to carry propagation in ripple-carry adders, we derive conditions for the average physical delay to be reduced from O(n) to $O(\log n)$, or to O(1), when the inputs are independent and uniformly distributed random variables; again there are no intermediate growth rates. Finally we consider an extension of this last result to a situation in which the inputs are not independent and uniformly distributed, but rather are produced by a non-stationary Markov process, and in which the computation is not performed by a single automaton, but rather by a sequence of automata acting in alternating directions.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A Combinatorial Interpretation of the Joint Cumulant

In this paper, we apply the combinatorial proof technique of Description, Involution, Exceptions (DIE) to prove various known identities for the joint cumulant. Consider a set of random variables $S = \{X_1,..., X_n\} $. Motivated by the definition of the joint cumulant, we define $ \sC(S) $ as the set of cyclically arranged partitions of $S$, allowing us to express the joint cumulant of $ S $ as a weighted, alternating sum over $\sC(S)$. We continue to define other combinatorial objects that allow us to rewrite expressions originally in terms of the joint cumulant as weighted sums over the set of these combinatorial objects. Then by constructing weight-preserving, sign-reversing involutions on these objects, we evaluate the original expressions to prove the identities, demonstrating the utility of DIE.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Barred Preferential Arrangements

A preferential arrangement of a set is a total ordering of the elements of that set with ties allowed. A barred preferential arrangement is one in which the tied blocks of elements are ordered not only amongst themselves but also with respect to one or more bars. We present various combinatorial identities for r_{m,l}, the number of barred preferential arrangements of l elements with m bars, using both algebraic and combinatorial arguments. Our main result is an expression for r_{m,l} as a linear combination of the r_k (= r_{0,k}, the number of unbarred preferential arrangements of k elements) for l <= k<=l+m. We also study those arrangements in which the sections, into which the blocks are segregated by the bars, must be nonempty. We conclude with an expression of r_l as an infinite series that is both convergent and asymptotic.

0 citations0 reviewsNo code linkedOpen access