Follwup #4425

**Is your feature request related to a problem or challenge? Please describe what you are trying to do.**

- support push_down_filter when meet Window
- support SEMI/ANTI JOIN push_down_filter **https://github.com/apache/arrow-datafusion/pull/4365/files#r1034284043**
- pushdown filter into scan when physical optimizer https://github.com/apache/arrow-datafusion/pull/4365/files#r1034752803
- Infer Predicate/Conditon

**Describe the solution you'd like**
A clear and concise description of what you want to happen.

**Describe alternatives you've considered**
A clear and concise description of any alternative solutions or features you've considered.

**Additional context**
Add any other context or screenshots about the feature request here.

Start by reviewing follow-up issue #4425 and the linked pull request discussion, especially the notes about windowing, SEMI/ANTI JOIN, physical optimization, and predicate inference. The issue does not name files or tests; done would require a clarified scope and acceptance criteria for the listed pushdown and inference capabilities.

Written by the indexing model from the issue text.