title: A2MM: Mitigating Frontrunning, Transaction Reordering and Consensus Instability in Decentralized Exchanges

abstract: The asset trading volume on blockchain-based exchanges (DEX) increased substantially since the advent of Automated Market Makers (AMM). Yet, AMMs and their forks compete on the same blockchain, incurring unnecessary network and block-space overhead, by attracting sandwich attackers and arbitrage competitions. Moreover, conceptually speaking, a blockchain is one database, and we find little reason to partition this database into multiple competing exchanges, which then necessarily require price synchronization through arbitrage. This paper shows that DEX arbitrage and trade routing among similar AMMs can be performed efficiently and atomically on-chain within smart contracts. These insights lead us to create a new AMM design, an Automated Arbitrage Market Maker, short A2MM DEX. A2MM aims to unite multiple AMMs to reduce overheads, costs and increase blockchain security. With respect to Miner Extractable Value (MEV), A2MM serves as a decentralized design for users to atomically collect MEV, mitigating the dangers of centralized MEV relay services. We show that A2MM offers essential security benefits. First, A2MM strengthens the blockchain consensus security by mitigating the competitive exploitation of MEV, therefore reducing the risks of consensus forks. A2MM reduces the network layer overhead of competitive transactions, improves network propagation, leading to less stale blocks and better blockchain security. Through trade routing, A2MM reduces the predatory risks of sandwich attacks by taking advantage of the minimum profitable victim input. A2MM also offers financial benefits to traders. Failed swap transactions from competitive trading occupy valuable block space, implying an upward pressure on transaction fees. Our evaluations shows that A2MM frees up 32.8% block-space of AMM-related transactions. In expectation, A2MM's revenue allows to reduce swap fees by 90%.


title: Objective Momentum Barriers in Wall Turbulence

abstract: We use the recent frame-indifferent theory of diffusive momentum transport to identify internal barriers in wall-bounded turbulence. Formed by the invariant manifolds of the Laplacian of the velocity field, the barriers block the viscous part of the instantaneous momentum flux in the flow. We employ the level sets of single-trajectory Lagrangian diagnostic tools, the trajectory rotation average and trajectory stretching exponent, to approximate both vortical and internal wall-parallel momentum transport barrier (MTB) interfaces. These interfaces provide frame-indifferent alternatives to classic velocity-gradient-based vortices and high-shear boundaries between uniform momentum zones (UMZs). Indeed, we find that these elliptic manifold approximations and MTBs outperform standard vortices and UMZ interfaces in blocking diffusive momentum transport, suggesting our momentum barriers are physical features that may be the cause of coherence signatures in statistical and non-objective diagnostics. We also introduce normalized trajectory metrics that provide unprecedented visualizations of objective coherent structures by avoiding strong turbulence biases.


title: Triangle Sides for Congruent Numbers less than 10,000

abstract: We have computed a table of the triangle sides of all congruent numbers less than 10,000, which improves and extends the existing public table. We give some background on properties of the triangle sides, and explain how we computed our table, which is available on https://github.com/dgpaloalto/Congruent-Numbers


title: Network-based Topic Interaction Map for Big Data Mining of COVID-19 Biomedical Literature

abstract: Since the emergence of the worldwide pandemic of COVID-19, relevant research has been published at a dazzling pace, which yields an abundant amount of big data in biomedical literature. Due to the high volum of relevant literature, it is practically impossible to follow up the research manually. Topic modeling is a well-known unsupervised learning that aims to reveal latent topics from text data. In this paper, we propose a novel analytical framework for estimating topic interactions and effective visualization to improve topics' relationships. We first estimate topic-word distributions using the biterm topic model and estimate the topics' interaction based on the word distribution using the latent space item response model. We mapped these latent topics onto networks to visualize relationships among the topics. Moreover, in the proposed approach, we developed a score that is helpful in selecting meaningful words that characterize the topic. We figure out how topics are related by looking at how their relationships change. We do this with a "trajectory plot" that is made with different levels of word richness. These findings provide a thoroughly mined and intuitive representation of relationships between topics related to a specific research area. The application of this proposed framework to the PubMed literature demonstrates utility of our approach in understanding of the topic composition related to COVID-19 studies in the stage of its emergence.


title: Infinite products of absolute zeta functions

abstract: We study some infinite products of absolute zeta functions. Especially, we consider the convergence and the rationality of them.


title: A Solution of Sierpinski Problem Based m

abstract: In 1960, W. Sierpinski proved that there are infinitely many positive odd numbers $k$, such that for any positive integer $n$, $k\times2^n+1$ is a composite number. Such numbers are called "Sierpinski numbers". In this study, by using covering systems and the theory of cyclotomic polynomials, the following theorem is proved: for any integer $m>1$, there are infinitely many integers $k$ satisfying $k\not\equiv-1\!\pmod{q}$ for any prime number $q|(m-1)$, such that for any positive integer $n$, $km^n+1$ is a composite number. These positive integers $k$ are called "Sierpinski numbers based $m$". The theorem can be regarded as a generalization of Sierpinski problem.


title: A new measure between sets of probability distributions with applications to erratic financial behavior

abstract: This paper introduces a new framework to quantify distance between finite sets with uncertainty present, where probability distributions determine the locations of individual elements. Combining this with a Bayesian change point detection algorithm, we produce a new measure of similarity between time series with respect to their structural breaks. First, we demonstrate the algorithm's effectiveness on a collection of piecewise autoregressive processes. Next, we apply this to financial data to study the erratic behavior profiles of 19 countries and 11 sectors over the past 20 years. Our measure provides quantitative evidence that there is greater collective similarity among sectors' erratic behavior profiles than those of countries, which we observe upon individual inspection of these time series. Our measure could be used as a new framework or complementary tool for investors seeking to make asset allocation decisions for financial portfolios.


title: Recommending Multiple Criteria Decision Analysis Methods with A New Taxonomy-based Decision Support System

abstract: We present the Multiple Criteria Decision Analysis Methods Selection Software (MCDA-MSS). This decision support system helps analysts answering a recurring question in decision science: Which is the most suitable Multiple Criteria Decision Analysis method (or a subset of MCDA methods) that should be used for a given Decision-Making Problem (DMP)?. The MCDA-MSS includes guidance to lead decision-making processes and choose among an extensive collection (over 200) of MCDA methods. These are assessed according to an original comprehensive set of problem characteristics. The accounted features concern problem formulation, preference elicitation and types of preference information, desired features of a preference model, and construction of the decision recommendation. The applicability of the MCDA-MSS has been tested on several case studies. The MCDA-MSS includes the capabilities of (i) covering from very simple to very complex DMPs, (ii) offering recommendations for DMPs that do not match any method from the collection, (iii) helping analysts prioritize efforts for reducing gaps in the description of the DMPs, and (iv) unveiling methodological mistakes that occur in the selection of the methods. A community-wide initiative involving experts in MCDA methodology, analysts using these methods, and decision-makers receiving decision recommendations will contribute to expansion of the MCDA-MSS.


title: Recurrent Inference Machines as inverse problem solvers for MR relaxometry

abstract: In this paper, we propose the use of Recurrent Inference Machines (RIMs) to perform T1 and T2 mapping. The RIM is a neural network framework that learns an iterative inference process based on the signal model, similar to conventional statistical methods for quantitative MRI (QMRI), such as the Maximum Likelihood Estimator (MLE). This framework combines the advantages of both data-driven and model-based methods, and, we hypothesize, is a promising tool for QMRI. Previously, RIMs were used to solve linear inverse reconstruction problems. Here, we show that they can also be used to optimize non-linear problems and estimate relaxometry maps with high precision and accuracy. The developed RIM framework is evaluated in terms of accuracy and precision and compared to an MLE method and an implementation of the ResNet. The results show that the RIM improves the quality of estimates compared to the other techniques in Monte Carlo experiments with simulated data, test-retest analysis of a system phantom, and in-vivo scans. Additionally, inference with the RIM is 150 times faster than the MLE, and robustness to (slight) variations of scanning parameters is demonstrated. Hence, the RIM is a promising and flexible method for QMRI. Coupled with an open-source training data generation tool, it presents a compelling alternative to previous methods.


title: Predicting the Popularity of Reddit Posts with AI

abstract: Social media creates crucial mass changes, as popular posts and opinions cast a significant influence on users' decisions and thought processes. For example, the recent Reddit uprising inspired by r/wallstreetbets which had remarkable economic impact was started with a series of posts on the thread. The prediction of posts that may have a notable impact will allow for the preparation of possible following trends. This study aims to develop a machine learning model capable of accurately predicting the popularity of a Reddit post. Specifically, the model is predicting the number of upvotes a post will receive based on its textual content. I experimented with three different models: a baseline linear regression model, a random forest regression model, and a neural network. I collected Reddit post data from an online data set and analyzed the model's performance when trained on a single subreddit and a collection of subreddits. The results showed that the neural network model performed the best when the loss of the models were compared. With the use of a machine learning model to predict social trends through the reaction users have to post, a better picture of the near future can be envisioned.


title: A Semi-supervised Multi-task Learning Approach to Classify Customer Contact Intents

abstract: In the area of customer support, understanding customers' intents is a crucial step. Machine learning plays a vital role in this type of intent classification. In reality, it is typical to collect confirmation from customer support representatives (CSRs) regarding the intent prediction, though it can unnecessarily incur prohibitive cost to ask CSRs to assign existing or new intents to the mis-classified cases. Apart from the confirmed cases with and without intent labels, there can be a number of cases with no human curation. This data composition (Positives + Unlabeled + multiclass Negatives) creates unique challenges for model development. In response to that, we propose a semi-supervised multi-task learning paradigm. In this manuscript, we share our experience in building text-based intent classification models for a customer support service on an E-commerce website. We improve the performance significantly by evolving the model from multiclass classification to semi-supervised multi-task learning by leveraging the negative cases, domain- and task-adaptively pretrained ALBERT on customer contact texts, and a number of un-curated data with no labels. In the evaluation, the final model boosts the average AUC ROC by almost 20 points compared to the baseline finetuned multiclass classification ALBERT model.


