title: Generalized Optimistic Methods for Convex-Concave Saddle Point Problems

abstract: The optimistic gradient method has seen increasing popularity for solving convex-concave saddle point problems. To analyze its iteration complexity, a recent work [arXiv:1906.01115] proposed an interesting perspective that interprets this method as an approximation to the proximal point method. In this paper, we follow this approach and distill the underlying idea of optimism to propose a generalized optimistic method, which includes the optimistic gradient method as a special case. Our general framework can handle constrained saddle point problems with composite objective functions and can work with arbitrary norms using Bregman distances. Moreover, we develop a backtracking line search scheme to select the step sizes without knowledge of the smoothness coefficients. We instantiate our method with first-, second- and higher-order oracles and give best-known global iteration complexity bounds. For our first-order method, we show that the averaged iterates converge at a rate of $O(1/N)$ when the objective function is convex-concave, and it achieves linear convergence when the objective is strongly-convex-strongly-concave. For our second- and higher-order methods, under the additional assumption that the distance-generating function has Lipschitz gradient, we prove a complexity bound of $O(1/\epsilon^\frac{2}{p+1})$ in the convex-concave setting and a complexity bound of $O((L_pD^\frac{p-1}{2}/\mu)^\frac{2}{p+1}+\log\log\frac{1}{\epsilon})$ in the strongly-convex-strongly-concave setting, where $L_p$ ($p\geq 2$) is the Lipschitz constant of the $p$-th-order derivative, $\mu$ is the strong convexity parameter, and $D$ is the initial Bregman distance to the saddle point. Moreover, our line search scheme provably only requires a constant number of calls to a subproblem solver per iteration on average, making our first- and second-order methods particularly amenable to implementation.


title: Finite maximal codes and factorizations of cyclic groups

abstract: Variable-length codes are the bases of the free submonoids of a free monoid. There are some important longstanding open questions about the structure of finite maximal codes, namely the factorization conjecture and the triangle conjecture, proposed by Perrin and Sch\"{u}tzemberger. The latter concerns finite codes $Y$ which are subsets of $a^* B a^*$, where $a$ is a letter and $B$ is an alphabet not containing $a$. A structural property of finite maximal codes has recently been shown by Zhang and Shum. It exhibits a relationship between finite maximal codes and factorizations of cyclic groups. With the aim of highlighting the links between this result and other older ones on maximal and factorizing codes, we give a simpler and a new proof of this result. As a consequence, we prove that for any finite maximal code $X \subseteq (B \cup \{a \})^*$ containing the word $a^{pq}$, where $p,q$ are prime numbers, $X \cap a^* B a^*$ satisfies the triangle conjecture. Let $n$ be a positive integer that is a product of at most two prime numbers. We also prove that it is decidable whether a finite code $Y \cup a^{n} \subseteq a^* B a^* \cup a^*$ is included in a finite maximal code and that, if this holds, $Y \cup a^{n}$ is included in a code that also satisfies the factorization conjecture.


title: Gabber rigidity in hermitian K-theory

abstract: We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.


title: Families of relatively exact Lagrangians, free loop spaces and generalised homology

abstract: We prove that (under appropriate orientation conditions, depending on $R$) a Hamiltonian isotopy $\psi^1$ of a symplectic manifold $(M, \omega)$ fixing a relatively exact Lagrangian $L$ setwise must act trivially on $R_*(L)$, where $R_*$ is some generalised homology theory. We use a strategy inspired by that of Hu, Lalonde and Leclercq (\cite{Hu-Lalonde-Leclercq}), who proved an analogous result over $\mathbb{Z}/2$ and over $\mathbb{Z}$ under stronger orientation assumptions. However the differences in our approaches let us deduce that if $L$ is a homotopy sphere, $\psi^1|_L$ is homotopic to the identity. Our technical set-up differs from both theirs and that of Cohen, Jones and Segal (\cite{Cohen-Jones-Segal, Cohen}). We also prove (under similar conditions) that $\psi^1|_L$ acts trivially on $R_*(\mathcal{L} L)$, where $\mathcal{L} L$ is the free loop space of $L$. From this we deduce that when $L$ is a surface or a $K(\pi, 1)$, $\psi^1|_L$ is homotopic to the identity. Using methods of \cite{Lalonde-McDuff}, we also show that given a family of Lagrangians all of which are Hamiltonian isotopic to $L$ over a sphere or a torus, the associated fibre bundle cohomologically splits over $\mathbb{Z}/2$.


title: Entangled, Spin-polarized Excitons from Singlet Fission in a Rigid Dimer

abstract: Singlet fission, a process that splits a singlet exciton into a biexciton, has promise in quantum information. We report time-resolved electron paramagnetic resonance measurements on a molecule, TIPS-BP1$'$, designed to exhibit strongly state-selective relaxation to specific magnetic spin sublevels. The resulting optically pumped "spin polarization" is a nearly pure initial state from the ensemble. The long-lived spin coherences modulate the signal intrinsically, allowing a new measurement scheme that substantially removes noise and uncertainty in the magnetic resonance spectra. A nonadiabatic transition theory with a minimal number of spectroscopic parameters allows the quantitative assignment and interpretation of the spectra. The rigid, covalently bound dimer, TIPS-BP1$'$, supports persistent spin coherences at temperatures far higher than those used in conventional quantum hardware.


title: Simple Genetic Operators are Universal Approximators of Probability Distributions (and other Advantages of Expressive Encodings)

abstract: This paper characterizes the inherent power of evolutionary algorithms. This power depends on the computational properties of the genetic encoding. With some encodings, two parents recombined with a simple crossover operator can sample from an arbitrary distribution of child phenotypes. Such encodings are termed \emph{expressive encodings} in this paper. Universal function approximators, including popular evolutionary substrates of genetic programming and neural networks, can be used to construct expressive encodings. Remarkably, this approach need not be applied only to domains where the phenotype is a function: Expressivity can be achieved even when optimizing static structures, such as binary vectors. Such simpler settings make it possible to characterize expressive encodings theoretically: Across a variety of test problems, expressive encodings are shown to achieve up to super-exponential convergence speed-ups over the standard direct encoding. The conclusion is that, across evolutionary computation areas as diverse as genetic programming, neuroevolution, genetic algorithms, and theory, expressive encodings can be a key to understanding and realizing the full power of evolution.


title: HEWES: Heisenberg-Euler Weak-Field Expansion Simulator

abstract: Vacuum polarization, a key prediction of quantum theory, can cause a variety of intriguing phenomena that can be triggered by high-intensity laser pulses. The Heisenberg-Euler theory of the quantum vacuum supplements Maxwell's theory of electromagnetism with nonlinear photon-photon interactions mediated by vacuum fluctuations. This work presents a numerical solver for the leading weak-field Heisenberg-Euler corrections. The present code implementation reaches an accuracy of order thirteen in the numerical scheme and takes into account up to six-photon interactions. Since theoretical approaches are limited to approximations and the experimental requirements for signal detection are high, the need for support from the numerical side is apparent.


title: A note on wormholes as compact stellar objects

abstract: A Morris-Thorne wormhole can only be sustained by violating the null energy condition, thereby requiring the existence of "exotic matter," a requirement that many researchers consider unphysical. Using a mostly qualitative approach, it is proposed in this note that the basic problems can be overcome by purely relativistic considerations. The implication is that a Morris-Thorne wormhole is likely to be a compact stellar object.


title: Scaling of acceleration statistics in high Reynolds number turbulence

abstract: The scaling of acceleration statistics in turbulence is examined by combining data from the literature with new data from well-resolved direct numerical simulations of isotropic turbulence, significantly extending the Reynolds number range. The acceleration variance at higher Reynolds numbers departs from previous predictions based on multifractal models, which characterize Lagrangian intermittency as a naive extension of Eulerian intermittency. The disagreement is even more prominent for higher-order moments of the acceleration. Instead, starting from a known exact relation, we relate the scaling of acceleration variance to that of Eulerian fourth-order velocity gradient and velocity increment statistics. This prediction is in excellent agreement with the variance data. Our work highlights the need for models that consider Lagrangian intermittency independent of the Eulerian counterpart.


title: Combining Node-RED and Openwhisk for Pattern-based Development and Execution of Complex FaaS Workflows

abstract: Modern cloud computing advances have been pressing application modernization in the last 15 years, stressing the need for application redesign towards the use of more distributed and ephemeral resources. From the initial IaaS and PaaS approaches, to microservices and now to the serverless model (and especially the Function as a Service approach), new challenges arise constantly for application developers. This paper presents a design and development environment that aims to ease application evolution and migration to the new FaaS model, based on the widely used Node-RED open source tool. The goal of the environment is to enable a more user friendly and abstract function and workflow creation for complex FaaS applications. To this end, it bypasses workflow description and function reuse limitations of the current FaaS platforms, by providing an extendable, pattern-enriched palette of ready-made, reusable functionality that can be combined in arbitrary ways. The environment embeds seamless DevOps processes for generating the deployable artefacts (i.e. functions and images) of the FaaS platform (Openwhisk). Annotation mechanisms are also available for the developer to dictate diverse execution options or management guidelines towards the deployment and operation stacks. The evaluation is based on case studies of indicative scenarios, including creating, registering and executing functions and flows based on the Node-RED runtime, embedding of existing legacy code in a FaaS environment, parallelizing a workload, collecting data at the edge and creating function orchestrators to accompany the application. For the latter, a detailed argumentation is provided as to why this process should not be constrained by the "double billing" principle of FaaS.


title: Energy reconstruction of hadronic showers at the CERN PS and SPS using the Semi-Digital Hadronic Calorimeter

abstract: The CALICE Semi-Digital Hadronic CALorimeter (SDHCAL) is the first technological prototype in a family of high-granularity calorimeters developed by the CALICE Collaboration to equip the experiments of future lepton colliders. The SDHCAL is a sampling calorimeter using stainless steel for absorber and Glass Resistive Plate Chambers (GRPC) as a sensitive medium. The GRPC are read out by 1~cm $\times$ 1~cm pickup pads combined to a multi-threshold electronics. The prototype was exposed to hadron beams in both the CERN PS and the SPS beamlines in 2015 allowing the test of the SDHCAL in a large energy range from 3~GeV to 80~GeV. After introducing the method used to select the hadrons of our data and reject the muon and electron contamination, we present the energy reconstruction approach that we apply to the data collected from both beamlines and we discuss the response linearity and the energy resolution of the SDHCAL. The results obtained in the two beamlines confirm the excellent SDHCAL performance observed with the data collected with the same prototype in the SPS beamline in 2012. They also show the stability of the SDHCAL in different beam conditions and different time periods.


