Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The genus of a random bipartite graph
Published in Can. J. Math.-J. Can. Math. 72 (2020) 1607-1623
• View Publication
• BIB
Archdeacon and Grable (1995) proved that the genus of the random graph $G\in\mathcal{G}_{n,p}$ is almost surely close to $pn^2/12$ if $p=p(n)\geq3(\ln n)^2n^{-1/2}$. In this paper we prove an analogous result for random bipartite graphs in $\mathcal{G}_{n_1,n_2,p}$. If $n_1\ge n_2 \gg 1$, phase transitions occur for every positive integer $i$ when $p=Θ((n_1n_2)^{-\frac{i}{2i+1}})$. A different behaviour is exhibited when one of the bipartite parts has constant size, $n_1\gg1$ and $n_2$ is a constant. In that case, phase transitions occur when $p=Θ(n_1^{-1/2})$ and when $p=Θ(n_1^{-1/3})$.
On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts
Tewodros Amdeberhan and Armin Straub initiated the study of enumerating subfamilies of the set of (s,t)-core partitions. While the enumeration of (n+1,n+2)-core partitions into distinct parts is relatively easy (in fact it equals the Fibonacci number F_{n+2}), the enumeration of (n+1,n+2)-core partitions into odd parts remains elusive.
Straub computed the first eleven terms of that sequence, and asked for a "formula," or at least a fast way, to compute many terms. While we are unable to find a "fast" algorithm, we did manage to find a "faster" algorithm, which enabled us to compute 23 terms of this intriguing sequence. We strongly believe that this sequence has an algebraic generating function, since a "sister sequence" (see the article), is OEIS sequence A047749 that does have an algebraic generating function. One of us (DZ) is pledging a donation of 100 dollars to the OEIS, in honor of the first person to generate sufficiently many terms to conjecture (and prove non-rigorously) an algebraic equation for the generating function of this sequence, and another 100 dollars for a rigorous proof of that conjecture.
Finally, we also develop algorithms that find explicit generating functions for other, more tractable, families of (n+1,n+2)-core partitions.
Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs
We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the "semi-generic" complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of [3], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in [26]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in [10] and the papers cited therein.
Using Ramsey theory to measure unavoidable spurious correlations in Big Data
Given a dataset we quantify how many patterns must always exist in the dataset. Formally this is done through the lens of Ramsey theory of graphs, and a quantitative bound known as Goodman's theorem. Combining statistical tools with Ramsey theory of graphs gives a nuanced understanding of how far away a dataset is from random, and what qualifies as a meaningful pattern.
This method is applied to a dataset of repeated voters in the 1984 US congress, to quantify how homogeneous a subset of congressional voters is. We also measure how transitive a subset of voters is. Statistical Ramsey theory is also used with global economic trading data to provide evidence that global markets are quite transitive.
The Strongly Antimagic labelings of Double Spiders
A graph $G=(V,E)$ is strongly antimagic, if there is a bijective mapping $f: E \to \{1,2,\ldots,|E|\}$ such that for any two vertices $u\neq v$, not only $\sum_{e \in E(u)}f(e) \ne \sum_{e\in E(v)}f(e)$ and also $\sum_{e \in E(u)}f(e) < \sum_{e\in E(v)}f(e)$ whenever $°(u)< °(v) $, where $E(u)$ is the set of edges incident to $u$. In this paper, we prove that double spiders, the trees contains exactly two vertices of degree at least 3, are strongly antimagic.
Positive Solutions of p-th Yamabe Type Equations on Infinite Graphs
Let $G=(V,E)$ be a connected infinite and locally finite weighted graph, $Δ_p$ be the $p$-th discrete graph Laplacian. In this paper, we consider the $p$-th Yamabe type equation $$-Δ_pu+h|u|^{p-2}u=gu^{α-1}$$ on $G$, where $h$ and $g$ are known, $2<α\leq p$. The prototype of this equation comes from the smooth Yamabe equation on an open manifold. We prove that the above equation has at least one positive solution on $G$.
From acute sets to centrally symmetric $2$-neighborly polytopes
What is the maximum number of vertices that a centrally symmetric 2-neighborly polytope of dimension $d$ can have? It is known that the answer does not exceed $2^d$. Here we provide an explicit construction showing that it is at least $2^{d-1}+2$.
Protected Vertices in Motzkin trees
In this paper we find recurrence relations for the asymptotic probability a vertex is $k$ protected in all Motzkin trees. We use a similar technique to calculate the probabilities for balanced vertices of rank $k$. From this we calculate upper and lower bounds for the probability a vertex is balanced and upper and lower bounds for the expected rank of balanced vertices.
On strictly Deza graphs with parameters (n,k,k-1,a)
Published in European Journal of Combinatorics Volume 80, August 2019, Pages 194-202
• View Publication
• BIB
A nonempty $k$-regular graph $Γ$ on $n$ vertices is called a Deza graph if there exist constants $b$ and $a$ $(b \geq a)$ such that any pair of distinct vertices of $Γ$ has precisely either $b$ or $a$ common neighbours. The quantities $n$, $k$, $b$, and $a$ are called the parameters of $Γ$ and are written as the quadruple $(n,k,b,a)$. If a Deza graph has diameter 2 and is not strongly regular, then it is called a strictly Deza graph. In the paper we investigate strictly Deza graphs with parameters $ (n, k, b, a) $, where its quantities satisfy the conditions $k = b + 1$ and $\frac{k(k - 1) - a(n - 1)}{b - a} > 1$.
Self-avoiding and plane-filling properties for terdragons and other triangular folding curves
We consider $n$-folding triangular curves, or $n$-folding t-curves, obtained by folding $n$ times a strip of paper in $3$, each time possibly left then right or right then left, and unfolding it with $π/3$ angles. An example is the well known terdragon curve. They are self-avoiding like $n$-folding curves obtained by folding $n$ times a strip of paper in two, each time possibly left or right, and unfolding it with $π/2$ angles.
We also consider complete folding t-curves, which are the curves without endpoint obtained as inductive limits of $n$-folding t-curves. We show that each of them can be extended into a unique covering of the plane by disjoint such curves, and this covering satisfies the local isomorphism property introduced to investigate aperiodic tiling systems. Two coverings are locally isomorphic if and only if they are associated to the same sequence of foldings. Each class of locally isomorphic coverings contains exactly $ 2^{ω}$ (resp. $2^{ω}$, $2$ or $5$, $0$) isomorphism classes of coverings by $1$ (resp. $2$, $3$, $\geq 4$) curves. These properties are partly similar to those of complete folding curves.
Linear Type-p Most-Perfect Squares
We describe a generalization of most-perfect magic squares, called type-p most-perfect squares, and in prime-power orders we give a linear construction of these squares reminiscent of de la Loubere's classical magic square construction method. Type-p most-perfect squares can be used to construct other interesting squares (e.g., generalized Franklin squares) and our linear construction may have implications for counting type-p most-perfect squares.
Pandiagonal Type-p Franklin Squares
For prime $p$ we define magic squares of order $kp^3$, called type-$p$ Franklin squares, whose properties specialize to those of classical Franklin squares in the case $p=2$. We construct type-$p$ Franklin squares in prime-power orders.
On efficiently solvable cases of Quantum k-SAT
Published in Communications in Mathematical Physics, vol 381, 209-256 (2021). Short version in Proceedings of 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
• View Publication
• BIB
The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA_1-complete problems (for k>=3), respectively, where QMA_1 is a quantum generalization of NP with one-sided error. Whereas k-SAT has been well-studied for special tractable cases, as well as from a parameterized complexity perspective, much less is known in similar settings for k-QSAT. Here, we study the open problem of computing satisfying assignments to k-QSAT instances which have a "matching" or "dimer covering"; this is an NP problem whose decision variant is trivial, but whose search complexity remains open.
Our results fall into three directions, all of which relate to the "matching" setting: (1) We give a polynomial-time classical algorithm for k-QSAT when all qubits occur in at most two clauses. (2) We give a parameterized algorithm for k-QSAT instances from a certain non-trivial class, which allows us to obtain exponential speedups over brute force methods in some cases. This is achieved by reducing the problem to solving for a single root of a single univariate polynomial. (3) We conduct a structural graph theoretic study of 3-QSAT interaction graphs which have a "matching". We remark that the results of (2), in particular, introduce a number of new tools to the study of Quantum SAT, including graph theoretic concepts such as transfer filtrations and blow-ups from algebraic geometry.
The center of the twisted Heisenberg category, factorial Schur $Q$-functions, and transition functions on the Schur graph
We establish an isomorphism between the center of the twisted Heisenberg category and the subalgebra of the symmetric functions $Γ$ generated by odd power sums. We give a graphical description of the factorial Schur $Q$-functions as closed diagrams in the twisted Heisenberg category and show that the bubble generators of the center correspond to two sets of generators of $Γ$ which encode data related to up/down transition functions on the Schur graph. Finally, we describe an action of the trace of the twisted Heisenberg category, the $W$-algebra $W^-\subset W_{1+\infty}$, on $Γ$.
Range results for some social choice correspondences
Determination of the range of a variety of social choice correspondences: Plurality voting, the Borda rule, the Pareto rule, the Copeland correspondence, approval voting, and the top cycle correspondence
An Efficient Algorithm for Computing Network Reliability in Small Treewidth
We consider the classic problem of Network Reliability. A network is given together with a source vertex, one or more target vertices, and probabilities assigned to each of the edges. Each edge appears in the network with its associated probability and the problem is to determine the probability of having at least one source-to-target path. This problem is known to be NP-hard.
We present a linear-time fixed-parameter algorithm based on a parameter called treewidth, which is a measure of tree-likeness of graphs. Network Reliability was already known to be solvable in polynomial time for bounded treewidth, but there were no concrete algorithms and the known methods used complicated structures and were not easy to implement. We provide a significantly simpler and more intuitive algorithm that is much easier to implement.
We also report on an implementation of our algorithm and establish the applicability of our approach by providing experimental results on the graphs of subway and transit systems of several major cities, such as London and Tokyo. To the best of our knowledge, this is the first exact algorithm for Network Reliability that can scale to handle real-world instances of the problem.
On regular 3-wise intersecting families
Ellis and the third author showed, verifying a conjecture of Frankl, that any $3$-wise intersecting family of subsets of $\{1,2,\dots,n\}$ admitting a transitive automorphism group has cardinality $o(2^n)$, while a construction of Frankl demonstrates that the same conclusion need not hold under the weaker constraint of being regular. Answering a question of Cameron, Frankl and Kantor from 1989, we show that the restriction of admitting a transitive automorphism group may be relaxed significantly: we prove that any $3$-wise intersecting family of subsets of $\{1,2,\dots,n\}$ that is regular and increasing has cardinality $o(2^n)$.
Orbits of Plane Partitions of Exceptional Lie Type
Published in European Journal of Combinatorics 74, 2018, 90-109
• View Publication
• BIB
For each minuscule flag variety $X$, there is a corresponding minuscule poset, describing its Schubert decomposition. We study an action on plane partitions over such posets, introduced by P. Cameron and D. Fon-der-Flaass (1995). For plane partitions of height at most $2$, D. Rush and X. Shi (2013) proved an instance of the cyclic sieving phenomenon, completely describing the orbit structure of this action. They noted their result does not extend to greater heights in general; however, when $X$ is one of the two minuscule flag varieties of exceptional Lie type $E$, they conjectured explicit instances of cyclic sieving for all heights.
We prove their conjecture in the case that $X$ is the Cayley-Moufang plane of type $E_6$. For the other exceptional minuscule flag variety, the Freudenthal variety of type $E_7$, we establish their conjecture for heights at most $4$, but show that it fails generally. We further give a new proof of an unpublished cyclic sieving of D. Rush and X. Shi (2011) for plane partitions of any height in the case $X$ is an even-dimensional quadric hypersurface. Our argument uses ideas of K. Dilks, O. Pechenik, and J. Striker (2017) to relate the action on plane partitions to combinatorics derived from $K$-theoretic Schubert calculus.
On some double sums with multiplicative characters
We obtain a new upper bound for binary sums with multiplicative characters over variables belong to some sets, having small additive doubling.
Perfect State Transfer on Abelian Cayley Graphs
Perfect state transfer (PST) has great significance due to its applications in quantum information processing and quantum computation. In this paper we present a characterization on connected simple Cayley graph $Γ={\rm Cay}(G,S)$ having PST. We show that many previous results on periodicity and existence of PST of circulant graphs (where the underlying group $G$ is cyclic) and cubelike graphs ($G=(\mathbb{F}_2^n,+)$) can be derived or generalized to arbitrary abelian case in unified and more simple ways from our characterization. We also get several new results including answers on some problems raised before.