Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Three pairs of congruences concerning sums of central binomial coefficients
Published
• View Publication
• BIB
Recently the first author proved a congruence proposed in 2006 by Adamchuk: $\sum_{k=1}^{\lfloor\frac{2p}{3}\rfloor}\binom{2k}{k}\equiv 0\pmod{p^2}$ for any prime $p=1 \pmod{3}$. In this paper, we provide more examples (with proofs) of congruences of the same kind $$\sum_{k=1}^{\lfloor\frac{ap}{r}\rfloor}\binom{2k}{k}x^k \pmod{p^2}$$ where $p$ is a prime such that $p\equiv 1 \pmod{r}$, $a/r$ is a fraction in $(1/2,1)$ and $x$ is a $p$-adic integer. The key ingredients are the $p$-adic Gamma functions $Γ_p$ and a special class of computer-discovered hypergeometric identities.
A combinatorial expansion of vertical-strip LLT polynomials in the basis of elementary symmetric functions
Published in Advances in Mathematics Volume 400, (2022)
• View Publication
• BIB
We give a new characterization of the vertical-strip LLT polynomials $\mathrm{LLT}_P(x;q)$ as the unique family of symmetric functions that satisfy certain combinatorial relations. This characterization is then used to prove an explicit combinatorial expansion of vertical-strip LLT polynomials in terms of elementary symmetric functions. Such formulas were conjectured independently by A. Garsia et al. and the first named author, and are governed by the combinatorics of orientations of unit-interval graphs. The obtained expansion is manifestly positive if $q$ is replaced by $q+1$, thus recovering a recent result of M. D'Adderio. Our results are based on linear relations among LLT polynomials that arise in the work of D'Adderio, and of E. Carlsson and A. Mellit. To some extent these relations are given new bijective proofs using colorings of unit-interval graphs. As a bonus we obtain a new characterization of chromatic quasisymmetric functions of unit-interval graphs.
The Maximum Number of Paths of Length Four in a Planar Graph
Published
• View Publication
• BIB
Let $f(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. The order of magnitude of $f(n,P_k)$, where $P_k$ is a path on $k$ vertices, is $n^{{\lfloor{\frac{k-1}{2}}\rfloor}+1}$. In this paper we determine the asymptotic value of $f(n,P_5)$ and give conjectures for longer paths.
Eigenvalues of graphs and spectral Moore theorems
In this paper, we describe some recent spectral Moore theorems related to determining the maximum order of a connected graph of given valency and second eigenvalue. We show how these spectral Moore theorems have applications in Alon-Boppana theorems for regular graphs and in the classical degree-diameter/Moore problem.
The effective impedances of infinite ladder networks and Dirichlet problem on graphs
We calculate effective impedances of infinite $LC$- and $CL$- ladder networks as limits of effective impedances of finite network approximations, using a new method, which involves precise mathematical concepts. These concepts are related to the classical differential operators on weighted graphs. As an auxiliary result, we solve a discrete boundary value Dirichlet problem on a finite ladder network.
On the c-differential uniformity of certain maps over finite fields
Published in Designs, Codes and Cryptography, Volume 89, pp. 221-239, 2021
• View Publication
• BIB
We give some classes of power maps with low $c$-differential uniformity over finite fields of odd characteristic, {for $c=-1$}. Moreover, we give a necessary and sufficient condition for a linearized polynomial to be a perfect $c$-nonlinear function and investigate conditions when perturbations of perfect $c$-nonlinear (or not) function via an arbitrary Boolean or $p$-ary function is perfect $c$-nonlinear. In the process, we obtain a class of polynomials that are perfect $c$-nonlinear for all $c\neq 1$, in every characteristic. The affine, extended affine and CCZ-equivalence is also looked at, as it relates to $c$-differential uniformity.
On the intersection problem for linear sets in the projective line
Published
• View Publication
• BIB
The aim of this paper is to investigate the intersection problem between two linear sets in the projective line over a finite field. In particular, we analyze the intersection between two clubs with eventually different maximum fields of linearity. Also, we analyze the intersection between the linear set defined by the polynomial $αx^{q^k}+βx$ and other linear sets having the same rank; this family contains the linear set of pseudoregulus type defined by $x^q$. The strategy relies on the study of certain algebraic curves whose rational points describe the intersection of the two linear sets. Among other geometric and algebraic tools, function field theory and the Hasse-Weil bound play a crucial role. As an application, we give asymptotic results on semifields of BEL-rank two.
On the edge chromatic vertex stability number of graphs
Published
• View Publication
• BIB
For an arbitrary invariant $ρ(G)$ of a graph $G$, the $ρ-$vertex stability number $vs_ρ(G)$ is the minimum number of vertices of $G$ whose removal results in a graph $H\subseteq G$ with $ρ(H)\neq ρ(G)$ or with $E(H)=\varnothing$. In this paper, first we give some general lower and upper bounds for the $ρ$-vertex stability number, and then study the edge chromatic stability number of graphs, $vs_{χ^{\prime}}(G)$, where $χ^{\prime}=χ^{\prime}(G)$ is edge chromatic number (chromatic index) of $G$. We prove some general results for this parameter and determine $vs_{χ^{\prime}}(G)$ for specific classes of graphs.
Cliques and constructors in "Hats'"game
Published
• View Publication
• BIB
The following general variant of deterministic Hats game is analyzed. Several sages wearing colored hats occupy the vertices of a graph, the $k$-th sage can have hats of one of $h(k)$ colors. Each sage tries to guess the color of his own hat merely on the basis of observing the hats of his neighbors without exchanging any information. A predetermined guessing strategy is winning if it guarantees at least one correct individual guess for every assignment of colors.
For complete graphs and for cycles we solve the problem of describing functions $h(k)$ for which the sages win. We demonstrate here winning strategies for the sages on complete graphs, and analyze the Hats game on almost complete graphs. We develop "theory of constructors", that is a collection of theorems demonstrating how one can construct new graphs for which the sages win. We define also new game "Check by rook" which is equivalent to Hats game on 4-cycle and give complete analysis of this game.
On local Turán problems
Published
• View Publication
• BIB
Since its formulation, Turán's hypergraph problems have been among the most challenging open problems in extremal combinatorics. One of them is the following: given a $3$-uniform hypergraph $\mathcal{F}$ on $n$ vertices in which any five vertices span at least one edge, prove that $|\mathcal{F}| \ge (1/4 -o(1))\binom{n}{3}$. The construction showing that this bound would be best possible is simply $\binom{X}{3} \cup \binom{Y}{3}$ where $X$ and $Y$ evenly partition the vertex set. This construction has the following more general $(2p+1, p+1)$-property: any set of $2p+1$ vertices spans a complete sub-hypergraph on $p+1$ vertices. One of our main results says that, quite surprisingly, for all $p>2$ the $(2p+1,p+1)$-property implies the conjectured lower bound.
Counting planar maps, coloured or uncoloured
Published in In Surveys in combinatorics 2011, volume 392 of London Math. Soc. Lecture Note Ser., pages 1--49. Cambridge Univ. Press, Cambridge, 2011
• View Publication
• BIB
We present recent results on the enumeration of $q$-coloured planar maps, where each monochromatic edge carries a weight $ν$. This is equivalent to weighting each map by its Tutte polynomial, or to solving the $q$-state Potts model on random planar maps. The associated generating function, obtained by Olivier Bernardi and the author, is differentially algebraic. That is, it satisfies a (non-linear) differential equation. The starting point of this result is a functional equation written by Tutte in 1971, which translates into enumerative terms a simple recursive description of planar maps. The proof follows and adapts Tutte's solution of properly $q$-coloured triangulations (1973-1984).
We put this work in perspective with the much better understood enumeration of families of uncoloured planar maps, for which the recursive approach almost systematically yields algebraic generating functions. In the past 15 years, these algebraicity properties have been explained combinatorially by illuminating bijections between maps and families of plane trees. We survey both approaches, recursive and bijective.
Comparing the coloured and uncoloured results raises the question of designing bijections for coloured maps. No complete bijective solution exists at the moment, but we present bijections for certain specialisations of the general problem. We also show that for these specialisations, Tutte's functional equation is much easier to solve that in the general case.
We conclude with some open questions.
Free-fermions and skew stable Grothendieck polynomials
Published in J Algebr Comb (2022)
• View Publication
• BIB
Skew stable Grothendieck polynomials are $K$-theoretic analogues of skew Schur polynomials. We give a free-fermionic presentation of skew stable Grothendieck polynomials and their dual symmetric functions. By using our presentation, we derive a family of determinantal formulas, which are $K$-analogues of the Jacobi-Trudi formula for skew Schur functions. We also introduce a combinatorial method to calculate certain expansions of skew (dual) stable Grothendieck polynomials by using the non-commutative supersymmetric Schur functions.
Preprocessing Vertex-Deletion Problems: Characterizing Graph Properties by Low-Rank Adjacencies
Published
• View Publication
• BIB
We consider the $Π$-free Deletion problem parameterized by the size of a vertex cover, for a range of graph properties $Π$. Given an input graph $G$, this problem asks whether there is a subset of at most $k$ vertices whose removal ensures the resulting graph does not contain a graph from $Π$ as induced subgraph. Many vertex-deletion problems such as Perfect Deletion, Wheel-free Deletion, and Interval Deletion fit into this framework. We introduce the concept of characterizing a graph property $Π$ by low-rank adjacencies, and use it as the cornerstone of a general kernelization theorem for $Π$-Free Deletion parameterized by the size of a vertex cover. The resulting framework captures problems such as AT-Free Deletion, Wheel-free Deletion, and Interval Deletion. Moreover, our new framework shows that the vertex-deletion problem to perfect graphs has a polynomial kernel when parameterized by vertex cover, thereby resolving an open question by Fomin et al. [JCSS 2014]. Our main technical contribution shows how linear-algebraic dependence of suitably defined vectors over $\mathbb{F}_2$ implies graph-theoretic statements about the presence of forbidden induced subgraphs.
On a cyclic inequality with exponents and permutations, and its Shapiro-type analogue
Published
• View Publication
• BIB
We prove that the cyclic inequality $\sum\limits_{i=1}^{i=n}\left(\frac{x_i}{x_{i+1}}\right)^k\geq\sum\limits_{i=1}^{i=n}\frac{x_i}{x_{σ(i)}}$ holds for $k$ in a specific range dependant on the permutation $σ$. We also show that the same is not true for the Sahpiro-type generalizations.
Phase transitions from $\exp(n^{1/2})$ to $\exp(n^{2/3})$ in the asymptotics of banded plane partitions
Published
• View Publication
• BIB
We examine the asymptotics of a class of banded plane partitions under a varying bandwidth parameter $m$, and clarify the transitional behavior for large size $n$ and increasing $m=m(n)$ to be from $c_1 n^{-1} \exp(c_2 n^{1/2})$ to $c_3 n^{-49/72} \exp(c_4 n^{2/3} + c_5 n^{1/3})$ for some explicit coefficients $c_1, \ldots, c_5$. The method of proof, which is a unified saddle-point analysis for all phases, is general and can be extended to other classes of plane partitions.
A generalized Fibonacci spiral
As a generalization of planar Fibonacci spirals that are based on the recurrence relation $F_n=F_{n-1}+F_{n-2}$, we draw assembled spirals stemming from analytic solutions of the recurrence relation $G_n=a\, G_{n-1}+b\, G_{n-2}+c\, d\,^n$, with positive real initial values $G_0$ and $G_1$ and coefficients $a$, $b$, $c$, and $d$. The principal coordinates given in closed-form correspond to finite sums of alternating even- or alternating odd-indexed terms $G_{n}$. For rectangular spirals made of straight line segments (a.k.a. spirangles), the even-indexed and the odd-indexed directional corner points asymptotically lie on mutually orthogonal oblique lines. We calculate the points of intersection and show them in the case of inwinding spirals to coincide with the point of convergence. In the case of outwinding spirals, an $n$-dependent quadruple of points of intersection may form. For arched spirals, interpolation between principal coordinates is performed by means of arcs of quarter-ellipses. A three-dimensional representation is exhibited, too. The continuation of the discrete sequence $\{G_n\}$ to the complex-valued function $G(t)$ with real argument $t$$\in$$R$, exhibiting spiral graphs and oscillating curves in the Gaussian plane, subsumes the values $G_n$ for $t$$\in$$N_0$ as the zeros. Besides, we provide a matrix representation of $G_n$ in terms of transformed Horadam numbers, retrieve the Shannon product difference identity as applied to $G_n$, and suggest a substitution method for finding a variety of other identities and summations related to $G_n$.
On sums of coefficients of polynomials related to the Borwein conjectures
Published
• View Publication
• BIB
Recently, Li obtained an asymptotic formula for a certain partial sum involving coefficients for the polynomial in the First Borwein conjecture. As a consequence, he showed the positivity of this sum. His result was based on a sieving principle discovered by himself and Wan. In fact, Li points out in his paper that his method can be generalized to prove an asymptotic formula for a general partial sum involving coefficients for any prime $p>3$. In this work, we extend Li's method to obtain asymptotic formula for several partial sums of coefficients of a very general polynomial. We find that in the special cases $p=3, 5$, the signs of these sums are consistent with the three famous Borwein conjectures. Similar sums have been studied earlier by Zaharescu using a completely different method. We also improve on the error terms in the asymptotic formula for Li and Zaharescu. Using a recent result of Borwein, we also obtain an asymptotic estimate for the maximum of the absolute value of these coefficients for primes $p=2, 3, 5, 7, 11, 13$ and for $p>15$, we obtain a lower bound on the maximum absolute value of these coefficients for sufficiently large $n$.
Designs for graphs with six vertices and ten edges -- II
Published
• View Publication
• BIB
The design spectrum has been determined for ten of the 15 graphs with six vertices and ten edges. In this paper we solve the design spectrum problem for the remaining five graphs with three possible exceptions.
The spectrum of nim-values for achievement games for generating finite groups
We study an impartial achievement game introduced by Anderson and Harary. The game is played by two players who alternately select previously unselected elements of a finite group. The game ends when the jointly selected elements generate the group. The last player able to make a move is the winner of the game. We prove that the spectrum of nim-values of these games is $\{0,1,2,3,4\}$. This positively answers two conjectures from a previous paper by the last two authors.
Subdivisions of maximal 3-degenerate graphs of order $d+1$ in graphs of minimum degree $d$
Published
• View Publication
• BIB
We prove that every graph of minimum degree at least $d \ge 1$ contains a subdivision of some maximal 3-degenerate graph of order $d+1$. This generalizes the classic results of Dirac ($d=3$) and Pelikán ($d=4$). We conjecture that for any planar maximal 3-degenerate graph $H$ of order $d+1$ and any graph $G$ of minimum degree at least $d$, $G$ contains a subdivision of $H$. We verify this in the case $H$ is $P_6^3$ and $P_7^3$