title: Scalable Fine-Grained Parallel Cycle Enumeration Algorithms

abstract: Enumerating simple cycles has important applications in computational biology, network science, and financial crime analysis. In this work, we focus on parallelising the state-of-the-art simple cycle enumeration algorithms by Johnson and Read-Tarjan along with their applications to temporal graphs. To our knowledge, we are the first ones to parallelise these two algorithms in a fine-grained manner. We are also the first to demonstrate experimentally a linear performance scaling. Such a scaling is made possible by our decomposition of long sequential searches into fine-grained tasks, which are then dynamically scheduled across CPU cores, enabling an optimal load balancing. Furthermore, we show that coarse-grained parallel versions of the Johnson and the Read-Tarjan algorithms that exploit edge- or vertex-level parallelism are not scalable. On a cluster of four multi-core CPUs with $256$ physical cores, our fine-grained parallel algorithms are, on average, an order of magnitude faster than their coarse-grained parallel counterparts. The performance gap between the fine-grained and the coarse-grained parallel algorithms widens as we use more CPU cores. When using all 256 CPU cores, our parallel algorithms enumerate temporal cycles, on average, $260\times$ faster than the serial algorithm of Kumar and Calders.


title: Local Decomposition of Hexahedral Singular Nodes into Singular Curves

abstract: Hexahedral (hex) meshing is a long studied topic in geometry processing with many fascinating and challenging associated problems. Hex meshes vary in complexity from structured to unstructured depending on application or domain of interest. Fully structured meshes require that all interior mesh edges are adjacent to exactly four hexes. Edges not satisfying this criteria are considered singular and indicate an unstructured hex mesh. Singular edges join together into singular curves that either form closed cycles, end on the mesh boundary, or end at a singular node, a complex junction of more than two singular curves. While all hex meshes with singularities are unstructured, those with more complex singular nodes tend to have more distorted elements and smaller scaled Jacobian values. In this work, we study the topology of singular nodes. We show that all eight of the most common singular nodes are decomposable into just singular curves. We further show that all singular nodes, regardless of edge valence, are locally decomposable. Finally we demonstrate these decompositions on hex meshes, thereby decreasing their distortion and converting all singular nodes into singular curves. With this decomposition, the enigmatic complexity of 3D singular nodes becomes effectively 2D.


title: The Dimension of the Moduli Space of Pointed Algebraic Curves of Low Genus

abstract: We explicitly compute the moduli space pointed algebraic curves with a given numerical semigroup as Weierstrass semigroup for many cases of genus at most seven and determine the dimension for all semigroups of genus seven.


title: A Variance-Reduced Stochastic Accelerated Primal Dual Algorithm

abstract: In this work, we consider strongly convex strongly concave (SCSC) saddle point (SP) problems $\min_{x\in\mathbb{R}^{d_x}}\max_{y\in\mathbb{R}^{d_y}}f(x,y)$ where $f$ is $L$-smooth, $f(.,y)$ is $\mu$-strongly convex for every $y$, and $f(x,.)$ is $\mu$-strongly concave for every $x$. Such problems arise frequently in machine learning in the context of robust empirical risk minimization (ERM), e.g. $\textit{distributionally robust}$ ERM, where partial gradients are estimated using mini-batches of data points. Assuming we have access to an unbiased stochastic first-order oracle we consider the stochastic accelerated primal dual (SAPD) algorithm recently introduced in Zhang et al. [2021] for SCSC SP problems as a robust method against gradient noise. In particular, SAPD recovers the well-known stochastic gradient descent ascent (SGDA) as a special case when the momentum parameter is set to zero and can achieve an accelerated rate when the momentum parameter is properly tuned, i.e., improving the $\kappa \triangleq L/\mu$ dependence from $\kappa^2$ for SGDA to $\kappa$. We propose efficient variance-reduction strategies for SAPD based on Richardson-Romberg extrapolation and show that our method improves upon SAPD both in practice and in theory.


title: Is there an aesthetic component of language?

abstract: Speakers of all human languages make use of grammatical devices to express attributional qualities, feelings, and opinions as well as to provide meta-commentary on topics in discourse. In general, linguists refer to this category as 'expressives'in spite of the fact that defining exactly what 'expressives' are remains elusive. The elusiveness of expressives has given rise to considerable speculation about the nature of expressivity as a linguistic principle. Specifically, several scholars have pointed out the 'special' or 'unusual' nature of expressives vis-a-vis 'normal' or 'natural' morpho-syntax.


title: Fundamental Limitations on Gain of THz QCL

abstract: We analyze the main physical processes in quantum cascade lasers with spatial separation between the region of photon radiation and LO phonon emission providing depopulation of the lower level of the optical transition. Our purpose is to find reasons of reduction of the population inversion at low photon energy and search for ways of its increase. The expression for the population inversion is obtained from equation for simplified density matrix. This allows us, on one hand, to take into account coherence of tunneling between different levels and, on the other hand, to understand its role in transition probabilities in a simple way. We come to the conclusion that population inversion in THz lasers can be significantly increased by optimization of tunneling matrix element between the two regions and LO phonon emission time. The optimal value of the matrix element is smaller than its maximal possible value. As well, the optimal LO phonon emission time is larger than the time reached at LO phonon resonant emission.


title: Parallel Sampling for Efficient High-dimensional Bayesian Network Structure Learning

abstract: Score-based algorithms that learn the structure of Bayesian networks can be used for both exact and approximate solutions. While approximate learning scales better with the number of variables, it can be computationally expensive in the presence of high dimensional data. This paper describes an approximate algorithm that performs parallel sampling on Candidate Parent Sets (CPSs), and can be viewed as an extension of MINOBS which is a state-of-the-art algorithm for structure learning from high dimensional data. The modified algorithm, which we call Parallel Sampling MINOBS (PS-MINOBS), constructs the graph by sampling CPSs for each variable. Sampling is performed in parallel under the assumption the distribution of CPSs is half-normal when ordered by Bayesian score for each variable. Sampling from a half-normal distribution ensures that the CPSs sampled are likely to be those which produce the higher scores. Empirical results show that, in most cases, the proposed algorithm discovers higher score structures than MINOBS when both algorithms are restricted to the same runtime limit.


title: Dismantling the information flow in complex interconnected systems

abstract: Microscopic structural damage, such as lesions in neural systems or disruptions in urban transportation networks, can impair the dynamics crucial for systems' functionality, such as electrochemical signals or human flows, or any other type of information exchange, respectively, at larger topological scales. Damage is usually modeled by progressive removal of components or connections and, consequently, systems' robustness is assessed in terms of how fast their structure fragments into disconnected sub-systems. Yet, this approach fails to capture how damage hinders the propagation of information across scales, since system function can be degraded even in absence of fragmentation -- e.g., pathological yet structurally integrated human brain. Here, we probe the response to damage of dynamical processes on the top of complex networks, to study how such an information flow is affected. We find that removal of nodes central for network connectivity might have insignificant effects, challenging the traditional assumption that structural metrics alone are sufficient to gain insights about how complex systems operate. Using a damaging protocol explicitly accounting for flow dynamics, we analyze synthetic and empirical systems, from biological to infrastructural ones, and show that it is possible to drive the system towards functional fragmentation before full structural disintegration.


title: Constructive stability results in interpolation inequalities and explicit improvements of decay rates of fast diffusion equations

abstract: We provide a scheme of a recent stability result for a family of Gagliardo-Nirenberg-Sobolev (GNS) inequalities, which is equivalent to an improved entropy - entropy production inequality associated with an appropriate fast diffusion equation (FDE) written in self-similar variables. This result can be rephrased as an improved decay rate of the entropy of the solution of (FDE) for well prepared initial data. There is a family of Caffarelli-Kohn-Nirenberg (CKN) inequalities which has a very similar structure. When the exponents are in a range for which the optimal functions for (CKN) are radially symmetric, we investigate how the methods for (GNS) can be extended to (CKN). In particular, we prove that the solutions of the evolution equation associated to (CKN) also satisfy an improved decay rate of the entropy, after an explicit delay. However, the improved rate is obtained without assuming that initial data are well prepared, which is a major difference with the (GNS) case.


title: MACRONYM: A Large-Scale Dataset for Multilingual and Multi-Domain Acronym Extraction

abstract: Acronym extraction is the task of identifying acronyms and their expanded forms in texts that is necessary for various NLP applications. Despite major progress for this task in recent years, one limitation of existing AE research is that they are limited to the English language and certain domains (i.e., scientific and biomedical). As such, challenges of AE in other languages and domains is mainly unexplored. Lacking annotated datasets in multiple languages and domains has been a major issue to hinder research in this area. To address this limitation, we propose a new dataset for multilingual multi-domain AE. Specifically, 27,200 sentences in 6 typologically different languages and 2 domains, i.e., Legal and Scientific, is manually annotated for AE. Our extensive experiments on the proposed dataset show that AE in different languages and different learning settings has unique challenges, emphasizing the necessity of further research on multilingual and multi-domain AE.


title: SemEval 2022 Task 12: Symlink- Linking Mathematical Symbols to their Descriptions

abstract: Given the increasing number of livestreaming videos, automatic speech recognition and post-processing for livestreaming video transcripts are crucial for efficient data management as well as knowledge mining. A key step in this process is punctuation restoration which restores fundamental text structures such as phrase and sentence boundaries from the video transcripts. This work presents a new human-annotated corpus, called BehancePR, for punctuation restoration in livestreaming video transcripts. Our experiments on BehancePR demonstrate the challenges of punctuation restoration for this domain. Furthermore, we show that popular natural language processing toolkits are incapable of detecting sentence boundary on non-punctuated transcripts of livestreaming videos, calling for more research effort to develop robust models for this area.


