Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Choosing between incompatible ideals
Published
• View Publication
• BIB
Suppose $\mathcal I$ and $\mathcal J$ are proper ideals on some set $X$. We say that $\mathcal I$ and $\mathcal J$ are incompatible if $\mathcal I \cup \mathcal J$ does not generate a proper ideal. Equivalently, $\mathcal I$ and $\mathcal J$ are incompatible if there is some $A \subseteq X$ such that $A \in \mathcal I$ and $X \setminus A \in \mathcal J$. If some $B \subseteq X$ is either in $\mathcal I \setminus \mathcal J$ or in $\mathcal J \setminus \mathcal I$, then we say that $B$ chooses between $\mathcal I$ and $\mathcal J$.
We consider the following Ramsey-theoretic problem: Given several pairs $(\mathcal I_1,\mathcal J_1), (\mathcal I_2,\mathcal J_2), \dots, (\mathcal I_k,\mathcal J_k)$ of incompatible ideals on a set $X$, find some $A \subseteq X$ that chooses between as many of these pairs of ideals as possible. The main theorem is that for every $n \in \mathbb N$, there is some $I(n) \in \mathbb N$ such that given at least $I(n)$ pairs of incompatible ideals on any set $X$, there is some $A \subseteq X$ choosing between at least $n$ of them. This theorem is proved in two main steps. The first step is to identify a (purely finitary) problem in extremal combinatorics, and to show that our problem concerning ideals is equivalent to this combinatorial problem. The second step is to analyze the combinatorial problem in order to show that the number $I(n)$ described above exists, and to put bounds on it. We show $\textstyle \frac{1}{2}n \log_2 n - O(n) \,<\, I(n) \,<\, n \ln n + O(n).$ The upper bound is proved by considering a different but closely related combinatorial problem involving hypergraphs, which may be of independent interest. We also investigate some applications of this theorem to a problem concerning conditionally convergent series.
Combinatorics of the geometry of Wilson loop diagrams I: equivalence classes via matroids and polytopes
Published
• View Publication
• BIB
Wilson loop diagrams are an important tool in studying scattering amplitudes of SYM $N=4$ theory and are known by previous work to be associated to positroids. We characterize the conditions under which two Wilson loop diagrams give the same positroid, prove that an important subclass of subdiagrams (exact subdiagrams) correspond to uniform matroids, and enumerate the number of different Wilson loop diagrams that correspond to each positroid cell. We also give a correspondence between those positroids which can arise from Wilson loop diagrams and directions in associahedra.
Divided symmetrization and quasisymmetric functions
Published
• View Publication
• BIB
Motivated by a question in Schubert calculus, we study the interplay of quasisymmetric polynomials with the divided symmetrization operator, which was introduced by Postnikov in the context of volume polynomials of permutahedra. Divided symmetrization is a linear form which acts on the space of polynomials in $n$ indeterminates of degree $n-1$. We first show that divided symmetrization applied to a quasisymmetric polynomial in $m$ indeterminates can be easily determined. Several examples with a strong combinatorial flavor are given. Then, we prove that the divided symmetrization of any polynomial can be naturally computed with respect to a direct sum decomposition due to Aval-Bergeron-Bergeron involving the ideal generated by positive degree quasisymmetric polynomials in $n$ indeterminates.
Revisiting a Cutting Plane Method for Perfect Matchings
Published
• View Publication
• BIB
In 2016, Chandrasekaran, Végh, and Vempala published a method to solve the minimum-cost perfect matching problem on an arbitrary graph by solving a strictly polynomial number of linear programs. However, their method requires a strong uniqueness condition, which they imposed by using perturbations of the form $c(i)=c_0(i)+2^{-i}$. On large graphs (roughly $m>100$), these perturbations lead to cost values that exceed the precision of floating-point formats used by typical linear programming solvers for numerical calculations. We demonstrate, by a sequence of counterexamples, that perturbations are required for the algorithm to work, motivating our formulation of a general method that arrives at the same solution to the problem as Chandrasekaran et al. but overcomes the limitations described above by solving multiple linear programs without using perturbations. We then give an explicit algorithm that exploits are method, and show that this new algorithm still runs in strongly polynomial time.
A note on the connectivity of 2-polymatroid minors
Published
• View Publication
• BIB
Brylawski and Seymour independently proved that if $M$ is a connected matroid with a connected minor $N$, and $e \in E(M) - E(N)$, then $M \backslash e$ or $M / e$ is connected having $N$ as a minor. This paper proves an analogous but somewhat weaker result for $2$-polymatroids. Specifically, if $M$ is a connected $2$-polymatroid with a proper connected minor $N$, then there is an element $e$ of $E(M) - E(N)$ such that $M \backslash e$ or $M / e$ is connected having $N$ as a minor. We also consider what can be said about the uniqueness of the way in which the elements of $E(M) - E(N)$ can be removed so that connectedness is always maintained.
Counting Candy Crush Configurations
Published
• View Publication
• BIB
A k-stable c-coloured Candy Crush grid is a weak proper c-colouring of a particular type of k-uniform hypergraph. In this paper we introduce a fully polynomial randomised approximation scheme (FPRAS) which counts the number of k-stable c-coloured Candy Crush grids of a given size (m, n) for certain values of c and k. We implemented this algorithm on Matlab, and found that in a Candy Crush grid with7 available colours there are approximately 4.3*10^61 3-stable colourings. (Note that, typical Candy Crush games are played with 6 colours and our FPRAS is not guaranteed to work in expected polynomial time with k= 3 and c= 6.) We also discuss the applicability of this FPRAS to the problem of counting the number of weak c-colourings of other, more general hypergraphs.
Corona product of signed graphs and its application to signed network modelling
Published
• View Publication
• BIB
The notion of corona of two graphs was introduced by Frucht and Harary in 1970. In this paper we generalize their definition of corona product of two graphs and introduce corona product of two signed graphs by utilizing the framework of marked graphs, which was introduced by Beineke and Harary in 1978. We study the structural and spectral properties of corona product of signed graphs. Further we define signed corona graphs by considering corona product of a fixed small signed graph with itself iteratively, and we call the small graph as the seed graph for the corresponding corona graphs. Signed corona graphs can be employed as a signed network generative model for large growing signed networks. We study structural properties of corona graphs that include statistics of signed links, all types of signed triads and degree distribution. Besides we analyze algebraic conflict of signed corona graphs generated by specially structured seed graphs. Finally we show that a suitable choice of a seed graph can produce corona graphs which preserve properties of real signed networks.
On few-class $Q$-polynomial association schemes: feasible parameters and nonexistence results
Published
• View Publication
• BIB
We present the tables of feasible parameters of primitive $3$-class $Q$-polynomial association schemes and $4$- and $5$-class $Q$-bipartite association schemes (on up to $2800$, $10000$, and $50000$ vertices, respectively), accompanied by a number of nonexistence results for such schemes obtained by analysing triple intersection numbers of putative open cases.
Learning Very Large Graphs with Unknown Vertex Distributions
Recently, Goldreich introduced the notion of property testing of bounded-degree graphs with an unknown distribution. We propose a slight modification of his idea: the Radon-Nikodym Oracles. Using these oracles any reasonable graph property can be tested in constant-time against any reasonable unknown distribution in the category of planar graphs. We also discuss Randomized Local Distributed Algorithms, which work on very large graphs with unknown distributions. Finally, we discuss how can we learn graph properties using observations instead of samplings.
Game Values of Strong Placement Games
The legal positions of a strong placement game, such as Domineering, form a simplicial complex called the legal complex. In this paper, we use the legal complex to study the game values taken on by the class of strong placement games using the legal complex. We show that many interesting values are possible, including all numbers and nimbers. We further consider how structures of the legal complex influence which values are possible.
On the tangle compactification of infinite graphs
In finite graphs, finite-order tangles offer an abstract description of highly connected substructures. In infinite graphs, infinite-order tangles compactify the graphs in the same way the ends compactify connected locally finite graphs. Thus, the arising tangle compactification extends the well-known Freudenthal compactification from connected locally finite graphs to arbitrary infinite graphs. This Master's thesis investigates the tangle compactifcation.
Moment Calculus on Ramsey Graph
When I did my thesis defense presentation eleven years ago, I chose to present the subject of Ramsey theory from the moment calculus perspective. I don't think I did too well there (although I passed). Time has passed and this is the chance to redeem myself. Here we relate Ramsey numbers, $R(k,k)$, with the method of moment calculus by checking the distribution of numbers of monochromatic complete subgraph of $k$ vertices in the random graphs. We also review Delaporte distribution's connection that was mentioned in the paper by Robertson, Cipolli and Dascalu.
Representations of infinite tree-sets
Published
• View Publication
• BIB
Tree sets are abstract structures that can be used to model various tree-shaped objects in combinatorics. Finite tree sets can be represented by finite graph-theoretical trees. We extend this representation theory to infinite tree sets.
First we characterise those tree sets that can be represented by tree sets arising from infinite trees; these are precisely those tree sets without a chain of order type ${ω+1}$. Then we introduce and study a topological generalisation of infinite trees which can have limit edges, and show that every infinite tree set can be represented by the tree set admitted by a suitable such tree-like space.
Clique immersion in graph products
Published
• View Publication
• BIB
Let $G,H$ be graphs and $G*H$ represent a particular graph product of $G$ and $H$. We define $im(G)$ to be the largest $t$ such that $G$ has a $K_t$-immersion and ask: given $im(G)=t$ and $im(H)=r$, how large is $im(G*H)$? Best possible lower bounds are provided when $*$ is the Cartesian or lexicographic product, and a conjecture is offered for each of the direct and strong products, along with some partial results.
Induced subgraphs of powers of oriented cycles
Published
• View Publication
• BIB
By using a $q$-analogue of the "magic" matrix introduced by H.Huang in his elegant solution of the sensitivity conjecture, we give a direct generalization of his result, replacing a hypercube graph by a Cartesian power of a directed $l$-cycle.
Equitable Colorings of Borel Graphs
Published
• View Publication
• BIB
Hajnal and Szemerédi proved that if $G$ is a finite graph with maximum degree $Δ$, then for every integer $k \geqslant Δ+1$, $G$ has a proper coloring with $k$ colors in which every two color classes differ in size at most by $1$; such colorings are called equitable. We obtain an analog of this result for infinite graphs in the Borel setting. Specifically, we show that if $G$ is an aperiodic Borel graph of finite maximum degree $Δ$, then for each $k \geqslant Δ+ 1$, $G$ has a Borel proper $k$-coloring in which every two color classes are related by an element of the Borel full semigroup of $G$. In particular, such colorings are equitable with respect to every $G$-invariant probability measure. We also establish a measurable version of a result of Kostochka and Nakprasit on equitable $Δ$-colorings of graphs with small average degree. Namely, we prove that if $Δ\geqslant 3$, $G$ does not contain a clique on $Δ+ 1$ vertices, and $μ$ is an atomless $G$-invariant probability measure such that the average degree of $G$ with respect to $μ$ is at most $Δ/5$, then $G$ has a $μ$-equitable $Δ$-coloring. As steps towards the proof of this result, we establish measurable and list coloring extensions of a strengthening of Brooks's theorem due to Kostochka and Nakprasit.
Critical Points, Critical Values, and a Determinant Identity for Complex Polynomials
Published
• View Publication
• BIB
Given any n-tuple of complex numbers, one can canonically define a polynomial of degree n+1 that has the entries of this n-tuple as its critical points. In 2002, Beardon, Carne, and Ng studied a map $θ\colon \mathbb{C}^n\to \mathbb{C}^n$ which outputs the critical values of the canonical polynomial constructed from the input, and they proved that this map is onto. Along the way, they showed that $θ$ is a local homeomorphism whenever the entries of the input are distinct and nonzero, and, implicitly, they produced a polynomial expression for the Jacobian determinant of $θ$. In this article we extend and generalize both the local homeomorphism result and the elegant determinant identity to analogous situations where the critical points occur with multiplicities. This involves stratifying $\mathbb{C}^n$ according to which coordinates are equal and generalizing $θ$ to a similar map $\mathbb{C}^\ell \to \mathbb{C}^\ell$ where $\ell$ is the number of distinct critical points. The more complicated determinant identity that we establish is closely connected to the multinomial identity known as Dyson's conjecture.
Interval-Permutation Segment Graphs
In this work, we introduce the \emph{interval permutation segment (IP-SEG)} model that naturally generalizes the geometric intersection models of interval and permutation graphs. We study properties of two graph classes that arise from the IP-SEG model and present a family of forbidden subgraphs for these classes. In addition, we present polynomial algorithms for the clique and independent set problems on these classes, when the model is given as part of the input.
Infinite Summation Formulas Involving Riemann-Zeta function
By some hypergeometric summation theorems, the authors establish a series of new infinite summation formulas involving generalized harmonic numbers related to Riemann-Zeta function, with three different patterns.
Perfect graphs for domination games
Let $γ_g(G)$ and $γ_{tg}(G)$ be the game domination number and the total game domination number of a graph $G$, respectively. Then $G$ is $γ_g$-perfect (resp. $γ_{tg}$-perfect), if every induced subgraph $F$ of $G$ satisfies $γ_g(F)=γ(F)$ (resp. $γ_{tg}(F)=γ_t(F)$). A recursive characterization of $γ_g$-perfect graphs is derived. The characterization yields a polynomial recognition algorithm for $γ_g$-perfect graphs. It is proved that every minimally $γ_g$-imperfect graph has domination number $2$. All minimally $γ_g$-imperfect triangle-free graphs are determined. It is also proved that $γ_{tg}$-perfect graphs are precisely $\overline{2P_3}$-free cographs.