Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Additional Constructions to Solve the Generalized Russian Cards Problem using Combinatorial Designs
Published
• View Publication
• BIB
In the generalized Russian cards problem, we have a card deck $X$ of $n$ cards and three participants, Alice, Bob, and Cathy, dealt $a$, $b$, and $c$ cards, respectively. Once the cards are dealt, Alice and Bob wish to privately communicate their hands to each other via public announcements, without the advantage of a shared secret or public key infrastructure. Cathy should remain ignorant of all but her own cards after Alice and Bob have made their announcements. Notions for Cathy's ignorance in the literature range from Cathy not learning the fate of any individual card with certainty (weak $1$-security) to not gaining any probabilistic advantage in guessing the fate of some set of $δ$ cards (perfect $δ$-security). As we demonstrate, the generalized Russian cards problem has close ties to the field of combinatorial designs, on which we rely heavily, particularly for perfect security notions. Our main result establishes an equivalence between perfectly $δ$-secure strategies and $(c+δ)$-designs on $n$ points with block size $a$, when announcements are chosen uniformly at random from the set of possible announcements. We also provide construction methods and example solutions, including a construction that yields perfect $1$-security against Cathy when $c=2$. We leverage a known combinatorial design to construct a strategy with $a=8$, $b=13$, and $c=3$ that is perfectly $2$-secure. Finally, we consider a variant of the problem that yields solutions that are easy to construct and optimal with respect to both the number of announcements and level of security achieved. Moreover, this is the first method obtaining weak $δ$-security that allows Alice to hold an arbitrary number of cards and Cathy to hold a set of $c = \lfloor \frac{a-δ}{2} \rfloor$ cards. Alternatively, the construction yields solutions for arbitrary $δ$, $c$ and any $a \geq δ+ 2c$.
An Explicit Conjectured Determinant Evaluation Whose Proof Would Make Me Happy (and the OEIS richer)
I conjecture a certain explicit determinant evaluation, whose proof would imply the solution of certain enumeration problem that I have been working on, and that I find interesting. I am pledging \$500 to the OEIS Foundation (in honor of the prover!) for a proof, and \$50 (in honor of the disprover)
On polygon numbers of circle graphs and distance hereditary graphs
Published
• View Publication
• BIB
Circle graphs are intersection graphs of chords in a circle and $k$-polygon graphs are intersection graphs of chords in a convex $k$-sided polygon where each chord has its endpoints on distinct sides. The $k$-polygon graphs, for $k \ge 2$, form an infinite chain of graph classes, each of which contains the class of permutation graphs. The union of all of those graph classes is the class of circle graphs. The polygon number $\gp(G)$ of a circle graph $G$ is the minimum $k$ such that $G$ is a $k$-polygon graph. Given a circle graph $G$ and an integer $k$, determining whether $\gp(G) \le k$ is NP-complete, while the problem is solvable in polynomial time for fixed $k$.
In this paper, we show that $\gp(G)$ is always at least as large as the asteroidal number of $G$, and equal to the asteroidal number of $G$ when $G$ is a connected distance hereditary graph that is not a clique. This implies that the classes of distance hereditary permutation graphs and distance hereditary AT-free graphs are the same, and we give a forbidden subgraph characterization of that class. We also establish the following upper bounds: $\gp(G)$ is at most the clique cover number of $G$ if $G$ is not a clique, at most 1 plus the independence number of $G$, and at most $\lceil n/2 \rceil$ where $n \ge 3$ is the number of vertices of $G$. Our results lead to linear time algorithms for finding the minimum number of corners that must be added to a given circle representation to produce a polygon representation, and for finding the asteroidal number of a distance hereditary graph, both of which are improvements over previous algorithms for those problems.
Bounds on the Stanley depth and Stanley regularity of edge ideals of clutters
Published
• View Publication
• BIB
Let $I$ be the edge ideal of a clutter $\mathcal{C}$ in a polynomial ring $S$. In this paper, we present estimations of the Stanley depth of $I$ as well as the Stanley regularity of $S/I$, in terms of combinatorial data from the clutter $\mathcal{C}$.
Automatic Enumeration of Generalized Menage Numbers
I describe an empirical-yet-rigorous, algorithm, based on Riordan's rook polynomials and the so-called C-finite ansatz, fully implemented in the accompanying Maple package (http://www.math.rutgers.edu/~zeilberg/tokhniot/MENAGES ), MENAGES, that reproduces in a few seconds, rigorously-proved enumeration theorems on permutations with restricted positions, previously proved by quite a few illustrious human mathematicians, and that can go far beyond any human attempts.
Proof of a conjecture related to divisibility properties of binomial coefficients
Published in The Electronic Journal of Combinatorics 22(2015), #P1.9
• View Publication
• BIB
Let $a,b$ and $n$ be positive integers with $a>b$. In this note, we prove that $$(2bn+1)(2bn+3){2bn \choose bn}\bigg|3(a-b)(3a-b){2an \choose an}{an\choose bn}.$$ This confirms a recent conjecture of Amdeberhan and Moll.
Efficient random sampling of binary and unary-binary trees via holonomic equations
Published
• View Publication
• BIB
We present a new uniform random sampler for binary trees with $n$ internal nodes consuming $2n + Θ(\log(n)^2)$ random bits on average. This makes it quasi-optimal and out-performs the classical Remy algorithm. We also present a sampler for unary-binary trees with $n$ nodes taking $Θ(n)$ random bits on average. Both are the first linear-time algorithms to be optimal up to a constant.
Some families of graphs whose domination polynomials are unimodal
Let $G$ be a simple graph of order $n$.
The domination polynomial of $G$ is the polynomial
$D(G, x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}$,
where $d(G,i)$ is the number of dominating sets of $G$ of size $i$ and
$γ(G)$ is the domination number of $G$. It is conjectured that the domination polynomial of any graph is unimodal.
In this paper we present some families of graphs whose domination polynomials are unimodal.
The Asymptotics of Large Constrained Graphs
Published in J. Phys. A: Math. Theor., 47, 2014, 175001
• View Publication
• BIB
We show, through local estimates and simulation, that if one constrains simple graphs by their densities $\varepsilon$ of edges and $τ$ of triangles, then asymptotically (in the number of vertices) for over $95\%$ of the possible range of those densities there is a well-defined typical graph, and it has a very simple structure: the vertices are decomposed into two subsets $V_1$ and $V_2$ of fixed relative size $c$ and $1-c$, and there are well-defined probabilities of edges, $g_{jk}$, between $v_j\in V_j$, and $v_k\in V_k$. Furthermore the four parameters $c, g_{11}, g_{22}$ and $g_{12}$ are smooth functions of $(\varepsilon,τ)$ except at two smooth `phase transition' curves.
The flush statistic on semistandard Young tableaux
Published in C. R. Acad. Sci. Paris, Ser. I 352 (2014) 367-371
• View Publication
• BIB
In this note, a statistic on Young tableaux is defined which encodes data needed for the Casselman-Shalika formula.
On the Duality of Semiantichains and Unichain Coverings
Published
• View Publication
• BIB
We study a min-max relation conjectured by Saks and West: For any two posets $P$ and $Q$ the size of a maximum semiantichain and the size of a minimum unichain covering in the product $P\times Q$ are equal. For positive we state conditions on $P$ and $Q$ that imply the min-max relation. Based on these conditions we identify some new families of posets where the conjecture holds and get easy proofs for several instances where the conjecture had been verified before. However, we also have examples showing that in general the min-max relation is false, i.e., we disprove the Saks-West conjecture.
Multivariate Apéry numbers and supercongruences of rational functions
Published in Algebra Number Theory 8 (2014) 1985-2008
• View Publication
• BIB
One of the many remarkable properties of the Apéry numbers $A (n)$, introduced in Apéry's proof of the irrationality of $ζ(3)$, is that they satisfy the two-term supercongruences \begin{equation*}
A (p^r m) \equiv A (p^{r - 1} m) \pmod{p^{3 r}} \end{equation*} for primes $p \geq 5$. Similar congruences are conjectured to hold for all Apéry-like sequences. We provide a fresh perspective on the supercongruences satisfied by the Apéry numbers by showing that they extend to all Taylor coefficients $A (n_1, n_2, n_3, n_4)$ of the rational function \begin{equation*}
\frac{1}{(1 - x_1 - x_2) (1 - x_3 - x_4) - x_1 x_2 x_3 x_4} . \end{equation*} The Apéry numbers are the diagonal coefficients of this function, which is simpler than previously known rational functions with this property.
Our main result offers analogous results for an infinite family of sequences, indexed by partitions $λ$, which also includes the Franel and Yang--Zudilin numbers as well as the Apéry numbers corresponding to $ζ(2)$. Using the example of the Almkvist--Zudilin numbers, we further indicate evidence of multivariate supercongruences for other Apéry-like sequences.
The Milnor fibration of a hyperplane arrangement: from modular resonance to algebraic monodromy
Published in Proceedings of the London Mathematical Society 114 (2017), no. 6, 961-1004
• View Publication
• BIB
A central question in arrangement theory is to determine whether the characteristic polynomial $Δ_q$ of the algebraic monodromy acting on the homology group $H_q(F(\mathcal{A}),\mathbb{C})$ of the Milnor fiber of a complex hyperplane arrangement $\mathcal{A}$ is determined by the intersection lattice $L(\mathcal{A})$. Under simple combinatorial conditions, we show that the multiplicities of the factors of $Δ_1$ corresponding to certain eigenvalues of order a power of a prime $p$ are equal to the Aomoto--Betti numbers $β_p(\mathcal{A})$, which in turn are extracted from $L(\mathcal{A})$. When $\mathcal{A}$ defines an arrangement of projective lines with only double and triple points, this leads to a combinatorial formula for the algebraic monodromy. To obtain these results, we relate nets on the underlying matroid of $\mathcal{A}$ to resonance varieties in positive characteristic. Using modular invariants of nets, we find a new realizability obstruction (over $\mathbb{C}$) for matroids, and we estimate the number of essential components in the first complex resonance variety of $\mathcal{A}$. Our approach also reveals a rather unexpected connection of modular resonance with the geometry of ${\rm SL}_2(\mathbb{C})$-representation varieties, which are governed by the Maurer--Cartan equation.
A Search Procedure for Cyclic Subsets
In this paper, a polynomial time algorithm for finding the set of all cyclic subsets in a graph is presented. The concept of cyclic subsets has already been introduced in an earlier paper. The algorithm finds cyclic subsets in a graph G by conjoining building block subsets of length three in V(G). We prove the correctness of this algorithm and present an asymptotic time complexity analysis of the algorithm's performance.
Cycle Double Cover Conjecture
In this paper, a proof of the cycle double cover conjecture is presented. The cycle double cover conjecture purports that if a graph is bridgeless, then there exists a list of cycles in the graph such that every edge in the graph appears in the list exactly twice. By applying induction on the number of edges in a bridgeless graph, I show that when an edge is added to a bridgeless graph, we can reform the cycle double cover to include that edge. By mathematical induction, this concludes the general CDC.
Directed Metric Dimension of Oriented Graphs with Cyclic Covering
Published in J. Combinat. Math. Combinat. Comput. 94 (2015) 15-25
• Search Publication
Let $D$ be a strongly connected oriented graph with vertex-set $V$ and arc-set $A$. The distance from a vertex $u$ to another vertex $v$, $d(u,v)$ is the minimum length of oriented paths from $u$ to $v$. Suppose $B=\{b_1,b_2,b_3,...b_k\}$ is a nonempty ordered subset of $V$. The representation of a vertex $v$ with respect to $B$, $r(v|B)$, is defined as a vector $(d(v,b_1), d(v,b_2), ..., d(v,b_k))$. If any two distinct vertices $u,v$ satisfy $r(u|B)\neq r(v|B)$, then $B$ is said to be a resolving set of $D$. If the cardinality of $B$ is minimum then $B$ is said to be a basis of $D$ and the cardinality of $B$ is called the directed metric dimension of $D$.
Let $G$ be the underlying graph of $D$ admitting a $C_n$-covering. A $C_n$-simple orientation is an orientation on $G$ such that every $C_n$ in $D$ is strongly connected. This paper deals with metric dimensions of oriented wheels, oriented fans, and amalgamation of oriented cycles, all of which admitting $C_n$-simple orientations.
On the degree distribution of a growing network model
In this note we make some specific observations on the distribution of the degree of a given vertex in certain model of randomly growing networks. The rule for network growth is the following. Starting with an initial graph of minimum degree at least $k$, new vertices are added one by one. Each new vertex $v$ first chooses a random vertex $w$ to join to, where the probability of choosing $w$ is proportional to its degree. Then $k$ edges are added from $v$ to randomly chosen neighbours of $w$.
Graph Isomorphism and the Lasserre Hierarchy
In this paper we show lower bounds for a certain large class of algorithms solving the Graph Isomorphism problem, even on expander graph instances. Spielman [25] shows an algorithm for isomorphism of strongly regular expander graphs that runs in time exp(O(n^(1/3)) (this bound was recently improved to expf O(n^(1/5) [5]). It has since been an open question to remove the requirement that the graph be strongly regular. Recent algorithmic results show that for many problems the Lasserre hierarchy works surprisingly well when the underlying graph has expansion properties. Moreover, recent work of Atserias and Maneva [3] shows that k rounds of the Lasserre hierarchy is a generalization of the k-dimensional Weisfeiler-Lehman algorithm for Graph Isomorphism. These two facts combined make the Lasserre hierarchy a good candidate for solving graph isomorphism on expander graphs. Our main result rules out this promising direction by showing that even Omega(n) rounds of the Lasserre semidefinite program hierarchy fail to solve the Graph Isomorphism problem even on expander graphs.
The Expected Shape of Random Doubly Alternating Baxter Permutations
Published
• View Publication
• BIB
Guibert and Linusson introduced the family of doubly alternating Baxter permutations, i.e. Baxter permutations $σ\in S_n$, such that $σ$ and $σ^{-1}$ are alternating. They proved that the number of such permutations in $S_{2n}$ and $S_{2n+1}$ is the Catalan number $C_n$. In this paper we explore the expected limit shape of such permutations, following the approach by Miner and Pak.
Sequential edge-coloring on the subset of vertices of almost regular graphs
Let $G$ be a graph and $R\subseteq V(G)$. A proper edge-coloring of a graph $G$ with colors $1,\ldots,t$ is called an $R$-sequential $t$-coloring if the edges incident to each vertex $v\in R$ are colored by the colors $1,\ldots,d_{G}(v)$, where $d_{G}(v)$ is the degree of the vertex $v$ in $G$. In this note, we show that if $G$ is a graph with $Δ(G)-δ(G)\leq 1$ and $χ^{\prime}(G)=Δ(G)=r$ ($r\geq 3$), then $G$ has an $R$-sequential $r$-coloring with $\vert R\vert \geq \left\lceil\frac{(r-1)n_{r}+n}{r}\right\rceil$, where $n=\vert V(G)\vert$ and $n_{r}=\vert\{v\in V(G):d_{G}(v)=r\}\vert$. As a corollary, we obtain the following result: if $G$ is a graph with $Δ(G)-δ(G)\leq 1$ and $χ^{\prime}(G)=Δ(G)=r$ ($r\geq 3$), then $Σ^{\prime}(G)\leq \left\lfloor\frac {2n_{r}(2r-1)+n(r-1)(r^{2}+2r-2)}{4r}\right\rfloor$, where $Σ^{\prime}(G)$ is the edge-chromatic sum of $G$.