title: FakeWake: Understanding and Mitigating Fake Wake-up Words of Voice Assistants

abstract: In the area of Internet of Things (IoT) voice assistants have become an important interface to operate smart speakers, smartphones, and even automobiles. To save power and protect user privacy, voice assistants send commands to the cloud only if a small set of pre-registered wake-up words are detected. However, voice assistants are shown to be vulnerable to the FakeWake phenomena, whereby they are inadvertently triggered by innocent-sounding fuzzy words. In this paper, we present a systematic investigation of the FakeWake phenomena from three aspects. To start with, we design the first fuzzy word generator to automatically and efficiently produce fuzzy words instead of searching through a swarm of audio materials. We manage to generate 965 fuzzy words covering 8 most popular English and Chinese smart speakers. To explain the causes underlying the FakeWake phenomena, we construct an interpretable tree-based decision model, which reveals phonetic features that contribute to false acceptance of fuzzy words by wake-up word detectors. Finally, we propose remedies to mitigate the effect of FakeWake. The results show that the strengthened models are not only resilient to fuzzy words but also achieve better overall performance on original training datasets.


title: Non-relativistic solutions for three-body molecules within a Chern-Simons model

abstract: The wave functions and the ground state energies for the bound states of four different muonic and electronic molecules, governed by the Chern-Simons potential in two spatial dimensions, are numerically obtained with the Numerov method. The new results are compared with former planar configuration studies that consider the attractive potential as being proportional to $\ln(\rho)$, as well as with the three-dimensional analogs assuming a Coulomb potential.


title: Mutual Consistency Learning for Semi-supervised Medical Image Segmentation

abstract: In this paper, we propose a novel mutual consistency network (MC-Net+) to effectively exploit the unlabeled data for semi-supervised medical image segmentation. The MC-Net+ model is motivated by the observation that deep models trained with limited annotations are prone to output highly uncertain and easily mis-classified predictions in the ambiguous regions (e.g., adhesive edges or thin branches) for medical image segmentation. Leveraging these challenging samples can make the semi-supervised segmentation model training more effective. Therefore, our proposed MC-Net+ model consists of two new designs. First, the model contains one shared encoder and multiple slightly different decoders (i.e., using different up-sampling strategies). The statistical discrepancy of multiple decoders' outputs is computed to denote the model's uncertainty, which indicates the unlabeled hard regions. Second, we apply a novel mutual consistency constraint between one decoder's probability output and other decoders' soft pseudo labels. In this way, we minimize the discrepancy of multiple outputs (i.e., the model uncertainty) during training and force the model to generate invariant results in such challenging regions, aiming at regularizing the model training. We compared the segmentation results of our MC-Net+ model with five state-of-the-art semi-supervised approaches on three public medical datasets. Extension experiments with two standard semi-supervised settings demonstrate the superior performance of our model over other methods, which sets a new state of the art for semi-supervised medical image segmentation. Our code is released publicly at https://github.com/ycwu1997/MC-Net.


title: Non-parametric Kernel-Based Estimation of Probability Distributions for Precipitation Modeling

abstract: The probability distribution of precipitation amount strongly depends on geography, climate zone, and time scale considered. Closed-form parametric probability distributions are not sufficiently flexible to provide accurate and universal models for precipitation amount over different time scales. In this paper we derive non-parametric estimates of the cumulative distribution function (CDF) of precipitation amount for wet periods. The CDF estimates are obtained by integrating the kernel density estimator leading to semi-explicit CDF expressions for different kernel functions. We investigate an adaptive plug-in bandwidth (KCDE), using both synthetic data sets and reanalysis precipitation data from the Mediterranean island of Crete (Greece). We show that KCDE provides better estimates of the probability distribution than the standard empirical (staircase) estimate and kernel-based estimates that use the normal reference bandwidth. We also demonstrate that KCDE enables the simulation of non-parametric precipitation amount distributions by means of the inverse transform sampling method.


title: CR $Q$-curvature and CR pluriharmonic functions

abstract: In this paper, we show that the CR $Q$-curvature is orthogonal to the space of CR pluriharmonic functions on any closed strictly pseudoconvex CR manifold of dimension at least five. To this end, we obtain a cohomological expression of the integral of the product of the CR $Q$-curvature and a CR pluriharmonic function.


title: Privacy, Security, and Utility Analysis of Differentially Private CPES Data

abstract: Differential privacy (DP) has been widely used to protect the privacy of confidential cyber physical energy systems (CPES) data. However, applying DP without analyzing the utility, privacy, and security requirements can affect the data utility as well as help the attacker to conduct integrity attacks (e.g., False Data Injection(FDI)) leveraging the differentially private data. Existing anomaly-detection-based defense strategies against data integrity attacks in DP-based smart grids fail to minimize the attack impact while maximizing data privacy and utility. To address this challenge, it is nontrivial to apply a defensive approach during the design process. In this paper, we formulate and develop the defense strategy as a part of the design process to investigate data privacy, security, and utility in a DP-based smart grid network. We have proposed a provable relationship among the DP-parameters that enables the defender to design a fault-tolerant system against FDI attacks. To experimentally evaluate and prove the effectiveness of our proposed design approach, we have simulated the FDI attack in a DP-based grid. The evaluation indicates that the attack impact can be minimized if the designer calibrates the privacy level according to the proposed correlation of the DP-parameters to design the grid network. Moreover, we analyze the feasibility of the DP mechanism and QoS of the smart grid network in an adversarial setting. Our analysis suggests that the DP mechanism is feasible over existing privacy-preserving mechanisms in the smart grid domain. Also, the QoS of the differentially private grid applications is found satisfactory in adversarial presence.


title: Multi-Source Video Domain Adaptation with Temporal Attentive Moment Alignment

abstract: Multi-Source Domain Adaptation (MSDA) is a more practical domain adaptation scenario in real-world scenarios. It relaxes the assumption in conventional Unsupervised Domain Adaptation (UDA) that source data are sampled from a single domain and match a uniform data distribution. MSDA is more difficult due to the existence of different domain shifts between distinct domain pairs. When considering videos, the negative transfer would be provoked by spatial-temporal features and can be formulated into a more challenging Multi-Source Video Domain Adaptation (MSVDA) problem. In this paper, we address the MSVDA problem by proposing a novel Temporal Attentive Moment Alignment Network (TAMAN) which aims for effective feature transfer by dynamically aligning both spatial and temporal feature moments. TAMAN further constructs robust global temporal features by attending to dominant domain-invariant local temporal features with high local classification confidence and low disparity between global and local feature discrepancies. To facilitate future research on the MSVDA problem, we introduce comprehensive benchmarks, covering extensive MSVDA scenarios. Empirical results demonstrate a superior performance of the proposed TAMAN across multiple MSVDA benchmarks.


title: A p-multigrid compact gas-kinetic scheme for steady-state acceleration

abstract: In this paper, the high-order compact gas-kinetic scheme (CGKS) on three-dimensional hybrid unstructured mesh is further developed with the p-multigrid technique for steady-state solution acceleration. The p-multigrid strategy is a two-level algorithm. On the high-order level, the high-order CGKS is used to evolve both cell-averaged conservative flow variables and their gradients under high-order compact initial reconstruction at the beginning of next time step. On the low-order level, starting from the high-order level solution the cell-averaged conservative flow variables is evolved by a first-order scheme, where implicit backward Euler smoother is adopted for accelerating the convergence of steady-state solution. The final iterative updating scheme becomes numerically simple and computationally efficient. The effectiveness of the p-multigrid method is validated in both subsonic and supersonic flow simulations in two- and three-dimensional space with hybrid unstructured mesh. One order of magnitude speedup in the convergence rate has be achieved by the approach in comparison with the explicit counterpart.


title: PoRCH: A Novel Consensus Mechanism for Blockchain-Enabled Future SCADA Systems in Smart Grids and Industry 4.0

abstract: Smart Grids and Industry 4.0 (I4.0) are neither a dream nor a near-future thing anymore, rather it is happening now. The integration of more and more embedded systems and IoT devices is pushing smart grids and I4.0 forward at a breakneck speed. To cope up with this, the modification of age-old SCADA (Supervisory Control and Data Acquisition) systems in terms of decentralization, near-real-time operation, security, and privacy is necessary. In this context, blockchain technology has the potential of providing not only these essential features of the data acquisition process of future SCADA systems but also many other useful add-ons. On the other side, it is evident that various type of security breach tends to take place more during any economic turmoil. These can cause even more serious devastation to the global economy and human life. Thus, it is necessary to make our industries robust, automated, and resilient with secured and immutable data acquiring systems. This paper deals with the implementation scopes of blockchain in the data acquisition part of SCADA systems in the area of the smart grid and I4.0. There are several consensus mechanisms to support blockchain integration in the field of cryptocurrencies, vehicular networks, healthcare systems, e-commerce, etc. But little attention has been paid to developing efficient and easy-to-implement consensus mechanisms in the field of blockchain-enabled SCADA systems. From this perspective, a novel consensus mechanism, which we call PoRCH (Proof of Random Count in Hashes), with a customized mining node selection scheme has been proposed in this paper. Also, a small-scale prototype of a blockchain-enabled data acquisition system has been developed. The performance evaluation of the implemented prototype shows the benefits of blockchain technology.


title: Light-controllable chiral dopant based on azo-fragment: synthesis and characterization

abstract: We present the newly synthesized chiral dopant 2-[(2-isopropyl-5-methylcyclohexyl)oxy]-2-oxoethyl 4-{(E)-[4-(decyloxy)phenyl]diazenyl}benzoate (ChD-3501), consisting of azo- and aliphatic fragments together with a chiral center based on l-menthol as a reversible light-controllable chiral dopant. To assess the effects of UV/VIS irradiation and temperature in the isotropic and liquid crystalline (LC) states, we studied the spectral kinetics of ethanol solution of ChD-3501, as well as induction of the cholesteric helix when it was dissolved in nematic LC (E7) as a chiral dopant. The concentration dependence of the helical pitch of the induced cholesterics was studied by means on Grandjean-Cano method, and the helical twisting power of ChD-3501 in the nematic host E7 was determined. The reversible trans-cis isomerization of chiral dopandt ChD-3501 in E7 under UV/VIS irradiation was studied, and it has been found that the storage of the cis-isomer at certain constant temperature also leads to the reversible isomerisation, which presents a certain interest for applications.


