title: Characterizing the breakdown of quasi-universality in the post-merger gravitational waves from binary neutron star mergers

abstract: The post-merger gravitational wave (GW) emission from a binary neutron star merger is expected to provide exciting new constraints on the dense-matter equation of state (EoS). Such constraints rely, by and large, on the existence of quasi-universal relations, which relate the peak frequencies of the post-merger GW spectrum to properties of the neutron star structure in a model-independent way. In this work, we report on violations of existing quasi-universal relations between the peak spectral frequency, f_2, and the stellar radius, for EoSs models with backwards-bending slopes in their mass-radius relations (such that the radius increases at high masses). The violations are extreme, with variations in f_2 of up to ~600 Hz between EoSs that predict the same radius for a 1.4 Msun neutron star, but that have significantly different radii at higher masses. Quasi-universality can be restored by adding in a second parameter to the fitting formulae that depends on the slope of the mass-radius curve. We further find strong evidence that quasi-universality is better maintained for the radii of very massive stars (with masses 2 Msun). Both statements imply that f_2 is mainly sensitive to the high-density EoS. Combined with observations of the binary neutron star inspiral, these generalized quasi-universal relations can be used to simultaneously infer the characteristic radius and slope of the neutron star mass-radius relation.


title: Euclidean Time Approach to Entanglement Entropy on Lattices and Fuzzy Spaces

abstract: In a recent letter, we developed a novel Euclidean time approach to compute R\'{e}nyi entanglement entropy on lattices and fuzzy spaces based on Green's function. The present work is devoted in part to the explicit proof of the Green's matrix function formula which was quoted and used in the previous letter, and on the other part to some applications of this formalism. We focus on scalar theory on 1+1 lattice. We also use the developed approach to go systematically beyond the Gaussian case by considering interacting models, in particular our results confirm earlier expectations concerning the correction to the entanglement at first order. We finally outline how this approach can be used to compute the entanglement entropy on fuzzy spaces for free and interacting scalar theories.

categories: hep-th cond-mat.stat-mech gr-qc hep-lat quant-ph


title: Quantum analysis of the recent cosmological bounce in the comoving Hubble length

abstract: We formulate the transition from decelerated to accelerated expansion as a bounce in connection space and study its quantum cosmology, knowing that reflections are notorious for bringing quantum effects to the fore. We use a formalism for obtaining a time variable via the demotion of the constants of Nature to integration constants, and focus on a toy Universe containing only radiation and a cosmological constant $\Lambda$ for its simplicity. We find that, beside the usual factor ordering ambiguities, there is an ambiguity in the order of the quantum equation, leading to two distinct theories: one second, the other first order. In both cases two time variables may be defined, conjugate to $\Lambda$ and to the radiation constant of motion. We make little headway with the second-order theory, but are able to produce solutions to the first-order theory. They exhibit the well-known "ringing" whereby incident and reflected waves interfere, leading to oscillations in the probability distribution even for well-peaked wave packets. We also examine in detail the probability measure within the semiclassical approximation. Close to the bounce, the probability distribution becomes double-peaked, with one peak following a trajectory close to the classical limit but with a Hubble parameter slightly shifted downwards, and the other with a value of $b$ stuck at its minimum. An examination of the effects still closer to the bounce, and within a more realistic model involving matter and $\Lambda$, is left to future work.


title: Cross-Modality Sub-Image Retrieval using Contrastive Multimodal Image Representations

