title: All-Digital FPGA-based DAC with None or Few External Components

abstract: One of the many limitations with the mixed-signal design is physically testing circuit ideas. While it is easier to test digital circuits with FPGAs, this can not be done usually with mixed-signal circuits. Although some FPGAs have built-in analog-to-digital and digital-to-analog converters, regular commercial FPGAs development boards and low-cost FPGAs lack built-in data converters. Here we introduce an all-digital FPGA-based DAC, which is one of the main blocks to enable mixed-signal experiments. The DAC can be synthesized entirely in an FPGA and does not require the use of external components. Furthermore, and to extend its range of applications, a discussion regarding the proposed DAC's problems and possible solutions is presented. Experimental demonstration of a 4-bit and a 5-bit DAC corroborate the theoretical analysis developed in this work. This work also suggests a scheme which includes few external resistors to improve the linearity (DNL$\leq$0.25LSB and an INL$\leq$0.5LSB), and the power consumption (5X improvement over the standalone configuration).


title: On the degree sequences of dual graphs on surfaces

abstract: Given two graphs $G$ and $G^*$ with a one-to-one correspondence between their edges, when do $G$ and $G^*$ form a pair of dual graphs realizing the vertices and countries of a map embedded in a surface? A criterion was obtained by Jack Edmonds in 1965. Furthermore, let $\boldsymbol{d}=(d_1,\ldots,d_n)$ and $\boldsymbol{t}=(t_1,\ldots,t_m)$ be their degree sequences. Then, clearly, $\sum_{i=1}^n d_i = \sum_{j=1}^m t_j = 2\ell$, where $\ell$ is the number of edges in each of the two graphs, and $\chi = n - \ell + m$ is the Euler characteristic of the surface. Which sequences $\boldsymbol{d}$ and $\boldsymbol{t}$ satisfying these conditions still cannot be realized as the degree sequences? We make use of Edmonds' criterion to obtain several infinite series of exceptions for the sphere, $\chi = 2$, and projective plane, $\chi = 1$. We conjecture that there exist no exceptions for $\chi \leq 0$.


title: Mesoscopic structure of mixed type domain walls in multiaxial ferroelectrics

abstract: The structure of 180-degree uncharged rotational domain wall in a multiaxial ferroelectric film is studied within the framework of analytical Landau-Ginzburg-Devonshire (LGD) approach. The Finite Element Modelling (FEM) is used to solve numerically the system of the coupled nonlinear Euler-Lagrange (EL) differential equations of the second order for two components of polarization. We show that the structure of the domain wall and corresponding (meta)stable phase of the film are controlled by a single master parameter, dimensionless ferroelectric anisotropy {\mu}. We fitted the static profile of a solitary domain wall, calculated by FEM, with hyperbolic functions for polarization components, and extracted the five {\mu}-dependent parameters from the fitting to FEM curves. The high accuracy of the fitting results allows us to conclude that the analytical functions can be treated as the high-accuracy variational solution of the static EL equations with cubic nonlinearity. We further derive the two-component analytical solutions of the static EL equations for a polydomain 180-degree domain structure in a multiaxial ferroelectric film. The analysis of the free energy dependence on the film thickness and boundary conditions at its surfaces allows to select the domain states corresponding to the minimal energy. The single-domain state is ground for zero polarization derivative at the surfaces, while the poly-domain states minimize the system energy for zero polarization at the surfaces. Counterintuitively, the energy of the polydomain states split into two levels 0 and 1 for zero polarization at the surfaces, and each of the levels is the infinite set of the close-energy sub-levels, which morphology is characterized by different structure of the two-component polarization nodes.


title: Coninvolutions on Upper Triangular Matrix Group over the Ring of Gaussian Integers and Quaternions integers modulo $p$

abstract: In this article we give various formulates for compute the number of all coninvolutions over the group of upper triangular matrix with entries into the ring of Gaussian integers module $p$ and the ring of Quaternions integers module $p$, with $p$ an odd prime number.


title: Generalized Constant Current Method for Determining MOSFET Threshold Voltage

abstract: A novel method for extracting threshold voltage and substrate effect parameters of MOSFETs with constant current bias at all levels of inversion is presented. This generalized constant-current (GCC) method exploits the charge-based model of MOSFETs to extract threshold voltage and other substrate-effect related parameters. The method is applicable over a wide range of current throughout weak and moderate inversion and to some extent in strong inversion. This method is particularly useful when applied for MOSFETs presenting edge conduction effect (subthreshold hump) in CMOS processes using Shallow Trench Isolation (STI).


title: Equivariant annular Khovanov homology

abstract: We construct an equivariant version of annular Khovanov homology via the Frobenius algebra associated with $U(1) \times U(1)$-equivariant cohomology of $\mathbb{CP}^1$. Motivated by the relationship between the Temperley-Lieb algebra and annular Khovanov homology, we also introduce an equivariant analogue of the Temperley-Lieb algebra.


title: Borel Representation of $\tau$ Hadronic Spectral Function Moments in Contour-Improved Perturbation Theory

abstract: We show that the Borel representations of tau hadronic spectral function moments based on contour-improved perturbation theory (CIPT) in general differ from those obtained within fixed-order perturbation theory (FOPT) in the presence of IR renormalons in the underlying Adler function. The Borel sums obtained from both types of Borel representations in general differ as well, and the apparently conflicting behavior of the FOPT and CIPT spectral function moment series at intermediate orders, which has been subject to many studies in the past literature, can be understood quantitatively using concrete Borel function models. The difference between the CIPT and FOPT Borel sums, which we call the "asymptotic separation", can be computed analytically for any Borel function model and is proportional to inverse exponential terms in the strong coupling. Even though moments can be designed where the asymptotic separation is strongly suppressed, it is as a matter of principle unavoidable. If the Borel function of the Euclidean Adler function has a sizeable gluon condensate renormalon cut, the asymptotic separation can explain the observed disparity of the CIPT and FOPT spectral function moments at the 5-loop level. The existence of the asymptotic separation implies that the power corrections in the operator product expansion for the spectral function moments in the CIPT expansion approach do not have the commonly assumed analytic standard form.


title: Modeling of Personalized Anatomy using Plastic Strains

abstract: We give a method for modeling solid objects undergoing large spatially varying and/or anisotropic strains, and use it to reconstruct human anatomy from medical images. Our novel shape deformation method uses plastic strains and the Finite Element Method to successfully model shapes undergoing large and/or anisotropic strains, specified by sparse point constraints on the boundary of the object. We extensively compare our method to standard second-order shape deformation methods, variational methods and surface-based methods and demonstrate that our method avoids the spikiness, wiggliness and other artefacts of previous methods. We demonstrate how to perform such shape deformation both for attached and un-attached ("free flying") objects, using a novel method to solve linear systems with singular matrices with a known nullspace. While our method is applicable to general large-strain shape deformation modeling, we use it to create personalized 3D triangle and volumetric meshes of human organs, based on MRI or CT scans. Given a medically accurate anatomy template of a generic individual, we optimize the geometry of the organ to match the MRI or CT scan of a specific individual. Our examples include human hand muscles, a liver, a hip bone, and a gluteus medius muscle ("hip abductor").


title: Jointly fitting weak lensing, X-ray and Sunyaev-Zel'dovich data to constrain scalar-tensor theories with clusters of galaxies

abstract: Degenerate higher-order scalar-tensor (DHOST) theories are considered the most general class of scalar-tensor theories so that any constraints on them apply to the full set of scalar-tensor models. DHOST theories modify the laws of gravity even at galaxy clusters scale hence affecting the weak lensing (WL), X-ray and Sunyaev-Zel'dovich observables. We derive the theoretical expression for the lensing convergence $\kappa$, and the pressure profile $P$, of clusters in the framework of DHOST theories, and quantify how much they deviate from their General Relativity (GR) counterparts. We argue that combined measurements of $\kappa$, $P$, and of the electron number density, $n_e$, can constrain both the cluster and DHOST theory parameters. We carry on a Fisher matrix forecasts analysis to investigate whether this is indeed the case considering different scenarios for the spatial resolution and errors on the measured quantities.


title: A Combinatorial Design for Cascaded Coded Distributed Computing on General Networks

abstract: Coding theoretic approached have been developed to significantly reduce the communication load in modern distributed computing system. In particular, coded distributed computing (CDC) introduced by Li et al. can efficiently trade computation resources to reduce the communication load in MapReduce like computing systems. For the more general cascaded CDC, Map computations are repeated at r nodes to significantly reduce the communication load among nodes tasked with computing Q Reduce functions s times. In this paper, we propose a novel low-complexity combinatorial design for cascaded CDC which 1) determines both input file and output function assignments, 2) requires significantly less number of input files and output functions, and 3) operates on heterogeneous networks where nodes have varying storage and computing capabilities. We provide an analytical characterization of the computation-communication tradeoff, from which we show the proposed scheme can outperform the state-of-the-art scheme proposed by Li et al. for the homogeneous networks. Further, when the network is heterogeneous, we show that the performance of the proposed scheme can be better than its homogeneous counterpart. In addition, the proposed scheme is optimal within a constant factor of the information theoretic converse bound while fixing the input file and the output function assignments.


title: audioLIME: Listenable Explanations Using Source Separation

abstract: Deep neural networks (DNNs) are successfully applied in a wide variety of music information retrieval (MIR) tasks but their predictions are usually not interpretable. We propose audioLIME, a method based on Local Interpretable Model-agnostic Explanations (LIME) extended by a musical definition of locality. The perturbations used in LIME are created by switching on/off components extracted by source separation which makes our explanations listenable. We validate audioLIME on two different music tagging systems and show that it produces sensible explanations in situations where a competing method cannot.


title: Decision problems for linear recurrences involving arbitrary real numbers

abstract: We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number coefficients in the bit-model of real computation. We show that for each problem there exists a correct partial algorithm which halts for all problem instances for which the answer is locally constant, thus establishing that all three problems are as close to decidable as one can expect them to be in this setting. We further show that the algorithms for the Positivity Problem and the Ultimate Positivity Problem halt on almost every instance with respect to the usual Lebesgue measure on Euclidean space. In comparison, the analogous problems for exact rational or real algebraic coefficients are known to be decidable only for linear recurrences of fairly low order.