title: Generalization in Text-based Games via Hierarchical Reinforcement Learning

abstract: Deep reinforcement learning provides a promising approach for text-based games in studying natural language communication between humans and artificial agents. However, the generalization still remains a big challenge as the agents depend critically on the complexity and variety of training tasks. In this paper, we address this problem by introducing a hierarchical framework built upon the knowledge graph-based RL agent. In the high level, a meta-policy is executed to decompose the whole game into a set of subtasks specified by textual goals, and select one of them based on the KG. Then a sub-policy in the low level is executed to conduct goal-conditioned reinforcement learning. We carry out experiments on games with various difficulty levels and show that the proposed method enjoys favorable generalizability.


title: Ultrasound Domain Adaptation Using Frequency Domain Analysis

abstract: A common issue in exploiting simulated ultrasound data for training neural networks is the domain shift problem, where the trained models on synthetic data are not generalizable to clinical data. Recently, Fourier Domain Adaptation (FDA) has been proposed in the field of computer vision to tackle the domain shift problem by replacing the magnitude of the low-frequency spectrum of a synthetic sample (source) with a real sample (target). This method is attractive in ultrasound imaging given that two important differences between synthetic and real ultrasound data are caused by unknown values of attenuation and speed of sound (SOS) in real tissues. Attenuation leads to slow variations in the amplitude of the B-mode image, and SOS mismatch creates aberration and subsequent blurring. As such, both domain shifts cause differences in the low-frequency components of the envelope data, which are replaced in the proposed method. We demonstrate that applying the FDA method to the synthetic data, simulated by Field II, obtains an 3.5\% higher Dice similarity coefficient for a breast lesion segmentation task.


title: A patch in time saves nine: Methods for the identification of localised dynamical behaviour and lifespans of coherent structures

abstract: We develop a transfer operator-based method for the detection of coherent structures and their associated lifespans. Characterising the lifespan of coherent structures allows us to identify dynamically meaningful time windows, which may be associated with transient coherent structures in the localised phase space, as well as with time intervals within which these structures experience fundamental changes, such as merging or separation events. The localised transfer operator approach we pursue allows one to explore the fundamental properties of a dynamical system without full knowledge of the dynamics. The algorithms we develop prove useful not only in the simple case of a periodically driven double well potential model, but also in more complex cases generated using the rotating Boussinesq equations.


title: Fano interference of the Higgs mode in cuprate high-Tc superconductors

abstract: Despite decades of search for the pairing boson in cuprate high-Tc superconductors, its identity still remains debated to date. For this reason, spectroscopic signatures of electron-boson interactions in cuprates have always been a center of attention. For example, the kinks in the quasiparticle dispersion observed by angle-resolved photoemission spectroscopy (ARPES) studies have motivated a decade-long investigation of electron-phonon as well as electron-paramagnon interactions in cuprates. On the other hand, the overlap between the charge-order correlations and the pseudogap in the cuprate phase diagram has also generated discussions about the potential link between them. In the present study, we provide a fresh perspective on these intertwined interactions using the novel approach of Higgs spectroscopy, i.e. an investigation of the amplitude oscillations of the superconducting order parameter driven by a terahertz radiation. Uniquely for cuprates, we observe a Fano interference of its dynamically driven Higgs mode with another collective mode, which we reveal to be charge density wave fluctuations from an extensive doping- and magnetic field-dependent study. This finding is further corroborated by a mean field model in which we describe the microscopic mechanism underlying the interaction between the two orders. Our work demonstrates Higgs spectroscopy as a novel and powerful technique for investigating intertwined orders and microscopic processes in unconventional superconductors.


title: Investigation of hidden-charm pentaquarks with strangeness $S=-1$

abstract: Recently, a new hidden-charm pentaquark state $P_{cs}(4459)$ was reported by the LHCb Collaboration. Stimulated by the fact that all hidden-charm pentaquark states in $S=0$ systems were successfully predicted by our chiral quark model, we extended this study to the $S=-1$ systems. All possible quantum numbers $IJ^P=0(\frac{1}{2})^-$, $0(\frac{3}{2})^-$, $0(\frac{5}{2})^-$, $1(\frac{1}{2})^-$, $1(\frac{3}{2})^-$ and $1(\frac{5}{2})^-$ have been investigated. The calculation results shows that the newly observed state $P_{cs}(4459)$ can be explained as $\Xi_c \bar{D}^*$ molecular state and the quantum number is $0(\frac{1}{2})^-$. In addition, we also find other molecular states $\Xi_c \bar{D}$, $\Xi_c^* \bar{D}$ and $\Xi_c' \bar{D}^*$. It is worth mentioning that $\Xi_c \bar{D}^*$ can form a two-peak structure from states in system $0(\frac{1}{2})^-$ and $0(\frac{3}{2})^-$. The decay width of all molecular states is given with the help of real scaling method. These hidden-charm pentaquark states is expected to be further verified in future experiments.


title: Julia for Biologists

abstract: Increasing emphasis on data and quantitative methods in the biomedical sciences is making biological research more computational. Collecting, curating, processing, and analysing large genomic and imaging data sets poses major computational challenges, as does simulating larger and more realistic models in systems biology. Here we discuss how a relative newcomer among computer programming languages -- Julia -- is poised to meet the current and emerging demands in the computational biosciences, and beyond. Speed, flexibility, a thriving package ecosystem, and readability are major factors that make high-performance computing and data analysis available to an unprecedented degree to "gifted amateurs". We highlight how Julia's design is already enabling new ways of analysing biological data and systems, and we provide a, necessarily incomplete, list of resources that can facilitate the transition into the Julian way of computing.


title: Adaptive Control of SE(3) Hamiltonian Dynamics with Learned Disturbance Features

abstract: Adaptive control is a critical component of reliable robot autonomy in rapidly changing operational conditions. Adaptive control designs benefit from a disturbance model, which is often unavailable in practice. This motivates the use of machine learning techniques to learn disturbance features from training data offline, which can subsequently be employed to compensate the disturbances online. This paper develops geometric adaptive control with a learned disturbance model for rigid-body systems, such as ground, aerial, and underwater vehicles, that satisfy Hamilton's equations of motion over the $SE(3)$ manifold. Our design consists of an \emph{offline disturbance model identification stage}, using a Hamiltonian-based neural ordinary differential equation (ODE) network trained from state-control trajectory data, and an \emph{online adaptive control stage}, estimating and compensating the disturbances based on geometric tracking errors. We demonstrate our adaptive geometric controller in trajectory tracking simulations of fully-actuated pendulum and under-actuated quadrotor systems.


title: Fast nonlinear risk assessment for autonomous vehicles using learned conditional probabilistic models of agent futures

abstract: This paper presents fast non-sampling based methods to assess the risk for trajectories of autonomous vehicles when probabilistic predictions of other agents' futures are generated by deep neural networks (DNNs). The presented methods address a wide range of representations for uncertain predictions including both Gaussian and non-Gaussian mixture models to predict both agent positions and control inputs conditioned on the scene contexts. We show that the problem of risk assessment when Gaussian mixture models (GMMs) of agent positions are learned can be solved rapidly to arbitrary levels of accuracy with existing numerical methods. To address the problem of risk assessment for non-Gaussian mixture models of agent position, we propose finding upper bounds on risk using nonlinear Chebyshev's Inequality and sums-of-squares (SOS) programming; they are both of interest as the former is much faster while the latter can be arbitrarily tight. These approaches only require higher order statistical moments of agent positions to determine upper bounds on risk. To perform risk assessment when models are learned for agent control inputs as opposed to positions, we propagate the moments of uncertain control inputs through the nonlinear motion dynamics to obtain the exact moments of uncertain position over the planning horizon. To this end, we construct deterministic linear dynamical systems that govern the exact time evolution of the moments of uncertain position in the presence of uncertain control inputs. The presented methods are demonstrated on realistic predictions from DNNs trained on the Argoverse and CARLA datasets and are shown to be effective for rapidly assessing the probability of low probability events.


title: Proximity-Effect-Induced Anisotropic Superconductivity in Monolayer Ni-Pb Binary Alloy

abstract: Proximity effect facilitates the penetration of Cooper pairs that permits superconductivity in normal metal, offerring a promising approach to turn heterogeneous materials into superconducting and develop exceptional quantum phenomena. Here, we have systematically investigated proximity-induced anisotropic superconductivity in monolayer Ni-Pb binary alloy by combining scanning tunneling microscopy/ spectroscopy(STM/STS) with theoretical calculations. By means of high temperature growth, the(3root3by3root3)R30o Ni-Pb surface alloy has been fabricated on the Pb(111), where the appearance of domain boundary as well as lattice transformation are further corroborated by the STM simulations. Given the high spatial and energy resolution, tunnelling conductance (dI/dU) spectra have resolved a reduced but anisotropic superconducting gap NiPb about 1.0 meV, in stark contrast to the isotropic Pb about 1.3 meV on the conventional Pb(111). In addition, the higher density of states at Fermi energy (D(EF)) of Ni-Pb surface alloy results in an enhancement of coherence peak height. According to the same Tc about 7.1 K with Pb(111) from the temperature dependent NiPb and a short decay length Ld about 3.55 nm from the spatially monotonic decrease of NiPb, both results are supportive for the proximity-induced superconductivity. Despite a lack of bulk counterpart, the atomic-thick Ni-Pb bimetallic compound opens a new pathway to engineer superconducting properties down to the low-dimensional limit, giving rise to the emergence of anisotropic superconductivity via proximity effect.