title: Simulation of viscoelastic Cosserat rods based on the geometrically exact dynamics of special Euclidean strands

abstract: We propose a method for the description and simulation of the nonlinear dynamics of slender structures modeled as Cosserat rods. It is based on interpreting the strains and the generalized velocities of the cross sections as basic variables and elements of the special Euclidean algebra. This perspective emerges naturally from the evolution equations for strands, that are one-dimensional submanifolds, of the special Euclidean group. The discretization of the corresponding equations for the three-dimensional motion of a Cosserat rod is performed, in space, by using a staggered grid. The time evolution is then approximated with a semi-implicit method. Within this approach we can easily include dissipative effects due to both the action of external forces and the presence of internal mechanical dissipation. The comparison with results obtained with different schemes shows the effectiveness of the proposed method, which is able to provide very good predictions of nonlinear dynamical effects and shows competitive computation times also as an energy-minimizing method to treat static problems.


title: Field Theory of Free Run and Tumble Particles in d Dimensions

abstract: In this paper, Doi-Peliti field theory is used to describe the motion of free Run and Tumble particles in arbitrary dimensions. After deriving action and propagators, the mean square displacement and the corresponding entropy production at stationarity are calculated in this framework. We further derive the field theory of free Active Brownian Particles in two dimensions for comparison.


title: MoParkeR : Multi-objective Parking Recommendation

abstract: Existing parking recommendation solutions mainly focus on finding and suggesting parking spaces based on the unoccupied options only. However, there are other factors associated with parking spaces that can influence someone's choice of parking such as fare, parking rule, walking distance to destination, travel time, likelihood to be unoccupied at a given time. More importantly, these factors may change over time and conflict with each other which makes the recommendations produced by current parking recommender systems ineffective. In this paper, we propose a novel problem called multi-objective parking recommendation. We present a solution by designing a multi-objective parking recommendation engine called MoParkeR that considers various conflicting factors together. Specifically, we utilise a non-dominated sorting technique to calculate a set of Pareto-optimal solutions, consisting of recommended trade-off parking spots. We conduct extensive experiments using two real-world datasets to show the applicability of our multi-objective recommendation methodology.


title: SemEval-2021 Task 11: NLPContributionGraph -- Structuring Scholarly NLP Contributions for a Research Knowledge Graph

abstract: There is currently a gap between the natural language expression of scholarly publications and their structured semantic content modeling to enable intelligent content search. With the volume of research growing exponentially every year, a search feature operating over semantically structured content is compelling. The SemEval-2021 Shared Task NLPContributionGraph (a.k.a. 'the NCG task') tasks participants to develop automated systems that structure contributions from NLP scholarly articles in the English language. Being the first-of-its-kind in the SemEval series, the task released structured data from NLP scholarly articles at three levels of information granularity, i.e. at sentence-level, phrase-level, and phrases organized as triples toward Knowledge Graph (KG) building. The sentence-level annotations comprised the few sentences about the article's contribution. The phrase-level annotations were scientific term and predicate phrases from the contribution sentences. Finally, the triples constituted the research overview KG. For the Shared Task, participating systems were then expected to automatically classify contribution sentences, extract scientific terms and relations from the sentences, and organize them as KG triples. Overall, the task drew a strong participation demographic of seven teams and 27 participants. The best end-to-end task system classified contribution sentences at 57.27% F1, phrases at 46.41% F1, and triples at 22.28% F1. While the absolute performance to generate triples remains low, in the conclusion of this article, the difficulty of producing such data and as a consequence of modeling it is highlighted.


title: Do peers share the same criteria for assessing grant applications?

abstract: This study examines a basic assumption of peer review, namely, the idea that there is a consensus on evaluation criteria among peers, which is a necessary condition for the reliability of peer judgements. Empirical evidence indicating that there is no consensus or more than one consensus would offer an explanation for the disagreement effect, the low inter-rater reliability consistently observed in peer review. To investigate this basic assumption, we have surveyed all humanities scholars in Switzerland on 23 grant review criteria. We have employed latent class tree modelling to identify subgroups in which scholars rated criteria similarly (i.e. latent classes) and to explore covariates predicting class membership. We have identified two consensus classes, two consensus-close classes, and a consensus-far class. The consensus classes contain a core consensus (ten criteria related to knowledge gaps, feasibility, rigour, comprehensibility and argumentation, and academic relevance, as well as to the competence and experience of the applicant) and a broad consensus that includes the core consensus plus eight contribution-related criteria, such as originality. These results provide a possible explanation for the disagreement effect. Moreover, the results are consistent with the notion of conservatism, which holds that original research is undervalued in peer review, while other aspects, such as methodology and feasibility, are overweighted. The covariate analysis indicated that age and having tenure increases from the consensus-far to the consensus-close to the consensus classes. This suggests that the more academic experience scholars accumulate, the more their understanding of review criteria conforms to the social norm.


title: An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem

abstract: The Vehicle Routing Problem (VRP) is the combinatorial optimization problem of designing routes for vehicles to visit customers in such a fashion that a cost function, typically the number of vehicles, or the total travelled distance is minimized. The problem finds applications in industrial scenarios, for example where Automated Guided Vehicles run through the plant to deliver components from the warehouse. This specific problem, henceforth called the Electric Conflict-Free Vehicle Routing Problem (CF-EVRP), involves constraints such as limited operating range of the vehicles, time windows on the delivery to the customers, and limited capacity on the number of vehicles the road segments can accommodate at the same time. Such a complex system results in a large model that cannot easily be solved to optimality in reasonable time. We therefore developed a compositional model that breaks down the problem into smaller and simpler sub-problems and provides sub-optimal, feasible solutions to the original problem. The algorithm exploits the strengths of SMT solvers, which proved in our previous work to be an efficient approach to deal with scheduling problems. Compared to a monolithic model for the CF-EVRP, written in the SMT standard language and solved using a state-of-the-art SMT solver the compositional model was found to be significantly faster.


title: Nonhomogeneous Dispersive Water Waves and Painlev\'{e} equations

abstract: In this letter we consider three nonhomogeneous deformations of Dispersive Water Wave (DWW) soliton equation and prove that their stationary flows are equivalent to three famous Painlev\'{e} equations, i.e. $P_{II}$, $P_{III}$ and $P_{IV},$ respectively.


title: High power continuous laser at 461 nm based on a compact and high-efficiency frequency-doubling linear cavity

abstract: A Watt-level continuous and single frequency blue laser at 461 nm is obtained by frequency-doubling an amplified diode laser operating at 922 nm via a LBO crystal in a resonant Fabry-P\'{e}rot cavity. We achieved a best optical conversion efficiency equal to 87\% with more than 1 W output power in the blue, and limited by the available input power. The frequency-converted beam is characterized in terms of long term power stability, residual intensity noise, and geometrical shape. The blue beam has a linewidth of the order of 1 MHz, and we used it to magneto-optically trap $^{88}$Sr atoms on the 5s$^{2}\,^{1}$S$_0$ -- 5s5p$\,^{1}$P$_1$ transition. The low-finesse, linear-cavity doubling system is very robust, maintains the lock for several days, and is compatible with a tenfold increase of the power levels which could be obtained with fully-fibered amplifiers and large mode area fibers.


title: Simulation-based design study for the passive shielding of the COSINUS dark matter experiment

abstract: The COSINUS (Cryogenic Observatory for SIgnatures seen in Next-generation Underground Searches) experiment aims at the detection of dark matter-induced recoils in sodium iodide (NaI) crystals operated as scintillating cryogenic calorimeters. The detection of both scintillation light and phonons allows performing an event-by-event signal to background discrimination, thus enhancing the sensitivity of the experiment. The construction of the experimental facility is foreseen to start by 2021 at the INFN Gran Sasso National Laboratory (LNGS) in Italy. It consists of a cryostat housing the target crystals shielded from the external radioactivity by a water tank acting, at the same time, as an active veto against cosmic ray-induced events. Taking into account both environmental radioactivity and intrinsic contamination of materials used for cryostat, shielding and infrastructure, we performed a careful background budget estimation. The goal is to evaluate the number of events that could mimic or interfere with signal detection while optimising the geometry of the experimental setup. In this paper we present the results of the detailed Monte Carlo simulations we performed, together with the final design of the setup that minimises the residual amount of background particles reaching the detector volume.


title: Estimates for the Weyl coefficient of a two-dimensional canonical system

abstract: For a two-dimensional canonical system $y'(t)=zJH(t)y(t)$ on some interval $(a,b)$ whose Hamiltonian $H$ is a.e. positive semi-definite and which is regular at $a$ and in the limit point case at $b$, denote by $q_H$ its Weyl coefficient. De Branges' inverse spectral theorem states that the assignment $H\mapsto q_H$ is a bijection between Hamiltonians (suitably normalised) and Nevanlinna functions. We give upper and lower bounds for $|q_H(z)|$ and $\operatorname{Im} q_H(z)$ when $z$ tends to $i\infty$ non-tangentially. These bounds depend on the Hamiltonian $H$ near the left endpoint $a$ and determine $|q_H(z)|$ up to universal multiplicative constants. We obtain that the growth of $|q_H(z)|$ is independent of the off-diagonal entries of $H$ and depends monotonically on the diagonal entries in a natural way. The imaginary part is, in general, not fully determined by our bounds (in forthcoming work we shall prove that for "most" Hamiltonians also $\operatorname{Im} q_H(z)$ is fully determined). We translate the asymptotic behaviour of $q_H$ to the behaviour of the spectral measure $\mu_H$ of $H$ by means of Abelian--Tauberian results and obtain conditions for membership of growth classes defined by weighted integrability condition (Kac classes) or by boundedness of tails at $\pm\infty$ w.r.t. a weight function. Moreover, we apply our results to Krein strings and Sturm--Liouville equations.


