arXiv subjects

Sherry Gong

Publications and source records attributed to Sherry Gong.

14 recordsLinked to original sources

arXiv2026

Explicit Matrices over $\mathbb Z_2$ with CNOT and Row Complexity $4n-\mathrm{o}(n)$ and Local Logic Gates

In this article, we present an explicit family of invertible $n\times n$ matrices over $\mathbb Z_2$ whose CNOT and row complexity is at least $4n-\text{o}(n)$; equivalently, reducing these matrices to the identity requires at least $4n-\text{o}(n)$ elementary row operations. Moreover, the same complexity lower bound holds in the stronger computational model where the CNOT gates are replaced by arbitrary local linear logic gates, namely arbitrary invertible linear transformations acting on pairs of coordinates. Let $G_n$ denote the permutation group generated by local logic gates acting on the set of binary strings of length $n$. We prove that $G_n$ is naturally isomorphic to the group of all invertible affine transformations of the vector space $\mathbb Z_2^n$, thus reducing the problem of estimating the quantum complexity of permutations in $G_n$ to the row reduction complexity of invertible matrices over $\mathbb Z_2$. As an application, we show that the permutations associated with our explicit matrices have quantum complexity at least $4n-\text{o}(n)$.

quant-ph↗

arXiv2026

The 2-Twist Spun Trefoil Has Crossing Number Six

We study the tri-plane crossing number, that is, the minimal number of crossings in a tri-plane diagram for a bridge trisection of a knotted sphere in $S^4$. We show that every 2-knot in $S^4$ that admits a bridge trisection with at most five crossings is ribbon. As a consequence, we show that the 2-twist spin of the trefoil has crossing number 6. This is the first such computation for a non-trivial knotted surface.

math.GT↗

arXiv2026

LLUMI: Improving LLM Writing Assistance for Mental Health Support with Online Community Feedback

Large language models (LLMs) show promise in generating supportive responses for mental health queries, but improving their usefulness, empathy, and safety often requires substantial compute, expert input, and labeled data. At the same time, deploying proprietary, cloud-based models for mental health-related interactions raises important privacy and data-governance concerns, given the sensitivities. To address this challenge, we introduce LLUMI setup that can be hosted in-house within protected environments. LLUMI consists of two complementary components: a generation model (GM), which drafts supportive responses to mental health queries, and an improvement model (IM), which revises an initial human-crafted response. We leverage feedback signals from Reddit mental health communities, using community endorsement patterns such as upvotes and downvotes to construct chosen--rejected response pairs for Supervised Fine Tuning (SFT) and Direct Preference Optimization (DPO). We further align LLUMI using human evaluation across five dimensions: readability, empathy, connection, actionability, and safety. Our results show that, despite relying on smaller open-source models rather than proprietary cloud-based GPT models, LLUMI achieves comparable performance across linguistic analyses and human evaluations. These findings suggest that open-source models, when trained with community-derived preference signals, can support high-quality mental health support assistance while offering a more privacy-preserving alternative for sensitive support contexts.

cs.HC↗

arXiv2025

Ribbon concordances and slice obstructions: experiments and examples

There are 352.2 million prime knots in the 3-sphere with at most 19 crossings. We study which of these knots are slice, in both the smooth and topological categories. While no algorithm is known for deciding whether a given knot is slice in either setting, we are able to determine it smoothly for all but about 11,400 knots (0.003% or 1 in 30,000) and topologically for all but about 1,400 knots (0.0004% or about 1 in 250,000). In particular, we show that some 1.6 million of these knots (0.46%) are smoothly slice (in fact ribbon) and that 350.5 million are not even topologically slice (99.54%). We use a wide range of tools and techniques, and introduce several new or refined methods for probing these properties. Along the way, we produce 500,000 pairs of 0-friends, that is, pairs of distinct knots with the same 0-surgery. We discuss how our data is consistent with several important conjectures and suggests new ones, and highlight the simplest knots where sliceness remains unknown.

math.GT↗

arXiv2023

Families of metrics with positive scalar curvature on spectral sequence cobordisms