title: Optimal rates of convergence and error localization of Gegenbauer projections

abstract: Motivated by comparing the convergence behavior of Gegenbauer projections and best approximations, we study the optimal rate of convergence for Gegenbauer projections in the maximum norm. We show that the rate of convergence of Gegenbauer projections is the same as that of best approximations under conditions of the underlying function is either analytic on and within an ellipse and $\lambda\leq0$ or differentiable and $\lambda\leq1$, where $\lambda$ is the parameter in Gegenbauer projections. If the underlying function is analytic and $\lambda>0$ or differentiable and $\lambda>1$, then the rate of convergence of Gegenbauer projections is slower than that of best approximations by factors of $n^{\lambda}$ and $n^{\lambda-1}$, respectively. An exceptional case is functions with endpoint singularities, for which Gegenbauer projections and best approximations converge at the same rate for all $\lambda>-1/2$. For functions with interior or endpoint singularities, we provide a theoretical explanation for the error localization phenomenon of Gegenbauer projections and for why the accuracy of Gegenbauer projections is better than that of best approximations except in small neighborhoods of the critical points. Our analysis provides fundamentally new insight into the power of Gegenbauer approximations and related spectral methods.


title: Lissajous 3-braids

abstract: We classify 3-braids arising from collision-free choreographic motions of 3 bodies on Lissajous plane curves, and present a parametrization in terms of levels and (Christoffel) slopes. Each of these Lissajous 3-braids represents a pseudo-Anosov mapping class whose dilatation increases when the level ascends in the natural numbers or when the slope descends in the Stern-Brocot tree. We also discuss 4-symbol frieze patterns that encode cutting sequences of geodesics along the Farey tessellation in relation to odd continued fractions of quadratic surds for the Lissajous 3-braids.


title: Signal Processing on Directed Graphs

abstract: This paper provides an overview of the current landscape of signal processing (SP) on directed graphs (digraphs). Directionality is inherent to many real-world (information, transportation, biological) networks and it should play an integral role in processing and learning from network data. We thus lay out a comprehensive review of recent advances in SP on digraphs, offering insights through comparisons with results available for undirected graphs, discussing emerging directions, establishing links with related areas in machine learning and causal inference in statistics, as well as illustrating their practical relevance to timely applications. To this end, we begin by surveying (orthonormal) signal representations and their graph frequency interpretations based on novel measures of signal variation for digraphs. We then move on to filtering, a central component in deriving a comprehensive theory of SP on digraphs. Indeed, through the lens of filter-based generative signal models, we explore a unified framework to study inverse problems (e.g., sampling and deconvolution on networks), statistical analysis of random signals, and topology inference of digraphs from nodal observations.


title: Multiplexed Supercell Metasurface Design and Optimization with Tandem Residual Networks

abstract: Complex nanophotonic structures hold the potential to deliver exquisitely tailored optical responses for a range of applications. Metal-insulator-metal (MIM) metasurfaces arranged in supercells, for instance, can be tailored by geometry and material choice to exhibit a variety of absorption properties and resonant wavelengths. With this flexibility, however, comes a vast space of design possibilities that classical design paradigms struggle to effectively navigate. To overcome this challenge, here we demonstrate a tandem residual network approach to efficiently generate multiplexed supercells through inverse design. By using a training dataset with several thousand full-wave electromagnetic simulations in a design space of over three trillion possible designs, the deep learning model can accurately generate a wide range of complex supercell designs given a spectral target. Beyond inverse design, the presented approach can also be used to explore the structure-property relationships of broadband absorption and emission in such supercell configurations. Thus, this study demonstrates the feasibility of high-dimensional supercell inverse design with deep neural networks that is applicable to complex nanophotonic structures composed of multiple subunit elements that may exhibit coupling.


title: Extension and trace results for doubling metric measure spaces and their hyperbolic fillings

abstract: In this paper we study connections between Besov spaces of functions on a compact metric space $Z$, equipped with a doubling measure, and the Newton--Sobolev space of functions on a uniform domain $X_\varepsilon$. This uniform domain is obtained as a uniformization of a (Gromov) hyperbolic filling of $Z$. To do so, we construct a family of hyperbolic fillings in the style of the work of Bonk and Kleiner and the work of Bourdon and Pajot. Then for each parameter $\beta>0$ we construct a lift $\mu_\beta$ of the doubling measure $\nu$ on $Z$ to $X_\varepsilon$, and show that $\mu_\beta$ is doubling and supports a $1$-Poincar\'e inequality. We then show that for each $\theta$ with $0<\theta<1$ and $p\ge 1$ there is a choice of $\beta=p(1-\theta)\log\alpha$ such that the Besov space $B^\theta_{p,p}(Z)$ is the trace space of the Newton--Sobolev space $N^{1,p}(X_\varepsilon,\mu_\beta)$ when $\varepsilon=\log\alpha$. Finally, we exploit the tools of potential theory on $X_\varepsilon$ to obtain fine properties of functions in $B^\theta_{p,p}(Z)$, such as their quasicontinuity and quasieverywhere existence of $L^q$-Lebesgue points with $q=s_\nu p/(s_\nu-p\theta)$, where $s_\nu$ is a doubling dimension associated with the measure $\nu$ on $Z$. Applying this to compact subsets of Euclidean spaces improves upon a result of Netrusov in $\mathbb{R}^n$.


title: Finding Closed Quasigeodesics on Convex Polyhedra

abstract: A closed quasigeodesic is a closed curve on the surface of a polyhedron with at most $180^\circ$ of surface on both sides at all points; such curves can be locally unfolded straight. In 1949, Pogorelov proved that every convex polyhedron has at least three (non-self-intersecting) closed quasigeodesics, but the proof relies on a nonconstructive topological argument. We present the first finite algorithm to find a closed quasigeodesic on a given convex polyhedron, which is the first positive progress on a 1990 open problem by O'Rourke and Wyman. The algorithm establishes for the first time a quasipolynomial upper bound on the total number of visits to faces (number of line segments), namely, $O\left(\frac{n \, L^3}{\epsilon^2 \, \ell^3}\right)$ where $n$ is the number of vertices of the polyhedron, $\epsilon$ is the minimum curvature of a vertex, $L$ is the length of the longest edge, and $\ell$ is the smallest distance within a face between a vertex and a nonincident edge (minimum feature size of any face). On the real RAM, the algorithm's running time is also pseudopolynomial, namely $O\left(\frac{n \, L^3}{\epsilon^2 \, \ell^3} \log n\right)$. On a word RAM, the running time grows to $O\left(b^2 \cdot \frac{n^8 \log n}{\epsilon^8} \cdot \frac{L^{21}}{\ell^{21}}\cdot 2^{O(|\Lambda|)}\right)$, where $|\Lambda|$ is the number of distinct edge lengths in the polyhedron, assuming its intrinsic or extrinsic geometry is given by rational coordinates each with at most $b$ bits. This time bound remains pseudopolynomial for polyhedra with $O(\log n)$ distinct edges lengths, but is exponential in the worst case. Along the way, we introduce the expression RAM model of computation, formalizing a connection between the real RAM and word RAM hinted at by past work on exact geometric computation.


title: The potential for complex computational models of aging

abstract: The gradual accumulation of damage and dysregulation during the aging of living organisms can be quantified. Even so, the aging process is complex and has multiple interacting physiological scales -- from the molecular to cellular to whole tissues. In the face of this complexity, we can significantly advance our understanding of aging with the use of computational models that simulate realistic individual trajectories of health as well as mortality. To do so, they must be systems-level models that incorporate interactions between measurable aspects of age-associated changes. To incorporate individual variability in the aging process, models must be stochastic. To be useful they should also be predictive, and so must be fit or parameterized by data from large populations of aging individuals. In this perspective, we outline where we have been, where we are, and where we hope to go with such computational models of aging. Our focus is on data-driven systems-level models, and on their great potential in aging research.


title: Lozenge tilings of hexagons with holes on three crossing lines

abstract: The enumeration of lozenge tilings of hexagons with holes has received much attention during the last three decades. One notable feature is that a lot of the recent development involved Kuo's graphical condensation. Motivated by Ciucu, Lai and Rohatgi's work on tilings of hexagons with a removed triad of bowties, in this paper, we show that the ratio of numbers of lozenge tilings of two more general regions is expressed as a simple product formula. Our proof does not involve the graphical condensation method. The proof is short and direct. We also provide a corresponding formula for cyclically symmetric lozenge tilings. Several previous results can be easily deduced from our generalization.


title: Geometric structures, the Gromov order, Kodaira dimensions and simplicial volume

abstract: We introduce an axiomatic definition for the Kodaira dimension and classify Thurston geometries in dimensions $\leq 5$ in terms of this Kodaira dimension. We show that the Kodaira dimension is monotone with respect to the partial order defined by maps of non-zero degree between 5-manifolds. We study the compatibility of our definition with traditional notions of Kodaira dimension, especially the highest possible Kodaira dimension. To this end, we establish a connection between the simplicial volume and the holomorphic Kodaira dimension, which in particular implies that any smooth K\"ahler 3-fold with non-vanishing simplicial volume has top holomorphic Kodaira dimension.


title: Characterization of multi-level dynamics and decoherence in a high-anharmonicity capacitively shunted flux circuit

abstract: We present the design and characterization of a three-Josephson-junction superconducting loop circuit with three large shunt capacitors. Used as a qubit, the circuit shows long energy-relaxation times, of the order of 40 ${ \unicode[Times]{x3BC}}$s and a spin-echo dephasing time of 9.4 ${ \unicode[Times]{x3BC}}$s. The circuit has high anharmonicity, of 2$\pi$$\times$3.69 GHz. We extract the multilevel relaxation and dephasing rates of the circuit used as a qutrit and discuss the possible sources for the decoherence. The high anharmonicity allows for fast qubit control with nanosecond-range gate durations and a measured average gate fidelity of 99.92%, characterized by randomized benchmarking. These results demonstrate interesting potential use for fast nanosecond-time-scale two-qubit gates and multilevel quantum logic.


