Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Analytic Properties of Trackable Weak Models
Published
• View Publication
• BIB
We present several new results on the feasibility of inferring the hidden states in strongly-connected trackable weak models. Here, a weak model is a directed graph in which each node is assigned a set of colors which may be emitted when that node is visited. A hypothesis is a node sequence which is consistent with a given color sequence. A weak model is said to be trackable if the worst case number of such hypotheses grows as a polynomial in the sequence length. We show that the number of hypotheses in strongly-connected trackable models is bounded by a constant and give an expression for this constant. We also consider the problem of reconstructing which branch was taken at a node with same-colored out-neighbors, and show that it is always eventually possible to identify which branch was taken if the model is strongly connected and trackable. We illustrate these properties by assigning transition probabilities and employing standard tools for analyzing Markov chains. In addition, we present new results for the entropy rates of weak models according to whether they are trackable or not. These theorems indicate that the combination of trackability and strong connectivity dramatically simplifies the task of reconstructing which nodes were visited. This work has implications for any problem which can be described in terms of an agent traversing a colored graph, such as the reconstruction of hidden states in a hidden Markov model (HMM).
A proof of Ringel's Conjecture
Published
• View Publication
• BIB
A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the decomposition of complete graphs into edge-disjoint copies of a tree. It says that any tree with $n$ edges packs $2n+1$ times into the complete graph $K_{2n+1}$. In this paper, we prove this conjecture for large $n$.
Network-Based Analysis of Public Transportation Systems in North American Cities
A comprehensive data analysis system is implemented for the extraction of information and comparison of North American public transport systems. The system is based on network representations of the transport systems and makes use of a span of metrics and algorithms from the established properties in graph theory to complicated domain specific measurements. Due to nature of big data systems and the requirement of scalability, many heuristic optimizations and approximations have been considered in the system. Integration with other sources of data specially population density maps is also executed in the system. Formal evaluations are done on subcomponents of the system to make sure the approximations have reasonable precision. Results on comparison of four cities, San Francisco, Boston, Toronto and Los Angeles, approves that the big data approach to comparison of public transit systems can successfully reveal the underlying similarities and differences.
Invariance of polymer partition functions under the geometric RSK correspondence
Published
• View Publication
• BIB
We prove that the values of discrete directed polymer partition functions involving multiple non-intersecting paths remain invariant under replacing the background weights by their images under the geometric RSK correspondence. This result is inspired by a recent and remarkable identity proved by Dauvergne, Orthmann and Virág which is recovered as the zero-temperature, semi-discrete limit of our main result.
Poset subdivisions and the mixed cd-index
The cd-index is an invariant of Eulerian posets expressed as a polynomial in noncommuting variables c and d. It determines another invariant, the h-polynomial. In this paper, we study the relative setting, that of subdivisions of posets. We introduce the mixed cd-index, an invariant of strong formal subdivisions of posets, which determines the mixed h-polynomial introduced by the second author with Stapledon. The mixed cd-index is a polynomial in noncommuting variables c',d',c,d, and e and is defined in terms of the local cd-index of Karu. Here, use is made of the decomposition theorem for the cd-index. We extend the proof of the decomposition theorem, originally due to Ehrenborg-Karu, to the class of strong formal subdivisions. We also compute the mixed cd-index in a number of examples.
Boxicity of Circulant Graph $G_k^d$
The boxicity of a graph $G$, denoted by $box(G)$, is the least positive integer $\ell$ such that $G$ can be isomorphic to the intersection graph of a family of boxes in Euclidean $\ell$-space, where box in an Euclidean $\ell$-space is the Cartesian product of $\ell$ closed intervals on the real line. Let $k$ and $d$ be two positive integers with $k\geq 2d$. The circulant graph $G_k^d$ is the graph with vertices set $V(G_k^d)=\{a_0, a_1,\ldots, a_{k-1}\}$ and edge set $E(G_k^d)=\{a_i a_j | \ d\leq |i-j|\leq k-d\}$. Denote $χ(G)$ the chromatic number of a graph $G$. In \cite{Aki} Akira Kamibeppu proved that $box(G_k^d)\leq χ(G_k^d)$ for some class of circulant graph $G_k^d$ and raised the question that the same result holds for all circulant graph. In this short note, we prove that $box(G_k^d)\leq χ(G_k^d)$, for all $k$ and $d$ with $k\geq 2d$. This include all circulant graph $G_k^d$. Our proof is very simple and short. This answer the above question.
Extremal graphs for wheels
Published
• View Publication
• BIB
For a graph $H$, the Turán number of $H$, denoted by ex$(n,H)$, is the maximum number of edges of an $n$-vertex $H$-free graph. Let $g(n,H)$ denote the maximum number of edges not contained in any monochromatic copy of $H$ in a $2$-edge-coloring of $K_n$. A wheel $W_m$ is a graph formed by connecting a single vertex to all vertices of a cycle of length $m-1$. The Turán number of $W_{2k}$ was determined by Simonovits in the 1960s. In this paper, we determine ex$(n,W_{2k+1})$ when $n$ is sufficiently large. We also show that, for sufficiently large $n$, $g(n,W_{2k+1})=\mbox{ex}(n,W_{2k+1})$ which confirms a conjecture posed by Keevash and Sudakov for odd wheels.
On optimal orientations of complete tripartite graphs
Published in Australas. J. Combin., 80, (2021), 30-47
• Search Publication
Given a connected and bridgeless graph $G$, let $\mathscr{D}(G)$ be the family of strong orientations of $G$. The orientation number of $G$ is defined to be $\bar{d}(G):=min\{d(D)|D\in \mathscr{D}(G)\}$, where $d(D)$ is the diameter of the digraph $D$. In this paper, we focus on the orientation number of complete tripartite graphs. We prove a conjecture raised by Rajasekaran and Sampathkumar. Specifically, for $q\ge p\ge 3$, if $\bar{d}(K(2,p,q))=2$, then $q\le{{p}\choose{\lfloor{p/2}\rfloor}}$. We also present some sufficient conditions on $p$ and $q$ for $\bar{d}(K(p,p,q))=2$.
On Cross-intersecting Sperner Families
Two sets $\mathscr{A}$ and $\mathscr{B}$ are said to be cross-intersecting if $X\cap Y\neq\emptyset$ for all $X\in\mathscr{A}$ and $Y\in\mathscr{B}$. Given two cross-intersecting Sperner families (or antichains) $\mathscr{A}$ and $\mathscr{B}$ of $\mathbb{N}_n$, we prove that $|\mathscr{A}|+|\mathscr{B}|\le 2{{n}\choose{\lceil{n/2}\rceil}}$ if $n$ is odd, and $|\mathscr{A}|+|\mathscr{B}|\le {{n}\choose{n/2}}+{{n}\choose{(n/2)+1}}$ if $n$ is even. Furthermore, all extremal and almost-extremal families for $\mathscr{A}$ and $\mathscr{B}$ are determined.
On linearization coefficients of $q$-Laguerre polynomials
Published in Electron. J. Comb. 27, 2 (2020)
• View Publication
• BIB
The linearization coefficient $\mathcal{L}(L_{n_1}(x)\dots L_{n_k}(x))$ of classical Laguerre polynomials $L_n(x)$ is known to be equal to the number of $(n_1,\dots,n_k)$-derangements, which are permutations with a certain condition. Kasraoui, Stanton and Zeng found a $q$-analog of this result using $q$-Laguerre polynomials with two parameters $q$ and $y$. Their formula expresses the linearization coefficient of $q$-Laguerre polynomials as the generating function for $(n_1,\dots,n_k)$-derangements with two statistics counting weak excedances and crossings. In this paper their result is proved by constructing a sign-reversing involution on marked perfect matchings.
Random Uniform and Pure Random Simplicial Complexes
In this paper we introduce a method which allows us to study properties of the random uniform simplicial complex. That is, we assign equal probability to all simplicial complexes with a given number of vertices and then consider properties of a complex under this measure. We are able to determine or present bounds for a number of topological and combinatorial properties. We also study the random pure simplicial complex of dimension $d$, generated by letting any subset of size $d+1$ of a set of $n$ vertices be a facet with probability $p$ and considering the simplicial complex generated by these facets. We compare the behaviour of these models for suitable values of $d$ and $p$.
Finally we use the equivalence between simplicial complexes and monotone boolean functions to study the behaviour of typical such functions. Specifically we prove that most monotone boolean functions are evasive, hence proving that the well known Evasiveness conjecture is generically true for monotone boolean functions without symmetry assumptions.
Regular graphs with equal matching number and independence number
Published
• View Publication
• BIB
Let $r\geq 3$ be an integer and $G$ be a graph. Let $δ(G), Δ(G)$, $α(G)$ and $μ(G)$ denotes minimum degree, maximum degree, independence number and matching number of $G$, respectively. Recently, Caro, Davila and Pepper proved $δ(G)α(G)\leq Δ(G)μ(G)$. Mohr and Rautenbach characterized the extremal graphs for non-regular graphs and 3-regular graphs. In this note, we characterize the extremal graphs for all $r$-regular graphs in term of Gallai-Edmonds Structure Theorem, which extends Mohr and Rautenbach's result.
Hardness results for three kinds of colored connections of graphs
Published
• View Publication
• BIB
The concept of rainbow connection number of a graph was introduced by Chartrand et al. in 2008. Inspired by this concept, other concepts on colored version of connectivity in graphs were introduced, such as the monochromatic connection number by Caro and Yuster in 2011, the proper connection number by Borozan et al. in 2012, and the conflict-free connection number by Czap et al. in 2018, as well as some other variants of connection numbers later on. Chakraborty et al. proved that to compute the rainbow connection number of a graph is NP-hard. For a long time, it has been tried to fix the computational complexity for the monochromatic connection number, the proper connection number and the conflict-free connection number of a graph. However, it has not been solved yet. Only the complexity results for the strong version, i.e., the strong proper connection number and the strong conflict-free connection number, of these connection numbers were determined to be NP-hard. In this paper, we prove that to compute each of the monochromatic connection number, the proper connection number and the conflict free connection number for a graph is NP-hard. This solves a long standing problem in this field, asked in many talks of workshops and papers.
The Langberg-Médard Multiple Unicast Conjecture: Stable $3$-Pair Networks
Published
• View Publication
• BIB
The Langberg-Médard multiple unicast conjecture claims that for a strongly reachable $k$-pair network, there exists a multi-flow with rate $(1,1,\dots,1)$. In this paper, we show that the conjecture holds true for {\em stable} $3$-pair networks.
Mutually Unbiased Equiangular Tight Frames
Published
• View Publication
• BIB
An equiangular tight frame (ETF) yields a type of optimal packing of lines in a Euclidean space. ETFs seem to be rare, and all known infinite families of them arise from some type of combinatorial design. In this paper, we introduce a new method for constructing ETFs. We begin by showing that it is sometimes possible to construct multiple ETFs for the same space that are "mutually unbiased" in a way that is analogous to the quantum-information-theoretic concept of mutually unbiased bases. We then show that taking certain tensor products of these mutually unbiased ETFs with other ETFs sometimes yields infinite families of new complex ETFs.
Counting walks by their last erased self-avoiding polygons using sieves
Published in Discrete Mathematics Volume 344, Issue 4, April 2021, 112305
• View Publication
• BIB
Let $G$ be an infinite, vertex-transitive lattice with degree $λ$ and fix a vertex on it. Consider all cycles of length exactly $l$ from this vertex to itself on $G$. Erasing loops chronologically from these cycles, what is the fraction $F_p/λ^{\ell(p)}$ of cycles of length $l$ whose last erased loop is some chosen self-avoiding polygon $p$ of length $\ell(p)$, when $l\to\infty$ ? We use combinatorial sieves to prove an exact formula for $F_p/λ^{\ell(p)}$ that we evaluate explicitly. We further prove that for all self-avoiding polygons $p$, $F_p\in\mathbb{Q}[χ]$ with $χ$ an irrational number depending on the lattice, e.g. $χ=1/π$ on the infinite square lattice. In stark contrast we current methods, we proceed via purely deterministic arguments relying on Viennot's theory of heaps of pieces seen as a semi-commutative extension of number theory. Our approach also sheds light on the origin of the difference between exponents stemming from loop-erased walk and self-avoiding polygon models, and suggests a natural route to bridge the gap between both.
Rainbow matchings in $k$-partite hypergraphs
Published
• View Publication
• BIB
In this paper, we prove a conjecture of Aharoni and Howard on the existence of rainbow (transversal) matchings in sufficiently large families $\mathcal F_1,\ldots, \mathcal F_s$ of tuples in $\{1,\ldots, n\}^k$, provided $s\ge 470.$
Transition Property for $α$-Power Free Languages with $α\geq 2$ and $k\geq 3$ Letters
Published
• View Publication
• BIB
In 1985, Restivo and Salemi presented a list of five problems concerning power free languages. Problem $4$ states: Given $α$-power-free words $u$ and $v$, decide whether there is a transition from $u$ to $v$. Problem $5$ states: Given $α$-power-free words $u$ and $v$, find a transition word $w$, if it exists.
Let $Σ_k$ denote an alphabet with $k$ letters. Let $L_{k,α}$ denote the $α$-power free language over the alphabet $Σ_k$, where $α$ is a rational number or a rational "number with $+$". If $α$ is a "number with $+$" then suppose $k\geq 3$ and $α\geq 2$. If $α$ is "only" a number then suppose $k=3$ and $α>2$ or $k>3$ and $α\geq 2$. We show that: If $u\in L_{k,α}$ is a right extendable word in $L_{k,α}$ and $v\in L_{k,α}$ is a left extendable word in $L_{k,α}$ then there is a (transition) word $w$ such that $uwv\in L_{k,α}$. We also show a construction of the word $w$.
On the general position number of complementary prisms
The general position number ${\rm gp}(G)$ of a graph $G$ is the cardinality of a largest set of vertices $S$ such that no element of $S$ lies on a geodesic between two other elements of $S$. The complementary prism $G\overline{G}$ of $G$ is the graph formed from the disjoint union of $G$ and its complement $\overline{G}$ by adding the edges of a perfect matching between them. It is proved that ${\rm gp}(G\overline{G})\le n(G) + 1$ if $G$ is connected and ${\rm gp}(G\overline{G})\le n(G)$ if $G$ is disconnected. Graphs $G$ for which ${\rm gp}(G\overline{G}) = n(G) + 1$ holds, provided that both $G$ and $\overline{G}$ are connected, are characterized. A sharp lower bound on ${\rm gp}(G\overline{G})$ is proved. If $G$ is a connected bipartite graph or a split graph then ${\rm gp}(G\overline{G})\in \{n(G), n(G)+1\}$. Connected bipartite graphs and block graphs for which ${\rm gp}(G\overline{G})=n(G)+1$ holds are characterized. A family of block graphs is constructed in which the ${\rm gp}$-number of their complementary prisms is arbitrary smaller than their order.
A proof that a word of length n has less than 1.5n distinct squares
We are interested in the maximal number of distinct squares in a word. This problem was introduced by Fraenkel and Simpson, who presented a bound of 2n for a word of length n, and conjectured that the bound was less than n. Being that the problem is on repetitions, their solution relies on Fine and Wilf's Periodicity lemma. Ilie then refined their result and presented a bound of 2n-O(log n). Lam used an induction to get a bound of 95n/48. Deza, Franek and Thierry achieved a bound of 11n/6 through a combinatorial approach. Using the properties of the core of the interrupt, presented by Thierry, we refined here the combinatorial structures exhibited by Deza, Franek and Thierry to offer a bound of 3n/2.