title: Direct Optimal Mapping for 21cm Cosmology: A Demonstration with the Hydrogen Epoch of Reionization Array

abstract: Motivated by the desire for wide-field images with well-defined statistical properties for 21cm cosmology, we implement an optimal mapping pipeline that computes a maximum likelihood estimator for the sky using the interferometric measurement equation. We demonstrate this direct optimal mapping with data from the Hydrogen Epoch of Reionization (HERA) Phase I observations. After validating the pipeline with simulated data, we develop a maximum likelihood figure-of-merit for comparing four sky models at 166MHz with a bandwidth of 100kHz. The HERA data agree with the GLEAM catalogs to <10%. After subtracting the GLEAM point sources, the HERA data discriminate between the different continuum sky models, providing most support for the model of Byrne et al. 2021. We report the computation cost for mapping the HERA Phase I data and project the computation for the HERA 320-antenna data; both are feasible with a modern server. The algorithm is broadly applicable to other interferometers and is valid for wide-field and non-coplanar arrays.


title: ALMA/ACA CO Survey of the IC 1459 and NGC 4636 Groups: Environmental Effects on the Molecular Gas of Group Galaxies

abstract: We present new results of a 12CO(J=1-0) imaging survey using the Atacama Compact Array (ACA) for 31 HI detected galaxies in the IC 1459 and NGC 4636 groups. This is the first CO imaging survey for loose galaxy groups. We obtained well-resolved CO data (~0.7-1.5 kpc) for a total of 16 galaxies in two environments. By comparing our ACA CO data with the HI and UV data, we probe the impacts of the group environment on the cold gas components (CO and HI gas) and star formation activity. We find that CO and/or HI morphologies are disturbed in our group members, some of which show highly asymmetric CO distributions (e.g., IC 5264, NGC 7421, and NGC 7418). In comparison with isolated galaxies in the xCOLD GASS sample, our group galaxies tend to have low star formation rates and low H2 gas fractions. Our findings suggest that the group environment can change the distribution of cold gas components, including the molecular gas, and star formation properties of galaxies. This is supporting evidence that preprocessing in the group-like environment can play an important role in galaxy evolution.


title: Homological invariants of Pauli stabilizer codes

abstract: We study translationally invariant Pauli stabilizer codes with qudits of arbitrary, not necessarily uniform, dimensions. Using homological methods, we define a series of invariants called charge modules. We describe their properties and physical meaning. The most complete results are obtained for codes whose charge modules have Krull dimension zero. This condition is interpreted as mobility of excitations. We show that it is always satisfied for translation invariant 2D codes with unique ground state in infinite volume, which was previously known only in the case of uniform, prime qudit dimension. For codes all of whose excitations are mobile we construct a $p$-dimensional excitation and a $(D-p-1)$-form symmetry for every element of the $p$-th charge module. Moreover, we define a braiding pairing between charge modules in complementary degrees. We discuss examples which illustrate how charge modules and braiding can be computed in practice.


title: A general study of decaying scalar dark matter: existing limits and projected radio signals at the SKA

abstract: We consider a decaying scalar dark matter (DM) with mass $m_\chi$ in the range 10 GeV - 10 TeV and vary the branching ratios of all possible two-body SM final states (excluding and including $\nu\bar{\nu}$) in the range $0\%-100\%$ to derive constraints on the total decay width $\Gamma$ using the data collected by several astrophysical and cosmological observations. We find that, $\Gamma \lesssim 10^{-26} - 10^{-27}\,{\rm s}^{-1}$ (excluding $\nu\bar{\nu}$) and $\Gamma \lesssim 10^{-24} - 10^{-26}\,{\rm s}^{-1}$ (including $\nu\bar{\nu}$) are allowed, depending on the values of $m_\chi$, which are most robust upper limits on $\Gamma$ for a generic decaying scalar DM. We then investigate the prospect of the upcoming Square Kilometre Array (SKA) radio telescope in detecting the DM decay induced radio signals originating inside the dwarf spheroidal (dSph) galaxies. We have classified the DM parameter space, allowed by the existing observations, independently of the branching ratio of each individual two-body SM final state, based on the detectability at the SKA. Excluding the $\nu\bar{\nu}$ decay mode, we find that, throughout the DM mass range considered, $\Gamma \gtrsim 10^{-30}\,{\rm s}^{-1} - 10^{-29}\,{\rm s}^{-1}$ is detectable for all possible branching ratio combinations at the SKA (assuming 100 hours of observation time), with conservative choices for the relevant astrophysical parameters. On the other hand, when arbitrary branching ratios are allowed also for the $\nu\bar{\nu}$ decay mode, DM decays can be probed independently of the branching ratio of each SM final state for $\Gamma \gtrsim 2 \times 10^{-29}\,{\rm s}^{-1}$, provided DM masses are greater than a few hundreds of GeV.


title: Energy Complexity of Regular Languages

abstract: Each step that results in a bit of information being ``forgotten'' by a computing device has an intrinsic energy cost. Although any Turing machine can be rewritten to be thermodynamically reversible without changing the recognized language, finite automata that are restricted to scan their input once in ``real-time'' fashion can only recognize the members of a proper subset of the class of regular languages in this reversible manner. We study the energy expenditure associated with the computations of deterministic and quantum finite automata. We prove that zero-error quantum finite automata have no advantage over their classical deterministic counterparts in terms of the maximum obligatory thermodynamic cost associated by any step during the recognition of different regular languages. We also demonstrate languages for which ``error can be traded for energy'', i.e. whose zero-error recognition is associated with computation steps having provably bigger obligatory energy cost when compared to their bounded-error recognition by real-time finite-memory quantum devices. We show that regular languages can be classified according to the intrinsic energy requirements on the recognizing automaton as a function of input length, and prove upper and lower bounds.


title: The least singular value of the general deformed Ginibre ensemble

abstract: We study the least singular value of the $n\times n$ matrix $H-z$ with $H=A_0+H_0$, where $H_0$ is drawn from the complex Ginibre ensemble of matrices with iid Gaussian entries, and $A_0$ is some general $n\times n$ matrix with complex entries (it can be random and in this case it is independent of $H_0$). Assuming some rather general assumptions on $A_0$, we prove an optimal tail estimate on the least singular value in the regime where $z$ is around the spectral edge of $H$ thus generalize the recent result of Cipolloni, Erd\H{o}s, Schr\"{o}der arxiv:1908.01653 to the case $A_0\ne 0$. The result improves the classical bound by Sankar, Spielman and Teng.


title: Some remarks on the Schweitzer complex

abstract: We prove that the Schweitzer complex is elliptic and its cohomologies define cohomological functors. As applications, we obtain finite dimensionality, a version of Serre duality, restrictions of the behaviour of cohomology in small deformations, and an index formula which turns out to be equivalent to the Hirzebruch-Riemann-Roch relations.


title: CUNI-KIT System for Simultaneous Speech Translation Task at IWSLT 2022

abstract: In this paper, we describe our submission to the Simultaneous Speech Translation at IWSLT 2022. We explore strategies to utilize an offline model in a simultaneous setting without the need to modify the original model. In our experiments, we show that our onlinization algorithm is almost on par with the offline setting while being $3\times$ faster than offline in terms of latency on the test set. We also show that the onlinized offline model outperforms the best IWSLT2021 simultaneous system in medium and high latency regimes and is almost on par in the low latency regime. We make our system publicly available.


title: L3Cube-MahaNER: A Marathi Named Entity Recognition Dataset and BERT models

abstract: Named Entity Recognition (NER) is a basic NLP task and finds major applications in conversational and search systems. It helps us identify key entities in a sentence used for the downstream application. NER or similar slot filling systems for popular languages have been heavily used in commercial applications. In this work, we focus on Marathi, an Indian language, spoken prominently by the people of Maharashtra state. Marathi is a low resource language and still lacks useful NER resources. We present L3Cube-MahaNER, the first major gold standard named entity recognition dataset in Marathi. We also describe the manual annotation guidelines followed during the process. In the end, we benchmark the dataset on different CNN, LSTM, and Transformer based models like mBERT, XLM-RoBERTa, IndicBERT, MahaBERT, etc. The MahaBERT provides the best performance among all the models. The data and models are available at https://github.com/l3cube-pune/MarathiNLP .


title: Variable importance measures for heterogeneous causal effects

abstract: The recognition that personalised treatment decisions lead to better clinical outcomes has sparked recent research activity in the following two domains. Policy learning focuses on finding optimal treatment rules (OTRs), which express whether an individual would be better off with or without treatment, given their measured characteristics. OTRs optimize a pre-set population criterion, but do not provide insight into the extent to which treatment benefits or harms individual subjects. Estimates of conditional average treatment effects (CATEs) do offer such insights, but valid inference is currently difficult to obtain when data-adaptive methods are used. Moreover, clinicians are (rightly) hesitant to blindly adopt OTR or CATE estimates, not least since both may represent complicated functions of patient characteristics that provide little insight into the key drivers of heterogeneity. To address these limitations, we introduce novel nonparametric treatment effect variable importance measures (TE-VIMs). TE-VIMs extend recent regression-VIMs, viewed as nonparametric analogues to ANOVA statistics. By not being tied to a particular model, they are amenable to data-adaptive (machine learning) estimation of the CATE, itself an active area of research. Estimators for the proposed statistics are derived from their efficient influence curves and these are illustrated through a simulation study and an applied example.


title: A Review on Language Models as Knowledge Bases

abstract: Recently, there has been a surge of interest in the NLP community on the use of pretrained Language Models (LMs) as Knowledge Bases (KBs). Researchers have shown that LMs trained on a sufficiently large (web) corpus will encode a significant amount of knowledge implicitly in its parameters. The resulting LM can be probed for different kinds of knowledge and thus acting as a KB. This has a major advantage over traditional KBs in that this method requires no human supervision. In this paper, we present a set of aspects that we deem a LM should have to fully act as a KB, and review the recent literature with respect to those aspects.


title: Evolutionary shift detection with ensemble variable selection

