title: Weak randomness in graphons and theons

abstract: Call a hereditary family $\mathcal{F}$ of graphs strongly persistent if there exists a graphon $W$ such that in all subgraphons $W'$ of $W$, $\mathcal{F}$ is precisely the class of finite graphs that have positive density in $W'$. The first result of the paper is a complete characterization of the hereditary families of graphs that are strongly persistent as precisely those that are closed under substitutions. In fact, we prove an analogous characterization for the natural extension of these properties to structures in finite relational languages. We call graphons (or more generally theons) with the self-similarity property above weakly random. Weak randomness can be seen as a weakening of graph quasirandomness: while the latter requires densities of any finite graph to be the same in any subgraphon, the former only requires the set of finite graphs with positive density to be invariant across subgraphons. A hereditary family $\mathcal{F}$ is said to have the weakly random Erd\H{o}s--Hajnal property (WR) if every graphon that is a limit of graphs in $\mathcal{F}$ has a weakly random subgraphon; this includes as a special case the approximate Erd\H{o}s--Hajnal property (AEHP), where the subgraphon is required to be an almost clique or almost anti-clique. Among families of graphs that are closed under substitutions, we completely characterize the families that belong to WR as those with "few" prime graphs. The classes AEHP and WR can be seen as measuring the complexity of hereditary families in terms of structural variation in their limit objects (here specifically in terms of unavoidable sub-objects), and this work can be seen as initiating a classification theory for hereditary families of finite structures.


title: Distributionally robust trading strategies for renewable energy producers

abstract: Renewable energy generation is offered through electricity markets, quite some time in advance. This then leads to a problem of decision-making under uncertainty, which may be seen as a newsvendor problem. Contrarily to the conventional case for which underage and overage penalties are known, such penalties in the case of electricity markets are unknown, and difficult to estimate. In addition, one is actually only penalized for either overage or underage, not both. Consequently, we look at a slightly different form of a newsvendor problem, for a price-taker participant offering in electricity markets, which we refer to as Bernoulli newsvendor problem. After showing that its solution is consistent with that for the classical newsvendor problem, we then introduce distributionally robust versions, with ambiguity possibly about both the probabilistic forecasts for power generation and the chance of success of the Bernoulli variable. Both versions of the distributionally robust Bernoulli newsvendor problem admit closed-form solutions. We finally use simulation studies, as well as a real-world case-study application, to illustrate the workings and benefits from the approach.


title: $E_\infty$-Ring structures on the $K$-theory of assemblers and point counting

abstract: We construct a monoidal structure on the category of assemblers. As an application of this, we construct a derived local zeta-function which takes a variety over a finite field to the set of points over the separable closure, and use the structure of this map to detect interesting elements in $K_1(\mathbf{Var}_k)$.


title: Bell-shaped sequences

abstract: A nonnegative real function $f$ is said to be bell-shaped if it converges to zero at $\pm\infty$ and the $n$th derivative of $f$ changes sign $n$ times for every $n = 0, 1, 2, \ldots$ In a similar way, we may say that a nonnegative sequence $a_k$ is bell-shaped if it converges to zero and the $n$th iterated difference of $a_k$ changes sign $n$ times for every $n = 0, 1, 2, \ldots$ Bell-shaped functions were recently characterised by Thomas Simon and the first author. In the present paper we provide an analogous description of bell-shaped sequences. More precisely, we identify bell-shaped sequences with convolutions of P\'olya frequency sequences and completely monotone sequences, and we characterise the corresponding generating functions as exponentials of appropriate Pick functions.


title: Offline Evaluation of Reward-Optimizing Recommender Systems: The Case of Simulation

abstract: Both in academic and industry-based research, online evaluation methods are seen as the golden standard for interactive applications like recommendation systems. Naturally, the reason for this is that we can directly measure utility metrics that rely on interventions, being the recommendations that are being shown to users. Nevertheless, online evaluation methods are costly for a number of reasons, and a clear need remains for reliable offline evaluation procedures. In industry, offline metrics are often used as a first-line evaluation to generate promising candidate models to evaluate online. In academic work, limited access to online systems makes offline metrics the de facto approach to validating novel methods. Two classes of offline metrics exist: proxy-based methods, and counterfactual methods. The first class is often poorly correlated with the online metrics we care about, and the latter class only provides theoretical guarantees under assumptions that cannot be fulfilled in real-world environments. Here, we make the case that simulation-based comparisons provide ways forward beyond offline metrics, and argue that they are a preferable means of evaluation.


title: Isometric Lie 2-group actions on Riemannian groupoids

abstract: We study isometric actions of Lie $2$-groups on Riemannian groupoids by exhibiting some of their immediate properties and implications. Firstly, we prove an existence result which allows both to obtain 2-equivariant versions of the Slice Theorem and the Equivariant Tubular Neighborhood Theorem and to construct bi-invariant groupoid metrics on compact Lie $2$-groups. We provide natural examples, transfer some classical constructions and explain how this notion of isometric $2$-action yields a way to develop a 2-equivariant Morse theory on Lie groupoids. Secondly, we give an infinitesimal description of an isometric Lie $2$-group action. We define an algebra of transversal infinitesimal isometries associated to any Riemannian $n$-metric on a Lie groupoid which in turn gives rise to a notion of geometric Killing vector field on a quotient Riemannian stack. If our Riemannian stack is separated then we prove that the algebra formed by such geometric Killing vector fields is always finite dimensional.


title: Existence and Multiplicity of solutions for Kirchhoff type equations in Physical Education

abstract: The fact that potentially skilled, but biologically later-maturing athletes are less likely to be selected into talent development programmes can represent a failure of Talent Identification in sports. In this article, we prove the existence of solutions for Kirchhoff type equations with Dirichlet boundaryvalue condition. We use the Mountain Pass Theorem in critical point theory, without the (PS) condition.


title: Emission-Aware Optimization of Gas Networks: Input-Convex Neural Network Approach

abstract: Gas network planning optimization under emission constraints prioritizes gas supply with the least CO$_2$ intensity. As this problem includes complex physical laws of gas flow, standard optimization solvers cannot guarantee convergence to a feasible solution. To address this issue, we develop an input-convex neural network (ICNN) aided optimization routine which incorporates a set of trained ICNNs approximating the gas flow equations with high precision. Numerical tests on the Belgium gas network demonstrate that the ICNN-aided optimization dominates non-convex and relaxation-based solvers, with larger optimality gains pertaining to stricter emission targets. Moreover, whenever the non-convex solver fails, the ICNN-aided optimization provides a feasible solution to network planning.


title: DeepTOP: Deep Threshold-Optimal Policy for MDPs and RMABs

abstract: We consider the problem of learning the optimal threshold policy for control problems. Threshold policies make control decisions by evaluating whether an element of the system state exceeds a certain threshold, whose value is determined by other elements of the system state. By leveraging the monotone property of threshold policies, we prove that their policy gradients have a surprisingly simple expression. We use this simple expression to build an off-policy actor-critic algorithm for learning the optimal threshold policy. Simulation results show that our policy significantly outperforms other reinforcement learning algorithms due to its ability to exploit the monotone property. In addition, we show that the Whittle index, a powerful tool for restless multi-armed bandit problems, is equivalent to the optimal threshold policy for an alternative problem. This observation leads to a simple algorithm that finds the Whittle index by learning the optimal threshold policy in the alternative problem. Simulation results show that our algorithm learns the Whittle index much faster than several recent studies that learn the Whittle index through indirect means.


title: Why Deep Surgical Models Fail?: Revisiting Surgical Action Triplet Recognition through the Lens of Robustness

abstract: Surgical action triplet recognition provides a better understanding of the surgical scene. This task is of high relevance as it provides the surgeon with context-aware support and safety. The current go-to strategy for improving performance is the development of new network mechanisms. However, the performance of current state-of-the-art techniques is substantially lower than other surgical tasks. Why is this happening? This is the question that we address in this work. We present the first study to understand the failure of existing deep learning models through the lens of robustness and explainability. Firstly, we study current existing models under weak and strong $\delta-$perturbations via an adversarial optimisation scheme. We then analyse the failure modes via feature based explanations. Our study reveals that the key to improving performance and increasing reliability is in the core and spurious attributes. Our work opens the door to more trustworthy and reliable deep learning models in surgical data science.


title: Through a fair looking-glass: mitigating bias in image datasets

abstract: With the recent growth in computer vision applications, the question of how fair and unbiased they are has yet to be explored. There is abundant evidence that the bias present in training data is reflected in the models, or even amplified. Many previous methods for image dataset de-biasing, including models based on augmenting datasets, are computationally expensive to implement. In this study, we present a fast and effective model to de-bias an image dataset through reconstruction and minimizing the statistical dependence between intended variables. Our architecture includes a U-net to reconstruct images, combined with a pre-trained classifier which penalizes the statistical dependence between target attribute and the protected attribute. We evaluate our proposed model on CelebA dataset, compare the results with a state-of-the-art de-biasing method, and show that the model achieves a promising fairness-accuracy combination.


title: Creating Structure in Web Archives With Collections: Different Concepts From Web Archivists

abstract: As web archives' holdings grow, archivists subdivide them into collections so they are easier to understand and manage. In this work, we review the collection structures of eight web archive platforms: : Archive-It, Conifer, the Croatian Web Archive (HAW), the Internet Archive's user account web archives, Library of Congress (LC), PANDORA, Trove, and the UK Web Archive (UKWA). We note a plethora of different approaches to web archive collection structures. Some web archive collections support sub-collections and some permit embargoes. Curatorial decisions may be attributed to a single organization or many. Archived web pages are known by many names: mementos, copies, captures, or snapshots. Some platforms restrict a memento to a single collection and others allow mementos to cross collections. Knowledge of collection structures has implications for many different applications and users. Visitors will need to understand how to navigate collections. Future archivists will need to understand what options are available for designing collections. Platform designers need it to know what possibilities exist. The developers of tools that consume collections need to understand collection structures so they can meet the needs of their users.


