More Like this

1. Nonlinear electrophoretic velocity of a spherical colloidal particle

   https://doi.org/10.1017/jfm.2023.537  

   Cobos, Richard; Khair, Aditya S. (August 2023, Journal of Fluid Mechanics)

   Electrophoresis is the motion of a charged colloidal particle in an electrolyte under an applied electric field. The electrophoretic velocity of a spherical particle depends on the dimensionless electric field strength$$\beta =a^*e^*E_\infty ^*/k_B^*T^*$$, defined as the ratio of the product of the applied electric field magnitude$$E_\infty ^*$$and particle radius$$a^*$$, to the thermal voltage$$k_B^*T^*/e^*$$, where$$k_B^*$$is Boltzmann's constant,$$T^*$$is the absolute temperature, and$$e^*$$is the charge on a proton. In this paper, we develop a spectral element algorithm to compute the electrophoretic velocity of a spherical, rigid, dielectric particle, of fixed dimensionless surface charge density$$\sigma$$over a wide range of$$\beta$$. Here,$$\sigma =(e^*a^*/\epsilon ^*k_B^*T^*)\sigma ^*$$, where$$\sigma ^*$$is the dimensional surface charge density, and$$\epsilon ^*$$is the permittivity of the electrolyte. For moderately charged particles ($$\sigma ={O}(1)$$), the electrophoretic velocity is linear in$$\beta$$when$$\beta \ll 1$$, and its dependence on the ratio of the Debye length ($$1/\kappa ^*$$) to particle radius (denoted by$$\delta =1/(\kappa ^*a^*)$$) agrees with Henry's formula. As$$\beta$$increases, the nonlinear contribution to the electrophoretic velocity becomes prominent, and the onset of this behaviour is$$\delta$$-dependent. For$$\beta \gg 1$$, the electrophoretic velocity again becomes linear in field strength, approaching the Hückel limit of electrophoresis in a dielectric medium, for all$$\delta$$. For highly charged particles ($$\sigma \gg 1$$) in the thin-Debye-layer limit ($$\delta \ll 1$$), our computations are in good agreement with recent experimental and asymptotic results. 

   more » « less
2. On approximability of satisfiable $$\boldsymbol {k}$$-CSPs: II

   https://doi.org/10.1017/S0963548325100114  

   Bhangale, Amey; Khot, Subhash; Minzer, Dor (November 2025, Combinatorics, Probability and Computing)

   Abstract Let$$\Sigma$$be an alphabet and$$\mu$$be a distribution on$$\Sigma ^k$$for some$$k \geqslant 2$$. Let$$\alpha \gt 0$$be the minimum probability of a tuple in the support of$$\mu$$(denoted$$\mathsf{supp}(\mu )$$). We treat the parameters$$\Sigma , k, \mu , \alpha$$as fixed and constant. We say that the distribution$$\mu$$has a linear embedding if there exist an Abelian group$$G$$(with the identity element$$0_G$$) and mappings$$\sigma _i : \Sigma \rightarrow G$$,$$1 \leqslant i \leqslant k$$, such that at least one of the mappings is non-constant and for every$$(a_1, a_2, \ldots , a_k)\in \mathsf{supp}(\mu )$$,$$\sum _{i=1}^k \sigma _i(a_i) = 0_G$$. In [Bhangale-Khot-Minzer, STOC 2022], the authors asked the following analytical question. Let$$f_i: \Sigma ^n\rightarrow [\!-1,1]$$be bounded functions, such that at least one of the functions$$f_i$$essentially has degree at least$$d$$, meaning that the Fourier mass of$$f_i$$on terms of degree less than$$d$$is at most$$\delta$$. If$$\mu$$has no linear embedding (over any Abelian group), then is it necessarily the case that\begin{equation*}\left | \mathop {\mathbb{E}}_{({\textbf {x}}_1, {\textbf {x}}_2, \ldots , {\textbf {x}}_k)\sim \mu ^{\otimes n}}[f_1({\textbf {x}}_1)f_2({\textbf {x}}_2)\cdots f_k({\textbf {x}}_k)] \right | = o_{d, \delta }(1),\end{equation*}where the right hand side$$\to 0$$as the degree$$d \to \infty$$and$$\delta \to 0$$? In this paper, we answer this analytical question fully and in the affirmative for$$k=3$$. We also show the following two applications of the result.1.The first application is related to hardness of approximation. Using the reduction from [5], we show that for every$$3$$-ary predicate$$P:\Sigma ^3 \to \{0,1\}$$such that$$P$$has no linear embedding, anSDP (semi-definite programming) integrality gap instanceof a$$P$$-Constraint Satisfaction Problem (CSP) instance with gap$$(1,s)$$can be translated into a dictatorship test with completeness$$1$$and soundness$$s+o(1)$$, under certain additional conditions on the instance.2.The second application is related to additive combinatorics. We show that if the distribution$$\mu$$on$$\Sigma ^3$$has no linear embedding, marginals of$$\mu$$are uniform on$$\Sigma$$, and$$(a,a,a)\in \texttt{supp}(\mu )$$for every$$a\in \Sigma$$, then every large enough subset of$$\Sigma ^n$$contains a triple$$({\textbf {x}}_1, {\textbf {x}}_2,{\textbf {x}}_3)$$from$$\mu ^{\otimes n}$$(and in fact a significant density of such triples). 

   more » « less