title: SIDIS Measurement with A=3 Nuclei

abstract: We introduce a new experimental effort at Jefferson Lab (JLab) to precisely measure the ratios of charged pion electroproduction in Semi-Inclusive Deep Inelastic Scattering (SIDIS) from $^2$D, $^3$He, and $^3$H targets \cite{c12-21-004}. This conditionally approved experiment (C12-21-004) aims to run in Hall-B using the standard CLAS12 configuration and a new target system developed for the approved quasi-elastic experiment (E12-20-005). In this data-driven study, we will measure the cross-sections as a function of ($x$, $Q^2$, $z$, $P_T$) to allow the extraction of the unpolarized parton distribution functions (PDFs), transverse momentum distributions (TMDs) and fragmentation functions (FFs) in A = 3 nuclei. By using super-ratios of pion yields of SIDIS off light nuclei over a wide $x_B$ range, we search for evidence of a flavor dependence in the EMC effect, giving us new insights into the effect of the nuclear environment on valance quarks. Double-ratios between A = 3 mirror nuclei can provide a direct measurement of the d/u ratios at large x due to their similar and well-understood nuclear corrections. With the utilization of mirror nuclei and the large kinematic range, and high precision of CLAS12, we will be able to maintain the sensitivity to the underlying physics but dramatically decrease the nuclear uncertainties due to attenuation and hadronization in heavy nuclei targets.


title: A Quantum Polynomial-Time Solution to The Dihedral Hidden Subgroup Problem

abstract: We present a polynomial-time quantum algorithm for the Hidden Subgroup Problem over $\mathbb{D}_{2^n}$. The usual approach to the Hidden Subgroup Problem relies on harmonic analysis in the domain of the problem, and the best known algorithm using this approach has time complexity in $2^{\mathcal{O}(\sqrt{n})}$. By focusing on structure encoded in the codomain of the problem, we develop a polynomial-time algorithm which uses this structure to direct a "walk" down the subgroup lattice of $\mathbb{D}_{2^n}$ terminating at the hidden subgroup.


title: Analyzing Adaptive Scaffolds that Help Students Develop Self-Regulated Learning Behaviors

abstract: Providing adaptive scaffolds to help learners develop self-regulated learning (SRL) processes has been an important goal for intelligent learning environments. Adaptive scaffolding is especially important in open-ended learning environments (OELE), where novice learners often face difficulties in completing their learning tasks. This paper presents a systematic framework for adaptive scaffolding in Betty's Brain, a learning-by-teaching OELE for middle school science, where students construct a causal model to teach a virtual agent, generically named Betty. We evaluate the adaptive scaffolding framework and discuss its implications on the development of more effective scaffolds for SRL in OELEs. We detect key cognitive/metacognitive inflection points, i.e., instances where students' behaviors and performance change as they work on their learning tasks. At such inflection points, Mr. Davis (a mentor agent) or Betty (the teachable agent) provide conversational feedback, focused on strategies to help students become productive learners. We conduct a classroom study with 98 middle schoolers to analyze the impact of adaptive scaffolds on students' learning behaviors and performance. Adaptive scaffolding produced mixed results, with some scaffolds (viz., strategic hints that supported debugging and assessment of causal models) being generally more useful to students than others (viz., encouragement prompts). We also note differences in learning behaviors of High and Low performers after receiving scaffolds. Overall, our findings suggest how adaptive scaffolding in OELEs like Betty's Brain can be further improved to narrow the gap between High and Low performers.


title: Selective Credit Assignment

abstract: Efficient credit assignment is essential for reinforcement learning algorithms in both prediction and control settings. We describe a unified view on temporal-difference algorithms for selective credit assignment. These selective algorithms apply weightings to quantify the contribution of learning updates. We present insights into applying weightings to value-based learning and planning algorithms, and describe their role in mediating the backward credit distribution in prediction and control. Within this space, we identify some existing online learning algorithms that can assign credit selectively as special cases, as well as add new algorithms that assign credit backward in time counterfactually, allowing credit to be assigned off-trajectory and off-policy.


title: On Matrix Method of Symmetric Games

abstract: This paper provides a new version of matrix semi-tensor product method based on adjacent transpositions to test symmetric games. The advantage of using adjacent transpositions lies in the great simplification of analysis of symmetric games. By using the new method, new necessary and sufficient conditions for symmetric games are proposed, and a group of bases of a symmetric game space can be easily calculated. Moreover, the testing equations with the minimum number can be concretely determined. Finally, two examples are displayed to show the effectiveness of the proposed method.


title: A History of Meta-gradient: Gradient Methods for Meta-learning

abstract: The history of meta-learning methods based on gradient descent is reviewed, focusing primarily on methods that adapt step-size (learning rate) meta-parameters.


title: Tachibana-type theorems on complete manifolds

abstract: We prove that a compact Riemannian manifold of dimension $m \geq 3$ with harmonic curvature and $\lfloor\frac{m-1}{2}\rfloor$-positive curvature operator has constant sectional curvature, extending the classical Tachibana theorem for manifolds with positive curvature operator. The condition of $\lfloor\frac{m-1}{2}\rfloor$-positivity originates from recent work of Petersen and Wink, who proved a similar Tachibana-type theorem under the stronger condition that the manifold be Einstein. We show that the same rigidity property holds for complete manifolds assuming either parabolicity, an integral bound on the Weyl tensor or a stronger pointwise positive lower bound on the average of the first $\lfloor\frac{m-1}{2}\rfloor$ eigenvalues of the curvature operator. For 3-manifolds, we show that positivity of the curvature operator can be relaxed to positivity of the Ricci tensor.


title: Model-Based Reconstruction for Collimated Beam Ultrasound Systems

abstract: Collimated beam ultrasound systems are a novel technology for imaging inside multi-layered structures such as geothermal wells. Such systems include a transmitter and multiple receivers to capture reflected signals. Common algorithms for ultrasound reconstruction use delay-and-sum (DAS) approaches; these have low computational complexity but produce inaccurate images in the presence of complex structures and specialized geometries such as collimated beams. In this paper, we propose a multi-layer, ultrasonic, model-based iterative reconstruction algorithm designed for collimated beam systems. We introduce a physics-based forward model to accurately account for the propagation of a collimated ultrasonic beam in multi-layer media and describe an efficient implementation using binary search. We model direct arrival signals, detector noise, and a spatially varying image prior, then cast the reconstruction as a maximum a posteriori estimation problem. Using simulated and experimental data we obtain significantly fewer artifacts relative to DAS while running in near real time using commodity compute resources.


title: MANet: Improving Video Denoising with a Multi-Alignment Network

abstract: In video denoising, the adjacent frames often provide very useful information, but accurate alignment is needed before such information can be harnassed. In this work, we present a multi-alignment network, which generates multiple flow proposals followed by attention-based averaging. It serves to mimic the non-local mechanism, suppressing noise by averaging multiple observations. Our approach can be applied to various state-of-the-art models that are based on flow estimation. Experiments on a large-scale video dataset demonstrate that our method improves the denoising baseline model by 0.2dB, and further reduces the parameters by 47% with model distillation. Code is available at https://github.com/IndigoPurple/MANet.


title: The minimal size of a generating set for primitive $\frac{3}{2}$-transitive groups

abstract: We refer to $d(G)$ as the minimal cardinality of a generating set of a finite group $G$, and say that $G$ is $d$-generated if $d(G)\leq d$. A transitive permutation group $G$ is called $\frac{3}{2}$-transitive if a point stabilizer $G_\alpha$ is nontrivial and its orbits distinct from $\{\alpha\}$ are of the same size. We prove that $d(G)\leq4$ for every primitive $\frac{3}{2}$-transitive permutation group $G$, moreover, $G$ is $2$-generated except for the very particular solvable affine groups that we completely describe. In particular, all finite $2$-transitive and $2$-homogeneous groups are $2$-generated. We also show that every finite group whose abelian subgroups are cyclic is $2$-generated, and so is every Frobenius complement.


title: Mushroom-instability-driven Magnetic Reconnections in Collisionless Relativistic Jets

abstract: We study the kinetic plasma dynamics in collisionless relativistic jets with velocity shear, by carrying out particle-in-cell simulations in the transverse plane of a jet. It is discovered that intermittent magnetic reconnections (MRs) are driven by Mushroom instability (MI), which is an important kinetic-scale plasma instability in the plasma shear-flows with relativistic bulk speed. We refer to this sequence of kinetic plasma phenomena as "MI-driven MR". The MI-driven MRs intermittently occur with moving the location of the reconnection points from the vicinity of the initial velocity-shear surface towards the center of the jet. As a consequence, the number density of high energy electrons, which are accelerated by MI-driven MRs, increases with time in the region inside the initial velocity-shear surface with accompanying the generation and subsequent amplification of magnetic fields by MI. The maximum Lorentz factor of electrons increases with initial bulk Lorentz factor of the jet. A possible relation of MI-driven MR to the bright synchrotron emission in jet-spine of active galactic nucleus jets is also discussed.


title: Lie symmetries, Jacobi last multipliers and new non-standard Lagrangians for dissipative dynamical systems

abstract: We present a new method based on Lie symmetries and Jacobi last multipliers which allows one to find many non-standard Lagrangians for dissipative dynamical systems. In particular, it is demonstrated that for every non-standard Lagrangian one can generate a new non-standard Lagrangian associated to a new equation of motion. We point out that the knowledge of Lie symmetries for a given dynamical system generates Jacobi last multipliers which can be used to obtain new non-standard Lagrangians for dissipative dynamical systems in a simple and straightforward way. We exemplify the new method by applying it to the case of the free particle and the simple harmonic oscillator in order to obtain new non-standard Lagrangians for dissipative systems.


title: Statistical and Topological Summaries Aid Disease Detection for Segmented Retinal Vascular Images

