Showing 20 papers (Total: 81680 papers, 47334 authors in database)
On simple matroids with a unique minimal tropical basis
In this note we characterize tropical bases as sets of circuits that by orthogonality determine the set of cocircuits of a simple matroid. Furthermore, we show that any circuit, which itself is closed, must be contained in any tropical basis. This yields a characterization of simple matroids which have a unique minimal tropical basis, giving a solution for a problem posted in the Matroid Union Blog.
Sufficient conditions for closed-trailable in digraphs
Published
• View Publication
• BIB
A digraph $D$ with a subset $S$ of $V(D)$ is called $\boldsymbol{S}${\bf -strong} if for every pair of distinct vertices $u$ and $v$ of $S$, there is a $(u, v)$-dipath and a $(v, u)$-dipath in $D$. We define a digraph $D$ with a subset $S$ of $V(D)$ to be $\boldsymbol{S}${\bf -strictly strong} if there exist two nonadjacent vertices $u,v\in S$ such that $D$ contains a closed ditrail through the vertices $u$ and $v$; and define a subset $S\subseteq V(D)$ to be {\bf closed-trailable} if $D$ contains a closed ditrail through all the vertices of $S$. In this paper, we prove that for a digraph $D$ with $n$ vertices and a subset $S$ of $V(D)$, if $D$ is $S$-strong and if $d(u) + d(v)\geq 2n -3$ for any two nonadjacent vertices $u,v$ of $S$, then $S$ is closed-trailable. This result generalizes the theorem of Bang-Jensen et al. \cite{BaMa14} on supereulerianity. Moveover, we show that for a digraph $D$ and a subset $S$ of $V(D)$, if $D$ is $S$-strictly strong and if $δ^0(D\langle S\rangle)\geqα'(D\langle S\rangle)>0$, where $δ^0(D\langle S\rangle)$ is the minimum semi-degree of $D\langle S\rangle$ and $α'(D\langle S\rangle)$ is the matching number of $D\langle S\rangle$, then $S$ is closed-trailable. This result generalizes the theorem of Algefari et al. \cite{AlLa15} on supereulerianity.
On $k$-uniform tight cycles: the Ramsey number for $C_{kn}^{(k)}$ and an approximate Lehel's conjecture
Published
• View Publication
• BIB
A $k$-uniform tight cycle is a $k$-graph with a cyclic ordering of its vertices such that its edges are precisely the sets of $k$ consecutive vertices in that ordering. We show that, for each $k \geq 3$, the Ramsey number of the $k$-uniform tight cycle on $kn$ vertices is $(1+o(1))(k+1)n$. This is an extension to all uniformities of previous results for $k = 3$ by Haxell, Łuczak, Peng, Rödl, Ruciński, and Skokan and for $k = 4$ by Lo and the author and confirms a special case of a conjecture by the former set of authors.
Lehel's conjecture, which was proved by Bessy and Thomassé, states that every red-blue edge-coloured complete graph contains a red cycle and a blue cycle that are vertex-disjoint and together cover all the vertices. We also prove an approximate version of this for $k$-uniform tight cycles. We show that, for every $k \geq 3$, every red-blue edge-coloured complete $k$-graph on $n$ vertices contains a red tight cycle and a blue tight cycle that are vertex-disjoint and together cover $n - o(n)$ vertices.
Online Matching and Contention Resolution for Edge Arrivals with Vanishing Probabilities
Published in In EC 2024
• View Publication
• BIB
We study the performance of sequential contention resolution and matching algorithms on random graphs with vanishing edge probabilities. When the edges of the graph are processed in an adversarially-chosen order, we derive a new OCRS that is $0.382$-selectable, attaining the "independence benchmark" from the literature under the vanishing edge probabilities assumption. Complementary to this positive result, we show that no OCRS can be more than $0.390$-selectable, significantly improving upon the upper bound of $0.428$ from the literature. We also derive negative results that are specialized to bipartite graphs or subfamilies of OCRS's. Meanwhile, when the edges of the graph are processed in a uniformly random order, we show that the simple greedy contention resolution scheme which accepts all active and feasible edges is $1/2$-selectable. This result is tight due to a known upper bound. Finally, when the algorithm can choose the processing order, we show that a slight tweak to the random order -- give each vertex a random priority and process edges in lexicographic order -- results in a strictly better contention resolution scheme that is $1-\ln(2-1/e)\approx0.510$-selectable. Our positive results also apply to online matching on $1$-uniform random graphs with vanishing (non-identical) edge probabilities, extending and unifying some results from the random graphs literature.
Local symmetries in partially ordered sets
Partially ordered sets (posets) play a universal role as an abstract structure in many areas of mathematics. For finite posets, an explicit enumeration of distinct partial orders on a set of unlabelled elements is known only up to a cardinality of 16 (listed as sequence A000112 in the OEIS), but closed expressions are unknown. By considering the automorphisms of (finite) posets, I introduce a formulation of local symmetries. These symmetries give rise to a division operation on the set of posets and lead to the construction of symmetry classes that are easier to characterise and enumerate. Furthermore, we consider polynomial expressions that count certain subsets of posets with a large number of layers (a large height). As an application in physics, local symmetries or rather their absence helps to distinguish causal sets (locally finite posets) that serve as discrete spacetime models from generic causal sets.
On maximizing the number of heads when you need to set aside at least one coin every round
You play the following game: you start out with $n$ coins that all have probability $p$ to land heads. You toss all of them and you then need to set aside at least one of them, which will not be tossed again. Now you repeat the process with the remaining coins. This continues (for at most $n$ rounds) until all coins have been set aside. Your goal is to maximize the total number of heads you end up with. In this paper we will prove that there exists a constant $p_0 \approx 0.5495021777642$ such that, if $p_0 < p \le 1$ and the number of remaining coins is large enough, then it is optimal to set aside exactly one coin every round, unless all coins landed heads. When $\frac{1}{2} \le p \le p_0$, it is optimal to set aside exactly one coin every round, unless at most one coin came up tails. Let $v_{n,p}$ be the expected number of heads you obtain when using the optimal strategy. We will show that $v_{n,p}$ is larger than or equal to $v_{n-1,p} + 1$ for all $n \ge 3$ and all $p \ge \frac{1}{2}$. When $p < \frac{1}{2}$ there are infinitely many $n$ for which this inequality does not hold. Finally, we will see that for every $p$ with $0 < p \le 1$ the sequence $n - v_{n,p}$ is convergent.
A spectral Erdős-Faudree-Rousseau theorem
Published in Journal of Graph Theory (2025)
• View Publication
• BIB
A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than $\lfloor n^2/4\rfloor $ edges contains at least $2\lfloor n/2\rfloor +1$ edges in triangles. Such edges are called triangular edges. In this paper, we present a spectral version of the result of Erdős, Faudree and Rousseau. Using the supersaturation-stability and the spectral technique, we prove that every $n$-vertex graph $G$ with $λ(G) \ge \sqrt{\lfloor n^2/4\rfloor}$ contains at least $2 \lfloor {n}/{2} \rfloor -1$ triangular edges, unless $G$ is a balanced complete bipartite graph. The method in our paper has some interesting applications. Firstly, the supersaturation-stability can be used to revisit a conjecture of Erdős concerning with the booksize of a graph, which was initially proved by Edwards (unpublished), and independently by Khadžiivanov and Nikiforov (1979). Secondly, our method can improve the bound on the order $n$ of the spectral extremal graph when we forbid the friendship graph as a substructure. We drop the condition that requires the order $n$ to be sufficiently large, which was investigated by Cioabă, Feng, Tait and Zhang (2020) using the triangle removal lemma. Thirdly, this method can be utilized to deduce the classical stability for odd cycles and it gives more concise bounds on parameters. Finally, the supersaturation-stability could be applied to deal with the spectral graph problems on counting triangles, which was recently studied by Ning and Zhai (2023).
Finite Abelian Groups with Toroidal Subgroup Lattices
Published
• View Publication
• BIB
In this paper, we determine the genus of the subgroup lattice of several families of abelian groups. In doing so, we classify all finite abelian groups whose subgroup lattices can be embedded into the torus.
On area-minimizing subgraphs in integer lattices
We introduce area-minimizing subgraphs in an infinite graph via the formulation of functions of bounded variations initiated by De Giorgi. We classify area-minimizing subgraphs in the two-dimensional integer lattice up to isomorphisms, and prove general geometric properties for those in high-dimensional cases.
IBIS primitive groups of almost simple type
Published
• View Publication
• BIB
Let $G$ be a finite permutation group on $Ω$. An ordered sequence
$(ω_1\ldots,ω_\ell)$ of elements of $Ω$ is an irredundant base for $G$ if the pointwise stabilizer is trivial and no point is fixed by the stabilizer of its predecessors. The minimal cardinality of a base is said to be the base size of $G$. If all irredundant bases of $G$ have the same cardinality, $G$ is said to be an IBIS group.
In this paper, we classify the finite almost simple primitive IBIS groups whose base size is at least $6$.
On dual-ABAB-free and related hypergraphs
Geometric motivations warranted the study of hypergraphs on ordered vertices that have no pair of hyperedges that induce an alternation of some given length. Such hypergraphs are called ABA-free, ABAB-free and so on. Since then various coloring and other combinatorial results were proved about these families of hypergraphs. We prove a characterization in terms of their incidence matrices which avoids using the ordering of the vertices. Using this characterization, we prove new results about the dual hypergraphs of ABAB-free hypergraphs. In particular, we show that dual-ABAB-free hypergraphs are not always proper $2$-colorable even if we restrict ourselves to hyperedges that are larger than some parameter $m$.
Bootstrap percolation on the high-dimensional Hamming graph
Published
• View Publication
• BIB
In the random $r$-neighbour bootstrap percolation process on a graph $G$, a set of initially infected vertices is chosen at random by retaining each vertex of $G$ independently with probability $p\in (0,1)$, and "healthy" vertices get infected in subsequent rounds if they have at least $r$ infected neighbours. A graph $G$ \emph{percolates} if every vertex becomes eventually infected. A central problem in this process is to determine the critical probability $p_c(G,r)$, at which the probability that $G$ percolates passes through one half. In this paper, we study random $2$-neighbour bootstrap percolation on the $n$-dimensional Hamming graph $\square_{i=1}^n K_k$, which is the graph obtained by taking the Cartesian product of $n$ copies of the complete graph $K_k$ on $k$ vertices. We extend a result of Balogh and Bollobás [Bootstrap percolation on the hypercube, Probab. Theory Related Fields. 134 (2006), no. 4, 624-648. MR2214907] about the asymptotic value of the critical probability $p_c(Q^n,2)$ for random $2$-neighbour bootstrap percolation on the $n$-dimensional hypercube $Q^n=\square_{i=1}^n K_2$ to the $n$-dimensional Hamming graph $\square_{i=1}^n K_k$, determining the asymptotic value of $p_c\left(\square_{i=1}^n K_k,2\right)$, up to multiplicative constants (when $n \rightarrow \infty$), for arbitrary $k \in \mathbb N$ satisfying $2 \leq k\leq 2^{\sqrt{n}}$.
When $t$-intersecting hypergraphs admit bounded $c$-strong colourings
The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong chromatic number for $c\geq t+2$. Our characterisation also applies to hypergraphs which exclude sunflowers with specified parameters.
Johnson graphs as slices of a hypercube and an algebra homomorphism from the universal Racah algebra into $U(\mathfrak{sl}_2)$
Published
• View Publication
• BIB
From the viewpoint of Johnson graphs as slices of a hypercube, we derive a novel algebra homomorphism $\sharp$ from the universal Racah algebra $\Re$ into $U(\mathfrak{sl}_2)$. We use the Casimir elements of $\Re$ to describe the kernel of $\sharp$. By pulling back via $\sharp$ every $U(\mathfrak{sl}_2)$-module can be viewed as an $\Re$-module. We show that for any finite-dimensional $U(\mathfrak{sl}_2)$-module $V$, the $\Re$-module $V$ is completely reducible and three generators of $\Re$ act on every irreducible $\Re$-submodule of $V$ as a Leonard triple. In particular, Leonard triples can be constructed in terms of the second dual distance operator of the hypercube $H(D,2)$ and a decomposition of the second distance operator of $H(D,2)$ induced by Johnson graphs.
Enumeration of maps with tight boundaries and the Zhukovsky transformation
Published
• View Publication
• BIB
We consider maps with tight boundaries, i.e. maps whose boundaries have minimal length in their homotopy class, and discuss the properties of their generating functions $T^{(g)}_{\ell_1,\ldots,\ell_n}$ for fixed genus $g$ and prescribed boundary lengths $\ell_1,\ldots,\ell_n$, with a control on the degrees of inner faces. We find that these series appear as coefficients in the expansion of $ω^{(g)}_n(z_1,\ldots,z_n)$, a fundamental quantity in the Eynard-Orantin theory of topological recursion, thereby providing a combinatorial interpretation of the Zhukovsky transformation used in this context. This interpretation results from the so-called trumpet decomposition of maps with arbitrary boundaries. In the planar bipartite case, we obtain a fully explicit formula for $T^{(0)}_{2\ell_1,\ldots,2\ell_n}$ from the Collet-Fusy formula. We also find recursion relations satisfied by $T^{(g)}_{\ell_1,\ldots,\ell_n}$, which consist in adding an extra tight boundary, keeping the genus $g$ fixed. Building on a result of Norbury and Scott, we show that $T^{(g)}_{\ell_1,\ldots,\ell_n}$ is equal to a parity-dependent quasi-polynomial in $\ell_1^2,\ldots,\ell_n^2$ times a simple power of the basic generating function $R$. In passing, we provide a bijective derivation in the case $(g,n)=(0,3)$, generalizing a recent construction of ours to the non bipartite case.
GMSNP and Finite Structures
Published
• View Publication
• BIB
Given an (infinite) relational structure $\mathbb S$, we say that a finite structure $\mathbb C$ is a minimal finite factor of $\mathbb S$ if for every finite structure $\mathbb A$ there is a homomorphism $\mathbb S\to \mathbb A$ if and only if there is a homomorphism $\mathbb{C} \to \mathbb{A}$. In this brief note we prove that if CSP($\mathbb S$) is in GMSNP, then $\mathbb S$ has a minimal finite factor $\mathbb C$, and moreover, CSP($\mathbb C$) reduces in polynomial time to CSP($\mathbb S$). We discuss two nice applications of this result. First, we see that if a finite promise constraint satisfaction problem PCSP($\mathbb A,\mathbb B$) has a tractable GMSNP sandwich, then it has a tractable finite sandwich. We also show that if $\mathbb G$ is a non-bipartite (possibly infinite) graph with finite chromatic number, and CSP($\mathbb G$) is in GMSNP, then CSP($\mathbb G$) in NP-complete, partially answering a question recently asked by Bodirsky and Guzmán-Pro.
A counterexample to conjecture "Catch 22"
We construct a finite deterministic graphical (DG) game without Nash equilibria in pure stationary strategies. This game has 3 players $I=\{1,2,3\}$ and 5 outcomes: 2 terminal $a_1$ and $a_2$ and 3 cyclic. Furthermore, for 2 players a terminal outcome is the best: $a_1$ for player 3 and $a_2$ for player 1. Hence, the rank vector $r$ is at most $(1,2,1)$. Here $r_i$ is the number of terminal outcomes that are worse than some cyclic outcome for the player $i \in I$. This is a counterexample to conjecture ``Catch 22" from the paper ``On Nash-solvability of finite $n$-person DG games, Catch 22" (2021) arXiv:2111.06278, according to which, at least 2 entries of $r$ are at least 2 for any NE-free game. However, Catch 22 remains still open for the games with a unique cyclic outcome, not to mention a weaker (and more important) conjecture claiming that an $n$-person finite DG game has a Nash equilibrium (in pure stationary strategies) when $r = (0^n)$, that is, all $n$ entries of $r$ are 0; in other words, when the following condition holds:
$\qquad\bullet$ ($C_0$) any terminal outcome is better than every cyclic one for each player.
A game is play-once if each player controls a unique position. It is known that any play-once game satisfying ($C_0$) has a Nash equilibrium. We give a new and very short proof of this statement. Yet, not only conjunction but already disjunction of the above two conditions may be sufficient for Nash-solvability. This is still open.
A Combinatorial Perspective on the Noncommutative Symmetric Functions
Published
• View Publication
• BIB
The noncommutative symmetric functions $\textbf{NSym}$ were first defined abstractly by Gelfand et al. in 1995 as the free associative algebra generated by noncommuting indeterminants $\{\boldsymbol{e}_n\}_{n\in \mathbb{N}}$ that were taken as a noncommutative analogue of the elementary symmetric functions. The resulting space was thus a variation on the traditional symmetric functions $Λ$. Giving noncommutative analogues of generating function relations for other bases of $Λ$ allowed Gelfand et al. to define additional bases of $\textbf{NSym}$ and then determine change-of-basis formulas using quasideterminants. In this paper, we aim for a self-contained exposition that expresses these bases concretely as functions in infinitely many noncommuting variables and avoids quasideterminants. Additionally, we look at the noncommutative analogues of two different interpretations of change-of-basis in $Λ$: both as a product of a minimal number of matrices, mimicking Macdonald's exposition of $Λ$ in Symmetric Functions and Hall Polynomials, and as statistics on brick tabloids, as in work by Eğecioğlu and Remmel, 1990.
Chessboard and level sets of continuous functions
Published
• View Publication
• BIB
We provide the following result and its discrete equivalent: Let $f \colon I^n \to \mathbb{R}^{n-1}$ be a continuous function. Then, there exist a point $p \in \mathbb{R}^{n-1}$ and a compact subset $S \subset f^{-1}\left[\left\{p\right\}\right]$ which connects some opposite faces of the $n$-dimensional unit cube $I^n$. We give an example that shows it cannot be generalized to path-connected sets. Additionally, we show that the $n$-dimensional Steinhaus Chessboard Theorem and the Brouwer Fixed Point Theorem are simple consequences of this result.
On the maximum $F$-free induced subgraphs in $K_t$-free graphs
Published
• View Publication
• BIB
For graphs $F$ and $H$, let $f_{F,H}(n)$ be the minimum possible size of a maximum $F$-free induced subgraph in an $n$-vertex $H$-free graph. This notion generalizes the Ramsey function and the Erdős--Rogers function. Establishing a container lemma for the $F$-free subgraphs, we give a general upper bound on $f_{F,H}(n)$, assuming the existence of certain locally dense $H$-free graphs. In particular, we prove that for every graph $F$ with $\mathrm{ex}(m,F) = O(m^{1+α})$, where $α\in [0,1/2)$, we have
\[
f_{F, K_3}(n) = O\left(n^{\frac{1}{2-α}}\left(\log n\right)^{\frac{3}{2-
α}}\right)
\quad
\textrm{and}
\quad
f_{F, K_4}(n) = O\left(n^{\frac{1}{3-2α}}\left(\log n\right)^{\frac{6}{3-2α}}\right).
\] For the cases where $F$ is a complete multipartite graph, letting $s = \sum_{i=1}^r s_i$, we prove that
\[
f_{K_{s_1,\ldots,s_r}, K_{r+2}}(n) = O \left( n^{\frac{2s -3}{4s -5}} (\log n)^{3} \right).
\]
We also make an observation which improves the bounds of $\mathrm{ex}(G(n,p),C_4)$ by a polylogarithmic factor.