title: A Query-based Quantum Eigensolver

abstract: Solving eigenvalue problems is crucially important for both classical and quantum applications. Many well-known numerical eigensolvers have been developed, including the QR and the power methods for classical computers, as well as the quantum phase estimation(QPE) method and the variational quantum eigensolver for quantum computers. In this work, we present an alternative type of quantum method that uses fixed-point quantum search to solve Type II eigenvalue problems. It serves as an important complement to the QPE method, which is a Type I eigensolver. We find that the effectiveness of our method depends crucially on the appropriate choice of the initial state to guarantee a sufficiently large overlap with the unknown target eigenstate. We also show that the quantum oracle of our query-based method can be efficiently constructed for efficiently-simulated Hamiltonians, which is crucial for analyzing the total gate complexity. In addition, compared with the QPE method, our query-based method achieves a quadratic speedup in solving Type II problems.


title: Generating Minimum-Snap Quadrotor Trajectories Really Fast

abstract: We propose an algorithm for generating minimum-snap trajectories for quadrotors with linear computational complexity with respect to the number of segments in the spline trajectory. Our algorithm is numerically stable for large numbers of segments and is able to generate trajectories of more than $500,000$ segments. The computational speed and numerical stability of our algorithm makes it suitable for real-time generation of very large scale trajectories. We demonstrate the performance of our algorithm and compare it to existing methods, in which it is both faster and able to calculate larger trajectories than state-of-the-art. We also show the feasibility of the trajectories experimentally with a long quadrotor flight.


title: A synthetic monopole source of Kalb-Ramond field in diamond

abstract: Magnetic monopoles play a central role in various areas of fundamental physics, ranging from electromagnetism to topological states of matter. While their observation is elusive in high-energy physics, monopole sources of artificial gauge fields have been recently identified in synthetic matter. String theory, a potentially unifying framework that encompasses quantum mechanics, promotes the conventional \emph{vector} gauge fields of electrodynamics to \emph{tensor} gauge fields, and predicts the existence of more exotic \emph{tensor monopoles} in 4D space. Here we report on the characterization of a tensor monopole synthesized in a 4D parameter space by the spin degrees of freedom of a single solid-state defect in diamond. Using two complementary methods, we characterize the tensor monopole by measuring its quantized topological charge and its emanating Kalb-Ramond field. By introducing a fictitious external field that breaks chiral symmetry, we further observe an intriguing transition in the spectrum, characterized by spectral rings protected by mirror symmetries. Our work represents the first detection of tensor monopoles in a solid-state system and opens up the possibility of emulating exotic topological structures inspired by string theory.


title: Identification of images of COVID-19 from Chest X-rays using Deep Learning: Comparing COGNEX VisionPro Deep Learning 1.0 Software with Open Source Convolutional Neural Networks

abstract: The COVID-19 pandemic has been having a severe and catastrophic effect on humankind and is being considered the most crucial health calamity of the century. One of the best methods of detecting COVID-19 is from radiological images, namely X-rays and Computed Tomography or CT scan images. Many companies and educational organizations have come together during this crisis and created various Deep Learning models for the effective diagnosis of COVID-19 from chest radiography images. For example, the University of Waterloo, along with Darwin AI, has designed its Deep Learning model COVID-Net and created a dataset called COVIDx, consisting of 13,975 images. In this study, COGNEXs Deep Learning Software-VisionPro Deep Learning is used to classify these Chest X-rays from the COVIDx dataset. The results are compared with the results of COVID-Net and various other state of the art Deep Learning models from the open-source community. Deep Learning tools are often referred to as black boxes because humans cannot interpret how or why a model is classifying an image into a particular class. This problem is addressed by testing VisionPro Deep Learning with two settings, firstly by selecting the entire image, that is, selecting the entire image as the Region of Interest-ROI, and secondly by segmenting the lungs in the first step, and then doing the classification step on the segmented lungs only, instead of using the entire image. VisionPro Deep Learning results-on the entire image as the ROI it achieves an overall F-score of 94.0 percent, and on the segmented lungs, it gets an F-score of 95.3 percent, which is at par or better than COVID-Net and other state of the art open-source Deep Learning models.


title: Impact-Induced Cartilage Damage Assessed using Polarisation-Sensitive Optical Coherence Tomography

abstract: Significance: Non-invasive determination of structural changes in articular cartilage immediately after impact and rehydration provides insight into the response and recovery of the soft tissue, as well as provides a potential methodology for clinicians to quantify early degenerative changes. Approach: A custom-designed impact testing rig was used to deliver 0.9 J and 1.4 J impact energies to bovine articular cartilage. A total of 55 (n=28 healthy, n=27 mildly degenerate) cartilage-on-bone samples were imaged before, immediately after, and 3 hours after impact. PS-OCT images were analysed to assess changes relating to surface irregularity, optical attenuation, and birefringence. Results: Mildly degenerate cartilage exhibits a significant change in birefringence following 1.4 J impact energies compared to healthy samples which is believed to be attributable to degenerate cartilage being unable to fully utilise the fluid phase to distribute and dampen the energy. After rehydration, the polarisation-sensitive images appear to `optically-recover' reducing the reliability of birefringence as an absolute metric. Surface irregularity and optical attenuation encode diagnostically relevant information and may serve as markers to predict the mechanical response of articular cartilage.


title: Advances in Nb3Sn superconducting radiofrequency cavities towards first practical accelerator applications

abstract: Nb3Sn is a promising next-generation material for superconducting radiofrequency cavities, with significant potential for both large scale and compact accelerator applications. However, so far, Nb3Sn cavities have been limited to cw accelerating fields <18 MV/m. In this paper, new results are presented with significantly higher fields, as high as 24 MV/m in single cell cavities. Results are also presented from the first ever Nb3Sn-coated 1.3 GHz 9-cell cavity, a full-scale demonstration on the cavity type used in production for the European XFEL and LCLS-II. Results are presented together with heat dissipation curves to emphasize the potential for industrial accelerator applications using cryocooler-based cooling systems. The cavities studied have an atypical shiny visual appearance, and microscopy studies of witness samples reveal significantly reduced surface roughness and smaller film thickness compared to typical Nb3Sn films for superconducting cavities. Possible mechanisms for increased maximum field are discussed as well as implications for physics of RF superconductivity in the low coherence length regime. Outlook for continued development is presented.


title: Large-degree asymptotics of rational Painleve-IV solutions by the isomonodromy method

abstract: The Painleve-IV equation has two families of rational solutions generated respectively by the generalized Hermite polynomials and the generalized Okamoto polynomials. We apply the isomonodromy method to represent all of these rational solutions by means of two related Riemann-Hilbert problems, each of which involves two integer-valued parameters related to the two parameters in the Painleve-IV equation. We then use the steepest-descent method to analyze the rational solutions in the limit that at least one of the parameters is large. Our analysis provides rigorous justification for formal asymptotic arguments that suggest that in general solutions of Painleve-IV with large parameters behave either as an algebraic function or an elliptic function. Moreover, the results show that the elliptic approximation holds on the union of a curvilinear rectangle and, in the case of the generalized Okamoto rational solutions, four curvilinear triangles each of which shares an edge with the rectangle; the algebraic approximation is valid in the complementary unbounded domain. We compare the theoretical predictions for the locations of the poles and zeros with numerical plots of the actual poles and zeros obtained from the generating polynomials, and find excellent agreement.


title: The Amazing Power of Randomness: NP=RP

abstract: We (claim to) prove the extremely surprising fact that NP=RP. It is achieved by creating a Fully Polynomial-Time Randomized Approximation Scheme (FPRAS) for approximately counting the number of independent sets in bounded degree graphs, with any fixed degree bound, which is known to imply NP=RP. While our method is rooted in the well known Markov Chain Monte Carlo (MCMC) approach, we overcome the notorious problem of slow mixing by a new idea for generating a random sample from among the independent sets. A key tool that enables the result is a solution to a novel sampling task that we call Subset Sampling. In its basic form, a stationary sample is given from the (exponentially large) state space of a Markov chain, as input, and we want to transform it into another stationary sample that is conditioned on falling into a given subset, which is still exponentially large. In general, Subset Sampling can be both harder and easier than stationary sampling from a Markov chain. It can be harder, due to the conditioning on a subset, which may have more complex structure than the original state space. But it may also be easier, since a stationary sample is already given, which, in a sense, already encompasses "most of the hardness" of such sampling tasks, being already in the stationary distribution, which is hard to reach in a slowly mixing chain. We show that it is possible to efficiently balance the two sides: we can capitalize on already having a stationary sample from the original space, so that the complexity of confining it to a subset is mitigated. We prove that an efficient approximation is possible for the considered sampling task, and then it is applied recursively to create the FPRAS.


title: Design-Based Uncertainty for Quasi-Experiments

abstract: This paper develops a finite-population, design-based theory of uncertainty for studying quasi-experimental settings in the social sciences. In our framework, treatment is determined by stochastic idiosyncratic factors, but individuals may differ in their probability of receiving treatment in ways unknown to the researcher, thus allowing for rich selection into treatment. We derive formulas for the bias of common estimators (including difference-in-means and difference-in-differences), and provide conditions under which they are unbiased for an interpretable causal estimand (e.g. analogs to the ATE or ATT). We further show that when the finite population is large, conventional standard errors are valid but typically conservative for the variance of the estimator over the randomization distribution. An interesting feature of our framework is that conventional standard errors tend to become more conservative when treatment probabilities vary more across units, i.e. when there is more selection into treatment. This conservativeness can (at least partially) mitigate undercoverage of conventional confidence intervals when the estimator is biased because of selection. Our results also have implications for the appropriate level to cluster standard errors, and for the analysis of linear covariate adjustment and instrumental variables in quasi-experimental settings.


title: Learning Agile Locomotion via Adversarial Training

abstract: Developing controllers for agile locomotion is a long-standing challenge for legged robots. Reinforcement learning (RL) and Evolution Strategy (ES) hold the promise of automating the design process of such controllers. However, dedicated and careful human effort is required to design training environments to promote agility. In this paper, we present a multi-agent learning system, in which a quadruped robot (protagonist) learns to chase another robot (adversary) while the latter learns to escape. We find that this adversarial training process not only encourages agile behaviors but also effectively alleviates the laborious environment design effort. In contrast to prior works that used only one adversary, we find that training an ensemble of adversaries, each of which specializes in a different escaping strategy, is essential for the protagonist to master agility. Through extensive experiments, we show that the locomotion controller learned with adversarial training significantly outperforms carefully designed baselines.


title: Finite group actions on abelian groups of finite Morley rank

abstract: This paper develops some general results about actions of finite groups on (infinite) abelian groups in the finite Morley rank category. They are linked to a range of problems on groups of finite Morley rank discussed in [16]. Crucially, these results are needed for the forthcoming work by Ay\c{s}e Berkman and myself [5] where we remove the `sharpness' assumption from [4]. Also, they yield a proof of the long standing conjecture of linearity of irreducible definable actions of simple algebraic groups on elementary abelian $p$-groups of finite Morley rank [16, Conjecture 12].


