Showing 20 papers (Total: 83133 papers, 48023 authors in database)
On arithmetic progressions in symmetric sets in finite field model
We consider two problems regarding arithmetic progressions in symmetric sets in the finite field (product space) model.
First, we show that a symmetric set $S\subseteq\mathbb{Z}_q^n$ containing $|S|=μ\cdot q^n$ elements must contain at least $δ(q,μ)\cdot q^n\cdot 2^n$ arithmetic progressions $x,x+d,\ldots,x+(q-1)\cdot d$ such that the difference $d$ is restricted to lie in $\{0,1\}^n$.
Second, we show that for prime $p$ a symmetric set $S\subseteq\mathbb{F}^n_p$ with $|S|=μ\cdot p^n$ elements contains at least $μ^{C(p)}\cdot p^{2n}$ arithmetic progressions of length $p$. This establishes that the qualitative behavior of longer arithmetic progressions in symmetric sets is the same as for progressions of length three.
On the König-Hall-Egerváry theorem for multidimensional matrices and multipartite hypergraphs
One of possible interpretations of the well-known König--Hall--Egerváry theorem is a full characterization of all bipartite graphs extremal for fractional matchings of a given weight (or, equivalently, a characterization of $(0,1)$-matrices extremal for partial fractional diagonals of a given length). In this paper we initiate the study of $d$-partite $d$-uniform hypergraphs that are extremal for fractional perfect matchings (or, equivalently, $d$-dimensional $(0,1)$-matrices that are extremal for polydiagonals). For this purpose, we analyze similarities and differences between $2$-dimensional and multidimensional cases and put forward a series of questions and conjectures on properties of multidimensional extremal matrices (extremal hypergraphs). We also prove these conjectures for several parameters and provide a number of supporting constructions and examples.
The Unimodality of the Crank on Overpartitions
Let $N(m,n)$ denote the number of partitions of $n$ with rank $m$, and let $M(m,n)$ denote the number of partitions of $n$ with crank $m$. Chan and Mao proved that for any nonnegative integers $m$ and $n$, $N(m,n)\geq N(m+2,n)$ and for any nonnegative integers $m$ and $n$ such that $n\geq12$, $n\neq m+2$, $N(m,n)\geq N(m,n-1)$. Recently, Ji and Zang showed that for $n\geq 44$ and $1\leq m\leq n-1$, $M(m-1,n)\geq M(m,n)$ and for $n\geq 14$ and $0\leq m\leq n-2$, $M(m,n)\geq M(m,n-1)$. In this paper, we analogue the result of Ji and Zang to overpartitions. Note that Bringmann, Lovejoy and Osburn introduced two type of cranks on overpartitions, namely the first residue crank and the second residue crank. Consequently, for the first residue crank $\overline{M}(m,n)$, we show that $\overline{M}(m-1,n)\geq \overline{M}(m,n)$ for $m\geq 1$ and $n\geq 3$ and $\overline{M}(m,n)\geq \overline{M}(m,n+1)$ for $m\geq 0$ and $n\geq 1$. For the second residue crank $\overline{M2}(m,n)$, we show that $\overline{M2}(m-1,n)\geq \overline{M2}(m,n)$ for $m\geq 1$ and $n\geq 0$ and $\overline{M2}(m,n)\geq \overline{M2}(m,n+1)$ for $m\geq 0$ and $n\geq 1$. Moreover, let $M_k(m,n)$ denote the number of $k$-colored partitions of $n$ with $k$-crank $m$, which was defined by Fu and Tang. They conjectured that when $k\geq 2$, $M_k(m-1,n)\geq M_k(m,n)$ except for $k=2$ and $n=1$. With the aid of the inequality $\overline{M}(m-1,n)\geq \overline{M}(m,n)$ for $m\geq 1$ and $n\geq 3$, we confirm this conjecture.
Vector partition functions and Kronecker coefficients
Published in J. Phys. A: Mathematical and Theoretical, Volume 54, Number 20 (2021)
• View Publication
• BIB
The Kronecker coefficients are the structure constants for the restriction of irreducible representations of the general linear group $GL(n m)$ into irreducibles for the subgroup $GL(n)\times GL(m)$. In this work we study the quasipolynomial nature of the Kronecker function using elementary tools from polyhedral geometry. We write the Kronecker function in terms of coefficients of a vector partition function. This allows us to define a new family of coefficients, the atomic Kronecker coefficients. Our derivation is explicit and self-contained, and gives a new exact formula and an upper bound for the Kronecker coefficients in the first nontrivial case.
A Lower Bound of the Number of Threshold Functions in Terms of Combinatorial Flags on the Boolean Cube
Let $ E=\{ (1, b_1, \ldots , b_n)\in R^{n+1} \mid \; b_i= \pm 1 ,\; i=1, \ldots, n \}$, $E^{\times n}_{\ne 0} := \{ W=(w_{i_1}, \ldots , w_{i_n}) \mid w_{i_k}\in E, \, k=1, \ldots, n, \, dim \, span(w_{i_1}, \ldots , w_{i_n}) = n \},$ and $q^W_l := |span(w_{i_{n-l+1}}, \ldots , w_{i_n}) \cap E|.$ Then for any weights $p=(p_1, \ldots, p_{2^n})$, $p_i\in R$, $\sum_{i=1}^{2^n}{p_i} =1$ we have for the number of threshold functions $P(2,n)$ the following lower bound $$P(2, n) \geq 2\sum_{W\in E^{\times n}_{\ne 0}}{\frac{1- p_{i_1} -p_{i_2} - \cdots - p_{i_{q_n^W}}}{q_n^W\cdot q_{n-1}^W\cdots q_1^W}},$$ and the right side of the inequality doesn't depend on the choice of $p$. Here the indices used in the numerator correspond to vectors from $span(w_{i_1}, \ldots , w_{i_n})\cap E = \left\{w_{i_1}, \ldots, w_{i_n}, \ldots w_{i_{q_n^W}}\right\}$.
Defensive alliance polynomial
We introduce a new bivariate polynomial which we call the defensive alliance polynomial and denote it by da(G; x, y). It is a generalization of the alliance polynomial [Carballosa et al., 2014] and the strong alliance polynomial [Carballosa et al., 2016]. We show the relation between da(G; x, y) and the alliance, the strong alliance and the induced connected subgraph [Tittmann et al., 2011] polynomials. Then, we investigate information encoded in da(G; x, y) about G. We discuss the defensive alliance polynomial for the path graphs, the cycle graphs, the star graphs, the double star graphs, the complete graphs, the complete bipartite graphs, the regular graphs, the wheel graphs, the open wheel graphs, the friendship graphs, the triangular book graphs and the quadrilateral book graphs. Also, we prove that the above classes of graphs are characterized by its defensive alliance polynomial. A relation between induced subgraphs with order three and both subgraphs with order three and size three and two respectively, is proved to characterize the complete bipartite graphs. Finally, we present the defensive alliance polynomial of the graph formed by attaching a vertex to a complete graph. We show two pairs of graphs which are not characterized by the alliance polynomial but characterized by the defensive alliance polynomial.
Permutational powers of a graph
Published in Electron. J. Combin., Vol. 26 (4) 2019, #P4.22
• View Publication
• BIB
This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more general. We start by discussing necessary and sufficient conditions on the permutation and on the adjacency matrix of a graph to guarantee their composition to represent an adjacency matrix of a graph, then we focus our attention on the cases in which the permutational power does not reduce to a zig-zag product. We show that the cases of interest are those in which the adjacency matrix is singular. This leads us to frame our problem in the context of equitable partitions, obtained by identifying vertices having the same neighborhood. The families of cyclic and complete bipartite graphs are treated in details.
The Problem of Pawns
Published in Elec. J. Comb. 22(3) (2019) Article P3.21
• View Publication
• BIB
Using a bijective proof, we show the number of ways to arrange a maximum number of nonattacking pawns on a $2m\times 2m$ chessboard is ${2m\choose m}^2$, and more generally, the number of ways to arrange a maximum number of nonattacking pawns on a $2n \times 2m$ chessboard is ${m+n\choose n}^2$.
A note on the Bilinear Bogolyubov Theorem: Transverse and bilinear sets
A set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ is called $\textit{bilinear}$ when it is the zero set of a family of linear and bilinear forms, and $\textit{transverse}$ when it is stable under vertical and horizontal sums. A theorem of the first author provides a generalization of Bogolyubov's theorem to the bilinear setting. Roughly speaking, it implies that any dense transverse set $P\subset \mathbb{F}_p^n\times\mathbb{F}_p^n$ contains a large bilinear set. In this paper, we elucidate the extent to which a transverse set is forced to be (and not only contain) a bilinear set.
Efficient constructions of convex combinations for 2-edge-connected subgraphs on fundamental classes
Finding the exact integrality gap $α$ for the LP relaxation of the 2-edge-connected spanning multigraph problem (2EC) is closely related to the same problem for the Held-Karp relaxation of the metric traveling salesman problem (TSP). While the former problem seems easier than the latter, since it is less constrained, currently the upper bounds on the respective integrality gaps for the two problems are the same.
An approach to proving integrality gaps for both of these problems is to consider fundamental classes of extreme points. For 2EC, better bounds on the integrality gap are known for certain important special cases of these fundamental points. For example, for half-integer square points, the integrality gap is between $\frac{6}{5}$ and $\frac{4}{3}$. Our main result is to improve the approximation factor to $\frac{9}{7}$ for 2EC for these points. Our approach is based on constructing convex combinations and our key tool is the top-down coloring framework for tree augmentation, whose flexibility we employ to exploit beneficial properties in both the initial spanning tree and in the input graph. We also show how these tools can be tailored to the closely related problem of uniform covers for which the proofs of the best-known bounds do not yield polynomial-time algorithms. Another key ingredient is to use a rainbow spanning tree decomposition, which allows us to obtain a convex combination of spanning trees with particular properties
Linear versus spin: representation theory of the symmetric groups
Published in Algebraic Combinatorics, Volume 3 (2020) no. 1, pp. 249-280
• View Publication
• BIB
We relate the linear asymptotic representation theory of the symmetric groups to its spin counterpart. In particular, we give explicit formulas which express the normalized irreducible spin characters evaluated on a strict partition $ξ$ with analogous normalized linear characters evaluated on the double partition $D(ξ)$. We also relate some natural filtration on the usual (linear) Kerov-Olshanski algebra of polynomial functions on the set of Young diagrams with its spin counterpart. Finally, we give a spin counterpart to Stanley formula for the characters of the symmetric groups.
On three domination-based identification problems in block graphs
Published in Fundamenta Informaticae, Volume 191, Issues 3-4: Iiro Honkala's 60 Birthday (November 10, 2024) fi:11003
• View Publication
• BIB
The problems of determining the minimum-sized \emph{identifying}, \emph{locating-dominating} and \emph{open locating-dominating codes} of an input graph are special search problems that are challenging from both theoretical and computational viewpoints. In these problems, one selects a dominating set $C$ of a graph $G$ such that the vertices of a chosen subset of $V(G)$ (i.e. either $V(G)\setminus C$ or $V(G)$ itself) are uniquely determined by their neighborhoods in $C$. A typical line of attack for these problems is to determine tight bounds for the minimum codes in various graphs classes. In this work, we present tight lower and upper bounds for all three types of codes for \emph{block graphs} (i.e. diamond-free chordal graphs). Our bounds are in terms of the number of maximal cliques (or \emph{blocks}) of a block graph and the order of the graph. Two of our upper bounds verify conjectures from the literature - with one of them being now proven for block graphs in this article. As for the lower bounds, we prove them to be linear in terms of both the number of blocks and the order of the block graph. We provide examples of families of block graphs whose minimum codes attain these bounds, thus showing each bound to be tight.
Entropy and expansion
Published in Ann. Inst. H. Poincare Probab. Statist. 56(4): 2428-2444 (2020)
• View Publication
• BIB
Shearer's inequality bounds the sum of joint entropies of random variables in terms of the total joint entropy. We give another lower bound for the same sum in terms of the individual entropies when the variables are functions of independent random seeds. The inequality involves a constant characterizing the expansion properties of the system.
Our results generalize to entropy inequalities used in recent work in invariant settings, including the edge-vertex inequality for factor-of-IID processes, Bowen's entropy inequalities, and Bollobás's entropy bounds in random regular graphs.
The proof method yields inequalities for other measures of randomness, including covariance.
As an application, we give upper bounds for independent sets in both finite and infinite graphs.
A lower bound for online rectangle packing
We slightly improve the known lower bound on the asymptotic competitive ratio for online bin packing of rectangles. We present a complete proof for the new lower bound, whose value is above 1.91.
Separation Dimension and Degree
Published in Math. Proc. Camb. Phil. Soc. 170 (2021) 549-558
• View Publication
• BIB
The "separation dimension" of a graph $G$ is the minimum positive integer $d$ for which there is an embedding of $G$ into $\mathbb{R}^d$, such that every pair of disjoint edges are separated by some axis-parallel hyperplane. We prove a conjecture of Alon et al. [SIAM J. Discrete Math. 2015] by showing that every graph with maximum degree $Δ$ has separation dimension less than $20Δ$, which is best possible up to a constant factor. We also prove that graphs with separation dimension 3 have bounded average degree and bounded chromatic number, partially resolving an open problem by Alon et al. [J. Graph Theory 2018].
A Census of Small Transitive Groups and Vertex-Transitive Graphs
We describe two similar but independently-coded computations used to construct a complete catalogue of the transitive groups of degree less than $48$, thereby verifying, unifying and extending the catalogues previously available. From this list, we construct all the vertex-transitive graphs of order less than $48$. We then present a variety of summary data regarding the transitive groups and vertex-transitive graphs, focussing on properties that seem to occur most frequently in the study of groups acting on graphs. We illustrate how such catalogues can be used, first by finding a complete list of the elusive groups of order at most $47$ and then by completely determining which groups of order at most $47$ are CI groups
Covering radius in the Hamming permutation space
Published in European J. Combin. 84 (2020) 103025
• View Publication
• BIB
Let $\mathcal{S}_n$ denote the set of permutations of $\{1,2,\dots,n\}$. The function $f(n,s)$ is defined to be the minimum size of a subset $S\subseteq \mathcal{S}_n$ with the property that for any $ρ\in \mathcal{S}_n$ there exists some $σ\in S$ such that the Hamming distance between $ρ$ and $σ$ is at most $n-s$. The value of $f(n,2)$ is the subject of a conjecture by Kézdy and Snevily, which implies several famous conjectures about latin squares. We prove that the odd $n$ case of the Kézdy-Snevily Conjecture implies the whole conjecture. We also show that $f(n,2)>3n/4$ for all $n$, that $s!< f(n,s)< 3s!(n-s)\log n$ for $1\leq s\leq n-2$ and that \[f(n,s)>\left\lfloor \frac{2+\sqrt{2s-2}}{2}\right\rfloor \frac{n}{2}\] if $s\geq 3$.
Kleene stars of the plane, polylogarithms and symmetries
Published in Theoretical Computer Science, Elsevier, 2019, 800, pp.52-72
• View Publication
• BIB
We extend the definition and construct several bases for polylogarithms Li T , where T are some series, recognizable by a finite state (multiplicity) automaton of alphabet 4 X = {x 0 , x 1 }. The kernel of this new "polylogarithmic map" Li $\bullet$ is also characterized and provides a rewriting process which terminates to a normal form. We concentrate on algebraic and analytic aspects of this extension allowing index polylogarithms at non positive multi-indices, by rational series and regularize polyzetas at non positive multi-indices.
Construction of optimal locally recoverable codes and connection with hypergraph
Published
• View Publication
• BIB
Recently, it was discovered by several authors that a $q$-ary optimal locally recoverable code, i.e., a locally recoverable code archiving the Singleton-type bound, can have length much bigger than $q+1$. This is quite different from the classical $q$-ary MDS codes where it is conjectured that the code length is upper bounded by $q+1$ (or $q+2$ for some special case). This discovery inspired some recent studies on length of an optimal locally recoverable code. It was shown in \cite{LXY} that a $q$-ary optimal locally recoverable code is unbounded for $d=3,4$. Soon after, it was proved that a $q$-ary optimal locally recoverable code with distance $d$ and locality $r$ can have length $Ω_{d,r}(q^{1 + 1/\lfloor(d-3)/2\rfloor})$. Recently, an explicit construction of $q$-ary optimal locally recoverable codes for distance $d=5,6$ was given in \cite{J18} and \cite{BCGLP}.
In this paper, we further investigate construction optimal locally recoverable codes along the line of using parity-check matrices. Inspired by classical Reed-Solomon codes and \cite{J18}, we equip parity-check matrices with the Vandermond structure. It is turns out that a parity-check matrix with the Vandermond structure produces an optimal locally recoverable code must obey certain disjoint property for subsets of $\mathbb{F}_q$. To our surprise, this disjoint condition is equivalent to a well-studied problem in extremal graph theory. With the help of extremal graph theory, we succeed to improve all of the best known results in \cite{GXY} for $d\geq 7$. In addition, for $d=6$, we are able to remove the constraint required in \cite{J18} that $q$ is even.
On the chromatic number of disjointness graphs of curves
Published
• View Publication
• BIB
Let $ω(G)$ and $χ(G)$ denote the clique number and chromatic number of a graph $G$, respectively. The {\em disjointness graph} of a family of curves (continuous arcs in the plane) is the graph whose vertices correspond to the curves and in which two vertices are joined by an edge if and only if the corresponding curves are disjoint. A curve is called {\em $x$-monotone} if every vertical line intersects it in at most one point. An $x$-monotone curve is {\em grounded} if its left endpoint lies on the $y$-axis.
We prove that if $G$ is the disjointness graph of a family of grounded $x$-monotone curves such that $ω(G)=k$, then $χ(G)\leq \binom{k+1}{2}$. If we only require that every curve is $x$-monotone and intersects the $y$-axis, then we have $χ(G)\leq \frac{k+1}{2}\binom{k+2}{3}$. Both of these bounds are best possible. The construction showing the tightness of the last result settles a 25 years old problem: it yields that there exist $K_k$-free disjointness graphs of $x$-monotone curves such that any proper coloring of them uses at least $Ω(k^{4})$ colors. This matches the upper bound up to a constant factor.