arXiv subjects

Mainak Ghosh

Publications and source records attributed to Mainak Ghosh.

At least 19 recordsLinked to original sources

arXiv2026

Local Ocneanu rigidity for separable algebra objects

We establish local Ocneanu rigidity for separable algebra objects in Hom-finite monoidal categories C over an algebraically closed field k. A separability morphism contracts the first two Hochschild cohomology groups without requiring an abelian ambient category. Separable algebra structures and homomorphisms from separable sources have open algebraic-group orbits, and affine Bezout estimates give effective finiteness results. For Frobenius subalgebras, exchange relations replace the source and embedding data by a single self-dual idempotent. We prove that their separable inner-conjugacy classes are open in the exchange locus, yielding a bound of 2^(dim_k End_C(X)) for nonzero ambient algebras; connectedness gives the same bound on the actual number of subalgebras. As an application, we obtain an effective form of the Etingof-Walton finiteness theorem: every finite-dimensional semisimple Hopf algebra H over the complex numbers has at most 2^(dim_C H) left coideal subalgebras. In the unitary setting, we bound E-compatible intermediates of C*-algebra and von Neumann algebra inclusions up to unitary conjugacy, under finite-index and finite-center hypotheses. For irreducible subfactors, these improve the 9^[M:N] bound of Bakshi-Das-Liu-Ren to 2^[M:N].

math.QA↗

arXiv2026

Room-Temperature Electric-Field Control of Anomalous Hall Effect in Py/BTO/LSMO Heterostructures

We demonstrate room temperature electric field control of the anomalous Hall effect in epitaxial Ni80Fe20 (Py) BaTiO3 (BTO) La0.7Sr0.3MnO3 (LSMO) thin film heterostructures grown on MgO and LaAlO3 substrates. Substrate induced strain states generate distinct magnetic anisotropies, enabling voltage driven tuning between anomalous and topological Hall contributions. Robust ferroelectric polarization in BTO, confirmed by piezoresponse force microscopy, couples strongly to interfacial orbital reconstruction and carrier redistribution. As a result, Hall resistivity exhibits giant low voltage tunability, with up to nearly 93 percent modulation at operating voltages of only 0.5 tand 2 V. Density functional theory calculations further reveal polarization controlled Rashba spin splitting, establishing a direct link between ferroelectric order and emergent quantum transport. These findings establish Py/BTO/LSMO heterostructures as promising candidates for low-power multifunctional spintronic devices, where substrate engineering enables control over emergent quantum transport phenomena.

cond-mat.mtrl-sci↗

arXiv2026

Interface engineering of the anomalous Hall effect in Ni-based heterostructures

Using a combined experimental and first-principles theoretical approach, we demonstrate interface engineering of the anomalous Hall effect in Ni-based epitaxial thin-film heterostructures. Ferromagnetic Ni thin films are grown on (001)-oriented single-crystal LaAlO$_3$, SrTiO$_3$, and MgO substrates, which impose different biaxial tensile strains of 0.3%, 0.6%, and 0.8%, respectively. Our room-temperature Hall transport measurements reveal a pronounced substrate-dependent modulation of the anomalous Hall conductivity. Interestingly, our calculations show that strain alone cannot account for the experimentally observed trends. Instead, we identify interfacial inversion-symmetry breaking, which induces Rashba spin-orbit interaction, as the key mechanism governing the anomalous Hall conductivity across different interfaces. Building on this understanding, we further demonstrate both theoretically and experimentally that the anomalous Hall conductivity can be continuously tuned by an external electric field. These findings establish the critical role of substrate-induced interfacial effects in controlling the anomalous Hall effect in engineered heterostructures and provide a viable pathway toward electrically tunable room-temperature spintronic devices.

cond-mat.mtrl-sci↗

arXiv2025

Tracing the Flow of Knowledge From Science to Technology Using Deep Learning

We develop a language similarity model suitable for working with patents and scientific publications at the same time. In a horse race-style evaluation, we subject eight language (similarity) models to predict credible Patent-Paper Citations. We find that our Pat-SPECTER model performs best, which is the SPECTER2 model fine-tuned on patents. In two real-world scenarios (separating patent-paper-pairs and predicting patent-paper-pairs) we demonstrate the capabilities of the Pat-SPECTER. We finally test the hypothesis that US patents cite papers that are semantically less similar than in other large jurisdictions, which we posit is because of the duty of candor. The model is open for the academic community and practitioners alike.

cs.CL↗

arXiv2025

Endomorphism and automorphism graphs of finite groups

