Source author record

Jay Shah

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.CT math.KT math.AG Cryptography and Security math.QA Programming Languages

Catalog footprint

Research overview

13works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

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.

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.

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$ .

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}$ .

preprint2022arXiv

Parametrized and equivariant higher algebra

We develop the rudiments of a theory of parametrized $\infty$ -operads, including parametrized generalizations of monoidal envelopes, Day convolution, operadic left Kan extensions, results on limits and colimits of algebras, and the symmetric monoidal Yoneda embedding.

preprint2022arXiv

Parametrized higher category theory II: Universal constructions

We develop parametrized generalizations of a number of fundamental concepts in the theory of $\infty$ -categories, including factorization systems, free fibrations, exponentiable fibrations, relative colimits and relative Kan extensions, filtered and sifted diagrams, and the universal constructions Ind and $P^Σ$ .

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.

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.

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)$ .

preprint2016arXiv

Fibrations in $\infty$ -category theory

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher category theory.

preprint2016arXiv

Parametrized higher category theory and higher algebra: A general introduction

We introduce the study of parametrized higher category theory and parametrized higher algebra, and we describe the main theorems of the series of Exposés that make up the monograph.

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.

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.

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.

Jay Shah

Research overview

Is this your work?

13 publications

Categorical Foundations for CuTe Layouts

Algorithmic canonical stratifications of simplicial complexes

On the equivalence of two theories of real cyclotomic spectra

On the parametrized Tate construction

Parametrized and equivariant higher algebra

Parametrized higher category theory II: Universal constructions

Scheiderer motives and equivariant higher topos theory

C_2-equivariant stable homotopy from real motivic stable homotopy

Categorifying rationalization

Fibrations in $\infty$ -category theory

Parametrized higher category theory and higher algebra: A general introduction

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

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

See the researcher in context

Building this map preview

Jay Shah

Research overview

Is this your work?

13 publications

Categorical Foundations for CuTe Layouts

Algorithmic canonical stratifications of simplicial complexes

On the equivalence of two theories of real cyclotomic spectra

On the parametrized Tate construction

Parametrized and equivariant higher algebra

Parametrized higher category theory II: Universal constructions

Scheiderer motives and equivariant higher topos theory

C_2-equivariant stable homotopy from real motivic stable homotopy

Categorifying rationalization

Fibrations in ∞\infty∞-category theory

Parametrized higher category theory and higher algebra: A general introduction

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

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

See the researcher in context

Building this map preview

Fibrations in $\infty$ -category theory