Paper introduces ABC-Net, a binary CNN that maintains high accuracy with reduced memory and power.
problem Accuracy loss in binary CNNs during inference.
method Approximating full-precision weights with binary bases and using multiple binary activations.
result ABC-Net achieves comparable prediction accuracy to full-precision CNNs, even on challenging datasets.
B-CP reduces knowledge graph model size by replacing real-valued embeddings with binary values.
problem Storage inefficiency in vector embeddings for large knowledge graphs.
method Binarized CANDECOMP/PARAFAC (B-CP) decomposition algorithm.
result B-CP reduces model size by more than an order of magnitude while maintaining task performance.
This paper automates the creation of low precision deep learning operators for mobile devices.
problem Deploying large deep learning models on low power devices is challenging due to limited compute capabilities and energy budgets.
method Introduces a workflow to generate high-performance low precision deep learning operators for multiple CPU architectures, including optimizations like memory tiling and vectorization.
result 1-bit and 2-bit convolutions achieve up to 16x and 2.3x speedups over 16-bit integer baselines on ARM Cortex-A53 CPU.
Quantized neural networks can improve robustness against adversarial attacks.
problem Adversarial attacks on neural networks with low-precision weights and activations.
method Proposed a third benefit of very low-precision neural networks: improved robustness against some adversarial attacks. Focused on weights and activations quantized to ±1, and conducted black-box and white-box experiments.
result Non-scaled binary neural networks can reduce the impact of iterative attacks, but do not artificially mask gradients.
A method to reduce knowledge graph embedding models by binarizing parameters.
problem Large memory requirements for tensor factorization models in knowledge graph completion.
method Introducing a quantization function to binarize parameters of CP tensor decomposition.
result Successfully reduced model size by more than an order of magnitude while maintaining task performance.
QNNs can't distinguish binary signals from their negations, revealing a new symmetry.
problem Understanding the behavior of QNNs in binary pattern classification.
method Presented and analyzed a new form of invariance (negational symmetry) in QNNs.
result QNNs cannot differentiate a quantum binary signal and its negational counterpart in binary classification tasks.
Midicoth compresses online probability estimates by correcting prior smoothing biases.
problem Compression inefficiency due to prior smoothing in adaptive models.
method Micro-diffusion denoising applied in a bitwise tree hierarchy.
result Significant compression improvement with reliable calibration.
We study the problem of nonparametric dependence detection. Many existing methods may suffer severe power loss due to non-uniform consistency, which we illustrate with a paradox. To avoid such power loss, we approach the nonparametric test of independence through the new framework of binary expansion statistics (BEStat…
Bit-slice sparsity improves ReRAM-based DNN acceleration.
problem Limited ADC power and area constraints in ReRAM-based DNN accelerators.
method Proposed bit-slice L1 algorithm to induce sparsity during training.
result 2x sparsity improvement compared to previous methods.
KineticSim accelerates financial market simulations 3406x over CPU.
problem Simulating financial markets at scale with multi-agent models is bottlenecked by sequential processing and GPU kernel overhead.
method Formalized and implemented a reusable parallel design pattern for iterative multi-agent reductions in thread-block shared memory.
result Achieved a peak throughput of over 54.7 billion agent-events per second, delivering 3406x speedup over CPU.
KineticSim: A lightweight, high-performance execution engine for real-time market simulators
problem Simulating financial markets at scale with multi-agent models
method Reusable parallel design pattern: persistent, state-carrying clearing for iterative multi-agent reductions
result Reduces per-step critical-path depth from Theta(L+A) to Theta(log L + ceil(A/L))
Optimizer memory affects learning rate sensitivity in shuffle order, impacting fine-tuning noise.
problem Optimizer memory affects the learning rate sensitivity in shuffle order, leading to fine-tuning noise.
method Isolated the mechanism of fixed-clock optimizer memory affecting the learning rate sensitivity in shuffle order, deriving a fit-free way to size the noise.
result Fixed-clock optimizers like AdamW produce a larger first-order noise channel compared to memoryless optimizers, affecting fine-tuning comparisons.
This paper completes the construction of arbitrary order conformally invariant differential operators in higher spin spaces. Jan Slovák has classified all conformally invariant differential operators on locally conformally flat manifolds. We complete his results in higher spin theory by giving explicit expressions for …
New boundary operators for sixth-order GJMS operator on manifolds.
problem Developing boundary operators for sixth-order GJMS operator.
method Conformally covariant boundary operators and fractional GJMS operators.
result New realization of fractional GJMS operators and Sobolev trace inequalities.
The paper connects eigenvalue problems for various operators and establishes inequalities and asymptotic formulas for heat traces.
problem Eigenvalue problems and heat trace asymptotics for different operators.
method Establishes connections and inequalities for eigenvalues and heat traces.
result Eigenvalue inequalities and three-term asymptotic formulas for heat traces of various operators.
Introduces a new elliptic operator with positive eigenvalue.
problem None explicitly stated in the abstract.
method Introduces a new elliptic operator called the two-radical Laplace operator.
result The eigenvalue of the new operator is the positive square root of the Laplace operator's eigenvalue.
Proves Kato inequalities for various conformal operators.
problem Proving inequalities for differential operators.
method Analyzes a class of first order differential operators, including Dirac and Penrose twistor operators.
result Derives Kato inequalities that interpolate between classical and refined versions.
We describe a set of conformally covariant boundary operators associated to the Paneitz operator, in the sense that they give rise to a conformally covariant energy functional for the Paneitz operator on a compact Riemannian manifold with boundary. These operators naturally give rise to a first- and third-order conform…
Study on biharmonic hypersurfaces with specific recurrent operators in Euclidean space.
problem Characterizing biharmonic hypersurfaces with recurrent operators.
method Analysis of various recurrent operators and their impact on biharmonic hypersurfaces.
result Some well-known recurrent operators play a significant role in making biharmonic hypersurfaces minimal.
Local index theorem for chiral geometric operators proved using heat kernel.
problem Proving a local index theorem for geometric first-order differential operators.
method Using Gilkey's invariance theory and heat kernel techniques.
result Supertrace of heat kernel converges to Chern-Weil form.
Study estimates eigenvalues for concave Hessian operators on convex domains.
problem Estimating eigenvalues for concave elliptic Hessian operators.
method Investigates Dirichlet eigenvalue problem for a broad class of concave elliptic Hessian operators.
result Existence and properties of the first nonzero eigenvalue and eigenfunction.
The paper proves homotopy equivalences for spaces of unbounded Fredholm operators.
problem Spaces of unbounded Fredholm operators and their properties.
method Analyzing the spaces and proving homotopy equivalences.
result Natural maps between four spaces of unbounded Fredholm operators are homotopy equivalences.
Standard Laplace operator extends Hodge and Casimir operators to broader geometric contexts.
problem Extending Laplace operator to vector bundles and Riemannian manifolds.
method Functorial approach, showing commutation with homomorphisms and differential operators.
result Standard Laplace operator commutes with a wide range of differential operators.
GJMS operators connect geometry, analysis, and physics.
problem None explicitly stated; focus on operators and their impact.
method Construction of conformally invariant differential operators.
result GJMS operators have significant impact in geometry, analysis, and physics.
Extends Calabi operator to Riemannian locally symmetric spaces.
problem Local integrability conditions on Riemannian locally symmetric spaces.
method Generalizes Calabi operator to Riemannian locally symmetric spaces.
result Generalised operator works in irreducible case and fails in products.
Method uses neural networks to fit nonlinear operators from data.
problem Finding nonlinear integro-differential operators from data.
method Parametrizes spatial operator with neural networks and Fourier transforms.
result Can recover spatial operators in fractional heat and Kuramoto-Sivashinsky equations.
New spectral torsion defined for rescaled Dirac operators.
problem Defining spectral torsion for rescaled Dirac operators.
method Using three vector fields and noncommutative residue.
result Computed spectral torsion for one form rescaled Dirac operators.
Researchers create new operators from Riemannian invariants.
problem Developing new mathematical tools for Riemannian geometry.
method Introducing formally self-adjoint conformally covariant polydifferential operators.
result Found a fourth-order, conformally covariant tridifferential operator.
Proves formal self-adjointness of certain differential operators.
problem Verifying conjectures about differential operators.
method Proving formal self-adjointness through mathematical proof.
result Proves two conjectures about differential operators.
Constructs conformal boundary operators and fractional Laplacians.
problem Developing conformally invariant boundary operators and fractional Laplacians.
method Constructs continuously parametrised families of conformally invariant boundary operators on densities.
result Constructs odd-order conformally invariant fractional Laplacian pseudo-differential operators.
Study describes how operator properties depend on smoothness on surfaces.
problem Understanding operator properties on surfaces with Morse-Smale diffeomorphisms.
method Analyzes pseudodifferential operators and shift operators on closed smooth surfaces.
result Fredholm property of operators depends on Sobolev smoothness exponent.
The paper proves new theorems about specific types of operator perturbations.
problem Analyzing conformal perturbations of Dirac and signature operators.
method Developed Kastler-Kalau-Walze type theorems for specific operator types.
result Established new theorems for six-dimensional manifolds with boundary.
Extends index theorem to uniformly elliptic operators on manifolds.
problem Generalizing index theorem to uniformly elliptic operators.
method Local index theorem on manifolds of bounded geometry.
result Validates multigraded elliptic uniform pseudodifferential operators.
Study of Dirac-like operators on spin manifolds with large mass parameters.
problem Understanding spectra of Dirac-like operators with piecewise constant mass terms.
method Analysis of asymptotic regimes to derive effective operators.
result Extension of MIT Bag operator concept to spin geometry.
New reinforcement learning operators improve performance and robustness.
problem Improving reinforcement learning algorithms to handle approximation errors.
method Developed a new family of robust stochastic operators.
result Preserves optimality and increases action gap on sample paths.
The study proves inequalities for complex operators on curved spaces.
problem Establishing inequalities for nonlocal operators on curved spaces.
method Defining and analyzing nonlocal Pucci operators on manifolds with nonnegative sectional curvatures, proving Harnack inequalities and Holder estimates.
result Harnack inequalities and Holder estimates for nonlocal operators on manifolds with nonnegative sectional curvatures.
Study essential spectrum of differential operators on geometrically finite orbifolds.
problem Analyzing the essential spectrum of differential operators over specific geometric structures.
method Investigates first order and Laplace type elliptic differential operators on Riemannian vector bundles over geometrically finite orbifolds.
result Discovers properties of essential spectra for these operators.
Mixtures of neural operators reduce active complexity in operator learning.
problem Reduction of active complexity in operator learning models.
method Constructive comparison between routed mixtures of neural operators (MoNOs) and a fixed single-neural-operator construction.
result Every scalar uniformly continuous nonlinear operator can be approximated by a MoNO whose active expert has smaller depth, width, and rank scaling.
Study on opers over complex manifolds of dimension one.
problem Investigating opers over complex manifolds of dimension one.
method Introducing relative opers and differential operators, analyzing their equivalence.
result Bijective correspondence between relative opers and differential operators.
Formula for Hadamard coefficients from Green's operators on spacetimes.
problem Calculating Hadamard coefficients from Green's operators on spacetimes.
method Developed formulas for diagonal values and integrals over the diagonal of Hadamard coefficients.
result Formulated analogues of Hadamard expansions and resolvents for Green's operators.
Identifies Lorentzian locally symmetric spaces where Calabi operator suffices to determine Killing operator range.
problem Determining when the Calabi operator can identify the range of the Killing operator in Lorentzian locally symmetric spaces.
method Developed criteria for a connection to be in the range of a connection, applied to the Killing connection.
result For indecomposable spaces, the Calabi operator suffices to identify the range of the Killing operator; for products, it fails.
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.
Improved VQA accuracy with generalized fusion operators.
problem Enhancing multimodal fusion for better VQA performance.
method Generalized Hadamard-Product fusion operators with Nonlinearity Ensembling, Feature Gating, and post-fusion layers.
result 1.1% absolute improvement on VQA 2.0 test-dev set.
Method calculates spectra of Rarita-Schwinger operator on symmetric spaces.
problem Calculating spectra of the Rarita-Schwinger operator on compact symmetric spaces.
method Using Weitzenböck formulas, Laplace operator, Casimir operator, Freudenthal's formula, and branching rules.
result Obtained spectra on the sphere, complex projective space, and quaternionic projective space.
Study pseudo-differential operators on compact Lie groups using symbols and functional calculus.
problem Analytical index of pseudo-differential operators on compact Lie groups.
method Use operator-valued symbols and McKean-Singer index formula with operator-valued functional calculus.
result Developed tools for calculating the index of pseudo-differential operators.
Paper generalizes paracomposition and change of variables for paradifferential operators.
problem Generalizing paracomposition and change of variables for paradifferential operators in low regularity settings.
method Drops diffeomorphism hypothesis, estimates in Sobolev and Zygmund spaces, discusses pull-back of pseudodifferential and paradifferential operators.
result Sharp estimates for composition in Sobolev and Zygmund spaces, change of variables in paradifferential operators.
The paper revisits and analyzes the tmd-operator in almost Kähler manifolds.
problem Constructing an elliptic operator analogous to the ∂∂ operator in complex or Kähler manifolds.
method Local analysis estimates and demonstration using the Atiyah-Hitchin-Singer operator.
result Every d-exact (1,1)-form is globally tmd-exact for compact taming symplectic 4-manifolds.
Researchers create a family of conformally covariant operators.
problem Developing a comprehensive set of conformally covariant operators.
method Constructing a family of conformally covariant tridifferential operators as tangential operators in the Fefferman--Graham ambient space.
result Symmetrization of ambient operators is formally self-adjoint.