Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Critical sets, crowns, and local maximum independent sets
Published
• View Publication
• BIB
A set $S\subseteq V(G)$ is independent (or stable) if no two vertices from $S$ are adjacent, and by $\mathrm{Ind}(G)$ we mean the set of all independent sets of $G$.
A set $A\in\mathrm{Ind}(G)$ is critical (and we write $A\in CritIndep(G)$) if $\left\vert A\right\vert -\left\vert N(A)\right\vert =\max\{\left\vert I\right\vert -\left\vert N(I)\right\vert :I\in \mathrm{Ind}(G)\}$, where $N(I)$ denotes the neighborhood of $I$.
If $S\in\mathrm{Ind}(G)$ and there is a matching from $N(S)$ into $S$, then $S$ is a crown, and we write $S\in Crown(G)$.
Let $Ψ(G)$ be the family of all local maximum independent sets of graph $G$, i.e., $S\inΨ(G)$ if $S$ is a maximum independent set in the subgraph induced by $S\cup N(S)$.
In this paper we show that $CritIndep(G)\subseteq Crown(G)$ $\subseteqΨ(G)$ are true for every graph. In addition, we present some classes of graphs where these families coincide and form greedoids or even more general set systems that we call augmentoids.
Dot-product sets and simplices over finite rings
In this paper, we study dot-product sets and $k$-simplices in vector spaces over finite rings. We show that if $E$ is sufficiently large then the dot-product set of $E$ covers the whole ring. In higher dimensional cases, if $E$ is sufficiently large then the set of simplices and the set of dot-product simplices determined by $E$, up to congurence, have positive densities.
A Complexity Dichotomy for Permutation Pattern Matching on Grid Classes
Permutation Pattern Matching (PPM) is the problem of deciding for a given pair of permutations P and T whether the pattern P is contained in the text T. Bose, Buss and Lubiw showed that PPM is NP-complete. In view of this result, it is natural to ask how the situation changes when we restrict the pattern P to a fixed permutation class C; this is known as the C-Pattern PPM problem.
Grid classes are special kind of permutation classes, consisting of permutations admitting a grid-like decomposition into simpler building blocks. Of particular interest are the so-called monotone grid classes, in which each building block is a monotone sequence. Recently, it has been discovered that grid classes, especially the monotone ones, play a fundamental role in the understanding of the structure of general permutation classes. This motivates us to study the hardness of C-Pattern PPM for a (monotone) grid class C.
We provide a complexity dichotomy for C-Pattern PPM when C is taken to be a monotone grid class. Specifically, we show that the problem is polynomial-time solvable if a certain graph associated with C, called the cell graph, is a forest, and it is NP-complete otherwise. We further generalize our results to grid classes whose blocks belong to classes of bounded grid-width. We show that the C-Pattern PPM for such a grid class C is polynomial-time solvable if the cell graph of C avoids a cycle or a certain special type of path, and it is NP-complete otherwise.
Base Polynomials for Schultz Invariants of Linear Phenylenes
Let $L_{n}$ be the molecular graph of linear $[n]$phenylene, and $L'_{n}$ the graph obtained by attaching 4-membered cycles to terminal hexagons of $L_{n-1}$. Thus, $L'_{n}$ is the molecular graph of the $α,ω$ - dicyclobutadieno derivative of $[n-1]$phenylene, containing $n-1$ hexagons and $n$ squares. In this paper we give polynomials which serve as bases for Schultz invariants. Actually, we represent lengths of paths among vertices of degrees 2-2, 2-3, and 3-3 of $L_{n}$ and $L'_{n}$ in terms of polynomials, which are used to find Schultz polynomial, modified Schultz polynomial, Schultz index, and modified Schultz index.
Schubert calculus from polyhedral parametrizations of Demazure crystals
Published
• View Publication
• BIB
One approach to Schubert calculus is to realize Schubert classes as concrete combinatorial objects such as Schubert polynomials. Through an identification of the cohomology ring of the type A full flag variety with the polytope ring of the Gelfand-Tsetlin polytopes, Kiritchenko-Smirnov-Timorin realized each Schubert class as a sum of reduced (dual) Kogan faces. In this paper, we explicitly describe string parametrizations of opposite Demazure crystals, which give a natural generalization of reduced dual Kogan faces. We also relate reduced Kogan faces with Demazure crystals using the theory of mitosis operators, and apply these observations to develop the theory of Schubert calculus on symplectic Gelfand-Tsetlin polytopes.
Sharp L1 Inequalities for Sup-Convolution
Published in Discrete Analysis 2023:7
• Search Publication
Given a compact convex domain $C\subset \mathbb{R}^k$ and bounded measurable functions $f_1,\ldots,f_n:C\to \mathbb{R}$, define the sup-convolution $(f_1\ast \ldots \ast f_n)(z)$ to be the supremum average value of $f_1(x_1),\ldots,f_n(x_n)$ over all $x_1,\ldots,x_n\in C$ which average to $z$. Continuing the study by Figalli and Jerison and the present authors of linear stability for the Brunn-Minkowski inequality with equal sets, for $k\le 3$ we find the optimal constants $c_{k,n}$ such that $$\int_C f^{\ast n}(x)-f(x) dx \ge c_{k,n}\int_C\text{co}(f)(x)-f(x) dx$$ where $\text{co}(f)$ is the upper convex hull of $f$. Additionally, we show $c_{k,n}=1-O(\frac{1}{n})$ for fixed $k$ and prove an analogous optimal inequality for two distinct functions. The key geometric insight is a decomposition of polytopal approximations of $C$ into hypersimplices according to the geometry of the set of points where $\text{co}(f)$ is close to $f$.
Enumerating extreme points of the polytopes of stochastic tensors: an optimization approac
Published in Optimization 69 (2020) 729-741 Optimization: A Journal of Mathematical Programming and Operations Research
• View Publication
• BIB
This paper is concerned with the extreme points of the polytopes of stochastic tensors. By a tensor we mean a multi-dimensional array over the real number field. A line-stochastic tensor is a nonnegative tensor in which the sum of all entries on each line (i.e., one free index) is equal to 1; a plane-stochastic tensor is a nonnegative tensor in which the sum of all entries on each plane (i.e., two free indices) is equal to 1. In enumerating extreme points of the polytopes of line- and plane-stochastic tensors of order 3 and dimension $n$, we consider the approach by linear optimization and present new lower and upper bounds. We also study the coefficient matrices that define the polytopes.
The smallest singular value of dense random regular digraphs
Published
• View Publication
• BIB
Let $A$ be the adjacency matrix of a uniformly random $d$-regular digraph on $n$ vertices, and suppose that $\min(d,n-d)\geqλn$. We show that for any $κ\geq 0$, \[\mathbb{P}[s_n(A)\leqκ]\leq C_λκ\sqrt{n}+2e^{-c_λn}.\] Up to the constants $C_λ, c_λ> 0$, our bound matches optimal bounds for $n\times n$ random matrices, each of whose entries is an i.i.d $\text{Ber}(d/n)$ random variable. The special case $κ= 0$ of our result confirms a conjecture of Cook regarding the probability of singularity of dense random regular digraphs.
Infinite Sperner's theorem
Published
• View Publication
• BIB
One of the most classical results in extremal set theory is Sperner's theorem, which says that the largest antichain in the Boolean lattice $2^{[n]}$ has size $Θ\big(\frac{2^n}{\sqrt{n}}\big)$. Motivated by an old problem of Erdős on the growth of infinite Sidon sequences, in this note we study the growth rate of maximum infinite antichains. Using the well known Kraft's inequality for prefix codes, it is not difficult to show that infinite antichains should be "thinner" than the corresponding finite ones. More precisely, if $\mathcal{F}\subset 2^{\mathbb{N}}$ is an antichain, then
$$\liminf_{n\rightarrow \infty}\big|\mathcal{F} \cap 2^{[n]}\big|\left(\frac{2^n}{n\log n}\right)^{-1}=0.$$ Our main result shows that this bound is essentially tight, that is, we construct an antichain $\mathcal{F}$ such that $$\liminf_{n\rightarrow \infty}\big|\mathcal{F} \cap 2^{[n]}\big|\left(\frac{2^n}{n\log^{C} n}\right)^{-1}>0$$ holds for some absolute constant $C>0$.
The Maximum Length and Isomorphism of Circuit Codes with Long Bit Runs
Recently, Byrnes presented a formula for the maximum length of a symmetric circuit code that has a long bit run and odd spread. Here we show that the formula is also valid when the spread is even. We also establish that all maximum length symmetric circuit codes with long bit runs are isomorphic for an infinite and nontrivial family of circuit codes, extending a previous result of Douglas.
$3$-Colouring $P_t$-free graphs without short odd cycles
For any odd $t\ge 9$, we present a polynomial-time algorithm that solves the $3$-colouring problem, and finds a $3$-colouring if one exists, in $P_{t}$-free graphs of odd girth at least $t-2$. In particular, our algorithm works for $(P_9, C_3, C_5)$-free graphs, thus making progress towards determining the complexity of $3$-colouring in $P_t$-free graphs, which is open for $t\ge 8$.
The localization number and metric dimension of graphs of diameter 2
Published
• View Publication
• BIB
We consider the localization number and metric dimension of certain graphs of diameter $2$, focusing on families of Kneser graphs and graphs without 4-cycles. For the Kneser graphs with diameter $2$, we find upper and lower bounds for the localization number and metric dimension, and in many cases these parameters differ only by an additive constant. Our results on the metric dimension of Kneser graphs improve on earlier ones, yielding exact values in infinitely many cases. We determine bounds on the localization number and metric dimension of Moore graphs of diameter $2$ and polarity graphs.
Spectrum of twists of Cayley and Cayley sum graphs
Published
• View Publication
• BIB
Let $G$ be a finite group with $|G|\geq 4$ and $S$ be a subset of $G$. Given an automorphism $σ$ of $G$, the twisted Cayley graph $C(G, S)^σ$ (resp. the twisted Cayley sum graph $C_Σ(G, S)^σ$) is defined as the graph having $G$ as its set of vertices and the adjacent vertices of a vertex $g\in G$ are of the form $σ(gs)$ (resp. $σ(g^{-1} s)$) for some $s\in S$. If the twisted Cayley graph $C(G, S)^σ$ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from $-1$ and this bound depends only on its degree, the order of $σ$ and the vertex Cheeger constant of $C(G, S)^σ$. Moreover, if the twisted Cayley sum graph $C_Σ(G, S)^σ$ is undirected and connected, then we prove that the nontrivial spectrum of its normalised adjacency operator is bounded away from $-1$ and this bound depends only on its degree and the vertex Cheeger constant of $C_Σ(G, S)^σ$. We also study these twisted graphs with respect to anti-automorphisms, and obtain similar results. Further, we prove an analogous result for the Schreier graphs satisfying certain conditions.
Entanglement of Free Fermions on Hadamard Graphs
Published in Nuclear Physics B Volume 960, November 2020, 115176
• View Publication
• BIB
Free Fermions on vertices of distance-regular graphs are considered. Bipartition are defined by taking as one part all vertices at a given distance from a reference vertex. The ground state is constructed by filling all states below a certain energy. Borrowing concepts from time and band limiting problems, algebraic Heun operators and Terwilliger algebras, it is shown how to obtain, quite generally, a block tridiagonal matrix that commutes with the entanglement Hamiltonian. The case of the Hadamard graphs is studied in details within that framework and the existence of the commuting matrix is shown to allow for an analytic diagonalization of the restricted two-point correlation matrix and hence for an explicit determination of the entanglement entropy.
Combinatorics of Multicompositions
Published in Combinatorial and Additive Number Theory IV, ed. Nathanson, Springer Proceedings 347 (2021) 307-321
• View Publication
• BIB
Integer compositions with certain colored parts were introduced by Andrews in 2007 to address a number-theoretic problem. Integer compositions allowing zero as some parts were introduced by Ouvry and Polychronakos in 2019. We give a bijection between these two varieties of compositions and determine various combinatorial properties of these multicompositions. In particular, we determine the count of multicompositions by number of all parts, number of positive parts, and number of zeros. Then, working from three types of compositions with restricted parts that are counted by the Fibonacci sequence, we find the sequences counting multicompositions with analogous restrictions. With these tools, we give combinatorial proofs of summation formulas for generalizations of the Jacobsthal and Pell sequences.
Automorphism groups of finite posets II
We prove that every finite group $G$ can be realized as the automorphism group of a poset with $4|G|$ points. We also provide bounds for the minimum number of points of a poset with cyclic automorphism group of a given prime power order.
Constants and heat flow on graphs
In this article, we first introduce the concepts of vector fields and their divergence, and we recall the concepts of the gradient, Laplacian operator, Cheeger constants, eigenvalues, and heat kernels on a locally finite graph $V$. We give a projective characteristic of the eigenvalues. We also give an extension of Barta Theorem. Then we introduce the mini-max value of a function on a locally finite and locally connected graph. We show that for a coercive function on on a locally finite and locally connected graph, there is a mini-max value of the function provided it has two strict local minima values. We consider the discrete Morse flow for the heat flow on a finite graph in the locally finite graph $V$. We show that under suitable assumptions on the graph one has a weak discrete Morse flow for the heat flow on $S$ on any time interval. We also study the heat flow with time-variable potential and its discrete Morse flow. We propose the concepts of harmonic maps from a graph to a Riemannian manifold and pose some open questions.
On the $e$-positivity of trees and spiders
Published
• View Publication
• BIB
We prove that for any tree with a vertex of degree at least six, its chromatic symmetric function is not $e$-positive, that is, it cannot be written as a nonnegative linear combination of elementary symmetric functions. This makes significant progress towards a recent conjecture of Dahlberg, She, and van Willigenburg, who conjectured the result for all trees with a vertex of degree at least four. We also provide a series of conditions that can identify when the chromatic symmetric function of a spider, a tree consisting of multiple paths identified at an end, is not $e$-positive. These conditions also generalize to trees and graphs with cut vertices. Finally, by applying a result of Orellana and Scott, we provide a method to inductively calculate certain coefficients in the elementary symmetric function expansion of the chromatic symmetric function of a spider, leading to further $e$-positivity conditions for spiders.
Topology in cyber research
Published
• View Publication
• BIB
We give an idiosyncratic overview of applications of topology to cyber research, spanning the analysis of variables/assignments and control flow in computer programs, a brief sketch of topological data analysis in one dimension, and the use of sheaves to analyze wireless networks.
The text is from a chapter in the forthcoming book Mathematics in Cyber Research, to be published by Taylor and Francis.
Tightness of Paired and Upper Domination Inequalities for Direct Product Graphs
Published
• View Publication
• BIB
A set $D$ of vertices in a graph $G$ is called dominating if every vertex of $G$ is either in $D$ or adjacent to a vertex of $D$. The paired domination number $γ_{\mathrm{pr}}(G)$ of $G$ is the minimum size of a dominating set whose induced subgraph admits a perfect matching, and the upper domination number $Γ(G)$ is the maximum size of a minimal dominating set. In this paper, we investigate the sharpness of two multiplicative inequalities for these domination parameters, where the graph product is the direct product $\times$.
We show that for every positive constant $c$, there exist graphs $G$ and $H$ of arbitrarily large diameter such that $γ_{\mathrm{pr}}(G \times H) \leq cγ_{\mathrm{pr}}(G)γ_{\mathrm{pr}}(H)$, thus answering a question of Rall as well as two questions of Paulraja and Sampath Kumar. We then study when this inequality holds with $c = \frac{1}{2}$, in particular proving that it holds whenever $G$ and $H$ are trees. Finally, we demonstrate that the inequality $Γ(G \times H) \geq Γ(G) Γ(H)$, due to Brešar, Klavžar, and Rall, is tight.