title: The graded Betti numbers of truncation of ideals in polynomial rings

abstract: Let $R=\mathbb{K}[x_1,\dots,x_n]$, a graded algebra $S=R/I$ satisfies $N_{k,p}$ if $I$ is generated in degree $k$, and the graded minimal resolution is linear the first $p$ steps, and the $k$-index of $S$ is the largest $p$ such that $S$ satisfies $N_{k,p}$. Eisenbud and Goto have shown that for any graded ring $R/I$, then $R/I_{\geq k}$, where $I_{\geq k}=I\cap M^k$ and $M=(x_1,\dots,x_n)$, has a $k$-linear resolution (satisfies $N_{k,p}$ for all $p$) if $k\gg0$. For a squarefree monomial ideal $I$, we are here interested in the ideal $I_k$ which is the squarefree part of $I_{\geq k}$. The ideal $I$ is, via Stanley-Reisner correspondence, associated to a simplicial complex $\Delta_I$. In this case, all Betti numbers of $R/I_k$ for $k>\min\{\text{deg}(u)\mid u\in I\}$, which of course is a much finer invariant than the index, can be determined from the Betti diagram of $R/I$ and the $f$-vector of $\Delta_I$. We compare our results with the corresponding statements for $I_{\ge k}$. (Here $I$ is an arbitrary graded ideal.) In this case we show that the Betti numbers of $R/I_{\ge k}$ can be determined from the Betti numbers of $R/I$ and the Hilbert series of $R/I_{\ge k}$.


title: Sharp stability for Sobolev and log-Sobolev inequalities, with optimal dimensional dependence

abstract: We prove a sharp quantitative version for the stability of the Sobolev inequality with explicit constants. Moreover, the constants have the correct behavior in the limit of large dimensions, which allows us to deduce an optimal quantitative stability estimate for the Gaussian log-Sobolev inequality with an explicit dimension-free constant. Our proofs rely on several ingredients such as competing symmetries, a flow based on continuous Steiner symmetrization that interpolates continuously between a function and its symmetric decreasing rearrangement, and refined estimates on the Sobolev functional in the neighborhood of the optimal Aubin--Talenti functions.


title: The causality and stability of relativistic spin-hydrodynamics

abstract: We study the causality and stability of relativistic hydrodynamics with the inclusion of the spin degree of freedom as a hydrodynamic field. We consider two specific models of spin-hydrodynamics for this purpose. A linear mode analysis for static background shows that a first-order dissipative spin-hydrodynamics remains acausal and admits instabilities. Besides, it is found that the inclusion of the spin field in hydrodynamics leads to new kinds of linear modes in the system. These new modes also exhibit instability and acausal behavior. The second model of the spin-hydrodynamics that we have considered here is equivalent to a particular second-order conventional hydrodynamics with no dissipative effects. For a static background, it is found that the linear modes of this model support the sound waves only. However, when the background has constant vorticity, then the model admits instability and acausality in certain situations. It is found that the spin-dynamics have an effect on the hydrodynamic response of the fluid. These findings point toward the need for a causal and stable theory with spin as a hydrodynamic field to describe the spin-polarized fluid.

categories: nucl-th cond-mat.stat-mech hep-ph hep-th


title: The torus one-point block of 2d CFT and null vectors in $\hat{\mathfrak{sl_2}}$

abstract: This thesis is divided into two parts, where in the first part we investigate the computation of Virasoro 1-point blocks on the torus in the framework of Zamolodchikov's recursion relation. It is widely accepted that this recursion relation contains unphysical poles in the central charge $c$. At each order we conjecture how the pole free expressions depend on the internal and external conformal dimensions and central charge, and propose how to compute it numerically. In this thesis, we have calculated the pole free expression up to order 4. In the second part we introduce a conformal field theory with an extra symmetry, described by highest weight representations of the affine Lie algebra $\hat{\mathfrak{sl}}_2$. At level 1, we determined a universal $\mathfrak{sl}_2$ basis-independent 'null operator', which generates null vectors in the usual sense. The 'null operators' are generalized objects and can be applied to any state of the horizontal representation, yielding null vectors and are therefore independent from the choice of horizontal representations.


title: Report of the Topical Group on Dark Energy and Cosmic Acceleration: Complementarity of Probes and New Facilities for Snowmass 2021

abstract: The mechanism(s) driving the early- and late-time accelerated expansion of the Universe represent one of the most compelling mysteries in fundamental physics today. The path to understanding the causes of early- and late-time acceleration depends on fully leveraging ongoing surveys, developing and demonstrating new technologies, and constructing and operating new instruments. This report presents a multi-faceted vision for the cosmic survey program in the 2030s and beyond that derives from these considerations. Cosmic surveys address a wide range of fundamental physics questions, and are thus a unique and powerful component of the HEP experimental portfolio.


title: Enabling Conversational Interaction with Mobile UI using Large Language Models

abstract: Conversational agents show the promise to allow users to interact with mobile devices using language. However, to perform diverse UI tasks with natural language, developers typically need to create separate datasets and models for each specific task, which is expensive and effort-consuming. Recently, pre-trained large language models (LLMs) have been shown capable of generalizing to various downstream tasks when prompted with a handful of examples from the target task. This paper investigates the feasibility of enabling versatile conversational interactions with mobile UIs using a single LLM. We designed prompting techniques to adapt an LLM to mobile UIs. We experimented with four important modeling tasks that address various scenarios in conversational interaction. Our method achieved competitive performance on these challenging tasks without requiring dedicated datasets and training, offering a lightweight and generalizable approach to enable language-based mobile interaction.


title: Probabilistic Population Protocol Models

abstract: Population protocols are a relatively novel computational model in which very resource-limited anonymous agents interact in pairs with the goal of computing predicates. We consider the probabilistic version of this model, which naturally allows to consider the setup in which a small probability of an incorrect output is tolerated. The main focus of this thesis is the question of confident leader election, which is an extension of the regular leader election problem with an extra requirement for the eventual leader to detect its uniqueness. Having a confident leader allows the population protocols to determine the convergence of its computations. This behaviour of the model is highly beneficial and was shown to be feasible when the original model is extended in various ways. We show that it takes a linear in terms of the population size number of interactions for a probabilistic population protocol to have a non-zero fraction of agents in all reachable states, starting from a configuration with all agents in the same state. This leads us to a conclusion that confident leader election is out of reach even with the probabilistic version of the model.


title: Online Regenerative Learning

abstract: We study a type of Online Linear Programming (OLP) problem that maximizes the objective function with stochastic inputs. The performance of various algorithms that analyze this type of OLP is well studied when the stochastic inputs follow some i.i.d distribution. The two central questions to ask are: (i) can the algorithms achieve the same efficiency if the stochastic inputs are not i.i.d but still stationary, and (ii) how can we modify our algorithms if we know the stochastic inputs are trendy, hence not stationary. We answer the first question by analyzing a regenerative type of input and show the regrets of two popular algorithms are bounded by the same orders as their i.i.d counterparts. We discuss the second question in the context of linearly growing inputs and propose a trend-adaptive algorithm. We provide numerical simulations to illustrate the performance of our algorithms under both regenerative and trendy inputs.


title: Cut notions in extriangulated categories related to Auslander-Buchweitz theory and cotorsion theory

abstract: In this work we introduce notions in Auslander-Buchweitz theory and cotorsion theory in extriangulated categories which extend the given ones for abelian categories. Although these notions have been already developed for extriangulated categories in remarkable works, in this paper, we tackle them in a relative sense by considering subcategories of objects. This approach not only covers the existing theory given on abelian, exact and triangulated categories, but it also shows how to get similar results with an appropriate treatment of local properties.


title: A new approach to Statistical analysis of election results

abstract: In this paper, a new method of detection of election fraud is proposed. This method is based on the calculation of the ratio of two standard normal random variables; estimation of parameters of obtained sample and comparison of these estimates with known theoretical values of parameters. Also in the paper, there is an example of the application of the method.


title: Learn the Time to Learn: Replay Scheduling in Continual Learning

abstract: Replay methods are known to be successful at mitigating catastrophic forgetting in continual learning scenarios despite having limited access to historical data. However, storing historical data is cheap in many real-world settings, yet replaying all historical data is often prohibited due to processing time constraints. In such settings, we propose that continual learning systems should learn the time to learn and schedule which tasks to replay at different time steps. We first demonstrate the benefits of our proposal by using Monte Carlo tree search to find a proper replay schedule, and show that the found replay schedules can outperform fixed scheduling policies when combined with various replay methods in different continual learning settings. Additionally, we propose a framework for learning replay scheduling policies with reinforcement learning. We show that the learned policies can generalize better in new continual learning scenarios compared to equally replaying all seen tasks, without added computational cost. Our study reveals the importance of learning the time to learn in continual learning, which brings current research closer to real-world needs.


title: Boosting Thermoelectric Power Factor of Carbon Nanotube Networks with Excluded Volume by Co-embedded Microparticles

abstract: Carbon nanotube (CNTs) networks embedded in polymer matrix have been extensively studied over the recent years as a flexible thermoelectric (TE) transport medium. However, their power factor has been largely limited by the relatively inefficient tunneling transport at junctions between CNTs and the low density of conducting channels through the networks. In this work, we demonstrate that significant enhancement of power factor is possible by adding electrically insulating microscale particles in CNT networks. When silica particles of a few micrometer diameters were co-embedded in single-walled CNT-polydimethylsiloxane (PDMS) composites, both the electrical conductivity and the Seebeck coefficient were simultaneously enhanced, thereby boosting the power factor by more than a factor of six. We find that the silica microparticles excluded a large volume of the composite from the access of CNTs and caused CNT networks to form around them using the polymer as a binder, which in turn resulted in improved connectivity and alignment of CNTs. Our theoretical calculations based on junction tunneling transport show that the large power factor enhancement can be attributed to the enhanced tunneling with reduced junction distance between CNTs and the increased geometric factor due to better CNT alignment. Additional enhancement of power factor by more than a factor of two was achieved by sample compression due to the further improvement of CNT alignment.


