title: Sampling from Arbitrary Functions via PSD Models

abstract: In many areas of applied statistics and machine learning, generating an arbitrary number of independent and identically distributed (i.i.d.) samples from a given distribution is a key task. When the distribution is known only through evaluations of the density, current methods either scale badly with the dimension or require very involved implementations. Instead, we take a two-step approach by first modeling the probability distribution and then sampling from that model. We use the recently introduced class of positive semi-definite (PSD) models, which have been shown to be efficient for approximating probability densities. We show that these models can approximate a large class of densities concisely using few evaluations, and present a simple algorithm to effectively sample from these models. We also present preliminary empirical results to illustrate our assertions.


title: Detecting Entanglement Generating Circuits in Cloud-Based Quantum Computing

abstract: Entanglement, a direct consequence of elementary quantum gates such as controlled-NOT or Toffoli gates, is a key resource that leads to quantum advantages. In this work, we establish the framework of certifying entanglement generation in cloud-based quantum computing services. Namely, we present the construction of quantum circuits that certify entanglement generation in a circuit-based quantum computing model. The framework relaxes the assumption of the so-called qubit allocation, which is the step in a cloud service to relate physical qubits in hardware to a circuit proposed by a user. Consequently, the certification is valid no matter how unsuccessful qubit allocations may be in cloud computing or how untrustful the service may be in qubit allocations. We then demonstrate the certification of entanglement generation on two and three qubits in the IBMQ and IonQ services. Remarkably, entanglement generation is successfully certified in the IonQ service that does not provide a command of qubit allocations. The capabilities of entanglement generation in the circuits of IBMQ and IonQ are also quantified. We envisage that the proposed framework is applied when cloud-based quantum computing services are exploited for practical computation and information tasks, for which our results would find if it is possible to achieve quantum advantages.


title: Scrambling and Many-Body Localization in the XXZ-Chain

abstract: The tripartite information is an observable-independent measure for scrambling and delocalization of information. Therefore one can expect that the tripartite information is a good observable-independent indicator for distinguishing between many-body localized and delocalized regimes, which we confirm for the XXZ-chain in a random field. Specifically, we find that the tripartite information signal spreads inside a lightcone that only grows logarithmically in time in the many-body localized regime similar to the entanglement entropy. We also find that the tripartite information eventually reaches a plateau with an asymptotic value that is suppressed by strong disorder.


title: Improved pyrotechnics : Closer to the burning graph conjecture

abstract: The Burning Number Conjecture claims that for every connected graph $G$ of order $n,$ its burning number satisfies $b(G) \le \lceil \sqrt{n} \rceil.$ While the conjecture remains open, we prove that it is asymptotically true when the order of the graph is much larger than its \emph{growth}, which is the maximal distance of a vertex to a well-chosen path in the graph. We prove that the conjecture for graphs of bounded growth reduces to a finite number of cases. We provide the best-known bound on the burning number of a connected graph $G$ of order $n,$ given by $b(G) \le \sqrt{4n/3} + 1,$ improving on the previously known $\sqrt{3n/2}+O(1)$ bound. Using the improved upper bound, we show that the conjecture almost holds for all graphs with minimum degree at least $3$ and holds for all large enough graphs with minimum degree at least $4$. The previous best-known result was for graphs with minimum degree $23$.


title: On the Angular Momentum and Spin of Generalized Electromagnetic Field for $r$-Vectors in $(k,n)$ Space-Time Dimensions

abstract: This paper studies the relativistic angular momentum for the generalized electromagnetic field, described by $r$-vectors in $(k,n)$ space-time dimensions, with exterior-algebraic methods. First, the angular-momentum tensor is derived from the invariance of the Lagrangian to space-time rotations (Lorentz transformations), avoiding the explicit need of the canonical tensor in Noether's theorem. The derivation proves the conservation law of angular momentum for generic values of $r$, $k$, and $n$. Second, an integral expression for the flux of the tensor across a $(k+n-1)$-dimensional surface of constant $\ell$-th space-time coordinate is provided in terms of the normal modes of the field; this analysis is a natural generalization of the standard analysis of electromagnetism, i. e. a three-dimensional space integral at constant time. Third, a brief discussion on the orbital angular momentum and the spin of the generalized electromagnetic field, including their expression in complex-valued circular polarizations, is provided for generic values of $r$, $k$, and $n$.


title: Incremental causal effects: an introduction and review

abstract: In this chapter, we review the class of causal effects based on incremental propensity scores interventions proposed by Kennedy [2019]. The aim of incremental propensity score interventions is to estimate the effect of increasing or decreasing subjects' odds of receiving treatment; this differs from the average treatment effect, where the aim is to estimate the effect of everyone deterministically receiving versus not receiving treatment. We first present incremental causal effects for the case when there is a single binary treatment, such that it can be compared to average treatment effects and thus shed light on key concepts. In particular, a benefit of incremental effects is that positivity - a common assumption in causal inference - is not needed to identify causal effects. Then we discuss the more general case where treatment is measured at multiple time points, where positivity is more likely to be violated and thus incremental effects can be especially useful. Throughout, we motivate incremental effects with real-world applications, present nonparametric estimators for these effects, and discuss their efficiency properties, while also briefly reviewing the role of influence functions in functional estimation. Finally, we show how to interpret and analyze results using these estimators in practice, and discuss extensions and future directions.


title: AniFormer: Data-driven 3D Animation with Transformer

abstract: We present a novel task, i.e., animating a target 3D object through the motion of a raw driving sequence. In previous works, extra auxiliary correlations between source and target meshes or intermedia factors are inevitable to capture the motions in the driving sequences. Instead, we introduce AniFormer, a novel Transformer-based architecture, that generates animated 3D sequences by directly taking the raw driving sequences and arbitrary same-type target meshes as inputs. Specifically, we customize the Transformer architecture for 3D animation that generates mesh sequences by integrating styles from target meshes and motions from the driving meshes. Besides, instead of the conventional single regression head in the vanilla Transformer, AniFormer generates multiple frames as outputs to preserve the sequential consistency of the generated meshes. To achieve this, we carefully design a pair of regression constraints, i.e., motion and appearance constraints, that can provide strong regularization on the generated mesh sequences. Our AniFormer achieves high-fidelity, realistic, temporally coherent animated results and outperforms compared start-of-the-art methods on benchmarks of diverse categories. Code is available: https://github.com/mikecheninoulu/AniFormer.


title: FairNet: A Measurement Framework for Traffic Discrimination Detection on the Internet