abstract: Disease complications can alter vascular network morphology and disrupt tissue functioning. Diabetic retinopathy, for example, is a complication of types 1 and 2 diabetes mellitus that can cause blindness. Microvascular diseases are assessed by visual inspection of retinal images, but this can be challenging when diseases exhibit silent symptoms or patients cannot attend in-person meetings. We examine the performance of machine learning algorithms in detecting microvascular disease when trained on statistical and topological summaries of segmented retinal vascular images. We apply our methods to three publicly-available datasets and find that, among the 13 total descriptor vectors we consider, either a statistical Box-counting descriptor vector or a topological Flooding descriptor vector achieves the highest accuracy levels on these datasets. We then created a fourth dataset by merging several datasets: the Box-counting vector outperforms all descriptors on this dataset, including the topological Flooding vector which is sensitive to differences in the annotation styles within the combined dataset. Our work represents a first step to establishing which computational methods are most suitable for identifying microvascular disease as well as some of their current limitations. In the longer term, these methods could be incorporated into automated disease assessment tools.


title: Spinor matterwave control with nanosecond spin-dependent kicks

abstract: Significant aspects of advanced quantum technology today rely on rapid control of atomic matterwaves with hyperfine Raman transitions. Unfortunately, efficient Raman excitations are usually accompanied by uncompensated dynamic phases and coherent spin-leakages, preventing accurate and repetitive transfer of recoil momentum to large samples. We provide systematic study to demonstrate that the limitations can be substantially overcame by dynamically programming an adiabatic pulse sequence. Experimentally, counter-propagating frequency-chirped pulses are programmed on an optical delay line to parallelly drive five $\Delta m=0$ hyperfine Raman transitions of $^{85}$Rb atoms for spin-dependent kick (SDK) within $\tau=40$~nanoseconds, with an $f_{\rm SDK}\approx 97.6\%$ inferred fidelity. Aided by numerical modeling, we demonstrate that by alternating the chirps of successive pulses in a balanced fashion, accumulation of non-adiabatic errors including the spin-leakages can be managed, while the dynamic phases can be robustly cancelled. Operating on a phase-stable delay line, the method supports precise, fast, and flexible control of spinor matterwave with efficient Raman excitations.


title: A Barrier Certificate-based Simplex Architecture with Application to Microgrids

abstract: We present Barrier Certificate-based Simplex (BC-Simplex), a new, provably correct design for runtime assurance of continuous dynamical systems. BC-Simplex is centered around the Simplex Control Architecture, which consists of a high-performance advanced controller which is not guaranteed to maintain safety of the plant, a verified-safe baseline controller, and a decision module that switches control of the plant between the two controllers to ensure safety without sacrificing performance. In BC-Simplex, Barrier certificates are used to prove that the baseline controller ensures safety. Furthermore, BC-Simplex features a new automated method for deriving, from the barrier certificate, the conditions for switching between the controllers. Our method is based on the Taylor expansion of the barrier certificate and yields computationally inexpensive switching conditions. We consider a significant application of BC-Simplex to a microgrid featuring an advanced controller in the form of a neural network trained using reinforcement learning. The microgrid is modeled in RTDS, an industry-standard high-fidelity, real-time power systems simulator. Our results demonstrate that BC-Simplex can automatically derive switching conditions for complex systems, the switching conditions are not overly conservative, and BC-Simplex ensures safety even in the presence of adversarial attacks on the neural controller.


title: Compact polarized X-ray source based on all-optical inverse Compton scattering

abstract: Polarized X-ray source is an important probe for many fields such as fluorescence imaging, magnetic microscopy, and nuclear physics research. All-optical inverse Compton scattering source (AOCS) based on laser wakefield accelerator (LWFA) has drawn great attention in recent years due to its compact scale and high performance, especially its potential to generate polarized X-rays. Here, polarization-tunable X-rays are generated by a plasma-mirror-based AOCS scheme. The linearly and circularly polarized AOCS pulses are achieved with the mean photon energy of 60($\pm$5)/64($\pm$3) keV and the single-shot photon yield of $\sim$1.1/1.3$\times10^7$. A Compton polarimeter is designed to diagnose the photon polarization states, demonstrating AOCS's polarization-tunable property, and indicating the average polarization degree of the linearly polarized AOCS is 75($\pm$3)%.


title: Physics-informed neural networks for learning the homogenized coefficients of multiscale elliptic equations

abstract: Multiscale elliptic equations with scale separation are often approximated by the corresponding homogenized equations with slowly varying homogenized coefficients (the G-limit). The traditional homogenization techniques typically rely on the periodicity of the multiscale coefficients, thus finding the G-limits often requires sophisticated techniques in more general settings even when multiscale coefficient is known, if possible. Alternatively, we propose a simple approach to estimate the G-limits from (noisy-free or noisy) multiscale solution data, either from the existing forward multiscale solvers or sensor measurements. By casting this problem into an inverse problem, our approach adopts physics-informed neural networks (PINNs) algorithm to estimate the G-limits from the multiscale solution data by leveraging a priori knowledge of the underlying homogenized equations. Unlike the existing approaches, our approach does not rely on the periodicity assumption or the known multiscale coefficient during the learning stage, allowing us to estimate homogenized coefficients in more general settings beyond the periodic setting. We demonstrate that the proposed approach can deliver reasonable and accurate approximations to the G-limits as well as homogenized solutions through several benchmark problems.


title: Curvature-Controlled Geometrical Lensing Behavior in Self-Propelled Colloidal Particle Systems

abstract: In many biological systems, the curvature of the surfaces cells live on influence their collective properties. Curvature should likewise influence the behavior of active colloidal particles. We show using molecular simulation of self-propelled active particles on surfaces of Gaussian curvature (both positive and negative) that curvature sign and magnitude can alter the system's collective behavior. Curvature acts as a geometrical lens and shifts the critical density of motility-induced phase separation (MIPS) to lower values for positive curvature and higher values for negative curvature, which we explain theoretically by the nature of parallel lines in spherical and hyperbolic space. Curvature also fluidizes dense MIPS clusters due to the emergence of defect patterns disrupting the crystalline order inside the clusters. Using our findings, we engineer three confining surfaces that strategically combine regions of different curvature to produce a host of novel dynamic phases, including cyclic MIPS on sphercylinders, wave-like MIPS on spherocones, and cluster fluctuations on metaballs.


title: Differentiable Robotic Manipulation of Deformable Rope-like Objects Using Compliant Position-based Dynamics

abstract: Robot manipulation of rope-like objects is an interesting problem that has some critical applications, such as autonomous robotic suturing. Solving for and controlling rope is difficult due to the complexity of rope physics and the challenge of building fast and accurate models of deformable materials. While more data-driven approaches have become more popular for finding controllers that learn to do a single task, there is still a strong motivation for a model-based method that could be used to solve a large variety of optimization problems. Towards this end, we introduced compliant, position-based dynamics (XPBD) to model rope-like objects. Using geometric constraints, the model can represent the coupling of shear/stretch and bend/twist effects. Of crucial importance is that our formulation is differentiable, which can solve parameter estimation problems and improve the matching of rope physics to real-life scenarios (i.e., the real-to-sim problem). For the generality of rope-like objects, two different solvers are proposed to handle the inextensible and extensible effects of varied material stiffness for the rope. We demonstrate our framework's robustness and accuracy on real-to-sim experimental setups using the Baxter robot and the da Vinci research kit (DVRK). Our work leads to a new path for robotic manipulation of the deformable rope-like object taking advantage of the ready-to-use gradients.


title: ARM3D: Attention-based relation module for indoor 3D object detection

abstract: Relation context has been proved to be useful for many challenging vision tasks. In the field of 3D object detection, previous methods have been taking the advantage of context encoding, graph embedding, or explicit relation reasoning to extract relation context. However, there exists inevitably redundant relation context due to noisy or low-quality proposals. In fact, invalid relation context usually indicates underlying scene misunderstanding and ambiguity, which may, on the contrary, reduce the performance in complex scenes. Inspired by recent attention mechanism like Transformer, we propose a novel 3D attention-based relation module (ARM3D). It encompasses object-aware relation reasoning to extract pair-wise relation contexts among qualified proposals and an attention module to distribute attention weights towards different relation contexts. In this way, ARM3D can take full advantage of the useful relation context and filter those less relevant or even confusing contexts, which mitigates the ambiguity in detection. We have evaluated the effectiveness of ARM3D by plugging it into several state-of-the-art 3D object detectors and showing more accurate and robust detection results. Extensive experiments show the capability and generalization of ARM3D on 3D object detection. Our source code is available at https://github.com/lanlan96/ARM3D.


title: Towards a Unified Approach to Homography Estimation Using Image Features and Pixel Intensities

abstract: The homography matrix is a key component in various vision-based robotic tasks. Traditionally, homography estimation algorithms are classified into feature- or intensity-based. The main advantages of the latter are their versatility, accuracy, and robustness to arbitrary illumination changes. On the other hand, they have a smaller domain of convergence than the feature-based solutions. Their combination is hence promising, but existing techniques only apply them sequentially. This paper proposes a new hybrid method that unifies both classes into a single nonlinear optimization procedure, applies the same minimization method, and uses the same homography parametrization and warping function. Experimental validation using a classical testing framework shows that the proposed unified approach has improved convergence properties compared to each individual class. These are also demonstrated in a visual tracking application. As a final contribution, our ready-to-use implementation of the algorithm is made publicly available to the research community.


title: Understanding Robust Generalization in Learning Regular Languages

abstract: A key feature of human intelligence is the ability to generalize beyond the training distribution, for instance, parsing longer sentences than seen in the past. Currently, deep neural networks struggle to generalize robustly to such shifts in the data distribution. We study robust generalization in the context of using recurrent neural networks (RNNs) to learn regular languages. We hypothesize that standard end-to-end modeling strategies cannot generalize well to systematic distribution shifts and propose a compositional strategy to address this. We compare an end-to-end strategy that maps strings to labels with a compositional strategy that predicts the structure of the deterministic finite-state automaton (DFA) that accepts the regular language. We theoretically prove that the compositional strategy generalizes significantly better than the end-to-end strategy. In our experiments, we implement the compositional strategy via an auxiliary task where the goal is to predict the intermediate states visited by the DFA when parsing a string. Our empirical results support our hypothesis, showing that auxiliary tasks can enable robust generalization. Interestingly, the end-to-end RNN generalizes significantly better than the theoretical lower bound, suggesting that it is able to achieve at least some degree of robust generalization.


