Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Relaxations of GF$(4)$-representable matroids
Published
• View Publication
• BIB
We consider the GF$(4)$-representable matroids with a circuit-hyperplane such that the matroid obtained by relaxing the circuit-hyperplane is also GF$(4)$-representable. We characterize the structure of these matroids as an application of structure theorems for the classes of $U_{2,4}$-fragile and $\{U_{2,5},U_{3,5}\}$-fragile matroids. In addition, we characterize the forbidden submatrices in GF$(4)$-representations of these matroids.
On 1-uniqueness and dense critical graphs for tree-depth
Published in Discrete Mathematics, vol. 341 (2018), no. 7, pp. 1973-1982
• View Publication
• BIB
The tree-depth of $G$ is the smallest value of $k$ for which a labeling of the vertices of $G$ with elements from $\{1,\dots,k\}$ exists such that any path joining two vertices with the same label contains a vertex having a higher label. The graph $G$ is $k$-critical if it has tree-depth $k$ and every proper minor of $G$ has smaller tree-depth.
Motivated by a conjecture on the maximum degree of $k$-critical graphs, we consider the property of 1-uniqueness, wherein any vertex of a critical graph can be the unique vertex receiving label 1 in an optimal labeling. Contrary to an earlier conjecture, we construct examples of critical graphs that are not 1-unique and show that 1-unique graphs can have arbitrarily many more edges than certain critical spanning subgraphs. We also show that $(n-1)$-critical graphs are 1-unique and use 1-uniqueness to show that the Andrásfai graphs are critical with respect to tree-depth.
The Competition of Roughness and Curvature in Area-Constrained Polymer Models
Published
• View Publication
• BIB
The competition between local Brownian roughness and global parabolic curvature experienced in many random interface models reflects an important aspect of the KPZ universality class. It may be summarised by an exponent triple $(1/2,1/3,2/3)$ representing local interface fluctuation, local roughness (or inward deviation) and convex hull facet length. The three effects arise, for example, in droplets in planar Ising models (Alexander, '01, Hammond, '11,'12). In this article, we offer a new perspective on this phenomenon. We consider directed last passage percolation model in the plane, a paradigmatic example in the KPZ universality class, and constrain the maximizing path under the additional requirement of enclosing an atypically large area. The interface suffers a constraint of parabolic curvature as before, but now its local structure is the KPZ fixed point polymer's rather than Brownian. The local interface fluctuation exponent is thus two-thirds rather than one-half. We prove that the facet lengths of the constrained path's convex hull are governed by an exponent of $3/4$, and inward deviation by an exponent of $1/2$. That is, the exponent triple is now $(2/3,1/2,3/4)$ in place of $(1/2,1/3,2/3)$. This phenomenon appears to be shared among various isoperimetrically extremal circuits in local randomness. Indeed, we formulate a conjecture to this effect concerning such circuits in supercritical percolation, whose Wulff-like first-order behaviour was recently established (Biskup, Louidor, Procaccia and Rosenthal, '12).
Dimer models on cylinders over Dynkin diagrams and cluster algebras
Published
• View Publication
• BIB
In this paper, we describe a general setting for dimer models on cylinders over Dynkin diagrams which in type A reduces to the well studied case of dimer models on a disc. We prove that all Berenstein--Fomin--Zelevinsky quivers for Schubert cells in a symmetric Kac--Moody algebra give rise to dimer models on the cylinder over the corresponding Dynkin diagram. We also give an independent proof of a result of Buan, Iyama, Reiten and Smith that the corresponding superpotentials are rigid using the dimer model structure of the quivers.
Relation between the skew-rank of an oriented graph and the independence number of its underlying graph
Published
• View Publication
• BIB
An oriented graph $G^σ$ is a digraph without loops or multiple arcs whose underlying graph is $G$. Let $S\left(G^σ\right)$ be the skew-adjacency matrix of $G^σ$ and $α(G)$ be the independence number of $G$. The rank of $S(G^σ)$ is called the skew-rank of $G^σ$, denoted by $sr(G^σ)$. Wong et al. [European J. Combin. 54 (2016) 76-86] studied the relationship between the skew-rank of an oriented graph and the rank of its underlying graph. In this paper, the correlation involving the skew-rank, the independence number, and some other parameters are considered. First we show that $sr(G^σ)+2α(G)\geqslant 2|V_G|-2d(G)$, where $|V_G|$ is the order of $G$ and $d(G)$ is the dimension of cycle space of $G$. We also obtain sharp lower bounds for $sr(G^σ)+α(G),\, sr(G^σ)-α(G)$, $sr(G^σ)/α(G)$ and characterize all corresponding extremal graphs.
Gomory-Hu trees of infinite graphs with finite total weight
Gomory and Hu proved that if $ G $ is a finite graph with non-negative weights on its edges, then there exists a tree $ T $ (called now Gomory-Hu tree) on $ V(G) $ such that for all $ u\neq v\in V(G) $ there is an $ e\in E(T) $ such that the two components of $ T-e $ determines an optimal (minimal valued) cut between $ u $ an $ v $ in $ G
$. In this paper we extend their result to infinite weighted graphs with finite total weight. Furthermore, we show by an example that one can not omit the condition of finiteness of the total weight.
On the sharp upper and lower bounds of multiplicative Zagreb indices of graphs with connectivity at most k
For a (molecular) graph, the first multiplicative Zagreb index $\prod_1(G) $ is the product of the square of every vertex degree, and the second multiplicative Zagreb index $\prod_2(G) $ is the product of the products of degrees of pairs of adjacent vertices. In this paper, we explore graphs in terms of (edge) connectivity. The maximum and minimum values of $\prod_1(G) $ and $\prod_2(G) $ of graphs with connectivity at most $k$ are provided. In addition, the corresponding extremal graphs are characterized, and our results extend and enrich some known conclusions.
$A_α$-spectrum of a graph obtained by copies of a rooted graph and applications
Given a connected graph $R$ on $r$ vertices and a rooted graph $H,$ let $R\{H\}$ be the graph obtained from $r$ copies of $H$ and the graph $R$ by identifying the root of the $i-th$ copy of $H$ with the $i-th$ vertex of $R$. Let $0\leqα\leq1,$ and let \[ A_α(G)=αD(G)+(1-α)A(G) \] where $D(G)$ and $A(G)$ are the diagonal matrix of the vertex degrees of $G$ and the adjacency matrix of $G$, respectively. A basic result on the $A_α-$ spectrum of $R\{H\}$ is obtained. This result is used to prove that if $H=B_{k}$ is a generalized Bethe tree on $k$ levels, then the eigenvalues of $A_α(R\{B_{k}\})$ are the eigenvalues of symmetric tridiagonal matrices of order not exceeding $k$; additionally, the multiplicity of each eigenvalue is determined. Finally, applications to a unicyclic graph are given, including an upper bound on the $α-$ spectral radius in terms of the largest vertex degree and the largest height of the trees obtained by removing the edges of the unique cycle in the graph.
Exponential Riordan Arrays and Jacobi elliptic functions
Published
• View Publication
• BIB
This paper establishes relationships between elliptic functions and Riordan arrays leading to new classes of Riordan arrays which here are called elliptic Riordan arrays. In particular, the case of Riordan arrays derived from Jacobi elliptic functions that are parameterized by the elliptic modulus $k$ will be treated here. Some concrete examples of such Riordan arrays are presented via a recursive formula.
Positive definite functions on Coxeter groups with applications to operator spaces and noncommutative probability
Published
• View Publication
• BIB
A new class of positive definite functions related to colour-length function on arbitrary Coxeter group is introduced. Extensions of positive definite functions, called the Riesz-Coxeter product, from the Riesz product on the Rademacher (Abelian Coxeter) group to arbitrary Coxeter group is obtained. Applications to harmonic analysis, operator spaces and noncommutative probability is presented. Characterization of radial and colour-radial functions on dihedral groups and infinite permutation group are shown.
Energy of commuting graph of finite groups whose centralizers are Abelian
Published
• View Publication
• BIB
Let $Γ$ be a graph with the adjacency matrix $A$. The energy of $Γ$ is the sum of the absolute values of the eigenvalues of $A$. In this article we compute the energies of the commuting graphs of some finite groups and discuss some consequences.
The Ising Partition Function: Zeros and Deterministic Approximation
Published
• View Publication
• BIB
We study the problem of approximating the partition function of the ferromagnetic Ising model in graphs and hypergraphs. Our first result is a deterministic approximation scheme (an FPTAS) for the partition function in bounded degree graphs that is valid over the entire range of parameters $β$ (the interaction) and $λ$ (the external field), except for the case $\vertλ\vert=1$ (the "zero-field" case). A randomized algorithm (FPRAS) for all graphs, and all $β,λ$, has long been known. Unlike most other deterministic approximation algorithms for problems in statistical physics and counting, our algorithm does not rely on the "decay of correlations" property. Rather, we exploit and extend machinery developed recently by Barvinok, and Patel and Regts, based on the location of the complex zeros of the partition function, which can be seen as an algorithmic realization of the classical Lee-Yang approach to phase transitions. Our approach extends to the more general setting of the Ising model on hypergraphs of bounded degree and edge size, where no previous algorithms (even randomized) were known for a wide range of parameters. In order to achieve this extension, we establish a tight version of the Lee-Yang theorem for the Ising model on hypergraphs, improving a classical result of Suzuki and Fisher.
Exploring the bounds on the positive semidefinite rank
The nonnegative and positive semidefinite (PSD-) ranks are closely connected to the nonnegative and positive semidefinite extension complexities of a polytope, which are the minimal dimensions of linear and SDP programs which represent this polytope. Though some exponential lower bounds on the nonnegative and PSD- ranks has recently been proved for the slack matrices of some particular polytopes, there are still no tight bounds for these quantities. We explore some existing bounds on the PSD-rank and prove that they cannot give exponential lower bounds on the extension complexity. Our approach consists in proving that the existing bounds are upper bounded by the polynomials of the regular rank of the matrix, which is equal to the dimension of the polytope (up to an additive constant). As one of the implications, we also retrieve an upper bound on the mutual information of an arbitrary matrix of a joint distribution, based on its regular rank.
Improper Colourings inspired by Hadwiger's Conjecture
Published in J. London Math. Society 98.1:129-148, 2018
• View Publication
• BIB
Hadwiger's Conjecture asserts that every $K_t$-minor-free graph has a proper $(t-1)$-colouring. We relax the conclusion in Hadwiger's Conjecture via improper colourings. We prove that every $K_t$-minor-free graph is $(2t-2)$-colourable with monochromatic components of order at most $\lceil{\frac12(t-2)}\rceil$. This result has no more colours and much smaller monochromatic components than all previous results in this direction. We then prove that every $K_t$-minor-free graph is $(t-1)$-colourable with monochromatic degree at most $t-2$. This is the best known degree bound for such a result. Both these theorems are based on a decomposition method of independent interest. We give analogous results for $K_{s,t}$-minor-free graphs, which lead to improved bounds on generalised colouring numbers for these classes. Finally, we prove that graphs containing no $K_t$-immersion are $2$-colourable with bounded monochromatic degree.
Infinite end-devouring sets of rays with prescribed start vertices
Published
• View Publication
• BIB
We prove that every end of a graph contains either uncountably many disjoint rays or a set of disjoint rays that meet all rays of the end and start at any prescribed feasible set of start vertices. This confirms a conjecture of Georgakopoulos.
Partition-theoretic formulas for arithmetic densities
Published
• View Publication
• BIB
If $\gcd(r,t)=1$, then a theorem of Alladi offers the Möbius sum identity $$-\sum_{\substack{ n \geq 2 \\ p_{\rm{min}}(n) \equiv r \pmod{t}}} μ(n)n^{-1}= \frac{1}{\varphi(t)}. $$ Here $p_{\rm{min}}(n)$ is the smallest prime divisor of $n$. The right-hand side represents the proportion of primes in a fixed arithmetic progression modulo $t$. Locus generalized this to Chebotarev densities for Galois extensions. Answering a question of Alladi, we obtain analogs of these results to arithmetic densities of subsets of positive integers using $q$-series and integer partitions. For suitable subsets $§$ of the positive integers with density $d_§$, we prove that \[- \lim_{q \to 1} \sum_{\substack{ λ\in \mathcal{P} \\ \rm{sm}(λ) \in §}} μ_{\mathcal{P}} (λ)q^{\vert λ\vert} = d_§,\] where the sum is taken over integer partitions $λ$, $μ_{\mathcal{P}}(λ)$ is a partition-theoretic Möbius function,
$\vert λ\vert$ is the size of partition $λ$, and $\rm{sm}(λ)$ is the smallest part of $λ$. In particular, we obtain partition-theoretic formulas for even powers of $π$ when considering power-free integers.
Perfect divisibility and 2-divisibility
Published
• View Publication
• BIB
A graph $G$ is said to be $2$-divisible if for all (nonempty) induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A,B$ such that $ω(A) < ω(H)$ and $ω(B) < ω(H)$. A graph $G$ is said to be perfectly divisible if for all induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A,B$ such that $H[A]$ is perfect and $ω(B) < ω(H)$. We prove that if a graph is $(P_5,C_5)$-free, then it is $2$-divisible. We also prove that if a graph is bull-free and either odd-hole-free or $P_5$-free, then it is perfectly divisible.
Shifting the Phase Transition Threshold for Random Graphs and 2-SAT using Degree Constraints
Published
• View Publication
• BIB
We show that by restricting the degrees of the vertices of a graph to an arbitrary set \( Δ\), the threshold point $ α(Δ) $ of the phase transition for a random graph with $ n $ vertices and $ m = α(Δ) n $ edges can be either accelerated (e.g., $ α(Δ) \approx 0.381 $ for $ Δ= \{0,1,4,5\} $) or postponed (e.g., $ α(\{ 2^0, 2^1, \cdots, 2^k, \cdots \}) \approx 0.795 $) compared to a classical Erdős--Rényi random graph with $ α(\mathbb Z_{\geq 0}) = \tfrac12 $. In particular, we prove that the probability of graph being nonplanar and the probability of having a complex component, goes from $ 0 $ to $ 1 $ as $ m $ passes $ α(Δ) n $. We investigate these probabilities and also different graph statistics inside the critical window of transition (diameter, longest path and circumference of a complex component).
Weighted quasisymmetric enumerator for generalized permutohedra
We introduce a weighted quasisymmetric enumerator function associated to generalized permutohedra. It refines the Billera, Jia and Reiner quasisymmetric function which also includes the Stanley chromatic symmetric function. Beside that it carries information of face numbers of generalized permutohedra. We consider more systematically the cases of nestohedra and matroid base polytopes.
Subspace Designs based on Algebraic Function Fields
Published
• View Publication
• BIB
Subspace designs are a (large) collection of high-dimensional subspaces $\{H_i\}$ of $\F_q^m$ such that for any low-dimensional subspace $W$, only a small number of subspaces from the collection have non-trivial intersection with $W$; more precisely, the sum of dimensions of $W \cap H_i$ is at most some parameter $L$. The notion was put forth by Guruswami and Xing (STOC'13) with applications to list decoding variants of Reed-Solomon and algebraic-geometric codes, and later also used for explicit rank-metric codes with optimal list decoding radius.
Guruswami and Kopparty (FOCS'13, Combinatorica'16) gave an explicit construction of subspace designs with near-optimal parameters. This construction was based on polynomials and has close connections to folded Reed-Solomon codes, and required large field size (specifically $q \ge m$). Forbes and Guruswami (RANDOM'15) used this construction to give explicit constant degree "dimension expanders" over large fields, and noted that subspace designs are a powerful tool in linear-algebraic pseudorandomness.
Here, we construct subspace designs over any field, at the expense of a modest worsening of the bound $L$ on total intersection dimension. Our approach is based on a (non-trivial) extension of the polynomial-based construction to algebraic function fields, and instantiating the approach with cyclotomic function fields. Plugging in our new subspace designs in the construction of Forbes and Guruswami yields dimension expanders over $\F^n$ for any field $\F$, with logarithmic degree and expansion guarantee for subspaces of dimension $Ω(n/(\log \log n))$.