abstract: Network neutrality is related to the non-discriminatory treatment of packets on the Internet. Any deliberate discrimination of traffic of one application while favoring others violates the principle of neutrality. Many countries have enforced laws against such discrimination. To enforce such laws, one requires tools to detect any net neutrality violations. However, detecting such violations is challenging as it is hard to separate any degradation in quality due to natural network effects and selective degradation. Also, legitimate traffic management and deliberate discrimination methods can be technically the same, making it further challenging to distinguish them. We developed an end-to-end measurement framework named FairNet to detect discrimination of traffic. It compares the performance of similar services. Our focus is on HTTPS streaming services which constitute a predominant portion of the Internet traffic. The effect of confounding factors (congestion, traffic management policy, dynamic rate adaptation) is made `similar' on the test services to ensure a fair comparison. FairNet framework uses a ``replay server'' and user-client that exchanges correctly identifiable traffic streams over the Internet. The Server Name Indication (SNI) field in the TLS handshake, which goes in plaintext, ensures that the traffic from the replay server appears to network middle-boxes as that coming from its actual server. We validated that appropriate SNIs results in the correct classification of services using a commercial traffic shaper. FairNet uses two novel algorithms based on application-level throughput and connection status to detect traffic discrimination. We also validated the methodology's effectiveness by collecting network logs through mobile apps over the live Internet and analyzing them.


title: Investigating Reversibility of Steps in Petri Nets

abstract: In reversible computations one is interested in the development of mechanisms allowing to undo the effects of executed actions. The past research has been concerned mainly with reversing single actions. In this paper, we consider the problem of reversing the effect of the execution of groups of actions (steps). Using Petri nets as a system model, we introduce concepts related to this new scenario, generalising notions used in the single action case. We then present properties arising when reverse actions are allowed in place/transition nets (pt-nets). We obtain both positive and negative results, showing that allowing steps makes reversibility more problematic than in the interleaving/sequential case. In particular, we demonstrate that there is a crucial difference between reversing steps which are sets and those which are true multisets. Moreover, in contrast to sequential semantics, splitting reverses does not lead to a general method for reversing bounded pt-nets. We then show that a suitable solution can be obtained by combining split reverses with weighted read arcs.


title: Improving Model Generalization by Agreement of Learned Representations from Data Augmentation

abstract: Data augmentation reduces the generalization error by forcing a model to learn invariant representations given different transformations of the input image. In computer vision, on top of the standard image processing functions, data augmentation techniques based on regional dropout such as CutOut, MixUp, and CutMix and policy-based selection such as AutoAugment demonstrated state-of-the-art (SOTA) results. With an increasing number of data augmentation algorithms being proposed, the focus is always on optimizing the input-output mapping while not realizing that there might be an untapped value in the transformed images with the same label. We hypothesize that by forcing the representations of two transformations to agree, we can further reduce the model generalization error. We call our proposed method Agreement Maximization or simply AgMax. With this simple constraint applied during training, empirical results show that data augmentation algorithms can further improve the classification accuracy of ResNet50 on ImageNet by up to 1.5%, WideResNet40-2 on CIFAR10 by up to 0.7%, WideResNet40-2 on CIFAR100 by up to 1.6%, and LeNet5 on Speech Commands Dataset by up to 1.4%. Experimental results further show that unlike other regularization terms such as label smoothing, AgMax can take advantage of the data augmentation to consistently improve model generalization by a significant margin. On downstream tasks such as object detection and segmentation on PascalVOC and COCO, AgMax pre-trained models outperforms other data augmentation methods by as much as 1.0mAP (box) and 0.5mAP (mask). Code is available at https://github.com/roatienza/agmax.


title: Probabilistic orbits and dynamical masses of emission-line binaries

abstract: The observed orbits of emission-line stars may be affected by systematics owing to their broad emission lines being formed in complex and extended environments. This is problematic when orbital parameter probability distributions are estimated assuming radial-velocity data are solely comprised of Keplerian motion plus Gaussian white noise, leading to overconfident and inaccurate orbital solutions, with implications for the inferred dynamical masses and hence evolutionary models. We present a framework in which these systems can be meaningfully analysed. We synthesise benchmark datasets, each with a different and challenging noise formulation, for testing the performance of different algorithms. We make these datasets freely available with the aim of making model validation an easy and standardised practice in this field. Next, we develop an application of Gaussian processes to model the radial-velocity systematics of emission-line binaries, named marginalised $\mathcal{GP}$. We benchmark this algorithm, along with current standardised algorithms, on the synthetic datasets and find our marginalised $\mathcal{GP}$ algorithm performs significantly better than the standard algorithms for data contaminated by systematics. Finally, we apply the marginalised $\mathcal{GP}$ algorithm to four prototypical emission-line binaries: Eta Carinae, GG Carinae, WR 140, and WR 133. We find systematics to be present in several of these case studies; and consequently, the predicted orbital parameter distributions, and dynamical masses, are modified from those previously determined.


title: ASSANet: An Anisotropic Separable Set Abstraction for Efficient Point Cloud Representation Learning

abstract: Access to 3D point cloud representations has been widely facilitated by LiDAR sensors embedded in various mobile devices. This has led to an emerging need for fast and accurate point cloud processing techniques. In this paper, we revisit and dive deeper into PointNet++, one of the most influential yet under-explored networks, and develop faster and more accurate variants of the model. We first present a novel Separable Set Abstraction (SA) module that disentangles the vanilla SA module used in PointNet++ into two separate learning stages: (1) learning channel correlation and (2) learning spatial correlation. The Separable SA module is significantly faster than the vanilla version, yet it achieves comparable performance. We then introduce a new Anisotropic Reduction function into our Separable SA module and propose an Anisotropic Separable SA (ASSA) module that substantially increases the network's accuracy. We later replace the vanilla SA modules in PointNet++ with the proposed ASSA module, and denote the modified network as ASSANet. Extensive experiments on point cloud classification, semantic segmentation, and part segmentation show that ASSANet outperforms PointNet++ and other methods, achieving much higher accuracy and faster speeds. In particular, ASSANet outperforms PointNet++ by $7.4$ mIoU on S3DIS Area 5, while maintaining $1.6 \times $ faster inference speed on a single NVIDIA 2080Ti GPU. Our scaled ASSANet variant achieves $66.8$ mIoU and outperforms KPConv, while being more than $54 \times$ faster.


title: Density of states effects on emission and scattering of photons in plasmas

abstract: Plasma supports electromagnetic waves propagation for frequencies higher than plasma frequency but features dielectric permittivity less than 1. This property leads to photon density of states (DOS) lower than in vacuum and should result in subnatural spectral linewidths, sub-Planckian spectrum of thermal radiation, and sub-Rayleigh scattering as well as in lower inelastic photon scattering including Raman scattering. Lamb shift will be altered as well though the decisive contribution from high-energy modes in this case makes the photon DOS effect rather small since plasma DOS converges with the vacuum one in the limit of infinite frequencies. We emphasize the basic character of all these phenomena though absolute values of corrections in many real experiments may appear to be small as compared to other factors. We found that dissipative losses make possible DOS effects smaller though not vanishing and additionally bring about indefinite growth of DOS in the low-frequency limit.


title: On the Integration of Course of Action Playbooks into Shareable Cyber Threat Intelligence

abstract: Motivated by the introduction of CACAO, the first open standard that harmonizes the way we document courses of action in a machine-readable format for interoperability, and the benefits for cybersecurity operations derived from utilizing, and coupling and sharing course of action playbooks with cyber threat intelligence, we introduce a uniform metadata template that supports managing and integrating course of action playbooks into knowledge representation and knowledge management systems. We demonstrate the applicability of our approach through two use-case implementations. We utilize the playbook metadata template to introduce functionality and integrate course of action playbooks, such as CACAO, into the MISP threat intelligence platform and the OASIS Threat Actor Context ontology.


title: Physical properties of a fan-shaped jet backlit by an X9.3 flare

abstract: Fan-shaped jets can be observed above light bridges and are driven by reconnection of the vertical umbral field with the more horizontal field above the light bridges. Because these jets are not fully opaque in chromospheric lines, one cannot study their spectra without the highly complex considerations of radiative transfer in spectral lines from the atmosphere behind the fan. We get around this by taking advantage of a unique set of observations of the H$\alpha$ line along with the Ca II 8542 and Ca II K lines obtained with the Swedish 1-m Solar Telescope where a fan-shaped jet was backlit by an X9.3 flare. The H$\alpha$ flare ribbon emission profiles from behind the fan are highly broadened and flattened, allowing us to investigate the fan as if it were backlit by continuous emission. Using this model we derived the opacity and velocity of the material in the jet and what we believe to be the first observationally derived estimate of the mass and density of material in a fan-shaped jet. Using inversions of Ca II 8542 emission via STiC, we were also able to estimate the temperature in the jet. Finally, we use the masses and POS and LOS velocities as functions of time to investigate the downward supply of energy and momentum to the photosphere in the collapse of this jet, and evaluate it as a potential driver for a sunquake beneath. We found that the physical properties of the fan material are reasonably chromospheric in nature, with a temperature of 7050 $\pm$ 250 K and a mean density of 2 $\pm$ 0.3 $\times$ 10$^{-11}$ g cm$^{-3}$. The total mass observed in $\mathrm{H\alpha}$ was found to be 3.9 $\pm$ 0.7 $\times$ 10$^{13}$g and the kinetic energy delivered to the base of the fan in its collapse was nearly two orders of magnitude below typical sunquake energies. We therefore rule out this jet as the sunquake driver, but cannot completely rule out larger fan jets as potential drivers.


title: Re-examining the stability of rotating horizonless black shells mimicking Kerr black holes

abstract: In arXiv:1705.10172 a string theory inspired alternative to gravitational collapse was proposed, consisting of a bubble of AdS space made up of ingredients from string theory. These ultra compact objects are $9/8$ times the size of the corresponding Schwarzschild black hole, but being within the photosphere are almost indistinguishable from them. Slowly rotating counterparts of these black shells were constructed in arXiv:1712.00511, which closely mimic a Kerr black hole, but have a quadrupole moment that differs from Kerr. Recently, arXiv:2109.09814 studied the dynamical stability of the stationary black shells against radial perturbations and accretion of matter, and examined a two parameter family of fluxes required for stability. In this paper, we re-examine the rotating black shells with particular attention to the constraints imposed by this dynamical analysis for non-rotating shells. Extrapolating these results to rotating shells, we find that they can indeed support themselves at a critical point in the gravitational potential. Additionally, requiring that they settle back to their new Buchdahl radius after accreting matter, uniquely fixes the fluxes required for dynamical stability. The flux parameters turn out to have an extremely simple form, and fulfil one of the constraints for perturbative radial stability while exactly saturating the other. The preferred quadrupole moment that we find, given some physical assumptions, is 7% less than Kerr.


title: Abundance for slc surfaces over arbitrary fields

abstract: We prove the abundance conjecture for projective slc surfaces over arbitrary fields of positive characteristic. The proof relies on abundance for lc surfaces over abritrary fields, proved by Tanaka, and on the technique of Hacon and Xu to descend semi-ampleness from the normalization. We also present applications to dlt threefold pairs, and to mixed characteristic families of surfaces.


title: The probability of reaching a receding boundary by branching random walk with fading branching and heavy-tailed jump distribution

abstract: Foss and Zachary (2003) and Foss, Palmowski and Zachary (2005) studied the probability of achieving a receding boundary on a time interval of random length by a random walk with a heavy-tailed jump distribution. They have proposed and developed a new approach that allows to generalise results of Asmussen (1998) onto the case of arbitrary stopping times and a wide class of nonlinear boundaries, and to obtain uniform results over all stopping times. In this paper, we consider a class of branching random walks with fading branching and obtain results on the tail asymptotics for the maximum of a branching random walk on a time interval of random (possibly unlimited) length, as well as uniform results within a class of bounded random time intervals.


title: Ranking and Tuning Pre-trained Models: A New Paradigm for Exploiting Model Hubs

abstract: Model hubs with many pre-trained models (PTMs) have become a cornerstone of deep learning. Although built at a high cost, they remain \emph{under-exploited} -- practitioners usually pick one PTM from the provided model hub by popularity and then fine-tune the PTM to solve the target task. This na\"ive but common practice poses two obstacles to full exploitation of pre-trained model hubs: first, the PTM selection by popularity has no optimality guarantee, and second, only one PTM is used while the remaining PTMs are ignored. An alternative might be to consider all possible combinations of PTMs and extensively fine-tune each combination, but this would not only be prohibitive computationally but may also lead to statistical over-fitting. In this paper, we propose a new paradigm for exploiting model hubs that is intermediate between these extremes. The paradigm is characterized by two aspects: (1) We use an evidence maximization procedure to estimate the maximum value of label evidence given features extracted by pre-trained models. This procedure can rank all the PTMs in a model hub for various types of PTMs and tasks \emph{before fine-tuning}. (2) The best ranked PTM can either be fine-tuned and deployed if we have no preference for the model's architecture or the target PTM can be tuned by the top $K$ ranked PTMs via a Bayesian procedure that we propose. This procedure, which we refer to as \emph{B-Tuning}, not only improves upon specialized methods designed for tuning homogeneous PTMs, but also applies to the challenging problem of tuning heterogeneous PTMs where it yields a new level of benchmark performance.


title: Trash or Treasure? An Interactive Dual-Stream Strategy for Single Image Reflection Separation

abstract: Single image reflection separation (SIRS), as a representative blind source separation task, aims to recover two layers, $\textit{i.e.}$, transmission and reflection, from one mixed observation, which is challenging due to the highly ill-posed nature. Existing deep learning based solutions typically restore the target layers individually, or with some concerns at the end of the output, barely taking into account the interaction across the two streams/branches. In order to utilize information more efficiently, this work presents a general yet simple interactive strategy, namely $\textit{your trash is my treasure}$ (YTMT), for constructing dual-stream decomposition networks. To be specific, we explicitly enforce the two streams to communicate with each other block-wisely. Inspired by the additive property between the two components, the interactive path can be easily built via transferring, instead of discarding, deactivated information by the ReLU rectifier from one stream to the other. Both ablation studies and experimental results on widely-used SIRS datasets are conducted to demonstrate the efficacy of YTMT, and reveal its superiority over other state-of-the-art alternatives. The implementation is quite simple and our code is publicly available at $\href{https://github.com/mingcv/YTMT-Strategy}{\textit{https://github.com/mingcv/YTMT-Strategy}}$.


title: Evidence for an expanding corona based on spectral-timing modelling of multiple black hole X-ray binaries

abstract: Galactic black hole X-ray binaries (BHXBs) provide excellent laboratories to study accretion, as their relatively quick evolution allows us to monitor large changes in the in-flowing and/or out-flowing material over human timescales. However, the details of how the inflow-outflow coupling evolves during a BHXB outburst remain an area of active debate. In this work we attempt to probe the physical changes underlying the system evolution, by performing a systematic analysis of the multi-wavelength data of three BHXB sources: XTE J1752-223, MAXI J1659-152, and XTE J1650-500, during hard and hard-intermediate states. Using the power spectral hue which characterises the X-ray variability properties, we identify several clusters of BHXB epochs and perform the joint multi-wavelength spectral modelling to test their commonality with a physical jet model. Under the assumption that the corona is related to the base of the jet, we find that the power spectral hue traces the variation of the coronal radius(from ~10Rg - ~40Rg) in multiple BHXBs at hard and hard-intermediate states, and that the data are consistent with moderately truncated accretion discs (<25Rg) during hard-intermediate states. We also find that all epochs of low disc reflection have high hue located near the hard-intermediate to soft-intermediate state transition, indicating that in these states the vertical extent of the corona and/or its bulk speed are increasing. Our results link the geometrical similarity in the corona among multiple BHXB sources to their timing characteristics, and probe the corona responding to the disc-jet interactions at hard and intermediate states during outbursts.


title: Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning

abstract: We present a novel characterization of the mapping of multiple parallelism forms (e.g. data and model parallelism) onto hierarchical accelerator systems that is hierarchy-aware and greatly reduces the space of software-to-hardware mapping. We experimentally verify the substantial effect of these mappings on all-reduce performance (up to 448x). We offer a novel syntax-guided program synthesis framework that is able to decompose reductions over one or more parallelism axes to sequences of collectives in a hierarchy- and mapping-aware way. For 69% of parallelism placements and user requested reductions, our framework synthesizes programs that outperform the default all-reduce implementation when evaluated on different GPU hierarchies (max 2.04x, average 1.27x). We complement our synthesis tool with a simulator exceeding 90% top-10 accuracy, which therefore reduces the need for massive evaluations of synthesis results to determine a small set of optimal programs and mappings.


title: Survey Propagation: A Resource Allocation Solution for Large Wireless Networks

abstract: The ever-increasing number of nodes in current and future wireless communication networks brings unprecedented challenges for the allocation of the available communication resources. This is caused by the combinatorial nature of the resource allocation problems, which limits the performance of state-of-the-art techniques when the network size increases. In this paper, we take a new direction and investigate how methods from statistical physics can be used to address resource allocation problems in large networks. To this aim, we propose a novel model of the wireless network based on a type of disordered physical systems called spin glasses. We show that resource allocation problems have the same structure as the problem of finding specific configurations in spin glasses. Based on this parallel, we investigate the use of the Survey Propagation method from statistical physics in the solution of resource allocation problems in wireless networks. Through numerical simulations we show that the proposed statistical-physics-based resource allocation algorithm is a promising tool for the efficient allocation of communication resources in large wireless communications networks. Given a fixed number of resources, we are able to serve a larger number of nodes, compared to state-of-the-art reference schemes, without introducing more interference into the system


title: Rescued from oblivion: detailed analysis of archival {\it Spitzer} data of SN~1993J

abstract: We present an extensive analysis of the late-time mid-infrared (mid-IR) evolution of Type IIb SN 1993J from 10 up to 26 years post-explosion based on archival $-$ mostly previously unpublished $-$ photometric data of Spitzer Space Telescope in conjunction with an archival IRS spectrum. SN 1993J is one of the best-studied supernovae (SNe) with an extensive, decade-long multi-wavelength dataset published in various papers; however, its detailed late-time mid-IR analysis is still missing from the literature. Mid-IR data follows not just the continuously cooling SN ejecta but also late-time dust formation and circumstellar interaction processes. We provide evidence that the observed late-time mid-IR excess of SN 1993J can be described by the presence of two-component local dust with a dust mass of $\sim(3.5-6.0)\times 10^{-3} M_{\odot}$ in case of a partly silicate-based dust composition. Source of these components can be either newly-formed dust grains, or heating of pre-existing dust via ongoing CSM interaction detected also at other wavelengths. If it is newly-formed, dust is assumed to be located both in the unshocked inner ejecta and in the outer cold dense shell, just as found in the Cassiopeia A remnant and also assumed in other dust-forming SNe in a few years after explosion.


title: Hosting Capacity Approach Implications

abstract: This paper revisits the generation hosting capacity (HC) calculation approach to account for grid operational flexibility--the ability to reconfigure the system safely. In essence, the generation hosting capacity is determined against the set of limiting factors--voltage, thermal (conductor loading), reverse flow (at the feeder head, station transformer, or substation), and change in the voltage (due to sudden change in generation output)). Not that long ago, California Investor-Owned Utilities (IOUs) added a new criterion that does not allow reverse flow at the supervisory control and data acquisition (SCADA) points that can change the system configuration, aiming to prevent the potential transfer of reverse flow to an adjacent feeder. This new criterion intended to capture operational constraints as part of hosting capacity-known as hosting capacity with operational flexibility (OpFlex). This paper explores the shortfalls of such an approach and proposes performing actual transfer analysis when determining hosting capacity rather than implementing the OpFlex approach. Furthermore, we discuss the need for transition to determining hosting capacity profile (all intervals) rather than a flat line (one, worst performing interval) hosting capacity. A hosting capacity profile would inform the developers of interval-by-interval limits and opportunities, creating new opportunities to reach higher penetration of DERs at a lower cost. With technological and computational advancements, such an approach is neither out of implementation reach nor that computationally expensive. In return, far more DER can be interconnected once programmed not to violate certain generation profiles as part of the interconnection requirement, and utilities would be better informed of their actual operational flexibility, benefiting society overall.


title: Few-Shot Temporal Action Localization with Query Adaptive Transformer

abstract: Existing temporal action localization (TAL) works rely on a large number of training videos with exhaustive segment-level annotation, preventing them from scaling to new classes. As a solution to this problem, few-shot TAL (FS-TAL) aims to adapt a model to a new class represented by as few as a single video. Exiting FS-TAL methods assume trimmed training videos for new classes. However, this setting is not only unnatural actions are typically captured in untrimmed videos, but also ignores background video segments containing vital contextual cues for foreground action segmentation. In this work, we first propose a new FS-TAL setting by proposing to use untrimmed training videos. Further, a novel FS-TAL model is proposed which maximizes the knowledge transfer from training classes whilst enabling the model to be dynamically adapted to both the new class and each video of that class simultaneously. This is achieved by introducing a query adaptive Transformer in the model. Extensive experiments on two action localization benchmarks demonstrate that our method can outperform all the state of the art alternatives significantly in both single-domain and cross-domain scenarios. The source code can be found in https://github.com/sauradip/fewshotQAT


title: Pressure-induced dimensional crossover in a kagome superconductor

abstract: The recently discovered kagome superconductors AV3Sb5 exhibit tantalizing high-pressure phase diagrams, in which a new dome-like superconducting phase emerges under moderate pressure. However, its origin is as yet unknown. Here, we carried out the high-pressure electrical measurements up to 150 GPa, together with the high-pressure X-ray diffraction measurements and first-principles calculations on CsV3Sb5. We find the new superconducting phase to be rather robust and inherently linked to the interlayer Sb2-Sb2 interactions. The formation of Sb2-Sb2 bonds at high pressure tunes the system from two-dimensional to three-dimensional and pushes the Pz orbital of Sb2 upward across the Fermi level, resulting in enhanced density of states and increase of TC. Our work demonstrates that the dimensional crossover at high pressure can induce a topological phase transition and is related to the abnormal high-pressure TC evolution. Our findings should apply for other layered materials.


title: Receding Horizon Control in Deep Structured Teams: A Provably Tractable Large-Scale Approach with Application to Swarm Robotics

abstract: In this paper, a deep structured tracking problem is introduced for a large number of decision-makers. The problem is formulated as a linear quadratic deep structured team, where the decision-makers wish to track a global target cooperatively while considering their local targets. For the unconstrained setup, the gauge transformation technique is used to decompose the resultant optimization problem in order to obtain a low-dimensional optimal control strategy in terms of the local and global Riccati equations. For the constrained case, however, the feasible set is not necessarily decomposable by the gauge transformation. To overcome this hurdle, we propose a family of local and global receding horizon control problems, where a carefully constructed linear combination of their solutions provides a feasible solution for the original constrained problem. The salient property of the above solutions is that they are tractable with respect to the number of decision-makers and can be implemented in a distributed manner. In addition, the main results are generalized to cases with multiple sub-populations and multiple features, including leader-follower setup, cohesive cost function and soft structural constraint. Furthermore, a class of cyber-physical attacks is proposed in terms of perturbed influence factors. A numerical example is presented to demonstrate the efficacy of the results.


title: Why Settle for Just One? Extending EL++ Ontology Embeddings with Many-to-Many Relationships

abstract: Knowledge Graph (KG) embeddings provide a low-dimensional representation of entities and relations of a Knowledge Graph and are used successfully for various applications such as question answering and search, reasoning, inference, and missing link prediction. However, most of the existing KG embeddings only consider the network structure of the graph and ignore the semantics and the characteristics of the underlying ontology that provides crucial information about relationships between entities in the KG. Recent efforts in this direction involve learning embeddings for a Description Logic (logical underpinning for ontologies) named EL++. However, such methods consider all the relations defined in the ontology to be one-to-one which severely limits their performance and applications. We provide a simple and effective solution to overcome this shortcoming that allows such methods to consider many-to-many relationships while learning embedding representations. Experiments conducted using three different EL++ ontologies show substantial performance improvement over five baselines. Our proposed solution also paves the way for learning embedding representations for even more expressive description logics such as SROIQ.


title: One Instrument to Rule Them All: The Bias and Coverage of Just-ID IV

abstract: We revisit the finite-sample behavior of single-variable just-identified instrumental variables (just-ID IV) estimators, arguing that in most microeconometric applications, the usual inference strategies are likely reliable. Three widely-cited applications are used to explain why this is so. We then consider pretesting strategies of the form $t_{1}>c$, where $t_{1}$ is the first-stage $t$-statistic, and the first-stage sign is given. Although pervasive in empirical practice, pretesting on the first-stage $F$-statistic exacerbates bias and distorts inference. We show, however, that median bias is both minimized and roughly halved by setting $c=0$, that is by screening on the sign of the \textit{estimated} first stage. This bias reduction is a free lunch: conventional confidence interval coverage is unchanged by screening on the estimated first-stage sign. To the extent that IV analysts sign-screen already, these results strengthen the case for a sanguine view of the finite-sample behavior of just-ID IV.


title: Analytic Correlation of Inflationary Potential to Power Spectrum Shape: Limits of Validity, and `No-Go' for Small Field Model Analytics