abstract: 1. Abrupt environmental changes can lead to evolutionary shifts in trait evolution. Identifying these shifts is an important step in understanding the evolutionary history of phenotypes. 2. We propose an ensemble variable selection method (R package ELPASO) for the evolutionary shift detection task and compare it with existing methods (R packages l1ou and PhylogeneticEM) under several scenarios. 3. The performances of methods are highly dependent on the selection criterion. When the signal sizes are small, the methods using the Bayesian information criterion (BIC) have better performances. And when the signal sizes are large enough, the methods using the phylogenetic Bayesian information criterion (pBIC) (Khabbazian et al., 2016) have better performance. Moreover, the performance is heavily impacted by measurement error and tree reconstruction error. 4. Ensemble method + pBIC tends to perform less conservatively than l1ou + pBIC, and Ensemble method + BIC is more conservatively than l1ou + BIC. PhylogeneticEM is even more conservative with small signal sizes and falls between l1ou + pBIC and Ensemble method + BIC with large signal sizes. The results can differ between the methods, but none clearly outperforms the others. By applying multiple methods to a single dataset, we can access the robustness of each detected shift, based on the agreement among methods.


title: Text and Team: What Article Metadata Characteristics Drive Citations in Software Engineering?

abstract: Context: Citations are a key measure of scientific performance in most fields, including software engineering. However, there is limited research that studies which characteristics of articles' metadata (title, abstract, keywords, and author list) are driving citations in this field. Objective: In this study, we propose a simple theoretical model for how citations come to be with respect to article metadata, we hypothesize theoretical linkages between metadata characteristics and citations of articles, and we empirically test these hypotheses. Method: We use multiple regression analyses to examine a data set comprising the titles, abstracts, keywords, and authors of 16,131 software engineering articles published between 1990 and 2020 in 20 highly influential software engineering venues. Results: We find that number of authors, number of keywords, number of question marks and dividers in the title, number of acronyms, abstract length, abstract propositional idea density, and corresponding authors in the core Anglosphere are significantly related to citations. Conclusion: Various characteristics of articles' metadata are linked to the frequency with which the corresponding articles are cited. These results partially confirm and partially go counter to prior findings in software engineering and other disciplines.


title: New regularity estimates for fully nonlinear elliptic equations

abstract: We establish new quantitative Hessian integrability estimates for viscosity supersolutions of fully nonlinear elliptic operators. As a corollary, we show that the optimal Hessian power integrability $\varepsilon = \varepsilon(\lambda, \Lambda, n)$ in the celebrated $W^{2, \varepsilon}$-regularity estimate satisfies $$\frac{ \left (1+ \frac{2}{3}\left(1- \frac{\lambda}{\Lambda} \right )\right )^{n-1}}{\ln n^4} \cdot \left( \frac{\lambda}{\Lambda} \right) ^{n-1} \le \varepsilon \le \frac{n\lambda}{(n-1)\Lambda +\lambda}, $$ where $n\ge 3$ is the dimension and $0< \lambda < \Lambda$ are the ellipticity constants. In particular, $\left( \frac{\Lambda}{\lambda} \right) ^{n-1} \varepsilon(\lambda, \Lambda, n)$ blows-up, as $n\to\infty$; previous results yielded fast decay of such a quantity. The upper estimate improves the one obtained by Armstrong, Silvestre, and Smart in arXiv:1103.3677


title: Optimal Cybersecurity Investments Using SIS Model: Weakly Connected Networks

abstract: We study the problem of minimizing the (time) average security costs in large systems comprising many interdependent subsystems, where the state evolution is captured by a susceptible-infected-susceptible (SIS) model. The security costs reflect security investments, economic losses and recovery costs from infections and failures following successful attacks. However, unlike in existing studies, we assume that the underlying dependence graph is only weakly connected, but not strongly connected. When the dependence graph is not strongly connected, existing approaches to computing optimal security investments cannot be applied. Instead, we show that it is still possible to find a good solution by perturbing the problem and establishing necessary continuity results that then allow us to leverage the existing algorithms.


title: Bag breakup of low viscosity drops in the presence of a continuous air jet

abstract: This work examines the breakup of a single drop of various low viscosity fluids as it deforms in the presence of continuous horizontal air jet. Such a fragmentation typically occurs after the bulk liquid has disintegrated upon exiting the atomizer and is in the form of an ensemble of drops which undergo further breakup. The drop deformation and its eventual disintegration is important in evaluating the efficacy of a particular industrial process, be it combustion in automobile engines or pesticide spraying in agricultural applications. The interplay between competing influences of surface tension and aerodynamic disruptive forces is represented by the Weber number, $We$, and Ohnesorge number, $Oh$, and used to describe the breakup morphology. The breakup pattern considered in our study corresponds to that of a bag attached to a toroidal ring which occurs from $12 < We < 16$. We aim to address several issues connected with this breakup process and their dependence on $We$ and $Oh$ which have been hitherto unexplored. The $We$ boundary at which breakup begins is theoretically determined and the expression obtained, $We = 12(1 + 2/3Oh^2)$, is found to match well with experimental data available in literature. An exponential growth in the radial extent of the deformed drop and the streamline dimension of the bag is predicted by a theoretical model and confirmed by experimental findings. These quantities are observed to strongly depend on $We$. However, their dependence on $Oh$ is weak.


title: Compactness and blow up results for doubly perturbed Yamabe problems on manifolds with umbilic boundary

abstract: Given a compact Riemannian manifold with umbilic boundary, the Yamabe boundary problem studies if there exist conformal scalar-flat metrics such that the boundary has constant mean curvature. In this paper we address to the stability of this problem with respect of perturbation of mean curvature of the boundary and scalar curvature of the manifold. In particular we prove that the Yamabe boundary problem is stable under perturbation of the mean curvature and the scalar curvature from below, while it is not stable if one of the two curvatures is perturbed from above.


title: Perfectly packing a cube by cubes of nearly harmonic sidelength

abstract: Let $d$ be an integer greater than $1$, and let $t$ be fixed such that $\frac{1}{d} < t < \frac{1}{d-1}$. We prove that for any $n_0$ chosen sufficiently large depending upon $t$, the $d$-dimensional cubes of sidelength $n^{-t}$ for $n \geq n_0$ can perfectly pack a cube of volume $\sum_{n=n_0}^\infty \frac{1}{n^{dt}}$. Our work improves upon a previously known result in the three-dimensional case for when $1/3 < t \leq 4/11 $ and $n_0 = 1$ and builds upon recent work of Terence Tao in the two-dimensional case.


title: Role of Oxygen Functionalities in Graphene Oxide Architectural Laminate Subnanometer Spacing and Water Transport

abstract: Active research in nanotechnology contemplates the use of nanomaterials for engineering applications. However, a primary challenge is understanding the effects of nanomaterial properties on industrial device performance and translating unique nanoscale properties to the macroscale. One emerging example is graphene oxide (GO) membranes for separation processes. Thus, here we investigate how individual GO properties can impact layered GO characteristics and water permeability. GO chemistry and morphology were controlled with easy-to-implement photo-reduction and sonication techniques and were quantitatively correlated offering a valuable tool to speed up the characterization process. For example, one could perform chemical analysis and concurrently obtain morphology information or vice versa. Chemical GO modification allows for fine control of GO oxidation state and GO laminate nanoarchitecture enabling controlled synthesis of a GO architectural laminate (GOAL). The GOAL can be considered as the selective layer of the membrane created by interconnected sub-nanometer channels, characterized by a length and a height (i.e., GO spacing), through which water molecules permeate. Water permeability was measured for eight GOAL characterized by different GO chemistry and morphology, and indicate that GO nanochannel height dictates water transport. The simulations indicate a no-slip Darcy-like water transport regime inside the GOAL due to the presence of basal oxygen functionalities. The experimental and simulation evidence presented in this letter help create a clearer picture of water transport in GO and can be used to rationally design more effective and efficient GO membranes.


title: Extreme expectations of Bernoulli convolutions given their first few moments are attained at shifted convolutions of as few binomials

abstract: A result of Chebyshev (1864) and Hoeffding1956}, on bounding an expectation of a given function with respect to a Bernoulli convolution (also called Poisson binomial law, or law of the number of successes in independent trials) with any given first moment, is here generalised to the case of any given first few moments, as indicated in the title. A nonprobabilistic, and perhaps more obvious, reformulation is: Every permutation invariant and separately affine-linear function of $n$ real variables $x_i\in[a,b]$ assumes its extremal values given the power sums $\sum_{i=1}^nx_i^1,\ldots, \sum_{i=1}^nx_i^r$ at vectors $x$ with at most $r$ coordinate values different from $a$ and $b$.


title: Multi-modal electron microscopy study on decoherence sources and their stability in Nb based superconducting qubit

abstract: Niobium is commonly used for superconducting quantum systems as readout resonators, capacitors, and interconnects. The coherence time of the superconducting qubits is mainly limited by microwave dissipation attributed to two-level system defects at interfaces, such as the Nb/Si and Nb/air interface. One way to improve the Nb/air interface quality is by thermal annealing, as shown by extensive studies in 3D superconducting radio frequency (SRF) cavities. However, it is unclear how the microstructure and chemistry of the interface structures change during heat treatment. To address this knowledge gap, we comprehensively characterized Nb films deposited on Si wafers by physical vapor deposition, including (1) an Nb film from a transmon and (2) an Nb film without any patterning step, using an aberration-corrected transmission electron microscope. Both Nb films exhibit columnar growth with strong [110] textures. There is a double layer between the Nb film and Si substrate, which are amorphous niobium silicides with different Nb and Si concentrations. After in-situ heating of the heterostructure at 360{\deg}C inside the microscope, the composition of the double layers at the Nb-Si interface remains almost the same despite different thickness changes. The initial amorphous niobium oxide layer on Nb surface decomposes into face-centered cubic Nb nanograins in the amorphous Nb-O matrix upon heating.


title: Concave and other generalizations of stochastic Gronwall inequalities