abstract: In tissue characterization and cancer diagnostics, multimodal imaging has emerged as a powerful technique. Thanks to computational advances, large datasets can be exploited to discover patterns in pathologies and improve diagnosis. However, this requires efficient and scalable image retrieval methods. Cross-modality image retrieval is particularly challenging, since images of similar (or even the same) content captured by different modalities might share few common structures. We propose a new application-independent content-based image retrieval (CBIR) system for reverse (sub-)image search across modalities, which combines deep learning to generate representations (embedding the different modalities in a common space) with classical feature extraction and bag-of-words models for efficient and reliable retrieval. We illustrate its advantages through a replacement study, exploring a number of feature extractors and learned representations, as well as through comparison to recent (cross-modality) CBIR methods. For the task of (sub-)image retrieval on a (publicly available) dataset of brightfield and second harmonic generation microscopy images, the results show that our approach is superior to all tested alternatives. We discuss the shortcomings of the compared methods and observe the importance of equivariance and invariance properties of the learned representations and feature extractors in the CBIR pipeline. Code is available at: \url{https://github.com/MIDA-group/CrossModal_ImgRetrieval}.


title: Designing Microservice Systems Using Patterns: An Empirical Study on Quality Trade-Offs

abstract: The promise of increased agility, autonomy, scalability, and reusability has made the microservices architecture a \textit{de facto} standard for the development of large-scale and cloud-native commercial applications. Software patterns are an important design tool, and often they are selected and combined with the goal of obtaining a set of desired quality attributes. However, from a research standpoint, many patterns have not been widely validated against industry practice, making them not much more than interesting theories. To address this, we investigated how practitioners perceive the impact of 14 patterns on 7 quality attributes. Hence, we conducted 9 semi-structured interviews to collect industry expertise regarding (1) knowledge and adoption of software patterns, (2) the perceived architectural trade-offs of patterns, and (3) metrics professionals use to measure quality attributes. We found that many of the trade-offs reported in our study matched the documentation of each respective pattern, and identified several gains and pains which have not yet been reported, leading to novel insight about microservice patterns.


title: Phase retrieval methods applied to coherent imaging

abstract: Modern microscopy techniques are developing towards high-resolution imaging, and tremendous progress has been made in past decades; however, the imaging of individual biological macromolecules at atomic resolution using short-wavelength radiation such as electrons or X-rays has not yet been achieved. The construction of free-electron lasers in many countries around the world arises from the desire to develop new imaging techniques by employing coherent radiation to image individual macromolecules. This work deals with coherent imaging and related phase retrieval techniques, with an emphasis on their application in the imaging of individual biological macromolecules.

categories: physics.optics cond-mat.mes-hall physics.comp-ph physics.ins-det


title: Black Mirror: The impact of rotational broadening on the search for reflected light from 51 Pegasi b with high resolution spectroscopy

abstract: The extreme contrast ratios between stars and their planets at optical wavelengths make it challenging to isolate the light reflected by exoplanet atmospheres. Yet, these reflective properties reveal key processes occurring in the atmospheres, and they also span wavelengths that include the potential O$_2$ biosignature. High resolution cross-correlation spectroscopy (HRCCS) offers a robust avenue for developing techniques to extract exoplanet reflection spectra. We aimed to extract the optical reflected light spectrum of the non-transiting hot Jupiter 51 Peg b by adapting techniques designed to remove tellurics in infrared HRCCS to instead remove optical stellar lines. Importantly, we investigated the so far neglected impact of the broadening of the reflected host star spectrum due to the difference between the stellar rotation and the planet's orbital velocity. We used 484, R=115000 optical spectra of 51 Peg b from HARPS-N and HARPS, which we aligned to the exact stellar rest frame in order to effectively remove the contaminating host star. However, some stellar residuals remained, likely due to stellar activity. We cross-correlated with an appropriately broadened synthetic stellar model to search for the planet's Doppler-shifting spectrum. We detect no significant reflected light from 51 Peg b and report a S/N=3 upper limit on the contrast ratio of 76.0 ppm (7.60x10$^{-5}$) when including broadening, and 24.0 ppm (2.40x10$^{-5}$) without. These upper limits rule out radius and albedo combinations of previously claimed detections. Broadening can significantly impact the ability of HRCCS to extract reflected light spectra and must be considered when determining the contrast ratio, radius, and albedo of the planet. Asynchronous systems (Prot,$_{\star}\ne$ Porb) are most affected, including most hot Jupiters as well as Earth-size planets in the traditional habitable zones of some M-dwarfs.


title: Multiaxis nose-pointing-and-shooting in a biomimetic morphing-wing aircraft

abstract: Modern high-performance combat aircraft exceed conventional flight-envelope limits on maneuverability through the use of thrust vectoring, and so achieve supermaneuverability. With ongoing development of biomimetic unmanned aerial vehicles (UAVs), the potential for supermaneuverability through biomimetic mechanisms becomes apparent. So far, this potential has not been well studied: biomimetic UAVs have not yet been shown to be capable of any of the forms of classical supermaneuverability available to thrust-vectored aircraft. Here we show this capability, by demonstrating how biomimetic morphing-wing UAVs can perform sophisticated multiaxis nose-pointing-and-shooting (NPAS) maneuvers at low morphing complexity. Nonlinear flight-dynamic analysis is used to characterize the extent and stability of the multidimensional space of aircraft trim states that arises from biomimetic morphing. Navigating this trim space provides an effective model-based guidance strategy for generating open-loop NPAS maneuvers in simulation. Our results demonstrate the capability of biomimetic aircraft for air combat-relevant supermaneuverability, and provide strategies for the exploration, characterization, and guidance of further forms of classical and non-classical supermaneuverability in such aircraft.


title: Origin of young accreting neutron stars in high-mass X-ray binaries in supernova remnants

abstract: Recently, several accreting neutron stars (NSs) in X-ray binary systems inside supernova remnants have been discovered. They represent a puzzle for the standard magneto-rotational evolution of NSs, as their ages ($\lesssim 10^5$ years) are much shorter than the expected duration of Ejector and Propeller stages preceding the onset of wind accretion. To explain appearance of such systems, we consider rotational evolution of NSs with early fallback accretion and asymmetry in forward/backward transitions between Ejector and Propeller stages (so-called hysteresis effect proposed by V. Shvartsman in 1970). It is shown that after a successful fallback episode with certain realistic values of the initial spin period, stellar wind properties, and magnetic field, a young NS may not enter the Ejector stage during its evolution which results in a relatively rapid initiation of accretion within the lifetime of a supernova remnant. For a standard magnetic field $\sim 10^{12}$~G and initial spin period $\sim 0.1$~--~0.2~s accretion rate $\gtrsim 10^{14}$~--~$10^{15}$~g~s$^{-1}$ is enough to avoid the Ejector stage.


title: Entanglement in De Sitter Space

abstract: This paper expands on two recent proposals, \cite{Susskind:2021dfc}\cite{Susskind:2021esx} and \cite{Shaghoulian:2021cef}, for generalizing the Ryu-Takayanagi and Hubeny-Rangamani-Takayanagi formulas to de Sitter space. The proposals (called the monolayer and bilayer proposals) are similar; both replace the boundary of AdS by the boundaries of static-patches--in other words event horizons. After stating the rules for each, we apply them to a number of cases and show that they yield results expected on other grounds. The monolayer and bilayer proposals often give the same results, but in one particular situation they disagree. To definitively decide between them we need to understand more about the nature of the thermodynamic limit of holographic systems.


title: Evaluating Bayesian Model Visualisations

abstract: Probabilistic models inform an increasingly broad range of business and policy decisions ultimately made by people. Recent algorithmic, computational, and software framework development progress facilitate the proliferation of Bayesian probabilistic models, which characterise unobserved parameters by their joint distribution instead of point estimates. While they can empower decision makers to explore complex queries and to perform what-if-style conditioning in theory, suitable visualisations and interactive tools are needed to maximise users' comprehension and rational decision making under uncertainty. In this paper, propose a protocol for quantitative evaluation of Bayesian model visualisations and introduce a software framework implementing this protocol to support standardisation in evaluation practice and facilitate reproducibility. We illustrate the evaluation and analysis workflow on a user study that explores whether making Boxplots and Hypothetical Outcome Plots interactive can increase comprehension or rationality and conclude with design guidelines for researchers looking to conduct similar studies in the future.


title: Does Interacting Help Users Better Understand the Structure of Probabilistic Models?

abstract: Despite growing interest in probabilistic modeling approaches and availability of learning tools, people with no or less statistical background feel hesitant to use them. There is need for tools for communicating probabilistic models to less experienced users more intuitively to help them build, validate, use effectively or trust probabilistic models. Users' comprehension of probabilistic models is vital in these cases and interactive visualizations could enhance it. Although there are various studies evaluating interactivity in Bayesian reasoning and available tools for visualizing the sample-based distributions, we focus specifically on evaluating the effect of interaction on users' comprehension of probabilistic models' structure. We conducted a user study based on our Interactive Pair Plot for visualizing models' distribution and conditioning the sample space graphically. Our results suggest that improvements in the understanding of the interaction group are most pronounced for more exotic structures, such as hierarchical models or unfamiliar parameterizations in comparison to the static group. As the detail of the inferred information increases, interaction does not lead to considerably longer response times. Finally, interaction improves users' confidence.


title: More Software Analytics Patterns: Broad-Spectrum Diagnostic and Embedded Improvements

abstract: Software analytics is a data-driven approach to decision making, which allows software practitioners to leverage valuable insights from data about software to achieve higher development process productivity and improve different aspects of software quality. In previous work, a set of patterns for adopting a lean software analytics process was identified through a literature review. This paper presents two patterns to add to the original set, forming a pattern language for adopting software analytics practices that aims to inform decision-making activities of software practitioners. The writing of these two patterns was informed by the solutions employed in the context of two case studies on software analytics practices, and the patterns were further validated by searching for their occurrence in the literature. The pattern Broad-Spectrum Diagnostic proposes to conduct more broad analysis based on common metrics when the team does not have the expertise to understand the kind of problems that software analytics can help to solve; and the pattern Embedded Improvements suggests adding improvement tasks as part of other routine activities.


title: Plasmon resonances in multilayer Fanoshells

abstract: We develop a theoretical framework, based on a multipole, quasi-static approach, for the prediction of the localized surface plasmon resonances in Fanoshells formed via geometrical symmetry-breaking in multilayer nanoshells consisting of a metallic core, a dielectric inner shell, and a metallic outer shell. By tuning the core and shell offsets of a gold-silica-gold multilayer nanoshell, we show that the theoretical model is in good agreement with electrodynamic simulations. The dipolar resonances are more suppressed when the core and the outer shell are concurrently offset, and less suppressed when either the core, the inner shell, or the outer shell is offset. We attribute the former to coupling constants arising from dual symmetry-breaking, and the latter to coupling constants due to single symmetry-breaking. Using three performance parameters, we propose the outer shell offset as the optimal Fanoshell for sensing applications. This study systematically investigates all types of offset-based, symmetry-broken, metal-dielectric-metal multilayer nanoshells within the Rayleigh regime.


title: Remarks on odd colorings of graphs

abstract: A proper vertex coloring $\varphi$ of graph $G$ is said to be odd if for each non-isolated vertex $x\in V(G)$ there exists a color $c$ such that $\varphi^{-1}(c)\cap N(x)$ is odd-sized. The minimum number of colors in any odd coloring of $G$, denoted $\chi_o(G)$, is the odd chromatic number. Odd colorings were recently introduced in [M.~Petru\v{s}evski, R.~\v{S}krekovski: \textit{Colorings with neighborhood parity condition}]. Here we discuss various basic properties of this new graph parameter, characterize acyclic graphs and hypercubes in terms of odd chromatic number, establish several upper bounds in regard to degenericity or maximum degree, and pose several questions and problems.


title: Constraining the Time of Gravitational Wave Emission from Core-Collapse Supernovae

abstract: The advent of sensitive gravitational wave (GW) detectors, coupled with wide-field, high cadence optical time-domain surveys, raises the possibility of the first joint GW-electromagnetic (EM) detections of core-collapse supernovae (CCSNe). For targeted searches of GWs from CCSNe optical observations can be used to increase the sensitivity of the search by restricting the relevant time interval, defined here as the GW search window (GSW). The extent of the GSW is a critical factor in determining the achievable false alarm probability (FAP) for a triggered CCSN search. The ability to constrain the GSW from optical observations depends on how early a CCSN is detected, as well as the ability to model the early optical emission. Here we present several approaches to constrain the GSW, ranging in complexity from model-independent analytical fits of the early light curve, model-dependent fits of the rising or entire light curve, and a new data-driven approach using existing well-sampled CCSN light curves from {\it Kepler} and the Transiting Exoplanet Survey Satellite (TESS). We use these approaches to determine the time of core-collapse and its associated uncertainty (i.e., the GSW). We apply our methods to two Type II SNe that occurred during LIGO/Virgo Observing Run 3: SN\,2019fcn and SN\,2019ejj (both in the same galaxy at $d=15.7$ Mpc). Our approach shortens the duration of the GSW and improves the robustness of the GSW compared to techniques used in past GW CCSN searches.


title: A sharp criterion for zero modes of the Dirac equation

abstract: It is shown that $\Vert A \Vert_{L^d}^2 \ge \frac{d}{d-2}\, S_d$ is a necessary condition for the existence of a nontrivial solution of the Dirac equation $\gamma \cdot (-i\nabla -A)\psi = 0$ in $d$ dimensions. Here, $S_d$ is the sharp Sobolev constant. If $d$ is odd and $\Vert A \Vert_{L^d}^2= \frac{d}{d-2}\, S_d$, then there exist vector potentials that allow for zero modes. A complete classification of these vector potentials and their corresponding zero modes is given.


title: RISE & Shine: Language-Oriented Compiler Design

abstract: The trend towards specialization of software and hardware - fuelled by the end of Moore's law and the still accelerating interest in domain-specific computing, such as machine learning - forces us to radically rethink our compiler designs. The era of a universal compiler framework built around a single one-size-fits-all intermediate representation (IR) is over. This realization has sparked the creation of the MLIR compiler framework that empowers compiler engineers to design and integrate IRs capturing specific abstractions. MLIR provides a generic framework for SSA-based IRs, but it doesn't help us to decide how we should design IRs that are easy to develop, to work with and to combine into working compilers. To address the challenge of IR design, we advocate for a language-oriented compiler design that understands IRs as formal programming languages and enforces their correct use via an accompanying type system. We argue that programming language techniques directly guide extensible IR designs and provide a formal framework to reason about transforming between multiple IRs. In this paper, we discuss the design of the Shine compiler that compiles the high-level functional pattern-based data-parallel language RISE via a hybrid functional-imperative intermediate language to C, OpenCL, and OpenMP. We compare our work directly with the closely related pattern-based Lift IR and compiler. We demonstrate that our language-oriented compiler design results in a more robust and predictable compiler that is extensible at various abstraction levels. Our experimental evaluation shows that this compiler design is able to generate high-performance GPU code.


title: Rapid Fabrication of Low Impedance, 3D Dry Electrodes for Physiological Sensing

abstract: Medical electrophysiological sensors that can study the body and diagnose diseases depend on consistently low impedance electrode-skin interfaces. Clinical-standard wet electrodes use hydrogels and skin abrasion to improve the interface and thus the recorded signal quality. These electrodes are challenging to self-administer and impede in-home care. Wearable dry electrodes are more practical; however, they show higher impedances than wet electrodes and are costly to customize. This work presents a fabrication method for rapidly producing low impedance, anatomically fit dry electrodes that do not require hydrogels. By using electroless copper and gold plating with 3D printing, biocompatible electrodes can be optimized for individuals at a fraction of the cost of existing vacuum deposition-based techniques. Example 3D dry electrodes made with this process are evaluated alongside clinical-standard devices in typical scenarios to compare electrical performance and comfort. The resulting dry electrodes exhibited an average electrode-skin impedance of 66.7 k{\Omega} at 50Hz and DC offset of -20 mV without any hydrogel, which, when area normalized, is within the range achieved by wet electrodes without skin abrasion.


title: Reconstructing the polar interface of infinite-layer nickelate thin films

abstract: Nickel-based superconductors provide a long-awaited experimental platform to explore possible cuprate-like superconductivity. Despite similar crystal structure and $d$ electron filling, these systems exhibit several differences. Nickelates are the most polar layered oxide superconductor, raising questions about the interface between substrate and thin film -- thus far the only sample geometry to successfully stabilize superconductivity. We conduct a detailed experimental and theoretical study of the prototypical interface between Nd$_{1-x}$Sr$_x$NiO$_2$ and SrTiO$_3$. Atomic-resolution electron energy loss spectroscopy in the scanning transmission electron microscope reveals the formation of a single intermediate Nd(Ti,Ni)O$_3$ layer. Density functional theory calculations with a Hubbard $U$ term show how the observed structure alleviates the strong polar discontinuity. We explore effects of oxygen occupancy, hole doping, and cation structure to disentangle the contributions of each for reducing interface charge density. Resolving the nontrivial interface structure will be instructive for future synthesis of nickelate films on other substrates and in vertical heterostructures.


title: SpectraNet: Learned Recognition of Artificial Satellites From High Contrast Spectroscopic Imagery

abstract: Effective space traffic management requires positive identification of artificial satellites. Current methods for extracting object identification from observed data require spatially resolved imagery which limits identification to objects in low earth orbits. Most artificial satellites, however, operate in geostationary orbits at distances which prohibit ground based observatories from resolving spatial information. This paper demonstrates an object identification solution leveraging modified residual convolutional neural networks to map distance-invariant spectroscopic data to object identity. We report classification accuracies exceeding 80% for a simulated 64-class satellite problem--even in the case of satellites undergoing constant, random re-orientation. An astronomical observing campaign driven by these results returned accuracies of 72% for a nine-class problem with an average of 100 examples per class, performing as expected from simulation. We demonstrate the application of variational Bayesian inference by dropout, stochastic weight averaging (SWA), and SWA-focused deep ensembling to measure classification uncertainties--critical components in space traffic management where routine decisions risk expensive space assets and carry geopolitical consequences.


title: Geometric Rank and Linear Determinantal Varieties

abstract: There are close relations between tripartite tensors with bounded geometric ranks and linear determinantal varieties with bounded codimensions. We study linear determinantal varieties with bounded codimensions, and prove upper bounds of the dimensions of the ambient spaces. Using those results, we classify tensors with geometric rank 3, find upper bounds of multilinear ranks of primitive tensors with geometric rank 4, and prove the existence of such upper bounds in general. We extend results of tripartite tensors to n-part tensors, showing the equivalence between geometric rank 1 and partition rank 1.


title: Scale Reliant Inference

abstract: Scientific fields such as genomics, ecology, and political science often collect multivariate count data. In these fields, the data are often sufficiently noisy such that inferences regarding the total size of the measured systems have substantial uncertainty. This uncertainty can hinder downstream analyses, such as differential analysis in case-control studies. There have historically been two approaches to this problem: one considers the data as compositional and the other as counts that can be normalized. In this article, we use the framework of partially identified models to rigorously study the types of scientific questions (estimands) that can be answered (estimated) using these data. We prove that satisfying Frequentist inferential criteria is impossible for many estimation problems. In contrast, we find that the criteria for Bayesian inference can be satisfied, yet it requires a particular type of model called a Bayesian partially identified model. We introduce Scale Simulation Random Variables as a flexible and computationally efficient form of Bayesian partially identified models for analyzing these data. We use simulations and data analysis to validate our theory.


title: A Physics-Informed Vector Quantized Autoencoder for Data Compression of Turbulent Flow

abstract: Analyzing large-scale data from simulations of turbulent flows is memory intensive, requiring significant resources. This major challenge highlights the need for data compression techniques. In this study, we apply a physics-informed Deep Learning technique based on vector quantization to generate a discrete, low-dimensional representation of data from simulations of three-dimensional turbulent flows. The deep learning framework is composed of convolutional layers and incorporates physical constraints on the flow, such as preserving incompressibility and global statistical characteristics of the velocity gradients. The accuracy of the model is assessed using statistical, comparison-based similarity and physics-based metrics. The training data set is produced from Direct Numerical Simulation of an incompressible, statistically stationary, isotropic turbulent flow. The performance of this lossy data compression scheme is evaluated not only with unseen data from the stationary, isotropic turbulent flow, but also with data from decaying isotropic turbulence, and a Taylor-Green vortex flow. Defining the compression ratio (CR) as the ratio of original data size to the compressed one, the results show that our model based on vector quantization can offer CR $=85$ with a mean square error (MSE) of $O(10^{-3})$, and predictions that faithfully reproduce the statistics of the flow, except at the very smallest scales where there is some loss. Compared to the recent study based on a conventional autoencoder where compression is performed in a continuous space, our model improves the CR by more than $30$ percent, and reduces the MSE by an order of magnitude. Our compression model is an attractive solution for situations where fast, high quality and low-overhead encoding and decoding of large data are required.


title: Weak binding effects on the structure of $^{40}$Mg

abstract: While the phenomenon of one- and two-neutron ground-state halo nuclei is well established, the effects of weak binding on nuclear excitation properties remain largely unexplored. Motivated by this question and by recent data in $^{40}$Mg we investigate the coupling of weakly bound (halo) valence neutrons to a core using the known properties of $^{40}$Mg to explore and illustrate possible particle-core coupling schemes and their impact on the low-lying excitation spectrum.


title: On the properties of multidimensional electrostatic oscillations of an electron plasma

abstract: We consider the classical Cauchy problem for a system of equations describing 3D arbitrary electrostatic oscillations of the cold plasma and introduce an iteration procedure that allows estimating the blow-up time from below. This procedure is constructive provided one succeed to obtain a two-sided estimate of an additional quantity depending on the solution. We show that this is possible in the case of one and two dimensions, as well as for solutions with zero vorticity. For the particular case of two-dimensional initial data with the radial symmetry, refined sufficient conditions for destruction and preservation of smoothness in the first period of oscillations are obtained. Moreover, we give the example of estimating the blow-up time for the data for which results of numerics exist and discuss a roughness of our estimate.


title: A classical formulation of quantum theory?

abstract: We explore a particular way of reformulating quantum theory in classical terms, starting with phase space rather than Hilbert space, and with actual probability distributions rather than quasiprobabilities. The classical picture we start with is epistemically restricted, in the spirit of a model introduced by Spekkens. We obtain quantum theory only by combining a collection of restricted classical pictures. Our main challenge in this paper is to find a simple way of characterizing the allowed sets of classical pictures. We present one promising approach to this problem and show how it works out for the case of a single qubit.


title: Designs for programmable quantum resistance standards based on epitaxial graphene p-n junctions

abstract: We report the fabrication and measurement of top gated epitaxial graphene p-n junctions where exfoliated hexagonal boron nitride (h-BN) is used as the gate dielectric. The four-terminal longitudinal resistance across a single junction is well quantized at the von Klitzing constant R_K with a relative uncertainty of 10-7. After the exploration of numerous parameter spaces, we summarize the conditions upon which these devices could function as potential resistance standards. Furthermore, we offer designs of programmable electrical resistance standards over six orders of magnitude by using external gating.


title: Graph-Based Recommendation System Enhanced with Community Detection

abstract: Many researchers have used tag information to improve the performance of recommendation techniques in recommender systems. Examining the tags of users will help to get their interests and leads to more accuracy in the recommendations. Since user-defined tags are chosen freely and without any restrictions, problems arise in determining their exact meaning and the similarity of tags. However, using thesaurus and ontologies to find the meaning of tags is not very efficient due to their free definition by users and the use of different languages in many data sets. Therefore, this article uses mathematical and statistical methods to determine lexical similarity and co-occurrence tags solution to assign semantic similarity. On the other hand, due to the change of users' interests over time this article has considered the time of tag assignments in co-occurrence tags for determining similarity of tags. Then the graph is created based on similarity of tags. For modeling the interests of the users, the communities of tags are determined by using community detection methods. So, recommendations based on the communities of tags and similarity between resources are done. The performance of the proposed method has been evaluated using two criteria of precision and recall through evaluations on two public datasets. The evaluation results show that the precision and recall of the proposed method have significantly improved, compared to the other methods. According to the experimental results, the criteria of recall and precision have been improved, on average by 5% and 7% respectively.


title: Nonreciprocal Nature and induced Tunneling Barrier Modulation in Chiral Molecular Devices

abstract: The chirality-spin interaction is a fascinating topic for physicists and chemists. For example, chiral molecules like DNA generate giant spin polarization in nanodevices characterized by large magnetoresistance (MR). This phenomenon, called chirality-induced spin selectivity (CISS), paves pathways for unconventional spintronic devices and enantiomer separation. Different from ordinary transport, CISS MR violates Onsager's reciprocal relation and its physical mechanism is elusive and debated. In this work, we propose that the CISS MR is intimately related to the electric magnetochiral anisotropy (EMCA) while EMCA respects Onsager's relation. EMCA generates extra charge trapping in the device and modifies the electron tunneling barrier that alters the tunneling resistance sensitively, circumventing the Onsager's reciprocity. Our theory reveals the intimate connection between EMCA and CISS MR and explains the unusually large MR ratio by the nonlinear tunneling transport, which is related to the induced spin polarization indirectly. We provide a tunneling barrier model to extract the barrier modulation from available experimental results. Our work provides a deep understanding of the CISS transport by characterizing the tunneling barrier and further linking it to another quantity measured in recent experiments, the surface potential.


title: Competing Mutual Information Constraints with Stochastic Competition-based Activations for Learning Diversified Representations

abstract: This work aims to address the long-established problem of learning diversified representations. To this end, we combine information-theoretic arguments with stochastic competition-based activations, namely Stochastic Local Winner-Takes-All (LWTA) units. In this context, we ditch the conventional deep architectures commonly used in Representation Learning, that rely on non-linear activations; instead, we replace them with sets of locally and stochastically competing linear units. In this setting, each network layer yields sparse outputs, determined by the outcome of the competition between units that are organized into blocks of competitors. We adopt stochastic arguments for the competition mechanism, which perform posterior sampling to determine the winner of each block. We further endow the considered networks with the ability to infer the sub-part of the network that is essential for modeling the data at hand; we impose appropriate stick-breaking priors to this end. To further enrich the information of the emerging representations, we resort to information-theoretic principles, namely the Information Competing Process (ICP). Then, all the components are tied together under the stochastic Variational Bayes framework for inference. We perform a thorough experimental investigation for our approach using benchmark datasets on image classification. As we experimentally show, the resulting networks yield significant discriminative representation learning abilities. In addition, the introduced paradigm allows for a principled investigation mechanism of the emerging intermediate network representations.


title: Between free and direct products of groups

abstract: We investigate the group $G \vee H$ obtained by gluing together two groups $G$ and $H$ at the neutral element. This construction curiously shares some properties with the free product but others with the direct product. Our results address among others Property (T), CAT(0) cubical complexes, local embeddability, amenable actions, and the algebraic structure of $G \vee H$.


title: Ribbon concordance of knots is a partial order

abstract: In this note we show that ribbon concordance forms a partial ordering on the set of knots, answering a question of Gordon. The proof makes use of representation varieties of the knot groups to $SO(N)$ and relations between them induced by a ribbon concordance.


title: The Role of the Magnetic Anisotropy in Atomic-Spin Sensing of 1D Molecular Chains

abstract: One-dimensional metal-organic chains often possess a complex magnetic structure susceptible to be modified by a alteration of their chemical composition. The possibility to tune their magnetic properties provides an interesting playground to explore quasiparticle interactions in low-dimensional systems. Despite the great effort invested so far, a detailed understanding of the interactions governing the electronic and magnetic properties of the low-dimensional systems is still incomplete. One of the reasons is the limited ability to characterize their magnetic properties at the atomic scale. Here, we provide a comprehensive study of the magnetic properties of metal-organic one-dimensional (1D) coordination polymers consisting of 2,5-diamino-1,4-benzoquinonediimine ligands coordinated with Co or Cr atoms synthesized in ultra-high vacuum conditions on a Au(111) surface. A combination of an integral X-ray spectroscopy with local-probe inelastic electron tunneling spectroscopy corroborated by multiplet analysis, density functional theory, and inelastic electron tunneling simulations enable us to obtain essential information about their magnetic structure, including the spin magnitude and orientation at the magnetic atoms, as well as the magnetic anisotropy.


title: Long-time existence for a Whitham--Boussinesq system in two dimensions

abstract: This paper is concerned with a two dimensional Whitham-Boussinesq system modelling surface waves of an inviscid incompressible fluid layer. We prove that the associated Cauchy problem is well-posed for initial data of low regularity, with existence time of scale $\mathcal O(1/\sqrt{\epsilon})$, where $\epsilon>0$ is a shallowness parameter measuring the ratio of the amplitude of the wave to the mean depth of the fluid. The key ingredients in the proof are frequency loacalised dispersive and Strichartz estimates that depend on $\epsilon$ as well as bilinear estimates in some Strichartz norms.


title: Inflation in a scalar-vector-tensor theory

abstract: In this work, we study inflation in a particular scalar-vector-tensor theory of gravitation without the $U(1)$ gauge symmetry. The model is constructed from the more general action introduced in Heisenberg et al. (Phys Rev D 98:024038, 2018) using certain specific choices for the Lagrangians and the coupling functions. Also, for this model we build the explicit form for the action, and from it, we derive the general equations: the energy-momentum tensor and the equations of motion, and using the flat FLRW background, we have analyzed if it's possible to obtain an inflationary regime with it. Additionally, using particular choices for the potential, the coupling functions, suitable dimensionless coupling constants and initial conditions, it was possible verify numerically that this model of inflation is viable. In this sense, we could verify that the introduction of the coupling function $f(\phi)$ in our model of inflation, allows us to reach a suitable amount of $e$-foldings $N$ for sufficient inflation. This is a remarkable result, since without the coupling function contribution, the amount of $e$-foldings is smaller at the end of inflation, as has been demonstrated in Heisenberg et al. (2018). Also, the no-ghosts and stability conditions that the model during inflation must satisfy, i.e., absence of ghosts and Laplacian instabilities of linear cosmological perturbations were obtained, furthermore these conditions were verified numerically too.


title: The two body problem: proprioception and motor control across the metamorphic divide

abstract: Like a rocket being propelled into space, evolution has engineered flies to launch into adulthood via multiple stages. Flies develop and deploy two distinct bodies, linked by the transformative process of metamorphosis. The fly larva is a soft hydraulic tube that can crawl to find food and avoid predators. The adult fly has a stiff exoskeleton with articulated limbs capable of long-distance navigation and rich social interactions. Because the larval and adult forms are so distinct in structure, they require distinct strategies for sensing and moving the body. The metamorphic divide thus presents an opportunity for comparative analysis of neural circuits. Here, we review recent progress toward understanding the neural mechanisms of proprioception and motor control in larval and adult Drosophila. We highlight commonalities that point toward general principles of sensorimotor control and differences that may reflect unique constraints imposed by biomechanics. Finally, we discuss emerging opportunities for comparative analysis of neural circuit architecture in the fly and other animal species.


title: Bounded ultraimaginary independence and its total Morley sequences

abstract: We investigate the following model-theoretic independence relation: $\def\indbu{{\rlap{\hspace11.9mu\vert}\lower7.5mu\smile}^{\!\mathrm{bu}}} b \indbu_A\hspace3mu c$ if and only if $\mathrm{bdd}^u(Ab)\cap \mathrm{bdd}^u(Ac) = \mathrm{bdd}^u(A)$, where $\mathrm{bdd}^u(X)$ is the class of all ultraimaginaries bounded over $X$. In particular, we sharpen a result of Wagner to show that $b \indbu_A\hspace3mu c$ if and only if $\langle \mathrm{Autf}(\mathbb{M}/Ab)\cup\mathrm{Autf}(\mathbb{M}/Ac) \rangle = \mathrm{Autf}(\mathbb{M}/A)$, and we establish full existence over hyperimaginary parameters (i.e., for any set of hyperimaginaries $A$ and ultraimaginaries $b$ and $c$, there is a $b' \equiv_A b$ such that $b' \indbu_A\hspace3mu c$). Extension then follows as an immediate corollary. We also study total $\hspace-5mu\indbu$-Morley sequences (i.e., $A$-indiscernible sequences $I$ satisfying $J \indbu_A\hspace3mu K$ for any $J$ and $K$ with $J + K \equiv^{\mathrm{EM}}_A I$), and we prove that an $A$-indiscernible sequence $I$ is a total $\hspace-5mu\indbu$-Morley sequence over $A$ if and only if whenever $I$ and $I'$ have the same Lascar strong type over $A$, $I$ and $I'$ are related by the transitive, symmetric closure of the relation '$J+K$ is $A$-indiscernible.' This is also equivalent to $I$ being 'based on' $A$ in a sense defined by Shelah in his early study of simple unstable theories. Finally, we show that for any $A$ and $b$ in any theory $T$, if there is an Erd\"os cardinal $\kappa(\alpha)$ with $|Ab|+|T| < \kappa(\alpha)$, then there is a total $\hspace-5mu\indbu$-Morley sequence $(b_i)_{i<\omega}$ over $A$ with $b_0 = b$.


title: Impact of extreme spins and mass ratios on the post-merger observables of high-mass binary neutron stars

abstract: The gravitational-wave events GW170817 and GW190425 have led to a number of important insights on the equation of state of dense matter and the properties of neutron stars, such as their radii and the maximum mass. Some of these conclusions have been drawn on the basis of numerical-relativity simulations of binary neutron-star mergers with vanishing initial spins. While this may be a reasonable assumption in equal-mass systems, it may be violated in the presence of large mass asymmetries accompanied by the presence of high spins. To quantify the impact of high spins on multi-messenger gravitational-wave events, we have carried out a series of high-mass binary neutron-star mergers with a highly spinning primary star and large mass asymmetries that have been modelled self-consistently using two temperature-dependent equations of state. We show that, when compared with equal-mass, irrotational binaries, these systems can lead to significant differences in the remnant lifetime, in the dynamical ejecta, in the remnant disc masses, in the secular ejecta, and on the bulk kilonova properties. These differences could be exploited to remove the degeneracy between low- and high-spin priors in the detection of gravitational waves from binary neutron-star mergers.


title: Vertex-edge marking score of certain triangular lattices

abstract: The vertex-edge marking game is played between two players on a graph, $G=(V,E)$, with one player marking vertices and the other marking edges. The players want to minimize/maximize, respectively, the number of marked edges incident to an unmarked vertex. The vertex-edge coloring number for $G$ is the maximum score achievable with perfect play. Bre\v{s}ar et al., [4], give an upper bound of $5$ for the vertex-edge coloring number for finite planar graphs. It is not known whether the bound is tight. In this paper, in response to questions in [4], we show that the vertex-edge coloring number for the infinite regular triangularization of the plane is 4. We also give two general techniques that allow us to calculate the vertex-edge coloring number in many related triangularizations of the plane.


title: How temperature rise induces phase separation in acidic aqueous biphasic solutions

abstract: Ionic-liquid based acidic aqueous biphasic solutions (AcABS) recently offered a breakthrough in the field of metal recycling. Indeed, the mixture of tributyltetradecylphosphonium chloride (P$_{44414}$Cl) and acid with water content larger than 60 \% presents a phase separation with very good extraction efficiency for metallic ions. Moreover, this ternary solution presents a Lower Solution Critical Temperature (LCST), meaning that the biphasic area of the phase diagram increases upon increase of temperature, in other terms the phase separation from a homogeneous liquid can be induced by an elevation of temperature, typically a few tens of degrees. We address here the microscopic mechanisms driving the phase separation. Small Angle Neutron Scattering provides us with structural information for various acid content and temperature. We characterized the spherical micelle formation in the binary ionic liquid/water solution and the micelle aggregation upon addition of acid, due of the screening of electrostatic repulsion. If addition of salt leads to identical transitions in the solution, the ionic strength is not a relevant parameter and more subtle effects such as ion size or polarizability have to be taken into account to rationalize the phase diagram. The increase of both acid concentration and/or temperature eventually leads to the micelle flocculation and phase separation. This last step is achieved through chloride ion adsorption at the surface of the micelle with an enthalpy of adsorption of $\sim$ 12 kJ/mol. The attraction between micelles can be well understood in terms of DLVO potential. This exothermic adsorption compensates the entropic cost, leading to the counter-intuitive behavior of the system.


title: Structural and qualitative properties of a geometrically integrable equation

abstract: Lie symmetries of a Novikov geometrically integrable equation are found and group-invariant solutions are obtained. Local conservation laws up to second order are established as well as their corresponding conserved quantities. Sufficient conditions for the $L^1$ norm of the solutions to be invariant are presented, as well as conditions for the existence of positive solutions. Two demonstrations for unique continuation of solutions are given: one of them is just based on the invariance of the $L^1$ norm of the solutions, whereas the other is based on well-posedness of Cauchy problems. Finally, pseudo-spherical surfaces determined by the solutions of the equation are studied: all invariant solutions that do not lead to pseudo-spherical surfaces are classified and the existence of an analytic metric for a pseudo-spherical surface is proved using conservation of solutions and well-posedness results.


title: Classification of Astrophysics Journal Articles with Machine Learning to Identify Data for NED

abstract: The NASA/IPAC Extragalactic Database (NED) is a comprehensive online service that combines fundamental multi-wavelength information for known objects beyond the Milky Way and provides value-added, derived quantities and tools to search and access the data. The contents and relationships between measurements in the database are continuously augmented and revised to stay current with astrophysics literature and new sky surveys. The conventional process of distilling and extracting data from the literature involves human experts to review the journal articles and determine if an article is of extragalactic nature, and if so, what types of data it contains. This is both labor intensive and unsustainable, especially given the ever-increasing number of publications each year. We present here a machine learning (ML) approach developed and integrated into the NED production pipeline to help automate the classification of journal article topics and their data content for inclusion into NED. We show that this ML application can successfully reproduce the classifications of a human expert to an accuracy of over 90% in a fraction of the time it takes a human, allowing us to focus human expertise on tasks that are more difficult to automate.


title: Estimate of the Mass and Radial Profile of the Orphan-Chenab Stream's Dwarf Galaxy Progenitor Using MilkyWay@home

abstract: We fit the mass and radial profile of the Orphan-Chenab Stream's (OCS) dwarf galaxy progenitor by using turnoff stars in the Sloan Digital Sky Survey (SDSS) and the Dark Energy Camera (DEC) to constrain N-body simulations of the OCS progenitor falling into the Milky Way on the 1.5 PetaFLOPS MilkyWay@home distributed supercomputer. We infer the internal structure of the OCS's progenitor under the assumption that it was a spherically symmetric dwarf galaxy comprised of a stellar system embedded in an extended dark matter halo. We optimize the evolution time, the baryonic and dark matter scale radii, and the baryonic and dark matter masses of the progenitor using a differential evolution algorithm. The likelihood score for each set of parameters is determined by comparing the simulated tidal stream to the angular distribution of OCS stars observed in the sky. We fit the total mass of the OCS's progenitor to ($2.0\pm0.3$) $\times 10^7 M_\odot$ with a mass-to-light ratio of $\gamma=73.5\pm10.6$ and ($1.1\pm0.2$)$\times10^6M_{\odot}$ within 300 pc of its center. Within the progenitor's half-light radius, we estimate total a mass of ($4.0\pm1.0$)$\times10^5M_{\odot}$. We also fit the current sky position of the progenitor's remnant to be $(\alpha,\delta)=((166.0\pm0.9)^\circ,(-11.1\pm2.5)^\circ)$ and show that it is gravitationally unbound at the present time. The measured progenitor mass is on the low end of previous measurements, and if confirmed lowers the mass range of ultrafaint dwarf galaxies. Our optimization assumes a fixed Milky Way potential, OCS orbit, and radial profile for the progenitor, ignoring the impact of the Large Magellanic Cloud.


title: User Interaction Analysis through Contrasting Websites Experience

abstract: Current advance of internet allows rapid dissemination of information, accelerating the progress on wide spectrum of society. This has been done mainly through the use of website interface with inherent unique human interactions. In this regards the usability analysis becomes a central part to improve the human interactions. However, This analysis has not yet quantitatively been evaluated through user perception during interaction, especially when dealing wide range of tasks. In this study, we perform the quantitative analysis the usability of websites based on their usage and relevance. We do this by reporting user interactions based user subjective perceptions, eye-tracking data and facial expressions based on the collected data from two different sets of websites. In general, we found that the user interaction parameters are substantially difference across website sets, with a degree of relation with perceived user emotions during interactions.


title: Multi-Query Video Retrieval

abstract: Retrieving target videos based on text descriptions is a task of great practical value and has received increasing attention over the past few years. Despite recent progress, imperfect annotations in existing video retrieval datasets have posed significant challenges on model evaluation and development. In this paper, we tackle this issue by focusing on the less-studied setting of multi-query video retrieval, where multiple descriptions are provided to the model for searching over the video archive. We first show that multi-query retrieval task effectively mitigates the dataset noise introduced by imperfect annotations and better correlates with human judgement on evaluating retrieval abilities of current models. We then investigate several methods which leverage multiple queries at training time, and demonstrate that the multi-query inspired training can lead to superior performance and better generalization. We hope further investigation in this direction can bring new insights on building systems that perform better in real-world video retrieval applications.


title: Linear Stability of Black Holes and Naked Singularities

abstract: These notes follow from a course delivered at the V Jos\'e Pl\'{\i}nio Baptista School of Cosmology, held at Guarapari (Esp\'{\i}rito Santo) Brazil, from 30 September to 5 October 2021. A review of the current status of the linear stability of black holes and naked singularities is given. The standard modal approach, that takes advantage of the background symmetries and analyze separately the harmonic components of linear perturbations, is briefly introduced and used to prove that the naked singularities in the Kerr--Newman family, as well as the inner black hole regions beyond Cauchy horizons, are unstable and therefore unphysical. The proofs require a treatment of the boundary condition at the timelike boundary, which is given in detail. The nonmodal linear stability concept is then introduced, and used to prove that the domain of outer communications of a Schwarzschild black hole with a non-negative cosmological constant satisfies this stronger stability condition, which rules out transient growths of perturbations, and also to show that the perturbed black hole settles into a slowly rotating Kerr black hole. The encoding of the perturbation fields in gauge invariant curvature scalars and the effects of the perturbation on the geometry of the spacetime is discussed.


title: A Compositional Proof Framework for FRETish Requirements

abstract: Structured natural languages provide a trade space between ambiguous natural languages that make up most written requirements and mathematical formal specifications such as Linear Temporal Logic. FRETish is a structured natural language for the elicitation of system requirements developed at NASA. The related open-source tool Fret provides support for translating FRETish requirements into temporal logic formulas that can be input to several verification and analysis tools. In the context of safety-critical systems, it is crucial to ensure that a generated formula captures the semantics of the corresponding FRETish requirement precisely. This paper presents a rigorous formalization of the FRETish language including a new denotational semantics and a proof of semantic equivalence between FRETish specifications and their temporal logic counterparts computed by Fret. The complete formalization and the proof have been developed in the Prototype Verification System (PVS) theorem prover.


title: Chromatic Number and Hamiltonicity of Graphs

abstract: Let $G$ be a $k$ - connected ($k \geq 2$) graph of order $n$. If $\chi(G) \geq n - k$, then $G$ is Hamiltonian or $K_k \vee (K_k^c \cup K_{n - 2k})$ with $n \geq 2 k + 1$, where $\chi(G)$ is the chromatic number of the graph $G$.


title: Designing a Visual Tool for Property Graph Schema Extraction and Refinement: An Expert Study

abstract: The design space of visual tools that aim to help people create schemas for property graphs is explored. Interviews are conducted with experts in the domain of property graphs and data management in general. Through this collaboration, we determine how a schema extraction tool can provide value. These insights are used to establish design requirements and design a UI prototype, which are then relayed back to the experts. Positive reactions were received, which encourage future work in the property graph schema space.


title: 3D Segmentation with Fully Trainable Gabor Kernels and Pearson's Correlation Coefficient

abstract: The convolutional layer and loss function are two fundamental components in deep learning. Because of the success of conventional deep learning kernels, the less versatile Gabor kernels become less popular despite the fact that they can provide abundant features at different frequencies, orientations, and scales with much fewer parameters. For existing loss functions for multi-class image segmentation, there is usually a tradeoff among accuracy, robustness to hyperparameters, and manual weight selections for combining different losses. Therefore, to gain the benefits of using Gabor kernels while keeping the advantage of automatic feature generation in deep learning, we propose a fully trainable Gabor-based convolutional layer where all Gabor parameters are trainable through backpropagation. Furthermore, we propose a loss function based on the Pearson's correlation coefficient, which is accurate, robust to learning rates, and does not require manual weight selections. Experiments on 43 3D brain magnetic resonance images with 19 anatomical structures show that, using the proposed loss function with a proper combination of conventional and Gabor-based kernels, we can train a network with only 1.6 million parameters to achieve an average Dice coefficient of 83%. This size is 44 times smaller than the original V-Net which has 71 million parameters. This paper demonstrates the potentials of using learnable parametric kernels in deep learning for 3D segmentation.


title: Thermal-model-based characterization of heavy-ion-collision systems at chemical freeze-out

abstract: We investigate the chemical freeze-out in heavy-ion collisions (HICs) and the impact of the hadronic spectrum on thermal model analyses. Detailed knowledge of the hadronic spectrum is still an open question, which has phenomenological consequences on the study of HICs. By varying the number of resonances included in Hadron Resonance Gas (HRG) Model calculations, we can shed light on which particles may be produced. Furthermore, we study the influence of the number of states on the so-called two flavor freeze-out scenario, in which strange and light particles can freeze-out separately. We consider results for the chemical freeze-out parameters obtained from thermal model fits and from calculating net-particle fluctuations. We will show the effect of using one global temperature to fit all particles and alternatively, allowing particles with and without strange quarks to freeze-out separately.


title: An explanation of the commuting operator "miracle" in time and band limiting

abstract: Time and band limiting operators are expressed as functions of the confluent Heun operator arising in the spheroidal wave equation. Explicit formulas are obtained when the bandwidth parameter is either small or large and results on the complete Fourier transform are recovered.


title: CausalKG: Causal Knowledge Graph Explainability using interventional and counterfactual reasoning

abstract: Humans use causality and hypothetical retrospection in their daily decision-making, planning, and understanding of life events. The human mind, while retrospecting a given situation, think about questions such as "What was the cause of the given situation?", "What would be the effect of my action?", or "Which action led to this effect?". It develops a causal model of the world, which learns with fewer data points, makes inferences, and contemplates counterfactual scenarios. The unseen, unknown, scenarios are known as counterfactuals. AI algorithms use a representation based on knowledge graphs (KG) to represent the concepts of time, space, and facts. A KG is a graphical data model which captures the semantic relationships between entities such as events, objects, or concepts. The existing KGs represent causal relationships extracted from texts based on linguistic patterns of noun phrases for causes and effects as in ConceptNet and WordNet. The current causality representation in KGs makes it challenging to support counterfactual reasoning. A richer representation of causality in AI systems using a KG-based approach is needed for better explainability, and support for intervention and counterfactuals reasoning, leading to improved understanding of AI systems by humans. The causality representation requires a higher representation framework to define the context, the causal information, and the causal effects. The proposed Causal Knowledge Graph (CausalKG) framework, leverages recent progress of causality and KG towards explainability. CausalKG intends to address the lack of a domain adaptable causal model and represent the complex causal relations using the hyper-relational graph representation in the KG. We show that the CausalKG's interventional and counterfactual reasoning can be used by the AI system for the domain explainability.


title: On the Byzantine-Fault-Tolerant Consensus for Blockchain among Connected Vehicles

abstract: It is a critical matter for a blockchain system whether a Byzantine fault tolerance (BFT) can be guaranteed during a consensus process. Can connected vehicles (CVs) achieve the BFT consensus when the vehicles keep mobile? This paper seeks an answer to this fundamental question. It focuses on characterizing the impact of mobility on the performance of a BFT consensus among CVs.


title: An Accelerator for Rule Induction in Fuzzy Rough Theory

abstract: Rule-based classifier, that extract a subset of induced rules to efficiently learn/mine while preserving the discernibility information, plays a crucial role in human-explainable artificial intelligence. However, in this era of big data, rule induction on the whole datasets is computationally intensive. So far, to the best of our knowledge, no known method focusing on accelerating rule induction has been reported. This is first study to consider the acceleration technique to reduce the scale of computation in rule induction. We propose an accelerator for rule induction based on fuzzy rough theory; the accelerator can avoid redundant computation and accelerate the building of a rule classifier. First, a rule induction method based on consistence degree, called Consistence-based Value Reduction (CVR), is proposed and used as basis to accelerate. Second, we introduce a compacted search space termed Key Set, which only contains the key instances required to update the induced rule, to conduct value reduction. The monotonicity of Key Set ensures the feasibility of our accelerator. Third, a rule-induction accelerator is designed based on Key Set, and it is theoretically guaranteed to display the same results as the unaccelerated version. Specifically, the rank preservation property of Key Set ensures consistency between the rule induction achieved by the accelerator and the unaccelerated method. Finally, extensive experiments demonstrate that the proposed accelerator can perform remarkably faster than the unaccelerated rule-based classifier methods, especially on datasets with numerous instances.


title: $BKT$ transitions in classical and quantum long-range systems

abstract: In the past decades considerable efforts have been made in order to understand the critical features of both classical and quantum long-range interacting models. The case of the Berezinskii-Kosterlitz-Thouless (BKT) universality class, as in the $2d$ classical $XY$ model, is considerably complicated by the presence, for short-range interactions, of a line of renormalization group fixed points. In this paper we discuss a field theoretical treatment of the $2d$ $XY$ model with long-range couplings and we compare it with results from the self-consistent harmonic approximation. These methods lead to a rich phase diagram, where both power-law BKT scaling and spontaneous symmetry breaking appear for the same (intermediate) decay rates of long-range interactions. We also discuss the Villain approximation for the $2d$ $XY$ model with power-law couplings, providing hints that, in the long-range regime, it fails to reproduce the correct critical behavior. The obtained results are then applied to the long-range quantum XXZ spin chain at zero temperature. We discuss the relation between the phase diagrams of the two models and we give predictions about the scaling of the order parameter of the quantum chain close to the transition.


title: Rare-earth defects in GaN: A systematic investigation of the lanthanide series

abstract: Rare-earth (RE) doped GaN is of interest for optoelectronics and spintronics and potentially for quantum applications. A fundamental understanding of the interaction between RE dopants and the semiconductor host is key to realizing the material's full potential. This work reports an investigation of lanthanide ($Ln$) defects in GaN using hybrid density-functional defect calculations. We find that all the $Ln$ dopants incorporated at the Ga lattice site, $Ln_{\rm Ga}$ ($Ln$ = La--Lu), are stable as trivalent ions, but Eu and Yb can also be stabilized as divalent and Ce, Pr, and Tb as tetravalent. The location of $Ln$-related defect levels and the $Ln$ $4f$ states in the energy spectrum of the host material is determined from first principles. We elucidate the interplay between defect formation and electronic structure, including the $Ln$--N interaction, and the effect of doping on the local lattice environment. Optical properties are investigated by considering possible defect-to-band and band-to-defect transitions involving $Ln_{\rm Ga}$ defects with in-gap energy levels, including broad "charge-transfer" transitions. These defects can also act as carrier traps and mediate energy transfer from the host into the $4f$-electron core of the $Ln$ ion which leads to sharp intra-$f$ luminescence.


title: Multiplicity of limit cycles that appear after perturbations of hyperbolic polycycles

abstract: We consider the multiplicity of limit cycles that appear when a hyperbolic polycycle is perturbed. We prove, in particular, that if such unfolding happens in generic finite-parameter families, the multiplicity of every new limit cycle does not exceed the number of separatrix connections in the polycycle.


title: Tidal erasure of stellar obliquities constrains the timing of hot Jupiter formation

abstract: Stars with hot Jupiters sometimes have high obliquities, which are possible relics of hot Jupiter formation. Based on the characteristics of systems with and without high obliquities, it is suspected that obliquities are tidally damped when the star has a thick convective envelope, as is the case for main-sequence stars cooler than ~6100K, and the orbit is within ~8 stellar radii. A promising theory for tidal obliquity damping is the dissipation of inertial waves within the star's convective envelope. Here, we consider the implications of this theory for the timing of hot Jupiter formation. Specifically, hot stars that currently lack a convective envelope possess one during their pre-main sequence. We find that hot Jupiters orbiting within a critical distance of ~0.02au from a misaligned main-sequence star lacking a thick convective envelope must have acquired their tight orbits after a few tens of millions of years in order to have retained their obliquities throughout the pre-main-sequence. There are 4 known systems for which this argument applies--XO-3b, Corot-3b, WASP-14b, and WASP-121b--subject to uncertainties surrounding inertial wave dissipation. Moreover, we conclude that a recently-identified overabundance of near-polar hot Jupiters is unlikely sculpted by tides, instead reflecting their primordial configuration. Finally, hot Jupiters arriving around cool stars after a few 100s of millions of years likely find the host star rotating too slowly for efficient obliquity damping. We predict that the critical effective temperature separating aligned and misaligned stars should vary with metallicity, from 6300K to 6000K as [Fe/H] varies from -0.3 to +0.3.


title: The unreasonable effectiveness of wall-crossing in algebraic geometry

abstract: We survey applications of Bridgeland stability conditions in algebraic geometry and discuss open questions for future research.


title: A Likelihood Ratio based Domain Adaptation Method for E2E Models

abstract: End-to-end (E2E) automatic speech recognition models like Recurrent Neural Networks Transducer (RNN-T) are becoming a popular choice for streaming ASR applications like voice assistants. While E2E models are very effective at learning representation of the training data they are trained on, their accuracy on unseen domains remains a challenging problem. Additionally, these models require paired audio and text training data, are computationally expensive and are difficult to adapt towards the fast evolving nature of conversational speech. In this work, we explore a contextual biasing approach using likelihood-ratio that leverages text data sources to adapt RNN-T model to new domains and entities. We show that this method is effective in improving rare words recognition, and results in a relative improvement of 10% in 1-best word error rate (WER) and 10% in n-best Oracle WER (n=8) on multiple out-of-domain datasets without any degradation on a general dataset. We also show that complementing the contextual biasing adaptation with adaptation of a second-pass rescoring model gives additive WER improvements.


title: Data-driven Meets Geometric Control: Zero Dynamics, Subspace Stabilization, and Malicious Attacks

abstract: Studying structural properties of linear dynamical systems through invariant subspaces is one of the key contributions of the geometric approach to system theory. In general, a model of the dynamics is required in order to compute the invariant subspaces of interest. In this paper we overcome this limitation by finding data-driven formulas for some of the foundational tools of geometric control. In particular, for an unknown linear system, we show how controlled and conditioned invariant subspaces can be found directly from experimental data. We use our formulas and approach to (i) find a feedback gain that confines the system state within a desired subspace, (ii) compute the invariant zeros of the unknown system, and (iii) design attacks that remain undetectable.


title: Easy confidence interval formulas for network meta-analysis and adjustment of confidence intervals for a small number of studies

abstract: We propose simple formulas of confidence intervals for the Wald statistic, likelihood ratio statistic, and score statistic for a network meta-analysis. In addition, we consider resolutions for concerns that network meta-analyses with a small number of studies cannot hold a nominal confidence level. For a bias adjustment in analyses with a small number of studies, a Bartlett-type adjustment is a well-known method. Many Bartlett-type adjustment-type methods are based on maximum likelihood estimators. However, the network meta-analysis often uses the restricted maximum likelihood estimators that have not been extensively discussed in Bartlett-type adjustment. In this paper, we propose a Bartlett-type adjustment method for the Wald statistic, likelihood ratio statistic, and score statistic when nuisance parameters are estimated by not only the maximum likelihood method but also the restricted maximum likelihood method. In addition, we propose a higher-order adjustment by applying the bootstrap method to the Bartlett-type adjusted statistics. Using a computer simulation, we confirmed that the adjusted confidence intervals maintained a nominal confidence level. In addition, we confirmed that the confidence interval of the likelihood ratio test based on the restricted maximum likelihood method performs well without further bootstrap adjustment. Finally, we demonstrated that confidence intervals were adjusted for actual network meta-analysis.


title: A posteriori analysis for a mixed FEM discretization of the linear elasticity spectral problem

abstract: In this paper we analyze a posteriori error estimates for a mixed formulation of the linear elasticity eigenvalue problem. A posteriori estimators for the nearly and perfectly compressible elasticity spectral problems are proposed. With a post-process argument, we are able to prove reliability and efficiency for the proposed estimators. The numerical method is based in Raviart-Thomas elements to approximate the pseudostress and piecewise polynomials for the displacement. We illustrate our results with numerical tests.


title: Robust graphical lasso based on multivariate Winsorization

abstract: We propose the use of a robust covariance estimator based on multivariate Winsorization in the context of the Tarr-Muller-Weber framework for sparse estimation of the precision matrix of a Gaussian graphical model. Likewise Croux-Ollerer's precision matrix estimator, our proposed estimator attains the maximum finite sample breakdown point of 0.5 under cellwise contamination. We conduct an extensive Monte Carlo simulation study to assess the performance of ours and the currently existing proposals. We find that ours has a competitive behavior, regarding the the estimation of the precision matrix and the recovery of the graph. We demonstrate the usefulness of the proposed methodology in a real application to breast cancer data.


title: On Upper Bounds in Dimension Gaps of CFT's

abstract: We consider CFT's arising from branes probing singularities of internal manifolds. We focus on holographic models with internal space including arbtirary Sasaki-Einstein manifolds coming from CY as well as arbitrary sphere quotients. In all these cases we show that there is a universal upper bound (depending only on the spacetime dimension) for the conformal dimension of the first non-trivial spin 2 operator in the dual CFT and a minimal diameter (in AdS units) for the internal space of the holographic dual and conjecture it holds for all CFT's.


title: APOGEE Net: An expanded spectral model of both low mass and high mass stars

abstract: We train a convolutional neural network, APOGEE Net, to predict $T_\mathrm{eff}$, $\log g$, and, for some stars, [Fe/H], based on the APOGEE spectra. This is the first pipeline adapted for these data that is capable of estimating these parameters in a self-consistent manner not only for low mass stars, (such as main sequence dwarfs, pre-main sequence stars, and red giants), but also high mass stars with $T_\mathrm{eff}$ in excess of 50,000 K, including hot dwarfs and blue supergiants. The catalog of ~650,000 stars presented in this paper allows for a detailed investigation of the star forming history of not just the Milky Way, but also of the Magellanic clouds, as different type of objects tracing different parts of these galaxies can be more cleanly selected through their distinct placement in $T_\mathrm{eff}$-$\log g$ parameter space than in previous APOGEE catalogs produced through different pipelines.


title: Learning Fair Node Representations with Graph Counterfactual Fairness

abstract: Fair machine learning aims to mitigate the biases of model predictions against certain subpopulations regarding sensitive attributes such as race and gender. Among the many existing fairness notions, counterfactual fairness measures the model fairness from a causal perspective by comparing the predictions of each individual from the original data and the counterfactuals. In counterfactuals, the sensitive attribute values of this individual had been modified. Recently, a few works extend counterfactual fairness to graph data, but most of them neglect the following facts that can lead to biases: 1) the sensitive attributes of each node's neighbors may causally affect the prediction w.r.t. this node; 2) the sensitive attributes may causally affect other features and the graph structure. To tackle these issues, in this paper, we propose a novel fairness notion - graph counterfactual fairness, which considers the biases led by the above facts. To learn node representations towards graph counterfactual fairness, we propose a novel framework based on counterfactual data augmentation. In this framework, we generate counterfactuals corresponding to perturbations on each node's and their neighbors' sensitive attributes. Then we enforce fairness by minimizing the discrepancy between the representations learned from the original graph and the counterfactuals for each node. Experiments on both synthetic and real-world graphs show that our framework outperforms the state-of-the-art baselines in graph counterfactual fairness, and also achieves comparable prediction performance.