abstract: The primordial power spectrum informs the possible inflationary histories of our universe. Given a power spectrum, the ensuing cosmic microwave background is calculated and compared to the observed one. Thus, one focus of modern cosmology is building well-motivated inflationary models that predict the primordial power spectrum observables. The common practice uses analytic terms for the scalar spectral index $n_s$ and the index running $\alpha$, forgoing the effort required to evaluate the model numerically. However, the validity of these terms has never been rigorously probed and relies on perturbative methods, which may lose their efficacy for large perturbations. The requirement for more accurate theoretical predictions becomes crucial with the advent of highly sensitive measuring instruments. This paper probes the limits of the perturbative treatment that connects inflationary potential parameters to primordial power spectrum observables. We show that the validity of analytic approximations of the scalar index roughly respects the large-field/small-field dichotomy. We supply an easily calculated measure for relative perturbation amplitude and show that, for large field models, the validity of analytical terms extends to $\sim 3\%$ perturbation relative to a power-law inflation model. Conversely, the analytical treatment loses its validity for small-field models with as little as $0.1\%$ perturbation relative to the small-field test-case. By employing the most general artificial neural networks and multinomial functions up to the twentieth degree and demonstrating their shortcomings, we show that no reasonable analytic expressions correlating small field models to the observables the yield exists. Finally, we discuss the possible implications of this work and supply the validity heuristic for large and small field models.


