Showing 1–30 of 30 results for author: Santhanam, R

From Proof Complexity to Circuit Complexity via Interactive Protocols

Authors: Noel Arteche, Erfan Khaniki, Ján Pich, Rahul Santhanam

Abstract: Folklore in complexity theory suspects that circuit lower bounds against $\mathbf{NC}^1$ or $\mathbf{P}/\operatorname{poly}$, currently out of reach, are a necessary step towards proving strong proof complexity lower bounds for systems like Frege or Extended Frege. Establishing such a connection formally, however, is already daunting, as it would imply the breakthrough separation… ▽ More Folklore in complexity theory suspects that circuit lower bounds against $\mathbf{NC}^1$ or $\mathbf{P}/\operatorname{poly}$, currently out of reach, are a necessary step towards proving strong proof complexity lower bounds for systems like Frege or Extended Frege. Establishing such a connection formally, however, is already daunting, as it would imply the breakthrough separation $\mathbf{NEXP} \not\subseteq \mathbf{P}/\operatorname{poly}$, as recently observed by Pich and Santhanam (2023). We show such a connection conditionally for the Implicit Extended Frege proof system ($\mathsf{iEF}$) introduced by Krajíček (The Journal of Symbolic Logic, 2004), capable of formalizing most of contemporary complexity theory. In particular, we show that if $\mathsf{iEF}$ proves efficiently the standard derandomization assumption that a concrete Boolean function is hard on average for subexponential-size circuits, then any superpolynomial lower bound on the length of $\mathsf{iEF}$ proofs implies $\#\mathbf{P} \not\subseteq \mathbf{FP}/\operatorname{poly}$ (which would in turn imply, for example, $\mathbf{PSPACE} \not\subseteq \mathbf{P}/\operatorname{poly}$). Our proof exploits the formalization inside $\mathsf{iEF}$ of the soundness of the sum-check protocol of Lund, Fortnow, Karloff, and Nisan (Journal of the ACM, 1992). This has consequences for the self-provability of circuit upper bounds in $\mathsf{iEF}$. Interestingly, further improving our result seems to require progress in constructing interactive proof systems with more efficient provers. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: A conference version of this work is accepted to the 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP 2024)

Uniquely compatible transfer systems for cyclic groups of order $p^rq^s$

Authors: Kristen Mazur, Angelica M. Osorno, Constanze Roitzheim, Rekha Santhanam, Danika Van Niel, Valentina Zapata Castro

Abstract: Bi-incomplete Tambara functors over a group $G$ can be understood in terms of compatible pairs of $G$-transfer systems. In the case of $G = C_{p^n}$ , Hill, Meng and Li gave a necessary and sufficient condition for compatibility and computed the exact number of compatible pairs. In this article, we study compatible pairs of $G$-transfer systems for the case $G = C_{p^rq^s}$ and identify conditions… ▽ More Bi-incomplete Tambara functors over a group $G$ can be understood in terms of compatible pairs of $G$-transfer systems. In the case of $G = C_{p^n}$ , Hill, Meng and Li gave a necessary and sufficient condition for compatibility and computed the exact number of compatible pairs. In this article, we study compatible pairs of $G$-transfer systems for the case $G = C_{p^rq^s}$ and identify conditions when such transfer systems are uniquely compatible in the sense that they only form trivially compatible pairs. This gives us new insight into collections of norm maps that are relevant in equivariant homotopy theory. △ Less

Submitted 21 May, 2024; v1 submitted 24 January, 2024; originally announced January 2024.

Comments: 22 pages, to appear in Topology and its Applications

MSC Class: 55P91; 55N91; 06A07;

Towards P$\ne$NP from Extended Frege lower bounds

Authors: Jan Pich, Rahul Santhanam

