title: Towards a categorification of scattering amplitudes

abstract: Categorification of scattering amplitudes for planar Feynman diagrams in scalar field theories with a polynomial potential is reported. Amplitudes for cubic theories are directly written down in terms of projectives of hearts of intermediate $t$-structures restricted to the cluster category of quiver representations, without recourse to geometry. It is shown that for theories with $\phi^{m+2}$ potentials those corresponding to $m$-cluster categories are to be used. The case of generic polynomial potentials is treated and our results suggest the existence of a generalization of higher cluster categories which we call pseudo-periodic categories. An algorithm to obtain the projectives of hearts of intermediate $t$-structures for these types is presented.


title: It is better to be semi-regular when you have a low degree

abstract: We study the algebraic connectivity for several classes of random semi-regular graphs. For large random semi-regular bipartite graphs, we explicitly compute both their algebraic connectivity and as well as the full spectrum distribution. For an integer $d\in\left[ 3,7\right] $, we find families of random semi-regular graphs that have higher algebraic connectivity than a random $d$-regular graphs with the same number of vertices and edges. On the other hand, we show that regular graphs beat semi-regular graphs when $d\geq8.$ More generally, we study random semi-regular graphs whose average degree is $d$, not necessary an integer. This provides a natural generalization of a $d$-regular graph in the case of a non-integer $d.$ We characterise their algebraic connectivity in terms of a root of a certain 6th-degree polynomial. Finally, we construct a small-world-type network of average degree 2.5 with a relatively high algebraic connectivity. We also propose some related open problems and conjectures.


title: On $n$-pre-Lie algebras and dendrification of $n$-Lie algebras

abstract: The main purpose of this paper is to introduce the notion of $n$-L-dendriform algebra which can be seen as a dendrification of $n$-pre-Lie algebras by means of $\mathcal{O}$-operators. We investigate the representation theory of $n$-pre-Lie algebras and provide some related constructions. Furthermore, we introduce the notion of phase space of a $n$-Lie algebra and show that a $n$-Lie algebra has a phase space if and only if it is sub-adjacent to a $n$-pre-Lie algebra. Moreover, we present a procedure to construct $(n + 1)$-pre-Lie algebras from $n$-pre-Lie algebras equipped with a generalized trace function.


title: On computing with some convex relaxations for the maximum-entropy sampling problem

abstract: Based on a factorization of an input covariance matrix, we define a mild generalization of an upper bound of Nikolov (2015) and Li and Xie (2020) for the NP-Hard constrained maximum-entropy sampling problem (CMESP). We demonstrate that this factorization bound is invariant under scaling and also independent of the particular factorization chosen. We give a variable-fixing methodology that could be used in a branch-and-bound scheme based on the factorization bound for exact solution of CMESP. We report on successful experiments with a commercial nonlinear-programming solver. We further demonstrate that the known "mixing" technique can be successfully used to combine the factorization bound with the factorization bound of the complementary CMESP, and also with the "linx bound" of Anstreicher (2020).


title: Mitigating Satellite Trails: a Study of Residual Light after Masking

abstract: Using Hyper Suprime Camera data (a precursor of what is to come with Rubin Observatory) we assess trail masking mitigation strategies for satellite contamination. We examine HSC data of the Hubble COSMOS field where satellite trails have been identified by eye. Exercising the current LSST Science Pipelines on this data, we study the efficacy of masking satellite trails which appear in single visit exposures before they are assembled into a coadded frame. We find that the current routines largely mask satellite trails in single visits, but miss the extended low surface brightness features of the satellite trails. For a sufficiently wide mask, these faint features appear at a less significant level in the final coadd, as they are averaged down in a stack of tens of exposures. We study this print-through vs mask width. In this note, we describe some of the challenges we encountered in that effort, prospects for more complete removal of the low surface brightness tails of the masked trails, and possible science impacts.


title: Lorentz violation in Dirac and Weyl semimetals

abstract: We propose a correspondence between the description of emergent Lorentz symmetry in condensed-matter systems and the established general effective field theory for Lorentz violation in fundamental theories of spacetime and matter. This correspondence has potential implications in both directions. We illustrate the proposal by investigating its consequences for the spectral and transport properties of Dirac and Weyl semimetals. Particular realizations of this framework give rise to Dirac nodal spectra with nodal lines and rings. We demonstrate a bulk-boundary correspondence between bulk topological invariants and drumhead surface states of these Dirac nodal semimetals. We calculate their transport coefficients in leading-order perturbation theory, thereby characterizing the unconventional electromagnetic response due to small deviations from emergent Lorentz invariance. Some prospective future applications of the correspondence are outlined.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el hep-ph hep-th


title: A Unifying Approach to Inverse Problems of Ultrasound Beamforming and Deconvolution

abstract: Beamforming is an essential step in the ultrasound image formation pipeline and has recently attracted growing interest. An important goal of beamforming is to increase the image spatial resolution, or in other words to narrow down the system point spread function. In parallel to beamforming approaches, deconvolution methods have also been explored in ultrasound imaging to mitigate the adverse effects of PSF. Unfortunately, these two steps have only been considered separately in a sequential approach. Herein, a novel framework for unifying beamforming and deconvolution in ultrasound image reconstruction is introduced. More specifically, the proposed formulation is a regularized inverse problem including two linear models for beamforming and deconvolution plus additional sparsity constraint. We take advantage of the alternating direction method of multipliers algorithm to find the solution of the joint optimization problem. The performance evaluation is presented on a set of publicly available simulations, real phantoms, and in vivo data. Furthermore, the superiority of the proposed approach in comparison with the sequential approach as well as each of the other beamforming and deconvolution approaches alone is also shown. Results demonstrate that our approach combines the advantages of both methods and offers ultrasound images with superior resolution and contrast.


title: Restricting the parameter space of Type-II Two Higgs Doublet Models with CP violation

abstract: We explore the parameter space of the type-II two-Higgs-doublet model with softly broken Z2 symmetry, allowing for CP violation in the scalar potential. Imposing theory-motivated and experimentally-driven constraints, we show that as the CP-violating phases are increased, only small regions of parameter space survive, including regions slightly away from the alignment limit. Electroweak oblique parameters and electric dipole moments emerge as most restrictive constraints. We show that imposing these constraints (as well as theoretical bounds such as perturbativity) the masses of the charged and heavy neutral Higgs, unlike in the CP conserving case, are bound from above and below. In particular, the heavy neutral Higgs masses are almost degenerate. In this parameter space region we highlight the relevant decay signals of the heavy neutral Higgs, involving both Zh and WW=ZZ, indicative of CP violation in the model.


title: Drinfeld-Gaitsgory functor and Matsuki duality

abstract: Let G be a connected complex reductive group and let K be a symmetric subgroup of G. We prove a formula for the Drinfeld-Gaitsgory functor for the dg-category of K-equivariant sheaves on the flag manifold of G in terms of the Matsuki duality functor. As byproducts, we obtain a description of the Serre functor and the Deligne-Lusztig duality for (g,K)-modules.


title: A Framework for the Joint Optimization of Assignment and Pricing in Mobility-on-Demand Systems with Shared Rides

abstract: Mobility-on-Demand (MoD) systems have become a fixture in urban transportation networks, with the rapid growth of ride-hailing services such as Uber and Lyft. Ride-hailing is typically complemented with ridepooling options, which can reduce the negative externalities associated with ride-hailing services and increase the utilization of vehicles. Determining optimal policies for vehicle dispatching and pricing, two key components that enable MoD services, are challenging due to their massive scale and online nature. The challenge is amplified when the MoD platform offers exclusive (conventional ride-hailing) and shared services, and customers have the option to select between them. The pricing and dispatching problems are coupled because the realized demand depends on the quality of service (i.e., whom to share rides with) and the prices for each service type. We propose an integrated and computationally efficient method for solving the joint pricing and dispatching problem -- both when the problem is solved one request at a time or in batches (a common strategy in the industry). The main results of this research include showing that: (i) the sequential pricing problem has a closed-form solution under a multinomial logit (MNL) choice model, and (ii) the batched pricing problem is jointly concave in the expected demand distributions. To account for the spatial evolution of supply and demand, we introduce so-called retrospective costs to retain a tractable framework. Our numerical experiments demonstrate how this framework yields significant profit increases using taxicab data in Manhattan, New York City, compared to dynamic dispatching with static pricing policies.


title: Multimodal perception for dexterous manipulation

abstract: Humans usually perceive the world in a multimodal way that vision, touch, sound are utilised to understand surroundings from various dimensions. These senses are combined together to achieve a synergistic effect where the learning is more effectively than using each sense separately. For robotics, vision and touch are two key senses for the dexterous manipulation. Vision usually gives us apparent features like shape, color, and the touch provides local information such as friction, texture, etc. Due to the complementary properties between visual and tactile senses, it is desirable for us to combine vision and touch for a synergistic perception and manipulation. Many researches have been investigated about multimodal perception such as cross-modal learning, 3D reconstruction, multimodal translation with vision and touch. Specifically, we propose a cross-modal sensory data generation framework for the translation between vision and touch, which is able to generate realistic pseudo data. By using this cross-modal translation method, it is desirable for us to make up inaccessible data, helping us to learn the object's properties from different views. Recently, the attention mechanism becomes a popular method either in visual perception or in tactile perception. We propose a spatio-temporal attention model for tactile texture recognition, which takes both spatial features and time dimension into consideration. Our proposed method not only pays attention to the salient features in each spatial feature, but also models the temporal correlation in the through the time. The obvious improvement proves the efficiency of our selective attention mechanism. The spatio-temporal attention method has potential in many applications such as grasping, recognition, and multimodal perception.


title: DeepAdversaries: Examining the Robustness of Deep Learning Models for Galaxy Morphology Classification