title: A Lie Algebra-Theoretic Approach to Characterisation of Collision Invariants of the Boltzmann Equation for General Convex Particles

abstract: By studying scattering Lie groups and their associated Lie algebras, we introduce a new method for the characterisation of collision invariants for physical scattering families associated to smooth, convex hard particles in the particular case that the collision invariant is of class $\mathscr{C}^{1}$. This work extends that of Saint-Raymond and Wilkinson (Communications on Pure and Applied Mathematics (2018), 71(8), pp. 1494-1534), in which the authors characterise collision invariants only in the case of the so-called canonical physical scattering family. Indeed, our method extends to the case of non-canonical physical scattering, whose existence was reported in Wilkinson (Archive for Rational Mechanics and Analysis (2020), 235(3), pp. 2055-2083). Moreover, our new method improves upon the work in Saint-Raymond and Wilkinson as we place no symmetry hypotheses on the underlying non-spherical particles which make up the gas under consideration. The techniques established in this paper also yield a new proof of the result of Boltzmann for collision invariants of class $\mathscr{C}^{1}$ in the classical case of hard spheres.

categories: math-ph math.AP math.MP physics.class-ph


title: Cokernels in the stable category of a left hereditary ring

abstract: It is proved that if a ring is left hereditary, left perfect and right coherent, then the stable category has cokernels. Moreover, we show that the condition for a ring to be left perfect and right coherent is also necessary for the stable category to have cokernels, provided that the ring is left hereditary and satisfies the additional condition that there are no non-trivial projective injective left modules over it (satisfied, for instance, by integral domains). This, in particular, implies that, for a Dedekind domain, the stable category has cokernels if and only if the domain is left perfect. Several new necessary and sufficient conditions for a left hereditary ring to be left perfect and right coherent are found. One of them requires that the full subcategory of projective modules be reflective in the category of modules. Another one requires that any module be isomorphic to a stable module in the stable category. Yet another equivalent condition found in the paper requires that, for any module $M$, among all representations $M=K\oplus P$ with a projective $P$, there should be the one with the smallest $K$. To accomplish the goals, a version of the well-known Freyd's adjoint functor theorem, where the solution set condition is removed under some additional conditions on the categories, is given.


title: Sampling diverse near-optimal solutions via algorithmic quantum annealing

abstract: Sampling a diverse set of high-quality solutions for hard optimization problems is of great practical relevance in many scientific disciplines and applications, such as artificial intelligence and operations research. One of the main open problems is the lack of ergodicity, or mode collapse, for typical stochastic solvers based on Monte Carlo techniques leading to poor generalization or lack of robustness to uncertainties. Currently, there is no universal metric to quantify such performance deficiencies across various solvers. Here, we introduce a new diversity measure for quantifying the number of independent approximate solutions for NP-hard optimization problems. Among others, it allows benchmarking solver performance by a required time-to-diversity (TTD), a generalization of often used time-to-solution (TTS). We illustrate this metric by comparing the sampling power of various quantum annealing strategies. In particular, we show that the inhomogeneous quantum annealing schedules can redistribute and suppress the emergence of topological defects by controlling space-time separated critical fronts, leading to an advantage over standard quantum annealing schedules with respect to both TTS and TTD for finding rare solutions. Using path-integral Monte Carlo simulations for up to 1600 qubits, we demonstrate that nonequilibrium driving of quantum fluctuations, guided by efficient approximate tensor network contractions, can significantly reduce the fraction of hard instances for random frustrated 2D spin-glasses with local fields. Specifically, we observe that by creating a class of algorithmic quantum phase transitions, the diversity of solutions can be enhanced by up to 40% with the fraction of hard-to-sample instances reducing by more than 25%.


title: A relic from a past merger event in the Large Magellanic Cloud

