Showing 20 papers (Total: 84460 papers, 48641 authors in database)
The leading coefficient of Lascoux polynomials
Lascoux polynomials have been recently introduced to prove polynomiality of the maximum-likelihood degree of linear concentration models. We find the leading coefficient of the Lascoux polynomials (type C) and their generalizations to the case of general matrices (type A) and skew symmetric matrices (type D). In particular, we determine the degrees of such polynomials. As an application, we find the degree of the polynomial $δ(m,n,n-s)$ of the algebraic degree of semidefinite programming, and when $s=1$ we find its leading coefficient for types C, A and D.
The moment polytope of the abelian polygon space
Published
• View Publication
• BIB
The moduli space of $n$ chains in the plane with generic side lengths that terminate on a fixed line is a smooth, closed manifold of dimension $n-1$. This manifold is also equipped with a locally standard action of $\mathbb{Z}_2^{n-1}$. The orbit space of this action is a simple polytope called the moment polytope. Interestingly, this manifold is also the fixed point set of an involution on a toric manifold known as the abelian polygon space. In this article we show that the moment polytope of the moduli space of chains is completely characterized by the combinatorial data, called the \emph{short code} of the length vector. We also classify aspherical chain spaces using a result of Davis, Januszkiewicz and Scott.
Moore machines duality
We present a simple algorithm to find the Moore machine with the minimum number of states equivalent to a given one.
Gap sets for the spectra of regular graphs with minimum spectral gap
Published
• View Publication
• BIB
Following recent work by Kollár and Sarnak, we study gaps in the spectra of large connected cubic and quartic graphs with minimum spectral gap. We focus on two sequences of graphs, denoted $Δ_n$ and $Γ_n$ which are more `symmetric' compared to the other graphs in these two families, respectively. We prove that $(1,\sqrt{5}]$ is a gap interval for $Δ_n$, and $[(-1+\sqrt{17})/2,3]$ is a gap interval for $Γ_n$. We conjecture that these two are indeed maximal gap intervals. As a by-product, we show that the eigenvalues of $Δ_n$ lying in the interval $[-3,-\sqrt{5}]$ (in particular, its minimum eigenvalue) converge to $(1-\sqrt{33})/2$ and the eigenvalues of $Γ_n$ lying in the interval $[-4,-(1+\sqrt{17})/2]$ (and in particular, its minimum eigenvalue) converge to $1-\sqrt{13}$ as $n$ tends to infinity. The proofs of the above results heavily depend on the following property which can be of independent interest: with few exceptions, all the eigenvalues of connected cubic and quartic graphs with minimum spectral gap are simple.
A note on $\overline{2}$-separable codes and $B_2$ codes
Published
• View Publication
• BIB
We derive a simple proof, based on information theoretic inequalities, of an upper bound on the largest rates of $q$-ary $\overline{2}$-separable codes that improves recent results of Wang for any $q\geq 13$. For the case $q=2$, we recover a result of Lindström, but with a much simpler derivation. The method easily extends to give bounds on $B_2$ codes which, although not improving on Wang's results, use much simpler tools and might be useful for future applications.
On Pure k-sparse gapsets
Published
• View Publication
• BIB
In this paper, we study gapsets and we focus on obtaining information on how the maximum distance between to consecutive elements influences the behaviour of the set. In particular, we prove that the cardinality of the set of gapsets with genus $g$ such that the maximum distance between two consecutive elements is $κ$ is equal to the cardinality of the set of gapsets with genus $g+1$ such that the maximum distance between two consecutive elements is $κ+1$, when $2g \leq 3κ$.
On the In-Out-Proper Orientations of Graphs
Published
• View Publication
• BIB
An orientation of a graph $G$ is {\it in-out-proper} if any two adjacent vertices have different in-out-degrees, where the in-out-degree of each vertex is equal to the in-degree minus the out-degree of that vertex. The {\it in-out-proper orientation number} of a graph $G$, denoted by $\overleftrightarrowχ(G)$, is $ \min_{D\in Γ}\max_{v\in V(G)} |d_D^{\pm}(v)|$, where $Γ$ is the set of in-out-proper orientations of $G$ and $d_D^{\pm}(v)$ is the in-out-degree of the vertex $v$ in the orientation $D$.
2-LC triangulated manifolds are exponentially many
Published
• View Publication
• BIB
We introduce "$t$-LC triangulated manifolds" as those triangulations obtainable from a tree of $d$-simplices by recursively identifying two boundary $(d-1)$-faces whose intersection has dimension at least $d-t-1$. The $t$-LC notion interpolates between the class of LC manifolds introduced by Durhuus--Jonsson (corresponding to the case $t=1$), and the class of all manifolds (case $t=d$). Benedetti--Ziegler proved that there are at most $2^{d^2 \, N}$ triangulated $1$-LC $d$-manifolds with $N$ facets. Here we prove that there are at most $2^{\frac{d^3}{2}N}$ triangulated $2$-LC $d$-manifolds with $N$ facets. This extends to all dimensions an intuition by Mogami for $d=3$.
We also introduce "$t$-constructible complexes", interpolating between constructible complexes (the case $t=1$) and all complexes (case $t=d$). We show that all $t$-constructible pseudomanifolds are $t$-LC, and that all $t$-constructible complexes have (homotopical) depth larger than $d-t$. This extends the famous result by Hochster that constructible complexes are (homotopy) Cohen--Macaulay.
Enumeration of spanning trees of middle graphs
Published
• View Publication
• BIB
Let $D$ be a connected weighted digraph. The relation between the vertex weighted complexity (with a fixed root) of the line digraph of $D$ and the edge weighted complexity (with a fixed root) of $D$ has been given in (L. Levine, Sandpile groups and spanning trees of directed line graphs, J. Combin. Theory Ser. A 118 (2011) 350-364) and, independently, in (S. Sato, New proofs for Levine's theorems, Linear Algebra Appl. 435 (2011) 943-952). In this paper, we obtain a relation between the vertex weighted complexity of the middle digraph of $D$ and the edge weighted complexity of $D$. Particularly, when the weight of each arc and each vertex of $D$ is 1, the enumerative formula of spanning trees of the middle digraph of a general digraph is obtained.
On almost self-centered graphs and almost peripheral graphs
Published
• View Publication
• BIB
An almost self-centered graph is a connected graph of order $n$ with exactly $n-2$ central vertices, and an almost peripheral graph is a connected graph of order $n$ with exactly $n-1$ peripheral vertices. We determine (1) the maximum girth of an almost self-centered graph of order $n;$ (2) the maximum independence number of an almost self-centered graph of order $n$ and radius $r;$ (3) the minimum order of a $k$-regular almost self-centered graph and (4) the maximum size of an almost peripheral graph of order $n;$ (5) which numbers are possible for the maximum degree of an almost peripheral graph of order $n;$ (6) the maximum number of vertices of maximum degree in an almost peripheral graph of order $n$ whose maximum degree is the second largest possible. Whenever the extremal graphs have a neat form, we also describe them.
Stability of combinatorial polynomials and its applications
The aim of this paper is to make a systematical study on the stability of polynomials in combinatorics.
Applying the characterizations of Borcea and Brändén concerning linear operators preserving stability, we present criteria for real stability and Hurwitz stability. We also give a criterion for Hurwitz stability of the Turán expressions. As applications, we derive some stability results occurred in the literature in a unified manner. In addition, we obtain the Hurwitz stability of Turán expressions for alternating runs polynomials of types $A$ and $B$ and solve a conjecture concerning Hurwitz stability of alternating runs polynomials defined on a dual set of Stirling permutations.
Furthermore, we prove that the Hurwitz stability of any symmetric polynomial implies its semi-$γ$-positivity. We study a class of symmetric polynomials and derive many nice properties including Hurwitz stability, semi-$γ$-positivity, non $γ$-positivity, unimodality, strong $q$-log-convexity, the Jacobi continued fraction expansion and the relation with derivative polynomials. In particular, these properties of the alternating descents polynomials of types $A$ and $B$ can be obtained in a unified approach.
Finally, we use real stability to prove a criterion for zeros interlacing between a polynomial and its reciprocal polynomial, which implies the alternatingly increasing property. This criterion extends a result of Brändén and Solus and unifies such properties for many combinatorial polynomials, including ascent polynomials for $k$-ary words, descent polynomials on signed Stirling permutations and $q$-analog of descent polynomials on colored permutations, and so on. We prove the alternatingly increasing property and zeros interlacing for two kinds of peak polynomials on the dual set of Stirling permutations.
Girth, oddness, and colouring defect of snarks
The colouring defect of a cubic graph, introduced by Steffen in 2015, is the minimum number of edges that are left uncovered by any set of three perfect matchings. Since a cubic graph has defect $0$ if and only if it is $3$-edge-colourable, this invariant can measure how much a cubic graph differs from a $3$-edge-colourable graph. Our aim is to examine the relationship of colouring defect to oddness, an extensively studied measure of uncolourability of cubic graphs, defined as the smallest number of odd circuits in a $2$-factor. We show that there exist cyclically $5$-edge-connected snarks (cubic graphs with no $3$-edge-colouring) of oddness $2$ and arbitrarily large colouring defect. This result is achieved by means of a construction of cyclically $5$-edge-connected snarks with oddness $2$ and arbitrarily large girth. The fact that our graphs are cyclically $5$-edge-connected significantly strengthens a similar result of Jin and Steffen (2017), which only guarantees graphs with cyclic connectivity at most $3$. At the same time, our result improves Kochol's original construction of snarks with large girth (1996) in that it provides infinitely many nontrivial snarks of any prescribed girth $g\ge 5$, not just girth at least~$g$.
Normality of the Thue-Morse function for finite fields along polynomial values
Published
• View Publication
• BIB
Let ${\mathbb F}_q$ be the finite field of $q$ elements, where $q=p^r$ is a power of the prime $p$, and $\left(β_1, β_2, \dots, β_r \right)$ be an ordered basis of ${\mathbb F}_q$ over ${\mathbb F}_p$. For $$ξ=\sum_{i=1}^rx_iβ_i, \quad \quad x_i\in{\mathbb F}_p,$$ we define the Thue-Morse or sum-of-digits function $T(ξ)$ on ${\mathbb F}_q$ by \[ T(ξ)=\sum_{i=1}^{r}x_i.%,\quad ξ=x_1β_1+\cdots +x_rβ_r\in {\mathbb F}_q. \] For a given pattern length $s$ with $1\le s\le q$, a subset ${\cal A}=\{α_1,\ldots,α_s\}\subset {\mathbb F}_q$, a polynomial $f(X)\in{\mathbb F}_q[X]$ of degree $d$ and a vector $\underline{c}=(c_1,\ldots,c_s)\in{\mathbb F}_p^s$ we put \[ {\cal T}(\underline{c},{\cal A},f)=\{ξ\in{\mathbb F}_q : T(f(ξ+α_i))=c_i,~i=1,\ldots,s\}. \] In this paper we will see that under some natural conditions, the size of~${\cal T}(\underline{c},{\cal A},f)$ is asymptotically the same for all~$\underline{c}$ and ${\cal A}$ in both cases, $p\rightarrow \infty$ and $r\rightarrow \infty$, respectively. More precisely, we have \[ \left||{\cal T}(\underline{c},{\cal A},f)|-p^{r-s}\right|\le (d-1)q^{1/2}\] under certain conditions on $d,q$ and $s$. For monomials of large degree we improve this bound as well as we find conditions on $d,q$ and $s$ for which this bound is not true. In particular, if $1\le d<p$ we have the dichotomy that the bound is valid if $s\le d$ and fails for some $\underline{c}$ and ${\cal A}$ if $s\ge d+1$. The case $s=1$ was studied before by Dartyge and Sárközy.
On the compounding of higher order monotonic pseudo-Boolean functions
Published
• View Publication
• BIB
Compounding submodular monotone (i.e. 2-alternating) set functions on a finite set preserves this property, as shown in 2010. A natural generalization to k-alternating functions was presented in 2018, however hardly readable because of page long formulas. We give an easier proof of a more general result, exploiting known properties of higher order monotonic functions.
Number cubes with consecutive line sums
Published
• View Publication
• BIB
We settle the existence of certain "anti-magic" cubes using combinatorial block designs and graph decompositions to align a handful of small examples.
Distributed coloring and the local structure of unit-disk graphs
Published in Theoretical Computer Science 944 (2023), 113674
• View Publication
• BIB
Coloring unit-disk graphs efficiently is an important problem in the global and distributed setting, with applications in radio channel assignment problems when the communication relies on omni-directional antennas of the same power. In this context it is important to bound not only the complexity of the coloring algorithms, but also the number of colors used. In this paper, we consider two natural distributed settings. In the location-aware setting (when nodes know their coordinates in the plane), we give a constant time distributed algorithm coloring any unit-disk graph $G$ with at most $4ω(G)$ colors, where $ω(G)$ is the clique number of $G$. This improves upon a classical 3-approximation algorithm for this problem, for all unit-disk graphs whose chromatic number significantly exceeds their clique number. When nodes do not know their coordinates in the plane, we give a distributed algorithm in the LOCAL model that colors every unit-disk graph $G$ with at most $5.68ω(G)+1$ colors in $O(\log^* n)$ rounds. This algorithm is based on a study of the local structure of unit-disk graphs, which is of independent interest. We conjecture that every unit-disk graph $G$ has average degree at most $4ω(G)$, which would imply the existence of a $O(\log n)$ round algorithm coloring any unit-disk graph $G$ with (approximately) $4ω(G)$ colors in the LOCAL model. We provide partial results towards this conjecture using Fourier-analytical tools.
New binary self-dual codes of lengths 80, 84 and 96 from composite matrices
Published
• View Publication
• BIB
In this work, we apply the idea of composite matrices arising from group rings to derive a number of different techniques for constructing self-dual codes over finite commutative Frobenius rings. By applying these techniques over different alphabets, we construct best known singly-even binary self-dual codes of lengths 80, 84 and 96 as well as doubly-even binary self-dual codes of length 96 that were not known in the literature before.
Vertex quasiprimitive two-geodesic transitive graphs
For a non-complete graph $Γ$, a vertex triple $(u,v,w)$ with $v$ adjacent to both $u$ and $w$ is called a $2$-geodesic if $u\neq w$ and $u,w$ are not adjacent. Then $Γ$ is said to be $2$-geodesic transitive if its automorphism group is transitive on both arcs and 2-geodesics. In previous work the author showed that if a $2$-geodesic transitive graph $Γ$ is locally disconnected and its automorphism group $\Aut(Γ)$ has a non-trivial normal subgroup which is intransitive on the vertex set of $Γ$, then $Γ$ is a cover of a smaller 2-geodesic transitive graph. Thus the `basic' graphs to study are those for which $\Aut(Γ)$ acts quasiprimitively on the vertex set. In this paper, we study 2-geodesic transitive graphs which are locally disconnected and $\Aut(Γ)$ acts quasiprimitively on the vertex set. We first determine all the possible quasiprimitive action types and give examples for them, and then classify the family of $2$-geodesic transitive graphs whose automorphism group is primitive on its vertex set of $\PA$ type.
Extended formulations for matroid polytopes through randomized protocols
Published
• View Publication
• BIB
Let $P$ be a polytope. The hitting number of $P$ is the smallest size of a hitting set of the facets of $P$, i.e., a subset of vertices of $P$ such that every facet of $P$ has a vertex in the subset. An extended formulation of $P$ is the description of a polyhedron that linearly projects to $P$. We show that, if $P$ is the base polytope of any matroid, then $P$ admits an extended formulation whose size depends linearly on the hitting number of $P$. Our extended formulations generalize those of the spanning tree polytope given by Martin and Wong. Our proof is simple and short, and it goes through the deep connection between extended formulations and communication protocols.
Linear Cutting Blocking Sets and Minimal Codes in the Rank Metric
Published
• View Publication
• BIB
This work investigates the structure of rank-metric codes in connection with concepts from finite geometry, most notably the $q$-analogues of projective systems and blocking sets. We also illustrate how to associate a classical Hamming-metric code to a rank-metric one, in such a way that various rank-metric properties naturally translate into the homonymous Hamming-metric notions under this correspondence. The most interesting applications of our results lie in the theory of minimal rank-metric codes, which we introduce and study from several angles. Our main contributions are bounds for the parameters of a minimal rank-metric codes, a general existence result based on a combinatorial argument, and an explicit code construction for some parameter sets that uses the notion of a scattered linear set. Throughout the paper we also show and comment on curious analogies/divergences between the theories of error-correcting codes in the rank and in the Hamming metric.