The anticipated applications of quantum computers span across science and industry, ranging from quantum chemistry and many-body physics to optimization, finance, and machine learning. Proposed quantum solutions in these areas typically combine multiple quantum algorithmic primitives into an overall quantum algorithm, which must then incorporate the methods of quantum error correction and fault tolerance to be implemented correctly on quantum hardware. As such, it can be difficult to assess how much a particular application benefits from quantum computing, as the various approaches are often sensitive to intricate technical details about the underlying primitives and their complexities. Here we present a survey of several potential application areas of quantum algorithms and their underlying algorithmic primitives, carefully considering technical caveats and subtleties. We outline the challenges and opportunities in each area in an "end-to-end" fashion by clearly defining the problem being solved alongside the input-output model, instantiating all "oracles," and spelling out all hidden costs. We also compare quantum solutions against state-of-the-art classical methods and complexity-theoretic limitations to evaluate possible quantum speedups. The survey is written in a modular, wiki-like fashion to facilitate navigation of the content. Each primitive and application area is discussed in a standalone section, with its own bibliography of references and embedded hyperlinks that direct to other relevant sections. This structure mirrors that of complex quantum algorithms that involve several layers of abstraction, and it enables rapid evaluation of how end-to-end complexities are impacted when subroutines are altered.

An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $\alpha_{od}(G)$, is called the odd independence number of $G$. This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $\chi_{so}(G)$. A simple relation involving these two parameters and the order $|G|$ of $G$ is $\alpha_{od}(G)\cdot \chi_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number. We develop several basic inequalities concerning $\alpha_{od}(G)$, and use already existing results on strong odd coloring, to derive lower bounds for odd independence in many families of graphs. We prove that $\alpha_{od}(G) = \alpha(G^2)$ holds for all claw-free graphs $G$, and present many results, using various techniques, concerning the odd independence number of cycles, paths, Moore graphs, Kneser graphs, the complete subdivision $S(K_n)$ of $K_n$, the half graphs $H_{n,n}$, and $K_p \Box K_q$. Further, we consider the odd independence number of the hypercube $Q_d$ and also of the complements of triangle-free graphs. Many open problems for future research are stated.

Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by participants of the 32nd edition of the workshop which took place in Poprad, Slovakia during September 8-13, 2024 (see the workshop webpage this https URL).

Given a graph $G$, a Berge copy of $G$ is a hypergraph obtained by enlarging the edges arbitrarily. Gy\H ori in 2006 showed that for $r=3$ or $r=4$, an $r$-uniform $n$-vertex Berge triangle-free hypergraph has at most $\lfloor n^2/8(r-2)\rfloor$ hyperedges if $n$ is large enough, and this bound is sharp. The book graph $B_t$ consists of $t$ triangles sharing an edge. Very recently, Ghosh, Győri, Nagy-György, Paulos, Xiao and Zamora showed that a 3-uniform $n$-vertex Berge $B_t$-free hypergraph has at most $n^2/8+o(n^2)$ hyperedges if $n$ is large enough. They conjectured that this bound can be improved to $\lfloor n^2/8\rfloor$. We prove this conjecture for $t=2$ and disprove it for $t>2$ by proving the sharp bound $\lfloor n^2/8\rfloor+(t-1)^2$. We also consider larger uniformity and determine the largest number of Berge $B_t$-free $r$-uniform hypergraphs besides an additive term $o(n^2)$. We obtain a similar bound if the Berge $t$-fan ($t$ triangles sharing a vertex) is forbidden.

Given a hypergraph $\mathcal{H}$ and a graph $G$, we say that $\mathcal{H}$ is a \textit{Berge}-$G$ if there is a bijection between the hyperedges of $\mathcal{H}$ and the edges of $G$ such that each hyperedge contains its image. We denote by $ex_k(n,\text{Berge-}F)$ the largest number of hyperedges in a $k$-uniform Berge-$F$-free graph. Let $ex(n,H,F)$ denote the largest number of copies of $H$ in $n$-vertex $F$-free graphs. It is known that $ex(n,K_k,F)\le ex_k(n,\text{Berge-}F)\le ex(n,K_k,F)+ex(n,F)$, thus if $\chi(F)>r$, then $ex_k(n,\text{Berge-}F)=(1+o(1)) ex(n,K_k,F)$. We conjecture that $ex_k(n,\text{Berge-}F)=ex(n,K_k,F)$ in this case. We prove this conjecture in several instances, including the cases $k=3$ and $k=4$. We prove the general bound $ex_k(n,\text{Berge-}F)= ex(n,K_k,F)+O(1)$.

Extensions of Erdős-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erdős-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an $n$-vertex $3$-uniform linear hypergraph, without a Berge path of length $k$ as a subgraph is at most $\frac{(k-1)}{6}n$ for $k\geq 4$.

