Showing 20 papers (Total: 83076 papers, 47999 authors in database)
On enumerators of Smirnov words by descents and cyclic descents
A Smirnov word is a word over the positive integers in which adjacent letters must be different. A symmetric function enumerating these words by descent number arose in the work of Shareshian and the second named author on $q$-Eulerian polynomials, where a $t$-analog of a formula of Carlitz, Scoville, and Vaughan for enumerating Smirnov words is proved. A symmetric function enumerating a circular version of these words by cyclic descent number arose in the work of the first named author on chromatic quasisymmetric functions of directed graphs, where a $t$-analog of a formula of Stanley for enumerating circular Smirnov words is proved.
In this paper we obtain new $t$-analogs of the Carlitz-Scoville-Vaughan formula and the Stanley formula in which the roles of descent number and cyclic descent number are switched. These formulas show that the Smirnov word enumerators are polynomials in $t$ whose coefficients are e-positive symmetric functions. We also obtain expansions in the power sum basis and the fundamental quasisymmetric function basis, complementing earlier results of Shareshian and the authors.
Our work relies on studying refinements of the Smirnov word enumerators that count certain restricted classes of Smirnov words by descent number. Applications to variations of $q$-Eulerian polynomials and to the chromatic quasisymmetric functions introduced by Shareshian and the second named author are also presented.
Independent sets in the discrete hypercube
In this expository note we describe a proof due to A. Sapozhenko that the number of independent sets in the discrete $d$-dimensional hypercube $Q_d$ is asymptotically $2 \sqrt{e} 2^{2^{d-1}}$ as $d$ tends to infinity.
Connected-Intersecting Families of Graphs
For a graph property $\mathcal{P}$ and a common vertex set $V = \{1, 2, \ldots, n\}$, a family of graphs on $V$ is \emph{$\mathcal{P}$-intersecting} iff $G \cap H$ satisfies $\mathcal{P}$ for all $G,H$ in the family. Addressing a question of Chung, Graham, Frankl, and Shearer, we explore---for various $\mathcal{P}$---the maximum cardinality among all $\mathcal{P}$-intersecting families of graphs. In the connected-intersecting case, we resolve the question completely by a short linear algebraic proof showing this maximum is attained by taking all graphs containing a fixed spanning tree (though we show other extremal constructions as well). We also present a new lower bound for containing unions of a fixed subgraph.
A Homotopy Category for Graphs
We show that the category of graphs has the structure of a 2-category with homotopy as the 2-cells. We then develop an explicit description of homotopies for finite graphs, in terms of what we call `spider moves'. We then create a category by modding out by the 2-cells of our 2-category, and use the spider moves to show that for finite graphs, this category is a homotopy category in the sense that it satisfies the universal property for localizing homotopy equivalences. We then show that finite stiff graphs form a skeleton of this homotopy category.
A Non-Linear Roth Theorem for Sets of Positive Density
Suppose that $A \subset \mathbb{R}$ has positive upper density, \[ \limsup_{|I| \to \infty} \frac{|A \cap I|}{|I|} = δ> 0,\] and $P(t) \in \mathbb{R}[t]$ is a polynomial with no constant or linear term, or more generally a non-flat curve: a locally differentiable curve which doesn't "resemble a line" near $0$ or $\infty$. Then for any $R_0 \leq R$ sufficiently large, there exists some $x_R \in A$ so that \[ \inf_{R_0 \leq T \leq R} \frac{|\{ 0 \leq t < T : x_R - t \in A, \ x_R - P(t) \in A \}|}{T} \geq c_P \cdot δ^2 \] for some absolute constant $c_P > 0$, that depends only on $P$.
Monochromatic disconnection of graphs
For an edge-colored graph $G$, we call an edge-cut $M$ of $G$ monochromatic if the edges of $M$ are colored with a same color. The graph $G$ is called monochromatically disconnected if any two distinct vertices of $G$ are separated by a monochromatic edge-cut. For a connected graph $G$, the monochromatic disconnection number, denoted by $md(G)$, of $G$ is the maximum number of colors that are needed in order to make $G$ monochromatically disconnected. We will show that almost all graphs have monochromatic disconnection numbers equal to 1. We also obtain the Nordhaus-Gaddum-type results for $md(G)$.
Antichain Simplices
To each lattice simplex $Δ$ we associate a poset encoding the additive structure of lattice points in the fundamental parallelepiped for $Δ$. When this poset is an antichain, we say $Δ$ is antichain. To each partition $λ$ of $n$, we associate a lattice simplex $Δ_λ$ having one unimodular facet, and we investigate their associated posets. We give a number-theoretic characterization of the relations in these posets, as well as a simplified characterization in the case where each part of $λ$ is relatively prime to $n-1$. We use these characterizations to experimentally study $Δ_λ$ for all partitions of $n$ with $n\leq 73$. We also investigate the structure of these posets when $λ$ has only one or two distinct parts. Finally, we explain how this work relates to Poincaré series for the semigroup algebra associated to $Δ$, and we prove that this series is rational when $Δ$ is antichain.
Diagonal Ramsey numbers in multipartite graphs related to stars
Let the star on $n$ vertices, namely $K_{1,n-1}$ be denoted by $S_n$. If every two coloring of the edges of a complete balanced multipartite graph $K_{j \times s}$ there is a copy of $S_n$ in the first color or a copy of $S_m$ in the second color, then we will say $K_{j \times s}\rightarrow (S_n,S_m)$. The size Ramsey multipartite number $m_j(S_n, S_m)$ is the smallest natural number $s$ such that $K_{j \times s}\rightarrow (S_n,S_m)$. In this paper, we obtain the exact values of the size Ramsey numbers $m_j(S_n,S_m)$ for $n,m \ge 3$ and $j \ge 3$.
A Model for Random Chain Complexes
We introduce a model for random chain complexes over a finite field. The randomness in our complex comes from choosing the entries in the matrices that represent the boundary maps uniformly over $\mathbb{F}_q$, conditioned on ensuring that the composition of consecutive boundary maps is the zero map. We then investigate the combinatorial and homological properties of this random chain complex.
On the Universality and Extremality of graphs with a distance constrained colouring
A lambda colouring (or $L(2,1)-$colouring) of a graph is an assignment of non-negative integers (with minimum assignment $0$) to its vertices such that the adjacent vertices must receive integers at least two apart and vertices at distance two must receive distinct integers. The lambda chromatic number (or the $λ$ number) of a graph $G$ is the least positive integer among all the maximum assigned positive integer over all possible lambda colouring of the graph $G$. Here we have primarily shown that every graph with lambda chromatic number $t$ can be embedded in a graph, with lambda chromatic number $t$, which admits a partition of the vertex set into colour classes of equal size. It is further proved that if an $n-$vertex graph with lambda chromatic number $t\geq5$, where $n\geq t+1$, contains maximum number of edges, then the vertex set of such graph admits an equitable partition. For such an admitted equitable partition there are either $0$ or $\min\{|A|,|B|\}$ number of edges between each pair $(A,B)$ of subsets (i.e. roughly, such partition is a "sparse like" equitable partition). Here we establish a classification result, identifying all possible $n-$vertex graphs with lambda chromatic number $t\geq3$, where $n\geq t+1$, which contain maximum number of edges. Such classification provides a solution of a problem posed more than two decades ago by John P. Georges and David W. Mauro.
Orthogonal graphs modulo power of 2
In this work, we define an orthogonal graph on the set of equivalence classes of $(2ν+ δ)-$tuples over $\mathbb{Z}_{2^n}$ where $n$ and $ν$ are positive integers and $δ= 0, 1$ or $2$. We classify our graph if it is strongly regular or quasi-strongly regular and compute all parameters precisely. We show that our graph is arc transitive. The automorphisms group is given and the chromatic number of the graph except when $δ= 0$ and $ν$ is odd is determined. Moreover, we work on subconstituents of this orthogonal graph.
Efficient and Explicit Balanced Primer Codes
To equip DNA-based data storage with random-access capabilities, Yazdi et al. (2018) prepended DNA strands with specially chosen address sequences called primers and provided certain design criteria for these primers. We provide explicit constructions of error-correcting codes that are suitable as primer addresses and equip these constructions with efficient encoding algorithms.
Specifically, our constructions take cyclic or linear codes as inputs and produce sets of primers with similar error-correcting capabilities. Using certain classes of BCH codes, we obtain infinite families of primer sets of length $n$, minimum distance $d$ with $(d + 1) \log_4 n + O(1)$ redundant symbols. Our techniques involve reversible cyclic codes (1964), an encoding method of Tavares et al. (1971) and Knuth's balancing technique (1986). In our investigation, we also construct efficient and explicit binary balanced error-correcting codes and codes for DNA computing.
A unified construction of semiring-homomorphic graph invariants
Published in J. Algebraic Combin. 54 (3), 693-718 (2021)
• View Publication
• BIB
It has recently been observed by Zuiddam that finite graphs form a preordered commutative semiring under the graph homomorphism preorder together with join and disjunctive product as addition and multiplication, respectively. This led to a new characterization of the Shannon capacity $Θ$ via Strassen's Positivstellensatz: $Θ(\bar{G}) = \inf_f f(G)$, where $f : \mathsf{Graph} \to \mathbb{R}_+$ ranges over all monotone semiring homomorphisms.
Constructing and classifying graph invariants $\mathsf{Graph} \to \mathbb{R}_+$ which are monotone under graph homomorphisms, additive under join, and multiplicative under disjunctive product is therefore of major interest. We call such invariants semiring-homomorphic. The only known such invariants are all of a fractional nature: the fractional chromatic number, the projective rank, the fractional Haemers bounds, as well as the Lovász number (with the latter two evaluated on the complementary graph). Here, we provide a unified construction of these invariants based on linear-like semiring families of graphs. Along the way, we also investigate the additional algebraic structure on the semiring of graphs corresponding to fractionalization.
Linear-like semiring families of graphs are a new concept of combinatorial geometry different from matroids which may be of independent interest.
A study on some combinatorial sets in partial semigroups
In this article, we investigate the image and preimage of the important combinatorial sets such as central sets, $C$-sets, and $J_δ$-sets which play an important role in the study of combinatorics under certain partial semigroup homomorphism. Using that we prove certain results which deal with the existence of $C$-set which are not central in partial semigroup framework.
Ill-distributed sets over global fields and exceptional sets in Diophantine Geometry
Published in Acta Arithmetica 199 (2021), 361-382
• View Publication
• BIB
Let $K\subseteq \mathbb{R}$ be a number field. Using techniques of discrete analysis, we prove that for definable sets $X$ in $\mathbb{R}_{\exp}$ of dimension at most $2$ a conjecture of Wilkie about the density of rational points is equivalent to the fact that $X$ is badly distributed at the level of residue classes for many primes of $K$. This provides a new strategy to prove this conjecture of Wilkie. In order to prove this result, we are lead to study an inverse problem as in the works \cite{Walsh2, Walsh}, but in the context of number fields, or more generally global fields. Specifically, we prove that if $K$ is a global field, then every subset $S\subseteq \mathbb{P}^{n}(K)$ consisting of rational points of projective height bounded by $N$, occupying few residue classes modulo $\mathfrak{p}$ for many primes $\mathfrak{p}$ of $K$, must essentially lie in the solution set of a polynomial equation of degree $\ll (\log(N))^{C}$, for some constant $C$.
A relative bound for independence
Published in Discrete Mathematics 342 (2019), no. 12, 111607, 8pp
• View Publication
• BIB
We prove an upper bound for the independence number of a graph in terms of the largest Laplacian eigenvalue, and of a certain induced subgraph. Our bound is a refinement of a well-known Hoffman-type bound.
A modified greedy algorithm to improve bounds for the vertex cover number
In any attempt at designing an efficient algorithm for the minimum vertex cover problem, obtaining good upper and lower bounds for the vertex cover number could be crucial. In this article we present a modified greedy algorithm of worst-case time complexity O(n3) to obtain bounds for the vertex cover number of an input graph of order n. Using simple facts, the proposed algorithm computes a lower bound for the vertex cover number. Then using this lower bound it outputs a minimal vertex cover and hence gives an upper bound. The algorithm ensures the output vertex cover is always minimal, which feature is an improvement upon the existing greedy algorithms.
Non-bipartite distance-regular graphs with a small smallest eigenvalue
In 2017, Qiao and Koolen showed that for any fixed integer $D\geq 3$, there are only finitely many such graphs with $θ_{\min}\leq -αk$, where $0<α<1$ is any fixed number. In this paper, we will study non-bipartite distance-regular graphs with relatively small $θ_{\min}$ compared with $k$. In particular, we will show that if $θ_{\min}$ is relatively close to $-k$, then the odd girth $g$ must be large. Also we will classify the non-bipartite distance-regular graphs with $θ_{\min} \leq \frac{D-1}{D}$ for $D =4,5$.
On Decomposition of Solutions for Coalitional Games
A solution concept on a class of transferable utility coalitional games is a multifunction satisfying given criteria of economic rationality. Every solution associates a set of payoff allocations with a coalitional game. This general definition specializes to a number of well-known concepts such as the core, Shapley value, nucleolus etc. In this note it is shown that in many cases a solution factors through a set of games whose members can be viewed as elementary building blocks for the solution. Two factoring maps have a very simply structure. The first decomposes a game into its elementary components and the second one combines the output of the first map into the respective solution outcome. The decomposition is then studied mainly for certain polyhedral cones of zero-normalized games.
Directed Plateau Polyhypercubes
In this paper, we study a particular family of polyhypercubes in dimension $d\geq 3$, the directed plateau polyhypercubes, according to to the width and a new parameter the lateral area. We give an explicit formula and we also propose an expression of the generating function in this case.