title: Multi-contact MPC for Dynamic Loco-manipulation on Humanoid Robots

abstract: This paper presents a novel method to control humanoid robot dynamic loco-manipulation with multiple contact modes via multi-contact Model Predictive Control (MPC) framework. The proposed framework includes a multi-contact dynamics model capable of capturing various contact modes in loco-manipulation, such as hand-object contact and foot-ground contacts. Our proposed dynamics model represents the object dynamics as an external force acting on the system, which simplifies the model and makes it feasible for solving the MPC problem. In numerical validations, our multi-contact MPC framework only needs contact timings of each task and desired states to give MPC the knowledge of changes in contact modes in the prediction horizons in loco-manipulation. The proposed framework can control the humanoid robot to complete multi-tasks dynamic loco-manipulation applications such as efficiently picking up and dropping off objects while turning and walking.


title: Multiple Waypoint Navigation in Unknown Indoor Environments

abstract: Indoor motion planning focuses on solving the problem of navigating an agent through a cluttered environment. To date, quite a lot of work has been done in this field, but these methods often fail to find the optimal balance between computationally inexpensive online path planning, and optimality of the path. Along with this, these works often prove optimality for single-start single-goal worlds. To address these challenges, we present a multiple waypoint path planner and controller stack for navigation in unknown indoor environments where waypoints include the goal along with the intermediary points that the robot must traverse before reaching the goal. Our approach makes use of a global planner (to find the next best waypoint at any instant), a local planner (to plan the path to a specific waypoint), and an adaptive Model Predictive Control strategy (for robust system control and faster maneuvers). We evaluate our algorithm on a set of randomly generated obstacle maps, intermediate waypoints, and start-goal pairs, with results indicating a significant reduction in computational costs, with high accuracies and robust control.


title: Dynamic Walking of Bipedal Robots on Uneven Stepping Stones via Adaptive-frequency MPC

abstract: This paper presents a novel Adaptive-frequency MPC framework for bipedal locomotion over terrain with uneven stepping stones. In detail, we intend to achieve adaptive foot placement and gait period for bipedal periodic walking gait with this MPC, in order to traverse terrain with discontinuities without slowing down. We pair this adaptive-frequency MPC with a kino-dynamics trajectory optimization for optimal gait periods, center of mass (CoM) trajectory, and foot placements. We use whole-body control (WBC) along with adaptive-frequency MPC to track the optimal trajectories from the offline optimization. In numerical validations, our adaptive-frequency MPC framework with optimization has shown advantages over fixed-frequency MPC. The proposed framework can control the bipedal robot to traverse through uneven stepping stone terrains with perturbed stone heights, widths, and surface shapes while maintaining an average speed of 1.5 m/s.


title: Allocation Schemes in Analytic Evaluation: Applicant-Centric Holistic or Attribute-Centric Segmented?

abstract: Many applications such as hiring and university admissions involve evaluation and selection of applicants. These tasks are fundamentally difficult, and require combining evidence from multiple different aspects (what we term "attributes"). In these applications, the number of applicants is often large, and a common practice is to assign the task to multiple evaluators in a distributed fashion. Specifically, in the often-used holistic allocation, each evaluator is assigned a subset of the applicants, and is asked to assess all relevant information for their assigned applicants. However, such an evaluation process is subject to issues such as miscalibration (evaluators see only a small fraction of the applicants and may not get a good sense of relative quality), and discrimination (evaluators are influenced by irrelevant information about the applicants). We identify that such attribute-based evaluation allows alternative allocation schemes. Specifically, we consider assigning each evaluator more applicants but fewer attributes per applicant, termed segmented allocation. We compare segmented allocation to holistic allocation on several dimensions via theoretical and experimental methods. We establish various tradeoffs between these two approaches, and identify conditions under which one approach results in more accurate evaluation than the other.


title: Offline Reinforcement Learning with Instrumental Variables in Confounded Markov Decision Processes

abstract: We study the offline reinforcement learning (RL) in the face of unmeasured confounders. Due to the lack of online interaction with the environment, offline RL is facing the following two significant challenges: (i) the agent may be confounded by the unobserved state variables; (ii) the offline data collected a prior does not provide sufficient coverage for the environment. To tackle the above challenges, we study the policy learning in the confounded MDPs with the aid of instrumental variables. Specifically, we first establish value function (VF)-based and marginalized importance sampling (MIS)-based identification results for the expected total reward in the confounded MDPs. Then by leveraging pessimism and our identification results, we propose various policy learning methods with the finite-sample suboptimality guarantee of finding the optimal in-class policy under minimal data coverage and modeling assumptions. Lastly, our extensive theoretical investigations and one numerical study motivated by the kidney transplantation demonstrate the promising performance of the proposed methods.


title: Semantic Segmentation using Neural Ordinary Differential Equations

abstract: The idea of neural Ordinary Differential Equations (ODE) is to approximate the derivative of a function (data model) instead of the function itself. In residual networks, instead of having a discrete sequence of hidden layers, the derivative of the continuous dynamics of hidden state can be parameterized by an ODE. It has been shown that this type of neural network is able to produce the same results as an equivalent residual network for image classification. In this paper, we design a novel neural ODE for the semantic segmentation task. We start by a baseline network that consists of residual modules, then we use the modules to build our neural ODE network. We show that our neural ODE is able to achieve the state-of-the-art results using 57% less memory for training, 42% less memory for testing, and 68% less number of parameters. We evaluate our model on the Cityscapes, CamVid, LIP, and PASCAL-Context datasets.


title: Maximum Electromagnetic Local Density of States via Material Structuring

abstract: The electromagnetic local density of states (LDOS) is crucial to many aspects of photonics engineering, from enhancing emission of photon sources to radiative heat transfer and photovoltaics. We present a framework for evaluating upper bounds on LDOS in structured media that can handle arbitrary bandwidths and accounts for critical wave scattering effects with no heuristic approximations. The bounds are solely determined by the bandwidth, material susceptibility, and device footprint, with no assumptions on geometry. We derive an analytical expression for the maximum LDOS consistent with the conservation of energy across the entire design domain, which upon benchmarking with topology-optimized structures is shown to be nearly tight for large devices. Novel scaling laws for maximum LDOS enhancement are found: the bounds saturate to a finite value with increasing susceptibility and scale as the quartic root of the bandwidth for semi-infinite structures made of lossy materials, with direct implications on material selection and design applications.


title: A brief review of topological photonics in one, two, and three dimensions

abstract: Topological photonics has attracted increasing attention in recent years due to the unique opportunities it provides to manipulate light in a robust way immune to disorder and defects. Up to now, diverse photonic platforms, rich physical mechanisms and fruitful device applications have been proposed for topological photonics, including one-way waveguide, topological lasing, topological nanocavity, Dirac and Weyl points, Fermi arcs, nodal lines, etc. In this review, we provide an introduction to the field of topological photonics through the lens of topological invariants and bulk-boundary correspondence in one, two, and three dimensions, which may not only offer a unified understanding about the underlying robustness of diverse and distinct topological phenomena of light, but could also inspire further developments by introducing new topological invariants and unconventional bulk-boundary correspondence to the research of topological photonics.


title: Electrical Control of Spin-polarized Topological Currents in Monolayer WTe$_2$

abstract: We evidence the possibility for coherent electrical manipulation of the spin orientation of topologically protected edge states in a low-symmetry quantum spin Hall insulator. By using a combination of ab-initio simulations, symmetry-based modeling, and large-scale calculations of the spin Hall conductivity, it is shown that small electric fields can efficiently vary the spin textures of edge currents in monolayer 1T'-WTe2 by up to a 90-degree spin rotation, without jeopardizing their topological character. These findings suggest a new kind of gate-controllable spin-based device, topologically protected against disorder and of relevance for the development of topological spintronics.


title: Spark-ignited kernel dynamics in fine ethanol sprays and their relations with minimum ignition energy

abstract: Spark ignition of ethanol droplet/vapor/air mixture is studied with a Eulerian-Eulerian method and detailed chemical mechanism. The flame kernel-droplet interaction is quantified with an evaporation completion front (ECF). Two categories of spray flames can hence be defined based on the relative location between the ECF and flame front, i.e., homogeneous and heterogeneous spray flames. An element-based equivalence ratio (ER) at the flame front (flame ER for short) is introduced to measure the gas composition in evaporating sprays. For overall fuel-lean mixtures, quasi-stationary spherical flame (QSSF) occurs due to lean flame ER and the composition at the QSSF front is homogeneous. For overall fuel-rich two-phase mixtures, re-ignition, after the spark-ignited kernel fails, is observed when the droplet diameter is 15 {\mu}m for fuel sprays with both fuel-lean and fuel-rich background gas. This is due to rich flame ER and/or strong evaporative heat loss. Meanwhile, the kernel is born in a heterogeneous mixture and transition into homogeneous state is found. For both overall lean and rich two-phase mixtures, fuel droplets affect the ignitability and flame trajectories. Moreover, ignition energy affects the flame ER and front distance at the early stage of kernel development. Lastly, the minimum ignition energies (MIE) with different gas and overall ERs are investigated.


title: Control of chiral orbital currents in a colossal magnetoresistance material

abstract: Colossal magnetoresistance (CMR) is an extraordinary enhancement of the electric conductivity in the presence of a magnetic field. It is conventionally associated with a field-induced spin polarization, which drastically reduces spin scattering and thus electric resistance. However, ferrimagnetic Mn3Si2Te6 is an intriguing exception to this rule: it exhibits a 7-order-of-magnitude reduction in ab-plane resistivity with a 13-Tesla anisotropy field which occur only when a magnetic polarization is avoided [1]. Here we report an exotic quantum state that is driven by ab-plane chiral orbital currents (COC) flowing along edges of MnTe6 octahedra. The c-axis orbital moments of ab-plane COC couple to the ferrimagnetic Mn spins to drastically increase the ab-plane conductivity (CMR) when an external magnetic field is aligned along the magnetic hard c-axis. Both the COC state and its CMR are extraordinarily susceptible to small DC currents exceeding a critical threshold, and a hallmark of this COC state is an exotic time-dependent, bistable switching mimicking a first-order melting transition. The control of the COC-enabled CMR and bistable switching offers a fundamentally new paradigm for quantum technologies.


