Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Schur ring and Codes for $S$-subgroups over $\Z_{2}^{n}$
In this paper the relationship between $S$-subgroups in $\Z_{2}^{n}$ and binary codes is shown. If the codes used are both $P(T)$-codes and $G$-codes, then the $S$-subgroup is free. The codes constructed are cyclic, decimated or symmetric and the $S$-subgroups obtained are free under the action the cyclic permutation subgroup, invariants under the action the decimated permutation subgroup and symmetric under the action of symmetric permutation subgroup, respectively. Also it is shows that there is no codes generating whole $\Z_{2}^{n}$ in any $\G_{n}(a)$-complete $S$-set of the $S$-ring $\mathfrak{S}(\Z_{2}^{n},S_{n})$.
Independence in Arithmetic: The Method of $(\mathcal L, n)$-Models
I develop in depth the machinery of $(\mathcal L, n)$-models originally introduced by Shelah and, independently in a slightly different form by Kripke. This machinery allows fairly routine constructions of true but unprovable sentences in $\mathsf{PA}$. I give two applications: 1. Shelah's alternative proof of the Paris-Harrington theorem, and 2. The independence over $\mathsf{PA}$ of a new $Π^0_1$ Ramsey theoretic statement about colorings of finite sequences of structures.
Exponential lower bound for Berge-Ramsey problems
We give an exponential lower bound for Berge-Ramsey problems.
Linear recurrences indexed by $\mathbb{Z}$
This note considers linear recurrences (also called linear difference equations) in unknowns indexed by the integers. We characterize a unique \emph{reduced} linear recurrence with the same solutions as a given linear recurrence, and construct a \emph{solution matrix} which parametrizes the space of solutions. Several properties of solution matrices are shown, including a combinatorial characterization of bases and dimension of the space of solutions.
Equitable factorizations of edge-connected graphs
Published
• View Publication
• BIB
In this paper, we show that every $(3k-3)$-edge-connected graph $G$, under a certain condition on whose degrees, can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$, $|d_{G_i}(v)-d_G(v)/k|< 1$, where $1\le i\le k$. As application, we deduce that every $6$-edge-connected graph $G$ can be edge-decomposed into three factors $G_1$, $G_2$, and $G_3$ such that for each vertex $v\in V(G_i)$, $|d_{G_i}(v)-d_{G}(v)/3|< 1$, unless $G$ has exactly one vertex $z$ with $d_G(z) \stackrel{3}{\not\equiv}0$. Next, we show that every odd-$(3k-2)$-edge-connected graph $G$ can be edge-decomposed into $k$ factors $G_1,\ldots, G_k$ such that for each vertex $v\in V(G_i)$, $d_{G_i}(v)$ and $d_G(v)$ have the same parity and $|d_{G_i}(v)-d_G(v)/k|< 2$, where $k$ is an odd positive integer and $1\le i\le k$. Finally, we give a sufficient edge-connectivity condition for a graph $G$ to have a parity factor $F$ with specified odd-degree vertices such that for each vertex $v$, $| d_{F}(v)-\varepsilon d_G(v)|< 2$, where $\varepsilon $ is a real number with $0< \varepsilon < 1$.
Concentration inequalities in spaces of random configurations with positive Ricci curvatures
Published
• View Publication
• BIB
In this paper, we prove an Azuma-Hoeffding-type inequality in several classical models of random configurations, including the Erdős-Rényi random graph models $G(n,p)$ and $G(n,M)$, the random $d$-out(in)-regular directed graphs, and the space of random permutations. The main idea is using Ollivier's work on the Ricci curvature of Markov chairs on metric spaces. Here we give a cleaner form of such concentration inequality in graphs. Namely, we show that for any Lipschitz function $f$ on any graph (equipped with an ergodic random walk and thus an invariant distribution $ν$) with Ricci curvature at least $κ>0$, we have \[ν\left( |f-E_νf| \geq t \right) \leq 2\exp\left( -\frac{t^2κ}{7} \right).\]
The A.B.C.Ds of Schubert calculus
Published in Seminaire Lotharingien de Combinatoire, B85a (2020), 12 pp
• Search Publication
We collect Atiyah-Bott Combinatorial Dreams (A.B.C.Ds) in Schubert calculus. One result relates equivariant structure coefficients for two isotropic flag manifolds, with consequences to the thesis of C. Monical. We contextualize using work of N. Bergeron-F. Sottile, S. Billey-M. Haiman, P. Pragacz, and T. Ikeda-L. Mihalcea-I. Naruse. The relation complements a theorem of A. Kresch-H. Tamvakis in quantum cohomology. Results of A. Buch-V. Ravikumar rule out a similar correspondence in K-theory.
Borders, Palindrome Prefixes, and Square Prefixes
Published
• View Publication
• BIB
We show that the number of length-n words over a k-letter alphabet having no even palindromic prefix is the same as the number of length-n unbordered words, by constructing an explicit bijection between the two sets. A slightly different but analogous result holds for those words having no odd palindromic prefix. Using known results on borders, we get an asymptotic enumeration for the number of words having no even (resp., odd) palindromic prefix . We obtain an analogous result for words having no nontrivial palindromic prefix. Finally, we obtain similar results for words having no square prefix, thus proving a 2013 conjecture of Chaffin, Linderman, Sloane, and Wilks.
Reconstructing $d$-manifold subcomplexes of cubes from their $(\lfloor d/2 \rfloor + 1)$-skeletons
Published
• View Publication
• BIB
In 1984, Dancis proved that any $d$-dimensional simplicial manifold is determined by its $(\lfloor d/2 \rfloor + 1)$-skeleton. This paper adapts his proof to the setting of cubical complexes that can be embedded into a cube of arbitrary dimension. Under some additional conditions (for example, if the cubical manifold is a sphere), the result can be tightened to the $\lceil d/2 \rceil$-skeleton when $d \geq 3$.
On the Leaders' Graphical Characterization for Controllability of Path Related Graphs
The problem of leaders location plays an important role in the controllability of undirected graphs.The concept of minimal perfect critical vertex set is introduced by drawing support from the eigenvector of Laplace matrix. Using the notion of minimal perfect critical vertex set, the problem of finding the minimum number of controllable leader vertices is transformed into the problem of finding all minimal perfect critical vertex sets. Some necessary and sufficient conditions for special minimal perfect critical vertex sets are provided, such as minimal perfect critical 2 vertex set, and minimal perfect critical vertex set of path or path related graphs. And further, the leaders location problem for path graphs is solved completely by the algorithm provided in this paper. An interesting result that there never exist a minimal perfect critical 3 vertex set is proved, too.
Extremal problems for convex geometric hypergraphs and ordered hypergraphs
An ordered hypergraph is a hypergraph whose vertex set is linearly ordered, and a convex geometric hypergraph is a hypergraph whose vertex set is cyclically ordered. Extremal problems for ordered and convex geometric graphs have a rich history with applications to a variety of problems in combinatorial geometry. In this paper, we consider analogous extremal problems for uniform hypergraphs, and determine the order of magnitude of the extremal function for various ordered and convex geometric paths and matchings. Our results generalize earlier works of Braß-Károlyi-Valtr, Capoyleas-Pach and Aronov-Dujmovič-Morin-Ooms-da Silveira. We also provide a new generalization of the Erd\H os-Ko-Rado theorem in the ordered setting.
Positroid varieties and cluster algebras
Published
• View Publication
• BIB
We show that the coordinate ring of an open positroid variety coincides with the cluster algebra associated to a Postnikov diagram. This confirms conjectures of Postnikov, Muller--Speyer, and Leclerc, and generalizes results of Scott and Serhiyenko--Sherman-Bennett--Williams.
Monochromatic paths and cycles in $2$-edge-colored graphs with large minimum degree
Published
• View Publication
• BIB
A graph $G$ arrows a graph $H$ if in every $2$-edge-coloring of $G$ there exists a monochromatic copy of $H$. Schelp had the idea that if the complete graph $K_n$ arrows a small graph $H$, then every "dense" subgraph of $K_n$ also arrows $H$, and he outlined some problems in this direction. Our main result is in this spirit. We prove that for every sufficiently large $n$, if $n = 3t+r$ where $r \in \{0,1,2\}$ and $G$ is an $n$-vertex graph with $δ(G) \ge (3n-1)/4$, then for every $2$-edge-coloring of $G$, either there are cycles of every length $\{3, 4, 5, \dots, 2t+r\}$ of the same color, or there are cycles of every even length $\{4, 6, 8, \dots, 2t+2\}$ of the same color.
Our result is tight in the sense that no longer cycles (of length $>2t+r$) can be guaranteed and the minimum degree condition cannot be reduced. It also implies the conjecture of Schelp that for every sufficiently large $n$, every $(3t-1)$-vertex graph $G$ with minimum degree larger than $3|V(G)|/4$ arrows the path $P_{2n}$ with $2n$ vertices. Moreover, it implies for sufficiently large $n$ the conjecture by Benevides, Łuczak, Scott, Skokan and White that for $n=3t+r$ where $r \in \{0,1,2\}$ and every $n$-vertex graph $G$ with $δ(G) \ge 3n/4$, in each $2$-edge-coloring of $G$ there exists a monochromatic cycle of length at least $2t+r$.
Sandwiching random regular graphs between binomial random graphs
Published
• View Publication
• BIB
Kim and Vu made the following conjecture (\textit{Advances in Mathematics}, 2004): if $d\gg \log n$, then the random $d$-regular graph $\mathcal G(n,d)$ can asymptotically almost surely be "sandwiched" between $\mathcal G(n,p_1)$ and $\mathcal G(n,p_2)$ where $p_1$ and $p_2$ are both $(1+o(1))d/n$. They proved this conjecture for $\log n\ll d\le n^{1/3-o(1)}$, with a defect in the sandwiching: $\mathcal G(n,d)$ contains $\mathcal G(n,p_1)$ perfectly, but is not completely contained in $\mathcal G(n,p_2)$. Recently, the embedding $\mathcal G(n,p_1) \subseteq \mathcal G(n,d)$ was improved by Dudek, Frieze, Ruciński and Šileikis to $d=o(n)$. In this paper, we prove Kim--Vu's sandwich conjecture, with perfect containment on both sides, for all $d\gg n/\sqrt{\log n}$. For $d=O(n/\sqrt{\log n})$, we prove a weaker version of the sandwich conjecture with $p_2$ approximately equal to $(d/n)\log n$, without any defect. In addition to sandwiching regular graphs, our results cover graphs whose degrees are asymptotically equal. The proofs rely on estimates for the probability that a random factor of a pseudorandom graph contains a given edge, which is of independent interest.
As applications, we obtain new results on the properties of random graphs with given near-regular degree sequences, including Hamiltonicity and universality in subgraph containment. We also determine several graph parameters in these random graphs, such as the chromatic number, small subgraph counts, the diameter, and the independence number. We are also able to characterise many phase transitions in edge percolation on these random graphs, such as the threshold for the appearance of a giant component.
The average cut-rank of graphs
Published in European J. Combin., 90(December 2020), 103183
• View Publication
• BIB
The cut-rank of a set $X$ of vertices in a graph $G$ is defined as the rank of the $ X \times (V(G)\setminus X)$ matrix over the binary field whose $(i,j)$-entry is $1$ if the vertex $i$ in $X$ is adjacent to the vertex $j$ in $V(G)\setminus X$ and $0$ otherwise. We introduce the graph parameter called the average cut-rank of a graph, defined as the expected value of the cut-rank of a random set of vertices. We show that this parameter does not increase when taking vertex-minors of graphs and a class of graphs has bounded average cut-rank if and only if it has bounded neighborhood diversity. This allows us to deduce that for each real $α$, the list of induced-subgraph-minimal graphs having average cut-rank larger than (or at least) $α$ is finite. We further refine this by providing an upper bound on the size of obstruction and a lower bound on the number of obstructions for average cut-rank at most (or smaller than) $α$ for each real $α\ge0$. Finally, we describe explicitly all graphs of average cut-rank at most $3/2$ and determine up to $3/2$ all possible values that can be realized as the average cut-rank of some graph.
Centrally symmetric tilings of fern-cored hexagons
In this paper we enumerate the centrally symmetric lozenge tilings of a hexagon with a fern removed from its center. The proof is based on a variant of Kuo's graphical condensation method. An unexpected connection with the total number of tilings is established~---~when suitably normalized, the number of centrally symmetric tilings is equal to the square root of the total number of tilings. The results we present can be regarded as a new extension of the enumeration of self-complementary plane partitions that fit in a box.
Maximum nullity and zero forcing of circulant graphs
Published
• View Publication
• BIB
It is well-known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite circulants, cubic circulants, and circulants which are torus products, to obtain bounds on the minimum rank and the maximum nullity. We also evaluate when the zero forcing number will give equality.
Invariant Schreier decorations of unimodular random networks
We prove that every $2d$-regular unimodular random network carries an invariant random Schreier decoration. Equivalently, it is the Schreier coset graph of an invariant random subgroup of the free group $F_d$. As a corollary we get that every $2d$-regular graphing is the local isomorphic image of a graphing coming from a p.m.p. action of $F_d$. The key ingredients of the analogous statement for finite graphs do not generalize verbatim to the measurable setting. We find a more subtle way of adapting these ingredients and prove measurable coloring theorems for graphings along the way.
Spreading linear triple systems and expander triple systems
The existence of Steiner triple systems STS(n) of order n containing no nontrivial subsystem is well known for every admissible n. We generalize this result in two ways. First we define the expander property of 3-uniform hypergraphs and show the existence of Steiner triple systems which are almost perfect expanders. Next we define the strong and weak spreading property of linear hypergraphs, and determine the minimum size of a linear triple system with these properties, up to a small constant factor. This property is strongly connected to the connectivity of the structure and of the so-called influence maximization. We also discuss how the results are related to Erdős' conjecture on locally sparse STSs, influence maximization, subsquare-free Latin squares and possible applications in finite geometry.
Subdivision of Maps of Digital Images
Published
• View Publication
• BIB
With a view towards providing tools for analyzing and understanding digitized images, various notions from algebraic topology have been introduced into the setting of digital topology. In the ordinary topological setting, invariants such as the fundamental group are invariants of homotopy type. In the digital setting, however, the usual notion of homotopy leads to a very rigid invariance that does not correspond well with the topological notion of homotopy invariance. In this paper, we establish fundamental results about subdivision of maps of digital images with $1$- or $2$-dimensional domains. Our results lay the groundwork for showing that the digital fundamental group is an invariant of a much less rigid equivalence relation on digital images, that is more akin to the topological notion of homotopy invariance. Our results also lay the groundwork for defining other invariants of digital images in a way that makes them invariants of this less rigid equivalence.