abstract: We provide nonlinear generalizations of a class of stochastic Gronwall inequalities that have been studied by von Renesse and Scheutzow (2010), Scheutzow (2013), Xie and Zhang (2020) and Mehri and Scheutzow (2021). This class of stochastic Gronwall inequalities is a useful tool for SDEs. More precisely, we study generalizations of the Bihari-LaSalle type. Whilst in a closely connected article by the author convex generalizations are studied, we investigate here concave and other generalizations. These types of estimates are useful to obtain existence and uniqueness of global solutions of path-dependent SDEs driven by L\'evy processes under one-sided non-Lipschitz monotonicity and coercivity assumptions.


title: A fully Bayesian sparse polynomial chaos expansion approach with joint priors on the coefficients and global selection of terms

abstract: Polynomial chaos expansion (PCE) is a versatile tool widely used in uncertainty quantification and machine learning, but its successful application depends strongly on the accuracy and reliability of the resulting PCE-based response surface. High accuracy typically requires high polynomial degrees, demanding many training points especially in high-dimensional problems through the curse of dimensionality. So-called sparse PCE concepts work with a much smaller selection of basis polynomials compared to conventional PCE approaches and can overcome the curse of dimensionality very efficiently, but have to pay specific attention to their strategies of choosing training points. Furthermore, the approximation error resembles an uncertainty that most existing PCE-based methods do not estimate. In this study, we develop and evaluate a fully Bayesian approach to establish the PCE representation via joint shrinkage priors and Markov chain Monte Carlo. The suggested Bayesian PCE model directly aims to solve the two challenges named above: achieving a sparse PCE representation and estimating uncertainty of the PCE itself. The embedded Bayesian regularizing via the joint shrinkage prior allows using higher polynomial degrees for given training points due to its ability to handle underdetermined situations, where the number of considered PCE coefficients could be much larger than the number of available training points. We also explore multiple variable selection methods to construct sparse PCE expansions based on the established Bayesian representations, while globally selecting the most meaningful orthonormal polynomials given the available training data. We demonstrate the advantages of our Bayesian PCE and the corresponding sparsity-inducing methods on several benchmarks.


title: Imaging stars with quantum error correction

abstract: The development of high-resolution, large-baseline optical interferometers would revolutionize astronomical imaging. However, classical techniques are hindered by physical limitations including loss, noise, and the fact that the received light is generally quantum in nature. We show how to overcome these issues using quantum communication techniques. We present a general framework for using quantum error correction codes for protecting and imaging starlight received at distant telescope sites. In our scheme, the quantum state of light is coherently captured into a non-radiative atomic state via Stimulated Raman Adiabatic Passage, which is then imprinted into a quantum error correction code. The code protects the signal during subsequent potentially noisy operations necessary to extract the image parameters. We show that even a small quantum error correction code can offer significant protection against noise. For large codes, we find noise thresholds below which the information can be preserved. Our scheme represents an application for near-term quantum devices that can increase imaging resolution beyond what is feasible using classical techniques.


title: Performance Evaluation and Acceleration of the QTensor Quantum Circuit Simulator on GPUs

abstract: This work studies the porting and optimization of the tensor network simulator QTensor on GPUs, with the ultimate goal of simulating quantum circuits efficiently at scale on large GPU supercomputers. We implement NumPy, PyTorch, and CuPy backends and benchmark the codes to find the optimal allocation of tensor simulations to either a CPU or a GPU. We also present a dynamic mixed backend to achieve optimal performance. To demonstrate the performance, we simulate QAOA circuits for computing the MaxCut energy expectation. Our method achieves $176\times$ speedup on a GPU over the NumPy baseline on a CPU for the benchmarked QAOA circuits to solve MaxCut problem on a 3-regular graph of size 30 with depth $p=4$.


title: Avoiding Unintended Consequences: How Incentives Aid Information Provisioning in Bayesian Congestion Games

abstract: When users lack specific knowledge of various system parameters, their uncertainty may lead them to make undesirable deviations in their decision making. To alleviate this, an informed system operator may elect to signal information to uninformed users with the hope of persuading them to take more preferable actions. In this work, we study public and truthful signalling mechanisms in the context of Bayesian congestion games on parallel networks. We provide bounds on the possible benefit a signalling policy can provide with and without the concurrent use of monetary incentives. We find that though revealing information can reduce system cost in some settings, it can also be detrimental and cause worse performance than not signalling at all. However, by utilizing both signalling and incentive mechanisms, the system operator can guarantee that revealing information does not worsen performance while offering similar opportunities for improvement. These findings emerge from the closed form bounds we derive on the benefit a signalling policy can provide. We provide a numerical example which illustrates the phenomenon that revealing more information can degrade performance when incentives are not used and improves performance when incentives are used.


title: Characterizations of Loxodromes on Rotational Surfaces in Euclidean 3--Space

abstract: In this paper, we study on the characterizations of loxodromes on the rotational surfaces satisfying some special geometric properties such as having constant Gaussian curvature, flat and minimality in Euclidean 3-space. First, we give the parametrizations of loxodromes parametrized by arc-length parameter on any rotational surfaces in $\mathbb{E}^{3}$ and then, we calculate the curvature and the torsion of such loxodromes. Then, we give the parametrizations of loxodromes on rotational surfaces with constant Gaussian curvature. In particular, we prove that the loxodrome on the flat rotational surface is a general helix. Also, we investigate the loxodromes on the rotational surfaces with a constant ratio of principal curvatures (CRPC rotational surfaces). Moreover, we give the parametrizations of loxodromes on the minimal rotational surface which is a special case of CRPC rotational surfaces. Then, we show that the loxodrome intersects the meridians of minimal rotational surface by the angle $\pi/{4}$ becomes an asymptotic curve. Finally, we give some visual examples to strengthen our main results via Wolfram Mathematica.


title: The cosmological constant vs adiabatic invariance

abstract: The property of adiabatic invariance is studied for the generalized potential satisfying the condition of identity of sphere's and point mass's gravity. That function contains a second term corresponding to the cosmological constant as weak-field General Relativity and enables to describe the dynamics of groups and clusters of galaxies and the Hubble tension as a result of two flows, local and global ones. Using the adiabatic invariance approach we derive the orbital parameters via Weierstrass functions, including the formula for the eccentricity which explicitly reveals the differences from the Kepler problem.


title: On the Rate-Distortion-Perception Function

abstract: Rate-distortion-perception theory generalizes Shannon's rate-distortion theory by introducing a constraint on the perceptual quality of the output. The perception constraint complements the conventional distortion constraint and aims to enforce distribution-level consistencies. In this new theory, the information-theoretic limit is characterized by the rate-distortion-perception function. Although a coding theorem for the rate-distortion-perception function has recently been established, the fundamental nature of the optimal coding schemes remains unclear, especially regarding the role of randomness in encoding and decoding. It is shown in the present work that except for certain extreme cases, the rate-distortion-perception function is achievable by deterministic codes. This paper also clarifies the subtle differences between two notions of perfect perceptual quality and explores some alternative formulations of the perception constraint.


title: Optimal Control with Broken Symmetry of Multi-Agent Systems on Lie Groups

abstract: In this paper we study reduction by symmetry for optimality conditions in optimal control problems of left-invariant affine multi-agent control systems, with partial symmetry breaking cost functions. Our approach emphasizes the role of variational principles. Specifically, we recast the optimal control problem as a constrained variational problem with a partial symmetry breaking Hamiltonian and obtain the reduced optimality conditions from a reduced variational principle via Pontryagin Maximum Principle. We apply the results to a collision avoidance problem for multiple unicycles in the presence of an obstacle.


title: On rearrangement inequalities for T-norm logics

abstract: The rearrangement inequality states that the sum of products of permutations of 2 sequences of real numbers are maximized when the terms are similarly ordered and minimized when the terms are ordered in opposite order. We show that similar inequalities exist for multi-valued logic with the multiplication and addition operation replaced with various T-norms and T-conorms respectively. For instance, we show that the rearrangement inequality holds when the T-norms and T-conorms are derived from Archimedean copulas.


title: Coloured Isomorphism of Classifiable C*-algebras

abstract: It is shown that the coloured isomorphism class of a unital, simple, $\mathcal{Z}$-stable, separable amenable C$^*$-algebra satisfying the Universal Coefficient Theorem (UCT) is determined by its tracial simplex.


title: On the generalized Ramanujan conjecture over function fields

abstract: Let $G$ be a simple group over a global function field $K$, and let $\pi$ be a cuspidal automorphic representation of $G$. Suppose $K$ has two places $u$ and $v$ (satisfying a mild restriction on the residue field cardinality), at which the group $G$ is quasi-split, such that $\pi_u$ is tempered and $\pi_v$ is unramified and generic. We prove that $\pi$ is tempered at all unramified places $K_w$ at which $G$ is unramified quasi-split. The proof uses the Galois parametrization of cuspidal representations due to V. Lafforgue to relate the local Satake parameters of $\pi$ to Deligne's theory of Frobenius weights. The main observation is that, in view of the classification of generic unitary spherical representations, due to Barbasch and the first-named author, the theory of weights excludes generic complementary series as possible local components of $\pi$. This in turn determines the local Frobenius weights at all unramified places. In order to apply this observation in practice we need a result of the second-named author with Gan and Sawin on the weights of discrete series representations.


title: Bayes factors and posterior estimation: Two sides of the very same coin

abstract: Recently, several researchers have claimed that conclusions obtained from a Bayes factor (or the posterior odds) may contradict those obtained from Bayesian posterior estimation. In this short paper, we wish to point out that no such "incompatibility" exists if one is willing to consistently define one's priors and posteriors. The key for compatibility is that the (implied) prior model odds used for testing are the same as those used for estimation. Our recommendation is simple: If one reports a Bayes factor comparing two models, then one should also report posterior estimates which appropriately acknowledge the uncertainty with regards to which of the two models is correct.


title: Codescent and bicolimits of pseudo-algebras