title: Fast collective oscillations and clustering phenomena in an antiferromagnetic mean-field model

abstract: We study the out-of-equilibrium properties of the antiferromagnetic Hamiltonian Mean-Field model at low energy. In this regime, the Hamiltonian dynamics exhibits the presence of a stationary state where the rotators are gathered in a bicluster. This state is not predicted by equilibrium statistical mechanics in the microcanonical ensemble. Performing a low kinetic energy approximation, we derive the explicit expression of the magnetization vector as a function of time. We find that the latter displays coherent oscillations, and we show numerically that the probability distribution for its phase is bimodal or quadrimodal. We then look at the individual rotator dynamics as a motion in an external time-dependent potential, given by the magnetization. This dynamics exhibits two distinct time scales, with the fast one associated to the oscillations of the global magnetization vector. Performing an average over the fast oscillations, we derive an expression for the effective force acting on the individual rotator. This force is always bimodal, and determines a low frequency oscillation of the rotators. Our approach leads to a self-consistent theory linking the time-dependence of the magnetization to the motion of the rotators, providing a heuristic explanation for the formation of the bicluster.

categories: cond-mat.stat-mech nlin.CD physics.class-ph physics.plasm-ph


title: Cross-replication Reliability -- An Empirical Approach to Interpreting Inter-rater Reliability

abstract: We present a new approach to interpreting IRR that is empirical and contextualized. It is based upon benchmarking IRR against baseline measures in a replication, one of which is a novel cross-replication reliability (xRR) measure based on Cohen's kappa. We call this approach the xRR framework. We opensource a replication dataset of 4 million human judgements of facial expressions and analyze it with the proposed framework. We argue this framework can be used to measure the quality of crowdsourced datasets.


title: Elliptic Racah polynomials

abstract: Upon solving a finite discrete reduction of the difference Heun equation, we arrive at an elliptic generalization of the Racah polynomials. We exhibit the three-term recurrence relation and the orthogonality relations for these elliptic Racah polynomials. The well-known $q$-Racah polynomials of Askey and Wilson are recovered as a trigonometric limit.


title: Dilated filters for edge detection algorithms

abstract: Edges are a basic and fundamental feature in image processing, that are used directly or indirectly in huge amount of applications. Inspired by the expansion of image resolution and processing power dilated convolution techniques appeared. Dilated convolution have impressive results in machine learning, we discuss here the idea of dilating the standard filters which are used in edge detection algorithms. In this work we try to put together all our previous and current results by using instead of the classical convolution filters a dilated one. We compare the results of the edge detection algorithms using the proposed dilation filters with original filters or custom variants. Experimental results confirm our statement that dilation of filters have positive impact for edge detection algorithms form simple to rather complex algorithms.


title: Exact Solutions in Higher-Dimensional Lovelock and $AdS_5$ Chern-Simons Gravity

abstract: Lovelock gravity in $D$-dimensional space-times is considered adopting Cartan's structure equations. In this context, we find out exact solutions in cosmological and spherically symmetric backgrounds. In the latter case, we also derive horizons and the corresponding Bekenstein--Hawking entropies. Moreover, we focus on the topological Chern--Simons theory, providing exact solutions in 5 dimensions. Specifically, it is possible to show that Anti-de Sitter invariant Chern--Simons gravity can be framed within Lovelock--Zumino gravity in 5 dimensions, for particular choices of Lovelock parameters.


title: On the section conjecture and Brauer-Severi varieties

abstract: J. Stix proved that a curve of positive genus over $\mathbb{Q}$ which maps to a non-trivial Brauer-Severi variety satisfies the section conjecture. We prove that, if $X$ is a curve of positive genus over a number field $k$ and the Weil restriction $R_{k/\mathbb{Q}}X$ admits a rational map to a non-trivial Brauer-Severi variety, then $X$ satisfies the section conjecture. As a consequence, if $X$ maps to a Brauer-Severi variety $P$ such that the corestriction $\operatorname{cor}_{k/\mathbb{Q}}([P])\in\operatorname{Br}(\mathbb{Q})$ is non-trivial, then $X$ satisfies the section conjecture.


title: On t-relaxed coloring of complete multi-partite graphs

abstract: Let $G$ be a graph and $t$ a nonnegative integer. Suppose $f$ is a mapping from the vertex set of $G$ to $\{1,2,\dots, k\}$. If, for any vertex $u$ of $G$, the number of neighbors $v$ of $u$ with $f(v)=f(u)$ is less than or equal to $t$, then $f$ is called a $t$-relaxed $k$-coloring of $G$. And $G$ is said to be $(k,t)$-colorable. The $t$-relaxed chromatic number of $G$, denote by $\chi_t(G)$, is defined as the minimum integer $k$ such that $G$ is $(k,t)$-colorable. A set $S$ of vertices in $G$ is $t$-sparse if $S$ induces a graph with a maximum degree of at most $t$. Thus $G$ is $(k,t)$-colorable if and only if the vertex set of $G$ can be partitioned into $k$ $t$-sparse sets. It was proved by Belmonte, Lampis and Mitsou (2017) that the problem of deciding if a complete multi-partite graph is $(k,t)$-colorable is NP-complete. In this paper, we first give tight lower and up bounds for the $t$-relaxed chromatic number of complete multi-partite graphs. And then we design an algorithm to compute maximum $t$-sparse sets of complete multi-partite graphs running in $O((t+1)^2)$ time. Applying this algorithm, we show that the greedy algorithm for $\chi_t(G)$ is $2$-approximate and runs in $O(tn)$ time steps (where $n$ is the vertex number of $G$). In particular, we prove that for $t\in \{1,2,3,4,5,6\}$, the greedy algorithm produces an optimal $t$-relaxed coloring of a complete multi-partite graph. While, for $t\ge 7$, examples are given to illustrate that the greedy strategy does not always construct an optimal $t$-relaxed coloring.


title: On the Feasibility of Bell Inequality Violation at ATLAS Experiment with Flavor Entanglement of $B^{0}\bar{B}^{0}$ Pairs from $pp$ Collisions

abstract: We examine the feasibility of the Bell test (i.e., detecting a violation of the Bell inequality) with the ATLAS detector in Large Hadron Collider (LHC) at CERN through the flavor entanglement between the B mesons. After addressing the possible issues that arise associated with the experiment and how they may be treated based on an analogy with conventional Bell tests, we show in our simulation study that under realistic conditions (expected from the LHC Run 3 operation) the Bell test is feasible under mild assumptions. The definitive factor for this promising result lies primarily in the fact that the ATLAS detector is capable of measuring the decay times of the B mesons independently, which was not available in the previous experiment with the Belle detector at KEK. This result suggests the possibility of the Bell test in much higher energy domains and may open up a new arena for experimental studies of quantum foundations.


title: Determinantal Beam Search

abstract: Beam search is a go-to strategy for decoding neural sequence models. The algorithm can naturally be viewed as a subset optimization problem, albeit one where the corresponding set function does not reflect interactions between candidates. Empirically, this leads to sets often exhibiting high overlap, e.g., strings may differ by only a single word. Yet in use-cases that call for multiple solutions, a diverse or representative set is often desired. To address this issue, we propose a reformulation of beam search, which we call determinantal beam search. Determinantal beam search has a natural relationship to determinantal point processes (DPPs), models over sets that inherently encode intra-set interactions. By posing iterations in beam search as a series of subdeterminant maximization problems, we can turn the algorithm into a diverse subset selection process. In a case study, we use the string subsequence kernel to explicitly encourage n-gram coverage in text generated from a sequence model. We observe that our algorithm offers competitive performance against other diverse set generation strategies in the context of language generation, while providing a more general approach to optimizing for diversity.


title: Generalizations to Corrections for the Effects of Measurement Error in Approximately Consistent Methodologies

abstract: Measurement error is a pervasive issue which renders the results of an analysis unreliable. The measurement error literature contains numerous correction techniques, which can be broadly divided into those which aim to produce exactly consistent estimators, and those which are only approximately consistent. While consistency is a desirable property, it is typically attained only under specific model assumptions. Two techniques, regression calibration and simulation extrapolation, are used frequently in a wide variety of parametric and semiparametric settings. However, in many settings these methods are only approximately consistent. We generalize these corrections, relaxing assumptions placed on replicate measurements. Under regularity conditions, the estimators are shown to be asymptotically normal, with a sandwich estimator for the asymptotic variance. Through simulation, we demonstrate the improved performance of the modified estimators, over the standard techniques, when these assumptions are violated. We motivate these corrections using the Framingham Heart Study, and apply the generalized techniques to an analysis of these data.


title: Medium-induced radiative kernel with the Improved Opacity Expansion

abstract: We calculate the fully differential medium-induced radiative spectrum at next-to-leading order (NLO) accuracy within the Improved Opacity Expansion (IOE) framework. This scheme allows us to gain analytical control of the radiative spectrum at low and high gluon frequencies simultaneously. The high frequency regime can be obtained in the standard opacity expansion framework in which the resulting power series diverges at the characteristic frequency $\omega_c\sim \hat q L^2$. In the IOE, all orders in opacity are resumed systematically below $\omega_c$ yielding an asymptotic series controlled by logarithmically suppressed remainders down to the thermal scale $T \ll \omega_c$, while matching the opacity expansion at high frequency. Furthermore, we demonstrate that the IOE at NLO accuracy reproduces the characteristic Coulomb tail of the single hard scattering contribution as well as the Gaussian distribution resulting from multiple soft momentum exchanges. Finally, we compare our analytic scheme with a recent numerical solution, that includes a full resummation of multiple scatterings, for LHC-inspired medium parameters. We find a very good agreement both at low and high frequencies showcasing the performance of the IOE which provides for the first time accurate analytic formulas for radiative energy loss in the relevant perturbative kinematic regimes for dense media.


