title: Scheduling Flexible Non-Preemptive Loads in Smart-Grid Networks

abstract: A market consisting of a generator with thermal and renewable generation capability, a set of non-preemptive loads (i.e., loads which cannot be interrupted once started), and an independent system operator (ISO) is considered. Loads are characterized by durations, power demand rates and utility for receiving service, as well as disutility functions giving preferences for time slots in which service is preferred. Given this information, along with the generator's thermal generation cost function and forecast renewable generation, the social planner solves a mixed integer program to determine a load activation schedule which maximizes social welfare. Assuming price taking behavior, we develop a competitive equilibrium concept based on a relaxed version of the social planner's problem which includes prices for consumption and incentives for flexibility, and allows for probabilistic allocation of power to loads. Considering each load as representative of a population of identical loads with scaled characteristics, we demonstrate that the relaxed social planner's problem gives an exact solution to the original mixed integer problem in the large population limit, and give a market mechanism for implementing the competitive equilibrium. Finally, we evaluate via case study the benefit of incorporating load flexibility information into power consumption and generation scheduling in terms of proportion of loads served and overall social welfare.


title: Planning as Inference in Epidemiological Models

abstract: In this work we demonstrate how to automate parts of the infectious disease-control policy-making process via performing inference in existing epidemiological models. The kind of inference tasks undertaken include computing the posterior distribution over controllable, via direct policy-making choices, simulation model parameters that give rise to acceptable disease progression outcomes. Among other things, we illustrate the use of a probabilistic programming language that automates inference in existing simulators. Neither the full capabilities of this tool for automating inference nor its utility for planning is widely disseminated at the current time. Timely gains in understanding about how such simulation-based models and inference automation tools applied in support of policymaking could lead to less economically damaging policy prescriptions, particularly during the current COVID-19 pandemic.


title: Nanometric precision distance metrology via chip-scale soliton microcombs

abstract: Laser interferometry serves a fundamental role in science and technology, assisting precision metrology and dimensional length measurement. During the past decade, laser frequency combs - a coherent optical-microwave frequency ruler over a broad spectral range with traceability to time-frequency standards - have contributed pivotal roles in laser dimensional metrology with ever-growing demands in measurement precision. Here we report spectrally-resolved laser dimensional metrology via a soliton frequency microcomb, with nanometric-scale precision. Spectral interferometry provides information on the optical time-of-flight signature, and the large free-spectral range and high-coherence of the microcomb enables tooth-resolved and high-visibility interferograms that can be directly readout with optical spectrum instrumentation. We employ a hybrid timing signal from comb-line homodyne interferometry and microcomb spectrally-resolved interferometry - all from the same spectral interferogram. Our combined soliton and homodyne architecture demonstrates a 3-nm repeatability achieved via homodyne interferometry, and over 1,000-seconds stability in the long-term precision metrology at the white noise limits.


title: Optimal Liouville theorems for superlinear parabolic problems

abstract: Liouville theorems for scaling invariant nonlinear parabolic equations and systems (saying that the equation or system does not possess positive entire solutions) guarantee optimal universal estimates of solutions of related initial and initial-boundary value problems. In the case of the nonlinear heat equation $$u_t-\Delta u=u^p\quad\hbox{in}\quad {R}^n\times{R}, \qquad p>1, $$ the nonexistence of positive classical solutions in the subcritical range $p(n-2)<n+2$ has been conjectured for a long time, but all known results require either a more restrictive assumption on $p$ or deal with a special class of solutions (time-independent or radially symmetric or satisfying suitable decay conditions). We solve this open problem and -- by using the same arguments -- we also prove optimal Liouville theorems for a class of superlinear parabolic systems. In the case of the nonlinear heat equation, straightforward applications of our Liouville theorem solve several related long-standing problems. For example, they guarantee an optimal Liouville theorem for ancient solutions, optimal decay estimates for global solutions of the coresponding Cauchy problem, optimal blow-up rate estimate for solutions in non-convex domains, optimal universal estimates for solutions of the corresponding initial-boundary value problems. The proof of our main result is based on refined energy estimates for suitably rescaled solutions.


title: Infinite presentations for fundamental groups of surfaces

abstract: For any finite type connected surface $S$, we give an infinite presentation of the fundamental group $\pi_1(S,\ast)$ of $S$ based at an interior point $\ast\in{S}$ whose generators are represented by simple loops. When $S$ is non-orientable, we also give an infinite presentation of the subgroup of $\pi_1(S,\ast)$ generated by elements which are represented by simple loops whose regular neighborhoods are annuli.


title: A Novel Incremental Clustering Technique with Concept Drift Detection

abstract: Data are being collected from various aspects of life. These data can often arrive in chunks/batches. Traditional static clustering algorithms are not suitable for dynamic datasets, i.e., when data arrive in streams of chunks/batches. If we apply a conventional clustering technique over the combined dataset, then every time a new batch of data comes, the process can be slow and wasteful. Moreover, it can be challenging to store the combined dataset in memory due to its ever-increasing size. As a result, various incremental clustering techniques have been proposed. These techniques need to efficiently update the current clustering result whenever a new batch arrives, to adapt the current clustering result/solution with the latest data. These techniques also need the ability to detect concept drifts when the clustering pattern of a new batch is significantly different from older batches. Sometimes, clustering patterns may drift temporarily in a single batch while the next batches do not exhibit the drift. Therefore, incremental clustering techniques need the ability to detect a temporary drift and sustained drift. In this paper, we propose an efficient incremental clustering algorithm called UIClust. It is designed to cluster streams of data chunks, even when there are temporary or sustained concept drifts. We evaluate the performance of UIClust by comparing it with a recently published, high-quality incremental clustering algorithm. We use real and synthetic datasets. We compare the results by using well-known clustering evaluation criteria: entropy, sum of squared errors (SSE), and execution time. Our results show that UIClust outperforms the existing technique in all our experiments.


title: Kernel based analysis of massive data

abstract: Dealing with massive data is a challenging task for machine learning. An important aspect of machine learning is function approximation. In the context of massive data, some of the commonly used tools for this purpose are sparsity, divide-and-conquer, and distributed learning. In this paper, we develop a very general theory of approximation by networks, which we have called eignets, to achieve local, stratified approximation. The very massive nature of the data allows us to use these eignets to solve inverse problems such as finding a good approximation to the probability law that governs the data, and finding the local smoothness of the target function near different points in the domain. In fact, we develop a wavelet-like representation using our eignets. Our theory is applicable to approximation on a general locally compact metric measure space. Special examples include approximation by periodic basis functions on the torus, zonal function networks on a Euclidean sphere (including smooth ReLU networks), Gaussian networks, and approximation on manifolds. We construct pre-fabricated networks so that no data-based training is required for the approximation.


title: An interpolation of metrics and spaces of metrics

abstract: We provide an interpolation theorem of a family of metrics defined on closed subsets of metrizable spaces. As an application, we observe that various sets of all metrics with properties appeared in metric geometry are dense intersections of countable open subsets in spaces of metrics on metrizable spaces. For instance, our study is applicable to the set of all non-doubling metrics and the set of all non-uniformly disconnected metrics.


title: Learning Memory-guided Normality for Anomaly Detection

abstract: We address the problem of anomaly detection, that is, detecting anomalous events in a video sequence. Anomaly detection methods based on convolutional neural networks (CNNs) typically leverage proxy tasks, such as reconstructing input video frames, to learn models describing normality without seeing anomalous samples at training time, and quantify the extent of abnormalities using the reconstruction error at test time. The main drawbacks of these approaches are that they do not consider the diversity of normal patterns explicitly, and the powerful representation capacity of CNNs allows to reconstruct abnormal video frames. To address this problem, we present an unsupervised learning approach to anomaly detection that considers the diversity of normal patterns explicitly, while lessening the representation capacity of CNNs. To this end, we propose to use a memory module with a new update scheme where items in the memory record prototypical patterns of normal data. We also present novel feature compactness and separateness losses to train the memory, boosting the discriminative power of both memory items and deeply learned features from normal data. Experimental results on standard benchmarks demonstrate the effectiveness and efficiency of our approach, which outperforms the state of the art.


title: A New Operator for Egyptian Fractions

abstract: This paper introduces a new equation for rewriting two unit fractions to another two unit fractions. This equation is useful for optimizing the elements of an Egyptian Fraction. Parity of the elements of the Egyptian Fractions are also considered. And lastly, the statement that all rational numbers can be represented as Egyptian Fraction is re-established.


title: AliCoCo: Alibaba E-commerce Cognitive Concept Net

abstract: One of the ultimate goals of e-commerce platforms is to satisfy various shopping needs for their customers. Much efforts are devoted to creating taxonomies or ontologies in e-commerce towards this goal. However, user needs in e-commerce are still not well defined, and none of the existing ontologies has the enough depth and breadth for universal user needs understanding. The semantic gap in-between prevents shopping experience from being more intelligent. In this paper, we propose to construct a large-scale e-commerce cognitive concept net named "AliCoCo", which is practiced in Alibaba, the largest Chinese e-commerce platform in the world. We formally define user needs in e-commerce, then conceptualize them as nodes in the net. We present details on how AliCoCo is constructed semi-automatically and its successful, ongoing and potential applications in e-commerce.


title: Sharp eigenvalue estimates and related rigidity theorems