Abstract: We prove that if conditions I-II (below) hold and there is a sequence of Boolean functions $f_n$ hard to approximate by p-size circuits such that p-size circuit lower bounds for $f_n$ do not have p-size proofs in Extended Frege system EF, then $P\ne NP$. I. $S^1_2$ proves that a concrete function in ${\sf E}$ is hard to approximate by subexponential-size circuits. II. [Learning from… ▽ More We prove that if conditions I-II (below) hold and there is a sequence of Boolean functions $f_n$ hard to approximate by p-size circuits such that p-size circuit lower bounds for $f_n$ do not have p-size proofs in Extended Frege system EF, then $P\ne NP$. I. $S^1_2$ proves that a concrete function in ${\sf E}$ is hard to approximate by subexponential-size circuits. II. [Learning from $\neg\exists$ OWF.] $S^1_2$ proves that a p-time reduction transforms circuits breaking one-way functions to p-size circuits learning p-size circuits over the uniform distribution, with membership queries. Here, $S^1_2$ is Buss's theory of bounded arithmetic formalizing p-time reasoning. Further, we show that any of the following assumptions implies that $P\ne NP$, if EF is not p-bounded: 1. [Feasible anticheckers.] $S^1_2$ proves that a p-time function generates anticheckers for SAT. 2. [Witnessing $NP\not\subseteq P/poly$.] $S^1_2$ proves that a p-time function witnesses an error of each p-size circuit which fails to solve SAT. 3. [OWF from $NP\not\subseteq P/poly$ $\&$ hardness of ${\sf E}$.] Condition I holds and $S^1_2$ proves that a p-time reduction transforms circuits breaking one-way functions to p-size circuits computing SAT. The results generalize to stronger theories and proof systems. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: arXiv admin note: text overlap with arXiv:2111.10626

Representing and Reasoning with Multi-Stakeholder Qualitative Preference Queries

Authors: Samik Basu, Vasant Honavar, Ganesh Ram Santhanam, Jia Tao

Abstract: Many decision-making scenarios, e.g., public policy, healthcare, business, and disaster response, require accommodating the preferences of multiple stakeholders. We offer the first formal treatment of reasoning with multi-stakeholder qualitative preferences in a setting where stakeholders express their preferences in a qualitative preference language, e.g., CP-net, CI-net, TCP-net, CP-Theory. We i… ▽ More Many decision-making scenarios, e.g., public policy, healthcare, business, and disaster response, require accommodating the preferences of multiple stakeholders. We offer the first formal treatment of reasoning with multi-stakeholder qualitative preferences in a setting where stakeholders express their preferences in a qualitative preference language, e.g., CP-net, CI-net, TCP-net, CP-Theory. We introduce a query language for expressing queries against such preferences over sets of outcomes that satisfy specified criteria, e.g., $\mlangpref{ψ_1}{ψ_2}{A}$ (read loosely as the set of outcomes satisfying $ψ_1$ that are preferred over outcomes satisfying $ψ_2$ by a set of stakeholders $A$). Motivated by practical application scenarios, we introduce and analyze several alternative semantics for such queries, and examine their interrelationships. We provide a provably correct algorithm for answering multi-stakeholder qualitative preference queries using model checking in alternation-free $μ$-calculus. We present experimental results that demonstrate the feasibility of our approach. △ Less

Submitted 30 July, 2023; originally announced July 2023.

Comments: A shorter version is published in the proceeding of 26th European Conference on Artificial Intelligence ECAI 2023

Polynomial-Time Pseudodeterministic Construction of Primes

Authors: Lijie Chen, Zhenjian Lu, Igor C. Oliveira, Hanlin Ren, Rahul Santhanam

Abstract: A randomized algorithm for a search problem is *pseudodeterministic* if it produces a fixed canonical solution to the search problem with high probability. In their seminal work on the topic, Gat and Goldwasser posed as their main open problem whether prime numbers can be pseudodeterministically constructed in polynomial time. We provide a positive solution to this question in the infinitely-oft… ▽ More A randomized algorithm for a search problem is *pseudodeterministic* if it produces a fixed canonical solution to the search problem with high probability. In their seminal work on the topic, Gat and Goldwasser posed as their main open problem whether prime numbers can be pseudodeterministically constructed in polynomial time. We provide a positive solution to this question in the infinitely-often regime. In more detail, we give an *unconditional* polynomial-time randomized algorithm $B$ such that, for infinitely many values of $n$, $B(1^n)$ outputs a canonical $n$-bit prime $p_n$ with high probability. More generally, we prove that for every dense property $Q$ of strings that can be decided in polynomial time, there is an infinitely-often pseudodeterministic polynomial-time construction of strings satisfying $Q$. This improves upon a subexponential-time construction of Oliveira and Santhanam. Our construction uses several new ideas, including a novel bootstrap** technique for pseudodeterministic constructions, and a quantitative optimization of the uniform hardness-randomness framework of Chen and Tell, using a variant of the Shaltiel--Umans generator. △ Less

Submitted 24 May, 2023; originally announced May 2023.

Cofibrantly generated model structures for functor calculus

Authors: Lauren Bandklayder, Julia E. Bergner, Rhiannon Griffiths, Brenda Johnson, Rekha Santhanam

Abstract: Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, bu… ▽ More Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, but also include a model structure for the discrete functor calculus of Bauer, Johnson, and McCarthy. △ Less

Submitted 23 February, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 52 pages. Comments welcome!

MSC Class: 18D20; 18D15; 18F50; 18N40; 55U35

Higher topological complexity of Seifert fibered manifolds

Authors: Navnath Daundkar, Rekha Santhanam, Soumyadip Thandar

Abstract: In this paper, we show that in most cases, the topological complexity of Seifert fibered manifolds is either $6$ or $7$. Then we show that the topological complexity of the wedge of two closed, orientable, aspherical $3$-manifolds is $7$. Next, we improve the cohomological lower bound for higher topological complexity. As an application, we show that in many cases the higher $n^{\text{th}}$ topolo… ▽ More In this paper, we show that in most cases, the topological complexity of Seifert fibered manifolds is either $6$ or $7$. Then we show that the topological complexity of the wedge of two closed, orientable, aspherical $3$-manifolds is $7$. Next, we improve the cohomological lower bound for higher topological complexity. As an application, we show that in many cases the higher $n^{\text{th}}$ topological complexity of the Seifert fibered manifold is either $3n$ or $3n+1$. We also show that the higher $n^{\text{th}}$ topological complexity of the connected sum of $S^2\times S^1$ is $2n+1$. △ Less

Submitted 10 May, 2023; v1 submitted 3 April, 2023; originally announced April 2023.

Comments: Minor changes have been made in Proposition 3.8 and Proposition 4.6 has been added. Few typos have been fixed

MSC Class: 55M30; 57N65; 55S99; 55P99

Cofibration category structures on the category of graphs

Authors: Shuchita Goyal, Rekha Santhanam

Abstract: In this article, we show that there is no cofibration category structure on the category of finite graphs with $\times$-homotopy equivalences as the class of weak equivalences. Further, we show that it is not possible to enlarge the class of weak equivalences to get cofibration category structure on the category of finite graphs without including morphisms where domain and codomain have non-isomor… ▽ More In this article, we show that there is no cofibration category structure on the category of finite graphs with $\times$-homotopy equivalences as the class of weak equivalences. Further, we show that it is not possible to enlarge the class of weak equivalences to get cofibration category structure on the category of finite graphs without including morphisms where domain and codomain have non-isomorphic stiff subgraphs. △ Less

Submitted 28 November, 2023; v1 submitted 31 January, 2023; originally announced January 2023.

Comments: 10 pages, 3 figures; Comments are welcome

MSC Class: 05C10; 18N40; 55P99

Equivariant Intrinsic Formality

Authors: Rekha Santhanam, Soumyadip Thandar

Abstract: Algebraic models for equivariant rational homotopy theory were developed by Triantafillou and Scull for finite group actions and $S^1$ action, respectively. They showed that given a diagram of rational cohomology algebras from the orbit category of a group $G$, there is a unique minimal system of DGAs and hence a unique equivariant rational homotopy type that is weakly equivalent to it. However, t… ▽ More Algebraic models for equivariant rational homotopy theory were developed by Triantafillou and Scull for finite group actions and $S^1$ action, respectively. They showed that given a diagram of rational cohomology algebras from the orbit category of a group $G$, there is a unique minimal system of DGAs and hence a unique equivariant rational homotopy type that is weakly equivalent to it. However, there can be several equivariant rational homotopy types with the same system of cohomology algebras. Halperin, Stasheff, and others studied the problem of classifying rational homotopy types up to cohomology in the non-equivariant case. In this article, we consider this question in the equivariant case. We prove that when $\mathbb{Z}_p$ under suitable conditions, the equivariant rational homotopy types with isomorphic cohomology can be reduced to the non-equivariant case. △ Less

Submitted 17 January, 2023; originally announced January 2023.

MSC Class: 55P91; 55P62; 16E45; 18G10

Bounds for the collapsibility number of a simplicial complex and non-cover complexes of hypergraphs

Authors: Rekha Santhanam, Samir Shukla, Anurag Singh

Abstract: The collapsibility number of simplicial complexes was introduced by Wegner in order to understand the intersection patterns of convex sets. This number also plays an important role in a variety of Helly type results. We show that the non-cover complex of a hypergraph $\mathcal{H}$ is $|V(\mathcal{H)}|- γ_i(\mathcal{H})-1$-collapsible, where $γ_i(\mathcal{H})$ is the generalization of independence… ▽ More The collapsibility number of simplicial complexes was introduced by Wegner in order to understand the intersection patterns of convex sets. This number also plays an important role in a variety of Helly type results. We show that the non-cover complex of a hypergraph $\mathcal{H}$ is $|V(\mathcal{H)}|- γ_i(\mathcal{H})-1$-collapsible, where $γ_i(\mathcal{H})$ is the generalization of independence domination number of a graph to hypergraph. This extends the result of Choi, Kim and Park from graphs to hypergraphs. Moreover, the upper bound in terms of strong independence domination number given by Kim and Kim for the Leray number of the non-cover complex of a hypergraph can be obtained as a special case of our result. In general, there can be a large gap between the collapsibility number of a complex and its well-known upper bounds. In this article, we construct a sequence of upper bounds $\mathcal{M}_k(X)$ for the collapsibility number of a simplicial complex $X$, which lie in this gap. We also show that the bound given by $\mathcal{M}_k$ is tight if the underlying complex is $k$-vertex decomposable. △ Less

Submitted 25 April, 2024; v1 submitted 19 November, 2022; originally announced November 2022.

Comments: Minor typos in abstract have been corrected

MSC Class: 05C69; 05E45; 52B22; 52A35

Constructive Separations and Their Consequences

Authors: Lijie Chen, Ce **, Rahul Santhanam, Ryan Williams

Abstract: For a complexity class $C$ and language $L$, a constructive separation of $L \notin C$ gives an efficient algorithm (also called a refuter) to find counterexamples (bad inputs) for every $C$-algorithm attempting to decide $L$. We study the questions: Which lower bounds can be made constructive? What are the consequences of constructive separations? We build a case that "constructiveness" serves as… ▽ More For a complexity class $C$ and language $L$, a constructive separation of $L \notin C$ gives an efficient algorithm (also called a refuter) to find counterexamples (bad inputs) for every $C$-algorithm attempting to decide $L$. We study the questions: Which lower bounds can be made constructive? What are the consequences of constructive separations? We build a case that "constructiveness" serves as a dividing line between many weak lower bounds we know how to prove, and strong lower bounds against $P$, $ZPP$, and $BPP$. Put another way, constructiveness is the opposite of a complexity barrier: it is a property we want lower bounds to have. Our results fall into three broad categories. 1. Our first set of results shows that, for many well-known lower bounds against streaming algorithms, one-tape Turing machines, and query complexity, as well as lower bounds for the Minimum Circuit Size Problem, making these lower bounds constructive would imply breakthrough separations ranging from $EXP \neq BPP$ to even $P \neq NP$. 2. Our second set of results shows that for most major open problems in lower bounds against $P$, $ZPP$, and $BPP$, including $P \neq NP$, $P \neq PSPACE$, $P \neq PP$, $ZPP \neq EXP$, and $BPP \neq NEXP$, any proof of the separation would further imply a constructive separation. Our results generalize earlier results for $P \neq NP$ [Gutfreund, Shaltiel, and Ta-Shma, CCC 2005] and $BPP \neq NEXP$ [Dolev, Fandina and Gutfreund, CIAC 2013]. 3. Our third set of results shows that certain complexity separations cannot be made constructive. We observe that for all super-polynomially growing functions $t$, there are no constructive separations for detecting high $t$-time Kolmogorov complexity (a task which is known to be not in $P$) from any complexity class, unconditionally. △ Less

Submitted 14 February, 2024; v1 submitted 27 March, 2022; originally announced March 2022.

Comments: Abstract shortened to fit arXiv requirements

Journal ref: TheoretiCS (February 15, 2024) theoretics:9259

Learning algorithms versus automatability of Frege systems

Authors: Ján Pich, Rahul Santhanam

Abstract: We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system $P$, we prove that the following statements are equivalent, 1. Provable learning: $P$ proves efficiently that p-size circuits are learnable by subexponential-size circuits over the uniform distribution with membership queries… ▽ More We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system $P$, we prove that the following statements are equivalent, 1. Provable learning: $P$ proves efficiently that p-size circuits are learnable by subexponential-size circuits over the uniform distribution with membership queries. 2. Provable automatability: $P$ proves efficiently that $P$ is automatable by non-uniform circuits on propositional formulas expressing p-size circuit lower bounds. Here, $P$ is sufficiently strong and well-behaved if I.-III. holds: I. $P$ p-simulates Jeřábek's system $WF$ (which strengthens the Extended Frege system $EF$ by a surjective weak pigeonhole principle); II. $P$ satisfies some basic properties of standard proof systems which p-simulate $WF$; III. $P$ proves efficiently for some Boolean function $h$ that $h$ is hard on average for circuits of subexponential size. For example, if III. holds for $P=WF$, then Items 1 and 2 are equivalent for $P=WF$. If there is a function $h\in NE\cap coNE$ which is hard on average for circuits of size $2^{n/4}$, for each sufficiently big $n$, then there is an explicit propositional proof system $P$ satisfying properties I.-III., i.e. the equivalence of Items 1 and 2 holds for $P$. △ Less

Submitted 20 November, 2021; originally announced November 2021.

Pseudodeterministic Algorithms and the Structure of Probabilistic Time

Authors: Zhenjian Lu, Igor C. Oliveira, Rahul Santhanam

Abstract: We connect the study of pseudodeterministic algorithms to two major open problems about the structural complexity of $\mathsf{BPTIME}$: proving hierarchy theorems and showing the existence of complete problems. Our main contributions can be summarised as follows. 1. We build on techniques developed to prove hierarchy theorems for probabilistic time with advice (Fortnow and Santhanam, FOCS 2004)… ▽ More We connect the study of pseudodeterministic algorithms to two major open problems about the structural complexity of $\mathsf{BPTIME}$: proving hierarchy theorems and showing the existence of complete problems. Our main contributions can be summarised as follows. 1. We build on techniques developed to prove hierarchy theorems for probabilistic time with advice (Fortnow and Santhanam, FOCS 2004) to construct the first unconditional pseudorandom generator of polynomial stretch computable in pseudodeterministic polynomial time (with one bit of advice) that is secure infinitely often against polynomial-time computations. As an application of this construction, we obtain new results about the complexity of generating and representing prime numbers. 2. Oliveira and Santhanam (STOC 2017) established unconditionally that there is a pseudodeterministic algorithm for the Circuit Acceptance Probability Problem ($\mathsf{CAPP}$) that runs in sub-exponential time and is correct with high probability over any samplable distribution on circuits on infinitely many input lengths. We show that improving this running time or obtaining a result that holds for every large input length would imply new time hierarchy theorems for probabilistic time. In addition, we prove that a worst-case polynomial-time pseudodeterministic algorithm for $\mathsf{CAPP}$ would imply that $\mathsf{BPP}$ has complete problems. 3. We establish an equivalence between pseudodeterministic construction of strings of large $\mathsf{rKt}$ complexity (Oliveira, ICALP 2019) and the existence of strong hierarchy theorems for probabilistic time. More generally, these results suggest new approaches for designing pseudodeterministic algorithms for search problems and for unveiling the structure of probabilistic time. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Enriched functor categories for functor calculus

Authors: Lauren Bandklayder, Julia E. Bergner, Rhiannon Griffiths, Brenda Johnson, Rekha Santhanam

Abstract: In this paper we present background results in enriched category theory and enriched model category theory necessary for develo** model categories of enriched functors suitable for doing functor calculus. In this paper we present background results in enriched category theory and enriched model category theory necessary for develo** model categories of enriched functors suitable for doing functor calculus. △ Less

Submitted 12 May, 2022; v1 submitted 28 February, 2020; originally announced March 2020.

Comments: 37 pages. Final version, to appear in WIT III proceedings volume

Vertex cut of a graph and connectivity of its neighbourhood complex

Authors: Rekha Santhanam, Samir Shukla

Abstract: We show that if a graph $G$ satisfies certain conditions then the connectivity of neighbourhood complex $\mathcal{N}(G)$ is strictly less than the vertex connectivity of $G$. As an application, we give a relation between the connectivity of the neighbourhood complex and the vertex connectivity for stiff chordal graphs, and for weakly triangulated graphs satisfying certain properties. Further, we p… ▽ More We show that if a graph $G$ satisfies certain conditions then the connectivity of neighbourhood complex $\mathcal{N}(G)$ is strictly less than the vertex connectivity of $G$. As an application, we give a relation between the connectivity of the neighbourhood complex and the vertex connectivity for stiff chordal graphs, and for weakly triangulated graphs satisfying certain properties. Further, we prove that for a graph $G$ if there exists a vertex $v$ satisfying the property that for any $k$-subset $S$ of neighbours of $v$, there exists a vertex $v_S \neq v$ such that $S$ is subset of neighbours of $v_S$, then $\mathcal{N}(G-\{v\})$ is $(k-1)$-connected implies that $\mathcal{N}(G)$ is $(k-1)$-connected. As a consequence of this, we show that:(i) neighbourhood complexes of queen and king graphs are simply connected and (ii) if $G$ is a $(n+1)$-connected chordal graph which is not folded onto a clique of size $n+2$, then $\mathcal{N}(G)$ is $n$-connected. △ Less

Submitted 26 April, 2023; v1 submitted 9 February, 2020; originally announced February 2020.

Comments: Accepted journal version. Incorporated referee's comments. In section 6, an example of a class of graphs is added, where the connectivity of its neighborhood complex can be made arbitrary large from its vertex connectivity

Journal ref: Discrete Mathematics, 2023

Beyond Natural Proofs: Hardness Magnification and Locality

Authors: Lijie Chen, Shuichi Hirahara, Igor C. Oliveira, Jan Pich, Ninad Rajgopal, Rahul Santhanam

Abstract: Hardness magnification reduces major complexity separations (such as $\mathsf{\mathsf{EXP}} \nsubseteq \mathsf{NC}^1$) to proving lower bounds for some natural problem $Q$ against weak circuit models. Several recent works [OS18, MMW19, CT19, OPS19, CMMW19, Oli19, CJW19a] have established results of this form. In the most intriguing cases, the required lower bound is known for problems that appear… ▽ More Hardness magnification reduces major complexity separations (such as $\mathsf{\mathsf{EXP}} \nsubseteq \mathsf{NC}^1$) to proving lower bounds for some natural problem $Q$ against weak circuit models. Several recent works [OS18, MMW19, CT19, OPS19, CMMW19, Oli19, CJW19a] have established results of this form. In the most intriguing cases, the required lower bound is known for problems that appear to be significantly easier than $Q$, while $Q$ itself is susceptible to lower bounds but these are not yet sufficient for magnification. In this work, we provide more examples of this phenomenon, and investigate the prospects of proving new lower bounds using this approach. In particular, we consider the following essential questions associated with the hardness magnification program: Does hardness magnification avoid the natural proofs barrier of Razborov and Rudich [RR97]? Can we adapt known lower bound techniques to establish the desired lower bound for $Q$? △ Less

Submitted 19 November, 2019; originally announced November 2019.

(Lack of) Model Structures on the Category of Graphs

Authors: Shuchita Goyal, Rekha Santhanam

Abstract: In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Strøm-Hurewicz model structure on this category of graphs. More interestingly, we show that this category of graphs with $\times$-homotopy equivalences does not have a model structure whenever the class of cofibra… ▽ More In this article, we study model structures on the category of finite graphs with $\times$-homotopy equivalences as the weak equivalences. We show that there does not exist an analogue of Strøm-Hurewicz model structure on this category of graphs. More interestingly, we show that this category of graphs with $\times$-homotopy equivalences does not have a model structure whenever the class of cofibrations is a subclass of graph inclusions. △ Less

Submitted 10 February, 2021; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: minor typos are corrected and a few definitions are added. To appear in the Applied Categorical Structures

MSC Class: 55P99; 05C15

Journal ref: Applied Categorical Structures (2021)

Average-Case Lower Bounds and Satisfiability Algorithms for Small Threshold Circuits

Authors: Ruiwen Chen, Rahul Santhanam, Srikanth Srinivasan

Abstract: $ \newcommand{\cclass}[1]{\normalfont\textsf{##1}} $We show average-case lower bounds for explicit Boolean functions against bounded-depth threshold circuits with a superlinear number of wires. We show that for each integer $d > 1$, there is a constant $\varepsilon_d > 0$ such that the Parity function on $n$ bits has correlation at most $n^{-\varepsilon_d}$ with depth-$d… ▽ More $ \newcommand{\cclass}[1]{\normalfont\textsf{##1}} $We show average-case lower bounds for explicit Boolean functions against bounded-depth threshold circuits with a superlinear number of wires. We show that for each integer $d > 1$, there is a constant $\varepsilon_d > 0$ such that the Parity function on $n$ bits has correlation at most $n^{-\varepsilon_d}$ with depth-$d$ threshold circuits which have at most $n^{1+\varepsilon_d}$ wires, and the Generalized Andreev function on $n$ bits has correlation at most $\exp(-{n^{\varepsilon_d}})$ with depth-$d$ threshold circuits which have at most $n^{1+\varepsilon_d}$ wires. Previously, only worst-case lower bounds in this setting were known (Impagliazzo, Paturi, and Saks (SICOMP 1997)). We use our ideas to make progress on several related questions. We give satisfiability algorithms beating brute force search for depth-$d$ threshold circuits with a superlinear number of wires. These are the first such algorithms for depth greater than 2. We also show that Parity on $n$ bits cannot be computed by polynomial-size $\textsf{AC}^0$ circuits with $n^{o(1)}$ general threshold gates. Previously no lower bound for Parity in this setting could handle more than $\log(n)$ gates. This result also implies subexponential-time learning algorithms for $\textsf{AC}^0$ with $n^{o(1)}$ threshold gates under the uniform distribution. In addition, we give almost optimal bounds for the number of gates in a depth-$d$ threshold circuit computing Parity on average, and show average-case lower bounds for threshold formulas of any depth. Our techniques include adaptive random restrictions, anti-concentration and the structural theory of linear threshold functions, and bounded-read Chernoff bounds. △ Less

Submitted 16 June, 2018; originally announced June 2018.

Comments: Published in Theory of Computing, Volume 14 (2018), Article 9; Received: June 16, 2016, Revised: May 10, 2018, Published: June 5, 2018

MSC Class: 68Q17; 68Q32 ACM Class: F.1.2; F.2.3

Journal ref: Theory of Computing 14(9):1-55, 2018

Pseudodeterministic Constructions in Subexponential Time

Authors: Igor C. Oliveira, Rahul Santhanam

Abstract: We study pseudodeterministic constructions, i.e., randomized algorithms which output the same solution on most computation paths. We establish unconditionally that there is an infinite sequence $\{p_n\}_{n \in \mathbb{N}}$ of increasing primes and a randomized algorithm $A$ running in expected sub-exponential time such that for each $n$, on input $1^{|p_n|}$, $A$ outputs $p_n$ with probability… ▽ More We study pseudodeterministic constructions, i.e., randomized algorithms which output the same solution on most computation paths. We establish unconditionally that there is an infinite sequence $\{p_n\}_{n \in \mathbb{N}}$ of increasing primes and a randomized algorithm $A$ running in expected sub-exponential time such that for each $n$, on input $1^{|p_n|}$, $A$ outputs $p_n$ with probability $1$. In other words, our result provides a pseudodeterministic construction of primes in sub-exponential time which works infinitely often. This result follows from a much more general theorem about pseudodeterministic constructions. A property $Q \subseteq \{0,1\}^{*}$ is $γ$-dense if for large enough $n$, $|Q \cap \{0,1\}^n| \geq γ2^n$. We show that for each $c > 0$ at least one of the following holds: (1) There is a pseudodeterministic polynomial time construction of a family $\{H_n\}$ of sets, $H_n \subseteq \{0,1\}^n$, such that for each $(1/n^c)$-dense property $Q \in \mathsf{DTIME}(n^c)$ and every large enough $n$, $H_n \cap Q \neq \emptyset$; or (2) There is a deterministic sub-exponential time construction of a family $\{H'_n\}$ of sets, $H'_n \subseteq \{0,1\}^n$, such that for each $(1/n^c)$-dense property $Q \in \mathsf{DTIME}(n^c)$ and for infinitely many values of $n$, $H'_n \cap Q \neq \emptyset$. We provide further algorithmic applications that might be of independent interest. Perhaps intriguingly, while our main results are unconditional, they have a non-constructive element, arising from a sequence of applications of the hardness versus randomness paradigm. △ Less

Submitted 6 December, 2016; originally announced December 2016.

Conspiracies between Learning Algorithms, Circuit Lower Bounds and Pseudorandomness

Authors: Igor C. Oliveira, Rahul Santhanam

Abstract: We prove several results giving new and stronger connections between learning, circuit lower bounds and pseudorandomness. Among other results, we show a generic learning speedup lemma, equivalences between various learning models in the exponential time and subexponential time regimes, a dichotomy between learning and pseudorandomness, consequences of non-trivial learning for circuit lower bounds,… ▽ More We prove several results giving new and stronger connections between learning, circuit lower bounds and pseudorandomness. Among other results, we show a generic learning speedup lemma, equivalences between various learning models in the exponential time and subexponential time regimes, a dichotomy between learning and pseudorandomness, consequences of non-trivial learning for circuit lower bounds, Karp-Lipton theorems for probabilistic exponential time, and NC$^1$-hardness for the Minimum Circuit Size Problem. △ Less

Submitted 3 November, 2016; originally announced November 2016.

Lovász' original lower bound: Getting tighter bounds and Reducing computational complexity

Authors: Shuchita Goyal, Rekha Santhanam

Abstract: In this article, we give conditions on a graph under which the Lovász' original bound of the graph can be improved by increasing the topological connectivity of its neighbourhood complex. We also work out conditions under which computing the topological connectivity of hom complex of a pair of graphs can be simplified. In particular, hom complex as a covariant functor acting on a double map** cy… ▽ More In this article, we give conditions on a graph under which the Lovász' original bound of the graph can be improved by increasing the topological connectivity of its neighbourhood complex. We also work out conditions under which computing the topological connectivity of hom complex of a pair of graphs can be simplified. In particular, hom complex as a covariant functor acting on a double map** cylinder of graphs is a homotopy pushout of hom complex functor applied to its subgraphs. We give applications of this result where the computation of hom complexes is simplified. Finally, we explain why double map** cylinder of graphs does not give a satisfactory definition of homotopy pushout in the category of graphs. △ Less

Submitted 13 December, 2019; v1 submitted 18 April, 2016; originally announced April 2016.

Comments: The article has been rewritten with more focus on the applications of the main ideas. The title has been changed appropriately. Thm 2.10, Prop 3.4 are added in this version

CRISNER: A Practically Efficient Reasoner for Qualitative Preferences

Authors: Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

Abstract: We present CRISNER (Conditional & Relative Importance Statement Network PrEference Reasoner), a tool that provides practically efficient as well as exact reasoning about qualitative preferences in popular ceteris paribus preference languages such as CP-nets, TCP-nets, CP-theories, etc. The tool uses a model checking engine to translate preference specifications and queries into appropriate Kripke… ▽ More We present CRISNER (Conditional & Relative Importance Statement Network PrEference Reasoner), a tool that provides practically efficient as well as exact reasoning about qualitative preferences in popular ceteris paribus preference languages such as CP-nets, TCP-nets, CP-theories, etc. The tool uses a model checking engine to translate preference specifications and queries into appropriate Kripke models and verifiable properties over them respectively. The distinguishing features of the tool are: (1) exact and provably correct query answering for testing dominance, consistency with respect to a preference specification, and testing equivalence and subsumption of two sets of preferences; (2) automatic generation of proofs evidencing the correctness of answer produced by CRISNER to any of the above queries; (3) XML inputs and outputs that make it portable and pluggable into other applications. We also describe the extensible architecture of CRISNER, which can be extended to new reference formalisms based on ceteris paribus semantics that may be developed in the future. △ Less

Submitted 30 July, 2015; originally announced July 2015.

Comments: 15 pages

A short treatise on Equivariant Gamma spaces

Authors: Rekha Santhanam

Abstract: Equivariant $Γ$-spaces model equivariant infinite loop spaces. In this article, we show that there exists a connective Quillen equivalence between the category of equivariant $Γ$-spaces and the category of orthogonal spectra. Equivariant $Γ$-spaces model equivariant infinite loop spaces. In this article, we show that there exists a connective Quillen equivalence between the category of equivariant $Γ$-spaces and the category of orthogonal spectra. △ Less

Submitted 1 June, 2015; v1 submitted 12 May, 2015; originally announced May 2015.

Comments: There were mistakes in the previous version and they have been removed

Representing and Reasoning with Qualitative Preferences for Compositional Systems

Authors: Ganesh Ram Santhanam, Samik Basu, Vasant Honavar

Abstract: Many applications, e.g., Web service composition, complex system design, team formation, etc., rely on methods for identifying collections of objects or entities satisfying some functional requirement. Among the collections that satisfy the functional requirement, it is often necessary to identify one or more collections that are optimal with respect to user preferences over a set of attributes th… ▽ More Many applications, e.g., Web service composition, complex system design, team formation, etc., rely on methods for identifying collections of objects or entities satisfying some functional requirement. Among the collections that satisfy the functional requirement, it is often necessary to identify one or more collections that are optimal with respect to user preferences over a set of attributes that describe the non-functional properties of the collection. We develop a formalism that lets users express the relative importance among attributes and qualitative preferences over the valuations of each attribute. We define a dominance relation that allows us to compare collections of objects in terms of preferences over attributes of the objects that make up the collection. We establish some key properties of the dominance relation. In particular, we show that the dominance relation is a strict partial order when the intra-attribute preference relations are strict partial orders and the relative importance preference relation is an interval order. We provide algorithms that use this dominance relation to identify the set of most preferred collections. We show that under certain conditions, the algorithms are guaranteed to return only (sound), all (complete), or at least one (weakly complete) of the most preferred collections. We present results of simulation experiments comparing the proposed algorithms with respect to (a) the quality of solutions (number of most preferred solutions) produced by the algorithms, and (b) their performance and efficiency. We also explore some interesting conjectures suggested by the results of our experiments that relate the properties of the user preferences, the dominance relation, and the algorithms. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Journal ref: Journal Of Artificial Intelligence Research, Volume 42, pages 211-274, 2011

Macroscopes: models for collective decision making

Authors: Subramanian Ramamoorthy, András Z. Salamon, Rahul Santhanam

Abstract: We introduce a new model of collective decision making, when a global decision needs to be made but the parties only possess partial information, and are unwilling (or unable) to first create a globalcomposite of their local views. Our macroscope model captures two key features of many real-world problems: allotment structure (how access to local information is apportioned between parties, includi… ▽ More We introduce a new model of collective decision making, when a global decision needs to be made but the parties only possess partial information, and are unwilling (or unable) to first create a globalcomposite of their local views. Our macroscope model captures two key features of many real-world problems: allotment structure (how access to local information is apportioned between parties, including overlaps between the parties) and the possible presence of meta-information (what each party knows about the allotment structure of the overall problem). Using the framework of communication complexity, we formalize the efficient solution of a macroscope. We present general results about the macroscope model, and also results that abstract the essential computational operations underpinning practical applications, including in financial markets and decentralized sensor networks. We illustrate the computational problem inherent in real-world collective decision making processes using results for specific functions, involving detecting a change in state (constant and step functions), and computing statistical properties (the mean). △ Less

Submitted 17 April, 2012; originally announced April 2012.

Comments: Presented at Collective Intelligence conference, 2012 (arXiv:1204.2991), 8 pages

Report number: CollectiveIntelligence/2012/44

Robust Simulations and Significant Separations

Authors: Lance Fortnow, Rahul Santhanam

Abstract: We define and study a new notion of "robust simulations" between complexity classes which is intermediate between the traditional notions of infinitely-often and almost-everywhere, as well as a corresponding notion of "significant separations". A language L has a robust simulation in a complexity class C if there is a language in C which agrees with L on arbitrarily large polynomial stretches of i… ▽ More We define and study a new notion of "robust simulations" between complexity classes which is intermediate between the traditional notions of infinitely-often and almost-everywhere, as well as a corresponding notion of "significant separations". A language L has a robust simulation in a complexity class C if there is a language in C which agrees with L on arbitrarily large polynomial stretches of input lengths. There is a significant separation of L from C if there is no robust simulation of L in C. The new notion of simulation is a cleaner and more natural notion of simulation than the infinitely-often notion. We show that various implications in complexity theory such as the collapse of PH if NP = P and the Karp-Lipton theorem have analogues for robust simulations. We then use these results to prove that most known separations in complexity theory, such as hierarchy theorems, fixed polynomial circuit lower bounds, time-space tradeoffs, and the theorems of Allender and Williams, can be strengthened to significant separations, though in each case, an almost everywhere separation is unknown. Proving our results requires several new ideas, including a completely different proof of the hierarchy theorem for non-deterministic polynomial time than the ones previously known. △ Less

Submitted 9 December, 2010; originally announced December 2010.

Sheaves and $K$-theory for $\mathbb{F}_1$-schemes

Authors: Chenghao Chu, Oliver Lorscheid, Rekha Santhanam

Abstract: This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of develo** $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of… ▽ More This paper is devoted to the open problem in $\mathbb{F}_1$-geometry of develo** $K$-theory for $\mathbb{F}_1$-schemes. We provide all necessary facts from the theory of monoid actions on pointed sets and we introduce sheaves for $\mathcal{M}_0$-schemes and $\mathbb{F}_1$-schemes in the sense of Connes and Consani. A wide range of results hopefully lies the background for further developments of the algebraic geometry over $\mathbb{F}_1$. Special attention is paid to two aspects particular to $\mathbb{F}_1$-geometry, namely, normal morphisms and locally projective sheaves, which occur when we adopt Quillen's Q-construction to a definition of $G$-theory and $K$-theory for $\mathbb{F}_1$-schemes. A comparison with Waldhausen's $S_{\bullet}$-construction yields the ring structure of $K$-theory. In particular, we generalize Deitmar's $K$-theory of monoids and show that $K_*(\Spec\mathbb{F}_1)$ realizes the stable homotopy of the spheres as a ring spectrum. △ Less

Submitted 25 January, 2012; v1 submitted 14 October, 2010; originally announced October 2010.

Comments: The paper got extended by two new section treating the $K$-theory spectrum and the ring structure of the $K$-theory spectrum. This is the final version as in print. 67 pages

MSC Class: 14A20; 18F20; 18F25; 19D06; 19D10; 19E08; 20M14; 20M30

Pebbles and Branching Programs for Tree Evaluation

Authors: Stephen Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman, Rahul Santhanam

Abstract: We introduce the Tree Evaluation Problem, show that it is in logDCFL (and hence in P), and study its branching program complexity in the hope of eventually proving a superlogarithmic space lower bound. The input to the problem is a rooted, balanced d-ary tree of height h, whose internal nodes are labeled with d-ary functions on [k] = {1,...,k}, and whose leaves are labeled with elements of [k]. E… ▽ More We introduce the Tree Evaluation Problem, show that it is in logDCFL (and hence in P), and study its branching program complexity in the hope of eventually proving a superlogarithmic space lower bound. The input to the problem is a rooted, balanced d-ary tree of height h, whose internal nodes are labeled with d-ary functions on [k] = {1,...,k}, and whose leaves are labeled with elements of [k]. Each node obtains a value in [k] equal to its d-ary function applied to the values of its d children. The output is the value of the root. We show that the standard black pebbling algorithm applied to the binary tree of height h yields a deterministic k-way branching program with Theta(k^h) states solving this problem, and we prove that this upper bound is tight for h=2 and h=3. We introduce a simple semantic restriction called "thrifty" on k-way branching programs solving tree evaluation problems and show that the same state bound of Theta(k^h) is tight (up to a constant factor) for all h >= 2 for deterministic thrifty programs. We introduce fractional pebbling for trees and show that this yields nondeterministic thrifty programs with Theta(k^{h/2+1}) states solving the Boolean problem "determine whether the root has value 1". We prove that this bound is tight for h=2,3,4, and tight for unrestricted nondeterministic k-way branching programs for h=2,3. △ Less

Submitted 14 May, 2010; originally announced May 2010.

Comments: Journal version of mostly-previously-published work. 47 pages

Units of equivariant ring spectra

Authors: Rekha Santhanam

Abstract: It is well known that very special $Γ$-spaces and grouplike $\E_\infty$ spaces both model connective spectra. Both these models have equivariant analogues. Shimakawa defined the category of equivariant $Γ$-spaces and showed that special equivariant $Γ$-spaces determine positive equivariant spectra. Costenoble and Waner showed that grouplike equivariant $\E_\infty$-spaces determine connective equiv… ▽ More It is well known that very special $Γ$-spaces and grouplike $\E_\infty$ spaces both model connective spectra. Both these models have equivariant analogues. Shimakawa defined the category of equivariant $Γ$-spaces and showed that special equivariant $Γ$-spaces determine positive equivariant spectra. Costenoble and Waner showed that grouplike equivariant $\E_\infty$-spaces determine connective equivariant spectra. We show that with suitable model category structures the category of equivariant $Γ$-spaces is Quillen equivalent to the category of equivariant $\E_\infty$ spaces. We define the units of equivariant ring spectra in terms of equivariant $Γ$-spaces and show that the units of an equivariant ring spectrum determines a connective equivariant spectrum. △ Less

Submitted 15 June, 2011; v1 submitted 22 December, 2009; originally announced December 2009.

Comments: More detailed introduction, added appendix C

MSC Class: 55P91; 55P47; 55P42

Journal ref: Algebr. Geom. Topol. 11 (2011) 1361-1403

Bounding Rationality by Discounting Time

Authors: Lance Fortnow, Rahul Santhanam

Abstract: Consider a game where Alice generates an integer and Bob wins if he can factor that integer. Traditional game theory tells us that Bob will always win this game even though in practice Alice will win given our usual assumptions about the hardness of factoring. We define a new notion of bounded rationality, where the payoffs of players are discounted by the computation time they take to produce… ▽ More Consider a game where Alice generates an integer and Bob wins if he can factor that integer. Traditional game theory tells us that Bob will always win this game even though in practice Alice will win given our usual assumptions about the hardness of factoring. We define a new notion of bounded rationality, where the payoffs of players are discounted by the computation time they take to produce their actions. We use this notion to give a direct correspondence between the existence of equilibria where Alice has a winning strategy and the hardness of factoring. Namely, under a natural assumption on the discount rates, there is an equilibriumwhere Alice has a winning strategy iff there is a linear-time samplable distribution with respect to which Factoring is hard on average. We also give general results for discounted games over countable action spaces, including showing that any game with bounded and computable payoffs has an equilibrium in our model, even if each player is allowed a countable number of actions. It follows, for example, that the Largest Integer game has an equilibrium in our model though it has no Nash equilibria or epsilon-Nash equilibria. △ Less

Submitted 16 November, 2009; originally announced November 2009.

Comments: To appear in Proceedings of The First Symposium on Innovations in Computer Science

ACM Class: F.1.1