Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,742 papers · 148 categories

Trend · papers per month

22436586 · Jun 202619922001200920172026
48 results for symbolic identities

Researchers solved a number-theoretic hypothesis to determine the spin parity of k-differentials.

problem Determining the spin parity of k-differentials on Riemann surfaces of genus zero and one.
method Proved a number-theoretic hypothesis (Conjecture A.10) by reformulating it in terms of Jacobi symbols and reducing it to a combinatorial identity.
result The spin parity of k-differentials on Riemann surfaces of genus zero and one was completely determined.

We discuss algebraic properties for the symbols of geometric first order differential operators on almost Hermitian manifolds and Kähler manifolds. Through study on the universal enveloping algebra and higher Casimir elements, we know algebraic relations for the symbols like the Clifford algebra. From the relations, we…

2002-07-03abs ↗pdf ↗

The paper explores the pentagon relation and its algebraic forms.

problem Exploring the pentagon relation and its various forms.
method Starting with geometric form, then algebraic form as a family of equations, deriving equivalent forms using 6j-symbols, and extracting solutions from modular categories.
result Extracting a solution of the pentagon relation from any modular category.

We consider the following construction of quantization. For a Riemannian manifold MM the space of forms on TMT^*M is made into a space of (full) symbols of operators acting on forms on MM. This gives rise to the composition of symbols, which is a deformation of the (``super'')commutative multiplication of forms. The …

1998-09-23abs ↗pdf ↗

Paper introduces a new symbol map for differential symmetry breaking operators.

problem Generalizing the symbol map to non-abelian settings.
method Introduces and studies the truncated symbol map Symb0(D)\mathrm{Symb}_0(\mathbb{D}).
result Classified and constructed differential intertwining operators and homomorphisms.