abstract: In this paper, sharp bounds for the first nonzero eigenvalues of different type have been obtained. Moreover, when those bounds are achieved, related rigidities can be characterized. More precisely, first, by applying the Bishop-type volume comparison proven in [8,11] and the Escobar-type eigenvalue comparisons for the first nonzero Steklov eigenvalue of the Laplacian proven in [22], for manifolds with radial sectional curvature upper bound, under suitable preconditions, we can show that the first nonzero Wentzell eigenvalue of the geodesic ball on these manifolds can be bounded from above by that of the geodesic ball with the same radius in the model space (i.e., spherically symmetric manifolds) determined by the curvature bound. Besides, this upper bound for the first nonzero Wentzell eigenvalue can be achieved if and only if these two geodesic balls are isometric with each other. This conclusion can be seen as an extension of eigenvalue comparisons in [7,22]. Second, we prove a general Reilly formula for the drifting Laplacian, and then use the formula to give a sharp lower bound for the first nonzero Steklov eigenvalue of the drifting Laplacian on compact smooth metric measure spaces with boundary and convex potential function. Besides, this lower bound can be achieved only for the Euclidean ball of the prescribed radius. This conclusion gives a partial answer to the famous Escobar's conjecture proposed in [6].


title: Optimal Multiserver Scheduling with Unknown Job Sizes in Heavy Traffic

abstract: We consider scheduling to minimize mean response time of the M/G/k queue with unknown job sizes. In the single-server case, the optimal policy is the Gittins policy, but it is not known whether Gittins or any other policy is optimal in the multiserver case. Exactly analyzing the M/G/k under any scheduling policy is intractable, and Gittins is a particularly complicated policy that is hard to analyze even in the single-server case. In this work we introduce monotonic Gittins (M-Gittins), a new variation of the Gittins policy, and show that it minimizes mean response time in the heavy-traffic M/G/k for a wide class of finite-variance job size distributions. We also show that the monotonic shortest expected remaining processing time (M-SERPT) policy, which is simpler than M-Gittins, is a 2-approximation for mean response time in the heavy traffic M/G/k under similar conditions. These results constitute the most general optimality results to date for the M/G/k with unknown job sizes. Our techniques build upon work by Grosof et al., who study simple policies, such as SRPT, in the M/G/k; Bansal et al., Kamphorst and Zwart, and Lin et al., who analyze mean response time scaling of simple policies in the heavy-traffic M/G/1; and Aalto et al. and Scully et al., who characterize and analyze the Gittins policy in the M/G/1.


title: Magnetic reconnection in partially ionized plasmas

abstract: Magnetic reconnection has been intensively studied in fully ionized plasmas. However, plasmas are often partially ionized in astrophysical environments. The interactions between the neutral particles and ionized plasmas might strongly affect the reconnection mechanisms. We review magnetic reconnection in partially ionized plasmas in different environments from theoretical, numerical, observational and experimental points of view. We focus on mechanisms which make magnetic reconnection fast enough to compare with observations, especially on the reconnection events in the low solar atmosphere. The heating mechanisms and the related observational evidence of the reconnection process in the partially ionized low solar atmosphere are also discussed. We describe magnetic reconnection in weakly ionized astrophysical environments, including the interstellar medium and protostellar disks. We present recent achievements about fast reconnection in laboratory experiments for partially ionized plasmas.


title: A comparison between the nonlocal and the classical worlds: minimal surfaces, phase transitions, and geometric flows

abstract: The nonlocal world presents an abundance of surprises and wonders to discover. These special properties of the nonlocal world are usually the consequence of long-range interactions, which, especially in presence of geometric structures and nonlinear phenomena, end up producing a variety of novel patterns. We will briefly discuss some of these features, focusing on the case of (non)local minimal surfaces, (non)local phase coexistence models, and (non)local geometric flows.


title: Cognitive Production Systems: A Mapping Study

abstract: Production plants today are becoming more and more complicated through more automation and networking. It is becoming more difficult for humans to participate, due to higher speed and decreasing reaction time of these plants. Tendencies to improve production systems with the help of cognitive systems can be identified. The goal is to save resources and time. This mapping study gives an insight into the domain, categorizes different approaches and estimates their progress. Furthermore, it shows achieved optimizations and persisting problems and barriers. These representations should make it easier in the future to address concrete problems in this research field. Human-Machine Interaction and Knowledge Gaining/Sharing represent the largest categories of the domain. Most often, a gain in efficiency and maximized effectiveness can be achieved as optimization. The most common problem is the missing or only difficult generalization of the presented concepts.


title: Making Metadata Fit for Next Generation Language Technology Platforms: The Metadata Schema of the European Language Grid

abstract: The current scientific and technological landscape is characterised by the increasing availability of data resources and processing tools and services. In this setting, metadata have emerged as a key factor facilitating management, sharing and usage of such digital assets. In this paper we present ELG-SHARE, a rich metadata schema catering for the description of Language Resources and Technologies (processing and generation services and tools, models, corpora, term lists, etc.), as well as related entities (e.g., organizations, projects, supporting documents, etc.). The schema powers the European Language Grid platform that aims to be the primary hub and marketplace for industry-relevant Language Technology in Europe. ELG-SHARE has been based on various metadata schemas, vocabularies, and ontologies, as well as related recommendations and guidelines.


title: Bounds for the rainbow disconnection number of graphs

abstract: An edge-cut $R$ of an edge-colored connected graph is called a rainbow-cut if no two edges in the edge-cut are colored the same. An edge-colored graph is rainbow disconnected if for any two distinct vertices $u$ and $v$ of the graph, there exists a $u$-$v$-rainbow-cut separating them. For a connected graph $G$, the rainbow disconnection number of $G$, denoted by rd$(G)$, is defined as the smallest number of colors that are needed in order to make $G$ rainbow disconnected. In this paper, we first give some tight upper bounds for rd$(G)$, and moreover, we completely characterize the graphs which meet the upper bound of the Nordhaus-Gaddum type results obtained early by us. Secondly, we propose a conjecture that $\lambda^+(G)\leq \textnormal{rd}(G)\leq \lambda^+(G)+1$, where $\lambda^+(G)$ is the upper edge-connectivity, and prove the conjecture for many classes of graphs, to support it. Finally, we give the relationship between rd$(G)$ of a graph $G$ and the rainbow vertex-disconnection number rvd$(L(G))$ of the line graph $L(G)$ of $G$.


title: Zeros and roots of unity in character tables

abstract: For any finite group $G$, Thompson proved that, for each $\chi\in {\rm Irr}(G)$, $\chi(g)$ is a root of unity or zero for more than a third of the elements $g\in G$, and Gallagher proved that, for each larger than average class $g^G$, $\chi(g)$ is a root of unity or zero for more than a third of the irreducible characters $\chi\in {\rm Irr}(G)$. We show that in many cases "more than a third" can be replaced by "more than half".


title: MetaFuse: A Pre-trained Fusion Model for Human Pose Estimation

abstract: Cross view feature fusion is the key to address the occlusion problem in human pose estimation. The current fusion methods need to train a separate model for every pair of cameras making them difficult to scale. In this work, we introduce MetaFuse, a pre-trained fusion model learned from a large number of cameras in the Panoptic dataset. The model can be efficiently adapted or finetuned for a new pair of cameras using a small number of labeled images. The strong adaptation power of MetaFuse is due in large part to the proposed factorization of the original fusion model into two parts (1) a generic fusion model shared by all cameras, and (2) lightweight camera-dependent transformations. Furthermore, the generic model is learned from many cameras by a meta-learning style algorithm to maximize its adaptation capability to various camera poses. We observe in experiments that MetaFuse finetuned on the public datasets outperforms the state-of-the-arts by a large margin which validates its value in practice.


title: Demonstration of wideband metal mesh filters for submillimeter astrophysics using flexible printed circuits

abstract: We developed a wideband quasi-optical band-pass filter covering 170-520 GHz by exploiting the recent advancements in commercially available flexible printed circuit (FPC) fabrication technologies. We designed and fabricated a three-layered stack of loaded hexagonal grid metal meshes using a copper pattern with a narrowest linewidth of $50~\mu\mathrm{m}$ on a polyimide substrate. The measured frequency pass-band shape was successfully reproduced through a numerical simulation using a set of parameters consistent with the dimensions of the fabricated metal meshes. FPC-based metal mesh filters will provide a new pathway toward the on-demand development of millimeter/submillimeter-wave quasi-optical filters at low cost and with a short turnaround time.


title: Sign changing solution for a double phase problem with nonlinear boundary condition via the Nehari manifold

abstract: In this paper we study quasilinear elliptic equations driven by the so-called double phase operator and with a nonlinear boundary condition. Due to the lack of regularity, we prove the existence of multiple solutions by applying the Nehari manifold method along with truncation and comparison techniques and critical point theory. In addition, we can also determine the sign of the solutions (one positive, one negative, one nodal). Moreover, as a result of independent interest, we prove for a general class of such problems the boundedness of weak solutions.


title: Physical Model Guided Deep Image Deraining

