title: Tipsy cop and tipsy robber: collisions of biased random walks on graphs

abstract: Introduced by Harris, Insko, Prieto Langarica, Stoisavljevic, and Sullivan, the \emph{tipsy cop and drunken robber} is a variant of the cop and robber game on graphs in which the robber simply moves randomly along the graph, while the cop moves directed towards the robber some fixed proportion of the time and randomly the remainder. In this article, we adopt a slightly different interpretation of tipsiness of the cop and robber where we assume that in any round of the game there are four possible outcomes: a sober cop move, a sober robber move, a tipsy (uniformly random) move by the cop, and a tipsy (uniformly random) move by the robber. We study this tipsy cop and tipsy robber game on the infinite grid graph and on certain families of infinite trees including $\delta$-regular trees %infinite binary trees with an infinite path rooted at every vertex, and $\delta$-regular trees rooted to a $\Delta$-regular tree, where $\Delta \geq \delta$. Our main results analyze strategies for the cop and robber on these graphs. We conclude with some directions for further study.


title: Mixtures of Gaussian Process Experts with SMC$^2$

abstract: Gaussian processes are a key component of many flexible statistical and machine learning models. However, they exhibit cubic computational complexity and high memory constraints due to the need of inverting and storing a full covariance matrix. To circumvent this, mixtures of Gaussian process experts have been considered where data points are assigned to independent experts, reducing the complexity by allowing inference based on smaller, local covariance matrices. Moreover, mixtures of Gaussian process experts substantially enrich the model's flexibility, allowing for behaviors such as non-stationarity, heteroscedasticity, and discontinuities. In this work, we construct a novel inference approach based on nested sequential Monte Carlo samplers to simultaneously infer both the gating network and Gaussian process expert parameters. This greatly improves inference compared to importance sampling, particularly in settings when a stationary Gaussian process is inappropriate, while still being thoroughly parallelizable.


title: Optimal transmission estimation with dark counts

abstract: Transmission measurements are essential from fiber optics to spectroscopy. Quantum theory dictates that the ultimate precision in estimating transmission or loss is achieved using probe states with definite photon number and photon-number-resolving detectors (PNRDs). Can the quantum advantage relative to classical probe light still be maintained when the detectors fire due to dark counts and other spurious events? We demonstrate that the answer to this question is affirmative and show in detail how the quantum advantage depends on dark counts and increases with Fock-state-probe strength. These results are especially pertinent as the present capabilities of PNRDs are being dramatically improved.


title: Spontaneous Conformal Symmetry Breaking and Quantum Quadratic Gravity

abstract: We investigate several quantum phenomena related to quadratic gravity after rewriting the general fourth-order action in a more convenient form that is second-order in derivatives and produces only first-class constraints in phase space. We find that a Higgs mechanism may occur in the conformally invariant subset of the general quadratic action if the theory is conformally coupled to a scalar field that acquires a non-zero vacuum expectation value and spontaneously breaks the conformal symmetry. Then, in the broken phase, the originally massless spin-2 ghost may absorb both the scalar and vector fields to become massive. We also perform a BRST quantization of second-order quadratic gravity in the covariant operator formalism and discuss conditions under which unitarity of the full interacting quantum theory may be established.


title: Waymo's Fatigue Risk Management Framework: Prevention, Monitoring, and Mitigation of Fatigue-Induced Risks while Testing Automated Driving Systems

abstract: This report presents Waymo's proposal for a systematic fatigue risk management framework that addresses prevention, monitoring, and mitigation of fatigue-induced risks during on-road testing of ADS technology. The proposed framework remains flexible to incorporate continuous improvements, and was informed by state of the art practices, research, learnings, and experience (both internal and external to Waymo). Fatigue is a recognized contributory factor in a substantial fraction of on-road crashes involving human drivers, and mitigation of fatigue-induced risks is still an open concern researched world-wide. While the proposed framework was specifically designed in relation to on-road testing of SAE Level 4 ADS technology, it has implications and applicability to lower levels of automation as well.


title: Improving the Efficiency of Gradient Descent Algorithms Applied to Optimization Problems with Dynamical Constraints

abstract: We introduce two block coordinate descent algorithms for solving optimization problems with ordinary differential equations (ODEs) as dynamical constraints. The algorithms do not need to implement direct or adjoint sensitivity analysis methods to evaluate loss function gradients. They results from reformulation of the original problem as an equivalent optimization problem with equality constraints. The algorithms naturally follow from steps aimed at recovering the gradient-decent algorithm based on ODE solvers that explicitly account for sensitivity of the ODE solution. In our first proposed algorithm we avoid explicitly solving the ODE by integrating the ODE solver as a sequence of implicit constraints. In our second algorithm, we use an ODE solver to reset the ODE solution, but no direct are adjoint sensitivity analysis methods are used. Both algorithm accepts mini-batch implementations and show significant efficiency benefits from GPU-based parallelization. We demonstrate the performance of the algorithms when applied to learning the parameters of the Cucker-Smale model. The algorithms are compared with gradient descent algorithms based on ODE solvers endowed with sensitivity analysis capabilities, for various number of state size, using Pytorch and Jax implementations. The experimental results demonstrate that the proposed algorithms are at least 4x faster than the Pytorch implementations, and at least 16x faster than Jax implementations. For large versions of the Cucker-Smale model, the Jax implementation is thousands of times faster than the sensitivity analysis-based implementation. In addition, our algorithms generate more accurate results both on training and test data. Such gains in computational efficiency is paramount for algorithms that implement real time parameter estimations, such as diagnosis algorithms.


title: A Path Towards Clinical Adaptation of Accelerated MRI

abstract: Accelerated MRI reconstructs images of clinical anatomies from sparsely sampled signal data to reduce patient scan times. While recent works have leveraged deep learning to accomplish this task, such approaches have often only been explored in simulated environments where there is no signal corruption or resource limitations. In this work, we explore augmentations to neural network MRI image reconstructors to enhance their clinical relevancy. Namely, we propose a ConvNet model for detecting sources of image artifacts that achieves a classifier $F_2$ score of 79.1%. We also demonstrate that training reconstructors on MR signal data with variable acceleration factors can improve their average performance during a clinical patient scan by up to 2%. We offer a loss function to overcome catastrophic forgetting when models learn to reconstruct MR images of multiple anatomies and orientations. Finally, we propose a method for using simulated phantom data to pre-train reconstructors in situations with limited clinically acquired datasets and compute capabilities. Our results provide a potential path forward for clinical adaptation of accelerated MRI.


title: Living-off-the-Land Abuse Detection Using Natural Language Processing and Supervised Learning

abstract: Living-off-the-Land is an evasion technique used by attackers where native binaries are abused to achieve malicious intent. Since these binaries are often legitimate system files, detecting such abuse is difficult and often missed by modern anti-virus software. This paper proposes a novel abuse detection algorithm using raw command strings. First, natural language processing techniques such as regular expressions and one-hot encoding are utilized for encoding the command strings as numerical token vectors. Next, supervised learning techniques are employed to learn the malicious patterns in the token vectors and ultimately predict the command's label. Finally, the model is evaluated using statistics from the training phase and in a virtual environment to compare its effectiveness at detecting new commands to existing anti-virus products such as Windows Defender.


title: Search for new physics using effective field theory in 13 TeV pp collision events that contain a top quark pair and a boosted Z or Higgs boson

abstract: A data sample containing top quark pairs ($\mathrm{t\bar{t}}$) produced in association with a Lorentz-boosted Z or Higgs boson is used to search for signs of new physics using effective field theory. The data correspond to an integrated luminosity of 138 fb$^{-1}$ of proton-proton collisions produced at a center-of-mass energy of 13 TeV at the LHC and collected by the CMS experiment. Selected events contain a single lepton and hadronic jets, including two identified with the decay of bottom quarks, plus an additional large-radius jet with high transverse momentum identified as a Z or Higgs boson decaying to a bottom quark pair. Machine learning techniques are employed to discriminate between $\mathrm{t\bar{t}}$Z or $\mathrm{t\bar{t}}$H events and events from background processes, which are dominated by $\mathrm{t\bar{t}}$ + jets production. No indications of new physics are observed. The signal strengths of boosted $\mathrm{t\bar{t}}$Z and $\mathrm{t\bar{t}}$H production are measured, and upper limits are placed on the $\mathrm{t\bar{t}}$Z and $\mathrm{t\bar{t}}$H differential cross sections as functions of the Z or Higgs boson transverse momentum. The effects of new physics are probed using a framework in which the standard model is considered to be the low-energy effective field theory of a higher energy scale theory. Eight possible dimension-six operators are added to the standard model Lagrangian and their corresponding coefficients are constrained via fits to the data.


title: Out-of-Model Adjustments of Variable Annuities

abstract: This paper studies the model risk of the Black-Scholes (BS) model in pricing and risk-managing variable annuities motivated by its wide usage in the insurance industry. Specifically, we derive a model-free decomposition of the no-arbitrage price of the variable annuity into the BS model price in conjunction with three out-of-model adjustment terms. This sheds light on all risk drivers behind the product, that is, spot price, realized volatility, future smile, and sub-optimal withdrawal. We further investigate the efficacy of the BS-based hedging strategy given the market diverges from the model assumptions. We disclose that the spot price risk can always be eliminated by the strategy and the hedger's cumulative P\&L exhibits gradual slippage and instantaneous leakage. We finally show that the pricing, risk and hedging models can be separated from each other in managing the risks of variable annuities.


title: Dynamic Flow Control Through Active Matter Programming Language

