Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Combinatorial Ricci curvature on cell-complex and Gauss-Bonnnet Theorem
Published
• View Publication
• BIB
In this paper we present the Ricci curvature on cell-complexes and show the Gauss-Bonnnet type theorem on graphs and 2-complex that decomposes closed surface. The defferential forms on a cell complex is defined as linear maps on chain complex, and Laplacian operates this defferential forms. Then we construct the Bochner-Weitzenböck formula and define the Ricci curvature. This curvature is determined by the combinatorial calculation. We show also the properties of combinatorial vector fields on a cell complex
A bijective proof of the hook-length formula for skew shapes
Published
• View Publication
• BIB
Recently, Naruse presented a beautiful cancellation-free hook-length formula for skew shapes. The formula involves a sum over objects called excited diagrams, and the term corresponding to each excited diagram has hook lengths in the denominator, like the classical hook-length formula due to Frame, Robinson and Thrall. In this paper, we present a simple bijection that proves an equivalent recursive version of Naruse's result, in the same way that the celebrated hook-walk proof due to Green, Nijenhuis and Wilf gives a bijective (or probabilistic) proof of the hook-length formula for ordinary shapes. In particular, we also give a new bijective proof of the classical hook-length formula, quite different from the known proofs.
Moments of the Hermitian Matrix Jacobi process
Published
• View Publication
• BIB
In this paper, we compute the expectation of traces of powers of the hermitian matrix Jacobi process for a large enough but fixed size. To proceed, we first derive the semi-group density of its eigenvalues process as a bilinear series of symmetric Jacobi polynomials. Next, we use the expansion of power sums in the Schur polynomial basis and the integral Cauchy-Binet formula in order to determine the partitions having non zero contributions after integration. It turns out that these are hooks of bounded weight and the sought expectation results from the integral of a product of two Schur functions with respect to a generalized Beta distribution. For special values of the parameters on which the matrix Jacobi process depends, the last integral reduces to the Cauchy determinant and we close the paper with the investigation of the asymptotic behavior of the resulting formula as the matrix size tends to infinity.
Constant Threshold Intersection Graphs of Orthodox Paths in Trees
Published
• View Publication
• BIB
A graph $G$ belongs to the class ${\rm ORTH}[h,s,t]$ for integers $h$, $s$, and $t$ if there is a pair $(T,{\cal S})$, where $T$ is a tree of maximum degree at most $h$, and ${\cal S}$ is a collection $(S_u)_{u\in V(G)}$ of subtrees $S_u$ of maximum degree at most $s$ of $T$, one for each vertex $u$ of $G$, such that, for every vertex $u$ of $G$, all leaves of $S_u$ are also leaves of $T$, and, for every two distinct vertices $u$ and $v$ of $G$, the following three properties are equivalent:
(i) $u$ and $v$ are adjacent.
(ii) $S_u$ and $S_v$ have at least $t$ vertices in common.
(iii) $S_u$ and $S_v$ share a leaf of $T$.
The class ${\rm ORTH}[h,s,t]$ was introduced by Jamison and Mulder.
Here we focus on the case $s=2$, which is closely related to the well-known VPT and EPT graphs. We collect general properties of the graphs in ${\rm ORTH}[h,2,t]$, and provide a characterization in terms of tree layouts. Answering a question posed by Golumbic, Lipshteyn, and Stern, we show that ${\rm ORTH}[h+1,2,t]\setminus {\rm ORTH}[h,2,t]$ is non-empty for every $h\geq 3$ and $t\geq 3$. We derive decomposition properties, which lead to efficient recognition algorithms for the graphs in ${\rm ORTH}[h,2,2]$ for every $h\geq 3$. Finally, we give a complete description of the graphs in ${\rm ORTH}[3,2,2]$, and show that the graphs in ${\rm ORTH}[3,2,3]$ are line graphs of planar graphs.
Partitions of multigraphs under degree constraints
Published
• View Publication
• BIB
In 1996, Michael Stiebitz proved that if $G$ is a simple graph with $δ(G)\geq s+t+1$ and $s,t\in \mathbb{Z}_{\geq 0}$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. In 2016, Amir Ban proved a similar result for weighted graphs. Let $G$ be a simple graph with at least two vertices, let $w:E(G) \to \mathbb{r}_{>0}$ be a weight function, let $s,t \in \mathbb{R}_{\geq 0}$, and let $W=\max_{e\in E(G)} w(e)$. If $δ(G)\geq s+t+2W$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. This motivated us to consider this partition problem for multigraphs, or equivalently for weighted graphs $(G,w)$ with $w:E(G) \to \mathbb{Z}_{\geq 1}$. We prove that if $s,t\in \mathbb{z}_{\geq 0}$ and $δ(G)\geq s+t+2W-1\geq 1$, then $V(G)$ can be partitioned into two sets $A$ and $B$ such that $δ(G[A])\geq s$ and $δ(G[B])\geq t$. We also prove a variable version of this result and show that for $K_4^-$-free graphs, the bound on the minimum degree can be decreased.
Digraphs with at most one trivial critical ideal
Published
• View Publication
• BIB
Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.
A finite simple group is CCA if and only if it has no element of order four
Published
• View Publication
• BIB
A Cayley graph for a group $G$ is CCA if every automorphism of the graph that preserves the edge-orbits under the regular representation of $G$ is an element of the normaliser of $G$. A group $G$ is then said to be CCA if every connected Cayley graph on $G$ is CCA. We show that a finite simple group is CCA if and only if it has no element of order 4. We also show that "many" 2-groups are non-CCA.
Polynomial expressions of $p$-ary auction functions
Published
• View Publication
• BIB
Let $\mathbb{F}_p$ be the finite field of prime order $p$. For any function $f \colon \mathbb{F}_p{}^n \to \mathbb{F}_p$, there exists a unique polynomial over $\mathbb{F}_p$ having degree at most $p-1$ with respect to each variable which coincides with $f$. We call it the minimal polynomial of $f$. It is in general a non-trivial task to find a concrete expression of the minimal polynomial of a given function, which has only been worked out for limited classes of functions in the literature. In this paper, we study minimal polynomial expressions of several functions that are closely related to some practically important procedures such as auction and voting.
Synchronizing non-deterministic finite automata
In this paper, we show that every D3-directing CNFA can be mapped uniquely to a DFA with the same synchronizing word length. This implies that Černý's conjecture generalizes to CNFAs and that the general upper bound for the length of a shortest D3-directing word is equal to the Pin-Frankl bound for DFAs. As a second consequence, for several classes of CNFAs sharper bounds are established. Finally, our results allow us to detect all critical CNFAs on at most 6 states. It turns out that only very few critical CNFAs exist.
A proof of the Erdős-Sands-Sauer-Woodrow conjecture
Published
• View Publication
• BIB
A very nice result of Bárány and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gyárfás and Pálvőlgyi this result would follow from the following conjecture : If a tournament admits a partition of its arc set into $k$ quasi orders, then its domination number is bounded in terms of $k$. This question is in turn implied by the Erdős-Sands-Sauer-Woodrow conjecture : If the arcs of a tournament $T$ are colored with $k$ colors, there is a set $X$ of at most $g(k)$ vertices such that for every vertex $v$ of $T$, there is a monochromatic path from $X$ to $v$. We give a short proof of this statement. We moreover show that the general Sands-Sauer-Woodrow conjecture (which as a special case implies the stable marriage theorem) is valid for directed graphs with bounded stability number. This conjecture remains however open.
Forcing clique immersions through chromatic number
Published
• View Publication
• BIB
Building on recent work of Dvořák and Yepremyan, we show that every simple graph of minimum degree $7t+7$ contains $K_t$ as an immersion and that every graph with chromatic number at least $3.54t + 4$ contains $K_t$ as an immersion. We also show that every graph on $n$ vertices with no stable set of size three contains $K_{2\lfloor n/5 \rfloor}$ as an immersion.
GUE corners limit of q-distributed lozenge tilings
Published
• View Publication
• BIB
We study asymptotics of $q$-distributed random lozenge tilings of sawtooth domains (equivalently, of random interlacing integer arrays with fixed top row). Under the distribution we consider each tiling is weighted proportionally to $q^{\mathsf{vol}}$, where $\mathsf{vol}$ is the volume under the corresponding 3D stepped surface. We prove the following Interlacing Central Limit Theorem: as $q\rightarrow1$, the domain gets large, and the fixed top row approximates a given nonrandom profile, the vertical lozenges are distributed as the eigenvalues of a GUE random matrix and of its successive principal corners. Our results extend the GUE corners asymptotics for tilings of bounded polygonal domains previously known in the uniform (i.e., $q=1$) case. Even though $q$ goes to $1$, the presence of the $q$-weighting affects non-universal constants in our Central Limit Theorem.
Enumeration of artitions with prescribed successive rank parity blocks
Published
• View Publication
• BIB
Successive ranks of a partition, which were introduced by Atkin, are the difference of the $i$th row and the $i$th column in the Ferrers graph. Recently, in the study of singular overpartitions, Andrews revisited successive ranks and parity blocks. Motivated by his work, we investigate partitions with prescribed successive rank parity blocks. The main result of this paper is the generating function of partitions with exactly $d$ successive ranks and $m$ parity blocks.
Cayley graphs and symmetric interconnection networks
These lecture notes are on automorphism groups of Cayley graphs and their applications to optimal fault-tolerance of some interconnection networks. We first give an introduction to automorphisms of graphs and an introduction to Cayley graphs. We then discuss automorphism groups of Cayley graphs. We prove that the vertex-connectivity of edge-transitive graphs is maximum possible. We investigate the automorphism group and vertex-connectivity of some families of Cayley graphs that have been considered for interconnection networks; we focus on the hypercubes, folded hypercubes, Cayley graphs generated by transpositions, and Cayley graphs from linear codes. New questions and open problems are also discussed.
Perturbed divisible sandpiles and quadrature surfaces
Published
• View Publication
• BIB
The main purpose of the present paper is to establish a link between quadrature surfaces (potential theoretic concept) and sandpile dynamics (Laplacian growth models). For this aim, we introduce a new model of Laplacian growth on the lattice $\mathbb{Z}^d$ $(d\geq 2)$ which continuously deforms occupied regions of the \emph{divisible sandpile} model of Levine and Peres, by redistributing the total mass of the system onto $\frac 1m$-sub-level sets of the odometer which is a function counting total emissions of mass from lattice vertices. In free boundary terminology this goes in parallel with singular perturbation, which is known to converge to a Bernoulli type free boundary.
We prove that models, generated from a single source, have a scaling limit, if the threshold $m$ is fixed. Moreover, this limit is a ball, and the entire mass of the system is being redistributed onto an annular ring of thickness $\frac 1m$. By compactness argument we show that, when $m$ tends to infinity sufficiently slowly with respect to the scale of the model, then in this case also there is scaling limit which is a ball, with the mass of the system being uniformly distributed onto the boundary of that ball, and hence we recover a quadrature surface in this case.
Depending on the speed of decay of $m$, the visited set of the sandpile interpolates between spherical and polygonal shapes. Finding a precise characterisation of this shape-transition phenomenon seems to be a considerable challenge, which we cannot address at this moment.
On $g$-good-neighbor conditional diagnosability of $(n, k)$-star networks
Published
• View Publication
• BIB
The $g$-good-neighbor conditional diagnosability is a new measure for fault diagnosis of systems. Xu et al. [Theor. Comput. Sci. 659 (2017) 53--63] determined the $g$-good-neighbor conditional diagnosability of $(n, k)$-star networks $S_{n, k}$ (i.e., $t_g(S_{n, k})$) with $1\leq k\leq n-1$ for $1\leq g\leq n-k$ under the PMC model and the MM$^*$ model. In this paper, we determine $t_g(S_{n, k})$ for all the remaining cases with $1\leq k\leq n-1$ for $1\leq g\leq n-1$ under the two models, from which we can obtain the $g$-good-neighbor conditional diagnosability of the star graph obtained by Li et al. [to appear in Theor. Comput. Sci.] for $1\leq g\leq n-2$.
DFAs and PFAs with Long Shortest Synchronizing Word Length
Published
• View Publication
• BIB
It was conjectured by Černý in 1964, that a synchronizing DFA on $n$ states always has a shortest synchronizing word of length at most $(n-1)^2$, and he gave a sequence of DFAs for which this bound is reached. Until now a full analysis of all DFAs reaching this bound was only given for $n \leq 4$, and with bounds on the number of symbols for $n \leq 10$. Here we give the full analysis for $n \leq 6$, without bounds on the number of symbols.
For PFAs the bound is much higher. For $n \leq 6$ we do a similar analysis as for DFAs and find the maximal shortest synchronizing word lengths, exceeding $(n-1)^2$ for $n =4,5,6$. For arbitrary n we give a construction of a PFA on three symbols with exponential shortest synchronizing word length, giving significantly better bounds than earlier exponential constructions. We give a transformation of this PFA to a PFA on two symbols keeping exponential shortest synchronizing word length, yielding a better bound than applying a similar known transformation.
The Tropical Superpotential For $\mathbb{P}^2$
Published
• View Publication
• BIB
We present an extended worked example of the computation of the tropical superpotential considered by Carl--Pumperla--Siebert. In particular we consider an affine manifold associated to the complement of a non-singular genus one plane curve, and calculate the wall and chamber decomposition determined by the Gross--Siebert algorithm. Using the results of Carl--Pumperla--Siebert we determine the tropical superpotential, via broken line counts, in every chamber of this decomposition. The superpotential defines a Laurent polynomial in every chamber, which we demonstrate to be identical to the Laurent polynomials predicted by Coates--Corti--Galkin--Golyshev--Kaspzryk to be mirror to $\mathbb{P}^2$.
Subhypergraphs in non-uniform random hypergraphs
Published
• View Publication
• BIB
In this paper we focus on the problem of finding (small) subhypergraphs in a (large) hypergraph. We use this problem to illustrate that reducing hypergraph problems to graph problems by working with the 2-section is not always a reasonable approach. We begin by defining a generalization of the binomial random graph model to hypergraphs and formalizing several definitions of subhypergraph. The bulk of the paper focusses on determining the expected existence of these types of subhypergraph in random hypergraphs. We also touch on the problem of determining whether a given subgraph appearing in the 2-section is likely to have been induced by a certain subhypergraph in the hypergraph. To evaluate the model in relation to real-world data, we compare model prediction to two datasets with respect to (1) the existence of certain small subhypergraphs, and (2) a clustering coefficient.
Zero Range Process and Multi-Dimensional Random Walks
Published in SIGMA 13 (2017), 056, 14 pages
• View Publication
• BIB
The special limit of the totally asymmetric zero range process of the low-dimensional non-equilibrium statistical mechanics described by the non-Hermitian Hamiltonian is considered. The calculation of the conditional probabilities of the model are based on the algebraic Bethe ansatz approach. We demonstrate that the conditional probabilities may be considered as the generating functions of the random multi-dimensional lattice walks bounded by a hyperplane. This type of walks we call the walks over the multi-dimensional simplicial lattices. The answers for the conditional probability and for the number of random walks in the multi-dimensional simplicial lattice are expressed through the symmetric functions.