BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jay Shah

Jay Shah appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ATmath.CTmath.KTmath.AGCryptography and Securitymath.QAProgramming Languages

Catalog footprint

What is connected

13works
7topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

13 published item(s)

preprint2026arXiv

Categorical Foundations for CuTe Layouts

NVIDIA's CUTLASS library provides a robust and expressive set of methods for describing and manipulating multi-dimensional tensor data on the GPU. These methods are conceptually grounded in the abstract notion of a CuTe layout and a rich algebra of such layouts, including operations such as composition, logical product, and logical division. In this paper, we present a categorical framework for understanding this layout algebra by focusing on a naturally occurring class of tractable layouts. To this end, we define two categories Tuple and Nest whose morphisms give rise to layouts. We define a suite of operations on morphisms in these categories and prove their compatibility with the corresponding layout operations. Moreover, we give a complete characterization of the layouts which arise from our construction. Finally, we provide a Python implementation of our categorical constructions, along with tests that demonstrate alignment with CUTLASS behavior. This implementation can be found at our git repository https://github.com/ColfaxResearch/layout-categories.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Algorithmic canonical stratifications of simplicial complexes

We introduce a new algorithm for the structural analysis of finite abstract simplicial complexes based on local homology. Through an iterative and top-down procedure, our algorithm computes a stratification $π$ of the poset $P$ of simplices of a simplicial complex $K$, such that for each strata $P_{π=i} \subset P$, $P_{π=i}$ is maximal among all open subposets $U \subset \overline{P_{π=i}}$ in its closure such that the restriction of the local $\mathbb{Z}$-homology sheaf of $\overline{P_{π=i}}$ to $U$ is locally constant. Passage to the localization of $P$ dictated by $π$ then attaches a canonical stratified homotopy type to $K$. Using $\infty$-categorical methods, we first prove that the proposed algorithm correctly computes the canonical stratification of a simplicial complex; along the way, we prove a few general results about sheaves on posets and the homotopy types of links that may be of independent interest. We then present a pseudocode implementation of the algorithm, with special focus given to the case of dimension $\leq 3$, and show that it runs in polynomial time. In particular, an $n$-dimensional simplicial complex with size $s$ and $n\leq3$ can be processed in O($s^2$) time or O($s$) given one further assumption on the structure. Processing Delaunay triangulations of $2$-spheres and $3$-balls provides experimental confirmation of this linear running time.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the equivalence of two theories of real cyclotomic spectra

We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction. We then define an $\infty$-categorical version of Høgenhaven's O(2)-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded-below objects. As an application, we compute the real topological cyclic homology of perfect $\mathbb{F}_p$-algebras for all primes $p$.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the parametrized Tate construction

We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension $\widehat{G}$ of a finite group $G$ by a compact Lie group $K$, which we call the parametrized Tate construction $(-)^{t_G K}$. Our main theorem establishes the coincidence of three conceptually distinct approaches to its construction when $K$ is also finite: one via recollement theory for the $K$-free $\widehat{G}$-family, another via parametrized ambidexterity for $G$-local systems, and the last via parametrized assembly maps. We also show that $(-)^{t_G K}$ uniquely admits the structure of a lax $G$-symmetric monoidal functor, thereby refining a theorem of Nikolaus and Scholze. Along the way, we apply a theorem of the second author to reprove a result of Ayala--Mazel-Gee--Rozenblyum on reconstructing a genuine $G$-spectrum from its geometric fixed points; our method of proof further yields a formula for the geometric fixed points of an $\mathcal{F}$-complete $G$-spectrum for any $G$-family $\mathcal{F}$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Scheiderer motives and equivariant higher topos theory

