English
Related papers

Related papers: A short note on reduced residues

200 papers

In this article, we provide upper and lower bounds for the growth rate of irreducible meanders. The obtained upper bound implies that the proportion of irreducible meanders among all of the prime meanders of order $n$ approaches $0$ as $n$…

Combinatorics · Mathematics 2021-12-21 Y. Belousov , A. Malyutin

We consider the problem of maximizing a non-monotone DR-submodular function subject to a cardinality constraint. Diminishing returns (DR) submodularity is a generalization of the diminishing returns property for functions defined over the…

Data Structures and Algorithms · Computer Science 2017-09-05 Ali Khodabakhsh , Evdokia Nikolova

We prove that for a positive integer $k$ the primes in certain kinds of intervals can not distribute too 'uniformly' among the reduced residue classes modulo $k$. Hereby, we prove a generalization of a conjecture of Recaman and establish…

Number Theory · Mathematics 2016-02-16 Christian Elsholtz , Niclas Technau , Robert Tichy

We study the termination of rewriting modulo a set of equations in the Calculus of Algebraic Constructions, an extension of the Calculus of Constructions with functions and predicates defined by higher-order rewrite rules. In a previous…

Logic in Computer Science · Computer Science 2016-08-16 Frédéric Blanqui

The algebraic stability theorem for $\mathbb{R}$-persistence modules is a fundamental result in topological data analysis. We present a stability theorem for $n$-dimensional rectangle decomposable persistence modules up to a constant…

Algebraic Topology · Mathematics 2020-01-22 Håvard Bakke Bjerkevik

This paper can be seen as an attempt of rethinking the {\em Extra-Gradient Philosophy} for solving Variational Inequality Problems. We show that the properly defined {\em Reduced Gradients} can be used instead for finding approximate…

Optimization and Control · Mathematics 2023-12-05 Yurii Nesterov

In this paper we prove lower bounds for sizes of refutations of unsatisfiable vector Subset Sum instances $\overrightarrow{a}_1 x_1 + \dots + \overrightarrow{a}_n x_n = \overrightarrow{b}$ in the proof system Res(lin$_{\mathbb{F}_q}$) where…

Computational Complexity · Computer Science 2026-04-23 Fedor Part

Submodularity is a key property in discrete optimization. Submodularity has been widely used for analyzing the greedy algorithm to give performance bounds and providing insight into the construction of valid inequalities for mixed-integer…

Optimization and Control · Mathematics 2022-05-24 Temitayo Ajayi , Taewoo Lee , Andrew Schaefer

We present a technique to infer lower bounds on the worst-case runtime complexity of integer programs, where in contrast to earlier work, our approach is not restricted to tail-recursion. Our technique constructs symbolic representations of…

Logic in Computer Science · Computer Science 2020-09-29 Florian Frohn , Matthias Naaf , Marc Brockschmidt , Jürgen Giesl

Numerical continuation in the context of optimization can be used to mitigate convergence issues due to a poor initial guess. In this work, we extend this idea to Riemannian optimization problems, that is, the minimization of a target…

Optimization and Control · Mathematics 2023-05-30 Axel Séguin , Daniel Kressner

The subgradient method for convex optimization problems on complete Riemannian manifolds with lower bounded sectional curvature is analyzed in this paper. Iteration-complexity bounds of the subgradient method with exogenous step-size and…

Optimization and Control · Mathematics 2018-08-21 O. P. Ferreira , M. S. Louzeiro , L. F. Prudente

We characterize the solution to the Newton minimal resistance problem in a class of radial q-concave profiles. We also give the corresponding result for one-dimensional profiles. Moreover, we provide a numerical optimization algorithm for…

Optimization and Control · Mathematics 2017-07-21 Edoardo Mainini , Manuel Monteverde , Edouard Oudet , Danilo Percivale

We develop a general method for lower bounding the variance of sequences in arithmetic progressions mod $q$, summed over all $q \leq Q$, building on previous work of Liu, Perelli, Hooley, and others. The proofs lower bound the variance by…

Number Theory · Mathematics 2016-02-08 Adam J. Harper , Kannan Soundararajan

Recently solutions to the aggregation equation on compact Riemannian Manifolds have been studied with different techniques. This work demonstrates the small time existence of measure-valued solutions for suitably regular intrinsic…

Analysis of PDEs · Mathematics 2022-08-05 Joaquín Sánchez García

We design a heuristic method, a genetic algorithm, for the computation of an upper bound of the minimum distance of a linear code over a finite field. By the use of the row reduced echelon form, we obtain a permutation encoding of the…

Information Theory · Computer Science 2018-07-20 José Gómez-Torrecillas , F. J. Lobillo , Gabriel Navarro

Submodular maximization under various constraints is a fundamental problem studied continuously, in both computer science and operations research, since the late $1970$'s. A central technique in this field is to approximately optimize the…

Data Structures and Algorithms · Computer Science 2023-11-03 Niv Buchbinder , Moran Feldman

We give bounds for the number and the size of the primes $p$ such that a reduction modulo $p$ of a system of multivariate polynomials over the integers with a finite number $T$ of complex zeros, does not have exactly $T$ zeros over the…

Number Theory · Mathematics 2017-04-28 Carlos D'Andrea , Alina Ostafe , Igor E. Shparlinski , Martin Sombra

Constrained submodular maximization problems encompass a wide variety of applications, including personalized recommendation, team formation, and revenue maximization via viral marketing. The massive instances occurring in modern day…

Data Structures and Algorithms · Computer Science 2024-02-20 Georgios Amanatidis , Federico Fusco , Philip Lazos , Stefano Leonardi , Rebecca Reiffenhäuser

Let $M_n$ be the minimal position at generation $n$, of a real-valued branching random walk in the boundary case. As $n \to \infty$, $M_n- {3 \over 2} \log n$ is tight (see [1][9][2]). We establish here a law of iterated logarithm for the…

Probability · Mathematics 2017-07-06 Yueyun Hu

Let $K$ be a field, $R$ a standard graded $K$-algebra and $M$ be a finitely generated graded $R$-module. The rate of $M$, $rate_R(M)$, is a measure of the growth of the shifts in the minimal graded free resolution of $M$. In this paper, we…

Commutative Algebra · Mathematics 2017-01-24 Rasoul Ahangari Maleki , Maryam Jahangiri
‹ Prev 1 3 4 5 6 7 10 Next ›