3. On cohesive powers of linear orders

   https://doi.org/10.1017/jsl.2023.14  

   Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A; Vatev, Stefan V (September 2023, The Journal of Symbolic Logic)

   Abstract Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let$$\omega $$,$$\zeta $$, and$$\eta $$denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of$$\omega $$. If$$\mathcal {L}$$is a computable copy of$$\omega $$that is computably isomorphic to the usual presentation of$$\omega $$, then every cohesive power of$$\mathcal {L}$$has order-type$$\omega + \zeta \eta $$. However, there are computable copies of$$\omega $$, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to$$\omega + \zeta \eta $$. For example, we show that there is a computable copy of$$\omega $$with a cohesive power of order-type$$\omega + \eta $$. Our most general result is that if$$X \subseteq \mathbb {N} \setminus \{0\}$$is a Boolean combination of$$\Sigma _2$$sets, thought of as a set of finite order-types, then there is a computable copy of$$\omega $$with a cohesive power of order-type$$\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$$, where$$\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$$denotes the shuffle of the order-types inXand the order-type$$\omega + \zeta \eta + \omega ^*$$. Furthermore, ifXis finite and non-empty, then there is a computable copy of$$\omega $$with a cohesive power of order-type$$\omega + \boldsymbol {\sigma }(X)$$. 

   more » « less
4. Conformal blocks for Galois covers of algebraic curves

   https://doi.org/10.1112/S0010437X23007418  

   Hong, Jiuzu; Kumar, Shrawan (October 2023, Compositio Mathematica)

   We study the spaces of twisted conformal blocks attached to a$$\Gamma$$-curve$$\Sigma$$with marked$$\Gamma$$-orbits and an action of$$\Gamma$$on a simple Lie algebra$$\mathfrak {g}$$, where$$\Gamma$$is a finite group. We prove that if$$\Gamma$$stabilizes a Borel subalgebra of$$\mathfrak {g}$$, then the propagation theorem and factorization theorem hold. We endow a flat projective connection on the sheaf of twisted conformal blocks attached to a smooth family of pointed$$\Gamma$$-curves; in particular, it is locally free. We also prove that the sheaf of twisted conformal blocks on the stable compactification of Hurwitz stack is locally free. Let$$\mathscr {G}$$be the parahoric Bruhat–Tits group scheme on the quotient curve$$\Sigma /\Gamma$$obtained via the$$\Gamma$$-invariance of Weil restriction associated to$$\Sigma$$and the simply connected simple algebraic group$$G$$with Lie algebra$$\mathfrak {g}$$. We prove that the space of twisted conformal blocks can be identified with the space of generalized theta functions on the moduli stack of quasi-parabolic$$\mathscr {G}$$-torsors on$$\Sigma /\Gamma$$when the level$$c$$is divisible by$$|\Gamma |$$(establishing a conjecture due to Pappas and Rapoport). 

   more » « less
5. Stability and exponential decay for magnetohydrodynamic equations

   https://doi.org/10.1017/prm.2022.23  

   Feng, Wen; Hafeez, Farzana; Wu, Jiahong; Regmi, Dipendra (April 2022, Proceedings of the Royal Society of Edinburgh: Section A Mathematics)

   This paper focuses on a 2D magnetohydrodynamic system with only horizontal dissipation in the domain$$\Omega = \mathbb {T}\times \mathbb {R}$$with$$\mathbb {T}=[0,\,1]$$being a periodic box. The goal here is to understand the stability problem on perturbations near the background magnetic field$$(1,\,0)$$. Due to the lack of vertical dissipation, this stability problem is difficult. This paper solves the desired stability problem by simultaneously exploiting two smoothing and stabilizing mechanisms: the enhanced dissipation due to the coupling between the velocity and the magnetic fields, and the strong Poincaré type inequalities for the oscillation part of the solution, namely the difference between the solution and its horizontal average. In addition, the oscillation part of the solution is shown to converge exponentially to zero in$$H^{1}$$as$$t\to \infty$$. As a consequence, the solution converges to its horizontal average asymptotically. 

   more » « less