Let $G$ be a group. The directed endomorphism graph, $\dend(G)$ of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex $a$ to the vertex $b$ if $a \neq b$ and there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, $\uend(G)$ is the corresponding undirected simple graph. The automorphism graph of $G$ is similarly defined for automorphisms: it is a disjoint union of complete graphs on the orbits of $\Aut(G)$. The endomorphism digraph is a special case of a digraph associated with a transformation monoid, and we begin by introducing this. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on, as well as computing these graphs for some special groups. We conclude with examples showing that things are not always simple.

math.GR↗

arXiv2025

Exchange relations and Frobenius subalgebras

Bisch and Jones established a bijection between the intermediate subfactors of an irreducible subfactor and certain idempotents satisfying exchange relations. In this paper, we generalize this result to Karoubian monoidal categories through Frobenius subalgebras. As an application, we show that certain morphisms on a C*-correspondence arise from intermediate C*-subalgebras if and only if they are averaging operators.

math.QA↗

arXiv2025

Endomorphism and Automorphism Graphs

Let $G$ be a group. The directed endomorphism graph, \dend of $G$ is a directed graph with vertex set $G$ and there is a directed edge from the vertex `$a$' to the vertex `$\, b$' $(a \neq b) $ if and only if there exists an endomorphism on $G$ mapping $a$ to $b$. The endomorphism graph, \uend $\,$ of $G$ is the corresponding undirected simple graph. The automorphism graph, ${Auto}(G)$ of $G$ is an undirected graph with vertex set $G$ and there is an edge from the vertex `$a$' to the vertex `$\,b$' $(a \neq b) $ if and only if there exists an automorphism on $G$ mapping $a$ to $b$. We have explored graph theoretic properties like size, planarity, girth etc. and tried finding out for which types of groups these graphs are complete, diconnected, trees, bipartite and so on.

math.CO↗

arXiv2025

Frobenius subalgebra lattices in tensor categories

This paper generalizes Watatani's finiteness theorem for intermediate subfactors to a wide class of monoidal categories. We characterize the sublattices of Frobenius subalgebra posets in abelian monoidal categories by introducing a notion of ambient selfduality. By extending several key results---such as the planar algebraic exchange relation and Landau's theorems---to linear monoidal categories, we establish a structural rigidity property for a formal angle associated to every coherent pair of Frobenius subalgebras (that is, whose intersection and sum are ambiently selfdual). Furthermore, within a weak positivity framework, we deduce that such coherent sublattices are finite for any connected Frobenius algebra. This significantly generalizes Watatani's theorem, since the unitary Frobenius subalgebra lattices are inherently coherent through a property termed rigidity invariance. Applications of this work include a unified framework that encompasses several previously unrelated finiteness results. Specifically, we recover the finiteness of the left coideal subalgebra lattice of a finite-dimensional semisimple Hopf algebra (Etingof-Walton theorem) under a well-supported coherence hypothesis, as well as the finiteness of the intermediate C*-algebra lattice for a finite-index unital irreducible inclusion of C*-algebras (relaxing simplicity in Ino-Watatani theorem) under the E-compatibility condition shown to be unavoidable. Furthermore, we present a variety of new applications involving abstract spin chains and vertex operator algebras, alongside speculations on quantum arithmetic that include extensions of Ore's theorem, Euler's totient and sigma functions, and RH.

math.QA↗

arXiv2024

Positivstellensatz for C*-tensor categories

We explore semi-pre-C*-algebras in the context of rigid semisimple C*-tensor categories and using techniques from annular representations, we extend Ozawa's criterion for property (T) in groups to this context

math.QA↗

arXiv2024

Peripheral Poisson Boundary on Full Fock space

The operator space generated by peripheral eigenvectors of a unital normal completely positive map $P$ on a von Neumann algebra has a C*-algebra structure. This C*-algebra is known as the \textit{peripheral Poisson boundary} of $P$. For a separable Hilbert space $H$, consider the full fock space defined over $H$. In this paper, we study the peripheral Poisson boundary of the completely positive map, induced by left creation operators of the basis vectors of $H$, on $B(\mcal F(H))$ and explore its behavior with respect to the Poisson boundary.

math.OA↗

arXiv2024

Davenport constant and its variants for some non-abelian groups

We define two variants $e(G)$, $f(G)$ of the Davenport constant $d(G)$ of a finite group $G$, that is not necessarily abelian. These naturally arising constants aid in computing $d(G)$ and are of potential independent interest. We compute the constants $d(G)$, $e(G)$, $f(G)$ for some nonabelian groups G, and demonstrate that, unlike abelian groups where these constants are identical, they can each be distinct. As a byproduct of our results, we also obtain some cases of a conjecture of J. Bass. We compute the $k$-th Davenport constant for several classes of groups as well. We also make a conjecture on $f(G)$ for metacyclic groups and provide evidence towards it.

math.CO↗

arXiv2024

PaECTER: Patent-level Representation Learning using Citation-informed Transformers

PaECTER is an open-source document-level encoder specific for patents. We fine-tune BERT for Patents with examiner-added citation information to generate numerical representations for patent documents. PaECTER performs better in similarity tasks than current state-of-the-art models used in the patent domain. More specifically, our model outperforms the patent specific pre-trained language model (BERT for Patents) and general-purpose text embedding models (e.g., E5, GTE, and BGE) on our patent citation prediction test dataset on different rank evaluation metrics. PaECTER predicts at least one most similar patent at a rank of 1.32 on average when compared against 25 irrelevant patents. Numerical representations generated by PaECTER from patent text can be used for downstream tasks such as classification, tracing knowledge flows, or semantic similarity search. Semantic similarity search is especially relevant in the context of prior art search for both inventors and patent examiners.

cs.IR↗

arXiv2024

Quantum Sets of Compact Quantum Groups

Q-system completion can be thought of as a notion of higher idempotent completion of C*-2-categories. We introduce a notion of quantum bi-elements, and study Q-system completion in the context of compact quantum groups. We relate our notion of quantum bi-elements to already known notions of quantum sets and quantum functions, and provide a description of Q-system completion of the C*-2-category of compact quantum groups using quantum bi-elements

math.QA↗

arXiv2023

Q-system Completion of 2-functors

A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category or a C*-2-category. We prove that, for C*-2-categories $\mcal C$ and $\mcal D$, the C*-2-category $\textbf{Fun}(\mcal C, \mcal D)$ of $ * $-$ 2 $-functors, $ * $-$ 2 $-transformations and $ * $-$ 2 $-modifications is Q-system complete, whenever $\mcal D$ is Q-system complete. We use this result to provide a characterisation of Q-system complete categories in terms of $ * $-$ 2 $-functors and to prove that the $ 2 $-category of actions of a unitary fusion category $\mcal C$ on C*-algebras is Q-system complete.

math.QA↗

arXiv2023

Q-system Completeness of Unitary Connections

A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category. In a recent joint work with P. Das, S. Ghosh and C. Jones, the author has categorified Bratteli diagrams and unitary connections by building a $2$-category \textbf{UC}. We prove that every $Q$-system in \textbf{UC} splits.

math.QA↗

arXiv2022

Logic Mill -- A Knowledge Navigation System

Logic Mill is a scalable and openly accessible software system that identifies semantically similar documents within either one domain-specific corpus or multi-domain corpora. It uses advanced Natural Language Processing (NLP) techniques to generate numerical representations of documents. Currently it leverages a large pre-trained language model to generate these document representations. The system focuses on scientific publications and patent documents and contains more than 200 million documents. It is easily accessible via a simple Application Programming Interface (API) or via a web interface. Moreover, it is continuously being updated and can be extended to text corpora from other domains. We see this system as a general-purpose tool for future research applications in the social sciences and other domains.

cs.CL↗

arXiv2022

Unitary connections on Bratteli diagrams

In this paper, we extend Ocneanu's theory of connections on graphs to define a 2-category whose 0-cells are tracial Bratteli diagrams, and whose 1-cells are generalizations of unitary connections. We show that this 2-category admits an embedding into the 2-category of hyperfinite von Neumann algebras, generalizing fundamental results from subfactor theory to a 2-categorical setting.

math.QA↗

arXiv2022

Serving Hybrid-Cloud SQL Interactive Queries at Twitter

The demand for data analytics has been consistently increasing in the past years at Twitter. In order to fulfill the requirements and provide a highly scalable and available query experience, a large-scale in-house SQL system is heavily relied on. Recently, we evolved the SQL system into a hybrid-cloud SQL federation system, compliant with Twitter's Partly Cloudy strategy. The hybrid-cloud SQL federation system is capable of processing queries across Twitter's data centers and the public cloud, interacting with around 10PB of data per day. In this paper, the design of the hybrid-cloud SQL federation system is presented, which consists of query, cluster, and storage federations. We identify challenges in a modern SQL system and demonstrate how our system addresses them with some important design decisions. We also conduct qualitative examinations and summarize instructive lessons learned from the development and operation of such a SQL system.

cs.DB↗