title: Meteor colorimetry with CMOS cameras

abstract: This article describes our approach to quantifying the characteristics of meteors such as temperature, chemical composition, and others. We are using a new approach based on colourimetry. We analyze an image of Leonid meteor-6230 obtained by Mike Hankey in 2012. Analysis of the temporal features of the meteoroid trail is performed. For determining the meteor characteristics we use the "tuning technique" in combination with a simulation model of intrusion. The progenitor of the meteor was found as an object weighing 900 kg at a speed of 36.5 km/s. The meteoroid reached a critical value of the pressure at an altitude of about 29 km in a time of about 4.6 sec with a residual mass of about 20 kg, and a residual speed of about 28 km/s. At this moment, a meteoroid exploded and destroyed. We use the meteor multicolour light curves revealed from a DSLR image in the RGB colour standard. We switch from the RGB colour system to Johnson's RVB colour system introducing colour corrections. This allows one to determine the colour characteristics of the meteor radiation. We are using a new approach based on colourimetry. Colourimetry of BGR three-beam light curves allows the identification of the brightest spectral lines. Our approach based on colourimetry allows direct measurements of temperature in the meteor trail. We find a part of the trajectory where the meteoroid radiates as an absolutely black body. The R/G and B/G light curves ratio allow one to identify the wavelengths of the emission lines using the transmission curves of the RGB filters. At the end of the trajectory, the meteoroid radiates in the lines Ca II H, K 393, 397 nm, Fe I 382, 405 nm, Mg I 517 nm, Na I 589 nm, as well as atmospheric O I 779 nm.


title: Extended frequency range of transverse-electric surface plasmon polaritons in graphene

abstract: The dispersion relation of surface plasmon polaritons in graphene that includes optical losses is often obtained for complex wave vectors while the frequencies are assumed to be real. This approach, however, is not suitable for describing the temporal dynamics of optical excitations and the spectral properties of graphene. Here, we propose an alternative approach that calculates the dispersion relation in the complex frequency and real wave vector space. This approach provides a clearer insight into the optical properties of a graphene layer and allows us to find the surface plasmon modes of a graphene sheet in the full frequency range, thus removing the earlier reported limitation (1.667 < $\hbar\omega/\mu$ < 2) for the transverse-electric mode. We further develop a simple analytic approximation which accurately describes the dispersion of the surface plasmon polariton modes in graphene. Using this approximation, we show that transverse-electric surface plasmon polaritons propagate along the graphene sheet without losses even at finite temperature.


title: An adaptive high-order surface finite element method for the self-consistent field theory on general curved surfaces

abstract: In this paper, we develop an adaptive high-order surface finite element method (FEM) incorporating the spectral deferred correction method for chain contour discretization to solve polymeric self-consistent field equations on general curved surfaces. The high-order surface FEM is obtained by the high-order surface geometrical approximation and the high-order function space approximation. Numerical results demonstrate that the precision order of these methods is consistent with the theoretical prediction. In order to describe the sharp interface in the strongly segregated system more accurately, an adaptive FEM equipped with a new Log marking strategy is proposed. Compared with the traditional strategy, the Log marking strategy can not only label the elements that need to be refined or coarsened, but also give the refined or coarsened times, which can make full use of the information of a posterior error estimator and improve the ecciency of the adaptive algorithm. To demonstrate the power of our approach, we investigate the self-assembled patterns of diblock copolymers on several distinct curved surfaces. Numerical results illustrate the ecciency of the proposed method, especially for strongly segregated systems with economical discretization nodes.


title: The Bi-objective Long-haul Transportation Problem on a Road Network

abstract: In this paper we study a long-haul truck scheduling problem where a path has to be determined for a vehicle traveling from a specified origin to a specified destination. We consider refueling decisions along the path, while accounting for heterogeneous fuel prices in a road network. Furthermore, the path has to comply with Hours of Service (HoS) regulations. Therefore, a path is defined by the actual road trajectory traveled by the vehicle, as well as the locations where the vehicle stops due to refueling, compliance with HoS regulations, or a combination of the two. This setting is cast in a bi-objective optimization problem, considering the minimization of fuel cost and the minimization of path duration. An algorithm is proposed to solve the problem on a road network. The algorithm builds a set of non-dominated paths with respect to the two objectives. Given the enormous theoretical size of the road network, the algorithm follows an interactive path construction mechanism. Specifically, the algorithm dynamically interacts with a geographic information system to identify the relevant potential paths and stop locations. Computational tests are made on real-sized instances where the distance covered ranges from 500 to 1500 km. The algorithm is compared with solutions obtained from a policy mimicking the current practice of a logistics company. The results show that the non-dominated solutions produced by the algorithm significantly dominate the ones generated by the current practice, in terms of fuel costs, while achieving similar path durations. The average number of non-dominated paths is 2.7, which allows decision makers to ultimately visually inspect the proposed alternatives.


title: Small perturbations in the type of boundary conditions for an elliptic operator

abstract: In this article, we study the impact of a change in the type of boundary conditions of an elliptic boundary value problem. In the context of the conductivity equation we consider a reference problem with mixed homogeneous Dirichlet and Neumann boundary conditions. Two different perturbed versions of this ``background'' situation are investigated, when (i) The homogeneous Neumann boundary condition is replaced by a homogeneous Dirichlet boundary condition on a ``small'' subset $\omega_\varepsilon$ of the Neumann boundary; and when (ii) The homogeneous Dirichlet boundary condition is replaced by a homogeneous Neumann boundary condition on a ``small'' subset $\omega_\varepsilon $ of the Dirichlet boundary. The relevant quantity that measures the ``smallness'' of the subset $\omega_\varepsilon $ differs in the two cases: while it is the harmonic capacity of $\omega_\varepsilon $ in the former case, we introduce a notion of ``Neumann capacity'' to handle the latter. In the first part of this work we derive representation formulas that catch the structure of the first non trivial term in the asymptotic expansion of the voltage potential, for a general $\omega_\varepsilon $, under the sole assumption that it is ``small'' in the appropriate sense. In the second part, we explicitly calculate the first non trivial term in the asymptotic expansion of the voltage potential, in the particular geometric situation where the subset $\omega_\varepsilon $ is a vanishing surfacic ball.


title: Using Eye Tracker To Evaluate Cockpit Design -- A Flight Simulation Study

abstract: This paper investigates applications of eye tracking in transport aircraft design evaluations. Piloted simulations were conducted for a complete flight profile including take off, cruise and landing flight scenario using the transport aircraft flight simulator at CSIR National Aerospace Laboratories. Thirty-one simulation experiments were carried out with three pilots and engineers while recording the ocular parameters and the flight data. Simulations were repeated for high workload conditions like flying with degraded visibility and during stall. Pilots visual scan behaviour and workload levels were analysed using ocular parameters; while comparing with the statistical deviations from the desired flight path. Conditions for fatigue were also recreated through long duration simulations and signatures for the same from the ocular parameters were assessed. Results from the study found correlation between the statistical inferences obtained from the ocular parameters with those obtained from the flight path deviations. The paper also demonstrates an evaluators console that assists the designers or evaluators for better understanding of pilots attentional resource allocation.


title: 3rd Place Solution for Short-video Face Parsing Challenge

abstract: This is a short technical report introducing the solution of Team Rat for Short-video Parsing Face Parsing Track of The 3rd Person in Context (PIC) Workshop and Challenge at CVPR 2021. In this report, we propose an Edge-Aware Network (EANet) that uses edge information to refine the segmentation edge. To further obtain the finer edge results, we introduce edge attention loss that only compute cross entropy on the edges, it can effectively reduce the classification error around edge and get more smooth boundary. Benefiting from the edge information and edge attention loss, the proposed EANet achieves 86.16\% accuracy in the Short-video Face Parsing track of the 3rd Person in Context (PIC) Workshop and Challenge, ranked the third place.


title: Model Explainability in Deep Learning Based Natural Language Processing

abstract: Machine learning (ML) model explainability has received growing attention, especially in the area related to model risk and regulations. In this paper, we reviewed and compared some popular ML model explainability methodologies, especially those related to Natural Language Processing (NLP) models. We then applied one of the NLP explainability methods Layer-wise Relevance Propagation (LRP) to a NLP classification model. We used the LRP method to derive a relevance score for each word in an instance, which is a local explainability. The relevance scores are then aggregated together to achieve global variable importance of the model. Through the case study, we also demonstrated how to apply the local explainability method to false positive and false negative instances to discover the weakness of a NLP model. These analysis can help us to understand NLP models better and reduce the risk due to the black-box nature of NLP models. We also identified some common issues due to the special natures of NLP models and discussed how explainability analysis can act as a control to detect these issues after the model has been trained.


title: Partial success in closing the gap between human and machine vision

abstract: A few years ago, the first CNN surpassed human performance on ImageNet. However, it soon became clear that machines lack robustness on more challenging test cases, a major obstacle towards deploying machines "in the wild" and towards obtaining better computational models of human visual perception. Here we ask: Are we making progress in closing the gap between human and machine vision? To answer this question, we tested human observers on a broad range of out-of-distribution (OOD) datasets, recording 85,120 psychophysical trials across 90 participants. We then investigated a range of promising machine learning developments that crucially deviate from standard supervised CNNs along three axes: objective function (self-supervised, adversarially trained, CLIP language-image training), architecture (e.g. vision transformers), and dataset size (ranging from 1M to 1B). Our findings are threefold. (1.) The longstanding distortion robustness gap between humans and CNNs is closing, with the best models now exceeding human feedforward performance on most of the investigated OOD datasets. (2.) There is still a substantial image-level consistency gap, meaning that humans make different errors than models. In contrast, most models systematically agree in their categorisation errors, even substantially different ones like contrastive self-supervised vs. standard supervised models. (3.) In many cases, human-to-model consistency improves when training dataset size is increased by one to three orders of magnitude. Our results give reason for cautious optimism: While there is still much room for improvement, the behavioural difference between human and machine vision is narrowing. In order to measure future progress, 17 OOD datasets with image-level human behavioural data and evaluation code are provided as a toolbox and benchmark at: https://github.com/bethgelab/model-vs-human/


