Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Induced subdivisions in $K_{s,s}$-free graphs with polynomial average degree
In this paper we prove that for every $s\geq 2$ and every graph $H$ the following holds. Let $G$ be a graph with average degree $Ω_H(s^{C|H|^2})$, for some absolute constant $C>0$, then $G$ either contains a $K_{s,s}$ or an induced subdivision of $H$. This is essentially tight and confirms a conjecture of Bonamy, Bousquet, Pilipczuk, Rzążewski, Thomassé, and Walczak. A slightly weaker form of this has been independently proved by Bourneuf, Bucić, Cook, and Davies.
We actually prove a much more general result which implies the above (with worse dependence on $|H|$). We show that for every $ k\geq 2$ there is $C_k>0$ such that any graph $G$ with average degree $s^{C_k}$ either contains a $K_{s,s}$ or an induced subgraph $G'\subseteq G$ without $C_4$'s and with average degree at least $k$.
Finally, using similar methods we can prove the following. For every $k,t\geq 2$ every graph $G$ with average degree at least $C_tk^{Ω(t)}$ must contain either a $K_k$, an induced $K_{t,t}$ or an induced subdivision of $K_k$. This is again essentially tight up to the implied constants and answers in a strong form a question of Davies.
Integer Sequences: Irregular Arrays and Intra-Block Permutations
This article investigates integer sequences that partition the sequence into blocks of various lengths - irregular arrays. The main result of the article is explicit formulas for numbering of irregular arrays. A generalization of Cantor diagonal method is proposed. We also define and describe intra-block permutations of natural numbers. Generalizations of reluctant sequences are introduced, namely generalized reluctant sequences and generalized reverse reluctant sequences. Explicit formulas are presented for these sequences. The article provides numerous examples to illustrate all statements.
On the classification of low degree ovoids of $Q^+(5,q)$
Published
• View Publication
• BIB
Ovoids of the Klein quadric $Q^+(5,q)$ of $\mathrm{PG}(5,q)$ have been studied in the last 40 year, also because of their connection with spreads of $\mathrm{PG}(3,q)$ and hence translation planes. Beside the classical example given by a three dimensional elliptic quadric (corresponding to the regular spread of $\mathrm{PG}(3,q)$) many other classes of examples are known. First of all the other examples (beside the elliptic quadric) of ovoids of $Q(4,q)$ give also examples of ovoids of $Q^+(5,q)$. Another important class of ovoids of $Q^+(5,q)$ is given by the ones associated to a flock of a three dimensional quadratic cone. To every ovoid of $Q^+(5,q)$ two bivariate polynomials $f_1(x,y)$ and $f_2(x,y)$ can be associated. In this paper, we classify ovoids of $Q^+(5,q)$ such that $f_1(x,y)=y+g(x)$ and $\max\{deg(f_1),deg(f_2)\}<(\frac{1}{6.3}q)^{\frac{3}{13}}-1$, that is $f_1(x,y)$ and $f_2(x,y)$ have "low degree" compared with $q$.
The zero forcing numbers and propagation times of gear graphs and helm graphs
Published
• View Publication
• BIB
Zero forcing is a dynamic coloring process on graphs. Initially, each vertex of a graph is assigned a color of either blue or white, and then a process begins by which blue vertices force white vertices to become blue. The zero forcing number is the cardinality of the smallest set of initially blue vertices which can force the entire graph to become blue, and the propagation time is the minimum number of steps in such a zero forcing process. In this paper we will determine the zero forcing numbers and propagation times of two infinite classes of graphs called gear graphs and helm graphs.
Signed circuit $6$-covers of signed $K_4$-minor-free graphs
Published
• View Publication
• BIB
Bermond, Jackson and Jaeger [{\em J. Combin. Theory Ser. B} 35 (1983): 297-308] proved that every bridgeless ordinary graph $G$ has a circuit $4$-cover and Fan [{\em J. Combin. Theory Ser. B} 54 (1992): 113-122] showed that $G$ has a circuit $6$-cover which together implies that $G$ has a circuit $k$-cover for every even integer $k\ge 4$. The only left case when $k = 2$ is the well-know circuit double cover conjecture. For signed circuit $k$-cover of signed graphs, it is known that for every integer $k\leq 5$, there are infinitely many coverable signed graphs without signed circuit $k$-cover and there are signed eulerian graphs that admit nowhere-zero $2$-flow but don't admit a signed circuit $1$-cover. Fan conjectured that every coverable signed graph has a signed circuit $6$-cover. This conjecture was verified only for signed eulerian graphs and for signed graphs whose bridgeless-blocks are eulerian. In this paper, we prove that this conjecture holds for signed $K_4$-minor-free graphs. The $6$-cover is best possible for signed $K_4$-minor-free graphs.
A Lower Bound for R(5,6)
Published
• View Publication
• BIB
The known lower bound for the the classical Ramsey number $R(5,6)$ is improved from $58$ to $59$. The method used to construct the graph is a simple variant of computational methods that have been previously used to construct Ramsey graphs. The new method uses the concurrent programming features of the {\em Go} programming language.
Non-overlapping descents and ascents in stack-sortable permutations
Published
• View Publication
• BIB
The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary of a much more general result, the distribution of the statistic ``maximum number of non-overlapping descents'', MND, over all permutations is given by $\sum_{n,k \geq 0}D_{n,k}x^k\ frac{t^n}{n!}=\frac{e^t}{1-x(1+(t-1)e^t)}$.
In this paper, we show that the distribution of MND over stack-sortable permutations is given by $\frac{1}{n+1}{n+1\choose 2k+1}{n+k \choose k}$. We give two proofs of the result via bijections with rooted plane (binary) trees allowing us to control MND. Moreover, we show combinatorially that MND is equidistributed with the statistic MNA, the maximum number of non-overlapping ascents, over stack-sortable permutations. The last fact is obtained by establishing an involution on stack-sortable permutations that gives equidistribution of 8 statistics.
Wave fronts and caustics in the tropical plane
The paper studies intrinsic geometry in the tropical plane. Tropical structure in the real affine $n$-space is determined by the integer tangent vectors. Tropical isomorphisms are affine transformations preserving the integer lattice of the tangent space, they may be identified with the group $\operatorname{GL_n}(\mathbb{Z})$ extended by arbitrary real translations. This geometric structure allows one to define wave front propagation for boundaries of convex domains. Interestingly enough, an arbitrary compact convex domain in the tropical plane evolves to a finite polygon after an arbitrarily small time. The caustic of a wave front evolution is a tropical analytic curve. The paper studies geometry of the tropical wave fronts and caustics. In particular, we relate the caustic of a tropical angle to the continued fraction expression of its slope, and treat it as a tropical trigonometry notion.
Vertex spans of multilayered cycles
In this paper we are defining a special class of graphs called multilayered graphs and its subclass, multilayered cycles. For that subclass of graphs we are giving the values of all vertex spans (strong, direct, or Cartesian span). Surprisingly, our results reveal that, irrespective of the chosen movement rules, the span values only depend on the length of the individual cycles, not the number of layers, which holds significant implications.
On the $C_4$-isolation number of a graph
Published
• View Publication
• BIB
Let $C_k$ be the cycle of length $k$. For any graph $G$, a subset $D \subseteq V(G)$ is a $C_k$-isolating set of $G$ if the graph obtained from $G$ by deleting the closed neighbourhood of $D$ contains no $C_k$ as a subgraph. The $C_k$-isolation number of $G$, denoted by $ι(G,C_k)$, is the cardinality of a smallest $C_k$-isolating set of $G$. Borg (2020) and Borg et al. (2022) proved that if $G \ncong C_3$ is a connected graph of order $n$ and size $m$, then $ι(G,C_3) \leq \frac{n}{4}$ and $ι(G,C_3) \leq \frac{m+1}{5}$. Very recently, Bartolo, Borg and Scicluna showed that if $G$ is a connected graph of order $n$ that is not one of the determined nine graphs, then $ι(G,C_4) \leq \frac{n}{5}$. In this paper, we prove that if $G \ncong C_4$ is a connected graph of size $m$, then $ι(G,C_4) \leq \frac{m+1}{6}$, and we characterize the graphs that attain the bound. Moreover, we conjecture that if $G \ncong C_k$ is a connected graph of size $m$, then $ι(G,C_k) \leq \frac{m+1}{k+2}$.
Cohen-Macaulay permutation graphs
Published in Math. Scand. 130 (2024) 419-431
• View Publication
• BIB
In this article, we characterize Cohen-Macaulay permutation graphs. In particular, we show that a permutation graph is Cohen-Macaulay if and only if it is well-covered and there exists a unique way of partitioning its vertex set into $r$ disjoint maximal cliques, where $r$ is the cardinality of a maximal independent set of the graph. We also provide some sufficient conditions for a comparability graph to be a uniquely partially orderable (UPO) graph.
Formulae for the number of non-negative integer solutions of linear Diophantine equation and inequality
Published in Proc. Tbilisi State University, 239 (1983), 36-42
• Search Publication
New formulae are presented for the number $P(b)$ of non-negative integer solutions of a Diophantine equation $\sum_{i=1}^{n}a_ix_i=b$ and for the number $Q(b)$ of non-negative integer solutions of the Diophantine inequality $\sum_{i=1}^{n}a_ix_i\leq b$ $(a_i>0, b\geq 0$).
Finding a perfect matching of $\mathbb{F}_2^n$ with prescribed differences
We consider the following question by Balister, Győri and Schelp: given $2^{n-1}$ nonzero vectors in $\mathbb{F}_2^n$ with zero sum, is it always possible to partition the elements of $\mathbb{F}_2^n$ into pairs such that the difference between the two elements of the $i$-th pair is equal to the $i$-th given vector for every $i$? An analogous question in $\mathbb{F}_p$, which is a case of the so-called "seating couples" problem, has been resolved by Preissmann and Mischler in 2009. In this paper, we prove the conjecture in $\mathbb{F}_2^n$ in the case when the number of distinct values among the given difference vectors is at most $n-2\log n-1$, and also in the case when at least a fraction $\frac12+\varepsilon$ of the given vectors are equal (for all $\varepsilon>0$ and $n$ sufficiently large based on $\varepsilon$).
On the Smooth Locus in Flat Linear Degenerations of Flag Varieties
Published
• View Publication
• BIB
We use some moment graph techniques, recently introduced by Lanini and Pütz, to provide a combinatorial description of the smooth locus in flat linear degenerations of flag varieties, generalizing a result proved by Cerulli Irelli, Feigin and Reineke for the Feigin degeneration. Moreover, we propose a different combinatorial criterion linking the smoothness at a fixed point to transitive tournaments.
A Marstrand projection theorem for lines
Published
• View Publication
• BIB
Fix integers $1<k<n$. For $V\in G(k,n)$, let $P_V: \mathbb{R}^n\rightarrow V$ be the orthogonal projection. For $V\in G(k,n)$, define the map \[ π_V: A(1,n)\rightarrow A(1,V)\bigsqcup V. \] \[ \ell\mapsto P_V(\ell). \]
For any $0<a<\text{dim}(A(1,n))$, we find the optimal number $s(a)$ such that the following is true. For any Borel set $\boldsymbol{A} \subset A(1,n)$ with $\text{dim}(\boldsymbol{A})=a$, we have \[ \text{dim}(π_V(\boldsymbol{A}))=s(a), \text{for a.e. } V\in G(k,n). \] When $A(1,n)$ is replaced by $A(0,n)=\mathbb{R}^n$, it is the classical Marstrand projection theorem, for which $s(a)=\min\{k,a\}$. A new ingredient of the paper is the Fourier transform on affine Grassmannian.
Improved asymptotic upper bounds for the minimum number of pairwise distinct longest cycles in regular graphs
Published
• View Publication
• BIB
We study how few pairwise distinct longest cycles a regular graph can have under additional constraints. For each integer $r \geq 5$, we give exponential improvements for the best asymptotic upper bounds for this invariant under the additional constraint that the graphs are $r$-regular hamiltonian graphs. Earlier work showed that a conjecture by Haythorpe on a lower bound for this invariant is false because of an incorrect constant factor, whereas our results imply that the conjecture is even asymptotically incorrect. Motivated by a question of Zamfirescu and work of Chia and Thomassen, we also study this invariant for non-hamiltonian 2-connected $r$-regular graphs and show that in this case the invariant can be bounded from above by a constant for all large enough graphs, even for graphs with arbitrarily large girth.
Orthonormal representations, vector chromatic number, and extension complexity
Published
• View Publication
• BIB
We construct a bipartite generalization of Alon and Szegedy's nearly orthogonal vectors, thereby obtaining strong bounds for several extremal problems involving the Lovász theta function, vector chromatic number, minimum semidefinite rank, nonnegative rank, and extension complexity of polytopes. In particular, we derive a couple of general lower bounds for the vector chromatic number which may be of independent interest.
On the nontrivial extremal eigenvalues of graphs
Published
• View Publication
• BIB
We present a finer quantitative version of an observation due to Breuillard, Green, Guralnick and Tao which tells that for finite non-bipartite Cayley graphs, once the nontrivial eigenvalues of their normalized adjacency matrices are uniformly bounded away from $1$, then they are also uniformly bounded away from $-1$. Unlike previous works which depend heavily on combinatorial arguments, we rely more on analysis of eigenfunctions. We establish a new explicit lower bound for the gap between $-1$ and the smallest normalized adjacency eigenvalue, which improves previous lower bounds in terms of edge-expansion, and is comparable to the best known lower bound in terms of vertex-expansion.
Hopf algebras from poset growth models
Published in Electron. J Combin. 31 no.3 (2024), #P3.9
• View Publication
• BIB
We give a framework for growth models on posets which simultaneously generalizes the Classical Sequential Growth models for posets from causal set theory and the tree growth models of natural growth and simple tree classes, the latter of which also appear as solutions of combinatorial Dyson-Schwinger equations in quantum field theory. We prove which cases of the Classical Sequential Growth models give subHopf algebras of the Hopf algebra of posets, in analogy to a characterization due to Foissy in the Dyson-Schwinger case. We find a family of generating sets for the Connes-Moscovici Hopf algebra.
The sparse circular law, revisited
Published
• View Publication
• BIB
Let $A_n$ be an $n\times n$ matrix with iid entries distributed as Bernoulli random variables with parameter $p = p_n$. Rudelson and Tikhomirov, in a beautiful and celebrated paper, show that the distribution of eigenvalues of $A_n \cdot (pn)^{-1/2}$ is approximately uniform on the unit disk as $n\rightarrow \infty$ as long as $pn \rightarrow \infty$, which is the natural necessary condition.
In this paper we give a much simpler proof of this result, in its full generality, using a perspective we developed in our recent proof of the existence of the limiting spectral law when $pn$ is bounded. One feature of our proof is that it avoids the use of $ε$-nets entirely and, instead, proceeds by studying the evolution of the singular values of the shifted matrices $A_n-zI$ as we incrementally expose the randomness in the matrix.