We give an algebro-geometric interpretation of $C_2$-equivariant stable homotopy theory by means of the $b$-topology introduced by Claus Scheiderer in his study of $2$-torsion phenomena in étale cohomology. To accomplish this, we first revisit and extend work of Scheiderer on equivariant topos theory by functorially associating to a $\infty$-topos $\mathscr{X}$ with $G$-action a presentable stable $\infty$-category $\mathrm{Sp}^G(\mathscr{X})$, which recovers the $\infty$-category $\mathrm{Sp}^G$ of genuine $G$-spectra when $\mathscr{X}$ is the terminal $G$-$\infty$-topos. Given a scheme $X$ with $1/2 \in \mathcal{O}_X$, our construction then specializes to produce an $\infty$-category $\mathrm{Sp}^{C_2}_b(X)$ of "$b$-sheaves with transfers" as $b$-sheaves of spectra on the small étale site of $X$ equipped with certain transfers along the extension $X[i] \rightarrow X$; if $X$ is the spectrum of a real closed field, then $\mathrm{Sp}^{C_2}_b(X)$ recovers $\mathrm{Sp}^{C_2}$. On a large class of schemes, we prove that, after $p$-completion, our construction assembles into a premotivic functor satisfying the full six functors formalism. We then introduce the $b$-variant $\mathrm{SH}_b(X)$ of the $\infty$-category $\mathrm{SH}(X)$ of motivic spectra over $X$ (in the sense of Morel-Voevodsky), and produce a natural equivalence of $\infty$-categories $\mathrm{SH}_b(X)^{\wedge}_p \simeq \mathrm{Sp}^{C_2}_b(X)^{\wedge}_p$ through amalgamating the étale and real étale motivic rigidity theorems of Tom Bachmann. This involves a purely algebro-geometric construction of the $C_2$-Tate construction, which may be of independent interest. Finally, as applications, we deduce a "$b$-rigidity" theorem, use the Segal conjecture to show étale descent of the $2$-complete $b$-motivic sphere spectrum, and construct a parametrized version of the $C_2$-Betti realization functor of Heller-Ormsby.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

C_2-equivariant stable homotopy from real motivic stable homotopy

We give a method for computing the C_2-equivariant homotopy groups of the Betti realization of a p-complete cellular motivic spectrum over R in terms of its motivic homotopy groups. More generally, we show that Betti realization presents the C_2-equivariant p-complete stable homotopy category as a localization of the p-complete cellular real motivic stable homotopy category.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Categorifying rationalization

We solve a problem proposed by Khovanov by constructing, for any set of primes $S$, a triangulated category (in fact a stable $\infty$-category) whose Grothendieck group is $S^{-1}\mathbf{Z}$. More generally, for any exact $\infty$-category $E$, we construct an exact $\infty$-category $S^{-1}E$ of equivariant sheaves on the Cantor space with respect to an action of a dense subgroup of the circle. We show that this $\infty$-category is precisely the result of categorifying division by the primes in $S$. In particular, $K_n(S^{-1}E)\cong S^{-1}K_n(E)$.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Parametrized higher category theory and higher algebra: Exposé I -- Elements of parametrized higher category theory

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we are able at this stage. Simple operations, such as the formation of opposites and the formation of functor $\infty$-categories, become slightly more involved in the parametrized setting, but we explain precisely how to perform these constructions. All of these constructions can be performed explicitly, without resorting to such acts of desperation as straightening. The key results of this Exposé are: (1) a universal characterization of the $T$-$\infty$-category of $T$-objects in any $\infty$-category, (2) the existence of an internal Hom for $T$-$\infty$-categories, and (3) a parametrized Yoneda lemma.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

A New Guess-and-Determine Attack on the A5/1 Stream Cipher

In Europe and North America, the most widely used stream cipher to ensure privacy and confidentiality of conversations in GSM mobile phones is the A5/1. In this paper, we present a new attack on the A5/1 stream cipher with an average time complexity of 2^(48.5), which is much less than the brute-force attack with a complexity of 2^(64). The attack has a 100% success rate and requires about 5.65GB storage. We provide a detailed description of our new attack along with its implementation and results.

0 citations0 reviewsNo code linkedOpen access