title: Finding shortest non-separating and non-disconnecting paths

abstract: For a connected graph $G = (V, E)$ and $s, t \in V$, a non-separating $s$-$t$ path is a path $P$ between $s$ and $t$ such that the set of vertices of $P$ does not separate $G$, that is, $G - V(P)$ is connected. An $s$-$t$ path is non-disconnecting if $G - E(P)$ is connected. The problems of finding shortest non-separating and non-disconnecting paths are both known to be NP-hard. In this paper, we consider the problems from the viewpoint of parameterized complexity. We show that the problem of finding a non-separating $s$-$t$ path of length at most $k$ is W[1]-hard parameterized by $k$, while the non-disconnecting counterpart is fixed-parameter tractable parameterized by $k$. We also consider the shortest non-separating path problem on several classes of graphs and show that this problem is NP-hard even on bipartite graphs, split graphs, and planar graphs. As for positive results, the shortest non-separating path problem is fixed-parameter tractable parameterized by $k$ on planar graphs and polynomial-time solvable on chordal graphs if $k$ is the shortest path distance between $s$ and $t$.


title: Analytic continuation from limited noisy Matsubara data

abstract: This note proposes a new algorithm for estimating spectral function from limited noisy Matsubara data. We consider both the molecule and condensed matter cases. In each case, the algorithm constructs an interpolant of the Matsubara data and uses conformal mapping and Prony's method to estimate the spectral function. Numerical results are provided to demonstrate the performance of the algorithm.


title: Imaginary reflections and discrete symmetries in the heterotic Monster

abstract: Let $\mathbb{M}$ be the Monster finite simple group. We give an interpretation of certain discrete symmetries of a family of heterotic string compactifications to $1 + 1$ dimensions in terms of discrete symmetries of the Monster Lie algebra $\frak m$, and more generally Carnahan's family of Monstrous Lie algebras $\frak m_g$, for $g\in\mathbb{M}$ of Fricke type. We relate a Weyl group-type reflection $w_{\im}$, with respect to an imaginary simple root, to a composition of T-duality, time reversal, and parity reversal transformations in the compactified heterotic string. The transformation $w_{\im}$ also has a natural permutation action on the BPS states of the compactified heterotic string.


title: 3DRM:Pair-wise relation module for 3D object detection

abstract: Context has proven to be one of the most important factors in object layout reasoning for 3D scene understanding. Existing deep contextual models either learn holistic features for context encoding or rely on pre-defined scene templates for context modeling. We argue that scene understanding benefits from object relation reasoning, which is capable of mitigating the ambiguity of 3D object detections and thus helps locate and classify the 3D objects more accurately and robustly. To achieve this, we propose a novel 3D relation module (3DRM) which reasons about object relations at pair-wise levels. The 3DRM predicts the semantic and spatial relationships between objects and extracts the object-wise relation features. We demonstrate the effects of 3DRM by plugging it into proposal-based and voting-based 3D object detection pipelines, respectively. Extensive evaluations show the effectiveness and generalization of 3DRM on 3D object detection. Our source code is available at https://github.com/lanlan96/3DRM.


title: PooL: Pheromone-inspired Communication Framework forLarge Scale Multi-Agent Reinforcement Learning

abstract: Being difficult to scale poses great problems in multi-agent coordination. Multi-agent Reinforcement Learning (MARL) algorithms applied in small-scale multi-agent systems are hard to extend to large-scale ones because the latter is far more dynamic and the number of interactions increases exponentially with the growing number of agents. Some swarm intelligence algorithms simulate the release and utilization mechanism of pheromones to control large-scale agent coordination. Inspired by such algorithms, \textbf{PooL}, an \textbf{p}her\textbf{o}m\textbf{o}ne-based indirect communication framework applied to large scale multi-agent reinforcement \textbf{l}earning is proposed in order to solve the large-scale multi-agent coordination problem. Pheromones released by agents of PooL are defined as outputs of most reinforcement learning algorithms, which reflect agents' views of the current environment. The pheromone update mechanism can efficiently organize the information of all agents and simplify the complex interactions among agents into low-dimensional representations. Pheromones perceived by agents can be regarded as a summary of the views of nearby agents which can better reflect the real situation of the environment. Q-Learning is taken as our base model to implement PooL and PooL is evaluated in various large-scale cooperative environments. Experiments show agents can capture effective information through PooL and achieve higher rewards than other state-of-arts methods with lower communication costs.


title: Smooth multi-period forecasting with application to prediction of COVID-19 cases

abstract: Forecasting methodologies have always attracted a lot of attention and have become an especially hot topic since the beginning of the COVID-19 pandemic. In this paper we consider the problem of multi-period forecasting that aims to predict several horizons at once. We propose a novel approach that forces the prediction to be "smooth" across horizons and apply it to two tasks: point estimation via regression and interval prediction via quantile regression. This methodology was developed for real-time distributed COVID-19 forecasting. We illustrate the proposed technique with the CovidCast dataset as well as a small simulation example.


title: Bayes-Optimal Classifiers under Group Fairness

abstract: Machine learning algorithms are becoming integrated into more and more high-stakes decision-making processes, such as in social welfare issues. Due to the need of mitigating the potentially disparate impacts from algorithmic predictions, many approaches have been proposed in the emerging area of fair machine learning. However, the fundamental problem of characterizing Bayes-optimal classifiers under various group fairness constraints has only been investigated in some special cases. Based on the classical Neyman-Pearson argument (Neyman and Pearson, 1933; Shao, 2003) for optimal hypothesis testing, this paper provides a unified framework for deriving Bayes-optimal classifiers under group fairness. This enables us to propose a group-based thresholding method we call FairBayes, that can directly control disparity, and achieve an essentially optimal fairness-accuracy tradeoff. These advantages are supported by thorough experiments.


title: Generalized nanoscale electromagnetic boundary conditions and interfacial photonics

abstract: Classical electromagnetic boundary conditions (EMBCs) fail to describe quantum interface phenomena at nanoscale. Here, we construct the interface model with a transition layer describing the electromagnetic field inhomogeneity across the interface. Generalized nanoscale EMBCs are derived by introducing the magnetic interfacial response functions (IRFs) and are rewritten as three different forms based on Maxwell's equations in first order approximation. The corresponding Fresnel formula are further used to analyze the interfacial photonic phenomenon, demonstrating interesting behaviors of Brewster angle shifting, non-extinction at Brewster angle and distinctive non-classical absorption or gain effect at Brewster angle and the total internal reflection angles. IRFs-controlled GH-shifts of Gaussian beam near Brewster angle are generated by the non-classical interface. These unique phenomena give us some guidance to measure the IRFs and expand interface photonics in nanoscale.


title: A path to precision cosmology: synergy between four promising late-universe cosmological probes

abstract: In the next decades, it is necessary to forge new late-universe cosmological probes to precisely constrain the Hubble constant and the equation of state of dark energy simultaneously. In this work, we show that the four typical late-universe cosmological probes, the 21 cm intensity mapping (IM), fast radio burst (FRB), gravitational wave (GW) standard siren, and strong gravitational lensing (SGL), are expected to be forged into useful tools in solving the Hubble tension and exploring dark energy. We propose that the synergy of them is rather important in cosmology. We simulate the 21 cm IM, FRB, GW, and SGL data based on the hypothetical observations of the Hydrogen Intensity and Real-time Analysis eXperiment (HIRAX), the Square Kilometre Array (SKA), the Einstein Telescope (ET), and the Large Synoptic Survey Telescope (LSST), respectively. We find that the four probes show obviously different parameter degeneracy orientations in cosmological constraints, so any combination of them can break the parameter degeneracies and thus significantly improve the constraint precision. The joint 21 cm IM+FRB+GW+SGL data can provide the constraint errors of $\sigma(\Omega_{\rm m})=0.0022$ and $\sigma(H_0)=0.16\ \rm km\ s^{-1}\ Mpc^{-1}$ in the $\Lambda$CDM model, which meet the standard of precision cosmology, i.e., the constraint precision of parameters is better than 1%. In addition, the joint data give $\sigma(w)=0.020$ in the $w$CDM model, and $\sigma(w_0)=0.066$ and $\sigma(w_a)=0.25$ in the $w_0w_a$CDM model, which are all better than the constraints obtained by the CMB+BAO+SN data. We show that the synergy between the four late-universe cosmological probes has magnificent prospects.


title: Online Platforms and the Fair Exposure Problem Under Homophily

abstract: In the wake of increasing political extremism, online platforms have been criticized for contributing to polarization. One line of criticism has focused on echo chambers and the recommended content served to users by these platforms. In this work, we introduce the fair exposure problem: given limited intervention power of the platform, the goal is to enforce balance in the spread of content (e.g., news articles) among two groups of users through constraints similar to those imposed by the Fairness Doctrine in the United States in the past. Groups are characterized by different affiliations (e.g., political views) and have different preferences for content. We develop a stylized framework that models intra- and intergroup content propagation under homophily, and we formulate the platform's decision as an optimization problem that aims at maximizing user engagement, potentially under fairness constraints. Our main notion of fairness requires that each group see a mixture of their preferred and non-preferred content, encouraging information diversity. Promoting such information diversity is often viewed as desirable and a potential means for breaking out of harmful echo chambers. We study the solutions to both the fairness-agnostic and fairness-aware problems. We prove that a fairness-agnostic approach inevitably leads to group-homogeneous targeting by the platform. This is only partially mitigated by imposing fairness constraints: we show that there exist optimal fairness-aware solutions which target one group with different types of content and the other group with only one type that is not necessarily the group's most preferred. Finally, using simulations with real-world data, we study the system dynamics and quantify the price of fairness.


title: The Effects of System Initiative during Conversational Collaborative Search

