title: Learning without gradient descent encoded by the dynamics of a neurobiological model

abstract: The success of state-of-the-art machine learning is essentially all based on different variations of gradient descent algorithms that minimize some version of a cost or loss function. A fundamental limitation, however, is the need to train these systems in either supervised or unsupervised ways by exposing them to typically large numbers of training examples. Here, we introduce a fundamentally novel conceptual approach to machine learning that takes advantage of a neurobiologically derived model of dynamic signaling, constrained by the geometric structure of a network. We show that MNIST images can be uniquely encoded and classified by the dynamics of geometric networks with nearly state-of-the-art accuracy in an unsupervised way, and without the need for any training.


title: A New Autoregressive Neural Network Model with Command Compensation for Imitation Learning Based on Bilateral Control

abstract: In the near future, robots are expected to work with humans or operate alone and may replace human workers in various fields such as homes and factories. In a previous study, we proposed bilateral control-based imitation learning that enables robots to utilize force information and operate almost simultaneously with an expert's demonstration. In addition, we recently proposed an autoregressive neural network model (SM2SM) for bilateral control-based imitation learning to obtain long-term inferences. In the SM2SM model, both master and slave states must be input, but the master states are obtained from the previous outputs of the SM2SM model, resulting in destabilized estimation under large environmental variations. Hence, a new autoregressive neural network model (S2SM) is proposed in this study. This model requires only the slave state as input and its outputs are the next slave and master states, thereby improving the task success rates. In addition, a new feedback controller that utilizes the error between the responses and estimates of the slave is proposed, which shows better reproducibility.


title: A non-local fluid closure for modeling cyclotron resonance in collisionless magnetized plasmas

abstract: A fluid description for collisionless magnetized plasmas that takes into account the effect of cyclotron resonance has been developed. Following the same approach as the Landau fluid closure, the heat flux components associated with transverse electromagnetic fluctuations are approximated by a linear combination of lower-order moments in wavenumber space. The closure successfully reproduces the linear cyclotron resonance for electromagnetic waves propagating parallel to the ambient magnetic field. In the presence of finite temperature anisotropy, the model gives approximately correct prediction for an instability destabilized via the cyclotron resonance. A nonlinear simulation demonstrates the wave growth consistent with the linear theory followed by the reduction of initial anisotropy, and finally, the saturation of the instability. The isotropization may be understood in terms of quasi-linear theory, which is developed within the framework of the fluid model but very similar to its fully kinetic counterpart. The result indicates that both linear and nonlinear collisionless plasma responses are approximately incorporated in the fluid model.


title: Spectral optimisation of Dirac rectangles

abstract: We are concerned with the dependence of the lowest positive eigenvalue of the Dirac operator on the geometry of rectangles, subject to infinite-mass boundary conditions. We conjecture that the square is a global minimiser both under the area or perimeter constraints. Contrary to well-known non-relativistic analogues, we show that the present spectral problem does not admit explicit solutions. We prove partial optimisation results based on a variational reformulation and newly established lower and upper bounds to the Dirac eigenvalue. We also propose an alternative approach based on symmetries of rectangles and a non-convex minimisation problem; this implies a sufficient condition formulated in terms of a symmetry of the minimiser which guarantees the conjectured results.


title: Kinematic Motion Retargeting via Neural Latent Optimization for Learning Sign Language

abstract: Motion retargeting from a human demonstration to a robot is an effective way to reduce the professional requirements and workload of robot programming, but faces the challenges resulting from the differences between humans and robots. Traditional optimization-based methods are time-consuming and rely heavily on good initialization, while recent studies using feedforward neural networks suffer from poor generalization to unseen motions. Moreover, they neglect the topological information in human skeletons and robot structures. In this paper, we propose a novel neural latent optimization approach to address these problems. Latent optimization utilizes a decoder to establish a mapping between the latent space and the robot motion space. Afterward, the retargeting results that satisfy robot constraints can be obtained by searching for the optimal latent vector. Alongside with latent optimization, neural initialization exploits an encoder to provide a better initialization for faster and better convergence of optimization. Both the human skeleton and the robot structure are modeled as graphs to make better use of topological information. We perform experiments on retargeting Chinese sign language, which involves two arms and two hands, with additional requirements on the relative relationships among joints. Experiments include retargeting various human demonstrations to YuMi, NAO, and Pepper in the simulation environment and to YuMi in the real-world environment. Both efficiency and accuracy of the proposed method are verified.


title: Determination of some almost split sequences in morphism categories

abstract: Almost split sequences lie in the heart of Auslander-Reiten theory. This paper deals with the structure of almost split sequences with certain ending terms in the morphism category of an Artin algebra $\Lambda$. Firstly we try to interpret the Auslander-Reiten translates of particular objects in the morphism category in terms of the Auslander-Reiten translations within the category of $\Lambda$-modules, and then use them to calculate almost split sequences. In classical representation theory of algebras, it is quite important to recognize the midterms of almost split sequences. As such, another part of the paper is devoted to discuss the midterm of certain almost split sequences in the morphism category of $\Lambda$. As an application, we restrict in the last part of the paper to self-injective algebras and present a structural theorem that illuminates a link between representation-finite morphism categories and Dynkin diagrams.


title: COALAS: I. ATCA CO(1-0) survey and luminosity function in the Spiderweb protocluster at z=2.16

abstract: We report a detailed CO(1-0) survey of a galaxy protocluster field at $z=2.16$, based on 475 hours of observations with the Australia Telescope Compact Array. We constructed a large mosaic of 13 individual pointings, covering an area of 21 arcmin$^2$ and $\pm6500$ km/s range in velocity. We obtain a robust sample of 46 CO(1-0) detections spanning $z=2.09-2.22$, constituting the largest sample of molecular gas measurements in protoclusters to date. The CO emitters show an overdensity at $z=2.12-2.21$, suggesting a galaxy super-protocluster or a protocluster connected to large-scale filaments with ~120 cMpc size. We find that 90% CO emitters have distances $>0'.5-4'$ to the center galaxy, indicating that small area surveys would miss the majority of gas reservoirs in similar structures. Half of the CO emitters have velocities larger than escape velocities, which appears gravitationally unbound to the cluster core. These unbound sources are barely found within the $R_{200}$ radius around the center, which is consistent with a picture in which the cluster core is collapsed while outer regions are still in formation. Compared to other protoclusters, this structure contains relatively more CO emitters with relatively narrow line width and high luminosity, indicating galaxy mergers. We use these CO emitters to place the first constraint on the CO luminosity function and molecular gas density in an overdense environment. The amplitude of the CO luminosity function is 1.6$\pm$0.5 orders of magnitudes higher than observed for field galaxy samples at $z\sim2$, and one order of magnitude higher than predictions for galaxy protoclusters from semi-analytical SHARK models. We derive a high molecular gas density of $0.6-1.3\times10^{9}$ $M_\odot$ cMpc$^{-3}$ for this structure, consistent with predictions for cold gas density of massive structures from hydro-dynamical DIANOGA simulations.


title: Large deviations at various levels for run-and-tumble processes with space-dependent velocities and space-dependent switching rates

abstract: One-dimensional run-and-tumble processes may converge towards some localized non-equilibrium steady state when the two velocities and/or the two switching rates are space-dependent. A long dynamical trajectory can be then analyzed via the large deviations at Level 2.5 for the joint probability of the empirical densities, of the empirical spatial currents and of the empirical switching flows. The Level 2 for the empirical densities alone can be then derived via the optimization of the Level 2.5 over the empirical flows. More generally, the large deviations of any time-additive observable can be also obtained via contraction from the Level 2.5, or equivalently via the deformed generator method and the corresponding Doob conditioned process. Finally, the large deviations for the empirical intervals between consecutive switching events can be obtained via the introduction of the alternate Markov chain that governs the series of all the switching events of a long trajectory.


title: Automatic Intent-Slot Induction for Dialogue Systems

abstract: Automatically and accurately identifying user intents and filling the associated slots from their spoken language are critical to the success of dialogue systems. Traditional methods require manually defining the DOMAIN-INTENT-SLOT schema and asking many domain experts to annotate the corresponding utterances, upon which neural models are trained. This procedure brings the challenges of information sharing hindering, out-of-schema, or data sparsity in open-domain dialogue systems. To tackle these challenges, we explore a new task of {\em automatic intent-slot induction} and propose a novel domain-independent tool. That is, we design a coarse-to-fine three-step procedure including Role-labeling, Concept-mining, And Pattern-mining (RCAP): (1) role-labeling: extracting keyphrases from users' utterances and classifying them into a quadruple of coarsely-defined intent-roles via sequence labeling; (2) concept-mining: clustering the extracted intent-role mentions and naming them into abstract fine-grained concepts; (3) pattern-mining: applying the Apriori algorithm to mine intent-role patterns and automatically inferring the intent-slot using these coarse-grained intent-role labels and fine-grained concepts. Empirical evaluations on both real-world in-domain and out-of-domain datasets show that: (1) our RCAP can generate satisfactory SLU schema and outperforms the state-of-the-art supervised learning method; (2) our RCAP can be directly applied to out-of-domain datasets and gain at least 76\% improvement of F1-score on intent detection and 41\% improvement of F1-score on slot filling; (3) our RCAP exhibits its power in generic intent-slot extractions with less manual effort, which opens pathways for schema induction on new domains and unseen intent-slot discovery for generalizable dialogue systems.


title: Proxy-Based Prediction of Solar Extreme Ultraviolet Emission using Deep Learning

