English
Related papers

Related papers: A Majorization Order on Monomials and Termination …

200 papers

In this paper, a sorting technique is presented that takes as input a data set whose primary key domain is known to the sorting algorithm, and works with an time efficiency of O(n+k), where k is the primary key domain. It is shown that the…

Data Structures and Algorithms · Computer Science 2007-05-23 Udayan Khuarana

We develop a combinatorial approach to the study of semigroups and monoids with finite presentations satisfying small overlap conditions. In contrast to existing geometric methods, our approach facilitates a sequential left-right analysis…

Rings and Algebras · Mathematics 2007-12-04 Mark Kambites

Characterizations of the star, minus and diamond orders of operators are given in various contexts and the relationship between these orders is made more transparent. Moreover, we introduce a new partial order of operators which provides a…

Functional Analysis · Mathematics 2022-07-06 M. Laura Arias , Alejandra Maestripieri

Max-norm regularizer has been extensively studied in the last decade as it promotes an effective low-rank estimation for the underlying data. However, such max-norm regularized problems are typically formulated and solved in a batch manner,…

Machine Learning · Statistics 2016-05-17 Jie Shen , Huan Xu , Ping Li

Finite discrete-time dynamical systems (FDDS) model phenomena that evolve deterministically in discrete time. It is possible to define sum and product operations on these systems (disjoint union and direct product, respectively) giving a…

Discrete Mathematics · Computer Science 2025-02-05 François Doré , Kévin Perrot , Antonio E. Porreca , Sara Riva , Marius Rolland

In this paper we investigate the modulus of continuity of differential operator of order $k$, $k\in\mathbb{N}$, on the classes of functions defined on half-line that have positive non-increasing continuous majorants of functions and their…

Functional Analysis · Mathematics 2021-12-01 Vladyslav Babenko , Oleh Kovalenko

This article characterizes the rank-one factorization of auto-correlation matrix polynomials. We establish a sufficient and necessary uniqueness condition for uniqueness of the factorization based on the greatest common divisor (GCD) of…

Numerical Analysis · Mathematics 2023-08-30 Konstantin Usevich , Julien Flamant , Marianne Clausel , David Brie

A sharp bound is obtained for the number of ways to express the monomial $X^n$ as a product of linear factors over $\mathbb{Z}/p^{\alpha}\mathbb{Z}$. The proof relies on an induction-on-scale procedure which is used to estimate the number…

Number Theory · Mathematics 2017-11-16 Jonathan Hickman , James Wright

A $k$-submodular function is a generalization of the submodular set function. Many practical applications can be modeled as maximizing a $k$-submodular function, such as multi-cooperative games, sensor placement with $k$ type sensors,…

Combinatorics · Mathematics 2023-12-13 Hongyang Zhang , Wenchang Luo

We give the first algorithm for Matrix Completion whose running time and sample complexity is polynomial in the rank of the unknown target matrix, linear in the dimension of the matrix, and logarithmic in the condition number of the matrix.…

Machine Learning · Computer Science 2014-07-16 Moritz Hardt , Mary Wootters

Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…

Logic · Mathematics 2021-05-27 Deacon Linkhorn

Expanding upon the arguments of Sharpe, we explicitly implement the Symanzik improvement program demonstrating the absence of order $a$ terms in the staggered fermion action. We propose a general program to improve fermion operators to…

High Energy Physics - Lattice · Physics 2015-06-25 Yubing Luo

We consider stopping criteria that balance algebraic and discretization errors for the conjugate gradient algorithm applied to high-order finite element discretizations of Poisson problems. Firstly, we introduce a new stopping criterion…

Numerical Analysis · Mathematics 2024-08-06 Yichen Guo , Eric de Sturler , Tim Warburton

Residuation theory concerns the study of partially ordered algebraic structures, most often monoids, equipped with a weak inverse for the monoidal operator. One of its area of application has been constraint programming, whose key…

Logic in Computer Science · Computer Science 2021-03-12 Fabio Gadducci , Francesco Santini

Weighted finite-state machines are a fundamental building block of NLP systems. They have withstood the test of time -- from their early use in noisy channel models in the 1990s up to modern-day neurally parameterized conditional random…

Computation and Language · Computer Science 2023-09-29 Ran Zmigrod , Tim Vieira , Ryan Cotterell

Suffix sort plays a critical role in various computational algorithms including genomics as well as in frequently used day to day software applications. The sorting algorithm becomes tricky when we have lot of repeated characters in the…

Data Structures and Algorithms · Computer Science 2022-10-05 Kunal Chowdhury

In many practical applications, heuristic or approximation algorithms are used to efficiently solve the task at hand. However their solutions frequently do not satisfy natural monotonicity properties of optimal solutions. In this work we…

Machine Learning · Computer Science 2020-03-24 Evangelia Gergatsouli , Brendan Lucier , Christos Tzamos

For a simple, normal and finite extension of a valued field, we prove that we can related the order of the ramification group of the field extension and the set of key polynomials associated to the extension of the valuation. More…

Algebraic Geometry · Mathematics 2016-02-29 Jean-Christophe San Saturnino

We study a sorting machine consisting of two stacks in series where the first stack has the added restriction such that entries in the stack must be in decreasing order from top to bottom. We give the basis of the class of permutations that…

Combinatorics · Mathematics 2013-01-30 Rebecca Smith

One tuple of probability vectors is more informative than another tuple when there exists a single stochastic matrix transforming the probability vectors of the first tuple into the probability vectors of the other. This is called matrix…

Statistics Theory · Mathematics 2024-04-26 Muhammad Usman Farooq , Tobias Fritz , Erkka Haapasalo , Marco Tomamichel