abstract: According to the standard cosmological scenario, the large galaxies that we observe today have reached their current mass via mergers with smaller galaxy satellites (Moore et al.1999). This hierarchical process is expected to take place on smaller scales for the satellites themselves, that should build-up from the accretion of smaller building blocks (D'Onghia & Lake 2008). The best chance we have to test this prediction is by looking at the most massive satellite of the Milky Way (MW): the Large Magellanic Cloud (LMC). Smaller galaxies have been revealed to orbit around the LMC (Erkal & Belokurov 2020, Patel et al. 2020), but so far the only evidence for mutual interactions is related to the orbital interplay with the nearby Small Magellanic Cloud (SMC), which is the most massive LMC satellite. In this work, we report the likely discovery of a past merger event that the LMC experienced with a galaxy with a low star formation efficiency and likely having a stellar mass similar to those of dwarf spheroidal galaxies. This former LMC satellite has now completely dissolved, depositing the old globular cluster (GC) NGC 2005 as part of its debris. This GC is the only surviving witness of this ancient merger event, recognizable through its peculiar chemical composition. This discovery is the observational evidence that the process of hierarchical assembly has worked also in shaping our closest satellites.


title: Flexible source of correlated photons based on LNOI rib waveguides

abstract: Lithium niobate on insulator (LNOI) has a great potential for photonic integrated circuits, providing substantial versatility in design of various integrated components. To properly use these components in the implementation of different quantum protocols, photons with different properties are required. In this paper, we theoretically demonstrate a flexible source of correlated photons built on the LNOI waveguide of a special geometry. This source is based on the parametric down-conversion (PDC) process, in which the signal and idler photons are generated at the telecom wavelength and have different spatial profiles and polarizations, but the same group velocities. Such features facilitate electro-optical manipulations with photons and, at the same time, do not require an additional compensation for the time delay. We show how the spectral properties of the generated photons and the number of their frequency modes can be controlled depending on the pump characteristics and the waveguide length. Finally, we discuss a special regime, in which narrowband light with strong frequency correlations is generated at the telecom wavelength.


title: Robust Monocular Localization in Sparse HD Maps Leveraging Multi-Task Uncertainty Estimation

abstract: Robust localization in dense urban scenarios using a low-cost sensor setup and sparse HD maps is highly relevant for the current advances in autonomous driving, but remains a challenging topic in research. We present a novel monocular localization approach based on a sliding-window pose graph that leverages predicted uncertainties for increased precision and robustness against challenging scenarios and per frame failures. To this end, we propose an efficient multi-task uncertainty-aware perception module, which covers semantic segmentation, as well as bounding box detection, to enable the localization of vehicles in sparse maps, containing only lane borders and traffic lights. Further, we design differentiable cost maps that are directly generated from the estimated uncertainties. This opens up the possibility to minimize the reprojection loss of amorphous map elements in an association free and uncertainty-aware manner. Extensive evaluation on the Lyft 5 dataset shows that, despite the sparsity of the map, our approach enables robust and accurate 6D localization in challenging urban scenarios


title: Multiscale Materials Modelling through Machine Learning: Hydrogen-Steel Interaction during Deformation

abstract: This short paper presents the potential of using machine learning to predict materials behaviour in the context of hydrogen interaction with steel. Effort has been made to understand the quality, and amount of data needed to get improved predictions. An approach known as physics informed machine learning has been adapted in a simplified way through data classification to show the improvement in predictions. Proposed model eliminates the requirement to solve complex materials constitutive models and can work for any length scale, in the present case it is used for single crystalline steel interacting with steel under different types of loading.


title: A Gentle Introduction to Bayesian Hierarchical Linear Regression Models

abstract: Considering the flexibility and applicability of Bayesian modeling, in this work we revise the main characteristics of two hierarchical models in a regression setting. We study the full probabilistic structure of the models along with the full conditional distribution for each model parameter. Under our hierarchical extensions, we allow the mean of the second stage of the model to have a linear dependency on a set of covariates. The Gibbs sampling algorithms used to obtain samples when fitting the models are fully described and derived. In addition, we consider a case study in which the plant size is characterized as a function of nitrogen soil concentration and a grouping factor (farm).


title: Exploring the Relationship Between "Positive Risk Balance" and "Absence of Unreasonable Risk"

abstract: International discussions on the overarching topic of how to define and quantify what a "safe enough" Automated Driving System (ADS) is are currently hinged on the question of determining the relationship between "positive risk balance" (PRB) and "absence of unreasonable risk" (AUR). In order to advance the conversation on these important safety topics at the international level, it is first important to start from a shared common understanding, grounded in clear definitions and terminology. To that end, this paper will start with an overview of the notions of PRB and AUR; it will then summarize different positions of the present debate; finally, it will conclude that two possible interpretations exist for PRB, and that failure to distinguish them can lead to misunderstanding different parties' positions. The argumentation in this paper is aimed at showing that the two interpretations for PRB can actually complement each other, but can be considered independently, and can both be subsumed within non-prescriptive guidelines toward ADS safety assurance.


title: Fingerprint recognition with embedded presentation attacks detection: are we ready?

abstract: The diffusion of fingerprint verification systems for security applications makes it urgent to investigate the embedding of software-based presentation attack detection algorithms (PAD) into such systems. Companies and institutions need to know whether such integration would make the system more "secure" and whether the technology available is ready, and, if so, at what operational working conditions. Despite significant improvements, especially by adopting deep learning approaches to fingerprint PAD, current research did not state much about their effectiveness when embedded in fingerprint verification systems. We believe that the lack of works is explained by the lack of instruments to investigate the problem, that is, modeling the cause-effect relationships when two non-zero error-free systems work together. Accordingly, this paper explores the fusion of PAD into verification systems by proposing a novel investigation instrument: a performance simulator based on the probabilistic modeling of the relationships among the Receiver Operating Characteristics (ROC) of the two individual systems when PAD and verification stages are implemented sequentially. As a matter of fact, this is the most straightforward, flexible, and widespread approach. We carry out simulations on the PAD algorithms' ROCs submitted to the most recent editions of LivDet (2017-2019), the state-of-the-art NIST Bozorth3, and the top-level Veryfinger 12 matchers. Reported experiments explore significant scenarios to get the conditions under which fingerprint matching with embedded PAD can improve, rather than degrade, the overall personal verification performance.


title: Inference Graphs for CNN Interpretation

abstract: Convolutional neural networks (CNNs) have achieved superior accuracy in many visual related tasks. However, the inference process through intermediate layers is opaque, making it difficult to interpret such networks or develop trust in their operation. We propose to model the network hidden layers activity using probabilistic models. The activity patterns in layers of interest are modeled as Gaussian mixture models, and transition probabilities between clusters in consecutive modeled layers are estimated. Based on maximum-likelihood considerations, nodes and paths relevant for network prediction are chosen, connected, and visualized as an inference graph. We show that such graphs are useful for understanding the general inference process of a class, as well as explaining decisions the network makes regarding specific images.


title: Epicyclic orbits in the field of Einstein-Dirac-Maxwell traversable wormholes applied to the quasiperiodic oscillations observed in microquasars and active galactic nuclei

abstract: We study the epicyclic oscillatory motion around circular orbits of the traversable asymptotically flat and reflection-symmetric wormholes obtained in the Einstein-Dirac-Maxwell theory without applying exotic matter in their construction. We determine frequencies of the orbital and epicyclic motion in the Keplerian disks having inner edge at the marginally stable circular geodesic of the spacetime. The obtained frequencies are applied in the so called geodesic models of high-frequency quasiperiodic oscillations (HF QPOs) observed in microquasars and active galactic nuclei containing a supermassive central object. We show that even the simplest epicyclic resonance variant of the geodesic models can explain the HF QPOs observed in many active galactic nuclei for realistic choices of the wormhole parameters, but there are some of the sources where only wormholes with unrealistically large values of the parameters can be sufficient for the explanation. On the other hand, in the case of microquasars, the observed HF QPOs strongly restrict the acceptable values of the wormhole parameters.


title: Behavioral Experiments for Understanding Catastrophic Forgetting

abstract: In this paper we explore whether the fundamental tool of experimental psychology, the behavioral experiment, has the power to generate insight not only into humans and animals, but artificial systems too. We apply the techniques of experimental psychology to investigating catastrophic forgetting in neural networks. We present a series of controlled experiments with two-layer ReLU networks, and exploratory results revealing a new understanding of the behavior of catastrophic forgetting. Alongside our empirical findings, we demonstrate an alternative, behavior-first approach to investigating neural network phenomena.


title: CobotAR: Interaction with Robots using Omnidirectionally Projected Image and DNN-based Gesture Recognition

abstract: Several technological solutions supported the creation of interfaces for Augmented Reality (AR) multi-user collaboration in the last years. However, these technologies require the use of wearable devices. We present CobotAR - a new AR technology to achieve the Human-Robot Interaction (HRI) by gesture recognition based on Deep Neural Network (DNN) - without an extra wearable device for the user. The system allows users to have a more intuitive experience with robotic applications using just their hands. The CobotAR system assumes the AR spatial display created by a mobile projector mounted on a 6 DoF robot. The proposed technology suggests a novel way of interaction with machines to achieve safe, intuitive, and immersive control mediated by a robotic projection system and DNN-based algorithm. We conducted the experiment with several parameters assessment during this research, which allows the users to define the positives and negatives of the new approach. The mental demand of CobotAR system is twice less than Wireless Gamepad and by 16\% less than Teach Pendant.


title: Estimation & Recognition under Perspective of Random-Fuzzy Dual Interpretation of Unknown Quantity: with Demonstration of IMM Filter

abstract: This paper is to consider the problems of estimation and recognition from the perspective of sigma-max inference (probability-possibility inference), with a focus on discovering whether some of the unknown quantities involved could be more faithfully modeled as fuzzy uncertainty. Two related key issues are addressed: 1) the random-fuzzy dual interpretation of unknown quantity being estimated; 2) the principle of selecting sigma-max operator for practical problems, such as estimation and recognition. Our perspective, conceived from definitions of randomness and fuzziness, is that continuous unknown quantity involved in estimation with inaccurate prior should be more appropriately modeled as randomness and handled by sigma inference; whereas discrete unknown quantity involved in recognition with insufficient (and inaccurate) prior could be better modeled as fuzziness and handled by max inference. The philosophy was demonstrated by an updated version of the well-known interacting multiple model (IMM) filter, for which the jump Markovian System is reformulated as a hybrid uncertainty system, with continuous state evolution modeled as usual as model-conditioned stochastic system and discrete mode transitions modeled as fuzzy system by a possibility (instead of probability) transition matrix, and hypotheses mixing is conducted by using the operation of "max" instead of "sigma". For our example of maneuvering target tracking using simulated data from both a short-range fire control radar and a long-range surveillance radar, the updated IMM filter shows significant improvement over the classic IMM filter, due to its peculiarity of hard decision of system model and a faster response to the transition of discrete mode.

categories: eess.SY cs.AI cs.SY eess.SP math.PR stat.AP


title: Proca Theory from the Spinning Worldline

abstract: We obtain Proca field theory from the quantisation of the $\mathcal{N}=2$ supersymmetric worldline upon supplementing the graded BRST-algebra with an extra multiplet of oscillators. The linearised theory describes the BV-extended spectrum of Proca theory, together with a St\"uckelberg field. When coupling the theory to background fields we derive the Proca equations, arising as consistency conditions in the BRST procedure. We also explore non-abelian modifications, complexified vector fields as well as coupling to a dilaton field. We propose a cubic action on the space of BRST-operators which reproduces the known Proca action.


title: Quantum-enhanced atomic gyroscope with tunable precision

