Showing 20 papers (Total: 83076 papers, 47999 authors in database)
The Iris function and the matrix permanent
This paper defines the Iris function and provides two formulations of the matrix permanent. The first formulation, valid for arbitrary complex matrices, expresses the permanent of a complex matrix as a contour integral of a second order Iris function over the unit circle around zero. The second formulation is defined for the restricted set of matrices with complex or "Gaussian" integer elements. Using the second formulation, the paper shows that the computation of the permanent of an arbitrary $n\times n$ 0-1 matrix is bounded by $o\left( n^{27} \left( \log \left( {n^3} \right) \right)^6 \left( \log_2 \left( {n} \right) \right)^2\right)$ binary operations.
A lower bound on permutation codes of distance $n-1$
A classical recursive construction for mutually orthogonal latin squares (MOLS) is shown to hold more generally for a class of permutation codes of length $n$ and minimum distance $n-1$. When such codes of length $p+1$ are included as ingredients, we obtain a general lower bound $M(n,n-1) \ge n^{1.079}$ for large $n$, gaining a small improvement on the guarantee given from MOLS.
Bivariate fluctuations for the number of arithmetic progressions in random sets
We study arithmetic progressions $\{a,a+b,a+2b,\dots,a+(\ell-1) b\}$, with $\ell\ge 3$, in random subsets of the initial segment of natural numbers $[n]:=\{1,2,\dots, n\}$. Given $p\in[0,1]$ we denote by $[n]_p$ the random subset of $[n]$ which includes every number with probability $p$, independently of one another. The focus lies on sparse random subsets, i.e.\ when $p=p(n)=o(1)$ as $n\to+\infty$.
Let $X_\ell$ denote the number of distinct arithmetic progressions of length $\ell$ which are contained in $[n]_p$. We determine the limiting distribution for $X_\ell$ not only for fixed $\ell\ge 3$ but also when $\ell=\ell(n)\to+\infty$. The main result concerns the joint distribution of the pair $(X_{\ell},X_{\ell'})$, $\ell>\ell'$, for which we prove a bivariate central limit theorem for a wide range of $p$. Interestingly, the question of whether the limiting distribution is trivial, degenerate, or non-trivial is characterised by the asymptotic behaviour (as $n\to+\infty$) of the threshold function $ψ_\ell=ψ_\ell(n):=np^{\ell-1}\ell$. The proofs are based on the method of moments and combinatorial arguments, such as an algorithmic enumeration of collections of arithmetic progressions.
Expected capture time and throttling number for cop versus gambler
We bound expected capture time and throttling number for the cop versus gambler game on a connected graph with $n$ vertices, a variant of the cop versus robber game that is played in darkness, where the adversary hops between vertices using a fixed probability distribution. The paper that originally defined the cop versus gambler game focused on two versions, a known gambler whose distribution the cop knows, and an unknown gambler whose distribution is secret. We define a new version of the gambler where the cop makes a fixed number of observations before the lights go out and the game begins. We show that the strategy that gives the best possible expected capture time of $n$ for the known gambler can also be used to achieve nearly the same expected capture time against the observed gambler when the cop makes a sufficiently large number of observations. We also show that even with only a single observation, the cop is able to achieve an expected capture time of approximately $1.5n$, which is much lower than the expected capture time of the best known strategy against the unknown gambler (approximately $1.95n$).
Abundance of Progression in commutative semigroup by elementary means
Published in Semigroup forum, 2019
• View Publication
• BIB
Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progression and such collection is also piecewise syndetic in Z. They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. Beiglbock provided an elementary proof of the above result and asked whether the combinatorial argument in his proof can be enhanced in a way which makes it applicable to a more abstract setting. In this work we provide a positive answer to Beiglbock question for commutative semigroup.
Logical complexity of induced subgraph isomorphism for certain graph families
We prove that, for every $\ell\geq 4$, there exists an $\ell$-vertex graph and a first order sentence having a quantifier depth at most $\ell-1$ defining the property of having an induced subgraph isomorphic to the given one. We prove that a first order sentence defining the property of containing an induced subgraph on $\ell$ vertices isomorphic to a given disjoint union of isomorphic complete multipartite graphs has a quantifier depth at least $\ell$. Finally, we prove that, for every graph on $\ell\leq 5$ vertices a sentence defining the property of containing an induced subgraph isomorphic to the given one has a quantifier depth at least $\ell-1$.
Characterization of polynomials whose large powers have fully positive coefficients
We give a criterion which characterizes a real multi-variate Laurent polynomial with full-dimensional smooth Newton polytope to have the property that all sufficiently large powers of the polynomial have fully positive coefficients. Here a Laurent polynomial is said to have fully positive coefficients if the coefficients of its monomial terms indexed by the lattice points of its Newton polytope are all positive. Our result generalizes an earlier result of the authors, which corresponds to the special case when the Newton polytope of the Laurent polynomial is a translate of a standard simplex. The result also generalizes a result of De Angelis, which corresponds to the special case of univariate polynomials. As an application, we also give a characterization of certain polynomial spectral radius functions of the defining matrix functions of Markov chains.
Modular Nekrasov-Okounkov formulas
Published in Séminaire Lotharingien de Combinatoire 81 (2020), Art. B81c 28p
• Search Publication
Using Littlewood's map, which decomposes a partition into its $r$-core and $r$-quotient, Han and Ji have shown that many well-known hook-length formulas admit modular analogues. In this paper we present a variant of the Han-Ji `multiplication theorem' based on a new analogue of Littlewood's decomposition. We discuss several applications to hook-length formulas, one of which leads us to conjecture a modular analogue of the $q,t$-Nekrasov-Okounkov formula.
Embedding onto Wheel-like Networks
One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph embedding problem. In this paper we compute the lower bound for dilation and congestion of embedding onto wheel-like networks. Further, we compute the exact dilation of embedding wheel-like networks into hypertrees, proving that the lower bound obtained is sharp. Again, we compute the exact congestion of embedding windmill graphs into circulant graphs, proving that the lower bound obtained is sharp. Further, we compute the exact wirelength of embedding wheels and fans into 1,2-fault hamiltonian graphs. Using this we estimate the exact wirelength of embedding wheels and fans into circulant graphs, generalized Petersen graphs, augmented cubes, crossed cubes, Möbius cubes, twisted cubes, twisted $n$-cubes, locally twisted cubes, generalized twisted cubes, odd-dimensional cube connected cycle, hierarchical cubic networks, alternating group graphs, arrangement graphs, 3-regular planer hamiltonian graphs, star graphs, generalised matching networks, fully connected cubic networks, tori and 1-fault traceable graphs.
On the weight of Berge-$F$-free hypergraphs
For a graph $F$, we say a hypergraph is a Berge-$F$ if it can be obtained from $F$ by replacing each edge of $F$ with a hyperedge containing it. A hypergraph is Berge-$F$-free if it does not contain a subhypergraph that is a Berge-$F$. The weight of a non-uniform hypergraph $\mathcal{H}$ is the quantity $\sum_{h \in E(\mathcal{H})} |h|$.
Suppose $\mathcal{H}$ is a Berge-$F$-free hypergraph on $n$ vertices. In this short note, we prove that as long as every edge of $\mathcal{H}$ has size at least the Ramsey number of $F$ and at most $o(n)$, the weight of $\mathcal{H}$ is $o(n^2)$. This result is best possible in some sense. Along the way, we study other weight functions, and strengthen results of Gerbner and Palmer; and Grósz, Methuku and Tompkins.
On expander Cayley graphs from Galois rings
In this paper, we study new Cayley graphs over the additive group of Galois rings. First we prove that they are expander graphs by using a Weil-Carlitz-Uchiyama type estimation of character sums for Galois rings. We also show that Cayley graphs from Galois rings of characteristic 4 form a new infinite family of Ramanujan graphs by an elementary eigenvalue estimation. Moreover some other spectral properties of our graphs are also discussed.
On the maximal minimal cube lengths in distinct DNF tautologies
Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we investigate the question of determining the largest k for which there exists boolean formulas in disjunctive normal form (DNF) with n variables, none of whose conjunctions are `parallel', and such that all of them have at least k literals. Using a SAT solver, we answer some of the questions they left open. We also determine the corresponding numbers for DNFs obeying certain symmetries.
Conjecture of Wilf: a survey
This paper intends to survey the vast literature devoted to a problem posed by Wilf in 1978 which, despite the attention it attracted, remains unsolved. As it frequently happens with combinatorial problems, many researchers who got involved in the search for a solution thought at some point that a solution would be just around the corner, but in the present case that corner has never been reached.
By writing this paper I intend to give the reader a broad approach on the problem and, when possible, connections between the various available results. With the hope of gathering some more information than just using set inclusion, at the end of the paper a slightly different way of comparing results is developed.
A combinatorial identity with applications to forest graphs
We give an elementary proof of an interesting combinatorial identity which is of particular interest in graph theory and its applications. Two applications to enumeration of forests with closed-form expressions are given.
An Euler phi function for the Eisenstein integers and some applications
Published in Electronic Journal of Combinatorial Number Theory, 20, Paper No. A20 (2020), 28pp
• Search Publication
The Euler phi function on a given integer $n$ yields the number of positive integers less than $n$ that are relatively prime to $n$. Equivalently, it gives the order of the group of units in the quotient ring $\mathbb{Z}/(n)$. We generalize the Euler phi function to the Eisenstein integer ring $\mathbb{Z}[ρ]$ where $ρ$ is the primitive third root of unity $e^{2πi/3}$ by finding the order of the group of units in the ring $\mathbb{Z}[ρ]/(θ)$ for any given Eisenstein integer $θ$. As one application we investigate a sufficiency criterion for when certain unit groups $\left(\mathbb{Z}[ρ]/(γ^n)\right)^\times$ are cyclic where $γ$ is prime in $\mathbb{Z}[ρ]$ and $n \in \mathbb{N}$, thereby generalizing well-known results of similar applications in the integers and some lesser known results in the Gaussian integers. As another application, we prove that the celebrated Euler-Fermat theorem holds for the Eisenstein integers.
A Combinatorial Problem Solved by a Meta-Fibonacci Recurrence Relation
We present a natural, combinatorial problem whose solution is given by the meta-Fibonacci recurrence relation $a(n) = \sum_{i=1}^p a(n-i+1 - a(n-i))$, where $p$ is prime. This combinatorial problem is less general than those given in [3] (B. Jackson, F. Ruskey, 2006) and [4] (F. Ruskey, C. Deugau, 2009), but it has the advantage of having a simpler statement.
The Fuglede Conjecture holds in \(\F_p^3\) for p=5,7
For p=5,7, we show that a subset \(E \subset \F_p^3\) is spectral if and only if E tiles \(\F_p^3\) by translation. Additionally, we give an alternate proof that the conjecture holds for p=3.
Flexibility of triangle-free planar graphs
Published in Journal of Graph Theory 96(4), 619-641 (2021)
• View Publication
• BIB
Let G be a planar graph with a list assignment L. Suppose a preferred color is given for some of the vertices. We prove that if G is triangle-free and all lists have size at least four, then there exists an L-coloring respecting at least a constant fraction of the preferences.
Distance-based vertex identification in graphs: the outer multiset dimension
Published in Applied Mathematics and Computation, 363, 2019
• View Publication
• BIB
Given a graph $G$ and a subset of vertices $S = \{w_1, \ldots, w_t\} \subseteq V(G)$, the multiset representation of a vertex $u\in V(G)$ with respect to $S$ is the multiset $m(u|S) = \{| d_G(u, w_1), \ldots, d_G(u, w_t) |\}$. A subset of vertices $S$ such that $m(u|S) = m(v|S) \iff u = v$ for every $u, v \in V(G) \setminus S$ is said to be a multiset resolving set, and the cardinality of the smallest such set is the outer multiset dimension. We study the general behaviour of the outer multiset dimension, and determine its exact value for several graph families. We also show that computing the outer multiset dimension of arbitrary graphs is NP-hard, and provide methods for efficiently handling particular cases.
Circuits and circulant minors
Circulant contraction minors play a key role for characterizing ideal circular matrices in terms of minimally non ideal structures. In this article we prove necessary and sufficient conditions for a circular matrix $A$ to have circulant contraction minors in terms of circuits in a digraph associated with $A$. In the particular case when $A$ itself is a circulant matrix, our result provides an alternative characterization to the one previously known from the literature.