In this study we introduce a new technique for symbolic regression that guarantees global optimality. This is achieved by formulating a mixed integer non-linear program (MINLP) whose solution is a symbolic mathematical expression of minimum complexity that explains the observations. We demonstrate our approach by redis…
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
48 results for “global symbols”
Global propagator for massless Dirac operator defined and analyzed.
problem Analyzing the massless Dirac operator on 3-manifolds.
method Constructing propagator as sum of oscillatory integrals, providing global definitions and small time expansions.
result Explicit calculation of propagators' symbols and coefficients in eigenvalue counting functions.
Pseudo-differential operators on Homogeneous vector bundles over compact homogeneous manifoldsmath.AP
Develops global pseudo-differential calculus on homogeneous vector bundles.
problem Global theory of subelliptic pseudo-differential operators on homogeneous vector bundles.
method Global symbolic calculus, complex functional calculus, Hörmander system of vector-fields.
result Global pseudo-differential calculus on homogeneous vector bundles.
Global homotopies upgrade classical map in differential geometry.
problem Upgrade classical Hochschild-Kostant-Rosenberg map to a deformation retract.
method Combining symbol calculus and coalgebraic van Est theorem.
result Develop deformation retracts in various settings.
A hybrid algorithm combines optimization and enumeration for symbolic regression.
problem Finding any function from a set of operators without prior specification.
method Mixed-integer nonlinear optimization with explicit enumeration and constraints.
result The hybrid algorithm is competitive with state-of-the-art methods.
Global analysis of Dixmier traces and Wodzicki residues on compact Lie groups.
problem Computing Dixmier traces and Wodzicki residues on compact Lie groups.
method Global quantisation approach, using global symbols and representation theory.
result Explicit formulae for Dixmier traces and Wodzicki residues on compact Lie groups.
FIGARO generates symbolic music with fine-grained control.
problem Minimal control over generated music sequences.
method Description-to-sequence task, learning conditional distribution of sequences given high-level descriptions.
result State-of-the-art controllable symbolic music generation.
The paper studies boundedness of pseudo-differential operators on smooth manifolds.
problem Boundedness of pseudo-differential operators in - spaces on smooth manifolds.
method Using global symbols and extending Hörmander's condition, the paper investigates -boundedness, - estimates, and - boundedness for Fourier multipliers and pseudo-differential operators.
result The paper proves - boundedness for the range .
We study the propagator of the wave equation on a closed Riemannian manifold . We propose a geometric approach to the construction of the propagator as a single oscillatory integral global both in space and in time with a distinguished complex-valued phase function. This enables us to provide a global invariant defi…
Atoms meet symbolsmath.AG
Unified approach to invariants in equivariant geometry.
problem Constructing invariants in -equivariant birational geometry.
method Combining atom theory and modular symbols.
result Developed new geometric invariants for orbifolds and surfaces.
Study evaluates clustering methods for Google Trends data.
problem Clustering high-dimensional, noisy time series data.
method Symbolic Aggregate Approximation (SAX), Enhanced SAX (eSAX), and Topological Data Analysis (TDA).
result TDA provides more balanced and meaningful groupings than SAX and eSAX.
In this paper we give formulae for the Dixmier trace and the noncommutative residue (also called Wodzicki's residue) of pseudo-differential operators by using the notion of global symbol. We consider both cases, compact manifolds with or without boundary. Our analysis on the Dixmier trace of invariant pseudo-differenti…
The classical Getzler rescaling theorem is extended to the transverse geometry of foliations. More precisely, a Getzler rescaling calculus, as well as a Block-Fox calculus of asymptotic operators, is constructed for all transversely spin foliations. This calculus applies to operators of degree globally times degree…
This work analyzes tree-based methods from a ranking perspective, providing insights and new statistics.
problem Understanding the effectiveness of tree-based methods in finite-sample settings, especially symbolic feature selection.
method Local ranking perspective, finite-sample analysis, oracle bounds, posterior contraction results, concordant divergence statistics.
result New insights and statistics for evaluating symbolic feature mappings.
ECSEL learns signomial equations for explainable classification.
problem Creating interpretable models for classification.
method ECSEL constructs signomial equations directly for classification and explanation.
result ECSEL outperforms state-of-the-art methods in interpretability and efficiency.
The existence of a natural and projectively invariant quantization in the sense of P. Lecomte [Progr. Theoret. Phys. Suppl. (2001), no. 144, 125-132] was proved by M. Bordemann [math.DG/0208171], using the framework of Thomas-Whitehead connections. We extend the problem to the context of supermanifolds and adapt M. Bor…
Humans are capable of building holistic representations for images at various levels, from local objects, to pairwise relations, to global structures. The interpretation of structures involves reasoning over repetition and symmetry of the objects in the image. In this paper, we present the Program-Guided Image Manipula…
Researchers compute Wodzicki residue for pseudo-differential operators on compact Lie groups.
problem Computing the Wodzicki residue for pseudo-differential operators on compact Lie groups.
method Analytic continuation of traces and matrix-valued symbols.
result Main theorem complementary to [2], removing ellipticity hypothesis.
P3I learns holistic scene representations from a single image.
problem Inferring camera poses, object locations, and global scene structures from a single image.
method Combines search-based and gradient-based algorithms.
result P3I outperforms baselines on various image manipulation tasks.
We consider the problem of learning high-level controls over the global structure of generated sequences, particularly in the context of symbolic music generation with complex language models. In this work, we present the Transformer autoencoder, which aggregates encodings of the input data across time to obtain a glob…
VaSST uses soft symbolic trees for probabilistic symbolic regression.
problem Efficiently recover symbolic expressions from noisy data.
method Variational inference with soft symbolic trees.
result Superior performance in structural recovery and predictive accuracy.
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…
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.
Reinforcement learning and symbolic planning have both been used to build intelligent autonomous agents. Reinforcement learning relies on learning from interactions with real world, which often requires an unfeasibly large amount of experience. Symbolic planning relies on manually crafted symbolic knowledge, which may …
Equivalence of second order differential operators in vector bundles studied.
problem Equivalence problem for second order linear differential operators in vector bundles.
method Description of rational invariants of symbols, finding connections associated with differential operators.
result Solving problems of local and global equivalency of differential operators.
For an arbitrary Riemannian manifold and Hermitian vector bundles and over we define the notion of the normal symbol of a pseudodifferential operator from to . The normal symbol of is a certain smooth function from the cotangent bundle to the homomorphism bundle and dep…
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…
Pragmatic Curiosity: A Unified Framework for Hybrid Learning and Optimization via Active Inferencecs.LG
Unified framework for hybrid learning and optimization via active inference.
problem Sequential decisions in black-box evaluations requiring both task improvement and uncertainty reduction.
method Pragmatic Curiosity (PraC) framework that evaluates queries by balancing information gain and pragmatic value.
result Unified approach reduces decision risk and improves coverage of critical regions without task-specific rules.
On mod 3 triple Milnor invariants and triple cubic residue symbols in the Eisenstein number fieldmath.NT
We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field , following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and Rédei's triple symbol, and describes the decomposition…
A formula for Rademacher symbols in triangle groups is provided.
problem No specific problem stated; focuses on a mathematical formula.
method Presentation of an explicit formula for Rademacher symbols.
result Generalizes Ghys' proof of modular knot linking numbers.
The symbolic dynamics technique is well-known for low-dimensional dynamical systems and chaotic maps, and lies at the roots of the thermodynamic formalism of dynamical systems. Here we show that this technique can also be successfully applied to time series generated by complex systems of much higher dimensionality. Ou…
Complex - symbols relate to hyperbolic tetrahedron volumes and determinants.
problem Analyzing asymptotics of complex - symbols.
method Relating asymptotics to hyperbolic tetrahedron volumes and determinants.
result Complex - symbols' asymptotics linked to tetrahedron volumes and determinants.
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…
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.
Symbolic regression finds simple formulas for implied volatility.
problem Discovering accurate parametric representations for implied volatility.
method Symbolic regression to find analytic formulas from market data.
result Symbolic regression identifies compact parametrizations with competitive fitting performance.
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.
Introduces canonical connections for sub-Riemannian manifolds with constant symbol.
problem Equivalence problem in sub-Riemannian geometry.
method Introduces canonical grading and compatible affine connection.
result Completely computed structures for contact manifolds of constant symbol.
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.
ISR creates analytical relationships from data via invertible maps.
problem Creating analytical relationships from datasets.
method Combines INNs and EQL, using invertible maps and sparsity promoting regularization.
result ISR can serve as a normalizing flow for density estimation and solve inverse problems.
Bayesian symbolic regression uncovers missing physics from data with uncertainty quantification.
problem Incomplete knowledge of physical laws from experimental data.
method Bayesian symbolic regression using Reversible Jump Markov Chain Monte Carlo.
result Uncertainty quantification in recovered model structures.
SE-RRMs solve structured problems like Sudoku and ARC-AGI by enforcing symbol equivariance.
problem Structured reasoning problems like Sudoku and ARC-AGI.
method Symbol-equivariant recurrent reasoning models enforcing permutation equivariance.
result SE-RRMs outperform prior RRMs on 9x9 Sudoku and generalize to larger and smaller instances.