title: Modeling and Control of Multi-Energy Dynamical Systems: Hidden Paths to Decarbonization

abstract: This paper points out some key drawbacks of today's modeling and control underlying hierarchical electric power system operations and planning as the hidden roadblocks on the way to decarbonization. We suggest that these can be overcome by enhancing today's information exchange and control. This can be done by revealing and utilising inherent structure-preserving features of complex physical systems, and, based on this, by establishing multi-layered energy modeling. Each module (component, control area, non-utility-owned entities) can be characterized in terms of its interaction variable, and higher level models can be used to understand the interaction dynamics between different modules. Once the structure is understood, we propose nonlinear energy control for these modules which supports feed-forward self-adaptation to ensure feasible interconnected system. Based on these technology agnostic structures it becomes possible to expand today's Balancing Authorities (BA) to multi-layered interactive intelligent Balancing Authorities (iBAs) and to introduce protocols for flexible utilization of diverse technologies over broad ranges of temporal and spatial conditions.


title: Confinement-Induced Chiral Edge Channel Interaction in Quantum Anomalous Hall Insulators

abstract: In quantum anomalous Hall (QAH) insulators, the interior is insulating but electrons can travel with zero resistance along one-dimensional conducting paths known as chiral edge channels (CECs). These CECs have been predicted to be confined to the one-dimensional (1D) edges and exponentially decay in the two-dimensional (2D) bulk. In this work, we present the results of a systematic study of QAH devices fashioned in a Hall bar geometry of different widths. At the charge neutral point, the QAH effect persists in a Hall bar device with a width of only ~72 nm, implying the intrinsic decaying length of CECs is less than ~36 nm. In the electron-doped regime, we find that the Hall resistance deviates quickly from the quantized value when the sample width is less than 1 um. Our theoretical calculations suggest that the deviation from the quantized Hall resistance in narrow QAH samples originates from the interaction between two opposite CECs mediated by disorder-induced bulk states in QAH insulators, consistent with our experimental observations.


title: Correcting $k$ Deletions and Insertions in Racetrack Memory

abstract: One of the main challenges in developing racetrack memory systems is the limited precision in controlling the track shifts, that in turn affects the reliability of reading and writing the data. A current proposal for combating deletions in racetrack memories is to use redundant heads per-track resulting in multiple copies (potentially erroneous) and recovering the data by solving a specialized version of a sequence reconstruction problem. Using this approach, $k$-deletion correcting codes of length $n$, with $d \ge 2$ heads per-track, with redundancy $\log \log n + 4$ were constructed. However, the known approach requires that $k \le d$, namely, that the number of heads ($d$) is larger than or equal to the number of correctable deletions ($k$). Here we address the question: What is the best redundancy that can be achieved for a $k$-deletion code ($k$ is a constant) if the number of heads is fixed at $d$ (due to implementation constraints)? One of our key results is an answer to this question, namely, we construct codes that can correct $k$ deletions, for any $k$ beyond the known limit of $d$. The code has $4k \log \log n+o(\log \log n)$ redundancy for $k \le 2d-1$. In addition, when $k \ge 2d$, our codes have $2 \lfloor k/d\rfloor \log n+o(\log n)$ redundancy, that we prove it is order-wise optimal, specifically, we prove that the redundancy required for correcting $k$ deletions is at least $\lfloor k/d\rfloor \log n+o(\log n)$. The encoding/decoding complexity of our codes is $O(n\log^{2k}n)$. Finally, we ask a general question: What is the optimal redundancy for codes correcting a combination of at most $k$ deletions and insertions in a $d$-head racetrack memory? We prove that the redundancy sufficient to correct a combination of $k$ deletion and insertion errors is similar to the case of $k$ deletion errors.


title: Functional varying-coefficient model under heteroskedasticity with application to DTI data

abstract: In this paper, we develop a multi-step estimation procedure to simultaneously estimate the varying-coefficient functions using a local-linear generalized method of moments (GMM) based on continuous moment conditions. To incorporate spatial dependence, the continuous moment conditions are first projected onto eigen-functions and then combined by weighted eigen-values, thereby, solving the challenges of using an inverse covariance operator directly. We propose an optimal instrument variable that minimizes the asymptotic variance function among the class of all local-linear GMM estimators, and it outperforms the initial estimates which do not incorporate the spatial dependence. Our proposed method significantly improves the accuracy of the estimation under heteroskedasticity and its asymptotic properties have been investigated. Extensive simulation studies illustrate the finite sample performance, and the efficacy of the proposed method is confirmed by real data analysis.


title: Adversarial Contrastive Learning via Asymmetric InfoNCE

abstract: Contrastive learning (CL) has recently been applied to adversarial learning tasks. Such practice considers adversarial samples as additional positive views of an instance, and by maximizing their agreements with each other, yields better adversarial robustness. However, this mechanism can be potentially flawed, since adversarial perturbations may cause instance-level identity confusion, which can impede CL performance by pulling together different instances with separate identities. To address this issue, we propose to treat adversarial samples unequally when contrasted, with an asymmetric InfoNCE objective ($A-InfoNCE$) that allows discriminating considerations of adversarial samples. Specifically, adversaries are viewed as inferior positives that induce weaker learning signals, or as hard negatives exhibiting higher contrast to other negative samples. In the asymmetric fashion, the adverse impacts of conflicting objectives between CL and adversarial learning can be effectively mitigated. Experiments show that our approach consistently outperforms existing Adversarial CL methods across different finetuning schemes without additional computational cost. The proposed A-InfoNCE is also a generic form that can be readily extended to other CL methods. Code is available at https://github.com/yqy2001/A-InfoNCE.


title: Cosmology in Painleve-Gullstrand coordinates

abstract: Cosmology is most typically analyzed using standard co-moving coordinates, in which the galaxies are (on average, up to presumably small peculiar velocities) "at rest", while "space" is expanding. But this is merely a specific coordinate choice; and it is important to realise that for certain purposes other, (sometimes radically different) coordinate choices might also prove useful and informative, but without changing the underlying physics. Specifically, herein we shall consider the k=0 spatially flat FLRW cosmology but in Painleve-Gullstrand coordinates -- these coordinates are very explicitly not co-moving: "space" is now no longer expanding, although the distance between galaxies is still certainly increasing. Working in these Painleve-Gullstrand coordinates provides an alternate viewpoint on standard cosmology, and the symmetries thereof, and also makes it somewhat easier to handle cosmological horizons. With a longer view, we hope that investigating these Painleve-Gullstrand coordinates might eventually provide a better framework for understanding large deviations from idealized FLRW spacetimes. We illustrate these issues with a careful look at the Kottler and McVittie spacetimes.


title: Human Brains Can't Detect Fake News: A Neuro-Cognitive Study of Textual Disinformation Susceptibility

abstract: The spread of digital disinformation (aka "fake news") is arguably one of the most significant threats on the Internet which can cause individual and societal harm of large scales. The susceptibility to fake news attacks hinges on whether Internet users perceive a fake news article/snippet to be legitimate after reading it. In this paper, we attempt to garner an in-depth understanding of users' susceptibility to text-centric fake news attacks via a neuro-cognitive methodology. We investigate the neural underpinnings relevant to fake/real news through EEG. We run an experiment with human users to pursue a thorough investigation of users' perception and cognitive processing of fake/real news. We analyze the neural activity associated with the fake/real news detection task for different categories of news articles. Our results show there may be no statistically significant or automatically inferable differences in the way the human brain processes the fake vs. real news, while marked differences are observed when people are subject to (real/fake) news vs. resting state and even between some different categories of fake news. This neuro-cognitive finding may help to justify users' susceptibility to fake news attacks, as also confirmed from the behavioral analysis. In other words, the fake news articles may seem almost indistinguishable from the real news articles in both behavioral and neural domains. Our work serves to dissect the fundamental neural phenomena underlying fake news attacks and explains users' susceptibility to these attacks through the limits of human biology. We believe this could be a notable insight for the researchers and practitioners suggesting the human detection of fake news might be ineffective, which may also have an adverse impact on the design of automated detection approaches that crucially rely upon human labeling of text articles for building training models


title: Deep Manifold Learning with Graph Mining

abstract: Admittedly, Graph Convolution Network (GCN) has achieved excellent results on graph datasets such as social networks, citation networks, etc. However, softmax used as the decision layer in these frameworks is generally optimized with thousands of iterations via gradient descent. Furthermore, due to ignoring the inner distribution of the graph nodes, the decision layer might lead to an unsatisfactory performance in semi-supervised learning with less label support. To address the referred issues, we propose a novel graph deep model with a non-gradient decision layer for graph mining. Firstly, manifold learning is unified with label local-structure preservation to capture the topological information of the nodes. Moreover, owing to the non-gradient property, closed-form solutions is achieved to be employed as the decision layer for GCN. Particularly, a joint optimization method is designed for this graph model, which extremely accelerates the convergence of the model. Finally, extensive experiments show that the proposed model has achieved state-of-the-art performance compared to the current models.


title: Non-unital algebraic $K$-theory and almost mathematics

abstract: The Gersten conjecture is still an open problem of algebraic $K$-theory for mixed characteristic discrete valuation rings. In this paper, we establish non-unital algebraic $K$-theory which is modified to become an exact functor from the category of non-unital algebras to the stable $\infty$-category of spectra. We prove that for any almost unital algebra, the non-unital $K$-theory homotopically decomposes into the non-unital $K$-theory the corresponding ideal and the residue algebra, implying the Gersten property of non-unital $K$-theory of the the corresponding ideal.


title: Inspector: Pixel-Based Automated Game Testing via Exploration, Detection, and Investigation