We study families of metrics on the cobordisms that underlie the differential maps in Bloom's monopole Floer spectral sequence, a spectral sequence for links in $S^3$ whose $E^2$ is the Khovanov homology of the link, and which abuts to the monopole Floer homology of the double branched cover of the link. The higher differentials in the spectral sequence count parametrized moduli spaces of solutions to Seiberg-Witten equations, parametrized over a family of metrics with asymptotic behaviour corresponding to a configuration of unlinks with 1-handle attachments. For a class of configurations, we construct families of metrics with the prescribed behaviour, such that each metric therein has positive scalar curvature. The positive scalar curvature implies that there are no irreducible solutions to the Seiberg-Witten equations and thus, when the spectral sequences are computed with these families of metrics, only reducible solutions must be counted. The class of configurations for which we construct these families of metrics includes all configurations that go into the spectral sequence for $T(2,n)$ torus knots, and all configurations that involve exactly two 1-handle attachments.

math.GT↗

arXiv2023

The Novikov conjecture, the group of diffeomorphisms and continuous fields of Hilbert-Hadamard spaces

In this paper, we prove the Novikov conjecture for a class of highly non-linear groups, namely discrete subgroups of the diffeomorphism group of a compact smooth manifold. This removes the volume-preserving condition in a previous work. This result is proved by studying operator $K$-theory and group actions on continuous fields of infinite dimensional non-positively curved spaces.

math.KT↗

arXiv2023

On the rank of knot homology theories and concordance

For a ribbon knot, it is a folk conjecture that the rank of its knot Floer homology must be 1 modulo 8, and another folk conjecture says the same about reduced Khovanov homology. We give the first counter-examples to both of these folk conjectures, but at the same time present compelling evidence for new conjectures that either of these homologies must have rank congruent to 1 modulo 4 for any ribbon knot. We prove that each revised conjecture is equivalent to showing that taking the rank of the homology modulo 4 gives a homomorphism of the knot concordance group. We check the revised conjectures for 2.4 million ribbon knots, and also prove they hold for ribbon knots with fusion number 1.

math.GT↗

arXiv2020

Non-orientable link cobordisms and torsion order in Floer homologies

We use unoriented versions of instanton and knot Floer homology to prove inequalities involving the Euler characteristic and the number of local maxima appearing in unorientable cobordisms, which mirror results of a recent paper by Juhasz, Miller, and Zemke concerning orientable cobordisms. Most of the subtlety in our argument lies in the fact that maps for non-orientable cobordisms require more complicated decorations than their orientable counterparts. We introduce unoriented versions of the band unknotting number and the refined cobordism distance and apply our results to give bounds on these based on the torsion orders of the Floer homologies. Finally, we show that the difference between the unoriented refined cobordism distance of a knot $K$ from the unknot and the non-orientable slice genus of $K$ can be arbitrarily large.

math.GT↗

arXiv2019

On the Kronheimer-Mrowka concordance invariant

Kronheimer and Mrowka introduced a new knot invariant, called $s^\sharp$, which is a gauge theoretic analogue of Rasmussen's $s$ invariant. In this article, we compute Kronheimer and Mrowka's invariant for some classes of knots, including algebraic knots and the connected sums of quasi-positive knots with non-trivial right handed torus knots. These computations reveal some unexpected phenomena: we show that $s^\sharp$ does not have to agree with $s$, and that $s^\sharp$ is not additive under connected sums of knots. Inspired by our computations, we separate the invariant $s^\sharp$ into two new invariants for a knot $K$, $s^\sharp_+(K)$ and $s^\sharp_-(K)$, whose sum is $s^\sharp(K)$. We show that their difference satisfies $0 \leq s^\sharp_+(K) - s^\sharp_-(K) \leq 2$. This difference may be of independent interest. We also construct two link concordance invariants that generalize $s^\sharp_\pm$, one of which we continue to call $s^\sharp_\pm$, and the other of which we call $s^\sharp_I$. To construct these generalizations, we give a new characterization of $s^\sharp$ using immersed cobordisms rather than embedded cobordisms. We prove some inequalities relating the genus of a cobordism between two links and the invariant $s^\sharp$ of the links. Finally, we compute $s^\sharp_\pm$ and $s^\sharp_I$ for torus links.