title: Chain-dependent Conditions in Extremal Set Theory

abstract: In extremal set theory our usual goal is to find the maximal size of a family of subsets of an $n$-element set satisfying a condition. A condition is called chain-dependent, if it is satisfied for a family if and only if it is satisfied for its intersections with the $n!$ full chains. We introduce a method to handle problems with such conditions, then show how it can be used to prove three classic theorems. Then, a theorem about families containing no two sets such that $A\subset B$ and $\lambda \cdot |A| \le |B|$ is proved. Finally, we investigate problems where instead of the size of the family, the number of $\ell$-chains is maximized. Our method is to define a weight function on the sets (or $\ell$-chains) and use it in a double counting argument involving full chains.


title: Structural measures of similarity and complementarity in complex networks

abstract: The principle of similarity, or homophily, is often used to explain patterns observed in complex networks such as transitivity and the abundance of triangles (3-cycles). However, many phenomena from division of labor to protein-protein interactions (PPI) are driven by complementarity (differences and synergy). Here we show that the principle of complementarity is linked to the abundance of quadrangles (4-cycles) and dense bipartite-like subgraphs. We link both principles to their characteristic motifs and introduce two families of coefficients of: (1) structural similarity, which generalize local clustering and closure coefficients and capture the full spectrum of similarity-driven structures; (2) structural complementarity, defined analogously but based on quadrangles instead of triangles. Using multiple social and biological networks, we demonstrate that the coefficients capture structural properties related to meaningful domain-specific phenomena. We show that they allow distinguishing between different kinds of social relations as well as measuring an increasing structural diversity of PPI networks across the tree of life. Our results indicate that some types of relations are better explained by complementarity than homophily, and may be useful for improving existing link prediction methods. We also introduce a Python package implementing efficient algorithms for calculating the proposed coefficients.