abstract: Cells control fluid flows with a spatial and temporal precision that far exceeds the capabilities of current microfluidic technologies. Cells achieve this superior spatio-temporal control by harnessing dynamic networks of cytoskeleton and motor proteins. Thus, engineering systems to mimic cytoskeletal protein networks could lead to the development of a new, active-matter-powered microfluidic device with improved performance over the existing technologies. However, reconstituted motor-microtubule systems conventionally generate chaotic flows and cannot perform useful tasks. Here, we develop an all-optical platform for programming flow fields for transport, separation and mixing of cells and particles using networks of microtubules and motor proteins reconstituted in vitro. We employ mathematical modeling for design optimization, which enables the construction of flow fields that achieves micron-scale transport. We use the platform to demonstrate that active-matter-generated flow fields can probe the extensional rheology of polymers, such as DNA, achieve transport and mixing of beads and human cells, and isolation of human cell clusters. Our findings provide a bio-inspired pathway for programmatically engineering dynamic micron-scale flows and demonstrate the vast potential of active matter systems as an engineering technology.


title: Mean value properties of solutions to the modified Helmholtz equation and related topics (a survey)

abstract: Recent results concerning solutions of the modified Helmholtz equation are reviewed; namely, various mean value properties and their corollaries, converse and inverse of these properties, and relations between these solutions and harmonic functions.


title: Classical solutions to integral equations with zero order kernels

abstract: We show global and interior higher-order log-H\"older regularity estimates for solutions of Dirichlet integral equations where the operator has a nonintegrable kernel with a singularity at the origin that is weaker than that of any fractional Laplacian. As a consequence, under mild regularity assumptions on the right hand side, we show the existence of classical solutions of Dirichlet problems involving the logarithmic Laplacian and the logarithmic Schr\"odinger operator.


title: Advances in device-independent quantum key distribution

abstract: Device-independent quantum key distribution (DI-QKD) provides the gold standard for secure key exchange. Not only it allows for information-theoretic security based on quantum mechanics, but it relaxes the need to physically model the devices, hence fundamentally ruling out many quantum hacking threats to which non-DI QKD systems are vulnerable. In practice though, DI-QKD is very challenging. It relies on the loophole-free violation of a Bell inequality, a task that requires high quality entanglement to be distributed between distant parties and close to perfect quantum measurements, which is hardly achievable with current technology. Notwithstanding, recent theoretical and experimental efforts have led to the first proof-of-principle DI-QKD implementations. In this article, we review the state-of-the-art of DI-QKD by highlighting its main theoretical and experimental achievements, discussing the recent proof-of-principle demonstrations, and emphasizing the existing challenges in the field.


title: A Breakdown Free Numerical Algorithm for Inverting General Tridiagonal Matrices

abstract: In the current paper the authors linked two methods in order to evaluate general n-th order tridiagonal determinants. A breakdown free numerical algorithm is developed for computing the inverse of any nxn general nonsingular tridiagonal matrix without imposing any constrains. The algorithm is suited for implementation using any computer language such as FORTRAN, PYTHON, MATLAB, MAPLE, C, C++, MACSYMA, ALGOL, PASCAL and JAVA. Some illustrative examples are presented.


title: The sphere of semiadditive height 1

abstract: We construct a lift of the $p$-complete sphere to the universal height $1$ higher semiadditive stable $\infty$-category tsade-$1$ of Carmeli--Schlank--Yanovski, providing a counterexample, at height $1$, to their conjecture that the natural functor from tsade-$n$ to $\mathrm{Sp}_{T(n)}$ is an equivalence. We then record some consequences of the construction, including an observation of T. Schlank that this gives a conceptual proof of a classical theorem of Lee on the stable cohomotopy of Eilenberg--MacLane spaces.


title: Singleton mesh patterns in multidimensional permutations

abstract: This paper introduces the notion of mesh patterns in multidimensional permutations and initiates a systematic study of singleton mesh patterns (SMPs), which are multidimensional mesh patterns of length 1. A pattern is avoidable if there exist arbitrarily large permutations that do not contain it. As our main result, we give a complete characterization of avoidable SMPs using an invariant of a pattern that we call its rank. We show that determining avoidability for a $d$-dimensional SMP $P$ of cardinality $k$ is an $O(d\cdot k)$ problem, while determining rank of $P$ is an NP-complete problem. Additionally, using the notion of a minus-antipodal pattern, we characterize SMPs which occur at most once in any $d$-dimensional permutation. Lastly, we provide a number of enumerative results regarding the distributions of certain general projective, plus-antipodal, minus-antipodal and hyperplane SMPs.


title: Test-Beam and Simulation Studies Towards RPWELL-based DHCAL

abstract: Digital Hadronic Calorimeters (DHCAL) were suggested for future Colliders as part of the particle-flow concept. Though studied mainly with Resistive Plate Chambers (RPC), studies focusing on Micro-Pattern Gaseous Detector (MPGD)-based sampling elements have shown the potential advantages; they can be operated with environmental friendly gases and reach similar detection efficiency at lower average pad-multiplicity. We summarize here the experimental test-beam results of a small-size DHCAL prototype, incorporating six Micromegas (MM) and two Resistive-Plate WELL (RPWELL) sampling elements, interlaced with steel-absorber plates. It was investigated with 2-6 GeV pion beam at the CERN/PS beam facility. The data permitted validating a GEANT4 simulation framework of a DHCAL, and evaluating the expected pion energy resolution of a full-scale RPWELL-based calorimeter. The pion energy resolution of $\frac{\sigma}{E[GeV]}=\frac{50.8\%}{\sqrt{E[GeV]}} \oplus 10.3\%$ derived expected with the RPWELL concept is competitive to that of glass RPC and MM sampling techniques.


title: Region-guided CycleGANs for Stain Transfer in Whole Slide Images

abstract: In whole slide imaging, commonly used staining techniques based on hematoxylin and eosin (H&E) and immunohistochemistry (IHC) stains accentuate different aspects of the tissue landscape. In the case of detecting metastases, IHC provides a distinct readout that is readily interpretable by pathologists. IHC, however, is a more expensive approach and not available at all medical centers. Virtually generating IHC images from H&E using deep neural networks thus becomes an attractive alternative. Deep generative models such as CycleGANs learn a semantically-consistent mapping between two image domains, while emulating the textural properties of each domain. They are therefore a suitable choice for stain transfer applications. However, they remain fully unsupervised, and possess no mechanism for enforcing biological consistency in stain transfer. In this paper, we propose an extension to CycleGANs in the form of a region of interest discriminator. This allows the CycleGAN to learn from unpaired datasets where, in addition, there is a partial annotation of objects for which one wishes to enforce consistency. We present a use case on whole slide images, where an IHC stain provides an experimentally generated signal for metastatic cells. We demonstrate the superiority of our approach over prior art in stain transfer on histopathology tiles over two datasets. Our code and model are available at https://github.com/jcboyd/miccai2022-roigan.


title: Coalescing Global and Local Information for Procedural Text Understanding

abstract: Procedural text understanding is a challenging language reasoning task that requires models to track entity states across the development of a narrative. A complete procedural understanding solution should combine three core aspects: local and global views of the inputs, and global view of outputs. Prior methods considered a subset of these aspects, resulting in either low precision or low recall. In this paper, we propose Coalescing Global and Local Information (CGLI), a new model that builds entity- and timestep-aware input representations (local input) considering the whole context (global input), and we jointly model the entity states with a structured prediction objective (global output). Thus, CGLI simultaneously optimizes for both precision and recall. We extend CGLI with additional output layers and integrate it into a story reasoning framework. Extensive experiments on a popular procedural text understanding dataset show that our model achieves state-of-the-art results; experiments on a story reasoning benchmark show the positive impact of our model on downstream reasoning.


title: Data quality up to the third observing run of Advanced LIGO: Gravity Spy glitch classifications

abstract: Understanding the noise in gravitational-wave detectors is central to detecting and interpreting gravitational-wave signals. Glitches are transient, non-Gaussian noise features that can have a range of environmental and instrumental origins. The Gravity Spy project uses a machine-learning algorithm to classify glitches based upon their time-frequency morphology. The resulting set of classified glitches can be used as input to detector-characterisation investigations of how to mitigate glitches, or data-analysis studies of how to ameliorate the impact of glitches. Here we present the results of the Gravity Spy analysis of data up to the end of the third observing run of Advanced LIGO. We classify 233981 glitches from LIGO Hanford and 379805 glitches from LIGO Livingston into morphological classes. We find that the distribution of glitches differs between the two LIGO sites. This highlights the potential need for studies of data quality to be individually tailored to each gravitational-wave observatory.


title: OSF: An Open-Source Framework for Synchronous Flooding over Multiple Physical Layers

abstract: Flooding protocols based on concurrent transmissions are regarded as the most reliable way to collect or disseminate data across a multi-hop low-power wireless mesh network. Recent works have shown that such protocols are effective for narrowband communication not only over IEEE 802.15.4, but also over the BLE 5 physical layers (PHYs). However, to date, existing literature has only built synchronous flooding solutions on top of a single PHY, and there has been no attempt to leverage different PHYs at runtime to increase performance. This paper fills this gap and presents OSF, an open-source framework that enables the design of multi-PHY synchronous flooding solutions thanks to a novel radio driver and middle-ware architecture capable of dynamically switching the underlying physical layer. This allows exploitation of the specific benefits of each PHY (e.g., higher data-rate, increased robustness) on-demand during each flood, increasing performance. We tailor OSF to the off-the-shelf nRF52840 platform, and showcase its benefits by comparing single-PHY and multi-PHY synchronous flooding solutions on a real-world testbed.


title: Nitrogen-induced hysteresis in grassland biodiversity: a theoretical test of litter-mediated mechanisms

abstract: The global rise in anthropogenic reactive nitrogen (N) and the negative impacts of N deposition on terrestrial plant diversity are well-documented. The R* theory of resource competition predicts reversible decreases in plant diversity in response to N loading. However, empirical evidence for the reversibility of N-induced biodiversity loss is mixed. In a long-term N-enrichment experiment in Minnesota, a low-diversity state that emerged during N addition has persisted for decades after additions ceased. Hypothesized mechanisms preventing recovery of biodiversity include nutrient recycling, insufficient external seed supply, and litter inhibition of plant growth. Here we present an ODE model that unifies these mechanisms, produces bistability at intermediate N inputs, and qualitatively matches the observed hysteresis at Cedar Creek. Key features of the model, including native species' growth advantage in low-N conditions and limitation by litter accumulation, generalize from Cedar Creek to North American grasslands. Our results suggest that effective biodiversity restoration in these systems may require management beyond reducing N inputs, such as burning, grazing, haying, and seed additions. By coupling resource competition with an additional inter-specific inhibitory process, the model also illustrates a general mechanism for bistability and hysteresis that may occur in multiple ecosystem types.