abstract: We model a gyroscope that exploits quantum effects in an atomic Bose-Einstein condensate to gain a tunable enhancement in precision. Current inertial navigation systems rely on the Sagnac effect using unentangled photons in fibre-optic systems and there are proposals for improving how the precision scales with the number of particles by using entanglement. Here we exploit a different route based on sharp resonances associated with quantum phase transitions. By adjusting the interaction between the particles and/or the shape of their trapping potential we are able to tune the width of the resonance and hence the precision of the measurement. Here we show how we can use this method to increase the overall sensitivity of a gyroscope by adjusting the system parameters as the measurement proceeds and our knowledge of the rotation improves. We illustrate this with an example where the precision is enhanced by a factor of more than 20 over the case without tuning, after 100 repetitions. Metrology schemes with tunable precision based on quantum phase transitions could offer an important complementary method to other quantum-enhanced measurement and sensing schemes.


title: SocialVisTUM: An Interactive Visualization Toolkit for Correlated Neural Topic Models on Social Media Opinion Mining

abstract: Recent research in opinion mining proposed word embedding-based topic modeling methods that provide superior coherence compared to traditional topic modeling. In this paper, we demonstrate how these methods can be used to display correlated topic models on social media texts using SocialVisTUM, our proposed interactive visualization toolkit. It displays a graph with topics as nodes and their correlations as edges. Further details are displayed interactively to support the exploration of large text collections, e.g., representative words and sentences of topics, topic and sentiment distributions, hierarchical topic clustering, and customizable, predefined topic labels. The toolkit optimizes automatically on custom data for optimal coherence. We show a working instance of the toolkit on data crawled from English social media discussions about organic food consumption. The visualization confirms findings of a qualitative consumer research study. SocialVisTUM and its training procedures are accessible online.


title: Vehicular Blockage Modelling and Performance Analysis for mmWave V2V Communications

abstract: Vehicle-to-Everything (V2X) communications are revolutionizing the connectivity of transportation systems supporting safe and efficient road mobility. To meet the growing bandwidth eagerness of V2X services, millimeter-wave (e.g., 5G new radio over spectrum 26.50 - 48.20 GHz) and sub-THz (e.g., 120 GHz) frequencies are being investigated for the large available spectrum. Communication at these frequencies requires beam-type connectivity as a solution for the severe path loss attenuation. However, beams can be blocked, with negative consequences for communication reliability. Blockage prediction is necessary and challenging when the blocker is dynamic in high mobility scenarios such as Vehicle-to-Vehicle (V2V). This paper presents an analytical model to derive the unconditional probability of blockage in a highway multi-lane scenario. The proposed model accounts for the traffic density, the 3D dimensions of the vehicles, and the position of the antennas. Moreover, by setting the communication parameters and a target quality of service, it is possible to predict the signal-to-noise ratio distribution and the service probability, which can be used for resource scheduling. Exhaustive numerical results confirm the validity of the proposed model.


title: Overview of the 2021 Key Point Analysis Shared Task

abstract: We describe the 2021 Key Point Analysis (KPA-2021) shared task on key point analysis that we organized as a part of the 8th Workshop on Argument Mining (ArgMining 2021) at EMNLP 2021. We outline various approaches and discuss the results of the shared task. We expect the task and the findings reported in this paper to be relevant for researchers working on text summarization and argument mining.


title: Characterizing the All-Sky Brightness of Satellite Mega-Constellations and the Impact on Astronomy Research

abstract: Measuring photometric brightness is a common tool for characterizaing satellites. However, characterizing satellite mega-constellations and their impact on astronomy research requires a new approach and methodology. A few measurements of singular satellites are not sufficient to fully describe a mega-constellation and assess its impact on modern astronomical systems. Characterizing the brightness of a satellite mega-constellation requires a comprehensive measurement program conducting numerous observations over the entire set of critical variables. Utilizing Pomenis, a small-aperture and wide field-of-view astrograph, we developed an automated observing program to measure the photometric brightness of mega-constellation satellites. We report the summary results of 7631 separate observations and the statistical distribution of brightness for the Starlink, visored-Starlink, Starlink DarkSat, and OneWeb satellites.


title: Evaporation of Black Hole Under the Effect of Quantum Gravity

abstract: This paper provides an extension for Hawking temperature of Reissner-Nordstr$\ddot{o}$m-de Sitter (RN-DS) black hole (BH) with global monopole as well as $5$D charged black hole. We consider the black holes metric and investigate the effects of quantum gravity ($\alpha$) on Hawking radiation. We investigate the charged boson particles tunneling through the horizon of black holes by using the Hamilton-Jacobi ansatz phenomenon. In our investigation, we study the quantum radiation to analyze the Lagrangian wave equation with generalized uncertainty principle and calculate the modified Hawking temperatures for black holes. Furthermore, we analyze the charge and correction parameter effects on the modified Hawking temperature and examine the stable and unstable condition of RN-DS BH with global monopole as well as $5$D charged black hole.


title: A Deep Learning Framework for Diffeomorphic Mapping Problems via Quasi-conformal Geometry applied to Imaging

abstract: Many imaging problems can be formulated as mapping problems. A general mapping problem aims to obtain an optimal mapping that minimizes an energy functional subject to the given constraints. Existing methods to solve the mapping problems are often inefficient and can sometimes get trapped in local minima. An extra challenge arises when the optimal mapping is required to be diffeomorphic. In this work, we address the problem by proposing a deep-learning framework based on the Quasiconformal (QC) Teichmuller theories. The main strategy is to learn the Beltrami coefficient (BC) that represents a mapping as the latent feature vector in the deep neural network. The BC measures the local geometric distortion under the mapping, with which the interpretability of the deep neural network can be enhanced. Under this framework, the diffeomorphic property of the mapping can be controlled via a simple activation function within the network. The optimal mapping can also be easily regularized by integrating the BC into the loss function. A crucial advantage of the proposed framework is that once the network is successfully trained, the optimized mapping corresponding to each input data information can be obtained in real time. To examine the efficacy of the proposed framework, we apply the method to the diffeomorphic image registration problem. Experimental results outperform other state-of-the-art registration algorithms in both efficiency and accuracy, which demonstrate the effectiveness of our proposed framework to solve the mapping problem.


title: Generalized semiconfined harmonic oscillator model with a position-dependent effective mas

abstract: By using a point canonical transformation starting from the constant-mass Schr\"odinger equation for the isotonic potential, it is shown that a semiconfined harmonic oscillator model with a position-dependent mass in the BenDaniel-Duke setting and the same spectrum as the standard harmonic oscillator can be easily constructed and extended to a semiconfined shifted harmonic oscillator, which could result from the presence of a uniform gravitational field. A further generalization is proposed by considering a $m$-dependent position-dependent mass for $0<m<2$ and deriving the associated semiconfined potential. This results in a family of position-dependent mass and potential pairs, to which the original pair belongs as it corresponds to $m=1$. Finally, the potential that would result from a general von Roos kinetic energy operator is presented and the examples of the Zhu-Kroemer and Mustafa-Mazharimousavi settings are briefly discussed.


title: Distributionally Robust Semi-Supervised Learning Over Graphs

abstract: Semi-supervised learning (SSL) over graph-structured data emerges in many network science applications. To efficiently manage learning over graphs, variants of graph neural networks (GNNs) have been developed recently. By succinctly encoding local graph structures and features of nodes, state-of-the-art GNNs can scale linearly with the size of graph. Despite their success in practice, most of existing methods are unable to handle graphs with uncertain nodal attributes. Specifically whenever mismatches between training and testing data distribution exists, these models fail in practice. Challenges also arise due to distributional uncertainties associated with data acquired by noisy measurements. In this context, a distributionally robust learning framework is developed, where the objective is to train models that exhibit quantifiable robustness against perturbations. The data distribution is considered unknown, but lies within a Wasserstein ball centered around empirical data distribution. A robust model is obtained by minimizing the worst expected loss over this ball. However, solving the emerging functional optimization problem is challenging, if not impossible. Advocating a strong duality condition, we develop a principled method that renders the problem tractable and efficiently solvable. Experiments assess the performance of the proposed method.


title: Rapid computation of special values of Dirichlet $L$-functions

abstract: We consider computing the Riemann zeta function $\zeta(s)$ and Dirichlet $L$-functions $L(s,\chi)$ to $p$-bit accuracy for large $p$. Using the approximate functional equation together with asymptotically fast computation of the incomplete gamma function, we observe that $p^{3/2+o(1)}$ bit complexity can be achieved if $s$ is an algebraic number of fixed degree and with algebraic height bounded by $O(p)$. This is an improvement over the $p^{2+o(1)}$ complexity of previously published algorithms and yields, among other things, $p^{3/2+o(1)}$ complexity algorithms for Stieltjes constants and $n^{3/2+o(1)}$ complexity algorithms for computing the $n$th Bernoulli number or the $n$th Euler number exactly.


title: Moment of a subspace and joint numerical range

abstract: For a given complex finite dimensional subspace $S$ of $\mathbb{C}^n$ and a fixed basis, we study the compact and convex subset of $\left(\mathbb{R}_{\geq 0}\right)^n$ that we call the moment of $S$ $m_S=$ convex hull ($\{|s|^2\in\mathbb{R}^n_{\geq 0}: s\in S \wedge \|s\|=1\} )$ $\simeq \{ Diag(Y) \in M_n^h(\mathbb{C}):Y\geq 0, tr(Y)=1, P_S Y P_S=Y\}$ where $|s|^2=(|s_1|^2,|s_2|^2,\dots,|s_n|^2)$. This set is relevant in the determination of minimal hermitian matrices ($M\in M^h_n$ such that $\|M+D\|\leq D$ for every diagonal $D$ and $\| \|$ the spectral norm). We describe extremal points and curves of $m_S$ in terms of principal vectors that minimize the angle between $S$ and the coordinate axes. We also relate $m_S$ to the joint numerical range $W$ of $n$ rank one $n\times n$ matrices constructed with the orthogonal projection $P_S$ and the fixed basis used. This connection provides a new approach to the description of $m_S$ and to minimal matrices. As a consequence the intersection of two of these joint numerical ranges allow the construction or detection of a minimal matrix, a fact that is easier to corroborate than the equivalent condition for moments. It is also proved that $m_S$ is a semi-algebraic set equal to the intersection of the mentioned $W$ with a hyperplane and whose generated positive cone coincides with that of $W$.