abstract: High-energy radiation from the Sun governs the behavior of Earth's upper atmosphere and such radiation from any planet-hosting star can drive the long-term evolution of a planetary atmosphere. However, much of this radiation is unobservable because of absorption by Earth's atmosphere and the interstellar medium. This motivates the identification of a proxy that can be readily observed from the ground. Here, we evaluate absorption in the near-infrared 1083 nm triplet line of neutral orthohelium as a proxy for extreme ultraviolet (EUV) emission in the 30.4 nm line of He II and 17.1 nm line of Fe IX from the Sun. We apply deep learning to model the non-linear relationships, training and validating the model on historical, contemporaneous images of the solar disk acquired in the triplet He I line by the ground-based SOLIS observatory and in the EUV by the NASA Solar Dynamics Observatory. The model is a fully-convolutional neural network (FCN) that incorporates spatial information and accounts for the projection of the spherical Sun to 2-d images. Using normalized target values, results indicate a median pixel-wise relative error of 20% and a mean disk-integrated flux error of 7% on a held-out test set. Qualitatively, the model learns the complex spatial correlations between He I absorption and EUV emission has a predictive ability superior to that of a pixel-by-pixel model; it can also distinguish active regions from high-absorption filaments that do not result in EUV emission.


title: AutoFlow: Hotspot-Aware, Dynamic Load Balancing for Distributed Stream Processing

abstract: Stream applications are widely deployed on the cloud. While modern distributed streaming systems like Flink and Spark Streaming can schedule and execute them efficiently, streaming dataflows are often dynamically changing, which may cause computation imbalance and backpressure. We introduce AutoFlow, an automatic, hotspot-aware dynamic load balance system for streaming dataflows. It incorporates a centralized scheduler which monitors the load balance in the entire dataflow dynamically and implements state migrations correspondingly. The scheduler achieves these two tasks using a simple asynchronous distributed control message mechanism and a hotspot-diminishing algorithm. The timing mechanism supports implicit barriers and a highly efficient state-migration without global barriers or pauses to operators. It also supports a time-window based load-balance measurement and feeds them to the hotspot-diminishing algorithm without user interference. We implemented AutoFlow on top of Ray, an actor-based distributed execution framework. Our evaluation based on various streaming benchmark dataset shows that AutoFlow achieves good load-balance and incurs a low latency overhead in highly data-skew workload.


title: Quick Learning Mechanism with Cross-Domain Adaptation for Intelligent Fault Diagnosis

abstract: The fault diagnostic model trained for a laboratory case machine fails to perform well on the industrial machines running under variable operating conditions. For every new operating condition of such machines, a new diagnostic model has to be trained which is a time-consuming and uneconomical process. Therefore, we propose a quick learning mechanism that can transform the existing diagnostic model into a new model suitable for industrial machines operating in different conditions. The proposed method uses the Net2Net transformation followed by a fine-tuning to cancel/minimize the maximum mean discrepancy between the new data and the previous one. The fine-tuning of the model requires a very less amount of labelled target samples and very few iterations of training. Therefore, the proposed method is capable of learning the new target data pattern quickly. The effectiveness of the proposed fault diagnosis method has been demonstrated on the Case Western Reserve University dataset, Intelligent Maintenance Systems bearing dataset, and Paderborn university dataset under the wide variations of the operating conditions. It has been validated that the diagnostic model trained on artificially damaged fault datasets can be used to quickly train another model for a real damage dataset.


title: LabelGit: A Dataset for Software Repositories Classification using Attributed Dependency Graphs

abstract: Software repository hosting services contain large amounts of open-source software, with GitHub hosting more than 100 million repositories, from new to established ones. Given this vast amount of projects, there is a pressing need for a search based on the software's content and features. However, even though GitHub offers various solutions to aid software discovery, most repositories do not have any labels, reducing the utility of search and topic-based analysis. Moreover, classifying software modules is also getting more importance given the increase in Component-Based Software Development. However, previous work focused on software classification using keyword-based approaches or proxies for the project (e.g., README), which is not always available. In this work, we create a new annotated dataset of GitHub Java projects called LabelGit. Our dataset uses direct information from the source code, like the dependency graph and source code neural representations from the identifiers. Using this dataset, we hope to aid the development of solutions that do not rely on proxies but use the entire source code to perform classification.


title: Benchmarking calculations with spectroscopic accuracy of level energies and wavelengths in W LVII - W LXII tungsten ions

abstract: Atomic properties of $n=3$ states of the W$^{56+}$ $-$ W$^{61+}$ ions are systematically investigated through two state-of-the-art methods, namely, the second-order many-body perturbation theory, and the multi-configuration Dirac-Hartree-Fock method combined with the relativistic configuration interaction approach. The contributions of valence-valence and core-valence electron correlations, the Breit interaction, the higher-order retardation correction beyond the Breit interaction through the transverse photon interaction, and the quantum electrodynamical corrections to the excitation energies are studied in detail. The excitation energies and wavelengths obtained with the two methods agree with each other within \approx 0.01 %. The present results achieve spectroscopic accuracy and provide a benchmark test for various applications and other theoretical calculations of W$^{56+}$ $-$ W$^{61+}$ ions. They will assist spectroscopists in their assignment and direct identification of observed lines in complex spectra.


title: S-band single-longitudinal-mode erbium-doped fiber ring laser with ultra-narrow linewidth, ultra-high OSNR, high stability and low RIN

abstract: A high-performance S-band single-longitudinal-mode (SLM) erbium-doped fiber (EDF) ring cavity laser based on a depressed cladding EDF is investigated and experimentally demonstrated. We combine a double-ring passive resonator (DR-PR) and a length of unpumped polarization maintaining (PM) EDF in the laser cavity to achieve the SLM lasing without mode hopping. The DR-PR, composed of two efficient dual-coupler fiber rings, is utilized to expand the free spectral range of the EDF ring cavity laser and to eliminate the dense longitudinal modes greatly. The PM EDF, insusceptible to random change induced by environmental perturbations, is used as a saturable absorber filter to guarantee and to stabilize the SLM operation of the EDF ring cavity laser. At the pump power of 400 mW, we obtain an SLM EDF ring laser with a linewidth as narrow as 568 Hz, an optical signal-to-noise ratio as high as 77 dB, and a relative intensity noise as low as 140 dB/Hz at the frequency over 5 MHz. Meanwhile, the stability performance of both the wavelength lasing and the output power, the dependence of the OSNR and the output power on pump power for the S-band fiber laser are also investigated in detail.


title: KGSynNet: A Novel Entity Synonyms Discovery Framework with Knowledge Graph

abstract: Entity synonyms discovery is crucial for entity-leveraging applications. However, existing studies suffer from several critical issues: (1) the input mentions may be out-of-vocabulary (OOV) and may come from a different semantic space of the entities; (2) the connection between mentions and entities may be hidden and cannot be established by surface matching; and (3) some entities rarely appear due to the long-tail effect. To tackle these challenges, we facilitate knowledge graphs and propose a novel entity synonyms discovery framework, named \emph{KGSynNet}. Specifically, we pre-train subword embeddings for mentions and entities using a large-scale domain-specific corpus while learning the knowledge embeddings of entities via a joint TransC-TransE model. More importantly, to obtain a comprehensive representation of entities, we employ a specifically designed \emph{fusion gate} to adaptively absorb the entities' knowledge information into their semantic features. We conduct extensive experiments to demonstrate the effectiveness of our \emph{KGSynNet} in leveraging the knowledge graph. The experimental results show that the \emph{KGSynNet} improves the state-of-the-art methods by 14.7\% in terms of hits@3 in the offline evaluation and outperforms the BERT model by 8.3\% in the positive feedback rate of an online A/B test on the entity linking module of a question answering system.


title: Distributed Deep Learning Using Volunteer Computing-Like Paradigm

abstract: Use of Deep Learning (DL) in commercial applications such as image classification, sentiment analysis and speech recognition is increasing. When training DL models with large number of parameters and/or large datasets, cost and speed of training can become prohibitive. Distributed DL training solutions that split a training job into subtasks and execute them over multiple nodes can decrease training time. However, the cost of current solutions, built predominantly for cluster computing systems, can still be an issue. In contrast to cluster computing systems, Volunteer Computing (VC) systems can lower the cost of computing, but applications running on VC systems have to handle fault tolerance, variable network latency and heterogeneity of compute nodes, and the current solutions are not designed to do so. We design a distributed solution that can run DL training on a VC system by using a data parallel approach. We implement a novel asynchronous SGD scheme called VC-ASGD suited for VC systems. In contrast to traditional VC systems that lower cost by using untrustworthy volunteer devices, we lower cost by leveraging preemptible computing instances on commercial cloud platforms. By using preemptible instances that require applications to be fault tolerant, we lower cost by 70-90% and improve data security.


title: Generalized Low-rank plus Sparse Tensor Estimation by Fast Riemannian Optimization

abstract: We investigate a generalized framework to estimate a latent low-rank plus sparse tensor, where the low-rank tensor often captures the multi-way principal components and the sparse tensor accounts for potential model mis-specifications or heterogeneous signals that are unexplainable by the low-rank part. The framework is flexible covering both linear and non-linear models, and can easily handle continuous or categorical variables. We propose a fast algorithm by integrating the Riemannian gradient descent and a novel gradient pruning procedure. Under suitable conditions, the algorithm converges linearly and can simultaneously estimate both the low-rank and sparse tensors. The statistical error bounds of final estimates are established in terms of the gradient of loss function. The error bounds are generally sharp under specific statistical models, e.g., the robust tensor PCA and the community detection in hypergraph networks with outlier vertices. Moreover, our method achieves non-trivial error bounds for heavy-tailed tensor PCA whenever the noise has a finite $2+\varepsilon$ moment. We apply our method to analyze the international trade flow dataset and the statistician hypergraph co-authorship network, both yielding new and interesting findings.


title: Anti-Adversarially Manipulated Attributions for Weakly and Semi-Supervised Semantic Segmentation

abstract: Weakly supervised semantic segmentation produces a pixel-level localization from a classifier, but it is likely to restrict its focus to a small discriminative region of the target object. AdvCAM is an attribution map of an image that is manipulated to increase the classification score. This manipulation is realized in an anti-adversarial manner, which perturbs the images along pixel gradients in the opposite direction from those used in an adversarial attack. It forces regions initially considered not to be discriminative to become involved in subsequent classifications, and produces attribution maps that successively identify more regions of the target object. In addition, we introduce a new regularization procedure that inhibits the incorrect attribution of regions unrelated to the target object and limits the attributions of the regions that already have high scores. On PASCAL VOC 2012 test images, we achieve mIoUs of 68.0 and 76.9 for weakly and semi-supervised semantic segmentation respectively, which represent a new state-of-the-art.