abstract: Deep reinforcement learning (DRL) has attracted much attention in automated game testing. Early attempts rely on game internal information for game space exploration, thus requiring deep integration with games, which is inconvenient for practical applications. In this work, we propose using only screenshots/pixels as input for automated game testing and build a general game testing agent, Inspector, that can be easily applied to different games without deep integration with games. In addition to covering all game space for testing, our agent tries to take human-like behaviors to interact with key objects in a game, since some bugs usually happen in player-object interactions. Inspector is based on purely pixel inputs and comprises three key modules: game space explorer, key object detector, and human-like object investigator. Game space explorer aims to explore the whole game space by using a curiosity-based reward function with pixel inputs. Key object detector aims to detect key objects in a game, based on a small number of labeled screenshots. Human-like object investigator aims to mimic human behaviors for investigating key objects via imitation learning. We conduct experiments on two popular video games: Shooter Game and Action RPG Game. Experiment results demonstrate the effectiveness of Inspector in exploring game space, detecting key objects, and investigating objects. Moreover, Inspector successfully discovers two potential bugs in those two games. The demo video of Inspector is available at https://github.com/Inspector-GameTesting/Inspector-GameTesting.


title: Visual Representations of Physiological Signals for Fake Video Detection

abstract: Realistic fake videos are a potential tool for spreading harmful misinformation given our increasing online presence and information intake. This paper presents a multimodal learning-based method for detection of real and fake videos. The method combines information from three modalities - audio, video, and physiology. We investigate two strategies for combining the video and physiology modalities, either by augmenting the video with information from the physiology or by novelly learning the fusion of those two modalities with a proposed Graph Convolutional Network architecture. Both strategies for combining the two modalities rely on a novel method for generation of visual representations of physiological signals. The detection of real and fake videos is then based on the dissimilarity between the audio and modified video modalities. The proposed method is evaluated on two benchmark datasets and the results show significant increase in detection performance compared to previous methods.


title: Persistence of correlation-driven surface states in SmB6 under pressure

abstract: The proposed topological Kondo insulator SmB$_{6}$ hosts a bulk Kondo hybridization gap that stems from strong electronic correlations and a metallic surface state whose effective mass remains disputed. Thermopower and scanning tunneling spectroscopy measurements argue for heavy surface states that also stem from strong correlations, whereas quantum oscillation and angle-resolved photoemission measurements reveal light effective masses that would be consistent with a Kondo breakdown scenario at the surface. Here we investigate the evolution of the surface state via electrical and thermoelectric transport measurements under hydrostatic pressure, a clean symmetry-preserving tuning parameter that suppresses the Kondo gap and increases the valence of Sm from 2.6+ towards a 3+ magnetic metallic state. Electrical resistivity measurements reveal that the surface carrier density increases with increasing pressure, whereas thermopower measurements show an unchanged Fermi energy under pressure. As a result, the effective mass of the surface state charge carriers linearly increases with pressure as the Sm valence approaches 3+. Our results are consistent with the presence of correlation-driven surface states in SmB$_{6}$ and suggest that the surface Kondo effect persists under pressure to 2 GPa.


title: Dissecting Nearby Galaxies with piXedfit: II. Spatially Resolved Scaling Relations Among Stars, Dust, and Gas

abstract: We study spatially resolved scaling relations among stars, dust, and gas in ten nearby spiral galaxies. In a preceding paper Abdurro'uf et al. (2022), we have derived spatially resolved properties of the stellar population and dust by panchromatic spectral energy distribution (SED) fitting using piXedfit. Now, we investigate resolved star formation ($\Sigma_{\rm H_{2}}$--$\Sigma_{\rm SFR}$--$\Sigma_{*}$) and dust scaling relations. While the relations with all sub-galactic regions of the galaxies are reasonably tight ($\sigma \lesssim 0.3$ dex), we find that most of the scaling relations exhibit galaxy-to-galaxy variations in normalization and shape. Only two relations of $\Sigma_{\rm dust}$--$\Sigma_{\rm gas}$ and $\Sigma_{\rm dust}$--$\Sigma_{\rm H_{2}}$ do not show noticeable galaxy-to-galaxy variations among our sample galaxies. We further investigate correlations among the scaling relations. We find significant correlations among the normalization of the $\Sigma_{\rm H_{2}}$--$\Sigma_{\rm SFR}$--$\Sigma_{*}$ relations, which suggest that galaxies with higher levels of resolved $\text{H}_{2}$ fraction ($f_{\rm H_{2}}$) tend to have higher levels of resolved star formation efficiency (SFE) and specific star formation rate (sSFR). We also observe that galaxies with higher levels of resolved dust-to-stellar mass ratios tend to have higher levels of resolved sSFR, SFE, and $f_{\rm H_{2}}$. Moreover, we find that galaxies with higher global sSFR and less compact morphology tend to have higher levels of the resolved sSFR, SFE, and $f_{\rm H_{2}}$, which can explain the variations in the normalization of the $\Sigma_{\rm H_{2}}$--$\Sigma_{\rm SFR}$--$\Sigma_{*}$ relationships. Overall, we observe indications of the contributions of both global and local factors in governing the star formation process in galaxies.


title: A New Necessary and Sufficient Condition for the Existence of Global Solutions to Semilinear Parabolic Equations on Bounded Domains

abstract: The purpose of this paper is to give a necessary and sufficient condition for the existence and non-existence of global solutions of the following semilinear parabolic equations \[ u_{t}=\Delta u+\psi(t)f(u),\,\,\mbox{ in }\Omega\times (0,t^{*}), \] under the Dirichlet boundary condition on a bounded domain. In fact, this has remained as an open problem for a few decades, even for the case $f(u)=u^{p}$. As a matter of fact, we prove: \[ \begin{aligned} &\mbox{there is no global solution for any initial data if and only if } &\mbox{the function } f \mbox{ satisfies} &\hspace{20mm}\int_{0}^{\infty}\psi(t)\frac{f\left(\lVert S(t)u_{0}\rVert_{\infty}\right)}{\lVert S(t)u_{0}\rVert_{\infty}}dt=\infty &\mbox{for every }\,\epsilon>0\,\mbox{ and nonnegative nontrivial initial data }\,u_{0}\in C_{0}(\Omega). \end{aligned} \] Here, $(S(t))_{t\geq 0}$ is the heat semigroup with the Dirichlet boundary condition.


title: Spatio-temporal smoothing, interpolation and prediction of income distributions based on grouped data

abstract: In Japan, the Housing and Land Survey (HLS) provides municipality-level grouped data on household incomes. Although these data can be used for effective local policymaking, their analyses are hindered by several challenges, such as limited information attributed to grouping, the presence of non-sampled areas, and the very low frequency of implementing surveys. To address these challenges, we propose a novel grouped-data-based spatio-temporal finite mixture model to model the income distributions of multiple spatial units at multiple time points. A unique feature of the proposed method is that all the areas share common latent distributions and that the mixing proportions that include the spatial and temporal effects capture the potential area-wise heterogeneity. Thus, incorporating these effects can smooth out the quantities of interest over time and space, impute missing values, and predict future values. By treating the HLS data with the proposed method, we obtain complete maps of the income and poverty measures at an arbitrary time point, which can be used to facilitate rapid and efficient policymaking with fine granularity.


title: Real-time superresolution interferometric measurement enabled by structured nonlinear optics

abstract: Optical interferometers are pillars of modern precision metrology, but their resolution is limited by the wavelength of the light source, which cannot be infinitely reduced. Magically, this limitation can be circumvented by using an entangled multiphoton source because interference produced by an N-photon amplitude features a reduced de Broglie wavelength {\lambda}/N. However, the extremely low efficiency in multiphoton state generation and coincidence counts actually negates the potential of using multiphoton states in practical measurements. Here, we demonstrate a novel interferometric technique based on structured nonlinear optics, i.e., parametric upconversion of a structured beam, capable of superresolution measurement in real time. The main principle relies in that the orbital angular momentum (OAM) state and associated intramodal phase within the structured beam are both continuously multiplied in cascading upconversion to mimic the superresolved phase evolution of a multiphoton amplitude. Owing to the use of bright sensing beams and OAM mode projection, up to a 12-photon de Broglie wavelength with almost perfect visibility is observed in real time and, importantly, by using only a low-cost detector. Our results open the door to real-time superresolution interferometric metrology and provide a promising way toward multiphoton superiority in practical applications.


title: Entity-enhanced Adaptive Reconstruction Network for Weakly Supervised Referring Expression Grounding

abstract: Weakly supervised Referring Expression Grounding (REG) aims to ground a particular target in an image described by a language expression while lacking the correspondence between target and expression. Two main problems exist in weakly supervised REG. First, the lack of region-level annotations introduces ambiguities between proposals and queries. Second, most previous weakly supervised REG methods ignore the discriminative location and context of the referent, causing difficulties in distinguishing the target from other same-category objects. To address the above challenges, we design an entity-enhanced adaptive reconstruction network (EARN). Specifically, EARN includes three modules: entity enhancement, adaptive grounding, and collaborative reconstruction. In entity enhancement, we calculate semantic similarity as supervision to select the candidate proposals. Adaptive grounding calculates the ranking score of candidate proposals upon subject, location and context with hierarchical attention. Collaborative reconstruction measures the ranking result from three perspectives: adaptive reconstruction, language reconstruction and attribute classification. The adaptive mechanism helps to alleviate the variance of different referring expressions. Experiments on five datasets show EARN outperforms existing state-of-the-art methods. Qualitative results demonstrate that the proposed EARN can better handle the situation where multiple objects of a particular category are situated together.


title: A Semantic-aware Attention and Visual Shielding Network for Cloth-changing Person Re-identification

abstract: Cloth-changing person reidentification (ReID) is a newly emerging research topic that aims to retrieve pedestrians whose clothes are changed. Since the human appearance with different clothes exhibits large variations, it is very difficult for existing approaches to extract discriminative and robust feature representations. Current works mainly focus on body shape or contour sketches, but the human semantic information and the potential consistency of pedestrian features before and after changing clothes are not fully explored or are ignored. To solve these issues, in this work, a novel semantic-aware attention and visual shielding network for cloth-changing person ReID (abbreviated as SAVS) is proposed where the key idea is to shield clues related to the appearance of clothes and only focus on visual semantic information that is not sensitive to view/posture changes. Specifically, a visual semantic encoder is first employed to locate the human body and clothing regions based on human semantic segmentation information. Then, a human semantic attention module (HSA) is proposed to highlight the human semantic information and reweight the visual feature map. In addition, a visual clothes shielding module (VCS) is also designed to extract a more robust feature representation for the cloth-changing task by covering the clothing regions and focusing the model on the visual semantic information unrelated to the clothes. Most importantly, these two modules are jointly explored in an end-to-end unified framework. Extensive experiments demonstrate that the proposed method can significantly outperform state-of-the-art methods, and more robust features can be extracted for cloth-changing persons. Compared with FSAM (published in CVPR 2021), this method can achieve improvements of 32.7% (16.5%) and 14.9% (-) on the LTCC and PRCC datasets in terms of mAP (rank-1), respectively.