title: Temperature-biased double-loop Josephson flux transducer

abstract: We theoretically study the behavior of the critical current of a thermally-biased tunnel Josephson junction with a particular design, in which the electrodes of the junction are enclosed in two different superconducting loops pierced by independent magnetic fluxes. In this setup, the superconducting gaps can be modified independently through the magnetic fluxes threading the loops. We investigate the response of the device as a function of the magnetic fluxes, by changing the asymmetry parameter, i.e., the ratio between the zero-temperature superconducting gaps $\delta=\Delta_{10}/\Delta_{20}$, and the temperatures of the two rings. We demonstrate a magnetically controllable step-like response of the critical current, which emerges even in a symmetric junction, $\delta=1$. Finally, we discuss the optimal working conditions and the high response of the critical current to small changes in the magnetic flux, reporting good performances of the transducer, with a high transfer function that depends on the operating point and the quality of the junction.


title: Pattern Division Random Access (PDRA) for M2M Communications with Massive MIMO Systems

abstract: In this work, we introduce the pattern-domain pilot design paradigm based on a "superposition of orthogonal-building-blocks" with significantly larger contention space to enhance the massive machine-type communications (mMTC) random access (RA) performance in massive multiple-input multiple-output (MIMO) systems.Specifically, the pattern-domain pilot is constructed based on the superposition of $L$ cyclically-shifted Zadoff-Chu (ZC) sequences. The pattern-domain pilots exhibit zero correlation values between non-colliding patterns from the same root and low correlation values between patterns from different roots. The increased contention space, i.e., from N to $\binom{N}{L}$, where $\binom{N}{L}$ denotes the number of all L-combinations of a set N, and low correlation valueslead to a significantly lower pilot collision probability without compromising excessively on channel estimation performance for mMTC RA in massive MIMO systems.We present the framework and analysis of the RA success probability of the pattern-domain based scheme with massive MIMO systems.Numerical results demonstrate that the proposed pattern division random access (PDRA) scheme achieves an appreciable performance gain over the conventional one,while preserving the existing physical layer virtually unchanged. The extension of the "superposition of orthogonal-building-blocks" scheme to "superposition of quasi-orthogonal-building-blocks" is straightforward.


title: Quantum networks theory

abstract: The formalism of quantum theory over discrete systems is extended in two significant ways. First, tensors and traceouts are generalized, so that systems can be partitioned according to almost arbitrary logical predicates in a robust manner. Second, quantum evolutions are generalized to act over network configurations, in such a way that nodes be allowed to merge, split and reconnect coherently in a superposition. The hereby presented mathematical framework is anchored on solid grounds through numerous lemmas. Indeed, one might have feared that the familiar interrelations between the notions of unitarity, complete positivity, trace-preservation, non-signalling causality, locality and localizability that are standard in quantum theory be jeopardized as the partitioning of systems becomes both logical and dynamical. Such interrelations in fact carry through, albeit two new notions become instrumental: consistency and comprehension.

categories: quant-ph cs.ET gr-qc math-ph math.DS math.MP


title: Interplay of Kelvin-Helmholtz and superradiant instabilities of an array of quantized vortices in a two-dimensional Bose--Einstein condensate

abstract: We investigate the various physical mechanisms that underlie the dynamical instability of a quantized vortex array at the interface between two counter-propagating superflows in a two-dimensional Bose--Einstein condensate. Instabilities of markedly different nature are found to dominate in different flow velocity regimes. For moderate velocities where the two flows are subsonic, the vortex lattice displays a quantized version of the hydrodynamic Kelvin--Helmholtz instability (KHI), with the vortices rolling up and co-rotating. For supersonic flow velocities, the oscillation involved in the KHI can resonantly couple to acoustic excitations propagating away in the bulk fluid on both sides. This makes the KHI rate to be effectively suppressed and other mechanisms to dominate: For finite and relatively small systems along the transverse direction, the instability involves a repeated superradiant scattering of sound waves off the vortex lattice; for transversally unbound systems, a radiative instability dominates, leading to the simultaneous growth of a localized wave along the vortex lattice and of acoustic excitations propagating away in the bulk. Finally, for slow velocities, where the KHI rate is intrinsically slow, another instability associated to the rigid lateral displacement of the vortex lattice due to the vicinity of the system's boundary is found to dominate.


title: Homological Projective Duality for the Pl\"ucker embedding of the Grassmannian

abstract: We describe the Kuznetsov component of the Pl\"ucker embedding of the Grassmannian as a category of matrix factorizations on an noncommutative crepant resolution (NCCR) of the affine cone of the Grassmannian. We also extend this to a full homological projective dual (HPD) statement for the Pl\"ucker embedding. The first part is finding and describing the NCCR, which is also of independent interest. We extend results of \v{S}penko and Van den Bergh to prove the existence of an NCCR for the affine cone of the Grassmannian. We then relate this NCCR to a categorical resolution of Kuznetsov. Deforming these categories to categories of matrix factorizations we find the connection to the Kuznetsov component of the Grassmannian via Kn\"orrer periodicity. In the process we prove a derived equivalence between two different NCCR's; this shows Hori duality for the group $SL$. Finally we put this all into the HPD framework.


title: The orbital-decay test of general relativity to the 2% level with 6-year VLBA astrometry of the double neutron star PSR J1537+1155

abstract: PSR J1537+1155, also known as PSR B1534+12, is the second discovered double neutron star (DNS) binary. More than 20 years of timing observations of PSR J1537+1155 have offered some of the most precise tests of general relativity (GR) in the strong-field regime. As one of these tests, the gravitational-wave emission predicted by GR has been probed with the significant orbital decay ($\dot{P}_\mathrm{b}$) of PSR J1537+1155. However, compared to most GR tests provided with the post-Keplerian parameters, the orbital-decay test was lagging behind in terms of both precision and consistency with GR, limited by the uncertain distance of PSR J1537+1155. With an astrometric campaign spanning 6 years using the Very Long Baseline Array, we measured an annual geometric parallax of $1.063\pm0.075$ mas for PSR J1537+1155, corresponding to a distance of $0.94^{+0.07}_{-0.06}$ kpc. This is the most tightly-constrained model-independent distance achieved for a DNS to date. After obtaining $\dot{P}_\mathrm{b}^\mathrm{Gal}$ (i.e., the orbital decay caused by Galactic gravitational potential) with a combination of 4 Galactic mass distribution models, we updated the ratio of the observed intrinsic orbital decay to the GR prediction to $0.977\pm0.020$, three times more precise than the previous orbital-decay test ($0.91\pm0.06$) made with PSR J1537+1155.


title: New modular symmetric function and its applications: Modular $s$-Stirling numbers

abstract: In this paper, we consider a generalization of the Stirling number sequence of both kinds by using a specialization of a new family of symmetric functions. We give combinatorial interpretations for this symmetric functions by means of weighted lattice path and tilings. We also present some new convolutions involving the complete and elementary symmetric functions. Additionally, we introduce different families of set partitions to give combinatorial interpretations for the modular $s$-Stirling numbers.


title: Simple homotopy type of the Hamiltonian Floer complex

abstract: For an aspherical symplectic manifold, closed or with convex contact boundary, and with vanishing first Chern class, a Floer chain complex is defined for Hamiltonians linear at infinity with coefficients in the group ring of the fundamental group. For two non-degenerate Hamiltonians of the same slope continuation maps are shown to be simple homotopy equivalences. As a corollary the number of contractible Hamiltonian orbits of period 1 can be bounded from below.


title: Progressive Learning for Stabilizing Label Selection in Speech Separation with Mapping-based Method

abstract: Speech separation has been studied in time domain because of lower latency and higher performance compared to time-frequency domain. The masking-based method has been mostly used in time domain, and the other common method (mapping-based) has been inadequately studied. We investigate the use of the mapping-based method in the time domain and show that it can perform better on a large training set than the masking-based method. We also investigate the frequent label-switching problem in permutation invariant training (PIT), which results in suboptimal training because the labels selected by PIT differ across training epochs. Our experiment results showed that PIT works well in a shallow separation model, and the label switching occurs for a deeper model. We inferred that layer decoupling may be the reason for the frequent label switching. Therefore, we propose a training strategy based on progressive learning. This approach significantly reduced inconsistent label assignment without added computational complexity or training corpus. By combining this training strategy with the mapping-based method, we significantly improved the separation performance compared to the baseline.


title: Local convergence analysis of augmented Lagrangian method for nonlinear semidefinite programming

abstract: The augmented Lagrangian method (ALM) has gained tremendous popularity for its elegant theory and impressive numerical performance since it was proposed by Hestenes and Powell in 1969. It has been widely used in numerous efficient solvers to improve numerical performance to solve many problems. In this paper, without requiring the uniqueness of multipliers, the local (asymptotic Q-superlinear) Q-linear convergence rate of the primal-dual sequences generated by ALM for the nonlinear semidefinite programming (NLSDP) is established by assuming the second-order sufficient condition (SOSC) and the semi-isolated calmness of the Karush-Kuhn-Tucker (KKT) solution under some mild conditions.


title: Optical $N$-insulators: topological obstructions in the atomistic susceptibility tensor