The purpose of this paper is to revisit the Bianchi identities existing for the Riemann and Weyl tensors in the combined framework of the formal theory of systems of partial differential equations (Spencer cohomology, differential systems, formal integrability) and Algebraic Analysis (homological algebra, differential …

2016-03-16abs ↗pdf ↗

New algorithm learns mixtures of any constant number of Gaussians robustly.

problem Learning mixtures of Gaussians with robustness guarantees.
method New method using differential operations on generating functions to prove polynomial identifiability.
result First provably robust algorithm for mixtures of any constant number of Gaussians.

EPSTE: A geometric token and deep learning approach to estimating transfer entropy in neuroimaging time series

problem Inferring directed interactions between neural systems from EEG and MEG
method Reframing TE estimation as a learnable problem operating on structured symbolic representations
result EPSTE achieves near-perfect recovery of ground-truth directed structure and significantly lower absolute error than the baseline

We consider an elliptic self-adjoint first order differential operator acting on pairs (2-columns) of complex-valued half-densities over a connected compact 3-dimensional manifold without boundary. The principal symbol of our operator is assumed to be trace-free. We study the spectral function which is the sum of squar…

2012-09-16abs ↗pdf ↗

The consequences for Berezin's quantization on symmetric spaces of the identity of the set of coherent vectors orthogonal to a fixed one with the cut locus are stated precisely. It is shown that functions expressing the coherent states, the covariant symbols of operators, the diastasis function, the characteristic and …

1997-07-31abs ↗pdf ↗

We provide evidence for the conjecture that the Wodzicki-Chern classes vanish for all bundles with the group Z of invertible zeroth order pseudodifferential operators as structure group. In particular, we prove this vanishing if the structure group reduces to pseudodifferential operators with leading order symbol the i…

2010-03-01abs ↗pdf ↗

We consider an elliptic self-adjoint first order pseudodifferential operator acting on columns of m complex-valued half-densities over a connected compact n-dimensional manifold without boundary. The eigenvalues of the principal symbol are assumed to be simple but no assumptions are made on their sign, so the operator …

2012-04-30abs ↗pdf ↗

We review the representation theory of the quantum group Uεsl2CU_εsl_2\mathbb{C} at a root of unity εε of odd order, focusing on geometric aspects related to the 3-dimensional quantum hyperbolic field theories (QHFT). Our analysis relies on the quantum coadjoint action of De Concini-Kac-Procesi, and the theory of Heisenbe…

2011-01-18abs ↗pdf ↗

Simplified Ricci curvature for spherical fluid dynamics models.

problem Studying stability in incompressible fluid dynamics on a sphere.
method Definition and calculation of Ricci curvature for two-dimensional hydrodynamics using finite-dimensional Zeitlin models.
result Strong numerical evidence suggests convergence of finite-dimensional approximations to infinite-dimensional limit, indicating average instability for high-frequency modes.

We describe dimensionally constrained symbolic regression which has been developed for mass measurement in certain classes of events in high-energy physics (HEP). With symbolic regression, we can derive equations that are well known in HEP. However, in problems with large number of variables, we find that by constraini…

2011-06-20abs ↗pdf ↗

Paper closes neural-symbolic learning loop with grammar model and back-search algorithm.

problem Slow convergence in neural-symbolic learning due to error propagation issues.
method Introduces grammar model as symbolic prior and back-search algorithm for efficient error propagation.
result Significantly outperforms RL methods in performance, converging speed, and data efficiency.

For an arbitrary Riemannian manifold XX and Hermitian vector bundles EE and FF over XX we define the notion of the normal symbol of a pseudodifferential operator PP from EE to FF. The normal symbol of PP is a certain smooth function from the cotangent bundle TXT^*X to the homomorphism bundle Hom(E,F)Hom (E,F) and dep…

1996-12-11abs ↗pdf ↗

Based on the ideas of Optimal Control, we introduce the new basic characteristic of a bracket generating distribution, the Jacobi symbol. In contrast to the classical Tanaka symbol, the set of Jacobi symbols is discrete and classifiable. We give an explicit and unified algebraic procedure for the construction of the ca…

2016-10-29abs ↗pdf ↗

Symbolic knowledge in neural models can inadvertently make them more vulnerable to adversarial attacks.

problem Symbolic knowledge in neural models can make models more susceptible to adversarial attacks.
method Investigated deep probabilistic graphical models that incorporate symbolic knowledge and neural nets.
result Symbolic knowledge can propagate the negative effects of adversarial examples, making models more vulnerable.

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.

NeSS combines neural and symbolic approaches for better compositional generalization.

problem Lack of compositional generalization in deep learning models.
method NeSS uses a neural network to generate traces, executed by a symbolic stack machine with sequence manipulation.
result Achieves 100% generalization performance across multiple domains.

Defines transverse symbols for foliated manifolds and proves their K-homology class.

problem Transverse index theory for foliated manifolds.
method Using filtrations of tangent bundles, defining transverse symbols, and constructing equivariant KK-classes.
result Transversally Rockland operators yield a K-homology class and there is a Poincare duality result.

A new method for spotting symbols in CAD images reduces annotation costs and improves accuracy.

problem Challenging task of labeling symbols from CAD drawings.
method Pixel-wise point location via Progressive Gaussian Kernels (PGK) and local offset.
result The proposed method achieves good generalization on real-world CAD images.

Paper proposes a bijective approach for signal/symbol translation using variational auto-encoders.

problem Extracting symbolic information from signals, especially in music, is challenging and non-generic.
method Turned into a density estimation task, using two variational auto-encoders with additive constraint.
result Bijective signal/symbol translation achieved, allowing both signal-to-symbol and symbol-to-signal inference.

The Wodzicki residue and the cut-off integral extend to classical symbol-valued forms. We show that they obey a Stokes' type property and that the extended Wodzicki residue can be interpreted as a complex residue like the ordinary one. In the case of cut-off integrals, Stokes' property (i.e. vanishing on exact forms) o…

2005-10-21abs ↗pdf ↗

Bayesian symbolic regression automates model discovery from data.

problem Learning closed-form mathematical models from data using heuristic methods.
method Probabilistic approach to symbolic regression, connecting to information theory and statistical physics.
result Probabilistic approach provides model plausibility and performance guarantees.

Study shows how transformers classify symbols without naming them, proving a margin-versus-collision criterion.

problem How transformers classify symbols without naming them.
method Logistic classification analysis of transformer-kernel regime, colored collision graph.
result Decomposes learned predictor into ideal template-level classifier and finite-sample perturbation.

S2KAN integrates symbolic primitives into neural network activations for improved interpretability.

problem Training activations in KANs often lack symbolic fidelity, leading to unintelligible models.
method Softly Symbolified Kolmogorov-Arnold Networks (S2KAN) integrates symbolic primitives into training with learnable gates and a Minimum Description Length objective.
result S2KAN discovers interpretable forms when symbolic terms suffice, gracefully degrading to dense splines when necessary.

Symbolic LSTM improves time series forecasting by reducing hyperparameter sensitivity.

problem High sensitivity to hyperparameters and random initialization in numerical time series forecasting.
method Combining LSTM with a dimension-reducing symbolic representation.
result Symbolic representation alleviates forecasting problems and speeds up training.

Meta-learning symbolic default hyperparameters from dataset properties.

problem Empirical hyperparameter optimization is slow and requires manual configuration.
method Evolutionary algorithm to learn symbolic hyperparameter formulas from dataset properties.
result Meta-learning finds viable symbolic defaults for ML algorithms.

Quantum 6j6j-symbols linked to tetrahedra angles and volumes.

problem Understanding quantum 6j6j-symbols and their geometric interpretation.
method Establishing the geometric connection between quantum 6j6j-symbols and tetrahedra angles, including spherical, Euclidean, and hyperbolic cases.
result Quantum 6j6j-symbols correspond to dihedral angles of specific tetrahedra, including generalized hyperbolic ones, with exponential growth rates tied to their volumes.