title: The Rate-Distortion-Accuracy Tradeoff: JPEG Case Study

abstract: Handling digital images is almost always accompanied by a lossy compression in order to facilitate efficient transmission and storage. This introduces an unavoidable tension between the allocated bit-budget (rate) and the faithfulness of the resulting image to the original one (distortion). An additional complicating consideration is the effect of the compression on recognition performance by given classifiers (accuracy). This work aims to explore this rate-distortion-accuracy tradeoff. As a case study, we focus on the design of the quantization tables in the JPEG compression standard. We offer a novel optimal tuning of these tables via continuous optimization, leveraging a differential implementation of both the JPEG encoder-decoder and an entropy estimator. This enables us to offer a unified framework that considers the interplay between rate, distortion and classification accuracy. In all these fronts, we report a substantial boost in performance by a simple and easily implemented modification of these tables.


title: Universal quantum semigroupoids

abstract: We introduce the concept of a universal quantum linear semigroupoid (UQSGd), which is a weak bialgebra that coacts on a (not necessarily connected) graded algebra $A$ universally while preserving grading. We restrict our attention to algebraic structures with a commutative base so that the UQSGds under investigation are face algebras (due to Hayashi). The UQSGd construction generalizes the universal quantum linear semigroups introduced by Manin in 1988, which are bialgebras that coact on a connected graded algebra universally while preserving grading. Our main result is that when $A$ is the path algebra $\Bbbk Q$ of a finite quiver $Q$, each of the various UQSGds introduced here is isomorphic to the face algebra attached to $Q$. The UQSGds of preprojective algebras and of other algebras attached to quivers are also investigated.


title: Quantum fluctuation of stress tensor in a higher-derivative scalar field theory around a cosmic string

abstract: We calculate the vacuum fluctuation of the stress tensor of a higher-derivative theory around a thin cosmic string. To this end, we adopt the method to obtain the stress tensor from the effective action developed by Gibbons et al. By their method, the quantum stress tensor of higher-derivative scalar theories without self-interaction is expressed as a simple sum of quantum stress tensors of free massive scalar fields. Unlike the vacuum expectation value of the scalar field squared obtained in the similar model, there appears no reduction of the values near the conical singularity.


title: Non-Hermitian flatband generator in one dimension

abstract: Dispersionless bands -- flatbands -- have been actively studied thanks to their interesting properties and sensitivity to perturbations, which makes them natural candidates for exotic states. In parallel non-Hermitian systems have attracted much attention in the recent years as a simplified description of open system with gain or loss motivated by potential applications. In particular, non-Hermitian system with dispersionless energy bands in their spectrum have been studied theoretically and experimentally. Flatbands require in general fine-tuning of Hamiltonian or protection by a symmetry. A number of methods was introduced to construct non-Hermitian flatbands relying either on a presence of a symmetry, or specific frustrated geometries, often inspired by Hermitian models. We discuss a systematic method of construction of non-Hermitian flatbands using 1D two band tight-binding networks as an example, extending the methods used to construct systematically Hermitian flatbands. We show that the non-Hermitian case admits fine-tuned, non-symmetry protected flatbands and provides more types of flatbands than the Hermitian case.


title: Bordered complex Hadamard matrices and strongly regular graphs

abstract: We consider bordered complex Hadamard matrices whose core is contained in the Bose-Mesner algebra of a strongly regular graph. Examples include a complex Hadamard matrix whose core is contained in the Bose-Mesner algebra of a conference graph due to J. Wallis, F. Sz\"{o}ll\H{o}si, and a family of Hadamard matrices given by Singh and Dubey. In this paper, we prove that there are no other bordered complex Hadamard matrices whose core is contained in the Bose-Mesner algebra of a strongly regular graph.


title: Robust Collaborative Learning of Patch-level and Image-level Annotations for Diabetic Retinopathy Grading from Fundus Image

abstract: Diabetic retinopathy (DR) grading from fundus images has attracted increasing interest in both academic and industrial communities. Most convolutional neural network (CNN) based algorithms treat DR grading as a classification task via image-level annotations. However, these algorithms have not fully explored the valuable information in the DR-related lesions. In this paper, we present a robust framework, which collaboratively utilizes patch-level and image-level annotations, for DR severity grading. By an end-to-end optimization, this framework can bi-directionally exchange the fine-grained lesion and image-level grade information. As a result, it exploits more discriminative features for DR grading. The proposed framework shows better performance than the recent state-of-the-art algorithms and three clinical ophthalmologists with over nine years of experience. By testing on datasets of different distributions (such as label and camera), we prove that our algorithm is robust when facing image quality and distribution variations that commonly exist in real-world practice. We inspect the proposed framework through extensive ablation studies to indicate the effectiveness and necessity of each motivation. The code and some valuable annotations are now publicly available.


title: The Past Hypothesis and the Nature of Physical Laws

abstract: If the Past Hypothesis underlies the arrows of time, what is the status of the Past Hypothesis? In this paper, I examine the role of the Past Hypothesis in the Boltzmannian account and defend the view that the Past Hypothesis is a candidate fundamental law of nature. Such a view is known to be compatible with Humeanism about laws, but as I argue it is also supported by a minimal non-Humean "governing" view. Some worries arise from the non-dynamical and time-dependent character of the Past Hypothesis as a boundary condition, the intrinsic vagueness in its specification, and the nature of the initial probability distribution. I show that these worries do not have much force, and in any case they become less relevant in a new quantum framework for analyzing time's arrows -- the Wentaculus. Hence, the view that the Past Hypothesis is a candidate fundamental law should be more widely accepted than it is now.

categories: physics.hist-ph cond-mat.stat-mech gr-qc quant-ph


title: How Different is Test Case Prioritization for Open and Closed Source Projects?

abstract: Improved test case prioritization means that software developers can detect and fix more software faults sooner than usual. But is there one "best" prioritization algorithm? Or do different kinds of projects deserve special kinds of prioritization? To answer these questions, this paper applies nine prioritization schemes to 31 projects that range from (a) highly rated open-source Github projects to (b) computational science software to (c) a closed-source project. We find that prioritization approaches that work best for open-source projects can work worst for the closed-source project (and vice versa). From these experiments, we conclude that (a) it is ill-advised to always apply one prioritization scheme to all projects since (b) prioritization requires tuning to different project types.


title: Exploiting Deep Sentential Context for Expressive End-to-End Speech Synthesis

abstract: Attention-based seq2seq text-to-speech systems, especially those use self-attention networks (SAN), have achieved state-of-art performance. But an expressive corpus with rich prosody is still challenging to model as 1) prosodic aspects, which span across different sentential granularities and mainly determine acoustic expressiveness, are difficult to quantize and label and 2) the current seq2seq framework extracts prosodic information solely from a text encoder, which is easily collapsed to an averaged expression for expressive contents. In this paper, we propose a context extractor, which is built upon SAN-based text encoder, to sufficiently exploit the sentential context over an expressive corpus for seq2seq-based TTS. Our context extractor first collects prosodic-related sentential context information from different SAN layers and then aggregates them to learn a comprehensive sentence representation to enhance the expressiveness of the final generated speech. Specifically, we investigate two methods of context aggregation: 1) direct aggregation which directly concatenates the outputs of different SAN layers, and 2) weighted aggregation which uses multi-head attention to automatically learn contributions for different SAN layers. Experiments on two expressive corpora show that our approach can produce more natural speech with much richer prosodic variations, and weighted aggregation is more superior in modeling expressivity.


title: Dynamics Generalization via Information Bottleneck in Deep Reinforcement Learning

abstract: Despite the significant progress of deep reinforcement learning (RL) in solving sequential decision making problems, RL agents often overfit to training environments and struggle to adapt to new, unseen environments. This prevents robust applications of RL in real world situations, where system dynamics may deviate wildly from the training settings. In this work, our primary contribution is to propose an information theoretic regularization objective and an annealing-based optimization method to achieve better generalization ability in RL agents. We demonstrate the extreme generalization benefits of our approach in different domains ranging from maze navigation to robotic tasks; for the first time, we show that agents can generalize to test parameters more than 10 standard deviations away from the training parameter distribution. This work provides a principled way to improve generalization in RL by gradually removing information that is redundant for task-solving; it opens doors for the systematic study of generalization from training to extremely different testing settings, focusing on the established connections between information theory and machine learning.


title: Bayesian Variable Selection for Cox Regression Model with Spatially Varying Coefficients with Applications to Louisiana Respiratory Cancer Data

abstract: The Cox regression model is a commonly used model in survival analysis. In public health studies, clinical data are often collected from medical service providers of different locations. There are large geographical variations in the covariate effects on survival rates from particular diseases. In this paper, we focus on the variable selection issue for the Cox regression model with spatially varying coefficients. We propose a Bayesian hierarchical model which incorporates a horseshoe prior for sparsity and a point mass mixture prior to determine whether a regression coefficient is spatially varying. An efficient two-stage computational method is used for posterior inference and variable selection. It essentially applies the existing method for maximizing the partial likelihood for the Cox model by site independently first, and then applying an MCMC algorithm for variable selection based on results of the first stage. Extensive simulation studies are carried out to examine the empirical performance of the proposed method. Finally, we apply the proposed methodology to analyzing a real data set on respiratory cancer in Louisiana from the SEER program.


