Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Characterizing positroid quotients of uniform matroids
Published
• View Publication
• BIB
We study two-step flag positroids $(P_1, P_2)$, where $P_1$ is a quotient of $P_{2}$. We provide a complete characterization of all two-step flag positroids that contain a uniform matroid, extending and completing a partial result by Benedetti, Chávez, and Jiménez. To contrast general positroids with the special case of lattice path matroids, we show that the containment relations of Grassmann necklaces and conecklaces fully characterize flag lattice path matroids, but are insufficient for general flag positroids. Additionally, we prove that the decorated permutations of any elementary quotient pair are related by a cyclic shift, resolving a conjecture of Benedetti, Chávez and Jiménez.
The classification of orthogonal arrays OA(2048,14,2,7) and some completely regular codes
Published in Discrete Math. 347(5) 2024, 113923(1-8)
• View Publication
• BIB
We describe the classification of orthogonal arrays OA$(2048,14,2,7)$, or, equivalently, completely regular $\{14;2\}$-codes in the $14$-cube ($30848$ equivalence classes). In particular, we find that there is exactly one almost-OA$(2048,14,2,7{+}1)$, up to equivalence. As derived objects, OA$(1024,13,2,6)$ ($202917$ classes) and completely regular $\{12,2;2,12\}$- and $\{14, 12, 2; 2, 12, 14\}$-codes in the $13$- and $14$-cubes, respectively, are also classified.
Keywords: binary orthogonal array, completely regular code, binary 1-perfect code.
Universality for graphs with bounded density
Published
• View Publication
• BIB
A graph $G$ is $\textit{universal}$ for a (finite) family $\mathcal{H}$ of graphs if every $H \in \mathcal{H}$ is a subgraph of $G$. For a given family $\mathcal{H}$, the goal is to determine the smallest number of edges an $\mathcal{H}$-universal graph can have. With the aim of unifying a number of recent results, we consider a family of graphs with bounded density. In particular, we construct a graph with $O_d\left( n^{2 - 1/(\lceil d \rceil + 1)} \right)$ edges which contains every $n$-vertex graph with density at most $d \in \mathbb{Q}$ ($d \ge 1$), which is close to a lower bound $Ω(n^{2 - 1/d - o(1)})$ obtained by counting lifts of a carefully chosen (small) graph. When restricting the maximum degree of such graphs to be constant, we obtain a near-optimal universality. If we further assume $d \in \mathbb{N}$, we get an asymptotically optimal construction.
Incidences with Pfaffian Curves and Functions
We introduce a new approach for studying incidences with non-algebraic curves in the plane. This approach is based on the concepts of Pfaffian curves and Pfaffian functions, as defined by Khovanskii. We derive incidence bounds for curves that are defined with exponentials, logarithms, trigonometric functions, integration, and more. Our bound for incidences with Pfaffian curves matches a classical bound of Pach and Sharir for incidences with algebraic curves, up to polylogarithmic factors.
Geometric Bruhat order on (0,1)-matrices
The combinatorially and the geometrically defined partial orders on the set of permutations coincide. We extend this result to $(0,1)$-matrices with fixed row and column sums. Namely, the Bruhat order induced by the geometry of a Cherkis bow variety of type A coincides with one of the two combinatorially defined Bruhat orders on the same set.
Standard monomial theory modulo Frobenius in characteristic two
Published
• View Publication
• BIB
Over a field of characteristic two, we develop a theory of standard monomials for polynomial rings modulo a Frobenius power of the maximal ideal generated by all variables. As a result, we obtain a filtration by modular GL_n-representations whose characters are given by particular truncated Schur polynomials, thus proving a conjecture by Gao--Raicu--VandeBogert in the characteristic two case.
Building Hamiltonian Cycles in the Semi-Random Graph Process in Less Than $2n$ Rounds
Published
• View Publication
• BIB
The semi-random graph process is an adaptive random graph process in which an online algorithm is initially presented an empty graph on $n$ vertices. In each round, a vertex $u$ is presented to the algorithm independently and uniformly at random. The algorithm then adaptively selects a vertex $v$, and adds the edge $uv$ to the graph. For a given graph property, the objective of the algorithm is to force the graph to satisfy this property asymptotically almost surely in as few rounds as possible.
We focus on the property of Hamiltonicity. We present an adaptive strategy which creates a Hamiltonian cycle in $αn$ rounds, where $α< 1.81696$ is derived from the solution to a system of differential equations. We also show that achieving Hamiltonicity requires at least $βn$ rounds, where $β> 1.26575$.
Counterexamples to conjectures on the occupancy fraction of graphs
Published
• View Publication
• BIB
The occupancy fraction of a graph is a (normalized) measure on the size of independent sets under the hard-core model, depending on a variable (fugacity) $λ.$ We present a criterion for finding the graph with minimum occupancy fraction among graphs with a fixed order, and disprove five conjectures on the extremes of the occupancy fraction and (normalized) independence polynomial for certain graph classes of regular graphs with a given girth.
On degree-$3$ and $(n-4)$-correlation-immune perfect colorings of $n$-cubes
Published in Discrete Math. 347(10) 2024, 114138(1-14)
• View Publication
• BIB
A perfect $k$-coloring of the Boolean hypercube $Q_n$ is a function from the set of binary words of length $n$ onto a $k$-set of colors such that for any colors $i$ and $j$ every word of color $i$ has exactly $S(i,j)$ neighbors (at Hamming distance $1$) of color $j$, where the coefficient $S(i,j)$ depends only on $i$ and $j$ but not on the particular choice of the word. The $k$-by-$k$ table of all coefficients $S(i,j)$ is called the quotient matrix. We characterize perfect colorings of $Q_n$ of degree at most $3$, that is, with quotient matrix whose all eigenvalues are not less than $n-6$, or, equivalently, such that every color corresponds to a Boolean function represented by a polynomial of degree at most $3$ over $R$. Additionally, we characterize $(n-4)$-correlation-immune perfect colorings of $Q_n$, whose all colors correspond to $(n-4)$-correlation-immune Boolean functions, or, equivalently, all non-main (different from $n$) eigenvalues of the quotient matrix are not greater than $6-n$.
Keywords: perfect coloring, equitable partition, resilient function, correlation-immune function.
A near-optimal zero-free disk for the Ising model
Published
• View Publication
• BIB
The partition function of the Ising model of a graph $G=(V,E)$ is defined as $Z_{\text{Ising}}(G;b)=\sum_{σ:V\to \{0,1\}} b^{m(σ)}$, where $m(σ)$ denotes the number of edges $e=\{u,v\}$ such that $σ(u)=σ(v)$. We show that for any positive integer $Δ$ and any graph $G$ of maximum degree at most $Δ$, $Z_{\text{Ising}}(G;b)\neq 0$ for all $b\in \mathbb{C}$ satisfying $|\frac{b-1}{b+1}| \leq \frac{1-o_Δ(1)}{Δ-1}$ (where $o_Δ(1) \to 0$ as $Δ\to \infty$). This is optimal in the sense that $\tfrac{1-o_Δ(1)}{Δ-1}$ cannot be replaced by $\tfrac{c}{Δ-1}$ for any constant $c > 1$ subject to a complexity theoretic assumption.
To prove our result we use a standard reformulation of the partition function of the Ising model as the generating function of even sets. We establish a zero-free disk for this generating function inspired by techniques from statistical physics on partition functions of a polymer models. Our approach is quite general and we discuss extensions of it to a certain types of polymer models.
List-$k$-Coloring $H$-free graphs for all $k>4$
Published in Combinatorica 44 (2024). 1063-1068
• View Publication
• BIB
Given an integer $k>4$ and a graph $H$, we prove that, assuming P$\neq$NP, the List-$k$-Coloring Problem restricted to $H$-free graphs can be solved in polynomial time if and only if either every component of $H$ is a path on at most three vertices, or removing the isolated vertices of $H$ leaves an induced subgraph of the five-vertex path. In fact, the "if" implication holds for all $k\geq 1$.
Induced subgraphs and tree decompositions XIV. Non-adjacent neighbours in a hole
Published in European Journal of Combinatorics 124 (2025), 104-074
• View Publication
• BIB
A clock is a graph consisting of an induced cycle $C$ and a vertex not in $C$ with at least two non-adjacent neighbours in $C$. We show that every clock-free graph of large treewidth contains a "basic obstruction" of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
Affine extended weak order is a lattice
Published
• View Publication
• BIB
Coxeter groups are equipped with a partial order known as the weak order, such that $u \leq v$ if the inversions of $u$ are a subset of the inversions of $v$. In finite Coxeter groups, weak order is a complete lattice, but in infinite Coxeter groups it is only a meet semi-lattice. Motivated by questions in Kazhdan-Lusztig theory, Matthew Dyer introduced a larger poset, now known as extended weak order, which contains the weak order as an order ideal and coincides with it for finite Coxeter groups. The extended weak order is the containment order on certain sets of positive roots: those which satisfy a geometric condition making them "biclosed". The finite biclosed sets are precisely the inversion sets of Coxeter group elements. Generalizing the result for finite Coxeter groups, Dyer conjectured that the extended weak order is always a complete lattice, even for infinite Coxeter groups.
In this paper, we prove Dyer's conjecture for Coxeter groups of affine type. To do so, we introduce the notion of a clean arrangement, which is a hyperplane arrangement where the regions are in bijection with biclosed sets. We show that root poset order ideals in a finite or rank 3 untwisted affine root system are clean. We set up a general framework for reducing Dyer's conjecture to checking cleanliness of certain subarrangements. We conjecture this framework can be used to prove Dyer's conjecture for all Coxeter groups.
On a conjecture of Marton
Published
• View Publication
• BIB
We prove a conjecture of K. Marton, widely known as the polynomial Freiman--Ruzsa conjecture, in characteristic $2$. The argument extends to odd characteristic, with details to follow in a subsequent paper.
The edge-girth-regularity of Wenger graphs
Let $n\ge 1$ be an integer and $\mathbb{F}_q$ be a finite field of characteristic $p$ with $q$ elements. In this paper, it is proved that the Wenger graph $W_n(q)$ and linearized Wenger graph $L_m(q)$ are edge-girth-regular $(v,k,g,λ)$-graphs, and the parameter $λ$ of graphs $W_n(q)$ and $L_m(q)$ is completely determined. Here, an edge-girth-regular graph $egr(v,k,g,λ)$ means a $k$-regular graph of order $v$ and girth $g$ satisfying that any edge is contained in $λ$ distinct $g$-cycles. As a direct corollary, we obtain the number of girth cycles of graph $W_n(q)$, and the lower bounds on the generalized Turán numbers $ex(n, C_{6}, \mathscr{C}_{5})$ and $ex(n, C_{8}, \mathscr{C}_{7})$, where $C_k$ is the cycle of length $k$ and $\mathscr{C}_k = \{C_3, C_4, \dots , C_k\}$.Moreover, there exist a family of $egr(2q^3,q,8,(q-1)^3(q-2))$-graphs for $q$ odd, and the order of graph $W_2(q)$ and extremal $egr(v,q,8,(q-1)^3(q-2))$-graph have same asymptotic order for $q$ odd.
4d Crystal Melting, Toric Calabi-Yau 4-Folds and Brane Brick Models
Published
• View Publication
• BIB
We introduce a class of 4-dimensional crystal melting models that count the BPS bound state of branes on toric Calabi-Yau 4-folds. The crystalline structure is determined by the brane brick model associated to the Calabi-Yau 4-fold under consideration or, equivalently, its dual periodic quiver. The crystals provide a discretized version of the underlying toric geometries. We introduce various techniques to visualize crystals and their melting configurations, including 3-dimensional slicing and Hasse diagrams. We illustrate the construction with the D0-D8 system on $\mathbb{C}^4$. Finally, we outline how our proposal generalizes to arbitrary toric CY 4-folds and general brane configurations.
Signed Poset Polytopes
Stanley introduced in 1986 the order polytope and the chain polytope for a given finite poset. These polytopes contain much information about the poset and have given rise to important examples in polyhedral geometry. In 1993, Reiner introduced signed posets as natural type-B analogues of posets. We define and study signed order and chain polytopes. Our results include convex-hull and halfspace descriptions, unimodular triangulations, Ehrhart $h^*$-polynomials and their relations to signed permutation statistics, and a Gorenstein characterization of signed order and chain polytopes.
Quasi-Transitive Mixed Graphs and Undirected Squares of Oriented Graphs
We consider the problem of classifying those graphs that arise as an undirected square of an oriented graph by generalising the notion of quasi-transitive directed graphs to mixed graphs. We fully classify those graphs of maximum degree three and those graphs of girth at least four that arise an undirected square of an oriented graph. In contrast to the recognition problem for graphs that admit a quasi-transitive orientation, we find it is NP-complete to decide if a graph admits a partial orientation as a quasi-transitive mixed graph. We prove the problem is Polynomial when restricted to inputs of maximum degree three, but remains NP-complete when restricted to inputs with maximum degree at least five. Our proof further implies that for fixed $k \geq 3$, it is NP-complete to decide if a graph arises as an undirected square of an orientation of a graph with $Δ= k$.
On the diameter of Engel graphs
Published
• View Publication
• BIB
Given a finite group $G$, the Engel graph of $G$ is a directed graph $Γ(G)$ encoding pairs of elements satisfying some Engel word. Namely, $Γ(G)$ is the directed graph, where the vertices are the non-hypercentral elements of $G$ and where there is an arc from $x$ to $y$ if and only if $[x,_ n y] = 1$ for some $n \in \mathbb{N}$. From previous work, it is known that, except for a few exceptions, $Γ(G)$ is strongly connected. In this paper, we give an absolute upper bound on the diameter of $Γ(G)$, when $Γ(G)$ is strongly connected.
Principal specializations of Schubert polynomials, multi-layered permutations and asymptotics
Published
• View Publication
• BIB
Let $v(n)$ be the largest principal specialization of Schubert polynomials for layered permutations $v(n) := \max_{w \in \mathcal{L}_n} \mathfrak{S}_w(1,\ldots,1)$. Morales, Pak and Panova proved that there is a limit \[\lim_{n \to \infty} \frac{\log v(n)}{n^2},\] and gave a precise description of layered permutations reaching the maximum. In this paper, we extend Morales Pak and Panova's results to generalized principal specialization $\mathfrak{S}_w(1,q,q^2,\ldots)$ for multi-layered permutations when $q$ equals a root of unity.