title: Exact Counting and Sampling of Optima for the Knapsack Problem

abstract: Computing sets of high quality solutions has gained increasing interest in recent years. In this paper, we investigate how to obtain sets of optimal solutions for the classical knapsack problem. We present an algorithm to count exactly the number of optima to a zero-one knapsack problem instance. In addition, we show how to efficiently sample uniformly at random from the set of all global optima. In our experimental study, we investigate how the number of optima develops for classical random benchmark instances dependent on their generator parameters. We find that the number of global optima can increase exponentially for practically relevant classes of instances with correlated weights and profits which poses a justification for the considered exact counting problem.


title: IncBL: Incremental Bug Localization

abstract: Numerous efforts have been invested in improving the effectiveness of bug localization techniques, whereas little attention is paid to making these tools run more efficiently in continuously evolving software repositories. This paper first analyzes the information retrieval model behind a classic bug localization tool, BugLocator, and builds a mathematical foundation illustrating that the model can be updated incrementally when codebase or bug reports evolve. Then, we present IncBL, a tool for Incremental Bug Localization in evolving software repositories. IncBL is evaluated on the Bugzbook dataset, and the results show that IncBL can significantly reduce the running time by 77.79% on average compared with the re-computing the model, while maintaining the same level of accuracy. We also implement IncBL as a Github App that can be easily integrated into open-source projects on GitHub. Users can deploy and use IncBL locally as well. The demo video for IncBL can be viewed at https://youtu.be/G4gMuvlJSb0, and the source code can be found at https://github.com/soarsmu/IncBL.


title: Single Atoms with 6000-Second Trapping Lifetimes in Optical-Tweezer Arrays at Cryogenic Temperatures

abstract: We report on the trapping of single Rb atoms in tunable arrays of optical tweezers in a cryogenic environment at $\sim 4$ K. We describe the design and construction of the experimental apparatus, based on a custom-made, UHV compatible, closed-cycle cryostat with optical access. We demonstrate the trapping of single atoms in cryogenic arrays of optical tweezers, with lifetimes in excess of $\sim6000$ s, despite the fact that the vacuum system has not been baked out. These results open the way to large arrays of single atoms with extended coherence, for applications in large-scale quantum simulation of many-body systems, and more generally in quantum science and technology.


title: Accumulative Iterative Codes Based on Feedback

abstract: The Accumulative Iterative Code (AIC) proposed in this work is a new error correcting code for channels with feedback. AIC sends the information message to the receiver in a number of transmissions, where the initial transmission contains the uncoded message and each subsequent transmission informs the receiver about the locations of the errors that corrupted the previous transmission. Error locations are determined based on the forward channel output, which is made available to the transmitter through the feedback channel. AIC achieves arbitrarily low error rates, thereby being suitablefor applications demanding extremely high reliability. In the same time, AIC achieves spectral efficiencies very close to the channel capacity in a wide range of signal-to-noise ratios even for transmission of short information messages.


title: Weak solutions for time-fractional evolution equations in Hilbert spaces

abstract: We introduce a notion of weak solution for abstract fractional differential equations, motivated by the definition of Caputo derivative. We prove existence results for weak and strong solutions. We also give two examples as application of our results: time-fractional wave equations and time-fractional Petrovsky systems.


title: Online Estimation of Resource Overload Risk in 5G Multi-Tenancy Network

abstract: The technology of network slicing, as the most characteristic feature of the fifth generation (5G) wireless networks, manages the resources and network functions in heterogeneous and logically isolated slices on the top of a shared physical infrastructure, where every slice can be independently customized to fulfill the specific requirements of its devoted service type. It enables a new paradigm of multi-tenancy networking, where the network slices can be leased by the mobile network operator (MNO) to tenants in form of public cloud computing service, known as Slice-asa- Service (SlaaS). Similar to classical cloud computing scenarios, SlaaS benefits from overbooking its resources to numerous tenants, taking advantage of the resource elasticity and diversity, at a price of risking overloading network resources and violating the service-level agreements (SLAs), which stipulate the quality of service (QoS) that shall be guaranteed to the network slices. Thus, it becomes a critical challenge to the MNOs, accurately estimating the resource overload risk - especially under the sophisticated network dynamics - for monitoring and enhancing the reliability of SlaaS business.


title: On the $q$-Enumeration of Barely Set-Valued Tableaux and Plane Partitions

abstract: Barely set-valued tableaux are a variant of Young tableaux in which one box contains two numbers as its entry. It has recently been discovered that there are product formulas enumerating certain classes of barely set-valued tableaux. We give some $q$-analogs of these product formulas by introducing a version of major index for these tableaux. We also give product formulas and $q$-analogs for barely set-valued plane partitions. Many of the results are stated in the generality of $P$-partitions that then specialize to particularly nice formulas for rectangles and minuscule posets. The proofs use several probability distributions on the set of order ideals of a poset, depending on the real parameter $q>0$, which we think could be of independent interest.


title: Low cost cloud based remote microscopy for biological sciences

abstract: A low cost remote imaging platform for biological applications was developed. The "Picroscope" is a device that allows the user to perform longitudinal imaging studies on multi-well cell culture plates. Here we present the network architecture and software used to facilitate communication between modules within the device as well as external cloud services. A web based console was created to control the device and view experiment results. Post processing tools were developed to analyze captured data in the cloud. The result is a platform for controlling biological experiments from outside the lab.


title: Nonclassical states of light in a nonlinear Michelson interferometer

abstract: Nonlinear quantum metrology schemes can lead to faster than Heisenberg limited scalings for the measurement uncertainty. We study a Michelson interferometer embedded in a Kerr medium [Luis and Rivas, Phys. Rev. A 92, 022104 (2015)] that leads to non-linear, intensity dependent phase shifts corresponding to relative changes in the lengths of its two arms. The quantum Cramer-Rao bound on the minimum achievable measurement uncertainties is worked out and the requirements, in practice, to saturate the bound are investigated. The choice of input state of light into the interferometer and the read out strategy at the output end are discussed. The ideal, non-classical states of light that must be used to saturate the bound are found to be highly susceptible to photon loss noise. We identify optimal states at each noise level that are both resilient to noise and capable of giving the enhanced sensitivities and discuss practical implementations of the interferometry scheme using such states.


title: Edge-state and bulk-like laser-induced correlation effects in high-harmonic generation from a linear chain

abstract: We explore the significance of laser-induced correlation effects for high-order harmonic generation (HHG) in a linear chain model of a generic band gap material for both single-IR-pulse and VUV-pump--IR-probe HHG schemes. We examine various pump-pulse excitations, and catagorize signatures of laser-induced correlation effects into two classes related to edge-state and bulk-like effects. The relative importance of the edge-state effects decrease with increasing system-size, while the bulk-like effects remain. We identify regimes where these effects may alter the harmonic yield by an order of magnitude, but also regions where they may be neglected. We characterize the underlying laser-induced dynamics of the correlational mechanisms, using both an electronic population-description in a static field-free basis, and comparing to a bandstructure-picture with laser-induced time-dependent energy shifts. From this we provide a guideline on when to account for laser-induced electron correlations and give an estimate of the time-scale in which the laser-induced electron-electron interactions can cause correlational changes in the harmonic spectra. We find this timescale to be a few tens of femtoseconds.


title: Gap asymptotics of the directions in an Ammann-Beenker-like quasicrystal

abstract: It is known that the limiting gap distribution of the directions to visible points in planar quasicrystals of cut-and-project type exists as a continuous function $F(s)$. In this article we study the asymptotic behaviour of said limiting gap distribution in the particular case of an Ammann--Beenker-like quasicrystal $\mathcal{P}$; more precisely we show that in this case $F(s)=C_{\mathcal{P}}s^{-2}+\mathcal{O}(s^{-17/8})$ as $s\to \infty$ with an explicit constant $C_{\mathcal{P}}>0$.


title: ETICA: Efficient Two-Level I/O Caching Architecture for Virtualized Platforms

abstract: In this paper, we propose an Efficient Two-Level I/O Caching Architecture (ETICA) for virtualized platforms that can significantly improve I/O latency, endurance, and cost (in terms of cache size) while preserving the reliability of write-pending data blocks. As opposed to previous one-level I/O caching schemes in virtualized platforms, our proposed architecture 1) provides two levels of cache by employing both Dynamic Random-Access Memory (DRAM) and SSD in the I/O caching layer of virtualized platforms and 2) effectively partitions the cache space between running VMs to achieve maximum performance and minimum cache size. To manage the two-level cache, unlike the previous reuse distance calculation schemes such as Useful Reuse Distance (URD), which only consider the request type and neglect the impact of cache write policy, we propose a new metric, Policy Optimized reuse Distance (POD). The key idea of POD is to effectively calculate the reuse distance and estimate the amount of two-level DRAM+SSD cache space to allocate by considering both 1) the request type and 2) the cache write policy. Doing so results in enhanced performance and reduced cache size due to the allocation of cache blocks only for the requests that would be served by the I/O cache. ETICA maintains the reliability of write-pending data blocks and improves performance by 1) assigning an effective and fixed write policy at each level of the I/O cache hierarchy and 2) employing effective promotion and eviction methods between cache levels. Our extensive experiments conducted with a real implementation of the proposed two-level storage caching architecture show that ETICA provides 45% higher performance, compared to the state-of-the-art caching schemes in virtualized platforms, while improving both cache size and SSD endurance by 51.7% and 33.8%, respectively.


title: A linear algorithm for radio $k$-coloring of powers of paths having small diameters