title: What Do NLP Researchers Believe? Results of the NLP Community Metasurvey

abstract: We present the results of the NLP Community Metasurvey. Run from May to June 2022, the survey elicited opinions on controversial issues, including industry influence in the field, concerns about AGI, and ethics. Our results put concrete numbers to several controversies: For example, respondents are split almost exactly in half on questions about the importance of artificial general intelligence, whether language models understand language, and the necessity of linguistic structure and inductive bias for solving NLP problems. In addition, the survey posed meta-questions, asking respondents to predict the distribution of survey responses. This allows us not only to gain insight on the spectrum of beliefs held by NLP researchers, but also to uncover false sociological beliefs where the community's predictions don't match reality. We find such mismatches on a wide range of issues. Among other results, the community greatly overestimates its own belief in the usefulness of benchmarks and the potential for scaling to solve real-world problems, while underestimating its own belief in the importance of linguistic structure, inductive bias, and interdisciplinary science.


title: Domain Adaptation with Adversarial Training on Penultimate Activations

abstract: Enhancing model prediction confidence on target data is an important objective in Unsupervised Domain Adaptation (UDA). In this paper, we explore adversarial training on penultimate activations, i.e., input features of the final linear classification layer. We show that this strategy is more efficient and better correlated with the objective of boosting prediction confidence than adversarial training on input images or intermediate features, as used in previous works. Furthermore, with activation normalization commonly used in domain adaptation to reduce domain gap, we derive two variants and systematically analyze the effects of normalization on our adversarial training. This is illustrated both in theory and through empirical analysis on real adaptation tasks. Extensive experiments are conducted on popular UDA benchmarks under both standard setting and source-data free setting. The results validate that our method achieves the best scores against previous arts. Code is available at https://github.com/tsun/APA.


title: Solving large-scale MEG/EEG source localization and functional connectivity problems simultaneously using state-space models

abstract: State-space models are widely employed across various research disciplines to study unobserved dynamics. Conventional estimation techniques, such as Kalman filtering and expectation maximisation, offer valuable insights but incur high computational costs in large-scale analyses. Sparse inverse covariance estimators can mitigate these costs, but at the expense of a trade-off between enforced sparsity and increased estimation bias, necessitating careful assessment in low signal-to-noise ratio (SNR) situations. To address these challenges, we propose a three-fold solution: 1) Introducing multiple penalised state-space (MPSS) models that leverage data-driven regularisation; 2) Developing novel algorithms derived from backpropagation, gradient descent, and alternating least squares to solve MPSS models; 3) Presenting a K-fold cross-validation extension for evaluating regularisation parameters. We validate this MPSS regularisation framework through lower and more complex simulations under varying SNR conditions, including a large-scale synthetic magneto- and electro-encephalography (MEG/EEG) data analysis. In addition, we apply MPSS models to concurrently solve brain source localisation and functional connectivity problems for real event-related MEG/EEG data, encompassing thousands of sources on the cortical surface. The proposed methodology overcomes the limitations of existing approaches, such as constraints to small-scale and region-of-interest analyses. Thus, it may enable a more accurate and detailed exploration of cognitive brain functions.

categories: stat.CO cs.NA eess.SP math.DS math.NA stat.AP


title: $Ab~initio$ study of Li-Mg-B superconductors

abstract: LiB, a predicted layered compound analogous to the MgB$_2$ superconductor, has been recently synthesized via cold compression and quenched to ambient pressure, yet its superconducting properties have not been measured. According to prior isotropic superconductivity calculations, the critical temperature ($T_{\rm{c}}$) was expected to be only 10$-$15 K. Using the anisotropic Migdal-Eliashberg formalism, we show that the $T_{\rm{c}}$ may actually exceed 32 K. Our analysis of the contribution from different electronic states helps explain the detrimental effect of pressure and doping on the compound's superconducting properties. In the search for related superconductors, we screened Li-Mg-B binary and ternary layered materials and found metastable phases with $T_{\rm{c}}$ close to or even 10$-$20% above the record 39 K value in MgB$_2$. Our reexamination of the Li-B binary phase stability reveals a possible route to synthesize the LiB superconductor at lower pressures readily achievable in multianvil cells.


title: Local Context-Aware Active Domain Adaptation

abstract: Active Domain Adaptation (ADA) queries the labels of a small number of selected target samples to help adapting a model from a source domain to a target domain. The local context of queried data is important, especially when the domain gap is large. However, this has not been fully explored by existing ADA works. In this paper, we propose a Local context-aware ADA framework, named LADA, to address this issue. To select informative target samples, we devise a novel criterion based on the local inconsistency of model predictions. Since the labeling budget is usually small, fine-tuning model on only queried data can be inefficient. We progressively augment labeled target data with the confident neighbors in a class-balanced manner. Experiments validate that the proposed criterion chooses more informative target samples than existing active selection strategies. Furthermore, our full method clearly surpasses recent ADA arts on various benchmarks. Code is available at https://github.com/tsun/LADA.


title: Asymptotic Directions for the Zero Sets of the Components of an Electrical Field from a Finite Number of Point Charges on the Plane Part II

abstract: We study the structure of the zero set of a nontrivial finite point charge electrical field $F = (X,Y)$ in the plane $\mathbb R^2$. We establish equations satisfied by the possible directions for the zero sets \{X = 0\} and $\{Y = 0\}$ separately, and we show that there are only finitely many possible asymptotic directions for both of these zero sets. We suspect that the set of asymptotic directions for \{X = 0\} and the set of asymptotic directions for $\{Y = 0\}$ are (essentially) distinct.


title: Molecular Fraction in the Galactic Center: The Central Molecular and HI Zones

abstract: By mapping the molecular fraction of the Galactic Center (GC), we quantitatively address the question of how much molecular and central the CMZ (Central Molecular Zone) is. For this purpose we analyze the CO and HI-line archival data, and determine the column- (surface-) and volume-molecular fractions, $f_{\rm mol}^\Sigma$ and $f_{\rm mol}^\rho$, which are the ratio of column-mass density of H$_2$ projected on the sky to that of total gas (H$_2$ + HI) from the line intensities, and the ratio of volume-mass densities of \Htwo\ to total gas from the brightness temperature, respectively. It is shown that $f_{\rm mol}^\Sigma$ is as high as $ \sim 0.9-0.95$ in the CMZ, and $f_{\rm mol}^\rho$ is $0.93-0.98$ in the GC Arms I and II attaining the highest value of $\sim 0.98$ toward Sgr B2. The expanding molecular ring (EMR, or the parallelogram) has a slightly smaller $f_{\rm mol}^\Sigma$ as $\sim 0.9-0.93$. We define the CMZ as the region with $f_{\rm mol}^\Sigma \ge 0.8-0.9$ between the shoulders of plateau-like distribution of H$_2$ column density from $l=-1^\circ.1$ to $+1^\circ.8$ having Gaussian vertical distribution with a half thickness of $\pm 0^\circ.2$. The CMZ is embedded in the Central HI Zone (CHZ), which is defined as an HI disc between $l\sim -2^\circ$ and $+2^\circ.5$, $b=-0^\circ.5$ and $+0^\circ.5$. Based on the analysis, we discuss the origin of CMZ and interstellar physics such as the volume filling factors of molecular and HI gases inferred from the difference between $ f_{\rm mol}^\Sigma$ and $f_{\rm mol}^\rho$.


title: Impacts of thrusting, extensional faulting, and glaciation on cratering records of Pluto's largest moon Charon: Implications for the evolution of Kuiper belt objects

abstract: Systematic geomorphological mapping and detailed landform analysis using the highest resolution images obtained by the New Horizons spacecraft reveal the presence of a range of differentiable terrains on Charon, the largest moon of Pluto, that were not examined in detail by the early studies. The most important findings of our work include (1) truncation and omission of large craters (diameters > 30-40 km) and their crater rim ridges along the eastern edges of several north-trending, eastward-convex, arcuate ranges in Oz Terra, (2) lobate ridges, lobate knob trains, and lobate aprons resembling glacial moraine landforms on Earth, (3) dendritic channel systems containing hanging valleys, and (4) locally striated surfaces defined by parallel ridges, knob trains, and grooves that are > 40-50 km in length. The above observations and the topographic dichotomy of Charon' s encountered hemisphere can be explained by a landscape-evolution model that involves (i) a giant impact that created the Vulcan Planitia basin and the extensional fault zone along its northern rim, (ii) a transient atmosphere capable of driving N2-ice glacial erosion of the water-ice bedrock and transporting water-ice debris to sedimentary basins, (iii) regional glacial erosion and transport of earlier emplaced impact ejecta deposits from the highlands of Oz Terra into the lowland basin of Vulcan Planitia, (iv) syn-glaciation north-trending thrusting interpreted to have been induced by Charon' s despinning, and (v) the development of a water-ice debris cover layer over subsurface N2 ice below Vulcan Planitia during global deglaciation. The infilling of the Vulcan Planitia could have been accompanied by cryovolcanism. The extensive modification of impact craters means that the crater size-frequency distributions from Charon should serve only as a lower bound when used to test the formation mechanism of Kuiper belt objects.


title: Spatial Antiferromagnetic Spin Texture as a Nano-Oscillator

abstract: We report a theoretical study of the localized spatial magnetization configuration, which is a confined spin configuration of the target skyrmion/hopfion type in an antiferromagnet with perpendicular magnetic anisotropy, and then we solve the particular problem of self-oscillations of such a topological spin texture. Using the energy approach, a self-consistent account of inhomogeneity of the characteristics of the topological magnetic spin texture was carried out. On this basis, the equation of free oscillations of the confined spin configuration magnetization was derived and its quasi-classical solution was found. For a thin ring spin texture, the frequency, period of oscillations and relative amplitude of the main tone of oscillations are found. For the first time, we determined the topological mass, inertial mass and total energy of the main tone of oscillations of such spatial spin texture. The self-oscillatory process of a spatial spin texture is interpreted as a magnetic nano-oscillator.


