Introduces modular q-holonomic modules to solve q-difference equations.
problem Solving q-difference equations in quantum invariants and Chern-Simons theory. method Defines modular q-holonomic modules with improved analyticity properties. result Modular q-holonomic modules explain structural properties of quantum invariants and Chern-Simons theory. Studies modules over a category of Jacobi diagrams in handlebodies.
problem Understanding modules over a specific category of Jacobi diagrams.
method Generalizes adjunctions and studies subquotient modules.
result Generalizes adjunctions between modules and Casimir Lie algebra modules.
Generalized Steinberg module presentation for Gaussian and Eisenstein integers.
problem Presenting Steinberg modules for specific number rings.
method Generalization of Bykovskii's presentation to Gaussian and Eisenstein integers.
result Generalization does not yield a presentation for all Euclidean number rings.
We prove that the Steinberg module of the special linear group of a quadratic imaginary number ring which is not Euclidean is not generated by integral apartments. Assuming the generalized Riemann hypothesis, this shows that the Steinberg module of a number ring is generated by integral apartments if and only if the ri…
Study of cubic skein modules in 3-sphere and arbitrary 3-manifolds.
problem Lack of systematic study of higher degree skein modules.
method Investigation of cubic skein module structure and properties in 3-sphere and arbitrary 3-manifolds.
result Establishment of a foundational framework for higher skein modules.
Proposes a novel network-based neighborhood regression for biological systems.
problem Lack of comprehensive analysis on biological modules using both global and local network data.
method Develops a community-wise least square optimization approach to analyze gene modules and their regulatory strength.
result Achieves exact minimax optimality and linear consistency in identifying gene module associations.
SympNets identify Hamiltonian systems from data using linear, activation, and gradient modules.
problem Identifying Hamiltonian systems from data.
method Composition of linear, activation, and gradient modules; universal approximation theorems.
result SympNets can approximate arbitrary symplectic maps and generalize well to various Hamiltonian systems.
This thesis generalizes structures on Q-manifolds and Lie n-algebroids.
problem Representation theory and linear structures of Q-manifolds and Lie n-algebroids. method Introduces differential graded modules and representations up to homotopy, defines Weil algebra, and studies VB-Lie n-algebroids. result Establishes an equivalence between VB-Lie n-algebroids and (n+1)-term representations up to homotopy of Lie n-algebroids. We categorify the notion of an infinitesimal braiding in a linear strict symmetric monoidal category, leading to the notion of a (strict) infinitesimal 2-braiding in a linear symmetric strict monoidal 2-category. We describe the associated categorification of the 4-term relation, leading to six categorified relations. …
Study the module structure of homology of Artin kernels.
problem Characterize the module structure of homology of Artin kernels.
method Use flag complex and double covers of toric complexes to analyze properties of torsion part.
result Determine dimensions and sizes of Jordan forms of the torsion part.
The spaces of linear differential operators on Rn acting on tensor densities of degree λ and the space of functions on T∗Rn which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on Rn. However, these mo…
The paper characterizes vector bundles and differential operators using Lie algebras and their symbols.
problem Characterizing vector bundles and differential operators using algebraic methods.
method Lie-algebraic characterization of vector bundles and differential operators.
result The Lie algebras P(E,M) and S(P(E,M)) characterize vector bundles and their smooth sections. In the last chapter of his book "The Algebraic Theory of Modular Systems " published in 1916, F. S. Macaulay developped specific techniques for dealing with " unmixed polynomial ideals " by introducing what he called " inverse systems ". The purpose of this paper is to extend such a point of view to differential module…
A commuting n-tuple (T1,…,Tn) of bounded linear operators on a Hilbert space $\clh$ associate a Hilbert module H over C[z1,…,zn] in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times \mathcal{H} \rightarrow \mathcal{H}, \quad \quad (p, h) \mapsto p(T_1, \ldots, T_n)h…
Paper investigates Lipschitz constants of self-attention modules in neural networks.
problem Lipschitz constants of self-attention modules in neural networks.
method Proved standard dot-product self-attention is not Lipschitz for unbounded input domain. Proposed L2 self-attention that is Lipschitz. Derived upper bound on L2 self-attention's Lipschitz constant.
result Proved standard self-attention is not Lipschitz for unbounded input domain and proposed an alternative L2 self-attention that is Lipschitz.
In this paper, a generalized multivariate Student-t mixture model is developed for classification and clustering of Low Probability of Intercept radar waveforms. A Low Probability of Intercept radar signal is characterized by a pulse compression waveform which is either frequency-modulated or phase-modulated. The propo…
Let F_λ(S1) be the space of tensor densities of degree (or weight) λ on the circle S1. The space Dk_λ,μ(S1) of k-th order linear differential operators from F_λ(S1) to F_μ(S1) is a natural module over Diff(S1), the diffeomorphism group of S1. We deter…
Projective resolves symplectic Steinberg module for number rings.
problem Constructing a projective resolution for symplectic Steinberg module.
method Similar to special linear group, but more complex construction.
result Computed top degree cohomology of congruence subgroups.
Let {T1,…,Tn} be a set of n commuting bounded linear operators on a Hilbert space H. Then the n-tuple (T1,…,Tn) turns H into a module over C[z1,…,zn] in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times \mathcal{H} \raro \clh, \quad \quad …
Let Dk be the space of k-th order linear differential operators on R: A=ak(x)dxkdk+⋯+a0(x). We study a natural 1-parameter family of $\Diff(\bf R)$- (and $\Vect(\bf R)$)-modules on Dk. (To define this family, one considers arguments of differential operators as tensor-d…
MoNODEs improve neural ODEs by separating dynamic states from static factors.
problem Learning non-linear dynamics with variations across trajectories.
method Introduces time-invariant modulator variables to separate dynamic states from static factors.
result Consistently improves model generalization and far-horizon forecasting.
The moduli space of jets of certain G-structures (basically those which admit a canonical linear connection) is shown to be isomorphic to the quotient of a natural G-module by G.
Let M be a smooth manifold, S the space of polynomial on fibers functions on T∗M (i.e., of symmetric contravariant tensor fields). We compute the first cohomology space of the Lie algebra, Vect(M), of vector fields on M with coefficients in the space of linear differential operators on S. This co…
Paper analyzes why deeper layers of ViTs perform worse on out-of-distribution tasks.
problem Performance degradation of intermediate layers in ViTs under distribution shift.
method Extensive linear probing experiments across various benchmarks and fine-grained analysis of transformer modules.
result Probing feedforward network activations yields best performance under significant distribution shift.
Three definitions of graded vector bundles are shown to be equivalent.
problem Defining graded vector bundles in three different ways.
method Equivalence of categories among sheaves, graded modules, and locally trivial graded manifolds.
result All three approaches to graded vector bundles are equivalent.
In this paper we introduce a new algebraic device, which enables us to treat the quaternions as though they were a commutative field. This is of interest both for its own sake, and because it can be applied to develop an "algebraic geometry" of noncompact hypercomplex manifolds. The basic building blocks of the theory …
We find a presentation of symplectic Steinberg modules and show vanishing cohomology for certain groups.
problem Cohomology vanishing for specific groups and modules.
method Presented a symplectic Steinberg module and used it to prove cohomology vanishing.
result Cohomology of Sp2n(Z) vanishes in a specific degree for n≥2. This paper presents a new Graph Neural Network (GNN) type using feature-wise linear modulation (FiLM). Many standard GNN variants propagate information along the edges of a graph by computing "messages" based only on the representation of the source of each edge. In GNN-FiLM, the representation of the target node of an…
Signature uniquely identifies piecewise linear surfaces up to thin homotopy.
problem Characterizing piecewise linear surfaces up to equivalence.
method Crossed module of piecewise linear surfaces and signature homomorphism.
result Signature uniquely characterizes surfaces up to translation and thin homotopy.
The paper classifies symbols of differential operators on vector bundles.
problem Classifying symbols of linear differential operators on vector bundles.
method Associated tuples of linear operators to non-degenerate symbols and used C. Procesi's results to find rational invariants and equivalence criteria.
result Generators for rational invariants and a criterion for symbol equivalence.
New algebraic framework for studying surfaces in 3-manifolds.
problem Understanding incompressible surfaces in 3-manifolds.
method Defining Bar-Natan modules and functors from Frobenius algebras.
result Geometric content of Bar-Natan modules is presented via tunneling graphs.
Paper introduces Modular Jets for diagnosing model decompositions in pipelines.
problem Evaluating model decompositions in pipelines for unique identification.
method Estimates empirical jets from module-level representations to diagnose mirage vs identifiable decompositions.
result Proves jet-identifiability theorem for two-module linear regression pipelines.
We describe in this chapter (Chapter IX) the idea of building an algebraic topology based on knots (or more generally on the position of embedded objects). That is, our basic building blocks are considered up to ambient isotopy (not homotopy or homology). For example, one should start from knots in 3-manifolds, surface…
Study of 2d gauged linear sigma models to derive difference equations and spectral data.
problem Understanding monopole solutions and their spectral data in 2d gauged models.
method Analyzing ground states and cohomology of supercharges to derive difference modules and equations.
result Derived novel difference equations for brane amplitudes and hemisphere partition functions.
We introduce a technique for proving quantitative representation stability theorems for sequences of representations of certain finite linear groups over a field of characteristic zero. In particular, we prove a vanishing result for higher syzygies of VIC- and SI-modules, which can be thought of as a weaker version of …
Study perturbs Dirac operators in any dimension, focusing on Majorana fermions.
problem Understanding perturbations of Dirac operators in various dimensions.
method Analyzes canonical perturbations of Dirac operators on Hermitian Clifford modules.
result Characterizes the low-energy spectrum of these operators on complete surfaces.
B-cos transformers explain Vision Transformers' decisions.
problem Lack of holistic explanations for transformer outputs.
method Formulate each component as dynamic linear, allowing a single linear transform for summarization.
result Bcos-ViTs are highly interpretable and competitive on ImageNet.
Over the (1,n)-dimensional real supercircle, we consider the K(n)-modules of linear differential operators, Dλ,μn, acting on the superspaces of weighted densities, where K(n) is the Lie superalgebra of contact vector fields. We give, in contrast to the classical setting, a classif…
Modulating masks improve lifelong reinforcement learning.
problem Catastrophic forgetting and task interference in lifelong reinforcement learning.
method Adapted modulating masks for deep lifelong reinforcement learning (LRL) with PPO and IMPALA agents.
result Superior performance in both discrete and continuous RL tasks compared to LRL baselines.
A sequence of rational functions in a variable q is q-holonomic if it satisfies a linear recursion with coefficients polynomials in q and qn. We prove that the degree of a q-holonomic sequence is eventually a quadratic quasi-polynomial. Our proof uses differential Galois theory (adapting proofs regarding hol…
AReLU uses attention-based rectification to improve neural network performance.
problem Improving neural network performance through better activation functions.
method Integrates attention mechanism with rectified linear unit (ReLU) to learn and scale feature maps.
result AReLU significantly boosts performance of most network architectures with minimal changes.
We show, finitely generated rational VICQ-modules and SIQ-modules are uniformly representation stable and all their submodules are finitely generated. We use this to prove two conjectures of Church and Farb, which state that the quotients of the lower central series of the To…
We construct an action of the free group Fn on the homotopy category of projective modules over a finite dimensional zigzag algebra. The main theorem in the paper is that this action is faithful. We describe the relationship between homotopy classes of paths in the punctured disc and complexes of projective zigzag m…
OLinear forecasts time series more efficiently by transforming data orthogonally.
problem Efficiently forecasting time series with entangled dependencies.
method OLinear uses OrthoTrans to transform data orthogonally, then applies NormLin for linear layer.
result OLinear achieves state-of-the-art performance with high efficiency.
Defines a filtration on variational bicomplex for concise functional form conditions.
problem Expressing functional form vanishing conditions concisely.
method Introduces a filtration on the variational bicomplex and studies its properties.
result Graded components of the filtration inherit module structures, simplifying functional form conditions.
New characterization of vector bundles using Lie algebras of symbols.
problem Characterizing vector bundles using algebraic structures.
method Analyzing Lie algebras of symbols of linear operators on vector bundles.
result Improved Lie algebraic characterization of vector bundles.
We introduce a 1-cocycle on the group of diffeomorphisms Diff(M) of a smooth manifold M endowed with a projective connection. This cocycle represents a nontrivial cohomology class of $\Diff(M)$ related to the Diff(M)-modules of second order linear differential operators on M. In the one-dimensional case, this c…
Developed a theory of stated SL(n)-skein modules for 3-manifolds.
problem Understanding the algebraic structure of 3-manifolds marked with intervals.
method Introduced and studied SL(n)-skein modules and algebras of 3-manifolds, proving homomorphisms and algebra properties.
result Skein algebra of thickened surfaces is isomorphic to Oq(SL(n)) and provides geometric interpretations of quantum group structures.