In a generalized Turán problem, we are given graphs $H$ and $F$ and seek to maximize the number of copies of $H$ in an $F$-free graph of order $n$. We consider generalized Turán problems where the host graph is planar. In particular we obtain the order of magnitude of the maximum number of copies of a fixed tree in a planar graph containing no even cycle of length at most $2\ell$, for all $\ell$, $\ell \geq 1$. We obtain the order of magnitude of the maximum number of cycles of a given length in a planar $C_4$-free graph. An exact result is given for the maximum number of $5$-cycles in a $C_4$-free planar graph. Multiple conjectures are also introduced.

Fix graphs $F$ and $H$ and let $ex(n,H,F)$ denote the maximum possible number of copies of the graph $H$ in an $n$-vertex $F$-free graph. The systematic study of this function was initiated by Alon and Shikhelman [{\it J. Comb. Theory, B}. {\bf 121} (2016)]. In this paper, we give new general bounds concerning this generalized Turán function. We also determine $ex(n,P_k,K_{2,t})$ (where $P_k$ is a path on $k$ vertices) and $ex(n,C_k,K_{2,t})$ asymptotically for every $k$ and $t$. For example, it is shown that for $t \geq 2$ and $k\geq 5$ we have $ex(n,C_k,K_{2,t})=\left(\frac{1}{2k}+o(1)\right)(t-1)^{k/2}n^{k/2}$. We also characterize the graphs $F$ that cause the function $ex(n,C_k,F)$ to be linear in $n$. In the final section we discuss a connection between the function $ex(n,H,F)$ and Berge hypergraph problems.

Regularizing the gradient norm of the output of a neural network with respect to its inputs is a powerful technique, rediscovered several times. This paper presents evidence that gradient regularization can consistently improve classification accuracy on vision tasks, using modern deep neural networks, especially when the amount of training data is small. We introduce our regularizers as members of a broader class of Jacobian-based regularizers. We demonstrate empirically on real and synthetic data that the learning process leads to gradients controlled beyond the training points, and results in solutions that generalize well.

We introduce a new class of inverse optimization problems in which an input solution is given together with $k$ linear weight functions, and the goal is to modify the weights by the same deviation vector $p$ so that the input solution becomes optimal with respect to each of them, while minimizing $\|p\|_1$. In particular, we concentrate on three problems with multiple weight functions: the inverse shortest $s$-$t$ path, the inverse bipartite perfect matching, and the inverse arborescence problems. Using LP duality, we give min-max characterizations for the $\ell_1$-norm of an optimal deviation vector. Furthermore, we show that the optimal $p$ is not necessarily integral even when the weight functions are so, therefore computing an optimal solution is significantly more difficult than for the single-weighted case. We also give a necessary and sufficient condition for the existence of an optimal deviation vector that changes the values only on the elements of the input solution, thus giving a unified understanding of previous results on arborescences and matchings.

Very recently, Alon and Frankl, and Gerbner studied the maximum number of edges in $n$-vertex $F$-free graphs with bounded matching number, respectively. We consider the analogous Turán problems on hypergraphs with bounded matching number, and we obtain some exact results.

An edge-colored graph is said to contain a rainbow-$F$ if it contains $F$ as a subgraph and every edge of $F$ is a distinct color. The problem of maximizing edges among $n$-vertex properly edge-colored graphs not containing a rainbow-$F$, known as the rainbow Turán problem, was initiated by Keevash, Mubayi, Sudakov and Verstraëte. We investigate a variation of this problem with the additional restriction that the graph is planar, and we denote the corresponding extremal number by $\ex_{\p}^*(n,F)$. In particular, we determine $\ex_{\p}^*(n,P_5)$, where $P_5$ denotes the $5$-vertex path.

Let $f$ be a $p$-primitive cusp form of level $p^{4r}$, where local representation of $f$ be supercuspidal at $p$, $p$ being an odd prime, $r\geq 1$ and $g$ be a Hecke-Maass or holomorphic primitive cusp form for $\mathrm{SL}(2,\mathbb{Z})$. A subconvex bound for the central values of the Rankin-Selberg $L$-functions $L(s, f \otimes g )$ is given by $$L (\frac{1}{2}, f \otimes g ) \ll_{g,\epsilon}p^{\frac{23r}{12} +\epsilon}.$$

The event graph representation of temporal networks suggests that the connectivity of temporal structures can be mapped to a directed percolation problem. However, similar to percolation theory on static networks, this mapping is valid under the approximation that the structure and interaction dynamics of the temporal network are determined by its local properties, and otherwise, it is maximally random. We challenge these conditions and demonstrate the robustness of this mapping in case of more complicated systems. We systematically analyze random and regular network topologies and heterogeneous link-activation processes driven by bursty renewal or self-exciting processes using numerical simulation and finite-size scaling methods. We find that the critical percolation exponents characterizing the temporal network are not sensitive to many structural and dynamical network heterogeneities, while they recover known scaling exponents characterizing directed percolation on low dimensional lattices. While it is not possible to demonstrate the validity of this mapping for all temporal network models, our results establish the first batch of evidence supporting the robustness of the scaling relationships in the limited-time reachability of temporal networks.