title: Cosmological Perturbations via Quantum Corrections in M-theory

abstract: In the early universe it is important to take into account quantum effect of the gravity to explain the feature of the inflation. In this paper, we consider the M-theory effective action which consists of 11 dimensional supergravity and (Weyl)$^4$ terms. The equations of motion are solved perturbatively, and the solution describes the inflation-like expansion in 4 dimensional spacetime. Scalar and tensor perturbations around this background are evaluated analytically and their behaviors are investigated numerically. If we assume that these perturbations are constant at the beginning of the inflation, spectral indices for scalar and tensor perturbations become almost scale invariant.


title: Existence, uniqueness and strict comparison theorems for backward stochastic differential equations driven by RCLL martingales

abstract: Results on the existence, uniqueness and strict comparison for solutions to a BSDE driven by a multi-dimensional RCLL martingale are established. The goal is to develop a general multi-asset framework encompassing a wide spectrum of nonlinear financial models with jumps, including as particular cases the setups studied by Peng and Xu \cite{PX2009,PX2010} and Dumitrescu et al. \cite{DGQS2018} who dealt with BSDEs driven by a one-dimensional Brownian motion and a purely discontinuous martingale with a single jump.


title: Relaxation models for scalar traffic networks and zero relaxation limit

abstract: In this paper we propose coupling conditions for a relaxation model for vehicular traffic on networks. We present a matched asymptotic expansion procedure to derive a LWR- network with well-known classical coupling conditions from the relaxation network in the macroscopic limit. Similar to the asymptotic limit of boundary value problems, we perform an asymptotic analysis of the interface layers at the nodes and a matching procedure using half-Riemann problems for the limit conservation law. Moreover, we present numerical experiments comparing the relaxation network with the LWR network for a broader range of coupling conditions.


title: Vertical Beamforming in Reconfigurable Intelligent Surface-aided Cognitive Radio Networks

abstract: In this letter, we investigate joint application of reconfigurable intelligent surface (RIS) and vertical beamforming in cognitive radio networks (CRN). After properly modeling the network, an optimization problem is formed to jointly design the beamforming vector and tilt angle at the secondary base station (BS) as well as the phase shifts at the RIS with the objective of maximizing spectral efficiency of the secondary network. The optimization problem is non-convex; thus, we propose an efficient solution method for it. Numerical results show that adding a RIS and optimizing the radiation orientation, can significantly improve performance of the CRNs.


title: Left invariant spray structure on Lie group

abstract: We use the technique of invariant frames to study a left invariant spray structure on a Lie group, and calculate its S-curvature and Riemann curvature, which generalizes the corresponding formulae in homogeneous Finsler geometry. Using the canonical bi-invariant Berwald spray structure as the reference, any left invariant spray structure can be associated with a spray vector field on the Lie algebra. We find the correspondence between geodesics for a left invariant spray structure and the inverse integral curves of its spray vector field. As an application for this correspondence, we provide an alternative proof for Landsberg Conjecture in the case of homogeneous Finsler surfaces.


title: Differentiable Learning Under Triage

abstract: Multiple lines of evidence suggest that predictive models may benefit from algorithmic triage. Under algorithmic triage, a predictive model does not predict all instances but instead defers some of them to human experts. However, the interplay between the prediction accuracy of the model and the human experts under algorithmic triage is not well understood. In this work, we start by formally characterizing under which circumstances a predictive model may benefit from algorithmic triage. In doing so, we also demonstrate that models trained for full automation may be suboptimal under triage. Then, given any model and desired level of triage, we show that the optimal triage policy is a deterministic threshold rule in which triage decisions are derived deterministically by thresholding the difference between the model and human errors on a per-instance level. Building upon these results, we introduce a practical gradient-based algorithm that is guaranteed to find a sequence of triage policies and predictive models of increasing performance. Experiments on a wide variety of supervised learning tasks using synthetic and real data from two important applications -- content moderation and scientific discovery -- illustrate our theoretical results and show that the models and triage policies provided by our gradient-based algorithm outperform those provided by several competitive baselines.


title: Conditional probabilities of measurements, quantum time and the Wigner's friend case

abstract: Considering a minimal number of assumptions and in the context of the timeless formalism, conditional probabilities are derived for subsequent measurements in the non-relativistic regime. Only unitary transformations are considered with detection processes described by generalized measurements (POVM). One-time conditional probabilities are unambiguously derived via the Gleason-Bush theorem, including for puzzling cases like the Wigner's friend scenario where their form underlines the relativity aspect of measurements. No paradoxical situations emerge and the roles of Wigner and Wigner can be seen by his friend as being in a superposition.


title: A Study on degenerate Whitney numbers of the first and second kinds of Dowling lattices

