Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Cyclic sieving, skew Macdonald polynomials and Schur positivity
Published in Algebraic Combinatorics, Volume 3 (2020) no. 4, pp. 913-939
• View Publication
• BIB
When $λ$ is a partition, the specialized non-symmetric Macdonald polynomial $E_λ(x;q;0)$ is symmetric and related to a modified Hall--Littlewood polynomial. We show that whenever all parts of the integer partition $λ$ is a multiple of $n$, the underlying set of fillings exhibit the cyclic sieving phenomenon (CSP) under a cyclic shift of the columns. The corresponding CSP polynomial is given by $E_λ(x;q;0)$. In addition, we prove a refined cyclic sieving phenomenon where the content of the fillings is fixed. This refinement is closely related to an earlier result by B.~Rhoades.
We also introduce a skew version of $E_λ(x;q;0)$. We show that these are symmetric and Schur-positive via a variant of the Robinson--Schenstedt--Knuth correspondence and we also describe crystal raising- and lowering operators for the underlying fillings. Moreover, we show that the skew specialized non-symmetric Macdonald polynomials are in some cases vertical-strip LLT polynomials. As a consequence, we get a combinatorial Schur expansion of a new family of LLT polynomials.
Hypergraph based Berge hypergraphs
Published
• View Publication
• BIB
Fix a hypergraph $\mathcal{F}$. A hypergraph $\mathcal{H}$ is called a {\it Berge copy of $\mathcal{F}$} or {\it Berge-$\mathcal{F}$} if we can choose a subset of each hyperedge of $\mathcal{H}$ to obtain a copy of $\mathcal{F}$. A hypergraph $\mathcal{H}$ is {\it Berge-$\mathcal{F}$-free} if it does not contain a subhypergraph which is Berge copy of $\mathcal{F}$. This is a generalization of the usual, graph based Berge hypergraphs, where $\mathcal{F}$ is a graph.
In this paper, we study extremal properties of hypergraph based Berge hypergraphs and generalize several results from the graph based setting. In particular, we show that for any $r$-uniform hypregraph $\mathcal{F}$, the sum of the sizes of the hyperedges of a (not necessarily uniform) Berge-$\mathcal{F}$-free hypergraph $\mathcal{H}$ on $n$ vertices is $o(n^r)$ when all the hyperedges of $\mathcal{H}$ are large enough. We also give a connection between hypergraph based Berge hypergraphs and generalized hypergraph Turán problems.
Self-avoiding walks and polygons on hyperbolic graphs
Published
• View Publication
• BIB
We prove that for the $d$-regular tessellations of the hyperbolic plane by $k$-gons, there are exponentially more self-avoiding walks of length $n$ than there are self-avoiding polygons of length $n$. We then prove that this property implies that the self-avoiding walk is ballistic, even on an arbitrary vertex-transitive graph. Moreover, for every fixed $k$, we show that the connective constant for self-avoiding walks satisfies the asymptotic expansion $d-1-O(1/d)$ as $d\to \infty$; on the other hand, the connective constant for self-avoiding polygons remains bounded. Finally, we show for all but two tessellations that the number of self-avoiding walks of length $n$ is comparable to the $n$th power of their connective constant. Some of these results were previously obtained by Madras and Wu \cite{MaWuSAW} for all but finitely many regular tessellations of the hyperbolic plane.
Feasible bases for a polytope related to the Hamilton cycle problem
Published in Mathematics of Operations Research 46 (4), 1366-1389 (2021)
• View Publication
• BIB
We study a certain polytope depending on a graph $G$ and a parameter $β\in(0,1)$ which arises from embedding the Hamiltonian cycle problem in a discounted Markov decision process. Eshragh \emph{et al.} conjectured a lower bound on the proportion of feasible bases corresponding to Hamiltonian cycles in the set of all feasible bases. We make progress towards a proof of the conjecture by proving results about the structure of feasible bases. In particular, we prove three main results: (1) the set of feasible bases is independent of the parameter $β$ when the parameter is close to 1, (2) the polytope can be interpreted as a generalized network flow polytope and (3) we deduce a combinatorial interpretation of the feasible bases. We also provide a full characterization for a special class of feasible bases, and we apply this to provide some computational support for the conjecture.
Wiener index of graphs with fixed number of pendant or cut vertices
Published
• View Publication
• BIB
The Wiener index of a connected graph is defined as the sum of the distances between all unordered pair of its vertices. In this paper, we characterize the graphs which extremize the Wiener index among all graphs on $n$ vertices with $k$ pendant vertices. We also characterize the graph which minimizes the Wiener index over the graphs on $n$ vertices with $s$ cut vertices.
A spectral characterization of the $s$-clique extension of the triangular graphs
Published
• View Publication
• BIB
A regular graph is co-edge regular if there exists a constant $μ$ such that any two distinct and non-adjacent vertices have exactly $μ$ common neighbors. In this paper, we show that for integers $s\ge 2$ and $n$ large enough, any co-edge-regular graph which is cospectral with the $s$-clique extension of the triangular graph $T((n)$ is exactly the $s$-clique extension of the triangular graph $T(n)$.
On the PSU(4, 2)-invariant vertex-transitive strongly regular (216, 40, 4, 8) graph
In 2018 the first, Rukavina and the third author constructed with the aid of a computer the first example of a strongly regular graph $Γ$ with parameters (216, 40, 4, 8) and proved that it is the unique PSU(4,2)-invariant vertex-transitive graph on 216 vertices. In this paper, using the geometry of the Hermitian surface of PG(3, 4), we provide a computer-free proof of the existence of the graph $Γ$. The maximal cliques of $Γ$ are also determined.
Linear Programming Complementation
Published
• View Publication
• BIB
In this paper we introduce a new operation for Linear Programming (LP), called LP complementation, which resembles many properties of LP duality. Given a maximisation (resp.~minimisation) LP $P$, we define its complement $Q$ as a specific minimisation (resp.~maximisation) LP with the same objective function as $P$. Our central result is the LP complementation theorem, that establishes the following relationship between the optimal value $\text{Opt}(P)$ of $P$ and the optimal value $\text{Opt}(Q)$ of its complement: $\frac{1}{\text{Opt}(P)}+\frac{1}{\text{Opt}(Q)}=1$. The LP complementation operation can be applied if and only if $\text{Opt}(P) > 1$.
We then apply LP complementation to hypergraphs. For every hypergraph $H=(V,E)$, its dual is $H^*$ and we call $\overline{H}=(V,\{V\setminus e : e\in E\})$ the complement of $H$. For the covering LP $K(H)$ we obtain $\frac{1}{ \text{Opt}( K(H^*) ) }+\frac{1}{\text{Opt}( K(\overline{H}) ) } = 1$ (and similarly for packing, matching and transversal LPs).
We then consider \emph{fractional graph theory}. We prove that the LP for the \Define{fractional in-dominating number} of a digraph $D$ is the complement of the LP for the \Define{fractional total out-dominating number} of the digraph complement of $D$. We also establish that the fractional matching number of a matroid coincides with its edge toughness.
Finally, we introduce the problem \text{Vertex Cover with Budget (VCB)}: for a graph $G$ and a positive integer $b$, what is the maximum number $t_b$ of vertex covers $S_1, \dots, S_{t_b}$ of $G$, such that every vertex appears in at most $b$ vertex covers? We relate \text{VCB} with the LP $Q_G$ for the fractional chromatic number of $G$: as $b \to \infty$, $t_b \sim t_f \cdot b$, where $t_f$ is the optimal value of the complement LP of $Q_G$.
Counting Coxeter's friezes over a finite field via moduli spaces
Published
• View Publication
• BIB
We count the number of Coxeter's friezes over a finite field. Our method uses geometric realizations of the spaces of friezes in a certain completion of the classical moduli space $\mathcal{M}_{0,n}$ allowing repeated points in the configurations. Counting points in the completed moduli space over a finite field is related to the enumeration problem of counting partitions of cyclically ordered set of points into subsets containing no consecutive points. In Appendix we provide an elementary solution for this enumeration problem.
On the Complementary Equienergetic Graphs
Published in MATCH Commun. Math. Comput. Chem. 83 (2020) 555-570
• Search Publication
Energy of a simple graph $G$, denoted by $\mathcal{E}(G)$, is the sum of the absolute values of the eigenvalues of $G$. Two graphs with the same order and energy are called equienergetic graphs. A graph $G$ with the property $G\cong \overline{G}$ is called self-complementary graph, where $\overline{G}$ denotes the complement of $G$. Two non-self-complementary equienergetic graphs $G_1$ and $G_2$ satisfying the property $G_1\cong \overline{G_2}$ are called complementary equienergetic graphs. Recently, Ramane et al. [Graphs equienergetic with their complements, MATCH Commun. Math. Comput. Chem. 82 (2019) 471-480] initiated the study of the complementary equienergetic regular graphs and they asked to study the complementary equienergetic non-regular graphs. In this paper, by developing some computer codes and by making use of some software like Nauty, Maple and GraphTea, all the complementary equienergetic graphs with at most 10 vertices as well as all the members of the graph class $Ω=\{G \ : \ \mathcal{E}(L(G)) = \mathcal{E}(\overline{L(G)}) \text{, the order of $G$ is at most 10}\}$ are determined, where $L(G)$ denotes the line graph of $G$. In the cases where we could not find the closed forms of the eigenvalues and energies of the obtained graphs, we verify the graph energies using a high precision computing (2000 decimal places) of Maple. A result about a pair of complementary equienergetic graphs is also given at the end of this paper.
Independence number in triangle-free graphs avoiding a minor
The celebrated Hadwiger's conjecture states that if a graph contains no $K_{t+1}$ minor then it is $t$-colourable. If true, it would in particular imply that every $n$-vertex $K_{t+1}$-minor-free graph has an independent set of size at least $n/t$. In 1982, Duchet and Meyniel proved that this bound holds within a factor $2$. Their bound has been improved; most notably in an absolute factor by Fox, which was later improved by Balogh and Kostochka. Here we consider the same question for triangle-free graphs. By the results of Shearer and Kostochka and Thomason, it follows that any triangle-free graph with no $K_t$ minor has an independent set of size $Ω(\tfrac{\sqrt{\log{t}}}{t}n)$. We show that a much larger independent set exists; for all sufficiently large $t$ every triangle-free graph on $n$ vertices with no $K_t$-minor has an independent set of size $ \tfrac{n}{t^{1-\varepsilon}}$. This answers a question of Sergey Norin.
Sharp Stability of Brunn-Minkowski for Homothetic Regions
Published
• View Publication
• BIB
We prove a sharp stability result concerning how close homothetic sets attaining near-equality in the Brunn-Minkowski inequality are to being convex. In particular, resolving a conjecture of Figalli and Jerison, we show there are universal constants $C_n,d_n>0$ such that for $A \subset \mathbb{R}^n$ of positive measure, if $|\frac{A+A}{2}\setminus A| \le d_n |A|$, then $|\operatorname{co}(A)\setminus A| \le C_n |\frac{A+A}{2}\setminus A|$ for $\operatorname{co}(A)$ the convex hull of $A$.
Nonempty intersection of longest paths in graphs without forbidden pairs
Published
• View Publication
• BIB
In 1966, Gallai asked whether all longest paths in a connected graph have a nonempty intersection. The answer to this question is not true in general and various counterexamples have been found. However, there is a positive solution to Gallai's question for many well-known classes of graphs such as split graphs, series parallel graphs, and $2K_2$-free graphs. Among all the graph classes that support Gallai's question, almost all of them were shown to be Hamiltonian under certain conditions. This observation motivates us to investigate Gallai's question in graphs that are "close" to Hamiltonicity properties. Let $\{R,S\}$ be a pair of connected graphs. In particular, in this paper, we show that Gallai's question is affirmative for all connected $\{R,S\}$-free graphs such that every 2-connected $\{R,S\}$-free graph is Hamiltonian. These pairs $\{R,S\}$ were completely characterized in 1990s.
Eulerian polynomials for multipermutations and signed multipermutations
In this paper, we study Eulerian polynomials for permutations and signed permutations of the multiset $\{1,1,2,2,\ldots,n,n\}$. Properties of these polynomials, including recurrence relations and unimodality are discussed. In particular, we give a unified proof of the fact that these polynomials are unimodal with modes in the middle.
Atomic Embeddability, Clustered Planarity, and Thickenability
Published
• View Publication
• BIB
We study the atomic embeddability testing problem, which is a common generalization of clustered planarity (c-planarity, for short) and thickenability testing, and present a polynomial-time algorithm for this problem, thereby giving the first polynomial-time algorithm for c-planarity.
C-planarity was introduced in 1995 by Feng, Cohen, and Eades as a variant of graph planarity, in which the vertex set of the input graph is endowed with a hierarchical clustering and we seek an embedding (crossing free drawing) of the graph in the plane that respects the clustering in a certain natural sense. Until now, it has been an open problem whether c-planarity can be tested efficiently, despite relentless efforts. The thickenability problem for simplicial complexes emerged in the topology of manifolds in the 1960s. A 2-dimensional simplicial complex is thickenable if it embeds in some orientable 3-dimensional manifold. Recently, Carmesin announced that thickenability can be tested in polynomial time.
Our algorithm for atomic embeddability combines ideas from Carmesin's work with algorithmic tools previously developed for weak embeddability testing. We express our results purely in terms of graphs on surfaces, and rely on the machinery of topological graph theory.
Finally, we give a polynomial-time reduction from atomic embeddability to thickenability thereby showing that both problems are polynomially equivalent, and show that a slight generalization of atomic embeddability to the setting in which clusters are toroidal graphs is NP-complete.
Simplicity of the automorphism groups of generalised metric spaces
Published
• View Publication
• BIB
Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and that the automorphism group of the Urysohn space is simple modulo bounded automorphisms. A key component of their proof is the definition of a stationary independence relation (SIR). In this paper we prove that the existence of a SIR satisfying some extra axioms is enough to prove simplicity of the automorphism group of a countable structure. The extra axioms are chosen with applications in mind, namely homogeneous structures which admit a "metric-like amalgamation", for example all primitive 3-constrained metrically homogeneous graphs of finite diameter from Cherlin's list.
Evaluation codes and their basic parameters
Published
• View Publication
• BIB
The aim of this work is to give degree formulas for the generalized Hamming weights of evaluation codes and to show lower bounds for these weights. In particular, we give degree formulas for the generalized Hamming weights of Reed--Muller-type codes, and we determine the minimum distance of toric codes over hypersimplices, and the 1st and 2nd generalized Hamming weights of squarefree evaluation codes.
Refined Enumeration of Halved Monotone Triangles and Applications to Vertically Symmetric Alternating Sign Trapezoids
Published in Journal of Combinatorial Theory, Series A 177 (2021) 105336
• View Publication
• BIB
Halved monotone triangles are a generalisation of vertically symmetric alternating sign matrices (VSASMs). We provide a weighted enumeration of halved monotone triangles with respect to a parameter which generalises the number of $-1$s in a VSASM. Among other things, this enables us to establish a generating function for vertically symmetric alternating sign trapezoids. Our results are mainly presented in terms of constant term expressions. For the proofs, we exploit Fischer's method of operator formulae as a key tool.
Phase Transitions of Best-of-Two and Best-of-Three on Stochastic Block Models
Published
• View Publication
• BIB
This paper is concerned with voting processes on graphs where each vertex holds one of two different opinions. In particular, we study the \emph{Best-of-two} and the \emph{Best-of-three}. Here at each synchronous and discrete time step, each vertex updates its opinion to match the majority among the opinions of two random neighbors and itself (the Best-of-two) or the opinions of three random neighbors (the Best-of-three). Previous studies have explored these processes on complete graphs and expander graphs, but we understand significantly less about their properties on graphs with more complicated structures.
In this paper, we study the Best-of-two and the Best-of-three on the stochastic block model $G(2n,p,q)$, which is a random graph consisting of two distinct Erdős-Rényi graphs $G(n,p)$ joined by random edges with density $q\leq p$. We obtain two main results. First, if $p=ω(\log n/n)$ and $r=q/p$ is a constant, we show that there is a phase transition in $r$ with threshold $r^*$ (specifically, $r^*=\sqrt{5}-2$ for the Best-of-two, and $r^*=1/7$ for the Best-of-three). If $r>r^*$, the process reaches consensus within $O(\log \log n+\log n/\log (np))$ steps for any initial opinion configuration with a bias of $Ω(n)$. By contrast, if $r<r^*$, then there exists an initial opinion configuration with a bias of $Ω(n)$ from which the process requires at least $2^{Ω(n)}$ steps to reach consensus. Second, if $p$ is a constant and $r>r^*$, we show that, for any initial opinion configuration, the process reaches consensus within $O(\log n)$ steps. To the best of our knowledge, this is the first result concerning multiple-choice voting for arbitrary initial opinion configurations on non-complete graphs.
A Connected Version of the Graph Coloring Game
Published in Discrete Applied Mathematics, Elsevier
• View Publication
• BIB
The graph coloring game is a two-player game in which, given a graph G and a set of k colors, the two players, Alice and Bob, take turns coloring properly an uncolored vertex of G, Alice having the first move. Alice wins the game if and only if all the vertices of G are eventually colored. The game chromatic number of a graph G is then defined as the smallest integer k for which Alice has a winning strategy when playing the graph coloring game on G with k colors. In this paper, we introduce and study a new version of the graph coloring game by requiring that, after each player's turn, the subgraph induced by the set of colored vertices is connected. The connected game chromatic number of a graph G is then the smallest integer k for which Alice has a winning strategy when playing the connected graph coloring game on G with k colors. We prove that the connected game chromatic number of every outerplanar graph is at most 5 and that there exist outerplanar graphs with connected game chromatic number 4. Moreover, we prove that for every integer k $\ge$ 3, there exist bipartite graphs on which Bob wins the connected coloring game with k colors, while Alice wins the connected coloring game with two colors on every bipartite graph.