Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Approximating maximum-size properly colored forests
Published
• View Publication
• BIB
In the Properly Colored Spanning Tree problem, we are given an edge-colored undirected graph and the goal is to find a properly colored spanning tree, i.e., a spanning tree in which any two adjacent edges have distinct colors. The problem is interesting not only from a graph coloring point of view, but is also closely related to the Degree Bounded Spanning Tree and (1,2)-Traveling Salesman problems, two classical questions that have attracted considerable interest in combinatorial optimization and approximation theory. Previous work on properly colored spanning trees has mainly focused on determining the existence of such a tree and hence has not considered the question from an algorithmic perspective. We propose an optimization version called Maximum-size Properly Colored Forest problem, which aims to find a properly colored forest with as many edges as possible. We consider the problem in different graph classes and for different numbers of colors, and present polynomial-time approximation algorithms as well as inapproximability results for these settings. Our proof technique relies on the sum of matching matroids defined by the color classes, a connection that might be of independent combinatorial interest.
We also consider the Maximum-size Properly Colored Tree problem, which asks for the maximum size of a properly colored tree not necessarily spanning all the vertices. We show that the optimum is significantly more difficult to approximate than in the forest case, and provide an approximation algorithm for complete multigraphs.
Constant Degree Direct Product Testers with Small Soundness
Published
• View Publication
• BIB
Let $X$ be a $d$-dimensional simplicial complex. A function $F\colon X(k)\to \{0,1\}^k$ is said to be a direct product function if there exists a function $f\colon X(1)\to \{0,1\}$ such that $F(σ) = (f(σ_1), \ldots, f(σ_k))$ for each $k$-face $σ$. In an effort to simplify components of the PCP theorem, Goldreich and Safra introduced the problem of direct product testing, which asks whether one can test if $F\colon X(k)\to \{0,1\}^k$ is correlated with a direct product function by querying $F$ on only $2$ inputs. Dinur and Kaufman conjectured that there exist bounded degree complexes with a direct product test in the small soundness regime. We resolve their conjecture by showing that for all $δ>0$, there exists a family of high-dimensional expanders with degree $O_δ(1)$ and a $2$-query direct product tester with soundness $δ$.
We use the characterization given by a subset of the authors and independently by Dikstein and Dinur, who showed that some form of non-Abelian coboundary expansion (which they called "Unique-Games coboundary expansion") is a necessary and sufficient condition for a complex to admit such direct product testers. Our main technical contribution is a general technique for showing coboundary expansion of complexes with coefficients in a non-Abelian group. This allows us to prove that the high dimensional expanders constructed by Chapman and Lubotzky satisfies the necessary conditions, thus admitting a 2-query direct product tester with small soundness.
Edge mappings of graphs: Ramsey type parameters
In this paper, we address problems related to parameters concerning edge mappings of graphs. Inspired by Ramsey's Theorem, the quantity $m(G, H)$ is defined to be the minimum number $n$ such that for every $f: E(K_n) \rightarrow E(K_n)$ either there is a fixed copy of $G$ with $f ( e) = e$ for all $e\in E(G)$, or a free copy of $H$ with $f( e) \notin E(H)$ for all $e\in E(H)$. We extend many old results from the 80's as well as proving many new results. We also consider several new interesting parameters with the same spirit.
Edge mappings of graphs: Turán type parameters
Published
• View Publication
• BIB
In this paper, we address problems related to parameters concerning edge mappings of graphs. The quantity $h(n,G)$ is defined to be the maximum number of edges in an $n$-vertex graph $H$ such that there exists a mapping $f: E(H)\rightarrow E(H)$ with $f(e)\neq e$ for all $e\in E$ and further in all copies $G'$ of $G$ in $H$ there exists $e\in E(G')$ with $f(e)\in E(G')$. Among other results, we determine $h(n, G)$ when $G$ is a matching and $n$ is large enough.
As a related concept, we say that $H$ is unavoidable for $G$ if for any mapping $f: E(H)\rightarrow E(H)$ with $f(e)\neq e$ there exists a copy $G'$ of $G$ in $H$ such that $f(e)\notin E(G')$ for all $e\in E(G)$. The set of minimal unavoidable graphs for $G$ is denoted by $\mathcal{M}(G)$. We prove that if $F$ is a forest, then $\mathcal{M}(F)$ is finite if and only if $F$ is a matching, and we conjecture that for all non-forest graphs $G$, the set $\mathcal{M}(G)$ is infinite.
Several other parameters are defined with basic results proved. Lots of open problems remain.
Quantifying analogy of concepts via ologs and wiring diagrams
We build on the theory of ontology logs (ologs) created by Spivak and Kent, and define a notion of wiring diagrams. In this article, a wiring diagram is a finite directed labelled graph. The labels correspond to types in an olog; they can also be interpreted as readings of sensors in an autonomous system. As such, wiring diagrams can be used as a framework for an autonomous system to form abstract concepts. We show that the graphs underlying skeleton wiring diagrams form a category. This allows skeleton wiring diagrams to be compared and manipulated using techniques from both graph theory and category theory. We also extend the usual definition of graph edit distance to the case of wiring diagrams by using operations only available to wiring diagrams, leading to a metric on the set of all skeleton wiring diagrams. In the end, we give an extended example on calculating the distance between two concepts represented by wiring diagrams, and explain how to apply our framework to any application domain.
Directed graphs without rainbow stars
Published
• View Publication
• BIB
In a rainbow version of the classical Turán problem one considers multiple graphs on a common vertex set, thinking of each graph as edges in a distinct color, and wants to determine the minimum number of edges in each color which guarantees existence of a rainbow copy (having at most one edge from each graph) of a given graph. Here, we prove an optimal solution for this problem for any directed star and any number of colors.
Towards an Algebraic Framework For Approximating Functions Using Neural Network Polynomials
We make the case for neural network objects and extend an already existing neural network calculus explained in detail in Chapter 2 on \cite{bigbook}. Our aim will be to show that, yes, indeed, it makes sense to talk about neural network polynomials, neural network exponentials, sine, and cosines in the sense that they do indeed approximate their real number counterparts subject to limitations on certain of their parameters, $q$, and $\varepsilon$. While doing this, we show that the parameter and depth growth are only polynomial on their desired accuracy (defined as a 1-norm difference over $\mathbb{R}$), thereby showing that this approach to approximating, where a neural network in some sense has the structural properties of the function it is approximating is not entire intractable.
Multi-linear forms, structure of graphs and Lebesgue spaces
Published
• View Publication
• BIB
Consider the operator $$T_Kf(x)=\int_{{\mathbb R}^d} K(x,y) f(y) dy,$$ where $K$ is a locally integrable function or a measure. The purpose of this paper is to study the multi-linear form $$ Λ^K_G(f_1, \dots, f_n)=\int \dots \int \prod_{ \{(i,j): 1 \leq i<j \leq n; E(i,j)=1 \} } K(x^i,x^j) \prod_{i=1}^n f_i(x^i) dx^i, $$ where $G$ is a connected graph on $n$ vertices, $E$ is the edge map on $G$, i.e $E(i,j)=1$ if and only if the $i$'th and $j$'th vertices are connected by an edge, $K$ is the aforementioned kernel, and $f_i: {\mathbb R}^d \to {\mathbb R}$, measurable.
This paper establishes multi-linear inequalities of the form $$ Λ^K_G(f_1,f_2, \dots,f_n) \leq C {||f_1||}_{L^{p_1}({\mathbb R}^d)} {||f_2||}_{L^{p_2}({\mathbb R}^d)} \dots {||f_n||}_{L^{p_n}({\mathbb R}^d)}$$ and determines how the exponents depend on the structure of the kernel $K$ and the graph $G$.
Cobiased graphs: Single-element extensions and elementary quotients of graphic matroids
Published
• View Publication
• BIB
Zaslavsky (1991) introduced a graphical structure called a biased graph and used it to characterize all single-element coextensions and elementary lifts of graphic matroids. We introduce a new, dual graphical structure that we call a cobiased graph and use it to characterize single-element extensions and elementary quotients of graphic matroids.
q-power symmetric functions and q-exponential formula
Let $λ=\left( λ_{1},λ_{2},...,λ_{r}\right) $ be an integer partition, and $\left[p_{λ}\right] $ the $q$-analog of the symmetric power function $%p_{λ}$. This $q$-analogue has been defined as a special case, in the author's previous article: "A $q$-analog of certain symmetric functions and one of its specializations". Here, we prove that a large part of the classical relations between $p_{λ}$, on one hand, and the elementary and complete symmetric functions $e_{n}$ and $h_{n}$, on the other hand, have $q$-analogues with $\left[ p_{λ}\right] $. In particular, the generating functions $E\left( t\right) =\sum\nolimits_{n\geq 0}e_{n}t^{n}$ and $H\left( t\right) =\sum\nolimits_{n\geq 0}h_{n}t^{n}$ are expressed in terms of $\left[ p_{n}\right] $, using Gessel's $q$-exponential formula and a variant of it. A factorization of these generating functions into infinite $q$-products, which has no classical counterpart, is established. By specializing these results, we show that the $q$-binomial theorem is a special case of these infinite $q$-products. We also obtain new formulas for the tree inversions enumerators and for certain $q$-orthogonal polynomials, detailing the case of dicrete $q$-Hermite polynomials.
Computing the forcing spectrum of outerplanar graphs in polynomial time
Published
• View Publication
• BIB
The forcing number of a graph with a perfect matching $M$ is the minimum number of edges in $M$ whose endpoints need to be deleted, such that the remaining graph only has a single perfect matching. This number is of great interest in theoretical chemistry, since it conveys information about the structural properties of several interesting molecules. On the other hand, in bipartite graphs the forcing number corresponds to the famous feedback vertex set problem in digraphs.
Determining the complexity of finding the smallest forcing number of a given planar graph is still a widely open and important question in this area, originally proposed by Afshani, Hatami, and Mahmoodian in 2004. We take a first step towards the resolution of this question by providing an algorithm that determines the set of all possible forcing numbers of an outerplanar graph in polynomial time. This is the first polynomial-time algorithm concerning this problem for a class of graphs of comparable or greater generality.
On $(1,2)$-step competition graphs of multipartite tournaments
A multipartite tournament is an orientation of a complete $k$-partite graph for some positive integer $k\geq 3$. We say that a multipartite tournament $D$ is tight if every partite set forms a clique in the $(1,2)$-step competition graph, denoted by $C_{1,2}(D)$, of $D$. In this paper, we completely characterize $C_{1,2}(D)$ for a tight multipartite tournament $D$. We will study $C_{1,2}(D)$ for a multipartite tournament $D$ that is not tight in a follow up paper.
The 1/3-conjectures for domination in cubic graphs
A set S of vertices in a graph G is a dominating set of G if every vertex not in S is adjacent to a vertex in S . The domination number of G, denoted by $γ$(G), is the minimum cardinality of a dominating set in G. In a breakthrough paper in 2008, L{ö}wenstein and Rautenbach proved that if G is a cubic graph of order n and girth at least 83, then $γ$(G) $\le$ n/3. A natural question is if this girth condition can be lowered. The question gave birth to two 1/3-conjectures for domination in cubic graphs. The first conjecture, posed by Verstraete in 2010, states that if G is a cubic graph on n vertices with girth at least 6, then $γ$(G) $\le$ n/3. The second conjecture, first posed as a question by Kostochka in 2009, states that if G is a cubic, bipartite graph of order n, then $γ$(G) $\le$n/3. In this paper, we prove Verstraete's conjecture when there is no 7-cycle and no 8-cycle, and we prove the Kostochka's related conjecture for bipartite graphs when there is no 4-cycle and no 8-cycle.
Rainbow Hamiltonicity and the spectral radius
Published
• View Publication
• BIB
Let $\mathcal{G}=\{G_1,\ldots,G_n \}$ be a family of graphs of order $n$ with the same vertex set. A rainbow Hamiltonian cycle in $\mathcal{G}$ is a cycle that visits each vertex precisely once such that any two edges belong to different graphs of $\mathcal{G}$. We show that if each $G_i$ has more than $\binom{n-1}{2}+1$ edges, then $\mathcal{G}$ admits a rainbow Hamiltonian cycle and pose the problem of characterizing rainbow Hamiltonicity under the condition that all $G_i$ have at least $\binom{n-1}{2}+1$ edges. Towards a solution of that problem, we give a sufficient condition for the existence of a rainbow Hamiltonian cycle in terms of the spectral radii of the graphs in $\mathcal{G}$ and completely characterize the corresponding extremal graphs.
Automorphism groups of Cayley graphs generated by general transposition sets
Published
• View Publication
• BIB
In this paper we study the Cayley graph $\mathrm{Cay}(S_n,T)$ of the symmetric group $S_n$ generated by a set of transpositions $T$. We show that for $n\geq 5$ the Cayley graph is normal. As a corollary, we show that its automorphism group is a direct product of $S_n$ and the automorphism group of the transposition graph associated to $T$. This provides an affirmative answer to a conjecture raised by Ganesan in arXiv:1703.08109, showing that $\mathrm{Cay}(S_n,T)$ is normal if and only if the transposition graph is not $C_4$ or $K_n$.
Rogers-Ramanujan exact sequences and free representations over free generalized vertex algebras
The Rogers-Ramanujan recursions are studied from the viewpoint of free representations over free (generalized) vertex algebras. Specifically, we construct short exact sequences among the free representations over free generalized vertex algebras which lift the recursions. They naturally generalize exact sequences introduced by S. Capparelli et al. We also show that an analogue of the Rogers-Ramanujan recursions is realized as an exact sequence among finite-dimensional free representations over a certain finite-dimensional vertex algebra. As an application of exact sequences, we reveal a relation between free generalized vertex algebras and $\hat{\mathfrak{sl}}_2$ spaces of coinvariants $L_{1,0}^{N,\infty}(\mathfrak n)$ introduced by B. Feigin et al. Moreover, it is shown that generalized $q$-Fibonacci recursions may be realized as exact sequences obtained by applying several functors to exact sequences among free representations over free generalized vertex algebras. Finally, we consider a character decomposition formula of the basic $\hat{\mathrm{sl}}_2$-module $L_{1,0}$ by M. Bershtein et al. related to the Urod vertex operator algebras, from the viewpoint of free representations and exact sequences.
On the Minimum Spanning Tree Distribution in Grids
Published
• View Publication
• BIB
We study the minimum spanning tree distribution on the space of spanning trees of the $n$-by-$n$ grid for large $n$. We establish bounds on the decay rates of the probability of the most and the least probable spanning trees as $n\rightarrow\infty$.
General uncrossing covering paths inside the axis-aligned bounding box
Published in Journal of Fundamental Mathematics and Applications, Vol. 4 (2021), No. 2, pp. 154-166
• View Publication
• BIB
Given the finite set of $n_1 \cdot n_2 \cdot \ldots \cdot n_k$ points $G_{n_1,n_2,\ldots,n_k} \subset \mathbb{R}^k$ such that $n_k \geq \cdots \geq n_2 \geq n_1 \in \mathbb{Z}^+$, we introduce a new algorithm, called M$Λ$I, which returns an uncrossing covering path inside the minimum axis-aligned bounding box $[0,n_1-1] \times [0,n_2-1] \times \cdots \times [0,n_k-1]$, consisting of $3 \cdot \prod_{i=1}^{k-1} n_i-2$ links of prescribed length $n_k-1$ units. Thus, for any $n_k \geq 3$, the link length of the covering path provided by our M$Λ$I-algorithm is smaller than the cardinality of the set $G_{n_1,n_2,\ldots,n_k}$. Furthermore, assuming $k>2$, we present an uncrossing covering path for $G_{3,3,\ldots,3}$, consisting of $20 \cdot 3^{k-3}-2$ straight-line edges that are $2$ units long each, which is constrained by the axis-aligned bounding box $\left[0,4-\sqrt{3}\right] \times \left[0,4-\sqrt{3}\right] \times [0, 2]^{k-2}$.
Rarity of the infinite chains in the tree of numerical semigroups
Published
• View Publication
• BIB
We prove that, for each fixed genus, the portion of semigroups of that
genus belonging to infinite chains in the semigroup tree approaches 0 as
the genus grows to infinite. This means that most numerical semigroups
have a finite number of descendants in the semigroup tree. This problem
has been open since 2009.
On the Constant-Depth Circuit Complexity of Generating Quasigroups
Published in TheoretiCS, Volume 4 (August 22, 2025) theoretics:14413
• View Publication
• BIB
We investigate the constant-depth circuit complexity of the Isomorphism Problem, Minimum Generating Set Problem (MGS), and Sub(quasi)group Membership Problem (Membership) for groups and quasigroups (=Latin squares), given as input in terms of their multiplication (Cayley) tables. Despite decades of research on these problems, lower bounds for these problems even against depth-$2$ AC circuits remain unknown. Perhaps surprisingly, Chattopadhyay, Torán, and Wagner (FSTTCS 2010; ACM Trans. Comput. Theory, 2013) showed that Quasigroup Isomorphism could be solved by AC circuits of depth $O(\log \log n)$ using $O(\log^2 n)$ nondeterministic bits, a class we denote $\exists^{\log^2(n)}FOLL$. We narrow this gap by improving the upper bound for many of these problems to $quasiAC^0$, thus decreasing the depth to constant.
In particular, we show:
- MGS for quasigroups is in $\exists^{\log^2(n)}\forall^{\log n}NTIME(\mathrm{polylog}(n))\subseteq quasiAC^0$. Papadimitriou and Yannakakis (J. Comput. Syst. Sci., 1996) conjectured that this problem was $\exists^{\log^2(n)}P$-complete; our results refute a version of that conjecture for completeness under $quasiAC^0$ reductions unconditionally, and under polylog-space reductions assuming EXP $\neq$ PSPACE.
- MGS for groups is in $AC^{1}(L)$, improving on the previous upper bound of $P$ (Lucchini & Thakkar, J. Algebra, 2024).
- Quasigroup Isomorphism belongs to $\exists^{\log^2(n)}AC^0(DTISP(\mathrm{polylog},\log)\subseteq quasiAC^0$, improving on the previous bound of $\exists^{\log^2(n)}L\cap\exists^{\log^2(n)}FOLL\subseteq quasiFOLL$ (Chattopadhyay, Torán, & Wagner, ibid.; Levet, Australas. J. Combin., 2023).
Our results suggest that understanding the constant-depth circuit complexity may be key to resolving the complexity of problems concerning (quasi)groups in the multiplication table model.