partition
6350 papers tagged with this keyword
The $O(m^{2/3})$ error term for judicious partitions of 3-uniform hypergraphs
Let $k\ge2$ be a fixed integer. Bollobás and Scott proved that every $3$-uniform hypergraph with $m$ edges admits a partition of its vertex set into $k$ parts such that each part spans at most $m/k^3+O_k(m^{6/7})$ edges. Scott later suggested that the error term should be $O_k(m^{2/3})$. In this paper, we show that every $3$-uniform hypergraph with $m$ edges admits a partition into $k$ parts such that each part spans at most $m/k^3+O_k(m^{2/3})$ edges, thereby establishing the proposed error term.
Characterizing chordal $\llcorner$-EPG graphs via admissible clique tree orientations
A $k$-bend path is a non-self-intersecting polyline that lies on a grid and consists of at most $k+1$ axis-parallel line segments. An $\llcorner$-EPG graph is a graph whose vertices can be represented by 1-bend paths on a grid, where each path is either $\llcorner$, $\shortmid$, or $\text{-}$, such that two vertices are adjacent if and only if the corresponding paths share at least one grid edge. Characterizing chordal $\llcorner$-EPG graphs was explicitly posed as an open problem by Cameron, Chaplick, and Hoàng. We resolve this by giving two equivalent characterizations of connected chordal $\llcorner$-EPG graphs. The first assigns to every connected chordal $\llcorner$-EPG graph an ordered clique partition tree of its vertex set, where the underlying tree is the bipartite incidence graph of the horizontal and vertical edge-intersection components. The second is stated purely in terms of maximal cliques: a connected chordal graph is $\llcorner$-EPG if and only if some clique tree admits an admissible partial orientation. A reduction lemma replaces local clique labels by maximal cliques, linking the two characterizations. For a prescribed clique tree, the existence of an admissible partial orientation reduces to 2-SAT and is decided in $O(nM^2)$ time, where $n$ and $M$ are the numbers of vertices and maximal cliques. Finally, we show that strong chordality is not sufficient: we exhibit a strongly chordal graph that is a minimal forbidden induced subgraph for $\llcorner$-EPG, and a family of split graphs with a unique clique tree for which membership in $\llcorner$-EPG reduces to a neighborhood condition.
A linear bound for a connectivity partition in graphs
Kühn and Osthus proved that, for every positive integer $\ell$, every $2^{16}\ell^2$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\geq \ell$ for every $v\in S$. And they asked whether the quadratic bound can be replaced by a linear bound. In this paper, we answer this question in the affirmative by proving that every $641\ell$-connected graph $G$ has a partition $V(G)=S\cup T$ such that $G[S]$ and $G[T]$ are $\ell$-connected and $d_T(v)\ge \ell$ for every $v\in S$. The proof integrates the Moser-Tardos resampling algorithm.
Tree packing and the graphic Additive Base Conjecture
Tutte's flow conjectures ask when a graph has a nowhere-zero flow with small integer values. We approach these questions through spanning-tree packing and an analytic minimization argument of Alon, Bucić, and Davies. For every integer $q\ge2$, we prove that $q$ edge-disjoint spanning trees suffice to realize every compatible outdegree prescription modulo $q$. For odd prime moduli this proves the graphic Additive Base Conjecture. More generally, integer intervals of edge values realize every prescribed boundary when their widths satisfy the corresponding tree-packing inequalities. We strengthen this condition by allowing a deficit of two in every partition inequality, provided every cut has total width at least $q-1$. The allowance of two is sharp for $q\ge3$. Consequently, five-edge-connected graphs with at most ten odd-degree vertices are $\mathbb Z_3$-connected, and three-edge-connected graphs with at most fourteen odd-degree vertices are $\mathbb Z_5$-connected. Every orientation of a nine-edge-connected graph with at most fourteen odd-degree vertices admits an antisymmetric $\mathbb Z_5$-flow. The refinement also gives sharp bounds for extending preorientations after deleting edges or vertices, including the boundary case of $2q$-edge-connectivity. The same argument recovers Seymour's six-flow theorem, the three-flow theorem for six-edge-connected graphs, and the four-flow theorem for graphs with two edge-disjoint spanning trees. It also gives sharp circular-flow bounds and a cycle-rank bound strictly below six. We examine a five-flow reformulation obtained by tripling the edges of cubic graphs. A $46$-vertex graph of fractional packing number $41/9$ with no modulo-five orientation shows that packing greater than $9/2$ alone does not guarantee such an orientation in arbitrary graphs.
Theoretical Analysis of DomiRank Centrality: Automorphism, Entropy, and Graph Transformations
DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical-system model whose steady state is governed by a competition-strength parameter, a dominance threshold, and a natural decay rate. We study its intrinsic relations with graph automorphism: vertices mapped to each other by an automorphism share the same DomiRank value, and a graph whose DomiRank values are pairwise distinct must be asymmetric; we derive DomiRank properties of regular and vertex-transitive graphs and bound the number of orbits by that of distinct DomiRank values. For DomiRank entropy, the maximum over connected graphs is attained only by regular graphs, and under sufficient conditions (rigorously in the low-competition regime) the entropy decreases monotonically with the competition parameter, a behavior observed on all tested networks and conjectured to hold generally; tuning sigma shifts the identification from important to dominant key nodes. We also study how graph transformations (vertex similarity, vertex partitions, edge swaps, m-products) affect the DomiRank vector, and characterize analytically the sensitivity and limiting behavior of sigma: the normalized DomiRank distribution is sigma-invariant iff the degree vector is an eigenvector of the adjacency matrix, and sigma interpolates continuously between degree and least-eigenvector centrality; experiments on four real networks confirm these results. These results position DomiRank as a tunable complement to principal-eigenvector centrality, with distinctive behavior under strong competition and new tools for node-importance evaluation. Because the parameterization by sigma is a structural property of the measure, not a guarantee of advantage on a downstream task, we also relate these results to the companion null-model study of how much of DomiRank's task-level edge over a degree baseline survives an explicit degree correction.
Density regularity of $\{x,x+y,xy\}$ in the integers
Fix $k,s\in\mathbb{N}$. We prove that there exists a subadditive density on $\mathbb{N}$ such that, for every polynomial $P\in\mathbb{Z}[y]$ of degree $k$ and with $P(0)=0$, every set of positive density contains configurations $\{x,x+P(y),xy^s\}$ for arbitrarily large $x>y\geq 2$. This provides a density strengthening of Moreira's result on partition regularity for $\{x,x+y,xy\}$.
Ribbon blocks for centraliser algebras of symmetric groups
Published
• View Publication
• BIB
Suppose $l,m$ are natural numbers with $l\le m$, and $\mathbb{F}$ a field of characteristic $p$, and let $\mathcal{C}_{l,m}^{\mathbb{F}}$ denote the centraliser of the group algebra $\mathbb{F}S_l$ inside $\mathbb{F}S_m$. Ellers and Murray give a conjectured classification of the blocks of $\mathcal{C}_{l,m}^{\mathbb{F}}$, in terms of the $p$-blocks of $S_l$ and $S_m$. We prove this conjecture for a family of blocks that we call ribbon blocks and belt blocks. These are the blocks containing Specht modules labelled by skew partitions having no repeated entries in their $p$-content.
Double-Partition Coloring problem: a unified approach for conflict-free coloring of hypergraphs and other coloring problems in graphs
The Double-Partition Coloring Problem (DPCP) is a recently introduced generalization of several coloring problems on graphs and hypergraphs, including the Partition Coloring Problem, the List Coloring Problem, and the Conflict-Free Coloring Problem (CFCP). In this work, we further investigate the structural and computational properties of the DPCP and develop exact and heuristic solution approaches. We derive structural results that allow the detection of infeasible instances and the reduction of their size. We propose one-step and two-step heuristics for obtaining high-quality solutions. These procedures are incorporated into an enhanced branch-and-price algorithm based on a set covering formulation of the DPCP. The algorithm further includes new strategies for solving the NP-hard pricing problem. Computational experiments show that the proposed branch-and-price algorithm and a compact integer programming formulation complement each other: while the compact formulation is generally more effective on sparse instances, branch-and-price performs particularly well on denser and larger instances. In particular, these are the first exact algorithms to be computationally evaluated on various CFCP instances.
Perfect state transfer on mixed graphs: complete classes and transfer times
For perfect state transfer (PST) on unweighted mixed graphs, we classify the normalized transfer times of complete PST classes. A finite set $Λ\subset\mathbb R/\mathbb Z$ containing zero occurs at a nonstationary periodic vertex if and only if $\cos(2π(x-y))\in\mathbb Q$ for all $x,y\inΛ$. Every admissible set has a connected oriented realization. We also classify the possible return phases of oriented realizations at the minimum vertex period. Transfers at rational multiples of the common minimum vertex period partition a complete class into sets of size at most six, or at most three in an oriented graph with return phase $-1$; both bounds are sharp. We construct complete classes of every finite size, including classes in which all transfers between distinct vertices occur at irrational multiples of the period and no switching automorphism maps a class vertex to a distinct class vertex. We also characterize simultaneous realization in connected oriented graphs with prescribed relative minimum vertex periods and return phases. The proof combines an imaginary quadratic field restriction with an unweighted construction that selects the complete target set.
Diagonal Specht ideals and their varieties
We study the diagonal Specht ideals $I_λ\subseteq\mathcal{R}_{m,n}:=\mathbb{C}[\mathbf{x}_1,\dots,\mathbf{x}_m]$, $\mathbf{x}_r=(x_{r,1},\dots,x_{r,n})$, generated by the $λ$-isotypic component of $\mathcal{R}_{m,n}$ for the diagonal action of $S_n$. We characterize the set of zeros of $I_λ$ as $V_λ=\bigcup_{μ\not\trianglelefteqλ}H_μ$ and prove that $λ\mapsto V_λ$ is an isomorphism of posets from $(\mathcal{P}_n,\trianglelefteq)$ to $(\{V_λ:λ\in \mathcal{P}_n\},\supseteq)$ for all $m$, while $λ\mapsto I_λ$ is an isomorphism of posets from $(\mathcal{P}_n,\trianglelefteq)$ to $(\{I_λ:λ\in \mathcal{P}_n\},\subseteq)$ if and only if $m=1$ or $n\leq3$. Unlike the case $m=1$, where Specht ideals are always radical, radicality in the diagonal setting depends on $λ$ and $m$. We prove radicality for hook partitions of length at most three by providing explicit Gröbner bases, and we develop three criteria for non-radicality via content, multidegree, and total degree, showing in particular that $I_λ$ is not radical for any non-hook partition $λ$ when $m\geq\operatorname{len}(λ)$. Using the $\operatorname{GL}_m(\mathbb{C})$-action on $\mathcal{R}_{m,n}$, we show that $I_λ$ is radical for all $m$ if and only if it is radical for $m=n$. Finally, for $m\geq2$, we prove that $\mathcal{R}_{m,n}/I_λ$ is Cohen-Macaulay if and only if $λ=(n)$ or $λ=(n-1,1)$, and the same is true for $\mathcal{R}_{m,n}/\operatorname{rad}(I_λ)$.
Stability of plethysm coefficients and modified polynomial induction
The plethysm coefficient $\langle h_n[h_m], s_λ\rangle$ is the multiplicity of the Weyl module $W_λ(\mathbb{C}^N)$ in the representation $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ of $GL_N(\mathbb{C})$. We give short proofs of two stability results: the theorem of Bowman and Paget that $\langle h_n[h_m], s_{λ[mn]} \rangle$ is constant for $m, n \geq |λ|$, and Brion's theorem that $\langle h_n[h_{m+d}],\allowbreak s_{λ+(nd)} \rangle$ stabilizes as $d \to \infty$. A key step is the stability of vector partition functions. We show that the stable value in the theorem of Bowman and Paget equals $\langle h_{\lfloor|λ|/2\rfloor}[H-h_1], s_λ\rangle$. Our main new result connects this stable value to the multiplicity of the Weyl module in a representation of $GL_{|λ|}(\C)$. We give a formula for the stable Foulkes' coefficient in terms of a certain vector-partition function.
Electrical Networks and Symplectic Invariants
Consider a finite planar graph with positive real edge weights and designated boundary vertices, called nodes. Such a graph is called a circular planar electrical network. A grove is a spanning forest in which every component contains at least one node. The connected components of a grove determine a partition of the nodes. We relate weighted grove counts to invariant theory for the symplectic group.
To a planar electrical network $G$, we associate an $\mathrm{Sp}(2n)$-invariant tensor $Z_G$. For $\mathrm{Sp}(2)=\mathrm{SL}(2)$, we expand $Z_G$ in the Temperley--Lieb basis indexed by noncrossing matchings and relate its coefficients to the Kenyon--Wilson grove formulas. For $\mathrm{Sp}(4)$, we give reduction rules for superpositions of two groves and prove that the tensors indexed by $3$-noncrossing matchings form a basis of the space of $\mathrm{Sp}(4)$-invariant tensors. The coefficients of $Z_G$ in this basis are weighted counts of reduced double groves, up to normalization.
Minimal representations of topology-preserving quantum-like states
We provide an equitable partition that gives an exact, minimal representation for the graph Cartesian product formed from quantum-like bits that preserves the relevant spectral and topological properties. We show that this result follows from the fact that the operations of taking the Cartesian product of graphs and constructing equitable partition of the graphs commute. Numerical simulations illustrate the preserved emergent eigenstates in the reduced structures. Additionally, we provide a construction of the minimal structure without passing through the Cartesian product. Finally, we frame quantum-like structures in the language of topology and fibrations.
Stationary common-neighborhood properties and partition hypotheses
We use stationary common-neighborhood properties to study highly connected Ramsey relations and partition hypotheses. For weakly compact $κ$, $\operatorname{Coll}(ω_1,{<}κ)$ forces $ω_2\to_{\mathrm{hc},<5}(ω_2)^2_ω$ and $\operatorname{PH}_1(ω_2)$. If $κ$ is $T^{κ^+}_{ω_1}$-Ramsey, the same collapse forces that every countable coloring of $[ω_2]^2$ has a stationary set $X\subseteqω_2$ and a color $i$ such that every finite subset of $X$ has stationarily many color-$i$ common neighbors in $X$. From one weakly compact cardinal, we obtain a model of the ${<}5$-edge relation at $ω_3$ and $\operatorname{PH}_1(ω_3)$, in which $\check H^2(ω_3,A_d)\ne0$ for every nontrivial abelian group $A$. This separates $\operatorname{PH}_1(ω_3)$ from $\operatorname{PH}_2(ω_3)$, with the exact consistency strength of one weakly compact cardinal. We also show that $\operatorname{PH}_1(ω_2\timesω_5)$ is equiconsistent with two weakly compact cardinals.
Polynomial-Time Lattice-Point Counting without Barvinok Decomposition
By using constant term manipulations, we present the first polynomial-time algorithm for lattice-point counting in fixed dimension that does not rely on Barvinok's unimodular decomposition. Our method starts from partial fraction decompositions and root-of-unity formulas for the lattice-point generating function of a rational simplicial cone. By means of a residue-lattice argument based on Minkowski's theorem, we construct a short multiplier that enables an exact recursive reduction. Smith normal form is then used to normalize the resulting child terms and restore the recursive structure. These transformations are justified by algebraic identities involving roots of binomial equations, while the algorithm itself works with integer exponent data and requires no explicit root computations. More precisely, for a rational simplicial cone \(\mathcal K\) in fixed dimension \(d\), with dual cone \(\mathcal K^*\), the algorithm achieves recursion depth \(O_d(1+\log\log(2+\ind(\mathcal K^*)))\) and produces a signed sum of at most \((1+\log\ind(\mathcal K^*))^{O_d(1)}\) unimodular cone generating functions. The framework uniformly handles numerators that are Laurent polynomials, not merely monomials, thereby giving a polynomial-time algorithm for MacMahon's partition analysis when the dimension is fixed.
Twin-star hypothesis and cycle-free $d$-partitions of $K_{2d}$
In this paper we study an equivalence relation defined on the set of cycle-free $d$-partitions of the complete graph $K_{2d}$. We discuss a conjecture which states that this equivalence relation has only one equivalence class, and show that the conjecture is equivalent with the so called twin-star hypothesis. We check the conjecture in the case $d=4$ and disuses how this relates to the determinant-like map $det^{S^2}$.
Distributions of Mesh Patterns of Short Lengths on Separable Permutations
This paper contributes to the long line of research on the distribution of mesh patterns in permutations. We extend these studies to separable permutations and carry out a comprehensive analysis of mesh patterns of length at most~2. For mesh patterns of length~1, we determine the distributions for all six equivalence classes. In addition, we obtain the joint distribution for the patterns in the class containing the well-known permutation statistic known as the strict fixed point.
Furthermore, computer experiments suggest that at most 124 pairs of mesh patterns of type 12 and 21 with identical shading are equidistributed. Using symmetry operations, we partition these pairs into 38 equivalence classes with respect to distribution. By explicitly determining 24 of these distributions (in many cases, in fact, joint equidistributions of the respective pairs), we reduce the number of equivalence classes to~31, which turns out to be the true number of equivalence classes. Enumerating 14 of these classes is left as an open problem.
A flag refinement of the $ h^* $-formula for the hypersimplices
The hypersimplex $Δ_{k,n}$ is the convex hull of all 0/1-vectors of length $ n $ with coordinate sum $ k $. Early conjectured, and Kim proved, a combinatorial formula for the $ h^* $-polynomial of $Δ_{k,n}$ in terms of hypersimplicial decorated ordered set partitions. In this paper, we refine the Early--Kim formula to the flag $h$-numbers of the alcove triangulation of $\hyp$. We also give a representation-theoretic interpretation of its flag $f$-numbers in terms of Young permutation modules.
A refinement of the edge theorem for order and chain polytopes
For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.
A note on the list chromatic number of two matroids
We study list coloring of common independent sets of two matroids. We construct a graphic matroid $M_1$ and a partition matroid $M_2$ with common chromatic number two and common list chromatic number three, showing that the two parameters need not be equal. This resolves a question raised by Király, later stated as a conjecture by Aharoni, Berger, Guo, and Kotlar. We also show that if two strongly base-orderable matroids are each $2$-colorable, then their intersection is $2$-list-colorable.