title: Pattern wavelengths and transport characteristics in three-dimensional bioconvection generated by chemotactic bacteria

abstract: We conducted a three-dimensional numerical simulation of bioconvection generated by oxygen-reactive chemotactic bacteria. This study investigated the bioconvection patterns, interference between plumes, and the wavelength of bioconvection patterns. In addition, we clarified the transport characteristics of cells and oxygen in the bioconvection. Multiple plumes occur in the suspension and three-dimensional bioconvection is formed around the plumes by the cells with vortex rings arising around the plumes. Even if bioconvection at a high Rayleigh number is disturbed, the bioconvection is strongly stable with respect to disturbances, and the pattern does not change due to disturbances. Bioconvection changes depending on the physical properties of bacteria and oxygen, and, in particular, the rate of oxygen consumption by bacteria significantly affects the strength of bioconvection. Bioconvection patterns with different plume arrangements and shapes are formed for different Rayleigh numbers or initial disturbances of the cell concentration. As a result, the wavelengths of the patterns also vary. As the Rayleigh number increases, interference between plumes is strengthened by the shortening of the pattern wavelength, so the velocities of both upward and downward flows increase. Many cells are located under the plumes and a strong shear flow occurs in these regions. As the pattern wavelength decreases, the cells are affected by high shear stress. Then, the convective transport of the entire suspension strengthens and the transport characteristics of cells and oxygen improve. When the chamber boundary is changed to side walls, bacteria adhere to the wall surface, and plumes are regularly arranged along the side walls.


title: Ant Hill Colonization optimization algorithm(AHCOA) for controlling the side lobe of a uniform linear array

abstract: This paper aims to introduce the Ant hill colonization optimization algorithm(AHCOA) to the electromagnetics and antenna community. The ant hill is built by special species of ants known as formicas ants(also meadow ants, fire ants and harvester ants). AHCOA is a novel new nature inspired algorithm mimicking how the ants built and sustain the ant hill for their survival and sustenance for many years. This problem solves constrained and unconstrained optimization problems with wide capability in diverse fields. AHCOA is used by writing equations of volumetric analysis of the ant hill mould the manner in which the structure is architected. In this paper, we have shown how AHCOA is better than the previous paper on ant lion optimizer for controlling side lobe in antenna pattern synthesis in paper [1]. The potential of AHCOA in synthesizing and analyzing for d/ varying from 1.1,0.6,0.5,0.3 and 0.1 linear array is also illustrated. Antenna side lobe level minimization is compared with ant lion optimizer showing why AHCOA is better than the previously simulated ant lion optimizer for side lobe control. The results show why linear arrays are better synthesized for AHCOA then other algorithms used in planar arrays. This paper shows why AHCOA is a strong candidate for antenna optimization used in linear arrays.


title: A Survey on Hyperlink Prediction

abstract: As a natural extension of link prediction on graphs, hyperlink prediction aims for the inference of missing hyperlinks in hypergraphs, where a hyperlink can connect more than two nodes. Hyperlink prediction has applications in a wide range of systems, from chemical reaction networks, social communication networks, to protein-protein interaction networks. In this paper, we provide a systematic and comprehensive survey on hyperlink prediction. We propose a new taxonomy to classify existing hyperlink prediction methods into four categories: similarity-based, probability-based, matrix optimization-based, and deep learning-based methods. To compare the performance of methods from different categories, we perform a benchmark study on various hypergraph applications using representative methods from each category. Notably, deep learning-based methods prevail over other methods in hyperlink prediction.


title: Towards Substantive Conceptions of Algorithmic Fairness: Normative Guidance from Equal Opportunity Doctrines

abstract: In this work we use Equal Oppportunity (EO) doctrines from political philosophy to make explicit the normative judgements embedded in different conceptions of algorithmic fairness. We contrast formal EO approaches that narrowly focus on fair contests at discrete decision points, with substantive EO doctrines that look at people's fair life chances more holistically over the course of a lifetime. We use this taxonomy to provide a moral interpretation of the impossibility results as the incompatibility between different conceptions of a fair contest -- foward-looking versus backward-looking -- when people do not have fair life chances. We use this result to motivate substantive conceptions of algorithmic fairness and outline two plausible procedures based on the luck-egalitarian doctrine of EO, and Rawls's principle of fair equality of opportunity.


title: Bounds for the distribution of the Frobenius traces associated to a generic abelian variety