title: Asymptotic analysis of dynamical systems driven by Poisson random measures with periodic sampling

abstract: In this article, we study the dynamics of a system governed by an ordinary differential equation under the combined influence of fast periodic sampling with period $\delta$ and small jump noise of size $\varepsilon, 0< \varepsilon,\delta \ll 1.$ The noise is a combination of Brownian motion and Poisson random measure. The instantaneous rate of change of the state depends not only on its current value \textit{but} on the most recent measurement of the state, as the state is measured at certain discrete-time instants. As $\varepsilon,\delta \searrow 0,$ the stochastic process of interest converges, in a suitable sense, to the dynamics of the deterministic equation. The study of rescaled fluctuations of the stochastic process around its mean is found to vary depending on the relative rates of convergence of small parameters $\varepsilon, \delta$ in different asymptotic regimes. We show that the rescaled process converges, in a strong (path-wise) sense, to an effective process having an extra drift term capturing both the sampling and noise effect. Consequently, we obtain a first-order perturbation expansion of the stochastic process of interest, in terms of the effective process along with error bounds on the remainder.


title: MLGOPerf: An ML Guided Inliner to Optimize Performance

abstract: For the past 25 years, we have witnessed an extensive application of Machine Learning to the Compiler space; the selection and the phase-ordering problem. However, limited works have been upstreamed into the state-of-the-art compilers, i.e., LLVM, to seamlessly integrate the former into the optimization pipeline of a compiler to be readily deployed by the user. MLGO was among the first of such projects and it only strives to reduce the code size of a binary with an ML-based Inliner using Reinforcement Learning. This paper presents MLGOPerf; the first end-to-end framework capable of optimizing performance using LLVM's ML-Inliner. It employs a secondary ML model to generate rewards used for training a retargeted Reinforcement learning agent, previously used as the primary model by MLGO. It does so by predicting the post-inlining speedup of a function under analysis and it enables a fast training framework for the primary model which otherwise wouldn't be practical. The experimental results show MLGOPerf is able to gain up to 1.8% and 2.2% with respect to LLVM's optimization at O3 when trained for performance on SPEC CPU2006 and Cbench benchmarks, respectively. Furthermore, the proposed approach provides up to 26% increased opportunities to autotune code regions for our benchmarks which can be translated into an additional 3.7% speedup value.


title: A cosmological distance measure using radio-loud quasars

abstract: We use the X-ray luminosity relation of radio-loud quasars (RLQs) to measure these luminosity distances as well as estimate cosmological parameters. We adopt four parametric models of X-ray luminosity to test luminosity correlation for RLQs and radio-intermediate quasars (RIQs) and give these cosmological distances. By Bayesian information criterion (BIC), the data suggest that the luminosity relation ${L_X} \propto L_{UV}^{{\gamma_{uv}}}L_{Radio}^{\gamma_{radio}'}$ for RLQs has better goodness of fit, relative to other models, which can be interpreted as this relation being preferred for RLQs. Meanwhile, we compare the results from flat-spectrum radio-loud quasars (FSRLQs) and steep-spectrum radio-loud quasars (SSRLQs), which indicate that their luminosity correlations are not exactly the same. We also consider dividing the RLQs sample into various redshift bins, which can be used to check if the X-ray luminosity relation depends on the redshift. Finally, we apply a combination of RLQs and SNla Pantheon to verify the nature of dark energy concerning whether or not its density deviates from the constant, and give the statistical results.


title: Federated Learning for Non-IID Data via Client Variance Reduction and Adaptive Server Update

abstract: Federated learning (FL) is an emerging technique used to collaboratively train a global machine learning model while keeping the data localized on the user devices. The main obstacle to FL's practical implementation is the Non-Independent and Identical (Non-IID) data distribution across users, which slows convergence and degrades performance. To tackle this fundamental issue, we propose a method (ComFed) that enhances the whole training process on both the client and server sides. The key idea of ComFed is to simultaneously utilize client-variance reduction techniques to facilitate server aggregation and global adaptive update techniques to accelerate learning. Our experiments on the Cifar-10 classification task show that ComFed can improve state-of-the-art algorithms dedicated to Non-IID data.


title: Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities

abstract: Bitcoin is the most secure blockchain in the world, supported by the immense hash power of its Proof-of-Work miners. Proof-of-Stake chains are energy-efficient, have fast finality but face several security issues: susceptibility to non-slashable long-range safety attacks, low liveness resilience and difficulty to bootstrap from low token valuation. We show that these security issues are inherent in any PoS chain without an external trusted source, and propose a new protocol, Babylon, where an off-the-shelf PoS protocol checkpoints onto Bitcoin to resolve these issues. An impossibility result justifies the optimality of Babylon. A use case of Babylon is to reduce the stake withdrawal delay: our experimental results show that this delay can be reduced from weeks in existing PoS chains to less than 5 hours using Babylon, at a transaction cost of less than 10K USD per annum for posting the checkpoints onto Bitcoin.


title: GLEAM: Greedy Learning for Large-Scale Accelerated MRI Reconstruction

abstract: Unrolled neural networks have recently achieved state-of-the-art accelerated MRI reconstruction. These networks unroll iterative optimization algorithms by alternating between physics-based consistency and neural-network based regularization. However, they require several iterations of a large neural network to handle high-dimensional imaging tasks such as 3D MRI. This limits traditional training algorithms based on backpropagation due to prohibitively large memory and compute requirements for calculating gradients and storing intermediate activations. To address this challenge, we propose Greedy LEarning for Accelerated MRI (GLEAM) reconstruction, an efficient training strategy for high-dimensional imaging settings. GLEAM splits the end-to-end network into decoupled network modules. Each module is optimized in a greedy manner with decoupled gradient updates, reducing the memory footprint during training. We show that the decoupled gradient updates can be performed in parallel on multiple graphical processing units (GPUs) to further reduce training time. We present experiments with 2D and 3D datasets including multi-coil knee, brain, and dynamic cardiac cine MRI. We observe that: i) GLEAM generalizes as well as state-of-the-art memory-efficient baselines such as gradient checkpointing and invertible networks with the same memory footprint, but with 1.3x faster training; ii) for the same memory footprint, GLEAM yields 1.1dB PSNR gain in 2D and 1.8 dB in 3D over end-to-end baselines.


title: A Simulation Methodology for Superconducting Qubit Readout Fidelity

abstract: Qubit readout is a critical part of any quantum computer including the superconducting-qubit-based one. The readout fidelity is affected by the readout pulse width, readout pulse energy, resonator design, qubit design, qubit-resonator coupling, and the noise generated along the readout path. It is thus important to model and predict the fidelity based on various design parameters along the readout path. In this work, a simulation methodology for superconducting qubit readout fidelity is proposed and implemented using Matlab and Ansys HFSS to allow the co-optimization in the readout path. As an example, parameters are taken from an actual superconducting-qubit-based quantum computer and the simulation is calibrated to one experimental point. It is then used to predict the readout error of the system as a function of readout pulse width and power and the results match the experiment well. It is found that the system can still maintain high fidelity even if the input power is reduced by 7dB or if the readout pulse width is 40% narrower. This can be used to guide the design and optimization of a superconducting qubit readout system.


title: Optical Observations of the Nearby Type Ia Supernova 2021hpr

abstract: We present the optical photometric and spectroscopic observations of the nearby Type Ia supernova (SN) 2021hpr. The observations covered the phase of $-$14.37 to +63.68 days relative to its maximum luminosity in the $B$ band. The evolution of multiband light/color curves of SN 2021hpr is similar to that of normal Type Ia supernovae (SNe Ia) with the exception of some phases, especially a plateau phase that appeared in the $V-R$ color curve before peak luminosity, which resembles that of SN 2017cbv. The first spectrum we observed at t $\sim -$14.4 days shows a higher velocity for the Si II $\lambda$6355 feature ($\sim$ 21,000 km s$^{-1}$) than that of other normal Velocity (NV) SNe Ia at the same phase. Based on the Si II $\lambda$6355 velocity of $\sim$ 12,420 km s$^{-1}$ around the maximum light, we deduce that SN 2021hpr is a transitional object between high velocity (HV) and NV SNe Ia. Meanwhile, the Si II $\lambda$6355 feature shows a high velocity gradient (HVG) of about 800 km s$^{-1}$ day$^{-1}$ from roughly $-$14.37 to $-$4.31 days relative to the $B$-band maximum, which indicates that SN 2021hpr can also be classified as an HVG SN Ia. The evolution of SN 2021hpr is similar to that of SN 2011fe. Including SN 2021hpr, there have been six supernovae observed in the host galaxy NGC 3147, and the supernovae explosion rate in the last 50 yr is slightly higher for SNe Ia, while lower for SNe Ibc and SNe II it is lower than expected rate from the radio data. Inspecting the spectra, we find that SN 2021hpr has a metal-rich (12 + log(O/H) $\approx$ 8.648) circumstellar environment, where HV SNe tend to reside. Based on the decline rate of SN 2021hpr in the $B$ band, we determine the distance modulus of the host galaxy NGC 3147 using the Phillips relation to be 33.46 $\pm$ 0.21 mag, which is close to that found by previous works.


title: The First Detection of a Protostellar CO Outflow in the Small Magellanic Cloud with ALMA