title: Proofs of Proof-of-Stake with Sublinear Complexity

abstract: Popular Ethereum wallets (like MetaMask) entrust centralized infrastructure providers (e.g., Infura) to run the consensus client logic on their behalf. As a result, these wallets are light-weight and high-performant, but come with security risks. A malicious provider can mislead the wallet by faking payments and balances, or censoring transactions. On the other hand, light clients, which are not in popular use today, allow decentralization, but are concretely inefficient, often with asymptotically linear bootstrapping complexity. This poses a dilemma between decentralization and performance. We design, implement, and evaluate a new proof-of-stake (PoS) superlight client with concretely efficient and asymptotically logarithmic bootstrapping complexity. Our proofs of proof-of-stake (PoPoS) take the form of a Merkle tree of PoS epochs. The verifier enrolls the provers in a bisection game, in which honest provers are destined to win once an adversarial Merkle tree is challenged at sufficient depth. We provide an implementation for mainnet Ethereum: compared to the state-of-the-art light client construction of Ethereum, our client improves time-to-completion by 9x, communication by 180x, and energy usage by 30x (when bootstrapping after 10 years of consensus execution). As an important additional application, our construction can be used to realize trustless cross-chain bridges, in which the superlight client runs within a smart contract and takes the role of an on-chain verifier. We prove our construction is secure and show how to employ it for other PoS systems such as Cardano (with fully adaptive adversary), Algorand, and Snow White.


title: Theory of magnon-polaritons in quantum Ising materials

abstract: We present a theory of magnon-polaritons in quantum Ising materials, and develop a formalism describing the coupling between light and matter as an Ising system is tuned through its quantum critical point. The theory is applied to Ising materials having multilevel single-site Hamiltonians, in which multiple magnon modes are present, such as the insulating Ising magnet LiHoF$_4$ . We find that the magnon-photon coupling strengths may be tuned by the applied transverse field, with the coupling between the soft mode present in the quantum Ising material and a photonic resonator mode diverging at the quantum critical point of the material. A fixed system of spins will not exhibit the diamagnetic response expected when light is coupled to mobile spins or atoms. Without the diamagnetic response, one expects a divergent magnon-photon coupling strength to lead to a superradiant quantum phase transition. However, this neglects the effects of damping and decoherence present in any real system. We show that damping and decoherence may block the superradiant quantum phase transition, and lead to weak coupling between the soft magnon mode and the resonator mode. The results of the theory are applied to experimental data on the model system LiHoF$_4$ in a microwave resonator.


title: The Gamma-ray Bursts fundamental plane correlation as a cosmological tool

abstract: Cosmological models and their corresponding parameters are widely debated because of the current discrepancy between the results of the Hubble constant, $H_{0}$, obtained by SNe Ia, and the Planck data from the Cosmic Microwave Background Radiation. Thus, considering high redshift probes like Gamma-Ray Bursts (GRBs) is a necessary step. However, using GRB correlations between their physical features to infer cosmological parameters is difficult because GRB luminosities span several orders of magnitude. In our work, we use a 3-dimensional relation between the peak prompt luminosity, the rest-frame time at the end of the X-ray plateau, and its corresponding luminosity in X-rays: the so-called 3D Dainotti fundamental plane relation. We correct this relation by considering the selection and evolutionary effects with a reliable statistical method, obtaining a lower central value for the intrinsic scatter, $\sigma_{int}=0.18 \pm 0.07$ (47.1 \%) compared to previous results, when we adopt a particular set of GRBs with well-defined morphological features, called the platinum sample. We have used the GRB fundamental plane relation alone with both Gaussian and uniform priors on cosmological parameters and in combination with SNe Ia and BAO measurements to infer cosmological parameters like $H_{0}$, the matter density in the universe ($\Omega_{M}$), and the dark energy parameter $w$ for a $w$CDM model. Our results are consistent with the parameters given by the $\Lambda$CDM model but with the advantage of using cosmological probes detected up to $z=5$, much larger than the one observed for the furthest SNe Ia.


title: Adaptive Attitude Control for Foldable Quadrotors

abstract: Recent quadrotors have transcended conventional designs, emphasizing more on foldable and reconfigurable bodies. The state of the art still focuses on the mechanical feasibility of such designs with limited discussions on the tracking performance of the vehicle during configuration switching. In this article, we first present a common framework to analyse the attitude errors of a folding quadrotor via the theory of switched systems. We then employ this framework to investigate the attitude tracking performance for two case scenarios - one with a conventional geometric controller for precisely known system dynamics; and second, with our proposed morphology-aware adaptive controller that accounts for any modeling uncertainties and disturbances. Finally, we cater to the desired switching requirements from our stability analysis by exploiting the trajectory planner to obtain superior tracking performance while switching. Simulation results are presented that validate the proposed control and planning framework for a foldable quadrotor's flight through a passageway.


title: Quantum Sensing of Single Phonons via Phonon Drag in Two-Dimensional Materials

abstract: The capacity to electrically detect phonons, ultimately at the single-phonon limit, is a key requirement for many schemes for phonon-based quantum computing, so-called quantum phononics. Here, we predict that by exploiting the strong coupling of their electrons to surface-polar phonons, van der Waals heterostructures can offer a suitable platform for phonon sensing, capable of resolving energy transfer at the single-phonon level. The geometry we consider is one in which a drag momentum is exerted on electrons in a graphene layer, by a single out-of-equilibrium phonon in a dielectric layer of hexagonal boron nitride, giving rise to a measurable induced voltage ($V_{\rm drag}$). Our numerical solution of the Boltzmann Transport Equation shows that this drag voltage can reach a level of a few hundred microvolts per phonon, well above experimental detection limits. Furthermore, we predict that $V_{\rm drag}$ should be highly insensitive to the mobility of carriers in the graphene layer and to increasing the temperature to at least 300 K, offering the potential of a versatile material platform for single-phonon sensing.


title: Ising models of deep neural networks

abstract: This work maps deep neural networks to classical Ising spin models, allowing them to be described using statistical thermodynamics. The density of states shows that structures emerge in the weights after they have been trained -- well-trained networks span a much wider range of realizable energies compared to poorly trained ones. These structures propagate throughout the entire network and are not observed in individual layers. The energy values correlate to performance on tasks, making it possible to distinguish networks based on quality without access to data. Thermodynamic properties such as specific heat are also studied, revealing a higher critical temperature in trained networks.


title: Dynamic Global Memory for Document-level Argument Extraction

