Showing 20 papers (Total: 84253 papers, 48533 authors in database)
$\text{VC}_{\ell}$-dimension and the jump to the fastest speed of a hereditary $\mathcal{L}$-property
Published
• View Publication
• BIB
In this paper we investigate a connection between the growth rates of certain classes of finite structures and a generalization of $\text{VC}$-dimension called $\text{VC}_{\ell}$-dimension. Let $\mathcal{L}$ be a finite relational language with maximum arity $r$. A hereditary $\mathcal{L}$-property is a class of finite $\mathcal{L}$-structures closed under isomorphism and substructures. The \emph{speed} of a hereditary $\mathcal{L}$-property $\mathcal{H}$ is the function which sends $n$ to $|\mathcal{H}_n|$, where $\mathcal{H}_n$ is the set of elements of $\mathcal{H}$ with universe $\{1,\ldots, n\}$. It was previously known there exists a gap between the fastest possible speed of a hereditary $\mathcal{L}$-property and all lower speeds, namely between the speeds $2^{Θ(n^r)}$ and $2^{o(n^r)}$. We strengthen this gap by showing that for any hereditary $\mathcal{L}$-property $\mathcal{H}$, either $|\mathcal{H}_n|=2^{Θ(n^r)}$ or there is $ε>0$ such that for all large enough $n$, $|\mathcal{H}_n|\leq 2^{n^{r-ε}}$. This improves what was previously known about this gap when $r\geq 3$. Further, we show this gap can be characterized in terms of $\text{VC}_{\ell}$-dimension, therefore drawing a connection between this finite counting problem and the model theoretic dividing line known as $\ell$-dependence.
The formula of Melzak for arbitrary polynomials
Published in Utilitas Mathematica, 99 (2016), 397-401
• Search Publication
We extend the well-known Melzak binomial transform formula to polynomials of any degree and show some applications.
Computing optimal strategy for cop in the game of Cop v.s. Gambler
We present two efficient algorithms that compute the optimal strategy for cop in the game of Cop v.s. Gambler where the gambler's strategy is not optimal but known to the cop. The first algorithm is analogous to Bellman-Ford algorithm for single source shortest path problem and runs in $O(|V(G)||E(G)|)$ time. The second is analogous to Dijkstra's algorithm and runs in $O(|E(G)|+|V(G)|\log |V(G)|)$ time. Compared with each other, they are more suitable for sparse and dense graphs, respectively.
BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters
Published
• View Publication
• BIB
We study generalized gauge theories engineered by taking the low energy limit of the $Dp$ branes wrapping $X \times T^{p-3}$, with $X$ a possibly singular surface in a Calabi-Yau fourfold $Z$. For toric $Z$ and $X$ the partition function can be computed by localization, making it a statistical mechanical model, called the gauge origami. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the $Ω$-background parameters. The orbifold version of the theory defines the $qq$-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces $M({\vec n}, k)$ of crossed and spiked instantons, demonstrated in arXiv:1608.07272.
Vexillary degeneracy loci classes in K-theory and algebraic cobordism
Published
• View Publication
• BIB
In this paper, we prove determinant formulas for the $K$-theory classes of the structure sheaves of degeneracy loci classes associated to vexillary permutations in type $A$. As a consequence we obtain determinant formulas for Lascoux-Schützenberger's double Grothendieck polynomials associated to vexillary permutations. Furthermore, we generalize the determinant formula to algebraic cobordism.
Gibbs Measures with memory of length 2 on an arbitrary order Cayley tree
Published in International Journal of Modern Physics CVol. 29, No. 02, 1850016 (2018)
• View Publication
• BIB
In this paper, we consider the Ising-Vanniminus model on an arbitrary order Cayley tree. We generalize the results conjectured in [Chinese Journal of Physics, 54 (4), 635-649 (2016)] and [International Journal of Modern Physics, arXiv:1608.06178] for an arbitrary order Cayley tree. We establish existence and a full classification of translation invariant Gibbs measures with memory of length 2 associated with the model on arbitrary order Cayley tree. We construct the recurrence equations corresponding generalized ANNNI model. We satisfy the Kolmogorov \emph{consistency} condition. We propose a rigorous measure-theoretical approach to investigate the Gibbs measures with memory of length 2 for the model. We explain whether the number of branches of tree does not change the number of Gibbs measures. Also we take up with trying to determine when phase transition does occur.
Loop conditions
We discuss such Maltsev conditions that consist of just one linear equation, we call them loop conditions. To every such condition can be assigned a graph. We provide a classification of conditions with undirected graphs. It follows that the Siggers term is the weakest non-trivial loop condition.
The number of triple systems without even cycles
Published
• View Publication
• BIB
For $k \ge 4$, a loose $k$-cycle $C_k$ is a hypergraph with distinct edges $e_1, e_2, \ldots, e_k$ such that consecutive edges (modulo $k$) intersect in exactly one vertex and all other pairs of edges are disjoint. Our main result is that for every even integer $k \ge 4$, there exists $c>0$ such that the number of triple systems with vertex set $[n]$ containing no $C_{k}$ is at most $2^{cn^2}$.
An easy construction shows that the exponent is sharp in order of magnitude. This may be viewed as a hypergraph extension of the work of Morris and Saxton, who proved the analogous result for graphs which was a longstanding problem. For $r$-uniform hypergraphs with $r>3$, we improve the trivial upper bound but fall short of obtaining the order of magnitude in the exponent, which we conjecture is $n^{r-1}$.
Our proof method is different than that used for most recent results of a similar flavor about enumerating discrete structures, since it does not use hypergraph containers. One novel ingredient is the use of some (new) quantitative estimates for an asymmetric version of the bipartite canonical Ramsey theorem.
Bounds on parameters of minimally non-linear patterns
Published
• View Publication
• BIB
Let $ex(n, P)$ be the maximum possible number of ones in any 0-1 matrix of dimensions $n \times n$ that avoids $P$. Matrix $P$ is called minimally non-linear if $ex(n, P) = ω(n)$ but $ex(n, P') = O(n)$ for every strict subpattern $P'$ of $P$. We prove that the ratio between the length and width of any minimally non-linear 0-1 matrix is at most $4$, and that a minimally non-linear 0-1 matrix with $k$ rows has at most $5k-3$ ones. We also obtain an upper bound on the number of minimally non-linear 0-1 matrices with $k$ rows.
In addition, we prove corresponding bounds for minimally non-linear ordered graphs. The minimal non-linearity that we investigate for ordered graphs is for the extremal function $ex_{<}(n, G)$, which is the maximum possible number of edges in any ordered graph on $n$ vertices with no ordered subgraph isomorphic to $G$.
The distinguishing number of groups based on the distinguishing number of subgroups
Published
• View Publication
• BIB
Let $Γ$ be a group acting on a set $X$. The distinguishing number for this action of $Γ$ on $X$, denoted by $D_Γ(X)$, is the smallest natural number $k$ such that the elements of $X$ can be labeled with $k$ labels so that any label-preserving element of $Γ$ fixes all $x \in X$. In particular, if the action is faithful, then the only element of $Γ$ preserving labels is the identity. In this paper, we obtain an upper bound on the distinguishing number of a set knowing the distinguishing number of a set under the action of a subgroup. By the concept of motion, we obtain an upper bound for the distinguishing number of a group. Motivated by a problem (Chan 2006), we characterize $D_{Γ,H}(X)$ which is the smallest number of labels admitting a labeling of $X$ such that the only elements of $Γ$ that induce label-preserving permutations lie in $H$. Finally, we state two algorithms for obtaining an upper and a lower bound for $D_{Γ, H}(X)$.
Lp expander Complexes
We discuss two combinatorical ways of generalizing the definition of expander graphs and Ramanujan graphs, to quotients of buildings of higher dimension. The two possible definitions are equivalent for affine buildings, giving the notion of an Lp-expander complex. We calculate explicit spectral gaps on many combinatorical operators, on any Lp-expander complex.
We associate with any complex a natural "zeta function", generalizing the Ihara-Hashimoto zeta function of a finite graph. We generalize a well known theorem of Hashimoto, showing that a complex is Ramanujan if and only if the zeta function satisfies the Riemann hypothesis.
Extended Formulations for Polytopes of Regular Matroids
We present a simple proof of the fact that the base (and independence) polytope of a rank $n$ regular matroid over $m$ elements has an extension complexity $O(mn)$.
Fast counting of medium-sized rooted subgraphs
We prove that counting copies of any graph $F$ in another graph $G$ can be achieved using basic matrix operations on the adjacency matrix of $G$. Moreover, the resulting algorithm is competitive for medium-sized $F$: our algorithm recovers the best known complexity for rooted 6-clique counting and improves on the best known for 9-cycle counting. Underpinning our proofs is the new result that, for a general class of graph operators, matrix operations are homomorphisms for operations on rooted graphs.
Some problems on induced subgraphs
Published in Discrete Applied Mathematics, 236 (2018) 422-427
• View Publication
• BIB
We discuss some problems related to induced subgraphs. The first problem is about getting a good upper bound for the chromatic number in terms of the clique number for graphs in which every induced cycle has length $3$ or $4$. The second problem is about the perfect chromatic number of a graph, which is the smallest number of perfect sets into which the vertex set of a graph can be partitioned. (A set of vertices is said to be perfect it it induces a perfect graph.) The third problem is on antichains in the induced subgraph ordering. The fourth problem is on graphs in which the difference between the chromatic number and the clique number is at most one for every induced subgraph of the graph. The fifth problem is on a weakening of the notorious Erdős-Hajnal conjecture. The last problem is on a conjecture of Gyárfás about $χ$-boundedness of a particular class of graphs.
A construction of group divisible designs with zero block sum
This paper gives a construction of group divisible designs on the binary extension fields with block sizes 3, 4, 5, 6, and 7, respectively, which is motivated from the decoding of binary quadratic residue codes. A conjecture is proposed for this construction of group divisible designs with larger block sizes.
Circular Separation Dimension of a Subclass of Planar Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 3, Graph Theory (November 3, 2017) dmtcs:2661
• View Publication
• BIB
A pair of non-adjacent edges is said to be separated in a circular ordering of vertices, if the endpoints of the two edges do not alternate in the ordering. The circular separation dimension of a graph $G$, denoted by $π^\circ(G)$, is the minimum number of circular orderings of the vertices of $G$ such that every pair of non-adjacent edges is separated in at least one of the circular orderings. This notion is introduced by Loeb and West in their recent paper. In this article, we consider two subclasses of planar graphs, namely $2$-outerplanar graphs and series-parallel graphs. A $2$-outerplanar graph has a planar embedding such that the subgraph obtained by removal of the vertices of the exterior face is outerplanar. We prove that if $G$ is $2$-outerplanar then $π^\circ(G) = 2$. We also prove that if $G$ is a series-parallel graph then $π^\circ(G) \leq 2$.
Transversals in Latin arrays with many distinct symbols
Published in J. Combin. Des. 26 (2018), 84-96
• View Publication
• BIB
An array is row-Latin if no symbol is repeated within any row. An array is Latin if it and its transpose are both row-Latin. A transversal in an $n\times n$ array is a selection of $n$ different symbols from different rows and different columns. We prove that every $n \times n$ Latin array containing at least $(2-\sqrt{2}) n^2$ distinct symbols has a transversal. Also, every $n \times n$ row-Latin array containing at least $\frac14(5-\sqrt{5})n^2$ distinct symbols has a transversal. Finally, we show by computation that every Latin array of order $7$ has a transversal, and we describe all smaller Latin arrays that have no transversal.
Combinatorics of `unavoidable complexes'
The partition number $π(K)$ of a simplicial complex $K\subset 2^{[n]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [n]$ of $[n]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. Motivated by the problems of Tverberg-Van Kampen-Flores type, and inspired by the `constraint method' of Blagojević, Frick, and Ziegler, arXiv:1401.0690 [math.CO], we study the combinatorics of $r$-unavoidable complexes.
On the boundary of the region defined by homomorphism densities
Published
• View Publication
• BIB
The Kruskal-Katona theorem together with a theorem of Razborov determine the closure of the set of points defined by the homomorphism density of the edge and the triangle in finite graphs. The boundary of this region is a countable union of algebraic curves, and in particular, it is almost everywhere differentiable. One can more generally consider the region defined by the homomorphism densities of a list of given graphs, and ask whether the boundary is as well-behaved as in the case of the triangle and the edge. Towards answering this question in the negative, we construct examples which show that the restrictions of the boundary to certain hyperplanes can have nowhere differentiable parts.
Three-variable expanding polynomials and higher-dimensional distinct distances
Published
• View Publication
• BIB
We determine which quadratic polynomials in three variables are expanders over an arbitrary field $\mathbb{F}$. More precisely, we prove that for a quadratic polynomial $f\in \mathbb{F}[x,y,z]$, which is not of the form $g(h(x)+k(y)+l(z))$, we have $|f(A\times B\times C)|\gg N^{3/2}$ for any sets $A,B,C\subset \mathbb{F}$ with $|A|=|B|=|C|=N$, with $N$ not too large compared to the characteristic of $\mathbb{F}$. We give several applications. We use this result for $f=(x-y)^2+z$ to obtain new lower bounds on $|A+A^2|$ and $\max\{|A+A|,|A^2+A^2|\}$, and to prove that a Cartesian product $A\times\cdots \times A\subset \mathbb{F}^d$ determines almost $|A|^2$ distinct distances if $|A|$ is not too large.