abstract: Let $g \geq 1$ be an integer and let $A$ be an abelian variety defined over $\mathbb{Q}$ and of dimension $g$. Assume that, for each sufficiently large prime $\ell$, the image of the residual modulo $\ell$ Galois representation of $A$ is isomorphic to $\text{GSp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$. For an integer $t$ and a positive real number $x$, denote by $\pi_A(x, t)$ the number of primes $p \leq x$, of good reduction for $A$, for which the Frobenius trace $a_{1, p}(A)$ associated to the reduction of $A$ modulo $p$ equals $t$. Assuming the Generalized Riemann Hypothesis for Dedekind zeta functions, we prove that $\pi_A(x, 0) \ll_A x^{1-\frac{1}{2g^2+g+1}}/(\log x)^{1-\frac{2}{2g^2+g+1}}$ and that $\pi_A(x, t) \ll_A x^{1-\frac{1}{2g^2+g+2}}/(\log x)^{1-\frac{2}{2g^2+g+2}}$ if $t \neq 0$. Under the assumptions stated above, we also prove the existence of a density one set of primes $p$ satisfying $|a_{1, p}(A)|> p^{\frac{1}{2g^2+g+1}}/(\log p)^{\varepsilon}$ for any fixed $\varepsilon>0$. Assuming, in addition to the Generalized Riemann Hypothesis for Dedekind zeta functions, Artin's Holomorphy Conjecture and a Pair Correlation Conjecture for Artin L-functions, we prove that $\pi_A(x, 0) \ll_A x^{1-\frac{1}{g+1}}/(\log x)^{1-\frac{4}{g+1}}$ and that $\pi_A(x, t) \ll_A x^{1-\frac{1}{g+2}}/(\log x)^{1-\frac{4}{g+2}}$ if $t \neq 0$, and we deduce the existence of a density one set of primes $p$ satisfying $|a_{1, p}(A)|> p^{\frac{1}{g+2}-\varepsilon}$ for any fixed $\varepsilon>0$. These are currently the best known conditional upper bounds for $\pi_A(x, t)$ and the best known conditional lower bounds for $|a_{1, p}(A)|$, for most primes $p$.


title: Pattern Formation and Flocking for Particles Near the Jamming Transition on Resource Gradient Substrates

abstract: We numerically examine a bidisperse system of active and passive particles coupled to a resource substrate. The active particles deplete the resource at a fixed rate and move toward regions with higher resources, while all of the particles interact sterically with each other. We show that at high densities, this system exhibits a rich variety of pattern forming phases along with directed motion or flocking as a function of the relative rates of resource absorption and consumption as well as the active to passive particle ratio. These include partial phase separation into rivers of active particles flowing through passive clusters, strongly phase separated states where the active particles induce crystallization of the passive particles, mixed jammed states, and fluctuating mixed fluid phases. For higher resource recovery rates, we demonstrate that the active particles can undergo motility induced phase separation, while at high densities, there can be a coherent flock containing only active particles or a solid mixture of active and passive particles. The directed flocking motion typically shows a transient in which the flow switches among different directions before settling into one direction, and there is a critical density below which flocking does not occur. We map out the different phases as function of system density, resource absorption and recovery rates,and the ratio of active to passive particles.


title: Curved momentum space equivalent to the linear and quadratic Generalized Uncertainty Principle

abstract: In this work, we deepen the correspondence between Generalized Uncertainty Principles (GUPs) and quantum dynamics on curved momentum space. In particular, we investigate the linear and quadratic GUP. Similarly to earlier work, the resulting curvature tensor in the dual theory is proportional to the coordinate non-commutativity of the original formulation.


title: Inter and Intra Signal Variance in Feature Extraction and Classification of Affective State

abstract: Psychophysiology investigates the causal relationship of physiological changes resulting from psychological states. There are significant challenges with machine learning-based momentary assessments of physiology due to varying data collection methods, physiological differences, data availability and the requirement for expertly annotated data. Advances in wearable technology have significantly increased the scale, sensitivity and accuracy of devices for recording physiological signals, enabling large-scale unobtrusive physiological data gathering. This work contributes an empirical evaluation of signal variances acquired from wearables and their associated impact on the classification of affective states by (i) assessing differences occurring in features representative of affective states extracted from electrocardiograms and photoplethysmography, (ii) investigating the disparity in feature importance between signals to determine signal-specific features, and (iii) investigating the disparity in feature importance between affective states to determine affect-specific features. Results demonstrate that the degree of feature variance between ECG and PPG in a dataset is reflected in the classification performance of that dataset. Additionally, beats-per-minute, inter-beat-interval and breathing rate are identified as common best-performing features across both signals. Finally, feature variance per-affective state identifies hard-to-distinguish affective states requiring one-versus-rest or additional features to enable accurate classification.


title: On The Universality of Diagrams for Causal Inference and The Causal Reproducing Property

abstract: We propose Universal Causality, an overarching framework based on category theory that defines the universal property that underlies causal inference independent of the underlying representational formalism used. More formally, universal causal models are defined as categories consisting of objects and morphisms between them representing causal influences, as well as structures for carrying out interventions (experiments) and evaluating their outcomes (observations). Functors map between categories, and natural transformations map between a pair of functors across the same two categories. Abstract causal diagrams in our framework are built using universal constructions from category theory, including the limit or co-limit of an abstract causal diagram, or more generally, the Kan extension. We present two foundational results in universal causal inference. The first result, called the Universal Causality Theorem (UCT), pertains to the universality of diagrams, which are viewed as functors mapping both objects and relationships from an indexing category of abstract causal diagrams to an actual causal model whose nodes are labeled by random variables, and edges represent functional or probabilistic relationships. UCT states that any causal inference can be represented in a canonical way as the co-limit of an abstract causal diagram of representable objects. UCT follows from a basic result in the theory of sheaves. The second result, the Causal Reproducing Property (CRP), states that any causal influence of a object X on another object Y is representable as a natural transformation between two abstract causal diagrams. CRP follows from the Yoneda Lemma, one of the deepest results in category theory. The CRP property is analogous to the reproducing property in Reproducing Kernel Hilbert Spaces that served as the foundation for kernel methods in machine learning.


title: Heterogeneous Anomaly Detection for Software Systems via Attentive Multi-modal Learning

abstract: Prompt and accurate detection of system anomalies is essential to ensure the reliability of software systems. Unlike manual efforts that exploit all available run-time information, existing approaches usually leverage only a single type of monitoring data (often logs or metrics) or fail to make effective use of the joint information among multi-source data. Consequently, many false predictions occur. To better understand the manifestations of system anomalies, we conduct a comprehensive empirical study based on a large amount of heterogeneous data, i.e., logs and metrics. Our study demonstrates that system anomalies could manifest distinctly in different data types. Thus, integrating heterogeneous data can help recover the complete picture of a system's health status. In this context, we propose HADES, the first work to effectively identify system anomalies based on heterogeneous data. Our approach employs a hierarchical architecture to learn a global representation of the system status by fusing log semantics and metric patterns. It captures discriminative features and meaningful interactions from multi-modal data via a novel cross-modal attention module, enabling accurate system anomaly detection. We evaluate HADES extensively on large-scale simulated and industrial datasets. The experimental results present the superiority of HADES in detecting system anomalies on heterogeneous data. We release the code and the annotated dataset for reproducibility and future research.


title: The Variations of SIkJalpha Model for COVID-19 Forecasting and Scenario Projections

abstract: We proposed the SIkJalpha model at the beginning of the COVID-19 pandemic (early 2020). Since then, as the pandemic evolved, more complexities were added to capture crucial factors and variables that can assist with projecting desired future scenarios. Throughout the pandemic, multi-model collaborative efforts have been organized to predict short-term outcomes (cases, deaths, and hospitalizations) of COVID-19 and long-term scenario projections. We have been participating in five such efforts. This paper presents the evolution of the SIkJalpha model and its many versions that have been used to submit to these collaborative efforts since the beginning of the pandemic. Specifically, we show that the SIkJalpha model is an approximation of a class of epidemiological models. We demonstrate how the model can be used to incorporate various complexities, including under-reporting, multiple variants, waning of immunity, and contact rates, and to generate probabilistic outputs.


title: The Erd\H{o}s-Gy\'arf\'as function $f(n, 4, 5) = \frac 56 n + o(n)$ -- so Gy\'arf\'as was right

abstract: A $(4, 5)$-coloring of $K_n$ is an edge-coloring of $K_n$ where every $4$-clique spans at least five colors. We show that there exist $(4, 5)$-colorings of $K_n$ using $\frac 56 n + o(n)$ colors. This settles a disagreement between Erd\H{o}s and Gy\'arf\'as reported in their 1997 paper. Our construction uses a randomized process which we analyze using the so-called differential equation method to establish dynamic concentration. In particular, our coloring process uses random triangle removal, a process first introduced by Bollob\'as and Erd\H{o}s, and analyzed by Bohman, Frieze and Lubetzky.


title: Fermi-LAT Gamma-ray Detection of the Recurrent Nova RS Ophiuchi during its 2021 Outburst

abstract: We report the Fermi-LAT gamma-ray detection of the 2021 outburst of the symbiotic recurrent nova RS Ophiuchi. In this system, unlike classical novae from cataclysmic binaries, the ejecta from the white dwarf form shocks when interacting with the dense circumstellar wind environment of the red giant companion. We find the LAT spectra from 50 MeV to ~20-23 GeV, the highest-energy photons detected in some sub-intervals, are consistent with $\pi^{\rm 0}$-decay emission from shocks in the ejecta as proposed by Tatischeff & Hernanz (2007) for its previous 2006 outburst. The LAT light-curve displayed a fast rise to its peak >0.1 GeV flux of $\simeq$6x10^-6 ph cm^-2 s^-1 beginning on day 0.745 after its optically-constrained eruption epoch of 2021 August 8.50. The peak lasted for ~1 day, and exhibited a power-law decline up to the final LAT detection on day 45. We analyze the data on shorter timescales at early times and found evidence of an approximate doubling of emission over ~200 minutes at day 2.2, possibly indicating a localized shock-acceleration event. Comparing the data collected by the AAVSO, we measured a constant ratio of ~2.8x10^-3 between the gamma-ray and optical luminosities except for a ~5x smaller ratio within the first day of the eruption likely indicating attenuation of gamma rays by ejecta material and lower high-energy proton fluxes at the earliest stages of the shock development. The hard X-ray emission due to bremsstrahlung from shock-heated gas traced by the Swift-XRT 2-10 keV light-curve peaked at day ~6, later than at GeV and optical energies. Using X-ray derived temperatures to constrain the velocity profile, we find the hadronic model reproduces the observed >0.1 GeV light-curve.


title: Exploring Runtime Decision Support for Trauma Resuscitation

abstract: AI-based recommender systems have been successfully applied in many domains (e.g., e-commerce, feeds ranking). Medical experts believe that incorporating such methods into a clinical decision support system may help reduce medical team errors and improve patient outcomes during treatment processes (e.g., trauma resuscitation, surgical processes). Limited research, however, has been done to develop automatic data-driven treatment decision support. We explored the feasibility of building a treatment recommender system to provide runtime next-minute activity predictions. The system uses patient context (e.g., demographics and vital signs) and process context (e.g., activities) to continuously predict activities that will be performed in the next minute. We evaluated our system on a pre-recorded dataset of trauma resuscitation and conducted an ablation study on different model variants. The best model achieved an average F1-score of 0.67 for 61 activity types. We include medical team feedback and discuss the future work.


title: A Local Optimization Framework for Multi-Objective Ergodic Search

abstract: Robots have the potential to perform search for a variety of applications under different scenarios. Our work is motivated by humanitarian assistant and disaster relief (HADR) where often it is critical to find signs of life in the presence of conflicting criteria, objectives, and information. We believe ergodic search can provide a framework for exploiting available information as well as exploring for new information for applications such as HADR, especially when time is of the essence. Ergodic search algorithms plan trajectories such that the time spent in a region is proportional to the amount of information in that region, and is able to naturally balance exploitation (myopically searching high-information areas) and exploration (visiting all locations in the search space for new information). Existing ergodic search algorithms, as well as other information-based approaches, typically consider search using only a single information map. However, in many scenarios, the use of multiple information maps that encode different types of relevant information is common. Ergodic search methods currently do not possess the ability for simultaneous nor do they have a way to balance which information gets priority. This leads us to formulate a Multi-Objective Ergodic Search (MOES) problem, which aims at finding the so-called Pareto-optimal solutions, for the purpose of providing human decision makers various solutions that trade off between conflicting criteria. To efficiently solve MOES, we develop a framework called Sequential Local Ergodic Search (SLES) that converts a MOES problem into a "weight space coverage" problem. It leverages the recent advances in ergodic search methods as well as the idea of local optimization to efficiently approximate the Pareto-optimal front. Our numerical results show that SLES runs distinctly faster than the baseline methods.


title: Limits on hierarchical black hole mergers from the most negative $\chi_\mathrm{eff}$ systems

abstract: It has been proposed that some black holes (BHs) in binary black hole (BBH) systems are born from "hierarchical mergers" (HM); i.e. earlier mergers of smaller BHs. These HM products have spin magnitudes $\chi \sim 0.7$, and, if they are dynamically assembled into BBH systems, their spin orientations will be sometimes anti-aligned with the binary orbital angular momentum. In fact, as Baibhav et al. (2020) showed, $\sim16\%$ of BBH systems that include HM products will have an effective inspiral spin parameter, $\chi_\mathrm{eff} < -0.3$. Nevertheless, the LIGO-Virgo-Kagra (LVK) gravitational-wave (GW) detectors have yet to observe a BBH system with $\chi_\mathrm{eff} \lesssim -0.2$, leading to upper limits on the fraction of HM products in the population. We fit the astrophysical mass and spin distribution of BBH systems and measure the fraction of BBH systems with $\chi_\mathrm{eff} < -0.3$, which implies an upper limit on the HM fraction. We find that fewer than $26\%$ of systems in the underlying BBH population include HM products (90\%. credibility). Even among BBH systems with primary masses $m_1=60\,M_\odot$, the HM fraction is less than 69\%, which may constrain the location of the pair-instability mass gap. With 300 GW events (to be expected in the LVK's next observing run), if we fail to observe a BBH with $\chi_\mathrm{eff} < -0.3$, we can conclude that the HM fraction is smaller than $2.5^{+9.1}_{-2.2}\%$.


title: Speckle Interferometry at SOAR in 2021

abstract: The speckle interferometry program at the the 4.1 m Southern Astrophysical Research Telescope (SOAR), started in 2008, now accumulated over 30,300 individual observations of 12,700 distinct targets. Its main goal is to monitor orbital motion of close binaries, including members of high-order hierarchies and low-mass dwarfs in the solar neighborhood. The results from 2021 are published here, totaling 2,623 measurements of 2,123 resolved pairs and non-resolutions of 763 targets. The median measured separation is 0.21", and 75 pairs were closer than 30 mas. The calibration of scale and orientation is based on the observations of 103 wide pairs with well-modeled motion. These calibrators are compared to the latest Gaia data release, and minor (0.5%) systematic errors were rectified, resulting in accurate relative positions with typical errors on the order of 1 mas. Using these new measurements, orbits of 282 binaries are determined here (54 first determinations and 228 corrections). We resolved for the first time 50 new pairs, including subsystems in known binaries. A list of 94 likely spurious pairs unresolved at SOAR (mostly close Hipparcos binaries) is also given.


title: Minimizing Age of Incorrect Information in the Presence of Timeout

abstract: We consider a slotted-time system with a transmitter-receiver pair. In the system, a transmitter observes a dynamic source and sends updates to a remote receiver through a communication channel. We assume that the channel is error-free but suffers a random delay. Moreover, when an update has been transmitted for too long, the transmission will be terminated immediately, and the update will be discarded. We assume the maximum transmission time is predetermined and is not controlled by the transmitter. The receiver will maintain estimates of the current state of the dynamic source using the received updates. In this paper, we adopt the Age of Incorrect Information (AoII) as the performance metric and investigate the problem of optimizing the transmitter's action in each time slot to minimize AoII. We first characterize the optimization problem using Markov Decision Process and evaluate the performance of some canonical transmission policies. Then, by leveraging the policy improvement theorem, we prove that, under a simple and easy-to-verify condition, the optimal policy for the transmitter is the one that initiates a transmission whenever the channel is idle and AoII is not zero. Lastly, we take the case where the transmission time is geometrically distributed as an example. For this example, we verify the condition numerically and provide numerical results that highlight the performance of the optimal policy.


title: Diamond formation from hydrocarbon mixtures in planets

abstract: Hydrocarbon mixtures are extremely abundant in the Universe, and diamond formation from them can play a crucial role in shaping the interior structure and evolution of planets. With first-principles accuracy, we first estimate the diamond nucleation rate in pure liquid carbon, and then reveal the nature of chemical bonding in hydrocarbons at extreme conditions. We finally establish the pressure-temperature phase boundary where diamond can form from hydrocarbon mixtures with different atomic fractions of carbon. Notably, we find a depletion zone at pressures above 200~GPa and temperatures below 3000~K-3500~K where diamond formation is thermodynamically favorable regardless of the carbon atomic fraction, due to a phase separation mechanism. The cooler condition of the interior of Neptune compared to Uranus means that the former is much more likely to contain the depletion zone. Our findings can help explain the dichotomy of the two ice giants manifested by the low luminosity of Uranus, and lead to a better understanding of (exo-)planetary formation and evolution.


title: Conditions for global minimum in the A4 symmetric 3HDM

abstract: There has been a great interest in three Higgs doublet models (3HDM) symmetric under an exact A4 symmetry. We provide the complete analytic necessary and sufficient conditions for a point to be the global minimum along the neutral directions in such models, discussing many of the subtleties involved. We also present a number of numerical examples, to highlight those issues. We then turn to the directions which break electric charge, presenting a safe analytical sufficient condition for bounded from below (BFB) potentials. Based on extensive numerical simulations, we discuss one conjecture on BFB along charge breaking directions.


title: towards a robust detection of viscous and turbulent flow regions using unsupervised machine learning

abstract: We propose an invariant feature space for the detection of viscous dominated and turbulent regions (i.e., boundary layers and wakes). The developed methodology uses the principal invariants of the strain and rotational rate tensors as input to an unsupervised Machine Learning Gaussian mixture model. The selected feature space is independent of the coordinate frame used to generate the processed data, as it relies on the principal invariants of strain and rotational rate, which are Galilean invariants. This methodology allows us to identify two distinct flow regions: a viscous dominated, rotational region (boundary layer and wake region) and an inviscid, irrotational region (outer flow region). We test the methodology on a laminar and a turbulent (using Large Eddy Simulation) case for flows past a circular cylinder at $Re=40$ and $Re=3900$. The simulations have been conducted using a high-order nodal Discontinuous Galerkin Spectral Element Method (DGSEM). The results obtained are analysed to show that Gaussian mixture clustering provides an effective identification method of viscous dominated and rotational regions in the flow. We also include comparisons with traditional sensors to show that the proposed clustering does not depend on the selection of an arbitrary threshold, as required when using traditional sensors.


title: Rawlsian Assignments

abstract: We study the assignment of indivisible goods to individuals when monetary transfers are not allowed. Previous literature has mainly focused on efficiency (from both ex-ante and ex-post perspectives) and individually fair assignments. As a result, egalitarian concerns have been overlooked. We draw inspiration from the assignment of apartments in housing cooperatives, where families consider egalitarianism of assignments as a first-order requirement. Specifically, they aim to avoid situations where some families receive their most preferred apartments while others are assigned options ranked very low in their preferences. Building on Rawls' concept of fairness, we introduce the notion of Rawlsian assignment. We prove that a unique Rawlsian assignment always exists. Furthermore, the Rawlsian rule is efficient and anonymous. To illustrate our analysis, we use preference data from housing cooperatives. We show that the Rawlsian rule substantially improves, from an egalitarian perspective, both the probabilistic serial rule, and the rule currently used to assign apartments in the housing cooperatives.


title: Electrically-driven Photonic Crystal Lasers with Ultra-low Threshold

abstract: Light sources with ultra-low energy consumption and high performance are required to realize optical interconnects for on-chip communication. Photonic crystal (PhC) nanocavity lasers are one of the most promising candidates to fill this role. In this work, we demonstrate an electrically-driven PhC nanolaser with an ultra-low threshold current of 10.2 {\mu}A emitting at 1540 nm and operated at room temperature. The lasers are InP-based bonded on Si and comprise a buried heterostructure active region and lateral p-i-n junction. The static characteristics and the thermal properties of the lasers have been characterized. The effect of disorder and p-doping absorption on the Q-factor of passive cavities was studied. We also investigate the leakage current due to the lateral p-i-n geometry by comparing the optical and electrical pumping schemes.


title: Comprehensive Listing of 156 Reliable Orbital Periods for Novae, Including 49 New Periods

abstract: I report on a large-scale search for the orbital periods (P) of most known nova systems, by looking for significant, coherent, and stable optical photometric modulation in two or more independent light curves taken mostly from the large surveys of TESS, Kepler, AAVSO, SMARTS, OGLE, ASAS, and ZTF. I have discovered 31 new orbital periods. Further, I have measured new periods for 18 novae with evolved companions, to 30 per cent accuracy, as based on their spectral energy distribution. Also, I have confirmed, improved, and rejected prior claims for P in 46 novae. (As part of this effort, I recognize that 5 novae display 1--3 coherent, significant, and transient periodicities 0.12--4.1 days, with these being mysterious as not being the orbital, spin, or superhump periods.) In all, I have compiled a comprehensive list of 156 reliable P values for novae. The histogram of nova periods shows a minimum P at 0.059 hours (85 minutes), and a Period Gap from 0.071--0.111 days (1.70--2.66 hours). The upper edge of the Period Gap is significantly different between novae (0.111 days), nova-like systems (0.131 days), and dwarf novae (0.141 days). A further issue from the histogram is that 31 per cent of nova systems have evolved companions, for which there has been no models or understanding for their current state or evolution. For the novae with red giant companions, 15-out-of-20 are in the bulge population, despite novae with main-sequence and subgiant companions having bulge fractions near 0.11--0.32.


title: On the two-dimensional time-dependent anisotropic harmonic oscillator in a magnetic field

abstract: A Charged harmonic oscillator in a magnetic field, Landau problems, and an oscillator in a noncommutative space, share the same mathematical structure in their Hamiltonians. We have considered a two-dimensional anisotropic harmonic oscillator (AHO) with arbitrarily time-dependent parameters (effective mass and frequencies), placed in an arbitrarily time-dependent magnetic field. A class of quadratic invariant operators (in the sense of Lewis and Riesenfeld) have been constructed. The invariant operators ($\hat{\mathcal{I}}$) have been reduced to a simplified representative form by a linear canonical transformation (the group $Sp(4, \mathbb{R})$). An orthonormal basis of the Hilbert space consisting of the eigenvectors of $\hat{\mathcal{I}}$ is obtained. In order to obtain the solutions of the time-dependent Schr\"{o}dinger equation corresponding to the system, both the geometric and dynamical phase-factors are constructed. Peres-Horodecki Separability Criterion for the bipartite coherent states corresponding to our system has been demonstrated.


title: Integrated lithium niobate intensity modulator on a silicon handle with slow-wave electrodes

abstract: Segmented, or slow-wave electrodes have emerged as an index-matching solution to improve bandwidth of traveling-wave Mach Zehnder and phase modulators on the thin-film lithium niobate on insulator platform. However, these devices require the use of a quartz handle or substrate removal, adding cost and additional processing. In this work, a high-speed dual-output electro-optic intensity modulator in the thin-film silicon nitride and lithium niobate material system that uses segmented electrodes for RF and optical index matching is presented. The device uses a silicon handle and does not require substrate removal. A silicon handle allows the use of larger wafer sizes to increase yield, and lends itself to processing in established silicon foundries that may not have the capability to process a quartz or fused silica wafer. The modulator has an interaction region of 10 mm, shows a DC half wave voltage of 3.75 V, an ultra-high extinction ratio of roughly 45 dB consistent with previous work, and a fiber-to-fiber insertion loss of 7.47 dB with a 95 GHz 3 dB bandwidth.


title: Coherence for adjunctions in a $4$-category

abstract: We construct a $4$-categorical presentation $\operatorname{Adj_{(4,1)}}$ and define a coherent adjunction in a strict $4$-category $\mathcal{C}$ as a map $\operatorname{Adj_{(4,1)}}\to\mathcal{C}$. Then we use string diagrams to show that any adjunction in $\mathcal{C}$ can be extended to a coherent adjunction in an essentially unique way. More precisely, the restriction map from the $4$-groupoid $\operatorname{Map}(\operatorname{Adj_{(4,1)}},\mathcal{C})$ to the $4$-groupoid of $1$-morphisms in $\mathcal{C}$ which admit an adjoint is a weak equivalence.


title: Local equilibrium properties of ultraslow diffusion in the Sinai model

abstract: We perform numerical studies of a thermally driven, overdamped particle in a random quenched force field, known as the Sinai model. We compare the unbounded motion on an infinite 1-dimensional domain to the motion in bounded domains with reflecting boundaries and show that the unbounded motion is at every time close to the equilibrium state of a finite system of growing size. This is due to time scale separation: Inside wells of the random potential, there is relatively fast equilibration, while the motion across major potential barriers is ultraslow. Quantities studied by us are the time dependent mean squared displacement, the time dependent mean energy of an ensemble of particles, and the time dependent entropy of the probability distribution. Using a very fast numerical algorithm, we can explore times up top $10^{17}$ steps and thereby also study finite-time crossover phenomena.


title: Learning Optimal Solutions via an LSTM-Optimization Framework

abstract: In this study, we present a deep learning-optimization framework to tackle dynamic mixed-integer programs. Specifically, we develop a bidirectional Long Short Term Memory (LSTM) framework that can process information forward and backward in time to learn optimal solutions to sequential decision-making problems. We demonstrate our approach in predicting the optimal decisions for the single-item capacitated lot-sizing problem (CLSP), where a binary variable denotes whether to produce in a period or not. Due to the dynamic nature of the problem, the CLSP can be treated as a sequence labeling task where a recurrent neural network can capture the problem's temporal dynamics. Computational results show that our LSTM-Optimization (LSTM-Opt) framework significantly reduces the solution time of benchmark CLSP problems without much loss in feasibility and optimality. For example, the predictions at the 85\% level reduce the CPLEX solution time by a factor of 9 on average for over 240,000 test instances with an optimality gap of less than 0.05\% and 0.4\% infeasibility in the test set. Also, models trained using shorter planning horizons can successfully predict the optimal solution of the instances with longer planning horizons. For the hardest data set, the LSTM predictions at the 25\% level reduce the solution time of 70 CPU hours to less than 2 CPU minutes with an optimality gap of 0.8\% and without any infeasibility. The LSTM-Opt framework outperforms classical ML algorithms, such as the logistic regression and random forest, in terms of the solution quality, and exact approaches, such as the ($\ell$, S) and dynamic programming-based inequalities, with respect to the solution time improvement. Our machine learning approach could be beneficial in tackling sequential decision-making problems similar to CLSP, which need to be solved repetitively, frequently, and in a fast manner.


title: Extensive characterization of a family of efficient three-qubit gates at the coherence limit

abstract: While all quantum algorithms can be expressed in terms of single-qubit and two-qubit gates, more expressive gate sets can help reduce the algorithmic depth. This is important in the presence of gate errors, especially those due to decoherence. Using superconducting qubits, we have implemented a three-qubit gate by simultaneously applying two-qubit operations, thereby realizing a three-body interaction. This method straightforwardly extends to other quantum hardware architectures, requires only a "firmware" upgrade to implement, and is faster than its constituent two-qubit gates. The three-qubit gate represents an entire family of operations, creating flexibility in quantum-circuit compilation. We demonstrate a gate fidelity of $97.90\%$, which is near the coherence limit of our device. We then generate two classes of entangled states, the GHZ and W states, by applying the new gate only once; in comparison, decompositions into the standard gate set would have a two-qubit gate depth of two and three, respectively. Finally, we combine characterization methods and analyze the experimental and statistical errors on the fidelity of the gates and of the target states.


title: Heterogeneous nucleation in finite size adaptive dynamical networks

abstract: Phase transitions in equilibrium and nonequilibrium systems play a major role in the natural sciences. In dynamical networks, phase transitions organize qualitative changes in the collective behavior of coupled dynamical units. Adaptive dynamical networks feature a connectivity structure that changes over time, co-evolving with the nodes' dynamical state. In this Letter, we show the emergence of two distinct first-order nonequilibrium phase transitions in a finite size adaptive network of heterogeneous phase oscillators. Depending on the nature of defects in the internal frequency distribution, we observe either an abrupt single-step transition to full synchronization or a more gradual multi-step transition. This observation has a striking resemblance to heterogeneous nucleation. We develop a mean-field approach to study the interplay between adaptivity and nodal heterogeneity and describe the dynamics of multicluster states and their role in determining the character of the phase transition. Our work provides a theoretical framework for studying the interplay between adaptivity and nodal heterogeneity.


title: Explicit abelian instantons on $S^1$-invariant K\"ahler Einstein $6$-manifolds

abstract: We consider a dimensional reduction of the (deformed) Hermitian Yang-Mills condition on $S^1$-invariant K\"ahler Einstein $6$-manifolds. This allows us to reformulate the (deformed) Hermitian Yang-Mills equations in terms of data on the quotient K\"ahler $4$-manifold. In particular, we apply this construction to the canonical bundle of $\mathbb{C}\mathbb{P}^2$ endowed with the Calabi ansatz metric to find explicit abelian $SU(3)$ instantons and we show that these are determined by the spectrum of $\mathbb{C}\mathbb{P}^2$. We also find $1$-parameter families of explicit deformed Hermitian Yang-Mills connections. As a by-product of our investigation we find a coordinate expression for its holomorphic volume form which leads us to construct a special Lagrangian foliation of $\mathcal{O}_{\mathbb{C}\mathbb{P}^2}(-3)$.


title: Boosting the interpretability of clinical risk scores with intervention predictions

abstract: Machine learning systems show significant promise for forecasting patient adverse events via risk scores. However, these risk scores implicitly encode assumptions about future interventions that the patient is likely to receive, based on the intervention policy present in the training data. Without this important context, predictions from such systems are less interpretable for clinicians. We propose a joint model of intervention policy and adverse event risk as a means to explicitly communicate the model's assumptions about future interventions. We develop such an intervention policy model on MIMIC-III, a real world de-identified ICU dataset, and discuss some use cases that highlight the utility of this approach. We show how combining typical risk scores, such as the likelihood of mortality, with future intervention probability scores leads to more interpretable clinical predictions.


title: Towards Transparency in Dermatology Image Datasets with Skin Tone Annotations by Experts, Crowds, and an Algorithm

abstract: While artificial intelligence (AI) holds promise for supporting healthcare providers and improving the accuracy of medical diagnoses, a lack of transparency in the composition of datasets exposes AI models to the possibility of unintentional and avoidable mistakes. In particular, public and private image datasets of dermatological conditions rarely include information on skin color. As a start towards increasing transparency, AI researchers have appropriated the use of the Fitzpatrick skin type (FST) from a measure of patient photosensitivity to a measure for estimating skin tone in algorithmic audits of computer vision applications including facial recognition and dermatology diagnosis. In order to understand the variability of estimated FST annotations on images, we compare several FST annotation methods on a diverse set of 460 images of skin conditions from both textbooks and online dermatology atlases. We find the inter-rater reliability between three board-certified dermatologists is comparable to the inter-rater reliability between the board-certified dermatologists and two crowdsourcing methods. In contrast, we find that the Individual Typology Angle converted to FST (ITA-FST) method produces annotations that are significantly less correlated with the experts' annotations than the experts' annotations are correlated with each other. These results demonstrate that algorithms based on ITA-FST are not reliable for annotating large-scale image datasets, but human-centered, crowd-based protocols can reliably add skin type transparency to dermatology datasets. Furthermore, we introduce the concept of dynamic consensus protocols with tunable parameters including expert review that increase the visibility of crowdwork and provide guidance for future crowdsourced annotations of large image datasets.


title: Degrees of Freedom and Information Criteria for the Synthetic Control Method

abstract: We provide an analytical characterization of the model flexibility of the synthetic control method (SCM) in the familiar form of degrees of freedom. We obtain estimable information criteria. These may be used to circumvent cross-validation when selecting either the weighting matrix in the SCM with covariates, or the tuning parameter in model averaging or penalized variants of SCM. We assess the impact of car license rationing in Tianjin and make a novel use of SCM; while a natural match is available, it and other donors are noisy, inviting the use of SCM to average over approximately matching donors. The very large number of candidate donors calls for model averaging or penalized variants of SCM and, with short pre-treatment series, model selection per information criteria outperforms that per cross-validation.


title: Indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level 2 with non-abelian permutation group

abstract: We give a complete characterization of all indecomposable involutive solutions of the Yang-Baxter equation of multipermutation level~2. In the first step we present a construction of some family of such solutions and in the second step we prove that every indecomposable involutive solution of the Yang-Baxter equation with multipermutation level~2 is a homomorphic image of a solution previously constructed. Analyzing this epimorphism, we are able to obtain all such solutions up to isomorphism and enumerate these of small sizes.


title: New Analysis of Dark Matter in Elliptical Galaxies

abstract: We investigate a correlation between the dark matter content of elliptical galaxies and their ellipticity that was initially reported in 2014. We use new determinations of dark matter and ellipticities that are posterior to that time. Our data set consists of 237 elliptical galaxies passing a strict set of criteria. We find a relation between the mass-to-light ratio and ellipticity that is well fit by M/L = (14.1 \pm 5.4)?, which agrees with the result reported in 2014.


title: Virtual staining of defocused autofluorescence images of unlabeled tissue using deep neural networks

abstract: Deep learning-based virtual staining was developed to introduce image contrast to label-free tissue sections, digitally matching the histological staining, which is time-consuming, labor-intensive, and destructive to tissue. Standard virtual staining requires high autofocusing precision during the whole slide imaging of label-free tissue, which consumes a significant portion of the total imaging time and can lead to tissue photodamage. Here, we introduce a fast virtual staining framework that can stain defocused autofluorescence images of unlabeled tissue, achieving equivalent performance to virtual staining of in-focus label-free images, also saving significant imaging time by lowering the microscope's autofocusing precision. This framework incorporates a virtual-autofocusing neural network to digitally refocus the defocused images and then transforms the refocused images into virtually stained images using a successive network. These cascaded networks form a collaborative inference scheme: the virtual staining model regularizes the virtual-autofocusing network through a style loss during the training. To demonstrate the efficacy of this framework, we trained and blindly tested these networks using human lung tissue. Using 4x fewer focus points with 2x lower focusing precision, we successfully transformed the coarsely-focused autofluorescence images into high-quality virtually stained H&E images, matching the standard virtual staining framework that used finely-focused autofluorescence input images. Without sacrificing the staining quality, this framework decreases the total image acquisition time needed for virtual staining of a label-free whole-slide image (WSI) by ~32%, together with a ~89% decrease in the autofocusing time, and has the potential to eliminate the laborious and costly histochemical staining process in pathology.


title: An optimal investment strategy aimed at maximizing the expected utility across all intermediate capital levels

abstract: This study investigates an optimal investment problem for an insurance company operating under the Cramer-Lundberg risk model, where investments are made in both a risky asset and a risk-free asset. In contrast to other literature that focuses on optimal investment and/or reinsurance strategies to maximize the expected utility of terminal wealth within a given time horizon, this work considers the expected value of utility accumulation across all intermediate capital levels of the insurer. By employing the Dynamic Programming Principle, we prove a verification theorem, in order to show that any solution to the Hamilton-Jacobi-Bellman (HJB) equation solves our optimization problem. Subject to some regularity conditions on the solution of the HJB equation, we establish the existence of the optimal investment strategy. Finally, to illustrate the applicability of the theoretical findings, we present numerical examples.


title: Cost-efficient Payoffs under Model Ambiguity

abstract: Dybvig (1988a,b) solves in a complete market setting the problem of finding a payoff that is cheapest possible in reaching a given target distribution ("cost-efficient payoff"). In the presence of ambiguity, the distribution of a payoff is, however, no longer known with certainty. We study the problem of finding the cheapest possible payoff whose worst-case distribution stochastically dominates a given target distribution ("robust cost-efficient payoff") and determine solutions under certain conditions. We study the link between "robust cost-efficiency" and the maxmin expected utility setting of Gilboa and Schmeidler, as well as more generally with robust preferences in a possibly non-expected utility setting. Specifically, we show that solutions to maxmin robust expected utility are necessarily robust cost-efficient. We illustrate our study with examples involving uncertainty both on the drift and on the volatility of the risky asset.


title: Sobolev spaces and Poincar\'e inequalities on the Vicsek fractal

abstract: In this paper we prove that several natural approaches to Sobolev spaces coincide on the Vicsek fractal. More precisely, we show that the metric approach of Korevaar-Schoen, the approach by limit of discrete $p$-energies and the approach by limit of Sobolev spaces on cable systems all yield the same functional space with equivalent norms for $p>1$. As a consequence we prove that the Sobolev spaces form a real interpolation scale. We also obtain $L^p$-Poincar\'e inequalities for all values of $p \ge 1$.


title: Classical and Quantum Dynamics of Gyroscopic Systems and Dark Energy

abstract: Gyroscopic systems in classical and quantum field theory are characterized by the presence of at least two scalar degrees of freedom and by terms that mix fields and their time derivatives in the quadratic Lagrangian. In Minkowski spacetime, they naturally appear in the presence of a coupling among fields with time-dependent vacuum expectation values and fields with space-dependent vacuum expectation values, breaking spontaneously Lorentz symmetry; this is the case for a supersolid. In a cosmological background a gyroscopic system can also arise from the time dependence of non-diagonal kinetic and mass matrices. We study the classical and quantum dynamics computing the correlation functions on the vacuum state that minimizes the energy. Two regions of stability in parameter space are found: in one region, dubbed normal, the Hamiltonian is positive defined, while in the second region, dubbed anomalous, it has no definite sign. Interestingly, in the anomalous region the 2-point correlation function exhibits a resonant behaviour in a certain region of parameter space. We show that dynamical dark energy models (with exact equation of state $w=-1$) can be realised as a gyroscopic system.


title: Energy conservation for weak solutions of incompressible fluid equations: the H\"older case and connections with Onsager's conjecture

abstract: In this paper we give elementary proofs of energy conservation for weak solutions to the Euler and Navier-Stokes equations in the class of H\"older continuous functions, relaxing some of the assumptions on the time variable (both integrability and regularity at initial time) and presenting them in a unified way. Then, in the final section we prove (for the Navier-Stokes equations) a result of energy conservation in presence of a solid boundary and with Dirichlet boundary conditions. This result seems the first one -- in the viscous case -- with H\"older type assumptions, but without additional assumptions on the pressure.


title: First-photon target detection: Beating Nair's pure-loss performance limit

abstract: In 2011, Nair published a no-go theorem for quantum radar target detection [Phys. Rev. A {\bf 84}, 032312 (2011)]. He showed, under fairly general assumptions, that a coherent-state radar's error probability was within a factor of two of the best possible quantum performance for the pure-loss (no background radiation) channel whose roundtrip radar-to-target-to-radar transmissivity $\kappa$ satisfies $\kappa \ll 1$. We introduce first-photon radars (FPRs) to circumvent and beat Nair's performance limit. FPRs transmit a periodic sequence of pulses, each containing $N_S$ photons on average, and perform ideal direct detection (photon counting at unit quantum efficiency and no dark counts) on the returned radiation from each transmission until at least one photon has been detected or a pre-set maximum of $M$ pulses has been transmitted. They decide a target is present if and only if they detect one or more photons. We consider both quantum (each transmitted pulse is a number state) and classical (each transmitted pulse is a coherent state) FPRs, and we show that their error-probability exponents are nearly identical when $\kappa \ll 1$. With the additional assumption that $\kappa N_S \ll 1$, we find that their advantage in error-probability exponent over Nair's performance limit grows to 3 dB as $M \rightarrow \infty$. However, because FPRs' pulse-repetition period must exceed the radar-to-target-to-radar propagation delay, their use in standoff sensing of moving targets will likely employ $\kappa N_S \sim 1$ and $M \sim 10$ and achieve ~2 dB advantage. Our work constitutes a new no-go theorem for quantum radar target detection.


title: The use of Synthetic Data to solve the scalability and data availability problems in Smart City Digital Twins

abstract: The A.I. disruption and the need to compete on innovation are impacting cities that have an increasing necessity to become innovation hotspots. However, without proven solutions, experimentation, often unsuccessful, is needed. But experimentation in cities has many undesirable effects not only for its citizens but also reputational if unsuccessful. Digital Twins, so popular in other areas, seem like a promising way to expand experimentation proposals but in simulated environments, translating only the half-baked ones, the ones with higher probability of success, to real environments and therefore minimizing risks. However, Digital Twins are data intensive and need highly localized data, making them difficult to scale, particularly to small cities, and with the high cost associated to data collection. We present an alternative based on synthetic data that given some conditions, quite common in Smart Cities, can solve these two problems together with a proof-of-concept based on NO2 pollution.


title: Lax-Wendroff flux reconstruction method for hyperbolic conservation laws

abstract: The Lax-Wendroff method is a single step method for evolving time dependent solutions governed by partial differential equations, in contrast to Runge- Kutta methods that need multiple stages per time step. We develop a flux reconstruction version of the method in combination with a Jacobian-free Lax- Wendroff procedure that is applicable to general hyperbolic conservation laws. The method is of collocation type, is quadrature free and can be cast in terms of matrix and vector operations. Special attention is paid to the construction of numerical flux, including for non-linear problems, resulting in higher CFL numbers than existing methods, which is shown through Fourier analysis and yielding uniform performance at all orders. Numerical results up to fifth order of accuracy for linear and non-linear problems are given to demonstrate the performance and accuracy of the method.


title: Non-vanishing of geometric Whittaker coefficients for reductive groups

abstract: We prove that cuspidal automorphic D-modules have non-vanishing Whittaker coefficients, generalizing known results in the geometric Langlands program from GL_n to general reductive groups. The key tool is a microlocal interpretation of Whittaker coefficients. We establish various exactness properties in the geometric Langlands context that may be of independent interest. Specifically, we show Hecke functors are t-exact on the category of tempered D-modules, strengthening a classical result of Gaitsgory (with different hypotheses) for GL_n. We also show that Whittaker coefficient functors are t-exact for sheaves with nilpotent singular support. An additional consequence of our results is that the tempered, restricted geometric Langlands conjecture must be t-exact. We apply our results to show that for suitably irreducible local systems, Whittaker-normailzed Hecke eigensheaves are perverse sheaves that are irreducible on each connected component of Bun_G.


title: Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties

abstract: Hyperproperties are properties of systems that relate different executions traces, with many applications from security to symmetry, consistency models of concurrency, etc. In recent years, different linear-time logics for specifying asynchronous hyperproperties have been investigated. Though model checking of these logics is undecidable, useful decidable fragments have been identified with applications e.g. for asynchronous security analysis. In this paper, we address expressiveness and decidability issues of temporal logics for asynchronous hyperproperties. We compare the expressiveness of these logics together with the extension S1S[E] of S1S with the equal-level predicate by obtaining an almost complete expressiveness picture. We also study the expressive power of these logics when interpreted on singleton sets of traces. We show that for two asynchronous extensions of HyperLTL, checking the existence of a singleton model is already undecidable, and for one of them, namely Context HyperLTL (HyperLTL_C), we establish a characterization of the singleton models in terms of the extension of standard FO[<] over traces with addition. This last result generalizes the well-known equivalence between FO[<] and LTL. Finally, we identify new boundaries on the decidability of model checking HyperLTL_C.


title: Context-aware Self-supervised Learning for Medical Images Using Graph Neural Network

abstract: Although self-supervised learning enables us to bootstrap the training by exploiting unlabeled data, the generic self-supervised methods for natural images do not sufficiently incorporate the context. For medical images, a desirable method should be sensitive enough to detect deviation from normal-appearing tissue of each anatomical region; here, anatomy is the context. We introduce a novel approach with two levels of self-supervised representation learning objectives: one on the regional anatomical level and another on the patient-level. We use graph neural networks to incorporate the relationship between different anatomical regions. The structure of the graph is informed by anatomical correspondences between each patient and an anatomical atlas. In addition, the graph representation has the advantage of handling any arbitrarily sized image in full resolution. Experiments on large-scale Computer Tomography (CT) datasets of lung images show that our approach compares favorably to baseline methods that do not account for the context. We use the learned embedding for staging lung tissue abnormalities related to COVID-19.


title: SphereVLAD++: Attention-based and Signal-enhanced Viewpoint Invariant Descriptor

abstract: LiDAR-based localization approach is a fundamental module for large-scale navigation tasks, such as last-mile delivery and autonomous driving, and localization robustness highly relies on viewpoints and 3D feature extraction. Our previous work provides a viewpoint-invariant descriptor to deal with viewpoint differences; however, the global descriptor suffers from a low signal-noise ratio in unsupervised clustering, reducing the distinguishable feature extraction ability. We develop SphereVLAD++, an attention-enhanced viewpoint invariant place recognition method in this work. SphereVLAD++ projects the point cloud on the spherical perspective for each unique area and captures the contextual connections between local features and their dependencies with global 3D geometry distribution. In return, clustered elements within the global descriptor are conditioned on local and global geometries and support the original viewpoint-invariant property of SphereVLAD. In the experiments, we evaluated the localization performance of SphereVLAD++ on both public KITTI360 datasets and self-generated datasets from the city of Pittsburgh. The experiment results show that SphereVLAD++ outperforms all relative state-of-the-art 3D place recognition methods under small or even totally reversed viewpoint differences and shows 0.69% and 15.81% successful retrieval rates with better than the second best. Low computation requirements and high time efficiency also help its application for low-cost robots.


title: NeuralGrasps: Learning Implicit Representations for Grasps of Multiple Robotic Hands

abstract: We introduce a neural implicit representation for grasps of objects from multiple robotic hands. Different grasps across multiple robotic hands are encoded into a shared latent space. Each latent vector is learned to decode to the 3D shape of an object and the 3D shape of a robotic hand in a grasping pose in terms of the signed distance functions of the two 3D shapes. In addition, the distance metric in the latent space is learned to preserve the similarity between grasps across different robotic hands, where the similarity of grasps is defined according to contact regions of the robotic hands. This property enables our method to transfer grasps between different grippers including a human hand, and grasp transfer has the potential to share grasping skills between robots and enable robots to learn grasping skills from humans. Furthermore, the encoded signed distance functions of objects and grasps in our implicit representation can be used for 6D object pose estimation with grasping contact optimization from partial point clouds, which enables robotic grasping in the real world.


title: The "Collections as ML Data" Checklist for Machine Learning & Cultural Heritage

abstract: Within the cultural heritage sector, there has been a growing and concerted effort to consider a critical sociotechnical lens when applying machine learning techniques to digital collections. Though the cultural heritage community has collectively developed an emerging body of work detailing responsible operations for machine learning in libraries and other cultural heritage institutions at the organizational level, there remains a paucity of guidelines created specifically for practitioners embarking on machine learning projects. The manifold stakes and sensitivities involved in applying machine learning to cultural heritage underscore the importance of developing such guidelines. This paper contributes to this need by formulating a detailed checklist with guiding questions and practices that can be employed while developing a machine learning project that utilizes cultural heritage data. I call the resulting checklist the "Collections as ML Data" checklist, which, when completed, can be published with the deliverables of the project. By surveying existing projects, including my own project, Newspaper Navigator, I justify the "Collections as ML Data" checklist and demonstrate how the formulated guiding questions can be employed and operationalized.


title: Quantum compression with classically simulatable circuits

abstract: As we continue to find applications where the currently available noisy devices exhibit an advantage over their classical counterparts, the efficient use of quantum resources is highly desirable. The notion of quantum autoencoders was proposed as a way for the compression of quantum information to reduce resource requirements. Here, we present a strategy to design quantum autoencoders using evolutionary algorithms for transforming quantum information into lower-dimensional representations. We successfully demonstrate the initial applications of the algorithm for compressing different families of quantum states. In particular, we point out that using a restricted gate set in the algorithm allows for efficient simulation of the generated circuits. This approach opens the possibility of using classical logic to find low representations of quantum data, using fewer computational resources.


title: Imprints of flavor anomalies on neutrino oscillations through dark matter halo

abstract: In this work we study the impact of new physics, stimulated by flavor anomalies, on neutrino oscillations through dense dark matter halo. Inspired by a model where a Majorana dark matter fermion and two new scalar fields contribute to $b \to s \mu^+ \mu^-$ transition at the one loop level, we study the impact of neutrino-dark matter interaction on the oscillation patterns of ultra-high energy cosmic neutrinos passing through this muonphilic halo located near the center of Milky Way. We find that due to this interaction, the flavor ratios of neutrinos reaching earth would be different from that of vacuum oscillations. We also consider a $Z'$ model driven by $L_{\mu}-L_{\tau}$ symmetry and containing a vector-like fermion as a dark matter candidate. It was previously shown that for such a model, the three flavors of neutrinos decouple from each other. This will render a flavor ratio similar to that of vacuum oscillations. Therefore, the interaction of neutrinos with dense dark matter halo can serve as an important tool to discriminate between flavor models with a dark connection.


title: The Weaknesses of Adversarial Camouflage in Overhead Imagery

abstract: Machine learning is increasingly critical for analysis of the ever-growing corpora of overhead imagery. Advanced computer vision object detection techniques have demonstrated great success in identifying objects of interest such as ships, automobiles, and aircraft from satellite and drone imagery. Yet relying on computer vision opens up significant vulnerabilities, namely, the susceptibility of object detection algorithms to adversarial attacks. In this paper we explore the efficacy and drawbacks of adversarial camouflage in an overhead imagery context. While a number of recent papers have demonstrated the ability to reliably fool deep learning classifiers and object detectors with adversarial patches, most of this work has been performed on relatively uniform datasets and only a single class of objects. In this work we utilize the VisDrone dataset, which has a large range of perspectives and object sizes. We explore four different object classes: bus, car, truck, van. We build a library of 24 adversarial patches to disguise these objects, and introduce a patch translucency variable to our patches. The translucency (or alpha value) of the patches is highly correlated to their efficacy. Further, we show that while adversarial patches may fool object detectors, the presence of such patches is often easily uncovered, with patches on average 24% more detectable than the objects the patches were meant to hide. This raises the question of whether such patches truly constitute camouflage. Source code is available at https://github.com/IQTLabs/camolo.


title: Mitigating shortage of labeled data using clustering-based active learning with diversity exploration

abstract: In this paper, we proposed a new clustering-based active learning framework, namely Active Learning using a Clustering-based Sampling (ALCS), to address the shortage of labeled data. ALCS employs a density-based clustering approach to explore the cluster structure from the data without requiring exhaustive parameter tuning. A bi-cluster boundary-based sample query procedure is introduced to improve the learning performance for classifying highly overlapped classes. Additionally, we developed an effective diversity exploration strategy to address the redundancy among queried samples. Our experimental results justified the efficacy of the ALCS approach.


title: Motion induced excitation and electromagnetic radiation from an atom facing a thin mirror

abstract: We evaluate the probability of (de-)excitation and photon emission from a neutral, moving, non-relativistic atom, coupled to the quantum electromagnetic field and in the presence of a thin, perfectly conducting plane ("mirror"). These results extend, to a more realistic model, the ones we had presented for a scalar model, where the would-be electron was described by a scalar variable, coupled to an (also scalar) vacuum field. The latter was subjected to either Dirichlet or Neumann conditions on a plane. In our evaluation of the spontaneous emission rate produced when the accelerated atom is initially in an excited state, we pay attention to its comparison with the somewhat opposite situation, namely, an atom at rest facing a moving mirror.


title: Machine-Learning-Assisted Investigation of the Diffusion of Hydrogen in Brine by Performing Molecular Dynamics Simulation

abstract: Deep saline aquifers are one of the best options for large-scale and long-term hydrogen storage. Predicting the diffusion coefficient of hydrogen molecules at the conditions of saline aquifers is critical for modelling hydrogen storage. The diffusion coefficient of hydrogen molecules in chloride brine with different cations ($\mathrm{Na}^+$, $\mathrm{K}^+$, $\mathrm{Ca}^{2+}$) containing up to 5 $\mathrm{mol/kg_{H_2O}}$ concentration is numerically investigated using molecular dynamics (MD) simulation. A wide range of pressure (1-218 atm) and temperature (298-648 K) conditions is applied to cover the realistic operational conditions of the aquifers. We find that the temperature, pressure and properties of ions (compositions and concentrations) affect the hydrogen diffusion coefficient. An Arrhenius behavior of the effect of temperature on the diffusion coefficient has been observed with the temperature independent parameters fitted using the ion concentration under constant pressure. However, it is noted that the pressure strongly affects the diffusive behavior of hydrogen at the high temperature ($\geq$ 400 K) regime, indicating the inaccuracy of the Arrhenius model. Hence, we combine the obtained MD results with four models of machine learning (ML), including linear regression (LR), random forest (RF), extra tree (ET) and gradient boosting (GB) to provide effective predictions on the hydrogen diffusion. The resultant combination of GB model with MD data predicts the diffusion of hydrogen more effectively as compared to the Arrhenius model and other ML models. Moreover, a $post hoc$ analysis (feature importance rank) has been performed to extract the correlation between physical descriptors and simulation results from ML models.


title: Bounds for spectral projectors on generic tori

abstract: We investigate norms of spectral projectors on thin spherical shells for the Laplacian on generic tori, including generic rectangular tori. We state a conjecture and partially prove it, improving on previous results concerning arbitrary tori.


title: Unsupervised Manifold Alignment with Joint Multidimensional Scaling

abstract: We introduce Joint Multidimensional Scaling, a novel approach for unsupervised manifold alignment, which maps datasets from two different domains, without any known correspondences between data instances across the datasets, to a common low-dimensional Euclidean space. Our approach integrates Multidimensional Scaling (MDS) and Wasserstein Procrustes analysis into a joint optimization problem to simultaneously generate isometric embeddings of data and learn correspondences between instances from two different datasets, while only requiring intra-dataset pairwise dissimilarities as input. This unique characteristic makes our approach applicable to datasets without access to the input features, such as solving the inexact graph matching problem. We propose an alternating optimization scheme to solve the problem that can fully benefit from the optimization techniques for MDS and Wasserstein Procrustes. We demonstrate the effectiveness of our approach in several applications, including joint visualization of two datasets, unsupervised heterogeneous domain adaptation, graph matching, and protein structure alignment. The implementation of our work is available at https://github.com/BorgwardtLab/JointMDS


title: Some surfaces with canonical maps of degree $10$, $11$ and $14$

abstract: In this note we present examples of complex algebraic surfaces of general type with canonical maps of degree $10$, $11$ and $14$. They are constructed as quotients of a product of two Fermat septics using certain free actions of the group $\mathbb Z_7^2$.


title: Network Binarization via Contrastive Learning

abstract: Neural network binarization accelerates deep models by quantizing their weights and activations into 1-bit. However, there is still a huge performance gap between Binary Neural Networks (BNNs) and their full-precision (FP) counterparts. As the quantization error caused by weights binarization has been reduced in earlier works, the activations binarization becomes the major obstacle for further improvement of the accuracy. BNN characterises a unique and interesting structure, where the binary and latent FP activations exist in the same forward pass (i.e., $\text{Binarize}(\mathbf{a}_F) = \mathbf{a}_B$). To mitigate the information degradation caused by the binarization operation from FP to binary activations, we establish a novel contrastive learning framework while training BNNs through the lens of Mutual Information (MI) maximization. MI is introduced as the metric to measure the information shared between binary and FP activations, which assists binarization with contrastive learning. Specifically, the representation ability of the BNNs is greatly strengthened via pulling the positive pairs with binary and FP activations from the same input samples, as well as pushing negative pairs from different samples (the number of negative pairs can be exponentially large). This benefits the downstream tasks, not only classification but also segmentation and depth estimation, etc. The experimental results show that our method can be implemented as a pile-up module on existing state-of-the-art binarization methods and can remarkably improve the performance over them on CIFAR-10/100 and ImageNet, in addition to the great generalization ability on NYUD-v2.


title: Branchformer: Parallel MLP-Attention Architectures to Capture Local and Global Context for Speech Recognition and Understanding

abstract: Conformer has proven to be effective in many speech processing tasks. It combines the benefits of extracting local dependencies using convolutions and global dependencies using self-attention. Inspired by this, we propose a more flexible, interpretable and customizable encoder alternative, Branchformer, with parallel branches for modeling various ranged dependencies in end-to-end speech processing. In each encoder layer, one branch employs self-attention or its variant to capture long-range dependencies, while the other branch utilizes an MLP module with convolutional gating (cgMLP) to extract local relationships. We conduct experiments on several speech recognition and spoken language understanding benchmarks. Results show that our model outperforms both Transformer and cgMLP. It also matches with or outperforms state-of-the-art results achieved by Conformer. Furthermore, we show various strategies to reduce computation thanks to the two-branch architecture, including the ability to have variable inference complexity in a single trained model. The weights learned for merging branches indicate how local and global dependencies are utilized in different layers, which benefits model designing.


title: Learning Invariant World State Representations with Predictive Coding

abstract: Self-supervised learning methods overcome the key bottleneck for building more capable AI: limited availability of labeled data. However, one of the drawbacks of self-supervised architectures is that the representations that they learn are implicit and it is hard to extract meaningful information about the encoded world states, such as 3D structure of the visual scene encoded in a depth map. Moreover, in the visual domain such representations only rarely undergo evaluations that may be critical for downstream tasks, such as vision for autonomous cars. Herein, we propose a framework for evaluating visual representations for illumination invariance in the context of depth perception. We develop a new predictive coding-based architecture and a hybrid fully-supervised/self-supervised learning method. We propose a novel architecture that extends the predictive coding approach: PRedictive Lateral bottom-Up and top-Down Encoder-decoder Network (PreludeNet), which explicitly learns to infer and predict depth from video frames. In PreludeNet, the encoder's stack of predictive coding layers is trained in a self-supervised manner, while the predictive decoder is trained in a supervised manner to infer or predict the depth. We evaluate the robustness of our model on a new synthetic dataset, in which lighting conditions (such as overall illumination, and effect of shadows) can be be parametrically adjusted while keeping all other aspects of the world constant. PreludeNet achieves both competitive depth inference performance and next frame prediction accuracy. We also show how this new network architecture, coupled with the hybrid fully-supervised/self-supervised learning method, achieves balance between the said performance and invariance to changes in lighting. The proposed framework for evaluating visual representations can be extended to diverse task domains and invariance tests.


title: Optical absorption measurement of spin Berry curvature and spin Chern marker

abstract: In two-dimensional time-reversal symmetric topological insulators described by Dirac models, the ${\mathbb Z}_{2}$ topological invariant can be described by the spin Chern number. We present a linear response theory for the spin Berry curvature that integrates to the spin Chern number, and introduce its spectral function that can be measured at finite temperature by momentum- and spin-resolved circular dichroism, which may be achieved by pump-probe type of experiments using spin- and time-resolved ARPES. As a result, the sign of the Pfaffian of the ${\mathbb Z}_{2}$ invariant can be directly measured. The spin Chern number expressed in real space yields a spin Chern marker, whose spatial variation may be measured by circular dichroism and spin-resolved photoemission with a spatial resolution. A spin Chern correlator and a nonlocal spin Chern marker are further proposed to characterize the quantum criticality near topological phase transitions, which are shown to take the form of overlaps between spin-selected Wannier states.


title: Microvision: Static analysis-based approach to visualizing microservices in augmented reality

abstract: Microservices are supporting digital transformation; however, fundamental tools and system perspectives are missing to better observe, understand, and manage these systems, their properties, and their dependencies. Microservices architecture leans toward decentralization, which yields many advantages to system operation; it, however, brings challenges to their development. Microservices lack a system-centric perspective to better cope with system evolution and quality assessment. In this work, we explore microservice-specific architecture reconstruction based on static analysis. Such reconstruction typically results in system models to visualize selected system-centric perspectives. Conventional models are limited in utility when the service cardinality is high. We consider an alternative data visualization using 3D space using augmented reality. To begin testing the feasibility of deriving such perspectives from microservice systems, we developed and implemented prototype tools for software architecture reconstruction and visualization of compared perspectives.


title: Triangular projection on $\boldsymbol{S}_p,~0<p<1,$ and related inequalities

abstract: In this paper we study properties of the triangular projection ${\mathcal P}_n$ on the space of $n\times n$ matrices. The projection ${\mathcal P}_n$ annihilates the entries of an $n\times n$ matrix below the main diagonal and leaves the remaining entries unchanged. We estimate the $p$-norms of ${\mathcal P}_n$ as an operator on the Schatten--von Neumann class $\boldsymbol{S}_p$ for $0<p<1$. The main result of the paper shows that for $p\in(0,1)$, the $p$-norms of ${\mathcal P}_n$ on $\boldsymbol{S}_p$ behave as $n\to\infty$ as $n^{1/p-1}$. This solves a problem posed by B.S. Kashin. Among other results of this paper we mention the result that describes the behaviour of the $\boldsymbol{S}_p$-quasinorms of the $n\times n$ matrices whose entries above the diagonal are equal to 1 while the entries below the diagonal are equal to 0.


title: Semi-supervised Human Pose Estimation in Art-historical Images

abstract: Gesture as language of non-verbal communication has been theoretically established since the 17th century. However, its relevance for the visual arts has been expressed only sporadically. This may be primarily due to the sheer overwhelming amount of data that traditionally had to be processed by hand. With the steady progress of digitization, though, a growing number of historical artifacts have been indexed and made available to the public, creating a need for automatic retrieval of art-historical motifs with similar body constellations or poses. Since the domain of art differs significantly from existing real-world data sets for human pose estimation due to its style variance, this presents new challenges. In this paper, we propose a novel approach to estimate human poses in art-historical images. In contrast to previous work that attempts to bridge the domain gap with pre-trained models or through style transfer, we suggest semi-supervised learning for both object and keypoint detection. Furthermore, we introduce a novel domain-specific art data set that includes both bounding box and keypoint annotations of human figures. Our approach achieves significantly better results than methods that use pre-trained models or style transfer.


title: Convergence of the Sinkhorn algorithm when the Schr\"odinger problem has no solution

abstract: The Sinkhorn algorithm is the most popular method for solving the entropy minimization problem called the Schr\"odinger problem: in the non-degenerate cases, the latter admits a unique solution towards which the algorithm converges linearly. Here, motivated by recent applications of the Schr\"odinger problem with respect to structured stochastic processes (such as increasing ones), we study the Sinkhorn algorithm in degenerate cases where it might happen that no solution exist at all. We show that in this case, the algorithm ultimately alternates between two limit points. Moreover, these limit points can be used to compute the solution of a relaxed version of the Schr\"odinger problem, which appears as the $\Gamma$-limit of a problem where the marginal constraints are replaced by asymptotically large marginal penalizations, exactly in the spirit of the so-called unbalanced optimal transport. Finally, our work focuses on the support of the solution of the relaxed problem, giving its typical shape and designing a procedure to compute it quickly. We showcase promising numerical applications related to a model used in cell biology.


title: Extending Logical Neural Networks using First-Order Theories

abstract: Logical Neural Networks (LNNs) are a type of architecture which combine a neural network's abilities to learn and systems of formal logic's abilities to perform symbolic reasoning. LLNs provide programmers the ability to implicitly modify the underlying structure of the neural network via logical formulae. In this paper, we take advantage of this abstraction to extend LNNs to support equality and function symbols via first-order theories. This extension improves the power of LNNs by significantly increasing the types of problems they can tackle. As a proof of concept, we add support for the first-order theory of equality to IBM's LNN library and demonstrate how the introduction of this allows the LNN library to now reason about expressions without needing to make the unique-names assumption.


title: A Quillen model structure of local homotopy equivalences

abstract: In this note, we construct a closed model structure on the category of $\mathbb{Z}/2\mathbb{Z}$-graded complexes of projective systems of ind-Banach spaces. When the base field is the fraction field $F$ of a complete discrete valuation ring $V$, the homotopy category of this model structure is the derived category of the quasi-abelian category $\overleftarrow{\mathsf{Ind}(\mathsf{Ban}_F)}$. This homotopy category is the appropriate target of the local and analytic cyclic homology theories for complete, torsionfree $V$-algebras and $\mathbb{F}$-algebras. When the base field is $\mathbb{C}$, the homotopy category is the target of local and analytic cyclic homology for pro-bornological $\mathbb{C}$-algebras, which includes the subcategory of pro-$C^*$-algebras.


title: Multi-scale Sinusoidal Embeddings Enable Learning on High Resolution Mass Spectrometry Data

abstract: Small molecules in biological samples are studied to provide information about disease states, environmental toxins, natural product drug discovery, and many other applications. The primary window into the composition of small molecule mixtures is tandem mass spectrometry (MS2), which produces data that are of high sensitivity and part per million resolution. We adopt multi-scale sinusoidal embeddings of the mass data in MS2 designed to meet the challenge of learning from the full resolution of MS2 data. Using these embeddings, we provide a new state of the art model for spectral library search, the standard task for initial evaluation of MS2 data. We also introduce a new task, chemical property prediction from MS2 data, that has natural applications in high-throughput MS2 experiments and show that an average $R^2$ of 80\% for novel compounds can be achieved across 10 chemical properties prioritized by medicinal chemists. We use dimensionality reduction techniques and experiments with different floating point resolutions to show the essential role multi-scale sinusoidal embeddings play in learning from MS2 data.


title: 2D spectroscopies from condensed phase dynamics: Accessing third-order response properties from equilibrium multi-time correlation functions

abstract: The third-order response lies at the heart of simulating and interpreting nonlinear spectroscopies ranging from two dimensional infrared (2D-IR) to 2D electronic (2D-ES), and 2D sum frequency generation (2D-SFG). The extra time and frequency dimensions in these spectroscopies provides access to rich information on the electronic and vibrational states present, the coupling between them, and the resulting rates at which they exchange energy that are obscured in linear spectroscopy, particularly for condensed phase systems that usually contain many overlapping features. While the exact quantum expression for the third-order response is well established it is incompatible with the methods that are practical for calculating the atomistic dynamics of large condensed phase systems. These methods, which include both classical mechanics and quantum dynamics methods that retain quantum statistical properties while obeying the symmetries of classical dynamics, such as LSC-IVR, Centroid Molecular Dynamics (CMD) and Ring Polymer Molecular Dynamics (RPMD) naturally provide short-time approximations to the multi-time symmetrized Kubo transformed correlation function. Here, we show how the third-order response can be formulated in terms of equilibrium symmetrized Kubo transformed correlation functions. We demonstrate the utility and accuracy of our approach by showing how it can be used to obtain the third-order response of a series of model systems using both classical dynamics and RPMD. In particular, we show that this approach captures features such as anharmonically induced vertical splittings and peak shifts while providing a physically transparent framework for understanding multidimensional spectroscopies.


title: MoRPI: Mobile Robot Pure Inertial Navigation

abstract: Mobile robots are used in industrial, leisure, and military applications. In some situations, a robot navigation solution relies only on inertial sensors and as a consequence, the navigation solution drifts in time. In this paper, we propose the MoRPI framework, a mobile robot pure inertial approach. Instead of travelling in a straight line trajectory, the robot moves in a periodic motion trajectory to enable peak-to-peak estimation. In this manner, instead of performing three integrations to calculate the robot position in a classical inertial solution, an empirical formula is used to estimate the travelled distance. Two types of MoRPI approaches are suggested, where one is based on both accelerometer and gyroscope readings while the other is only on gyroscopes. Closed form analytical solutions are derived to show that MoRPI produces lower position error compared to the classical pure inertial solution. In addition, to evaluate the proposed approach, field experiments were made with a mobile robot equipped with two types of inertial sensors. In total, 143 trajectories with a time duration of 75 minutes were collected and evaluated. The results show the benefits of using our approach. To facilitate further development of the proposed approach, both dataset and code are publicly available at https://github.com/ansfl/MoRPI.


title: Functions of pairs of unbounded noncommuting self-adjoint operators under perturbation

abstract: For a pair $(A,B)$ of not necessarily bounded and not necessarily commuting self-adjoint operators and for a function $f$ on the Euclidean space ${\Bbb R}^2$ that belongs to the inhomogeneous Besov class $B_{\infty,1}^1({\Bbb R}^2)$, we define the function $f(A,B)$ of these operators as a densely defined operator. We consider the problem of estimating the functions $f(A,B)$ under perturbations of the pair $(A,B)$. It is established that if $1\le p\le2$, and $(A_1,B_1)$ and $(A_2,B_2)$ are pairs of not necessarily bounded and not necessarily commuting self-adjoint operators such that the operators $A_1-A_2$ and $B_1-B_2$ belong to the Schatten--von Neumann class $\boldsymbol{S}_p$ with $p\in[1,2]$ and $f\in B_{\infty,1}^1({\Bbb R}^2)$, then the following Lipschitz type estimate holds: \[ \|f(A_1,B_1)-f(A_2,B_2)\|_{\boldsymbol{S}_p} \le\operatorname{const}\|f\|_{B_{\infty,1}^1}\max\big\{\|A_1-A_2\|_{\boldsymbol{S}_p},\|B_1-B_2\|_{\boldsymbol{S}_p}\big\}. \]


title: Scope and limitations of a string theory dual description of the proton structure

abstract: Symmetric and antisymmetric structure functions from electromagnetic deep inelastic scattering of charged leptons off spin-1/2 hadrons are investigated in the framework of a top-down holographic dual description. We consider the BPST Pomeron, type IIB superstring theory scattering amplitudes, and type IIB supergravity on AdS$_5 \times S^5$. In all cases it is used the hard-wall prescription. Different kinematic regions of the Bjorken variable $x$, as well as the squared momentum of the virtual photon $Q^2$, are studied in detail for $F_2^P$ and $g_1^P$ structure functions of the proton. Also, the virtual Compton scattering asymmetry of the proton $A_1^P$ is investigated. Comparison with data from several experimental collaborations is presented. In addition, the holographic Pomeron leads to predictions for the mentioned observables for very small $x$ values. In particular, we present predictions for $g_1^P$ at $Q^2$ around 10 GeV$^2$, for data expected to be measured in a future electron-ion collider. Limitations of this holographic dual approach are discussed.


title: Orthogonal Matrix Retrieval with Spatial Consensus for 3D Unknown-View Tomography

abstract: Unknown-view tomography (UVT) reconstructs a 3D density map from its 2D projections at unknown, random orientations. A line of work starting with Kam (1980) employs the method of moments (MoM) with rotation-invariant Fourier features to solve UVT in the frequency domain, assuming that the orientations are uniformly distributed. This line of work includes the recent orthogonal matrix retrieval (OMR) approaches based on matrix factorization, which, while elegant, either require side information about the density that is not available, or fail to be sufficiently robust. For OMR to break free from those restrictions, we propose to jointly recover the density map and the orthogonal matrices by requiring that they be mutually consistent. We regularize the resulting non-convex optimization problem by a denoised reference projection and a nonnegativity constraint. This is enabled by the new closed-form expressions for spatial autocorrelation features. Further, we design an easy-to-compute initial density map which effectively mitigates the non-convexity of the reconstruction problem. Experimental results show that the proposed OMR with spatial consensus is more robust and performs significantly better than the previous state-of-the-art OMR approach in the typical low-SNR scenario of 3D UVT.


title: fabisearch: A Package for Change Point Detection in and Visualization of the Network Structure of Multivariate High-Dimensional Time Series in R

abstract: Change point detection is a commonly used technique in time series analysis, capturing the dynamic nature in which many real-world processes function. With the ever increasing troves of multivariate high-dimensional time series data, especially in neuroimaging and finance, there is a clear need for scalable and data-driven change point detection methods. Currently, change point detection methods for multivariate high-dimensional data are scarce, with even less available in high-level, easily accessible software packages. To this end, we introduce the R package fabisearch, available on the Comprehensive R Archive Network (CRAN), which implements the factorized binary search (FaBiSearch) methodology. FaBiSearch is a novel statistical method for detecting change points in the network structure of multivariate high-dimensional time series which employs non-negative matrix factorization (NMF), an unsupervised dimension reduction and clustering technique. Given the high computational cost of NMF, we implement the method in C++ code and use parallelization to reduce computation time. Further, we also utilize a new binary search algorithm to efficiently identify multiple change points and provide a new method for network estimation for data between change points. We show the functionality of the package and the practicality of the method by applying it to a neuroimaging and a finance data set. Lastly, we provide an interactive, 3-dimensional, brain-specific network visualization capability in a flexible, stand-alone function. This function can be conveniently used with any node coordinate atlas, and nodes can be color coded according to community membership (if applicable). The output is an elegantly displayed network laid over a cortical surface, which can be rotated in the 3-dimensional space.


title: Spectral multipliers and wave propagation for Hamiltonians with a scalar potential

abstract: We extend several fundamental estimates regarding spectral multipliers for the free Laplacian on $\mathbb R^3$ to the case of perturbed Hamiltonians of the form $-\Delta+V$, where $V$ is a scalar real-valued potential. In this paper, we prove resolvent estimates, a dispersive bound for the perturbed wave propagator, Mihlin multiplier and fractional integration bounds, and the full range of wave equation Strichartz estimates, under optimal or almost optimal scaling-invariant conditions on the potential and on the spectral multipliers themselves.


title: Microservice Architecture Reconstruction and Visualization Techniques: A Review

abstract: Microservice system solutions are driving digital transformation; however, fundamental tools and system perspectives are missing to better observe, understand, and manage these systems, their properties, and their dependencies. Microservices architecture leads towards decentralization, which implies many advantages to system operation; it, however, brings challenges to their development. Microservice systems often lack a system-centric perspective that would help engineers better cope with system evolution and quality assessment. In this work, we explored microservice-specific architecture reconstruction based on static analysis. Such reconstruction typically results in system models to visualize selected system-centric perspectives. Conventional models involve 2D methods; however, these methods are limited in utility when services proliferate. We considered various architectural perspectives relevant to microservices and assessed the relevancy of the traditional method, comparing it to alternative data visualization using 3D space. As a representative of the 3D method, we considered a 3D graph model presented in augmented reality. To begin testing the feasibility of deriving such perspectives from microservice systems, we developed and implemented prototype tools for software architecture reconstruction and visualization of compared perspectives. Using these prototypes, we performed a small user study with software practitioners to highlight the potentials and limitations of these innovative visualizations used for common practitioner reasoning and tasks.