Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Gr{ö}bner basis. a "pseudo-polynomial" algorithm for computing the Frobenius number
Let consider $n$ natural numbers $a\_1 ,\ldots , a\_{n} $. Let $S$ be the numerical semigroup generated by $a\_1 ,\ldots , a\_{n} $. Set $A=K[t^{a\_1}, \ldots , t^{a\_n}]=K[{x\_1}, \ldots , {x\_n}]/I$. The aim of this paper is: \begin{enumerate}\item Give an effective pseudo-polynomial algorithm on $a\_1$, which computes The Ap{é}ry set and the Frobenius number of $S$. As a consequence it also solves in pseudo-polynomial time the integer knapsack problem : given a natural integer b, b belongs to $S$?\item The \gbb of $I$ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$, without using Buchberger's algorithm. \item $\ini{I} $ for the reverse lexicographic order to $x\_n,\ldots ,x\_1$.\item $A$ as a $K[t^{ a\_1 }]$-module. \end{enumerate} We dont know the complexity of our algorithm. We need to solve the "multiplicative" integer knapsack problem: Find all positive integer solutions $({k\_1}, \ldots , {k\_n})$ of the inequality $\prod\_{i=2}^n (k\_i+1)\leq a\_1+1$. This algorithm is easily implemented. The implementation of this algorithm "frobenius-number-mm", for $n=17 $, can be downloaded in \hfill\breakhttps://www-fourier.ujf-grenoble.fr/~morales/frobenius-number-mm
A proof of the Cycle Double Cover Conjecture
Given a bridgeless graph $G$, the Cycle Double Cover Conjecture posits that there is a list of cycles of $G$, such that every edge appears in exactly two cycles on the list. This conjecture was originally posed independently in 1973 by Szekeres and 1979 by Seymour. In 1985, Jaeger demonstrated that it is sufficient to prove in the case that $G$ is a cubic graph. We here present a proof that every bridgeless cubic graph has a cycle double cover by analyzing certain kinds of cycles in the line graph of $G$. Further, in the case that $G$ is cubic, we prove the stronger conjecture that given a bridgeless graph $G$ and a cycle $C$ in $G$, then there exists a cycle double cover of $G$ containing $C$.
Combinatorics of symmetric plabic graphs
Published
• View Publication
• BIB
A plabic graph is a planar bicolored graph embedded in a disk, which satisfies some combinatorial conditions. Postnikov's boundary measurement map takes the space of positive edge weights of a plabic graph $G$ to a positroid cell in some totally nonnegative Grassmannian. In this note, we investigate plabic graphs which are symmetric about a line of reflection, up to reversing the colors of vertices. These symmetric plabic graphs arise naturally in the study of total positivity for the Lagrangian Grassmannian. We characterize various combinatorial objects associated with symmetric plabic graphs, and describe the subset of a Grassmannian which can be realized by symmetric weightings of symmetric plabic graphs.
Discrete Envy-free Division of Necklaces and Maps
We study the discrete variation of the classical cake-cutting problem where n players divide a 1-dimensional cake with exactly (n-1) cuts, replacing the continuous, infinitely divisible "cake" with a necklace of discrete, indivisible "beads." We focus specifically on envy-free divisions, exploring different constraints on player-preferences. We show we usually cannot guarantee an envy-free division and consider situations where we can obtain an envy-free division for relatively small. We also prove a 2-dimensional result with a grid of indivisible objects. This may be viewed as a way to divide a state with indivisible districts among a set of constituents, producing somewhat gerrymandered regions that form an envy-free division of the state.
On the characteristic polynomial of a supertropical adjoint matrix
Published
• View Publication
• BIB
Let $χ(A)$ denote the characteristic polynomial of a matrix $A$ over a field; a standard result of linear algebra states that $χ(A^{-1})$ is the reciprocal polynomial of $χ(A)$. More formally, the condition $χ^n(X) χ^k(X^{-1})=χ^{n-k}(X)$ holds for any invertible $n\times n$ matrix $X$ over a field, where $χ^i(X)$ denotes the coefficient of $λ^{n-i}$ in the characteristic polynomial $\det(λI-X)$. We confirm a recent conjecture of Niv by proving the tropical analogue of this result.
Symmetric Graphs with respect to Graph Entropy
Published
• View Publication
• BIB
Let $F_G(P)$ be a functional defined on the set of all the probability distributions on the vertex set of a graph $G$. We say that $G$ is \emph{symmetric with respect to $F_G(P)$} if the uniform distribution on $V(G)$ maximizes $F_G(P)$. Using the combinatorial definition of the entropy of a graph in terms of its vertex packing polytope and the relationship between the graph entropy and fractional chromatic number, we characterize all graphs which are symmetric with respect to graph entropy. We show that a graph is symmetric with respect to graph entropy if and only if its vertex set can be uniformly covered by its maximum size independent sets. Furthermore, given any strictly positive probability distribution $P$ on the vertex set of a graph $G$, we show that $P$ is a maximizer of the entropy of graph $G$ if and only if its vertex set can be uniformly covered by its maximum weighted independent sets. We also show that the problem of deciding if a graph is symmetric with respect to graph entropy, where the weight of the vertices is given by probability distribution $P$, is co-NP-hard.
Distance-2 MDS codes and latin colorings in the Doob graphs
Published in Graphs Comb. 34(5) 2018, 1001-1017
• View Publication
• BIB
The maximum independent sets in the Doob graphs D(m,n) are analogs of the distance-2 MDS codes in Hamming graphs and of the latin hypercubes. We prove the characterization of these sets stating that every such set is semilinear or reducible. As related objects, we study vertex sets with maximum cut (edge boundary) in D(m,n) and prove some facts on their structure. We show that the considered two classes (the maximum independent sets and the maximum-cut sets) can be defined as classes of completely regular sets with specified 2-by-2 quotient matrices. It is notable that for a set from the considered classes, the eigenvalues of the quotient matrix are the maximum and the minimum eigenvalues of the graph. For D(m,0), we show the existence of a third, intermediate, class of completely regular sets with the same property.
Strong spatial mixing in homomorphism spaces
Given a countable graph $\mathcal{G}$ and a finite graph $\mathrm{H}$, we consider $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ the set of graph homomorphisms from $\mathcal{G}$ to $\mathrm{H}$ and we study Gibbs measures supported on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ . We develop some sufficient and other necessary conditions on $\mathrm{Hom}(\mathcal{G},\mathrm{H})$ for the existence of Gibbs specifications satisfying strong spatial mixing (with exponential decay rate). We relate this with previous work of Brightwell and Winkler, who showed that a graph $\mathrm{H}$ has a combinatorial property called dismantlability if and only if for every $\mathcal{G}$ of bounded degree, there exists a Gibbs specification with unique Gibbs measure. We strengthen their result by showing that this unique Gibbs measure can be chosen to have weak spatial mixing, but we also show that there exist dismantlable graphs for which no Gibbs measure has strong spatial mixing.
Equivariant maps related to the topological Tverberg conjecture
Published
• View Publication
• BIB
Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta constructs equivariant maps between spaces which are related to the topological Tverberg conjecture. This answers negatively a question of Özaydin posed in relation to weaker versions of the same conjecture. Further, it also has consequences for Borsuk-Ulam properties of representations of cyclic and dihedral groups.
$Z_4$-codes and their Gray map images as orthogonal arrays
Published in Designs, Codes, Crypt. 84 (2017), 109-114
• View Publication
• BIB
A classic result of Delsarte connects the strength (as orthogonal array) of a linear code with the minimum weight of its dual: the former is one less than the latter. We show that Delsarte's observation extends to codes over arbitrary finite rings.
Since the paper of Hammons \emph{et al.}, there is a lot of interest in codes over rings, especially in codes over $Z_4$ and their (usually non-linear) binary Gray map images.
We show that Delsarte's observation extends to codes over arbitrary finite commutative rings with identity. Also, we show that the strength of the Gray map image of a $Z_4$ code is one less than the minimum Lee weight of its Gray map image.
Automata, reduced words, and Garside shadows in Coxeter groups
Published in Journal of algebra (computational section), vol. 457 (2016), 331-456
• View Publication
• BIB
In this article, we introduce and investigate a class of finite deterministic automata that all recognize the language of reduced words of a finitely generated Coxeter system (W,S). The definition of these automata is straightforward as it only requires the notion of weak order on (W,S) and the related notion of Garside shadows in (W,S), an analog of the notion of a Garside family. Then we discuss the relations between this class of automata and the canonical automaton built from Brink and Howlett's small roots. We end this article by providing partial positive answers to two conjectures: (1) the automata associated to the smallest Garside shadow is minimal; (2) the canonical automaton is minimal if and only if the support of all small roots is spherical, i.e., the corresponding root system is finite.
A new generalization of Hermite's reciprocity law
Published
• View Publication
• BIB
Given a partition $λ$ of $n$, the {\it Schur functor} $\mathbb{S}_λ$ associates to any complex vector space $V$, a subspace $\mathbb{S}_λ(V)$ of $V^{\otimes n}$. Hermite's reciprocity law, in terms of the Schur functor, states that $
\mathbb{S}_{(p)}\left(\mathbb{S}_{(q)}(\mathbb{C}^2)\right)\simeq \mathbb{S}_{(q)}\left(\mathbb{S}_{(p)}(\mathbb{C}^2)\right). $
We extend this identity to many other identities of the type $\mathbb{S}_λ\left(\mathbb{S}_δ(\mathbb{C}^2)\right)\simeq \mathbb{S}_μ\left(\mathbb{S}_ε(\mathbb{C}^2)\right)$.
Large $\{0, 1, \ldots, t\}$-Cliques in Dual Polar Graphs
Published
• View Publication
• BIB
We investigate $\{0, 1, \ldots, t \}$-cliques of generators on dual polar graphs of finite classical polar spaces of rank $d$. These cliques are also known as Erdős-Ko-Rado sets in polar spaces of generators with pairwise intersections in at most codimension $t$. Our main result is that we classify all such cliques of maximum size for $t \leq \sqrt{8d/5}-2$ if $q \geq 3$, and $t \leq \sqrt{8d/9}-2$ if $q = 2$. We have the following byproducts. (a) For $q \geq 3$ we provide estimates of Hoffman's bound on these $\{0, 1, \ldots, t \}$-cliques for all $t$. (b) For $q \geq 3$ we determine the largest, second largest, and smallest eigenvalue of the graphs which have the generators of a polar space as vertices and where two generators are adjacent if and only if they meet in codimension at least $t+1$. Furthermore, we provide nice explicit formulas for all eigenvalues of these graphs. (c) We provide upper bounds on the size of the second largest maximal $\{0, 1, \ldots, t \}$-cliques for some $t$.
Brane Brick Models, Toric Calabi-Yau 4-Folds and 2d (0,2) Quivers
Published in JHEP 1602:047,2016
• View Publication
• BIB
We introduce brane brick models, a novel type of Type IIA brane configurations consisting of D4-branes ending on an NS5-brane. Brane brick models are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. They fully encode the infinite class of 2d (generically) N=(0,2) gauge theories on the worldvolume of the D1-branes and streamline their connection to the probed geometries. For this purpose, we also introduce new combinatorial procedures for deriving the Calabi-Yau associated to a given gauge theory and vice versa.
Doubled patterns are $3$-avoidable
Published
• View Publication
• BIB
In combinatorics on words, a word $w$ over an alphabet $Σ$ is said to avoid a pattern $p$ over an alphabet $Δ$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:Δ^*\toΣ^*$ is a non-erasing morphism. A pattern $p$ is said to be $k$-avoidable if there exists an infinite word over a $k$-letter alphabet that avoids $p$. A pattern is said to be doubled if no variable occurs only once. Doubled patterns with at most 3 variables and patterns with at least 6 variables are $3$-avoidable. We show that doubled patterns with 4 and 5 variables are also $3$-avoidable.
Minimal number of edges in hypergraph guaranteeing perfect fractional matching and MMS conjecture, complete version
In this paper we prove Ahlswede- Khachatrian conjecture~\cite{1} up to finite number of cases, which can be checked using modern computers. From this conjecture follows conjecture from~\cite{2} and Manickam-Miklós-Singhi conjecture. This paper is combined from papers~\cite{09},~\cite{08}.
On the number of unary-binary tree-like structures with restrictions on the unary height
Published
• View Publication
• BIB
We consider various classes of Motzkin trees as well as lambda-terms for which we derive asymptotic enumeration results. These classes are defined through various restrictions concerning the unary nodes or abstractions, respectively: We either bound their number or the allowed levels of nesting. The enumeration is done by means of a generating function approach and singularity analysis. The generating functions are composed of nested square roots and exhibit unexpected phenomena in some of the cases. Furthermore, we present some observations obtained from generating such terms randomly and explain why usually powerful tools for random generation, such as Boltzmann samplers, face serious difficulties in generating lambda-terms.
Parametrizing an integer linear program by an integer
Published
• View Publication
• BIB
We consider a family of integer linear programs in which the coefficients of the constraints and objective function are polynomials of an integer parameter $t.$ For $\ell$ in $\mathbb{Z}_+,$ we define $f_\ell(t)$ to be the $\ell^{\text{th}}$ largest value of the objective function with multiplicity for the integer linear program at $t.$ We prove that for all $\ell,$ $f_\ell$ is eventually quasi-polynomial; that is, there exists $d$ and polynomials $P_0, \ldots, P_{d-1}$ such that for sufficiently large $t,$ $f_\ell(t)=P_{d \pmod{t}}(t).$ Closely related to finding the $\ell^{\text{th}}$ largest value is describing the vertices of the convex hull of the feasible set. Calegari and Walker showed that if $R(t)$ is the convex hull of $\mathbf{v_1}(t), \ldots, \mathbf{v_k}(t)$ where $\mathbf{v_i}$ is a vector whose coordinates are in $\mathbb{Q}(u)$ and of size $O(u),$ then the vertices of the convex hull of the set of lattice points in $R(t)$ has eventually quasi-polynomial structure. We prove this without the $O(u)$ assumption.
The parametric Frobenius problem and parametric exclusion
The Frobenius number of relatively prime positive integers $a_1, \ldots, a_n$ is the largest integer that is not a nononegative integer combination of the $a_i.$ Given positive integers $a_1, \ldots, a_n$ with $n \ge 2,$ the set of multiples of $\gcd(a_1, \ldots, a_n)$ which have less than $m$ distinct representations as a nonnegative integer combination of the $a_i$ is bounded above, so we define $f_{m, \ell}(a_1, \ldots, a_n)$ to be the $\ell^{\text{th}}$ largest multiple of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations (which generalizes the Frobenius number) and $g_m(a_1, \ldots, a_n)$ to be the number of positive multiples of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations. In the parametric Frobenius problem, the arguments are polynomials. Let $P_1, \ldots, P_n$ be integer valued polynomials of one variable which are eventually positive. We prove that $f_{m, \ell}(P_1(t), \ldots, P_n(t))$ and $g_m(P_1(t), \ldots, P_n(t)),$ as functions of $t,$ are eventually quasi-polynomial. A function $h$ is eventually quasi-polynomial if there exist $d$ and polynomials $R_0, \ldots, R_{d-1}$ such that for such that for sufficiently large integers $t,$ $h(t)=R_{t \pmod{d}}(t).$ We do so by formulating a type of parametric problem that generalizes the parametric Frobenius Problem, which we call a parametric exclusion problem. We prove that the $\ell^{\text{th}}$ largest value of some polynomial objective function, with multiplicity, for a parametric exclusion problem and the size of its feasible set are eventually quasi-polynomial functions of $t.$
Revisiting Kneser's Theorem for Field Extensions
Published in Combinatorica Vol. 39 No 4 (2018) pp. 759--777
• View Publication
• BIB
A Theorem of Hou, Leung and Xiang generalised Kneser's addition Theorem to field extensions. This theorem was known to be valid only in separable extensions, and it was a conjecture of Hou that it should be valid for all extensions. We give an alternative proof of the theorem that also holds in the non-separable case, thus solving Hou's conjecture. This result is a consequence of a strengthening of Hou et al.'s theorem that is a transposition to extension fields of an addition theorem of Balandraud.