abstract: The radio $k$-chromatic number $rc_k(G)$ of a graph $G$ is the minimum integer $\lambda$ such that there exists a function $\phi: V(G) \to \{0,1,\cdots, \lambda\}$ satisfying $|\phi(u)-\phi(v)| \geq k+1 - d(u,v)$, where $d(u,v)$ denotes the distance between $u$ and $v$. A considerable amount of attention has been given to find the exact values or providing polynomial time algorithms to determine $rc_k(G)$ for several basic graph families such as paths, cycles, trees, and powers of paths, usually for some specific values of $k$. In this article, we find the exact values of $rc_k(G)$ where $G$ is a power of a path with diameter strictly less than $k$. Our proof readily provides a linear time algorithm for assigning a radio $k$-coloring of $G$. Furthermore, our proof technique is a potential tool for solving the same problem for other classes of graphs having ``small'' diameters.


title: Topologically Protecting Squeezed Light on a Photonic Chip

abstract: Squeezed light is a critical resource in quantum sensing and information processing. Due to the inherently weak optical nonlinearity and limited interaction volume, considerable pump power is typically needed to obtain efficient interactions to generate squeezed light in bulk crystals. Integrated photonics offers an elegant way to increase the nonlinearity by confining light strictly inside the waveguide. For the construction of large-scale quantum systems performing many-photon operations, it is essential to integrate various functional modules on a chip. However, fabrication imperfections and transmission crosstalk may add unwanted diffraction and coupling to other photonic elements, reducing the quality of squeezing. Here, by introducing the topological phase, we experimentally demonstrate the topologically protected nonlinear process of spontaneous four-wave mixing enabling the generation of squeezed light on a silica chip. We measure the cross-correlations at different evolution distances for various topological sites and verify the non-classical features with high fidelity. The squeezing parameters are measured to certify the protection of cavity-free, strongly squeezed states. The demonstration of topological protection for squeezed light on a chip brings new opportunities for quantum integrated photonics, opening novel approaches for the design of advanced multi-photon circuits.


title: The normal map for plane curves and pathologies in positive characteristic

abstract: We study the normal map for plane projective curves, i.e., the map associating to every regular point of the curve the normal line at the point in the dual space. We first observe that the normal map is always birational and then we use this fact to show that for smooth curves of degree higher than four the normal map uniquely determines the curve. Our proof works in characteristic zero and in positive characteristic higher than the degree of the curve. We notice also that in high characteristic strange curves provide examples of different plane curves with same curve of normal lines. We will reinterpret our results also in the modern terminology of bottlenecks of algebraic curves.


title: V838 Monocerotis as seen by ALMA: a remnant of a binary merger in a triple system

abstract: V838 Mon erupted in 2002 quickly becoming the prototype of a new type of stellar eruptions known today as (luminous) red novae. The red nova outbursts are thought to be caused by stellar mergers. The merger in V838 Mon took place in a triple or higher system involving two B-type stars. We mapped the merger site with ALMA at a resolution of 25 mas in continuum dust emission and in rotational lines of simple molecules, including CO, SiO, SO, SO$_2$, AlOH, and H$_2$S. We use radiative transfer calculations to reproduce the remnant's architecture at the epoch of the ALMA observations. For the first time, we identify the position of the B-type companion relative to the outbursting component of V838 Mon. The stellar remnant is surrounded by a clumpy wind with characteristics similar to winds of red supergiants. The merger product is also associated with an elongated structure, $17.6 \times 7.6$ mas, seen in continuum emission, and which we interpret as a disk seen at a moderate inclination. Maps of continuum and molecular emission show also a complex region of interaction between the B-type star (its gravity, radiation, and wind) and the flow of matter ejected in 2002. The remnant's molecular mass is about 0.1 M$_{\odot}$ and the dust mass is 8.3$\cdot$10$^{-3}$ M$_{\odot}$. The mass of the atomic component remains unconstrained. The most interesting region for understanding the merger of V838 Mon remains unresolved but appears elongated. To study it further in more detail will require even higher angular resolutions. ALMA maps show us an extreme form of interaction between the merger ejecta with a distant (250 au) companion. This interaction is similar to that known from the Antares AB system but at a much higher mass loss rate. The B-type star not only deflects the merger ejecta but also changes its chemical composition with an involvement of circumstellar shocks.


title: Audio Attacks and Defenses against AED Systems -- A Practical Study

abstract: In this paper, we evaluate deep learning-enabled AED systems against evasion attacks based on adversarial examples. We test the robustness of multiple security critical AED tasks, implemented as CNNs classifiers, as well as existing third-party Nest devices, manufactured by Google, which run their own black-box deep learning models. Our adversarial examples use audio perturbations made of white and background noises. Such disturbances are easy to create, to perform and to reproduce, and can be accessible to a large number of potential attackers, even non-technically savvy ones. We show that an adversary can focus on audio adversarial inputs to cause AED systems to misclassify, achieving high success rates, even when we use small levels of a given type of noisy disturbance. For instance, on the case of the gunshot sound class, we achieve nearly 100% success rate when employing as little as 0.05 white noise level. Similarly to what has been previously done by works focusing on adversarial examples from the image domain as well as on the speech recognition domain. We then, seek to improve classifiers' robustness through countermeasures. We employ adversarial training and audio denoising. We show that these countermeasures, when applied to audio input, can be successful, either in isolation or in combination, generating relevant increases of nearly fifty percent in the performance of the classifiers when these are under attack.


title: ALMA Observations of the Sub-kpc Structure of the Host Galaxy of a z= 6.5 Lensed Quasar: A Rotationally-Supported Hyper-Starburst System at the Epoch of Reionization

abstract: We report ALMA observations of the dust continuum and {\cii} emission of the host galaxy of J0439+1634, a gravitationally lensed quasar at $z=6.5$. Gravitational lensing boosts the source-plane resolution to $\sim0\farcs15$ $(\sim0.8\text{ kpc})$. The lensing model derived from the ALMA data is consistent with the fiducial model in \citet{fan19} based on {\it HST} imaging. The host galaxy of J0439+1634 can be well-fitted by a S\'ersic profile consistent with an exponential disk, both in the far-infrared (FIR) continuum and the {\cii} emission. The overall magnification is $4.53\pm0.05$ for the continuum and $3.44\pm0.05$ for the {\cii} line. The host galaxy of J0439+1634 is a compact ultra-luminous infrared galaxy, with a total star formation rate (SFR) of $1.56\times10^{3}M_\odot/\text{year}$ after correcting for lensing and an effective radius of $0.74$ kpc. The resolved regions in J0439+1634 follow the ``{\cii} deficit," where the {\cii}-to-FIR ratio decreases with FIR surface brightness. The reconstructed velocity field of J0439+1634 appears to be rotation-like. The maximum line-of-sight rotation velocity of 130 km/s at a radius of 2 kpc. However, our data cannot be fit by an axisymmetric thin rotating disk, and the inclination of the rotation axis, $i$, remains unconstrained. We estimate the dynamical mass of the host galaxy to be $7.9\sin^{-2}(i)\times10^{9}M_\odot$. J0439+1634 is likely to have a high gas-mass fraction and an oversized SMBH compared to local relations. The SFR of J0439+1634 reaches the maximum possible values, and the SFR surface density is close to the highest value seen in any star-forming galaxy currently known in the universe.


title: Gravitational waves from the vacuum decay with LISA

abstract: We investigate the gravitational wave spectrum resulted from the cosmological first-order phase transition. We compare two models; one is a scalar field model without gravitation, while the other is a scalar field model with gravitation. Based on the sensitivity curves of the LISA space-based interferometer on the stochastic gravitational-wave background, we compare the difference between the gravitational wave spectra of the former and the latter cases resulted from the bubble collision process. Especially, we calculated the speed of the bubble wall before collision for the two models numerically. We show that the difference between the amplitudes of those spectra can clearly distinguish between the two models. We expect that the LISA with Signal to Noise Ratio =10 could observe the spectrum as the fast first-order phase transition.


title: CRASH: Raw Audio Score-based Generative Modeling for Controllable High-resolution Drum Sound Synthesis

abstract: In this paper, we propose a novel score-base generative model for unconditional raw audio synthesis. Our proposal builds upon the latest developments on diffusion process modeling with stochastic differential equations, which already demonstrated promising results on image generation. We motivate novel heuristics for the choice of the diffusion processes better suited for audio generation, and consider the use of a conditional U-Net to approximate the score function. While previous approaches on diffusion models on audio were mainly designed as speech vocoders in medium resolution, our method termed CRASH (Controllable Raw Audio Synthesis with High-resolution) allows us to generate short percussive sounds in 44.1kHz in a controllable way. Through extensive experiments, we showcase on a drum sound generation task the numerous sampling schemes offered by our method (unconditional generation, deterministic generation, inpainting, interpolation, variations, class-conditional sampling) and propose the class-mixing sampling, a novel way to generate "hybrid" sounds. Our proposed method closes the gap with GAN-based methods on raw audio, while offering more flexible generation capabilities with lighter and easier-to-train models.


title: Information exchange, meaning and redundancy generation in anticipatory systems: self-organization of expectations -- the case of Covid-19

abstract: When studying the evolution of complex systems one refers to model representations comprising various descriptive parameters. There is hardly research where system evolution is described on the base of information flows in the system. The paper focuses on the link between the dynamics of information and system evolution. Information, exchanged between different system's parts, before being processed is first provided with meaning by the system. Meanings are generated from the perspective of hindsight, i.e. against the arrow of time. The same information can be differently interpreted by different system's parts (i,e,provided with different meanings) so that the number of options for possible system development is proliferated. Some options eventually turn into observable system states. So that system evolutionary dynamics can be considered as due to information processing within the system. This process is considered here in a model representation. The model under study is Triple Helix (TH) model, which was earlier used to describe interactions between university, industry and government to foster innovations. In TH model the system is comprised of three interacting parts where each part process information ina different way. The model is not limited to the sphere of innovation and can be used in a broader perspective. Here TH is conceptualized in the framework of three compertment model used to describe infectious disease. The paper demonstrates how the dynamics of information and meaning can be incorporated in the description of Covid-19 infectious propagation. The results show correspondence of model predictions with observable infection dynamics.