abstract: We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of codescent objects. After prerequisites on pseudomonads and their pseudo-algebras, we give a 2-dimensional Linton theorem reducing bicocompleteness of 2-categories of pseudo-algebras to existence of bicoequalizers of codescent objects. Finally we prove this condition to be fulfilled in the case of a bifinitary pseudomonad, ensuring bicocompleteness.


title: Quantum circuit debugging and sensitivity analysis via local inversions

abstract: As the width and depth of quantum circuits implemented by state-of-the-art quantum processors rapidly increase, circuit analysis and assessment via classical simulation are becoming unfeasible. It is crucial, therefore, to develop new methods to identify significant error sources in large and complex quantum circuits. In this work, we present a technique that pinpoints the sections of a quantum circuit that affect the circuit output the most and thus helps to identify the most significant sources of error. The technique requires no classical verification of the circuit output and is thus a scalable tool for debugging large quantum programs in the form of circuits. We demonstrate the practicality and efficacy of the proposed technique by applying it to example algorithmic circuits implemented on IBM quantum machines.


title: The noncommutative quantum Hall effect with anomalous magnetic moment in three different relativistic scenarios

abstract: In the present paper, we investigate the bound-state solutions of the noncommutative quantum Hall effect (NCQHE) with anomalous magnetic moment (AMM) in three different relativistic scenarios, namely: the Minkowski spacetime (inertial flat case), the spinning cosmic string (CS) spacetime (inertial curved case), and the spinning CS spacetime with noninertial effects (noninertial curved case). In particular, in the first two scenarios, we have an inertial frame, while in the third, we have a rotating frame. With respect to bound-state solutions, we focus primarily on eigenfunctions (Dirac spinor and wave function) and on energy eigenvalues (Landau levels), where we use the flat and curved Dirac equation in polar coordinates to reach such solutions. However, unlike the literature, here we consider a CS with an angular momentum non-null and also the NC of the positions, and therefore, we seek a more general description for the QHE. Once the solutions are obtained, we discuss the influence of all parameters and physical quantities on relativistic energy levels. Finally, we analyze the nonrelativistic limit, and we also compared our problem with other works, where we verified that our results generalize some particular cases of the literature.


title: An Interaction Bulk-Boundary Relation and its Applications Towards Symmetry Breaking and Beyond

abstract: In this article, we propose a simple but general scaling relation between interactions in a gapped bulk topological matter and gapless interacting surface states. We explicitly illustrate such a generic bulk-boundary relation (BBR) for a few specific interactions in a topological quantum matter, where we can perform dimensional reduction of a microscopic bulk theory to project out interacting surfaces. We have examined renormalization effects of the gapped bulk fermions on the interacting topological surface fermions. As simple applications, we utilize effective interacting quantum fields implied by BBR to explore feasibility of routes to various fascinating emergent phenomena on surfaces including emergent Majorana fermions induced by spontaneous symmetry breaking. We obtain sufficient conditions for these interacting surface phenomena to take place. We have also found that for given bulk electron-phonon interactions and when \Omega_{D} \geq m, the phonon-mediated interactions on surface are strongest if the bulk Debye frequency \Omega_{D} matches m, the mass gap of the topological matter


title: A combinatorial model for the fermionic diagonal coinvariant ring

abstract: Let $\Theta_n = (\theta_1, \dots, \theta_n)$ and $\Xi_n = (\xi_1, \dots, \xi_n)$ be two lists of $n$ variables and consider the diagonal action of $\mathfrak{S}_n$ on the exterior algebra $\wedge \{ \Theta_n, \Xi_n \}$ generated by these variables. Jongwon Kim and Rhoades defined and studied the fermionic diagonal coinvariant ring $FDR_n$ obtained from $\wedge \{ \Theta_n, \Xi_n \}$ by modding out by the $\mathfrak{S}_n$-invariants with vanishing constant term. In joint work with Rhoades we gave a basis for the maximal degree components of this ring where the action of $\mathfrak{S}_n$ could be interpreted combinatorially via noncrossing set partitions. This paper will do similarly for the entire ring, although the combinatorial interpretation will be limited to the action of $\mathfrak{S}_{n-1} \subset \mathfrak{S}_n$. The basis will be indexed by a certain class of noncrossing partitions.


title: The Carleman-based contraction principle to reconstruct the potential of nonlinear hyperbolic equations

abstract: We develop an efficient and convergent numerical method for solving the inverse problem of determining the potential of nonlinear hyperbolic equations from lateral Cauchy data. In our numerical method we construct a sequence of linear Cauchy problems whose corresponding solutions converge to a function that can be used to efficiently compute an approximate solution to the inverse problem of interest. The convergence analysis is established by combining the contraction principle and Carleman estimates. We numerically solve the linear Cauchy problems using a quasi-reversibility method. Numerical examples are presented to illustrate the efficiency of the method.


title: Measuring Optical Extinction Towards Young Stellar Objects Using Diffuse Interstellar Bands

abstract: Line-of-sight extinction estimates to well-studied young T Tauri and Herbig Ae/Be stars are based on many different measurements and analysis methods. This has resulted in wide scatter among the published $A_V$ values for the same star. In this work, we discuss the challenges in measuring extinction to actively accreting and especially outbursting young stellar objects (YSOs). We then explore a method not previously applied to young stars utilizing diffuse interstellar bands (DIBs). In early-type stars, narrow correlations exist between DIB equivalent widths and the column density of interstellar material, and therefore the line-of-sight extinction. Here, we measure equivalent widths of the 5780 \AA\ and 6614 \AA\ DIB features in a sample of actively accreting YSOs, and apply a DIB-reddening calibration to estimate reddening and subsequently extinction. Our calibration is newly derived from a composite of available literature data and fully accounts for the scatter in these measurements. We also compare the DIBs-inferred optical line-of-sight extinction values with previous extinction estimates for our sample stars.


title: Local and global topological complexity measures OF ReLU neural network functions

abstract: We apply a generalized piecewise-linear (PL) version of Morse theory due to Grunert-Kuhnel-Rote to define and study new local and global notions of topological complexity for fully-connected feedforward ReLU neural network functions, F: R^n -> R. Along the way, we show how to construct, for each such F, a canonical polytopal complex K(F) and a deformation retract of the domain onto K(F), yielding a convenient compact model for performing calculations. We also give a construction showing that local complexity can be arbitrarily high.


title: Sonified distance in sensory substitution does not always improve localization: comparison with a 2D and 3D handheld device

abstract: Early visual to auditory substitution devices encode 2D monocular images into sounds while more recent devices use distance information from 3D sensors. This study assesses whether the addition of sound-encoded distance in recent systems helps to convey the "where" information. This is important to the design of new sensory substitution devices. We conducted experiments for object localization and navigation tasks with a handheld visual to audio substitution system. It comprises 2D and 3D modes. Both encode in real-time the position of objects in images captured by a camera. The 3D mode encodes in addition the distance between the system and the object. Experiments have been conducted with 16 blindfolded sighted participants. For the localization, participants were quicker to understand the scene with the 3D mode that encodes distances. On the other hand, with the 2D only mode, they were able to compensate for the lack of distance encoding after a small training. For the navigation, participants were as good with the 2D only mode than with the 3D mode encoding distance.


title: Massive MIMO Beam Management in Sub-6 GHz 5G NR

abstract: Beam codebooks are a new feature of massive multiple-input multiple-output (M-MIMO) in 5G new radio (NR). Codebooks comprised of beamforming vectors are used to transmit reference signals and obtain limited channel state information (CSI) from receivers via the codeword index. This enables large arrays that cannot otherwise obtain sufficient CSI. The performance, however, is limited by the codebook design. In this paper, we show that machine learning can be used to train site-specific codebooks for initial access. We design a neural network based on an autoencoder architecture that uses a beamspace observation in combination with RF environment characteristics to improve the synchronization signal (SS) burst codebook. We test our algorithm using a flexible dataset of channels generated from QuaDRiGa. The results show that our model outperforms the industry standard (DFT beams) and approaches the optimal performance (perfect CSI and singular value decomposition (SVD)-based beamforming), using only a few bits of feedback.


title: One- and two-axis squeezing via laser coupling in an atomic Fermi-Hubbard model

abstract: We study a production of spin-squeezed states with ultra-cold atomic fermions described by the Fermi-Hubbard model in the Mott insulating phase. We show activation of two twisting mechanisms by a position-dependent laser coupling between internal degrees of freedom of atoms. A single laser coupling simulates the one-axis twisting model with the orientation of the twisting axis determined by the coupling phase. Adding a second laser beam with a properly chosen phase paves the way to simulate the two-axis counter-twisting model, enabling to approach the Heisenberg-limited level of squeezing.


title: Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems

abstract: We present a study of crash-consistency bugs in persistent-memory (PM) file systems and analyze their implications for file-system design and testing crash consistency. We develop FlyTrap, a framework to test PM file systems for crash-consistency bugs. FlyTrap discovered 18 new bugs across four PM file systems; the bugs have been confirmed by developers and many have been already fixed. The discovered bugs have serious consequences such as breaking the atomicity of rename or making the file system unmountable. We present a detailed study of the bugs we found and discuss some important lessons from these observations. For instance, one of our findings is that many of the bugs are due to logic errors, rather than errors in using flushes or fences; this has important applications for future work on testing PM file systems. Another key finding is that many bugs arise from attempts to improve efficiency by performing metadata updates in-place and that recovery code that deals with rebuilding in-DRAM state is a significant source of bugs. These observations have important implications for designing and testing PM file systems. Our code is available at https://github.com/utsaslab/flytrap .


title: Atomic-Void van der Waals Channel Waveguides