title: TtW at NLO in QCD: Full off-shell effects and precision observables

abstract: In light of recent tension between theory and experiment for the process ttW in the 3l channel, we present a phenomenological study of carefully chosen observables. We employ the full off-shell results at NLO QCD for ttW+ and ttW- to build the cross section ratio, an observable which is expected to exhibit enhanced perturbative stability. Furthermore, we also revisit the charge asymmetries of the top and its decay products at the fiducial integrated level. The impact of modelling is investigated for all observables.


title: On the altered holomorphic curvatures of Hermitian manifolds

abstract: We give a systematic treatment of the growing number of curvatures of a Hermitian metric. Natural altered variants are introduced. Particular focus is placed on the holomorphic sectional curvature, the real bisectional curvature, and the quadratic orthogonal bisectional curvature. We show that it is necessary to consider certain variants associated with cones. We exhibit the first examples that illustrate both frame dependence and frame independence of these curvatures.


title: Positive Time Series Regression Models

abstract: In this paper we discuss dynamic ARMA-type regression models for time series taking values in $(0,\infty)$. In the proposed model, the conditional mean is modeled by a dynamic structure containing autoregressive and moving average terms, time-varying regressors, unknown parameters and link functions. We introduce the new class of models and discuss partial maximum likelihood estimation, hypothesis testing inference, diagnostic analysis and forecasting.