title: On the Largest Singular Value/Eigenvalue of a Random Tensor

abstract: This short note presents upper bounds of the expectations of the largest singular values/eigenvalues of various types of random tensors in the non-asymptotic sense. For a standard Gaussian tensor of size $n_1\times\cdots\times n_d$, it is shown that the expectation of its largest singular value is upper bounded by $\sqrt {n_1}+\cdots+\sqrt {n_d}$. For the expectation of the largest $\ell^d$-singular value, it is upper bounded by $2^{\frac{d-1}{2}}\prod_{j=1}^{d}n_j^{\frac{d-2}{2d}}\sum^d_{j=1}n_j^{\frac{1}{2}}$. We also derive the upper bounds of the expectations of the largest Z-/H-($\ell^d$)/M-/C-eigenvalues of symmetric, partially symmetric, and piezoelectric-type Gaussian tensors, which are respectively upper bounded by $d\sqrt n$, $d\cdot 2^{\frac{d-1}{2}}n^{\frac{d-1}{2}}$, $2\sqrt m+2\sqrt n$, and $3\sqrt n$.


title: Fully heavy multiquarks

abstract: The existence of stable multiquarks made of heavy quarks and antiquarks is discussed in the framework of potential models. It is stressed that the few-body problem should be handled seriously and accurately. No bound state is found within the current models. But resonances are likely present in the spectrum above the lowest threshold.


title: Misinformation versus Facts: Understanding the Influence of News Regarding COVID-19 Vaccines on Vaccine Uptake

abstract: There is a lot of fact-based information and misinformation in the online discourses and discussions about the COVID-19 vaccines. Using a sample of nearly four million geotagged English tweets and the data from the CDC COVID Data Tracker, we conducted the Fama-MacBeth regression with the Newey-West adjustment to understand the influence of both misinformation and fact-based news on Twitter on the COVID-19 vaccine uptake in the U.S. from April 19 when U.S. adults were vaccine eligible to June 30, 2021, after controlling state-level factors such as demographics, education, and the pandemic severity. We identified the tweets related to either misinformation or fact-based news by analyzing the URLs. One percent increase in fact-related Twitter users is associated with an approximately 0.87 decrease (B = -0.87, SE = 0.25, p<.001) in the number of daily new vaccinated people per hundred. No significant relationship was found between the percentage of fake-news-related users and the vaccination rate. The negative association between the percentage of fact-related users and the vaccination rate might be due to a combination of a larger user-level influence and the negative impact of online social endorsement on vaccination intent.


title: Snowcover Survey over an Arctic Glacier Forefield: Contribution of Photogrammetry to Identify "Icing" Variability and Processes

abstract: Current climate shift has significant impacts on both quality and quantity of snow precipitation. This directly influences spatial variability of the snowpack as well as cumulative snow height. Contemporary glacier retreat reorganizes periglacial morphology: while the glacier area decreases, the moraine area increases. The latter is becoming a new water storage potential almost as important as the glacier itself, but with a much more complex topography. This work hence fills one of the missing variables of the hydrological budget equation of an arctic glacier basin by providing an estimate of the snow water equivalent (SWE) of the moraine contribution. Such a result is achieved by investigating Structure from Motion (SfM) image processing applied to pictures collected from an Unmanned Aerial Vehicle (UAV) as a method to produce snow depth maps over the proglacial moraine area. Several UAV campaigns were carried out on a small glacial basin in Spitsbergen (Arctic): measurements were made at the maximum snow accumulation season (late April) while reference topography maps were acquired at the end of hydrological year (late September) when the moraine is mostly free of snow. Snow depth is determined from Digital Surface Model (DSM) subtraction. Using dedicated and natural ground control points for relative positioning of the DSMs, the relative DSM georeferencing with sub-meter accuracy removes the main source of uncertainty when assessing snow depth. For areas where snow is deposited on bare rock surfaces, the correlation between avalanche probe in-situ snow depth measurements and DSM differences is excellent. Differences in ice covered areas between the two measurement techniques are attributed to the different quantities measured.


title: Bahadur efficiency of EDF based normality tests when parameters are estimated

abstract: In this paper some well-known tests based on empirical distribution functions (EDF) with estimated parameters for testing composite normality hypothesis are revisited, and some new results on asymptotic properties are provided. In particular, the approximate Bahadur slopes are obtained -- in the case of close alternatives -- for the EDF-based tests as well as the likelihood ratio test. The local approximate efficiencies are calculated for several close alternatives. The obtained results could serve as a benchmark for evaluation of the quality of recent and future normality tests.


title: Low-power/high-gain flexible complementary circuits based on printed organic electrochemical transistors

abstract: The ability to accurately extract low-amplitude voltage signals is crucial in several fields, ranging from single-use diagnostics and medical technology to robotics and the Internet of Things. The organic electrochemical transistor, which features large transconductance values at low operation voltages, is ideal for monitoring small signals. Its large transconductance translates small gate voltage variations into significant changes in the drain current. However, a current-to-voltage conversion is further needed to allow proper data acquisition and signal processing. Low power consumption, high amplification, and manufacturability on flexible and low-cost carriers are also crucial and highly anticipated for targeted applications. Here, we report low-power and high-gain flexible circuits based on printed complementary organic electrochemical transistors (OECTs). We leverage the low threshold voltage of both p-type and n-type enhancement-mode OECTs to develop complementary voltage amplifiers that can sense voltages as low as 100 $\mu$V, with gains of 30.4 dB and at a power consumption < 2.7 $\mu$W (single-stage amplifier). At the optimal operating conditions, the voltage gain normalized to power consumption reaches 169 dB/$\mu$W, which is > 50 times larger than state-of-the-art OECT-based amplifiers. In a two-stage configuration, the complementary voltage amplifiers reach a DC voltage gain of 193 V/V, which is the highest among emerging CMOS-like technologies operating at supply voltages below 1 volt. Our findings demonstrate that flexible complementary circuits based on printed OECTs define a power-efficient platform for sensing and amplifying low-amplitude voltage signals in several emerging beyond-silicon applications.


title: Comparative study of ${}^6$He $\beta$-decay based on different similarity-renormalization-group evolved chiral interactions

abstract: We report on a study of the Gamow-Teller matrix element contributing to ${}^6$He $\beta$-decay with similarity renormalization group (SRG) versions of momentum- and configuration-space two-nucleon interactions. These interactions are derived from two different formulations of chiral effective field theory ($\chi$EFT) -- without and with the explicit inclusion of $\Delta$-isobars. We consider evolution parameters $\Lambda_{\rm SRG}$ in the range between 1.2 and 2.0 fm$^{-1}$ and, for the $\Delta$-less case, also the unevolved (bare) interaction. The axial current contains one- and two-body terms, consistently derived at tree level (no loops) in the two distinct $\chi$EFT formulations we have adopted here. The ${}^6$He and ${}^6$Li ground-state wave functions are obtained from hyperspherical-harmonics (HH) solutions of the nuclear many-body problem. In $A\,$=$\,6$ systems, the HH method is limited at present to treat only two-body interactions and non-SRG evolved currents. Our results exhibit a significant dependence on $\Lambda_{\text{SRG}}$ of the contributions associated with two-body currents, suggesting that a consistent SRG-evolution of these is needed in order to obtain reliable estimates. We also show that the contributions from one-pion-exchange currents depend strongly on the model (chiral) interactions and on the momentum- or configuration-space cutoffs used to regularize them. These results might prove helpful in clarifying the origin of the sign difference recently found in No-Core-Shell-Model and Quantum Monte Carlo calculations of the ${}^6$He Gamow-Teller matrix element.


title: Equivariant Morita theory for graded tensor categories

abstract: We extend categorical Morita equivalence to finite tensor categories graded by a finite group $G$. We show that two such categories are graded Morita equivalent if and only if their equivariant Drinfeld centers are equivalent as braided $G$-crossed tensor categories.


title: Automatically eliminating seam lines with Poisson editing in complex relative radiometric normalization mosaicking scenarios

abstract: Relative radiometric normalization (RRN) mosaicking among multiple remote sensing images is crucial for the downstream tasks, including map-making, image recognition, semantic segmentation, and change detection. However, there are often seam lines on the mosaic boundary and radiometric contrast left, especially in complex scenarios, making the appearance of mosaic images unsightly and reducing the accuracy of the latter classification/recognition algorithms. This paper renders a novel automatical approach to eliminate seam lines in complex RRN mosaicking scenarios. It utilizes the histogram matching on the overlap area to alleviate radiometric contrast, Poisson editing to remove the seam lines, and merging procedure to determine the normalization transfer order. Our method can handle the mosaicking seam lines with arbitrary shapes and images with extreme topological relationships (with a small intersection area). These conditions make the main feathering or blending methods, e.g., linear weighted blending and Laplacian pyramid blending, unavailable. In the experiment, our approach visually surpasses the automatic methods without Poisson editing and the manual blurring and feathering method using GIMP software.


title: Prediction of mmWave/THz Link Blockages through Meta-Learning and Recurrent Neural Networks

abstract: Wireless applications that use high-reliability low-latency links depend critically on the capability of the system to predict link quality. This dependence is especially acute at the high carrier frequencies used by mmWave and THz systems, where the links are susceptible to blockages. Predicting blockages with high reliability requires a large number of data samples to train effective machine learning modules. With the aim of mitigating data requirements, we introduce a framework based on meta-learning, whereby data from distinct deployments are leveraged to optimize a shared initialization that decreases the data set size necessary for any new deployment. Predictors of two different events are studied: (1) at least one blockage occurs in a time window, and (2) the link is blocked for the entire time window. The results show that an RNN-based predictor trained using meta-learning is able to predict blockages after observing fewer samples than predictors trained using standard methods.