abstract: Layered van der Waals materials offer a unique platform for creating atomic-void channels with sub-nanometer dimensions. Coupling light into these channels may further advance sensing, quantum information, and single molecule chemistries. Here we examine limits of light guiding in atomic-void channels and show that van der Waals materials exhibiting strong resonances - excitonic and polaritonic - are ideally suited for deeply subwavelength light guiding. We demonstrate that excitonic transition metal dichalcogenides can squeeze > 70% of optical power in just < {\lambda}/100 thick channel in the visible and near-infrared. We also show that polariton resonances of hexagonal boron nitride allow deeply subwavelength (< {\lambda}/500) guiding in the mid-infrared. We further reveal effects of natural material anisotropy and discuss the influence of losses. Our analysis shows van der Waals channel waveguides while offering extreme optical confinement exhibit significantly lower loss compared to plasmonic counterparts. Such atomic void waveguides pave the way to low loss and deeply subwavelength optics.


title: Encodability Criteria for Quantum Based Systems

abstract: Quantum based systems are a relatively new research area for that different modelling languages including process calculi are currently under development. Encodings are often used to compare process calculi. Quality criteria are used then to rule out trivial or meaningless encodings. In this new context of quantum based systems, it is necessary to analyse the applicability of these quality criteria and to potentially extend or adapt them. As a first step, we test the suitability of classical criteria for encodings between quantum based languages and discuss new criteria. Concretely, we present an encoding, from a language inspired by CQP into a language inspired by qCCS. We show that this encoding satisfies compositionality, name invariance (for channel and qubit names), operational correspondence, divergence reflection, success sensitiveness, and that it preserves the size of quantum registers. Then we show that there is no encoding from qCCS into CQP that is compositional, operationally corresponding, and success sensitive.


title: A spectral expansion for the symmetric space $\mathrm{GL}_n(E)/\mathrm{GL}_n(F)$

abstract: In this article we state and prove the spectral expansion of theta series attached to the symmetric space $\mathrm{GL}_n(E)/\mathrm{GL}_n(F)$ where $n\geq 1$ and $E/F$ is a quadratic extension of number fields. This is an important step towards the fine spectral expansion of the Jacquet-Rallis trace formula for general linear groups. To obtain our result, we extend the work of Jacquet-Lapid-Rogawski on intertwining periods to the case of discrete automorphic representations. The expansion we get is an absolutely convergent integral of relative characters built upon Eisenstein series and intertwining periods. We also establish a crucial but technical ingredient whose interest lies beyond the focus of the article: we prove bounds for discrete Eisenstein series on a neighborhood of the imaginary axis extending previous works of Lapid on cuspidal Eisenstein series.


title: Reversing Food Craving Preference Through Multisensory Exposure

abstract: Experiencing food craving is nearly ubiquitous and has several negative pathological impacts, but effective intervention strategies to control or reverse craving remain limited. Food cue-reactivity tasks are often used to study food craving but most paradigms ignore individual food preferences, which could confound the findings. We explored the possibility of reversing food craving preference using psychophysical tasks on human participants considering their individual food preferences in a multisensory food exposure set-up. Participants were grouped into Positive Control (PC), Negative Control (NC), and Neutral Control (NEC) based on their preference for sweet and savory items. Participants reported their momentary craving of the displayed food stimuli through desire scale and bidding scale (willingness to pay) pre and post multisensory exposure. Participants were exposed to food items they either liked or disliked. Our results asserted the effect of the multisensory food exposure showing statistically significant increase in food craving for negative control post-exposure to disliked food items. Using computational model and statistical methods we also show that desire for food does not necessarily translate to willingness to pay every time and instantaneous subjective valuation of food craving is an important parameter for subsequent action. Our results further demonstrate the role of parietal N200 and centro-parietal P300 in reversing craving preference.


title: Noise Perturbation for Saliency Prediction with Psychophysical Synthetic Images

abstract: Convolutional neural networks (CNNs) have achieved great success in natural image saliency prediction. The primary goal of this study is to investigate the performance of saliency prediction in CNN and classic models with psychophysical synthetic images under noise perturbation. Is it still as decent as natural images in terms of performance? In the meantime, it can be used to investigate the relationship between CNNs and human vision, mainly low-level vision functions. On the other hand, are CNNs exact replicas of human visual function? This study used CNNs, Fourier, and spectral models inspired by low-level vision systems to investigate saliency prediction on psychophysical synthetic images rather than natural images. According to our findings, saliency prediction models inspired by Fourier and spectral theory outperformed current pre-trained deep neural networks on psychophysical images with noise perturbation. However, psychophysical models were more unstable in noise than pre-trained deep neural networks. Meanwhile, we suggested that investigating CNNs with psychophysical methods could benefit visual neuroscience and artificial neural network studies.


title: Analytic continuation over complex landscapes

abstract: In this paper we follow up the study of 'complex complex landscapes,' rugged landscapes of many complex variables. Unlike real landscapes, the classification of saddles by index is trivial. Instead, the spectrum of fluctuations at stationary points determines their topological stability under analytic continuation of the theory. Topological changes, which occur at so-called Stokes points, proliferate among saddles with marginal (flat) directions and are suppressed otherwise. This gives a direct interpretation of the gap or 'threshold' energy -- which in the real case separates saddles from minima -- as the level where the spectrum of the hessian matrix of stationary points develops a gap. This leads to different consequences for the analytic continuation of real landscapes with different structures: the global minima of 'one step replica-symmetry broken' landscapes lie beyond a threshold, their hessians are gapped, and are locally protected from Stokes points, whereas those of 'many step replica-symmetry broken' have gapless hessians and Stokes points immediately proliferate. A new matrix ensemble is found, playing the role that GOE plays for real landscapes in determining the topological nature of saddles.

categories: cond-mat.stat-mech cond-mat.dis-nn math-ph math.MP


title: Edge observables of the Maxwell-Chern-Simons theory

abstract: We analyze the Lagrangian and Hamiltonian formulations of the Maxwell-Chern-Simons theory defined on a manifold with boundary for two different sets of boundary equations derived from a variational principle. We pay special attention to the identification of the infinite chains of boundary constraints and their resolution. We identify edge observables and their algebra [which corresponds to the well-known $U(1)$ Kac-Moody algebra]. Without performing any gauge fixing, and using the Hodge-Morrey theorem, we solve the Hamilton equations whenever possible. In order to give explicit solutions, we consider the particular case in which the fields are defined on a $2$-disk. Finally, we study the Fock quantization of the system and discuss the quantum edge observables and states.


title: Skyhook: Towards an Arrow-Native Storage System

abstract: With the ever-increasing dataset sizes, several file formats such as Parquet, ORC, and Avro have been developed to store data efficiently, save the network, and interconnect bandwidth at the price of additional CPU utilization. However, with the advent of networks supporting 25-100 Gb/s and storage devices delivering 1, 000, 000 reqs/sec, the CPU has become the bottleneck trying to keep up feeding data in and out of these fast devices. The result is that data access libraries executed on single clients are often CPU-bound and cannot utilize the scale-out benefits of distributed storage systems. One attractive solution to this problem is to offload data-reducing processing and filtering tasks to the storage layer. However, modifying legacy storage systems to support compute offloading is often tedious and requires an extensive understanding of the system internals. Previous approaches re-implemented functionality of data processing frameworks and access libraries for a particular storage system, a duplication of effort that might have to be repeated for different storage systems. This paper introduces a new design paradigm that allows extending programmable object storage systems to embed existing, widely used data processing frameworks and access libraries into the storage layer with no modifications. In this approach, data processing frameworks and access libraries can evolve independently from storage systems while leveraging distributed storage systems scale-out and availability properties. We present Skyhook, an example implementation of our design paradigm using Ceph, Apache Arrow, and Parquet. We provide a brief performance evaluation of Skyhook and discuss key results.


title: Ejection-accretion connection in NLS1 AGN 1H 1934-063

abstract: Accretion and ejection of matter in active galactic nuclei (AGN) are tightly connected phenomena and represent fundamental mechanisms regulating the growth of the central supermassive black hole and the evolution of the host galaxy. However, the exact physical processes involved are not yet fully understood. We present a high-resolution spectral analysis of a simultaneous \xmm\ and \nustar\ observation of the narrow line Seyfert 1 (NLS1) AGN 1H 1934-063, during which the X-ray flux dropped by a factor of $\sim6$ and subsequently recovered within 140 kiloseconds. By means of the time-resolved and flux-resolved X-ray spectroscopy, we discover a potentially variable warm absorber and a relatively stable ultra-fast outflow (UFO, $v_\mathrm{UFO}\sim-0.075\,c$) with a mild ionization state ($\log(\xi/\mathrm{erg\,cm\,s^{-1})}\sim1.6$). The detected emission lines (especially a strong and broad feature around 1\,keV) are of unknown origin and cannot be explained with emission from plasmas in photo- or collisional-ionization equilibrium. Such emission lines could be well described by a strongly blueshifted ($z\sim-0.3$) secondary reflection off the base of the equatorial outflows, which may reveal the link between the reprocessing of the inner accretion flow photons and the ejection. However, this scenario although being very promising is only tentative and will be tested with future observations.


title: Hybrid Feature- and Similarity-Based Models for Joint Prediction and Interpretation

abstract: Electronic health records (EHRs) include simple features like patient age together with more complex data like care history that are informative but not easily represented as individual features. To better harness such data, we developed an interpretable hybrid feature- and similarity-based model for supervised learning that combines feature and kernel learning for prediction and for investigation of causal relationships. We fit our hybrid models by convex optimization with a sparsity-inducing penalty on the kernel. Depending on the desired model interpretation, the feature and kernel coefficients can be learned sequentially or simultaneously. The hybrid models showed comparable or better predictive performance than solely feature- or similarity-based approaches in a simulation study and in a case study to predict two-year risk of loneliness or social isolation with EHR data from a complex primary health care population. Using the case study we also present new kernels for high-dimensional indicator-coded EHR data that are based on deviations from population-level expectations, and we identify considerations for causal interpretations.


title: PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections

abstract: Many modern programming languages are shifting toward a functional style for collection interfaces such as sets, maps, and sequences. Functional interfaces offer many advantages, including being safe for parallelism and providing simple and lightweight snapshots. However, existing high-performance functional interfaces such as PAM, which are based on balanced purely-functional trees, incur large space overheads for large-scale data analysis due to storing every element in a separate node in a tree. This paper presents PaC-trees, a purely-functional data structure supporting functional interfaces for sets, maps, and sequences that provides a significant reduction in space over existing approaches. A PaC-tree is a balanced binary search tree which blocks the leaves and compresses the blocks using arrays. We provide novel techniques for compressing and uncompressing the blocks which yield practical parallel functional algorithms for a broad set of operations on PaC-trees such as union, intersection, filter, reduction, and range queries which are both theoretically and practically efficient. Using PaC-trees we designed CPAM, a C++ library that implements the full functionality of PAM, while offering significant extra functionality for compression. CPAM consistently matches or outperforms PAM on a set of microbenchmarks on sets, maps, and sequences while using about a quarter of the space. On applications including inverted indices, 2D range queries, and 1D interval queries, CPAM is competitive with or faster than PAM, while using 2.1--7.8x less space. For static and streaming graph processing, CPAM offers 1.6x faster batch updates while using 1.3--2.6x less space than the state-of-the-art graph processing system Aspen.


title: Understanding the compromise between skyline and ranking queries

abstract: Skyline and Ranking queries have gained great popularity in the recent years. These two techniques are crucial for multi-criteria decision support applications, which are now more popular than ever before. Skyline and Ranking queries are, however, affected by well-known limitations. In the past recent years, the database community provided numerous studies in this field with the aim to overcome the weaknesses of these two approaches. This survey introduces the reader to Skyline and Ranking queries, explaining the concepts on which they are based, with the intent to present the compromise between the two techniques: flexible skylines.


title: Acacia-Bonsai: A Modern Implementation of Downset-Based LTL Realizability

abstract: We describe our implementation of downset-manipulating algorithms used to solve the realizability problem for linear temporal logic (LTL). These algorithms were introduced by Filiot et al.~in the 2010s and implemented in the tools Acacia and Acacia+ in C and Python. We identify degrees of freedom in the original algorithms and provide a complete rewriting of Acacia in C++20 articulated around genericity and leveraging modern techniques for better performances. These techniques include compile-time specialization of the algorithms, the use of SIMD registers to store vectors, and several preprocessing steps, some relying on efficient Binary Decision Diagram (BDD) libraries. We also explore different data structures to store downsets. The resulting tool is competitive against comparable modern tools.


title: Partial H\"{o}lder Regularity for Solutions of a Class of Cross-Diffusion Systems with Entropy Structure

abstract: In this article we show a $C^{0,\alpha}$-partial regularity result for solutions of a certain class of cross-diffusion systems with entropy structure. Under slightly more stringent conditions on the system, we are able to obtain a $C^{1,\alpha}$-partial regularity result. Amongst others, our results yield the partial $C^{1,\alpha}$-regularity of weak solutions of the Maxwell-Stefan system, as well as the partial $C^{1,\alpha}$-regularity of bounded weak solutions of the Shigesada-Kawasaki-Teramoto model. The classical partial regularity theory for nonlinear parabolic systems as developed by Giaquinta and Struwe in the 80s proceeds by Campanato iteration which relies on energy methods. Our analysis here centers around the insight that, in the Campanato iteration strategy, we can replace the use of energy estimates by "entropy dissipation inequalities" and the use of the squared $L^2$-distance to measure the distance between functions by the use of the "relative entropy". In order for our strategy to work, it is necessary to regularize the entropy structure of the cross-diffusion system, thereby introducing a new technical tool, which we call the "glued entropy".


title: On the expected number of real roots of polynomials and exponential sums

abstract: The expected number of real projective roots of orthogonally invariant random homogeneous real polynomial systems is known to be equal to the square root of the B\'ezout number. A similar result is known for random multi-homogeneous systems, invariant through a product of orthogonal groups. In this note, those results are generalized to certain families of sparse polynomial systems, with no orthogonal invariance assumed.


title: Dark matter in the NMSSM with small $\lambda$ and $\kappa$

abstract: The NMSSM provides an excellent dark matter candidate, usually, the lightest neutralino ($\tilde{\chi}^0_1$) being the lightest supersymmetric particle (LSP), in the universe. It is a mixture of the bino, the neutral wino, the neutral higgsinos, and the singlino. In this work, we investigate the features of the lightest neutralino by concentrating on a specific region of the NMSSM parameter space with small values of both $\lambda$ and $\kappa$, taking into account theoretical and experimental constraints, including relic density, direct and indirect detection constraints. We have found that the LSP dark matter is a singlino-dominated neutralino for most of the sample points of the chosen scenario. Thus, contrary to expectations, the NMSSM is not comparable to the MSSM in terms of dark matter properties as $\lambda$ and $\kappa$ are very small. The LSP can also be either higgsino-dominated or bino-dominated in some parameter space. The most important parameters affecting the mass and properties of the LSP are $\kappa$, $\lambda/\kappa$, and $\mu_{\rm eff}$. Further, we notice that $\sigma^{SI}_p \approx 1.02$ $\sigma^{SI}_n$ and $\sigma^{SD}_p \approx 0.76$ $\sigma^{SD}_n$ for all the surviving sample points.


title: Universal AMG Accelerated Embedded Boundary Method Without Small Cell Stiffness

abstract: We develop a universally applicable embedded boundary finite difference method, which results in a symmetric positive definite linear system and does not suffer from small cell stiffness. Our discretization is efficient for the wave, heat and Poisson's equation with Dirichlet boundary conditions. When the system needs to be inverted we can use the conjugate gradient method, accelerated by algebraic multigrid techniques. A series of numerical tests for the wave, heat and Poisson's equation and applications to shape optimization problems verify the accuracy, stability, and efficiency of our method. Our fast computational techniques can be extended to moving boundary problems (e.g. Stefan problem), to the Navier-Stokes equations, and to the Grad-Shafranov equations for which problems are posed on domains with complex geometry and fast simulations are very important.


title: Yellow Post-Asymptotic-Giant-Branch Stars as Standard Candles. I. Calibration of the Luminosity Function in Galactic Globular Clusters

abstract: We use results of a survey for low-surface-gravity stars in Galactic (and LMC) globular clusters to show that "yellow" post-asymptotic-giant-branch (yPAGB) stars are likely to be excellent extragalactic standard candles, capable of producing distances to early-type galaxies that are accurate to a few percent. We show that the mean bolometric magnitude of the 10 known yPAGB stars in globular clusters is <Mbol> = -3.38 +/- 0.03, a value that is ~0.2 mag brighter than that predicted from the latest post-horizontal-branch evolutionary tracks. More importantly, we show that the observed dispersion in the distribution is only 0.10 mag, i.e., smaller than the scatter for individual Cepheids. We describe the physics that can produce such a small dispersion, and show that, if one restricts surveys to the color range 0 < (B-V)0 < 0.5, then samples of non-variable yPAGB stars can be identified quite easily with a minimum of contamination. The bright absolute V magnitudes of these stars (<Mv> = -3.37) make them, by far, the visually brightest objects in old stellar populations and ideal Population II standard candles for measurements out to ~10 Mpc with current instrumentation. A Hubble Space Telescope survey in the halos of galaxies in the M81 and Sculptor groups could therefore serve as an effective cross-check on both the Cepheid and TRGB distance scales.


title: Finding Trolls Under Bridges: Preliminary Work on a Motif Detector

abstract: Motifs are distinctive recurring elements found in folklore that have significance as communicative devices in news, literature, press releases, and propaganda. Motifs concisely imply a large constellation of culturally-relevant information, and their broad usage suggests their cognitive importance as touchstones of cultural knowledge, making their detection a worthy step toward culturally-aware natural language processing tasks. Until now, folklorists and others interested in motifs have only extracted motifs from narratives manually. We present a preliminary report on the development of a system for automatically detecting motifs. We briefly describe an annotation effort to produce data for training motif detection, which is on-going. We describe our in-progress architecture in detail, which aims to capture, in part, how people determine whether or not a motif candidate is being used in a motific way. This description includes a test of an off-the-shelf metaphor detector as a feature for motif detection, which achieves a F1 of 0.35 on motifs and a macro-average F1 of 0.21 across four categories which we assign to motif candidates.


title: A Post Auto-regressive GAN Vocoder Focused on Spectrum Fracture

abstract: Generative adversarial networks (GANs) have been indicated their superiority in usage of the real-time speech synthesis. Nevertheless, most of them make use of deep convolutional layers as their backbone, which may cause the absence of previous signal information. However, the generation of speech signals invariably require preceding waveform samples in its reconstruction, as the lack of this can lead to artifacts in generated speech. To address this conflict, in this paper, we propose an improved model: a post auto-regressive (AR) GAN vocoder with a self-attention layer, which merging self-attention in an AR loop. It will not participate in inference, but can assist the generator to learn temporal dependencies within frames in training. Furthermore, an ablation study was done to confirm the contribution of each part. Systematic experiments show that our model leads to a consistent improvement on both objective and subjective evaluation performance.


title: Clusters determine local fluctuations of random walks on graphs

abstract: The evolution of many stochastic systems is accurately described by random walks on graphs. We here explore the close connection between local steady-state fluctuations of random walks and the global structure of the underlying graph. Fluctuations are quantified by the number of traversals of the random walk across edges during a fixed time window, more precisely, by the corresponding counting statistics. The variance-to-mean ratio of the counting statistics is typically lowered if two end vertices of an edge belong to different clusters as defined by spectral clustering. In particular, we relate the fluctuations to the algebraic connectivity and the Fiedler vector of the graph. Building on these results we suggest a centrality score based on fluctuations of random walks. Our findings imply that local fluctuations of continuous-time Markov processes on discrete state space depend strongly on the global topology of the underlying graph in addition to the specific transition rates.


title: The nuclear shell model towards the drip lines

abstract: Applications of configuration mixing methods for nuclei near the proton and neutron drip lines are discussed. A short review of magic numbers is presented. Prospects for advances in the regions of four new "outposts" are highlighted: $^{28}$O, $^{42}$Si, $^{60}$Ca and $^{78}$Ni. Topics include: shell gaps, single-particle properties, islands-of-inversion, collectivity, neutron decay, neutron halos, two-proton decay, effective charge, and quenching in knockout reactions.


