English
Related papers

Related papers: Signature-Based Gr\"obner Basis Algorithms --- Ext…

200 papers

Matrix Graph Grammars (MGG) is a novel approach to the study of graph dynamics ([15]). In the present contribution we look at MGG as a formal grammar and as a model of computation, which is a necessary step in the more ambitious program of…

Discrete Mathematics · Computer Science 2009-11-16 Pedro Pablo Perez Velasco

In the field of algebraic systems biology, the number of minimal polynomial models constructed using discretized data from an underlying system is related to the number of distinct reduced Gr\"obner bases for the ideal of the data points.…

Algebraic Geometry · Mathematics 2024-11-19 Anyu Zhang , Brandilyn Stigler

These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…

Number Theory · Mathematics 2018-09-14 Gabor Wiese

We consider ideals involving the maximal minors of a polynomial matrix. For example, those arising in the computation of the critical values of a polynomial restricted to a variety for polynomial optimisation. Gr\"obner bases are a…

Commutative Algebra · Mathematics 2022-03-21 Alin Bostan , Jérémy Berthomieu , Andrew Ferguson , Mohab Safey El Din

In this paper we propose a method to construct logarithmic signatures which are not amalgamated transversal and further do not even have a periodic block. The latter property was crucial for the successful attack on the system MST3 by…

Cryptography and Security · Computer Science 2011-04-26 Barbara Baumeister , Jan de Wiljes

Modern distribution matching algorithms for training diffusion or flow models directly prescribe the time evolution of the marginal distributions between two boundary distributions. In this work, we consider a generalized distribution…

Many systems of interest in cryptography consist of equations of the same degree. Under the assumption that the degree of regularity is finite, we prove upper bounds on the degree of regularity of a system of equations of the same degree,…

Cryptography and Security · Computer Science 2026-02-02 Giulia Gaggero , Elisa Gorla

In this paper we consider systems of partial (multidimensional) linear difference equations. Specifically, such systems arise in scientific computing under discretization of linear partial differential equations and in computational high…

Symbolic Computation · Computer Science 2007-05-23 V. P. Gerdt

We present an implementation of the algorithm for computing Groebner bases for operads due to the first author and A. Khoroshkin. We discuss the actual algorithms, the choices made for the implementation platform and the data…

Symbolic Computation · Computer Science 2010-08-27 Vladimir Dotsenko , Mikael Vejdemo-Johansson

We prove the existence of a new algorithm for 3-sphere recognition based on Groebner basis methods applied to the variety of $\text{\em SL}(2,\C)$-representation of the fundamental group. An essential input is a recent result of the second…

Geometric Topology · Mathematics 2016-10-17 Michael Heusener , Raphael Zentner

The new type of ideal basis introduced herein constitutes a compromise between the Gr\"obner bases based on the Buchberger's algorithm and the characteristic sets based on the Wu's method. It reduces the complexity of the traditional…

Symbolic Computation · Computer Science 2022-02-22 Sheng-Ming Ma

We propose a novel hybrid quantum-classical approach to calculate Graver bases, which have the potential to solve a variety of hard linear and non-linear integer programs, as they form a test set (optimality certificate) with very appealing…

Quantum Physics · Physics 2019-02-13 Hedayat Alghassi , Raouf Dridi , Sridhar Tayur

These lecture notes are a personal introduction to signed graphs, concentrating on the aspects that have been most persistently interesting to me. They are just a few corners of signed graph theory; I am leaving out a great deal. The…

Combinatorics · Mathematics 2016-10-18 Thomas Zaslavsky

Signed networks are graphs whose edges are labelled with either a positive or a negative sign, and can be used to capture nuances in interactions that are missed by their unsigned counterparts. The concept of balance in signed graph theory…

Social and Information Networks · Computer Science 2020-02-04 Bruno Ordozgoiti , Antonis Matakos , Aristides Gionis

Majorization-minimization (MM) is a family of optimization methods that iteratively reduce a loss by minimizing a locally-tight upper bound, called a majorizer. Traditionally, majorizers were derived by hand, and MM was only applicable to a…

Optimization and Control · Mathematics 2023-08-24 Matthew Streeter

Traditional network analysis focuses on binary edges, while real-world relationships are more nuanced, encompassing cooperation, neutrality, and conflict. The rise of negative edges in social media discussions spurred interest in analyzing…

Social and Information Networks · Computer Science 2026-02-03 Marc Schalberger , Cornelius Fritz

The Reduced Basis Method (RBM) is a rigorous model reduction approach for solving parametrized partial differential equations. It identifies a low-dimensional subspace for approximation of the parametric solution manifold that is embedded…

Numerical Analysis · Mathematics 2018-09-25 Yanlai Chen , Jiahua Jiang , Akil Narayan

Distributed-memory matrix multiplication (MM) is a key element of algorithms in many domains (machine learning, quantum physics). Conventional algorithms for dense MM rely on regular/uniform data decomposition to ensure load balance. These…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-04-21 Justus A. Calvin , Edward F. Valeev

-The fluctuation effect of gradient expectation and variance caused by parameter update between consecutive iterations is neglected or confusing by current mainstream gradient optimization algorithms. The work in this paper remedy this…

Machine Learning · Statistics 2021-10-08 Aixiang Chen

The concept of signatures and expected signatures is vital in data science, especially for sequential data analysis. The signature transform, a Cartan type development, translates paths into high-dimensional feature vectors, capturing their…

Machine Learning · Statistics 2025-05-12 Peter K. Friz , Paul P. Hager , Nikolas Tapia