abstract: The 2022 Snowmass Community Summer Study consisted of two years of engagement with the particle physics community to craft a US particle physics strategy for the next decade, culminating in the 2022 Snowmass Book. This Report of the Topical Group on Calorimetry forms the basis for a small section of the Snowmass Book dealing with the community's vision for calorimetry going forward. It is the distillation of ideas put forth in public meetings and numerous white papers already freely available. The Report describes particle flow and dual readout approaches, integration of precision timing, and trends in calorimetric materials, and highlights key research directions for the next decade.


title: Spectropolarimetry of the Thermonuclear Supernova 2021rhu: High Calcium Polarization 79 Days After Peak Luminosity

abstract: We report spectropolarimetric observations of the Type Ia supernova (SN) 2021rhu at four epochs: $-$7, +0, +36, and +79 days relative to its $B$-band maximum luminosity. A wavelength-dependent continuum polarization peaking at $3890 \pm 93$ Angstroms and reaching a level of $p_{\rm max}=1.78% \pm 0.02$% was found. The peak of the polarization curve is bluer than is typical in the Milky Way, indicating a larger proportion of small dust grains along the sightline to the SN. After removing the interstellar polarization, we found a pronounced increase of the polarization in the CaII near-infrared triplet, from $\sim$0.3% at day $-$7 to $\sim$2.5% at day +79. No temporal evolution in high-resolution flux spectra across the NaID and CaIIH&K features was seen from days +39 to +74, indicating that the late-time increase in polarization is intrinsic to the SN as opposed to being caused by scattering of SN photons in circumstellar or interstellar matter. We suggest that an explanation for the late-time rise of the CaII near-infrared triplet polarization may be the alignment of calcium atoms in a weak magnetic field through optical excitation/pumping by anisotropic radiation from the SN.


title: Ammunition Component Classification Using Deep Learning

abstract: Ammunition scrap inspection is an essential step in the process of recycling ammunition metal scrap. Most ammunition is composed of a number of components, including case, primer, powder, and projectile. Ammo scrap containing energetics is considered to be potentially dangerous and should be separated before the recycling process. Manually inspecting each piece of scrap is tedious and time-consuming. We have gathered a dataset of ammunition components with the goal of applying artificial intelligence for classifying safe and unsafe scrap pieces automatically. First, two training datasets are manually created from visual and x-ray images of ammo. Second, the x-ray dataset is augmented using the spatial transforms of histogram equalization, averaging, sharpening, power law, and Gaussian blurring in order to compensate for the lack of sufficient training data. Lastly, the representative YOLOv4 object detection method is applied to detect the ammo components and classify the scrap pieces into safe and unsafe classes, respectively. The trained models are tested against unseen data in order to evaluate the performance of the applied method. The experiments demonstrate the feasibility of ammo component detection and classification using deep learning. The datasets and the pre-trained models are available at https://github.com/hadi-ghnd/Scrap-Classification.


title: Ortho-unit polygons can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards

abstract: An orthogonal polygon is called an ortho-unit polygon if its vertices have integer coordinates, and all of its edges have length one. In this paper we prove that any ortho-unit polygon with $n \geq 12$ vertices can be guarded with at most $\lfloor \frac{n-4}{8} \rfloor$ guards.


title: Connectivity in mobile device-to-device networks in urban environments

abstract: In this article we setup a dynamic device-to-device communication system where devices, given as a Poisson point process, move in an environment, given by a street system of random planar-tessellation type, via a random-waypoint model. Every device independently picks a target location on the street system using a general waypoint kernel, and travels to the target along the shortest path on the streets with an individual velocity. Then, any pair of devices becomes connected whenever they are on the same street in sufficiently close proximity, for a sufficiently long time. After presenting some general properties of the multi-parameter system, we focus on an analysis of the clustering behavior of the random connectivity graph. In our main results we isolate regimes for the almost-sure absence of percolation if, for example, the device intensity is too small, or the connectivity time is too large. On the other hand, we exhibit parameter regimes of sufficiently large intensities of devices, under favorable choices of the other parameters, such that percolation is possible with positive probability. Most interestingly, we also show an in-and-out of percolation as the velocity increases. The rigorous analysis of the system mainly rests on comparison arguments with simplified models via spatial coarse graining and thinning approaches. Here we also make contact to geostatistical percolation models with infinite-range dependencies.


title: Reducing Computational Complexity of Neural Networks in Optical Channel Equalization: From Concepts to Implementation

abstract: In this paper, a new methodology is proposed that allows for the low-complexity development of neural network (NN) based equalizers for the mitigation of impairments in high-speed coherent optical transmission systems. In this work, we provide a comprehensive description and comparison of various deep model compression approaches that have been applied to feed-forward and recurrent NN designs. Additionally, we evaluate the influence these strategies have on the performance of each NN equalizer. Quantization, weight clustering, pruning, and other cutting-edge strategies for model compression are taken into consideration. In this work, we propose and evaluate a Bayesian optimization-assisted compression, in which the hyperparameters of the compression are chosen to simultaneously reduce complexity and improve performance. In conclusion, the trade-off between the complexity of each compression approach and its performance is evaluated by utilizing both simulated and experimental data in order to complete the analysis. By utilizing optimal compression approaches, we show that it is possible to design an NN-based equalizer that is simpler to implement and has better performance than the conventional digital back-propagation (DBP) equalizer with only one step per span. This is accomplished by reducing the number of multipliers used in the NN equalizer after applying the weighted clustering and pruning algorithms. Furthermore, we demonstrate that an equalizer based on NN can also achieve superior performance while still maintaining the same degree of complexity as the full electronic chromatic dispersion compensation block. We conclude our analysis by highlighting open questions and existing challenges, as well as possible future research directions.


title: Nonlinear random perturbations of PDEs and quasi-linear equations in Hilbert spaces depending on a small parameter

abstract: We study a class of quasi-linear parabolic equations defined on a separable Hilbert space, depending on a small parameter in front of the second order term. Through the nonlinear semigroup associated with such equation, we introduce the corresponding SPDE and we study the asymptotic behavior of its solutions, depending on the small parameter. We show that a large deviations principle holds and we give an explicit description of the action functional.


title: Efficiently Computing the Shapley Value of Connectivity Games in Low-Treewidth Graphs

abstract: The Shapley value is the solution concept in cooperative game theory that is most used in both theoretical as practical settings. Unfortunately, computing the Shapley value is computationally intractable in general. This paper focuses on computing the Shapley value of (weighted) connectivity games. For these connectivity games, that are defined on an underlying (weighted) graph, computing the Shapley value is #P-hard, and thus (likely) intractable even for graphs with a moderate number of vertices. We present an algorithm that can efficiently compute the Shapley value if the underlying graph has bounded treewidth. Next, we apply our algorithm to several real-world (covert) networks. We show that our algorithm can compute exact Shapley values for these networks quickly, whereas in prior work these values could only be approximated using a heuristic method. Finally, it is shown that our algorithm can also compute the Shapley value time efficiently for several larger (artificial) benchmark graphs from the PACE 2018 challenge.


title: Optical and microwave metrology at the 10-18 level with an Er/Yb:glass frequency comb

abstract: Optical frequency combs are an essential tool for precision metrology experiments ranging in application from remote spectroscopic sensing of trace gases to the characterization and comparison of optical atomic clocks for precision time-keeping and searches for physics beyond the standard model. Here we describe the architecture and fully characterize a telecom-band, self-modelocking frequency comb based on a free-space laser with an Er/Yb co-doped glass gain medium. The laser provides a robust and cost-effective alternative to Er:fiber laser based frequency combs, while offering stability and noise performance similar to Ti:sapphire laser systems. Finally, we demonstrate the Er/Yb:glass frequency comb's utility in high-stability frequency synthesis using two ultra-stable optical references at 1157 nm and 1070 nm and in low-noise photonic microwave generation by dividing these references to the microwave domain.


title: Digital Image Processing Applied To Object Segmentation By Intensity And Motion

abstract: The current technological development allows us to carry out tasks that some time ago were unthinkable if not impossible, digital image processing has been one of the major constants of development today, taking into account that its implementation dates from a short time ago, OpenCV [1] is a tool focused on machine vision, In this case implemented in an object-oriented programming platform based on Java language offered by the NetBeans development software, based on the above, a physical platform was proposed and implemented as a closed environment which through the development of an algorithm allowed detection and segmentation of objects by means of the RGB color model; In future works this algorithm will provide the information base for the autonomous robotic platform; this advance opens a wide spectrum for the development of applications and tools in the field of artificial vision.


title: Quantitative limit theorems and bootstrap approximations for empirical spectral projectors

abstract: Given finite i.i.d.~samples in a Hilbert space with zero mean and trace-class covariance operator $\Sigma$, the problem of recovering the spectral projectors of $\Sigma$ naturally arises in many applications. In this paper, we consider the problem of finding distributional approximations of the spectral projectors of the empirical covariance operator $\hat \Sigma$, and offer a dimension-free framework where the complexity is characterized by the so-called relative rank of $\Sigma$. In this setting, novel quantitative limit theorems and bootstrap approximations are presented subject only to mild conditions in terms of moments and spectral decay. In many cases, these even improve upon existing results in a Gaussian setting.


title: Accelerating Tests of General Relativity with Gravitational-Wave Signals using Hybrid Sampling

abstract: The Advanced LIGO/Virgo interferometers have observed $\sim 100$ gravitational-wave transients enabling new questions to be answered about relativity, astrophysics, and cosmology. However, many of our current procedures for computing these constraints will not scale well with the increased size of future transient catalogs. We introduce a novel hybrid sampling method in order to more efficiently perform parameterized tests of general relativity with gravitational-wave signals. Applying our method to the binary black hole merger GW150914 and simulated signals we find that our method is approximately an order of magnitude more efficient than the current method with conservative settings for our hybrid analysis. While we have focused on the specific problem of measuring potential deviations from relativity, our method is of much wider applicability to any problem that can be decomposed into a simple and more complex model(s).