title: Collective motion of active particles exhibiting non-reciprocal orientational interactions

abstract: We present a Brownian dynamics study of a 2d bath of active particles interacting among each other through usual steric interactions and, additionally, via non-reciprocal avoidant orientational interactions. We motivate them by the fact that the two flagella of the alga Chlamydomonas interact sterically with nearby surfaces such that a torque acts on the alga. As expected, in most cases such interactions disrupt the motility-induced particle clustering in active baths. Surprisingly, however, we find that the active particles can self-organize into collectively moving flocks if the range of non-reciprocal interactions is close to that of steric interactions. We observe that the flocking motion can manifest itself through a variety of structural forms, spanning from single dense bands to multiple moderately-dense stripes, which are highly dynamic. The flocking order parameter is found to be only weakly dependent on the underlying flock structure. Together with the variance of the local-density distribution, one can clearly group the flocking motion into the two separate band and dynamic-stripes states.


title: Unique Optima of the Delsarte Linear Program

abstract: The Delsarte linear program is used to bound the size of codes given their block length $n$ and minimal distance $d$ by taking a linear relaxation from codes to quasicodes. We study for which values of $(n,d)$ this linear program has a unique optimum: while we show that it does not always have a unique optimum, we prove that it does if $d>n/2$ or if $d \leq 2$. Introducing the Krawtchouk decomposition of a quasicode, we prove there exist optima to the $(n,2e)$ and $(n-1,2e-1)$ linear programs that have essentially identical Krawtchouk decompositions, revealing a parity phenomenon among the Delsarte linear programs. We generalize the notion of extending and puncturing codes to quasicodes, from which we see that this parity relationship is given by extending/puncturing. We further characterize these pairs of optima, in particular demonstrating that they exhibit a symmetry property, effectively halving the number of decision variables.


title: Is there a background population of high-albedo objects in geosynchronous orbits around Earth?

abstract: Old, digitized astronomical images taken before the human spacefaring age offer a unique view of the sky devoid of known artificial satellites. In this paper, we have carried out the first optical searches ever for non-terrestrial artifacts near the Earth following the method proposed in Villarroel et al. (2022). We use images contained in the First Palomar Sky Survey to search for simultaneous (during a plate exposure time) transients that in addition to being point-like, are aligned. We provide a shortlist of the most promising candidates of aligned transients, that must be examined with the help of a microscope to separate celestial sources from plate defects with coincidentally star-like brightness profiles. We further explore one possible, but not unique, interpretation in terms of fast reflections off high-albedo objects in geosynchronous orbits around Earth. If a future study rules out each multiple transient candidate, the estimated surface density becomes an upper limit of $<10^{-9}$ objects km$^{-2}$ non-terrestrial artifacts in geosynchronous orbits around Earth. Finally, we conclude that observations and analysis of multiple, simultaneously appearing and vanishing light sources on the sky merit serious further attention, regardless of their origin.


title: ASQA: Factoid Questions Meet Long-Form Answers

abstract: An abundance of datasets and availability of reliable evaluation metrics have resulted in strong progress in factoid question answering (QA). This progress, however, does not easily transfer to the task of long-form QA, where the goal is to answer questions that require in-depth explanations. The hurdles include (i) a lack of high-quality data, and (ii) the absence of a well-defined notion of the answer's quality. In this work, we address these problems by (i) releasing a novel dataset and a task that we call ASQA (Answer Summaries for Questions which are Ambiguous); and (ii) proposing a reliable metric for measuring performance on ASQA. Our task focuses on factoid questions that are ambiguous, that is, have different correct answers depending on interpretation. Answers to ambiguous questions should synthesize factual information from multiple sources into a long-form summary that resolves the ambiguity. In contrast to existing long-form QA tasks (such as ELI5), ASQA admits a clear notion of correctness: a user faced with a good summary should be able to answer different interpretations of the original ambiguous question. We use this notion of correctness to define an automated metric of performance for ASQA. Our analysis demonstrates an agreement between this metric and human judgments, and reveals a considerable gap between human performance and strong baselines.


title: Hollow-core fiber Characterization with Correlation-Optical Time Domain Reflectometry

abstract: Using a Correlation-OTDR, we characterized the temperature-induced group delay variations of two nested antiresonant nodeless hollow core fibers. The temperature sensitivity of both is substantially less than for SSMF with some dependency on coating type.


title: Development of an automated millifluidic platform and data-analysis pipeline for rapid electrochemical corrosion measurements: a pH study on Zn-Ni

abstract: We describe the development of a millifluidic based scanning droplet cell platform for rapid and automated corrosion. This system allows for measurement of corrosion properties (e.g., open circuit potential, corrosion current through Tafel and linear polarization resistance measurements, and cyclic voltammograms) on a localized section of a planar sample. Our system is highly automated and flexible, allowing for scripted changing and mixing of solutions and point-to-point motion on the sample. We have also created an automated data analysis pipeline. Here we demonstrate this tool by corroding a plate of electroplated Zn$_{85}$Ni$_{15}$ alloy over a range of pH values and correlate our results with XPS measurements and literature.


title: A Survey of Impedance Measurement Methods in Power Electronics

abstract: Impedance is one of the vital parameters that provides useful information for many power electronics related applications. A lot of impedance measurement methods in power electronics have been reported. However, a comprehensive investigation among these methods in terms of their characteristics, advantages, and limitations has not been found in the literature. In order to bridge this gap, a survey of the impedance measurement methods is conducted in this paper. These methods are introduced, discussed, and then classified into different categories depending on the measurement modes, principles, and instruments. Moreover, recommendations for the future research on the impedance measurement are also presented.


title: Nuclear phase retrieval spectroscopy using resonant x-ray scattering

abstract: Light-matter interaction is exploited in spectroscopic techniques to access information about molecular, atomic or nuclear constituents of the sample of interest. While scattered light carries both amplitude and phase information of the electromagnetic field, most of the time the latter is lost in intensity measurements. However, often the phase information is paramount to reconstruct the desired information of the target, as it is well known from coherent x-ray imaging. Here we introduce a new phase retrieval algorithm which allows us to reconstruct the field phase information from two-dimensional time- and energy-resolved spectra. We apply this method to the particular case of x-ray scattering off M\"ossbauer nuclei at a synchrotron radiation source. Knowledge of the phase allows also for an excellent reconstruction of the energy spectra from experimental data, which could not be achieved with this resolution otherwise. Our approach provides an efficient novel data analysis tool which will benefit x-ray quantum optics and M\"ossbauer spectroscopy with synchrotron radiation alike.


title: Slope stability predictions on spatially variable random fields using machine learning surrogate models

abstract: Random field Monte Carlo (MC) reliability analysis is a robust stochastic method to determine the probability of failure. This method, however, requires a large number of numerical simulations demanding high computational costs. This paper explores the efficiency of different machine learning (ML) algorithms used as surrogate models trained on a limited number of random field slope stability simulations in predicting the results of large datasets. The MC data in this paper require only the examination of failure or non-failure, circumventing the time-consuming calculation of factors of safety. An extensive dataset is generated, consisting of 120,000 finite difference MC slope stability simulations incorporating different levels of soil heterogeneity and anisotropy. The Bagging Ensemble, Random Forest and Support Vector classifiers are found to be the superior models for this problem amongst 9 different models and ensemble classifiers. Trained only on 0.47% of data (500 samples), the ML model can classify the entire 120,000 samples with an accuracy of %85 and AUC score of %91. The performance of ML methods in classifying the random field slope stability results generally reduces with higher anisotropy and heterogeneity of soil. The ML assisted MC reliability analysis proves a robust stochastic method where errors in the predicted probability of failure using %5 of MC data is only %0.46 in average. The approach reduced the computational time from 306 days to less than 6 hours.


title: Highly efficient reliability analysis of anisotropic heterogeneous slopes: Machine Learning aided Monte Carlo method

abstract: Machine Learning (ML) algorithms are increasingly used as surrogate models to increase the efficiency of stochastic reliability analyses in geotechnical engineering. This paper presents a highly efficient ML aided reliability technique that is able to accurately predict the results of a Monte Carlo (MC) reliability study, and yet performs 500 times faster. A complete MC reliability analysis on anisotropic heterogeneous slopes consisting of 120,000 simulated samples is conducted in parallel to the proposed ML aided stochastic technique. Comparing the results of the complete MC study and the proposed ML aided technique, the expected errors of the proposed method are realistically examined. Circumventing the time-consuming computation of factors of safety for the training datasets, the proposed technique is more efficient than previous methods. Different ML models, including Random Forest (RF), Support Vector Machine (SVM) and Artificial Neural Networks (ANN) are presented, optimised and compared. The effects of the size and type of training and testing datasets are discussed. The expected errors of the ML predicted probability of failure are characterised by different levels of soil heterogeneity and anisotropy. Using only 1% of MC samples to train ML surrogate models, the proposed technique can accurately predict the probability of failure with mean errors limited to 0.7%. The proposed technique reduces the computational time required for our study from 306 days to only 14 hours, providing 500 times higher efficiency.


title: Specifying Prior Distributions in Reliability Applications

abstract: Especially when facing reliability data with limited information (e.g., a small number of failures), there are strong motivations for using Bayesian inference methods. These include the option to use information from physics-of-failure or previous experience with a failure mode in a particular material to specify an informative prior distribution. Another advantage is the ability to make statistical inferences without having to rely on specious (when the number of failures is small) asymptotic theory needed to justify non-Bayesian methods. Users of non-Bayesian methods are faced with multiple methods of constructing uncertainty intervals (Wald, likelihood, and various bootstrap methods) that can give substantially different answers when there is little information in the data. For Bayesian inference, there is only one method of constructing equal-tail credible intervals-but it is necessary to provide a prior distribution to fully specify the model. Much work has been done to find default prior distributions that will provide inference methods with good (and in some cases exact) frequentist coverage properties. This paper reviews some of this work and provides, evaluates, and illustrates principled extensions and adaptations of these methods to the practical realities of reliability data (e.g., non-trivial censoring).