title: Towards Group Robustness in the presence of Partial Group Labels

abstract: Learning invariant representations is an important requirement when training machine learning models that are driven by spurious correlations in the datasets. These spurious correlations, between input samples and the target labels, wrongly direct the neural network predictions resulting in poor performance on certain groups, especially the minority groups. Robust training against these spurious correlations requires the knowledge of group membership for every sample. Such a requirement is impractical in situations where the data labeling efforts for minority or rare groups are significantly laborious or where the individuals comprising the dataset choose to conceal sensitive information. On the other hand, the presence of such data collection efforts results in datasets that contain partially labeled group information. Recent works have tackled the fully unsupervised scenario where no labels for groups are available. Thus, we aim to fill the missing gap in the literature by tackling a more realistic setting that can leverage partially available sensitive or group information during training. First, we construct a constraint set and derive a high probability bound for the group assignment to belong to the set. Second, we propose an algorithm that optimizes for the worst-off group assignments from the constraint set. Through experiments on image and tabular datasets, we show improvements in the minority group's performance while preserving overall aggregate accuracy across groups.


title: Neuroplastic graph attention networks for nuclei segmentation in histopathology images

abstract: Modern histopathological image analysis relies on the segmentation of cell structures to derive quantitative metrics required in biomedical research and clinical diagnostics. State-of-the-art deep learning approaches predominantly apply convolutional layers in segmentation and are typically highly customized for a specific experimental configuration; often unable to generalize to unknown data. As the model capacity of classical convolutional layers is limited by a finite set of learned kernels, our approach uses a graph representation of the image and focuses on the node transitions in multiple magnifications. We propose a novel architecture for semantic segmentation of cell nuclei robust to differences in experimental configuration such as staining and variation of cell types. The architecture is comprised of a novel neuroplastic graph attention network based on residual graph attention layers and concurrent optimization of the graph structure representing multiple magnification levels of the histopathological image. The modification of graph structure, which generates the node features by projection, is as important to the architecture as the graph neural network itself. It determines the possible message flow and critical properties to optimize attention, graph structure, and node updates in a balanced magnification loss. In experimental evaluation, our framework outperforms ensembles of state-of-the-art neural networks, with a fraction of the neurons typically required, and sets new standards for the segmentation of new nuclei datasets.