abstract: Our research in this paper lies at the intersection of collaborative and conversational search. We report on a Wizard of Oz lab study in which 27 pairs of participants collaborated on search tasks over the Slack messaging platform. To complete tasks, pairs of collaborators interacted with a so-called \emph{searchbot} with conversational capabilities. The role of the searchbot was played by a reference librarian. It is widely accepted that conversational search systems should be able to engage in \emph{mixed-initiative interaction} -- take and relinquish control of a multi-agent conversation as appropriate. Research in discourse analysis differentiates between dialog- and task-level initiative. Taking \emph{dialog-level} initiative involves leading a conversation for the sole purpose of establishing mutual belief between agents. Conversely, taking \emph{task-level} initiative involves leading a conversation with the intent to influence the goals of the other agent(s). Participants in our study experienced three \emph{searchbot conditions}, which varied based on the level of initiative the human searchbot was able to take: (1) no initiative, (2) only dialog-level initiative, and (3) both dialog- and task-level initiative. We investigate the effects of the searchbot condition on six different types of outcomes: (RQ1) perceptions of the searchbot's utility, (RQ2) perceptions of workload, (RQ3) perceptions of the collaboration, (RQ4) patterns of communication and collaboration, and perceived (RQ5) benefits and (RQ6) challenges from engaging with the searchbot.


title: It's Raw! Audio Generation with State-Space Models

abstract: Developing architectures suitable for modeling raw audio is a challenging problem due to the high sampling rates of audio waveforms. Standard sequence modeling approaches like RNNs and CNNs have previously been tailored to fit the demands of audio, but the resultant architectures make undesirable computational tradeoffs and struggle to model waveforms effectively. We propose SaShiMi, a new multi-scale architecture for waveform modeling built around the recently introduced S4 model for long sequence modeling. We identify that S4 can be unstable during autoregressive generation, and provide a simple improvement to its parameterization by drawing connections to Hurwitz matrices. SaShiMi yields state-of-the-art performance for unconditional waveform generation in the autoregressive setting. Additionally, SaShiMi improves non-autoregressive generation performance when used as the backbone architecture for a diffusion model. Compared to prior architectures in the autoregressive generation setting, SaShiMi generates piano and speech waveforms which humans find more musical and coherent respectively, e.g. 2x better mean opinion scores than WaveNet on an unconditional speech generation task. On a music generation task, SaShiMi outperforms WaveNet on density estimation and speed at both training and inference even when using 3x fewer parameters. Code can be found at https://github.com/HazyResearch/state-spaces and samples at https://hazyresearch.stanford.edu/sashimi-examples.


title: Graph-based Extractive Explainer for Recommendations

abstract: Explanations in a recommender system assist users in making informed decisions among a set of recommended items. Great research attention has been devoted to generating natural language explanations to depict how the recommendations are generated and why the users should pay attention to them. However, due to different limitations of those solutions, e.g., template-based or generation-based, it is hard to make the explanations easily perceivable, reliable and personalized at the same time. In this work, we develop a graph attentive neural network model that seamlessly integrates user, item, attributes, and sentences for extraction-based explanation. The attributes of items are selected as the intermediary to facilitate message passing for user-item specific evaluation of sentence relevance. And to balance individual sentence relevance, overall attribute coverage, and content redundancy, we solve an integer linear programming problem to make the final selection of sentences. Extensive empirical evaluations against a set of state-of-the-art baseline methods on two benchmark review datasets demonstrated the generation quality of the proposed solution.


title: Fractional optical angular momentum and multi-defect-mediated mode re-normalization and orientation control in photonic crystal microring resonators

abstract: Whispering gallery modes (WGMs) in circularly symmetric optical microresonators exhibit integer quantized angular momentum numbers due to the boundary condition imposed by the geometry. Here, we show that incorporating a photonic crystal pattern in an integrated microring can result in WGMs with fractional optical angular momentum. By choosing the photonic crystal periodicity to open a photonic bandgap with a band-edge momentum lying between that of two WGMs of the unperturbed ring, we observe hybridized WGMs with half-integer quantized angular momentum numbers ($m \in \mathbb{Z}$ + 1/2). Moreover, we show that these modes with fractional angular momenta exhibit high optical quality factors with good cavity-waveguide coupling and an order of magnitude reduced group velocity. Additionally, by introducing multiple artificial defects, multiple modes can be localized to small volumes within the ring, while the relative orientation of the de-localized band-edge states can be well-controlled. Our work unveils the renormalization of WGMs by the photonic crystal, demonstrating novel fractional angular momentum states and nontrivial multi-mode orientation control arising from continuous rotational symmetry breaking. The findings are expected to be useful for sensing/metrology, nonlinear optics, and cavity quantum electrodynamics.


title: Magneto-optical Spectroscopy with RAMBO: A Table-Top 30 T Magnet

abstract: Optically probing materials in high magnetic fields can provide enlightening insight into field-modified electronic states and phases, while optically driving materials in high magnetic fields can induce novel nonequilibrium many-body dynamics of spin and charge carriers. While there are high-field magnets compatible with standard optical spectroscopy methods, they are generally bulky and have limited optical access, which prohibit performing state-of-the-art ultrafast and/or nonlinear optical experiments. The Rice Advanced Magnet with Broadband Optics (RAMBO), a unique 30-T pulsed mini-coil magnet system with direct optical access, has enabled previously challenging experiments using femtosecond optical pulses, including time-domain terahertz spectroscopy, in cutting-edge materials placed in strong magnetic fields. Here, we review recent experimental advances made possible by the first-generation RAMBO setup. After summarizing technological aspects of combining optical spectroscopic techniques with the mini-coil magnet, we describe results of magneto-optical studies of a wide variety of materials, providing new insight into the states and dynamics of four types of quasiparticles in solids - excitons, plasmons, magnons, and phonons - in high magnetic fields.


title: Nonlinear p-multigrid preconditioner for implicit time integration of compressible Navier--Stokes equations

abstract: Within the framework of $ p $-adaptive flux reconstruction, we aim to construct efficient polynomial multigrid ($p$MG) preconditioners for implicit time integration of the Navier--Stokes equations using Jacobian-free Newton--Krylov (JFNK) methods. We hypothesise that in pseudo transient continuation (PTC), as the residual drops, the frequency of error modes that dictates the convergence rate gets higher and higher. We apply nonlinear $p$MG solvers to stiff steady problems at low Mach number ($\mathrm{Ma}=10^{-3}$) to verify our hypothesis. It is demonstrated that once the residual drops by a few orders of magnitude, improved smoothing on intermediate $ p $-sublevels will not only maintain the stability of $ p $MG at large time steps but also improve the convergence rate. For the unsteady Navier--Stokes equations, we elaborate how to construct nonlinear preconditioners using pseudo transient continuation for the matrix-free generalized minimal residual (GMRES) method used in explicit first stage, singly diagonally implicit Runge--Kutta (ESDIRK) methods, and linearly implicit Rosenbrock--Wanner (ROW) methods. Given that at each time step the initial guess in the nonlinear solver is not distant from the converged solution, we recommend a two-level $p\{p_0\text{-}p_0/2\} $ or even $ p\{p_0\text{-}(p_0-1)\} $ $p$-hierarchy for optimal efficiency with a matrix-based smoother on the coarser level based on our hypothesis. It is demonstrated that insufficient smoothing on intermediate $p$-sublevels will deteriorate the performance of $p$MG preconditioner greatly. (See full abstract in the paper.)


title: Schr\"{o}dinger Meets Kuramoto via Feynman-Kac: Minimum Effort Distribution Steering for Noisy Nonuniform Kuramoto Oscillators

abstract: We formulate and solve the problem of finite horizon minimum control effort steering of the state probability distribution between prescribed endpoint joints for a finite population of networked noisy nonuniform Kuramoto oscillators. We consider both the first and second order stochastic Kuramoto models. For numerical solution of the associated stochastic optimal control, we propose combining certain measure-valued proximal recursions and the Feynman-Kac path integral computation. We illustrate the proposed framework via numerical examples.


title: Overparametrization improves robustness against adversarial attacks: A replication study

abstract: Overparametrization has become a de facto standard in machine learning. Despite numerous efforts, our understanding of how and where overparametrization helps model accuracy and robustness is still limited. To this end, here we conduct an empirical investigation to systemically study and replicate previous findings in this area, in particular the study by Madry et al. Together with this study, our findings support the "universal law of robustness" recently proposed by Bubeck et al. We argue that while critical for robust perception, overparametrization may not be enough to achieve full robustness and smarter architectures e.g. the ones implemented by the human visual cortex) seem inevitable.


title: Virus Assembly Pathways inside a Host Cell

abstract: Simple RNA viruses self-assemble spontaneously and encapsulate their genome into a shell called the capsid. This process is mainly driven by the attractive electrostatic interaction between the positive charges on capsid proteins and the negative charges on the genome. Despite its importance and many decades of intense research, how the virus selects and packages its native RNA inside the crowded environment of a host cell cytoplasm in the presence of an abundance of non-viral RNA and other anionic polymers, has remained a mystery. In this paper, we perform a series of simulations to monitor the growth of viral shells and find the mechanism by which cargo-coat protein interactions can impact the structure and stability of the viral shells. We show that coat protein subunits can assemble around a globular nucleic acid core by forming non-icosahedral cages, which have been recently observed in assembly experiments involving small pieces of RNA. We find that the resulting cages are strained and can easily be split into fragments along stress lines. This suggests that such metastable non-icosahedral intermediates could be easily re-assembled into the stable native icosahedral shells if the larger wild-type genome becomes available, despite the presence of myriad of non-viral RNAs.


title: Amplification of Gravitationally Induced Entanglement

abstract: Observation of gravitationally induced entanglement between two massive particles can be viewed as implying the existence of the nonclassical nature of gravity. However, weak interaction in the gravitational field is extremely small so that gravitationally induced entanglement is exceptionally challenging to test in practice. For addressing this key challenge, here we propose a criterion based on the logical contradictions of weak entanglement, which may boost the sensitivity of the signal due to the gravitationally induced entanglement. Specifically, we make use of the weak-value scenario and Einstein-Podolsky-Rosen steering. We prove that it is impossible for a classical mediator to act on two local quantum objects to simulate amplified-weak-value phenomenon in two-setting Einstein-Podolsky-Rosen steering. Our approach can amplify the signal of gravitationally induced entanglement that were previously impossible to observe by any desired factor that depends on the magnitude of the weak value. Our results not only open up the possibility of exploring nonclassical nature of gravity in the near future, but they also pave the way for weak entanglement criterion of a more general nature.


