Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Symmetry breaking in planar and maximal outerplanar graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has a vertex (edge) labeling with $d$ labels that is preserved only by a trivial automorphism. In this paper we consider the maximal outerplanar graphs (MOP graphs) and show that MOP graphs, except $K_3$, can be distinguished by at most two vertex (edge) labels. We also compute the distinguishing number and the distinguishing index of Halin and Mycielskian graphs.
On the algorithmic complexity of decomposing graphs into regular/irregular structures
A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregular subgraphs and we present some polynomial time algorithms, NP-completeness results, lower bounds and upper bounds for them. Among our results, one of our lower bounds makes use of mutually orthogonal Latin squares which is relatively novel.
On $\ell_4 : \ell_2$ ratio of functions with restricted Fourier support
Published
• View Publication
• BIB
Given a subset $A \subseteq \{0,1\}^n$, let $μ(A)$ be the maximal ratio between $\ell_4$ and $\ell_2$ norms of a function whose Fourier support is a subset of $A$. We make some simple observations about the connections between $μ(A)$ and the additive properties of $A$ on one hand, and between $μ(A)$ and the uncertainty principle for $A$ on the other hand. One application obtained by combining these observations with results in additive number theory is a stability result for the uncertainty principle on the discrete cube.
Our more technical contribution is determining $μ(A)$ rather precisely, when $A$ is a Hamming sphere $S(n,k)$ for all $0 \le k \le n$.
Two-Player Pebbling on Diameter 2 Graphs
Published
• View Publication
• BIB
A pebbling move refers to the act of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The goal of graph pebbling is: Given an initial distribution of pebbles, use pebbling moves to reach a specified goal vertex called the root. The pebbling number of a graph $π(G)$ is the minimum number of pebbles needed so every distribution of $π(G)$ pebbles can reach every choice of the root. We introduce a new variant of graph pebbling, a game between two players. One player aims to move a pebble to the root and the other player aims to prevent this. We show configurations of various classes of graphs for which each player has a winning strategy. We will characterize the winning player for a specific class of diameter two graphs.
An Asymptotically Tight Bound on the Number of Relevant Variables in a Bounded Degree Boolean Function
Published
• View Publication
• BIB
We prove that there is a constant $C\leq 6.614$ such that every Boolean function of degree at most $d$ (as a polynomial over $\mathbb{R}$) is a $C\cdot 2^d$-junta, i.e. it depends on at most $C\cdot 2^d$ variables. This improves the $d\cdot 2^{d-1}$ upper bound of Nisan and Szegedy [Computational Complexity 4 (1994)]. Our proof uses a new weighting scheme where we assign weights to variables based on the highest degree monomial they appear on.
The bound of $C\cdot 2^d$ is tight up to the constant $C$ as a lower bound of $2^d-1$ is achieved by a read-once decision tree of depth $d$. We slightly improve the lower bound by constructing, for each positive integer $d$, a function of degree $d$ with $3\cdot 2^{d-1}-2$ relevant variables. A similar construction was independently observed by Shinkar and Tal.
Individual testing is optimal for nonadaptive group testing in the linear regime
Published in IEEE Transactions on Information Theory, 65:4, 2058-2061, 2019
• View Publication
• BIB
We consider nonadaptive probabilistic group testing in the linear regime, where each of n items is defective independently with probability p in (0,1), and p is a constant independent of n. We show that testing each item individually is optimal, in the sense that with fewer than n tests the error probability is bounded away from zero.
Chorded pancyclicity in $k$-partite graphs
Published
• View Publication
• BIB
We prove that for any integers $p\geq k\geq 3$ and any $k$-tuple of positive integers $(n_1,\ldots ,n_k)$ such that $p=\sum _{i=1}^k{n_i}$ and $n_1\geq n_2\geq \ldots \geq n_k$, the condition $n_1\leq {p\over 2}$ is necessary and sufficient for every subgraph of the complete $k$-partite graph $K(n_1,\ldots ,n_k)$ with at least \[{{4 -2p+2n_1+\sum _{i=1}^{k} n_i(p-n_i)}\over 2}\] edges to be chorded pancyclic. Removing all but one edge incident with any vertex of minimum degree in $K(n_1,\ldots ,n_k)$ shows that this result is best possible. Our result implies that for any integers, $k\geq 3$ and $n\geq 1$, a balanced $k$-partite graph of order $kn$ with has at least ${{(k^2-k)n^2-2n(k-1)+4}\over 2}$ edges is chorded pancyclic. In the case $k=3$, this result strengthens a previous one by Adamus, who in 2009 showed that a balanced tripartite graph of order $3n$, $n \geq 2$, with at least $3n^2 - 2n + 2$ edges is pancyclic.
Lovasz-Saks-Schrijver ideals and coordinate sections of determinantal varieties
Published in Alg. Number Th. 13 (2019) 455-484
• View Publication
• BIB
Motivated by questions in algebra and combinatorics we study two ideals associated to a simple graph G:
--> the Lovasz-Saks-Schrijver ideal defining the d-dimensional orthogonal representations of the graph complementary to G and
--> the determinantal ideal of the (d+1)-minors of a generic symmetric with 0s in positions prescribed by the graph G.
In characteristic 0 these two ideals turns out to be closely related and algebraic properties such as being radical, prime or a complete intersection transfer from the Lovasz-Saks-Schrijver ideal to the determinantal ideal. For Lovasz-Saks-Schrijver ideals we link these properties to combinatorial properties of G and show that they always hold for d large enough. For specific classes of graph, such a forests, we can give a complete picture and classify the radical, prime and complete intersection Lovasz-Saks-Schrijver ideals.
The cohomology rings of regular nilpotent Hessenberg varieties and Schubert polynomials
Published
• View Publication
• BIB
In this paper we study a relation between the cohomology ring of a regular nilpotent Hessenberg variety and Schubert polynomials. To describe an explicit presentation of the cohomology ring of a regular nilpotent Hessenberg variety, polynomials $f_{i,j}$ were introduced by Abe-Harada-Horiguchi-Masuda. We show that every polynomial $f_{i,j}$ is an alternating sum of certain Schubert polynomials.
Congruences Modulo Powers of 3 for 3- and 9-Colored Generalized Frobenius Partitions
Published
• View Publication
• BIB
Let $cφ_{k}(n)$ be the number of $k$-colored generalized Frobenius partitions of $n$. We establish some infinite families of congruences for $cφ_{3}(n)$ and $cφ_{9}(n)$ modulo arbitrary powers of 3, which refine the results of Kolitsch. For example, for $k\ge 3$ and $n\ge 0$, we prove that \[cφ_{3}\Big(3^{2k}n+\frac{7\cdot 3^{2k}+1}{8}\Big) \equiv 0 \pmod{3^{4k+5}}.\] We give two different proofs to the congruences satisfied by $cφ_{9}(n)$. One of the proofs uses an relation between $cφ_{9}(n)$ and $cφ_{3}(n)$ due to Kolitsch, for which we provide a new proof in this paper.
New Proofs of Ramanujan's Identities on False Theta Functions
Published
• View Publication
• BIB
We provide new proofs to five of Ramanujan's intriguing identities on false theta functions without using the Rogers-Fine identity and Bailey transforms.
Recurrence Relations for Wronskian Hermite Polynomials
Published in SIGMA 14 (2018), 048, 29 pages
• View Publication
• BIB
We consider polynomials that are defined as Wronskians of certain sets of Hermite polynomials. Our main result is a recurrence relation for these polynomials in terms of those of one or two degrees smaller, which generalizes the well-known three term recurrence relation for Hermite polynomials. The polynomials are defined using partitions of natural numbers, and the coefficients in the recurrence relation can be expressed in terms of the number of standard Young tableaux of these partitions. Using the recurrence relation, we provide another recurrence relation and show that the average of the considered polynomials with respect to the Plancherel measure is very simple. Furthermore, we show that some existing results in the literature are easy corollaries of the recurrence relation.
On iterated product sets with shifts
Published in Mathematika 65 (2019) 831-850
• View Publication
• BIB
We prove that, for any finite set $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any positive integer $k$, the $k$-fold product set of the shift $A+1$ satisfies the bound $$| \{(a_1+1)(a_2+1) \cdots (a_k+1) : a_i \in A \}| \geq \frac{|A|^k}{(8k^4)^{kK}}. $$ This result is essentially optimal when $K$ is of the order $c\log|A|$, for a sufficiently small constant $c=c(k)$.
Our main tool is a multiplicative variant of the $Λ$-constants used in harmonic analysis, applied to Dirichlet polynomials.
Hall-Littlewood expansions of Schur delta operators at $t = 0$
For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space.
The ascent-plateau statistics on Stirling permutations
Published
• View Publication
• BIB
In this paper, several variants of the ascent-plateau statistic are introduced, including flag ascent-plateau, double ascent and descent-plateau. We first study the flag ascent-plateau statistic on Stirling permutations by using context-free grammars. We then present a unified refinement of the ascent polynomials and the ascent-plateau polynomials. In particular, by using Foata and Strehl's group action, we prove two bistatistics over the set of Stirling permutations of order n are equidistributed.
A framework for rank identities -- With a view towards operator algebras
Published in J. Operator Theory 89, Issue 2 (Spring 2023), 477--520
• View Publication
• BIB
For every square matrix $A$ over a field $\mathbb{K}$, we have the equality $\mathrm{rank}(A) + \mathrm{rank}(I-A) = \mathrm{rank}(I) + \mathrm{rank}(A-A^2)$ where $I$ denotes the identity matrix with the same dimensions as $A$. In this article, we start a program to systematically characterize and generalize such rank identities with a view towards applications to operator algebras. We initiate the study of so-called ranked rings (unital rings with a `rank-system'), the main examples of interest being finite von Neumann algebras, Murray-von Neumann algebras, and von Neumann rank-rings. In our framework, a field $\mathbb{K}$ may be viewed as a ranked ring with a $\mathbb{Z}^+$-valued rank-system consisting of the usual rank functions on $M_n(\mathbb{K})$ (for $n \in \mathbb{N})$ and serves as the motivating example. We show that a finite von Neumann algebra $\mathscr{R}$ with center $\mathscr{C}$ (and the corresponding Murray-von Neumann algebra $\mathscr{R}_{\textrm{aff}}$) may be endowed with a $\mathscr{C}^{+}$-valued rank-system, considering $\mathscr{C}^{+}$ as a commutative monoid with respect to operator addition. We give an algorithm to generate rank identities in ranked $\mathbb{K}$-algebras via the polynomial function calculus, and in ranked complex Banach algebras via the holomorphic function calculus. As an illustrative application, using these abstract rank identities we show that the sum of finitely many idempotents $e_1, \ldots, e_m$ in a finite von Neumann algebra is an idempotent if and only if they are mutually orthogonal, that is, $e_i e_j = δ_{ij} e_i$ for $1 \le i, j \le m$. In contrast, this does not hold in general in the ring of bounded operators on an infinite-dimensional complex Hilbert space.
Stirling Posets
Published
• View Publication
• BIB
We define combinatorially a partial order on the set partitions and show that it is equivalent to the Bruhat-Chevalley-Renner order on the upper triangular matrices. By considering subposets consisting of set partitions with a fixed number of blocks, we introduce and investigate "Stirling posets." As we show, the Stirling posets have a hierarchy and they glue together to give the whole set partition poset. Moreover, we show that they (Stirling posets) are graded and EL-shellable. We offer various reformulations of their length functions and determine the recurrences for their length generating series.
Vector Coloring the Categorical Product of Graphs
Published
• View Publication
• BIB
A vector $t$-coloring of a graph is an assignment of real vectors $p_1, \ldots, p_n$ to its vertices such that $p_i^Tp_i = t-1$ for all $i=1, \ldots, n$ and $p_i^Tp_j \le -1$ whenever $i$ and $j$ are adjacent. The vector chromatic number of $G$ is the smallest real number $t \ge 1$ for which a vector $t$-coloring of $G$ exists. For a graph $H$ and a vector $t$-coloring $p_1,\ldots,p_n$ of a graph $G$, the assignment $(i,\ell) \mapsto p_i$ is a vector $t$-coloring of the categorical product $G \times H$. It follows that the vector chromatic number of $G \times H$ is at most the minimum of the vector chromatic numbers of the factors. We prove that equality always holds, constituting a vector coloring analog of the famous Hedetniemi Conjecture from graph coloring. Furthermore, we prove a necessary and sufficient condition for when all of the optimal vector colorings of the product can be expressed in terms of the optimal vector colorings of the factors. The vector chromatic number is closely related to the well-known Lovász theta function, and both of these parameters admit formulations as semidefinite programs. This connection to semidefinite programming is crucial to our work and the tools and techniques we develop could likely be of interest to others in this field.
On an Algorithm for Comparing the Chromatic Symmetric Functions of Trees
It is a long-standing question of Stanley whether or not the chromatic symmetric function (CSF) distinguishes unrooted trees. Previously, the best computational result, due to Russell, proved that it distinguishes all trees with at most $25$ vertices. In this paper, we present a novel probabilistic algorithm which may be used to check more efficiently that the CSF distinguishes a set of trees. Applying it, we verify that the CSF distinguishes all trees with up to $29$ vertices.
Exploring a Delta Schur Conjecture
Published
• View Publication
• BIB
In \cite{HRW15}, Haglund, Remmel, Wilson state a conjecture which predicts a purely combinatorial way of obtaining the symmetric function $Δ_{e_k}e_n$. It is called the Delta Conjecture. It was recently proved in \cite{GHRY} that the Delta Conjecture is true when either $q=0$ or $t=0$. In this paper we complete a work initiated by Remmel whose initial aim was to explore the symmetric function $Δ_{s_ν} e_n$ by the same methods developed in \cite{GHRY}. Our first need here is a method for constructing a symmetric function that may be viewed as a "combinatorial side" for the symmetric function $Δ_{s_ν} e_n$ for $t=0$. Based on what was discovered in \cite{GHRY} we conjectured such a construction mechanism. We prove here that in the case that $ν=(m-k,1^k)$ with $1\le m< n$ the equality of the two sides can be established by the same methods used in \cite{GHRY}. While this work was in progress, we learned that Rhodes and Shimozono had previously constructed also such a "combinatorial side". Very recently, Jim Haglund was able to prove that their conjecture follows from the results in \cite{GHRY}. We show here that an appropriate modification of the Haglund arguments proves that the polynomial $Δ_{s_ν}e_n$ as well as the Rhoades-Shimozono "combinatorial side" have a plethystic evaluation with hook Schur function expansion.