Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Rank-Metric Codes and Zeta Functions
Published
• View Publication
• BIB
We define the rank-metric zeta function of a code as a generating function of its normalized $q$-binomial moments. We show that, as in the Hamming case, the zeta function gives a generating function for the weight enumerators of rank-metric codes. We further prove a functional equation and derive an upper bound for the minimum distance in terms of the reciprocal roots of the zeta function. Finally, we show invariance under suitable puncturing and shortening operators and study the distribution of zeroes of the zeta function for a family of codes.
Convolution estimates and the number of disjoint partitions
Published
• View Publication
• BIB
Let $X$ be a finite collection of sets. We count the number of ways a disjoint union of $n-1$ subsets in $X$ is a set in $X$, and estimate this number from above by $|X|^{c(n)}$ where $$ c(n)=\left(1-\frac{(n-1)\ln (n-1)}{n\ln n} \right)^{-1}. $$ This extends the recent result of Kane-Tao, corresponding to the case $n=3$ where $c(3)\approx 1.725$, to an arbitrary finite number of disjoint $n-1$ partitions.
Conscious and controlling elements in combinatorial group testing problems with more defectives
Published
• View Publication
• BIB
In combinatorial group testing problems Questioner needs to find a defective element $x\in [n]$ by testing subsets of $[n]$. In [18] the authors introduced a new model, where each element knows the answer for those queries that contain it and each element should be able to identify the defective one. In this article we continue to investigate this kind of models with more defective elements. We also consider related models inspired by secret sharing models, where the elements should share information among them to find out the defectives. Finally the adaptive versions of the different models are also investigated.
Classification of toric manifolds over an $n$-cube with one vertex cut
Published
• View Publication
• BIB
We say that a complete nonsingular toric variety (called a toric manifold in this paper) is over $P$ if its quotient by the compact torus is homeomorphic to $P$ as a manifold with corners. Bott manifolds (or Bott towers) are toric manifolds over an $n$-cube $I^n$ and blowing them up at a fixed point produces toric manifolds over $\mathrm{vc}(I^n)$ an $n$-cube with one vertex cut. They are all projective. On the other hand, Oda's $3$-fold, the simplest non-projective toric manifold, is over $\mathrm{vc}(I^n)$. In this paper, we classify toric manifolds over $\mathrm{vc}(I^n)$ $(n\ge 3)$ as varieties and also as smooth manifolds. As a consequence, it turns out that (1) there are many non-projective toric manifolds over $\mathrm{vc}(I^n)$ but they are all diffeomorphic, and (2) toric manifolds over $\mathrm{vc}(I^n)$ in some class are determined by their cohomology rings as varieties among toric manifolds.
Categorical relations between Langlands dual quantum affine algebras: Doubly laced types
Published
• View Publication
• BIB
We prove that the Grothendieck rings of category $\mathcal{C}^{(t)}_Q$ over quantum affine algebras $U_q'(\g^{(t)})$ $(t=1,2)$ associated to each Dynkin quiver $Q$ of finite type $A_{2n-1}$ (resp. $D_{n+1}$) is isomorphic to one of category $\mathcal{C}_{\mQ}$ over the Langlands dual $U_q'({^L}\g^{(2)})$ of $U_q'(\g^{(2)})$ associated to any twisted adapted class $[\mQ]$ of $A_{2n-1}$ (resp. $D_{n+1}$). This results provide partial answers of conjectures of Frenkel-Hernandez on Langlands duality for finite-dimensional representation of quantum affine algebras.
A note on the number of edges in a Hamiltonian graph with no repeated cycle length
Let $G$ be an $n$-vertex graph obtained by adding chords to a cycle of length $n$. Markström asked for the maximum number of edges in $G$ if there are no two cycles in $G$ with the same length. A simple counting argument shows that such a graph can have at most $n + \sqrt{2n} +1 $ edges. Using difference sets in $\mathbb{Z}_n$, we show that for infinitely many $n$, there is an $n$-vertex Hamiltonian graph with $n + \sqrt{n - 3/4} - 3/2$ edges and no repeated cycle length.
Skew Howe duality and random rectangular Young tableaux
Published in Algebraic Combinatorics, Volume 1 (2018) no. 1, p. 81-94
• View Publication
• BIB
We consider the decomposition into irreducible components of the external power $Λ^p(\mathbb{C}^m\otimes \mathbb{C}^n)$ regarded as a $\operatorname{GL}_m\times\operatorname{GL}_n$-module. Skew Howe duality implies that the Young diagrams from each pair $(λ,μ)$ which contributes to this decomposition turn out to be conjugate to each other, i.e.~$μ=λ'$. We show that the Young diagram $λ$ which corresponds to a randomly selected irreducible component $(λ,λ')$ has the same distribution as the Young diagram which consists of the boxes with entries $\leq p$ of a random Young tableau of rectangular shape with $m$ rows and $n$ columns. This observation allows treatment of the asymptotic version of this decomposition in the limit as $m,n,p\to\infty$ tend to infinity.
The grasshopper problem
Published in Proc. R. Soc. A 473 20170494 (2017)
• View Publication
• BIB
We introduce and physically motivate the following problem in geometric combinatorics, originally inspired by analysing Bell inequalities. A grasshopper lands at a random point on a planar lawn of area one. It then jumps once, a fixed distance $d$, in a random direction. What shape should the lawn be to maximise the chance that the grasshopper remains on the lawn after jumping? We show that, perhaps surprisingly, a disc shaped lawn is not optimal for any $d>0$. We investigate further by introducing a spin model whose ground state corresponds to the solution of a discrete version of the grasshopper problem. Simulated annealing and parallel tempering searches are consistent with the hypothesis that for $ d < π^{-1/2}$ the optimal lawn resembles a cogwheel with $n$ cogs, where the integer $n$ is close to $ π( \arcsin ( \sqrtπ d /2 ) )^{-1}$. We find transitions to other shapes for $d \gtrsim π^{-1/2}$.
Construction of strongly regular Cayley graphs based on three-valued Gauss periods
Published
• View Publication
• BIB
In this paper, we give a construction of strongly regular Cayley graphs on the additive groups of finite fields based on three-valued Gauss periods. As consequences, we obtain two infinite families and one sporadic example of new strongly regular Cayley graphs. This construction can be viewed as a generalization of that of strongly regular Cayley graphs obtained in \cite{BLMX}.
Clique-Width for Graph Classes Closed under Complementation
Clique-width is an important graph parameter due to its algorithmic and structural properties. A graph class is hereditary if it can be characterized by a (not necessarily finite) set ${\cal H}$ of forbidden induced subgraphs. We initiate a systematic study into the boundedness of clique-width of hereditary graph classes closed under complementation. First, we extend the known classification for the $|{\cal H}|=1$ case by classifying the boundedness of clique-width for every set ${\cal H}$ of self-complementary graphs. We then completely settle the $|{\cal H}|=2$ case. In particular, we determine one new class of $(H,\overline{H})$-free graphs of bounded clique-width (as a side effect, this leaves only six classes of $(H_1,H_2)$-free graphs, for which it is not known whether their clique-width is bounded). Once we have obtained the classification of the $|{\cal H}|=2$ case, we research the effect of forbidding self-complementary graphs on the boundedness of clique-width. Surprisingly, we show that for a set ${\cal F}$ of self-complementary graphs on at least five vertices, the classification of the boundedness of clique-width for $(\{H,\overline{H}\}\cup {\cal F})$-free graphs coincides with the one for the $|{\cal H}|=2$ case if and only if ${\cal F}$ does not include the bull (the only non-empty self-complementary graphs on fewer than five vertices are $P_1$ and $P_4$, and $P_4$-free graphs have clique-width at most $2$). Finally, we discuss the consequences of our results for the Colouring problem.
Counting De Bruijn sequences as perturbations of linear recursions
Every binary De~Bruijn sequence of order n satisfies a recursion 0=x_n+x_0+g(x_{n-1}, ..., x_1). Given a function f on (n-1) bits, let N(f; r) be the number of functions generating a De Bruijn sequence of order n which are obtained by changing r locations in the truth table of f. We prove a formula for the generating function \sum_r N(\ell; r) y^r when \ell is a linear function.
The proof uses a weighted Matrix Tree Theorem and a description of the in-trees (or rooted trees) in the n-bit De Bruijn graph as perturbations of the Hamiltonian paths in the same graph.
Newton polytopes and symmetric Grothendieck polynomials
Published in C. R. Math. Acad. Sci. Paris 355 (2017), no. 8, 831-834
• View Publication
• BIB
Symmetric Grothendieck polynomials are inhomogeneous versions of Schur polynomials that arise in combinatorial $K$-theory. A polynomial has saturated Newton polytope (SNP) if every lattice point in the polytope is an exponent vector. We show Newton polytopes of these Grothendieck polynomials and their homogeneous components have SNP. Moreover, the Newton polytope of each homogeneous component is a permutahedron. This addresses recent conjectures of C. Monical-N. Tokcan-A. Yong and of A. Fink-K. Mészáros-A. St. Dizier in this special case.
Constraining the clustering transition for colorings of sparse random graphs
Published
• View Publication
• BIB
Let $Ω_q$ denote the set of proper $q$-colorings of the random graph $G_{n,m}, m=dn/2$ and let $H_q$ be the graph with vertex set $Ω_q$ and an edge $\{σ,τ\}$ where $σ,τ$ are mappings $[n]\to[q]$ iff $h(σ,τ)=1$. Here $h(σ,τ)$ is the Hamming distance $|\{v\in [n]:σ(v)\neqτ(v)\}|$. We show that w.h.p. $H_q$ contains a single giant component containing almost all colorings in $Ω_q$ if $d$ is sufficiently large and $q\geq \frac{cd}{\log d}$ for a constant $c>3/2$.
Hodge theory in combinatorics
Published
• View Publication
• BIB
George Birkhoff proved in 1912 that the number of proper colorings of a finite graph G with n colors is a polynomial in n, called the chromatic polynomial of G. Read conjectured in 1968 that for any graph G, the sequence of absolute values of coefficients of the chromatic polynomial is unimodal: it goes up, hits a peak, and then goes down. Read's conjecture was proved by June Huh in a 2012 paper making heavy use of methods from algebraic geometry. Huh's result was subsequently refined and generalized by Huh and Katz, again using substantial doses of algebraic geometry. Both papers in fact establish log-concavity of the coefficients, which is stronger than unimodality.
The breakthroughs of Huh and Huh-Katz left open the more general Rota-Welsh conjecture where graphs are generalized to (not necessarily representable) matroids and the chromatic polynomial of a graph is replaced by the characteristic polynomial of a matroid. The Huh and Huh-Katz techniques are not applicable in this level of generality, since there is no underlying algebraic geometry to which to relate the problem. But in 2015 Adiprasito, Huh, and Katz announced a proof of the Rota-Welsh conjecture based on a novel approach motivated by but not making use of any results from algebraic geometry. The authors first prove that the Rota-Welsh conjecture would follow from combinatorial analogues of the Hard Lefschetz Theorem and Hodge-Riemann relations in algebraic geometry. They then implement an elaborate inductive procedure to prove the combinatorial Hard Lefschetz Theorem and Hodge-Riemann relations using purely combinatorial arguments.
We will survey these developments.
Exponential decay of connection probabilities for subcritical Voronoi percolation in $\mathbb{R}^d$
Published
• View Publication
• BIB
We prove that for Voronoi percolation on $\mathbb{R}^d$, there exists $p_c\in[0,1]$ such that
- for $p<p_c$, there exists $c_p>0$ such that $\mathbb{P}_p[0\text{ connected to distance }n]\leq \exp(-c_p n)$,
- there exists $c>0$ such that for $p>p_c$, $\mathbb{P}_p[0\text{ connected to }\infty]\geq c(p-p_c)$.
For dimension 2, this result offers a new way of showing that $p_c(2)=1/2$. This paper belongs to a series of papers using the theory of algorithms to prove sharpness of the phase transition.
On Central-Peripheral Appendage Numbers of Uniform Central Graphs
Published
• View Publication
• BIB
In a uniform central graph (UCG) the eccentric verticies of a central vertex is the same for all central verticies. This collection of eccentric verticies is the centered periphery. For a pair of graphs $(C, P)$ the central-peripheral appendage number, $A_{ucg}(C, P)$, is the minimum number verticies needed to be adjoined to the graphs $C$ and $P$ in order to construct a uniform central graph H with center C and centered-periphery P. We compute $A_{ucg}(C, P)$ in terms of the radius and diameter of P and whether or not $C$ is a complete graph. In the process we show $A_{ucg}(C, P)\leq 6$ if $diam(P) > 2$. We also provide structure theorems for UCGs in terms of the centered periphery.
Lecture notes on the Carlsson-Mellit proof of the shuffle conjecture
This note is based on the original proof of the shuffle conjecture by Carlsson and Mellit (arXiv:1508.06239, version 2), which seems to be too concise for the combinatorial community. James Haglund spent a semester to check through the proof line by line and took explicit note. Guoce Xin was asked by Adriano Garsia to elaborate the proof. The whole paper is thoroughly checked and filled in with details. Section 1 and the abstract of the original paper is included. Section 2 is rewritten for clarity. Other sections are filled with detailed proof and computation. We hope this note is accessible to graduate students.
Equating $k$ Maximum Degrees in Graphs without Short Cycles
For an integer $k$ at least $2$, and a graph $G$, let $f_k(G)$ be the minimum cardinality of a set $X$ of vertices of $G$ such that $G-X$ has either $k$ vertices of maximum degree or order less than $k$. Caro and Yuster (Discrete Mathematics 310 (2010) 742-747) conjectured that, for every $k$, there is a constant $c_k$ such that $f_k(G)\leq c_k \sqrt{n(G)}$ for every graph $G$. Verifying a conjecture of Caro, Lauri, and Zarb (arXiv:1704.08472v1), we show the best possible result that, if $t$ is a positive integer, and $F$ is a forest of order at most $\frac{1}{6}\left(t^3+6t^2+17t+12\right)$, then $f_2(F)\leq t$. We study $f_3(F)$ for forests $F$ in more detail obtaining similar almost tight results, and we establish upper bounds on $f_k(G)$ for graphs $G$ of girth at least $5$. For graphs $G$ of girth more than $2p$, for $p$ at least $3$, our results imply $f_k(G)=O\left(n(G)^{\frac{p+1}{3p}}\right)$. Finally, we show that, for every fixed $k$, and every given forest $F$, the value of $f_k(F)$ can be determined in polynomial time.
A characterization of high order freeness for product arrangements and answers to Holm's questions
Published
• View Publication
• BIB
An m-free hyperplane arrangement is a generalization of a free arrangement. Holm asked the following two questions: (1)Does m-free imply (m+1)-free for any arrangement? (2)Are all arrangements m-free for m large enough? In this paper, we characterize m-freeness for product arrangements, while we prove that all localizations of an m-free arrangement are m-free. From these results, we give answers to Holm's questions.
More results on the distance (signless) Laplacian eigenvalues of graphs
Let $G$ be a connected graph with vertex set $V(G)$ and edge set $E(G)$. Let $Tr(G)$ be the diagonal matrix of vertex transmissions of $G$ and $D(G)$ be the distance matrix of $G$. The distance Laplacian matrix of $G$ is defined as $\mathcal{L}(G)=Tr(G)-D(G)$. The distance signless Laplacian matrix of $G$ is defined as $\mathcal{Q}(G)=Tr(G)+D(G)$. In this paper, we give a lower bound on the distance Laplacian spectral radius in terms of $D_1$, as a consequence, we show that $\partial_1^L(G)\geq n+\lceil\frac{n}ω\rceil$ where $ω$ is the clique number of $G$. Furthermore, we give some graft transformations, by using them, we characterize the extremal graph attains the maximum distance spectral radius in terms of $n$ and $ω$. Moreover, we also give bounds on the distance signless Laplacian eigenvalues of $G$, and give a confirmation on a conjecture due to Aouchiche and Hansen.