title: Searching for TESS Photometric Variability of Possible JWST Spectrophotometric Standard Stars

abstract: We use data from the Transiting Exoplanet Survey Satellite (TESS) to search for, and set limits on, optical to near-infrared photometric variability of the well-vetted, candidate James Webb Space Telescope (JWST) spectrophotometric standards. Our search of 37 of these candidate standards has revealed measurable periodic variability in 15 stars. The majority of those show variability that is less than half a percent; however, four stars are observed to vary photometrically, from minimum to maximum flux, by more than 1% (the G dwarf HD 38949 and three fainter A dwarfs). Variability of this size would likely impact the error budget in the spectrophotometric calibration of the science instruments aboard JWST. For the 22 candidate standards with no detected variability, we report upper limits on the observed changes in flux. Despite some systematic noise, all stars brighter than 12 magnitude in the TESS band show a 3 sigma upper limit on the total change in brightness of less than half a percent on time scales between an hour and multiple weeks, empirically establishing their suitability as spectrophotometric standards. We further discuss the value and limits of high-cadence, high-precision photometric monitoring with TESS as a tool to vet the suitability of stars to act as spectrophotometric standards.


title: A Perspective on Electrical Generation of Spin Current for Magnetic Random Access Memories

abstract: Spin currents are used to write information in magnetic random access memory (MRAM) devices by switching the magnetization direction of one of the ferromagnetic electrodes of a magnetic tunnel junction (MTJ) nanopillar. Different physical mechanisms of conversion of charge current to spin current can be used in 2-terminal and 3-terminal device geometries. In 2-terminal devices, charge-to-spin conversion occurs by spin filtering in the MTJ's ferromagnetic electrodes and present day MRAM devices operate near the theoretically expected maximum charge-to-spin conversion efficiency. In 3-terminal devices, spin-orbit interactions in a channel material can also be used to generate large spin currents. In this perspective article, we discuss charge-to-spin conversion processes that can satisfy the requirements of MRAM technology. We emphasize the need to develop channel materials with larger charge-to-spin conversion efficiency -- that can equal or exceed that produced by spin filtering -- and spin currents with a spin polarization component perpendicular to the channel interface. This would enable high-performance devices based on sub-20 nm diameter perpendicularly magnetized MTJ nanopillars without need of a symmetry breaking field. We also discuss MRAM characteristics essential for CMOS integration. Finally, we identify critical research needs for charge-to-spin conversion measurements and metrics that can be used to optimize device channel materials and interface properties prior to full MTJ nanopillar device fabrication and characterization.