math.GT↗

arXiv2018

The Novikov conjecture, the group of volume preserving diffeomorphisms and Hilbert-Hadamard spaces

We prove that the Novikov conjecture holds for any discrete group admitting an isometric and metrically proper action on an admissible Hilbert-Hadamard space. Admissible Hilbert-Hadamard spaces are a class of (possibly infinite-dimensional) non-positively curved metric spaces that contain dense sequences of closed convex subsets isometric to Riemannian manifolds. Examples of admissible Hilbert-Hadamard spaces include Hilbert spaces, certain simply connected and non-positively curved Riemannian-Hilbertian manifolds and infinite\-/dimensional symmetric spaces. Thus our main theorem can be considered as an infinite-dimensional analogue of Kasparov's theorem on the Novikov conjecture for groups acting properly and isometrically on complete, simply connected and non-positively curved manifolds. As a consequence, we show that the Novikov conjecture holds for geometrically discrete subgroups of the group of volume preserving diffeomorphisms of a closed smooth manifold. This result is inspired by Connes' theorem that the Novikov conjecture holds for higher signatures associated to the Gelfand-Fuchs classes of groups of diffeormorphisms.

math.KT↗

arXiv2018

Khovanov homology and binary dihedral representations for marked links

We introduce a version of Khovanov homology for alternating links with marking data, $\omega$, inspired by instanton theory. We show that the analogue of the spectral sequence from Khovanov homology to singular instanton homology introduced in \cite{KM_unknot} for this marked Khovanov homology collapses on the $E_2$ page for alternating links. We moreover show that for non-split links the Khovanov homology we introduce for alternating links does not depend on $\omega$; thus, the instanton homology also does not depend on $\omega$ for non-split alternating links. Finally, we study a version of binary dihedral representations for links with markings, and show that for links of non-zero determinant, this also does not depend on $\omega$.

math.GT↗

arXiv2014

Property RD and the Classification of Traces on Reduced Group $C^*$-algebras of Hyperbolic Groups

In this paper, we show that if $G$ by a non-elementary word hyperbolic group and $a \in G$ an element, if the conjugacy class of $a$ is infinite, then all traces $\tau:C^*_{\text{red}}(G) \to \mathbb{C}$ vanish on $a$. We show that all traces $\theta:C^*_{\text{red}}(G) \to \mathbb{C}$ are linear combinations of traces $\chi_g:C^*_{\text{red}}(G) \to \mathbb{C}$ given by \[\chi_{g}=\begin{cases} 1 & g \in C(g) \\ 0 & \text{else}\end{cases}\] where $C(g)$ is the conjugacy class of $g$. To do this, we introduce a new method to study traces, using Sobolev norms and property RD.

math.OA↗

arXiv2013

Finite Part of Operator $K$-Theory for Groups with Rapid Decay

In this paper we study the part of the $K$-theory of the reduced $C^*$-algebra arising from torsion elements of the group, and in particular we study the pairing of $K$-theory with traces and when traces can detect certain $K$-theory elements. In the case of groups with Property RD, we give a condition on the growth of conjugacy classes that determines whether they can be detected. Moreover, in the case that they can be detected, we show that nonzero elements in the part of the $K$-theory generated by torsion elements are not in the image of the assembly map $K^G_0(EG) \to K_0(C^*G)$. One application of this is a lower bound for the structure groups of certain manifolds.

math.KT↗

arXiv2011

Computational approaches to Poisson traces associated to finite subgroups of Sp(2n,C)

We reduce the computation of Poisson traces on quotients of symplectic vector spaces by finite subgroups of symplectic automorphisms to a finite one, by proving several results which bound the degrees of such traces as well as the dimension in each degree. This applies more generally to traces on all polynomial functions which are invariant under invariant Hamiltonian flow. We implement these approaches by computer together with direct computation for infinite families of groups, focusing on complex reflection and abelian subgroups of GL(2,C) < Sp(4,C), Coxeter groups of rank <= 3 and A_4, B_4=C_4, and D_4, and subgroups of SL(2,C).

math.SG↗