Given a hypergraph $\mathcal{H}$ and a graph $G$, we say that $\mathcal{H}$ is a \textit{Berge}-$G$ if there is a bijection between the hyperedges of $\mathcal{H}$ and the edges of $G$ such that each hyperedge contains its image. We denote by $ex_k(n,\text{Berge-}F)$ the largest number of hyperedges in a $k$-uniform Berge-$F$-free graph. Let $ex(n,H,F)$ denote the largest number of copies of $H$ in $n$-vertex $F$-free graphs. It is known that $ex(n,K_k,F)\le ex_k(n,\text{Berge-}F)\le ex(n,K_k,F)+ex(n,F)$, thus if $\chi(F)>r$, then $ex_k(n,\text{Berge-}F)=(1+o(1)) ex(n,K_k,F)$. We conjecture that $ex_k(n,\text{Berge-}F)=ex(n,K_k,F)$ in this case. We prove this conjecture in several instances, including the cases $k=3$ and $k=4$. We prove the general bound $ex_k(n,\text{Berge-}F)= ex(n,K_k,F)+O(1)$.

Given a graph $G$, a Berge copy of $G$ is a hypergraph obtained by enlarging the edges arbitrarily. Gy\H ori in 2006 showed that for $r=3$ or $r=4$, an $r$-uniform $n$-vertex Berge triangle-free hypergraph has at most $\lfloor n^2/8(r-2)\rfloor$ hyperedges if $n$ is large enough, and this bound is sharp. The book graph $B_t$ consists of $t$ triangles sharing an edge. Very recently, Ghosh, Győri, Nagy-György, Paulos, Xiao and Zamora showed that a 3-uniform $n$-vertex Berge $B_t$-free hypergraph has at most $n^2/8+o(n^2)$ hyperedges if $n$ is large enough. They conjectured that this bound can be improved to $\lfloor n^2/8\rfloor$. We prove this conjecture for $t=2$ and disprove it for $t>2$ by proving the sharp bound $\lfloor n^2/8\rfloor+(t-1)^2$. We also consider larger uniformity and determine the largest number of Berge $B_t$-free $r$-uniform hypergraphs besides an additive term $o(n^2)$. We obtain a similar bound if the Berge $t$-fan ($t$ triangles sharing a vertex) is forbidden.

Let $f(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. The order of magnitude of $f(n,P_k)$, where $P_k$ is a path on $k$ vertices, is $n^{{\lfloor{\frac{k-1}{2}}\rfloor}+1}$. In this paper we determine the asymptotic value of $f(n,P_5)$ and give conjectures for longer paths.

Let $f(n,H)$ denote the maximum number of copies of $H$ in an $n$-vertex planar graph. The order of magnitude of $f(n,P_k)$, where $P_k$ is a path on $k$ vertices, is $n^{{\lfloor{\frac{k-1}{2}}\rfloor}+1}$. In this paper we determine the asymptotic value of $f(n,P_5)$ and give conjectures for longer paths.

For a graph $F$, an $r$-uniform hypergraph $H$ is a Berge-$F$ if there is a bijection $\phi:E(F)\rightarrow E(H)$ such that $e\subseteq \phi(e)$ for each $e\in E(F)$. Given a family $\mathcal{F}$ of $r$-uniform hypergraphs, an $r$-uniform hypergraph is $\mathcal{F}$-free if it does not contain any member in $\mathcal{F}$ as a subhypergraph. The Turán number of $\mathcal{F}$ is the maximum number of hyperedges in an $\mathcal{F}$-free $r$-uniform hypergraph on $n$ vertices. In this paper, some exact and general results on the Turán numbers for several types of Berge forests are obtained.

The Erdős--Gallai Theorem states that for $k \geq 3$, any $n$-vertex graph with no cycle of length at least $k$ has at most $\frac{1}{2}(k-1)(n-1)$ edges. A stronger version of the Erdős--Gallai Theorem was given by Kopylov: If $G$ is a 2-connected $n$-vertex graph with no cycle of length at least $k$, then $e(G) \leq \max\{h(n,k,2),h(n,k,\lfloor \frac{k-1}{2}\rfloor)\}$, where $h(n,k,a) := {k - a \choose 2} + a(n - k + a)$. Furthermore, Kopylov presented the two possible extremal graphs, one with $h(n,k,2)$ edges and one with $h(n,k,\lfloor \frac{k-1}{2}\rfloor)$ edges. In this paper, we complete a stability theorem which strengthens Kopylov's result. In particular, we show that for $k \geq 3$ odd and all $n \geq k$, every $n$-vertex $2$-connected graph $G$ with no cycle of length at least $k$ is a subgraph of one of the two extremal graphs or $e(G) \leq \max\{h(n,k,3),h(n,k,\frac{k-3}{2})\}$. The upper bound for $e(G)$ here is tight.