title: Ferroelectrics and Photovoltaics in Endohedral Fullerenes-based van der Waals Heterostructures

abstract: Using the density functional theory calculations, we studied the ferroelectric, electrical and optical properties of series of bias-controllable endohedral fullerenes (TM@C28, TM= Ti-Ni). The important finding is that Cr@C28 has a large electric dipole moment and an appropriate bandgap (~1.2eV) as building blocks for ferroelectric-photovoltaic materials. By sandwiching Cr@C28 molecules between two van der Waals layers, e.g., graphene or transition metal dichalcogenides, the heterostructures may have exotic ferroelectric and photovoltaic properties with high tunability and performance.


title: Alloyed B-(AlxGa1-x)2O3 bulk Czochralski single B-(Al0.1Ga0.9)2O3 and polycrystals B-(Al0.33Ga0.66)2O3, B-(Al0.5Ga0.5)2O3), and property trends

abstract: In this work, bulk Czochralski-grown single crystals of 10 mol. % Al2O3 alloyed B-Ga2O3 - monoclinic 10% AGO or B-(Al0.1Ga0.9)2O3 - are obtained, which show +0.20 eV increase in the bandgap compared with unintentionally doped B-Ga2O3. Further, growths of 33% AGO - B-(Al0.33Ga0.67)2O3 - and 50% AGO - B-(Al0.5Ga0.5)2O3 or B-AlGaO3 - produce polycrystalline single-phase monoclinic material (B-AGO). All three compositions are investigated by x-ray diffraction, Raman spectroscopy, optical absorption, and 27Al nuclear magnetic resonance (NMR). By investigating single phase B-AGO over a large range of Al2O3 concentrations (10 - 50 mol. %), broad trends in the lattice parameter, vibrational modes, optical bandgap, and crystallographic site preference are determined. All lattice parameters show a linear trend with Al incorporation. According to NMR, aluminum incorporates on both crystallographic sites of B-Ga2O3, with a slight preference for the octahedral (GaII) site, which becomes more disordered with increasing Al. Single crystals of 10% AGO were also characterized by x-ray rocking curve, transmission electron microscopy, purity (glow discharge mass spectroscopy and x-ray fluorescence), optical transmission (200 nm - 20 um wavelengths), and resistivity. These measurements suggest that electrical compensation by impurity acceptor doping is not the likely explanation for high resistivity, but rather the shift of a hydrogen level from a shallow donor to a deep acceptor due to Al alloying. .. Cont. This article may be downloaded for personal use only. Any other use requires prior permission of the author and AIP Publishing. This article appeared in Journal of Applied Physics 131 155702.