abstract: With increased adoption of supervised deep learning methods for processing and analysis of cosmological survey data, the assessment of data perturbation effects (that can naturally occur in the data processing and analysis pipelines) and the development of methods that increase model robustness are increasingly important. In the context of morphological classification of galaxies, we study the effects of perturbations in imaging data. In particular, we examine the consequences of using neural networks when training on baseline data and testing on perturbed data. We consider perturbations associated with two primary sources: 1) increased observational noise as represented by higher levels of Poisson noise and 2) data processing noise incurred by steps such as image compression or telescope errors as represented by one-pixel adversarial attacks. We also test the efficacy of domain adaptation techniques in mitigating the perturbation-driven errors. We use classification accuracy, latent space visualizations, and latent space distance to assess model robustness. Without domain adaptation, we find that processing pixel-level errors easily flip the classification into an incorrect class and that higher observational noise makes the model trained on low-noise data unable to classify galaxy morphologies. On the other hand, we show that training with domain adaptation improves model robustness and mitigates the effects of these perturbations, improving the classification accuracy by 23% on data with higher observational noise. Domain adaptation also increases by a factor of ~2.3 the latent space distance between the baseline and the incorrectly classified one-pixel perturbed image, making the model more robust to inadvertent perturbations.


title: Time-Incremental Learning from Data Using Temporal Logics

abstract: Real-time and human-interpretable decision-making in cyber-physical systems is a significant but challenging task, which usually requires predictions of possible future events from limited data. In this paper, we introduce a time-incremental learning framework: given a dataset of labeled signal traces with a common time horizon, we propose a method to predict the label of a signal that is received incrementally over time, referred to as prefix signal. Prefix signals are the signals that are being observed as they are generated, and their time length is shorter than the common horizon of signals. We present a novel decision-tree based approach to generate a finite number of Signal Temporal Logic (STL) specifications from the given dataset, and construct a predictor based on them. Each STL specification, as a binary classifier of time-series data, captures the temporal properties of the dataset over time. The predictor is constructed by assigning time-variant weights to the STL formulas. The weights are learned by using neural networks, with the goal of minimizing the misclassification rate for the prefix signals defined over the given dataset. The learned predictor is used to predict the label of a prefix signal, by computing the weighted sum of the robustness of the prefix signal with respect to each STL formula. The effectiveness and classification performance of our algorithm are evaluated on an urban-driving and a naval-surveillance case studies.


title: On Uniform Ensemble Controllability of Diagonalizable Linear Ensemble Systems

abstract: In this paper, we study uniform ensemble controllability (UEC) of linear ensemble systems defined in an infinite-dimensional space through finite-dimensional settings. Specifically, with the help of the Stone-Weierstrass theorem for modules, we provide an algebraic framework for examining UEC of linear ensemble systems with diagonalizable drift vector fields through checking the controllability of finite-dimensional subsystems in the ensemble. The new framework renders a novel concept of ensemble controllability matrix, which rank-condition serves as a sufficient and necessary condition for UEC of linear ensembles. We provide several examples demonstrating that the proposed approach well-encompasses existing results and analyzes UEC of linear ensembles not addressed by literature.


title: Unobservable entities in QBism and phenomenology

abstract: The interpretation of quantum theory known as QBism argues that many elements of the formalism have a subjective interpretation. At the same time, QBism claims to be a broadly realist program. This implies that reality in QBism must be somehow founded upon an agent's subjective experiences (measurement outcomes). To make this idea more precise, we propose to interpret QBism's "experiences" as synonymous with the concept of "perceived phenomena" in phenomenology. This suggests an approach to ontology in which objects can only be physically real if they are in principle observable. But what does "observable" mean? Are atoms, electromagnetic fields, quantum states, or probabilities observable? Here we discuss the different answers to this question given by QBists and phenomenologists, and attempt to reconcile them.


title: A proof system for graph (non)-isomorphism verification

abstract: In order to apply canonical labelling of graphs and isomorphism checking in interactive theorem provers, these checking algorithms must either be mechanically verified or their results must be verifiable by independent checkers. We analyze a state-of-the-art algorithm for canonical labelling of graphs (described by McKay and Piperno) and formulate it in terms of a formal proof system. We provide an implementation that can export a proof that the obtained graph is the canonical form of a given graph. Such proofs are then verified by our independent checker and can be used to confirm that two given graphs are not isomorphic.


title: Crystalline cohomology of rigid analytic spaces

abstract: In this article, we introduce infinitesimal cohomology for rigid analytic spaces that are not necessarily smooth, with coefficients in a p-adic field or Fontaine's de Rham period ring.


title: Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications

abstract: This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, held on June 29-30, 2020 online. (The workshop was supposed to take place in Paris as part of FSCD 2020, but due to the COVID pandemic it was decided not to hold the event live.) Linearity is a central concept in many theoretical and practical approaches to computer science. On the theoretical side, there is much work stemming from linear logic and dealing with resource control, complexity classes, and more recently quantum computation. On the practical side there is certainly work on program analysis, operational semantics, logic programming languages, program transformations, and efficient implementation techniques. Linear logic is not only a theoretical tool for the analysis of resource usage in logic and computation. It is also a corpus of distinct approaches and methodologies (e.g., proof nets, geometry of interaction, coherent spaces, relational models) that were originally developed for the study of linear logic's syntax and semantics have nowadays found applications in several other fields.


title: Categories of abelian varieties over finite fields II: Abelian varieties over finite fields and Morita equivalence

abstract: The category of abelian varieties over $\mathbb{F}_q$ is shown to be anti-equivalent to a category of $\mathbb{Z}$-lattices that are modules for a non-commutative pro-ring of endomorphisms of a suitably chosen direct system of abelian varieties over $\mathbb{F}_q$. On full subcategories cut out by a finite set $w$ of conjugacy classes of Weil $q$-numbers, the anti-equivalence is represented by what we call $w$-locally projective abelian varieties.


title: Ensemble Recognition in Reproducing Kernel Hilbert Spaces through Aggregated Measurements

abstract: In this paper, we study the problem of learning dynamical properties of ensemble systems from their collective behaviors using statistical approaches in reproducing kernel Hilbert space (RKHS). Specifically, we provide a framework to identify and cluster multiple ensemble systems through computing the maximum mean discrepancy (MMD) between their aggregated measurements in an RKHS, without any prior knowledge of the system dynamics of ensembles. Then, leveraging the gradient flow of the newly proposed notion of aggregated Markov parameters, we present a systematic framework to recognize and identify an ensemble systems using their linear approximations. Finally, we demonstrate that the proposed approaches can be extended to cluster multiple unknown ensembles in RKHS using their aggregated measurements. Numerical experiments show that our approach is reliable and robust to ensembles with different types of system dynamics.


title: Reconstructing the exit wave in high-resolution transmission electron microscopy using machine learning

abstract: Reconstruction of the exit wave function is an important route to interpreting high-resolution transmission electron microscopy (HRTEM) images. Here we demonstrate that convolutional neural networks can be used to reconstruct the exit wave from a short focal series of HRTEM images, with a fidelity comparable to conventional exit wave reconstruction. We use a fully convolutional neural network based on the U-Net architecture, and demonstrate that we can train it on simulated exit waves and simulated HRTEM images of graphene-supported molybdenum disulphide (an industrial desulfurization catalyst). We then apply the trained network to analyse experimentally obtained images from similar samples, and obtain exit waves that clearly show the atomically resolved structure of both the MoS$_2$ nanoparticles and the graphene support. We also show that it is possible to successfully train the neural networks to reconstruct exit waves for 3400 different two-dimensional materials taken from the Computational 2D Materials Database of known and proposed two-dimensional materials.


title: PowerTCP: Pushing the Performance Limits of Datacenter Networks

abstract: Increasingly stringent throughput and latency requirements in datacenter networks demand fast and accurate congestion control. We observe that the reaction time and accuracy of existing datacenter congestion control schemes are inherently limited. They either rely only on explicit feedback about the network state (e.g., queue lengths in DCTCP) or only on variations of state (e.g., RTT gradient in TIMELY). To overcome these limitations, we propose a novel congestion control algorithm, PowerTCP, which achieves much more fine-grained congestion control by adapting to the bandwidth-window product (henceforth called power). PowerTCP leverages in-band network telemetry to react to changes in the network instantaneously without loss of throughput and while keeping queues short. Due to its fast reaction time, our algorithm is particularly well-suited for dynamic network environments and bursty traffic patterns. We show analytically and empirically that PowerTCP can significantly outperform the state-of-the-art in both traditional datacenter topologies and emerging reconfigurable datacenters where frequent bandwidth changes make congestion control challenging. In traditional datacenter networks, PowerTCP reduces tail flow completion times of short flows by 80% compared to DCQCN and TIMELY, and by 33% compared to HPCC even at 60% network load. In reconfigurable datacenters, PowerTCP achieves 85% circuit utilization without incurring additional latency and cuts tail latency by at least 2x compared to existing approaches.


title: Rough multifactor volatility for SPX and VIX options

abstract: We provide explicit small-time formulae for the at-the-money implied volatility, skew and curvature in a large class of models, including rough volatility models and their multi-factor versions. Our general setup encompasses both European options on a stock and VIX options, thereby providing new insights on their joint calibration. The tools used are essentially based on Malliavin calculus for Gaussian processes. We develop a detailed theoretical and numerical analysis of the two-factor rough Bergomi model and provide insights on the interplay between the different parameters for joint SPX-VIX smile calibration.


title: Finite and High-temperature series expansion via many-body perturbation theory

abstract: We present a new algorithm to evaluate the grand potential at finite and high-temperature series expansion via many-body perturbation theory. This algorithm allows us to formulate each order as a divided difference. Further, we apply this algorithm to the Heisenberg spin-1/2 XXZ chain. We obtain all coefficients of the high-temperature expansion of the free energy and susceptibility per site of this model up to sixth order.


