Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Rotational circulant graphs
Published in Discrete Applied Mathematics 162 (2014) 296-305
• View Publication
• BIB
A Frobenius group is a transitive permutation group which is not regular but only the identity element can fix two points. Such a group can be expressed as the semi-direct product $G = K \rtimes H$ of a nilpotent normal subgroup $K$ and another group $H$ fixing a point. A first-kind $G$-Frobenius graph is a connected Cayley graph on $K$ with connection set an $H$-orbit $a^H$ on $K$ that generates $K$, where $H$ has an even order or $a$ is an involution. It is known that the first-kind Frobenius graphs admit attractive routing and gossiping algorithms. A complete rotation in a Cayley graph on a group $G$ with connection set $S$ is an automorphism of $G$ fixing $S$ setwise and permuting the elements of $S$ cyclically. It is known that if the fixed-point set of such a complete rotation is an independent set and not a vertex-cut, then the gossiping time of the Cayley graph (under a certain model) attains the smallest possible value. In this paper we classify all first-kind Frobenius circulant graphs that admit complete rotations, and describe a means to construct them. This result can be stated as a necessary and sufficient condition for a first-kind Frobenius circulant to be 2-cell embeddable on a closed orientable surface as a balanced regular Cayley map. We construct a family of non-Frobenius circulants admitting complete rotations such that the corresponding fixed-point sets are independent and not vertex-cuts. We also give an infinite family of counterexamples to the conjecture that the fixed-point set of every complete rotation of a Cayley graph is not a vertex-cut.
New Restriction Estimates for the 3-d Paraboloid over Finite Fields
Published
• View Publication
• BIB
We improve the range of exponents for the restriction problem for the 3-d paraboloid over finite fields. The key new ingredient is a variant of the Bourgain-Katz-Tao finite field incidence theorem derived from sum-product estimates. In prime order fields, we give an explicit relationship between the exponent in this incidence theorem and restriction estimates for the paraboloid.
Andrews Style Partition Identities
We propose a method to construct a variety of partition identities at once. The main application is an all-moduli generalization of some of Andrews' results in [5]. The novelty is that the method constructs solutions to functional equations which are satisfied by the generating functions. In contrast, the conventional approach is to show that a variant of well-known series satisfies the system of functional equations, thus reconciling two separate lines of computations.
Complete intersections in simplicial toric varieties
Published in J. Symbolic Comput. 68 (2015), part 1, 265-286
• View Publication
• BIB
Given a set $\mathcal A = \{a_1,\ldots,a_n\} \subset \mathbb{N}^m$ of nonzero vectors defining a simplicial toric ideal $I_{\mathcal A} \subset k[x_1,...,x_n]$, where $k$ is an arbitrary field, we provide an algorithm for checking whether $I_{\mathcal A}$ is a complete intersection. This algorithm does not require the explicit computation of a minimal set of generators of $I_{\mathcal A}$. The algorithm is based on the application of some new results concerning toric ideals to the simplicial case. For homogenous simplicial toric ideals, we provide a simpler version of this algorithm. Moreover, when $k$ is an algebraically closed field, we list all ideal-theoretic complete intersection simplicial projective toric varieties that are either smooth or have one singular point.
The inversion number and the major index are asymptotically jointly normally distributed on words
Published in Combinator. Probab. Comp. 25 (2016) 470-483
• View Publication
• BIB
In a recent paper, Baxter and Zeilberger show that the two most important Mahonian statistics, the inversion number and the major index, are asymptotically independently normally distributed on permutations. In another recent paper, Canfield, Janson and Zeilberger prove the result, already known to statisticians, that the Mahonian distribution is asymptotically normal on words. This leaves one question unanswered: What, asymptotically, is the joint distribution of the inversion number and the major index on words? We answer this question by establishing convergence to a bivariate normal distribution.
Constructing Complicated Spheres
Fast and efficient homology algorithms are in demand in the applied sciences for analyzing solid materials and proteins, processing digital imaging data, or pattern classification among others. Recent advances employ discrete Morse theory as a preprocessor. Research in this area has lead to the need to find complicated test examples. We present an infinite series of examples that have been constructed to test some of the latest algorithms under development. This family of 4-spheres (known as the Akbulut-Kirby spheres) is based on a handlebody construction via finitely presented groups.
A Witt type formula
This paper investigates some combinatorial and algebraic properties of a Witt type formula for graphs.
A note on closed-form representation of Fibonacci numbers using Fibonacci trees
Published
• View Publication
• BIB
In this paper, we give a new representation of the Fibonacci numbers. This is achieved using Fibonacci trees. With the help of this representation, the nth Fibonacci number can be calculated without having any knowledge about the previous Fibonacci numbers.
Untangling two systems of noncrossing curves
We consider two systems of curves $(α_1,...,α_m)$ and $(β_1,...,β_n)$ drawn on a compact two-dimensional surface $M$ with boundary.
Each $α_i$ and each $β_j$ is either an arc meeting the boundary of $M$ at its two endpoints, or a closed curve. The $α_i$ are pairwise disjoint except for possibly sharing endpoints, and similarly for the $β_j$. We want to "untangle" the $β_j$ from the $α_i$ by a self-homeomorphism of $M$; more precisely, we seek a homeomorphism $φ:M\rightarrow M$ fixing the boundary of $M$ pointwise such that the total number of crossings of the $α_i$ with the $φ(β_j)$ is as small as possible. This problem is motivated by an application in the algorithmic theory of embeddings and 3-manifolds.
We prove that if $M$ is planar, i.e., a sphere with $h\geq 0$ boundary components ("holes"), then $O(mn)$ crossings can be achieved (independently of $h$), which is asymptotically tight, as an easy lower bound shows.
In general, for an arbitrary (orientable or nonorientable) surface $M$ with $h$ holes and of (orientable or nonorientable) genus $g$, we obtain an $O((m+n)^4)$ upper bound, again independent of $h$ and $g$.
The proofs rely, among others, on a result concerning simultaneous planar drawings of graphs by Erten and Kobourov.
Near-optimal separators in string graphs
Let G be a string graph (an intersection graph of continuous arcs in the plane) with m edges. Fox and Pach proved that G has a separator consisting of O(m^{3/4}\sqrt{log m})$ vertices, and they conjectured that the bound of O(\sqrt m) actually holds. We obtain separators with O(\sqrt m \log m) vertices.
Edge-reflection positivity and weighted graph homomorphisms
Published
• View Publication
• BIB
B. Szegedy [Edge coloring models and reflection positivity, {\sl Journal of the American Mathematical Society} {\bf 20} (2007) 969--988] showed that the number of homomorphisms into a weighted graph is equal to the partition function of a complex edge-coloring model. Using some results in geometric invariant theory, we characterize for which weighted graphs the edge-coloring model can be taken to be real valued that is, we characterize for which weighted graphs the number of homomorphisms into them are edge-reflection positive. In particular, we determine explicitly for which simple graphs the number of homomorphisms into them is equal to the partition function of a real edge-coloring model. This answers a question posed by Szegedy.
The VC-Dimension of Graphs with Respect to k-Connected Subgraphs
We study the VC-dimension of the set system on the vertex set of some graph which is induced by the family of its $k$-connected subgraphs. In particular, we give tight upper and lower bounds for the VC-dimension. Moreover, we show that computing the VC-dimension is $\mathsf{NP}$-complete and that it remains $\mathsf{NP}$-complete for split graphs and for some subclasses of planar bipartite graphs in the cases $k = 1$ and $k = 2$. On the positive side, we observe it can be decided in linear time for graphs of bounded clique-width.
Extremal subgraphs of the $d$-dimensional grid graph
For each natural number $n$ we determine, both asymptotically and exactly, the maximum number of edges an induced subgraph of order $n$ of the $d$-dimension a grid graph ${\ints}^d$ can have. The asymptotic bound is obtained by using a theorem Bollobás and Thomason, and the exact bound is obtained by induction. This generalizes some earlier results for the case $d=2$ on one hand, and for $n\leq 2^d$ on the other.
The importance sampling technique for understanding rare events in Erdős-Rényi random graphs
Published
• View Publication
• BIB
In dense Erdős-Rényi random graphs, we are interested in the events where large numbers of a given subgraph occur. The mean behavior of subgraph counts is known, and only recently were the related large deviations results discovered. Consequently, it is natural to ask, can one develop efficient numerical schemes to estimate the probability of an Erdős-Rényi graph containing an excessively large number of a fixed given subgraph? Using the large deviation principle we study an importance sampling scheme as a method to numerically compute the small probabilities of large triangle counts occurring within Erdős-Rényi graphs. We show that the exponential tilt suggested directly by the large deviation principle does not always yield an optimal scheme. The exponential tilt used in the importance sampling scheme comes from a generalized class of exponential random graphs. Asymptotic optimality, a measure of the efficiency of the importance sampling scheme, is achieved by a special choice of the parameters in the exponential random graph that makes it indistinguishable from an Erdős-Rényi graph conditioned to have many triangles in the large network limit. We show how this choice can be made for the conditioned Erdős-Rényi graphs both in the replica symmetric phase as well as in parts of the replica breaking phase to yield asymptotically optimal numerical schemes to estimate this rare event probability.
Generating permutations with a given major index
Published
• View Publication
• BIB
In [S. Effler, F. Ruskey, A CAT algorithm for listing permutations with a given number of inversions, {\it I.P.L.}, 86/2 (2003)] the authors give an algorithm, which appears to be CAT, for generating permutations with a given major index. In the present paper we give a new algorithm for generating a Gray code for subexcedant sequences. We show that this algorithm is CAT and derive it into a CAT generating algorithm for permutations with a given major index.
Group distance magic graphs $G\times C_n$
Published in Discrete Applied Mathematics 177(20) (2014) 80-87
• View Publication
• BIB
A $Γ$-distance magic labeling of a graph $G=(V,E)$ with $|V | = n$ is a bijection $f$ from $V$ to an Abelian group $Γ$ of order $n$ such that the weight $w(x)=\sum_{y\in N_G(x)}f(y)$ of every vertex $x \in V$ is equal to the same element $μ\in Γ$, called the \emph{magic constant}.
In this paper we will show that if $G$ is a graph of order $n=2^{p}(2k+1)$ for some natural numbers $p$, $k$ such that $°(v)\equiv c \imod {2^{p+2}}$ for some constant $c$ for any $v\in V(G)$, then there exists a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $4n$ for the direct product $G\times C_4$. Moreover if $c$ is even then there exists a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $8n$ for the direct product $G\times C_8$.
Teach Network Science to Teenagers
Published
• View Publication
• BIB
We discuss our outreach efforts to introduce school students to network science and explain why networks researchers should be involved in such outreach activities. We provide overviews of modules that we have designed for these efforts, comment on our successes and failures, and illustrate the potentially enormous impact of such outreach efforts.
Poisson summation formula and Box splines
We generalize Dahmen-Micchelli deconvolution formula for Box splines with parameters. Our proof is based on identities for Poisson summation of rational functions with poles on hyperplanes.
From dynamical systems to renormalization
Published
• View Publication
• BIB
We study in this paper logarithmic derivatives associated to derivations on graded complete Lie algebra, as well as the existence of inverses. These logarithmic derivatives, when invertible, generalize the exp-log correspondence between a Lie algebra and its Lie group. Such correspondences occur naturally in the study of dynamical systems when dealing with the linearization of vector fields and the non-linearizability of a resonant vector fields corresponds to the non-invertibility of a logarithmic derivative and to the existence of normal forms. These concepts, stemming from the theory of dynamical systems, can be rephrased in the abstract setting of Lie algebra and the same difficulties as in perturbative quantum field theory (pQFT) arise here. Surprisingly, one can adopt the same ideas as in pQFT with fruitful results such as new constructions of normal forms with the help of the Birkhoff decomposition. The analogy goes even further (locality of counter terms, choice of a renormalization scheme) and shall lead to more interactions between dynamical systems and quantum field theory.
Sperner's problem for G-independent families
Published
• View Publication
• BIB
Given a graph G, let Q(G) denote the collection of all independent (edge-free) sets of vertices in G. We consider the problem of determining the size of a largest antichain in Q(G).
When G is the edge-less graph, this problem is resolved by Sperner's Theorem. In this paper, we focus on the case where G is the path of length n-1, proving the size of a maximal antichain is of the same order as the size of a largest layer of Q(G).