title: On Net Energy Metering X: Optimal Prosumer Decisions, Social Welfare, and Cross-Subsidies

abstract: We introduce NEM X, an inclusive retail tariff model that captures features of existing net energy metering (NEM) policies. It is shown that the optimal prosumer decision has three modes: (a) the net-consuming mode where the prosumer consumes more than its behind-the-meter distributed energy resource (DER) production when the DER production is below a predetermined lower threshold, (b) the net-producing mode where the prosumer consumes less than its DER production when the DER production is above a predetermined upper threshold, and (c) the net-zero energy mode where the prosumer's consumption matches to its DER generation when its DER production is between the lower and upper thresholds. Both thresholds are obtained in closed-form. Next, we analyze the regulator's rate-setting process that determines NEM X parameters such as retail/sell rates, fixed charges, and price differentials in time-of-use tariffs' on and off-peak periods. A stochastic Ramsey pricing program that maximizes social welfare subject to the revenue break-even constraint for the regulated utility is formulated. Performance of several NEM X policies is evaluated using real and synthetic data to illuminate impacts of NEM policy designs on social welfare, cross-subsidies of prosumers by consumers, and payback time of DER investments that affect long-run DER adoptions.


title: Bounds on the absorptive parts of the chromomagnetic and chromoelectric dipole moments of the top quark from LHC data

abstract: Bounds on the absorptive (imaginary) parts of the top quark chromomagnetic $\hat{\mu}_t$ and chromoelectric $\hat{d}_t$ dipole moments are obtained by reinterpreting the most recent LHC data in top quark pair production. It is found that both limits are of the order of $10^{-1}-10^{-2}$, which are consistent with the standard model prediction of ${\rm Im}\big[\hat{\mu}_t\big]$. The effects of the absorptive parts of the top quark dipole moments are also studied via some kinematic distributions of $\bar{t}t$ production, though no significant deviation from the standard model leading order contribution is observed. Our bounds can be useful to constrain the parameter space of standard model extensions.


title: When expertise gone missing: Uncovering the loss of prolific contributors in Wikipedia