title: CHEOPS Precision Phase Curve of the Super-Earth 55 Cnc e

abstract: 55 Cnc e is a transiting super-Earth (radius $1.88\rm\,R_\oplus$ and mass $8\rm\, M_\oplus$) orbiting a G8V host star on a 17-hour orbit. Spitzer observations of the planet's phase curve at 4.5 $\mu$m revealed a time-varying occultation depth, and MOST optical observations are consistent with a time-varying phase curve amplitude and phase offset of maximum light. Both broadband and high-resolution spectroscopic analyses are consistent with either a high mean molecular weight atmosphere or no atmosphere for planet e. A long term photometric monitoring campaign on an independent optical telescope is needed to probe the variability in this system. We seek to measure the phase variations of 55 Cnc e with a broadband optical filter with the 30 cm effective aperture space telescope CHEOPS and explore how the precision photometry narrows down the range of possible scenarios. We observed 55 Cnc for 1.6 orbital phases in March of 2020. We designed a phase curve detrending toolkit for CHEOPS photometry which allows us to study the underlying flux variations of the 55 Cnc system. We detected a phase variation with a full-amplitude of $72 \pm 7$ ppm but do not detect a significant secondary eclipse of the planet. The shape of the phase variation resembles that of a piecewise-Lambertian, however the non-detection of the planetary secondary eclipse, and the large amplitude of the variations exclude reflection from the planetary surface as a possible origin of the observed phase variations. They are also likely incompatible with magnetospheric interactions between the star and planet but may imply that circumplanetary or circumstellar material modulate the flux of the system. Further precision photometry of 55 Cnc from CHEOPS will measure variations in the phase curve amplitude and shape over time this year.


title: From the Hecke Category to the Unipotent Locus

abstract: Let $W$ be the Weyl group of a split semisimple group $G$. Its Hecke category $\mathsf{H}_W$ can be built from pure perverse sheaves on the double flag variety of $G$. By developing a formalism of generalized realization functors, we construct a monoidal trace from $\mathsf{H}_W$ to a category of bigraded modules over a certain graded ring: namely, the endomorphisms of the equivariant Springer sheaf over the unipotent locus of $G$. We prove that: (1) On objects attached to positive braids $\beta$, the output is the weight-graded, equivariant Borel-Moore homology of a generalized Steinberg scheme $\mathcal{Z}(\beta)$. (2) Our functor contains, as a summand, one used by Webster-Williamson to construct the Khovanov-Rozansky link invariant. In particular, the Khovanov-Rozansky homology of the link closure of $\beta$ is fully encoded in the Springer theory of $\mathcal{Z}(\beta)$. Decategorifying, we get a trace on the Iwahori-Hecke algebra, valued in graded virtual characters of $W$. We give a formula for it in terms of a pairing on characters of $W$ called Lusztig's exotic Fourier transform, which generalizes it to all finite Coxeter groups. Using this formula, we establish properties of the trace like rationality, symmetry, and compatibility with parabolic induction. We also show that on periodic braids, the trace produces the characters of explicit virtual modules over Cherendik's rational double affine Hecke algebra. For $W = S_n$, we recover an identity of Gorsky-Oblomkov-Rasmussen-Shende relating these modules to the HOMFLY polynomials of torus knots.


title: PopSkipJump: Decision-Based Attack for Probabilistic Classifiers

abstract: Most current classifiers are vulnerable to adversarial examples, small input perturbations that change the classification output. Many existing attack algorithms cover various settings, from white-box to black-box classifiers, but typically assume that the answers are deterministic and often fail when they are not. We therefore propose a new adversarial decision-based attack specifically designed for classifiers with probabilistic outputs. It is based on the HopSkipJump attack by Chen et al. (2019, arXiv:1904.02144v5 ), a strong and query efficient decision-based attack originally designed for deterministic classifiers. Our P(robabilisticH)opSkipJump attack adapts its amount of queries to maintain HopSkipJump's original output quality across various noise levels, while converging to its query efficiency as the noise level decreases. We test our attack on various noise models, including state-of-the-art off-the-shelf randomized defenses, and show that they offer almost no extra robustness to decision-based attacks. Code is available at https://github.com/cjsg/PopSkipJump .


title: Cosmic evolution in DHOST theories with scaling solutions

abstract: We study cosmic evolution based on the fixed points in the dynamical analysis of the Degenerate Higher-Order Scalar-Tensor (DHOST) theories. We consider the DHOST theory in which the propagation speed of gravitational waves is equal to the speed of light, the tensor perturbations do not decay to dark energy perturbations, and the scaling solutions exist. The scaling fixed point associated with late time acceleration of universe can be either stable or saddle depending on the parameters of the theory. For some ranges of the parameters, this scaling fixed point and field dominated fixed point can be simultaneously stable. Cosmic evolution will reach either the scaling attractor or the field dominated attractor depending on signs of time derivative of the scalar field in the theory during the matter domination. The density parameter of dark matter can be larger than unity before reaching the scaling attractor if the deviation from the Einstein theory of gravity is too large. For this DHOST theory, stabilities of $\phi$-matter-dominated epoch ($\phi$MDE) and field dominated solutions are similar to the coupled dark energy models in Einstein gravity even though gravity is described by different theories. In our consideration, the universe can only evolve from the $\phi$MDE regime to the field dominated regime. The ghost and gradient instabilities up to linear order in cosmological perturbations have been investigated. There is no gradient instability, while the ghost instability can be avoided for some range of the parameters of the model.


title: HuBERT: Self-Supervised Speech Representation Learning by Masked Prediction of Hidden Units

abstract: Self-supervised approaches for speech representation learning are challenged by three unique problems: (1) there are multiple sound units in each input utterance, (2) there is no lexicon of input sound units during the pre-training phase, and (3) sound units have variable lengths with no explicit segmentation. To deal with these three problems, we propose the Hidden-Unit BERT (HuBERT) approach for self-supervised speech representation learning, which utilizes an offline clustering step to provide aligned target labels for a BERT-like prediction loss. A key ingredient of our approach is applying the prediction loss over the masked regions only, which forces the model to learn a combined acoustic and language model over the continuous inputs. HuBERT relies primarily on the consistency of the unsupervised clustering step rather than the intrinsic quality of the assigned cluster labels. Starting with a simple k-means teacher of 100 clusters, and using two iterations of clustering, the HuBERT model either matches or improves upon the state-of-the-art wav2vec 2.0 performance on the Librispeech (960h) and Libri-light (60,000h) benchmarks with 10min, 1h, 10h, 100h, and 960h fine-tuning subsets. Using a 1B parameter model, HuBERT shows up to 19% and 13% relative WER reduction on the more challenging dev-other and test-other evaluation subsets.


title: A Novel mapping for visual to auditory sensory substitution

abstract: visual information can be converted into audio stream via sensory substitution devices in order to give visually impaired people the chance of perception of their surrounding easily and simultaneous to performing everyday tasks. In this study, visual environmental features namely, coordinate, type of objects and their size are assigned to audio features related to music tones such as frequency, time duration and note permutations. Results demonstrated that this new method has more training time efficiency in comparison with our previous method named VBTones which sinusoidal tones were applied. Moreover, results in blind object recognition for real objects was achieved 88.05 on average.


title: Isadora: Automated Information Flow Property Generation for Hardware Designs

abstract: Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during the security validation process, and which support a better understanding of the security posture of the design. Isadora is fully automated; the user provides only the design under consideration and a testbench and need not supply a threat model nor security specifications. We evaluate Isadora on a RISC-V processor plus two designs related to SoC access control. Isadora generates security properties that align with those suggested by the Common Weakness Enumerations (CWEs), and in the case of the SoC designs, align with the properties written manually by security experts.


title: Local connectivity of Julia sets of some rational maps with Siegel disks

abstract: We prove that a long iteration of rational maps is expanding near boundaries of bounded type Siegel disks. This leads us to extend Petersen's local connectivity result on the Julia sets of quadratic Siegel polynomials to a general case. A new key feature in the proof is that the puzzles are not used.


title: Noise-robust Graph Learning by Estimating and Leveraging Pairwise Interactions

abstract: Teaching Graph Neural Networks (GNNs) to accurately classify nodes under severely noisy labels is an important problem in real-world graph learning applications, but is currently underexplored. Although pairwise training methods have demonstrated promise in supervised metric learning and unsupervised contrastive learning, they remain less studied on noisy graphs, where the structural pairwise interactions (PI) between nodes are abundant and thus might benefit label noise learning rather than the pointwise methods. This paper bridges the gap by proposing a pairwise framework for noisy node classification on graphs, which relies on the PI as a primary learning proxy in addition to the pointwise learning from the noisy node class labels. Our proposed framework PI-GNN contributes two novel components: (1) a confidence-aware PI estimation model that adaptively estimates the PI labels, which are defined as whether the two nodes share the same node labels, and (2) a decoupled training approach that leverages the estimated PI labels to regularize a node classification model for robust node classification. Extensive experiments on different datasets and GNN architectures demonstrate the effectiveness of PI-GNN, yielding a promising improvement over the state-of-the-art methods. Code is publicly available at https://github.com/TianBian95/pi-gnn.


title: Marginalising over Stationary Kernels with Bayesian Quadrature

abstract: Marginalising over families of Gaussian Process kernels produces flexible model classes with well-calibrated uncertainty estimates. Existing approaches require likelihood evaluations of many kernels, rendering them prohibitively expensive for larger datasets. We propose a Bayesian Quadrature scheme to make this marginalisation more efficient and thereby more practical. Through use of the maximum mean discrepancies between distributions, we define a kernel over kernels that captures invariances between Spectral Mixture (SM) Kernels. Kernel samples are selected by generalising an information-theoretic acquisition function for warped Bayesian Quadrature. We show that our framework achieves more accurate predictions with better calibrated uncertainty than state-of-the-art baselines, especially when given limited (wall-clock) time budgets.