Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Distinct volume subsets
Published in SIAM Journal on Discrete Math 29(1), pp. 472-480 (2014)
• View Publication
• BIB
Suppose that $a$ and $d$ are positive integers with $a \geq 2$. Let $h_{a,d}(n)$ be the largest integer $t$ such that any set of $n$ points in $\mathbb{R}^d$ contains a subset of $t$ points for which all the non-zero volumes of the ${t \choose a}$ subsets of order $a$ are distinct. Beginning with Erdős in 1957, the function $h_{2,d}(n)$ has been closely studied and is known to be at least a power of $n$. We improve the best known bound for $h_{2,d}(n)$ and show that $h_{a,d}(n)$ is at least a power of $n$ for all $a$ and $d$.
Strongly regular graphs with the 7-vertex condition
Published
• View Publication
• BIB
The $t$-vertex condition, for an integer $t\ge 2$, was introduced by Hestenes and Higman in 1971, providing a combinatorial invariant defined on edges and non-edges of a graph. Finite rank 3 graphs satisfy the condition for all values of $t$. Moreover, a long-standing conjecture of M. Klin asserts the existence of an integer $t_0$ such that a graph satisfies the $t_0$-vertex condition if and only if it is a rank 3 graph.
We construct the first infinite family of non-rank 3 strongly regular graphs satisfying the $7$-vertex condition. This implies that the Klin parameter $t_0$ is at least 8. The examples are the point graphs of a certain family of generalised quadrangles.
Density version of the Ramsey problem and the directed Ramsey problem
We discuss a variant of the Ramsey and the directed Ramsey problem. First, consider a complete graph on $n$ vertices and a two-coloring of the edges such that every edge is colored with at least one color and the number of bicolored edges $|E_{RB}|$ is given. The aim is to find the maximal size $f$ of a monochromatic clique which is guaranteed by such a coloring. Analogously, in the second problem we consider semicomplete digraph on $n$ vertices such that the number of bi-oriented edges $|E_{bi}|$ is given. The aim is to bound the size $F$ of the maximal transitive subtournament that is guaranteed by such a digraph.
Applying probabilistic and analytic tools and constructive methods we show that if $|E_{RB}|=|E_{bi}| = p{n\choose 2}$, ($p\in [0,1)$), then $f, F < C_p\log(n)$ where $C_p$ only depend on $p$, while if $m={n \choose 2} - |E_{RB}| <n^{3/2}$ then $f= Θ(\frac{n^2}{m+n})$. The latter case is strongly connected to Turán-type extremal graph theory.
Primitive bound of a 2-structure
A 2-structure on a set $S$ is given by an equivalence relation on the set of ordered pairs of distinct elements of $S$. A subset $C$ of $S$, any two elements of which appear the same from the perspective of each element of the complement of $C$, is called a clan. The number of elements that must be added in order to obtain a 2-structure the only clans of which are trivial is called the primitive bound of the 2-structure. The primitive bound is determined for arbitrary 2-structures of any cardinality. This generalizes the classical results of Erdős et al. and Moon for tournaments, as well as the result of Brignall et al. for finite graphs, and the precise results of Boussaïri and Ille for finite graphs, providing new proofs which avoid extensive use of induction in the finite case.
Correlation Functions of the Schur Process Through Macdonald Difference Operators
Published in Journal of Combinatorial Theory, Series A 131, 88-118 (2015)
• View Publication
• BIB
Introduced by Okounkov and Reshetikhin, the Schur process is known to be a determinantal point process, meaning that its correlation functions are minors of a single correlation kernel matrix. Previously, this was derived using determinantal expressions for the skew-Schur polynomials. In this paper we obtain this result in a different way, using the fact that the Schur polynomials are eigenfunctions of Macdonald difference operators.
Fixed-rank Rayleigh Quotient Maximization by an $M$PSK Sequence
Published
• View Publication
• BIB
Certain optimization problems in communication systems, such as limited-feedback constant-envelope beamforming or noncoherent $M$-ary phase-shift keying ($M$PSK) sequence detection, result in the maximization of a fixed-rank positive semidefinite quadratic form over the $M$PSK alphabet. This form is a special case of the Rayleigh quotient of a matrix and, in general, its maximization by an $M$PSK sequence is $\mathcal{NP}$-hard. However, if the rank of the matrix is not a function of its size, then the optimal solution can be computed with polynomial complexity in the matrix size. In this work, we develop a new technique to efficiently solve this problem by utilizing auxiliary continuous-valued angles and partitioning the resulting continuous space of solutions into a polynomial-size set of regions, each of which corresponds to a distinct $M$PSK sequence. The sequence that maximizes the Rayleigh quotient is shown to belong to this polynomial-size set of sequences, thus efficiently reducing the size of the feasible set from exponential to polynomial. Based on this analysis, we also develop an algorithm that constructs this set in polynomial time and show that it is fully parallelizable, memory efficient, and rank scalable. The proposed algorithm compares favorably with other solvers for this problem that have appeared recently in the literature.
Size of dot product sets determined by pairs of subsets of vector spaces over finite fields
Published in JOURNAL OF THE CHUNGCHEONG MATHEMATICAL SOCIETY, Volume 26, No. 4, November 2013
• View Publication
• BIB
In this paper we study the cardinality of the dot product set generated by two subsets of vector spaces over finite fields. We notice that the results on the dot product problems for one set can be simply extended to two sets. Let E and F be subsets of the d-dimensional vector space F_q^d over a finite field F_q with q elements. As a new result, we prove that if E and F are subsets of the paraboloid and |E||F|\geq C q^d for some large C>1, then |Π(E,F)|\geq c q for some 0<c<1. In particular, we find a connection between the size of the dot product set and the number of lines through both the origin and a nonzero point in the given set E. As an application of this observation, we obtain more sharpened results on the generalized dot product set problems. The discrete Fourier analysis and geometrical observation play a crucial role in proving our results.
Logical limit laws for minor-closed classes of graphs
Published
• View Publication
• BIB
Let $\mathcal G$ be an addable, minor-closed class of graphs. We prove that the zero-one law holds in monadic second-order logic (MSO) for the random graph drawn uniformly at random from all {\em connected} graphs in $\mathcal G$ on $n$ vertices, and the convergence law in MSO holds if we draw uniformly at random from all graphs in $\mathcal G$ on $n$ vertices. We also prove analogues of these results for the class of graphs embeddable on a fixed surface, provided we restrict attention to first order logic (FO). Moreover, the limiting probability that a given FO sentence is satisfied is independent of the surface $S$. We also prove that the closure of the set of limiting probabilities is always the finite union of at least two disjoint intervals, and that it is the same for FO and MSO. For the classes of forests and planar graphs we are able to determine the closure of the set of limiting probabilities precisely. For planar graphs it consists of exactly 108 intervals, each of length $\approx 5\cdot 10^{-6}$. Finally, we analyse examples of non-addable classes where the behaviour is quite different. For instance, the zero-one law does not hold for the random caterpillar on $n$ vertices, even in FO.
Severi degrees on toric surfaces
Published
• View Publication
• BIB
Ardila and Block used tropical results of Brugalle and Mikhalkin to count nodal curves on a certain family of toric surfaces. Building on a linearity result of the first author, we revisit their work in the context of the Goettsche-Yau-Zaslow formula for counting nodal curves on arbitrary smooth surfaces, addressing several questions they raised by proving stronger versions of their main theorems. In the process, we give new combinatorial formulas for the coefficients arising in the Goettsche-Yau-Zaslow formulas, and give correction terms arising from rational double points in the relevant family of toric surfaces.
Matroids representable over fields with a common subfield
Published
• View Publication
• BIB
A matroid is $\text{GF}(q)$-regular if it is representable over all proper superfields of the field $\text{GF}(q)$. We show that, for highly connected matroids having a large projective geometry over $\text{GF}(q)$ as a minor, the property of $\text{GF}(q)$-regularity is equivalent to representability over both $\text{GF}(q^2)$ and $\text{GF}(q^t)$ for some odd integer $t \geq 3$. We do this by means of an exact structural description of all such matroids.
On giant components and treewidth in the layers model
Published in Random Structures Algorithms 48 (2016), no. 3, 524--545
• View Publication
• BIB
Given an undirected $n$-vertex graph $G(V,E)$ and an integer $k$, let $T_k(G)$ denote the random vertex induced subgraph of $G$ generated by ordering $V$ according to a random permutation $π$ and including in $T_k(G)$ those vertices with at most $k-1$ of their neighbors preceding them in this order. The distribution of subgraphs sampled in this manner is called the \emph{layers model with parameter} $k$. The layers model has found applications in studying $\ell$-degenerate subgraphs, the design of algorithms for the maximum independent set problem, and in bootstrap percolation.
In the current work we expand the study of structural properties of the layers model.
We prove that there are $3$-regular graphs $G$ for which with high probability $T_3(G)$ has a connected component of size $Ω(n)$. Moreover, this connected component has treewidth $Ω(n)$. This lower bound on the treewidth extends to many other random graph models. In contrast, $T_2(G)$ is known to be a forest (hence of treewidth~1), and we establish that if $G$ is of bounded degree then with high probability the largest connected component in $T_2(G)$ is of size $O(\log n)$. We also consider the infinite two-dimensional grid, for which we prove that the first four layers contain a unique infinite connected component with probability $1$.
Weakly Submodular Functions
Submodular functions are well-studied in combinatorial optimization, game theory and economics. The natural diminishing returns property makes them suitable for many applications. We study an extension of monotone submodular functions, which we call {\em weakly submodular functions}. Our extension includes some (mildly) supermodular functions. We show that several natural functions belong to this class and relate our class to some other recent submodular function extensions.
We consider the optimization problem of maximizing a weakly submodular function subject to uniform and general matroid constraints. For a uniform matroid constraint, the "standard greedy algorithm" achieves a constant approximation ratio where the constant (experimentally) converges to 5.95 as the cardinality constraint increases. For a general matroid constraint, a simple local search algorithm achieves a constant approximation ratio where the constant (analytically) converges to 10.22 as the rank of the matroid increases.
Reducibility in the Four-Color Theorem
In [J. Combin. Theory Ser. B 70 (1997), 2-44] we gave a simplified proof of the Four-Color Theorem. The proof is computer-assisted in the sense that for two lemmas in the article we did not give proofs, and instead asserted that we have verified those statements using a computer. Here we give additional details for one of those lemmas, and we include the original computer programs and data as "ancillary files" accompanying this submission.
Discharging cartwheels
In [J. Combin. Theory Ser. B 70 (1997), 2-44] we gave a simplified proof of the Four-Color Theorem. The proof is computer-assisted in the sense that for two lemmas in the article we did not give proofs, and instead asserted that we have verified those statements using a computer. Here we give additional details for one of those lemmas, and we include the original computer programs and data as "ancillary files" accompanying this submission.
Inversions and the Gog-Magog problem
We consider the problem of finding a bijection between the sets of alternating sign matrices and of totally symmetric self complementary plane partitions, which can be reformulated using Gog and Magog triangles. In a previous work we introduced GOGAm triangles, which are images of Magog triangles by the Schützenberger involution. In this paper we introduce left Gog and GOGAm trapezoids. We conjecture that they are equienumerated, and we give an explicit bijection between such trapezoids with one or two diagonals. We also study the distribution of inversions and coinversions in Gog triangles.
F-finite embeddabilities of sets and ultrafilters
Let $S$ be a semigroup, let $n\in\mathbb{N}$ be a positive natural number, let $A,B\subseteq S$, let $\mathcal{U},\mathcal{V}\inβS$ and let let $\mathcal{F}\subseteq\{f:S^{n}\rightarrow S\}$. We say that $A$ is $\mathcal{F}$-finitely embeddable in $B$ if for every finite set $F\subseteq A$ there is a function $f\in\mathcal{F}$ such that $f\left(A^{n}\right)\subseteq B$, and we say that $\mathcal{U}$ is $\mathcal{F}$-finitely embeddable in $\mathcal{V}$ if for every set $B\in\mathcal{V}$ there is a set $A\in\mathcal{U}$ such that $A$ is $\mathcal{F}$-finitely embeddable in $B$. We show that $\mathcal{F}$-finite embeddabilities can be used to study certain combinatorial properties of sets and ultrafilters related with finite structures. We introduce the notions of set and of ultrafilter maximal for $\mathcal{F}$-finite embeddability, whose existence is proved under very mild assumptions. Different choices of $\mathcal{F}$ can be used to characterize many combinatorially interesting sets/ultrafilters as maximal sets/ultrafilters, for example thick sets, AP-rich sets, $\overline{K(βS)}$ and so on. The set of maximal ultrafilters for $\mathcal{F}$-finite embeddability can be characterized algebraically in terms of $\mathcal{F}$. This property can be used to give an algebraic characterization of certain interesting sets of ultrafilters, such as the ultrafilters whose elements contain, respectively, arbitrarily long arithmetic, geoarithmetic or polynomial progressions. As a consequence of the connection between sets and ultrafilters maximal for $\mathcal{F}$-finite embeddability we are able to prove a general result that entails, for example, that given a finite partition of a set that contains arbitrarily long geoarithmetic (resp. polynomial) progressions, one cell must contain arbitrarily long geoarithmetic (resp. polynomial) progressions.
Infinite square-free self-shuffling words
In this paper we answer two recent questions from Charlier et al. and Harju about self-shuffling words. An infinite word $w$ is called self-shuffling, if $w=\prod_{i=0}^\infty U_iV_i=\prod_{i=0}^\infty U_i=\prod_{i=0}^\infty V_i$ for some finite words $U_i$, $V_i$. Harju recently asked whether square-free self-shuffling words exist. We answer this question affirmatively. Besides that, we build an infinite word such that no word in its shift orbit closure is self-shuffling, answering positively a question from Charlier et al.
Unstable Graphs: A Fresh Outlook via TF-Automorphisms
Published
• View Publication
• BIB
In this paper, we first establish the very close link between stability of graphs, a concept first introduced in \cite{Scapsalvi1} and studied most notably by Surowski \cite{Surowski1}, \cite{Surowski2} and Wilson \cite{Wilson01} and two-fold automorphisms. The concept of two-fold isomorphisms, as far as we know, first appeared in literature in the form of isotopies of digraphs \cite{zelinka4}, \cite{zelinka1}, \cite{zelinka2}, \cite{zelinka3} and later studied formally in \cite{lms1}, \cite{lms2} with a greater emphasis on undirected graphs. We then turn our attention to the stability of graphs which have every edge on a triangle, but with the fresh outlook provided by TF-automorphisms. Amongst such graphs are strongly regular graphs with certain parameters. The advantages of this fresh outlook are highlighted when we ultimately present a method of constructing and generating unstable graphs with large diameter having every edge lying on a triangle. This was a rather surprising outcome.
The Radio Number of Grid Graphs
The radio number problem uses a graph-theoretical model to simulate optimal frequency assignments on wireless networks. A radio labeling of a connected graph $G$ is a function $f:V(G) \to \mathbb Z_{0}^+$ such that for every pair of vertices $u,v \in V(G)$, we have $\lvert f(u)-f(v)\rvert \ge \text{diam}(G) + 1 - d(u,v)$ where $\text{diam}(G)$ denotes the diameter of $G$ and $d(u,v)$ the distance between vertices $u$ and $v$. Let $\text{span}(f)$ be the difference between the greatest label and least label assigned to $V(G)$. Then, the \textit{radio number} of a graph $\text{rn}(G)$ is defined as the minimum value of $\text{span}(f)$ over all radio labelings of $G$. So far, there have been few results on the radio number of the grid graph: In 2009 Calles and Gomez gave an upper and lower bound for square grids, and in 2008 Flores and Lewis were unable to completely determine the radio number of the ladder graph (a 2 by $n$ grid). In this paper, we completely determine the radio number of the grid graph $G_{a,b}$ for $a,b>2$, characterizing three subcases of the problem and providing a closed-form solution to each. These results have implications in the optimization of radio frequency assignment in wireless networks such as cell towers and environmental sensors.
Combinatorial proofs of some Bell number formulas
Published
• View Publication
• BIB
In this note, we provide bijective proofs of some identities involving the Bell number, as previously requested. Our arguments may be extended to yield a generalization in terms of complete Bell polynomials. We also provide a further interpretation for a related difference of Catalan numbers in terms of the inclusion-exclusion principle.