title: Electrically powered locomotion of dual-nature colloid-hedgehog and colloid-umbilic topological and elastic dipoles in liquid crystals

abstract: Colloidal particles in liquid crystals tend to induce topological defects and distortions of the molecular alignment within the surrounding anisotropic host medium, which results in elasticity-mediated interactions not accessible to their counterparts within isotropic fluid hosts. Such particle-induced coronae of perturbed nematic order are highly responsive to external electric fields, even when the uniformly aligned host medium away from particles exhibits no response to fields below the realignment threshold. Here we harness the non-reciprocal nature of these facile electric responses to demonstrate colloidal locomotion. Oscillations of electric field prompt repetitive deformations of the corona of dipolar elastic distortions around the colloidal inclusions, which at appropriately designed electric driving synchronize the displacement directions. We observe the colloid-hedgehog dipole accompanied by an umbilical defect in the tilt directionality field (c-field), along with the texture of elastic distortions that evolves with changing applied voltage. The temporal out-of-equilibrium evolution of the director and c-field distortions around particles upon turning voltage on and off is not invariant upon reversal of time, prompting lateral translations and interactions that markedly differ from what is accessible to these colloids under equilibrium conditions. Our findings may lead to both technological and fundamental science applications of nematic colloids as both model reconfigurable colloidal systems and as mesostructured materials with pre-designed temporal evolution of structure and composition.


title: Nuclear polarisation and relativistic effects contributions to King plot non-linearity

abstract: The effect of nuclear polarisation on the non-linearities of King plot for isotope shift in Ca$^+$, Sr$^+$ and Yb$^+$ ions is studied. These ions are currently used in search for the manifestation of new interaction via non-linearities of King plot. The role of relativistic effects is also studied. The best way to achieve separation of electronic and nuclear variables (which is necessary for the linearity) is to present the field shift as $F"\delta \langle r^{\lambda} \rangle$, where the value of $\lambda$ is the result of numerical relativistic calculations ($2\gamma < \lambda <2$, $\gamma = \sqrt{1-(Z/137.036)^2}$). Using this ansatz we demonstrated that the contribution of the relativistic effects to the non-linearity in spherical nuclei is very small.


title: Improving Prediction of Cognitive Performance using Deep Neural Networks in Sparse Data

abstract: Cognition in midlife is an important predictor of age-related mental decline and statistical models that predict cognitive performance can be useful for predicting decline. However, existing models struggle to capture complex relationships between physical, sociodemographic, psychological and mental health factors that effect cognition. Using data from an observational, cohort study, Midlife in the United States (MIDUS), we modeled a large number of variables to predict executive function and episodic memory measures. We used cross-sectional and longitudinal outcomes with varying sparsity, or amount of missing data. Deep neural network (DNN) models consistently ranked highest in all of the cognitive performance prediction tasks, as assessed with root mean squared error (RMSE) on out-of-sample data. RMSE differences between DNN and other model types were statistically significant (T(8) = -3.70; p < 0.05). The interaction effect between model type and sparsity was significant (F(9)=59.20; p < 0.01), indicating the success of DNNs can partly be attributed to their robustness and ability to model hierarchical relationships between health-related factors. Our findings underscore the potential of neural networks to model clinical datasets and allow better understanding of factors that lead to cognitive decline.


title: A New Method for Computing Stationary Distribution and Steady-State Performance Measures of a Continuous-State Markov Chain with a Queuing Application

abstract: Applications of stochastic models often involve the evaluation of steady-state performance, which requires solving a set of balance equations. In most cases of interest, the number of equations is infinite or even uncountable. As a result, numerical or analytical solutions are unavailable. This is true even when the system state is one-dimensional. This paper develops a general method for computing stationary distributions and steady-state performance measures of stochastic systems that can be described as continuous-state Markov chains supported on R. The balance equations are numerically solved by properly constructing a proxy Markov chain with finite states. We show the consistency of the approximate solution and provide deterministic non-asymptotic error bounds under the supremum norm. Our finite approximation method is near-optimal among all approximation methods using discrete distributions, including the empirical distributions generated by a simulation approach. We apply the developed method to compute the stationary distribution of virtual waiting time in a G/G/1+G queue and associated performance measures under certain mild but general differentiability and boundedness assumptions on the inter-arrival, service, and patience time distributions. Numerical experiments validate the accuracy and efficiency of our method, and show it outperforms a standard Markov chain Monte Carlo method by several orders of magnitude. The developed method is also significantly more accurate than the available fluid approximations for this queue.


title: FRIDA -- Generative Feature Replay for Incremental Domain Adaptation

abstract: We tackle the novel problem of incremental unsupervised domain adaptation (IDA) in this paper. We assume that a labeled source domain and different unlabeled target domains are incrementally observed with the constraint that data corresponding to the current domain is only available at a time. The goal is to preserve the accuracies for all the past domains while generalizing well for the current domain. The IDA setup suffers due to the abrupt differences among the domains and the unavailability of past data including the source domain. Inspired by the notion of generative feature replay, we propose a novel framework called Feature Replay based Incremental Domain Adaptation (FRIDA) which leverages a new incremental generative adversarial network (GAN) called domain-generic auxiliary classification GAN (DGAC-GAN) for producing domain-specific feature representations seamlessly. For domain alignment, we propose a simple extension of the popular domain adversarial neural network (DANN) called DANN-IB which encourages discriminative domain-invariant and task-relevant feature learning. Experimental results on Office-Home, Office-CalTech, and DomainNet datasets confirm that FRIDA maintains superior stability-plasticity trade-off than the literature.


title: Quantum Merkle Trees

abstract: Committing to information is a central task in cryptography, where a party (typically called a prover) stores a piece of information (e.g., a bit string) with the promise of not changing it. This information can be accessed by another party (typically called the verifier), who can later learn the information and verify that it was not meddled with. Merkle trees are a well-known construction for doing so in a succinct manner, in which the verifier can learn any part of the information by receiving a short proof from the honest prover. Despite its significance in classical cryptography, there was no quantum analog of the Merkle tree. A direct generalization using the Quantum Random Oracle Model (QROM) does not seem to be secure. In this work, we propose the quantum Merkle tree. It is based on what we call the Quantum Haar Random Oracle Model (QHROM). In QHROM, both the prover and the verifier have access to a Haar random quantum oracle $G$ and its inverse. Using the quantum Merkle tree, we propose a succinct quantum argument for the Gap-$k$-Local-Hamiltonian problem. Assuming the Quantum PCP conjecture is true, this succinct argument extends to all of QMA. This work raises a number of interesting open research problems.


title: Mirror Matching: Document Matching Approach in Seed-driven Document Ranking for Medical Systematic Reviews

abstract: When medical researchers conduct a systematic review (SR), screening studies is the most time-consuming process: researchers read several thousands of medical literature and manually label them relevant or irrelevant. Screening prioritization (ie., document ranking) is an approach for assisting researchers by providing document rankings where relevant documents are ranked higher than irrelevant ones. Seed-driven document ranking (SDR) uses a known relevant document (ie., seed) as a query and generates such rankings. Previous work on SDR seeks ways to identify different term weights in a query document and utilizes them in a retrieval model to compute ranking scores. Alternatively, we formulate the SDR task as finding similar documents to a query document and produce rankings based on similarity scores. We propose a document matching measure named Mirror Matching, which calculates matching scores between medical abstract texts by incorporating common writing patterns, such as background, method, result, and conclusion in order. We conduct experiments on CLEF 2019 eHealth Task 2 TAR dataset, and the empirical results show this simple approach achieves the higher performance than traditional and neural retrieval models on Average Precision and Precision-focused metrics.


title: Urban sprawl and evolution of accessibility profiles in Chinese cities

abstract: The development of public transportation networks and associated transit oriented development policies are efficient tools to mitigate urban sprawl and its negative environmental impacts, especially in terms of commuting emissions. We study in this paper the trajectories in terms of sprawl and public transport accessibility of the nine largest Chinese megacities, from 2000 to 2030 with projected transportation networks and populations. Using the radial profile methodology, we compare the evolution of population distribution with the evolution of accessibility profiles. We show a rebalancing of access in time, suggesting the efficiency of transport network growth regarding transit-oriented development objectives.


title: Brain Tumor Classification by Cascaded Multiscale Multitask Learning Framework Based on Feature Aggregation

abstract: Brain tumor analysis in MRI images is a significant and challenging issue because misdiagnosis can lead to death. Diagnosis and evaluation of brain tumors in the early stages increase the probability of successful treatment. However, the complexity and variety of tumors, shapes, and locations make their segmentation and classification complex. In this regard, numerous researchers have proposed brain tumor segmentation and classification methods. This paper presents an approach that simultaneously segments and classifies brain tumors in MRI images using a framework that contains MRI image enhancement and tumor region detection. Eventually, a network based on a multitask learning approach is proposed. Subjective and objective results indicate that the segmentation and classification results based on evaluation metrics are better or comparable to the state-of-the-art.


title: A Correctly Rounded Newton Step for the Reciprocal Square Root

abstract: The reciprocal square root is an important computation for which many sophisticated algorithms exist (see for example \cite{Moroz,863046,863031} and the references therein). A common theme is the use of Newton's method to refine the estimates. In this paper we develop a correctly rounded Newton step that can be used to improve the accuracy of a naive calculation (using methods similar to those developed in \cite{borges}) . The approach relies on the use of the fused multiply-add (FMA) which is widely available in hardware on a variety of modern computer architectures. We then introduce the notion of {\em weak rounding} and prove that our proposed algorithm meets this standard. We then show how to leverage the exact Newton step to get a Halley's method compensation which requires one additional FMA and one additional multiplication. This method appears to give correctly rounded results experimentally and we show that it can be combined with a square root free method for estimating the reciprocal square root to get a method that is both very fast (in computing environments with a slow square root) and, experimentally, highly accurate.


