Showing 20 papers (Total: 83502 papers, 48219 authors in database)
On a Conjecture about Ron Graham's Sequence
Ron Graham's Sequence is a surprising bijection from non-negative integers to non-negative, non-prime integers that was introduced by Ron Graham in the June 1986 "Problems" column of $\textit{Mathematics Magazine}$, and which later appeared in Problem A2 of the 2013 William Lowell Putnam Mathematical Competition. We describe some properties of this function, give an algorithm for computing its values in pseudo-polynomial time, and prove a 22 year-old conjecture about an upper bound for the function.
Many cliques with small degree powers
Suppose $0 < p \le \infty$. For a simple graph $G$ with a vertex-degree sequence $d_1, \dots, d_n$ satisfying $(d_1^p + \dots + d_n^p)^{1/p} \le C$, we prove asymptotically sharp upper bounds on the number of $t$-cliques in $G$. This result bridges the $p = 1$ case, which is the notable Kruskal--Katona theorem, and the $p = \infty$ case, known as the Gan--Loh--Sudakov conjecture, and resolved by Chase. In particular, we demonstrate that the extremal construction exhibits a dichotomy between a single clique and multiple cliques at $p_0 = t - 1$. Our proof employs the entropy method.
The extended irregular domination problem
In this paper we introduce a new domination problem strongly related to the following one recently proposed by Broe, Chartrand and Zhang. One says that a vertex $v$ of a graph $Γ$ labeled with an integer $\ell$ dominates the vertices of $Γ$ having distance $\ell$ from $v$. An irregular dominating set of a given graph $Γ$ is a set $S$ of vertices of $Γ$, having distinct positive labels, whose elements dominate every vertex of $Γ$. Since it has been proven that no connected vertex transitive graph admits an irregular dominating set, here we introduce the concept of an extended irregular dominating set, where we admit that precisely one vertex, labeled with 0, dominates itself. Then we present existence or non existence results of an extended irregular dominating set $S$ for several classes of graphs, focusing in particular on the case in which $S$ is as small as possible. We also propose two conjectures.
Set-Valued Catalan Combinatorics
Published
• View Publication
• BIB
Set-valued standard Young tableaux are a generalization of standard Young tableaux due to Buch (2002) with applications in algebraic geometry. The enumeration of set-valued SYT is significantly more complicated than in the ordinary case, although product formulas are known in certain special cases. In this work we study the case of two-rowed set-valued SYT with a fixed number of entries. These tableaux are a new combinatorial model for the Catalan, Narayana, and Kreweras numbers, and can be shown to be in correspondence with both 321-avoiding permutations and a certain class of bicolored Motzkin paths. We also introduce a generalization of the set-valued comajor index studied by Hopkins, Lazar, and Linusson (2023), and use this statistic to find seemingly new q-analogs of the Catalan and Narayana numbers.
On graphs which have locally complete 2-edge-colourings and their relationship to proper circular-arc graphs
Published
• View Publication
• BIB
A 2-edge-coloured graph $G$ is called {\bf locally complete} if for each vertex $v$, the vertices adjacent to $v$ through edges of the same colour induce a complete subgraph in $G$. Locally complete 2-edge-coloured graphs have nice properties and there exists a polynomial algorithm to decide whether such a graph has an alternating hamiltonian cycle, where alternating means that the colour of two consecutive edges on the cycle are different. In this paper we show that graphs having locally complete 2-edge-colourings can be recognized in polynomial time. We give a forbidden substructure characterization for this class of graphs analogous to Gallai's characterization for cocomparability graphs. Finally, we characterize proper interval graphs and proper circular-arc graphs which have locally complete 2-edge-colourings by forbidden subgraphs.
Complexity results for a cops and robber game on directed graphs
Published
• View Publication
• BIB
We investigate a cops and robber game on directed graphs, where the robber moves along the arcs of the graph, while the cops can select any position at each time step. Our main focus is on the cop number: the minimum number of cops required to guarantee the capture of the robber. We prove that deciding whether the cop number of a digraph is equal to 1 is NP-hard, whereas this is decidable in polynomial time for tournaments. Furthermore, we show that computing the cop number for general digraphs is fixed parameter tractable when parameterized by a generalization of vertex cover. However, for tournaments, tractability is achieved with respect to the minimum size of a feedback vertex set. Among our findings, we prove that the cop number of a digraph is equal to that of its reverse digraph, and we draw connections to the matrix mortality problem.
On minimizing the Wiener index of unicyclic graphs with fixed girth and given degree sequence
The Wiener index of a graph is the sum of all the distances between any pair of vertices. We aim to describe graphs which minimize the Wiener index among all unicyclic graphs with fixed girth and given degree sequence. Depending on where the centroid of the graph is, we will present three candidates for the minimization, namely the greedy unicyclic graph, the cycle-centered graph and the out-greedy unicyclic graph.
Decomposition Polyhedra of Piecewise Linear Functions
Published
• View Publication
• BIB
In this paper we contribute to the frequently studied question of how to decompose a continuous piecewise linear (CPWL) function into a difference of two convex CPWL functions. Every CPWL function has infinitely many such decompositions, but for applications in optimization and neural network theory, it is crucial to find decompositions with as few linear pieces as possible. This is a highly challenging problem, as we further demonstrate by disproving a recently proposed approach by Tran and Wang [Minimal representations of tropical rational functions. Algebraic Statistics, 15(1):27-59, 2024]. To make the problem more tractable, we propose to fix an underlying polyhedral complex determining the possible locus of nonlinearity. Under this assumption, we prove that the set of decompositions forms a polyhedron that arises as intersection of two translated cones. We prove that irreducible decompositions correspond to the bounded faces of this polyhedron and minimal solutions must be vertices. We then identify cases with a unique minimal decomposition, and illustrate how our insights have consequences in the theory of submodular functions. Finally, we improve upon previous constructions of neural networks for a given convex CPWL function and apply our framework to obtain results in the nonconvex case.
A lonely weak tile
Published
• View Publication
• BIB
The notion of weak tiling was a key ingredient in the proof of Fuglede's spectral set conjecture for convex bodies \cite{conv}, due to the fact that every spectral set tiles its complement weakly with a suitable Borel measure. In this paper we review the concept of weak tiling, and answer a question raised in \cite{weak} by giving an example of a set $T$ which tiles its complement weakly, but $T$ is neither spectral, nor a proper tile.
A tower lower bound for the degree relaxation of the Regularity Lemma
Published
• View Publication
• BIB
It is well-known that if $(A,B)$ is an $\tfrac{\varepsilon}{2}$-regular pair (in the sense of Szemerédi) then there exist sets $A'\subset A$ and $B'\subset B'$ with $|A'|\leq \varepsilon|A|$ and $|B'|\leq \varepsilon|B|$ so that the degrees of all vertices in $A\setminus A'$ differ by at most $\varepsilon|B|$ and the degrees of all vertices in $B\setminus B'$ differ by at most $\varepsilon|A|$. We call such a property "$\varepsilon$-degularity". This leads to the notion of an "$\varepsilon$-degular" partition of a graph in the same way as the definition of $\varepsilon$-regular pairs leads to the notion of $\varepsilon$-regular partitions. We show that there exist graphs in which any $\varepsilon$-degular partition requires the number of clusters to be $\mathrm{tower}(Θ(\varepsilon^{-1/3}))$. That is, even though degularity is a substantial relaxation of regularity, in general one cannot improve much on the bounds that come with Szemerédi's regularity lemma.
The chain algebra of a pure poset
Published
• View Publication
• BIB
We extend the notion of chain algebra, originally defined in \cite{GN} for finite distributive lattices, to that of finite pure posets. We show this algebra corresponds to the Ehrhart ring of a (0,1)-polytope, termed the chain polytope, and characterize the indecomposability of this polytope. Furthermore, we prove the normality of the chain algebra, describe its canonical module, and extend one of main results from \cite{GN} by computing its Krull dimension. For width-2 pure posets, we determine the algebra's regularity and conditions for it to be Gorenstein or nearly Gorenstein.
Some line and conic arrangements and their Waldschmidt constants
We study the Waldschmidt constant of some configurations in the projective plane. In the first part, we show that the Waldschmidt constant of a set $\mathbb{X}$ of $n$ points where at least $n-3$ points among them lie on a line is either equal to $1, \frac{2n-3}{n-1}, 2, \frac{16}{7}, \frac{7}{3}, \frac{17}{7},$ or $\frac{5}{2}$. Together with the Hilbert polynomials, this gives a complete geometric characterization for $\mathbb{X}$. Next, we study some specific configurations whose Waldschmidt constants are bounded from above by $\frac{5}{2}$. Under this condition, we describe all configurations of $n$ points with $n-1$ points among them lying on an irreducible conic, and we also study some specific configurations of $9$ points.
Asymptotic normality arising in Baxter permutations
Baxter permutations arose in the study of fixed points of the composite of commuting functions by Glen Baxter in 1964. This type of permutations are counted by Baxter numbers $B_n$. It turns out that $B_n$ enumerate a lot of discrete objects such as the bases for subalgebras of the Malvenuto-Reutenauer Hopf algebra, the pairs of twin binary trees on $n$ nodes, or the diagonal rectangulations of an $n\times n$ grid. The refined Baxter number $D_{n,k}$ also count many interesting objects including the Baxter permutations of $n$ with $k-1$ descents and $n-k$ rises, twin pairs of binary trees with $k$ left leaves and $n-k+1$ right leaves, or plane bipolar orientations with $k+1$ faces and $n-k+2$ vertices. In this paper, we obtain the asymptotic normality of the refined Baxter number $D_{n,k}$ by using a sufficient condition due to Bender. In the course of our proof, the computation involving $B_n$ and some related numbers is crucial, while $B_n$ has no closed form which make the computation untractable. To address this problem, we employ the method of asymptotics of the solutions of linear recurrence equations. Our proof is semi-automatic. All the asymptotic expansions and recurrence relations are proved by utilizing symbolic computation packages.
Canonical Landau-Ginzburg models for cominuscule homogeneous spaces
Published
• View Publication
• BIB
We present a type-independent Landau-Ginzburg (LG) model $(X_\mathrm{can}, \mathcal{W}_\mathrm{can})$ for any cominuscule homogeneous space $X=G/P$. We give a fully combinatorial construction for our superpotential $\mathcal{W}_\mathrm{can}$ as a sum of $n+1$ rational functions in the (generalized) Plücker coordinates on the "Langlands dual" minuscule homogeneous space $\mathbb{X}=P^\vee\backslash G^\vee$. Explicitly, we define the denominators $\mathcal{D}_{i_*}$ of these rational functions using the combinatorics of order ideals of the corresponding minuscule poset, which can be interpreted as (generalized) Young diagrams, by a process that can be described by "moving boxes" and hence is easily implemented. To construct the corresponding numerators, we define derivations $δ_{i_1}$ on $\mathbb{C}[\mathbb{X}]$ that act by "adding an appropriate box if possible" and then we apply each $δ_{i_1}$ to the corresponding $\mathcal{D}_{i_*}$. By studying certain Weyl orbits in the fundamental representations of $\widetilde{G}^\vee$ and exploiting the existence of a certain dense algebraic torus in $\mathbb{X}$, we show that the polynomials $\mathcal{D}_{i_*}$ coincide with the generalized minors $φ_{i_*}$ appearing in the cluster structures for homogeneous spaces studied by Geiß-Leclerc-Schröer in arXiv:math/0609138. We then define the mirror variety $X_\mathrm{can}=\mathbb{X}\setminus D_\mathrm{ac}$ to be the complement of the anticanonical divisor $D_\mathrm{ac} = \sum_{i_*}\{\mathcal{D}_{i_*}=0\}$ formed by the $\mathcal{D}_{i_*}$. Moreover, we show that the LG models $(X_\mathrm{can},\mathcal{W}_\mathrm{can})$ are isomorphic to the Lie-theoretic LG-models $(X_\mathrm{Lie},\mathcal{W}_\mathrm{Lie})$ constructed by Rietsch in arXiv:math/0511124 and our models naturally generalize the type-dependent Plücker coordinate LG-models previously studied by various authors.
Counterexample to Babai's lonely colour conjecture
Motivated by colouring minimal Cayley graphs, in 1978, Babai conjectured that no-lonely-colour graphs have bounded chromatic number. We disprove this in a strong sense by constructing graphs of arbitrarily large girth and chromatic number that have a proper edge-colouring in which each cycle contains no colour exactly once.
K-Independent Boolean Networks
Published
• View Publication
• BIB
This paper proposes a new parameter for studying Boolean networks: the independence number. We establish that a Boolean network is $k$-independent if, for any set of $k$ variables and any combination of binary values assigned to them, there exists at least one fixed point in the network that takes those values at the given set of $k$ indices. In this context, we define the independence number of a network as the maximum value of $k$ such that the network is $k$-independent. This definition is closely related to widely studied combinatorial designs, such as "$k$-strength covering arrays", also known as Boolean sets with all $k$-projections surjective. Our motivation arises from understanding the relationship between a network's interaction graph and its fixed points, which deepens the classical paradigm of research in this direction by incorporating a particular structure on the set of fixed points, beyond merely observing their quantity. Specifically, among the results of this paper, we highlight a condition on the in-degree of the interaction graph for a network to be $k$-independent, we show that all regulatory networks are at most $n/2$-independent, and we construct $k$-independent networks for all possible $k$ in the case of monotone networks with a complete interaction graph.
New formulas involving Bernoulli and Stirling numbers of both kinds
This paper is devoted to establishing several new formulas relating Bernoulli and Stirling numbers of both kinds.
A note on Two-Point Concentration of the Independence Number of $G_{n,m}$
We show that the independence number of $ G_{n,m}$ is concentrated on two values for $ n^{5/4+ ε} < m \le \binom{n}{2}$. This result establishes a distinction between $G_{n,m}$ and $G_{n,p}$ with $p = m/ \binom{n}{2}$ in the regime $ n^{5/4 + ε} < m< n^{4/3}$. In this regime the independence number of $ G_{n,m}$ is concentrated on two values while the independence number of $ G_{n,p}$ is not; indeed, for $p$ in this regime variations in $ α( G_{n,p})$ are determined by variations in the number of edges in $ G_{n,p}$.
Neighborhood Balanced 3-Coloring
A graph is said to be neighborhood 3-balanced if there exists a vertex labeling with three colors so that each vertex has an equal number of neighbors of each color. We give order constraints on 3-balanced graphs, determine which generalized Petersen and Pappus graphs are 3-balanced, discuss when being 3-balanced is preserved under various graph constructions, give two general characterizations of cubic 3-balanced graphs, and classify cubic 3-balanced graphs of small order.
Characterizing real-representable matroids with large average hyperplane-size
Generalizing a theorem of the first two authors and Geelen for planes, we show that, for a real-representable matroid $M$, either the average hyperplane-size in $M$ is at most a constant depending only on its rank, or each hyperplane of $M$ contains one of a set of at most $r(M)-2$ lines. Additionally, in the latter case, the ground set of $M$ has a partition $(E_{1}, E_{2})$, where $E_{1}$ can be covered by few flats of relatively low rank and $|E_{2}|$ is bounded. These results extend to complex-representable and orientable matroids. Finally, we formulate a high-dimensional generalization of a classic problem of Motzkin, Grünbaum, Erdős and Purdy on sets of red and blue points in the plane with no monochromatic blue line. We show that the solution to this problem gives a tight upper bound on $|E_{2}|$. We also discuss this high-dimensional problem in its own right, and prove some initial results.