Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Fuss-Schröder Paths and Rooted Plane Forests
We describe a bijection between $(k,k)$-Fuss-Schröder paths of type $λ$ and certain rooted plane forests with $n(k+1)+2$ vertices. This yields a recursion which allows us to analytically enumerate the number of large $(k,r)$-Fuss-Schröder paths of type $λ$, solving an open question posed by An, Jung, and Kim. Furthermore, we generalize the concept of $(k,r)$-Fuss-Schröder paths to $(k,S)$-Fuss-Schröder paths, in which $r$ can take any value in a given set $S$, and enumerate these paths as well.
Almost every $n$-vertex graph is determined by its $3 \log_2{n}$-vertex subgraphs
Published
• View Publication
• BIB
The paper shows that almost every $n$-vertex graph is such that the multiset of its induced subgraphs on $3 \log_2{n}$ vertices is sufficient to determine it up to isomorphism. Therefore, for checking the isomorphism of a pair of $n$-vertex graphs, almost surely the multiset of their $3 \log_2{n}$-vertex subgraphs is sufficient .
Energy of a Vertex
Published
• View Publication
• BIB
In this paper we develop the concept of energy of a vertex introduced in Arizmendi and Juarez-Romero (2016). We derive basic inequalities, continuity properties, give examples and extend the definition to locally finite graphs.
Enumeration of Complex Golay Pairs via Programmatic SAT
Published
• View Publication
• BIB
We provide a complete enumeration of all complex Golay pairs of length up to 25, verifying that complex Golay pairs do not exist in lengths 23 and 25 but do exist in length 24. This independently verifies work done by F. Fiedler in 2013 that confirms the 2002 conjecture of Craigen, Holzmann, and Kharaghani that complex Golay pairs of length 23 don't exist. Our enumeration method relies on the recently proposed SAT+CAS paradigm of combining computer algebra systems with SAT solvers to take advantage of the advances made in the fields of symbolic computation and satisfiability checking. The enumeration proceeds in two stages: First, we use a fine-tuned computer program and functionality from computer algebra systems to construct a list containing all sequences which could appear as the first sequence in a complex Golay pair (up to equivalence). Second, we use a programmatic SAT solver to construct all sequences (if any) that pair off with the sequences constructed in the first stage to form a complex Golay pair.
On local antimagic chromatic number of graphs with cut-vertices
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, the sharp lower bound of the local antimagic chromatic number of a graph with cut-vertices given by pendants is obtained. The exact value of the local antimagic chromatic number of many families of graphs with cut-vertices (possibly given by pendant edges) are also determined. Consequently, we partially answered Problem 3.1 in [Local antimagic vertex coloring of a graph, {\it Graphs and Combin.}, {\bf33} (2017), 275--285.].
Approximations of Mappings
We consider mappings, which are structure consisting of a single function (and possibly some number of unary relations) and address the problem of approximating a continuous mapping by a finite mapping. This problem is the inverse problem of the construction of a continuous limit for first-order convergent sequences of finite mappings. We solve the approximation problem and, consequently, the full characterization of limit objects for mappings for first-order (i.e. ${\rm FO}$) convergence and local (i.e. ${\rm FO}^{\rm local}$) convergence.
This work can be seen both as a first step in the resolution of inverse problems (like Aldous-Lyons conjecture) and a strengthening of the classical decidability result for finite satisfiability in Rabin class (which consists of first-order logic with equality, one unary function, and an arbitrary number of monadic predicates).
The proof involves model theory and analytic techniques.
On the combinatorics of circular codes
The present paper is devoted to the study of the combinatorics of 216 maximal $C^3$ circular codes --- a particular type of structure arising in the analysis of genomic sequences. Their circularity property is believed to be intimately connected to the protection against the reading frame shift in the process of RNA translation. We present some new observations concerning the internal structure of circular codes, which give a way to construct all of them in a relatively simple manner.
On local antimagic chromatic number of cycle-related join graphs
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, several sufficient conditions for $χ_{la}(H)\le χ_{la}(G)$ are obtained, where $H$ is obtained from $G$ with a certain edge deleted or added. We then determined the exact value of the local antimagic chromatic number of many cycle related join graphs.
Cartesian Magicness of 3-Dimensional Boards
Published
• View Publication
• BIB
A $(p,q,r)$-board that has $pq+pr+qr$ squares consists of a $(p,q)$-, a $(p,r)$-, and a $(q,r)$-rectangle. Let $S$ be the set of the squares. Consider a bijection $f : S \to [1,pq+pr+qr]$. Firstly, for $1 \le i \le p$, let $x_i$ be the sum of all the $q+r$ integers in the $i$-th row of the $(p,q+r)$-rectangle. Secondly, for $1 \le j \le q$, let $y_j$ be the sum of all the $p+r$ integers in the $j$-th row of the $(q,p+r)$-rectangle. Finally, for $1\le k\le r$, let $z_k$ be the the sum of all the $p+q$ integers in the $k$-th row of the $(r,p+q)$-rectangle. Such an assignment is called a $(p,q,r)$-design if $\{x_i : 1\le i\le p\}=\{c_1\}$ for some constant $c_1$, $\{y_j : 1\le j\le q\}=\{c_2\}$ for some constant $c_2$, and $\{z_k : 1\le k\le r\}=\{c_3\}$ for some constant $c_3$. A $(p,q,r)$-board that admits a $(p,q,r)$-design is called (1) Cartesian tri-magic if $c_1$, $c_2$ and $c_3$ are all distinct; (2) Cartesian bi-magic if $c_1$, $c_2$ and $c_3$ assume exactly 2 distinct values; (3) Cartesian magic if $c_1 = c_2 = c_3$ (which is equivalent to supermagic labeling of $K(p,q,r)$). Thus, Cartesian magicness is a generalization of magic rectangles into 3-dimensional space. In this paper, we study the Cartesian magicness of various $(p,q,r)$-board by matrix approach involving magic squares or rectangles. In Section~2, we obtained various sufficient conditions for $(p,q,r)$-boards to admit a Cartesian tri-magic design. In Sections~3 and~4, we obtained many necessary and (or) sufficient conditions for various $(p,q,r)$-boards to admit (or not admit) a Cartesian bi-magic and magic design. In particular, it is known that $K(p,p,p)$ is supermagic and thus every $(p,p,p)$-board is Cartesian magic. We gave a short and simpler proof that every $(p,p,p)$-board is Cartesian magic.
Almost $\mathcal{R}$-trivial monoids are almost never Ramsey
Recent results have generalized Gowers' Theorem (to Lupini's Theorem) and the Furstenberg-Katznelson theorem, both infinite dimensional Ramsey Theorems. The framework of arXiv:1611.06600 provides a machine which accepts (almost $\mathcal{R}$-trivial) monoids and outputs Ramsey theorems. The major generalization was to extract monoid actions from these theorems.
We investigate the other direction, and feed into the machine monoids which appear "naturally", and which are not extracted from a Ramsey theorem, such as such as $0$-Hecke monoids and hyperplane face monoids. Most examples of monoids coming from geometry will not be Ramsey monoids. We provide a simple combinatorial condition for checking this that goes through the representation of almost $\mathcal{R}$-trivial monoids as a family of (almost) regressive functions.
Except in extremely small or trivial cases, the naturally occurring monoids will not be Ramsey.
Forbidden formations in 0-1 matrices
Published
• View Publication
• BIB
Keszegh (2009) proved that the extremal function $ex(n, P)$ of any forbidden light $2$-dimensional 0-1 matrix $P$ is at most quasilinear in $n$, using a reduction to generalized Davenport-Schinzel sequences. We extend this result to multidimensional matrices by proving that any light $d$-dimensional 0-1 matrix $P$ has extremal function $ex(n, P,d) = O(n^{d-1}2^{α(n)^{t}})$ for some constant $t$ that depends on $P$.
To prove this result, we introduce a new family of patterns called $(P, s)$-formations, which are a generalization of $(r, s)$-formations, and we prove upper bounds on their extremal functions. In many cases, including permutation matrices $P$ with at least two ones, we are able to show that our $(P, s)$-formation upper bounds are tight.
Ramsey theory without pigeonhole principle and the adversarial Ramsey principle
Published
• View Publication
• BIB
We develop a general framework for infinite-dimensional Ramsey theory with and without pigeonhole principle, inspired by Gowers' Ramsey-type theorem for block sequences in Banach spaces and by its exact version proved by Rosendal. In this framework, we prove the adversarial Ramsey principle for Borel sets, a result conjectured by Rosendal that generalizes at the same time his version of Gowers' theorem and Borel determinacy of games on integers.
A matroid extension result
Published
• View Publication
• BIB
Adding elements to matroids can be fraught with difficulty. In the Vámos matroid $V_8$, there are four independent sets $X_1,X_2, X_3,$ and $X_4$ such that $(X_1 \cup X_2,X_3 \cup X_4)$ is a $3$-separation while exactly three of the local connectivities $\sqcap(X_1,X_{3})$, $\sqcap(X_1,X_{4})$, $\sqcap(X_2,X_{3})$, and $\sqcap(X_2,X_{4})$ are one, with the fourth being zero. As is well known, there is no extension of $V_8$ by a non-loop element $p$ such that $X_j \cup p$ is a circuit for all $j$. This paper proves that a matroid can be extended by a fixed element in the guts of a $3$-separation provided no Vámos-like structure is present.
On the $k$-partition dimension of graphs
Published
• View Publication
• BIB
As a generalization of the concept of the partition dimension of a graph, this article introduces the notion of the $k$-partition dimension. Given a nontrivial connected graph $G=(V,E)$, a partition $Π$ of $V$ is said to be a $k$-partition generator for $G$ if any pair of different vertices $u,v\in V$ is distinguished by at least $k$ vertex sets of $Π$, \emph{i.e}., there exist at least $k$ vertex sets $S_1,\ldots,S_k\inΠ$ such that $d(u,S_i)\ne d(v,S_i)$ for every $i\in\{1,\ldots,k\}$. A $k$-partition generator for $G$ with minimum cardinality among all their $k$-partition generators is called a $k$-partition basis of $G$ and its cardinality the $k$-partition dimension of $G$. A nontrivial connected graph $G$ is $k$-partition dimensional if $k$ is the largest integer such that $G$ has a $k$-partition basis. We give a necessary and sufficient condition for a graph to be $r$-partition dimensional and we obtain several results on the $k$-partition dimension for $k\in\{1,\ldots,r\}$.
A $q$-summation and the orthogonality relations for the $q$-Hahn polynomials and the big $q$-Jacobi polynomials
Published in Journal of Mathematical Analysis and Applications 419 (2014)1045--1064
• View Publication
• BIB
Using a general $q$-summation formula, we derive a generating function for the $q$-Hahn polynomials, which is used to give a complete proof of the orthogonality relation for the $q$-Hahn polynomials. A new proof of the orthogonality relation for the big $q$-Jacobi polynomials is also given. A simple evaluation of the Nassrallah-Rahman integral is derived by using this summation formula. A new $q$-beta integral formula is established, which includes the Nassrallah-Rahman integral as a special case. The $q$-summation formula also allows us to recover several strange $q$-series identities.
Optimal switching sequence for switched linear systems
Published
• View Publication
• BIB
We study the following optimization problem over a dynamical system that consists of several linear subsystems: Given a finite set of $n\times n$ matrices and an $n$-dimensional vector, find a sequence of $K$ matrices, each chosen from the given set of matrices, to maximize a convex function over the product of the $K$ matrices and the given vector. This simple problem has many applications in operations research and control, yet a moderate-sized instance is challenging to solve to optimality for state-of-the-art optimization software. We propose a simple exact algorithm for this problem. Our algorithm runs in polynomial time when the given set of matrices has the oligo-vertex property, a concept we introduce in this paper for a finite set of matrices. We derive several sufficient conditions for a set of matrices to have the oligo-vertex property. Numerical results demonstrate the clear advantage of our algorithm in solving large-sized instances of the problem over one state-of-the-art global optimization solver. We also propose several open questions on the oligo-vertex property and discuss its potential connection with the finiteness property of a set of matrices, which may be of independent interest.
The cover time of a biased random walk on a random regular graph of odd degree
Published
• View Publication
• BIB
We consider a random walk process which prefers to visit previously unvisited edges, on the random $r$-regular graph $G_r$ for any odd $r\geq 3$. We show that this random walk process has asymptotic vertex and edge cover times $\frac{1}{r-2}n\log n$ and $\frac{r}{2(r-2)}n\log n$, respectively, generalizing the result from Cooper, Frieze and Johansson from $r = 3$ to any larger odd $r$. This completes the study of the vertex cover time for fixed $r\geq 3$, with Berenbrink, Cooper and Friedetzky having previously shown that $G_r$ has vertex cover time asymptotic to $\frac{rn}{2}$ when $r\geq 4$ is even.
Hamiltonian cycles and subsets of discounted occupational measures
Published
• View Publication
• BIB
We study a certain polytope arising from embedding the Hamiltonian cycle problem in a discounted Markov decision process. The Hamiltonian cycle problem can be reduced to finding particular extreme points of a certain polytope associated with the input graph. This polytope is a subset of the space of discounted occupational measures. We characterize the feasible bases of the polytope for a general input graph $G$, and determine the expected numbers of different types of feasible bases when the underlying graph is random. We utilize these results to demonstrate that augmenting certain additional constraints to reduce the polyhedral domain can eliminate a large number of feasible bases that do not correspond to Hamiltonian cycles. Finally, we develop a random walk algorithm on the feasible bases of the reduced polytope and present some numerical results. We conclude with a conjecture on the feasible bases of the reduced polytope.
Counting zero-dimensional subschemes in higher dimensions
Published in Jour. Geom. Phys. 136 (2019) 119--137
• View Publication
• BIB
Consider zero-dimensional Donaldson-Thomas invariants of a toric threefold or toric Calabi-Yau fourfold. In the second case, invariants can be defined using a tautological insertion. In both cases, the generating series can be expressed in terms of the MacMahon function. In the first case, this follows from a theorem of Maulik-Nekrasov-Okounkov-Pandharipande. In the second case, this follows from a conjecture of the authors and a (more general $K$-theoretic) conjecture of Nekrasov.
In this paper, we consider formal analogues of these invariants in any dimension $d \not \equiv 2 \ \mathrm{mod} \, 4$. The direct analogues of the above-mentioned conjectures fail in general when $d>4$, showing that dimensions 3 and 4 are special. Surprisingly, after appropriate specialization of the equivariant parameters, the conjectures seem to hold in all dimensions.
An Analog of Matrix Tree Theorem for Signless Laplacians
Published
• View Publication
• BIB
A spanning tree of a graph is a connected subgraph on all vertices with the minimum number of edges. The number of spanning trees in a graph $G$ is given by Matrix Tree Theorem in terms of principal minors of Laplacian matrix of $G$. We show a similar combinatorial interpretation for principal minors of signless Laplacian $Q$. We also prove that the number of odd cycles in $G$ is less than or equal to $\frac{\det(Q)}{4}$, where the equality holds if and only if $G$ is a bipartite graph or an odd-unicyclic graph.