English
Related papers

Related papers: Base Modulus for Matroid Truncation, Strength, and…

200 papers

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

We study the two inference problems of detecting and recovering an isolated community of \emph{general} structure planted in a random graph. The detection problem is formalized as a hypothesis testing problem, where under the null…

Data Structures and Algorithms · Computer Science 2022-01-25 Wasim Huleihel

In a stochastic probing problem we are given a universe $E$, where each element $e \in E$ is active independently with probability $p_e$, and only a probe of e can tell us whether it is active or not. On this universe we execute a process…

Data Structures and Algorithms · Computer Science 2014-02-19 Marek Adamczyk , Maxim Sviridenko , Justin Ward

Every homomorphism from finite index subgroups of a universal lattices to mapping class groups of orientable surfaces (possibly with punctures), or to outer automorphism groups of finitely generated nonabelian free groups must have finite…

Group Theory · Mathematics 2011-06-21 Masato Mimura

It is known that a number of natural graph problems which are FPT parameterized by treewidth become W-hard when parameterized by clique-width. It is therefore desirable to find a different structural graph parameter which is as general as…

Data Structures and Algorithms · Computer Science 2013-08-15 Jakub Gajarský , Michael Lampis , Sebastian Ordyniak

It is believed that any p-adic Galois representation which is potentially semistable arises from a modular form. The main theorem of Wiles establishes this modularity when the representation in question satisfies various technical…

Number Theory · Mathematics 2016-09-07 Henri Darmon

The Lipschitz constant of the map between the input and output space represented by a neural network is a natural metric for assessing the robustness of the model. We present a new method to constrain the Lipschitz constant of dense deep…

Machine Learning · Computer Science 2023-08-22 Ouail Kitouni , Niklas Nolte , Mike Williams

The width of a delta-matroid is the difference in size between a maximal and minimal feasible set. We give a Rough Structure Theorem for delta-matroids that admit a twist of width one. We apply this theorem to give an excluded minor…

Combinatorics · Mathematics 2017-05-26 Carolyn Chun , Rhiannon Hall , Criel Merino , Iain Moffatt , Steven Noble

We study the minimum weight basis problem on matroid when elements' weights are uncertain. For each element we only know a set of possible values (an uncertainty area) that contains its real weight. In some cases there exist bases that are…

Data Structures and Algorithms · Computer Science 2019-04-29 Arturo I. Merino , José A. Soto

For $n\ge 2$ and fixed $k\ge 1$, we study when a square matrix $A$ over an arbitrary field $\mathbb{F}$ can be decomposed as $T+N$ where $T$ is a torsion matrix and $N$ is a nilpotent matrix with $N^k=0$. For fields of prime characteristic,…

Rings and Algebras · Mathematics 2024-03-25 Peter Danchev , Esther García , Miguel Gómez Lozano

This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry. For (a)…

Combinatorics · Mathematics 2013-12-16 Franz J. Király , Zvi Rosen , Louis Theran

We explore a new type of sparsity for the generalized moment problem (GMP) that we call ideal-sparsity. This sparsity exploits the presence of equality constraints requiring the measure to be supported on the variety of an ideal generated…

Optimization and Control · Mathematics 2023-07-11 Milan Korda , Monique Laurent , Victor Magron , Andries Steenkamp

This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of regularity via totally unimodular representations, show that…

Combinatorics · Mathematics 2026-01-06 Ivan Sergeev , Martin Dvorak , Cameron Rampell , Mark Sandey , Pietro Monticone

Let T(x) in k[x] be a monic non-constant polynomial and write R=k[x] / (T) the quotient ring. Consider two bivariate polynomials a(x, y), b(x, y) in R[y]. In a first part, T = p^e is assumed to be the power of an irreducible polynomial p. A…

Commutative Algebra · Mathematics 2021-09-30 Xavier Dahan

We investigate weighted settings of popular matching problems with matroid constraints. The concept of popularity was originally defined for matchings in bipartite graphs, where vertices have preferences over the incident edges. There are…

Computer Science and Game Theory · Computer Science 2024-07-16 Gergely Csáji , Tamás Király , Kenjiro Takazawa , Yu Yokoi

We prove a general duality theorem for tangle-like dense objects in combinatorial structures such as graphs and matroids. This paper continues, and assumes familiarity with, the theory developed in [6]

Combinatorics · Mathematics 2014-06-17 Reinhard Diestel , Sang-il Oum

We design an FPRAS to count the number of bases of any matroid given by an independent set oracle, and to estimate the partition function of the random cluster model of any matroid in the regime where $0<q<1$. Consequently, we can sample…

Data Structures and Algorithms · Computer Science 2019-01-23 Nima Anari , Kuikui Liu , Shayan Oveis Gharan , Cynthia Vinzant

Kir\'{a}ly in [On maximal independent arborescence packing, SIAM J. Discrete. Math. 30 (4) (2016), 2107-2114] solved the following packing problem: Given a digraph $D = (V, A)$, a matroid $M$ on a set $S = \{s_{1}, \ldots,s_{k} \}$ along…

Combinatorics · Mathematics 2021-03-09 Hui Gao , Daqing Yang

Given a graph $G=(V,E)$ and a set $C$ of unordered pairs of edges regarded as being in conflict, a stable spanning tree in $G$ is a set of edges $T$ inducing a spanning tree in $G$, such that for each $\left\lbrace e_i, e_j \right\rbrace…

Discrete Mathematics · Computer Science 2022-11-15 Phillippe Samer , Dag Haugland

Monotone trees - trees with a function defined on their vertices that decreases the further away from a root node one travels, are a natural model for a process that weakens the further one gets from its source. Given an aggregation of…

Data Structures and Algorithms · Computer Science 2023-09-29 Lucas Magee , Yusu Wang