title: Metadamping in inertially amplified metamaterials: Trade-off between spatial attenuation and temporal attenuation

abstract: Metadamping is the phenomenon of either enhanced or diminished intrinsic dissipation in a material stemming from the material's internal structural dynamics. It has been previously shown that a locally resonant elastic metamaterial may be designed to exhibit higher or lower dissipation compared to a statically equivalent phononic crystal with the same amount of prescribed damping. Here we reveal that even further dissipation, or alternatively further reduction of loss, may be reached in an inertially amplified metamaterial that is also statically equivalent and has the same amount of prescribed damping. This is demonstrated by a passive configuration whereby an attenuation peak is generated by the motion of a mass supported by an inclined lever arm. We further show that by coupling this inertially amplified attenuation peak with that of a local resonance attenuation peak, a trade-off between the intensity of spatial attenuation versus temporal attenuation is realized for a range of the inclination angles. Design for performance along this trade-off is therefore possible by adjustment of the lever angle. These findings open the way for highly expanding the Ashby space for stiffness-damping capacity or stiffness-spatial attenuation capacity through design of the internal structure of materials.


title: Duality Defects in $E_8$

abstract: We classify all non-invertible Kramers-Wannier duality defects in the $E_8$ lattice Vertex Operator Algebra (i.e. the chiral $(E_8)_1$ WZW model) coming from $\mathbb{Z}_m$ symmetries. We illustrate how these defects are systematically obtainable as $\mathbb{Z}_2$ twists of invariant sub-VOAs, compute defect partition functions for small $m$, and verify our results against other techniques. Throughout, we focus on taking a physical perspective and highlight the important moving pieces involved in the calculations. Kac's theorem for finite automorphisms of Lie algebras and contemporary results on holomorphic VOAs play a role. We also provide a perspective from the point of view of (2+1)d Topological Field Theory and provide a rigorous proof that all corresponding Tambara-Yamagami actions on holomorphic VOAs can be obtained in this manner. We include a list of directions for future studies.


title: Reading analytic invariants of parabolic diffeomorphisms from their orbits

abstract: In this paper we study germs of diffeomorphisms in the complex plane. We address the following problem: How to read a diffeomorphism $f$ knowing one of its orbits $\mathbb{A}$? We solve this problem for parabolic germs. This is done by associating to the orbit ${\mathbb{A}}$ a function that we call the dynamic theta function $\Theta_{\mathbb{A}}$. We prove that the function $\Theta_{\mathbb{A}}$ is $2\pi i\mathbb{Z}$-resurgent. We show that one can obtain the sectorial Fatou coordinate as a Laplace-type integral transform of the function $\Theta_{\mathbb{A}}$. This enables one to read the analytic invariants of a diffeomorphism from the theta function of one of its orbits. We also define a closely related fractal theta function $\tilde{\Theta}_{\mathbb{A}}$, which is inspired by and generalizes the geometric zeta function of a fractal string, and show that it also encodes the analytic invariants of the diffeomorphism.


title: Review: Topology of solitons and singular defects in chiral liquid crystals

abstract: Widely known for their uses in displays and electro-optics, liquid crystals are more than just technological marvels. They vividly reveal the topology and structure of various solitonic and singular field configurations, often markedly resembling the ones arising in many field theories and in the areas ranging from particle physics to optics, hard condensed matter and cosmology. In this review, we focus on chiral nematic liquid crystals to show how these experimentally highly accessible systems provide valuable insights into the structure and behavior of fractional, full, and multi-integer two-dimensional skyrmions, dislocations and both abelian and non-abelian defect lines, as well as various three-dimensionally localized, often knotted structures that include hopfions, heliknotons, torons and twistions. We provide comparisons of some of these field configurations with their topological counterparts in chiral magnets, discussing close analogies between these two condensed matter systems.


title: Reduced order modeling with time-dependent bases for PDEs with stochastic boundary conditions

abstract: Low-rank approximation using time-dependent bases (TDBs) has proven effective for reduced-order modeling of stochastic partial differential equations (SPDEs). In these techniques, the random field is decomposed to a set of deterministic TDBs and time-dependent stochastic coefficients. When applied to SPDEs with non-homogeneous stochastic boundary conditions (BCs), appropriate BC must be specified for each of the TDBs. However, determining BCs for TDB is not trivial because: (i) the dimension of the random BCs is different than the rank of the TDB subspace; (ii) TDB in most formulations must preserve orthonormality or orthogonality constraints and specifying BCs for TDB should not violate these constraints in the space-discretized form. In this work, we present a methodology for determining the boundary conditions for TDBs at no additional computational cost beyond that of solving the same SPDE with homogeneous BCs. Our methodology is informed by the fact the TDB evolution equations are the optimality conditions of a variational principle. We leverage the same variational principle to derive an evolution equation for the value of TDB at the boundaries. The presented methodology preserves the orthonormality or orthogonality constraints of TDBs. We present the formulation for both the dynamically bi-orthonormal (DBO) decomposition as well as the dynamically orthogonal (DO) decomposition. We show that the presented methodology can be applied to stochastic Dirichlet, Neumann, and Robin boundary conditions. We assess the performance of the presented method for linear advection-diffusion equation, Burgers' equation, and two-dimensional advection-diffusion equation with constant and temperature-dependent conduction coefficient.

categories: math.NA cs.NA math-ph math.MP physics.flu-dyn


title: Multi-Head Deep Metric Learning Using Global and Local Representations

abstract: Deep Metric Learning (DML) models often require strong local and global representations, however, effective integration of local and global features in DML model training is a challenge. DML models are often trained with specific loss functions, including pairwise-based and proxy-based losses. The pairwise-based loss functions leverage rich semantic relations among data points, however, they often suffer from slow convergence during DML model training. On the other hand, the proxy-based loss functions often lead to significant speedups in convergence during training, while the rich relations among data points are often not fully explored by the proxy-based losses. In this paper, we propose a novel DML approach to address these challenges. The proposed DML approach makes use of a hybrid loss by integrating the pairwise-based and the proxy-based loss functions to leverage rich data-to-data relations as well as fast convergence. Furthermore, the proposed DML approach utilizes both global and local features to obtain rich representations in DML model training. Finally, we also use the second-order attention for feature enhancement to improve accurate and efficient retrieval. In our experiments, we extensively evaluated the proposed DML approach on four public benchmarks, and the experimental results demonstrate that the proposed method achieved state-of-the-art performance on all benchmarks.


title: QUIC Throughput and Fairness over Dual Connectivity

abstract: Dual Connectivity (DC) is an important lower-layer feature accelerating the transition from 4G to 5G that also is expected to play an important role in standalone 5G radio networks. However, even though the packet reordering introduced by DC can significantly impact the performance of upper-layer protocols, no prior work has studied the impact of DC on QUIC. In this paper, we present the first such performance study. Using a series of throughput and fairness experiments, we show how QUIC is affected by different DC parameters, network conditions, and whether the DC implementation aims to improve throughput or reliability. Results for two QUIC implementations (aioquic, ngtcp2) and two congestion control algorithms (NewReno, CUBIC) are presented under both static and highly time-varying network conditions. Our findings provide network operators with insights and understanding into the impacts of splitting QUIC traffic in a DC environment. With reasonably selected DC parameters and increased UDP receive buffers, QUIC over DC performs similarly to TCP over DC and achieves optimal fairness under symmetric link conditions when DC is not used for packet duplication. The insights can help network operators provide modern users with better end-to-end service when deploying DC.


title: Large-x power laws of parton distributions remain inconclusive

abstract: Focusing on hadron scattering at large partonic momentum fractions $x$, we compare nonperturbative QCD predictions for the asymptotic behavior of DIS structure functions and parton distribution functions (PDFs) to the $x$ and $Q$ dependence of phenomenological PDFs. In the CT18 NNLO global QCD analysis, higher-order radiative contributions and functional mimicry of PDF parametrizations result in about one unit of uncertainty in the effective powers of $(1-x)$ falloff of nucleon PDFs. Similar uncertainties are present in the case of the pion PDF, an object of growing interest in phenomenology.


title: Simple, Interpretable and Stable Method for Detecting Words with Usage Change across Corpora

abstract: The problem of comparing two bodies of text and searching for words that differ in their usage between them arises often in digital humanities and computational social science. This is commonly approached by training word embeddings on each corpus, aligning the vector spaces, and looking for words whose cosine distance in the aligned space is large. However, these methods often require extensive filtering of the vocabulary to perform well, and - as we show in this work - result in unstable, and hence less reliable, results. We propose an alternative approach that does not use vector space alignment, and instead considers the neighbors of each word. The method is simple, interpretable and stable. We demonstrate its effectiveness in 9 different setups, considering different corpus splitting criteria (age, gender and profession of tweet authors, time of tweet) and different languages (English, French and Hebrew).


title: 360{\deg} Optical Flow using Tangent Images

abstract: Omnidirectional 360{\deg} images have found many promising and exciting applications in computer vision, robotics and other fields, thanks to their increasing affordability, portability and their 360{\deg} field of view. The most common format for storing, processing and visualising 360{\deg} images is equirectangular projection (ERP). However, the distortion introduced by the nonlinear mapping from 360{\deg} image to ERP image is still a barrier that holds back ERP images from being used as easily as conventional perspective images. This is especially relevant when estimating 360{\deg} optical flow, as the distortions need to be mitigated appropriately. In this paper, we propose a 360{\deg} optical flow method based on tangent images. Our method leverages gnomonic projection to locally convert ERP images to perspective images, and uniformly samples the ERP image by projection to a cubemap and regular icosahedron vertices, to incrementally refine the estimated 360{\deg} flow fields even in the presence of large rotations. Our experiments demonstrate the benefits of our proposed method both quantitatively and qualitatively.