abstract: Dowling constructed Dowling lattice Qn(G), for any finite set with n elements and any finite multiplicative group G of order m, which is a finite geometric lattice. He also defined the Whitney numbers of the first and second kinds for any finite geometric lattice. These numbers for the Dowling lattice Qn(G) are the Whitney numbers of the first kind Vm(n,k) and those of the second kind Wm(n,k), which are given by Stirling number-like relations. In this paper, by `degenerating' such relations we introduce the degenerate Whitney numbers of the first kind and those of the second kind and investigate, among other things, generating functions, recurrence relations and various explicit expressions for them. As further generalizations of the degenerate Whitney numbers of both kinds, we also consider the degenerate r-Whitney numbers of both kinds.


title: Olbert's kappa Fermi and Bose distributions

abstract: The quantum version of Olbert's kappa distribution applicable to fermions is obtained. Its construction is straightforward but requires recognition of the differences in the nature of states separated by Fermi momenta. Its complement, the bosonic version of the kappa distribution is also given, as is the procedure of how to construct a hypothetical kappa-anyon distribution. At very low temperature the degenerate kappa Fermi distribution yields a kappa-modified version of the ordinary degenerate Fermi energy and momentum. We provide the Olbert-generalized expressions of the Olbert-Fermi partition function and entropy which may serve determining all relevant statistical mechanical quantities. Possible applications are envisaged to condensed matter physics, possibly quantum plasmas, and dense astrophysical objects like the interior state of terrestrial planets, neutron stars, magnetars where quantum effects come into play, dominate the microscopic scale but may have macroscopic consequences.


title: On the finiteness of four-body central configurations

abstract: The number of central configurations in the four body problem was proved to be finite, first by Hampton and Moeckel, then by Albouy and Kaloshin, when the masses are all positive. We prove that the four-body central configurations are finite for any four nonzero masses.


title: BBAM: Bounding Box Attribution Map for Weakly Supervised Semantic and Instance Segmentation

abstract: Weakly supervised segmentation methods using bounding box annotations focus on obtaining a pixel-level mask from each box containing an object. Existing methods typically depend on a class-agnostic mask generator, which operates on the low-level information intrinsic to an image. In this work, we utilize higher-level information from the behavior of a trained object detector, by seeking the smallest areas of the image from which the object detector produces almost the same result as it does from the whole image. These areas constitute a bounding-box attribution map (BBAM), which identifies the target object in its bounding box and thus serves as pseudo ground-truth for weakly supervised semantic and instance segmentation. This approach significantly outperforms recent comparable techniques on both the PASCAL VOC and MS COCO benchmarks in weakly supervised semantic and instance segmentation. In addition, we provide a detailed analysis of our method, offering deeper insight into the behavior of the BBAM.


title: Blockchain-assisted Undisclosed IIoT Vulnerabilities Trusted Sharing Protection with Dynamic Token

abstract: With the large-scale deployment of industrial internet of things (IIoT) devices, the number of vulnerabilities that threaten IIoT security is also growing dramatically, including a mass of undisclosed IIoT vulnerabilities that lack mitigation measures. Coordination Vulnerabilities Disclosure (CVD) is one of the most popular vulnerabilities sharing solutions, in which some security workers (SWs) can develop undisclosed vulnerabilities patches together. However, CVD assumes that sharing participants (SWs) are all honest, and thus offering chances for dishonest SWs to leak undisclosed IIoT vulnerabilities. To combat such threats, we propose an Undisclosed IIoT Vulnerabilities Trusted Sharing Protection (UIV-TSP) scheme with dynamic token. In this article, a dynamic token is an implicit access credential for an SW to acquire an undisclosed vulnerability information, which is only held by the system and constantly updated as the SW access. Meanwhile, the latest updated token can be stealthily sneaked into the acquired information as the traceability token. Once the undisclosed vulnerability information leaves the SW host, the embedded self-destruct program will be automatically triggered to prevent leaks since the destination MAC address in the traceability token has changed. To quickly distinguish dishonest SWs, trust mechanism is adopted to evaluate the trust value of SWs. Moreover, we design a blockchain-assisted continuous logs storage method to achieve the tamper-proofing of dynamic token and the transparency of undisclosed IIoT vulnerabilities sharing. The simulation results indicate that our proposed scheme is resilient to suppress dishonest SWs and protect the IoT undisclosed vulnerabilities effectively.


title: Capacity of entanglement in random pure state

abstract: We compute the capacity of entanglement in the bipartite random pure state model using the replica method. We find the exact expression of the capacity of entanglement which is valid for a finite dimension of the Hilbert space. We argue that in the gravitational path integral, the capacity of entanglement receives contributions only from the sub-leading saddle points corresponding to the partially connected geometries.


title: An ASIC Implementation and Evaluation of a Profiled Low-Energy Instruction Set Architecture Extension

abstract: This paper presents an extension to an existing instruction set architecture, which gains considerable reduction in power consumption. The reduction in power consumption is achieved through coding of the most commonly executed instructions in a short format done by the compiler based on a profile of previous executions. This leads to fewer accesses to the instruction cache and that more instructions can fit in the cache. As a secondary effect, this turned out to be very beneficial in terms of power. Another major advantage, which is the main concern of this paper is the reduction in the number of instruction fetch cycles which will also contribute significantly towards reduction in power consumption. The work involves implementing the new processor architecture in ASIC and estimation of power-consumption compared to the normal architecture.


title: On Vertices Contained in All or in No Metric Basis

abstract: A set $R \subseteq V(G)$ is a resolving set of a graph $G$ if for all distinct vertices $v,u \in V(G)$ there exists an element $r \in R$ such that $d(r,v) \neq d(r,u)$. The metric dimension $\dim(G)$ of the graph $G$ is the minimum cardinality of a resolving set of $G$. A resolving set with cardinality $\dim(G)$ is called a metric basis of $G$. We consider vertices that are in all metric bases, and we call them basis forced vertices. We give several structural properties of sparse and dense graphs where basis forced vertices are present. In particular, we give bounds for the maximum number of edges in a graph containing basis forced vertices. Our bound is optimal whenever the number of basis forced vertices is even. Moreover, we provide a method of constructing fairly sparse graphs with basis forced vertices. We also study vertices which are in no metric basis in connection to cut-vertices and pendants. Furthermore, we show that deciding whether a vertex is in all metric bases is co-NP-hard, and deciding whether a vertex is in no metric basis is NP-hard.


title: Glasner property for unipotently generated group actions on tori

abstract: A theorem of Glasner from 1979 shows that if $A \subset \mathbb{T} = \mathbb{R}/\mathbb{Z}$ is infinite then for each $\epsilon > 0$ there exists an integer $n$ such that $nA$ is $\epsilon$-dense and Berend-Peres later showed that in fact one can take $n$ to be of the form $f(m)$ for any non-constant $f(x) \in \mathbb{Z}[x]$. Alon and Peres provided a general framework for this problem that has been used by Kelly-L\^{e} and Dong to show that the same property holds for various linear actions on $\mathbb{T}^d$. We complement the result of Kelly-L\^{e} on the $\epsilon$-dense images of integer polynomial matrices in some subtorus of $\mathbb{T}^d$ by classifying those integer polynomial matrices that have the Glasner property in the full torus $\mathbb{T}^d$. We also extend a recent result of Dong by showing that if $\Gamma \leq \operatorname{SL}_d(\mathbb{Z})$ is generated by finitely many unipotents and acts irreducibly on $\mathbb{R}^d$ then the action $\Gamma \curvearrowright \mathbb{T}^d$ has a uniform Glasner property.


title: A liquid nitrogen-cooled Ca^+ optical clock with systematic uncertainty of 3*10^-18

abstract: Here we present a liquid nitrogen-cooled Ca^+ optical clock with an overall systematic uncertainty of 3*10^-18. In contrast with the room-temperature Ca^+ optical clock that we have reported previously, the temperature of the blackbody radiation (BBR) shield in vacuum has been reduced to 82(5) K using liquid nitrogen. An ion trap with a lower heating rate and improved cooling lasers were also introduced. This allows cooling the ion temperature to the Doppler cooling limit during the clock operation, and the systematic uncertainty due to the ion's secular (thermal) motion is reduced to < 1*10^-18. The uncertainty due to the probe laser light shift and the servo error are also reduced to < 1*10^-19 and 4*10^-19 with the hyper-Ramsey method and the higher-order servo algorithm, respectively. By comparing the output frequency of the cryogenic clock to that of a room-temperature clock, the differential BBR shift between the two was measured with a fractional statistical uncertainty of 7*10^-18. The differential BBR shift was used to calculate the static differential polarizability, and it was found in excellent agreement with our previous measurement with a different method. This work suggests that the BBR shift of optical clocks can be well suppressed in a liquid nitrogen environment. This is advantageous because conventional liquid-helium cryogenic systems for optical clocks are more expensive and complicated. Moreover, the proposed system can be used to suppress the BBR shift significantly in other types of optical clocks such as Yb^+, Sr^+, Yb, Sr, etc.


title: EADNet: Efficient Asymmetric Dilated Network for Semantic Segmentation

abstract: Due to real-time image semantic segmentation needs on power constrained edge devices, there has been an increasing desire to design lightweight semantic segmentation neural network, to simultaneously reduce computational cost and increase inference speed. In this paper, we propose an efficient asymmetric dilated semantic segmentation network, named EADNet, which consists of multiple developed asymmetric convolution branches with different dilation rates to capture the variable shapes and scales information of an image. Specially, a multi-scale multi-shape receptive field convolution (MMRFC) block with only a few parameters is designed to capture such information. Experimental results on the Cityscapes dataset demonstrate that our proposed EADNet achieves segmentation mIoU of 67.1 with smallest number of parameters (only 0.35M) among mainstream lightweight semantic segmentation networks.


title: A Local Deep Learning Method for Solving High Order Partial Differential Equations

abstract: At present, deep learning based methods are being employed to resolve the computational challenges of high-dimensional partial differential equations (PDEs). But the computation of the high order derivatives of neural networks is costly, and high order derivatives lack robustness for training purposes. We propose a novel approach to solving PDEs with high order derivatives by simultaneously approximating the function value and derivatives. We introduce intermediate variables to rewrite the PDEs into a system of low order differential equations as what is done in the local discontinuous Galerkin method. The intermediate variables and the solutions to the PDEs are simultaneously approximated by a multi-output deep neural network. By taking the residual of the system as a loss function, we can optimize the network parameters to approximate the solution. The whole process relies on low order derivatives. Numerous numerical examples are carried out to demonstrate that our local deep learning is efficient, robust, flexible, and is particularly well-suited for high-dimensional PDEs with high order derivatives.


title: Modeling proportion of success in high school leaving examination- A comparative study of Inflated Unit Lindley and Inflated Beta distribution

abstract: In this article, we first introduced the inflated unit Lindley distribution considering zero or/and one inflation scenario and studied its basic distributional and structural properties. Both the distributions are shown to be members of exponential family with full rank. Different parameter estimation methods are discussed and supporting simulation studies to check their efficacy are also presented. Proportion of students passing the high school leaving examination for the schools across the state of Manipur in India for the year 2020 are then modeled using the proposed distributions and compared with the inflated beta distribution to justify its benefits.


title: Reflected BSDEs and doubly reflected BSDEs driven by RCLL martingales

abstract: We prove some new results on reflected BSDEs and doubly reflected BSDEs driven by a multi-dimensional RCLL martingale. The goal is to develop a general multi-asset framework encompassing a wide spectrum of nonlinear financial models, including as particular cases the setups studied by Peng and Xu \cite{PX2009} and Dumitrescu et al. \cite{DGQS2018} who dealt with BSDEs driven by a one-dimensional Brownian motion and a purely discontinuous martingale with a single jump. Our results are not covered by existing literature on reflected and doubly reflected BSDEs driven by a Brownian motion and a Poisson random measure.


title: Telegraph process with elastic boundary at the origin

abstract: We investigate the one-dimensional telegraph random process in the presence of an elastic boundary at the origin. This process describes a finite-velocity random motion that alternates between two possible directions of motion (positive or negative). When the particle hits the origin, it is either absorbed, with probability $\alpha$, or reflected upwards, with probability $1-\alpha$. In the case of exponentially distributed random times between consecutive changes of direction, we obtain the distribution of the renewal cycles and of the absorption time at the origin. This investigation is performed both in the case of motion starting from the origin and non-zero initial state. We also study the probability law of the process within a renewal cycle.


title: A conformal approach to the stability of Einstein spaces with spatial sections of negative scalar curvature

abstract: It is shown how the extended conformal Einstein field equations and a gauge based on the properties of conformal geodesics can be used to analyse the non-linear stability of Einstein spaces with negative scalar curvature. This class of spacetimes admits a smooth conformal extension with a spacelike conformal boundary. Central to the analysis is the use of conformal Gaussian systems to obtain a hyperbolic reduction of the conformal Einstein field equations for which standard Cauchy stability results for symmetric hyperbolic systems can be employed. The use of conformal methods allows to rephrase the question of global existence of solutions to the Einstein field equations into considerations of finite existence time for the conformal evolution system.


title: WISDOM Project -- VII. Molecular gas measurement of the supermassive black hole mass in NGC 7052

abstract: Supermassive black hole (SMBH) masses can be measured by resolving the dynamical influences of the SMBHs on spatially-resolved tracers of the central potentials. Modern long-baseline interferometers have enabled the use of molecular gas as such a tracer. We present here Atacama Large Millimeter/submillimeter Array observations of the elliptical galaxy NGC 7052 at 0.11 arcseconds (37 pc) resolution in the 12CO(2-1) line and 1.3mm continuum emission. This resolution is sufficient to resolve the region in which the potential is dominated by the SMBH. We forward model these observations, using a multi-Gaussian expansion of a Hubble Space Telescope F814W image and spatially-constant mass-to-light ratio to model the stellar mass distribution. We infer a SMBH mass of $2.5\pm0.3\times10^9\,\mathrm{M_\odot}$ and a stellar I-band mass-to-light ratio of $4.6\pm 0.2\,\mathrm{M_\odot/L_{\odot,I}}$ ($3\sigma$ confidence intervals). This SMBH mass is significantly larger than that derived using ionised gas kinematics, which however appear significantly more kinematically disturbed than the molecular gas. We also show that a central molecular gas deficit is likely to be the result of tidal disruption of molecular gas clouds due to the strong gradient in the central gravitational potential.


title: Bernstein Problem of Affine Maximal Type Hypersurfaces on Dimension N>=3

abstract: Bernstein problem for affine maximal type equation has been a core problem in affine geometry. A conjecture proposed firstly by Chern for entire graph and then extended by Trudinger-Wang to its fully generality asserts that any Euclidean complete, affine maximal type, locally uniofrmly convex C^4-hypersurface in R^{N+1} must be an elliptic paraboloid. At the same time, this conjecture was solved completely by Trudinger-Wang for dimension N=2 and \theta=3/4, and later extended by Jia-Li to N=2, \theta\in(3/4,1] (see also [Zhou]). On the past twenty years, much efforts were done toward higher dimensional issues but not really successful yet, even for the case of dimension N=3. In this paper, we will construct non-quadratic affine maximal type hypersurfaces which are Euclidean complete for N>=3, \theta\in(1/2,(N-1)/N).


title: Combining Morphological and Histogram based Text Line Segmentation in the OCR Context

abstract: Text line segmentation is one of the pre-stages of modern optical character recognition systems. The algorithmic approach proposed by this paper has been designed for this exact purpose. Its main characteristic is the combination of two different techniques, morphological image operations and horizontal histogram projections. The method was developed to be applied on a historic data collection that commonly features quality issues, such as degraded paper, blurred text, or presence of noise. For that reason, the segmenter in question could be of particular interest for cultural institutions, that want access to robust line bounding boxes for a given historic document. Because of the promising segmentation results that are joined by low computational cost, the algorithm was incorporated into the OCR pipeline of the National Library of Luxembourg, in the context of the initiative of reprocessing their historic newspaper collection. The general contribution of this paper is to outline the approach and to evaluate the gains in terms of accuracy and speed, comparing it to the segmentation algorithm bundled with the used open source OCR software.


title: Inverse Higgs phenomena as duals of holonomic constraints

abstract: The inverse Higgs phenomenon, which plays an important r\^ole in physical systems with Goldstone bosons (such as the phonons in a crystal) involves nonholonomic mechanical constraints. By formulating field theories with symmetries and constraints in a general way using the language of differential geometry, we show that many examples of constraints in inverse Higgs phenomena fall into a special class, which we call coholonomic constraints, that are dual (in the sense of category theory) to holonomic constraints. Just as for holonomic constraints, systems with coholonomic constraints are equivalent to unconstrained systems (whose degrees of freedom are known as essential Goldstone bosons), making it easier to study their consistency and dynamics. The remaining examples of inverse Higgs phenomena in the literature require the dual of a slight generalisation of a holonomic constraint, which we call (co)meronomic. Our formalism simplifies and clarifies the many ad hoc assumptions and constructions present in the literature. In particular, it identifies which are necessary and which are merely convenient. It also opens the way to studying much more general dynamical examples, including systems which have no well-defined notion of a target space.


title: From Innovations to Prospects: What Is Hidden Behind Cryptocurrencies?

abstract: The great influence of Bitcoin has promoted the rapid development of blockchain-based digital currencies, especially the altcoins, since 2013. However, most altcoins share similar source codes, resulting in concerns about code innovations. In this paper, an empirical study on existing altcoins is carried out to offer a thorough understanding of various aspects associated with altcoin innovations. Firstly, we construct the dataset of altcoins, including source code repositories, GitHub fork relations, and market capitalizations (cap). Then, we analyze the altcoin innovations from the perspective of source code similarities. The results demonstrate that more than 85% of altcoin repositories present high code similarities. Next, a temporal clustering algorithm is proposed to mine the inheritance relationship among various altcoins. The family pedigrees of altcoin are constructed, in which the altcoin presents similar evolution features as biology, such as power-law in family size, variety in family evolution, etc. Finally, we investigate the correlation between code innovations and market capitalization. Although we fail to predict the price of altcoins based on their code similarities, the results show that altcoins with higher innovations reflect better market prospects.


title: Unconventional Pairing from Local Orbital Fluctuations in Strongly Correlated A$_3$C$_{60}$

abstract: The pairing mechanism in A$_3$C$_{60}$ is investigated by studying the properties of a three-orbital Hubbard model with antiferromagnetic Hund coupling in the normal and superconducting phase. Local orbital fluctuations are shown to be substantially enhanced in the superconducting state, with a fluctuation energy scale that matches the low-energy peak in the spectral weight of the order parameter. Our results demonstrate that local orbital fluctuations provide the pairing glue in strongly correlated fulleride superconductors and support the spin/orbital freezing theory of unconventional superconductivity. They are also consistent with the experimentally observed universal relation between the gap energy and local susceptibility in a broad range of unconventional superconductors.


title: Predicting hyperlinks via hypernetwork loop structure

abstract: While links in simple networks describe pairwise interactions between nodes, it is necessary to incorporate hypernetworks for modeling complex systems with arbitrary-sized interactions. In this study, we focus on the hyperlink prediction problem in hypernetworks, for which the current state-of-art methods are latent-feature-based. A practical algorithm via topological features, which can provide understandings of the organizational principles of hypernetworks, is still lacking. For simple networks, local clustering or loop reflects the correlations among nodes; therefore, loop-based link prediction algorithms have achieved accurate performance. Extending the idea to hyperlink prediction faces several challenges. For instance, what is an effective way of defining loops for prediction is not clear yet; besides, directly comparing topological statistics of variable-sized hyperlinks could introduce biases in hyperlink cardinality. In this study, we address the issues and propose a loop-based hyperlink prediction approach. First, we discuss and define the loops in hypernetworks; then, we transfer the loop-features into a hyperlink prediction algorithm via a simple modified logistic regression. Numerical experiments on multiple real-world datasets demonstrate superior performance compared to the state-of-the-art methods.


title: Quenches in initially coupled Tomonaga-Luttinger Liquids: a conformal field theory approach

abstract: We study the quantum quench in two coupled Tomonaga-Luttinger Liquids (TLLs), from the off-critical to the critical regime, relying on the conformal field theory approach and the known solutions for single TLLs. We consider a squeezed form of the initial state, whose low energy limit is fixed in a way to describe a massive and a massless mode, and we encode the non-equilibrium dynamics in a proper rescaling of the time. In this way, we compute several correlation functions, which at leading order factorize into multipoint functions evaluated at different times for the two modes. Depending on the observable, the contribution from the massive or from the massless mode can be the dominant one, giving rise to exponential or power-law decay in time, respectively. Our results find a direct application in all the quench problems where, in the scaling limit, there are two independent massless fields: these include the Hubbard model, the Gaudin-Yang gas, and tunnel-coupled tubes in cold atoms experiments.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th


title: A new class of double phase variable exponent problems: Existence and uniqueness

abstract: In this paper we introduce a new class of quasilinear elliptic equations driven by the so-called double phase operator with variable exponents. We prove certain properties of the corresponding Musielak-Orlicz Sobolev spaces (an equivalent norm, uniform convexity, Radon-Riesz property with respect to the modular) and the properties of the new double phase operator (continuity, strict monotonicity, (S$_+$)-property). In contrast to the known constant exponent case we are able to weaken the assumptions on the data. Finally we show the existence and uniqueness of corresponding elliptic equations with right-hand sides that have gradient dependence (so-called convection terms) under very general assumptions on the data. As a result of independent interest, we also show the density of smooth functions in the new Musielak-Orlicz Sobolev space even when the domain is unbounded.


title: Link representation of the entanglement entropies for all bipartitions

abstract: We have recently shown that the entanglement entropy of any bipartition of a quantum state can be approximated as the sum of certain link strengths connecting internal and external sites. The representation is useful to unveil the geometry associated with the entanglement structure of a quantum many-body state which may occasionally differ from the one suggested by the Hamiltonian of the system. Yet, the obtention of these entanglement links is a complex mathematical problem. In this work, we address this issue and propose several approximation techniques for matrix product states, free fermionic states, or in cases in which contiguous blocks are specially relevant. Along with this, we discuss the accuracy of the approximation for different types of states and partitions. Finally, we employ the link representation to discuss two different physical systems: the spin-1/2 long-range XXZ chain and the spin-1 bilinear biquadratic chain.


title: Time-dependent electromagnetic scattering from thin layers

abstract: The scattering of electromagnetic waves from obstacles with wave-material interaction in thin layers on the surface is described by generalized impedance boundary conditions, which provide effective approximate models. In particular, this includes a thin coating around a perfect conductor and the skin effect of a highly conducting material. The approach taken in this work is to derive, analyse and discretize a system of time-dependent boundary integral equations that determines the tangential traces of the scattered electric and magnetic fields. In a familiar second step, the fields are evaluated in the exterior domain by a representation formula, which uses the time-dependent potential operators of Maxwell's equations. The time-dependent boundary integral equationis discretized with Runge--Kutta based convolution quadrature in time and Raviart--Thomas boundary elements in space. Using the frequency-explicit bounds from the well-posedness analysis given here together with known approximation properties of the numerical methods, the full discretization is proved to be stable and convergent, with explicitly given rates in the case of sufficient regularity. Taking the same Runge--Kutta based convolution quadrature for discretizing the time-dependent representation formulas, the optimal order of convergence is obtained away from the scattering boundary, whereas an order reduction occurs close to the boundary. The theoretical results are illustrated by numerical experiments.


title: Two tales of science technology linkage: Patent in-text versus front-page references

abstract: There is recurrent debate about how useful science is for technological development, but we know little about what kinds of science are more useful for technology. This paper fills this gap in the literature by exploring how the value of a patent (as measured by patent forward citations and the stock market response to the issuing of the patent) depends on the characteristics of the scientific papers that it builds on, specifically, basicness, interdisciplinarity, novelty, and scientific citations. Using a dataset of 33,337 USPTO biotech utility patents and their 860,879 in-text references to Web of Science journal articles, we find (1) a positive effect of the number of referenced scientific papers, (2) an inverted U-shaped effect of basicness, (3) an insignificant effect of interdisciplinarity, (4) a discontinuous and nonlinear effect of novelty, and (5) a positive effect of scientific citations for patent market value but an insignificant effect on patent citations. In addition, in-text referenced papers have a higher chance of being listed on the front-page of the same patent when they are moderately basic, less interdisciplinary, less novel, and more highly cited. Accordingly, using front-page reference yields substantially different results than using in-text references.


title: A splitting random-choice dynamic relaxation method for smoothed particle hydrodynamics

abstract: For conventional smoothed particle hydrodynamics (SPH), obtaining the static solution of a problem is time-consuming. To address this drawback, we propose an efficient dynamic relaxation method by adding large artificial-viscosity-based damping into the momentum conservation equation. Then, operator splitting methods are introduced to discretize the added viscous term for relaxing the time-step limit. To further improve the convergence rate, a random-choice strategy is adopted, in which the viscous term is imposed randomly rather than at every time step. In addition, to avoid the thread-conflict induced by applying shared-memory parallelization to accelerate implicit method, a splitting cell-linked list scheme is devised. A number of benchmark tests suggest that the present method helps systems achieve equilibrium state efficiently.


title: Reweighting Augmented Samples by Minimizing the Maximal Expected Loss

abstract: Data augmentation is an effective technique to improve the generalization of deep neural networks. However, previous data augmentation methods usually treat the augmented samples equally without considering their individual impacts on the model. To address this, for the augmented samples from the same training example, we propose to assign different weights to them. We construct the maximal expected loss which is the supremum over any reweighted loss on augmented samples. Inspired by adversarial training, we minimize this maximal expected loss (MMEL) and obtain a simple and interpretable closed-form solution: more attention should be paid to augmented samples with large loss values (i.e., harder examples). Minimizing this maximal expected loss enables the model to perform well under any reweighting strategy. The proposed method can generally be applied on top of any data augmentation methods. Experiments are conducted on both natural language understanding tasks with token-level data augmentation, and image classification tasks with commonly-used image augmentation techniques like random crop and horizontal flip. Empirical results show that the proposed method improves the generalization performance of the model.


title: Qubit thermodynamics far from equilibrium: two perspectives about the nature of heat and work in the quantum regime

abstract: Considering an entropy-based division of energy transferred into heat and work, we develop an alternative theoretical framework for the thermodynamic analysis of two-level systems. When comparing these results with those obtained under the standard definitions of these quantities, we observe the appearance of a new term of work, which represents the energy cost of rotating the Bloch vector in presence of the external field that defines the local Hamiltonian. Additionally, we obtain explicit expressions for the temperature, the heat capacity and the internal entropy production of the system in both paradigms. In order to illustrate our findings we study, from both perspectives, matter-radiation interaction processes for two different systems.


title: Rheology of mobile sediment beds sheared by viscous, pressure-driven flows

abstract: We present a detailed comparison of the rheological behaviour of sheared sediment beds in a pressure-driven, straight channel configuration based on data that was generated by means of fully coupled, grain-resolved direct numerical simulations and experimental measurements reviously published by Aussillous {\it et al.} (J. Fluid Mech., vol. 736, 2013, pp. 594-615). The highly-resolved simulation data allows to compute the stress balance of the suspension in the streamwise and vertical directions and the stress exchange between the fluid and particle phase, which is information needed to infer the rheology, but has so far been unreachable in experiments. Applying this knowledge to the experimental and numerical data, we obtain the statistically-stationary, depth-resolved profiles of the relevant rheological quantities. The scaling behavior of rheological quantities such as the shear and normal viscosities and the effective friction coefficient are examined and compared to data coming from rheometry experiments and from widely-used rheological correlations. We show that rheological properties that have previously been inferred for annular Couette-type shear flows with neutrally buoyant particles still hold for our setup of sediment transport in a Poiseuille flow and in the dense regime we found good agreement with empirical relationships derived therefrom. Subdividing the total stress into parts from particle contact and hydrodynamics suggests a critical particle volume fraction of 0.3 to separate the dense from the dilute regime. In the dilute regime, i.e., the sediment transport layer, long-range hydrodynamic interactions are screened by the porous media and the effective viscosity obeys the Einstein relation.


title: Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications

abstract: In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which is a concurrent object that maintains a totally ordered sequence of records, abstracting blockchains and distributed ledgers. Through DLO, the Atomic Appends problem, intended as the need of a primitive able to append multiple records to distinct ledgers in an atomic way, is studied as a basic interconnection problem among ledgers. In this work, we propose the Distributed Grow-only Set object (DSO), which instead of maintaining a sequence of records, as in a DLO, maintains a set of records in an immutable way: only Add and Get operations are provided. This object is inspired by the Grow-only Set (G-Set) data type which is part of the Conflict-free Replicated Data Types. We formally specify the object and we provide a consensus-free Byzantine-tolerant implementation that guarantees eventual consistency. We then use our Byzantine-tolerant DSO (BDSO) implementation to provide consensus-free algorithmic solutions to the Atomic Appends and Atomic Adds (the analogous problem of atomic appends applied on G-Sets) problems, as well as to construct consensus-free Single-Writer BDLOs. We believe that the BDSO has applications beyond the above-mentioned problems.


title: MLOps Challenges in Multi-Organization Setup: Experiences from Two Real-World Cases

abstract: The emerging age of connected, digital world means that there are tons of data, distributed to various organizations and their databases. Since this data can be confidential in nature, it cannot always be openly shared in seek of artificial intelligence (AI) and machine learning (ML) solutions. Instead, we need integration mechanisms, analogous to integration patterns in information systems, to create multi-organization AI/ML systems. In this paper, we present two real-world cases. First, we study integration between two organizations in detail. Second, we address scaling of AI/ML to multi-organization context. The setup we assume is that of continuous deployment, often referred to DevOps in software development. When also ML components are deployed in a similar fashion, term MLOps is used. Towards the end of the paper, we list the main observations and draw some final conclusions. Finally, we propose some directions for future work.


title: A short proof of Host's equidistribution theorem

abstract: This note contains a new proof of Host's equidistribution theorem for multiplicatively independent endomorphisms of $\mathbb{R}/\mathbb{Z}$. The method is a simplified version of our upcoming work on equidistribution under toral automorphisms and is related to the argument in [HochmanShmerkin2015], but avoids the use of the scenery flow and of Marstrand's projection theorem, using instead a direct Fourier argument to establish smoothness of the limit measure.


title: Braided $L_{\infty}$-Algebras, Braided Field Theory and Noncommutative Gravity

abstract: We define a new homotopy algebraic structure, that we call a braided $L_\infty$-algebra, and use it to systematically construct a new class of noncommutative field theories, that we call braided field theories. Braided field theories have gauge symmetries which realize a braided Lie algebra, whose Noether identities are inhomogeneous extensions of the classical identities, and which do not act on the solutions of the field equations. We use Drinfel'd twist deformation quantization techniques to generate new noncommutative deformations of classical field theories with braided gauge symmetries, which we compare to the more conventional theories with star-gauge symmetries. We apply our formalism to introduce a braided version of general relativity without matter fields in the Einstein-Cartan-Palatini formalism. In the limit of vanishing deformation parameter, the braided theory of noncommutative gravity reduces to classical gravity without any extensions.


title: Stress-induced modification of gyration dynamics in stacked double-vortex structures studied by micromagnetic simulations

abstract: In this paper, using micromagnetic simulations, we investigate the stress-induced frequency tunability of double-vortex nano-oscillators comprising magnetostrictive and non-magnetostrictive ferromagnetic layers separated vertically by a non-magnetic spacer. We show that the the relative orientations of the vortex core polarities $p_{1}$ and $p_{2}$ have a strong impact on the eigen-frequencies of the dynamic modes. When the two vortices with antiparallel polarities have different eigen-frequencies and the magnetostatic coupling between them is sufficiently strong, the stress-induced magnetoelastic anisotropy can lead to the single-frequency gyration mode of the two vortex cores. Additionally, for the case of parallel polarities, we demonstrate that for sufficiently strong magnetostatic coupling, the magnetoelastic anisotropy leads to the coupled vortex gyration in the stochastic regime and to the lateral separation of the vortex core trajectories. These findings offer a fine control over gyration frequencies and trajectories in vortex-based oscillators via adjustable elastic stress, which can be easily generated and tuned electrically, mechanically or optically.


title: Floquet engineering of Mott insulators with strong spin-orbit coupling

abstract: We propose a method for controlling the exchange interactions of Mott insulators with strong spin-orbit coupling. We consider a multiorbital system with strong spin-orbit coupling and a circularly polarized light field and derive its effective Hamiltonian in the strong-interaction limit. Applying this theory to a minimal model of $\alpha$-RuCl$_{3}$, we show that the magnitudes and signs of three exchange interactions, $J$, $K$, and $\Gamma$, can be changed simultaneously. Then, considering another case in which one of the hopping integrals has a different value and the other parameters are the same as those for $\alpha$-RuCl$_{3}$, we show that the Heisenberg interaction $J$ can be made much smaller than the anisotropic exchange interactions $K$ and $\Gamma$.


title: Who Needs MLOps: What Data Scientists Seek to Accomplish and How Can MLOps Help?

abstract: Following continuous software engineering practices, there has been an increasing interest in rapid deployment of machine learning (ML) features, called MLOps. In this paper, we study the importance of MLOps in the context of data scientists' daily activities, based on a survey where we collected responses from 331 professionals from 63 different countries in ML domain, indicating on what they were working on in the last three months. Based on the results, up to 40% respondents say that they work with both models and infrastructure; the majority of the work revolves around relational and time series data; and the largest categories of problems to be solved are predictive analysis, time series data, and computer vision. The biggest perceived problems revolve around data, although there is some awareness of problems related to deploying models to production and related procedures. To hypothesise, we believe that organisations represented in the survey can be divided to three categories -- (i) figuring out how to best use data; (ii) focusing on building the first models and getting them to production; and (iii) managing several models, their versions and training datasets, as well as retraining and frequent deployment of retrained models. In the results, the majority of respondents are in category (i) or (ii), focusing on data and models; however the benefits of MLOps only emerge in category (iii) when there is a need for frequent retraining and redeployment. Hence, setting up an MLOps pipeline is a natural step to take, when an organization takes the step from ML as a proof-of-concept to ML as a part of nominal activities.


title: From Branched Flow to Superwires in Periodic Potentials

abstract: We report unexpected classical and quantum dynamics of a wave propagating in a periodic potential in high Brilloiun zones. Branched flow appears at wavelengths shorter than the typical length scale of the ordered periodic structure and for energies above the potential barrier. The strongest branches remain stable indefinitely and may create linear dynamical channels, wherein waves are not confined directly by potential walls as electrons in ordinary wires, but rather indirectly and more subtly by dynamical stability. We term these superwires, since they are associated with a superlattice.


title: On idempotent stable range one matrices

abstract: We characterize the idempotent stable range one $2\times 2$ matrices over commutative rings and in particular, the integral matrices with this property. Several special cases and examples complete the subject.


title: Unsupervised anomaly detection in digital pathology using GANs

abstract: Machine learning (ML) algorithms are optimized for the distribution represented by the training data. For outlier data, they often deliver predictions with equal confidence, even though these should not be trusted. In order to deploy ML-based digital pathology solutions in clinical practice, effective methods for detecting anomalous data are crucial to avoid incorrect decisions in the outlier scenario. We propose a new unsupervised learning approach for anomaly detection in histopathology data based on generative adversarial networks (GANs). Compared to the existing GAN-based methods that have been used in medical imaging, the proposed approach improves significantly on performance for pathology data. Our results indicate that histopathology imagery is substantially more complex than the data targeted by the previous methods. This complexity requires not only a more advanced GAN architecture but also an appropriate anomaly metric to capture the quality of the reconstructed images.


title: Inclusive photon production at forward rapidities using PMD in p-Pb collisions at $\sqrt{\it{s}_{\rm{NN}}} = 8.16$ TeV with ALICE

abstract: We report on the performance studies of two correction methods, namely the efficiency-purity method and the Bayesian unfolding method applied to the pseudorapidity distribution of photons. The pseudorapidity distribution of inclusive photons at forward rapidities in the range \mbox{\small $(2.3<\eta<3.9)$} in p\textendash Pb collisions at $\sqrt{\it{s}_{\rm{NN}}} = 8.16$ TeV is obtained with the HIJING Monte Carlo event generator. The simulated data samples were obtained from the Photon Multiplicity Detector (PMD) in ALICE.


title: The rank of a CM elliptic curve and a recurrence formula

abstract: Let $p$ be a prime number and $E_{p}$ denote the elliptic curve $y^2=x^3+px$. It is known that for $p$ which is congruent to $1, 9$ modulo $16$, the rank of $E_{p}$ over $\mathbb{Q}$ is equal to $0, 2$. Under the condition that the Birch and Swinnerton-Dyer conjecture is true, we give a necessary and sufficient condition that the rank is $2$ in terms of the constant term of some polynomial that is defined by a recurrence formula.


title: Optimisation of complex integration contours at higher order

abstract: We continue our study of contour deformation as a practical tool for dealing with the sign problem using the $d$-dimensional Bose gas with non-zero chemical potential as a toy model. We derive explicit expressions for contours up to the second order with respect to a natural small parameter and generalise these contours to an ansatz for which the evaluation of the Jacobian is fast ($O(1)$). We examine the behaviour of the various proposed contours as a function of space-time dimensionality, the chemical potential, and lattice size and geometry and use the mean phase factor as a measure of the severity of the sign problem. In turns out that this method leads to a substantial reduction of the sign problem and that it becomes more efficient as space-time dimensionality is increased. Correlations among contributions to $\operatorname{Im}\langle S \rangle$ play a key role in determining the mean phase factor and we examine these correlations in detail.


title: Wait-free approximate agreement on graphs

abstract: Approximate agreement is one of the few variants of consensus that can be solved in a wait-free manner in asynchronous systems where processes communicate by reading and writing to shared memory. In this work, we consider a natural generalisation of approximate agreement on arbitrary undirected connected graphs. Each process is given a vertex of the graph as input and, if non-faulty, must output a vertex such that - all the outputs are within distance 1 of one another, and - each output value lies on a shortest path between two input values. From prior work, it is known that there is no wait-free algorithm among $n \ge 3$ processes for this problem on any cycle of length $c \ge 4$, by reduction from 2-set agreement (Casta\~neda et al., 2018). In this work, we investigate the solvability and complexity of this task on general graphs. We give a new, direct proof of the impossibility of approximate agreement on cycles of length $c \ge 4$, via a generalisation of Sperner's Lemma to convex polygons. We also extend the reduction from 2-set agreement to a larger class of graphs, showing that approximate agreement on on these graphs is unsolvable. Furthermore, we show that combinatorial arguments, used by both existing proofs, are necessary, by showing that the impossibility of a wait-free algorithm in the nonuniform iterated snapshot model cannot be proved via an extension-based proof. On the positive side, we present a wait-free algorithm for a class of graphs that properly contains the class of chordal graphs.


title: Secondary Ion Beams

abstract: Secondary ion beams are beams of particles produced by bombarding a production target with a primary beam of a stable nuclide (in most cases protons) or by fragmentation of heavy primary particles. These methods are used for short lived, instable particles which cannot be introduced into the ion source (or used as target). The secondary beam particles can be produced i) by bombarding a heavy, stable element in a second ion source (ISOL method), ii) by fragmentation of heavy beam particles, or iii) by creation of particle-antiparticle pairs (e.g. pions or antiprotons). Beams of decay products from secondary beams (e.g. muons or neutrinos from pion decay) can be considered as tertiary beams.


title: Generating Interpretable Counterfactual Explanations By Implicit Minimisation of Epistemic and Aleatoric Uncertainties

abstract: Counterfactual explanations (CEs) are a practical tool for demonstrating why machine learning classifiers make particular decisions. For CEs to be useful, it is important that they are easy for users to interpret. Existing methods for generating interpretable CEs rely on auxiliary generative models, which may not be suitable for complex datasets, and incur engineering overhead. We introduce a simple and fast method for generating interpretable CEs in a white-box setting without an auxiliary model, by using the predictive uncertainty of the classifier. Our experiments show that our proposed algorithm generates more interpretable CEs, according to IM1 scores, than existing methods. Additionally, our approach allows us to estimate the uncertainty of a CE, which may be important in safety-critical applications, such as those in the medical domain.


title: Covid-19 Discourse on Twitter: How the Topics, Sentiments, Subjectivity, and Figurative Frames Changed Over Time

abstract: The words we use to talk about the current epidemiological crisis on social media can inform us on how we are conceptualizing the pandemic and how we are reacting to its development. This paper provides an extensive explorative analysis of how the discourse about Covid-19 reported on Twitter changes through time, focusing on the first wave of this pandemic. Based on an extensive corpus of tweets (produced between 20th March and 1st July 2020) first we show how the topics associated with the development of the pandemic changed through time, using topic modeling. Second, we show how the sentiment polarity of the language used in the tweets changed from a relatively positive valence during the first lockdown, toward a more negative valence in correspondence with the reopening. Third we show how the average subjectivity of the tweets increased linearly and fourth, how the popular and frequently used figurative frame of WAR changed when real riots and fights entered the discourse.


title: Training Dynamical Binary Neural Networks with Equilibrium Propagation

abstract: Equilibrium Propagation (EP) is an algorithm intrinsically adapted to the training of physical networks, thanks to the local updates of weights given by the internal dynamics of the system. However, the construction of such a hardware requires to make the algorithm compatible with existing neuromorphic CMOS technologies, which generally exploit digital communication between neurons and offer a limited amount of local memory. In this work, we demonstrate that EP can train dynamical networks with binary activations and weights. We first train systems with binary weights and full-precision activations, achieving an accuracy equivalent to that of full-precision models trained by standard EP on MNIST, and losing only 1.9% accuracy on CIFAR-10 with equal architecture. We then extend our method to the training of models with binary activations and weights on MNIST, achieving an accuracy within 1% of the full-precision reference for fully connected architectures and reaching the full-precision accuracy for convolutional architectures. Our extension of EP to binary networks opens new solutions for on-chip learning and provides a compact framework for training BNNs end-to-end with the same circuitry as for inference.


title: Two-gluon production of $\phi$ and $\eta'$ mesons in proton-proton collisions at high energies

abstract: We discuss gluon-gluon mechanisms for production of mesons with hidden strangeness, such as $\eta'$ and $\phi$ meson, in proton-proton collisions at large energies. The $g^* g^* \to \eta'$ and $g^* g^* \to \phi g$ mechanisms are considered only and the corresponding cross sections are calculated in the $k_t$-factorization approach. The $F_{\gamma^* \gamma^* \to \eta'}$ and $F_{g^* g^* \to \eta'}$ form factors are calculated from quark-antiquark $\eta'$ light-cone wave function including quark/antiquark transverse momenta. The result for two-photon transition form factor demonstrates that higher twists may survive even to large photon virtualities. The result is compared with the result of a recent leading-twist NLO analysis which uses phenomenological distribution amplitudes fitted to exclusive production of $\eta'$ in $e^+ e^- \to e^+ e^- \eta'$ reaction. We calculate transverse momentum distributions of both $\eta'$ and $\phi$ mesons in proton-proton collisions for RHIC and LHC energies. The results are compared to experimental data whenever available. The results of the Lund string model are shown for comparison for $\eta'$ production at LHC energies. It seems that the two-gluon fusion is not the dominant mechanism for both $\phi$ and $\eta'$ production, although the situation for $\eta'$, especially at larger energies, is less clear due to lack of experimental data.


title: Coordinate Constructions in English Enhanced Universal Dependencies: Analysis and Computational Modeling

abstract: In this paper, we address the representation of coordinate constructions in Enhanced Universal Dependencies (UD), where relevant dependency links are propagated from conjunction heads to other conjuncts. English treebanks for enhanced UD have been created from gold basic dependencies using a heuristic rule-based converter, which propagates only core arguments. With the aim of determining which set of links should be propagated from a semantic perspective, we create a large-scale dataset of manually edited syntax graphs. We identify several systematic errors in the original data, and propose to also propagate adjuncts. We observe high inter-annotator agreement for this semantic annotation task. Using our new manually verified dataset, we perform the first principled comparison of rule-based and (partially novel) machine-learning based methods for conjunction propagation for English. We show that learning propagation rules is more effective than hand-designing heuristic rules. When using automatic parses, our neural graph-parser based edge predictor outperforms the currently predominant pipelinesusing a basic-layer tree parser plus converters.


title: General Reiteration Theorems for $\mathcal{R}$ and $\mathcal{L}$ Clases: Mixed Interpolation of $\mathcal{R}$ and $\mathcal{L}$-spaces

abstract: Given $E_0, E_1, F_0, F_1, E$ rearrangement invariant function spaces, $a_0$, $a_1$, $b_0$, $b_1$, $b$ slowly varying functions and $0< \theta_0<\theta_1<1$, we characterize the interpolation spaces $$(\overline{X}^{\mathcal R}_{\theta_0,b_0,E_0,a_0,F_0}, \overline{X}^{\mathcal R}_{\theta_1, b_1,E_1,a_1,F_1})_{\theta,b,E},\quad (\overline{X}^{\mathcal L}_{\theta_0, b_0,E_0,a_0,F_0}, \overline{X}^{\mathcal L}_{\theta_1,b_1,E_1,a_1,F_1})_{\theta,b,E}$$ and $$(\overline{X}^{\mathcal R}_{\theta_0,b_0,E_0,a_0,F_0}, \overline{X}^{\mathcal L}_{\theta_1, b_1,E_1,a_1,F_1})_{\theta,b,E},\quad (\overline{X}^{\mathcal L}_{\theta_0, b_0,E_0,a_0,F_0}, \overline{X}^{\mathcal R}_{\theta_1,b_1,E_1,a_1,F_1})_{\theta,b,E},$$ for all possible values of $\theta\in[0,1]$. Applications to interpolation identities for grand and small Lebesgue spaces, Gamma spaces and $A$ and $B$-type spaces are given.


title: Computational Homogenization of Concrete in the Cyber Size-Resolution-Discretization (SRD) Parameter Space

abstract: Micro- and mesostructures of multiphase materials obtained from tomography and image acquisition are an ever more important database for simulation analyses. Huge data sets for reconstructed 3d volumes typically as voxel grids call for criteria and measures to find an affordable balance of accuracy and efficiency. The present work shows for a 3d mesostructure of concrete in the elastic deformation range, how the computational complexity in analyses of numerical homogenization can be reduced at controlled errors. Reduction is systematically applied to specimen size S, resolution R, and discretization D, which span the newly introduced SRD parameter space. Key indicators for accuracy are (i) the phase fractions, (ii) the homogenized elasticity tensor, (iii) its invariance with respect to the applied boundary conditions and (iv) the total error as well as spatial error distributions, which are computed and estimated. Pre-analyses in the 2d SRD parameter sub-space explore the transferability to the 3d case. Beyond the concrete specimen undergoing elastic deformations in the present work, the proposed concept enables accuracy-efficiency balances for various classes of heterogeneous materials in different deformation regimes and thus contributes to build comprehensive digital twins of materials with validated attributes.


title: Modulating Localization and Classification for Harmonized Object Detection

abstract: Object detection involves two sub-tasks, i.e. localizing objects in an image and classifying them into various categories. For existing CNN-based detectors, we notice the widespread divergence between localization and classification, which leads to degradation in performance. In this work, we propose a mutual learning framework to modulate the two tasks. In particular, the two tasks are forced to learn from each other with a novel mutual labeling strategy. Besides, we introduce a simple yet effective IoU rescoring scheme, which further reduces the divergence. Moreover, we define a Spearman rank correlation-based metric to quantify the divergence, which correlates well with the detection performance. The proposed approach is general-purpose and can be easily injected into existing detectors such as FCOS and RetinaNet. We achieve a significant performance gain over the baseline detectors on the COCO dataset.


title: Gabor frames for rational functions

abstract: We study the frame properties of the Gabor systems $$\mathfrak{G}(g;\alpha,\beta):=\{e^{2\pi i \beta m x}g(x-\alpha n)\}_{m,n\in\mathbb{Z}}.$$ In particular, we prove that for Herglotz windows $g$ such systems always form a frame for $L^2(\mathbb{R})$ if $\alpha,\beta>0$, $\alpha\beta\leq1$. For general rational windows $g\in L^2(\mathbb{R})$ we prove that $\mathfrak{G}(g;\alpha,\beta)$ is a frame for $L^2(\mathbb{R})$ if $0<\alpha,\beta$, $\alpha\beta<1$, $\alpha\beta\not\in\mathbb{Q}$ and $\hat{g}(\xi)\neq0$, $\xi>0$, thus confirming Daubechies conjecture for this class of functions. We also discuss some related questions, in particular sampling in shift-invariant subspaces of $L^2(\mathbb{R})$.


title: On the Electromagnetic Response of Topological Superconductors

abstract: We resolve several puzzles related to the electromagnetic response of topological superconductors in 3+1 dimensions. In particular we show by an analytical calculation that the interface between a topological and normal superconductor does not exhibit any quantum Hall effect as long as time reversal invariance is preserved. We contrast this with the analogous case of a topological insulator to normal insulator interface. The difference is that in the topological insulator the electromagnetic vector potential couples to a vector current in a theory with a Dirac mass, while in the superconductor a pair of Weyl fermions are gapped by Majorana masses and the electromagnetic vector potential couples to their axial currents.


title: Anti-crosstalk high-fidelity state discrimination for superconducting qubits

abstract: Measurement for qubits plays a key role in quantum computation. Current methods for classifying states of single qubit in a superconducting multi-qubit system produce fidelities lower than expected due to the existence of crosstalk, especially in case of frequency crowding. Here, We make the digital signal processing (DSP) system used in measurement into a shallow neural network and train it to be an optimal classifier to reduce the impact of crosstalk. The experiment result shows the crosstalk-induced readout error deceased by 100% after a 3-second optimization applied on the 6-qubit superconducting quantum chip.


title: Framework for Modeling and Optimization of On-Orbit Servicing Operations under Demand Uncertainties

abstract: This paper develops a framework that models and optimizes the operations of complex on-orbit servicing infrastructures involving one or more servicers and orbital depots to provide multiple types of services to a fleet of geostationary satellites. The proposed method extends the state-of-the-art space logistics technique by addressing the unique challenges in on-orbit servicing applications, and integrate it with the Rolling Horizon decision making approach. The space logistics technique enables modeling of the on-orbit servicing logistical operations as a Mixed-Integer Linear Program whose optimal solutions can efficiently be found. The Rolling Horizon approach enables the assessment of the long-term value of an on-orbit servicing infrastructure by accounting for the uncertain service needs that arise over time among the geostationary satellites. Two case studies successfully demonstrate the effectiveness of the framework for (1) short-term operational scheduling and (2) long-term strategic decision making for on-orbit servicing architectures under diverse market conditions.


title: On-Orbit Servicing Optimization Framework with High- and Low-Thrust Propulsion Tradeoff

abstract: This paper proposes an on-orbit servicing logistics optimization framework that is capable of performing the short-term operational scheduling and long-term strategic planning of sustainable servicing infrastructures that involve high-thrust, low-thrust, and/or multimodal servicers supported by orbital depots. The proposed framework generalizes the state-of-the-art on-orbit servicing logistics optimization method by incorporating user-defined trajectory models and optimizing the logistics operations with the propulsion technology and trajectory tradeoff in consideration. Mixed-Integer Linear Programming is leveraged to find the optimal operations of the servicers over a given period, while the Rolling Horizon approach is used to consider a long time horizon accounting for the uncertainties in service demand. Several analyses are carried out to demonstrate the value of the proposed framework in automatically trading off the high- and low-thrust propulsion systems for both short-term operational scheduling and long-term strategic planning of on-orbit servicing infrastructures.


title: Complex magnetism of the two-dimensional antiferromagnetic Ge2F: from a N\'eel spin-texture to a potential antiferromagnetic skyrmion

abstract: Based on density functional theory combined with low-energy models, we explore the magnetic properties of a hybrid atomic-thick two-dimensional (2D) material made of Germanene doped with fluorine atoms in a half-fluorinated configuration (Ge2F). The Fluorine atoms are highly electronegative, which induce magnetism and break inversion symmetry, triggering thereby a finite and strong Dzyaloshinskii-Moriya interaction (DMI). The magnetic exchange interactions is of antiferromagnetic nature among the first, second and third neighbors, which leads to magnetic frustration. The N\'eel state is found to be the most stable state, with magnetic moments lying in the surface plane. This results from the out-of-plane component of the DMI vector, which seems to induce an effective in-plane magnetic anisotropy. Upon application of a magnetic field, spin-spirals and antiferromagnetic skyrmions can be stabilized. We conjecture that this can be realized via magnetic exchange fields induced by a magnetic substrate. To complete our characterization, we computed the spin-wave excitations and the resulting spectra, which could be probed via electron energy loss spectroscopy, magneto-Raman spectroscopy or scanning tunneling spectroscopy.


title: On an inverse problem of nonlinear imaging with fractional damping

abstract: This paper considers the attenuated Westervelt equation in pressure formulation. The attenuation is by various models proposed in the literature and characterised by the inclusion of non-local operators that give power law damping as opposed to the exponential of classical models. The goal is the inverse problem of recovering a spatially dependent coefficient in the equation, the parameter of nonlinearity $\kappa(x)$, in what becomes a nonlinear hyperbolic equation with nonlocal terms. The overposed measured data is a time trace taken on a subset of the domain or its boundary. We shall show injectivity of the linearised map from $\kappa$ to the overposed data used to recover it and from this basis develop and analyse Newton-type schemes for its effective recovery.


title: Isogemetric Analysis and Symmetric Galerkin BEM: a 2D numerical study

abstract: Isogeometric approach applied to Boundary Element Methods is an emerging research area. In this context, the aim of the present contribution is that of investigating, from a numerical point of view, the Symmetric Galerkin Boundary Element Method (SGBEM) devoted to the solution of 2D boundary value problems for the Laplace equation, where the boundary and the unknowns on it are both represented by B-splines. We mainly compare this approach, which we call IGA-SGBEM, with a curvilinear SGBEM, which operates on any boundary given by explicit parametric representation and where the approximate solution is obtained using Lagrangian basis. Both techniques are further compared with a standard (conventional) SGBEM approach, where the boundary of the assigned problem is approximated by linear elements and the numerical solution is expressed in terms of Lagrangian basis. Several examples will be presented and discussed, underlying benefits and drawbacks of all the above-mentioned approaches.