title: The Fundamental Nature of Low-Energy Pion-Nucleon Interactions

abstract: A historical review of pion-nucleon interactions at low energy is presented, with aims toward an introductory, pedagogic approach focusing on issues germane to current research. These topics include the use of chiral effective field theory, the sigma term, qualitative understanding of low-energy phase shifts, the physics of the $\Delta$ resonance, and isospin violation. A theme is that low-energy pion-nucleon scattering is directly related to QCD via effective field theory. Another theme is that modern needs regarding the pion-nucleon sigma term and the study of isospin violation requires a better low-energy data set.


title: Combinations of Affinity Functions for Different Community Detection Algorithms in Social Networks

abstract: Social network analysis is a popular discipline among the social and behavioural sciences, in which the relationships between different social entities are modelled as a network. One of the most popular problems in social network analysis is finding communities in its network structure. Usually, a community in a social network is a functional sub-partition of the graph. However, as the definition of community is somewhat imprecise, many algorithms have been proposed to solve this task, each of them focusing on different social characteristics of the actors and the communities. In this work we propose to use novel combinations of affinity functions, which are designed to capture different social mechanics in the network interactions. We use them to extend already existing community detection algorithms in order to combine the capacity of the affinity functions to model different social interactions than those exploited by the original algorithms.


title: Factors Influencing the Organizational Decision to Outsource IT Security: A Review and Research Agenda

abstract: IT security outsourcing is the process of contracting a third-party security service provider to perform, the full or partial IT security functions of an organization. Little is known about the factors influencing organizational decisions in outsourcing such a critical function. Our review of the research and practice literature identified several managerial factors and legal factors. We found research in IT security outsourcing to be immature and the focus areas not addressing the critical issues facing industry practice. We therefore present a research agenda consisting of fifteen questions to address five key gaps relating to knowledge of IT security outsourcing, specifically effectiveness of the outcome, lived experience of the practice, the temporal dimension, multi-stakeholder perspectives, and the impact on IT security practices, particularly agility in incident response.


title: Grid Cell Percolation

abstract: Grid cells play a principal role in enabling mammalian cognitive representations of ambient environments. The key property of these cells -- the regular arrangement of their firing fields -- is commonly viewed as means for establishing spatial scales or encoding specific locations. However, using grid cells' spiking outputs for deducing spatial orderliness proves to be a strenuous task, due to fairly irregular activation patterns triggered by the animal's sporadic visits to the grid fields. The following discussion addresses statistical mechanisms enabling emergent regularity of grid cell firing activity, from the perspective of percolation theory. In particular, it is shown that the range of neurophysiological parameters required for spiking percolation phenomena matches experimental data, which points at biological viability of the percolation approach and casts a new light on the role of grid cells in organizing the hippocampal map.


title: Quantum key distribution using single photon added-subtracted squeezed coherent state

abstract: In this paper we investigate the security of continuous variable BB84 quantum key distribution protocol using single photon added then subtracted squeezed coherent state SPASSCS. It's found that the SPASSCS is a non-Gaussian and nonclassical state. Its non-Gaussianity and non-classicality are exhibited via the Wigner function. It's shown that the proposed state is generally robust against the eavesdropping strategies, such as intercept-resend attack and superior channel attack. Further, a comparative study has proved the strong efficiency of the proposed state over coherent state, squeezed coherent state and photon added then subtracted coherent state. Our analysis employs bit error rate, mutual information, and secure key gain.


title: DETERRENT: Detecting Trojans using Reinforcement Learning

abstract: Insertion of hardware Trojans (HTs) in integrated circuits is a pernicious threat. Since HTs are activated under rare trigger conditions, detecting them using random logic simulations is infeasible. In this work, we design a reinforcement learning (RL) agent that circumvents the exponential search space and returns a minimal set of patterns that is most likely to detect HTs. Experimental results on a variety of benchmarks demonstrate the efficacy and scalability of our RL agent, which obtains a significant reduction ($169\times$) in the number of test patterns required while maintaining or improving coverage ($95.75\%$) compared to the state-of-the-art techniques.


title: DelayDiffEq: Generating Delay Differential Equation Solvers via Recursive Embedding of Ordinary Differential Equation Solvers

abstract: Traditional solvers for delay differential equations (DDEs) are designed around only a single method and do not effectively use the infrastructure of their more-developed ordinary differential equation (ODE) counterparts. In this work we present DelayDiffEq, a Julia package for numerically solving delay differential equations (DDEs) which leverages the multitude of numerical algorithms in OrdinaryDiffEq for solving both stiff and non-stiff ODEs, and manages to solve challenging stiff DDEs. We describe how compiling the ODE integrator within itself, and accounting for discontinuity propagation, leads to a design that is effective for DDEs while using all of the ODE internals. We highlight some difficulties that a numerical DDE solver has to address, and explain how DelayDiffEq deals with these problems. We show how DelayDiffEq is able to solve difficult equations, how its stiff DDE solvers give efficiency on problems with time-scale separation, and how the design allows for generality and flexibility in usage such as being repurposed for generating solvers for stochastic delay differential equations.


title: Neuromorphic Visual Scene Understanding with Resonator Networks

abstract: Analyzing a visual scene by inferring the configuration of a generative model is widely considered the most flexible and generalizable approach to scene understanding. Yet, one major problem is the computational challenge of the inference procedure, involving a combinatorial search across object identities and poses. Here we propose a neuromorphic solution exploiting three key concepts: (1) a computational framework based on Vector Symbolic Architectures (VSA) with complex-valued vectors; (2) the design of Hierarchical Resonator Networks (HRN) to factorize the non-commutative transforms translation and rotation in visual scenes; (3) the design of a multi-compartment spiking phasor neuron model for implementing complex-valued resonator networks on neuromorphic hardware. The VSA framework uses vector binding operations to form a generative image model in which binding acts as the equivariant operation for geometric transformations. A scene can, therefore, be described as a sum of vector products, which can then be efficiently factorized by a resonator network to infer objects and their poses. The HRN features a partitioned architecture in which vector binding is equivariant for horizontal and vertical translation within one partition and for rotation and scaling within the other partition. The spiking neuron model allows mapping the resonator network onto efficient and low-power neuromorphic hardware. Our approach is demonstrated on synthetic scenes composed of simple 2D shapes undergoing rigid geometric transformations and color changes. A companion paper demonstrates the same approach in real-world application scenarios for machine vision and robotics.


title: Multi-Modality Cardiac Image Computing: A Survey

abstract: Multi-modality cardiac imaging plays a key role in the management of patients with cardiovascular diseases. It allows a combination of complementary anatomical, morphological and functional information, increases diagnosis accuracy, and improves the efficacy of cardiovascular interventions and clinical outcomes. Fully-automated processing and quantitative analysis of multi-modality cardiac images could have a direct impact on clinical research and evidence-based patient management. However, these require overcoming significant challenges including inter-modality misalignment and finding optimal methods to integrate information from different modalities. This paper aims to provide a comprehensive review of multi-modality imaging in cardiology, the computing methods, the validation strategies, the related clinical workflows and future perspectives. For the computing methodologies, we have a favored focus on the three tasks, i.e., registration, fusion and segmentation, which generally involve multi-modality imaging data, \textit{either combining information from different modalities or transferring information across modalities}. The review highlights that multi-modality cardiac imaging data has the potential of wide applicability in the clinic, such as trans-aortic valve implantation guidance, myocardial viability assessment, and catheter ablation therapy and its patient selection. Nevertheless, many challenges remain unsolved, such as missing modality, combination of imaging and non-imaging data, and uniform analysis and representation of different modalities. There is also work to do in defining how the well-developed techniques fit in clinical workflows and how much additional and relevant information they introduce. These problems are likely to continue to be an active field of research and the questions to be answered in the future.


title: G-category versus orbifold category

abstract: We present a comparative study of certain invariants defined for group actions and their analogues defined for orbifolds. In particular, we prove that Fadell's equivariant category for $G$-spaces coincides with the Lusternik-Schnirelmann category for orbifolds when the group is finite.


title: The Borel and genuine $C_2$-equivariant Adams spectral sequences

abstract: We find out some relations between the classical Adams spectral sequences for stunted real projective spectra, the Borel $C_2$-equivariant Adams spectral sequence for the 2-completed sphere, and the genuine $C_2$-equivariant Adams spectral sequence for the 2-completed sphere. This allows us to understand the genuine $C_2$-equivariant Adams spectral sequence from the Borel Adams spectral sequences. We show that the Borel Adams spectral sequence is computable as a classical Adams spectral sequence.


title: A Note on Copy-Protection from Random Oracles

