{"id":"https://openalex.org/W7225644186","doi":"https://doi.org/10.5281/zenodo.24069882","title":"Log-concavity of the step TASEP distribution at rounded midpoints","display_name":"Log-concavity of the step TASEP distribution at rounded midpoints","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225644186","doi":"https://doi.org/10.5281/zenodo.24069882"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24069882","doi":"https://doi.org/10.5281/zenodo.24069882","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069882","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24069882","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041315596","display_name":"Yitzchak Shmalo","orcid":"https://orcid.org/0000-0002-2886-3049","observed_orcids":["https://orcid.org/0000-0002-2886-3049"]},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shmalo, Yitzchak","raw_affiliation_strings":["Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041315596"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11152","display_name":"Stochastic processes and statistical mechanics","score":0.8974999785423279,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11152","display_name":"Stochastic processes and statistical mechanics","score":0.8974999785423279,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13500","display_name":"Probability and Statistical Research","score":0.025499999523162842,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.014999999664723873,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/totally-asymmetric-simple-exclusion-process","display_name":"totally asymmetric simple exclusion process","score":0.9779999852180481},{"id":"https://openalex.org/keywords/log-concavity","display_name":"log-concavity","score":0.8700000047683716},{"id":"https://openalex.org/keywords/non-intersecting-paths","display_name":"non-intersecting paths","score":0.4359999895095825}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7488999962806702},{"id":"https://openalex.org/C34130140","wikidata":"https://www.wikidata.org/wiki/Q1645406","display_name":"Midpoint","level":2,"score":0.7250000238418579},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5407999753952026},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.5271000266075134},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.46380001306533813},{"id":"https://openalex.org/C134466208","wikidata":"https://www.wikidata.org/wiki/Q1520657","display_name":"Weight function","level":2,"score":0.4334000051021576},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.4041999876499176},{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.39070001244544983},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.38679999113082886},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.38199999928474426},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.3716000020503998},{"id":"https://openalex.org/C2781281476","wikidata":"https://www.wikidata.org/wiki/Q297612","display_name":"Asymmetric simple exclusion process","level":2,"score":0.365200012922287},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.36390000581741333},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3625999987125397},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.3610000014305115},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.36000001430511475},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.35100001096725464},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.3434000015258789},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.33379998803138733},{"id":"https://openalex.org/C84135550","wikidata":"https://www.wikidata.org/wiki/Q3154022","display_name":"Linear inequality","level":3,"score":0.33149999380111694},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3122999966144562},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.31150001287460327},{"id":"https://openalex.org/C95439218","wikidata":"https://www.wikidata.org/wiki/Q1666173","display_name":"Interlacing","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C18762648","wikidata":"https://www.wikidata.org/wiki/Q42213","display_name":"Work (physics)","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C25432639","wikidata":"https://www.wikidata.org/wiki/Q3711790","display_name":"Weight distribution","level":2,"score":0.26429998874664307},{"id":"https://openalex.org/C179003449","wikidata":"https://www.wikidata.org/wiki/Q1757458","display_name":"Particle system","level":2,"score":0.259799987077713}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24069882","doi":"https://doi.org/10.5281/zenodo.24069882","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069882","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24069883","doi":"https://doi.org/10.5281/zenodo.24069883","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069883","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24069882","doi":"https://doi.org/10.5281/zenodo.24069882","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24069882","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7198521746","https://openalex.org/W2084623273","https://openalex.org/W3006297917","https://openalex.org/W4391324613","https://openalex.org/W2964265036","https://openalex.org/W4205648601","https://openalex.org/W3049309637","https://openalex.org/W7158209540","https://openalex.org/W6929078336","https://openalex.org/W2786446615"],"abstract_inverted_index":{"Let":[0],"$X(t)=(X_1(t),\\dots,X_n(t))$":[1],"be":[2],"the":[3,12,21,68,73,89,97,105,111,118,128,131,142],"positions":[4],"at":[5],"time":[6],"$t$":[7],"of":[8,11,72,88,122,144],"$n$":[9],"particles":[10],"continuous-time":[13],"totally":[14],"asymmetric":[15],"simple":[16],"exclusion":[17],"process":[18],"started":[19],"from":[20,67,130],"step":[22],"configuration":[23],"$X_i(0)=-i$,":[24],"and":[25,48,117,125],"let":[26],"$p_t(x)=\\mathbb":[27],"P(X(t)=x)$":[28],"for":[29,43],"$x\\in\\mathbb":[30],"Z^n$.":[31],"We":[32],"prove":[33],"that":[34,141],"\\[":[35],"p_t(a)\\,p_t(b)\\le":[36],"p_t\\bigl(\\lfloor":[37],"\\tfrac{a+b}2":[38,40],"\\rfloor\\bigr)\\,p_t\\bigl(\\lceil":[39],"\\rceil\\bigr)":[41],"\\]":[42],"all":[44,46,49],"$n$,":[45],"$t\\ge0$":[47],"$a,b\\in\\mathbb":[50],"Z^n$,":[51,62],"with":[52],"rounding":[53],"taken":[54],"coordinatewise.":[55],"In":[56],"particular":[57],"$p_t(a)p_t(b)\\le":[58],"p_t(\\tfrac{a+b}2)^2$":[59],"whenever":[60],"$a+b\\in2\\mathbb":[61],"which":[63],"answers":[64],"a":[65,85,149],"question":[66],"open":[69],"problem":[70],"list":[71],"2025":[74],"AIM":[75],"workshop":[76],"on":[77,104],"KPZ":[78],"universality.":[79],"The":[80,137],"proof":[81],"realizes":[82],"$X(t)$":[83],"as":[84],"coordinate":[86,135],"subvector":[87],"Borodin\u2013Ferrari":[90],"interlacing":[91],"array,":[92],"whose":[93],"fixed-time":[94],"law":[95],"has":[96,148],"explicit":[98],"weight":[99,109],"$e^{-nt}t^{|\\lambda|}\\prod_{i