title: Adaptive Client Sampling in Federated Learning via Online Learning with Bandit Feedback

abstract: Due to the high cost of communication, federated learning (FL) systems need to sample a subset of clients that are involved in each round of training. As a result, client sampling plays an important role in FL systems as it affects the convergence rate of optimization algorithms used to train machine learning models. Despite its importance, there is limited work on how to sample clients effectively. In this paper, we cast client sampling as an online learning task with bandit feedback, which we solve with an online stochastic mirror descent (OSMD) algorithm designed to minimize the sampling variance. We then theoretically show how our sampling method can improve the convergence speed of optimization algorithms. To handle the tuning parameters in OSMD that depend on the unknown problem parameters, we use the online ensemble method and doubling trick. We prove a dynamic regret bound relative to any sampling sequence. The regret bound depends on the total variation of the comparator sequence, which naturally captures the intrinsic difficulty of the problem. To the best of our knowledge, these theoretical contributions are new and the proof technique is of independent interest. Through both synthetic and real data experiments, we illustrate advantages of the proposed client sampling algorithm over the widely used uniform sampling and existing online learning based sampling strategies. The proposed adaptive sampling procedure is applicable beyond the FL problem studied here and can be used to improve the performance of stochastic optimization procedures such as stochastic gradient descent and stochastic coordinate descent.


title: Adoption of Industry 4.0 technologies in airports -- A systematic literature review

abstract: Airports have been constantly evolving and adopting digital technologies to improve operational efficiency, enhance passenger experience, generate ancillary revenues and boost capacity from existing infrastructure. The COVID-19 pandemic has also challenged airports and aviation stakeholders alike to adapt and manage new operational challenges such as facilitating a contactless travel experience and ensuring business continuity. Digitalisation using Industry 4.0 technologies offers opportunities for airports to address short-term challenges associated with the COVID-19 pandemic while also preparing for future long-term challenges that ensue the crisis. Through a systematic literature review of 102 relevant articles, we discuss the current state of adoption of Industry 4.0 technologies in airports, the associated challenges as well as future research directions. The results of this review suggest that the implementation of Industry 4.0 technologies is slowly gaining traction within the airport environment, and shall continue to remain relevant in the digital transformation journeys in developing future airports.


title: Compression as a path to simplification: Models of collective neural activity

abstract: Patterns of activity in networks of neurons are a prototypical complex system. Here we analyze data on the retina to show that information shared between a single neuron and the rest of the network is compressible, through a combination of the information bottleneck and an iteration scheme inspired by the renormalization group. The result is that the number of parameters needed to describe the distribution of joint activity scales with the square of the number of neurons, even though the interactions are not well approximated as pairwise. Our results also show that the shared information is essentially equal to the information that individual neurons carry about natural visual inputs, which has implications for the structure of the neural code.


title: Spin-orbit coupling for close-in planets

abstract: We study the spin evolution of close-in planets in multi-body systems and present a very general formulation of the spin-orbit problem. This includes a simple way to probe the spin dynamics from the orbital perturbations, a new method for computing forced librations and tidal deformation, and general expressions for the tidal torque and capture probabilities in resonance. We show that planet-planet perturbations can drive the spin of Earth-size planets into asynchronous or chaotic states, even for nearly circular orbits. We apply our results to Mercury and to the KOI-1599 system of two super-Earths in a 3/2 mean motion resonance.


title: The role of tunneling in the ionization of atoms by ultrashort and intense laser pulses

abstract: Classically allowed transport is shown to compete with quantum tunneling during the ionization of atoms by ultrashort and intense laser pulses, despite Keldysh parameters smaller than unity. This is done by comparing exact probability densities with the ones obtained from purely classical propagation using the Truncated Wigner Approximation. Not only is classical transport capable of moving trajectories away from the core, but it can also furnish ionization probabilities of the same order as the quantum ones for intensities currently employed in experiments. Our results have implications ranging from a conceptual correction to semiclassical step models in strong-field physics to the ongoing debate about tunneling time measurements in attoclock experiments.


title: Closer Look at the Transferability of Adversarial Examples: How They Fool Different Models Differently

abstract: Deep neural networks are vulnerable to adversarial examples (AEs), which have adversarial transferability: AEs generated for the source model can mislead another (target) model's predictions. However, the transferability has not been understood in terms of to which class target model's predictions were misled (i.e., class-aware transferability). In this paper, we differentiate the cases in which a target model predicts the same wrong class as the source model ("same mistake") or a different wrong class ("different mistake") to analyze and provide an explanation of the mechanism. We find that (1) AEs tend to cause same mistakes, which correlates with "non-targeted transferability"; however, (2) different mistakes occur even between similar models, regardless of the perturbation size. Furthermore, we present evidence that the difference between same mistakes and different mistakes can be explained by non-robust features, predictive but human-uninterpretable patterns: different mistakes occur when non-robust features in AEs are used differently by models. Non-robust features can thus provide consistent explanations for the class-aware transferability of AEs.


title: Socially-Optimal Mechanism Design for Incentivized Online Learning