abstract: Protostellar outflows are one of the most outstanding features of star formation. Observational studies over the last several decades have successfully demonstrated that outflows are ubiquitously associated with low- and high-mass protostars in the solar-metallicity Galactic conditions. However, the environmental dependence of protostellar outflow properties is still poorly understood, particularly in the low-metallicity regime. Here we report the first detection of a molecular outflow in the Small Magellanic Cloud with 0.2 $Z_{\odot}$, using Atacama Large Millimeter/submillimeter Array observations at a spatial resolution of 0.1 pc toward the massive protostar Y246. The bipolar outflow is nicely illustrated by high-velocity wings of CO(3-2) emission at $\gtrsim$15 km s$^{-1}$. The evaluated properties of the outflow (momentum, mechanical force, etc.) are consistent with those of the Galactic counterparts. Our results suggest that the molecular outflows, i.e., the guidepost of the disk accretion at the small scale, might be universally associated with protostars across the metallicity range of $\sim$0.2-1 $Z_{\odot}$.


title: Topology of equatorial timelike circular orbits around stationary black holes

abstract: A topological approach has been successfully used to study the properties of the light ring and the null circular orbit, in a generic black hole background. However, for the equatorial timelike circular orbit, quite different from the light ring case, its radius is closely dependent of the energy and angular momentum of a test particle. This fact seems to restrict the extension of the topological treatment to the timelike circular orbit. In this paper, we confirm that the angular momentum does not affect the asymptotic behavior of the constructed vector with its zero points denoting the equatorial timelike circular orbits. As a result, a well-behaved topology to characterize the equatorial timelike circular orbits can be constructed. Our study shows that the total topological number of the timelike circular orbits vanishes for a generic black hole, which is dependent of the energy of the particle. Significantly, it reveals that if there the timelike circular orbits exist, they always come in pairs for fixed angular momentum. Meanwhile, the stable and unstable timelike circular orbits have positive or negative winding number. Of particular interest is that the marginally stable circular orbit corresponds to the bifurcation point of the zero point of the constructed vector. Moreover, we also examine the case when the particle energy acts as the control parameter. It is shown that there will be topological phase transition when the value of the particle energy is one. Below this value, the timelike circular orbits always come in pairs for fixed energy. Otherwise, we will have one more unstable timelike circular orbit. We further apply the treatment to the Kerr black hole. All the results given in a generic black hole background are exactly reproduced. These strongly indicate that our topological approach can be generalized to the equatorial timelike circular orbits.


title: Bayesian Optimization for Macro Placement

abstract: Macro placement is the problem of placing memory blocks on a chip canvas. It can be formulated as a combinatorial optimization problem over sequence pairs, a representation which describes the relative positions of macros. Solving this problem is particularly challenging since the objective function is expensive to evaluate. In this paper, we develop a novel approach to macro placement using Bayesian optimization (BO) over sequence pairs. BO is a machine learning technique that uses a probabilistic surrogate model and an acquisition function that balances exploration and exploitation to efficiently optimize a black-box objective function. BO is more sample-efficient than reinforcement learning and therefore can be used with more realistic objectives. Additionally, the ability to learn from data and adapt the algorithm to the objective function makes BO an appealing alternative to other black-box optimization methods such as simulated annealing, which relies on problem-dependent heuristics and parameter-tuning. We benchmark our algorithm on the fixed-outline macro placement problem with the half-perimeter wire length objective and demonstrate competitive performance.


title: Extension of selected configuration interaction for transcorrelated methods

abstract: In this work we present an extension of the popular selected configuration interaction (SCI) algorithms to the Transcorrelated (TC) framework. Although we used in this work the recently introduced one-parameter correlation factor [E. Giner, J. Chem. Phys., 154, 084119 (2021)], the theory presented here is valid for any correlation factor. Thanks to the formalization of the non Hermitian TC eigenvalue problem as a search of stationary points for a specific functional depending both on left-and right-functions, we obtain a general framework allowing different choices for both the selection criterion in SCI and the second order perturbative correction to the energy. After numerical investigations on different second-row atomic and molecular systems in increasingly large basis sets, we found that taking into account the non Hermitian character of the TC Hamiltonian in the selection criterion is mandatory to obtain a fast convergence of the TC energy. Also, selection criteria based on either the first order coefficient or the second order energy lead to significantly different convergence rates, which is typically not the case in the usual Hermitian SCI. Regarding the convergence of the total second order perturbation energy, we find that the quality of the left-function used in the equations strongly affects the quality of the results. Within the near-optimal algorithm proposed here we find that the SCI expansion in the TC framework converges faster than the usual SCI both in terms of basis set and number of Slater determinants.


title: On the geometry of $(\sigma,\tau)$-algebras

abstract: We introduce $(\sigma,\tau)$-algebras as a framework for twisted differential calculi over noncommutative, as well as commutative, algebras with motivations from the theory of $\sigma$-derivations and quantum groups. A $(\sigma,\tau)$-algebra consists of an associative algebra together with a set of $(\sigma,\tau)$-derivations, and corresponding notions of $(\sigma,\tau)$-modules and connections are introduced. We prove that $(\sigma,\tau)$-connections exist on projective modules, and introduce notions of both torsion and curvature, as well as compatibility with a hermitian form, leading to the definition of a Levi-Civita $(\sigma,\tau)$-connection. To illustrate the novel concepts, we consider $(\sigma,\tau)$-algebras and connections over matrix algebras in detail.


title: Marvista: Exploring the Design of a Human-AI Collaborative News Reading Tool

abstract: We explore the design of Marvista -- a human-AI collaborative tool that employs a suite of natural language processing models to provide end-to-end support for reading online news articles. Before reading an article, Marvista helps a user plan what to read by filtering text based on how much time one can spend and what questions one is interested to find out from the article. During reading, Marvista helps the user reflect on their understanding of each paragraph with AI-generated questions. After reading, Marvista generates an explainable human-AI summary that combines both AI's processing of the text, the user's reading behavior, and user-generated data in the reading process. In contrast to prior work that offered (content-independent) interaction techniques or devices for reading, Marvista takes a human-AI collaborative approach that contributes text-specific guidance (content-aware) to support the entire reading process.


title: Smooth $A_{\infty}$ form on a diffeological loop space

abstract: To construct an $A_{\infty}$-form for a loop space in the category of diffeological spaces, we have two minor problems. Firstly, the concatenation of paths in the category of diffeological spaces needs a small technical trick (see P.~I-Zemmour \cite{MR3025051}), which apparently restricts the number of iterations of concatenations. Secondly, we do not know a natural smooth decomposition of an associahedron as a simplicial or a cubical complex. To resolve these difficulties, we introduce a notion of a $q$-cubic set which enjoys good properties on dimensions and representabilities, and show, using it, that the smooth loop space of a reflexive diffeological space is a h-unital smooth $A_{\infty}$-space. In appendix, we show an alternative solution by modifying the concatenation to be stable without assuming reflexivity for spaces nor stability for paths.


title: MPIB: An MPI-Based Bokeh Rendering Framework for Realistic Partial Occlusion Effects

abstract: Partial occlusion effects are a phenomenon that blurry objects near a camera are semi-transparent, resulting in partial appearance of occluded background. However, it is challenging for existing bokeh rendering methods to simulate realistic partial occlusion effects due to the missing information of the occluded area in an all-in-focus image. Inspired by the learnable 3D scene representation, Multiplane Image (MPI), we attempt to address the partial occlusion by introducing a novel MPI-based high-resolution bokeh rendering framework, termed MPIB. To this end, we first present an analysis on how to apply the MPI representation to bokeh rendering. Based on this analysis, we propose an MPI representation module combined with a background inpainting module to implement high-resolution scene representation. This representation can then be reused to render various bokeh effects according to the controlling parameters. To train and test our model, we also design a ray-tracing-based bokeh generator for data generation. Extensive experiments on synthesized and real-world images validate the effectiveness and flexibility of this framework.


title: Fully turbulent flows of viscoplastic fluids in a rectangular duct

abstract: Turbulent flows of viscoplastic fluids at high Reynolds numbers have been investigated recently with direct numerical simulations (DNS) but experimental results have been limited. For this reason, we carry out an experimental study of fully turbulent flows of a yield stress fluid in a rectangular aspect ratio channel with a high-resolution laser doppler velocimetry (LDA) setup. We employ aqueous Carbopol solutions, often considered to be a simple yield stress fluid. We formulate different concentrations to address the effect of the rheology of the fluid on the turbulence statistics at an approximately constant Reynolds number. Additionally, we also perform experiments with a single Carbopol formulation at different Reynolds numbers to study its effect. The flow analysis is performed via rheology measurements, turbulence statistics and power spectral densities of velocity fluctuations. The addition of Carbopol to the flow increases turbulence anisotropy, with an enhancement of streamwise velocity fluctuations and a decrease in wall normal velocity fluctuations in comparison to water at the same mean velocity. This change is reflected on the power spectral densities of streamwise velocity fluctuations, where we observe a large increase in energy of large scale turbulent structures. Conversely, the energy of smaller scales is decreased in comparison to water, where the energy drops with a steeper scale than the Newtonian power law of $k_x^{-5/3}$. As we increase the Reynolds number with a Carbopol solution, the streamwise Reynolds stresses approach Newtonian values in the core, which suggests diminishing effects of shear-thinning. The power spectral densities reveal that the energy content at larger scales decreases slightly with the Reynolds number. However, the shear thinning effects do not disappear even as the Reynolds number approaches 50000.


title: ORB-based SLAM accelerator on SoC FPGA

abstract: Simultaneous Localization and Mapping (SLAM) is one of the main components of autonomous navigation systems. With the increase in popularity of drones, autonomous navigation on low-power systems is seeing widespread application. Most SLAM algorithms are computationally intensive and struggle to run in real-time on embedded devices with reasonable accuracy. ORB-SLAM is an open-sourced feature-based SLAM that achieves high accuracy with reduced computational complexity. We propose an SoC based ORB-SLAM system that accelerates the computationally intensive visual feature extraction and matching on hardware. Our FPGA system based on a Zynq-family SoC runs 8.5x, 1.55x and 1.35x faster compared to an ARM CPU, Intel Desktop CPU, and a state-of-the-art FPGA system respectively, while averaging a 2x improvement in accuracy compared to prior work on FPGA.