abstract: A powerful result of topological band theory is that nontrivial phases manifest obstructions to constructing localized Wannier functions. In Chern insulators, it is impossible to construct Wannier functions that respect translational symmetry in both directions. Similarly, Wannier functions that respect time-reversal symmetry cannot be formed in quantum spin Hall insulators. This molecular orbital interpretation of topology has been enlightening and was recently extended to topological crystalline insulators which include obstructions tied to space group symmetries. In this article, we introduce a new class of two-dimensional topological materials known as optical $N$-insulators that possess obstructions to constructing localized molecular polarizabilities. The optical $N$-invariant $N\in\mathbb{Z}$ is the winding number of the atomistic susceptibility tensor $\chi$ and counts the number of singularities in the electromagnetic linear response theory. We decipher these singularities by analyzing the optical band structure of the material -- the eigenvectors of the susceptibility tensor -- which constitutes the collection of optical Bloch functions. The localized basis of these eigenvectors are optical Wannier functions which represent the molecular polarizabilities at different lattice sites. We prove that in a nontrivial optical phase $N\neq 0$, such a localized polarization basis is impossible to construct. Utilizing the mathematical machinery of $K$-theory, these optical $N$-phases are refined further to account for the underlying crystalline symmetries of the material, generating a classification of the topological electromagnetic phase of matter.


title: Look at What I'm Doing: Self-Supervised Spatial Grounding of Narrations in Instructional Videos

abstract: We introduce the task of spatially localizing narrated interactions in videos. Key to our approach is the ability to learn to spatially localize interactions with self-supervision on a large corpus of videos with accompanying transcribed narrations. To achieve this goal, we propose a multilayer cross-modal attention network that enables effective optimization of a contrastive loss during training. We introduce a divided strategy that alternates between computing inter- and intra-modal attention across the visual and natural language modalities, which allows effective training via directly contrasting the two modalities' representations. We demonstrate the effectiveness of our approach by self-training on the HowTo100M instructional video dataset and evaluating on a newly collected dataset of localized described interactions in the YouCook2 dataset. We show that our approach outperforms alternative baselines, including shallow co-attention and full cross-modal attention. We also apply our approach to grounding phrases in images with weak supervision on Flickr30K and show that stacking multiple attention layers is effective and, when combined with a word-to-region loss, achieves state of the art on recall-at-one and pointing hand accuracies.


title: Finite-temperature quantum discordant criticality

abstract: In quantum statistical mechanics, finite-temperature phase transitions are typically governed by classical field theories. In this context, the role of quantum correlations is unclear: recent contributions have shown how entanglement is typically very short-ranged, and thus uninformative about long-ranged critical correlations. In this work, we show the existence of finite-temperature phase transitions where a broader form of quantum correlation than entanglement, the entropic quantum discord, can display genuine signatures of critical behavior. We consider integrable bosonic field theories in both two- and three-dimensional lattices, and show how the two-mode Gaussian discord decays algebraically with the distance even in cases where the entanglement negativity vanishes beyond nearest-neighbor separations. Systematically approaching the zero-temperature limit allows us to connect discord to entanglement, drawing a generic picture of quantum correlations and critical behavior that naturally describes the transition between entangled and discordant quantum matter.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el quant-ph


title: Modeling the complete prevention of disruption-generated runaway electron beam formation with a passive 3D coil in SPARC

abstract: The potential formation of multi-mega-ampere beams of relativistic "runaway" electrons (REs) during sudden terminations of tokamak plasmas poses a significant challenge to the tokamak's development as a fusion energy source. Here, we use state-of-the-art modeling of disruption magnetohydrodynamics coupled with a self-consistent evolution of RE generation and transport to show that a non-axisymmetric in-vessel coil will passively prevent RE beam formation during disruptions in the SPARC tokamak, a compact, high-field, high-current device capable of achieving a fusion gain Q > 2 in deuterium-tritium plasmas.


title: Video Instance Segmentation by Instance Flow Assembly

abstract: Instance segmentation is a challenging task aiming at classifying and segmenting all object instances of specific classes. While two-stage box-based methods achieve top performances in the image domain, they cannot easily extend their superiority into the video domain. This is because they usually deal with features or images cropped from the detected bounding boxes without alignment, failing to capture pixel-level temporal consistency. We embrace the observation that bottom-up methods dealing with box-free features could offer accurate spacial correlations across frames, which can be fully utilized for object and pixel level tracking. We first propose our bottom-up framework equipped with a temporal context fusion module to better encode inter-frame correlations. Intra-frame cues for semantic segmentation and object localization are simultaneously extracted and reconstructed by corresponding decoders after a shared backbone. For efficient and robust tracking among instances, we introduce an instance-level correspondence across adjacent frames, which is represented by a center-to-center flow, termed as instance flow, to assemble messy dense temporal correspondences. Experiments demonstrate that the proposed method outperforms the state-of-the-art online methods (taking image-level input) on the challenging Youtube-VIS dataset.


title: Quantum batteries at the verge of a phase transition

abstract: Starting from the observation that the reduced state of a system strongly coupled to a bath is, in general, an athermal state, we introduce and study a cyclic battery-charger quantum device that is in thermal equilibrium, or in a ground state, during the charge storing stage. The cycle has four stages: the equilibrium storage stage is interrupted by disconnecting the battery from the charger, then work is extracted from the battery, and then the battery is reconnected with the charger; finally, the system is brought back to equilibrium. At no point during the cycle are the battery-charger correlations artificially erased. We study the case where the battery and charger together comprise a spin-1/2 Ising chain, and show that the main figures of merit - the extracted energy and the thermodynamic efficiency - can be enhanced by operating the cycle close to the quantum phase transition point. When the battery is just a single spin, we find that the output work and efficiency show a scaling behavior at criticality and derive the corresponding critical exponents. Due to always present correlations between the battery and the charger, operations that are equivalent from the perspective of the battery can entail different energetic costs for switching the battery-charger coupling. This happens only when the coupling term does not commute with the battery's bare Hamiltonian, and we use this purely quantum leverage to further optimize the performance of the device.


title: Color Teams for Machine Learning Development

abstract: Machine learning and software development share processes and methodologies for reliably delivering products to customers. This work proposes the use of a new teaming construct for forming machine learning teams for better combatting adversarial attackers. In cybersecurity, infrastructure uses these teams to protect their systems by using system builders and programmers to also offer more robustness to their platforms. Color teams provide clear responsibility to the individuals on each team for which part of the baseline (Yellow), attack (Red), and defense (Blue) breakout of the pipeline. Combining colors leads to additional knowledge shared across the team and more robust models built during development. The responsibilities of the new teams Orange, Green, and Purple will be outlined during this paper along with an overview of the necessary resources for these teams to be successful.


title: Transductive Robust Learning Guarantees

abstract: We study the problem of adversarially robust learning in the transductive setting. For classes $\mathcal{H}$ of bounded VC dimension, we propose a simple transductive learner that when presented with a set of labeled training examples and a set of unlabeled test examples (both sets possibly adversarially perturbed), it correctly labels the test examples with a robust error rate that is linear in the VC dimension and is adaptive to the complexity of the perturbation set. This result provides an exponential improvement in dependence on VC dimension over the best known upper bound on the robust error in the inductive setting, at the expense of competing with a more restrictive notion of optimal robust error.


title: Uncovering In-DRAM RowHammer Protection Mechanisms: A New Methodology, Custom RowHammer Patterns, and Implications

abstract: The RowHammer vulnerability in DRAM is a critical threat to system security. To protect against RowHammer, vendors commit to security-through-obscurity: modern DRAM chips rely on undocumented, proprietary, on-die mitigations, commonly known as Target Row Refresh (TRR). At a high level, TRR detects and refreshes potential RowHammer-victim rows, but its exact implementations are not openly disclosed. Security guarantees of TRR mechanisms cannot be easily studied due to their proprietary nature. To assess the security guarantees of recent DRAM chips, we present Uncovering TRR (U-TRR), an experimental methodology to analyze in-DRAM TRR implementations. U-TRR is based on the new observation that data retention failures in DRAM enable a side channel that leaks information on how TRR refreshes potential victim rows. U-TRR allows us to (i) understand how logical DRAM rows are laid out physically in silicon; (ii) study undocumented on-die TRR mechanisms; and (iii) combine (i) and (ii) to evaluate the RowHammer security guarantees of modern DRAM chips. We show how U-TRR allows us to craft RowHammer access patterns that successfully circumvent the TRR mechanisms employed in 45 DRAM modules of the three major DRAM vendors. We find that the DRAM modules we analyze are vulnerable to RowHammer, having bit flips in up to 99.9% of all DRAM rows. We make U-TRR source code openly and freely available at [106].


title: Bayesian Model Calibration and Sensitivity Analysis for Oscillating Biological Experiments

abstract: Understanding the oscillating behaviors that govern organisms' internal biological processes requires interdisciplinary efforts combining both biological and computer experiments, as the latter can complement the former by simulating perturbed conditions with higher resolution. Harmonizing the two types of experiment, however, poses significant statistical challenges due to identifiability issues, numerical instability, and ill behavior in high dimension. This article devises a new Bayesian calibration framework for oscillating biochemical models. The proposed Bayesian model is estimated relying on an advanced Markov chain Monte Carlo (MCMC) technique which can efficiently infer the parameter values that match the simulated and observed oscillatory processes. Also proposed is an approach to sensitivity analysis based on the intervention posterior. This approach measures the influence of individual parameters on the target process by using the obtained MCMC samples as a computational tool. The proposed framework is illustrated with circadian oscillations observed in a filamentous fungus, Neurospora crassa.


title: Four-loop scattering amplitudes journey into the forest

abstract: We present an overview of the analysis of the multiloop topologies that appear for the first time at four loops and the assembly of them in a general expression, the N$^4$MLT universal topology. Based on the fact that the Loop-Tree Duality enables to open any scattering amplitude in terms of convolutions of known subtopologies, we go through the dual representation of the universal N$^4$MLT topology and the manifestly causal representation. Additionally, we expose the application of a quantum algorithm as an alternative methodology to identify the causal singular configurations of multiloop Feynman diagrams.