abstract: Multi-arm bandit (MAB) is a classic online learning framework that studies the sequential decision-making in an uncertain environment. The MAB framework, however, overlooks the scenario where the decision-maker cannot take actions (e.g., pulling arms) directly. It is a practically important scenario in many applications such as spectrum sharing, crowdsensing, and edge computing. In these applications, the decision-maker would incentivize other selfish agents to carry out desired actions (i.e., pulling arms on the decision-maker's behalf). This paper establishes the incentivized online learning (IOL) framework for this scenario. The key challenge to design the IOL framework lies in the tight coupling of the unknown environment learning and asymmetric information revelation. To address this, we construct a special Lagrangian function based on which we propose a socially-optimal mechanism for the IOL framework. Our mechanism satisfies various desirable properties such as agent fairness, incentive compatibility, and voluntary participation. It achieves the same asymptotic performance as the state-of-art benchmark that requires extra information. Our analysis also unveils the power of crowd in the IOL framework: a larger agent crowd enables our mechanism to approach more closely the theoretical upper bound of social performance. Numerical results demonstrate the advantages of our mechanism in large-scale edge computing.


title: Non-Relativistic Supergeometry in the Moore-Read Fractional Quantum Hall State

abstract: The Moore-Read state is one the most well known non-Abelian fractional quantum Hall states. It supports non-Abelian Ising anyons in the bulk and a chiral bosonic and chiral Majorana modes on the boundary. It has been recently conjectured that these modes are superpartners of each other and described by a supersymmetric conformal field theory [1]. We propose a non-relativistic supergeometric theory that is compatible with this picture and gives rise to an effective spin-3/2 field in the bulk. After breaking supersymmetry through a Goldstino, the spin-3/2 field becomes massive and can be seen as the neutral collective mode that characterizes the Moore-Read state. By integrating out this fermion field, we obtain a purely bosonic topological action that properly encodes the Hall conductivity, Hall viscosity and gravitational anomaly. Our work paves the way to the exploration of the fractional quantum Hall effect through non-relativistic supergeometry.


title: Super-Efficient Super Resolution for Fast Adversarial Defense at the Edge

abstract: Autonomous systems are highly vulnerable to a variety of adversarial attacks on Deep Neural Networks (DNNs). Training-free model-agnostic defenses have recently gained popularity due to their speed, ease of deployment, and ability to work across many DNNs. To this end, a new technique has emerged for mitigating attacks on image classification DNNs, namely, preprocessing adversarial images using super resolution -- upscaling low-quality inputs into high-resolution images. This defense requires running both image classifiers and super resolution models on constrained autonomous systems. However, super resolution incurs a heavy computational cost. Therefore, in this paper, we investigate the following question: Does the robustness of image classifiers suffer if we use tiny super resolution models? To answer this, we first review a recent work called Super-Efficient Super Resolution (SESR) that achieves similar or better image quality than prior art while requiring 2x to 330x fewer Multiply-Accumulate (MAC) operations. We demonstrate that despite being orders of magnitude smaller than existing models, SESR achieves the same level of robustness as significantly larger networks. Finally, we estimate end-to-end performance of super resolution-based defenses on a commercial Arm Ethos-U55 micro-NPU. Our findings show that SESR achieves nearly 3x higher FPS than a baseline while achieving similar robustness.


title: The Koopman representation for self-similar groupoid actions

abstract: We introduce the $C^*$-algebra $C^*(\kappa)$ generated by the Koopman representation $\kappa$ of an \'etale groupoid $G$ acting on a measure space $(X,\mu)$. We prove that for a level transitive self-similar action $(G,E)$ with $E$ finite and $|uE^1|$ constant, there is an invariant measure $\nu$ on $X=E^\infty$ and that $C^*(\kappa)$ is residually finite-dimensional with a normalized self-similar trace. We also discus $p$-fold similarities of Hilbert spaces in connection to representations of the graph algebra $C^*(E)$ and self-similar representations of $G$ in connection to the Cuntz-Pimsner algebra $C^*(G,E)$.


title: An algebraic form of the Marchenko inversion. Partial waves with orbital momentum $l\ge 0$

abstract: We present a generalization of the algebraic method for solving the Marchenko equation (fixed-$l$ inversion) for any values of the orbital angular momentum $l$. We expand the Marchenko equation kernel in a separable form using a triangular wave set. The separable kernel allows a reduction of the equation to a system of linear equations. We obtained a linear expression of the kernel expansion coefficients in terms of the Fourier series coefficients of $q(1-S(q))$ function ($S(q)$ is the scattering matrix) depending on the momentum $q$. The linear expression is valid for any orbital angular momentum $l$. The kernel expansion coefficients are determined by the scattering data in the finite range $0\leq q\leq\pi/h$. In turn, the thus defined Marchenko kernel of the equation allows one to find the potential function of the radial Schr\"odinger equation with $h$-step accuracy.


title: Fake or Genuine? Contextualised Text Representation for Fake Review Detection

abstract: Online reviews have a significant influence on customers' purchasing decisions for any products or services. However, fake reviews can mislead both consumers and companies. Several models have been developed to detect fake reviews using machine learning approaches. Many of these models have some limitations resulting in low accuracy in distinguishing between fake and genuine reviews. These models focused only on linguistic features to detect fake reviews and failed to capture the semantic meaning of the reviews. To deal with this, this paper proposes a new ensemble model that employs transformer architecture to discover the hidden patterns in a sequence of fake reviews and detect them precisely. The proposed approach combines three transformer models to improve the robustness of fake and genuine behaviour profiling and modelling to detect fake reviews. The experimental results using semi-real benchmark datasets showed the superiority of the proposed model over state-of-the-art models.


title: Multi-Adversarial Safety Analysis for Autonomous Vehicles

abstract: This work in progress considers reachability-based safety analysis in the domain of autonomous driving in multi-agent systems. We formulate the safety problem for a car following scenario as a differential game and study how different modelling strategies yield very different behaviors regardless of the validity of the strategies in other scenarios. Given the nature of real-life driving scenarios, we propose a modeling strategy in our formulation that accounts for subtle interactions between agents, and compare its Hamiltonian results to other baselines. Our formulation encourages reduction of conservativeness in Hamilton-Jacobi safety analysis to provide better safety guarantees during navigation.


title: Reachability Analysis for FollowerStopper: Safety Analysis and Experimental Results

abstract: Motivated by earlier work and the developer of a new algorithm, the FollowerStopper, this article uses reachability analysis to verify the safety of the FollowerStopper algorithm, which is a controller designed for dampening stop- and-go traffic waves. With more than 1100 miles of driving data collected by our physical platform, we validate our analysis results by comparing it to human driving behaviors. The FollowerStopper controller has been demonstrated to dampen stop-and-go traffic waves at low speed, but previous analysis on its relative safety has been limited to upper and lower bounds of acceleration. To expand upon previous analysis, reachability analysis is used to investigate the safety at the speeds it was originally tested and also at higher speeds. Two formulations of safety analysis with different criteria are shown: distance-based and time headway-based. The FollowerStopper is considered safe with distance-based criterion. However, simulation results demonstrate that the FollowerStopper is not representative of human drivers - it follows too closely behind vehicles, specifically at a distance human would deem as unsafe. On the other hand, under the time headway-based safety analysis, the FollowerStopper is not considered safe anymore. A modified FollowerStopper is proposed to satisfy time-based safety criterion. Simulation results of the proposed FollowerStopper shows that its response represents human driver behavior better.


title: The Nobel prizes in physics for astrophysics and gravitation and the Nobel prize for black holes: Past, present, and future

abstract: We analyze the Nobel prizes in physics for astrophysics and gravitation since the establishment of the prize and highlight the 2020 Nobel prize for black holes. In addition, we comment on the names that could have received the prize in astrophysics and gravitation, and draw attention to the individuals who made outstanding contributions to black hole physics and astrophysics and should be mentioned as possible and deserved recipients of the prize. We speculate about the branches of research in astrophysics and gravitation, with an emphasis on the latter, that can be contemplated in the future with a Nobel prize.

categories: physics.hist-ph astro-ph.CO gr-qc hep-th


title: Design and Implementation of Data-driven Predictive Cloud Control System

abstract: Nowadays, the rapid increases of the scale and complexity of the controlled plants bring new challenges such as computing power and storage for conventional control systems. Cloud computing is concerned as a powerful solution to handle the complex large-scale control missions using sufficient computing resources. However, the developed computing ability enables more complex devices and mass data being involved and thus the applications of model-based algorithms are constrained. Motivated by the above, we propose an original data-driven predictive cloud control system. To achieve the proposed system, a practical data-driven predictive cloud control platform rather than only a numerical simulator is established and together a cloud-edge communication scheme is developed. Finally, the verification of simulations and experiments as well as discussions demonstrate the effectiveness of the proposed system.


title: Photochemical Synthesis of P-S-H Ternary Hydride at High Pressures

abstract: The recent discovery of room temperature superconductivity (283 K) in carbonaceous sulfur hydride (C-S-H) has attracted lots of interests in ternary hydrogen rich materials. In this report, ternary hydride P-S-H has been synthesized through photochemical reaction from elemental sulfur (S), phosphorus (P) and molecular hydrogen (H2) at high pressures and room temperature. The Raman spectroscopy under pressure shows that H2S and PH3 compounds are synthesized after laser heating at 0.9 GPa and a ternary van der Waals compound P-S-H is synthesized with a further compression to 4.6 GPa. The P-S-H compound is probably a mixed alloy of PH3 and (H2S)2H2 with a guest-host structure similar to the C-S-H system. The ternary hydride can persist up to 35.6 GPa at least and shows two phase transitions at approximately 23.6 GPa and 32.8 GPa, respectively. The P-S-H ternary hydride in this report is a competitive candidate for new hydride superconductors with near room-temperature transitions.


title: Fast Subspace Identification Method Based on Containerised Cloud Workflow Processing System

abstract: Subspace identification (SID) has been widely used in system identification and control fields since it can estimate system models only relying on the input and output data by reliable numerical operations such as singular value decomposition (SVD). However, high-dimension Hankel matrices are involved to store these data and used to obtain the system models, which increases the computation amount of SID and leads SID not suitable for the large-scale or real-time identification tasks. In this paper, a novel fast SID method based on cloud workflow processing and container technology is proposed to accelerate the traditional algorithm. First, a workflow-based structure of SID is designed to match the distributed cloud environment, based on the computational feature of each calculation stage. Second, a containerised cloud workflow processing system is established to execute the logic- and data- dependent SID workflow mission based on Kubernetes system. Finally, the experiments show that the computation time is reduced by at most $91.6\%$ for large-scale SID mission and decreased to within 20 ms for the real-time mission parameter.


title: Time-dependent extension of the self-consistent band theory for neutron star matter: Anti-entrainment effects in the slab phase

abstract: Background: In the solid crust of neutron stars, a variety of crystalline structure may exist. Recently the band theory of solids has been applied to the inner crust of neutron stars and significance of the entrainment between dripped neutrons and the solid crust was advocated. Since it influences interpretations of various phenomena of neutron stars, it has been desired to develop deeper understanding of the microphysics behind. Purpose: The purpose of the present article is to propose a fully self-consistent microscopic framework for describing time-dependent dynamics of neutron star matter, which allows us to explore diverse properties of nuclear matter, including the entrainment effect. Results: As the first application of the time-dependent self-consistent band theory for nuclear systems, we investigate the slab phase of nuclear matter with various proton fractions. From a dynamic response of the system to an external force, we extract the collective mass of a slab, associated with entrained neutrons as well as bound nucleons. We find that the extracted collective mass is smaller than a naive estimation based on a potential profile and single-particle energies. We show that the reduction is mainly caused by "counterflow" of dripped neutrons towards the direction opposite to the motion of the slabs. We interpret it as an "anti-entrainment" effect. As a result, the number of effectively bound neutrons is reduced, indicating an enhancement of the number density of conduction neutrons. We demonstrate that those findings are consistent with a static treatment in the band theory of solids. *shortened due to the arXiv's word limit.


title: $H(\textrm{div})$-conforming Finite Element Tensors

abstract: A unified construction of $H(\textrm{div})$-conforming finite element tensors, including vector div element, symmetric div matrix element, traceless div matrix element, and in general tensors with linear constraints, is developed in this work. It is based on the geometric decomposition of Lagrange elements into bubble functions on each sub-simplex. Then the tensor at each sub-simplex is decomposed into the tangential and the normal component. The tangential component forms the bubble function space and the normal component characterizes the trace. A deep exploration on boundary degrees of freedom is presented for discovering various finite elements. The developed finite element spaces are $H(\textrm{div})$-conforming and satisfy the discrete inf-sup condition. An explicit basis of the constraint tensor space is also established.


title: Electric and magnetic fields tuned spin-polarized topological phases in two-dimensional ferromagnetic MnBi$_4$Te$_7$

abstract: Applying electric or magnetic fields is widely used to not only create and manipulate topological states but also facilitate their observations in experiments. In this work, we show by first-principles calculations and topological analysis that the time-reversal (TR) symmetry-broken quantum spin Hall (QSH) state emerges in a two-dimensional ferromagnetic MnBi$_4$Te$_7$ monolayer. This TR-symmetry broken QSH phase possesses a highly tunable nontrivial band gap under an external electric field (or tuning interlayer distance). Furthermore, based on the Wannier-function-based tight-binding approach, we reveal that a topological phase transition from the TR-symmetry broken QSH phase to the quantum anomalous Hall (QAH) phase occurs with the increase of magnetic fields. Besides, we also find that a reverse electric fields can facilitate the realization of QAH phase. Our work not only uncovers the ferromagnetic topological properties the MnBi$_4$Te$_7$ monolayer tuned by electric and magnetic fields, but also can stimulate further applications to spintronics and topological devices.


title: A comment and erratum on "Excess Optimism: How Biased is the Apparent Error of an Estimator Tuned by SURE?"

abstract: We identify and correct an error in the paper "Excess Optimism: How Biased is the Apparent Error of an Estimator Tuned by SURE?" This correction allows new guarantees on the excess degrees of freedom--the bias in the error estimate of Stein's unbiased risk estimate (SURE) for an estimator tuned by directly minimizing the SURE criterion--for arbitrary SURE-tuned linear estimators. Oracle inequalities follow as a consequence of these results for such estimators.


title: Wavefront Sets of Unipotent Representations of Reductive $p$-adic Groups I

abstract: The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an explicit description of the wavefront set of an irreducible spherical representation with real Satake parameter.


title: A simple light-trapping device from a hyperbolic metamaterial on a catenoid

abstract: By using both ray and wave optics, we show that a simple device which consists on a film of hyperbolic metamaterial on the surface of a catenoid can be used to trap light. From the study of the trajectories, we observe a tendency for the light rays to wrap, and eventually be trapped, around the neck of the device. The wave equation appears to have an effective attractive potential, and their solutions confirm the bound states suggested by the trajectories. The relevant equations are solved numerically using neural networks.


title: Private Private Information

abstract: A private private information structure delivers information about an unknown state while preserving privacy: An agent's signal contains information about the state but remains independent of others' sensitive or private information. We study how informative such structures can be, and characterize those that are optimal in the sense that they cannot be made more informative without violating privacy. We connect our results to fairness in recommendation systems and explore a number of further applications.


title: Free-form micro-optics enabling ultra-broadband low-loss fiber-to-chip coupling

abstract: Efficient fiber-to-chip coupling has been a major hurdle to cost-effective packaging and scalable interconnections of photonic integrated circuits. Conventional photonic packaging methods relying on edge or grating coupling are constrained by high insertion losses, limited bandwidth density, narrow band operation, and sensitivity to misalignment. Here we present a new fiber-to-chip coupling scheme based on free-form reflective micro-optics. A design approach which simplifies the high-dimensional free-form optimization problem to as few as two full-wave simulations is implemented to empower computationally efficient design of high-performance free-form reflectors while capitalizing on the expanded geometric degrees of freedom. We demonstrated fiber array coupling to waveguides taped out through a standard foundry shuttle run and backend integrated with 3-D printed micro-optics. A low coupling loss down to 0.5 dB was experimentally measured at 1550 nm wavelength with a record 1-dB bandwidth of 300 nm spanning O to U bands. The coupling scheme further affords large alignment tolerance, high bandwidth density and solder reflow compatibility, qualifying it as a promising optical packaging solution for applications such as wavelength division multiplexing communications, broadband spectroscopic sensing, and nonlinear optical signal processing.


title: Implication of two-baryon azimuthal correlations in $pp$ collisions at LHC energies on the QGP

abstract: The near-side depression in two-proton or two-antiproton azimuthal correlations in $pp$ collisions at $\sqrt{s}=$7 TeV has been observed experimentally and then qualitatively reproduced in our earlier studies with a multi-phase transport model. In this study, we further investigate the origin of the depression feature in two-baryon correlations in small collision systems. We find that the initial parton-level spatial correlation, a finite expansion in the parton stage, and quark coalescence are important ingredients leading to the near-side depression. In particular, we find that a finite expansion of the parton system leads to a finite space-momentum correlation at hadronization, which then converts the near-side depression in the coordinate space to that in the momentum space. These results suggest that a partonic matter with a finite lifetime is formed in the pp collisions. Further studies are needed to determine whether the partonic matter is near local equilibrium and can thus be called a QGP or far away from local equilibrium.


title: Federated Learning for Cross-block Oil-water Layer Identification

abstract: Cross-block oil-water layer(OWL) identification is essential for petroleum development. Traditional methods are greatly affected by subjective factors due to depending mainly on the human experience. AI-based methods have promoted the development of OWL identification. However, because of the significant geological differences across blocks and the severe long-tailed distribution(class imbalanced), the identification effects of existing artificial intelligence(AI) models are limited. In this paper, we address this limitation by proposing a dynamic fusion-based federated learning(FL) for OWL identification. To overcome geological differences, we propose a dynamic weighted strategy to fuse models and train a general OWL identification model. In addition, an F1 score-based re-weighting scheme is designed and a novel loss function is derived theoretically to solve the data long-tailed problem. Further, a geological knowledge-based mask-attention mechanism is proposed to enhance model feature extraction. To our best knowledge, this is the first work to identify OWL using FL. We evaluate the proposed approach with an actual well logging dataset from the oil field and a public 3W dataset. Experimental results demonstrate that our approach significantly out-performs other AI methods.


title: On the coniveau filtration on algebraic $K$-theory of singular schemes

abstract: We construct two functorial filtrations on the algebraic $K$-theory of schemes of finite type over a field $k$ that may admit arbitrary singularities and may be non-reduced, one called the coniveau filtration, and the other called the motivic coniveau filtration. Restricting to the subcategory of smooth $k$-schemes, our coniveau filtration coincides with the classical coniveau (also known as the topological) filtration on algebraic $K$-theory of D. Quillen, whereas our motivic coniveau filtration coincides with the homotopy coniveau filtration for algebraic $K$-theory of M. Levine.


title: Island, Page Curve and Superradiance of Rotating BTZ Black Holes

abstract: We study the Page curve and the information paradox for the BTZ black hole coupled to two thermal baths by applying the island paradigm. We prove that as the island locates outside the event horizon, the entanglement entropy of Hawking radiation for finite temperature black holes obeys the Page curve. However, for extremal rotating black holes, the Page time and the scrambling time become divergent. To avoid the ill-defined of the Page time, we consider the contribution of superradiance, which is a process that can extract rotational energy from black holes. The superradiance continues in a period much shorter than the Page time when the central charge $c$ is not too large. In this process, the Page time, the scrambling time and the black hole thermal entropy all decrease. Whenever the superradiance finishes, the black hole turn out to be a neutral black hole and the Hawking radiation dominates. The Page curve can then be well reproduced.


title: Detection of anomalous element distribution in the extremely slowly rotating magnetic O9.7 V star HD 54879

abstract: The O9.7 V star HD 54879 is currently the only massive magnetic star whose magnetic field geometry and rotation period are not constrained. Over the last three years, we gathered additional observations of this star, obtained using various instruments at several astronomical facilities with, the aim to constrain the rotation period and the magnetic field geometry. The new data include the first full Stokes vector observations with the PEPSI spectropolarimeter, installed at the Large Binocular Telescope. The acquired spectropolarimetric observations show a very slow magnetic field variability related to the extremely slow rotation of HD 54879, which is also indicated in a dynamical spectrum, displaying variability of the H$\alpha$ line. The most intriguing result of our study is the discovery of differences in longitudinal magnetic field strengths measured using different LSD masks containing lines belonging to different elements. It is the first time that such a differential analysis of the field strength in dependence of the used lines is carried out for a magnetic O-type star. Since the LSD Stokes $I$ profiles of the studied O, Si, and He line masks remain stable over all observing epochs, we conclude that the detection of different field strengths using lines belonging to these elements is related to the different formation depths, with the He lines formed much higher in the stellar atmosphere compared to the silicon and the oxygen lines, and NLTE effects. Our numerical magnetospherical model suggests the presence of enhanced gas density that fills the volume inside the field lines close to the star.


title: Mass-conservation increases robustness in stochastic reaction-diffusion models of cell crawling

abstract: The process of polarization determines the head and tail of single cells. A mechanism of this kind frequently precedes the subsequent cell locomotion and it determines the direction of motion. The process of polarization has frequently been described as a reaction-diffusion mechanism combined with a source of stochastic perturbations. We selected a particular model of amoeboid cell crawling for the motion of Dictyostelium discoideum and studied the interplay between pattern formation and locomotion. Next, we integrated the model in a two-dimensional domain considering the shape deformations of the cells in order to characterize the dynamics. We saw that the condition of pattern formation is finely tuned and we propose a modification based on the use of a mass-conservation constraint to substantially increase the robustness of the mathematical model.


title: Feature-context driven Federated Meta-Learning for Rare Disease Prediction

abstract: Millions of patients suffer from rare diseases around the world. However, the samples of rare diseases are much smaller than those of common diseases. In addition, due to the sensitivity of medical data, hospitals are usually reluctant to share patient information for data fusion citing privacy concerns. These challenges make it difficult for traditional AI models to extract rare disease features for the purpose of disease prediction. In this paper, we overcome this limitation by proposing a novel approach for rare disease prediction based on federated meta-learning. To improve the prediction accuracy of rare diseases, we design an attention-based meta-learning (ATML) approach which dynamically adjusts the attention to different tasks according to the measured training effect of base learners. Additionally, a dynamic-weight based fusion strategy is proposed to further improve the accuracy of federated learning, which dynamically selects clients based on the accuracy of each local model. Experiments show that with as few as five shots, our approach out-performs the original federated meta-learning algorithm in accuracy and speed. Compared with each hospital's local model, the proposed model's average prediction accuracy increased by 13.28%.


title: On Kaprekar's Junction Numbers

abstract: A base-b junction number u has the property that there are at least two ways to write it as u = v + s(v), where s(v) is the sum of the digits in the expansion of the number v in base b. For the base-10 case, Kaprekar in the 1950's and 1960's studied the problem of finding K(n), the smallest u such that the equation u=v+s(v) has exactly n solutions. He gave the values K(2)=101, K(3)=10^13+1, and conjectured that K(4)=10^24+102. In 1966 Narasinga Rao gave the upper bound 10^1111111111124+102 for K(5), as well as upper bounds for K(6), K(7), K(8), and K(16). In the present work, we derive a set of recurrences which determine K(n) for any base b and in particular imply that these conjectured values of K(n) are correct. The key to our approach is an apparently new recurrence for F(u), the number of solutions to u=v+s(v). We illustrate our method by computing the values of K(n) for n <= 16 and bases b <= 10, and show that for each base K(n) grows as a tower of height proportional to log_2(n). Rather surprisingly, the values of K(n) for the base-5 problem are determined by the classical Thue-Morse sequence, which leads us to define generalized Thue-Morse sequences for other bases.


title: A single-crystal alkali antimonide photocathode: high efficiency in the ultra-thin limit

abstract: The properties of photoemission electron sources determine the ultimate performance of a wide class of electron accelerators and photon detectors. To date, all high-efficiency visible-light photocathode materials are either polycrystalline or exhibit intrinsic surface disorder, both of which limit emitted electron beam brightness. In this letter we demonstrate the synthesis of epitaxial thin films of Cs$_3$Sb on 3C-SiC (001) using molecular-beam epitaxy. Films as thin as 4 nm have quantum efficiencies exceeding 2\% at 532 nm. We also find that epitaxial films have an order of magnitude larger quantum efficiency at 650 nm than comparable polycrystalline films on Si. Additionally, these films permit angle-resolved photoemission spectroscopy measurements of the electronic structure, which are found to be in good agreement with theory. Epitaxial films open the door to dramatic brightness enhancements via increased efficiency near threshold, reduced surface disorder, and the possibility of engineering new photoemission functionality at the level of single atomic layers.


title: Reproducing kernel Hilbert spaces of polyanalytic functions of infinite order

abstract: In this paper we introduce reproducing kernel Hilbert spaces of polyanalytic functions of infinite order. First we study in details the counterpart of the Fock space and related results in this framework. In this case the kernel function is given by $\displaystyle e^{z\overline{w}+\overline{z}w}$ which can be connected to kernels of polyanalytic Fock spaces of finite order. Segal-Bargmann and Berezin type transforms are also considered in this setting. Then, we study the reproducing kernel Hilbert spaces of complex-valued functions with reproducing kernel $\displaystyle\frac{1}{(1-z\overline{w})(1-\overline{z}w)}$ and $\displaystyle\frac{1}{1-2{\rm Re}\, z\overline{w}}$. The corresponding backward shift operators are introduced and investigated.


title: Adaptivity and Non-stationarity: Problem-dependent Dynamic Regret for Online Convex Optimization

abstract: We investigate online convex optimization in non-stationary environments and choose dynamic regret as the performance measure, defined as the difference between cumulative loss incurred by the online algorithm and that of any feasible comparator sequence. Let $T$ be the time horizon and $P_T$ be the path length that essentially reflects the non-stationarity of environments, the state-of-the-art dynamic regret is $\mathcal{O}(\sqrt{T(1+P_T)})$. Although this bound is proved to be minimax optimal for convex functions, in this paper, we demonstrate that it is possible to further enhance the guarantee for some easy problem instances, particularly when online functions are smooth. Specifically, we introduce novel online algorithms that can exploit smoothness and replace the dependence on $T$ in dynamic regret with problem-dependent quantities: the variation in gradients of loss functions, the cumulative loss of the comparator sequence, and the minimum of these two terms. These quantities are at most $\mathcal{O}(T)$ while could be much smaller in benign environments. Therefore, our results are adaptive to the intrinsic difficulty of the problem, since the bounds are tighter than existing results for easy problems and meanwhile safeguard the same rate in the worst case. Notably, our proposed algorithms can achieve favorable dynamic regret with only one gradient per iteration, sharing the same gradient query complexity as the static regret minimization methods. To accomplish this, we introduce the collaborative online ensemble framework. The proposed framework employs a two-layer online ensemble to handle non-stationarity, and uses optimistic online learning and further introduces crucial correction terms to enable effective collaboration within the meta-base two layers, thereby attaining adaptivity. We believe the framework can be useful for broader problems.


title: Observation of $J/\psi$ Electromagnetic Dalitz Decays to $X(1835)$, $X(2120)$ and $X(2370)$

abstract: Using a sample of about 10 billion $J/\psi$ events collected at a center-of-mass energy $\sqrt s = 3.097$ GeV with the BESIII detector, the electromagnetic Dalitz decays $J/\psi \to e^+e^- \pi^+ \pi^- \eta'$, with $\eta'\to\gamma\pi^+ \pi^-$ and $\eta'\to\pi^+\pi^-\eta$, have been studied. The decay $J/\psi \to e^+ e^- X(1835)$ is observed with a significance of $15\sigma$, and the transition form factor of $J/\psi\to e^+e^-X(1835)$ is presented for the first time. The intermediate states $X(2120)$ and $X(2370)$ are also observed in the $\pi^+ \pi^- \eta'$ invariant mass spectrum with significances of $5.3\sigma$ and $7.3\sigma$. The corresponding product branching fractions for $J/\psi\to e^+e^-X$, $X\to\pi^+\pi^-\eta'$ $(X=X(1835), X(2120)$ and $X(2370))$, are reported.


title: On the Overlooked Significance of Underutilized Contextual Features in Recent News Recommendation Models

abstract: Personalized news recommendation aims to provide attractive articles for readers by predicting their likelihood of clicking on a certain article. To accurately predict this probability, plenty of studies have been proposed that actively utilize content features of articles, such as words, categories, or entities. However, we observed that the articles' contextual features, such as CTR (click-through-rate), popularity, or freshness, were either neglected or underutilized recently. To prove that this is the case, we conducted an extensive comparison between recent deep-learning models and naive contextual models that we devised and surprisingly discovered that the latter easily outperforms the former. Furthermore, our analysis showed that the recent tendency to apply overly sophisticated deep-learning operations to contextual features was actually hindering the recommendation performance. From this knowledge, we design a purposefully simple contextual module that can boost the previous news recommendation models by a large margin.


title: Structural properties of Toeplitz graphs

abstract: In this paper, we study structural properties of Toeplitz graphs. We characterize $K_q$-free Toeplitz graphs for an integer $q \ge 3$ and give equivalent conditions for a Toeplitz graph $G_n\langle t_1, t_2,\ldots, t_k\rangle$ with $t_1<\cdots<t_k$ and $n \ge t_{k-1}+t_{k}$ being chordal and equivalent conditions for a Toeplitz graph $G_n\langle t_1,t_2 \rangle$ being perfect. Then we compute the edge clique cover number and the vertex clique cover number of a chordal Toeplitz graph. Finally, we characterize the degree sequence $(d_1,d_2,\ldots,d_n)$ of a Toeplitz graph with $n$ vertices and show that a Toeplitz graph is a regular graph if and only if it is a circulant graph.


title: Ultrahigh toughness polycrystalline ceramics without fading of strength

abstract: Zirconia ceramics have been known as a structural material with high fracture toughness and strength since Garvie et al. discovered phase transformation toughening in 1975 [1]. Although these mechanical properties are the most excellent among the advanced ceramics, the toughness has not yet reached the level of metallic materials. Here, we demonstrate for the first time that 2.9 mass% Y2O3-stabilized ZrO2s doped with Al2O3 greatly exceed the toughness of conventional zirconia ceramics which is comparable to those of metallic materials, even with slightly higher strength. The excellent mechanical properties in the proposed ceramic materials will be useful for further expanding the application of advanced ceramics to many engineering fields.


title: Approximate symmetries, pseudo-Goldstones, and the second law of thermodynamics

abstract: We propose a general hydrodynamic framework for systems with spontaneously broken approximate symmetries. The second law of thermodynamics naturally results in relaxation in the hydrodynamic equations, and enables us to derive a universal relation between damping and diffusion of pseudo- Goldstones. We discover entirely new physical effects sensitive to explicitly broken symmetries. We focus on systems with approximate U(1) and translation symmetries, with direct applications to pinned superfluids and charge density waves. We also comment on the implications for chiral perturbation theory.

categories: hep-th cond-mat.soft cond-mat.str-el hep-ph


title: Biochemical pathways of forward/backward steps of motor protein kinesin-1

abstract: Kinesin-1 is an ATP-driven, two-headed motor protein that transports intracellular cargoes along microtubule. Based on recent experimental observations, we formulate a mechanochemical model for it, in which forward/backward/futile cycle of kinesin-1 can be realized through multiple biochemical pathways. Our results show that both forward and futile cycles consist of two biochemical pathways, while backward cycle may be realized through six possible pathways. Backward motion of kinesin-1 is mainly through backward sliding along microtubule when it is in semi-detach state, and usually coupled with ATP hydrolysis. Under low external load, about 80\% of ATP is wasted by kinesin-1, and this proportion of waste is almost independent of ATP concentration. At high ATP concentration or under high external load, both heads of kinesin are always in ATP or ADP$\cdot$Pi binding state and bind to microtubule tightly. But at low ATP concentration and low load, kinesin mainly stays at the one head bound state. In contrast to mean run length, the mean run time of kinesin-1 along microtubule decreases with ATP concentration. Unless external load is near the stall force, the motion of kinesin-1 is almost deterministic, not as predicted by usual Browian ratchet models.


title: Variational Learning for the Inverted Beta-Liouville Mixture Model and Its Application to Text Categorization

abstract: The finite invert Beta-Liouville mixture model (IBLMM) has recently gained some attention due to its positive data modeling capability. Under the conventional variational inference (VI) framework, the analytically tractable solution to the optimization of the variational posterior distribution cannot be obtained, since the variational object function involves evaluation of intractable moments. With the recently proposed extended variational inference (EVI) framework, a new function is proposed to replace the original variational object function in order to avoid intractable moment computation, so that the analytically tractable solution of the IBLMM can be derived in an elegant way. The good performance of the proposed approach is demonstrated by experiments with both synthesized data and a real-world application namely text categorization.


title: Cantor Spectrum for CMV Matrices With Almost Periodic Verblunsky Coefficients

abstract: We consider extended CMV matrices with analytic quasi-periodic Verblunsky coefficients with Diophantine frequency vector in the perturbatively small coupling constant regime and prove the analyticity of the tongue boundaries. As a consequence we establish that, generically, all gaps of the spectrum that are allowed by the Gap Labelling Theorem are open and hence the spectrum is a Cantor set. We also prove these results for a related class of almost periodic Verblunsky coefficients and present an application to suitable quantum walk models on the integer lattice.