title: Kullback-Leibler and Renyi divergences in reproducing kernel Hilbert space and Gaussian process settings

abstract: In this work, we present formulations for regularized Kullback-Leibler and R\'enyi divergences via the Alpha Log-Determinant (Log-Det) divergences between positive Hilbert-Schmidt operators on Hilbert spaces in two different settings, namely (i) covariance operators and Gaussian measures defined on reproducing kernel Hilbert spaces (RKHS); and (ii) Gaussian processes with squared integrable sample paths. For characteristic kernels, the first setting leads to divergences between arbitrary Borel probability measures on a complete, separable metric space. We show that the Alpha Log-Det divergences are continuous in the Hilbert-Schmidt norm, which enables us to apply laws of large numbers for Hilbert space-valued random variables. As a consequence of this, we show that, in both settings, the infinite-dimensional divergences can be consistently and efficiently estimated from their finite-dimensional versions, using finite-dimensional Gram matrices/Gaussian measures and finite sample data, with {\it dimension-independent} sample complexities in all cases. RKHS methodology plays a central role in the theoretical analysis in both settings. The mathematical formulation is illustrated by numerical experiments.


title: Switchable large-gap quantum spin Hall state in two-dimensional MSi$_2$Z$_4$ materials class

abstract: Quantum spin Hall (QSH) insulators exhibit spin-polarized conducting edge states that are topologically protected from backscattering and offer unique opportunities for addressing fundamental science questions and device applications. Finding viable materials that host such topological states, however, remains a challenge. Here by using in-depth first-principles theoretical modeling, we predict large bandgap QSH insulators in recently bottom-up synthesized two-dimensional (2D) MSi$_2$Z$_4$ (M = Mo or W and Z = P or As) materials family with $1T^\prime$ structure. A structural distortion in the $2H$ phase drives a band inversion between the metal (Mo/W) $d$ and $p$ states of P/As to realize spinless Dirac cone states without spin-orbit coupling. When spin-orbit coupling is included, a hybridization gap as large as $\sim 204$ meV opens up at the band crossing points, realizing spin-polarized conducting edge states with nearly quantized spin Hall conductivity. We also show that the inverted band gap is tunable with a vertical electric field which drives a topological phase transition from the QSH to a trivial insulator with Rashba-like edge states. Our study identifies 2D MSi$_2$Z$_4$ materials family with $1T^\prime$ structure as large bandgap, tunable QSH insulators with protected spin-polarized edge states and large spin-Hall conductivity.


title: STT: Soft Template Tuning for Few-Shot Adaptation

abstract: Prompt tuning has been an extremely effective tool to adapt a pre-trained model to downstream tasks. However, standard prompt-based methods mainly consider the case of sufficient data of downstream tasks. It is still unclear whether the advantage can be transferred to the few-shot regime, where only limited data are available for each downstream task. Although some works have demonstrated the potential of prompt-tuning under the few-shot setting, the main stream methods via searching discrete prompts or tuning soft prompts with limited data are still very challenging. Through extensive empirical studies, we find that there is still a gap between prompt tuning and fully fine-tuning for few-shot learning. To bridge the gap, we propose a new prompt-tuning framework, called Soft Template Tuning (STT). STT combines manual and auto prompts, and treats downstream classification tasks as a masked language modeling task. Comprehensive evaluation on different settings suggests STT can close the gap between fine-tuning and prompt-based methods without introducing additional parameters. Significantly, it can even outperform the time- and resource-consuming fine-tuning method on sentiment classification tasks.


title: TokenMix: Rethinking Image Mixing for Data Augmentation in Vision Transformers

abstract: CutMix is a popular augmentation technique commonly used for training modern convolutional and transformer vision networks. It was originally designed to encourage Convolution Neural Networks (CNNs) to focus more on an image's global context instead of local information, which greatly improves the performance of CNNs. However, we found it to have limited benefits for transformer-based architectures that naturally have a global receptive field. In this paper, we propose a novel data augmentation technique TokenMix to improve the performance of vision transformers. TokenMix mixes two images at token level via partitioning the mixing region into multiple separated parts. Besides, we show that the mixed learning target in CutMix, a linear combination of a pair of the ground truth labels, might be inaccurate and sometimes counter-intuitive. To obtain a more suitable target, we propose to assign the target score according to the content-based neural activation maps of the two images from a pre-trained teacher model, which does not need to have high performance. With plenty of experiments on various vision transformer architectures, we show that our proposed TokenMix helps vision transformers focus on the foreground area to infer the classes and enhances their robustness to occlusion, with consistent performance gains. Notably, we improve DeiT-T/S/B with +1% ImageNet top-1 accuracy. Besides, TokenMix enjoys longer training, which achieves 81.2% top-1 accuracy on ImageNet with DeiT-S trained for 400 epochs. Code is available at https://github.com/Sense-X/TokenMix.


title: Maps preserving the local spectral subspace of skew-product of operators

abstract: Let $B(H)$ be the algebra of all bounded linear operators on an infinite-dimensional complex Hilbert space $H$. For $T \in B(H)$ and $\lambda \in \mathbb{C}$, let $H_{T}(\{\lambda\})$ denotes the local spectral subspace of $T$ associated with $\{\lambda\}$. We prove that if $\varphi:B(H)\rightarrow B(H)$ be an additive map such that its range contains all operators of rank at most two and satisfies $$H_{\varphi(T)\varphi(S)^{\ast}}(\{\lambda\})= H_{TS^{\ast}}(\{\lambda\})$$ for all $T, S \in B(H)$ and $\lambda \in \mathbb{C}$, then there exist a unitary operator $V$ in $B(H)$ and a nonzero scalar $\mu$ such that $\varphi(T) = \mu TV^{\ast}$ for all $T \in B(H)$. We also show if $\varphi_{1}$ and $\varphi_{2}$ be additive maps from $B(H)$ into $B(H)$ such that their ranges contain all operators of rank at most two and satisfies $$H_{\varphi_{1}(T)\varphi_{2}(S)^{\ast}}(\{\lambda\})= H_{TS^{\ast}}(\{\lambda\})$$ for all $T, S \in B(H)$ and $\lambda \in \mathbb{C}$. Then $\varphi_{2}(I)^{\ast}$ is invertible, and $\varphi_{1}(T) = T(\varphi_{2}(I)^{\ast})^{-1}$ and $\varphi_{2}(T) =\varphi_{2}(I)^{\ast}T$ for all $T \in B(H)$.


title: Harmonic measures and rigidity for surface group actions on the circle

abstract: We study rigidity properties of actions of a torsion-free lattice of $\operatorname{PSU}(1,1)$ on the circle $S^1$. We follow the approaches of Frankel and Thurston proposed in preprints via foliated harmonic measures on the suspension bundles. Our main results are a curvature estimate and a Gauss--Bonnet formula for the $S^1$ connection obtained by taking the average of the flat connection with respect to a harmonic measure. As consequences, we give a precise description of the harmonic measure on suspension foliations with maximal Euler number and an alternative proof of rigidity theorems of Matsumoto and Burger--Iozzi--Wienhard.


title: Multi-branch Cascaded Swin Transformers with Attention to k-space Sampling Pattern for Accelerated MRI Reconstruction

abstract: Global correlations are widely seen in human anatomical structures due to similarity across tissues and bones. These correlations are reflected in magnetic resonance imaging (MRI) scans as a result of close-range proton density and T1/T2 parameters. Furthermore, to achieve accelerated MRI, k-space data are undersampled which causes global aliasing artifacts. Convolutional neural network (CNN) models are widely utilized for accelerated MRI reconstruction, but those models are limited in capturing global correlations due to the intrinsic locality of the convolution operation. The self-attention-based transformer models are capable of capturing global correlations among image features, however, the current contributions of transformer models for MRI reconstruction are minute. The existing contributions mostly provide CNN-transformer hybrid solutions and rarely leverage the physics of MRI. In this paper, we propose a physics-based stand-alone (convolution free) transformer model titled, the Multi-head Cascaded Swin Transformers (McSTRA) for accelerated MRI reconstruction. McSTRA combines several interconnected MRI physics-related concepts with the transformer networks: it exploits global MR features via the shifted window self-attention mechanism; it extracts MR features belonging to different spectral components separately using a multi-head setup; it iterates between intermediate de-aliasing and k-space correction via a cascaded network with data consistency in k-space and intermediate loss computations; furthermore, we propose a novel positional embedding generation mechanism to guide self-attention utilizing the point spread function corresponding to the undersampling mask. Our model significantly outperforms state-of-the-art MRI reconstruction methods both visually and quantitatively while depicting improved resolution and removal of aliasing artifacts.


title: Geometry and topology of spin random fields

abstract: Spin (spherical) random fields are very important in many physical applications, in particular they play a key role in Cosmology, especially in connection with the analysis of the Cosmic Microwave Background radiation. These objects can be viewed as random sections of the s-th complex tensor power of the tangent bundle of the 2-sphere. In this paper, we discuss how to characterize their expected geometry and topology. In particular, we investigate the asymptotic behaviour, under scaling assumptions, of general classes of geometric and topological functionals including Lipschitz-Killing Curvatures and Betti numbers for (properly defined) excursion sets; we cover both the cases of fixed and diverging spin parameters s. In the special case of monochromatic fields (i.e., spin random eigenfunctions) our results are particularly explicit; we show how their asymptotic behaviour is non-universal and we can obtain in particular complex versions of Berry's random waves and of Bargmann-Fock's models as subcases of a new generalized model, depending on the rate of divergence of the spin parameter s.


title: Outlier Explanation via Sum-Product Networks

abstract: Outlier explanation is the task of identifying a set of features that distinguish a sample from normal data, which is important for downstream (human) decision-making. Existing methods are based on beam search in the space of feature subsets. They quickly becomes computationally expensive, as they require to run an outlier detection algorithm from scratch for each feature subset. To alleviate this problem, we propose a novel outlier explanation algorithm based on Sum-Product Networks (SPNs), a class of probabilistic circuits. Our approach leverages the tractability of marginal inference in SPNs to compute outlier scores in feature subsets. By using SPNs, it becomes feasible to perform backwards elimination instead of the usual forward beam search, which is less susceptible to missing relevant features in an explanation, especially when the number of features is large. We empirically show that our approach achieves state-of-the-art results for outlier explanation, outperforming recent search-based as well as deep learning-based explanation methods