title: Towards a Predictive HFB+QRPA Framework for Deformed Nuclei: Selected Tools and Technique

abstract: Reliable predictions of the static and dynamic properties of a nucleus require a fully microscopic description of both ground and excited states of this complicated many-body quantum system. Predictive calculations are key to understanding such systems and are important ingredients for simulating stellar environments and for enabling a variety of contemporary nuclear applications. Challenges that theory has to address include accounting for nuclear deformation and the ability to describe medium-mass and heavy nuclei. Here, we perform a study of nuclear states in an Hartree-Fock-Bogoliubov (HFB) and Quasiparticle Random Phase Approximation (QRPA) framework that utilizes an axially-symmetric deformed basis. We present some useful techniques for testing the consistency of such calculations and for interpreting the results.


title: The Dirac--Goodman--Pollack Conjecture

abstract: In one of their seminal articles on allowable sequences, Goodman and Pollack gave combinatorial generalizations for three problems in discrete geometry, one of which being the Dirac conjecture. According to this conjecture, any set of $n$ noncollinear points in the plane has a point incident to at least $c n$ connecting lines determined by the set. The notion of allowable sequences of permutations provides a natural combinatorial setting for analyzing these problems. Within this formalism, the conjectured generalization reads as follows: \emph{Any nontrivial allowable $n$-sequence $\Sigma$ has a local sequence $\Lambda_i$ whose half-period is at least $c n$.} The conjecture is confirmed here with a concrete bound $c=1/845$. Several related problems are discussed.


title: The contribution of non-central radio galaxies to AGN feedback in rich galaxy clusters

abstract: We present a combined radio/X-ray study of six massive galaxy clusters, aimed at determining the potential for heating of the intra-cluster medium (ICM) by non-central radio galaxies. Since X-ray cavities associated with the radio lobes of non-central galaxies are generally not detectable, we use Giant Metrewave Radio Telescope 610~MHz observations to identify jet sources and estimate their size, and Chandra data to estimate the pressure of the surrounding ICM. In the radio, we detect 4.5% of galaxies above the spectroscopic survey limit (M*K+2.0) of the Arizona cluster redshift survey (ACReS) which covers five of our six clusters. Approximately one tenth of these are extended radio sources. Using star formation (SF) rates determined from mid-infrared data, we estimate the expected contribution to radio luminosity from the stellar population of each galaxy, and find that most of the unresolved or poorly-resolved radio sources are likely star formation dominated. The relatively low frequency and good spatial resolution of our radio data allows us to trace star formation emission down to galaxies of stellar mass ~10^9.5 Msol. We estimate the enthalpy of the (AGN dominated) jet/lobe and tailed sources, and place limits on the energy available from unresolved radio jets. We find jet powers in the range ~10^43-10^46 erg/s, comparable to those of brightest cluster galaxies. Our results suggest that while cluster-central sources are the dominant factor balancing ICM cooling over the long term, non-central sources may have a significant impact, and that further investigation is possible and warranted.


title: Temperature effects on the structure and mechanical properties of vapor deposited a-SiO2

abstract: Amorphous silica (a-SiO2) exhibits unique thermo-mechanical behaviors that set it apart from other glasses. However, there is still limited understanding of how this mechanical behavior is related to the atomic structure and to the preparation conditions of a-SiO2. Here, we used electron beam (e-beam) physical vapor deposition (PVD) to prepare a series of a-SiO2 films grown at different substrate temperatures and then combined molecular simulations with Positronium Annihilation Lifetime Spectroscopy and nanoindentation experiments to establish relations among processing, structure, and mechanical response of the films. Specifically, we found that increase in the growth temperature leads to increase in the elastic moduli and hardness of the films. The relative porosity in the films also increases while the a-SiO2 network itself becomes denser, resulting in an overall increase in density despite increased porosity. In addition, we found that the a-SiO2 films exhibit the same anomalous temperature dependence of elastic modulus as bulk a-SiO2. However, the rate of increase in the elastic modulus with the measurement temperature was found to depend on the density of the a-SiO2 network and therefore on the growth temperature. Our findings provide new insights into the influence of the atomic network structure on the anomalous thermomechanical behavior of a-SiO2 and in turn guidance to control the mechanical properties of a-SiO2 films.


title: A Tutorial on Solution Properties of State Space Models of Dynamical Systems

abstract: The starting point of analysis of state space models is investigating existence, uniqueness and solution properties such as the semigroup property, and various formulas for the solutions. Several concepts such as the state transition matrix, the matrix exponential, the variations of constants formula (the Cauchy formula), the Peano-Baker series, and the Picard iteration are used to characterize solutions. In this note, a tutorial treatment is given where all of these concepts are shown to be various manifestations of a single abstract method, namely solving equations using an operator Neumann series involving the Volterra operator of forward integration. The matrix exponential, the Peano-Baker series, the Picard iteration, and the Cauchy formula can be "discovered" naturally from this Neumann series. The convergence of the series and iterations is a consequence of the key property of asymptotic nilpotence of the Volterra operator. This property is an asymptotic version of the nilpotence property of a strictly-lower-triangular matrix.


title: AGQA 2.0: An Updated Benchmark for Compositional Spatio-Temporal Reasoning

abstract: Prior benchmarks have analyzed models' answers to questions about videos in order to measure visual compositional reasoning. Action Genome Question Answering (AGQA) is one such benchmark. AGQA provides a training/test split with balanced answer distributions to reduce the effect of linguistic biases. However, some biases remain in several AGQA categories. We introduce AGQA 2.0, a version of this benchmark with several improvements, most namely a stricter balancing procedure. We then report results on the updated benchmark for all experiments.


title: Optimal Membership Inference Bounds for Adaptive Composition of Sampled Gaussian Mechanisms

abstract: Given a trained model and a data sample, membership-inference (MI) attacks predict whether the sample was in the model's training set. A common countermeasure against MI attacks is to utilize differential privacy (DP) during model training to mask the presence of individual examples. While this use of DP is a principled approach to limit the efficacy of MI attacks, there is a gap between the bounds provided by DP and the empirical performance of MI attacks. In this paper, we derive bounds for the \textit{advantage} of an adversary mounting a MI attack, and demonstrate tightness for the widely-used Gaussian mechanism. We further show bounds on the \textit{confidence} of MI attacks. Our bounds are much stronger than those obtained by DP analysis. For example, analyzing a setting of DP-SGD with $\epsilon=4$ would obtain an upper bound on the advantage of $\approx0.36$ based on our analyses, while getting bound of $\approx 0.97$ using the analysis of previous work that convert $\epsilon$ to membership inference bounds. Finally, using our analysis, we provide MI metrics for models trained on CIFAR10 dataset. To the best of our knowledge, our analysis provides the state-of-the-art membership inference bounds for the privacy.


title: Open-World Instance Segmentation: Exploiting Pseudo Ground Truth From Learned Pairwise Affinity

abstract: Open-world instance segmentation is the task of grouping pixels into object instances without any pre-determined taxonomy. This is challenging, as state-of-the-art methods rely on explicit class semantics obtained from large labeled datasets, and out-of-domain evaluation performance drops significantly. Here we propose a novel approach for mask proposals, Generic Grouping Networks (GGNs), constructed without semantic supervision. Our approach combines a local measure of pixel affinity with instance-level mask supervision, producing a training regimen designed to make the model as generic as the data diversity allows. We introduce a method for predicting Pairwise Affinities (PA), a learned local relationship between pairs of pixels. PA generalizes very well to unseen categories. From PA we construct a large set of pseudo-ground-truth instance masks; combined with human-annotated instance masks we train GGNs and significantly outperform the SOTA on open-world instance segmentation on various benchmarks including COCO, LVIS, ADE20K, and UVO. Code is available on project website: https://sites.google.com/view/generic-grouping/.


title: SRMD: Sparse Random Mode Decomposition

abstract: Signal decomposition and multiscale signal analysis provide many useful tools for time-frequency analysis. We proposed a random feature method for analyzing time-series data by constructing a sparse approximation to the spectrogram. The randomization is both in the time window locations and the frequency sampling, which lowers the overall sampling and computational cost. The sparsification of the spectrogram leads to a sharp separation between time-frequency clusters which makes it easier to identify intrinsic modes, and thus leads to a new data-driven mode decomposition. The applications include signal representation, outlier removal, and mode decomposition. On the benchmark tests, we show that our approach outperforms other state-of-the-art decomposition methods.


title: Prediction of motor insurance claims occurrence as an imbalanced machine learning problem

abstract: The insurance industry, with its large datasets, is a natural place to use big data solutions. However it must be stressed, that significant number of applications for machine learning in insurance industry, like fraud detection or claim prediction, deals with the problem of machine learning on an imbalanced data set. This is due to the fact that frauds or claims are rare events when compared with the entire population of drivers. The problem of imbalanced learning is often hard to overcome. Therefore, the main goal of this work is to present and apply various methods of dealing with an imbalanced dataset in the context of claim occurrence prediction in car insurance. In addition, the above techniques are used to compare the results of machine learning algorithms in the context of claim occurrence prediction in car insurance. Our study covers the following techniques: logistic-regression, decision tree, random forest, xgBoost, feed-forward network. The problem is the classification one.


title: Generalized Integrals and Solvability

abstract: Based on previous work we consturct an equation (Lagrange equation) and relate it with a system of generalized integrals and differential equations in such a way to provide useful evaluations and connections between them.


title: Topological approach to diagonalization algorithms

abstract: In this paper we prove that there exists an asymptotical diagonalization algorithm for a class of sparse Hermitian (or real symmetric) matrices if and only if the matrices become Hessenberg matrices after some permutation of rows and columns. The proof is based on Morse theory, Roberts' theorem on indifference graphs, toric topology, and computer-based homological calculations.