title: The Loop Game: Quality Assessment and Optimization for Low-Light Image Enhancement

abstract: There is an increasing consensus that the design and optimization of low light image enhancement methods need to be fully driven by perceptual quality. With numerous approaches proposed to enhance low-light images, much less work has been dedicated to quality assessment and quality optimization of low-light enhancement. In this paper, to close the gap between enhancement and assessment, we propose a loop enhancement framework that produces a clear picture of how the enhancement of low-light images could be optimized towards better visual quality. In particular, we create a large-scale database for QUality assessment Of The Enhanced LOw-Light Image (QUOTE-LOL), which serves as the foundation in studying and developing objective quality assessment measures. The objective quality assessment measure plays a critical bridging role between visual quality and enhancement and is further incorporated in the optimization in learning the enhancement model towards perceptual optimally. Finally, we iteratively perform the enhancement and optimization tasks, enhancing the low-light images continuously. The superiority of the proposed scheme is validated based on various low-light scenes. The database as well as the code will be available.


title: Radio Constraints on $r$-process Nucleosynthesis by Collapsars

abstract: The heaviest elements in the Universe are synthesized through rapid neutron capture ($r$-process) in extremely neutron rich outflows. Neutron star mergers were established as an important $r$-process source through the multi-messenger observation of GW170817. Collapsars were also proposed as a potentially major source of heavy elements; however, this is difficult to probe through optical observations due to contamination by other emission mechanisms. Here we present observational constraints on $r$-process nucleosynthesis by collapsars based on radio follow-up observations of nearby long gamma-ray bursts. We make the hypothesis that late-time radio emission arises from the collapsar wind ejecta responsible for forging $r$-process elements, and consider the constraints that can be set on this scenario using radio observations of a sample of Swift/BAT GRBs located within 2 Gpc. No radio counterpart was identified in excess of the radio afterglow of the GRBs in our sample, limiting the collapsar $r$-process contribution to $\lesssim0.2$ M$_\odot$ under the models we considered, with constant circum-merger densities giving more stringent constraints. While our results are in tension with collapsars being the majority $r$-process production sites, the ejecta mass and velocity profile of collapsar winds is not yet well modeled. As such, our results are currently subject to large uncertainties, but further theoretical work could greatly improve them.


title: A Foundation for Wireless Channel Prediction and Full Ray Makeup Estimation Using an Unmanned Vehicle

abstract: In this paper, we consider the problem of wireless channel prediction, where we are interested in predicting the channel quality at unvisited locations in an area of interest, based on a small number of prior received power measurements collected by an unmanned vehicle in the area. We propose a new framework for channel prediction that can not only predict the detailed variations of the received power, but can also predict the detailed makeup of the wireless rays (i.e., amplitude, angle-of-arrival, and phase of all the incoming paths). More specifically, we show how an enclosure-based robotic route design ensures that the received power measurements at the prior measurement locations can be utilized to fully predict detailed ray parameters at unvisited locations. We then show how to first estimate the detailed ray parameters at the prior measurement route and then fully extend them to predict the detailed ray makeup at unvisited locations in the workspace. We experimentally validate our proposed framework through extensive real-world experiments in three different areas, and show that our approach can accurately predict the received channel power and the detailed makeup of the rays at unvisited locations in an area, considerably outperforming the state-of-the-art in wireless channel prediction.


title: Visual Attention Network

abstract: While originally designed for natural language processing tasks, the self-attention mechanism has recently taken various computer vision areas by storm. However, the 2D nature of images brings three challenges for applying self-attention in computer vision. (1) Treating images as 1D sequences neglects their 2D structures. (2) The quadratic complexity is too expensive for high-resolution images. (3) It only captures spatial adaptability but ignores channel adaptability. In this paper, we propose a novel linear attention named large kernel attention (LKA) to enable self-adaptive and long-range correlations in self-attention while avoiding its shortcomings. Furthermore, we present a neural network based on LKA, namely Visual Attention Network (VAN). While extremely simple, VAN surpasses similar size vision transformers(ViTs) and convolutional neural networks(CNNs) in various tasks, including image classification, object detection, semantic segmentation, panoptic segmentation, pose estimation, etc. For example, VAN-B6 achieves 87.8% accuracy on ImageNet benchmark and set new state-of-the-art performance (58.2 PQ) for panoptic segmentation. Besides, VAN-B2 surpasses Swin-T 4% mIoU (50.1 vs. 46.1) for semantic segmentation on ADE20K benchmark, 2.6% AP (48.8 vs. 46.2) for object detection on COCO dataset. It provides a novel method and a simple yet strong baseline for the community. Code is available at https://github.com/Visual-Attention-Network.


title: Lyapunov stable chain recurrence classes for singular flows

abstract: We show that for a $C^1$ generic vector field $X$ away from homoclinic tangencies, a nontrivial Lyapunov stable chain recurrence class is a homoclinic class. The proof uses an argument with $C^2$ vector fields approaching $X$ in $C^1$ topology, with their Gibbs $F$-states converging to a Gibbs $F$-state of $X$.


title: Measurement of the Ra$^+$ $7p$ $^{2}P_{3/2}$ state lifetime

abstract: We report a measurement of the radium ion's $7p$ ${}^{2}P_{3/2}$ state lifetime, $\tau=4.78(3)$ ns. The measured lifetime is in good agreement with theoretical calculations, and will enable a determination of the differential scalar polarizability of the narrow linewidth $7s$ ${}^{2}S_{1/2}\rightarrow$ $6d$ ${}^{2}D_{5/2}$ optical clock transition.


title: Effective spin model in momentum space: Toward a systematic understanding of multiple-$Q$ instability by momentum-resolved anisotropic exchange interactions

abstract: Multiple-$Q$ magnetic states, such as a skyrmion crystal, become a source of unusual transport phenomena and dynamics. Recent theoretical and experimental studies clarify that such multiple-$Q$ states ubiquitously appear under different crystal structures in metals and insulators. Toward a systematic understanding of the formation of the multiple-$Q$ states in various crystal systems, in this theoretical study, we present a low-energy effective spin model with anisotropic exchange interactions in momentum space. We summarize specific six symmetry rules for nonzero symmetric and antisymmetric anisotropic exchange interactions in momentum space, which are regarded as an extension of Moriya's rule. According to the rules, we construct the effective spin model for tetragonal, hexagonal, and trigonal magnets with crystal- and momentum-dependent anisotropic exchange interactions based on magnetic representation analysis. Furthermore, we describe the origin of the effective anisotropic exchange interactions in itinerant magnets by perturbatively analyzing a multi-band periodic Anderson model with the spin-orbit coupling. We apply the effective spin model to an itinerant magnet in a $P6/mmm$ crystal and find various multiple-$Q$ states with a spin scalar chirality in the ground state. Our results provide a foundation of constructing effective phenomenological spin models for any crystal systems hosting the multiple-$Q$ states, which will stimulate further exploration of exotic multiple-$Q$ states in materials with the spin-orbit coupling.


title: RDP-Net: Region Detail Preserving Network for Change Detection

abstract: Change detection (CD) is an essential earth observation technique. It captures the dynamic information of land objects. With the rise of deep learning, convolutional neural networks (CNN) have shown great potential in CD. However, current CNN models introduce backbone architectures that lose detailed information during learning. Moreover, current CNN models are heavy in parameters, which prevents their deployment on edge devices such as UAVs. In this work, we tackle this issue by proposing RDP-Net: a region detail preserving network for CD. We propose an efficient training strategy that constructs the training tasks during the warmup period of CNN training and lets the CNN learn from easy to hard. The training strategy enables CNN to learn more powerful features with fewer FLOPs and achieve better performance. Next, we propose an effective edge loss that increases the penalty for errors on details and improves the network's attention to details such as boundary regions and small areas. Furthermore, we provide a CNN model with a brand new backbone that achieves the state-of-the-art empirical performance in CD with only 1.70M parameters. We hope our RDP-Net would benefit the practical CD applications on compact devices and could inspire more people to bring change detection to a new level with the efficient training strategy. The code and models are publicly available at https://github.com/Chnja/RDPNet.


title: Ultrasensitive refractive index sensor with rotatory biased weak measurement

abstract: A modified weak measurement scheme, rotatory biased weak measurement, is proposed to significantly improve the sensitivity and resolution of the refractive index sensor on a total reflection structure. This method introduces an additional phase in the post-selected procedure and generates an extinction point in the spectrum distribution. The biased post-selection makes smaller coupling strength available, which leads to an enhancement of phase sensitivity and refractive index sensitivity. In rotatory biased weak measurement, we achieve an enhanced refractive index sensitivity of 13605 nm/RIU compared to 1644 nm/RIU in standard weak measurement. The performance of sensors with different sensitivity is analyzed, and we find the optimal refractive index resolution of sensors increases with sensitivity. In this work, we demonstrate an optimal refractive index resolution of $4\times10^{-7}$ RIU on a total reflection structure. The rabbit anti-mouse IgG and mouse IgG binding reaction experiments demonstrate that our system has a high response to the concentration of IgG in a wide range and the limit of detection is 15 ng/mL. The improvements in this work are helpful to the optimizations of other optical sensors with weak measurement.


title: PGE: Robust Product Graph Embedding Learning for Error Detection

abstract: Although product graphs (PGs) have gained increasing attentions in recent years for their successful applications in product search and recommendations, the extensive power of PGs can be limited by the inevitable involvement of various kinds of errors. Thus, it is critical to validate the correctness of triples in PGs to improve their reliability. Knowledge graph (KG) embedding methods have strong error detection abilities. Yet, existing KG embedding methods may not be directly applicable to a PG due to its distinct characteristics: (1) PG contains rich textual signals, which necessitates a joint exploration of both text information and graph structure; (2) PG contains a large number of attribute triples, in which attribute values are represented by free texts. Since free texts are too flexible to define entities in KGs, traditional way to map entities to their embeddings using ids is no longer appropriate for attribute value representation; (3) Noisy triples in a PG mislead the embedding learning and significantly hurt the performance of error detection. To address the aforementioned challenges, we propose an end-to-end noise-tolerant embedding learning framework, PGE, to jointly leverage both text information and graph structure in PG to learn embeddings for error detection. Experimental results on real-world product graph demonstrate the effectiveness of the proposed framework comparing with the state-of-the-art approaches.