title: Gauged $U(1)_{L_{\mu}-L_{\tau}}$ Symmetry and two-zero Textures of Inverse Neutrino Mass Matrix in light of Muon ($g-2$)

abstract: In the framework of anomaly free $U(1)_{L_{\mu}-L_{\tau}}$ model, charged scalar fields give rise to massive gauge boson ($Z_{\mu\tau}$) through spontaneous symmetry breaking. $Z_{\mu\tau}$ leads to one loop contribution to the muon anomalous magnetic moment. These scalar fields may, also, appear in the structure of right-handed neutrino mass matrix, thus, connecting the possible explanation of muon ($g-2$) and low energy neutrino phenomenology through $vevs$ associated with the scalar fields. In the present work, we consider textures of inverse neutrino mass matrix ($M_{\nu}^{-1}$) wherein any two elements of the mass matrix are zero. In this ansatz, with Dirac neutrino mass matrix diagonal, the zero(s) of right-handed Majorana neutrino mass matrix correspond to zero(s) in the low energy effective neutrino mass matrix (within Type-I seesaw). We have realized two such textures of $M_{\nu}^{-1}$ accommodating the muon ($g-2$) and low energy neutrino phenomenology. The requirement of successful explanation of muon ($g-2$), further, constrain the allowed parameter space of the model and results in sharp correlations amongst neutrino mixing angles, $CP$ invariants and effective Majorana mass ($M_{ee}$). The model explains muon ($g-2$) for $M_{Z_{\mu\tau}}$ in the range ($0.035$ GeV-$0.100$ GeV) and $g_{\mu\tau}\approx\mathcal{O}(10^{-4}$) which is found to be consistent with constraints coming from the experiments like CCFR, COHERENT, BABAR, NA62 and NA64.


title: Control and mitigation of microwave crosstalk effect with superconducting qubits

abstract: Improving gate performance is vital for scalable quantum computing. The universal quantum computing also requires the gate fidelity to reach a high level. For superconducting quantum processor, which operates in the microwave band, the single-qubit gates are usually realized with microwave driving. The crosstalk between microwave pulses is a non-negligible error source. In this article, we propose an error mitigation scheme to address this crosstalk issue for single-qubit gates. There are three steps in our method. First, by controlling the detuning between qubits, the microwave induced classical crosstalk error can be constrained within the computational subspace. Second, by applying the general decomposition procedure, arbitrary single-qubit gate can be decomposed as a sequence of $\sqrt{X}$ and virtual Z gates. Finally, by optimizing the parameters in virtual Z gates, the error constrained in the computational space can be corrected. Using our method, no additional compensation signals are needed, arbitrary single-qubit gate time will not be prolonged, and the circuit depth containing simultaneous single-qubit gates will also not increase. The simulation results show that, in specific regime of qubit-qubit detuning, the infidelities of simultaneous single-qubit gates can be as low as which without microwave crosstalk.


title: Real-time End-to-End Video Text Spotter with Contrastive Representation Learning

abstract: Video text spotting(VTS) is the task that requires simultaneously detecting, tracking and recognizing text in the video. Existing video text spotting methods typically develop sophisticated pipelines and multiple models, which is not friend for real-time applications. Here we propose a real-time end-to-end video text spotter with Contrastive Representation learning (CoText). Our contributions are three-fold: 1) CoText simultaneously address the three tasks (e.g., text detection, tracking, recognition) in a real-time end-to-end trainable framework. 2) With contrastive learning, CoText models long-range dependencies and learning temporal information across multiple frames. 3) A simple, lightweight architecture is designed for effective and accurate performance, including GPU-parallel detection post-processing, CTC-based recognition head with Masked RoI. Extensive experiments show the superiority of our method. Especially, CoText achieves an video text spotting IDF1 of 72.0% at 41.0 FPS on ICDAR2015video, with 10.5% and 32.0 FPS improvement the previous best method. The code can be found at github.com/weijiawu/CoText.


title: Moment Methods on compact groups: Weingarten calculus and its applications

abstract: A fundamental property of compact groups and compact quantum groups is the existence and uniqueness of a left and right invariant probability -- the Haar measure. This is a natural playground for classical and quantum probability, provided it is possible to compute its moments. Weingarten calculus addresses this question in a systematic way. The purpose of this manuscript is to survey recent developments, describe some salient theoretical properties of Weingarten functions, as well as applications of this calculus to random matrix theory, quantum probability, and algebra, mathematical physics and operator algebras.


title: Generalized Analysis and Unified Design of EM Skins

abstract: A generalized formulation is derived for the analysis of the field manipulation properties of electromagnetic skins (EMSs) in the working regimes of interest for wireless communications. Based on such a theoretical framework, a unified method for the design of anomalous-reflecting and focusing EMSs is presented. Representative results, from a wide set of numerical experiments, are reported and validated with full-wave HFSS simulations to give the interested readers some insights on the accuracy, the effectiveness, and the computational efficiency of the proposed analysis/synthesis tools.


title: Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic

abstract: Some recent processors are not equipped with an integer division unit. Compilers then implement division by a call to a special function supplied by the processor designers, which implements division by a loop producing one bit of quotient per iteration. This hinders compiler optimizations and results in non-constant time computation, which is a problem in some applications. We advocate instead using the processor's floating-point unit, and propose code that the compiler can easily interleave with other computations. We fully proved the correctness of our algorithm, which mixes floating-point and fixed-bitwidth integer computations, using the Coq proof assistant and successfully integrated it into the CompCert formally verified compiler.


title: Discontinuous Galerkin Approximations to Elliptic and Parabolic Problems with a Dirac Line Source

abstract: The analyses of interior penalty discontinuous Galerkin methods of any order k for solving elliptic and parabolic problems with Dirac line sources are presented. For the steady state case, we prove convergence of the method by deriving a priori error estimates in the L2 norm and in weighted energy norms. In addition, we prove almost optimal local error estimates in the energy norm for any approximation order. Further, almost optimal local error estimates in the L2 norm are obtained for the case of piecewise linear approximations whereas suboptimal error bounds in the L2 norm are shown for any polynomial degree. For the time-dependent case, convergence of semi-discrete and of backward Euler fully discrete scheme is established by proving error estimates in L2 in time and in space. Numerical results for the elliptic problem are added to support the theoretical results.


title: On the Wiener Chaos Expansion of the Signature of a Gaussian Process

abstract: We compute the Wiener chaos decomposition of the signature for a class of Gaussian processes, which contains fractional Brownian motion (fBm) with Hurst parameter H in (1/4, 1). At level 0, our result yields an expression for the expected signature of such processes, which determines their law [CL16]. In particular, this formula simultaneously extends both the one for 1/2 < H-fBm [BC07] and the one for Brownian motion (H = 1/2) [Faw03], to the general case H > 1/4, thereby resolving an established open problem. Other processes studied include continuous and centred Gaussian semimartingales.


title: On the necessity of sufficient LMI conditions for time-delay systems arising from Legendre approximation

abstract: This work is dedicated to the stability analysis of time-delay systems with a single constant delay using the Lyapunov-Krasovskii theorem. This approach has been widely used in the literature and numerous sufficient conditions of stability have been proposed and expressed as linear matrix inequalities (LMI). The main criticism of the method that is often pointed out is that these LMI conditions are only sufficient, and there is a lack of information regarding the reduction of the conservatism. Recently, scalable methods have been investigated using Bessel-Legendre inequality or orthogonal polynomial-based inequalities. The interest of these methods relies on their hierarchical structure with a guarantee of reduction of the level of conservatism. However, the convergence is still an open question that will be answered for the first time in this paper. The objective is to prove that the stability of a time-delay system implies the feasibility of these scalable LMI, at a sufficiently large order of the Legendre polynomials. Moreover, the proposed contribution is even able to provide an analytic estimation of this order, giving rise to a necessary and sufficient LMI for the stability of time-delay systems.


title: Fully trainable Gaussian derivative convolutional layer

abstract: The Gaussian kernel and its derivatives have already been employed for Convolutional Neural Networks in several previous works. Most of these papers proposed to compute filters by linearly combining one or several bases of fixed or slightly trainable Gaussian kernels with or without their derivatives. In this article, we propose a high-level configurable layer based on anisotropic, oriented and shifted Gaussian derivative kernels which generalize notions encountered in previous related works while keeping their main advantage. The results show that the proposed layer has competitive performance compared to previous works and that it can be successfully included in common deep architectures such as VGG16 for image classification and U-net for image segmentation.


title: Non-equilibrium random walks on multiplex networks

abstract: We introduce a non-equilibrium discrete-time random walk model on multiplex networks, in which at each time step the walker first undergoes a random jump between neighboring nodes in the same layer, and then tries to hop from one node to one of its replicas in another layer. We derive the so-called supra-Markov matrix that governs the evolution of the occupation probability of the walker. The occupation probability at stationarity is different from the weighted average over the counterparts on each layer, unless the transition probabilities between layers vanish. However, they are approximately equal when the transition probabilities between layers are very small, which is given by the first-order degenerate perturbation theory. Moreover, we compute the mean first passage time (MFPT) and the graph MFPT (GrMFPT) that is the average of the MFPT over all pairs of distinct nodes. Interestingly, we find that the GrMFPT can be smaller than that of any layer taken in isolation. The result embodies the advantage of global search on multiplex networks.


title: Fast Convergence of Optimistic Gradient Ascent in Network Zero-Sum Extensive Form Games

abstract: The study of learning in games has thus far focused primarily on normal form games. In contrast, our understanding of learning in extensive form games (EFGs) and particularly in EFGs with many agents lags far behind, despite them being closer in nature to many real world applications. We consider the natural class of Network Zero-Sum Extensive Form Games, which combines the global zero-sum property of agent payoffs, the efficient representation of graphical games as well the expressive power of EFGs. We examine the convergence properties of Optimistic Gradient Ascent (OGA) in these games. We prove that the time-average behavior of such online learning dynamics exhibits $O(1/T)$ rate convergence to the set of Nash Equilibria. Moreover, we show that the day-to-day behavior also converges to Nash with rate $O(c^{-t})$ for some game-dependent constant $c>0$.