abstract: Extracting informative arguments of events from news articles is a challenging problem in information extraction, which requires a global contextual understanding of each document. While recent work on document-level extraction has gone beyond single-sentence and increased the cross-sentence inference capability of end-to-end models, they are still restricted by certain input sequence length constraints and usually ignore the global context between events. To tackle this issue, we introduce a new global neural generation-based framework for document-level event argument extraction by constructing a document memory store to record the contextual event information and leveraging it to implicitly and explicitly help with decoding of arguments for later events. Empirical results show that our framework outperforms prior methods substantially and it is more robust to adversarially annotated examples with our constrained decoding design. (Our code and resources are available at https://github.com/xinyadu/memory_docie for research purpose.)


title: HiPart: Hierarchical Divisive Clustering Toolbox

abstract: This paper presents the HiPart package, an open-source native python library that provides efficient and interpret-able implementations of divisive hierarchical clustering algorithms. HiPart supports interactive visualizations for the manipulation of the execution steps allowing the direct intervention of the clustering outcome. This package is highly suited for Big Data applications as the focus has been given to the computational efficiency of the implemented clustering methodologies. The dependencies used are either Python build-in packages or highly maintained stable external packages. The software is provided under the MIT license. The package's source code and documentation can be found at https://github.com/panagiotisanagnostou/HiPart.


title: Domain Classification-based Source-specific Term Penalization for Domain Adaptation in Hate-speech Detection

abstract: State-of-the-art approaches for hate-speech detection usually exhibit poor performance in out-of-domain settings. This occurs, typically, due to classifiers overemphasizing source-specific information that negatively impacts its domain invariance. Prior work has attempted to penalize terms related to hate-speech from manually curated lists using feature attribution methods, which quantify the importance assigned to input terms by the classifier when making a prediction. We, instead, propose a domain adaptation approach that automatically extracts and penalizes source-specific terms using a domain classifier, which learns to differentiate between domains, and feature-attribution scores for hate-speech classes, yielding consistent improvements in cross-domain evaluation.


title: Towards Robust Off-Policy Evaluation via Human Inputs

abstract: Off-policy Evaluation (OPE) methods are crucial tools for evaluating policies in high-stakes domains such as healthcare, where direct deployment is often infeasible, unethical, or expensive. When deployment environments are expected to undergo changes (that is, dataset shifts), it is important for OPE methods to perform robust evaluation of the policies amidst such changes. Existing approaches consider robustness against a large class of shifts that can arbitrarily change any observable property of the environment. This often results in highly pessimistic estimates of the utilities, thereby invalidating policies that might have been useful in deployment. In this work, we address the aforementioned problem by investigating how domain knowledge can help provide more realistic estimates of the utilities of policies. We leverage human inputs on which aspects of the environments may plausibly change, and adapt the OPE methods to only consider shifts on these aspects. Specifically, we propose a novel framework, Robust OPE (ROPE), which considers shifts on a subset of covariates in the data based on user inputs, and estimates worst-case utility under these shifts. We then develop computationally efficient algorithms for OPE that are robust to the aforementioned shifts for contextual bandits and Markov decision processes. We also theoretically analyze the sample complexity of these algorithms. Extensive experimentation with synthetic and real world datasets from the healthcare domain demonstrates that our approach not only captures realistic dataset shifts accurately, but also results in less pessimistic policy evaluations.


title: Anisotropic gap structure and sign reversal symmetry in monolayer Fe(Se,Te)

abstract: The iron-based superconductors are an ideal platform to reveal the enigma of the unconventional superconductivity and potential topological superconductivity. Among them, the monolayer Fe(Se,Te)/SrTiO3(001), which is proposed to be topological nontrivial, shows interface-enhanced high-temperature superconductivity in the two dimensional limit. However, the experimental studies on the superconducting pairing mechanism of monolayer Fe(Se,Te) films are still limited. Here, by measuring quasiparticle interference in monolayer Fe(Se,Te)/SrTiO3(001), we report the observation of the anisotropic structure of the large superconducting gap and the sign change of the superconducting gap on different electron pockets. The results are well consistent with the 'bonding-antibonding' s+- wave pairing symmetry driven by spin fluctuations in conjunction with spin-orbit coupling. Our work is of basic significance not only for a unified superconducting formalism in the iron-based superconductors, but also for understanding of topological superconductivity in high-temperature superconductors.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el


title: Mapping the Diffusion Tensor in Microstructured Perovskites

abstract: Understanding energy transport in semiconductors is critical for design of electronic and optoelectronic devices. Semiconductor material properties such as charge carrier mobility or diffusion length are measured in bulk crystals and determined using models that describe transport behavior in homogeneous media, where structural boundary effects are minimal. However, most emerging semiconductors exhibit microscale heterogeneity. Therefore, experimental techniques with high spatial resolution paired with models that capture anisotropy and domain boundary behavior are needed. We develop a diffusion tensor-based framework to analyze experimental photoluminescence (PL) diffusion maps accounting for material microstructure. Specifically, we quantify both carrier transport and recombination in single crystal and polycrystalline lead halide perovskites by globally fitting diffusion maps, with spatial, temporal, and PL intensity data. We reveal a 29% difference in principal diffusion coefficients and alignment between electronically coupled grains for CH3NH3PbI3 polycrystalline films. This framework allows for understanding and optimizing anisotropic energy transport in heterogeneous materials.


title: Meta-simulation for the Automated Design of Synthetic Overhead Imagery

abstract: The use of synthetic (or simulated) data for training machine learning models has grown rapidly in recent years. Synthetic data can often be generated much faster and more cheaply than its real-world counterpart. One challenge of using synthetic imagery however is scene design: e.g., the choice of content and its features and spatial arrangement. To be effective, this design must not only be realistic, but appropriate for the target domain, which (by assumption) is unlabeled. In this work, we propose an approach to automatically choose the design of synthetic imagery based upon unlabeled real-world imagery. Our approach, termed Neural-Adjoint Meta-Simulation (NAMS), builds upon the seminal recent meta-simulation approaches. In contrast to the current state-of-the-art methods, our approach can be pre-trained once offline, and then provides fast design inference for new target imagery. Using both synthetic and real-world problems, we show that NAMS infers synthetic designs that match both the in-domain and out-of-domain target imagery, and that training segmentation models with NAMS-designed imagery yields superior results compared to na\"ive randomized designs and state-of-the-art meta-simulation methods.


title: Uncertainty Aware Multitask Pyramid Vision Transformer For UAV-Based Object Re-Identification

abstract: Object Re-IDentification (ReID), one of the most significant problems in biometrics and surveillance systems, has been extensively studied by image processing and computer vision communities in the past decades. Learning a robust and discriminative feature representation is a crucial challenge for object ReID. The problem is even more challenging in ReID based on Unmanned Aerial Vehicle (UAV) as the images are characterized by continuously varying camera parameters (e.g., view angle, altitude, etc.) of a flying drone. To address this challenge, multiscale feature representation has been considered to characterize images captured from UAV flying at different altitudes. In this work, we propose a multitask learning approach, which employs a new multiscale architecture without convolution, Pyramid Vision Transformer (PVT), as the backbone for UAV-based object ReID. By uncertainty modeling of intraclass variations, our proposed model can be jointly optimized using both uncertainty-aware object ID and camera ID information. Experimental results are reported on PRAI and VRAI, two ReID data sets from aerial surveillance, to verify the effectiveness of our proposed approach


title: Automated MeSH Term Suggestion for Effective Query Formulation in Systematic Reviews Literature Search

abstract: High-quality medical systematic reviews require comprehensive literature searches to ensure the recommendations and outcomes are sufficiently reliable. Indeed, searching for relevant medical literature is a key phase in constructing systematic reviews and often involves domain (medical researchers) and search (information specialists) experts in developing the search queries. Queries in this context are highly complex, based on Boolean logic, include free-text terms and index terms from standardised terminologies (e.g., the Medical Subject Headings (MeSH) thesaurus), and are difficult and time-consuming to build. The use of MeSH terms, in particular, has been shown to improve the quality of the search results. However, identifying the correct MeSH terms to include in a query is difficult: information experts are often unfamiliar with the MeSH database and unsure about the appropriateness of MeSH terms for a query. Naturally, the full value of the MeSH terminology is often not fully exploited. This article investigates methods to suggest MeSH terms based on an initial Boolean query that includes only free-text terms. In this context, we devise lexical and pre-trained language models based methods. These methods promise to automatically identify highly effective MeSH terms for inclusion in a systematic review query. Our study contributes an empirical evaluation of several MeSH term suggestion methods. We further contribute an extensive analysis of MeSH term suggestions for each method and how these suggestions impact the effectiveness of Boolean queries.


title: On Relaxed Locally Decodable Codes for Hamming and Insertion-Deletion Errors

abstract: Locally Decodable Codes (LDCs) are error-correcting codes $C:\Sigma^n\rightarrow \Sigma^m$ with super-fast decoding algorithms. They are important mathematical objects in many areas of theoretical computer science, yet the best constructions so far have codeword length $m$ that is super-polynomial in $n$, for codes with constant query complexity and constant alphabet size. In a very surprising result, Ben-Sasson et al. showed how to construct a relaxed version of LDCs (RLDCs) with constant query complexity and almost linear codeword length over the binary alphabet, and used them to obtain significantly-improved constructions of Probabilistically Checkable Proofs. In this work, we study RLDCs in the standard Hamming-error setting, and introduce their variants in the insertion and deletion (Insdel) error setting. Insdel LDCs were first studied by Ostrovsky and Paskin-Cherniavsky, and are further motivated by recent advances in DNA random access bio-technologies, in which the goal is to retrieve individual files from a DNA storage database. Our first result is an exponential lower bound on the length of Hamming RLDCs making 2 queries, over the binary alphabet. This answers a question explicitly raised by Gur and Lachish. Our result exhibits a "phase-transition"-type behavior on the codeword length for constant-query Hamming RLDCs. We further define two variants of RLDCs in the Insdel-error setting, a weak and a strong version. On the one hand, we construct weak Insdel RLDCs with with parameters matching those of the Hamming variants. On the other hand, we prove exponential lower bounds for strong Insdel RLDCs. These results demonstrate that, while these variants are equivalent in the Hamming setting, they are significantly different in the insdel setting. Our results also prove a strict separation between Hamming RLDCs and Insdel RLDCs.


title: Bounds on the breaking time for entanglement-breaking channels

abstract: Entanglement-breaking channels are quantum channels transforming entangled states to separable states. Despite a detailed discussion of their operational structure, to be found in the literature, studies on dynamical characteristics of this type of maps are yet limited. We consider one of the basic questions: for Lindblad-type dynamics, when does a given channel break entanglement? We discuss the finite-dimensional case where the quantification of entanglement via entanglement witnesses is utilized. For the general setup, we use the method of quantum speed limit to derive lower bounds on entanglement breaking times in terms of an input state, the dynamical map and the witness operator. Then, with a particular choice of the input state and the entanglement witness, the bounds for the breaking time are turned to solely reflect the characteristics of the dynamics.


title: A Hybrid Cable-Driven Robot for Non-Destructive Leafy Plant Monitoring and Mass Estimation using Structure from Motion

abstract: We propose a novel hybrid cable-based robot with manipulator and camera for high-accuracy, medium-throughput plant monitoring in a vertical hydroponic farm and, as an example application, demonstrate non-destructive plant mass estimation. Plant monitoring with high temporal and spatial resolution is important to both farmers and researchers to detect anomalies and develop predictive models for plant growth. The availability of high-quality, off-the-shelf structure-from-motion (SfM) and photogrammetry packages has enabled a vibrant community of roboticists to apply computer vision for non-destructive plant monitoring. While existing approaches tend to focus on either high-throughput (e.g. satellite, unmanned aerial vehicle (UAV), vehicle-mounted, conveyor-belt imagery) or high-accuracy/robustness to occlusions (e.g. turn-table scanner or robot arm), we propose a middle-ground that achieves high accuracy with a medium-throughput, highly automated robot. Our design pairs the workspace scalability of a cable-driven parallel robot (CDPR) with the dexterity of a 4 degree-of-freedom (DoF) robot arm to autonomously image many plants from a variety of viewpoints. We describe our robot design and demonstrate it experimentally by collecting daily photographs of 54 plants from 64 viewpoints each. We show that our approach can produce scientifically useful measurements, operate fully autonomously after initial calibration, and produce better reconstructions and plant property estimates than those of over-canopy methods (e.g. UAV). As example applications, we show that our system can successfully estimate plant mass with a Mean Absolute Error (MAE) of 0.586g and, when used to perform hypothesis testing on the relationship between mass and age, produces p-values comparable to ground-truth data (p=0.0020 and p=0.0016, respectively).


title: MECCANO: A Multimodal Egocentric Dataset for Humans Behavior Understanding in the Industrial-like Domain

abstract: Wearable cameras allow to acquire images and videos from the user's perspective. These data can be processed to understand humans behavior. Despite human behavior analysis has been thoroughly investigated in third person vision, it is still understudied in egocentric settings and in particular in industrial scenarios. To encourage research in this field, we present MECCANO, a multimodal dataset of egocentric videos to study humans behavior understanding in industrial-like settings. The multimodality is characterized by the presence of gaze signals, depth maps and RGB videos acquired simultaneously with a custom headset. The dataset has been explicitly labeled for fundamental tasks in the context of human behavior understanding from a first person view, such as recognizing and anticipating human-object interactions. With the MECCANO dataset, we explored five different tasks including 1) Action Recognition, 2) Active Objects Detection and Recognition, 3) Egocentric Human-Objects Interaction Detection, 4) Action Anticipation and 5) Next-Active Objects Detection. We propose a benchmark aimed to study human behavior in the considered industrial-like scenario which demonstrates that the investigated tasks and the considered scenario are challenging for state-of-the-art algorithms. To support research in this field, we publicy release the dataset at https://iplab.dmi.unict.it/MECCANO/.


title: A Universal Description of Workfunction

abstract: At the surfaces of materials, the bulk symmetry of the charge density is broken and electron spill-out into the vacuum region creates a surface dipole. Such spill-out has been historically calculated by Lang and Kohn [Phys. Rev. B \textbf{3}, 1215 (1971)] using average electron density to sucessfully explain the workfunction in metals. However, despite its initial success, in the fifty years since it has not been extended beyond simple metals. Here we show that the degree of charge spill-out is largely controlled by the innate bulk workfunction $\phi_I$, which is the Fermi level position of $\it bulk$ relative to the ideal vacuum. By incorporating the contribution of $\phi_I$ to the surface dipole we show that Lang-Kohn's $\it jellium$ based approach can be broadly expanded to understand the workfunction over a wide range of metals, semiconductors, and insulators.


title: Lightface $\Sigma^1_2$-indescribable cardinals

abstract: $\Sigma^1_3$-absoluteness for ccc forcing means that for any ccc forcing $P$, ${H_{\omega_1}}^V \prec_{\Sigma_2}{H_{\omega_1}}^{V^P}$. "$\omega_1$ inaccessible to reals" means that for any real $r$, ${\omega_1}^{L[r]}<\omega_1$. To measure the exact consistency strength of "$\Sigma^1_3$-absoluteness for ccc forcing and $\omega_1$ is inaccessible to reals", we introduce a weak version of a weakly compact cardinal, namely, a (lightface) $\Sigma^1_2$-indescribable cardinal; $\kappa$ has this property exactly if it is inaccessible and $H_\kappa \prec_{\Sigma_2} H_{\kappa^+}$.


title: Modelling the impact of vaccination on the COVID-19 pandemic in African countries

abstract: The rapid development of vaccines to combat the spread of COVID-19 disease caused by the SARS-CoV-2 virus is a great scientific achievement. Before the development of the COVID-19 vaccines, most studies capitalized on the available data that did not include pharmaceutical measures. Such studies focused on the impact of non-pharmaceutical measures (e.g social distancing, sanitation, wearing of face masks, and lockdown) to study the spread of COVID-19. In this study, we used the SIDARTHE-V model which is an extension of the SIDARTHE model wherein we include vaccination roll outs. We studied the impact of vaccination on the severity (deadly nature) of the virus in African countries. Model parameters were extracted by fitting simultaneously the COVID-19 cumulative data of deaths, recoveries, active cases, and full vaccinations reported by the governments of Ghana, Kenya, Mozambique, Nigeria, South Africa, Togo, and Zambia. With countries having some degree of variation in their vaccination programs, we considered the impact of vaccination campaigns on the death rates in these countries. The study showed that the cumulative death rates declined drastically with the increased extent of vaccination in each country; while infection rates were sometimes increasing with the arrival of new waves, the death rates did not increase as we saw before vaccination.


title: Regularity of Euler-Bernoulli and Kirchhoff-Love Thermoelastic Plates with Fractional Coupling

abstract: I In this work, we present the study of the regularity of the solutions of the abstract system\eqref{Eq1.10} that includes the Euler-Bernoulli($\omega=0$) and Kirchoff-Love($\omega>0$) thermoelastic plates, we consider for both fractional couplings given by $A^\sigma\theta$ and $A^\sigma u_t$, where $A$ is a strictly positive and self-adjoint linear operator and the parameter $\sigma\in[0,\frac{3}{2}]$. Our research stems from the work of \cite{MSJR}, \cite{OroJRPata2013}, and \cite{KLiuH2021}. Our contribution was to directly determine the Gevrey sharp classes: for $\omega=0$, $s_{01}>\frac{1}{2\sigma-1}$ and $s_{02}> \sigma$ when $\sigma\in (\frac{1}{2},1)$ and $\sigma\in (1,\frac{3}{2})$ respectively. And $s_\omega>\frac{1}{4(\sigma-1)}$ for case $\omega>0$ when $\sigma\in (1,\frac{5}{4})$. This work also contains direct proofs of the analyticity of the corresponding semigroups $e^{t\mathbb{A}_\omega}$: In the case $\omega=0$ the analyticity of the semigroup $e^{t\mathbb{A}_0}$ occurs when $\sigma=1$ and for the case $\omega>0$ the semigroup $e^{t\mathbb{A}_\omega}$ is analytic for the parameter $\sigma\in[5/4, 3/2]$. The abstract system is given by: \begin{equation}\label{Eq1.10} \left\{\begin{array}{c} u_{tt}+\omega Au_{tt}+A^2u-A^\sigma\theta=0,\\ \theta_t+A\theta+A^\sigma u_t=0. \end{array}\right. \end{equation} where $\omega\geq 0$.


title: Coding over Core Models

abstract: Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this article we aim to survey some of the work that has been done which combines these two themes, extending Jensen's original Coding Theorem from $L$ to core models witnessing large cardinal properties.


title: Quantifying How Hateful Communities Radicalize Online Users

abstract: While online social media offers a way for ignored or stifled voices to be heard, it also allows users a platform to spread hateful speech. Such speech usually originates in fringe communities, yet it can spill over into mainstream channels. In this paper, we measure the impact of joining fringe hateful communities in terms of hate speech propagated to the rest of the social network. We leverage data from Reddit to assess the effect of joining one type of echo chamber: a digital community of like-minded users exhibiting hateful behavior. We measure members' usage of hate speech outside the studied community before and after they become active participants. Using Interrupted Time Series (ITS) analysis as a causal inference method, we gauge the spillover effect, in which hateful language from within a certain community can spread outside that community by using the level of out-of-community hate word usage as a proxy for learned hate. We investigate four different Reddit sub-communities (subreddits) covering three areas of hate speech: racism, misogyny and fat-shaming. In all three cases we find an increase in hate speech outside the originating community, implying that joining such community leads to a spread of hate speech throughout the platform. Moreover, users are found to pick up this new hateful speech for months after initially joining the community. We show that the harmful speech does not remain contained within the community. Our results provide new evidence of the harmful effects of echo chambers and the potential benefit of moderating them to reduce adoption of hateful speech.


title: LED down the rabbit hole: exploring the potential of global attention for biomedical multi-document summarisation

abstract: In this paper we report on our submission to the Multidocument Summarisation for Literature Review (MSLR) shared task. Specifically, we adapt PRIMERA (Xiao et al., 2022) to the biomedical domain by placing global attention on important biomedical entities in several ways. We analyse the outputs of the 23 resulting models, and report patterns in the results related to the presence of additional global attention, number of training steps, and the input configuration.


title: An Adaptive Threshold for the Canny Edge Detection with Actor-Critic Algorithm

abstract: Visual surveillance aims to perform robust foreground object detection regardless of the time and place. Object detection shows good results using only spatial information, but foreground object detection in visual surveillance requires proper temporal and spatial information processing. In deep learning-based foreground object detection algorithms, the detection ability is superior to classical background subtraction (BGS) algorithms in an environment similar to training. However, the performance is lower than that of the classical BGS algorithm in the environment different from training. This paper proposes a spatio-temporal fusion network (STFN) that could extract temporal and spatial information using a temporal network and a spatial network. We suggest a method using a semi-foreground map for stable training of the proposed STFN. The proposed algorithm shows excellent performance in an environment different from training, and we show it through experiments with various public datasets. Also, STFN can generate a compliant background image in a semi-supervised method, and it can operate in real-time on a desktop with GPU. The proposed method shows 11.28% and 18.33% higher FM than the latest deep learning method in the LASIESTA and SBI dataset, respectively.


title: Euler Characteristics of Brill-Noether Loci on Prym Varieties

abstract: In this article we propose formulas for the connected K-theory class of the pointed Brill-Noether loci in Prym varieties, which extends the result by Concini and Pragacz. Applying the formulas, we compute the holomorphic Euler Characteristics of the loci.


title: A THz Video SAR Imaging Algorithm Based on Chirp Scaling

abstract: In video synthetic aperture radar (SAR) imaging mode, the polar format algorithm (PFA) is more computational effective than the backprojection algorithm (BPA). However, the two-dimensional (2-D) interpolation in PFA greatly affects its computational speed, which is detrimental to the real-time imaging of video SAR. In this paper, a terahertz (THz) video SAR imaging algorithm based on chirp scaling is proposed, which utilizes the small synthetic angular feature of THz SAR and the inherent property of linear frequency modulation. Then, two-step chirp scaling is used to replace the 2-D interpolation in the PFA to obtain a similar focusing effect, but with a faster operation. Point target simulation is used to verify the effectiveness of the proposed method.


title: The Effect of Light Deflection by Solar System Objects on High-Precision SKA Astrometry

abstract: We have computed the deflection angles caused by 195 objects in the solar system, including 177 satellites and eight asteroids. Twenty-one satellites and six asteroids can bend light from distant compact extragalactic sources by more than 0.1 $\mu$as, and fourteen satellites and the asteroid Ceres can deflect light by more than 1.0 $\mu$as. We calculated the zones and durations of perturbations posed by the gravitational fields of five planets (excluding Earth, Jupiter, and Saturn), Pluto, and Ceres, where the perturbations would affect astrometry measured with the Squared Kilometre Array (SKA). Perturbed zones with deflection angles larger than 0.1 and 1.0 $\mu$as appear as ribbons. Their widths range from dozens of degrees for Uranus, Neptune, and Venus to several degrees or less for other objects at 0.1 $\mu$as, and from $\sim$ 16$^{\circ}$ for Venus to several degrees or less for other objects at 1.0 $\mu$as. From the calculated perturbation durations, the influence of the gravitational fields of selected objects can be divided into four levels: hardly affect SKA astrometry (I), may have little effect (II), may have a great effect (III) on single-epoch astrometry, and may greatly affect both single- and multi-epoch astrometry (IV). The objects corresponding to these levels are Ceres (I), Pluto (II), Mercury and Mars (III), and other objects (IV).


title: Nanoscale covariance magnetometry with diamond quantum sensors

abstract: Nitrogen vacancy (NV) centers in diamond are atom-scale defects with long spin coherence times that can be used to sense magnetic fields with high sensitivity and spatial resolution. Typically, the magnetic field projection at a single point is measured by averaging many sequential measurements with a single NV center, or the magnetic field distribution is reconstructed by taking a spatial average over an ensemble of many NV centers. In averaging over many single-NV center experiments, both techniques discard information. Here we propose and implement a new sensing modality, whereby two or more NV centers are measured simultaneously, and we extract temporal and spatial correlations in their signals that would otherwise be inaccessible. We analytically derive the measurable two-point correlator in the presence of environmental noise, quantum projection noise, and readout noise. We show that optimizing the readout noise is critical for measuring correlations, and we experimentally demonstrate measurements of correlated applied noise using spin-to-charge readout of two NV centers. We also implement a spectral reconstruction protocol for disentangling local and nonlocal noise sources, and demonstrate that independent control of two NV centers can be used to measure the temporal structure of correlations. Our covariance magnetometry scheme has numerous applications in studying spatiotemporal structure factors and dynamics, and opens a new frontier in nanoscale sensing.


title: Online and semi-online scheduling on two hierarchical machines with a common due date to maximize the total early work

abstract: In this study, we investigated several online and semi-online scheduling problems on two hierarchical machines with a common due date to maximize the total early work. For the pure online case, we designed an optimal online algorithm with a competitive ratio of $\sqrt 2$. For the case when the total processing time is known, we proposed an optimal semi-online algorithm with a competitive ratio of $\frac{4}{3}$. Additionally, for the cases when the largest processing time is known, we gave optimal algorithms with a competitive ratio of $\frac{6}{5}$ if the largest job is a lower hierarchy one, and of $\sqrt 5-1$ if the largest job is a higher hierarchy one, respectively.


title: Measure solutions to piston problem for compressible fluid flow of generalized chaplygin gas

abstract: We study the piston problem of the compressible fluid flow with the generalized Chaplygin gas. Depending on the inferential critical value of Mach number, we prove that, there exists an integral weak solution for the proceeding piston problem, consisting of a shock separating constant states ahead of the piston if Mach numbers less than this critical value, while a singular measure solution, with density containing a Dirac measure supported on the piston, shall be proposed to solve the proceeding piston problem if Mach numbers greater than or equal to the critical value. For the receding piston problem, rarefaction wave solution always exists when the piston recedes from the gas with any constant speed. Moreover, the occurrence of vacuum state and the convergence of solutions, as well as degeneration of equations are analyzed in the receding case as Mach number tends to infinity.


title: Photoacoustic vector tomography for deep hemodynamic imaging

abstract: Non-invasive imaging of deep blood vessels for mapping hemodynamics remains an open quest in biomedical optical imaging. Although pure optical imaging techniques offer rich optical contrast of blood and have been reported to measure blood flow, they are generally limited to surface imaging within the optical diffusion limit of about one millimeter. Herein, we present photoacoustic vector tomography (PAVT), breaking through the optical diffusion limit to image deep blood flow with speed and direction quantification. PAVT synergizes the spatial heterogeneity of blood and the photoacoustic contrast; it compiles successive single-shot, wide-field photoacoustic images to directly visualize the frame-to-frame propagation of the blood with pixel-wise flow velocity estimation. We demonstrated in vivo that PAVT allows hemodynamic quantification of deep blood vessels at five times the optical diffusion limit (more than five millimeters), leading to vector mapping of blood flow in humans. By offering the capability for deep hemodynamic imaging with optical contrast, PAVT may become a powerful tool for monitoring and diagnosing vascular diseases and mapping circulatory system function.


title: Phonon-assisted inter-valley scattering determines ultrafast exciton dynamics in MoSe$_2$ bilayers

abstract: While valleys (energy extrema) are present in all band structures of solids, their preeminent role in determining exciton resonances and dynamics in atomically thin transition metal dichalcogenides (TMDC) is unique. Using two-dimensional coherent electronic spectroscopy, we find that exciton decoherence occurs on a much faster time scale in MoSe$_2$ bilayers than that in the monolayers. We further identify two population relaxation channels in the bilayer, a coherent and an incoherent one. Our microscopic model reveals that phonon-emission processes facilitate scattering events from the $K$ valley to other lower energy $\Gamma$ and $\Lambda$ valleys in the bilayer. Our combined experimental and theoretical studies unequivocally establish different microscopic mechanisms that determine exciton quantum dynamics in TMDC monolayers and bilayers. Understanding exciton quantum dynamics provides critical guidance to manipulation of spin/valley degrees of freedom in TMDC bilayers.


title: Autoregressive Entity Generation for End-to-End Task-Oriented Dialog

abstract: Task-oriented dialog (TOD) systems often require interaction with an external knowledge base to retrieve necessary entity (e.g., restaurant) information to support the response generation. Most current end-to-end TOD systems either retrieve the KB information explicitly or embed it into model parameters for implicit access.~While the former approach demands scanning the KB at each turn of response generation, which is inefficient when the KB scales up, the latter approach shows higher flexibility and efficiency. In either approach, the systems may generate a response with conflicting entity information. To address this issue, we propose to generate the entity autoregressively first and leverage it to guide the response generation in an end-to-end system. To ensure entity consistency, we impose a trie constraint on entity generation. We also introduce a logit concatenation strategy to facilitate gradient backpropagation for end-to-end training. Experiments on MultiWOZ 2.1 single and CAMREST show that our system can generate more high-quality and entity-consistent responses.


title: BOME! Bilevel Optimization Made Easy: A Simple First-Order Approach

abstract: Bilevel optimization (BO) is useful for solving a variety of important machine learning problems including but not limited to hyperparameter optimization, meta-learning, continual learning, and reinforcement learning. Conventional BO methods need to differentiate through the low-level optimization process with implicit differentiation, which requires expensive calculations related to the Hessian matrix. There has been a recent quest for first-order methods for BO, but the methods proposed to date tend to be complicated and impractical for large-scale deep learning applications. In this work, we propose a simple first-order BO algorithm that depends only on first-order gradient information, requires no implicit differentiation, and is practical and efficient for large-scale non-convex functions in deep learning. We provide non-asymptotic convergence analysis of the proposed method to stationary points for non-convex objectives and present empirical results that show its superior practical performance.


title: Neutral Silicon Vacancy Centers in Diamond via Photoactivated Itinerant Carriers

abstract: Neutral silicon vacancy (SiV0) centers in diamond are promising candidates for quantum network applications because of their exceptional optical properties and spin coherence. However, the stabilization of SiV0 centers requires careful Fermi level engineering of the diamond host material, making further technological development challenging. Here, we show that SiV0 centers can be efficiently stabilized by photoactivated itinerant carriers. Even in this nonequilibrium configuration, the resulting SiV0 centers are stable enough to allow for resonant optical excitation and optically detected magnetic resonance. Our results pave the way for on-demand generation of SiV0 centers as well as other emerging quantum defects in diamond.


title: Online Pricing Incentive to Sample Fresh Information

abstract: Today mobile users such as drivers are invited by content providers (e.g., Tripadvisor) to sample fresh information of diverse paths to control the age of information (AoI). However, selfish drivers prefer to travel through the shortest path instead of the others with extra costs in time and gas. To motivate drivers to route and sample diverse paths, this paper is the first to propose online pricing for a provider to economically reward drivers for diverse routing and control the actual AoI dynamics over time and spatial path domains. This online pricing optimization problem should be solved without knowing drivers' costs and even arrivals, and is intractable due to the curse of dimensionality in both time and space. If there is only one non-shortest path, we leverage the Markov decision process (MDP) techniques to analyze the problem. Accordingly, we design a linear-time algorithm for returning optimal online pricing, where a higher pricing reward is needed for a larger AoI. If there are a number of non-shortest paths, we prove that pricing one path at a time is optimal, yet it is not optimal to choose the path with the largest current AoI. Then we propose a new backward-clustered computation method and develop an approximation algorithm to alternate different paths to price over time. Perhaps surprisingly, our analysis of approximation ratio suggests that our algorithm's performance approaches closer to optimum given more paths.


title: Systematic Constructions of Bent-Negabent Functions, 2-Rotation Symmetric Bent-Negabent Functions and Their Duals

abstract: Bent-negabent functions have many important properties for their application in cryptography since they have the flat absolute spectrum under the both Walsh-Hadamard transform and nega-Hadamard transform. In this paper, we present four new systematic constructions of bent-negabent functions on $4k, 8k, 4k+2$ and $8k+2$ variables, respectively, by modifying the truth tables of two classes of quadratic bent-negabent functions with simple form. The algebraic normal forms and duals of these constructed functions are also determined. We further identify necessary and sufficient conditions for those bent-negabent functions which have the maximum algebraic degree. At last, by modifying the truth tables of a class of quadratic 2-rotation symmetric bent-negabent functions, we present a construction of 2-rotation symmetric bent-negabent functions with any possible algebraic degrees. Considering that there are probably no bent-negabent functions in the rotation symmetric class, it is the first significant attempt to construct bent-negabent functions in the generalized rotation symmetric class.


title: Non-uniqueness of Leray solutions to the hypodissipative Navier-Stokes equations in two dimensions

abstract: We exhibit non-unique Leray solutions of the forced Navier-Stokes equations with hypodissipation in two dimensions. Unlike the solutions constructed in \cite{albritton2021non}, the solutions we construct live at a supercritical scaling, in which the hypodissipation formally becomes negligible as $t \to 0^+$. In this scaling, it is possible to perturb the Euler non-uniqueness scenario of Vishik \cite{Vishik1,Vishik2} to the hypodissipative setting at the nonlinear level. Our perturbation argument is quasilinear in spirit and circumvents the spectral theoretic approach to incorporating the dissipation in \cite{albritton2021non}.


title: Finitude of physical measures for random maps

abstract: For random compositions of independent and identically distributed measurable maps on a Polish space, we study the existence and finitude of absolutely continuous ergodic stationary probability measures (which are, in particular, physical measures) whose basins of attraction cover the whole space almost everywhere. We characterize and hierarchize such random maps in terms of their associated Markov operators, as well as show the difference between classes in the hierarchy by plenty of examples, including additive noise, multiplicative noise, and iterated function systems. We also provide sufficient practical conditions for a random map to belong to these classes. For instance, we establish that any continuous random map on a compact Riemannian manifold with absolutely continuous transition probability has finitely many physical measures whose basins of attraction cover Lebesgue almost all the manifold.


title: Gerstenhaber algebra of an associative conformal algebra

abstract: We define a cup product on the Hochschild cohomology of an associative conformal algebra $A$, and show the cup product is graded commutative. We define a graded Lie bracket with the degree $-1$ on the Hochschild cohomology $\HH^{\ast}(A)$ of an associative conformal algebra $A$, and show that the Lie bracket together with the cup product is a Gerstenhaber algebra on the Hochschild cohomology of an associative conformal algebra. Moreover, we consider the Hochschild cohomology of split extension conformal algebra $A\hat{\oplus}M$ of $A$ with a conformal bimodule $M$, and show that there exist an algebra homomorphism from $\HH^{\ast}(A\hat{\oplus}M)$ to $\HH^{\ast}(A)$.


title: GLARE: A Dataset for Traffic Sign Detection in Sun Glare

abstract: Real-time machine learning object detection algorithms are often found within autonomous vehicle technology and depend on quality datasets. It is essential that these algorithms work correctly in everyday conditions as well as under strong sun glare. Reports indicate glare is one of the two most prominent environment-related reasons for crashes. However, existing datasets, such as the Laboratory for Intelligent & Safe Automobiles Traffic Sign (LISA) Dataset and the German Traffic Sign Recognition Benchmark, do not reflect the existence of sun glare at all. This paper presents the GLARE (GLARE is available at: https://github.com/NicholasCG/GLARE_Dataset ) traffic sign dataset: a collection of images with U.S-based traffic signs under heavy visual interference by sunlight. GLARE contains 2,157 images of traffic signs with sun glare, pulled from 33 videos of dashcam footage of roads in the United States. It provides an essential enrichment to the widely used LISA Traffic Sign dataset. Our experimental study shows that although several state-of-the-art baseline architectures have demonstrated good performance on traffic sign detection in conditions without sun glare in the past, they performed poorly when tested against GLARE (e.g., average mAP0.5:0.95 of 19.4). We also notice that current architectures have better detection when trained on images of traffic signs in sun glare performance (e.g., average mAP0.5:0.95 of 39.6), and perform best when trained on a mixture of conditions (e.g., average mAP0.5:0.95 of 42.3).


title: Dissipative magnetic structures and scales in small-scale dynamos

abstract: Small-scale dynamos play important roles in modern astrophysics, especially on Galactic and extragalactic scales. Owing to dynamo action, purely hydrodynamic Kolmogorov turbulence hardly exists and is often replaced by hydromagnetic turbulence. Understanding the size of dissipative magnetic structures is important in estimating the time scale of Galactic scintillation and other observational and theoretical aspects of interstellar and intergalactic small-scale dynamos. Here we show that, during the kinematic phase of the small-scale dynamo, the cutoff wavenumber of the magnetic energy spectra scales as expected for large magnetic Prandtl numbers, but continues in the same way also for moderately small values - contrary to what is expected. For a critical magnetic Prandtl number of about 0.3, the dissipative and resistive cutoffs are found to occur at the same wavenumber. In the nonlinearly saturated regime, the critical magnetic Prandtl number becomes unity. The cutoff scale now has a shallower scaling with magnetic Prandtl number below a value of about three, and a steeper one otherwise compared to the kinematic regime.


title: Density-aware NeRF Ensembles: Quantifying Predictive Uncertainty in Neural Radiance Fields

abstract: We show that ensembling effectively quantifies model uncertainty in Neural Radiance Fields (NeRFs) if a density-aware epistemic uncertainty term is considered. The naive ensembles investigated in prior work simply average rendered RGB images to quantify the model uncertainty caused by conflicting explanations of the observed scene. In contrast, we additionally consider the termination probabilities along individual rays to identify epistemic model uncertainty due to a lack of knowledge about the parts of a scene unobserved during training. We achieve new state-of-the-art performance across established uncertainty quantification benchmarks for NeRFs, outperforming methods that require complex changes to the NeRF architecture and training regime. We furthermore demonstrate that NeRF uncertainty can be utilised for next-best view selection and model refinement.


title: Detecting and Fixing Data Loss Issues in Android Apps

abstract: Android apps are event-driven, and their execution is often interrupted by external events. This interruption can cause data loss issues that annoy users. For instance, when the screen is rotated, the current app page will be destroyed and recreated. If the app state is improperly preserved, user data will be lost. In this work, we present an approach and tool iFixDataloss that automatically detects and fixes data loss issues in Android apps. To achieve this, we identify scenarios in which data loss issues may occur, develop strategies to reveal data loss issues, and design patch templates to fix them. Our experiments on 66 Android apps show iFixDataloss detected 374 data loss issues (284 of them were previously unknown) and successfully generated patches for 188 of the 374 issues. Out of 20 submitted patches, 16 have been accepted by developers. In comparison with state-of-the-art techniques, iFixDataloss performed significantly better in terms of the number of detected data loss issues and the quality of generated patches.


title: Supersolvable closures of finitely generated subgroups of the free group

abstract: We prove the pro-supersolvable closure of a finitely generated subgroup of the free group is finitely generated. It extends similar results for pro-$p$ closures proved by Ribes-Zalesskii and pro-Nilpotent closures proved by Margolis-Sapir-Weil.


title: Joint Language Semantic and Structure Embedding for Knowledge Graph Completion

abstract: The task of completing knowledge triplets has broad downstream applications. Both structural and semantic information plays an important role in knowledge graph completion. Unlike previous approaches that rely on either the structures or semantics of the knowledge graphs, we propose to jointly embed the semantics in the natural language description of the knowledge triplets with their structure information. Our method embeds knowledge graphs for the completion task via fine-tuning pre-trained language models with respect to a probabilistic structured loss, where the forward pass of the language models captures semantics and the loss reconstructs structures. Our extensive experiments on a variety of knowledge graph benchmarks have demonstrated the state-of-the-art performance of our method. We also show that our method can significantly improve the performance in a low-resource regime, thanks to the better use of semantics. The code and datasets are available at https://github.com/pkusjh/LASS.


title: Faster Randomized Interior Point Methods for Tall/Wide Linear Programs

abstract: Linear programming (LP) is an extremely useful tool which has been successfully applied to solve various problems in a wide range of areas, including operations research, engineering, economics, or even more abstract mathematical areas such as combinatorics. It is also used in many machine learning applications, such as $\ell_1$-regularized SVMs, basis pursuit, nonnegative matrix factorization, etc. Interior Point Methods (IPMs) are one of the most popular methods to solve LPs both in theory and in practice. Their underlying complexity is dominated by the cost of solving a system of linear equations at each iteration. In this paper, we consider both feasible and infeasible IPMs for the special case where the number of variables is much larger than the number of constraints. Using tools from Randomized Linear Algebra, we present a preconditioning technique that, when combined with the iterative solvers such as Conjugate Gradient or Chebyshev Iteration, provably guarantees that IPM algorithms (suitably modified to account for the error incurred by the approximate solver), converge to a feasible, approximately optimal solution, without increasing their iteration complexity. Our empirical evaluations verify our theoretical results on both real-world and synthetic data.


title: Ensembles of Compact, Region-specific & Regularized Spiking Neural Networks for Scalable Place Recognition

abstract: Spiking neural networks have significant potential utility in robotics due to their high energy efficiency on specialized hardware, but proof-of-concept implementations have not yet typically achieved competitive performance or capability with conventional approaches. In this paper, we tackle one of the key practical challenges of scalability by introducing a novel modular ensemble network approach, where compact, localized spiking networks each learn and are solely responsible for recognizing places in a local region of the environment only. This modular approach creates a highly scalable system. However, it comes with a high-performance cost where a lack of global regularization at deployment time leads to hyperactive neurons that erroneously respond to places outside their learned region. Our second contribution introduces a regularization approach that detects and removes these problematic hyperactive neurons during the initial environmental learning phase. We evaluate this new scalable modular system on benchmark localization datasets Nordland and Oxford RobotCar, with comparisons to standard techniques NetVLAD, DenseVLAD, and SAD, and a previous spiking neural network system. Our system substantially outperforms the previous SNN system on its small dataset, but also maintains performance on 27 times larger benchmark datasets where the operation of the previous system is computationally infeasible, and performs competitively with the conventional localization systems.


title: On the Adversarial Transferability of ConvMixer Models

abstract: Deep neural networks (DNNs) are well known to be vulnerable to adversarial examples (AEs). In addition, AEs have adversarial transferability, which means AEs generated for a source model can fool another black-box model (target model) with a non-trivial probability. In this paper, we investigate the property of adversarial transferability between models including ConvMixer, which is an isotropic network, for the first time. To objectively verify the property of transferability, the robustness of models is evaluated by using a benchmark attack method called AutoAttack. In an image classification experiment, ConvMixer is confirmed to be weak to adversarial transferability.