Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Tiltan and graphs with no infinite paths
Published in Periodica Mathematica Hungarica, volume 88 (1), March 2024, pp. 137-147
• View Publication
• BIB
We prove the consistency of tiltan with the positive relation $ω^*\cdotω_1\rightarrow(ω^*\cdotω_1,{\rm infinite\ path})^2$.
An extension to "A subsemigroup of the rook monoid"
Published
• View Publication
• BIB
A recent paper studied an inverse submonoid $M_n$ of the rook monoid, by representing the nonzero elements of $M_n$ via certain triplets belonging to $\mathbb{Z}^3$. In this short note, we allow the triplets to belong to $\mathbb{R}^3$. We thus study a new inverse monoid $\overline{M}_n$, which is a supermonoid of $M_n$. We point out similarities and find essential differences. We show that $\overline{M}_n$ is a noncommutative, periodic, combinatorial, fundamental, completely semisimple, and strongly $E^*$-unitary inverse monoid.
SAT Requires Exhaustive Search
Published in Frontiers of Computer Science, 2025, 19(12): 1912405
• View Publication
• BIB
In this paper, by constructing extremely hard examples of CSP (with large domains) and SAT (with long clauses), we prove that such examples cannot be solved without exhaustive search, which is stronger than P $\neq$ NP. This constructive approach for proving impossibility results is very different (and missing) from those currently used in computational complexity theory, but is similar to that used by Kurt Gödel in proving his famous logical impossibility results. Just as shown by Gödel's results that proving formal unprovability is feasible in mathematics, the results of this paper show that proving computational hardness is not hard in mathematics. Specifically, proving lower bounds for many problems, such as 3-SAT, can be challenging because these problems have various effective strategies available for avoiding exhaustive search. However, in cases of extremely hard examples, exhaustive search may be the only viable option, and proving its necessity becomes more straightforward. Consequently, it makes the separation between SAT (with long clauses) and 3-SAT much easier than that between 3-SAT and 2-SAT. Finally, the main results of this paper demonstrate that the fundamental difference between the syntax and the semantics revealed by Gödel's results also exists in CSP and SAT.
Alternating Walk/Zeta Correspondence
We consider the alternating zeta function and the alternating $L$-function of a graph $G$, and express them by using the Ihara zeta function of $G$. Next, we define a generalized alternating zeta function of a graph, and express the generalized alternating zeta function of a vertex-transitive regular graph by spectra of the transition probability matrix of the symmetric simple random walk on it and its Laplacian. Furthermore, we present an integral expression for the limit of the generalized alternating zeta functions of a series of vertex-transitive regular graphs. As an example, we treat the generalized alternating zeta functions of a finite torus. Finally, we treat the relation between the Mahler measure and the alternating zeta function of a graph.
Perfect precise colorings of plane semiregular tilings
Published
• View Publication
• BIB
A coloring of a planar semiregular tiling $\mathcal{T}$ is an assignment of a unique color to each tile of $\mathcal{T}$. If $G$ is the symmetry group of $\mathcal{T}$, we say that the coloring is perfect if every element of $G$ induces a permutation on the finite set of colors. If $\mathcal{T}$ is $k$-valent, then a coloring of $\mathcal{T}$ with $k$ colors is said to be precise if no two tiles of $\mathcal{T}$ sharing the same vertex have the same color. In this work, we obtain perfect precise colorings of some families of $k$-valent semiregular tilings in the plane, where $k\leq 6$.
On Existence of Must-Include Paths and Cycles in Undirected Graphs
Given an undirected graph $G=(V,E)$ and vertices $s,t,w_1,w_2\in V$, we study finding whether there exists a simple path $P$ from $s$ to $t$ such that $w_1,w_2 \in P$. As a sub-problem, we study the question: given an undirected graph and three of its edges, does there exist a simple cycle containing all those edges? We provide necessary and sufficient conditions for the existence of such paths and cycles, and develop efficient algorithms to solve this and related problems.
Bracket words along Hardy field sequences
Published in Ergod. Th. Dynam. Sys. 44 (2024) 2621-2648
• View Publication
• BIB
We study bracket words, which are a far-reaching generalisation of Sturmian words, along Hardy field sequences, which are a far-reaching generalisation of Piatetski--Shapiro sequences $\lfloor n^c \rfloor$. We show that thus obtained sequences are deterministic (i.e., they have sub-exponential subword complexity) and satisfy Sarnak's conjecture.
A bandwidth theorem for graph transversals
Given a collection $\mathcal{G}=(G_1,\dots, G_h)$ of graphs on the same vertex set $V$ of size $n$, an $h$-edge graph $H$ on the vertex set $V$ is a $\mathcal{G}$-transversal if there exists a bijection $λ: E(H) \rightarrow [h]$ such that $e\in E(G_{λ(e)})$ for each $e\in E(H)$. The conditions on the minimum degree $δ(\mathcal{G})=\min_{i\in[h]}\{ δ(G_i)\}$ for finding a spanning $\mathcal{G}$-transversal isomorphic to a graph $H$ have been actively studied when $H$ is a Hamilton cycle, an $F$-factor, a spanning tree with maximum degree $o(n/\log n)$ and a power of a Hamilton cycle, etc. In this paper, we determined the asymptotically tight threshold on $δ(\mathcal{G})$ for finding a $\mathcal{G}$-transversal isomorphic to $H$ when $H$ is a general $n$-vertex graph with bounded maximum degree and $o(n)$-bandwidth. This provides a transversal generalization of the celebrated Bandwidth theorem by Böttcher, Schacht and Taraz.
Logarithms of Catalan generating functions: A combinatorial approach
Published in Electron. J. Combin., 31(1): P1.46, 2024
• View Publication
• BIB
We analyze the combinatorics behind the operation of taking the logarithm of the generating function $G_k$ for $k^\text{th}$ generalized Catalan numbers. We provide combinatorial interpretations in terms of lattice paths and in terms of tree graphs. Using explicit bijections, we are able to recover known closed expressions for the coefficients of $\log G_k$ by purely combinatorial means of enumeration. The non-algebraic proof easily generalizes to higher powers $\log^a G_k$, $a\geq 2$.
A Generalisation of a Result on Monotone Arithmetic Progressions in Permutations of the Positive Integers
A permutation of the positive integers avoiding monotone arithmetic progressions of length $4$ with odd common difference was constructed in (LeSaulnier and Vijay, 2011). We generalise this result and show that for each $k\geq 1$, there exists a permutation of the positive integers that avoids monotone arithmetic progressions of length $4$ with common difference not divisible by $2^k$.
On the Turán Number of Generalized Theta Graphs
Published
• View Publication
• BIB
Let $Θ_{k_1,\cdots,k_\ell}$ denote the generalized theta graph, which consists of $\ell$ internally disjoint paths with lengths $k_1,\cdots, k_{\ell}$, connecting two fixed vertices. We estimate the corresponding extremal number $\text{ex}(n,Θ_{k_1,\cdots,k_\ell})$. When the lengths of all paths have the same parity and at most one path has length 1, $\text{ex}(n,Θ_{k_1,\cdots,k_\ell})$ is $O(n^{1+1/k^\ast})$, where $2k^\ast$ is the length of the smallest cycle in $Θ_{k_1,\cdots,k_\ell}$. We also establish matching lower bound in the particular case of $\text{ex}(n,Θ_{3,5,5})$.
Realizable Standard Young Tableaux
Given two vectors $u$ and $v$, their outer sum is given by the matrix $A$ with entries $A_{ij} = u_{i} + v_{j}$. If the entries of $u$ and $v$ are increasing and sufficiently generic, the total ordering of the entries of the matrix is a standard Young tableau of rectangular shape. We call standard Young tableaux arising in this way realizable. The set of realizable tableaux was defined by Mallows and Vanderbei for studying a deconvolution algorithm, but we show they have appeared in many other contexts including sorting algorithms, quantum computing, random sorting networks, reflection arrangements, fiber polytopes, and Goodman and Pollack's theory of allowable sequences. In our work, we prove tight bounds on the asymptotic number of realizable rectangular tableaux. We also derive tight asymptotics for the number of realizable allowable sequences, which are in bijection with realizable staircase-shaped standard Young tableaux with the notion of realizability coming from the theory of sorting networks. As a consequence, we resolve an open question of Angel, Gorin, and Holroyd from 2012 and improve upon a 1986 result of Goodman and Pollack.
Convex subgraphs and spanning trees of the square cycles
We classify connected spanning convex subgraphs of the square cycles. We then show that every spanning tree of $C_n^2$ is contained in a unique nontrivial connected spanning convex subgraph of $C_n^2$. As a result, we obtain a purely combinatorial derivation of the formula for the number of spanning trees of the square cycles.
Switching-Algebraic Calculation of Banzhaf Voting Indices
Published in Journal of Computational and Cognitive Engineering, Volume X, Issue X, 2023
• View Publication
• BIB
This paper employs switching-algebraic techniques for the calculation of a fundamental index of voting powers, namely, the total Banzhaf power. This calculation involves two distinct operations: (a) Boolean differencing or differentiation, and (b) computation of the weight (the number of true vectors or minterms) of a switching function. Both operations can be considerably simplified and facilitated if the pertinent switching function is symmetric or it is expressed in a disjoint sum-of-products form. We provide a tutorial exposition on how to implement these two operations, with a stress on situations in which partial symmetry is observed among certain subsets of a set of arguments. We introduce novel Boolean-based symmetry-aware techniques for computing the Banzhaf index by way of two prominent voting systems. These are scalar systems involving six variables and nine variables, respectively. The paper is a part of our ongoing effort for transforming the methodologies and concepts of voting systems to the switching-algebraic domain, and subsequently utilizing switching-algebraic tools in the calculation of pertinent quantities in voting theory.
On perfect subdivision tilings
Published in Combinator. Probab. Comp. 34 (2025) 421-444
• View Publication
• BIB
For a given graph $H$, we say that a graph $G$ has a perfect $H$-subdivision tiling if $G$ contains a collection of vertex-disjoint subdivisions of $H$ covering all vertices of $G.$ Let $δ_{\mathrm{sub}}(n, H)$ be the smallest integer $k$ such that any $n$-vertex graph $G$ with minimum degree at least $k$ has a perfect $H$-subdivision tiling. For every graph $H$, we asymptotically determined the value of $δ_{\mathrm{sub}}(n, H)$. More precisely, for every graph $H$ with at least one edge, there is an integer $\mathrm{hcf}_ξ(H)$ and a constant $1 < ξ^*(H)\leq 2$ that can be explicitly determined by structural properties of $H$ such that $δ_{\mathrm{sub}}(n, H) = \left(1 - \frac{1}{ξ^*(H)} + o(1) \right)n$ holds for all $n$ and $H$ unless $\mathrm{hcf}_ξ(H) = 2$ and $n$ is odd. When $\mathrm{hcf}_ξ(H) = 2$ and $n$ is odd, then we show that $δ_{\mathrm{sub}}(n, H) = \left(\frac{1}{2} + o(1) \right)n$.
The maximum Wiener index of a uniform hypergraph
Published
• View Publication
• BIB
The Wiener index of a (hyper)graph is calculated by summing up the distances between all pairs of vertices. We determine the maximum possible Wiener index of a connected $n$-vertex $k$-uniform hypergraph and characterize for every~$n$ all hypergraphs attaining the maximum Wiener index.
Measures for the colored circle
Published
• View Publication
• BIB
In recent work with Harman, we introduced a new notion of measure for oligomorphic groups, and showed how they can be used to produce interesting tensor categories. Determining the measures for an oligomorphic group is (in our view) an important and difficult combinatorial problem, which has only been solved in a handful of cases. The purpose of this paper is to solve this problem for a certain infinite family of oligomorphic groups, namely, the automorphism group of the $n$-colored circle (for each $n \ge 1$).
The Matching Kneser Graph Conjecture For High Chromatic Numbers
\noindent In this paper, we show that for any positive integers $r$, $k$, $Θ$, and $Γ$ such that $k \geq 2$ and $r \geq k + Γ$, there exists a connected graph $G$ for which $$\begin{array}{llcr}
ω(G) = χ(G) = k, & χ\left( G , rK_2 \right) = Θ, & {\rm and} & |E(G)| - {\rm ex}\left( G , rK_2 \right) = Θ+ Γ. \end{array}$$
On integral variations for roots of the Laplacian matching polynomial of graphs
Published
• View Publication
• BIB
In this paper, we study the Laplacian matching polynomial of a graph and the effect of adding edges to a graph on the roots (called Laplacian matching roots) of this polynomial. In particular, we investigate the conditions under which the Laplacian matching roots change by integer values. We prove that the Laplacian matching root integral variation in one place is impossible and the Laplacian matching root integral variation in two places is also impossible under some constraints.
Proof of a Conjecture on Online Ramsey Numbers of Stars versus Paths
Given two graphs $G$ and $H$, the online Ramsey number $\tilde{r}(G,H)$ is defined to be the minimum number of rounds that Builder can always guarantee a win in the following $(G, H)$-online Ramsey game between Builder and Painter. Starting from an infinite set of isolated vertices, in each round Builder draws an edge between some two vertices, and Painter immediately colors it red or blue. Builder's goal is to force either a red copy of $G$ or a blue copy of $H$ in as few rounds as possible, while Painter's goal is to delay it for as many rounds as possible. Let $K_{1,3}$ denote a star with three edges and $P_{\ell}$ a path with $\ell$ vertices. Latip and Tan conjectured that $\tilde{r}(K_{1,3}, P_{\ell})=(3/2+o(1))\ell$ [Bull. Malays. Math. Sci. Soc. 44 (2021) 3511--3521]. We show that $\tilde{r}(K_{1,3}, P_{\ell})=\lfloor 3\ell/2 \rfloor$ for $\ell\ge 2$, which verifies the conjecture in a stronger form.