title: Adaptive Assignment for Geometry Aware Local Feature Matching

abstract: The detector-free feature matching approaches are currently attracting great attention thanks to their excellent performance. However, these methods still struggle at large-scale and viewpoint variations, due to the geometric inconsistency resulting from the application of the mutual nearest neighbour criterion (\ie, one-to-one assignment) in patch-level matching.Accordingly, we introduce AdaMatcher, which first accomplishes the feature correlation and co-visible area estimation through an elaborate feature interaction module, then performs adaptive assignment on patch-level matching while estimating the scales between images, and finally refines the co-visible matches through scale alignment and sub-pixel regression module.Extensive experiments show that AdaMatcher outperforms solid baselines and achieves state-of-the-art results on many downstream tasks. Additionally, the adaptive assignment and sub-pixel refinement module can be used as a refinement network for other matching methods, such as SuperGlue, to boost their performance further. The code will be publicly available at https://github.com/AbyssGaze/AdaMatcher.


title: Solution theory to semilinear stochastic equations of Schr\"odinger type on curved spaces I -- Operators with uniformly bounded coefficients

abstract: We study the Cauchy problem for Schr\"odinger type stochastic partial differential equations with uniformly bounded coefficients on a curved space. We give conditions on the coefficients, on the drift and diffusion terms, on the Cauchy data, and on the spectral measure associated with the noise, such that the Cauchy problem admits a unique function-valued mild solution in the sense of Da Prato and Zabczyc.


title: A Software Tool for "Gluing" Distributions

abstract: When performing Monte-Carlo simulations, distributions are sometimes determined only for sub-intervals of the desired total range. In such cases, a frequent problem is to connect, or glue, individual distributions to obtain the final result. Most prominent examples, where this is usually necessary, are certain large-deviation simulation techniques. However, there are multiple approaches to do this, depending on the data and individual requirements. Here, a software tool is presented, containing multiple algorithms, to aid with this task. An introduction to the available methods is presented together with a short tutorial using exemplary data.


title: Conductance of electrostatic wire junctions in bilayer graphene

abstract: The conductance of electrostatic wire junctions in bilayer graphene, classified as trivial-trivial or trivial-topological regarding the confinement character on each junction side, is calculated. The topological side always corresponds to a kink-antikink system, as required for a proper connection with a trivial side. We report a conductance quench of the trivial-topological junction, with a conductance {\it near} quantization to $4e^2/h$, which is only half of the maximum value allowed by the Chern number of a kink-antikink system. The analysis allowed us to uncover the existence of a chiral edge mode in the trivial wire under quite general conditions. A double junction, trivial-topological-trivial, displays periodic Fano-like conductance resonances (dips or peaks) induced by the created topological loop.


title: Orientation mixing in active suspensions

abstract: We study a popular kinetic model introduced by Saintillan and Shelley for the dynamics of suspensions of active elongated particles where the particles are described by a distribution in space and orientation. The uniform distribution of particles is the stationary state of incoherence which is known to exhibit a phase transition. We perform an extensive study of the linearised evolution around the incoherent state. We show (i) in the non-diffusive regime corresponding to spectral (neutral) stability that the suspensions experiences a mixing phenomenon similar to Landau damping and we provide optimal pointwise in time decay rates in weak topology. Further, we show (ii) in the case of small rotational diffusion \(\nu\) that the mixing estimates persist up to time scale \(\nu^{-1/2}\) until the exponential decay at enhanced dissipation rate \(\nu^{1/2}\) takes over.The interesting feature is that the usual velocity variable of kinetic models is replaced by an orientation variable on the sphere. The associated \emph{orientation mixing} leads to limited algebraic decay for macroscopic quantities. For the proof, we start with a general pointwise decay results for Volterra equations that may be of independent interest. While, in the non-diffusive case, explicit formulas on the sphere allow to conclude the desired decay, much more work is required in the diffusive case: here we prove mixing estimates for the advection-diffusion equation on the sphere by combining an optimized hypocoercive approach with the vector field method. One main point in this context is to identify good commuting vector fields for the advection-diffusion operator on the sphere. Our results in this direction may be useful to other models in collective dynamics, where an orientation variable is involved.


title: Trigonal warping effects on optical properties of anomalous Hall materials

abstract: The topological nature of topological insulators are related to the symmetries present in the material, for example, quantum spin Hall effect can be observed in topological insulators with time reversal symmetry, while broken time reversal symmetry may give rise to the presence of anomalous quantum Hall effect (AHE). Here we consider the effects of broken rotational symmetry on the Dirac cone of an AHE material by adding trigonal warping terms to the Dirac Hamiltonian. We calculate the linear optical conductivity semi-analytically to show how by breaking the rotational symmetry we can obtain a topologically distinct phase. The addition of trigonal warping terms causes the emergence of additional Dirac cones, which when combined has a total Chern number of $\mp 1$ instead of $\pm 1/2$. This results in drastic changes in the anomalous Hall and longitudinal conductivity. The trigonal warping terms also activates the higher order Hall responses which does not exist in a $\mathcal{R}$ symmetric conventional Dirac material. We found the presence of a non-zero second order Hall current even in the absence of Berry curvature dipole. This shift current is also unaffected by the chirality of the Dirac cone, which should lead to a non-zero Hall current in time reversal symmetric systems.


title: On the existence of critical exponents for self-avoiding walks

abstract: We describe some ideas of John Hammersley for proving the existence of critical exponents for two-dimensional self-avoiding walks and provide numerical evidence for their correctness.

categories: math-ph cond-mat.stat-mech math.CO math.MP math.PR


title: Efficient View Clustering and Selection for City-Scale 3D Reconstruction

abstract: Image datasets have been steadily growing in size, harming the feasibility and efficiency of large-scale 3D reconstruction methods. In this paper, a novel approach for scaling Multi-View Stereo (MVS) algorithms up to arbitrarily large collections of images is proposed. Specifically, the problem of reconstructing the 3D model of an entire city is targeted, starting from a set of videos acquired by a moving vehicle equipped with several high-resolution cameras. Initially, the presented method exploits an approximately uniform distribution of poses and geometry and builds a set of overlapping clusters. Then, an Integer Linear Programming (ILP) problem is formulated for each cluster to select an optimal subset of views that guarantees both visibility and matchability. Finally, local point clouds for each cluster are separately computed and merged. Since clustering is independent from pairwise visibility information, the proposed algorithm runs faster than existing literature and allows for a massive parallelization. Extensive testing on urban data are discussed to show the effectiveness and the scalability of this approach.


title: Robust Simulation-Based Inference in Cosmology with Bayesian Neural Networks

abstract: Simulation-based inference (SBI) is rapidly establishing itself as a standard machine learning technique for analyzing data in cosmological surveys. Despite continual improvements to the quality of density estimation by learned models, applications of such techniques to real data are entirely reliant on the generalization power of neural networks far outside the training distribution, which is mostly unconstrained. Due to the imperfections in scientist-created simulations, and the large computational expense of generating all possible parameter combinations, SBI methods in cosmology are vulnerable to such generalization issues. Here, we discuss the effects of both issues, and show how using a Bayesian neural network framework for training SBI can mitigate biases, and result in more reliable inference outside the training set. We introduce cosmoSWAG, the first application of Stochastic Weight Averaging to cosmology, and apply it to SBI trained for inference on the cosmic microwave background.


title: Software Artifact Mining in Software Engineering Conferences: A Meta-Analysis

abstract: Background: Software development results in the production of various types of artifacts: source code, version control system metadata, bug reports, mailing list conversations, test data, etc. Empirical software engineering (ESE) has thrived mining those artifacts to uncover the inner workings of software development and improve its practices. But which artifacts are studied in the field is a moving target, which we study empirically in this paper.Aims: We quantitatively characterize the most frequently mined and co-mined software artifacts in ESE research and the research purposes they support.Method: We conduct a meta-analysis of artifact mining studies published in 11 top conferences in ESE, for a total of 9621 papers. We use natural language processing (NLP) techniques to characterize the types of software artifacts that are most often mined and their evolution over a 16-year period (2004-2020). We analyze the combinations of artifact types that are most often mined together, as well as the relationship between study purposes and mined artifacts.Results: We find that: (1) mining happens in the vast majority of analyzed papers, (2) source code and test data are the most mined artifacts, (3) there is an increasing interest in mining novel artifacts, together with source code, (4) researchers are most interested in the evaluation of software systems and use all possible empirical signals to support that goal.


title: Non-negative Least Squares via Overparametrization

abstract: In many applications, solutions of numerical problems are required to be non-negative, e.g., when retrieving pixel intensity values or physical densities of a substance. In this context, non-negative least squares (NNLS) is a ubiquitous tool, e.g., when seeking sparse solutions of high-dimensional statistical problems. Despite vast efforts since the seminal work of Lawson and Hanson in the '70s, the non-negativity assumption is still an obstacle for the theoretical analysis and scalability of many off-the-shelf solvers. In the different context of deep neural networks, we recently started to see that the training of overparametrized models via gradient descent leads to surprising generalization properties and the retrieval of regularized solutions. In this paper, we prove that, by using an overparametrized formulation, NNLS solutions can reliably be approximated via vanilla gradient flow. We furthermore establish stability of the method against negative perturbations of the ground-truth. Our simulations confirm that this allows the use of vanilla gradient descent as a novel and scalable numerical solver for NNLS. From a conceptual point of view, our work proposes a novel approach to trading side-constraints in optimization problems against complexity of the optimization landscape, which does not build upon the concept of Lagrangian multipliers.


title: The Complexity of Quantum Circuit Mapping with Fixed Parameters