abstract: Success of planetary-scale online collaborative platforms such as Wikipedia is hinged on active and continued participation of its voluntary contributors. The phenomenal success of Wikipedia as a valued multilingual source of information is a testament to the possibilities of collective intelligence. Specifically, the sustained and prudent contributions by the experienced prolific editors play a crucial role to operate the platform smoothly for decades. However, it has been brought to light that growth of Wikipedia is stagnating in terms of the number of editors that faces steady decline over time. This decreasing productivity and ever increasing attrition rate in both newcomer and experienced editors is a major concern for not only the future of this platform but also for several industry-scale information retrieval systems such as Siri, Alexa which depend on Wikipedia as knowledge store. In this paper, we have studied the ongoing crisis in which experienced and prolific editors withdraw. We performed extensive analysis of the editor activities and their language usage to identify features that can forecast prolific Wikipedians, who are at risk of ceasing voluntary services. To the best of our knowledge, this is the first work which proposes a scalable prediction pipeline, towards detecting the prolific Wikipedians, who might be at a risk of retiring from the platform and, thereby, can potentially enable moderators to launch appropriate incentive mechanisms to retain such `would-be missing' valued Wikipedians.


title: Observational signatures of the surviving donor star in the double detonation model of Type Ia supernovae

abstract: The sub-Chandrasekhar mass double-detonation (DDet) scenario is a contemporary model for SNe Ia. The donor star in the DDet scenario is expected to survive the explosion and to be ejected at the high orbital velocity of a compact binary system. For the first time, we consistently perform 3D hydrodynamical simulations of the interaction of SN ejecta with a helium (He) star companion within the DDet scenario. We map the outcomes of 3D impact simulations into 1D stellar evolution codes and follow the long-term evolution of the surviving He-star companions. Our main goal is to provide the post-impact observable signatures of surviving He-star companions of DDet SNe Ia, which will support the search for such companions in future observations. We find that our surviving He-star companions become significantly overluminous for about 1e6 yr during the thermal re-equilibration phase. After the star re-establishes thermal equilibrium, its observational properties are not sensitive to the details of the ejecta-donor interaction. We apply our results to hypervelocity star US 708, which is the fastest unbound star in our Galaxy, travelling with a velocity of about 1200 km/s, making it natural candidate for an ejected donor remnant of a DDet SN Ia. We find that a He-star donor with an initial mass of >0.5 Msun is needed to explain the observed properties of US 708. Based on our detailed binary evolution calculations, however, the progenitor system with such a massive He-star donor cannot get close enough at the moment of SN explosion to explain the high velocity of US 708. Instead, if US 708 is indeed the surviving He-star donor of a DDet SN~Ia, it would require the entire pre-SN progenitor binary to travel at a velocity of about 400 km/s. It could, for example, have been ejected from a globular cluster in the direction of the current motion of the surviving donor star.


title: Spin Alignment of Dark Matter Halos: Mad Halos

abstract: We investigate the spin alignment of the dark matter halos by considering a mechanism somewhat similar to tidal locking. We dubbed it Tidal Locking Theory (TLT). While Tidal Torque Theory is responsible for the initial angular momentum of the dark matter halos, the Tidal locking Theory explains the angular momentum evolution during non-linear ages. Our previous work showed that close encounters between haloes could drastically change their angular momentum. The current manuscript argues that the tidal locking theory predicts partial alignment between speed and the spin direction for the large high-speed halos. To examine this prediction, we use the IllustrisTNG simulation and look for the alignment of the halos' rotation axis. We find that the excess probability of alignment between spin and speed is about 10 percent at $z=0$ for fast haloes; with velocities larger than twice the median. We show that tidal torque theory predicts that the spin of a halo tends to be aligned with the middle eigendirection of the tidal tensor. Moreover, we find that the halos at $z=10$ are preferentially aligned with the middle eigendirection of the tidal tensor with an excess probability of 15 percent. We show that tidal torque theory fails to predict correct alignment at $z=0$ while it works almost flawlessly at $z=10$.


title: Quantum gravitational states of ultracold neutrons as a tool for probing of beyond-Riemann gravity

abstract: We analyze a possibility to probe beyond-Riemann gravity (BRG) contributions, introduced by Kostelecky and Li (see Phys. Rev. D 103, 024059 (2021) and Phys. Rev. D 104, 044054 (2021)) on the basis of the Effective Field Theory (EFT) by Kostelecky Phys. Rev. D 69, 105009 (2004). We carry out such an analysis by calculating the BRG contributions to the transition frequencies of the quantum gravitational states of ultracold neutrons (UCNs). These states are being used for a test of interactions beyond the Standard Model (SM) and General Relativity (GR) in the qBOUNCE experiments. We improve by order of magnitude some constraints obtained by Kostelecky and Li (2106.11293 [gr-qc]).


title: Conditioning of a Hybrid High-Order scheme on meshes with small faces

abstract: We conduct a condition number analysis of a Hybrid High-Order (HHO) scheme for the Poisson problem. We find the condition number of the statically condensed system to be independent of the number of faces in each element, or the relative size between an element and its faces. The dependence of the condition number on the polynomial degree is tracked. Next, we consider HHO schemes on cut background meshes, which are commonly used in unfitted discretisations. It is well known that the linear systems obtained on these meshes can be arbitrarily ill-conditioned due to the presence of sliver-cut and small-cut elements. We show that the condition number arising from HHO schemes on such meshes is not as negatively effected as those arising from conforming methods. We describe how the condition number can be improved by aggregating ill-conditioned elements with their neighbours.


title: Central units of integral group rings of monomial groups

abstract: In this paper, it is proved that the group generated by Bass units contains a subgroup of finite index in the group of central units $\mathcal{Z}(\mathcal{U}(\mathbb{Z}G))$ of the integral group ring $\mathbb{Z}G$ for a subgroup closed monomial group $G$ with the property that every cyclic subgroup of order not a divisor of $4$ or $6$ is subnormal in $G$. If $G$ is a generalized strongly monomial group, then it is shown that the group generated by generalized Bass units contains a subgroup of finite index in $\mathcal{Z}(\mathcal{U}(\mathbb{Z}G))$. Furthermore, for a generalized strongly monomial group $G$, the rank of $\mathcal{Z}(\mathcal{U}(\mathbb{Z}G))$ is determined. The formula so obtained is in terms of generalized strong Shoda pairs of $G$.


title: Inverse mass cascade in dark matter flow and effects on halo mass functions

abstract: Inverse mass cascade is a key feature of statistically steady state for self-gravitating collisionless dark matter flow (SG-CFD). Continuous mass transfer from small to large mass scales (inverse) is formulated. Direct effect of mass cascade on halo mass function is presented. Mass cascade is local, two-way, and asymmetric in mass space. Halos inherit/pass their mass from/to halos of similar size. Two regimes are identified: a propagation range with scale-independent rate of mass transfer and a deposition range with cascaded mass consumed to grow halos. Dimensional analysis leads to a power-law mass function in propagation range with a geometry exponent ${\lambda}$. A fundamental merging frequency $f_0{\sim}m_p^{\lambda-1}a^{-1}$ is identified, where $a$ is scale factor. Particle mass $m_p$ can be determined if that frequency is known. Rate of mass transfer ${\epsilon}_m{\sim}a^{-1}$ is independent of halo mass, a key feature of propagation range. Typical halos grow as $m_h{\sim}a^{3/2}$ and halo lifespan scales as ${\sim}m_h^{-\lambda}$. Chain reaction of mass cascade provides non-equilibrium dark matter flow a mechanism to continuously release energy and maximize entropy. Continuous injection of mass ("free radicals") at the smallest scale is required to sustain the everlasting inverse mass cascade such that total halo mass $M_h$ increases as $a^{1/2}$. These "radicals" might be directly generated at the smallest Planck scale or by a direct cascade from large to small scales. Entire mass cascade can be formulated by random walk in mass space, where halos migrate with an exponential distribution of waiting time. This results in a heterogeneous diffusion model, where Press-Schechter mass function can be fully derived without relying on any specific collapse models. A double-$\lambda$ mass function is proposed with different $\lambda$ for two ranges and agrees with N-body simulations.


title: Engineering plasmon modes and their loss in armchair graphene nanoribbons by selected edge-extended defects

abstract: The effect of edge modification of armchair graphene nanoribbons (AGNRs) on the collective excitations are theoretically investigated. The tight-binding method is employed in conjunction with the dielectric function. Unconventional plasmon modes and their association with the flat bands of the specially designed AGNRs are thoroughly studied. We demonstrate the robust relationship between the novel collective excitations and both the type and period of the edge modification. Additionally, we reveal that the main features displayed in the (momentum, frequency)-phase diagrams for both single-particle and collective excitations of AGNRs can be efficiently tuned by edge-extended defects. Our obtained plasmon modes are found to be analogous to magnetoplasmons associated with collective excitations of Landau-quantized electrons. This work provides a unique way to engineer discrete magnetoplasmon-like modes of AGNRs in the absence of magnetic field.


title: A Study of Variations in Correlation Between Rotation Residual and Meridional Velocity of Sunspot Groups

abstract: We analyzed the combined 142 years sunspot-group data from Greenwich Photoheliograpic Results (GPR) and Debrecen Photoheliographic Data (DPD) and determined the yearly mean residual rotation rate and the meridional velocity of sunspot groups in different 5-degree latitude intervals. The residual rotation rate is found to be -120 m/s to 80 m/s. In a large number of solar cycles the rotation is to some extent weaker during maxima than that of during minima. There exist alternate bands of equatorward and poleward merdional motions. The equatorward motion is dominant mostly around the maxima of solar cycles with velocity 8-12 m/s, whereas the poleward motion is dominant mostly around the minima but with a relatively weak velocity, only 4-6 m/s. This analysis suggests the existence of equatorward migrating alternate bands of slower and faster than average rotation within the activity belt and no clear equatorward or poleward migrating bands of meridional motions. A statistically significant anticorrelation exists between the meridional motion and residual rotation. The corresponding linear-least-squares best-fit is found to be reasonably good (slope, -0.028 + or - 0.008, is about 3.5 times larger than its standard deviation). The significant negative value of the slope indicates the existence of a strong angular momentum transport toward equator. The slope leads sunspot number (SN) by about 4 and 9 years. The Morlet wavelet spectrum of the slope suggests the existence of approximate 11-year periodicity in the slope almost throughout the data window, but it was very weak during 1920-1940.Overall the results suggest there exits a strong relationship between the slope and amount of activity during a solar cycle. However, no relationship is found between the slope and strength of activity on a long-time scale (longer than 11-year period).


title: Signal Classification using Smooth Coefficients of Multiple wavelets

abstract: Classification of time series signals has become an important construct and has many practical applications. With existing classifiers we may be able to accurately classify signals, however that accuracy may decline if using a reduced number of attributes. Transforming the data then undertaking reduction in dimensionality may improve the quality of the data analysis, decrease time required for classification and simplify models. We propose an approach, which chooses suitable wavelets to transform the data, then combines the output from these transforms to construct a dataset to then apply ensemble classifiers to. We demonstrate this on different data sets, across different classifiers and use differing evaluation methods. Our experimental results demonstrate the effectiveness of the proposed technique, compared to the approaches that use either raw signal data or a single wavelet transform.


title: A Noether-Lefschetz Theorem for Spectral Varieties with Applications

abstract: We calculate the Picard group of generic (very general) spectral varieties living in the total space of a very ample line bundle over an algebraically closed field $k$ of odd characteristics or characteristic 0. We follow the strategy of Ravindra and Srinivas [RS06,RS09] via formal Picard groups. As an application, we calculate the generic fibers of Hitchin systems over a smooth quintic surface of Picard number 1.


title: Engineering the Electronic Structure of Two-Dimensional Materials with Near-Field Electrostatic Effects of Self-Assembled Organic Layers

abstract: We compute the electronic structure of two-dimensional (2D) materials decorated with self-assembled organic monolayers using density functional theory. We find that 2D materials are strongly impacted by near-field electrostatic effects resulting from high multipoles of the organic layer electronic density. We show that this effect can lead to significant (~0.5V) modulation of the in-plane potential experienced by electrons in 2D materials within ~4\AA from the molecular layer, with a transition between near- and far-field depending on the lateral extent of the molecules. We develop a theory of this effect, showing that the electrostatic potential of the molecular layer can be approximated by a discretized planar charge density derived from the molecular structure and multipoles. Solving this model computationally and analytically, we propose implementations of this effect to generate novel electronic properties for electrons in 2D materials, such as band gap opening and anisotropic group velocity modulation for monolayer graphene from experimentally achievable molecular assemblies.


title: Learning Kernel-Smoothed Machine Translation with Retrieved Examples

abstract: How to effectively adapt neural machine translation (NMT) models according to emerging cases without retraining? Despite the great success of neural machine translation, updating the deployed models online remains a challenge. Existing non-parametric approaches that retrieve similar examples from a database to guide the translation process are promising but are prone to overfit the retrieved examples. In this work, we propose to learn Kernel-Smoothed Translation with Example Retrieval (KSTER), an effective approach to adapt neural machine translation models online. Experiments on domain adaptation and multi-domain machine translation datasets show that even without expensive retraining, KSTER is able to achieve improvement of 1.1 to 1.5 BLEU scores over the best existing online adaptation methods. The code and trained models are released at https://github.com/jiangqn/KSTER.


title: Exploring the Applicability of Birkhoff's Theorem in Jackiw-Teitelboim Gravity

abstract: We present a comprehensive analysis aimed at verifying the validity of Birkhoff's theorem within the framework of JT (Jackiw-Teitelboim) gravity, a two-dimensional model serving as a simplified platform for studying gravitational dynamics. Birkhoff's theorem, originally formulated in four-dimensional general relativity, asserts the uniqueness of spherically symmetric vacuum solutions. However, its applicability to lower-dimensional gravitational theories, such as JT gravity, remains unexplored. In this paper, we systematically investigate the behavior of spherically symmetric solutions within the JT gravity framework. Employing analytical techniques , we examine the dependence of the gravitational potential on radial distance and assess the time-independence and asymptotic flatness of the solutions. Our results reveal that spherically symmetric solutions in JT gravity indeed exhibit properties consistent with Birkhoff's theorem, validating its applicability in two-dimensional gravitational dynamics. This verification not only enhances our understanding of gravitational phenomena in lower dimensions but also contributes to the broader exploration of gravitational theories and their implications for holography, quantum gravity, and related areas of theoretical physics.


title: Even Unimodular Lattices from Quaternion Algebras

abstract: We review a lattice construction arising from quaternion algebras over number fields and use it to obtain some known extremal and densest lattices in dimensions 8 and 16. The benefit of using quaternion algebras over number fields is that the dimensionality of the construction problem is reduced by 3/4. We explicitly construct the $E_8$ lattice (resp. $E_8^2$ and $\Lambda_{16}$) from infinitely many quaternion algebras over real quadratic (resp. quartic) number fields and we further present a density result on such number fields. By relaxing the extremality condition, we also provide a source for constructing even unimodular lattices in any dimension multiple of $8$.


title: Oriented surface points for efficient and accurate radar odometry

abstract: This paper presents an efficient and accurate radar odometry pipeline for large-scale localization. We propose a radar filter that keeps only the strongest reflections per-azimuth that exceeds the expected noise level. The filtered radar data is used to incrementally estimate odometry by registering the current scan with a nearby keyframe. By modeling local surfaces, we were able to register scans by minimizing a point-to-line metric and accurately estimate odometry from sparse point sets, hence improving efficiency. Specifically, we found that a point-to-line metric yields significant improvements compared to a point-to-point metric when matching sparse sets of surface points. Preliminary results from an urban odometry benchmark show that our odometry pipeline is accurate and efficient compared to existing methods with an overall translation error of 2.05%, down from 2.78% from the previously best published method, running at 12.5ms per frame without need of environmental specific training.


title: Electrification of water interface

abstract: The surface charge of a water interface determines many fundamental processes in physical chemistry and interface science, and it has been intensively studied for over a hundred years. We summarize experimental methods to characterize the surface charge densities developed so far: electrokinetics, double-layer force measurements, potentiometric titration, surface-sensitive nonlinear spectroscopy, and surface-sensitive mass spectrometry. Then, we elucidate physical ion adsorption and chemical electrification as examples of electrification mechanisms. In the end, novel effects on surface electrification are discussed in detail. We believe that this clear overview of state of the art in a charged water interface will surely help the fundamental progress of physics and chemistry at interfaces in the future.


title: The two phases of core formation -- orbital evolution in the centres of ellipticals with supermassive black hole binaries

abstract: The flat stellar density cores of massive elliptical galaxies form rapidly due to sinking supermassive black holes (SMBH) in gas-poor galaxy mergers. After the SMBHs form a bound binary, gravitational slingshot interactions with nearby stars drive the core regions towards a tangentially biased stellar velocity distribution. We use collisionless galaxy merger simulations with accurate collisional orbit integration around the central SMBHs to demonstrate that the removal of stars from the centre by slingshot kicks accounts for the entire change in velocity anisotropy. The rate of strong (unbinding) kicks is constant over several hundred Myr at $\sim 3 \ M_\odot \rm yr^{-1}$ for our most massive SMBH binary ($M_{\rm BH} = 1.7 \times 10^{10} M_\odot$). Using a frequency-based orbit classification scheme (box, x-tube, z-tube, rosette) we demonstrate that slingshot kicks mostly affect box orbits with small pericentre distances, leading to a velocity anisotropy of $\beta \lesssim -0.6$ within several hundred Myr as observed in massive ellipticals with large cores. We show how different SMBH masses affect the orbital structure of the merger remnants and present a kinematic tomography connecting orbit families to integral field kinematic features. Our direct orbit classification agrees remarkably well with a modern triaxial Schwarzschild analysis applied to simulated mock kinematic maps.


title: Self-similar hierarchy of coherent tubular vortices in turbulence

abstract: Energy transfers from larger to smaller scales in turbulence. This energy cascade is a process of the creation of smaller-scale coherent vortices by larger ones. In our recent study (Yoneda, Goto and Tsuruhashi 2021), we reformulated the energy cascade in terms of this stretching process and derived the $-5/3$ law of the energy spectrum under physically reasonable assumptions. In the present study, we provide a quantitative verification of these assumptions by using direct numerical simulations. We decompose developed turbulence in a periodic cube into scales by using the band-pass filter and identify the axes of coherent tubular vortices by the low-pressure method. Even when the turbulent kinetic energy and its dissipation rate temporally fluctuate about their temporal means, the total length of the vortices at each scale varies little with time. This result is consistent with our assumption of the temporal stationarity on the vorticity decomposition. The present numerical analysis also shows that the hierarchy of vortex axes is self-similar in a wide range of scales, i.e. in the inertial range and a lower part of the dissipation range and that the volume fraction occupied by the tubular vortices at each scale is independent of the scale.


title: Wave Effects in Double-Plane Lensing

abstract: We discuss the wave optical effects in gravitational lens systems with two point mass lenses in two different lens planes. We identify and vary parameters (i.e., lens masses, related distances, and their alignments) related to the lens system to investigate their effects on the amplification factor. We find that due to a large number of parameters, it is not possible to make generalized statements regarding the amplification factor. We conclude by noting that the best approach to study two-plane and multi-plane lensing is to study various possible lens systems case by case in order to explore the possibilities in the parameter space instead of hoping to generalize the results of a few test cases. We present a preliminary analysis of the parameter space for a two-lens system here.


title: Hypocoercivity for non-linear infinite-dimensional degenerate stochastic differential equations

abstract: The aim of this article is to construct solutions to second order in time stochastic partial differential equations and to show hypocoercivity of the corresponding transition semigroups. More generally, we analyze non-linear infinite-dimensional degenerate stochastic differential equations in terms of their infinitesimal generators. In the first part of this article we use resolvent methods developed by Beznea, Boboc and R\"ockner to construct diffusion processes with infinite lifetime and explicit invariant measures. The processes provide weak solutions to infinite-dimensional Langevin dynamics. The second part deals with a general abstract Hilbert space hypocoercivity method, developed by Dolbeaut, Mouhot and Schmeiser. In order to treat stochastic (partial) differential equations, Grothaus and Stilgenbauer translated these concepts to the Kolmogorov backwards setting taking domain issues into account. To apply these concepts in the context of infinite-dimensional Langevin dynamics we use an essential m-dissipativity result for infinite-dimensional Ornstein-Uhlenbeck operators, perturbed by the gradient of a potential. We allow unbounded diffusion operators as coefficients and apply corresponding regularity estimates. Furthermore, essential m-dissipativity of a non-sectorial Kolmogorov backward operator associated to the dynamic is needed. Poincar\'e inequalities for measures with densities w.r.t. infinite-dimensional non-degenerate Gaussian measures are studied. Deriving a stochastic representation of the semigroup generated by the Kolmogorov backward operator as the transition semigroup of a diffusion process enables us to show an $L^2$-exponential ergodicity result for the weak solution. Finally, we apply our results to explicit infinite-dimensional degenerate diffusion equations.


title: Automated segmentation and extraction of posterior eye segment using OCT scans

abstract: This paper proposes an automated method for the segmentation and extraction of the posterior segment of the human eye, including the vitreous, retina, choroid, and sclera compartments, using multi-vendor optical coherence tomography (OCT) scans. The proposed method works in two phases. First extracts the retinal pigment epithelium (RPE) layer by applying the adaptive thresholding technique to identify the retina-choroid junction. Then, it exploits the structure tensor guided approach to extract the inner limiting membrane (ILM) and the choroidal stroma (CS) layers, locating the vitreous-retina and choroid-sclera junctions in the candidate OCT scan. Furthermore, these three junction boundaries are utilized to conduct posterior eye compartmentalization effectively for both healthy and disease eye OCT scans. The proposed framework is evaluated over 1000 OCT scans, where it obtained the mean intersection over union (IoU) and mean Dice similarity coefficient (DSC) scores of 0.874 and 0.930, respectively.


title: The rise and fall of branching: a slowing down mechanism in relaxing wormlike micellar networks

abstract: A mean-field kinetic model suggests that the relaxation dynamics of wormlike micellar networks is a long and complex process due to the problem of reducing the number of free end-caps (or dangling ends) while also reaching an equilibrium level of branching after an earlier overgrowth. The model is validated against mesoscopic molecular dynamics simulations and is based on kinetic equations accounting for scission and synthesis processes of blobs of surfactants. A long relaxation time scale is reached both with thermal quenches and small perturbations of the system. The scaling of this relaxation time is exponential with the free energy of an end cap and with the branching free energy. We argue that the subtle end-recombination dynamics might yield effects that are difficult to detect in rheology experiments, with possible underestimates of the typical time scales of viscoelastic fluids.


title: Perpetual Free-choice Petri nets are lucent -- proof of a theorem of van der Aalst using CP-exhaustions

abstract: Van der Aalst's theorem is an important result for the analysis and synthesis of process models. The paper proves the theorem by exhausting perpetual free-choice Petri nets by CP-subnets. The resulting T-systems are investigated by elementary methods.


title: Geometrically exact static isogeometric analysis of an arbitrarily curved spatial Bernoulli-Euler beam

abstract: The objective of this research is the development of a geometrically exact model for the analysis of arbitrarily curved spatial Bernoulli-Euler beams. The complete metric of the beam is utilized in order to include the effect of curviness on the nonlinear distribution of axial strain over the cross section. The exact constitutive relation between energetically conjugated pairs is employed, along with four reduced relations. The isogeometric approach, which allows smooth connections between finite elements, is used for the spatial discretization of the weak form. Two methods for updating the local basis are applied and discussed in the context of finite rotations. All the requirements of geometrically exact beam theory are satisfied, such as objectivity and path-independence. The accuracy of the formulation is verified by a thorough numerical analysis. The influence of the curviness on the structural response is scrutinized for two classic examples. If the exact response of the structure is sought, the curviness must be considered when choosing the appropriate beam model.


title: Vaccine allocation policy optimization and budget sharing mechanism using Thompson sampling

abstract: The optimal allocation of vaccines to population subgroups over time is a challenging health care management problem. In the context of a pandemic, the interaction between vaccination policies adopted by multiple agents and the cooperation (or lack thereof) creates a complex environment that affects the global transmission dynamics of the disease. In this study, we take the perspective of decision-making agents that aim to minimize the size of their susceptible populations and must allocate vaccine under limited supply. We assume that vaccine efficiency rates are unknown to agents and we propose an optimization policy based on Thompson sampling to learn mean vaccine efficiency rates over time. Furthermore, we develop a budget-balanced resource sharing mechanism to promote cooperation among agents. We apply the proposed framework to the COVID-19 pandemic. We use a raster model of the world where agents represent the main countries worldwide and interact in a global mobility network to generate multiple problem instances. Our numerical results show that the proposed vaccine allocation policy achieves a larger reduction in the number of susceptible individuals, infections and deaths globally compared to a population-based policy. In addition, we show that, under a fixed global vaccine allocation budget, most countries can reduce their national number of infections and deaths by sharing their budget with countries with which they have a relatively high mobility exchange. The proposed framework can be used to improve policy-making in health care management by national and global health authorities.


title: Certifying Global Optimality of AC-OPF Solutions via sparse polynomial optimization

abstract: We report the experimental results on certifying 1% global optimality of solutions of AC-OPF instances from PGLiB via the CS-TSSOS hierarchy -- a moment-SOS based hierarchy that exploits both correlative and term sparsity, which can provide tighter SDP relaxations than Shor's relaxation. Our numerical experiments demonstrate that the CS-TSSOS hierarchy scales well with the problem size and is indeed useful in certifying global optimality of solutions for large-scale real world problems, e.g., the AC-OPF problem. In particular, we are able to certify 1% global optimality for a challenging AC-OPF instance with 6515 buses involving 14398 real variables and 63577 constraints.


title: Measuring relational information between quantum states, and applications

abstract: The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a complete and robust characterization of the projective-unitary invariant properties of any set of pure or mixed states. As applications, we describe basis-independent tests for linear independence, coherence, and imaginarity. We also show that Bargmann invariants can be used to characterize multi-photon indistinguishability.


title: Generating Local Maps of Science using Deep Bibliographic Coupling

abstract: Bibliographic and co-citation coupling are two analytical methods widely used to measure the degree of similarity between scientific papers. These approaches are intuitive, easy to put into practice, and computationally cheap. Moreover, they have been used to generate a map of science, allowing visualizing research field interactions. Nonetheless, these methods do not work unless two papers share a standard reference, limiting the two papers usability with no direct connection. In this work, we propose to extend bibliographic coupling to the deep neighborhood, by using graph diffusion methods. This method allows defining similarity between any two papers, making it possible to generate a local map of science, highlighting field organization.


title: A Low-Subpacketization High-Performance MIMO Coded Caching Scheme

abstract: In this paper, we study how coded caching can be efficiently applied to multiple-input multiple-output (MIMO) communications. This is an extension to cache-aided multiple-input single-output (MISO) communications, where it is shown that with an $L$-antenna transmitter and coded caching gain $t$, a cumulative coded caching and spatial multiplexing gain of $t+L$ is achievable. We show that, interestingly, for MIMO setups with $G$-antenna receivers, a coded caching gain larger than MISO setups by a multiplicative factor of $G$ is possible, and the full coded caching and spatial multiplexing gain of $Gt+L$ is also achievable. Furthermore, we propose a novel algorithm for building low-subpacketization, high-performance MIMO coded caching schemes using a large class of existing MISO schemes.


title: An AI-assisted Economic Model of Endogenous Mobility and Infectious Diseases: The Case of COVID-19 in the United States

abstract: We build a deep-learning-based SEIR-AIM model integrating the classical Susceptible-Exposed-Infectious-Removed epidemiology model with forecast modules of infection, community mobility, and unemployment. Through linking Google's multi-dimensional mobility index to economic activities, public health status, and mitigation policies, our AI-assisted model captures the populace's endogenous response to economic incentives and health risks. In addition to being an effective predictive tool, our analyses reveal that the long-term effective reproduction number of COVID-19 equilibrates around one before mass vaccination using data from the United States. We identify a "policy frontier" and identify reopening schools and workplaces to be the most effective. We also quantify protestors' employment-value-equivalence of the Black Lives Matter movement and find that its public health impact to be negligible.


title: Nonparametric estimation of linear multiplier in stochastic differential equations driven by $\alpha$-stable noise

abstract: We discuss nonparametric estimation of linear multiplier in a trend coefficient in models governed by an $\alpha$-stable small noise.


title: Unsupervised Abstract Reasoning for Raven's Problem Matrices

abstract: Raven's Progressive Matrices (RPM) is highly correlated with human intelligence, and it has been widely used to measure the abstract reasoning ability of humans. In this paper, to study the abstract reasoning capability of deep neural networks, we propose the first unsupervised learning method for solving RPM problems. Since the ground truth labels are not allowed, we design a pseudo target based on the prior constraints of the RPM formulation to approximate the ground truth label, which effectively converts the unsupervised learning strategy into a supervised one. However, the correct answer is wrongly labelled by the pseudo target, and thus the noisy contrast will lead to inaccurate model training. To alleviate this issue, we propose to improve the model performance with negative answers. Moreover, we develop a decentralization method to adapt the feature representation to different RPM problems. Extensive experiments on three datasets demonstrate that our method even outperforms some of the supervised approaches. Our code is available at https://github.com/visiontao/ncd.


title: Critical values for the $\beta$-transformation with a hole at $0$

abstract: Given $\beta\in(1,2]$, let $T_\beta$ be the $\beta$-transformation on the unit circle $[0,1)$ such that $T_\beta(x)=\beta x\pmod 1$. For each $t\in[0,1)$ let $K_\beta(t)$ be the survivor set consisting of all $x\in[0,1)$ whose orbit $\{T^n_\beta(x): n\ge 0\}$ never hits the open interval $(0,t)$. Kalle et al. proved in [Ergodic Theory Dynam. Systems, 40 (9): 2482--2514, 2020] that the Hausdorff dimension function $t\mapsto\dim_H K_\beta(t)$ is a non-increasing Devil's staircase. So there exists a critical value $\tau(\beta)$ such that $\dim_H K_\beta(t)>0$ if and only if $t<\tau(\beta)$. In this paper we determine the critical value $\tau(\beta)$ for all $\beta\in(1,2]$, answering a question of Kalle et al. (2020). For example, we find that for the Komornik-Loreti constant $\beta\approx 1.78723$ we have $\tau(\beta)=(2-\beta)/(\beta-1)$. Furthermore, we show that (i) the function $\tau: \beta\mapsto\tau(\beta)$ is left continuous on $(1,2]$ with right-hand limits everywhere, but has countably infinitely many discontinuities; (ii) $\tau$ has no downward jumps, with $\tau(1+)=0$ and $\tau(2)=1/2$; and (iii) there exists an open set $O\subset(1,2]$, whose complement $(1,2]\setminus O$ has zero Hausdorff dimension, such that $\tau$ is real-analytic, convex and strictly decreasing on each connected component of $O$. Consequently, the dimension $\dim_H K_\beta(t)$ is not jointly continuous in $\beta$ and $t$. Our strategy to find the critical value $\tau(\beta)$ depends on certain substitutions of Farey words and a renormalization scheme from dynamical systems.


title: Negation-Instance Based Evaluation of End-to-End Negation Resolution

abstract: In this paper, we revisit the task of negation resolution, which includes the subtasks of cue detection (e.g. "not", "never") and scope resolution. In the context of previous shared tasks, a variety of evaluation metrics have been proposed. Subsequent works usually use different subsets of these, including variations and custom implementations, rendering meaningful comparisons between systems difficult. Examining the problem both from a linguistic perspective and from a downstream viewpoint, we here argue for a negation-instance based approach to evaluating negation resolution. Our proposed metrics correspond to expectations over per-instance scores and hence are intuitively interpretable. To render research comparable and to foster future work, we provide results for a set of current state-of-the-art systems for negation resolution on three English corpora, and make our implementation of the evaluation scripts publicly available.


title: On a class of self-similar sets which contain finitely many common points

abstract: For $\lambda\in(0,1/2]$ let $K_\lambda \subset\mathbb{R}$ be a self-similar set generated by the iterated function system $\{\lambda x, \lambda x+1-\lambda\}$. Given $x\in(0,1/2)$, let $\Lambda(x)$ be the set of $\lambda\in(0,1/2]$ such that $x\in K_\lambda$. In this paper we show that $\Lambda(x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\ldots, y_p\in(0,1/2)$ there exists a full Hausdorff dimensional set of $\lambda\in(0,1/2]$ such that $y_1,\ldots, y_p \in K_\lambda$.


title: The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension

abstract: Let $n,n'$ be positive integers and let $V$ be an $(n+n')$-dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$, where $U$ is a non-degenerate $n$-subspace and $U'$ is a non-degenerate $n'$-subspace of $V$, such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case.


title: CONQUER: Contextual Query-aware Ranking for Video Corpus Moment Retrieval

abstract: This paper tackles a recently proposed Video Corpus Moment Retrieval task. This task is essential because advanced video retrieval applications should enable users to retrieve a precise moment from a large video corpus. We propose a novel CONtextual QUery-awarE Ranking~(CONQUER) model for effective moment localization and ranking. CONQUER explores query context for multi-modal fusion and representation learning in two different steps. The first step derives fusion weights for the adaptive combination of multi-modal video content. The second step performs bi-directional attention to tightly couple video and query as a single joint representation for moment localization. As query context is fully engaged in video representation learning, from feature fusion to transformation, the resulting feature is user-centered and has a larger capacity in capturing multi-modal signals specific to query. We conduct studies on two datasets, TVR for closed-world TV episodes and DiDeMo for open-world user-generated videos, to investigate the potential advantages of fusing video and query online as a joint representation for moment retrieval.


title: Black holes as frozen stars

abstract: We have recently proposed a model for a regular black hole, or an ultra-compact object, that is premised on having maximally negative radial pressure throughout the entirety of the object's interior. This model can be viewed as that of a highly entropic configuration of fundamental, closed strings near the Hagedorn temperature, but from the perspective of an observer who is ignorant about the role of quantum physics in counteracting against gravitational collapse. The advantage of this classical perspective is that one can use Einstein's equations to define a classical geometry and investigate its stability. Here, we complete the model by studying an important aspect of this framework that has so far been overlooked: The geometry and composition of the outermost layer of the ultra-compact object, which interpolates between the bulk geometry of the object and the standard Schwarzschild vacuum solution in its exterior region. By imposing a well-defined set of matching conditions, we find a metric that describes this transitional layer and show that it satisfies all the basic requirements; including the stability of the object when subjected to small perturbations about the background solution. In fact, we are able to show that, at linearized order, all geometrical and matter fluctuations are perfectly frozen in the transitional layer, just as they are known to be in the bulk of the object's interior.


title: A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox

abstract: We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the resulting logic contains two kinds of justification assertions: epistemic justification assertions and deontic justification assertions. The former presents justification for the agent's knowledge and the latter gives reasons for why a proposition is obligatory. We present two kinds of semantics for the logic: one based on Fitting models and the other based on neighborhood models. The use of neighborhood semantics enables us to define the dual of deontic justification assertions properly, which corresponds to the notion of permission in deontic logic. We then establish the soundness and completeness of an axiom system of the logic with respect to these semantics. Further, we formalize the Protagoras versus Euathlus paradox in this logic and present a precise analysis of the paradox, and also briefly discuss Leibniz's solution.


title: Missing theoretical evidence for conventional room temperature superconductivity in low enthalpy structures of carbonaceous sulfur hydrides

abstract: To elucidate the geometric structure of the putative room temperature superconductor, carbonaceous sulfur hydride, at high pressure, we present the results of an extensive computational structure search of bulk C-S-H at 250 gigapascals. Using the minima hopping structure prediction method coupled to the GPU accelerated Sirius library, more than 17,000 local minima with different stochiometries in large simulation cells were investigated. Only 24 stochiometries are favourable against elemental decomposition, all of them are carbon doped H$_3$S crystals. The absence of van Hove singularities or similar peaks in the electronic density of states of more than 3.000 candidate phases rules out conventional superconductivity in C-S-H at room-temperature.


title: Online Multi-horizon Transaction Metric Estimation with Multi-modal Learning in Payment Networks

abstract: Predicting metrics associated with entities' transnational behavior within payment processing networks is essential for system monitoring. Multivariate time series, aggregated from the past transaction history, can provide valuable insights for such prediction. The general multivariate time series prediction problem has been well studied and applied across several domains, including manufacturing, medical, and entomology. However, new domain-related challenges associated with the data such as concept drift and multi-modality have surfaced in addition to the real-time requirements of handling the payment transaction data at scale. In this work, we study the problem of multivariate time series prediction for estimating transaction metrics associated with entities in the payment transaction database. We propose a model with five unique components to estimate the transaction metrics from multi-modality data. Four of these components capture interaction, temporal, scale, and shape perspectives, and the fifth component fuses these perspectives together. We also propose a hybrid offline/online training scheme to address concept drift in the data and fulfill the real-time requirements. Combining the estimation model with a graphical user interface, the prototype transaction metric estimation system has demonstrated its potential benefit as a tool for improving a payment processing company's system monitoring capability.


title: Stabilizing Elastic Weight Consolidation method in practical ML tasks and using weight importances for neural network pruning

abstract: This paper is devoted to the features of the practical application of the Elastic Weight Consolidation (EWC) method for continual learning of neural networks on several training sets. We will more rigorously compare the well-known methodologies for calculating the importance of weights used in the EWC method. These are the Memory Aware Synapses (MAS), Synaptic Intelligence (SI) methodologies and the calculation of the importance of weights based on the Fisher information matrix from the original paper on EWC. We will consider these methodologies as applied to deep neural networks with fully connected and convolutional layers, find the optimal hyperparameters for each of the methodologies, and compare the results of continual neural network learning using these hyperparameters. Next, we will point out the problems that arise when applying the EWC method to deep neural networks with convolutional layers and self-attention layers, such as the "gradient explosion" and the loss of meaningful information in the gradient when using the constraint of its norm (gradient clipping). Then, we will propose a stabilization approach for the EWC method that helps to solve these problems, evaluate it in comparison with the original methodology and show that the proposed stabilization approach performs on the task of maintaining skills during continual learning no worse than the original EWC, but does not have its disadvantages. In conclusion, we present an interesting fact about the use of various types of weight importance in the problem of neural network pruning.


title: Spin-induced motion in black hole spacetime

abstract: Based on the covariant hamiltonian formalism, we study the dynamics of spinning test bodies in the Kerr and Schwarzschild spacetimes. For the first time, we derive the exact solution of circular orbits in the Kerr plane without truncating the spin of the particle or black hole. A large class of noncircular bound orbits has been developed by using the world line perturbation theory. It is found that the spinning body possesses a double frequency, and thus, in addition to the angular shift, the periastron varies radially proportional to the alignment and magnitude of spins. By using the method of stability analysis, we predict the radius of the innermost stable circular orbit (ISCO) as a function of particle and black hole spin. Furthermore, extending the perturbative technique for generic orientation of spin in Schwarzschild spacetime leads to the development of nonplanar bound orbits and the prediction of fully relativistic precessional frequency of the orbital plane.


title: The reverse flow and amplification of heat in a quantum-dot system

abstract: We demonstrate that when a quantum dot is embedded between the two reservoirs described by different statistical distribution functions, the reverse flow and amplification of heat can be realized by regulating the energy levels of the quantum dot and the chemical potentials of two reservoirs. The reverse heat flow and amplification coefficient of the quantum device are calculated. The novelty of this device is that the reverse flow of heat does not need externally driving force and this seemingly paradoxical phenomenon does not violate the laws of thermodynamics. It is further expounded that the quantum device has some practical applications. For example, the device can work as a micro/nano cooler. Moreover, the performance characteristics of the cooler are revealed for different distribution functions. The coefficients of performance of the cooler operated at different conditions are calculated and the optimum selection criteria of key parameters are supplied.


title: Self-Supervised Action-Space Prediction for Automated Driving

abstract: Making informed driving decisions requires reliable prediction of other vehicles' trajectories. In this paper, we present a novel learned multi-modal trajectory prediction architecture for automated driving. It achieves kinematically feasible predictions by casting the learning problem into the space of accelerations and steering angles -- by performing action-space prediction, we can leverage valuable model knowledge. Additionally, the dimensionality of the action manifold is lower than that of the state manifold, whose intrinsically correlated states are more difficult to capture in a learned manner. For the purpose of action-space prediction, we present the simple Feed-Forward Action-Space Prediction (FFW-ASP) architecture. Then, we build on this notion and introduce the novel Self-Supervised Action-Space Prediction (SSP-ASP) architecture that outputs future environment context features in addition to trajectories. A key element in the self-supervised architecture is that, based on an observed action history and past context features, future context features are predicted prior to future trajectories. The proposed methods are evaluated on real-world datasets containing urban intersections and roundabouts, and show accurate predictions, outperforming state-of-the-art for kinematically feasible predictions in several prediction metrics.


title: A Convective Boundary Condition for the Navier-Stokes Equations: Existence Analysis and Numerical Implementations

abstract: Due to computational complexity, fluid flow problems are mostly defined on a bounded domain. Hence, capturing fluid outflow calls for imposing an appropriate condition on the boundary where the said outflow is prescribed. Usually, the Neumann-type boundary condition called do-nothing condition is the go-to description for such outflow phenomenon However, such condition does not ensure an energy estimate for the Navier--Stokes equations - let alone establish the existence of solutions. In this paper, we analyze a convective boundary condition that will capture outflow and establish the existence of solutions to the governing equation. We shall show existence and uniqueness results for systems with mixed boundary conditions - Dirichlet condition and the convective boundary condition. The first system is a stationary equation where the Dirichlet condition is purely homogeneous, the other is where an input function is prescribed, and lastly a dynamic system with prescribed input function. We end by showing numerical examples to illustrate the difference between the current outflow condition and the usual do-nothing condition.


title: Influence of a spatial anisotropy on presence of the intermediate one-half magnetization plateau of a spin-1/2 Ising-Heisenberg branched chain

abstract: A spin-1/2 Ising-Heisenberg branched chain constituted by regularly alternating Ising spins and Heisenberg dimers involving an additional side branching is exactly solved in a magnetic field by the transfer-matrix method. The spin-1/2 Ising-Heisenberg branched chain involves two different Ising and one Heisenberg coupling constants. The overall ground-state phase diagram is formed by three different ground states emergent depending on a mutual interplay between the magnetic field and three considered coupling constants: the modulated quantum antiferromagnetic phase, the quantum ferrimagnetic phase, and the classical ferromagnetic phase. It is shown that the interaction anisotropy connected to two different Ising coupling constants substantially influences a breakdown of the intermediate one-half magnetization plateau, which represents a macroscopic manifestation of the quantum ferrimagnetic phase.


title: Endogenous Growth Under Multiple Uses of Data

abstract: We model a dynamic data economy with fully endogenous growth where agents generate data from consumption and share them with innovation and production firms. Different from other productive factors such as labor or capital, data are nonrival in their uses across sectors which affect both the level and growth of economic outputs. Despite the vertical nonrivalry, the innovation sector dominates the production sector in data usage and contribution to growth because (i) data are dynamically nonrival and add to knowledge accumulation, and (ii) innovations "desensitize" raw data and enter production as knowledge, which allays consumers' privacy concerns. Data uses in both sectors interact to generate spillover of allocative distortion and exhibit an apparent substitutability due to labor's rivalry and complementarity with data. Consequently, growth rates under a social planner and a decentralized equilibrium differ, which is novel in the literature and has policy implications. Specifically, consumers' failure to fully internalize knowledge spillover when bearing privacy costs, combined with firms' market power, underprice data and inefficiently limit their supply, leading to underemployment in the innovation sector and a suboptimal long-run growth. Improving data usage efficiency is ineffective in mitigating the underutilization of data, but interventions in the data market and direct subsidies hold promises.


title: Knowledge Accumulation, Privacy, and Growth in a Data Economy

abstract: We build an endogenous growth model with consumer-generated data as a new key factor for knowledge accumulation. Consumers balance between providing data for profit and potential privacy infringement. Intermediate good producers use data to innovate and contribute to the final good production, which fuels economic growth. Data are dynamically nonrival with flexible ownership while their production is endogenous and policy-dependent. Although a decentralized economy can grow at the same rate (but are at different levels) as the social optimum on the Balanced Growth Path, the R&D sector underemploys labor and overuses data -- an inefficiency mitigated by subsidizing innovators instead of direct data regulation. As a data economy emerges and matures, consumers' data provision endogenously declines after a transitional acceleration, allaying long-run privacy concerns but portending initial growth traps that call for interventions.


title: Random iteration on hyperbolic Riemann surfaces

abstract: Let $\{f_\nu\}$ be a sequence of holomorphic self-maps of a hyperbolic Riemann surface $X$. In this paper we shall study the asymptotic behavior of the sequences obtained by iteratively left-composing or right-composing the maps $\{f_\nu\}$; the sequences of self-maps of $X$ so obtained are called left (respectively, right) iterated function systems. We shall prove the analogue for left iterated function systems of the theorems proved by Beardon, Carne, Minda and Ng for right iterated function systems with value in a Bloch domain; and we shall extend to the setting of general hyperbolic Riemann surfaces results obtained by Short and the second author in the unit disk for iterated function systems generated by maps close enough to a given self-map.


title: Effect of uniaxial single-ion anisotropy on a stability of intermediate magnetization plateaus of a spin-1 Heisenberg diamond cluster

abstract: Ground-state phase diagrams and magnetization curves of a spin-1 Heisenberg diamond cluster with two different coupling constants and uniaxial single-ion anisotropy are investigated in a presence of the external magnetic field with the help of exact diagonalization methods. It is shown that the spin-1 Heisenberg diamond cluster exhibits several remarkable quantum ground states, which are manifested in zero- and low-temperature magnetization curves as intermediate plateaus at one-quarter, one-half and three-quarters of the saturation magnetization. It is found that the width of the fractional magnetization plateaus depends basically on a relative strength of the coupling constants as well as uniaxial single-ion anisotropy, which may substantially shrink or even cause full breakdown of some intermediate magnetization plateaus. It is evidenced that a relatively weak uniaxial single-ion anisotropy of the easy-axis type considerably improves a theoretical fit of low-temperature magnetization curves of the tetranuclear nickel complex [Ni4(CO3)2(aetpy)8](ClO4)4 in a low-field region without spoiling the previous fit based on the fully isotropic Heisenberg model in a high-field region.


title: High order direct parametrisation of invariant manifolds for model order reduction of finite element structures: application to large amplitude vibrations and uncovering of a folding point

abstract: This paper investigates model-order reduction methods for geometrically nonlinear structures. The parametrisation method of invariant manifolds is used and adapted to the case of mechanical systems expressed in the physical basis, so that the technique is directly applicable to problems discretised by the finite element method. Two nonlinear mappings, respectively related to displacement and velocity, are introduced, and the link between the two is made explicit at arbitrary order of expansion. The same development is performed on the reduced-order dynamics which is computed at generic order following the different styles of parametrisation. More specifically, three different styles are introduced and commented: the graph style, the complex normal form style and the real normal form style. These developments allow making better connections with earlier works using these parametrisation methods. The technique is then applied to three different examples. A clamped-clamped arch with increasing curvature is first used to show an example of a system with a softening behaviour turning to hardening at larger amplitudes, which can be replicated with a single mode reduction. Secondly, the case of a cantilever beam is investigated. It is shown that the invariant manifold of the first mode shows a folding point at large amplitudes which is not connected to an internal resonance. This exemplifies the failure of the graph style due to the folding point, whereas the normal form style is able to pass over the folding. Finally, A MEMS micromirror undergoing large rotations is used to show the importance of using high-order expansions on an industrial example.


title: Detection of Small Scale Components in Power Law Spectra

abstract: Spectra in astroparticle physics are commonly approximated by simple power laws. The steeply falling nature of these power laws, however, makes the detection of additional components rather challenging. This holds true especially, if the additional components are small compared to the established ones. Energy spectra of muon neutrinos are an interesting example of such a scenario, where the conventional and astrophysical components to the spectra have been established by the use of different analysis methods, such as likelihood fits or spectral deconvolution. The prompt component, although expected from theoretical models, has not yet been experimentally observed. Furthermore, the extraction of physics parameters is challenged by the large systematic uncertainties, especially at high energies. This contribution presents a different approach to the analysis of power-law spectra, which is based on functional data analysis. The method itself and its implications are discussed using muon and neutrino energy spectra as an example.


title: Not All Comments are Equal: Insights into Comment Moderation from a Topic-Aware Model

abstract: Moderation of reader comments is a significant problem for online news platforms. Here, we experiment with models for automatic moderation, using a dataset of comments from a popular Croatian newspaper. Our analysis shows that while comments that violate the moderation rules mostly share common linguistic and thematic features, their content varies across the different sections of the newspaper. We therefore make our models topic-aware, incorporating semantic features from a topic model into the classification decision. Our results show that topic information improves the performance of the model, increases its confidence in correct outputs, and helps us understand the model's outputs.


title: Learning offline: memory replay in biological and artificial reinforcement learning

abstract: Learning to act in an environment to maximise rewards is among the brain's key functions. This process has often been conceptualised within the framework of reinforcement learning, which has also gained prominence in machine learning and artificial intelligence (AI) as a way to optimise decision-making. A common aspect of both biological and machine reinforcement learning is the reactivation of previously experienced episodes, referred to as replay. Replay is important for memory consolidation in biological neural networks, and is key to stabilising learning in deep neural networks. Here, we review recent developments concerning the functional roles of replay in the fields of neuroscience and AI. Complementary progress suggests how replay might support learning processes, including generalisation and continual learning, affording opportunities to transfer knowledge across the two fields to advance the understanding of biological and artificial learning and memory.


title: Unequal-mass mergers of dark matter haloes with rare and frequent self-interactions

abstract: Dark matter (DM) self-interactions have been proposed to solve problems on small length scales within the standard cold DM cosmology. Here, we investigate the effects of DM self-interactions in merging systems of galaxies and galaxy clusters with equal and unequal mass ratios. We perform N-body DM-only simulations of idealized setups to study the effects of DM self-interactions that are elastic and velocity-independent. We go beyond the commonly adopted assumption of large-angle (rare) DM scatterings, paying attention to the impact of small-angle (frequent) scatterings on astrophysical observables and related quantities. Specifically, we focus on DM-galaxy offsets, galaxy--galaxy distances, halo shapes, morphology, and the phase--space distribution. Moreover, we compare two methods to identify peaks: one based on the gravitational potential and one based on isodensity contours. We find that the results are sensitive to the peak finding method, which poses a challenge for the analysis of merging systems in simulations and observations, especially for minor mergers. Large DM-galaxy offsets can occur in minor mergers, especially with frequent self-interactions. The subhalo tends to dissolve quickly for these cases. While clusters in late merger phases lead to potentially large differences between rare and frequent scatterings, we believe that these differences are non-trivial to extract from observations. We therefore study the galaxy/star populations which remain distinct even after the DM haloes have coalesced. We find that these collisionless tracers behave differently for rare and frequent scatterings, potentially giving a handle to learn about the micro-physics of DM.


title: WorldKG: A World-Scale Geographic Knowledge Graph

abstract: OpenStreetMap is a rich source of openly available geographic information. However, the representation of geographic entities, e.g., buildings, mountains, and cities, within OpenStreetMap is highly heterogeneous, diverse, and incomplete. As a result, this rich data source is hardly usable for real-world applications. This paper presents WorldKG -- a new geographic knowledge graph aiming to provide a comprehensive semantic representation of geographic entities in OpenStreetMap. We describe the WorldKG knowledge graph, including its ontology that builds the semantic dataset backbone, the extraction procedure of the ontology and geographic entities from OpenStreetMap, and the methods to enhance entity annotation. We perform statistical and qualitative dataset assessment, demonstrating the large scale and high precision of the semantic geographic information in WorldKG.


title: A decomposition theorem for 0-cycles and applications

abstract: We prove a decomposition theorem for the cohomological Chow group of 0-cycles on the double of a quasi-projective $R_1$-scheme over a field along a closed subscheme, in terms of the Chow groups, with and without modulus, of the scheme. This yields a significant generalization of the decomposition theorem of Binda-Krishna. As applications, we prove a moving lemma for Chow groups with modulus and an analogue of Bloch's formula for 0-cycles with modulus on singular surfaces. The latter extends a previous result of Binda-Krishna-Saito.


title: VPN: Video Provenance Network for Robust Content Attribution

abstract: We present VPN - a content attribution method for recovering provenance information from videos shared online. Platforms, and users, often transform video into different quality, codecs, sizes, shapes, etc. or slightly edit its content such as adding text or emoji, as they are redistributed online. We learn a robust search embedding for matching such video, invariant to these transformations, using full-length or truncated video queries. Once matched against a trusted database of video clips, associated information on the provenance of the clip is presented to the user. We use an inverted index to match temporal chunks of video using late-fusion to combine both visual and audio features. In both cases, features are extracted via a deep neural network trained using contrastive learning on a dataset of original and augmented video clips. We demonstrate high accuracy recall over a corpus of 100,000 videos.


title: On Reid's recipe for non abelian groups

abstract: This paper presents two new explicit examples of Reid's recipe for non-abelian groups in $SL(3,\mathbb{C})$, namely the dihedral group $\mathbb{D}_{5,2}$ and a trihedral group of order 39.


title: Nyquist-Sampling and Degrees of Freedom of Electromagnetic Fields

abstract: A signal space approach is presented to study the Nyquist sampling, number of degrees of freedom and reconstruction of an electromagnetic field under arbitrary scattering conditions. Conventional signal processing tools, such as the multidimensional sampling theorem and Fourier theory, are used to provide a linear system theoretic interpretation of electromagnetic wave propagation, thereby revealing the spatially bandlimited nature of electromagnetic fields. Their spatial bandwidth is dictated by the selectivity of the underlying scattering that allows establishing the Nyquist spatial sampling with a reduction of the number of fields samples needed to be processed.


title: Nonlinear and Linearised Primal and Dual Initial Boundary Value Problems: When are they Bounded? How are they Connected?

abstract: Linearisation is often used as a first step in the analysis of nonlinear initial boundary value problems. The linearisation procedure frequently results in a confusing contradiction where the nonlinear problem conserves energy and has an energy bound but the linearised version does not (or vice versa). In this paper we attempt to resolve that contradiction and relate nonlinear energy conserving and bounded initial boundary value problems to their linearised versions and the related dual problems. We start by showing that a specific skew-symmetric form of the primal nonlinear problem leads to energy conservation and a bound. Next, we show that this specific form together with a non-standard linearisation procedure preserves these properties for the new slightly modified linearised problem. We proceed to show that the corresponding linear and nonlinear dual (or self-adjoint) problems also have bounds and conserve energy due to this specific formulation. Next, the implication of the new formulation on the choice of boundary conditions is discussed. A straightforward nonlinear and linear analysis may lead to a different number and type of boundary conditions required for an energy bound. We show that the new formulation shed some light on this contradiction. We conclude by illustrating that the new continuous formulation automatically lead to energy stable and energy conserving numerical approximations for both linear and nonlinear primal and dual problems if the approximations are formulated on summation-by-parts form.


title: Weakly first-order quantum phase transition between Spin Nematic and Valence Bond Crystal Order in a square lattice SU(4) fermionic model

abstract: We consider a model Hamiltonian with two SU(4) fermions per site on a square lattice, showing a competition between bilinear and biquadratic interactions. This model has generated interest due to possible realizations in ultracold atom experiments and existence of spin liquid ground states. Using a basis transformation, we show that part of the phase diagram is amenable to quantum Monte Carlo simulations without a sign problem. We find evidence for spin nematic and valence bond crystalline phases, which are separated by a weak first order phase transition. A U(1) symmetry is found to emerge in the valence bond crystal histograms, suggesting proximity to a deconfined quantum critical point. Our results are obtained with the help of a loop algorithm which allows large-scale simulations of bilinear-biquadratic SO(N ) models on arbitrary lattices in a certain parameter regime.