abstract: Quantum copy-protection, introduced by Aaronson (CCC'09), uses the no-cloning principle of quantum mechanics to protect software from being illegally distributed. Constructing copy-protection has been an important problem in quantum cryptography. Since copy-protection is shown to be impossible to achieve in the plain model, we investigate the question of constructing copy-protection for arbitrary classes of unlearnable functions in the random oracle model. We present an impossibility result that rules out a class of copy-protection schemes in the random oracle model assuming the existence of quantum fully homomorphic encryption and quantum hardness of learning with errors. En route, we prove the impossibility of approximately correct copy-protection in the plain model.


title: Constraining Pseudo-label in Self-training Unsupervised Domain Adaptation with Energy-based Model

abstract: Deep learning is usually data starved, and the unsupervised domain adaptation (UDA) is developed to introduce the knowledge in the labeled source domain to the unlabeled target domain. Recently, deep self-training presents a powerful means for UDA, involving an iterative process of predicting the target domain and then taking the confident predictions as hard pseudo-labels for retraining. However, the pseudo-labels are usually unreliable, thus easily leading to deviated solutions with propagated errors. In this paper, we resort to the energy-based model and constrain the training of the unlabeled target sample with an energy function minimization objective. It can be achieved via a simple additional regularization or an energy-based loss. This framework allows us to gain the benefits of the energy-based model, while retaining strong discriminative performance following a plug-and-play fashion. The convergence property and its connection with classification expectation minimization are investigated. We deliver extensive experiments on the most popular and large-scale UDA benchmarks of image classification as well as semantic segmentation to demonstrate its generality and effectiveness.


title: Building the Intent Landscape of Real-World Conversational Corpora with Extractive Question-Answering Transformers

abstract: For companies with customer service, mapping intents inside their conversational data is crucial in building applications based on natural language understanding (NLU). Nevertheless, there is no established automated technique to gather the intents from noisy online chats or voice transcripts. Simple clustering approaches are not suited to intent-sparse dialogues. To solve this intent-landscape task, we propose an unsupervised pipeline that extracts the intents and the taxonomy of intents from real-world dialogues. Our pipeline mines intent-span candidates with an extractive Question-Answering Electra model and leverages sentence embeddings to apply a low-level density clustering followed by a top-level hierarchical clustering. Our results demonstrate the generalization ability of an ELECTRA large model fine-tuned on the SQuAD2 dataset to understand dialogues. With the right prompting question, this model achieves a rate of linguistic validation on intent spans beyond 85%. We furthermore reconstructed the intent schemes of five domains from the MultiDoGo dataset with an average recall of 94.3%.


title: Darcy's problem coupled with the heat equation under singular forcing: analysis and discretization

abstract: We study the existence of solutions for Darcy's problem coupled with the heat equation under singular forcing; the right-hand side of the heat equation corresponds to a Dirac measure. The studied model allows thermal diffusion and viscosity depending on the temperature. We propose a finite element solution technique and analyze its convergence properties. In the case that the thermal diffusion is constant, we propose an a posteriori error estimator and investigate reliability and efficiency properties. We illustrate the theory with numerical examples.


title: Investigating data partitioning strategies for crosslinguistic low-resource ASR evaluation

abstract: Many automatic speech recognition (ASR) data sets include a single pre-defined test set consisting of one or more speakers whose speech never appears in the training set. This "hold-speaker(s)-out" data partitioning strategy, however, may not be ideal for data sets in which the number of speakers is very small. This study investigates ten different data split methods for five languages with minimal ASR training resources. We find that (1) model performance varies greatly depending on which speaker is selected for testing; (2) the average word error rate (WER) across all held-out speakers is comparable not only to the average WER over multiple random splits but also to any given individual random split; (3) WER is also generally comparable when the data is split heuristically or adversarially; (4) utterance duration and intensity are comparatively more predictive factors of variability regardless of the data split. These results suggest that the widely used hold-speakers-out approach to ASR data partitioning can yield results that do not reflect model performance on unseen data or speakers. Random splits can yield more reliable and generalizable estimates when facing data sparsity.


title: Hagen-Hurley equations and the $W$ boson

abstract: We proceed with our study of the Hagen-Hurley equations describing spin one bosons. In this work, we describe a general decay of the Hagen-Hurley boson. It is important that the transformation conserves spin $s=1$ of the decaying boson and provides information about the kinematics of the decay. We explain the high instability of the Hagen-Hurley particle and identify it as the $W$ boson.


title: MOND and Methodology

abstract: In Logik der Forschung and later works, Karl Popper proposed a set of methodological rules for scientists. Among these were requirements that theories evolve in the direction of increasing content, and that new theories should only be accepted if some of their novel predictions are experimentally confirmed. There are currently two, viable theories of cosmology: the standard cosmological model, and a theory due to Mordehai Milgrom called MOND. Both theories can point to successes and failures, but only MOND has repeatedly made novel predictions that were subsequently found to be correct. Standard-model cosmologists, by contrast, have almost always responded to new observations in a post-hoc manner, adjusting or augmenting their theory as needed to obtain correspondence with the facts. I argue that these methodological differences render a comparison of the two theories in terms of their "truthlikeness" or "verisimilitude" essentially impossible since the two groups of scientists achieve correspondence with the facts in often very different ways, and I suggest that a better guide to the theories' progress toward truth might be the methodologies themselves.


title: On the validity of the spectroscopic age indicators [Y/Mg], [Y/Al], [Y/Si], [Y/Ca], and [Y/Ti] for giant stars

abstract: The abundance ratios [Y$/$Mg], [Y$/$Al], [Y$/$Si], [Y$/$Ca], and [Y$/$Ti] have been suggested as chemical clocks for solar-metallicity dwarf stars in the field as well as for giant stars in open clusters. To verify this last hypothesis, we derive these abundances ratios of 50 giant stars belonging to seven open clusters. To calculate the abundances, we analyze FEROS spectra assuming the LTE-hypothesis. We confirm that [Y$/$Mg], [Y$/$Al], [Y$/$Si], [Y$/$Ca], and [Y$/$Ti] work as chemical clocks for field dwarf stars at the local region (d $<$ 1 kpc) whereas for the field giants the [Y$/$Mg], [Y$/$Al] and [Y$/$Si] also present trends with the ages but high scattering. [Y$/$Ca] and [Y$/$Ti] do not present any correlation with ages in the field giants. In Our open clusters, the behaviour is similar, [Y$/$Mg], [Y$/$Al] and [Y$/$Si] present evident trends, whereas [Y$/$Ca] vs. Ages is a flat and [Y$/$Ti] vs. Ages is less steep. We also confirm that the chemical clocks have high scatter at the early ages. In the case of the compiled sample, the chemical clocks are similar to our results but in some situations there are important differences. Several relations between abundance ratios and ages may be obtained when dwarfs and giants are analyzed, confirming the non-universality of the spectroscopic age indicators.


title: An Open-Source P416 Compiler Backend for Reconfigurable Match-Action Table Switches

abstract: The P4 language has become the dominant choice for programming the reconfigurable match-action table based programmable switches. V1Model architecture is the most widely available realization of this paradigm. The open-source compiler frontend developed by the P4 consortium can execute syntax analysis and derive a hardware-independent representation of a program written using the latest version of P4 (also known as P416 ). A compiler backend is required to map this intermediate representation to the hardware resources of a V1Model switch. However, there is no open-source compiler backend available to check the realizability of a P416 program over a V1Model switch. Proprietary tools provided by different hardware vendors are available for this purpose. However, they are closed source and do not provide access to the internal mapping mechanisms. Which inhibits experimenting with new mapping algorithms and innovative instruction sets for reconfigurable match-action table architecture. Moreover, the proprietary compiler backends are costly and come with various non-disclosure agreements. These factors pose serious challenges to programmable switch-related research. In this work, we present an open-source P416 compiler backend for the V1Model architecture-based programmable switches. It uses heuristic-based mapping algorithms to map a P416 program over the hardware resources of a V1Model switch. It allows developers to rapidly prototype different mapping algorithms. It also gives various resource usage statistics of a P416 program, enabling comparison among multiple P416 schemes.


title: Unified neutron star EOSs and neutron star structures in RMF models

abstract: In the framework of Thomas-Fermi approximation, we study systematically the EOSs and microscopic structures of neutron star matter in a vast density range with $n_\mathrm{b}\approx 10^{-10}$-2 $\mathrm{fm}^{-3}$, where various covariant density functionals are adopted, i.e., those with nonlinear self couplings (NL3, PK1, TM1, GM1, MTVTC) and density-dependent couplings (DD-LZ1, DDME-X, PKDD, DD-ME2, DD2, TW99). It is found that the EOSs generally coincide with each other at $n_\mathrm{b}\lesssim 10^{-4}$ fm${}^{-3}$ and 0.1 fm${}^{-3}\lesssim n_\mathrm{b} \lesssim 0.3$ fm${}^{-3}$, while in other density regions they are sensitive to the effective interactions between nucleons. By adopting functionals with larger slope of symmetry energy $L$, the curvature parameter $K_\mathrm{sym}$ and neutron drip density generally increase, while the droplet size, proton number of nucleus, core-crust transition density, and onset density of non-spherical nuclei decrease. All functionals predict neutron stars with maximum masses exceeding the two-solar-mass limit, while those of DD2, DD-LZ1, DD-ME2, and DDME-X predict optimum neutron star radii according to the observational constraints. Nevertheless, the corresponding skewness coefficients $J$ are much lager than expected, while only the functionals MTVTC and TW99 meet the start-of-art constraints on $J$. More accurate measurements on the radius of PSR J0740+6620 and the maximum mass of neutron stars are thus essential to identify the functional that satisfies all constraints from nuclear physics and astrophysical observations. Approximate linear correlations between neutron stars' radii at $M=1.4 M_{\odot}$ and $2 M_{\odot}$, the slope $L$ and curvature parameter $K_\mathrm{sym}$ of symmetry energy are observed as well, which is mainly attributed to the curvature-slope correlations in the functionals adopted here.


title: Dynamic polarizability of the $^{85}$Rb $5D_{3/2}$-state in 1064 nm light

abstract: We report a measurement of the dynamic (ac) scalar polarizability of the $5D_{3/2}$ state in $^{85}$Rb atoms at a laser wavelength of 1064~nm. Contrary to a recent measurement in Phys. Rev. \textbf{A} 104, 063304 (2021), the experiments are performed in a low-intensity regime in which the ac shift is less than the $5D_{3/2}$ state's hyperfine structure, as utilized in numerous experiments with cold, trapped atoms. The extracted ac polarizability is $\alpha_{5D_{3/2}} = -499\pm59$~a.u., within the uncertainty of the aforementioned previous result. The calibration of the 1064~nm light intensity, performed by analyzing light shifts of the D1 line, is the main source of uncertainty. Our results are useful for applications of the Rb $5D_{3/2}$ state in metrology, quantum sensing, and fundamental-physics research on Rydberg atoms and molecules.


title: A Generalization of the Chevalley-Warning and Ax-Katz Theorems with a View Towards Combinatorial Number Theory

abstract: We begin by explaining how arguments used by R. Wilson to give an elementary proof of the $\mathbb F_p$ case for the Ax-Katz Theorem can also be used to prove the following generalization of the Chevalley-Warning and Ax-Katz Theorems for $\mathbb F_p$, where we allow varying prime power moduli. Given any box $\mathcal B=\mathcal I_1\times\ldots\times\mathcal I_n$, with each $\mathcal I_j\subseteq\mathbb Z$ a complete system of residues modulo $p$, and a collection of nonzero polynomials $f_1,\ldots,f_s\in \mathbb Z[X_1,\ldots,X_n]$, then the set of common zeros inside the box, $$V=\{\mathbf a\in \mathcal B:\; f_1(\textbf a)\equiv 0\mod p^{m_1},\ldots,f_s(\textbf a)\equiv 0\mod p^{m_s}\},$$ satisfies $|V|\equiv 0\mod p^m$, provided $n>(m-1)\max_{i\in [1,s]}\Big\{p^{m_i-1}\mathsf{deg} f_i\Big\}+ \sum_{i=1}^{s}\frac{p^{m_i}-1}{p-1}\mathsf{deg} f_i.$ The introduction of the box $\mathcal B$ adds a degree of flexibility, in comparison to prior work of Zhi-Wei Sun. Indeed, incorporating the ideas of Sun, a weighted version of the above result is given. We continue by explaining how the added flexibility, combined with an appropriate use of Hensel's Lemma to choose the complete system of residues $\mathcal I_j$, effectively allows many combinatorial applications of the Chevalley-Warning and Ax-Katz Theorems, previously only valid for $\mathbb F_p^n$, to extend with bare minimal modification to validity for an arbitrary finite abelian $p$-group $G$. We illustrate this be giving several examples, including a new proof of the exact value of the Davenport Constant $\mathsf D(G)$ for finite abelian $p$-groups, a streamlined proof of the Kemnitz Conjecture, and the resolution of a problem of Xiaoyu He regarding zero-sums of length $k\exp(G)$ related to a conjecture of Kubertin.


title: Randomised Composition and Small-Bias Minimax

abstract: We prove two results about randomised query complexity $\mathrm{R}(f)$. First, we introduce a "linearised" complexity measure $\mathrm{LR}$ and show that it satisfies an inner-optimal composition theorem: $\mathrm{R}(f\circ g) \geq \Omega(\mathrm{R}(f) \mathrm{LR}(g))$ for all partial $f$ and $g$, and moreover, $\mathrm{LR}$ is the largest possible measure with this property. In particular, $\mathrm{LR}$ can be polynomially larger than previous measures that satisfy an inner composition theorem, such as the max-conflict complexity of Gavinsky, Lee, Santha, and Sanyal (ICALP 2019). Our second result addresses a question of Yao (FOCS 1977). He asked if $\epsilon$-error expected query complexity $\bar{\mathrm{R}}_{\epsilon}(f)$ admits a distributional characterisation relative to some hard input distribution. Vereshchagin (TCS 1998) answered this question affirmatively in the bounded-error case. We show that an analogous theorem fails in the small-bias case $\epsilon=1/2-o(1)$.


title: ATTRITION: Attacking Static Hardware Trojan Detection Techniques Using Reinforcement Learning

abstract: Stealthy hardware Trojans (HTs) inserted during the fabrication of integrated circuits can bypass the security of critical infrastructures. Although researchers have proposed many techniques to detect HTs, several limitations exist, including: (i) a low success rate, (ii) high algorithmic complexity, and (iii) a large number of test patterns. Furthermore, the most pertinent drawback of prior detection techniques stems from an incorrect evaluation methodology, i.e., they assume that an adversary inserts HTs randomly. Such inappropriate adversarial assumptions enable detection techniques to claim high HT detection accuracy, leading to a "false sense of security." Unfortunately, to the best of our knowledge, despite more than a decade of research on detecting HTs inserted during fabrication, there have been no concerted efforts to perform a systematic evaluation of HT detection techniques. In this paper, we play the role of a realistic adversary and question the efficacy of HT detection techniques by developing an automated, scalable, and practical attack framework, ATTRITION, using reinforcement learning (RL). ATTRITION evades eight detection techniques across two HT detection categories, showcasing its agnostic behavior. ATTRITION achieves average attack success rates of $47\times$ and $211\times$ compared to randomly inserted HTs against state-of-the-art HT detection techniques. We demonstrate ATTRITION's ability to evade detection techniques by evaluating designs ranging from the widely-used academic suites to larger designs such as the open-source MIPS and mor1kx processors to AES and a GPS module. Additionally, we showcase the impact of ATTRITION-generated HTs through two case studies (privilege escalation and kill switch) on the mor1kx processor. We envision that our work, along with our released HT benchmarks and models, fosters the development of better HT detection techniques.


title: An FPT Algorithm for Bipartite Vertex Splitting

abstract: Bipartite graphs model the relationship between two disjoint sets of objects. They have a wide range of applications and are often visualized as a 2-layered drawing, where each set of objects is visualized as a set of vertices (points) on one of the two parallel horizontal lines and the relationships are represented by edges (simple curves) between the two lines connecting the corresponding vertices. One of the common objectives in such drawings is to minimize the number of crossings this, however, is computationally expensive and may still result in drawings with so many crossings that they affect the readability of the drawing. We consider a recent approach to remove crossings in such visualizations by splitting vertices, where the goal is to find the minimum number of vertices to be split to obtain a planar drawing. We show that determining whether a planar drawing exists after splitting at most $k$ vertices is fixed parameter tractable in $k$.


title: Zero Forcing with Random Sets

abstract: Given a graph $G$ and a real number $0\le p\le 1$, we define the random set $B_p(G)\subset V(G)$ by including each vertex independently and with probability $p$. We investigate the probability that the random set $B_p(G)$ is a zero forcing set of $G$. In particular, we prove that for large $n$, this probability for trees is upper bounded by the corresponding probability for a path graph. Given a minimum degree condition, we also prove a conjecture of Boyer et.\ al.\ regarding the number of zero forcing sets of a given size that a graph can have.


title: Fat Pointers for Temporal Memory Safety of C

abstract: Temporal memory safety bugs, especially use-after-free and double free bugs, pose a major security threat to C programs. Real-world exploits utilizing these bugs enable attackers to read and write arbitrary memory locations, causing disastrous violations of confidentiality, integrity, and availability. Many previous solutions retrofit temporal memory safety to C, but they all either incur high performance overhead and/or miss detecting certain types of temporal memory safety bugs. In this paper, we propose a temporal memory safety solution that is both efficient and comprehensive. Specifically, we extend Checked C, a spatially-safe extension to C, with temporally-safe pointers. These are implemented by combining two techniques: fat pointers and dynamic key-lock checks. We show that the fat-pointer solution significantly improves running time and memory overhead compared to the disjoint-metadata approach that provides the same level of protection. With empirical program data and hands-on experience porting real-world applications, we also show that our solution is practical in terms of backward compatibility -- one of the major complaints about fat pointers.


title: Deformations and homotopy of Rota-Baxter operators and $\mathcal{O}$-operators on Lie algebras

abstract: This article gives a brief introduction to some recent work on deformation and homotopy theories of Rota-Baxter operators and more generally $\mathcal{O}$-operators on Lie algebras, by means of the differential graded Lie algebra approach. It is further shown that these theories lift the existing connection between $\mathcal{O}$-operators and pre-Lie algebras to the levels of deformations and homotopy.


title: Three-dimensional experimental-scale phase-field modelling of dendrite formation in rechargeable lithium-metal batteries

abstract: We perform phase-field simulations of the electrodeposition process that forms dendrites within metal-anode batteries including anisotropic representation. We describe the evolution of a phase field, the lithium-ion concentration, and an electric potential, during a battery charge cycle, solving equations using time-marching algorithms with automatic time-step adjustment and implemented on an open-source finite element library. A modified lithium crystal surface anisotropy representation for phase-field electrodeposition model is proposed and evaluated through different numerical tests, exhibiting low sensitivity to the numerical parameters. Change of dendritic morphological behaviour is captured by a variation of the simulated inter-electrode distance. A set of simulations are presented to validate the proposed formulation, showing their agreement with experimentally-observed lithium dendrite growth rates, and morphologies reported in the literature.


title: Neural Camera Models

abstract: Modern computer vision has moved beyond the domain of internet photo collections and into the physical world, guiding camera-equipped robots and autonomous cars through unstructured environments. To enable these embodied agents to interact with real-world objects, cameras are increasingly being used as depth sensors, reconstructing the environment for a variety of downstream reasoning tasks. Machine-learning-aided depth perception, or depth estimation, predicts for each pixel in an image the distance to the imaged scene point. While impressive strides have been made in depth estimation, significant challenges remain: (1) ground truth depth labels are difficult and expensive to collect at scale, (2) camera information is typically assumed to be known, but is often unreliable and (3) restrictive camera assumptions are common, even though a great variety of camera types and lenses are used in practice. In this thesis, we focus on relaxing these assumptions, and describe contributions toward the ultimate goal of turning cameras into truly generic depth sensors.


title: A Comprehensive Review of Digital Twin -- Part 2: Roles of Uncertainty Quantification and Optimization, a Battery Digital Twin, and Perspectives

abstract: As an emerging technology in the era of Industry 4.0, digital twin is gaining unprecedented attention because of its promise to further optimize process design, quality control, health monitoring, decision and policy making, and more, by comprehensively modeling the physical world as a group of interconnected digital models. In a two-part series of papers, we examine the fundamental role of different modeling techniques, twinning enabling technologies, and uncertainty quantification and optimization methods commonly used in digital twins. This second paper presents a literature review of key enabling technologies of digital twins, with an emphasis on uncertainty quantification, optimization methods, open source datasets and tools, major findings, challenges, and future directions. Discussions focus on current methods of uncertainty quantification and optimization and how they are applied in different dimensions of a digital twin. Additionally, this paper presents a case study where a battery digital twin is constructed and tested to illustrate some of the modeling and twinning methods reviewed in this two-part review. Code and preprocessed data for generating all the results and figures presented in the case study are available on GitHub.


title: The missing link between standing- and traveling-wave resonators

abstract: Optical resonators are structures that utilize wave interference and feedback to confine light in all three dimensions. Depending on the feedback mechanism, resonators can support either standing- or traveling-wave modes. Over the years, the distinction between these two different types of modes has become so prevalent that nowadays it is one of the main characteristics for classifying optical resonators. Here, we show that an intermediate link between these two rather different groups exists. In particular, we introduce a new class of photonic resonators that supports a hybrid optical mode, i.e. at one location along the resonator the electromagnetic fields associated with the mode feature a purely standing-wave pattern, while at a different location, the fields of the same mode represent a pure traveling wave. The proposed concept is general and can be implemented using chip-scale photonics as well as free-space optics. Moreover, it can be extended to other wave phenomena such as microwaves and acoustics.


title: Recent Increase of Tropical Cyclone Rapid Intensification in Global Coastal Regions

abstract: Rapid intensification (RI) is likely the most crucial contributor to the development of strong tropical cyclones and the largest source of prediction error resulting in great threats to life and property, which can become more threatening with proximity to landfall. While enormous efforts have been devoted to studying the basin-wide fluctuation, temporal-spatial variations of global RI events remain uncertain. Here, we show that, compared with open oceans where the annual RI counts do not show any significant change, the coastal offshore regions within 400 km from the coastline host significantly more RI events, with the RI count tripled from 1980 to 2020. Reasons responsible for the coastal RI occurrence are analysed, with the dominant large-scale environmental factors identified. This work yields an important new finding that an increasing threat of RI in coastal regions has occurred in the preceding decades, which may continue in a future warming climate.


title: Effects of varying initial conditions of ship encountering wave groups in computing extreme motion statistics

abstract: In computing ship motion statistics (e.g., exceeding probability) in an irregular wave field, it is a common practice to represent the irregular waves by a large number of wave groups and compute the motion statistics from the distribution of these wave groups. While this procedure significantly reduces the computational cost, the uncertainties introduced in this reduced-order computation have not been quantified. In general, the representation of a continuous wave field by separated groups loses information about wave phases, frequency modulation and initial conditions of ship when encountering the wave groups, among which the last one is arguably the most influential factor for the ship motion statistics. In this paper, we test three methods to incorporate the ship initial conditions into the computation of roll motion exceeding probability, namely the methods of natural initial condition, pre-computed initial condition and constant initial condition. For different input wave spectra and ship motion dynamics (in terms of the parametric excitation level modeled by a nonlinear roll equation), the performances of the three methods are carefully benchmarked and the superiority of the natural initial condition method is demonstrated. We finally show that the computation using the natural initial condition method can be greatly accelerated through a sequential sampling algorithm making use of the variational heteroscedastic Gaussian process regression.


title: RepParser: End-to-End Multiple Human Parsing with Representative Parts

abstract: Existing methods of multiple human parsing usually adopt a two-stage strategy (typically top-down and bottom-up), which suffers from either strong dependence on prior detection or highly computational redundancy during post-grouping. In this work, we present an end-to-end multiple human parsing framework using representative parts, termed RepParser. Different from mainstream methods, RepParser solves the multiple human parsing in a new single-stage manner without resorting to person detection or post-grouping.To this end, RepParser decouples the parsing pipeline into instance-aware kernel generation and part-aware human parsing, which are responsible for instance separation and instance-specific part segmentation, respectively. In particular, we empower the parsing pipeline by representative parts, since they are characterized by instance-aware keypoints and can be utilized to dynamically parse each person instance. Specifically, representative parts are obtained by jointly localizing centers of instances and estimating keypoints of body part regions. After that, we dynamically predict instance-aware convolution kernels through representative parts, thus encoding person-part context into each kernel responsible for casting an image feature as an instance-specific representation.Furthermore, a multi-branch structure is adopted to divide each instance-specific representation into several part-aware representations for separate part segmentation.In this way, RepParser accordingly focuses on person instances with the guidance of representative parts and directly outputs parsing results for each person instance, thus eliminating the requirement of the prior detection or post-grouping.Extensive experiments on two challenging benchmarks demonstrate that our proposed RepParser is a simple yet effective framework and achieves very competitive performance.


title: Pipeline-Invariant Representation Learning for Neuroimaging

abstract: Deep learning has been widely applied in neuroimaging, including predicting brain-phenotype relationships from magnetic resonance imaging (MRI) volumes. MRI data usually requires extensive preprocessing prior to modeling, but variation introduced by different MRI preprocessing pipelines may lead to different scientific findings, even when using the identical data. Motivated by the data-centric perspective, we first evaluate how preprocessing pipeline selection can impact the downstream performance of a supervised learning model. We next propose two pipeline-invariant representation learning methodologies, MPSL and PXL, to improve robustness in classification performance and to capture similar neural network representations. Using 2000 human subjects from the UK Biobank dataset, we demonstrate that proposed models present unique and shared advantages, in particular that MPSL can be used to improve out-of-sample generalization to new pipelines, while PXL can be used to improve within-sample prediction performance. Both MPSL and PXL can learn more similar between-pipeline representations. These results suggest that our proposed models can be applied to mitigate pipeline-related biases, and to improve prediction robustness in brain-phenotype modeling.


title: Emergence of Order in Dynamical Phases in Coupled Fractional Gauss Map

abstract: Dynamical behaviour of discrete dynamical systems has been investigated extensively in the past few decades. However, in several applications, long term memory plays an important role in the evolution of dynamical variables. The definition of discrete maps has recently been extended to fractional maps to model such situations. We extend this definition to a spatiotemporal system. We define a coupled map lattice on different topologies, namely, one-dimensional coupled map lattice, globally coupled system and small-world network. The spatiotemporal patterns in the fractional system are more ordered. In particular, synchronization is observed over a large parameter region. For integer order coupled map lattice in one dimension, synchronized periodic states with a period greater than one are not obtained. However, we observe synchronized periodic states with period-3 or period-6 in one dimensional coupled fractional maps even for a large lattice. With nonlocal coupling, the synchronization is reached over a larger parameter regime. In all these cases, the standard deviation decays as power-law in time with the power same as fractional-order. The physical significance of such studies is also discussed.


title: Network-Level Adversaries in Federated Learning

abstract: Federated learning is a popular strategy for training models on distributed, sensitive data, while preserving data privacy. Prior work identified a range of security threats on federated learning protocols that poison the data or the model. However, federated learning is a networked system where the communication between clients and server plays a critical role for the learning task performance. We highlight how communication introduces another vulnerability surface in federated learning and study the impact of network-level adversaries on training federated learning models. We show that attackers dropping the network traffic from carefully selected clients can significantly decrease model accuracy on a target population. Moreover, we show that a coordinated poisoning campaign from a few clients can amplify the dropping attacks. Finally, we develop a server-side defense which mitigates the impact of our attacks by identifying and up-sampling clients likely to positively contribute towards target accuracy. We comprehensively evaluate our attacks and defenses on three datasets, assuming encrypted communication channels and attackers with partial visibility of the network.


title: Two Sufficient Conditions for a Polyhedron to be (Locally) Rupert

abstract: Given two cubes of equal size, it is possible - against all odds - to bore a hole through one which is large enough to pass the other straight through. This preposterous property of the cube was first noted by Prince Rupert of the Rhine in the 17th century. Surprisingly, the cube is not alone: many other polyhedra have this property, which we call being Rupert. A concise way to express that a polyhedron is Rupert is to find two orientations $Q$ and $Q'$ of that polyhedron so that $\pi(Q)$ fits inside $\pi(Q')$, with $\pi$ representing the orthogonal projection onto the $xy$-plane. Given this scheme, to bore the hole in $Q'$ we can remove $\pi^{-1}(\pi(Q))$. There is an open conjecture that every convex polyhedron is Rupert. Aiming at this conjecture, we give two sufficient conditions for a polyhedron to be Rupert. Both conditions require the polyhedron to have a particularly simple orientation $Q$, which we alter by a very small amount to get $Q'$ as required above. When a passage is given by a very small alteration like this, we call it a local passage. Restricting to the local case turns out to offer many valuable simplifications. In the process of proving our main theorems, we develop a theory of these local passages, involving an analysis of how small rotations act on simple polyhedra.