abstract: A quantum circuit must be preprocessed before implementing on NISQ devices due to the connectivity constraint. Quantum circuit mapping (QCM) transforms the circuit into an equivalent one that is compliant with the NISQ device's architecture constraint by adding SWAP gates. The QCM problem asks the minimal number of auxiliary SWAP gates, and is NP-complete. The complexity of QCM with fixed parameters is studied in the paper. We give an exact algorithm for QCM, and show that the algorithm runs in polynomial time if the NISQ device's architecture is fixed. If the number of qubits of the quantum circuit is fixed, we show that the QCM problem is NL-complete by a reduction from the undirected shortest path problem. Moreover, the fixed-parameter complexity of QCM is W[1]-hard when parameterized by the number of qubits of the quantum circuit. We prove the result by a reduction from the clique problem. If taking the depth of the quantum circuits and the coupling graphs as parameters, we show that the QCM problem is still NP-complete over shallow quantum circuits, and planar, bipartite and degree bounded coupling graphs.


title: Revisiting PatchMatch Multi-View Stereo for Urban 3D Reconstruction

abstract: In this paper, a complete pipeline for image-based 3D reconstruction of urban scenarios is proposed, based on PatchMatch Multi-View Stereo (MVS). Input images are firstly fed into an off-the-shelf visual SLAM system to extract camera poses and sparse keypoints, which are used to initialize PatchMatch optimization. Then, pixelwise depths and normals are iteratively computed in a multi-scale framework with a novel depth-normal consistency loss term and a global refinement algorithm to balance the inherently local nature of PatchMatch. Finally, a large-scale point cloud is generated by back-projecting multi-view consistent estimates in 3D. The proposed approach is carefully evaluated against both classical MVS algorithms and monocular depth networks on the KITTI dataset, showing state of the art performances.


title: Sharp convergence for sequences of Schr\"{o}dinger means and related generalizations

abstract: For decreasing sequences $\{t_{n}\}_{n=1}^{\infty}$ converging to zero, we obtain the almost everywhere convergence results for sequences of Schr\"{o}dinger means $e^{it_{n}\Delta}f$, where $f \in H^{s}(\mathbb{R}^{N}), N\geq 2$. The convergence results are sharp up to the endpoints, and the method can also be applied to get the convergence results for the fractional Schr\"{o}dinger means and nonelliptic Schr\"{o}dinger means.


title: Study of Thin Iron Films for Polarization Analysis of Ultracold Neutrons

abstract: The TUCAN (TRIUMF Ultra-Cold Advanced Neutron) collaboration aims to search for the neutron electric dipole moment (nEDM) with unprecedented precision. One of the essential elements for the nEDM measurement is a polarization analyzer of ultracold neutrons (UCNs), whose main component is a magnetized thin iron film. Several thin iron films were deposited on aluminum and silicon ubstrates and were characterized by vibrating sample magnetometry and cold-neutron reflectometry. A magnetic field required to saturate the iron film is $\sim$12 kA/m for those on the aluminum substrates and 6.4 kA/m for the silicon substrates. The magnetic potential of the iron films on the Si substrate was estimated to be 2 T by the neutron reflectometry, which is sufficient performance for an UCN polarization analyzer of the nEDM measurement.


title: Pressure tuning domain-wall chirality in noncentrosymmetric magnetic Weyl semimetal CeAlGe

abstract: Topological magnetic Weyl semimetals have been proposed to host controllable chiral domain walls which bear a great prospect in device applications. To exploit them in applications, it is important to have a proper way to tune and manipulate these domain walls. One possible means is through magnetoelastic coupling. The involvement of rare earth in the lately proposed $R$Al$X$ ($R$=rare earth, $X$=Si and Ge) family magnetic Weyl semimetals may provide such a platform. Here we present transport and thermodynamic properties of CeAlGe under hydrostatic pressure. We find that pressure enhances the antiferromagnetic exchange in CeAlGe but essentially retains its magnetic structure. Large topological Hall effect with pronounced loop shape is observed within the magnetically ordered state, and it splits into two regions under pressure. Such an unusual electromagnetic response is inferred to be a consequence of chiral magnetic domain walls. The unprecedented concomitance of its evolution under pressure and the reentrance of antiferromagnetic order strongly suggest the capability of switching on/off this electromagnetic response in noncentrosymmetric magnetic Weyl semimetals via magnetoelastic coupling.


title: Growth rate of eventually positive Kreiss bounded $C_0$-semigroups on $L^p$ and $\mathcal{C}(K)$

abstract: In this paper, we compare several Ces\`aro and Kreiss type boundedness conditions for a $C_0$-semigroup on a Banach space and we show that those conditions are all equivalent for a positive semigroup on a Banach lattice. Furthermore, we give an estimate of the growth rate of a Kreiss bounded and eventually positive $C_0$-semigroup $(T_t)_{t\ge 0}$ on certain Banach lattices $X$. We prove that if $X$ is an $L^p$-space, $1<p<+\infty$, then $\|T_t\| = \mathcal{O}\left(t/\log(t)^{\max(1/p,1/p')}\right)$ and if $X$ is an $(\text{AL})$ or $(\text{AM})$-space, then $\|T_t\|=\mathcal{O}(t^{1-\epsilon})$ for some $\epsilon \in (0,1)$, improving previous estimates.


title: Radiation of Optical Angular Momentum by a Dipole Source inside a Magneto-optical Environment

abstract: Radiation of electromagnetic energy by electric or magnetic multipole sources can be modified by their local environment. In this work we demonstrate that a magneto-optical environment of an unpolarized dipole source induces the radiation of angular momentum into space. This radiation benefits from Purcell-enhancement.


title: Automatic universal taxonomies for multi-domain semantic segmentation

abstract: Training semantic segmentation models on multiple datasets has sparked a lot of recent interest in the computer vision community. This interest has been motivated by expensive annotations and a desire to achieve proficiency across multiple visual domains. However, established datasets have mutually incompatible labels which disrupt principled inference in the wild. We address this issue by automatic construction of universal taxonomies through iterative dataset integration. Our method detects subset-superset relationships between dataset-specific labels, and supports learning of sub-class logits by treating super-classes as partial labels. We present experiments on collections of standard datasets and demonstrate competitive generalization performance with respect to previous work.


title: Symplectic cacti, virtualization and Berenstein-Kirillov groups

abstract: We explicitly realize an internal action of the symplectic cactus group, recently defined by Halacheva for any complex, reductive, finite-dimensional Lie algebra, on crystals of Kashiwara-Nakashima tableaux. Our methods include a symplectic version of jeu de taquin due to Sheats and Lecouvey, symplectic reversal, and virtualization due to Baker. As an application, we define and study a symplectic version of the Berenstein-Kirillov group and show that it is a quotient of the symplectic cactus group. In addition two relations for symplectic Berenstein-Kirillov group are given that do not follow from the defining relations of the symplectic cactus group.


title: Modified BDF2 schemes for subdiffusion models with a singular source term

abstract: The aim of this paper is to study the time stepping scheme for approximately solving the subdiffusion equation with a weakly singular source term. In this case, many popular time stepping schemes, including the correction of high-order BDF methods, may lose their high-order accuracy. To fill in this gap, in this paper, we develop a novel time stepping scheme, where the source term is regularized by using a $k$-fold integral-derivative and the equation is discretized by using a modified BDF2 convolution quadrature. We prove that the proposed time stepping scheme is second-order, even if the source term is nonsmooth in time and incompatible with the initial data. Numerical results are presented to support the theoretical results.


title: First Constraints on Heavy QCD Axions with a Liquid Argon Time Projection Chamber using the ArgoNeuT Experiment

abstract: We present the results of a search for heavy QCD axions performed by the ArgoNeuT experiment at Fermilab. We search for heavy axions produced in the NuMI neutrino beam target and absorber decaying into dimuon pairs, which can be identified using the unique capabilities of ArgoNeuT and the MINOS near detector. This decay channel is motivated by a broad class of heavy QCD axion models that address the strong CP and axion quality problems with axion masses above the dimuon threshold. We obtain new constraints at a 95\% confidence level for heavy axions in the previously unexplored mass range between 0.2-0.9 GeV, for axion decay constants around tens of TeV.


title: Quantifying assays: A Modeling tale of variability in cancer therapeutics assessed on cancer cells

abstract: Inhibiting a signalling pathway concerns controlling the cellular processes of a cancer cell's viability, cell division, and death. Assay protocols created to see if the molecular structures of the drugs being tested have the desired inhibition qualities often show great variability across experiments, and it is imperative to diminish the effects of such variability while inferences are drawn. In this paper we propose the study of experimental data through the lenses of a mathematical model depicting the inhibition mechanism and the activation-inhibition dynamics. The method is exemplified through assay data obtained from the study of inhibition of the CXCL12/CXCR4 activation axis for the melanoma cells. To mitigate the effects of the variability of the data on the cell viability measurement, the cell viability is theoretically constructed as a function of time depending on several parameters. The values of these parameters are estimated by using the experimental data. Deriving approximation for the cell viability in a theoretically pre-determined form has the advantages of (i) being less sensitive to data variability (ii) the estimated values of the parameters are interpreted directly in the biological processes, (iii) the amount of variability explained via the approximation validates the quality of the model, (iv) with the data integrated into the model one can derive a more complete view over the whole process. These advantages are demonstrated in the step-by-step implementation of the outlined approach.


title: Performance Analysis of Universal Robot Control System Using Networked Predictive Control

abstract: Networked control systems are feedback control systems with system components distributed at different locations connected through a communication network. Since the communication network is carried out through the internet and there are bandwidth and packet size limitations, network constraints appear. Some of these constraints are time delay and packet loss. These network limitations can degrade the performance and even destabilize the system. To overcome the adverse effect of these communication constraints, various approaches have been developed, among which a representative one is networked predictive control. This approach proposes a controller, which compensates for the network time delay and packet loss actively. This paper aims at implementing a networked predictive control system for controlling a robot arm through a computer network. The network delay is accounted for by a predictor, while the potential of packet loss is mitigated using redundant control packets. The results will show the stability of the system despite a high delay and a considerable packet loss. Additionally, improvements to previous networked predictive control systems will be suggested and an increase in performance can be shown. Lastly, the effects of different system and environment parameters on the control loop will be investigated.