title: Multitask learning for instrument activation aware music source separation

abstract: Music source separation is a core task in music information retrieval which has seen a dramatic improvement in the past years. Nevertheless, most of the existing systems focus exclusively on the problem of source separation itself and ignore the utilization of other~---possibly related---~MIR tasks which could lead to additional quality gains. In this work, we propose a novel multitask structure to investigate using instrument activation information to improve source separation performance. Furthermore, we investigate our system on six independent instruments, a more realistic scenario than the three instruments included in the widely-used MUSDB dataset, by leveraging a combination of the MedleyDB and Mixing Secrets datasets. The results show that our proposed multitask model outperforms the baseline Open-Unmix model on the mixture of Mixing Secrets and MedleyDB dataset while maintaining comparable performance on the MUSDB dataset.


title: Consistent treatment of rapidity divergence in soft-collinear effective theory

abstract: In soft-collinear effective theory, we analyze the structure of rapidity divergence due to the collinear and soft modes residing in disparate phase spaces. The idea of an effective theory is applied to a system of collinear modes with large rapidity and soft modes with small rapidity. The large-rapidity (collinear) modes are integrated out to obtain the effective theory for the small-rapidity (soft) modes. The full SCET with the collinear and soft modes should be matched onto the soft theory at the rapidity boundary, and the matching procedure becomes exactly the zero-bin subtraction. The large-rapidity region is out of reach for the soft mode, which results in the rapidity divergence. The rapidity divergence in the collinear sector comes from the zero-bin subtraction, which ensures the cancellation of the rapidity divergences from the soft and collinear sectors. In order to treat the rapidity divergence, we construct the rapidity regulators consistently for all the modes. They are generalized by assigning independent rapidity scales for different collinear directions. The soft regulator incorporates the correct directional dependence when the innate collinear directions are not back-to-back, which is discussed in the $N$-jet operator. As an application, we consider the Sudakov form factor for the back-to-back collinear current and the soft-collinear current, where the soft rapidity regulator for a soft quark is developed. We extend the analysis to the boosted heavy quark sector and exploit the delicacy with the presence of the heavy quark mass. We present the resummed results of large logarithms in the form factors for various currents with the light and the heavy quarks, employing the renormalization group evolution on the renormalization and the rapidity scales.


title: LIPSS-Sticks: Laser induced double self organization enhances the broadband light harvesting of TiO2 nanotube arrays

abstract: Sub-wavelength laser induced periodic surface structures (LIPSS-Sticks) created by ultrashort pulsed laser irradiation on the surface of titanium are used for the first time to template the electrochemical growth of titanium dioxide nanotube arrays. This is an example of a double self-organized process, as both LIPSS formation and electrochemical anodization involve spontaneous generation of order from initially non-ordered precursors. LIPSS-Sticks have a 2x greater visible to near infrared light (400 - 1400 nm) collection efficiency compared to flat titanium dioxide due to the enhanced light scattering from grating-like structures. The growth of nanostructures with time was modelled electrostatically to explain the features of a templated anodization process that differ from the usual anodization of flat surfaces. This new templated growth method is general and can also be applied to Cu, W, Fe, Ti alloys and Al for the fabrication of hierarchically nanostructured surfaces using two complementary fabrication techniques: ultrashort pulsed laser ablation and electrochemical anodization.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.optics


title: A Novel Physics-based Channel Model for Reconfigurable Intelligent Surface-assisted Multi-user Communication Systems

abstract: The reconfigurable intelligent surface (RIS) is one of the promising technologies contributing to the next generation smart radio environment. A novel physics-based RIS channel model is proposed. Particularly, we consider the RIS and the scattering environment as a whole by studying the signal's multipath propagation, as well as the radiation pattern of the RIS. The model suggests that the RIS-assisted wireless channel can be approximated by a Rician distribution. Analytical expressions are derived for the shape factor and the scale factor of the distribution. For the case of continuous phase shifts, the distribution depends on the number of elements of the RIS and the observing direction of the receiver. For the case of continuous phase shifts, the distribution further depends on the quantization level of the RIS phase error. The scaling law of the average received power is obtained from the scale factor of the distribution. For the application scenarios where RIS functions as an anomalous reflector, we investigate the performance of single RIS-assisted multiple access networks for time-division multiple access (TDMA), frequency-division multiple access (FDMA) and non-orthogonal multiple access (NOMA). Closed-form expressions for the outage probability of the proposed channel model are derived. It is proved that a constant diversity order exists, which is independent of the number of RIS elements. Simulation results are presented to confirm that the proposed model applies effectively to the phased-array implemented RISs.


title: Audiovisual Speech Synthesis using Tacotron2

abstract: Audiovisual speech synthesis is the problem of synthesizing a talking face while maximizing the coherency of the acoustic and visual speech. In this paper, we propose and compare two audiovisual speech synthesis systems for 3D face models. The first system is the AVTacotron2, which is an end-to-end text-to-audiovisual speech synthesizer based on the Tacotron2 architecture. AVTacotron2 converts a sequence of phonemes representing the sentence to synthesize into a sequence of acoustic features and the corresponding controllers of a face model. The output acoustic features are used to condition a WaveRNN to reconstruct the speech waveform, and the output facial controllers are used to generate the corresponding video of the talking face. The second audiovisual speech synthesis system is modular, where acoustic speech is synthesized from text using the traditional Tacotron2. The reconstructed acoustic speech signal is then used to drive the facial controls of the face model using an independently trained audio-to-facial-animation neural network. We further condition both the end-to-end and modular approaches on emotion embeddings that encode the required prosody to generate emotional audiovisual speech. We analyze the performance of the two systems and compare them to the ground truth videos using subjective evaluation tests. The end-to-end and modular systems are able to synthesize close to human-like audiovisual speech with mean opinion scores (MOS) of 4.1 and 3.9, respectively, compared to a MOS of 4.1 for the ground truth generated from professionally recorded videos. While the end-to-end system gives a better overall quality, the modular approach is more flexible and the quality of acoustic speech and visual speech synthesis is almost independent of each other.


title: A tellurite glass optical microbubble resonator

abstract: We present a method for making microbubble whispering gallery resonators (WGRs) from tellurite, which is a soft glass, using a CO$_2$ laser. The customized fabrication process permits us to process glasses with low melting points into microbubbles with loaded quality factors as high as $2.3 \times 10^6$. The advantage of soft glasses is that they provide a wide range of refractive index, thermo-optical and optomechanical properties. The temperature and air pressure dependent optical characteristics of both passive and active tellurite microbubbles are investigated. For passive tellurite microbubbles, the measured temperature and air pressure sensitivities are 4.9 GHz/K and 7.1 GHz/bar, respectively. The large thermal tuning rate is due to the large thermal expansion coefficient of $1.9 \times 10^{-5}$ K$^{-1}$ of the tellurite microbubble. In the active Yb$^{3+}$-Er$^{3+}$ co-doped tellurite microbubbles, C-band single-mode lasing with a threshold of 1.66 mW is observed with a 980 nm pump and a maximum wavelength tuning range of 1.53 nm is obtained. The sensitivity of the laser output frequency to pressure changes is 6.5 GHz/bar. The microbubbles fabricated by this novel method have a low eccentricity and uniform wall thickness, as determined from electron microscope images and the optical spectra. The compound glass microbubbles described herein have potential for a wide range of applications, including sensing, as tunable microcavity lasers, and for integrated photonics.


title: Anchor-Assisted Intelligent Reflecting Surface Channel Estimation for Multiuser Communications

abstract: Due to the passive nature of Intelligent Reflecting Surface (IRS), channel estimation is a fundamental challenge in IRS-aided wireless networks. Particularly, as the number of IRS reflecting elements and/or that of IRS-served users increase, the channel training overhead becomes excessively high. To tackle this challenge, we propose in this paper a new anchor-assisted two-phase channel estimation scheme, where two anchor nodes, namely A1 and A2, are deployed near the IRS for helping the base station (BS) to acquire the cascaded BS-IRS-user channels. Specifically, in the first phase, the partial channel state information (CSI), i.e., the element-wise channel gain square, of the BS-IRS link is obtained by estimating the BS-IRS-A1/A2 channels and the A1-IRS-A2 channel, separately. Then, in the second phase, by leveraging such partial knowledge of the BS-IRS channel that is common to all users, the individual cascaded BS-IRS-user channels are efficiently estimated. Simulation results demonstrate that the proposed anchor-assisted channel estimation scheme is able to achieve comparable mean-squared error (MSE) performance as compared to the conventional scheme, but with significantly reduced channel training time.


title: DeLighT: Deep and Light-weight Transformer