abstract: Single image deraining is an urgent task because the degraded rainy image makes many computer vision systems fail to work, such as video surveillance and autonomous driving. So, deraining becomes important and an effective deraining algorithm is needed. In this paper, we propose a novel network based on physical model guided learning for single image deraining, which consists of three sub-networks: rain streaks network, rain-free network, and guide-learning network. The concatenation of rain streaks and rain-free image that are estimated by rain streaks network, rain-free network, respectively, is input to the guide-learning network to guide further learning and the direct sum of the two estimated images is constrained with the input rainy image based on the physical model of rainy image. Moreover, we further develop the Multi-Scale Residual Block (MSRB) to better utilize multi-scale information and it is proved to boost the deraining performance. Quantitative and qualitative experimental results demonstrate that the proposed method outperforms the state-of-the-art deraining methods. The source code will be available at \url{https://supercong94.wixsite.com/supercong94}.


title: On Singer-Wermer conjecture in Frechet algebras

abstract: We construct two Frechet algebras admitting countably many mutually inequivalent Frechet algebra topologies. The second example is a modification of the maiden (and first) example of a non-Banach Frechet algebra with two inequivalent Frechet algebra topologies, considered by Read to show that the famous Singer-Wermer conjecture does not hold in the Frechet case. However the conjecture does hold by the second example which also admits countably many mutually equivalent Frechet algebra topologies.


title: Probing new physics with multi-vacua quantum tunnelings beyond standard model through gravitational waves

abstract: We report on a novel phenomenon of particle cosmology, which features specific cosmological phase transitions via quantum tunnelings through multiple vacua. The latter is inspired by the axiverse ideas and enables us to probe the associated new physics models through a potential observation of specific patterns in the stochastic gravitational waves background. Multiple vacua may induce the nucleation of co-existing bubbles over the phase transition epoch, hence enhancing the overall process of bubbles' nucleation. Our detailed analysis of semi-analytical and numerical solutions to the bounce equations of the path integral in three vacua case has enabled us to determine the existence of three instanton solutions. This new mechanism of cosmological phase transitions clearly predicts a possibly sizeable new source of gravitational waves, with its energy spectrum being featured with particular patterns, which could be probed by the future gravitational wave interferometers.


title: Finite Temperature TD-DMRG for the Carrier Mobility of Organic Semiconductors

abstract: A large number of non-adiabatic dynamical studies have been applied to reveal the nature of carrier transport in organic semiconductors with different approximations. We present here a "nearly exact" graphical process unit (GPU) based finite temperature TD-DMRG method to evaluate the carrier mobility in organic semiconductors as described by electron-phonon model, in particular to rubrene crystal, one of the prototypical organic semiconductors, with parameters derived from first-principles. We find that (i) TD-DMRG is a general and robust method that can bridge the gap between hopping and band picture covering a wide range of electronic coupling strength; and (ii) with realistic parameters, TD-DMRG is able to account for the experimentally observed "band-like" transport behavior ($\partial \mu / \partial T < 0$) in rubrene. We further study the long-standing puzzle of isotope effect for charge transport and unambiguously demonstrate that the negative isotope effect ($\partial \mu / \partial m < 0$ where $m$ is the atomic mass) should be universal.


title: Memory Aggregation Networks for Efficient Interactive Video Object Segmentation

abstract: Interactive video object segmentation (iVOS) aims at efficiently harvesting high-quality segmentation masks of the target object in a video with user interactions. Most previous state-of-the-arts tackle the iVOS with two independent networks for conducting user interaction and temporal propagation, respectively, leading to inefficiencies during the inference stage. In this work, we propose a unified framework, named Memory Aggregation Networks (MA-Net), to address the challenging iVOS in a more efficient way. Our MA-Net integrates the interaction and the propagation operations into a single network, which significantly promotes the efficiency of iVOS in the scheme of multi-round interactions. More importantly, we propose a simple yet effective memory aggregation mechanism to record the informative knowledge from the previous interaction rounds, improving the robustness in discovering challenging objects of interest greatly. We conduct extensive experiments on the validation set of DAVIS Challenge 2018 benchmark. In particular, our MA-Net achieves the J@60 score of 76.1% without any bells and whistles, outperforming the state-of-the-arts with more than 2.7%.


title: Dynamics of neural networks with elapsed time model and learning processes

abstract: We introduce and study a new model of interacting neural networks, incorporating the spatial dimension (e.g. position of neurons across the cortex) and some learning processes. The dynamic of each neural network is described via the elapsed time model, that is, the neurons are described by the elapsed time since their last discharge and the chosen learning processes are essentially inspired from the Hebbian rule. We then obtain a system of integro-differential equations, from which we analyze the convergence to stationary states by the means of entropy method and Doeblin's theory in the case of weak interconnections. We also consider the situation where neural activity is faster than the learning process and give conditions where one can approximate the dynamics by a solution with a similar profile of a steady state. For stronger interconnections, we present some numerical simulations to observe how the parameters of the system can give different behaviors and pattern formations.


title: A Hecke Algebra on the Double Cover of a Chevalley Group Over $\mathbb{Q}_{2}$

abstract: We prove that a certain genuine Hecke algebra $\mathcal{H}$ on the non-linear double cover of a simple, simply-laced, simply-connected, Chevalley group $G$ over $\mathbb{Q}_{2}$ admits a Bernstein presentation. This presentation has two consequences. First, the Bernstein component containing the genuine unramified principal series is equivalent to $\mathcal{H}$-mod. Second, $\mathcal{H}$ is isomorphic to the Iwahori-Hecke algebra of the linear group $G/Z_{2}$, where $Z_{2}$ is the $2$-torsion of the center of $G$. This isomorphism of Hecke algebras provides a correspondence between certain genuine unramified principal series of the double cover of $G$ and the Iwahori-unramified representations of the group $G/Z_{2}$.


title: Towards Stable and Comprehensive Domain Alignment: Max-Margin Domain-Adversarial Training

abstract: Domain adaptation tackles the problem of transferring knowledge from a label-rich source domain to a label-scarce or even unlabeled target domain. Recently domain-adversarial training (DAT) has shown promising capacity to learn a domain-invariant feature space by reversing the gradient propagation of a domain classifier. However, DAT is still vulnerable in several aspects including (1) training instability due to the overwhelming discriminative ability of the domain classifier in adversarial training, (2) restrictive feature-level alignment, and (3) lack of interpretability or systematic explanation of the learned feature space. In this paper, we propose a novel Max-margin Domain-Adversarial Training (MDAT) by designing an Adversarial Reconstruction Network (ARN). The proposed MDAT stabilizes the gradient reversing in ARN by replacing the domain classifier with a reconstruction network, and in this manner ARN conducts both feature-level and pixel-level domain alignment without involving extra network structures. Furthermore, ARN demonstrates strong robustness to a wide range of hyper-parameters settings, greatly alleviating the task of model selection. Extensive empirical results validate that our approach outperforms other state-of-the-art domain alignment methods. Moreover, reconstructing adapted features reveals the domain-invariant feature space which conforms with our intuition.


title: Optimal absorption of acoustical waves by a boundary

abstract: In the aim to find the simplest and most efficient shape of a noise absorbing wall to dissipate the acoustical energy of a sound wave, we consider a frequency model described by the Helmholtz equation with a damping on the boundary. The well-posedness of the model is shown in a class of domains with d-set boundaries (N -- 1 $\le$ d < N). We introduce a class of admissible Lipschitz boundaries, in which an optimal shape of the wall exists in the following sense: We prove the existence of a Radon measure on this shape, greater than or equal to the usual Lebesgue measure, for which the corresponding solution of the Helmholtz problem realizes the infimum of the acoustic energy defined with the Lebesgue measure on the boundary. If this Radon measure coincides with the Lebesgue measure, the corresponding solution realizes the minimum of the energy. For a fixed porous material, considered as an acoustic absorbent, we derive the damping parameters of its boundary from the corresponding time-dependent problem described by the damped wave equation (damping in volume).


title: Hold the Door! Fingerprinting Your Car Key to Prevent Keyless Entry Car Theft

abstract: Recently, the traditional way to unlock car doors has been replaced with a keyless entry system which proves more convenient for automobile owners. When a driver with a key fob is in the vicinity of the vehicle, doors automatically unlock on user command. However, unfortunately, it has been shown that these keyless entry systems are vulnerable to signal relaying attacks. While it is evident that automobile manufacturers incorporate preventative methods to secure these keyless entry systems, they continue to be vulnerable to a range of attacks. Relayed signals result in valid packets that are verified as legitimate, and this makes it is difficult to distinguish a legitimate door unlock request from a malicious signal. In response to this vulnerability, this paper presents an RF fingerprinting method (coined HOld the DOoR, HODOR) to detect attacks on keyless entry systems the first attempt to exploit the RF fingerprint technique in the automotive domain. HODOR is designed as a sub authentication method that supports existing authentication systems for keyless entry systems and does not require any modification of the main system to perform. Through a series of experiments, the results demonstrate that HODOR competently and reliably detects attacks on keyless entry systems. HODOR achieves both an average false positive rate (FPR) of 0.27 percent with a false negative rate (FNR) of 0 percent for the detection of simulated attacks, corresponding to current research on keyless entry car theft.


title: A simple demonstration of shear-flow instability

abstract: We describe a simple classroom demonstration of a fluid-dynamic instability. The demonstration requires only a bucket of water, a piece of string and some used tealeaves or coffee grounds. We argue that the mechanism for the instability, at least in its later stages, is two-dimensional barotropic (shear-flow) instability and we present evidence in support of this. We show results of an equivalent basic two-dimensional numerical non-linear model, which simulates behavior comparable to that observed in the bucket demonstration. Modified simulations show that the instability does not depend on the curvature of the domain, but rather on the velocity profile.


title: Optimizing Geometry Compression using Quantum Annealing

abstract: The compression of geometry data is an important aspect of bandwidth-efficient data transfer for distributed 3d computer vision applications. We propose a quantum-enabled lossy 3d point cloud compression pipeline based on the constructive solid geometry (CSG) model representation. Key parts of the pipeline are mapped to NP-complete problems for which an efficient Ising formulation suitable for the execution on a Quantum Annealer exists. We describe existing Ising formulations for the maximum clique search problem and the smallest exact cover problem, both of which are important building blocks of the proposed compression pipeline. Additionally, we discuss the properties of the overall pipeline regarding result optimality and described Ising formulations.


title: Environmental Adaptation of Robot Morphology and Control through Real-world Evolution

abstract: Robots operating in the real world will experience a range of different environments and tasks. It is essential for the robot to have the ability to adapt to its surroundings to work efficiently in changing conditions. Evolutionary robotics aims to solve this by optimizing both the control and body (morphology) of a robot, allowing adaptation to internal, as well as external factors. Most work in this field has been done in physics simulators, which are relatively simple and not able to replicate the richness of interactions found in the real world. Solutions that rely on the complex interplay between control, body, and environment are therefore rarely found. In this paper, we rely solely on real-world evaluations and apply evolutionary search to yield combinations of morphology and control for our mechanically self-reconfiguring quadruped robot. We evolve solutions on two distinct physical surfaces and analyze the results in terms of both control and morphology. We then transition to two previously unseen surfaces to demonstrate the generality of our method. We find that the evolutionary search finds high-performing and diverse morphology-controller configurations by adapting both control and body to the different properties of the physical environments. We additionally find that morphology and control vary with statistical significance between the environments. Moreover, we observe that our method allows for morphology and control parameters to transfer to previously-unseen terrains, demonstrating the generality of our approach.


title: Joint Orthogonal Band and Power Allocation for Energy Fairness in WPT System with Nonlinear Logarithmic Energy Harvesting Model

abstract: Wireless power transmission (WPT) is expected to play an important role in the Internet of Things services by providing the perpetual operation of IoT sensors. However, to prolong the IoT network's lifetime, the efficient resource allocation algorithm is required, in particular, the energy fairness issue among IoT sensors has been a critical challenge of the WPT system. In this paper, considering energy fairness as the minimum received energy of all energy poverty IoT sensors (EPISs), we allocate orthogonal frequency bands to several EPISs and transfer the RF power on each orthogonal band, using energy beamforming. Based on the energy poverty, we propose orthogonal frequency bands assignment rule, granting the priority to the EPISs with less received energy. We also formulate two transmission power allocation problems, incorporated the nonlinear logarithm-energy harvesting (EH) model. First, the total received power maximization (TRPM) problem is presented and solved by combining the well-known Karush-Kuhn-Tucker (KKT) conditions with the modified water-filling algorithm. Second, the common received power maximization (CRPM) problem is formulated and the optimal solution is derived using the iterative bisection search method. To apply the bisection search method to the problem, this paper proposes a method of specifying the scope of the solution for the objective function defined by the sum of monotonous functions. In numerical results, assuming the mobility of EPISs by the one-dimensional random walk model, the effectiveness of the mobility of EPISs on the minimum received energy of all EPISs is presented. Finally, the performance of the proposed resource allocation schemes is verified by comparing other resources allocation schemes, such as Round robin and equal power distribution


title: The Hessian Estimation Evolution Strategy

abstract: We present a novel black box optimization algorithm called Hessian Estimation Evolution Strategy. The algorithm updates the covariance matrix of its sampling distribution by directly estimating the curvature of the objective function. This algorithm design is targeted at twice continuously differentiable problems. For this, we extend the cumulative step-size adaptation algorithm of the CMA-ES to mirrored sampling. We demonstrate that our approach to covariance matrix adaptation is efficient by evaluation it on the BBOB/COCO testbed. We also show that the algorithm is surprisingly robust when its core assumption of a twice continuously differentiable objective function is violated. The approach yields a new evolution strategy with competitive performance, and at the same time it also offers an interesting alternative to the usual covariance matrix update mechanism.


title: Quantum Stochastic Walk Models for Quantum State Discrimination

abstract: Quantum Stochastic Walks (QSW) allow for a generalization of both quantum and classical random walks by describing the dynamic evolution of an open quantum system on a network, with nodes corresponding to quantum states of a fixed basis. We consider the problem of quantum state discrimination on such a system, and we solve it by optimizing the network topology weights. Finally, we test it on different quantum network topologies and compare it with optimal theoretical bounds.


title: Minimax control of ambiguous linear stochastic systems using the Wasserstein metric

abstract: In this paper, we propose a minimax linear-quadratic control method to address the issue of inaccurate distribution information in practical stochastic systems. To construct a control policy that is robust against errors in an empirical distribution of uncertainty, our method is to adopt an adversary, which selects the worst-case distribution. To systematically adjust the conservativeness of our method, the opponent receives a penalty proportional to the amount, measured with the Wasserstein metric, of deviation from the empirical distribution. In the finite-horizon case, using a Riccati equation, we derive a closed-form expression of the unique optimal policy and the opponent's policy that generates the worst-case distribution. This result is then extended to the infinite-horizon setting by identifying conditions under which the Riccati recursion converges to the unique positive semi-definite solution to an associated algebraic Riccati equation (ARE). The resulting optimal policy is shown to stabilize the expected value of the system state under the worst-case distribution. We also discuss that our method can be interpreted as a distributional generalization of the $H_\infty$-method.


title: SmartCert: Redesigning Digital Certificates with Smart Contracts

abstract: The Transport Layer Security (TLS) protocol and its public-key infrastructure (PKI) are widely used in the Internet to achieve secure communication. Validating domain ownership by trusted certification authorities (CAs) is a critical step in issuing digital certificates, but unfortunately, this process provides a poor security level. In this work, we present SmartCert, a novel approach based on smart contracts to improve digital certificates. A certificate in SmartCert conveys detailed information about its validation state which is constantly changing but only with respect to the specified smart contract code and individual domain policies. CAs issuing and updating certificates are kept accountable and their actions are transparent and monitored by the code. We present the implementation and evaluation of SmartCert, and discuss its deployability.


title: TapLab: A Fast Framework for Semantic Video Segmentation Tapping into Compressed-Domain Knowledge

abstract: Real-time semantic video segmentation is a challenging task due to the strict requirements of inference speed. Recent approaches mainly devote great efforts to reducing the model size for high efficiency. In this paper, we rethink this problem from a different viewpoint: using knowledge contained in compressed videos. We propose a simple and effective framework, dubbed TapLab, to tap into resources from the compressed domain. Specifically, we design a fast feature warping module using motion vectors for acceleration. To reduce the noise introduced by motion vectors, we design a residual-guided correction module and a residual-guided frame selection module using residuals. TapLab significantly reduces redundant computations of the state-of-the-art fast semantic image segmentation models, running 3 to 10 times faster with controllable accuracy degradation. The experimental results show that TapLab achieves 70.6% mIoU on the Cityscapes dataset at 99.8 FPS with a single GPU card for the 1024x2048 videos. A high-speed version even reaches the speed of 160+ FPS. Codes will be available soon at https://github.com/Sixkplus/TapLab.


title: Domain-aware Visual Bias Eliminating for Generalized Zero-Shot Learning

abstract: Recent methods focus on learning a unified semantic-aligned visual representation to transfer knowledge between two domains, while ignoring the effect of semantic-free visual representation in alleviating the biased recognition problem. In this paper, we propose a novel Domain-aware Visual Bias Eliminating (DVBE) network that constructs two complementary visual representations, i.e., semantic-free and semantic-aligned, to treat seen and unseen domains separately. Specifically, we explore cross-attentive second-order visual statistics to compact the semantic-free representation, and design an adaptive margin Softmax to maximize inter-class divergences. Thus, the semantic-free representation becomes discriminative enough to not only predict seen class accurately but also filter out unseen images, i.e., domain detection, based on the predicted class entropy. For unseen images, we automatically search an optimal semantic-visual alignment architecture, rather than manual designs, to predict unseen classes. With accurate domain detection, the biased recognition problem towards the seen domain is significantly reduced. Experiments on five benchmarks for classification and segmentation show that DVBE outperforms existing methods by averaged 5.7% improvement.


title: Additive kinematic formulas for flag area measures

abstract: We show the existence of additive kinematic formulas for general flag area measures, which generalizes a recent result by Wannerer. Building on previous work by the second named author, we introduce an algebraic framework to compute these formulas explicitly. This is carried out in detail in the case of the incomplete flag manifold consisting of all $(p+1)$-planes containing a unit vector.


title: Electric heating and angular momentum transport in laminar models of protoplanetary disks

abstract: The vertical temperature structure of a protoplanetary disk bears on several processes relevant to planet formation, such as gas and dust grain chemistry, ice lines and convection. The temperature profile is controlled by irradiation from the central star and by any internal source of heat such as might arise from gas accretion. We investigate the heat and angular momentum transport generated by the resistive dissipation of magnetic fields in laminar disks. We use local one-dimensional simulations to obtain vertical temperature profiles for typical conditions in the inner disk (0.5 to 4 au). Using simple assumptions for the gas ionization and opacity, the heating and cooling rates are computed self-consistently in the framework of radiative non-ideal magnetohydrodynamics. We characterize steady solutions that are symmetric about the midplane and which may be associated with saturated Hall-shear unstable modes. We also examine the dissipation of electric currents driven by global accretion-ejection structures. In both cases we obtain significant heating for a sufficiently high opacity. Strong magnetic fields can induce an order-unity temperature increase in the disk midplane, a convectively unstable entropy profile, and a surface emissivity equivalent to a viscous heating of $\alpha \sim 10^{-2}$. These results show how magnetic fields may drive efficient accretion and heating in weakly ionized disks where turbulence might be inefficient, at least for a range of radii and ages of the disk.


title: Geometric Criterion for Solvability of Lattice Spin Systems

abstract: We present a simple criterion for solvability of lattice spin systems on the basis of the graph theory and the simplicial homology. The lattice systems satisfy algebras with graphical representations. It is shown that the null spaces of adjacency matrices of the graphs provide conserved quantities of the systems. Furthermore, when the graphs belong to a class of simplicial complexes, the Hamiltonians are found to be mapped to bilinear forms of Majorana fermions, from which the full spectra of the systems are obtained. In the latter situation, we find a relation between conserved quantities and the first homology group of the graph, and the relation enables us to interpret the conserved quantities as flux excitations of the systems. The validity of our theory is confirmed in several known solvable spin systems including the 1d transverse-field Ising chain, the 2d Kitaev honeycomb model and the 3d diamond lattice model. We also present new solvable models on a 1d tri-junction, 2d and 3d fractal lattices, and the 3d cubic lattice.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP


title: Forbidden Freeze-In

abstract: We study the importance of a frozen-in dark matter production regime, where the dark matter particle is produced via kinematically forbidden decays that arise from significant thermal correction to the mass a mediator particle in the plasma.


title: Towards Palmprint Verification On Smartphones

abstract: With the rapid development of mobile devices, smartphones have gradually become an indispensable part of people's lives. Meanwhile, biometric authentication has been corroborated to be an effective method for establishing a person's identity with high confidence. Hence, recently, biometric technologies for smartphones have also become increasingly sophisticated and popular. But it is noteworthy that the application potential of palmprints for smartphones is seriously underestimated. Studies in the past two decades have shown that palmprints have outstanding merits in uniqueness and permanence, and have high user acceptance. However, currently, studies specializing in palmprint verification for smartphones are still quite sporadic, especially when compared to face- or fingerprint-oriented ones. In this paper, aiming to fill the aforementioned research gap, we conducted a thorough study of palmprint verification on smartphones and our contributions are twofold. First, to facilitate the study of palmprint verification on smartphones, we established an annotated palmprint dataset named MPD, which was collected by multi-brand smartphones in two separate sessions with various backgrounds and illumination conditions. As the largest dataset in this field, MPD contains 16,000 palm images collected from 200 subjects. Second, we built a DCNN-based palmprint verification system named DeepMPV+ for smartphones. In DeepMPV+, two key steps, ROI extraction and ROI matching, are both formulated as learning problems and then solved naturally by modern DCNN models. The efficiency and efficacy of DeepMPV+ have been corroborated by extensive experiments. To make our results fully reproducible, the labeled dataset and the relevant source codes have been made publicly available at https://cslinzhang.github.io/MobilePalmPrint/.


title: The topological nilpotence degree of a Noetherian unstable algebra

abstract: We investigate the topological nilpotence degree, in the sense of Henn-Lannes-Schwartz, of a connected Noetherian unstable algebra $R$. When $R$ is the mod $p$ cohomology ring of a compact Lie group, Kuhn showed how this invariant is controlled by centralizers of elementary abelian $p$-subgroups. By replacing centralizers of elementary abelian $p$-subgroups with components of Lannes' $T$-functor, and utilizing the techniques of unstable algebras over the Steenrod algebra, we are able to generalize Kuhn's result to a large class of connected Noetherian unstable algebras. We show how this generalizes Kuhn's result to more general classes of groups, such as groups of finite virtual cohomological dimension, profinite groups, and Kac-Moody groups. In fact, our results apply much more generally, for example, we establish results for $p$-local compact groups in the sense of Broto-Levi-Oliver, for connected $H$-spaces with Noetherian mod $p$ cohomology, and for the Borel equivariant cohomology of a compact Lie group acting on a manifold. Along the way we establish several results of independent interest. For example, we formulate and prove a version of Carlson's depth conjecture in the case of a Noetherian unstable algebra of minimal depth.


title: Architecture Disentanglement for Deep Neural Networks

abstract: Understanding the inner workings of deep neural networks (DNNs) is essential to provide trustworthy artificial intelligence techniques for practical applications. Existing studies typically involve linking semantic concepts to units or layers of DNNs, but fail to explain the inference process. In this paper, we introduce neural architecture disentanglement (NAD) to fill the gap. Specifically, NAD learns to disentangle a pre-trained DNN into sub-architectures according to independent tasks, forming information flows that describe the inference processes. We investigate whether, where, and how the disentanglement occurs through experiments conducted with handcrafted and automatically-searched network architectures, on both object-based and scene-based datasets. Based on the experimental results, we present three new findings that provide fresh insights into the inner logic of DNNs. First, DNNs can be divided into sub-architectures for independent tasks. Second, deeper layers do not always correspond to higher semantics. Third, the connection type in a DNN affects how the information flows across layers, leading to different disentanglement behaviors. With NAD, we further explain why DNNs sometimes give wrong predictions. Experimental results show that misclassified images have a high probability of being assigned to task sub-architectures similar to the correct ones. Code will be available at: https://github.com/hujiecpp/NAD.


title: Structure of Constrained Systems in Lagrangian Formalism and Degree of Freedom Count

abstract: A detailed program is proposed in the Lagrangian formalism to investigate the dynamical behavior of a theory with singular Lagrangian. This program goes on, at different levels, parallel to the Hamiltonian analysis. In particular, we introduce the notions of first class and second class Lagrangian constraints. We show each sequence of first class constraints leads to a Neother identity and consequently to a gauge transformation. We give a general formula for counting the dynamical variables in Lagrangian formalism. As the main advantage of Lagrangian approach, we show the whole procedure can also be performed covariantly. Several examples are given to make our Lagrangian approach clear.


title: Optimal convergence rates for goal-oriented FEM with quadratic goal functional

abstract: We consider a linear elliptic PDE and a quadratic goal functional. The goal-oriented adaptive FEM algorithm (GOAFEM) solves the primal as well as a dual problem, where the goal functional is always linearized around the discrete primal solution at hand. We show that the marking strategy proposed in [Feischl et al, SIAM J. Numer. Anal., 54 (2016)] for a linear goal functional is also optimal for quadratic goal functionals, i.e., GOAFEM leads to linear convergence with optimal convergence rates.


title: Functorial evolution of quantum fields

abstract: We present a compositional algebraic framework to describe the evolution of quantum fields in discretised spacetimes. We show how familiar notions from Relativity and quantum causality can be recovered in a purely order-theoretic way from the causal order of events in spacetime, with no direct mention of analysis or topology. We formulate theory-independent notions of fields over causal orders in a compositional, functorial way. We draw a strong connection to Algebraic Quantum Field Theory (AQFT), using a sheaf-theoretical approach in our definition of spaces of states over regions of spacetime. We introduce notions of symmetry and cellular automata, which we show to subsume existing definitions of Quantum Cellular Automata (QCA) from previous literature. Given the extreme flexibility of our constructions, we propose that our framework be used as the starting point for new developments in AQFT, QCA and more generally Quantum Field Theory.


title: Multi-Objective Matrix Normalization for Fine-grained Visual Recognition

abstract: Bilinear pooling achieves great success in fine-grained visual recognition (FGVC). Recent methods have shown that the matrix power normalization can stabilize the second-order information in bilinear features, but some problems, e.g., redundant information and over-fitting, remain to be resolved. In this paper, we propose an efficient Multi-Objective Matrix Normalization (MOMN) method that can simultaneously normalize a bilinear representation in terms of square-root, low-rank, and sparsity. These three regularizers can not only stabilize the second-order information, but also compact the bilinear features and promote model generalization. In MOMN, a core challenge is how to jointly optimize three non-smooth regularizers of different convex properties. To this end, MOMN first formulates them into an augmented Lagrange formula with approximated regularizer constraints. Then, auxiliary variables are introduced to relax different constraints, which allow each regularizer to be solved alternately. Finally, several updating strategies based on gradient descent are designed to obtain consistent convergence and efficient implementation. Consequently, MOMN is implemented with only matrix multiplication, which is well-compatible with GPU acceleration, and the normalized bilinear features are stabilized and discriminative. Experiments on five public benchmarks for FGVC demonstrate that the proposed MOMN is superior to existing normalization-based methods in terms of both accuracy and efficiency. The code is available: https://github.com/mboboGO/MOMN.


title: Combinatorial approach to Milnor invariants of welded links

abstract: For a classical link, Milnor defined a family of isotopy invariants, called Milnor $\overline{\mu}$-invariants. Recently, Chrisman extended Milnor $\overline{\mu}$-invariants to welded links by a topological approach. The aim of this paper is to show that Milnor $\overline{\mu}$-invariants can be extended to welded links by a combinatorial approach. The proof contains an alternative proof for the invariance of the original $\overline{\mu}$-invariants of classical links.


title: Adversarial Domain Adaptation with Prototype-Based Normalized Output Conditioner

abstract: In this work, we attempt to address unsupervised domain adaptation by devising simple and compact conditional domain adversarial training methods. We first revisit the simple concatenation conditioning strategy where features are concatenated with output predictions as the input of the discriminator. We find the concatenation strategy suffers from the weak conditioning strength. We further demonstrate that enlarging the norm of concatenated predictions can effectively energize the conditional domain alignment. Thus we improve concatenation conditioning by normalizing the output predictions to have the same norm of features, and term the derived method as Normalized OutpUt coNditioner~(NOUN). However, conditioning on raw output predictions for domain alignment, NOUN suffers from inaccurate predictions of the target domain. To this end, we propose to condition the cross-domain feature alignment in the prototype space rather than in the output space. Combining the novel prototype-based conditioning with NOUN, we term the enhanced method as PROtotype-based Normalized OutpUt coNditioner~(PRONOUN). Experiments on both object recognition and semantic segmentation show that NOUN can effectively align the multi-modal structures across domains and even outperform state-of-the-art domain adversarial training methods. Together with prototype-based conditioning, PRONOUN further improves the adaptation performance over NOUN on multiple object recognition benchmarks for UDA.


title: Optimal periodic dividend strategies for spectrally positive L\'evy risk processes with fixed transaction costs

abstract: We consider the general class of spectrally positive L\'evy risk processes, which are appropriate for businesses with continuous expenses and lump sum gains whose timing and sizes are stochastic. Motivated by the fact that dividends cannot be paid at any time in real life, we study $\textit{periodic}$ dividend strategies whereby dividend decisions are made according to a separate arrival process. In this paper, we investigate the impact of fixed transaction costs on the optimal periodic dividend strategy, and show that a periodic $(b_u,b_l)$ strategy is optimal when decision times arrive according to an independent Poisson process. Such a strategy leads to lump sum dividends that bring the surplus back to $b_l$ as long as it is no less than $b_u$ at a dividend decision time. The expected present value of dividends (net of transaction costs) is provided explicitly with the help of scale functions. Results are illustrated.


title: Flipping principle for neutrino mass and dark matter

abstract: Flipping a symmetry often leads to a more fundamental symmetry and new physics insight. Applying this principle to the standard model electroweak symmetry, we obtain a novel gauge symmetry, which defines dark charge besides electric charge, neutrino mass mechanism, and resultant dark parity as residual flipped symmetry. The dark parity divides the model particles into two classes: odd and even. The dark matter candidate transforms as a fermion or a scalar singlet, having a mass below the electron mass, being stabilized by the dark parity. Scenarios for consistent neutrino mass generation and dark matter relic are proposed. The nature and further implication of the flipping approach are determined.


title: Permutation test for the multivariate coefficient of variation in factorial designs

abstract: New inference methods for the multivariate coefficient of variation and its reciprocal, the standardized mean, are presented. While there are various testing procedures for both parameters in the univariate case, it is less known how to do inference in the multivariate setting appropriately. There are some existing procedures but they rely on restrictive assumptions on the underlying distributions. We tackle this problem by applying Wald-type statistics in the context of general, potentially heteroscedastic factorial designs. In addition to the $k$-sample case, higher-way layouts can be incorporated into this framework allowing the discussion of main and interaction effects. The resulting procedures are shown to be asymptotically valid under the null hypothesis and consistent under general alternatives. To improve the finite sample performance, we suggest permutation versions of the tests and shown that the tests' asymptotic properties can be transferred to them. An exhaustive simulation study compares the new tests, their permutation counterparts and existing methods. To further analyse the differences between the tests, we conduct two illustrative real data examples.


title: A Blackbox Yield Estimation Workflow with Gaussian Process Regression Applied to the Design of Electromagnetic Devices

abstract: In this paper an efficient and reliable method for stochastic yield estimation is presented. Since one main challenge of uncertainty quantification is the computational feasibility, we propose a hybrid approach where most of the Monte Carlo sample points are evaluated with a surrogate model, and only a few sample points are reevaluated with the original high fidelity model. Gaussian Process Regression is a non-intrusive method which is used to build the surrogate model. Without many prerequisites, this gives us not only an approximation of the function value, but also an error indicator that we can use to decide whether a sample point should be reevaluated or not. For two benchmark problems, a dielectrical waveguide and a lowpass filter, the proposed methods outperform classic approaches.


title: OneShot Global Localization: Instant LiDAR-Visual Pose Estimation

abstract: Globally localizing in a given map is a crucial ability for robots to perform a wide range of autonomous navigation tasks. This paper presents OneShot - a global localization algorithm that uses only a single 3D LiDAR scan at a time, while outperforming approaches based on integrating a sequence of point clouds. Our approach, which does not require the robot to move, relies on learning-based descriptors of point cloud segments and computes the full 6 degree-of-freedom pose in a map. The segments are extracted from the current LiDAR scan and are matched against a database using the computed descriptors. Candidate matches are then verified with a geometric consistency test. We additionally present a strategy to further improve the performance of the segment descriptors by augmenting them with visual information provided by a camera. For this purpose, a custom-tailored neural network architecture is proposed. We demonstrate that our LiDAR-only approach outperforms a state-of-the-art baseline on a sequence of the KITTI dataset and also evaluate its performance on the challenging NCLT dataset. Finally, we show that fusing in visual information boosts segment retrieval rates by up to 26% compared to LiDAR-only description.


title: Circum-nuclear molecular disks: role in AGN fueling and feedback

abstract: Gas inflows fueling AGN are now traceable at high-resolution with ALMA and NOEMA. Dynamical mechanisms are essential to exchange angular momentum and drive the gas to the super-massive black hole. While at 100pc scale, the gas is sometimes stalled in nuclear rings, recent observations reaching 10pc scale (50mas), inside the sphere of influence of the black hole, may bring smoking gun evidence of fueling, within a randomly oriented nuclear molecular disk. AGN feedback is also observed, in the form of narrow and collimated molecular outflows, which point towards the radio mode, or entrainment by a radio jet. Precession has been observed in a molecular outflow, indicating the precession of the radio jet. One of the best candidates for precession is the Bardeen-Petterson effect at small scale, which exerts a torque on the accreting material, and produces an extended disk warp. The misalignment between the inner and large-scale disk, enhances the coupling of the AGN feedback, since the jet sweeps a large part of the molecular disk.


title: The Modular Isomorphism Problem for two generated groups of class two

abstract: We prove that if $G$ is finite 2-generated $p$-group of nilpotence class at most 2 then the group algebra of $G$ with coefficients in the field with $p$ elements determines $G$ up to isomorphisms.


title: Accelerated infection testing at scale: a proposal for inference with single test on multiple patients

abstract: In pandemics or epidemics, public health authorities need to rapidly test a large number of individuals, both to determine the line of treatment as well as to know the spread of infection to plan containment, mitigation and future responses. However, the lack of adequate testing kits could be a bottleneck, especially in the case of unanticipated new diseases, such as COVID-19, where the testing technology, manufacturing capability, distribution, human skills and laboratories might be unavailable or in short supply. In addition, the cost of the standard PCR test is approximately USD 48, which is prohibitive for poorer patients and most governments. We address this bottleneck by proposing a test methodology that pools the sample from two (or more) patients in a single test. The key insight is that a single negative result from a pooled sample likely implies negative infection of all the individual patients. and It thereby rules out further tests for the patients. This protocol, therefore, requires significantly fewer tests. This may, however, result in somewhat increased false negatives. Our simulations show that combining samples from two patients with 7% underlying likelihood of infection implies that 36% fewer test kits are required, with 14% additional units of time for testing.


title: Model Independent Analysis of Supernova Data, Dark Energy, Trans-Planckian Censorship and the Swampland

abstract: In this Letter, we consider the model-independent reconstruction of the expansion and growth functions from the Pantheon supernova data. The method relies on developing the expansion function in terms of shifted Chebyshev polynomials and determining the coefficients of the polynomials by a maximum-likelihood fit to the data. Having obtained the expansion function in a model-independent way, we can then also determine the growth function without assuming a particular model. We then compare the results with the predictions of two classes of Dark Energy models, firstly a class of quintessence scalar field models consistent with the trans-Planckian censorship and swampland conjectures, and secondly a class of generalized Proca vector field models. We determine constraints on the parameters which appear in these models.


title: Nearest Neighbor Control For Practical Stabilization of Passive Nonlinear Systems

abstract: This paper studies static output feedback stabilization of continuous-time (incrementally) passive nonlinear systems where the control actions can only be chosen from a discrete (and possibly finite) set of points. For this purpose, we are working under the assumption that the system under consideration is large-time norm observable and the convex hull of the realizable control actions contains the target constant input (which corresponds to the equilibrium point) in its interior. We propose a nearest-neighbor based static feedback mapping from the output space to the finite set of control actions, that is able to practically stabilize the closed-loop systems. Consequently, we show that for such systems with $m$-dimensional input space, it is sufficient to have $m+1$ discrete input points (other than zero for general passive systems or the target constant input for incrementally passive systems). Furthermore, we present a constructive algorithm to design such $m+1$ nonzero input points that satisfy the conditions for practical stability using our proposed nearest-neighbor control.


title: Fractional integrals, derivatives and integral equations with weighted Takagi-Landsberg functions

abstract: In this paper we find fractional Riemann-Liouville derivatives for the Takagi-Landsberg functions. Moreover, we introduce their generalizations called weighted Takagi-Landsberg functions which have arbitrary bounded coefficients in the expansion under Schauder basis. The class of the weighted Takagi- Landsberg functions of order $H>0$ on $[0,1]$ coincides with the $H$-H\"{o}lder continuous functions on $[0,1]$. Based on computed fractional integrals and derivatives of the Haar and Schauder functions, we get a new series representation of the fractional derivatives of a H\"{o}lder continuous function. This result allows to get the new formula of a Riemann-Stieltjes integral. The application of such series representation is the new method of numerical solution of the Volterra and linear integral equations driven by a H\"{o}lder continuous function.


title: On instability of Type (II) Lawson-Osserman Cones

abstract: We obtain the instability of Type (II) Lawson-Osserman cones in Euclidean spaces, and thus provide a family of (uncountably many) unstable solutions with singularity to the Dirichlet problem for minimal graphs of high codimension versus smooth unstable ones by Lawson-Osserman through a min-max technique. To our knowledge, these are the first examples of non-smooth unstable minimal graphs and unlikely detectible through the mean curvature flow or min-max theory.


title: Non-Unique Admissible Weak Solutions of the Compressible Euler Equations with Compact Support in Space

abstract: This paper is concerned with the existence of compactly supported admissible solutions to the Cauchy problem for the isentropic compressible Euler equations. In more than one space dimension, convex integration techniques developed by De Lellis-Sz\'ekelyhidi and Chiodaroli enable us to prove failure of uniqueness on a finite time-interval for admissible solutions starting from any continuously differentiable initial density and suitably constructed bounded initial momenta. In particular, this extends Chiodaroli's work from periodic boundary conditions to bounded domains or the whole space.


title: The dependent scattering effect on radiative properties of micro/nanoscale discrete disordered media

abstract: The dependent scattering effect (DSE), which arises from the wave nature of electromagnetic radiation, is a critical mechanism affecting the radiative properties of micro/nanoscale discrete disordered media (DDM). In the last a few decades, the approximate nature of radiative transfer equation (RTE) leads to a plethora of investigations of the DSE in various DDM, ranging from fluidized beds, photonic glass, colloidal suspensions and snow packs, etc. In this article, we give a general overview on the theoretical, numerical and experimental methods and progresses in the study of the DSE. We first present a summary of the multiple scattering theory of electromagnetic waves, including the analytic wave theory and Foldy-Lax equations, as well as its relationship with the RTE. Then we describe in detail the physical mechanisms that are critical to DSE and relevant theoretical considerations as well as numerical modeling methods. Experimental approaches to probe the radiative properties and relevant progresses in the experimental investigations of the DSE are also discussed. In addition, we give a brief review on the studies on the DSE and other relevant interference phenomena in mesoscopic physics and atomic physics, especially the coherent backscattering cone, Anderson localization, as well as the statistics and correlations in disordered media. We expect this review can provide profound and interdisciplinary insights to the understanding and manipulation of the DSE in disordered media for thermal engineering applications.


title: The AARTFAAC 60 MHz transients survey

abstract: We report the experimental setup and overall results of the AARTFAAC wide-field radio survey, which consists of observing the sky within 50$^\circ$ of Zenith, with a bandwidth of 3.2$\,$MHz, at a cadence of 1$\,$s, for 545$\,$h. This yielded nearly 4 million snapshots, two per second, of on average 4800 square degrees and a sensitivity of around 60$\,$Jy. We find two populations of transient events, one originating from PSR$\,$B0950$+$08 and one from strong ionospheric lensing events, as well as a single strong candidate for an extragalactic transient, with a peak flux density of $80\pm30$$\,$Jy and a dispersion measure of $73\pm3\,\mathrm{~pc~cm^{-3}}$, We also set a strong upper limit of 1.1 all-sky per day to the rate of any other populations of fast, bright transients. Lastly, we constrain some previously detected types of transient sources by comparing our detections and limits with other low-frequency radio transient surveys.


title: The complete splittings of finite abelian groups

abstract: Let $G$ be a finite group. We will say that $M$ and $S$ form a \textsl{complete splitting} (\textsl{splitting}) of $G$ if every element (nonzero element) $g$ of $G$ has a unique representation of the form $g=ms$ with $m\in M$ and $s\in S$, and $0$ has a such representation (while $0$ has no such representation). In this paper, we determine the structures of complete splittings of finite abelian groups. In particular, for complete splittings of cyclic groups our description is more specific. Furthermore, we show some results for existence and nonexistence of complete splittings of cyclic groups and find a relationship between complete splittings and splittings for finite groups.


title: Long Alternating Paths Exist

abstract: Let $P$ be a set of $2n$ points in convex position, such that $n$ points are colored red and $n$ points are colored blue. A non-crossing alternating path on $P$ of length $\ell$ is a sequence $p_1, \dots, p_\ell$ of $\ell$ points from $P$ so that (i) all points are pairwise distinct; (ii) any two consecutive points $p_i$, $p_{i+1}$ have different colors; and (iii) any two segments $p_i p_{i+1}$ and $p_j p_{j+1}$ have disjoint relative interiors, for $i \neq j$. We show that there is an absolute constant $\varepsilon > 0$, independent of $n$ and of the coloring, such that $P$ always admits a non-crossing alternating path of length at least $(1 + \varepsilon)n$. The result is obtained through a slightly stronger statement: there always exists a non-crossing bichromatic separated matching on at least $(1 + \varepsilon)n$ points of $P$. This is a properly colored matching whose segments are pairwise disjoint and intersected by common line. For both versions, this is the first improvement of the easily obtained lower bound of $n$ by an additive term linear in $n$. The best known published upper bounds are asymptotically of order $4n/3+o(n)$.


title: Far-field and near-field directionality in acoustic scattering

abstract: Far-field directional scattering and near-field directional coupling from simple sources have recently received great attention in photonics: beyond circularly-polarized dipoles, whose directional coupling to evanescent waves was recently applied to acoustics, the near-field directionality of modes in optics includes phased combinations of electric and magnetic dipoles, such as the Janus dipole and the Huygens dipole, both of which have been experimentally implemented using high refractive index nanoparticles. In this work we extend this to acoustics: we propose the use of high acoustic index scatterers exhibiting phased combinations of acoustic monopoles and dipoles with far-field and near-field directionality. All solutions stem from the elegant acoustic angular spectrum of the acoustic source, in close analogy to electromagnetism. A Huygens acoustic source with zero backward scattering is proposed and numerically demonstrated, as well as a Janus source achieving face-selective and position-dependent evanescent coupling to nearby acoustic waveguides.


title: Single-Shot Secure Quantum Network Coding for General Multiple Unicast Network with Free One-Way Public Communication

abstract: It is natural in a quantum network system that multiple users intend to send their quantum message to their respective receivers, which is called a multiple unicast quantum network. We propose a canonical method to derive a secure quantum network code over a multiple unicast quantum network from a secure classical network code. Our code correctly transmits quantum states when there is no attack. It also guarantees the secrecy of the transmitted quantum state even with the existence of an attack when the attack satisfies a certain natural condition. In our security proof, the eavesdropper is allowed to modify wiretapped information dependently on the previously wiretapped messages. Our protocol guarantees the secrecy by utilizing one-way classical information transmission (public communication) in the same direction as the quantum network although the verification of quantum information transmission requires two-way classical communication. Our secure network code can be applied to several networks including the butterfly network.


title: In situ atomic force microscopy depth-corrected 3-dimensional focused ion beam based time-of-flight secondary ion mass spectroscopy: spatial resolution, surface roughness, oxidation

abstract: Atomic force microscopy (AFM) is a well-known tool for studying surface roughness and to collect depth information about features on the top atomic layer of samples. By combining secondary ion mass spectroscopy (SIMS) with focused ion beam (FIB) milling in a scanning electron microscope (SEM), chemical information of sputtered structures can be visualized and located with high lateral and depth resolution. In this paper, a high vacuum (HV) compatible AFM has been installed in a TESCAN FIB-SEM instrument that was equipped with a time-of-flight secondary ion mass spectroscopy (ToF-SIMS) detector. To investigate the crater's depth caused by the ToF-SIMS sputtering, subsequent AFM measurements were performed on a multilayer vertical cavity surface emitting laser (VCSEL) sample. Surface roughness and milling depth were used to aid accurate 3D reconstruction of the sputtered volume's chemical composition. Achievable resolution, surface roughness during sputtering and surface oxidation issues are analysed. Thus, the integration of complementary detectors opens up the ability to determine the sample properties as well as to understand the influence of the analysis method on the sample surface during the analysis.


title: Driven Dissipative Majorana Dark Spaces

abstract: Pure quantum states can be stabilized in open quantum systems subject to external driving forces and dissipation by environmental modes. We show that driven dissipative (DD) Majorana devices offer key advantages for stabilizing degenerate state manifolds (`dark spaces') and for manipulating states in dark spaces, both with respect to native (non-DD) Majorana devices and to DD platforms with topologically trivial building blocks. For two tunnel-coupled Majorana boxes, using otherwise only standard hardware elements (e.g., a noisy electromagnetic environment and quantum dots with driven tunnel links), we propose a dark qubit encoding. We anticipate exceptionally high fault tolerance levels due to a conspiracy of DD-based autonomous error correction and topology.


title: Unsupervised Model Personalization while Preserving Privacy and Scalability: An Open Problem

abstract: This work investigates the task of unsupervised model personalization, adapted to continually evolving, unlabeled local user images. We consider the practical scenario where a high capacity server interacts with a myriad of resource-limited edge devices, imposing strong requirements on scalability and local data privacy. We aim to address this challenge within the continual learning paradigm and provide a novel Dual User-Adaptation framework (DUA) to explore the problem. This framework flexibly disentangles user-adaptation into model personalization on the server and local data regularization on the user device, with desirable properties regarding scalability and privacy constraints. First, on the server, we introduce incremental learning of task-specific expert models, subsequently aggregated using a concealed unsupervised user prior. Aggregation avoids retraining, whereas the user prior conceals sensitive raw user data, and grants unsupervised adaptation. Second, local user-adaptation incorporates a domain adaptation point of view, adapting regularizing batch normalization parameters to the user data. We explore various empirical user configurations with different priors in categories and a tenfold of transforms for MIT Indoor Scene recognition, and classify numbers in a combined MNIST and SVHN setup. Extensive experiments yield promising results for data-driven local adaptation and elicit user priors for server adaptation to depend on the model rather than user data. Hence, although user-adaptation remains a challenging open problem, the DUA framework formalizes a principled foundation for personalizing both on server and user device, while maintaining privacy and scalability.


title: Strata of $p$-Origamis

abstract: Given a two-generated group of prime-power order, we investigate the singularities of origamis whose deck group acts transitively and is isomorphic to the given group. Geometric and group-theoretic ideas are used to classify the possible strata, depending on the prime-power order. We then show that for many interesting known families of two-generated groups of prime-power order, including all regular, or powerful ones, or those of maximal class, each group admits only one possible stratum. However, we also construct examples of two-generated groups of prime-power order which do not determine a unique stratum.


title: Real-Time Fruit Recognition and Grasping Estimation for Autonomous Apple Harvesting

abstract: In this research, a fully neural network based visual perception framework for autonomous apple harvesting is proposed. The proposed framework includes a multi-function neural network for fruit recognition and a Pointnet grasp estimation to determine the proper grasp pose to guide the robotic execution. Fruit recognition takes raw input of RGB images from the RGB-D camera to perform fruit detection and instance segmentation, and Pointnet grasp estimation take point cloud of each fruit as input and output the prediction of grasp pose for each of fruits. The proposed framework is validated by using RGB-D images collected from laboratory and orchard environments, a robotic grasping test in a controlled environment is also included in the experiments. Experimental shows that the proposed framework can accurately localise and estimate the grasp pose for robotic grasping.


title: Variable fusion for Bayesian linear regression via spike-and-slab priors

abstract: In linear regression models, fusion of coefficients is used to identify predictors having similar relationships with a response. This is called variable fusion. This paper presents a novel variable fusion method in terms of Bayesian linear regression models. We focus on hierarchical Bayesian models based on a spike-and-slab prior approach. A spike-and-slab prior is tailored to perform variable fusion. To obtain estimates of the parameters, we develop a Gibbs sampler for the parameters. Simulation studies and a real data analysis show that our proposed method achieves better performance than previous methods.


title: Weighted Random Search for CNN Hyperparameter Optimization

abstract: Nearly all model algorithms used in machine learning use two different sets of parameters: the training parameters and the meta-parameters (hyperparameters). While the training parameters are learned during the training phase, the values of the hyperparameters have to be specified before learning starts. For a given dataset, we would like to find the optimal combination of hyperparameter values, in a reasonable amount of time. This is a challenging task because of its computational complexity. In previous work [11], we introduced the Weighted Random Search (WRS) method, a combination of Random Search (RS) and probabilistic greedy heuristic. In the current paper, we compare the WRS method with several state-of-the art hyperparameter optimization methods with respect to Convolutional Neural Network (CNN) hyperparameter optimization. The criterion is the classification accuracy achieved within the same number of tested combinations of hyperparameter values. According to our experiments, the WRS algorithm outperforms the other methods.


title: Outer power transformations of hierarchical Archimedean copulas: Construction, sampling and estimation

abstract: A large number of commonly used parametric Archimedean copula (AC) families are restricted to a single parameter, connected to a concordance measure such as Kendall's tau. This often leads to poor statistical fits, particularly in the joint tails, and can sometimes even limit the ability to model concordance or tail dependence mathematically. This work suggests outer power (OP) transformations of Archimedean generators to overcome these limitations. The copulas generated by OP-transformed generators can, for example, allow one to capture both a given concordance measure and a tail dependence coefficient simultaneously. For exchangeable OP-transformed ACs, a formula for computing tail dependence coefficients is obtained, as well as two feasible OP AC estimators are proposed and their properties studied by simulation. For hierarchical extensions of OP-transformed ACs, a new construction principle, efficient sampling and parameter estimation are addressed. By simulation, convergence rate and standard errors of the proposed estimator are studied. Excellent tail fitting capabilities of OP-transformed hierarchical AC models are demonstrated in a risk management application. The results show that the OP transformation is able to improve the statistical fit of exchangeable ACs, particularly of those that cannot capture upper tail dependence or strong concordance, as well as the statistical fit of hierarchical ACs, especially in terms of tail dependence and higher dimensions. Given how comparably simple it is to include OP transformations into existing exchangeable and hierarchical AC models, this transformation provides an attractive trade-off between computational effort and statistical improvement.


title: MeV-scale reheating temperature and cosmological production of light sterile neutrinos

abstract: We investigate how sterile neutrinos with a range of masses influence cosmology in MeV-scale reheating temperature scenarios. By computing the production of sterile neutrinos through the combination of mixing and scattering in the early Universe, we find that light sterile neutrinos, with masses and mixings as inferred from short-baseline neutrino oscillation experiments, are consistent with big-bang nucleosynthesis (BBN) and cosmic microwave background (CMB) radiation for the reheating temperature of ${\cal O}(1)$ MeV if the parent particle responsible for reheating decays into electromagnetic components (radiative decay). In contrast, if the parent particle mainly decays into hadrons (hadronic decay), the bound from BBN becomes more stringent. In this case, the existence of the light sterile neutrinos can be cosmologically excluded, depending on the mass and the hadronic branching ratio of the parent particle.


title: Timing of young radio pulsars II. Braking indices and their interpretation

abstract: In Paper I of this series, we detected a significant value of the braking index ($n$) for 19 young, high-$\dot{E}$ radio pulsars using $\sim$ 10 years of timing observations from the 64-m Parkes radio telescope. Here we investigate this result in more detail using a Bayesian pulsar timing framework to model timing noise and to perform selection to distinguish between models containing exponential glitch recovery and braking index signatures. We show that consistent values of $n$ are maintained with the addition of substantial archival data, even in the presence of glitches. We provide strong arguments that our measurements are unlikely due to exponential recovery signals from unseen glitches even though glitches play a key role in the evolution of a pulsar's spin frequency. We conclude that, at least over decadal time scales, the value of $n$ can be significantly larger than the canonical 3 and discuss the implications for the evolution of pulsars.


title: Half-empty or half-full? A Hybrid Approach to Predict Recycling Behavior of Consumers to Increase Reverse Vending Machine Uptime

abstract: Reverse Vending Machines (RVMs) are a proven instrument for facilitating closed-loop plastic packaging recycling. A good customer experience at the RVM is crucial for a further proliferation of this technology. Bin full events are the major reason for Reverse Vending Machine (RVM) downtime at the world leader in the RVM market. The paper at hand develops and evaluates an approach based on machine learning and statistical approximation to foresee bin full events and, thus increase uptime of RVMs. Our approach relies on forecasting the hourly time series of returned beverage containers at a given RVM. We contribute by developing and evaluating an approach for hourly forecasts in a retail setting - this combination of application domain and forecast granularity is novel. A trace-driven simulation confirms that the forecasting-based approach leads to less downtime and costs than naive emptying strategies.


title: On the construction of discrete fermions in the FK-Ising model

abstract: We consider many-point correlation functions of discrete fermions in the two-dimensional FK-Ising model and show that, despite not being commuting observable, they can be realized with a geometric-probabilistic approach in terms of loops of the model and their winding.


title: Giving Operational Meaning to the Superposition of Causal Orders

abstract: In this work, we give rigorous operational meaning to superposition of causal orders. This fits within a recent effort to understand how the standard operational perspective on quantum theory could be extended to include indefinite causality. The mainstream view, that of "process matrices", takes a top-down approach to the problem, considering all causal correlations that are compatible with local quantum experiments. Conversely, we pursue a bottom-up approach, investigating how the concept of indefiniteness emerges from specific characteristics of generic operational theories. Specifically, we pin down the operational phenomenology of the notion of non-classical (e.g. "coherent") control, which we then use to formalise a theory-independent notion of control (e.g. "superposition") of causal orders. To validate our framework, we show how salient examples from the literature can be captured in our framework.


title: Monadic cointegrals and applications to quasi-Hopf algebras

abstract: For $\mathcal{C}$ a finite tensor category we consider four versions of the central monad, $A_1, \dots, A_4$ on $\mathcal{C}$. Two of them are Hopf monads, and for $\mathcal{C}$ pivotal, so are the remaining two. In that case all $A_i$ are isomorphic as Hopf monads. We define a monadic cointegral for $A_i$ to be an $A_i$-module morphism $\mathbf{1} \to A_i(D)$, where $D$ is the distinguished invertible object of $\mathcal{C}$. We relate monadic cointegrals to the categorical cointegral introduced by Shimizu (2019), and, in case $\mathcal{C}$ is braided, to an integral for the braided Hopf algebra $\mathcal{L} = \int^X X^\vee \otimes X$ in $\mathcal{C}$ studied by Lyubashenko (1995). Our main motivation stems from the application to finite dimensional quasi-Hopf algebras $H$. For the category of finite-dimensional $H$-modules, we relate the four monadic cointegrals (two of which require $H$ to be pivotal) to four existing notions of cointegrals for quasi-Hopf algebras: the usual left/right cointegrals of Hausser and Nill (1994), as well as so-called $\gamma$-symmetrised cointegrals in the pivotal case, for $\gamma$ the modulus of $H$. For (not necessarily semisimple) modular tensor categories $\mathcal{C}$, Lyubashenko gave actions of surface mapping class groups on certain Hom-spaces of $\mathcal{C}$, in particular of $SL(2,\mathbb{Z})$ on $\mathcal{C}(\mathcal{L},\mathbf{1})$. In the case of a factorisable ribbon quasi-Hopf algebra, we give a simple expression for the action of $S$ and $T$ which uses the monadic cointegral.


title: The bifurcation set of a rational function via Newton polytopes

abstract: The bifurcation sets of polynomial functions have been studied by many mathematicians from various points of view. In particular, N\'emethi and Zaharia described them in terms of Newton polytopes. In this paper, we will show analogous results for rational functions.


title: Entangling superconducting qubits through an analogue wormhole

abstract: We propose an experimental setup to test the role of curved spacetime on entanglement extraction from the vacuum of a quantum field to a pair of artificial atoms. In particular, we consider two superconducting qubits coupled to a dc-SQUID array embedded into an open microwave transmission line, where a suitable external bias is able to mimic a spacetime containing a traversable wormhole. We find that the amount of vacuum entanglement that can be extracted by the superconducting qubits depends on the parameters of the wormhole. At some distances qubits that would remain separable in flat spacetime become entangled due to the presence of the effective wormhole background.


title: Singular limit for reactive diffusive transport through an array of thin channels in case of critical diffusivity

abstract: We consider a nonlinear reaction--diffusion equation in a domain consisting of two bulk regions connected via small channels periodically distributed within a thin layer. The height and the thickness of the channels are of order $\epsilon$, and the equation inside the layer depends on the parameter $\epsilon$. We consider the critical scaling of the diffusion coefficients in the channels and nonlinear Neumann-boundary condition on the channels' lateral boundaries. We derive effective models in the limit $\epsilon \to 0 $, when the channel-domain is replaced by an interface $\Sigma$ between the two bulk-domains. Due to the critical size of the diffusion coefficients, we obtain jumps for the solution and its normal fluxes across $\Sigma$, involving the solutions of local cell problems on the reference channel in every point of the interface $\Sigma$.


title: Unmanned Aerial Vehicle for Internet of Everything: Opportunities and Challenges

abstract: The recent advances in information and communication technology (ICT) have further extended Internet of Things (IoT) from the sole "things" aspect to the omnipotent role of "intelligent connection of things". Meanwhile, the concept of internet of everything (IoE) is presented as such an omnipotent extension of IoT. However, the IoE realization meets critical challenges including the restricted network coverage and the limited resource of existing network technologies. Recently, Unmanned Aerial Vehicles (UAVs) have attracted significant attentions attributed to their high mobility, low cost, and flexible deployment. Thus, UAVs may potentially overcome the challenges of IoE. This article presents a comprehensive survey on opportunities and challenges of UAV-enabled IoE. We first present three critical expectations of IoE: 1) scalability requiring a scalable network architecture with ubiquitous coverage, 2) intelligence requiring a global computing plane enabling intelligent things, 3) diversity requiring provisions of diverse applications. Thereafter, we review the enabling technologies to achieve these expectations and discuss four intrinsic constraints of IoE (i.e., coverage constraint, battery constraint, computing constraint, and security issues). We then present an overview of UAVs. We next discuss the opportunities brought by UAV to IoE. Additionally, we introduce a UAV-enabled IoE (Ue-IoE) solution by exploiting UAVs's mobility, in which we show that Ue-IoE can greatly enhance the scalability, intelligence and diversity of IoE. Finally, we outline the future directions in Ue-IoE.