Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On the arboreal jump number of a poset
A jump is a pair of consecutive elements in an extension of a poset which are incomparable in the original poset. The arboreal jump number is an NP-hard problem that aims to find an arboreal extension of a given poset with minimum number of jumps. The contribution of this paper is twofold: (i)~a characterization that reveals a relation between the number of jumps of an arboreal order extension and the size of a partition of its elements that satisfy some structural properties of the covering graph; (ii)~a compact integer programming model and a heuristic to solve the arboreal jump number problem along with computational results comparing both strategies. The exact method provides an optimality certificate for 18 out of 41 instances with execution time limited to two hours. Furthermore, our heuristic was able to find good feasible solutions for all instances in less than three minutes.
Identities of inverse Chevalley type for graded characters of level-zero Demazure submodules over quantum affine algebras of type C
Published
• View Publication
• BIB
We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character $\mathrm{gch} \, V_{x}^{-}(λ)$ of the level-zero Demazure submodule $V_{x}^{-}(λ)$ over the quantum affine algebra $U_{\mathsf{q}}(\mathfrak{g}_{\mathrm{af}})$ as an explicit finite linear combination of the graded characters of level-zero Demazure submodules. These identities immediately imply the corresponding inverse Chevalley formulas in the torus-equivariant $K$-group of the semi-infinite flag manifold $\mathbf{Q}_{G}$ associated to a connected, simply-connected and simple algebraic group $G$ of type $C$. Also, we derive cancellation-free identities from the identities above of inverse Chevalley type in the case that $μ$ is a standard basis element $\varepsilon_{k}$ in the weight lattice $P$ of $G$.
Conditional graph entropy as an alternating minimization problem
Published
• View Publication
• BIB
Conditional graph entropy is known to be the minimal rate for a natural functional compression problem with side information at the receiver. In this paper we show that it can be formulated as an alternating minimization problem, which gives rise to a simple iterative algorithm for numerically computing (conditional) graph entropy. This also leads to a new formula which shows that conditional graph entropy is part of a more general framework: the solution of an optimization problem over a convex corner. In the special case of graph entropy (i.e., unconditioned version) this was known due to Csiszár, Körner, Lovász, Marton, and Simonyi. In that case the role of the convex corner was played by the so-called vertex packing polytope. In the conditional version it is a more intricate convex body but the function to minimize is the same. Furthermore, we describe a dual problem that leads to an optimality check and an error bound for the iterative algorithm.
On nilpotent Schur groups
A finite group $G$ is called a Schur group if every $S$-ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of $\sym(G)$ that contains all right translations. We prove that every nonabelian nilpotent Schur group belongs to one of the explicitly given families of groups.
On generalized Schur groups
Published
• View Publication
• BIB
An $S$-ring (Schur ring) is called central if it is contained in the center of the group ring. We introduce the notion of a generalized Schur group, i.e. such finite group that all central $S$-rings over this group are schurian. It generalizes in a natural way the notion of a Schur group and they are equivalent for abelian groups. We establish basic properties and provide infinite families of nonabelian generalized Schur groups
On Minimal Critical Independent Sets of Almost Bipartite non-Konig-Egervary Graphs
Published
• View Publication
• BIB
The independence number $α(G)$ is the cardinality of a maximum independent set, while $μ(G)$ is the size of a maximum matching in $G$. If $α(G)+μ(G)$ equals the order of $G$, then $G$ is called a Konig-Egervary graph. The number $d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$ is called the critical difference of $G$ (where $N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $). It is known that $α(G)-μ(G)\leq d\left( G\right) $ holds for every graph. A graph $G$ is unicyclic if it has a unique cycle and almost bipartite if it has only one odd cycle. Let $\mathrm{\ker}(G)=\bigcap\left\{ S:S\text{ is a critical independent set}\right\} $, $\mathrm{core}\left( G\right) $ be the intersection of all maximum independent sets, and $\mathrm{corona}\left( G\right) $ be the union of all maximum independent sets of $G$. It is known that $\mathrm{\ker}(G)\subseteq\mathrm{core}(G)$ is true for every graph, while the equality holds for bipartite graphs, and for unicyclic non-Konig-Egervary graphs. In this paper, we prove that if $G$ is an almost bipartite non-Konig-Egervary graph, then $\mathrm{\ker}(G)=$ $\mathrm{core}(G)$, $\mathrm{corona}(G)$ $\cup$ $N(\mathrm{core} \left( G\right) )=V(G)$, and $\left\vert \mathrm{corona}(G)\right\vert +\left\vert \mathrm{core}(G)\right\vert =2α(G)+1$.
On groups with chordal power graph, including a classification in the case of finite simple groups
Published
• View Publication
• BIB
We prove various properties on the structure of groups whose power graph is chordal. Nilpotent groups with this property have been classified by Manna, Cameron and Mehatari [The Electronic Journal of Combinatorics, 2021]. Here we classify the finite simple groups with chordal power graph, relative to typical number theoretic oracles. We do so by devising several sufficient conditions for the existence and non-existence of long cycles in power graphs of finite groups. We examine other natural group classes, including special linear, symmetric, generalized dihedral and quaternion groups, and we characterize direct products with chordal power graph. The classification problem is thereby reduced to directly indecomposable groups and we further obtain a list of possible socles. Lastly, we give a general bound on the length of an induced path in chordal power graphs, providing another potential road to advance the classification beyond simple groups.
Kaufman and Falconer estimates for radial projections and a continuum version of Beck's Theorem
Published in Geom. Funct. Anal. 34 (2024), no. 1, 164--201
• View Publication
• BIB
We provide several new answers on the question: how do radial projections distort the dimension of planar sets? Let $X,Y \subset \mathbb{R}^{2}$ be non-empty Borel sets. If $X$ is not contained on any line, we prove that \[ \sup_{x \in X} \dim_{\mathrm{H}} π_{x}(Y) \geq \min\{\dim_{\mathrm{H}} X,\dim_{\mathrm{H}} Y,1\}. \] If $\dim_{\mathrm{H}} Y > 1$, we have the following improved lower bound: \[ \sup_{x \in X} \dim_{\mathrm{H}} π_{x}(Y \, \setminus \, \{x\}) \geq \min\{\dim_{\mathrm{H}} X + \dim_{\mathrm{H}} Y - 1,1\}. \] Our results solve conjectures of Lund-Thang-Huong, Liu, and the first author. Another corollary is the following continuum version of Beck's theorem in combinatorial geometry: if $X \subset \mathbb{R}^{2}$ is a Borel set with the property that $\dim_{\mathrm{H}} (X \, \setminus \, \ell) = \dim_{\mathrm{H}} X$ for all lines $\ell \subset \mathbb{R}^{2}$, then the line set spanned by $X$ has Hausdorff dimension at least $\min\{2\dim_{\mathrm{H}} X,2\}$.
While the results above concern $\mathbb{R}^{2}$, we also derive some counterparts in $\mathbb{R}^{d}$ by means of integralgeometric considerations. The proofs are based on an $ε$-improvement in the Furstenberg set problem, due to the two first authors, a bootstrapping scheme introduced by the second and third author, and a new planar incidence estimate due to Fu and Ren.
On the Vertex Position Number of Graphs
Published
• View Publication
• BIB
In this paper we generalise the notion of visibility from a point in an integer lattice to the setting of graph theory. For a vertex $x$ of a connected graph $G$, we say that a set $S \subseteq V(G)$ is an \emph{$x$-position set} if for any $y \in S$ the shortest $x,y$-paths in $G$ contain no point of $S\setminus \{ y\}$. We investigate the largest and smallest orders of maximum $x$-position sets in graphs, determining these numbers for common classes of graphs and giving bounds in terms of the girth, vertex degrees, diameter and radius. Finally we discuss the complexity of finding maximum vertex position sets in graphs.
Minimally tough chordal graphs with toughness at most $1/2$
Published
• View Publication
• BIB
Let $t$ be a positive real number. A graph is called \emph{$t$-tough} if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough. A graph is minimally $t$-tough if the toughness of the graph is $t$ and the deletion of any edge from the graph decreases the toughness. A graph is \emph{chordal} if it does not contain an induced cycle of length at least $4$.
We characterize the minimally $t$-tough, chordal graphs for all $t\le 1/2$. As a corollary, a characterization of minimally $t$-tough, interval graphs is obtained for $t\le 1/2$.
Linear Intervals in the Tamari and the Dyck Lattices and in the alt-Tamari Posets
We count the number of linear intervals in the Tamari and the Dyck lattices according to their height, using generating series and Lagrange inversion. Surprisingly, these numbers are the same in both lattices. We define a new family of posets on Dyck paths, which we call alt-Tamari posets. Each alt-Tamari poset depends on the choice of an increment function delta in {0,1}^n. We recover the Tamari and the Dyck lattices as extreme cases with delta = 1 and delta = 0, respectively. We prove that all the alt-Tamari posets have the same number of linear intervals of any given height.
Graphes dans les surfaces et ergodicité topologique
Published
• View Publication
• BIB
The simplest way to make a dynamical system out of a finite connected graph $G$ is to give it a polarization, that is to say a cyclic ordering of the edges incident to a vertex, for each vertex. The phase space $\mathcal{P}(G)$ then consists of all pairs $(v,e)$ where $v$ is a vertex and $e$ is an edge incident to $v$. Such an initial condition gives a position and a momentum. The data $(v,e)$ is of course equivalent to an edge endowed with an orientation $e_{\mathcal O}$. With the polarization, each initial data leads to a leftward walk defined by turning left at each vertex, or making a rebound if there is no other edge. A leftward walk is called complete if it goes through all edges of $G$, not necessarily in both directions. As usual, we define the valence of a vertex as the number of edges incident to it, and we define the valence of a graph as the average of the valences of its vertices. In this article, we prove that if a graph which is embedded in a closed oriented surface of genus $g$ admits a complete leftward walk, then its valence is at most $1 + \sqrt{6g+1}$. We prove furthermore that this result is sharp for infinitely many genera $g$, and that it is asymptotically optimal as $g \to + \infty$. This leads to obstructions for the embeddability of graphs on a surface in a way which admits a complete leftward walk. Since checking that a polarized graph admits a complete leftward walk or not is done in time $4N$, where $N$ is the cardinality of the edges, this obstruction is particularly efficient in terms of computability. This problem has its origins in interesting consequences for what we will call here the topological ergodicity of conservative systems, especially Hamiltonian systems $H$ in two dimensions where the existence of a complete leftward walk corresponds to a topologically ergodic orbit of the system, i.e. an orbit of $H$ visiting all the topology of the surface.
Commutators in finite free probability, I
This paper describes the expected characteristic polynomial of the commutator of randomly rotated matrices, in the context of the finite free probability theory initiated by Marcus, Spielman, and Srivastava. The key technical features are the use of Weingarten calculus to translate the random matrix problem into one of combinatorial representation theory, followed by some applications of the Goulden-Jackson immanant formula and the classical theory of permutation modules.
Visibility Representations of Toroidal and Klein-bottle Graphs
Published
• View Publication
• BIB
In this paper, we study visibility representations of graphs that are embedded on a torus or a Klein bottle. Mohar and Rosenstiehl showed that any toroidal graph has a visibility representation on a flat torus bounded by a parallelogram, but left open the question whether one can assume a rectangular flat torus, i.e., a flat torus bounded by a rectangle. Independently the same question was asked by Tamassia and Tollis. We answer this question in the positive. With the same technique, we can also show that any graph embedded on a Klein bottle has a visibility representation on the rectangular flat Klein bottle.
Strengthening Hadwiger's conjecture for $4$- and $5$-chromatic graphs
Published
• View Publication
• BIB
Hadwiger's famous coloring conjecture states that every $t$-chromatic graph contains a $K_t$-minor. Holroyd [Bull. London Math. Soc. 29, (1997), pp. 139--144] conjectured the following strengthening of Hadwiger's conjecture: If $G$ is a $t$-chromatic graph and $S \subseteq V(G)$ takes all colors in every $t$-coloring of $G$, then $G$ contains a $K_t$-minor rooted at $S$. We prove this conjecture in the first open case of $t=4$. Notably, our result also directly implies a stronger version of Hadwiger's conjecture for $5$-chromatic graphs as follows: Every $5$-chromatic graph contains a $K_5$-minor with a singleton branch-set. In fact, in a $5$-vertex-critical graph we may specify the singleton branch-set to be any vertex of the graph.
On stable flows and preflows
Published
• View Publication
• BIB
In 2010s Fleiner introduced a notion of stable flows in directed networks and showed that such a flow always exists and can be found by use of a reduction to the stable allocation problem due to Baiou and Balinski. Recently Cseh and Matuschke devised a direct strongly polynomial algorithm. In this paper we give an alternative algorithm to find a stable flow in a network with several sources and sinks. It is based on an idea of preflows (appeared in 1970s in a faster algorithm for the classical max-flow problem), and runs in $O(nm)$ time for a network with $n$ vertices and $m$ edges. The results are further generalized to a larger class of objects, so-called stable quasi-flows with bounded excesses in non-terminal vertices. (The paper is written in Russian.)
On the degree of Grothendieck polynomials
Published
• View Publication
• BIB
A beautiful degree formula for the Grothendieck polynomials was recently given by Pechenik, Speyer, and Weigandt (2021). We provide an alternative proof of their degree formula, utilizing the climbing chain model for Grothendieck polynomials introduced by Lenart, Robinson, and Sottile (2006). Moreover, for any term order satisfying $x_1<x_2<\cdots<x_n$ we present the leading monomial of each homogeneous components of the Grothendieck polynomial $\mathfrak{G}_w(x_1,\ldots,x_n)$, confirming a conjecture of Hafner (2022). We conclude with a conjecture for the leading monomials of the homogenegous components of $\mathfrak{G}_w(x_1,\ldots,x_n)$ in any term order satisfying $x_1>x_2>\cdots>x_n$.
Lattice Size in Higher Dimension
Published in Involve 17 (2024) 153-162
• View Publication
• BIB
The lattice size of a lattice polytope is a geometric invariant which was formally introduced in the context of simplification of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. Previous work on the lattice size was devoted to studying the lattice size in dimension 2 and 3. In this paper we establish explicit formulas for the lattice size of a family of lattice simplices in arbitrary dimension.
Subgraph distributions in dense random regular graphs
Published
• View Publication
• BIB
Given connected graph $H$ which is not a star, we show that the number of copies of $H$ in a dense uniformly random regular graph is asymptotically Gaussian, which was not known even for $H$ being a triangle. This addresses a question of McKay from the 2010 International Congress of Mathematicians. In fact, we prove that the behavior of the variance of the number of copies of $H$ depends in a delicate manner on the occurrence and number of cycles of length $3,4,5$ as well as paths of length $3$ in $H$. More generally, we provide control of the asymptotic distribution of certain statistics of bounded degree which are invariant under vertex permutations, including moments of the spectrum of a random regular graph.
Our techniques are based on combining complex-analytic methods due to McKay and Wormald used to enumerate regular graphs with the notion of graph factors developed by Janson in the context of studying subgraph counts in $\mathbb{G}(n,p)$.
The equivariant Ehrhart theory of polytopes with order-two symmetries
Published
• View Publication
• BIB
We study the equivariant Ehrhart theory of families of polytopes that are invariant under a non-trivial action of the group with order two. We study families of polytopes whose equivariant $H^*$-polynomial both succeed and fail to be effective, in particular, the symmetric edge polytopes of cycles and the rational cross-polytope. The latter provides a counterexample to the effectiveness conjecture if the requirement that the vertices of the polytope have integral coordinates is loosened to allow rational coordinates. Moreover, we exhibit such a counterexample whose Ehrhart function has period one and coincides with the Ehrhart function of a lattice polytope.