abstract: We introduce a deep and light-weight transformer, DeLighT, that delivers similar or better performance than standard transformer-based models with significantly fewer parameters. DeLighT more efficiently allocates parameters both (1) within each Transformer block using the DeLighT transformation, a deep and light-weight transformation, and (2) across blocks using block-wise scaling, which allows for shallower and narrower DeLighT blocks near the input and wider and deeper DeLighT blocks near the output. Overall, DeLighT networks are 2.5 to 4 times deeper than standard transformer models and yet have fewer parameters and operations. Experiments on benchmark machine translation and language modeling tasks show that DeLighT matches or improves the performance of baseline Transformers with 2 to 3 times fewer parameters on average. Our source code is available at: \url{https://github.com/sacmehta/delight}


title: BlueFMCW: Random Frequency Hopping Radar for Mitigation of Interference and Spoofing

abstract: Traffic safety is the foremost value that automotive radar systems aim to pursue. Unlike in mobile communication systems, the literature for radar systems did not adequately address inter-radar interference and security threats such as jamming and spoofing, which in turn threatens the traffic safety. In this context, we introduce a novel frequency-modulated continuous-wave (FMCW) radar scheme (namely, BlueFMCW) that mitigates both interference and spoofing signals. BlueFMCW randomly hops frequency to avoid interference and spoofing signals. Our phase alignment algorithm is capable of removing the phase discontinuity while combining the beat signals from the randomly-hopped chirps, and thereby radar's resolution is not compromised. The simulation results show that BlueFMCW can efficiently mitigate the interference and spoofing signals in various scenarios without paying its resolution.


title: Non-Stationary Queues with Batch Arrivals

abstract: Motivated by applications that involve setting proper staffing levels for multi-server queueing systems with batch arrivals, we present a thorough study of the queue-length process $\{Q(t); t \geq 0\}$, departure process $\{D(t); t \geq 0\}$, and the workload process $\{W(t); t \geq 0\}$ associated with the M$_{t}^{B_{t}}$/G$_{t}$/$\infty$ queueing system. With two fundamental assumptions of (non-stationary) Poisson arrivals and infinitely many servers, we otherwise maintain a highly general model, in which the service duration and batch size distributions may depend on time and, moreover, where the service durations within a batch may be arbitrarily dependent. Nevertheless, we find that the Poisson and infinite server assumptions are enough to show that for each $t > 0$, the law of $Q(t)$ is that of a weighted sum of mutually independent Poisson random variables. We further invoke this type of decomposition to derive various joint Laplace-Stieltjes transforms associated with the queue-length and departure processes. Next, we study the time-dependent behavior of the workload process, and we conclude by establishing almost sure convergence of the queue-length and workload processes (when properly scaled) to two different shot-noise processes, elevating the weak convergence results shown previously.


title: Multiscale assay of unlabeled neurite dynamics using phase imaging with computational specificity (PICS)

abstract: Primary neuronal cultures have been widely used to study neuronal morphology, neurophysiology, neurodegenerative processes, and molecular mechanism of synaptic plasticity underlying learning and memory. Yet, the unique behavioral properties of neurons make them challenging to study - with phenotypic differences expressed as subtle changes in neuronal arborization rather than easy to assay features such as cell count. The need to analyze morphology, growth, and intracellular transport has motivated the development of increasingly sophisticated microscopes and image analysis techniques. Due to its high-contrast, high-specificity output, many assays rely on confocal fluorescence microscopy, genetic methods, or antibody staining techniques. These approaches often limit the ability to measure quantitatively dynamic activity such as intracellular transport and growth. In this work, we describe a method for label-free live-cell cell imaging with antibody staining specificity by estimating the associated fluorescent signals via quantitative phase imaging and deep convolutional neural networks. This computationally inferred fluorescence image is then used to generate a semantic segmentation map, annotating subcellular compartments of live unlabeled neural cultures. These synthetic fluorescence maps were further applied to study the time-lapse development of hippocampal neurons, highlighting the relationships between the cellular dry mass production and the dynamic transport activity within the nucleus and neurites. Our implementation provides a high-throughput strategy to analyze neural network arborization dynamically, with high specificity and without the typical phototoxicity and photobleaching limitations associated with fluorescent markers.


title: Learning to Purify Noisy Labels via Meta Soft Label Corrector

abstract: Recent deep neural networks (DNNs) can easily overfit to biased training data with noisy labels. Label correction strategy is commonly used to alleviate this issue by designing a method to identity suspected noisy labels and then correct them. Current approaches to correcting corrupted labels usually need certain pre-defined label correction rules or manually preset hyper-parameters. These fixed settings make it hard to apply in practice since the accurate label correction usually related with the concrete problem, training data and the temporal information hidden in dynamic iterations of training process. To address this issue, we propose a meta-learning model which could estimate soft labels through meta-gradient descent step under the guidance of noise-free meta data. By viewing the label correction procedure as a meta-process and using a meta-learner to automatically correct labels, we could adaptively obtain rectified soft labels iteratively according to current training problems without manually preset hyper-parameters. Besides, our method is model-agnostic and we can combine it with any other existing model with ease. Comprehensive experiments substantiate the superiority of our method in both synthetic and real-world problems with noisy labels compared with current SOTA label correction strategies.


title: Conformal inflation in the metric-affine geometry

abstract: Systematic understanding for classes of inflationary models is investigated from the viewpoint of the local conformal symmetry and the slightly broken global symmetry in the framework of the metric-affine geometry. In the metric-affine geometry, which is a generalisation of the Riemannian one adopted in the ordinary General Relativity, the affine connection is an independent variable of the metric rather than given e.g. by the Levi-Civita connection as its function. Thanks to this independency, the metric-affine geometry can preserve the local conformal symmetry in each term of the Lagrangian contrary to the Riemannian geometry, and then the local conformal invariance can be compatible with much more kinds of global symmetries. As simple examples, we consider the two-scalar models with the broken $\mathrm{SO}(1,1)$ or $\mathrm{O}(2)$, leading to the well-known $\alpha$-attractor or natural inflation, respectively. The inflaton can be understood as their pseudo Nambu-Goldstone boson.


title: Superlinear Precision and Memory in Simple Population Codes

abstract: The brain constructs population codes to represent stimuli through widely distributed patterns of activity across neurons. An important figure of merit of population codes is how much information about the original stimulus can be decoded from them. Fisher information is widely used to quantify coding precision and specify optimal codes, because of its relationship to mean squared error (MSE) under certain assumptions. When neural firing is sparse, however, optimizing Fisher information can result in codes that are highly sub-optimal in terms of MSE. We find that this discrepancy arises from the non-local component of error not accounted for by the Fisher information. Using this insight, we construct optimal population codes by directly minimizing the MSE. We study the scaling properties of MSE with coding parameters, focusing on the tuning curve width. We find that the optimal tuning curve width for coding no longer scales as the inverse population size, and the quadratic scaling of precision with system size predicted by Fisher information alone no longer holds. However, superlinearity is still preserved with only a logarithmic slowdown. We derive analogous results for networks storing the memory of a stimulus through continuous attractor dynamics, and show that similar scaling properties optimize memory and representation.


title: Theoretical interpretation of $\Xi_c(2970)$

abstract: The open charm strong decay widths and certain ratio of branching fractions of a charmed strange baryon $\Xi_c(2970)$ are calculated in a $^3P_0$ model. The results are compatible with the latest experimental data. The theoretical ratio of decay branching fractions $R = \mathcal{B} [ \Xi_{c}(2970)^+ \rightarrow \Xi_c(2645)^{0}\pi^{+} ] / \mathcal{B} [ \Xi_{c}(2970)^+ \rightarrow \Xi_c^{\prime0}\pi^{+}] \approx 1.0$. The spin-parity $J^P = 1/2^+$ and $3/2^+$ for different assignments are analyzed. From the results of our calculation, $\Xi_{c}(2970)$ can be interpreted as a $2S$-wave state with $J^P(s_l) = 1/2^+(0)$. The distinguishing between the 2S-wave $n_\rho$- and $n_\lambda$-excitation states and between states with $s_l = 0$ and $s_l = 1$ and between states with total spin $1/2$ and $3/2$($s_l = 1$) are also discussed.


title: On Superdeterministic Rejections of Settings Independence

abstract: Relying on some auxiliary assumptions, usually considered mild, Bell's theorem proves that no local theory can reproduce all the predictions of quantum mechanics. In this work, we introduce a fully local, superdeterministic model that, by explicitly violating settings independence--one of these auxiliary assumptions, requiring statistical independence between measurement settings and systems to be measured--is able to reproduce all the predictions of quantum mechanics. Moreover, we show that, contrary to widespread expectations, our model can break settings independence without an initial state that is too complex to handle, without visibly losing all explanatory power and without outright nullifying all of experimental science. Still, we argue that our model is unnecessarily complicated and does not offer true advantages over its non-local competitors. We conclude that, while our model does not appear to be a viable contender to their non-local counterparts, it provides the ideal framework to advance the debate over violations of statistical independence via the superdeterministic route.


title: T-duality and the exotic chiral de Rham complex

abstract: Let $Z$ be a principal circle bundle over a base manifold $M$ equipped with an integral closed $3$-form $H$ called the flux. Let $\widehat{Z}$ be the T-dual circle bundle over $M$ with flux $\widehat{H}$. Han and Mathai recently constructed the $\mathbb{Z}_2$-graded space of exotic differential forms $\mathcal{A}^{\bar{k}}(\widehat{Z})$. It has an additional $\mathbb{Z}$-grading such that the degree zero component coincides with the space of invariant twisted differential forms $\Omega^{\bar{k}}(\widehat{Z}, \widehat{H})^{\widehat{\mathbb{T}}}$, and it admits a differential that extends the twisted differential $d_{\widehat{H}} = d + \widehat{H}$. The T-duality isomorphism $\Omega^{\bar{k}}(Z,H)^{\mathbb{T}} \rightarrow \Omega^{\overline{k+1}}(\widehat{Z}, \widehat{H})^{\widehat{\mathbb{T}}}$ of Bouwknegt, Evslin and Mathai extends to an isomorphism $\Omega^{\bar{k}}(Z,H) \rightarrow \mathcal{A}^{\overline{k+1}}(\widehat{Z})$. In this paper, we introduce the exotic chiral de Rham complex $\mathcal{A}^{\text{ch},\widehat{H},\bar{k}}(\widehat{Z})$ which contains $\mathcal{A}^{\bar{k}}(\widehat{Z})$ as the weight zero subcomplex. We give an isomorphism $\Omega^{\text{ch},H,\bar{k}}(Z) \rightarrow \mathcal{A}^{\text{ch},\widehat{H},\overline{k+1}}(\widehat{Z})$ where $\Omega^{\text{ch},H,\bar{k}}(Z)$ denotes the twisted chiral de Rham complex of $Z$, which chiralizes the above T-duality map.


title: On the energetics of breaking inception and onset in surface gravity waves

abstract: Accurate prediction of the onset and strength of breaking surface gravity waves is a long-standing problem of significant theoretical and applied interest. Recently, Barth\'el\'emy et al (https://doi.org/10.1017/jfm.2018.93) examined the energetics of focusing wave groups in deep and intermediate depth water and found that breaking and non-breaking regimes were clearly separated by the normalised energy flux, $B$, near the crest tip. Furthermore, the transition of $B$ through a generic breaking threshold value $B_\mathrm{th} \approx 0.85$ was found to precede visible breaking onset by up to one fifth of a wave period. This remarkable generic threshold for breaking inception has since been validated numerically for 2D and 3D domains and for shallow and shoaling water waves; however, there is presently no theoretical explanation for its efficacy as a predictor for breaking. This study investigates the correspondence between the parameter $B$ and the crest energy growth rate following the evolving crest for breaking and non-breaking waves in a numerical wave tank using a range of wave packet configurations. Our results indicate that the time rate of change of the $B$ is strongly correlated with the energy density convergence rate at the evolving wave crest. These findings further advance present understanding of the elusive process of wave breaking.


title: Deep Photo Cropper and Enhancer

abstract: This paper introduces a new type of image enhancement problem. Compared to traditional image enhancement methods, which mostly deal with pixel-wise modifications of a given photo, our proposed task is to crop an image which is embedded within a photo and enhance the quality of the cropped image. We split our proposed approach into two deep networks: deep photo cropper and deep image enhancer. In the photo cropper network, we employ a spatial transformer to extract the embedded image. In the photo enhancer, we employ super-resolution to increase the number of pixels in the embedded image and reduce the effect of stretching and distortion of pixels. We use cosine distance loss between image features and ground truth for the cropper and the mean square loss for the enhancer. Furthermore, we propose a new dataset to train and test the proposed method. Finally, we analyze the proposed method with respect to qualitative and quantitative evaluations.


title: BenchBot: Evaluating Robotics Research in Photorealistic 3D Simulation and on Real Robots

abstract: We introduce BenchBot, a novel software suite for benchmarking the performance of robotics research across both photorealistic 3D simulations and real robot platforms. BenchBot provides a simple interface to the sensorimotor capabilities of a robot when solving robotics research problems; an interface that is consistent regardless of whether the target platform is simulated or a real robot. In this paper we outline the BenchBot system architecture, and explore the parallels between its user-centric design and an ideal research development process devoid of tangential robot engineering challenges. The paper describes the research benefits of using the BenchBot system, including: enhanced capacity to focus solely on research problems, direct quantitative feedback to inform research development, tools for deriving comprehensive performance characteristics, and submission formats which promote sharability and repeatability of research outcomes. BenchBot is publicly available (http://benchbot.org), and we encourage its use in the research community for comprehensively evaluating the simulated and real world performance of novel robotic algorithms.


title: Automorphism group and twisted modules of the twisted Heisenberg-Virasoro vertex operator algebra

abstract: We first determine the automorphism group of the twisted Heisenberg-Virasoro vertex operator algebra $V_{\mathcal{L}}(\ell_{123},0)$.Then, for any integer $t>1$, we introduce a new Lie algebra $\mathcal{L}_{t}$, and show that $\sigma_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules are in one-to-one correspondence with restricted $\mathcal{L}_{t}$-modules of level $\ell_{13}$, where $\sigma_{t}$ is an order $t$ automorphism of $V_{\mathcal{L}}(\ell_{123},0)$. At the end, we give a complete list of irreducible $\sigma_{t}$-twisted $V_{\mathcal{L}}(\ell_{123},0)$($\ell_{2}=0$)-modules.


title: Self-supervised Object Tracking with Cycle-consistent Siamese Networks

abstract: Self-supervised learning for visual object tracking possesses valuable advantages compared to supervised learning, such as the non-necessity of laborious human annotations and online training. In this work, we exploit an end-to-end Siamese network in a cycle-consistent self-supervised framework for object tracking. Self-supervision can be performed by taking advantage of the cycle consistency in the forward and backward tracking. To better leverage the end-to-end learning of deep networks, we propose to integrate a Siamese region proposal and mask regression network in our tracking framework so that a fast and more accurate tracker can be learned without the annotation of each frame. The experiments on the VOT dataset for visual object tracking and on the DAVIS dataset for video object segmentation propagation show that our method outperforms prior approaches on both tasks.


title: High Throughput Matrix-Matrix Multiplication between Asymmetric Bit-Width Operands

abstract: Matrix multiplications between asymmetric bit-width operands, especially between 8- and 4-bit operands are likely to become a fundamental kernel of many important workloads including neural networks and machine learning. While existing SIMD matrix multiplication instructions for symmetric bit-width operands can support operands of mixed precision by zero- or sign-extending the narrow operand to match the size of the other operands, they cannot exploit the benefit of narrow bit-width of one of the operands. We propose a new SIMD matrix multiplication instruction that uses mixed precision on its inputs (8- and 4-bit operands) and accumulates product values into narrower 16-bit output accumulators, in turn allowing the SIMD operation at 128-bit vector width to process a greater number of data elements per instruction to improve processing throughput and memory bandwidth utilization without increasing the register read- and write-port bandwidth in CPUs. The proposed asymmetric-operand-size SIMD instruction offers 2x improvement in throughput of matrix multiplication in comparison to throughput obtained using existing symmetric-operand-size instructions while causing negligible (0.05%) overflow from 16-bit accumulators for representative machine learning workloads. The asymmetric-operand-size instruction not only can improve matrix multiplication throughput in CPUs, but also can be effective to support multiply-and-accumulate (MAC) operation between 8- and 4-bit operands in state-of-the-art DNN hardware accelerators (e.g., systolic array microarchitecture in Google TPU, etc.) and offer similar improvement in matrix multiply performance seamlessly without violating the various implementation constraints. We demonstrate how a systolic array architecture designed for symmetric-operand-size instructions could be modified to support an asymmetric-operand-sized instruction.


title: An Electrocommunication System Using FSK Modulation and Deep Learning Based Demodulation for Underwater Robots

abstract: Underwater communication is extremely challenging for small underwater robots which typically have stringent power and size constraints. In our previous work, we developed an artificial electrocommunication system which could be an alternative for the communication of small underwater robots. This paper further presents a new electrocommunication system that utilizes Binary Frequency Shift Keying (2FSK) modulation and deep-learning-based demodulation for underwater robots. We first derive an underwater electrocommunication model that covers both the near-field area and a large transition area outside of the near-field area. 2FSK modulation is adopted to improve the anti-interference ability of the electric signal. A deep learning algorithm is used to demodulate the electric signal by the receiver. Simulations and experiments show that with the same testing condition, the new communication system outperforms the previous system in both the communication distance and the data transmitting rate. In specific, the newly developed communication system achieves stable communication within the distance of 10 m at a data transfer rate of 5 Kbps with a power consumption of less than 0.1 W. The substantial increase in communication distance further improves the possibility of electrocommunication in underwater robotics.


title: Non-Markovian qubit dynamics in nonequilibrium environments

abstract: We theoretically study the non-Markovian dynamics of qubit systems coupled to nonequilibrium environments with nonstationary and non-Markovian statistical properties. The reduced density matrix of the single qubit system satisfies a closed third-order differential equation with all the higher-order environmental correlations taken into account and the reduced density matrix of the two qubit system can be expressed as the Kraus representation in terms of the tensor products of the single qubit Kraus operators. We derive the relation between the entanglement and nonlocality of the two qubit system which are both closely associated with the decoherence function. We identify the threshold values of the decoherence function to ensure the existences of the concurrence and nonlocal quantum correlations for a given evolution time when the two qubit system is initially prepared in the composite Bell states and the extended Werner states, respectively. It is shown that the environmental nonstationary feature can suppress the decoherence and disentanglement dynamics and can reduce the coherence and entanglement revivals in non-Markovian dynamics regime. In addition, it is shown that the environmental non-Markovian feature can enhance the coherence revivals in the single decoherence dynamics and the entanglement revivals in the two qubit disentanglement dynamics, respectively. Furthermore, the environmental nonstationary and non-Markovian features can enhance the nonlocality of the two qubit system.


title: Physical foundations and basic properties of magnetic skyrmions

abstract: Magnetic skyrmions (or vortices) are spatially inhomogeneous spin textures localized in nanoscale cylindrical regions. Topological protection and small size make skyrmions especially attractive for the study of spin topology and technologies wherein information is carried by the electron spin further to, or instead of the electron charge. Despite achievements in the synthesis of materials where axisymmetric magnetic skyrmions can be stabilized and characterized, there is disproportionate progress in elucidating the basic properties. The Perspective aims to bridge this gap and deliver an intelligible guide on the physical principles governing these magnetic whirls.


title: $1 \leftrightarrow 2$ Processes of a Sterile Neutrino Around Electroweak Scale in the Thermal Plasma

abstract: In this paper, we will apply the Goldstone equivalence gauge to calculate the $1 \leftrightarrow 2$ processes of a sterile neutrino in the thermal plasma below the standard model (SM) critical temperature $T_c \approx 160 \text{ GeV}$. The sterile neutrino's mass is around the electroweak scale $50 \text{ GeV} \leq m_N \leq 200 \text{ GeV}$, and the acquired thermal averaged effective width $\bar{\Gamma}_{\text{tot}}$ is continuous around the cross-over. We will also apply our results to perform a preliminary calculation of the leptogenesis.


title: Energy Transfer by Nonlinear Alfv\'en Waves in the Solar Chromosphere, and Its Effect on Spicule Dynamics, Coronal Heating, and Solar Wind Acceleration

abstract: Alfv\'en waves are responsible for the transfer of magnetic energy in the magnetized plasma. They are involved in heating solar atmosphere and driving solar wind through various nonlinear processes. Since the magnetic field configurations directly affect the nonlinearity of Alfv\'en waves, it is important to investigate how they relate to the solar atmosphere and wind structure through the nonlinear propagation of Alfv\'en waves. In this study, we carried out the one-dimensional magnetohydrodynamic simulations to realize the above relation. The results show that when the nonlinearity of Alfv\'en waves in the chromosphere exceeds a critical value, the dynamics of the solar chromosphere (e.g., spicule) and the mass loss rate of solar wind tend to be independent of the energy input from the photosphere. In a situation where the Alfv\'en waves are highly nonlinear, the strong shear torsional flow generated in the chromosphere ``fractures'' the magnetic flux tube. This corresponds to the formation of chromospheric intermediate shocks, which limit the transmission of the Poynting flux into the corona by Alfv\'en waves and also inhibits the propagation of chromospheric slow shock.


title: GP-SLAM+: real-time 3D lidar SLAM based on improved regionalized Gaussian process map reconstruction

abstract: This paper presents a 3D lidar SLAM system based on improved regionalized Gaussian process (GP) map reconstruction to provide both low-drift state estimation and mapping in real-time for robotics applications. We utilize spatial GP regression to model the environment. This tool enables us to recover surfaces including those in sparsely scanned areas and obtain uniform samples with uncertainty. Those properties facilitate robust data association and map updating in our scan-to-map registration scheme, especially when working with sparse range data. Compared with previous GP-SLAM, this work overcomes the prohibitive computational complexity of GP and redesigns the registration strategy to meet the accuracy requirements in 3D scenarios. For large-scale tasks, a two-thread framework is employed to suppress the drift further. Aerial and ground-based experiments demonstrate that our method allows robust odometry and precise mapping in real-time. It also outperforms the state-of-the-art lidar SLAM systems in our tests with light-weight sensors.


title: Active Classification with Uncertainty Comparison Queries

abstract: Noisy pairwise comparison feedback has been incorporated to improve the overall query complexity of interactively learning binary classifiers. The \textit{positivity comparison oracle} is used to provide feedback on which is more likely to be positive given a pair of data points. Because it is impossible to infer accurate labels using this oracle alone \textit{without knowing the classification threshold}, existing methods still rely on the traditional \textit{explicit labeling oracle}, which directly answers the label given a data point. Existing methods conduct sorting on all data points and use explicit labeling oracle to find the classification threshold. The current methods, however, have two drawbacks: (1) they needs unnecessary sorting for label inference; (2) quick sort is naively adapted to noisy feedback and negatively affects practical performance. In order to avoid this inefficiency and acquire information of the classification threshold, we propose a new pairwise comparison oracle concerning uncertainties. This oracle receives two data points as input and answers which one has higher uncertainty. We then propose an efficient adaptive labeling algorithm using the proposed oracle and the positivity comparison oracle. In addition, we also address the situation where the labeling budget is insufficient compared to the dataset size, which can be dealt with by plugging the proposed algorithm into an active learning algorithm. Furthermore, we confirm the feasibility of the proposed oracle and the performance of the proposed algorithm theoretically and empirically.


title: Interpretable Sequence Learning for COVID-19 Forecasting

abstract: We propose a novel approach that integrates machine learning into compartmental disease modeling to predict the progression of COVID-19. Our model is explainable by design as it explicitly shows how different compartments evolve and it uses interpretable encoders to incorporate covariates and improve performance. Explainability is valuable to ensure that the model's forecasts are credible to epidemiologists and to instill confidence in end-users such as policy makers and healthcare institutions. Our model can be applied at different geographic resolutions, and here we demonstrate it for states and counties in the United States. We show that our model provides more accurate forecasts, in metrics averaged across the entire US, than state-of-the-art alternatives, and that it provides qualitatively meaningful explanatory insights. Lastly, we analyze the performance of our model for different subgroups based on the subgroup distributions within the counties.


title: Non-uniform continuity of the generalized Camassa-Holm equation in Besov spaces

abstract: In this paper, we consider the Cauchy problem for the generalized Camassa-Holm equation proposed by Hakkaev and Kirchev (2005) \cite{Hakkaev 2005}. We prove that the solution map of the generalized Camassa-Holm equation is not uniformly continuous on the initial data in Besov spaces. Our result include the present work (2020) \cite{Li 2020,Li 2020-1} on Camassa-Holm equation with $Q=1$ and extends the previous non-uniform continuity in Sobolev spaces (2015) \cite{Mi 2015} to Besov spaces. In addition, the non-uniform continuity in critical space $B_{2, 1}^{\frac{3}{2}}(\mathbb{R})$ is the first to be considered in our paper.


title: Self-evolving ghost imaging

abstract: Ghost imaging can capture 2D images with a point detector instead of an array sensor. It therefore offers a solution to the challenge of building area format sensors in wavebands where such sensors are difficult and expensive to produce and opens up new imaging modalities due to high-performance single-pixel detectors. Traditionally, ghost imaging retrieves the image of an object offline, by correlating measured light intensities and applied illuminating patterns. Here we present a feedback-based approach for online updating of the imaging result that can bypass post-processing, termed self-evolving ghost imaging (SEGI). We introduce a genetic algorithm to optimize the illumination patterns in real-time to match the objects shape according to the measured total light intensity. We theoretically and experimentally demonstrate this concept for static and dynamic imaging. This method opens new perspectives for real-time ghost imaging in applications such as remote sensing (e.g. machine vision, LiDAR systems in autonomous vehicles) and biological imaging.


title: Glassy gravity

abstract: Euclidean quantum gravity is reconsidered, in the conformal mode approximation. Applying techniques from glass theory, we argue that the Euclidean partition function hides metastable states, which can be counted. This may reconcile conflicting results on the uniqueness of the de Sitter vacuum, and may be relevant to the cosmological constant problem.


title: On the Expressive Power of Higher-Order Pushdown Systems

abstract: We show that deterministic collapsible pushdown automata of second order can recognize a language that is not recognizable by any deterministic higher-order pushdown automaton (without collapse) of any order. This implies that there exists a tree generated by a second order collapsible pushdown system (equivalently, by a recursion scheme of second order) that is not generated by any deterministic higher-order pushdown system (without collapse) of any order (equivalently, by any safe recursion scheme of any order). As a side effect, we present a pumping lemma for deterministic higher-order pushdown automata, which potentially can be useful for other applications.


title: Effective Self-Healing Networks against Attacks or Disasters in Resource Allocation Control

abstract: With increasing threats by large attacks or disasters, the time has come to reconstruct network infrastructures such as communication or transportation systems rather than to recover them as before in case of accidents, because many real networks are extremely vulnerable. Thus, we consider self-healing mechanisms by rewirings (reuse or addition of links) to be sustainable and resilient networks even against malicious attacks. In distributed local process for healing, the key strategies are the extension of candidates of linked nodes and enhancing loops by applying a message-passing algorithm inspired from statistical physics. Simulation results show that our proposed combination of ring formation and enhancing loops is particularly effective in comparison with the conventional methods, when more than half damaged links alive or are compensated from reserved ones.


title: Charging-driven coarsening and melting of a colloidal nanoparticle monolayer at an ionic liquid-vacuum interface

abstract: We induce and investigate the coarsening and melting dynamics of an initially static nanoparticle colloidal monolayer at an ionic liquid-vacuum interface, driven by a focused, scanning electron beam. Coarsening occurs through grain interface migration and larger-scale motions such as grain rotations, often facilitated by sliding dislocations. The progressive decrease in area fraction that drives melting of the monolayer is explained using an electrowetting model whereby particles at the interface are solvated once their accumulating charge recruits sufficient counterions to subsume the particle. Subject to stochastic particle removal from the monolayer, melting is recapitulated in simulations with a Lennard-Jones potential. This new driving mechanism for colloidal systems, whose dynamical timescales we show can be controlled with the accelerating voltage, opens the possibility to manipulate particle interactions dynamically without need to vary particle intrinsic properties or surface treatments. Furthermore, the decrease in particle size availed by electron imaging presents opportunities to observe force and time scales in a lesser-explored regime intermediate between typical colloidal and molecular systems.


title: On the Approximation of Local Expansions of Laplace Potentials by the Fast Multipole Method

abstract: In this paper, we present a generalization of the classical error bounds of Greengard-Rokhlin for the Fast Multipole Method (FMM) for Laplace potentials in three dimensions, extended to the case of local expansion (instead of point) targets. We also present a complementary, less sharp error bound proven via approximation theory whose applicability is not restricted to Laplace potentials. Our study is motivated by the GIGAQBX FMM, an algorithm for the fast, high-order accurate evaluation of layer potentials near and on the source layer. GIGAQBX is based on the FMM, but unlike a conventional FMM, which is designed to evaluate potentials at point-shaped targets, GIGAQBX evaluates local expansions of potentials at ball-shaped targets. Although the accuracy (or the acceleration error, i.e., error due to the approximation of the potential by the fast algorithm) of the conventional FMM is well understood, the acceleration error of FMM-based algorithms applied to the evaluation of local expansions has not been as well studied. The main contribution of this paper is a proof of a set of hypotheses first demonstrated numerically in the paper "A Fast Algorithm for Quadrature by Expansion in Three Dimensions," which pertain to the accuracy of FMM approximation of local expansions of Laplace potentials in three dimensions. These hypotheses are also essential to the three-dimensional error bound for GIGAQBX, which was previously stated conditionally on their truth and can now be stated unconditionally.


title: On the cycle index and the weight enumerator II

abstract: In a previous paper, the second and third named author introduced the concept of the complete cycle index and discussed a relation with the complete weight enumerator in coding theory. In the present paper, we introduce the concept of the complete joint cycle index and the average complete joint cycle index, and discuss a relation with the complete joint weight enumerator and the average complete joint weight enumerator respectively in coding theory. Moreover, the notion of the average intersection numbers is given, and we discuss a relation with the average intersection numbers in coding theory.


title: Jet Charge: A Flavor Prism for Spin Asymmetries at the EIC

abstract: We propose the jet charge observable as a novel probe of flavor structure in the nucleon spin program at the Electron Ion Collider (EIC). We show that jet charge measurements can substantially enhance the sensitivity of spin asymmetries to different partonic flavors in the nucleon. This sensitivity can be further improved by constructing the jet charge using only a subset of hadron species (pions or kaons) in the jet. As an example, we use the Sivers asymmetry in back-to-back electron-jet production at the EIC to show that the jet charge can be a unique tool in constraining the Sivers function for different partonic flavors.