title: PrintsGAN: Synthetic Fingerprint Generator

abstract: A major impediment to researchers working in the area of fingerprint recognition is the lack of publicly available, large-scale, fingerprint datasets. The publicly available datasets that do exist contain very few identities and impressions per finger. This limits research on a number of topics, including e.g., using deep networks to learn fixed length fingerprint embeddings. Therefore, we propose PrintsGAN, a synthetic fingerprint generator capable of generating unique fingerprints along with multiple impressions for a given fingerprint. Using PrintsGAN, we synthesize a database of 525k fingerprints (35K distinct fingers, each with 15 impressions). Next, we show the utility of the PrintsGAN generated dataset by training a deep network to extract a fixed-length embedding from a fingerprint. In particular, an embedding model trained on our synthetic fingerprints and fine-tuned on a small number of publicly available real fingerprints (25K prints from NIST SD302) obtains a TAR of 87.03% @ FAR=0.01% on the NIST SD4 database (a boost from TAR=73.37% when only trained on NIST SD302). Prevailing synthetic fingerprint generation methods do not enable such performance gains due to i) lack of realism or ii) inability to generate multiple impressions per finger. We plan to release our database of synthetic fingerprints to the public.


title: Continuous-Time Probabilistic Models for Longitudinal Electronic Health Records

abstract: Analysis of longitudinal Electronic Health Record (EHR) data is an important goal for precision medicine. Difficulty in applying Machine Learning (ML) methods, either predictive or unsupervised, stems in part from the heterogeneity and irregular sampling of EHR data. We present an unsupervised probabilistic model that captures nonlinear relationships between variables over continuous-time. This method works with arbitrary sampling patterns and captures the joint probability distribution between variable measurements and the time intervals between them. Inference algorithms are derived that can be used to evaluate the likelihood of future using under a trained model. As an example, we consider data from the United States Veterans Health Administration (VHA) in the areas of diabetes and depression. Likelihood ratio maps are produced showing the likelihood of risk for moderate-severe vs minimal depression as measured by the Patient Health Questionnaire-9 (PHQ-9).


title: Besse projective spaces with many diameters

abstract: It is known that Blaschke manifolds (where injectivity radius equals diameter) are Besse manifolds (where all geodesics are closed). We show that Besse manifolds with sufficiently many diameter realizing directions are Blaschke. We also provide bounds in terms of diameter on the length of the shortest closed geodesic for pinched curvature metrics on simply connected manifolds.


title: Homepage2Vec: Language-Agnostic Website Embedding and Classification

abstract: Currently, publicly available models for website classification do not offer an embedding method and have limited support for languages beyond English. We release a dataset of more than two million category-labeled websites in 92 languages collected from Curlie, the largest multilingual human-edited Web directory. The dataset contains 14 website categories aligned across languages. Alongside it, we introduce Homepage2Vec, a machine-learned pre-trained model for classifying and embedding websites based on their homepage in a language-agnostic way. Homepage2Vec, thanks to its feature set (textual content, metadata tags, and visual attributes) and recent progress in natural language representation, is language-independent by design and generates embedding-based representations. We show that Homepage2Vec correctly classifies websites with a macro-averaged F1-score of 0.90, with stable performance across low- as well as high-resource languages. Feature analysis shows that a small subset of efficiently computable features suffices to achieve high performance even with limited computational resources. We make publicly available the curated Curlie dataset aligned across languages, the pre-trained Homepage2Vec model, and libraries


title: Morita equivalence of w*-rigged modules

abstract: The $w^{\star}$-rigged modules over dual operator algebras were introduced by Blecher and Kashyap as a generalization of $W^{\star}$-modules. In this paper, we introduce two new types of Morita equivalence between right $w^{\star}$-rigged modules over unital dual operator algebras and we examine whether these notions imply stable isomorphism between the corresponding modules. Furthermore we investigate them in detail for the class of right $w^{\star}$-rigged modules over nest algebras, that was characterised by G.K.Eleftherakis.


abstract: This paper presents the phonological, morphological, and syntactic distinctions between formal and informal Persian, showing that these two variants have fundamental differences that cannot be attributed solely to pronunciation discrepancies. Given that informal Persian exhibits particular characteristics, any computational model trained on formal Persian is unlikely to transfer well to informal Persian, necessitating the creation of dedicated treebanks for this variety. We thus detail the development of the open-source Informal Persian Universal Dependency Treebank, a new treebank annotated within the Universal Dependencies scheme. We then investigate the parsing of informal Persian by training two dependency parsers on existing formal treebanks and evaluating them on out-of-domain data, i.e. the development set of our informal treebank. Our results show that parsers experience a substantial performance drop when we move across the two domains, as they face more unknown tokens and structures and fail to generalize well. Furthermore, the dependency relations whose performance deteriorates the most represent the unique properties of the informal variant. The ultimate goal of this study that demonstrates a broader impact is to provide a stepping-stone to reveal the significance of informal variants of languages, which have been widely overlooked in natural language processing tools across languages.