title: Velocity Obstacle Based Risk-Bounded Motion Planning for Stochastic Multi-Agent Systems

abstract: In this paper, we present an innovative risk-bounded motion planning methodology for stochastic multi-agent systems. For this methodology, the disturbance, noise, and model uncertainty are considered; and a velocity obstacle method is utilized to formulate the collision-avoidance constraints in the velocity space. With the exploitation of geometric information of static obstacles and velocity obstacles, a distributed optimization problem with probabilistic chance constraints is formulated for the stochastic multi-agent system. Consequently, collision-free trajectories are generated under a prescribed collision risk bound. Due to the existence of probabilistic and disjunctive constraints, the distributed chance-constrained optimization problem is reformulated as a mixed-integer program by introducing the binary variable to improve computational efficiency. This approach thus renders it possible to execute the motion planning task in the velocity space instead of the position space, which leads to smoother collision-free trajectories for multi-agent systems and higher computational efficiency. Moreover, the risk of potential collisions is bounded with this robust motion planning methodology. To validate the effectiveness of the methodology, different scenarios for multiple agents are investigated, and the simulation results clearly show that the proposed approach can generate high-quality trajectories under a predefined collision risk bound and avoid potential collisions effectively in the velocity space.


title: Van der Waals equation of state for asymmetric nuclear matter

abstract: The application of van der Waals equation of state to the asymmetric nuclear matter is considered in a critical state region. The corrections to the van der Waals pressure and free energy due to the Fermi statistics are obtained starting from the Thomas--Fermi entropy expression which ensures the fulfilment of Nernst theorem. The derived corrections account for the effective nucleon mass and neutron-proton isotopic asymmetry. The parameters of van der Waals equation of state are deduced taking the experimental value of critical temperature for symmetric nuclear matter and testing the model of van der Waals with statistics corrections included against the theory of Skyrme energy density functional. Critical line in pressure-temperature-composition space is considered. Incompressibility coefficient is determined along the critical line as a function of nuclear matter composition. Jump in the value of specific heat upon crossing critical line is discussed.


title: Enhancing Affective Representations of Music-Induced EEG through Multimodal Supervision and latent Domain Adaptation

abstract: The study of Music Cognition and neural responses to music has been invaluable in understanding human emotions. Brain signals, though, manifest a highly complex structure that makes processing and retrieving meaningful features challenging, particularly of abstract constructs like affect. Moreover, the performance of learning models is undermined by the limited amount of available neuronal data and their severe inter-subject variability. In this paper we extract efficient, personalized affective representations from EEG signals during music listening. To this end, we employ music signals as a supervisory modality to EEG, aiming to project their semantic correspondence onto a common representation space. We utilize a bi-modal framework by combining an LSTM-based attention model to process EEG and a pre-trained model for music tagging, along with a reverse domain discriminator to align the distributions of the two modalities, further constraining the learning process with emotion tags. The resulting framework can be utilized for emotion recognition both directly, by performing supervised predictions from either modality, and indirectly, by providing relevant music samples to EEG input queries. The experimental findings show the potential of enhancing neuronal data through stimulus information for recognition purposes and yield insights into the distribution and temporal variance of music-induced affective features.


title: Floquet analysis of extended Rabi models based on high-frequency expansion

abstract: The extended quantum Rabi models make a significant contribution to understand the quantum nature of the atom-light interaction. We transform two kinds of extended quantum Rabi model, anisotropic Rabi model and asymmetric Rabi model, into rotating frame, and regard them as periodically driven quantum systems. The analytical solutions of the quasi-energy spectrum as well as the Floquet modes for both models are constructed by applying the Floquet theory and the high-frequency expansion, which is applied to the non-stroboscopic dynamics of physical observables such as atomic inversion, transverse magnetization, atom-field correlation, etc. For anisotropic Rabi model, the quasi energy fits well with the numerical results even when the rotating-wave coupling is in the deep-strong coupling regime $g\simeq\hbar\omega$ if the counterrotating terms is small enough compared to the driving frequency. Avoided level crossing may occur for quasi energy with the same parity when the positive branch spectrum lines for the total excitation number $N$ cross the negative branch lines for $N+2$, while the high frequency expansion fails to predict this due to the conservation of the total excitation number. Furthermore, we present analytical and numerical study of the long-time evolution of population and figure out the analytical method is credible for the population dynamics. For asymmetric Rabi model, we find that the external bias field which breaks the parity symmetry of total excitation number tends to cluster the upper and lower branches into two bundles, and the detuning induced gap in the first temporal Brillouin zone shows a quadratic dependence on the bias. Both models prove that treating the Hamiltonian in the rotating frame by Floquet theory gives an alternative tool in the study of interaction between atom and light.


title: A simple proof of logarithmic Sobolev inequality on the Heisenberg groups

abstract: In this note we give a simple, dimension independent, proof of the logarithmic Sobolev inequality on the Heisenberg groups $H_n=\R^{2n+1}$ using the measure preserving transformations of the Brownian motion. We have corrected some serious flaws and simplified the proofs.


title: Finite-Time Analysis of Natural Actor-Critic for POMDPs

abstract: We consider the reinforcement learning problem for partially observed Markov decision processes (POMDPs) with large or even countably infinite state spaces, where the controller has access to only noisy observations of the underlying controlled Markov chain. We consider a natural actor-critic method that employs a finite internal memory for policy parameterization, and a multi-step temporal difference learning algorithm for policy evaluation. We establish, to the best of our knowledge, the first non-asymptotic global convergence of actor-critic methods for partially observed systems under function approximation. In particular, in addition to the function approximation and statistical errors that also arise in MDPs, we explicitly characterize the error due to the use of finite-state controllers. This additional error is stated in terms of the total variation distance between the traditional belief state in POMDPs and the posterior distribution of the hidden state when using a finite-state controller. Further, we show that this error can be made small in the case of sliding-block controllers by using larger block sizes.


title: Percolation induced gel-gel phase separation in a dilute polymer network

abstract: Cosmic large-scale structures, animal flocks, and living tissues are non-equilibrium organized systems created by dissipative processes. Despite the uniqueness, the realization of dissipative structures is still difficult. Herein, we report that a network formation process in a dilute system is a dissipative process, leading to percolation induced gel-gel phase separation (GGPS) in a prominent miscible polymer-water system. The dilute system, which forms a monophase structure at the percolation threshold, eventually separates into two gel phases in a longer time scale as the network formation progresses. The dilute hydrogel with GGPS exhibits an unexpected mesoscale co-continuous structure and induces adipose growth in subcutaneous. The formation mechanism of GGPS and a cosmic large-scale structure is analogous, in terms of attractive interactions in a diluted system driving phase separation. This unique phenomenon unveils the possibility of dissipative structures enabling advanced functionalities and will stimulate research fields related to dissipative structures.


title: Multi-dimensional Network Security Game: How do attacker and defender battle on parallel targets?

abstract: In this paper, we consider a new network security game wherein an attacker and a defender are battling over "multiple" targets. This type of game is appropriate to model many current network security conflicts such as Internet phishing, mobile malware or network intrusions. In such attacks, the attacker and the defender need to decide how to allocate resources on each target so as to maximize his utility within his resource limit. We model such a multi-dimensional network security game as a constrained non-zero sum game. Two security breaching models, the product-form and the proportion-form, are considered. For each breaching model, we prove the existence of a unique Nash equilibrium (NE) based on Rosen's theorem and propose efficient algorithms to find the NE when the games are strictly concave. Furthermore, we show the existence of multiple NEs in the product-form breaching model when the strict concavity does not hold. Our study sheds light on the strategic behaviors of the attacker and the defender, in particular, on how they allocate resources to the targets which have different weights, and how their utilities as well as strategies are influenced by the resource constraints.


title: Bad list assignments for non-$k$-choosable $k$-chromatic graphs with $2k+2$-vertices

abstract: It was conjectured by Ohba, and proved by Noel, Reed and Wu that $k$-chromatic graphs $G$ with $|V(G)| \le 2k+1$ are chromatic-choosable. This upper bound on $|V(G)|$ is tight: if $k$ is even, then $K_{3 \star (k/2+1), 1 \star (k/2-1)}$ and $K_{4, 2 \star (k-1)}$ are $k$-chromatic graphs with $2 k+2$ vertices that are not chromatic-choosable. It was proved in [arXiv:2201.02060] that these are the only non-$k$-choosable complete $k$-partite graphs with $2k+2$ vertices. For $G =K_{3 \star (k/2+1), 1 \star (k/2-1)}$ or $K_{4, 2 \star (k-1)}$, a bad list assignment of $G$ is a $k$-list assignment $L$ of $G$ such that $G$ is not $L$-colourable. Bad list assignments for $G=K_{4, 2 \star (k-1)}$ were characterized in [Discrete Mathematics 244 (2002), 55-66]. In this paper, we first give a simpler proof of this result, and then we characterize bad list assignments for $G=K_{3 \star (k/2+1), 1 \star (k/2-1)}$. Using these results, we characterize all non-$k$-choosable (non-complete) $k$-partite graphs with $2k+2$ vertices.


title: Twisted conjugacy in classical groups over certain domains of Characteristic $p>0$

abstract: Let $F$ be a subfield of the algebraic closure of a finite field $\mathbb{F}_p$, $p \ne 2$, and let $R$ denote any ring such that $F[t] \subset R \subsetneq F(t)$. Let $G$ be a classical Chevalley group of adjoint type defined over $R$. We prove that the group $G(R)$ has the $R_{\infty}$-property.


title: Submultiplicative and Power Submultiplicative Properties for Generalized Hersch-Pfluger Distortion Function

abstract: For $a\in(0,1/2]$ and $r\in(0,1)$, and for $K>0$, we investigate submultiplicative and power submultiplicative properties for generalized Hersch-Pfluger distortion function $\varphi_K^a(r)$, which generalize the recent results of Hersch-Pfluger distortion function $\varphi_K(r)$ obtained by Wang, Qiu and Chu.