title: Euler-Heisenberg Lagrangian under an axial gauge field

abstract: Augmentations to the Euler-Heisenberg Lagrangian (QED one-loop effective action in homogeneous electromagnetic fields) under a constant background axial gauge are examined. Two special configurations admit an exact eigendecomposition, and hence effective action as a spectral sum, of the augmented Dirac operator: one with a magnetic field with chiral chemical potential, and the other with an electric field with spatial axial gauge, which resembles an emergent vorticity. An enhancement to Schwinger pair production is found for the latter, which is more fully analyzed using the worldline instanton formalism. There it is found the overall enhancement is due to the spatial axial gauge serving as a negative mass shift. Finally, we remark on the exactly solvable massless case for arbitrary electromagnetic and axial gauges.


title: Robots Still Outnumber Humans in Web Archives, But Less Than Before

abstract: To identify robots and humans and analyze their respective access patterns, we used the Internet Archive's (IA) Wayback Machine access logs from 2012 and 2019, as well as Arquivo.pt's (Portuguese Web Archive) access logs from 2019. We identified user sessions in the access logs and classified those sessions as human or robot based on their browsing behavior. To better understand how users navigate through the web archives, we evaluated these sessions to discover user access patterns. Based on the two archives and between the two years of IA access logs (2012 vs. 2019), we present a comparison of detected robots vs. humans and their user access patterns and temporal preferences. The total number of robots detected in IA 2012 is greater than in IA 2019 (21% more in requests and 18% more in sessions). Robots account for 98% of requests (97% of sessions) in Arquivo.pt (2019). We found that the robots are almost entirely limited to "Dip" and "Skim" access patterns in IA 2012, but exhibit all the patterns and their combinations in IA 2019. Both humans and robots show a preference for web pages archived in the near past.