title: Unsupervised Discovery of Actions in Instructional Videos

abstract: In this paper we address the problem of automatically discovering atomic actions in unsupervised manner from instructional videos. Instructional videos contain complex activities and are a rich source of information for intelligent agents, such as, autonomous robots or virtual assistants, which can, for example, automatically `read' the steps from an instructional video and execute them. However, videos are rarely annotated with atomic activities, their boundaries or duration. We present an unsupervised approach to learn atomic actions of structured human tasks from a variety of instructional videos. We propose a sequential stochastic autoregressive model for temporal segmentation of videos, which learns to represent and discover the sequential relationship between different atomic actions of the task, and which provides automatic and unsupervised self-labeling for videos. Our approach outperforms the state-of-the-art unsupervised methods with large margins. We will open source the code.


title: Strong quantum computational advantage using a superconducting quantum processor

abstract: Scaling up to a large number of qubits with high-precision control is essential in the demonstrations of quantum computational advantage to exponentially outpace the classical hardware and algorithmic improvements. Here, we develop a two-dimensional programmable superconducting quantum processor, \textit{Zuchongzhi}, which is composed of 66 functional qubits in a tunable coupling architecture. To characterize the performance of the whole system, we perform random quantum circuits sampling for benchmarking, up to a system size of 56 qubits and 20 cycles. The computational cost of the classical simulation of this task is estimated to be 2-3 orders of magnitude higher than the previous work on 53-qubit Sycamore processor [Nature \textbf{574}, 505 (2019)]. We estimate that the sampling task finished by \textit{Zuchongzhi} in about 1.2 hours will take the most powerful supercomputer at least 8 years. Our work establishes an unambiguous quantum computational advantage that is infeasible for classical computation in a reasonable amount of time. The high-precision and programmable quantum computing platform opens a new door to explore novel many-body phenomena and implement complex quantum algorithms.


title: Prismatic $F$-crystals and crystalline Galois representations

abstract: Let $K$ be a complete discretely valued field of mixed characteristic $(0,p)$ with perfect residue field. We prove that the category of prismatic $F$-crystals on $\mathcal O_K$ is equivalent to the category of lattices in crystalline $G_K$-representations.


title: Speech2Properties2Gestures: Gesture-Property Prediction as a Tool for Generating Representational Gestures from Speech

abstract: We propose a new framework for gesture generation, aiming to allow data-driven approaches to produce more semantically rich gestures. Our approach first predicts whether to gesture, followed by a prediction of the gesture properties. Those properties are then used as conditioning for a modern probabilistic gesture-generation model capable of high-quality output. This empowers the approach to generate gestures that are both diverse and representational. Follow-ups and more information can be found on the project page: https://svito-zar.github.io/speech2properties2gestures/ .


title: Adding Interactivity to Education of Complex Wireless Networks Using Digital Game-Based Learning

abstract: Can we make undergraduate engineering education easier and more fun? This research aims to see if we can answer the ambitious question! The digital game-based learning (DGBL) has been found to increase the efficacy of learning when applied in engineering classes thanks to its ability to make students feel easy and fun. However, the state-of-the-art DGBL schemes still observe challenges in various aspects including cost, efficacy, readiness of instructors and students, etc. Motivated from the challenges, this research proposes to design a DGBL platform that features visualized and systematic views. Specifically, we identify the blockchain applied to wireless communications and networking systems as a key ecosystem that we capitalize the benefit of the proposed platform.. As such, in this paper, we lay out a comprehensive DGBL pedagogy that includes (i) creation of relevant assignment activities and class materials in a relevant course and (ii) evaluation of the pedagogical efficacy. In a long-term view, a successful delivery of this research will increase the confidence of undergraduate engineering students on the "in-concert" dynamics of various factors determining the performance of a blockchain system built on a wireless network.


title: Unitarity and Page curve for evaporation of 2D AdS black holes

abstract: We explore the Hawking evaporation of two-dimensional anti-de Sitter (AdS$_2$), dilatonic black hole coupled with conformal matter, and derive the Page curve for the entanglement entropy of radiation. We first work in a semiclassical approximation with backreaction. We show that the end-point of the evaporation process is AdS$_2$ with a vanishing dilaton, i.e. a regular, singularity-free, zero-entropy state. We explicitly compute the entanglement entropies of the black hole and the radiation, as functions of the horizon radius, using the conformal field theory (CFT) dual to AdS$_2$ gravity. We use a simplified toy model, in which evaporation is described by the forming and growing of a negative mass configuration in the positive-mass black hole interior. This is similar to the ``islands'' proposal, recently put forward to explain the Page curve for evaporating black holes. The resulting Page curve for AdS$_2$ black holes is in agreement with unitary evolution. The entanglement entropy of the radiation initially grows, closely following a thermal behavior, reaches a maximum at half-way of the evaporation process, and then goes down to zero, following the Bekenstein-Hawking entropy of the black hole. Consistency of our simplified model requires a non-trivial identification of the central charge of the CFT describing AdS$_2$ gravity with the number of species of fields describing Hawking radiation.


title: Real-Time Human Pose Estimation on a Smart Walker using Convolutional Neural Networks

abstract: Rehabilitation is important to improve quality of life for mobility-impaired patients. Smart walkers are a commonly used solution that should embed automatic and objective tools for data-driven human-in-the-loop control and monitoring. However, present solutions focus on extracting few specific metrics from dedicated sensors with no unified full-body approach. We investigate a general, real-time, full-body pose estimation framework based on two RGB+D camera streams with non-overlapping views mounted on a smart walker equipment used in rehabilitation. Human keypoint estimation is performed using a two-stage neural network framework. The 2D-Stage implements a detection module that locates body keypoints in the 2D image frames. The 3D-Stage implements a regression module that lifts and relates the detected keypoints in both cameras to the 3D space relative to the walker. Model predictions are low-pass filtered to improve temporal consistency. A custom acquisition method was used to obtain a dataset, with 14 healthy subjects, used for training and evaluating the proposed framework offline, which was then deployed on the real walker equipment. An overall keypoint detection error of 3.73 pixels for the 2D-Stage and 44.05mm for the 3D-Stage were reported, with an inference time of 26.6ms when deployed on the constrained hardware of the walker. We present a novel approach to patient monitoring and data-driven human-in-the-loop control in the context of smart walkers. It is able to extract a complete and compact body representation in real-time and from inexpensive sensors, serving as a common base for downstream metrics extraction solutions, and Human-Robot interaction applications. Despite promising results, more data should be collected on users with impairments, to assess its performance as a rehabilitation tool in real-world scenarios.


abstract: We consider degenerate Monge-Amp\`ere equations on compact Hessian manifolds. We establish compactness properties of the set of normalized quasi-convex functions and show local and global comparison principles for twisted Monge-Amp\`ere operators. We then use the Perron method to solve Monge-Amp\`ere equations whose RHS involves an arbitrary probability measure, generalizing works of Cheng-Yau, Delano\"e, Caffarelli-Viaclovsky and Hultgren-\"Onnheim. The intrinsic approach we develop should be useful in deriving similar results on mildly singular Hessian varieties, in line with the Strominger-Yau-Zaslow conjecture.


title: Instantaneous Capture Input for Balancing the Variable Height Inverted Pendulum

abstract: Balancing is a fundamental need for legged robots due to their unstable floating-base nature. Balance control has been thoroughly studied for simple models such as the linear inverted pendulum thanks to the concept of the instantaneous capture point (ICP), yet the constant center of mass height assumption limits the application. This paper explores balancing of the variable-height inverted pendulum (VHIP) model by introducing the \emph{instantaneous capture input} (ICI), an extension of the ICP based on its key properties. Namely, the ICI can be computed as a function of the state, and when this function is used as the control policy, the ICI is rendered stationary and the system will eventually come to a stop. This characterization induces an analytical region of capturable states for the VHIP, which can be used to conceptually guide where to step. To further address state and control constraints during recovery, we present and theoretically analyze an explicit ICI-based controller with online optimal feedback gains. Simulations demonstrate the validity of our controller for capturability maintenance compared to an approach based on the divergent component of motion.


title: TENT: Tensorized Encoder Transformer for Temperature Forecasting

abstract: Reliable weather forecasting is of great importance in science, business, and society. The best performing data-driven models for weather prediction tasks rely on recurrent or convolutional neural networks, where some of which incorporate attention mechanisms. In this work, we introduce a novel model based on Transformer architecture for weather forecasting. The proposed Tensorial Encoder Transformer (TENT) model is equipped with tensorial attention and thus it exploits the spatiotemporal structure of weather data by processing it in multidimensional tensorial format. We show that compared to the classical encoder transformer, 3D convolutional neural networks, LSTM, and Convolutional LSTM, the proposed TENT model can better learn the underlying complex pattern of the weather data for the studied temperature prediction task. Experiments on two real-life weather datasets are performed. The datasets consist of historical measurements from weather stations in the USA, Canada and Europe. The first dataset contains hourly measurements of weather attributes for 30 cities in the USA and Canada from October 2012 to November 2017. The second dataset contains daily measurements of weather attributes of 18 cities across Europe from May 2005 to April 2020. Two attention scores are introduced based on the obtained tonsorial attention and are visualized in order to shed light on the decision-making process of our model and provide insight knowledge on the most important cities for the target cities.


title: Frobenius objects in the category of spans

abstract: We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the symplectic category, and thus Frobenius objects in Span provide set-theoretic models for classical topological field theories. The paper includes an explanation of this relationship.


title: Continuous data assimilation and long-time accuracy in a $C^0$ interior penalty method for the Cahn-Hilliard equation

abstract: We propose a numerical approximation method for the Cahn-Hilliard equations that incorporates continuous data assimilation in order to achieve long time accuracy. The method uses a C$^0$ interior penalty spatial discretization of the fourth order Cahn-Hilliard equations, together with a backward Euler temporal discretization. We prove the method is long time stable and long time accurate, for arbitrarily inaccurate initial conditions, provided enough data measurements are incorporated into the simulation. Numerical experiments illustrate the effectiveness of the method on a benchmark test problem.


title: The inductive McKay-Navarro conditions for the prime 2 and some groups of Lie type

abstract: For a prime $\ell$, the McKay conjecture suggests a bijection between the set of irreducible characters of a finite group with $\ell'$-degree and the corresponding set for the normalizer of a Sylow $\ell$- subgroup. Navarro's refinement suggests that the values of the characters on either side of this bijection should also be related, proposing that the bijection commutes with certain Galois automorphisms. Recently, Navarro--Spaeth--Vallejo have reduced the McKay--Navarro conjecture to certain "inductive" conditions on finite simple groups. We prove that these inductive McKay--Navarro (also called the inductive Galois--McKay) conditions hold for the prime $\ell = 2$ for several groups of Lie type, including the untwisted groups without nontrivial graph automorphisms.


title: Schottky diode temperature sensor for pressure sensor

abstract: The small silicon chip of Schottky diode (0.8x0.8x0.4 mm3) with planar arrangement of electrodes (chip PSD) as temperature sensor, which functions under the operating conditions of pressure sensor, was developed. The forward I-V characteristic of chip PSD is determined by potential barrier between Mo and n-Si (ND = 3x1015 cm-3). Forward voltage UF = 208 mV and temperature coefficient TC = -1.635 mV/C (with linearity kT <0.4% for temperature range of -65 to +85 C) at supply current IF = 1 mA is achieved. The reverse I-V characteristic has high breakdown voltage UBR > 85 V and low leakage current IL < 5 {\mu}A at 25 C and IL < 130 {\mu}A at 85 C (UR = 20 V) because chip PSD contains the structure of two p-type guard rings along the anode perimeter. The application of PSD chip for wider temperature range from -65 to +115 C is proved. The separate chip PSD of temperature sensor located at a distance of less than 1.5 mm from the pressure sensor chip. The PSD chip transmits input data for temperature compensation of pressure sensor errors by ASIC and for direct temperature measurement.


title: One-Shot Affordance Detection

abstract: Affordance detection refers to identifying the potential action possibilities of objects in an image, which is an important ability for robot perception and manipulation. To empower robots with this ability in unseen scenarios, we consider the challenging one-shot affordance detection problem in this paper, i.e., given a support image that depicts the action purpose, all objects in a scene with the common affordance should be detected. To this end, we devise a One-Shot Affordance Detection (OS-AD) network that firstly estimates the purpose and then transfers it to help detect the common affordance from all candidate images. Through collaboration learning, OS-AD can capture the common characteristics between objects having the same underlying affordance and learn a good adaptation capability for perceiving unseen affordances. Besides, we build a Purpose-driven Affordance Dataset (PAD) by collecting and labeling 4k images from 31 affordance and 72 object categories. Experimental results demonstrate the superiority of our model over previous representative ones in terms of both objective metrics and visual quality. The benchmark suite is at ProjectPage.


title: Non-Leptonic Decays of Bileptons

abstract: We provide a detailed analysis of the decays of doubly-charged bilepton gauge bosons $Y^{\pm\pm}$, as predicted in models based on a $SU(3)_C\times SU(3)_L\times U(1)_X$ symmetry. In addition to the decay modes into same-sign lepton pairs, which were already investigated in scenarios wherein each branching ratio was about one third, there are, depending on the mass spectrum, possible non-leptonic decays which reduce the leptonic rates. These non-leptonic decays are typically into a light quark (antiquark) and a heavy TeV-scale antiquark (quark), which carries double lepton number and decays via virtual bileptons. We choose two benchmark points to represent the particle spectrum and present a phenomenological analysis of such decays. We find that, while the LHC statistics are too low, even in the high-luminosity phase, they can lead to a visible signal at a future 100 TeV hadron collider (FCC-$hh$). A more exhaustive exploration with a rigorous inclusion of tagging efficiencies, detector simulations and higher-order corrections to the partonic cross section, aiming at assessing the reach of LHC and FCC-$hh$ for bileptons as a function of the model parameters, as well as a recast of four-top searches in terms of the bilepton model, are deferred to future work.


title: A Theory-Driven Self-Labeling Refinement Method for Contrastive Representation Learning

abstract: For an image query, unsupervised contrastive learning labels crops of the same image as positives, and other image crops as negatives. Although intuitive, such a native label assignment strategy cannot reveal the underlying semantic similarity between a query and its positives and negatives, and impairs performance, since some negatives are semantically similar to the query or even share the same semantic class as the query. In this work, we first prove that for contrastive learning, inaccurate label assignment heavily impairs its generalization for semantic instance discrimination, while accurate labels benefit its generalization. Inspired by this theory, we propose a novel self-labeling refinement approach for contrastive learning. It improves the label quality via two complementary modules: (i) self-labeling refinery (SLR) to generate accurate labels and (ii) momentum mixup (MM) to enhance similarity between query and its positive. SLR uses a positive of a query to estimate semantic similarity between a query and its positive and negatives, and combines estimated similarity with vanilla label assignment in contrastive learning to iteratively generate more accurate and informative soft labels. We theoretically show that our SLR can exactly recover the true semantic labels of label-corrupted data, and supervises networks to achieve zero prediction error on classification tasks. MM randomly combines queries and positives to increase semantic similarity between the generated virtual queries and their positives so as to improves label accuracy. Experimental results on CIFAR10, ImageNet, VOC and COCO show the effectiveness of our method. PyTorch code and model will be released online.


title: Measuring close proximity interactions in summer camps during the COVID-19 pandemic

abstract: Policy makers have implemented multiple non-pharmaceutical strategies to mitigate the COVID-19 worldwide crisis. Interventions had the aim of reducing close proximity interactions, which drive the spread of the disease. A deeper knowledge of human physical interactions has revealed necessary, especially in all settings involving children, whose education and gathering activities should be preserved. Despite their relevance, almost no data are available on close proximity contacts among children in schools or other educational settings during the pandemic. Contact data are usually gathered via Bluetooth, which nonetheless offers a low temporal and spatial resolution. Recently, ultra-wideband (UWB) radios emerged as a more accurate alternative that nonetheless exhibits a significantly higher energy consumption, limiting in-field studies. In this paper, we leverage a novel approach, embodied by the Janus system that combines these radios by exploiting their complementary benefits. The very accurate proximity data gathered in-field by Janus, once augmented with several metadata, unlocks unprecedented levels of information, enabling the development of novel multi-level risk analyses. By means of this technology, we have collected real contact data of children and educators in three summer camps during summer 2020 in the province of Trento, Italy. The wide variety of performed daily activities induced multiple individual behaviors, allowing a rich investigation of social environments from the contagion risk perspective. We consider risk based on duration and proximity of contacts and classify interactions according to different risk levels. We can then evaluate the summer camps' organization, observe the effect of partition in small groups, or social bubbles, and identify the organized activities that mitigate the riskier behaviors. [...]


title: A new approach to Bell and poly-Bell numbers and polynomials

abstract: The aim of this paper is to introduce Bell polynomials and numbers of the second kind and poly-Bell polynomials and numbers of the second kind, and to derive their explicit expressions, recurrence relations and some identities involving those polynomials and numbers. We also consider degenerate versions of those polynomials and numbers, namely degenerate Bell polynomials and numbers of the second kind and degenerate poly-Bell polynomials and numbers of the second kind, and deduce their similar results.


title: $\mathbb{Z}$-graded supergeometry: Differential graded modules, higher algebroid representations, and linear structures

abstract: This thesis studies the representation theory and linear structures of $\mathcal{Q}$-manifolds and higher Lie algebroids. We introduce differential graded modules (or for short DG-modules) of $\mathcal{Q}$-manifolds and the equivalent notion of representations up to homotopy in the case of Lie $n$-algebroids ($n\in\mathbb{N}$), as generalisations of the homonymous structures that exist already in the case of ordinary Lie algebroids. The adjoint and coadjoint modules are described, and the corresponding split versions of the adjoint and coadjoint representations up to homotopy of Lie $n$-algebroids are explained. The compatibility of a graded Poisson bracket with the homological vector field on a $\mathbb{Z}$-graded manifold is shown to be equivalent to an (anti-)morphism from the coadjoint module to the adjoint module, leading to an alternative characterisation of non-degeneracy of graded Poisson structures. The Weil algebra of a general $\mathcal{Q}$-manifold is defined and is computed explicitly in the case of Lie $n$-algebroids over a base (smooth) manifold $M$ together with a choice of a splitting and linear $TM$-connections. In addition, we study linear structures on $\mathbb{Z}$-graded manifolds, for which we see the connection with DG-modules and representations up to homotopy. In the world of split Lie $n$-algebroids, this leads to the notion of VB-Lie $n$-algebroids. We prove that there is an equivalence between the category of VB-Lie $n$-algebroids over a Lie $n$-algebroid $\underline{A}$ and the category of $(n+1)$-term representations up to homotopy of $\underline{A}$, generalising thus a well-known result from the theory of ordinary VB-algebroids.


title: Efficient Maximum Likelihood Decoding of Polar Codes Over the Binary Erasure Channel

abstract: A new algorithm for efficient exact maximum likelihood decoding of polar codes (which may be CRC augmented), transmitted over the binary erasure channel, is presented. The algorithm applies a matrix triangulation process on a sparse polar code parity check matrix, followed by solving a small size linear system over GF(2). To implement the matrix triangulation, we apply belief propagation decoding type operations. We also indicate how this decoder can be implemented in parallel for low latency decoding. Numerical simulations are used to evaluate the performance and computational complexity of the new algorithm.


title: Emergence in Science

abstract: In the scientific literature, the term emergent phenomena is invoked in the context of a collective behavior observed in a complex adaptive system that exhibits no correspondence with the behavior of the system constituents. Although this description is too generic to be termed a definition, it alludes to the fact that emergent phenomena are closely related to esoteric observations and neoteric developments in science. With these impressions, we aim to investigate a variety of observed behavior from the perspective of an emergentist. Starting with a few familiar portrayals of emergence, we devote a large body of this narrative review to explain instances of emergence in condensed matter systems, namely the phase transition phenomena, spontaneous symmetry breaking, and macroscopic quantum phenomena. At the same time, to present a broader perspective, we cross the domain boundaries to also provide a succinct description of emergent phenomena prevailing in social sciences, economics, computing environments, and in biological systems, as well.


title: Counting Divisions of a $2\times n$ Rectangular Grid

abstract: Consider a $2\times n$ rectangular grid composed of $1\times 1$ squares. Cutting only along the edges between squares, how many ways are there to divide the board into $k$ pieces? Building off the work of Durham and Richmond, who found the closed-form solutions for the number of divisions into 2 and 3 pieces, we prove a recursive relationship that counts the number of divisions of the board into $k$ pieces. Using this recursion, we obtain closed-form solutions for the number of divisions for $k=4$ and $k=5$ using fitting techniques on data generated from the recursion. Furthermore, we show that the closed-form solution for any fixed $k$ must be a polynomial on $n$ with degree $2k-2$.


title: Differentially Private Algorithms for Graphs Under Continual Observation

abstract: Differentially private algorithms protect individuals in data analysis scenarios by ensuring that there is only a weak correlation between the existence of the user in the data and the result of the analysis. Dynamic graph algorithms maintain the solution to a problem (e.g., a matching) on an evolving input, i.e., a graph where nodes or edges are inserted or deleted over time. They output the value of the solution after each update operation, i.e., continuously. We study (event-level and user-level) differentially private algorithms for graph problems under continual observation, i.e., differentially private dynamic graph algorithms. We present event-level private algorithms for partially dynamic counting-based problems such as triangle count that improve the additive error by a polynomial factor (in the length $T$ of the update sequence) on the state of the art, resulting in the first algorithms with additive error polylogarithmic in $T$. We also give $\varepsilon$-differentially private and partially dynamic algorithms for minimum spanning tree, minimum cut, densest subgraph, and maximum matching. The additive error of our improved MST algorithm is $O(W \log^{3/2}T / \varepsilon)$, where $W$ is the maximum weight of any edge, which, as we show, is tight up to a $(\sqrt{\log T} / \varepsilon)$-factor. For the other problems, we present a partially-dynamic algorithm with multiplicative error $(1+\beta)$ for any constant $\beta > 0$ and additive error $O(W \log(nW) \log(T) / (\varepsilon \beta))$. Finally, we show that the additive error for a broad class of dynamic graph algorithms with user-level privacy must be linear in the value of the output solution's range.


title: Additive Sparsification of CSPs

abstract: Multiplicative cut sparsifiers, introduced by Bencz\'ur and Karger [STOC'96], have proved extremely influential and found various applications. Precise characterisations were established for sparsifiability of graphs with other 2-variable predicates on Boolean domains by Filtser and Krauthgamer [SIDMA'17] and non-Boolean domains by Butti and \v{Z}ivn\'y [SIDMA'20]. Bansal, Svensson and Trevisan [FOCS'19] introduced a weaker notion of sparsification termed "additive sparsification", which does not require weights on the edges of the graph. In particular, Bansal et al. designed algorithms for additive sparsifiers for cuts in graphs and hypergraphs. As our main result, we establish that all Boolean Constraint Satisfaction Problems (CSPs) admit an additive sparsifier; that is, for every Boolean predicate $P:\{0,1\}^k\to\{0,1\}$ of a fixed arity $k$, we show that CSP($P$) admits an additive sparsifier. Under our newly introduced notion of all-but-one sparsification for non-Boolean predicates, we show that CSP($P$) admits an additive sparsifier for any predicate $P:D^k\to\{0,1\}$ of a fixed arity $k$ on an arbitrary finite domain $D$.


title: Inheritances, social classes, and wealth distribution

abstract: We consider a simple theoretical model to investigate the impact of inheritances on the wealth distribution. Wealth is described as a finite resource, which remains constant over different generations and is divided equally among offspring. All other sources of wealth are neglected. We consider different societies characterized by a different offspring probability distribution. We find that, if the population remains constant, the society reaches a stationary wealth distribution. We show that inequality emerges every time the number of children per family is not always the same. For realistic offspring distributions from developed countries, the model predicts a Gini coefficient of $G\approx 0.3$. If we divide the society into wealth classes and set the probability of getting married to depend on the distance between classes, the stationary wealth distribution crosses over from an exponential to a power-law regime as the number of wealth classes and the level of class distinction increase.


title: The Eisenbud-Green-Harris Conjecture

abstract: We survey most of the known results concerning the Eisenbud-Green-Harris Conjecture. Our presentation includes new proofs of several theorems, as well as a unified treatment of many results which are otherwise scattered in the literature. We include a final section with some applications, and examples.


title: Modeling the Block Verification Time of Zcash

abstract: An important aspect of the propagation delay in blockchain networks is the block verification time, which is also responsible for the so-called verifier's dilemma. Models for the block verification time can help to understand and improve the verification process. Moreover, modeling the verification time is necessary for blockchain network simulations. In this paper, we present JOIST, a new model for the block verification time of Zcash. We identify computationally complex operations in the verification process of Zcash, and derive our model based on characteristic transaction features. We evaluate JOIST and show that the model is consistently more accurate than existing models, which consider the block size only.


title: A wormhole geometry from gravitational collapse

abstract: We discuss a proposal on how gravitational collapse of a NEC (Null Energy Condition) violating spherically symmetric fluid distribution can avoid the formation of a zero proper volume singularity and eventually lead to a Lorentzian wormhole geometry. Our idea is illustrated using a time-evolving wormhole spacetime in which, we show how a collapsing sphere may never reach a zero proper volume end-state. The nature of geodesic congruences in such spacetimes is considered and analyzed. Our construction is inspired from a recently proposed static wormhole geometry, the multi-parameter Simpson-Visser line element, which is known to unite wormholes and black holes (regular and singular) in a single framework.


title: The runsort permuton

abstract: Suppose we choose a permutation $\pi$ uniformly at random from $S_n$. Let $\mathsf{runsort}(\pi)$ be the permutation obtained by sorting the ascending runs of $\pi$ into lexicographic order. Alexandersson and Nabawanda recently asked if the plot of $\mathsf{runsort}(\pi)$, when scaled to the unit square $[0,1]^2$, converges to a limit shape as $n\to\infty$. We answer their question by showing that the measures corresponding to the scaled plots of these permutations $\mathsf{runsort}(\pi)$ converge with probability $1$ to a permuton (limiting probability distribution) that we describe explicitly. In particular, the support of this permuton is $\{(x,y)\in[0,1]^2:x\leq ye^{1-y}\}$.


title: Training Massive Deep Neural Networks in a Smart Contract: A New Hope

abstract: Deep neural networks (DNNs) could be very useful in blockchain applications such as DeFi and NFT trading. However, training / running large-scale DNNs as part of a smart contract is infeasible on today's blockchain platforms, due to two fundamental design issues of these platforms. First, blockchains nowadays typically require that each node maintain the complete world state at any time, meaning that the node must execute all transactions in every block. This is prohibitively expensive for computationally intensive smart contracts involving DNNs. Second, existing blockchain platforms expect smart contract transactions to have deterministic, reproducible results and effects. In contrast, DNNs are usually trained / run lock-free on massively parallel computing devices such as GPUs, TPUs and / or computing clusters, which often do not yield deterministic results. This paper proposes novel platform designs, collectively called A New Hope (ANH), that address the above issues. The main ideas are (i) computing-intensive smart contract transactions are only executed by nodes who need their results, or by specialized serviced providers, and (ii) a non-deterministic smart contract transaction leads to uncertain results, which can still be validated, though at a relatively high cost; specifically for DNNs, the validation cost can often be reduced by verifying properties of the results instead of their exact values. In addition, we discuss various implications of ANH, including its effects on token fungibility, sharding, private transactions, and the fundamental meaning of a smart contract.


title: Three takes on almost complete intersection ideals of grade 3

abstract: We are interested in the structure of almost complete intersection ideals of grade 3. We give three constructions of these ideals and their free resolutions: one from the commutative algebra point of view, an equivariant construction giving a nice canonical form, andfinally an interpretation in terms of open sets in certain Schubert varieties.


title: Exact description of quantum stochastic models as quantum resistors

abstract: We study the transport properties of generic out-of-equilibrium quantum systems connected to fermionic reservoirs. We develop a new method, based on an expansion of the current in terms of the inverse system size and out of equilibrium formulations such as the Keldysh technique and the Meir-Wingreen formula. Our method allows a simple and compact derivation of the current for a large class of systems showing diffusive/ohmic behavior. In addition, we obtain exact solutions for a large class of quantum stochastic Hamiltonians (QSHs) with time and space dependent noise, using a self consistent Born diagrammatic method in the Keldysh representation. We show that these QSHs exhibit diffusive regimes which are encoded in the Keldysh component of the single particle Green's function. The exact solution for these QSHs models confirms the validity of our system size expansion ansatz, and its efficiency in capturing the transport properties. We consider in particular three fermionic models: i) a model with local dephasing ii) the quantum simple symmetric exclusion process model iii) a model with long-range stochastic hopping. For i) and ii) we compute the full temperature and dephasing dependence of the conductance of the system, both for two- and four-points measurements. Our solution gives access to the regime of finite temperature of the reservoirs which could not be obtained by previous approaches. For iii), we unveil a novel ballistic-to-diffusive transition governed by the range and the nature (quantum or classical) of the hopping. As a by-product, our approach equally describes the mean behavior of quantum systems under continuous measurement.


title: A Logical Model for joining Property Graphs

abstract: The present paper upgrades the logical model required to exploit materialized views over property graphs as intended in the seminal paper "A Join Operator for Property Graphs". Furthermore, we provide some computational complexity proofs strengthening the contribution of a forthcoming graph equi-join algorithm proposed in a recently accepted paper.


title: Violation of Bell Inequalities: Mapping the Conceptual Implications

abstract: This short article concentrates on the conceptual aspects of the violation of Bell inequalities, and acts as a map to the 265 cited references. The article outlines (a) relevant characteristics of quantum mechanics, such as statistical balance and entanglement, (b) the thinking that led to the derivation of the original Bell inequality, and (c) the range of claimed implications, including realism, locality and others which attract less attention. The main conclusion is that violation of Bell inequalities appears to have some implications for the nature of physical reality, but that none of these are definite. The violations constrain possible prequantum (underlying) theories, but do not rule out the possibility that such theories might reconcile at least one understanding of locality and realism to quantum mechanical predictions. Violation might reflect, at least partly, failure to acknowledge the contextuality of quantum mechanics, or that data from different probability spaces have been inappropriately combined. Many claims that there are definite implications reflect one or more of (i) imprecise non-mathematical language, (ii) assumptions inappropriate in quantum mechanics, (iii) inadequate treatment of measurement statistics and (iv) underlying philosophical assumptions.


title: Local well-posedness for the Maxwell-Dirac system in temporal gauge

abstract: We consider the low regularity well-posedness problem for the Maxwell-Dirac system in n+1 dimensions in the cases $n=3$ and $n=2$ : \begin{align*} \partial^{\mu} F_{\mu \nu} & = - \langle \psi,\alpha_{\nu} \psi \rangle \\ -i \alpha^{\mu} \partial_{\mu} \psi & = A_{\mu} \alpha^{\mu} \psi \, , \end{align*} where $ F_{\mu \nu} = \partial^{\mu} A_{\nu} - \partial^{\nu} A_{\mu}$ , and $\alpha^{\mu}$ are the Dirac matrices. We assume the temporal gauge $A_0=0$ and make use of the fact that some of the nonlinearities fulfill a null condition. Because we work in the temporal gauge we also apply a method, which was used by Tao for the Yang-Mills system in this gauge.


title: Measurement of Topological Order based on Metric-Curvature Correspondence

abstract: A unified expression for topological invariants has been proposed recently to describe the topological order in Dirac models belonging to any dimension and symmetry class. We uncover a correspondence between the curvature function that integrates to this unified topological invariant and the quantum metric that measures the distance between properly defined many-body Bloch states in momentum space. Based on this metric-curvature correspondence, a time-resolved and angle-resolved photoemission spectroscopy experiment is proposed to measure the violation of spectral sum rule caused by a pulse electric field to detect the quantum metric, from which the topological properties of the system may be extracted.


title: Reciprocal series involving Horadam numbers

abstract: We evaluate some new three parameter families of finite reciprocal sums involving Horadam numbers. We will also be able to state the results for the infinite sums. Some Fibonacci and Lucas sums will be presented as examples.


title: HALF: Holistic Auto Machine Learning for FPGAs

abstract: Deep Neural Networks (DNNs) are capable of solving complex problems in domains related to embedded systems, such as image and natural language processing. To efficiently implement DNNs on a specific FPGA platform for a given cost criterion, e.g. energy efficiency, an enormous amount of design parameters has to be considered from the topology down to the final hardware implementation. Interdependencies between the different design layers have to be taken into account and explored efficiently, making it hardly possible to find optimized solutions manually. An automatic, holistic design approach can improve the quality of DNN implementations on FPGA significantly. To this end, we present a cross-layer design space exploration methodology. It comprises optimizations starting from a hardware-aware topology search for DNNs down to the final optimized implementation for a given FPGA platform. The methodology is implemented in our Holistic Auto machine Learning for FPGAs (HALF) framework, which combines an evolutionary search algorithm, various optimization steps and a library of parametrizable hardware DNN modules. HALF automates both the exploration process and the implementation of optimized solutions on a target FPGA platform for various applications. We demonstrate the performance of HALF on a medical use case for arrhythmia detection for three different design goals, i.e. low-energy, low-power and high-throughput respectively. Our FPGA implementation outperforms a TensorRT optimized model on an Nvidia Jetson platform in both throughput and energy consumption.


title: Sintering-coalescence transition on the nanoscale as a bifurcation phenomenon: molecular dynamics study

abstract: Using the isothermal molecular dynamics (MD), coalescence/sintering of Au nanoparticles (NPs) was simulated by employing the Nose-Hoover thermostat. The MD simulation was realized by using the well-known open program LAMMPS, its version for parallel calculations on GPUs. We have found that the solid NP sintering scenario is switched to the coalescence scenario not at the NP melting temperature Tm exactly but at a lower temperature T0=0.9Tm interpreted as the critical temperature corresponding to a coalescence/sintering bifurcation phenomenon: in the temperature range from T0-2K to T0+2K the resulting (daughter) NPs of the same size can have either liquid-like or crystalline structure after coalescence/sintering at the same fixed temperature. The crystallize and liquid states were identify by analyzing the degree of crystallinity and the radial distribution function. For this purpose we employed the OVITO program.


title: Designing color symmetry in stigmergic art

abstract: Color symmetry is an extension of symmetry imposed by isometric transformations and means that the colors of geometrical objects are assigned according to the symmetry properties of the objects. A color symmetry permutes the coloring of the objects consistently with their symmetry group. We apply this concept to bio-inspired generative art. Therefore, we interpret the geometrical objects as motifs that may repeat themselves with a symmetry-consistent coloring. The motifs are obtained by design principles from stigmergy. We discuss a design procedure and present visual results.


title: New physics in double Higgs production at NLO

abstract: After observing the Higgs boson by the ATLAS and CMS experiments at the LHC, accurate measurements of its properties, which allow us to study the electroweak symmetry breaking mechanism, become a high priority for particle physics. The most promising of extracting the Higgs self-coupling at hadron colliders is by examining the double Higgs production, especially in the $b \bar{b} \gamma \gamma$ channel. In this work, we presented full loop calculation for both SM and New Physics effects of the Higgs pair production to next-to-leading-order (NLO), including loop-induced processes $gg\to HH$, $gg\to HHg$, and $qg \to qHH$. We also included the calculation of the corrections from diagrams with only one QCD coupling in $qg \to qHH$, which was neglected in the previous studies. With the latest observed limit on the HH production cross-section, we studied the constraints on the effective Higgs couplings for the LHC at center-of-mass energies of 14 TeV and a provisional 100 TeV proton collider within the Future-Circular-Collider (FCC) project. To obtain results better than using total cross-section alone, we focused on the $b \bar{b} \gamma \gamma$ channel and divided the differential cross-section into low and high bins based on the total invariant mass and $p_{T}$ spectra. The new physics effects are further constrained by including extra kinematic information. However, some degeneracy persists, as shown in previous studies, especially in determining the Higgs trilinear coupling. Our analysis shows that the degeneracy is reduced by including the full NLO corrections.


title: Low temperature thermodynamics of the antiferromagnetic $J_1-J_2$ model: Entropy, critical points and spin gap

abstract: The antiferromagnetic $J_1-J_2$ model is a spin-1/2 chain with isotropic exchange $J_1 > 0$ between first neighbors and $J_2 = \alpha J_1$ between second neighbors. The model supports both gapless quantum phases with nondegenerate ground states and gapped phases with $\Delta(\alpha) > 0$ and doubly degenerate ground states. Exact thermodynamics is limited to $\alpha = 0$, the linear Heisenberg antiferromagnet (HAF). Exact diagonalization of small systems at frustration $\alpha$ followed by density matrix renormalization group (DMRG) calculations returns the entropy density $S(T,\alpha,N)$ and magnetic susceptibility $\chi(T,\alpha,N)$ of progressively larger systems up to $N = 96$ or 152 spins. Convergence to the thermodynamics limit, $S(T,\alpha)$ or $\chi(T,\alpha)$, is demonstrated down to $T/J \sim 0.01$ in the sectors $\alpha < 1$ and $\alpha > 1$. $S(T,\alpha)$ yields the critical points between gapless phases with $S^\prime(0,\alpha) > 0$ and gapped phases with $S^\prime(0,\alpha) = 0$. The $S^\prime(T,\alpha)$ maximum at $T^*(\alpha)$ is obtained directly in chains with large $\Delta(\alpha)$ and by extrapolation for small gaps. A phenomenological approximation for $S(T,\alpha)$ down to $T = 0$ indicates power-law deviations $T^{-\gamma(\alpha)}$ from $\exp(-\Delta(\alpha)/T)$ with exponent $\gamma(\alpha)$ that increases with $\alpha$. The $\chi(T,\alpha)$ analysis also yields power-law deviations, but with exponent $\eta(\alpha)$ that decreases with $\alpha$. $S(T,\alpha)$ and the spin density $\rho(T,\alpha) = 4T\chi(T,\alpha)$ probe the thermal and magnetic fluctuations, respectively, of strongly correlated spin states. Gapless chains have constant $S(T,\alpha)/\rho(T,\alpha)$ for $T < 0.10$. Remarkably, the ratio decreases (increases) with $T$ in chains with large (small) $\Delta(\alpha)$.


title: Multi-objective Evolutionary Approach for Efficient Kernel Size and Shape for CNN

abstract: While state-of-the-art development in CNN topology, such as VGGNet and ResNet, have become increasingly accurate, these networks are computationally expensive involving billions of arithmetic operations and parameters. To improve the classification accuracy, state-of-the-art CNNs usually involve large and complex convolutional layers. However, for certain applications, e.g. Internet of Things (IoT), where such CNNs are to be implemented on resource-constrained platforms, the CNN architectures have to be small and efficient. To deal with this problem, reducing the resource consumption in convolutional layers has become one of the most significant solutions. In this work, a multi-objective optimisation approach is proposed to trade-off between the amount of computation and network accuracy by using Multi-Objective Evolutionary Algorithms (MOEAs). The number of convolution kernels and the size of these kernels are proportional to computational resource consumption of CNNs. Therefore, this paper considers optimising the computational resource consumption by reducing the size and number of kernels in convolutional layers. Additionally, the use of unconventional kernel shapes has been investigated and results show these clearly outperform the commonly used square convolution kernels. The main contributions of this paper are therefore a methodology to significantly reduce computational cost of CNNs, based on unconventional kernel shapes, and provide different trade-offs for specific use cases. The experimental results further demonstrate that the proposed method achieves large improvements in resource consumption with no significant reduction in network performance. Compared with the benchmark CNN, the best trade-off architecture shows a reduction in multiplications of up to 6X and with slight increase in classification accuracy on CIFAR-10 dataset.


title: Implementation of a time-dependent multiconfiguration self-consistent-field method for coupled electron-nuclear dynamics in diatomic molecules driven by intense laser pulses

abstract: We present an implementation of a time-dependent multiconfiguration self-consistent-field (TD-MCSCF) method [R. Anzaki et al., Phys. Chem. Chem. Phys. 19, 22008 (2017)] with the full configuration interaction expansion for coupled electron-nuclear dynamics in diatomic molecules subject to a strong laser field. In this method, the total wave function is expressed as a superposition of different configurations constructed from time-dependent electronic Slater determinants and time-dependent orthonormal nuclear basis functions. The primitive basis functions of nuclei and electrons are strictly independent of each other without invoking the Born-Oppenheimer approximation. Our implementation treats the electronic motion in its full dimensionality on curvilinear coordinates, while the nuclear wave function is propagated on a one-dimensional stretching coordinate with rotational nuclear motion neglected. We apply the present implementation to high-harmonic generation and dissociative ionization of a hydrogen molecule and discuss the role of electron-nuclear correlation.


title: A simple interpolation-based approach towards the development of an accurate phenomenological constitutive relation for isotropic hyperelastic materials

abstract: Soft materials such as rubber and hydrogels are commonly used in industry for their excellent hyperelastic behaviour. There are various types of constitutive models for soft materials, and phenomenological models are very popular for finite element method (FEM) simulations. However, it is not easy to construct a model that can precisely predict the complex behaviours of soft materials. In this paper, we suggest that the strain energy functions should be expressed as functions of ordered principal stretches, which have more flexible expressions and are capable of matching various experimental curves. Moreover, the feasible region is small, and simple experiments, such as uniaxial tension/compression and hydrostatic tests, are on its boundaries. Therefore, strain energy functions can be easily constructed by the interpolation of experimental curves, which does not need initial guessing in the form of the strain energy function as most existing phenomenological models do. The proposed strain energy functions are perfectly consistent with the available experimental curves for interpolation. It is found that for incompressible materials, the function via an interpolation from two experimental curves can already predict other experimental curves reasonably well. To further improve the accuracy, additional experiments can be used in the interpolation.


title: Ricci flow starting from an embedded closed convex surface in $\mathbb{R}^3$

abstract: In this paper, we establish the existence and uniqueness of Ricci flow that admits an embedded closed convex surface in $\mathbb{R}^3$ as metric initial condition. The main point is a family of smooth Ricci flows starting from smooth convex surfaces whose metrics converge uniformly to the metric of the initial surface in intrinsic sense.


title: Uniqueness for volume-constraint local energy-minimizing sets in a half-space or a ball

abstract: In this paper, we prove a Poincar\'e-type inequality for any set of finite perimeter which is stable with respect to the free energy among volume-preserving perturbation, provided that the Hausdorff dimension of its singular set is at most $n-3$. With this inequality, we classify all the volume-constraint local energy-minimizing sets in a unit ball, a half-space or a wedge-shaped domain. In particular, we prove that the relative boundary of any energy-minimizing set is smooth.


title: The curvature of convex sum of metrics and applications

abstract: In this paper we explore the curvature of convex sums of Riemannian metrics $g(t) = (1-t)g_0 + tg_1$, and study whether such a deformation can increase the curvature of an immersed totally geodesic flat tori. We obtain necessary and sufficient conditions for $g(t)$ to have average positive $r$-order variation ($r\geq 2)$ along the torus and apply them for paths joining $g_0$ to known classical deformations.


title: Weighted unary-binary trees, Hex-trees, marked ordered trees, and related structures

abstract: Hex-trees are identified as a particular instance of weighted unary-binary trees. The Horton-Strahler numbers of these objects are revisited, and, thanks to a substitution that is not immediately intuitive, explicit results are possible. They are augmented by asymptotic evaluations as well. Furthermore, marked ordered trees (in bijection to skew Dyck paths) are investigated, followed 3-Motzkin paths and multi-edge trees. The underlying theme is sequence A002212 in the Encyclopedia of integer sequences.


title: Compositional Synthesis of Modular Systems (Full Version)

abstract: Given the advances in reactive synthesis, it is a natural next step to consider more complex multi-process systems. Distributed synthesis, however, is not yet scalable. Compositional approaches can be a game changer. Here, the challenge is to decompose a given specification of the global system behavior into requirements on the individual processes. In this paper, we introduce a compositional synthesis algorithm that, for each process, constructs, in addition to the implementation, a certificate that captures the necessary interface between the processes. The certificates then allow for constructing separate requirements for the individual processes. By bounding the size of the certificates, we can bias the synthesis procedure towards solutions that are desirable in the sense that the assumptions between the processes are small. Our experimental results show that our approach is much faster than standard methods for distributed synthesis as long as reasonably small certificates exist.


title: Clarifying How Degree Entropies and Degree-Degree Correlations Relate to Network Robustness

abstract: It is often claimed that the entropy of a network's degree distribution is a proxy for its robustness. Here, we clarify the link between degree distribution entropy and giant component robustness to node removal by showing that the former merely sets a lower bound to the latter for randomly configured networks when no other network characteristics are specified. Furthermore, we show that, for networks of fixed expected degree that follow degree distributions of the same form, the degree distribution entropy is not indicative of robustness. By contrast, we show that the remaining degree entropy and robustness have a positive monotonic relationship and give an analytic expression for the remaining degree entropy of the log-normal distribution. We also show that degree-degree correlations are not by themselves indicative of a network's robustness for real networks. We propose an adjustment to how mutual information is measured which better encapsulates structural properties related to robustness.


title: Global well-posedness and inviscid limits of the generalized Oldroyd type models

abstract: We obtain the global small solutions to the generalized Oldroyd-B model without damping on the stress tensor in $\mathbb{R}^n$. Our result give positive answers partially to the question proposed by Elgindi and Liu (Remark 2 in Elgindi and Liu [J Differ Equ 259:1958--1966, 2015)]. The proof relies heavily on the trick of transferring dissipation from $u$ to $\tau$, and a new commutator estimate which may be of interest for future works. Moreover, we prove a global result of inviscid limit of two dimensional Oldroyd type models in the Sobolev spaces. The convergence rate is also obtained simultaneously.


title: Quantum theory of plasmon polaritons in chains of metallic nanoparticles: From near- to far-field coupling regime

abstract: We develop a quantum theory of plasmon polaritons in chains of metallic nanoparticles, describing both near- and far-field interparticle distances, by including plasmon-photon Umklapp processes. Taking into account the retardation effects of the long-range dipole-dipole interaction between the nanoparticles, which are induced by the coupling of the plasmonic degrees of freedom to the photonic continuum, we reveal the polaritonic nature of the normal modes of the system. We compute the dispersion relation and radiative linewidth, as well as the group velocities of the eigenmodes, and compare our numerical results to classical electrodynamic calculations within the point-dipole approximation. Interestingly, the group velocities of the polaritonic excitations present an almost periodic sign change and are found to be highly tunable by modifying the spacing between the nanoparticles. We show that, away from the intersection of the plasmonic eigenfrequencies with the free photon dispersion, an analytical perturbative treatment of the light-matter interaction is in excellent agreement with our fully retarded numerical calculations. We further study quantitatively the hybridization of light and matter excitations, through an analysis of Hopfield's coefficients. Finally, we consider the limit of infinitely spaced nanoparticles and discuss some recent results on single nanoparticles that can be found in the literature.


title: Mobile Microphone Array Speech Detection and Localization in Diverse Everyday Environments

abstract: Joint sound event localization and detection (SELD) is an integral part of developing context awareness into communication interfaces of mobile robots, smartphones, and home assistants. For example, an automatic audio focus for video capture on a mobile phone requires robust detection of relevant acoustic events around the device and their direction. Existing SELD approaches have been evaluated using material produced in controlled indoor environments, or the audio is simulated by mixing isolated sounds to different spatial locations. This paper studies SELD of speech in diverse everyday environments, where the audio corresponds to typical usage scenarios of handheld mobile devices. In order to allow weighting the relative importance of localization vs. detection, we will propose a two-stage hierarchical system, where the first stage is to detect the target events, and the second stage is to localize them. The proposed method utilizes convolutional recurrent neural network (CRNN) and is evaluated on a database of manually annotated microphone array recordings from various acoustic conditions. The array is embedded in a contemporary mobile phone form factor. The obtained results show good speech detection and localization accuracy of the proposed method in contrast to a non-hierarchical flat classification model.


title: Modeling of carbon pellets disruption mitigation in an NSTX-U plasma

abstract: Single carbon pellet disruption mitigation simulations using M3D-C1 were conducted in an NSTX-U-like plasma to support the electromagnetic pellet injection concept (EPI). A carbon ablation model has been implemented in M3D-C1 and tested with available data. 2D simulations were conducted in order to estimate the amount of carbon needed to quench the plasma, finding that the content in a $1\,$mm radius vitreous carbon pellet (~ 3.2x10E20 atoms) would be enough if it is entirely ablated. 3D simulations were performed, scanning over pellet velocity and parallel thermal conductivity, as well as different injection directions and pellet concepts (solid pellets and shell pellets). The sensitivity of the thermal quench and other related quantities to these parameters has been evaluated. A 1 mm radius solid pellet only partially ablates at velocities of 300 m/s or higher, thus being unable to fully quench the plasma. To further enhance the ablation, approximations to an array of pellets and the shell pellet concept were also explored. 3D field line stochastization plays an important role in both quenching the center of the plasma and in heat flux losses, thus lowering the amount of carbon needed to mitigate the plasma when compared to the 2D case. This study constitutes an important step forward in `predict-first' simulations for disruption mitigation in NSTX-U and other devices, such as ITER.


title: Chemulator: Fast, accurate thermochemistry for dynamical models through emulation

abstract: Chemical modelling serves two purposes in dynamical models: accounting for the effect of microphysics on the dynamics and providing observable signatures. Ideally, the former must be done as part of the hydrodynamic simulation but this comes with a prohibitive computational cost which leads to many simplifications being used in practice. To produce a statistical emulator that replicates a full chemical model capable of solving the temperature and abundances of a gas through time. This emulator should suffer only a minor loss of accuracy over including a full chemical solver in a dynamical model but would have a fraction of the computational cost. The gas-grain chemical code UCLCHEM was updated to include heating and cooling processes and a large dataset of model outputs from possible starting conditions was produced. A neural network was then trained to map directly from inputs to outputs. Chemulator replicates the outputs of UCLCHEM with an overall mean squared error (MSE) of 0.0002 for a single time step of 1000 yr and is shown to be stable over 1000 iterations with an MSE of 0.003 the log scaled temperature after one time step and 0.006 after 1000 time steps. Chemulator was found to be approximately 50,000 times faster than the time dependent model it emulates but can introduce a significant error to some models.


title: PhysiNet: A Combination of Physics-based Model and Neural Network Model for Digital Twins

abstract: As the real-time digital counterpart of a physical system or process, digital twins are utilized for system simulation and optimization. Neural networks are one way to build a digital twins model by using data especially when a physics-based model is not accurate or even not available. However, for a newly designed system, it takes time to accumulate enough data for neural network model and only an approximate physics-based model is available. To take advantage of both models, this paper proposed a model that combines the physics-based model and the neural network model to improve the prediction accuracy for the whole life cycle of a system. The proposed hybrid model (PhysiNet) was able to automatically combine the models and boost their prediction performance. Experiments showed that the PhysiNet outperformed both the physics-based model and the neural network model.


title: Toward a magnetic warm inflation scenario

abstract: In this work we explore the effects that a possible primordial magnetic field can have on the inflaton effective potential, taking as the underlying model a warm inflation scenario, based on global supersymmetry with a new-inflation-type potential. The decay scheme for the inflaton field is a two-step process of radiation production, where the inflaton couples to heavy intermediate superfields, which in turn interact with light particles. In this context, we consider that both sectors, heavy and light, are charged and work in the strong magnetic field approximation for the light fields. We find an analytical expression for the one-loop effective potential, for an arbitrary magnetic field strength, and show that the trend of the magnetic contribution is to make the potential flatter in the origin's vicinity, preserving the conditions for a successful inflationary process. This result is backed up by the behavior of slow-roll parameter $\epsilon$. The viability of this magnetic warm inflation scenario is also supported by the estimation of the effect of the magnetic field on the heavy particles decay width.


title: Channel Estimation for RIS-Aided Multiuser Millimeter-Wave Systems

abstract: Channel estimation in the RIS-aided massive multiuser multiple-input single-output (MU-MISO) wireless communication systems is challenging due to the passive feature of RIS and the large number of reflecting elements that incur high channel estimation overhead. To address this issue, we propose a novel cascaded channel estimation strategy with low pilot overhead by exploiting the sparsity and the correlation of multiuser cascaded channels in millimeter-wave massive MISO systems. Based on the fact that the phsical positions of the BS, the RIS and users may not change in several or even tens of consecutive channel coherence blocks, we first estimate the full channel state information (CSI) including all the angle and gain information in the first coherence block, and then only re-estimate the channel gains in the remaining coherence blocks with much less pilot overhead. In the first coherence block, we propose a two-phase channel estimation method, in which the cascaded channel of one typical user is estimated in Phase I based on the linear correlation among cascaded paths, while the cascaded channels of other users are estimated in Phase II by utilizing the partial CSI of the common base station (BS)-RIS channel obtained in Phase I. The total theoretical minimum pilot overhead in the first coherence block is $8J-2+(K-1)\left\lceil (8J-2)/L\right\rceil $, where $K$, $L$ and $J$ denote the numbers of users, paths in the BS-RIS channel and paths in the RIS-user channel, respectively. In each of the remaining coherence blocks, the minimum pilot overhead is $JK$. Moreover, the training phase shift matrices at the RIS are optimized to improve the estimation performance.


title: On the mechanism of ionization oscillations in Hall thrusters

abstract: Low frequency ionization oscillations involving plasma and neutral density (breathing modes) are the most violent perturbations in Hall thrusters for electric propulsion. Because of its simplicity, the zero-dimensional (0-D) predator-prey model of two nonlinearly coupled ordinary differential equations for plasma and neutral density has been often used for the characterization of such oscillations and scaling estimates. We investigate the properties of its continuum analog, the one-dimensional (1-D) system of two nonlinearly coupled equations in partial derivatives (PDE) for plasma and neutral density. This is a more general model, of which the standard 0-D predator-prey model is a special limit case. We show that the 1-D model is stable and does not show any oscillations for the boundary conditions relevant to Hall thruster and the uniform ion velocity. We then propose a reduced 1-D model based on two coupled PDE for plasma and neutral densities that is unstable and exhibit oscillations if the ion velocity profile with the near the anode back-flow (toward the anode) region is used. Comparisons of the reduced model with the predictions of the full model that takes into account the self-consistent plasma response show that the main properties of the breathing mode are well captured. In particular, it is shown that the frequency of the breathing mode oscillations is weakly dependent on the final ion velocity but shows a strong correlation with the width of the ion back-flow region.


title: Truck pooling and scheduling in post-distribution cross-docking with JIT demands and synchronized interchangeability

abstract: Various operational optimization problems arise in cross-dock synchronization. The combination of the truck scheduling with other decision problems in cross-docking has been targeted by researchers in the recent years. In most of the truck scheduling researches, the load and the destination of the outbound trucks are predetermined. This paper presents a novel cross-docking optimization problem in which the truck scheduling is combined by two assignment problems: the assignment of received loads and the assignment of destinations to outbound trucks (product-truck-destination allocation). Moreover, a Just-In-Time (JIT) strategy is imposed on the destination demands, whereas in most of the previous researches the time windows are imposed to the trucks rather than the demands. An integrated mathematical model is presented for this cross-docking problem. The mathematical model is reinforced by two categories of symmetry breaking constraints. A matheuristic approach, including two mixed-integer mathematical models, is proposed. An adaptive heuristic is presented to solve the first step of the matheuristic algorithm instead of the mathematical model. The solution approaches are analyzed by the extensive computational experiments. The numerical results show the efficiency of the hybrid matheuristic to solve the real size instances of the studied problem.


title: Variational discretization of one-dimensional elliptic optimal control problems with BV functions based on the mixed formulation

abstract: We consider optimal control of an elliptic two-point boundary value problem governed by functions of bounded variation (BV). The cost functional is composed of a tracking term for the state and the BV-seminorm of the control. We use the mixed formulation for the state equation together with the variational discretization approach, where we use the classical lowest order Raviart-Thomas finite elements for the state equation. Consequently the variational discrete control is a piecewise constant function over the finite element grid. We prove error estimates for the variational discretization approach in combination with the mixed formulation of the state equation and confirm our analytical findings with numerical experiments.


title: The earliest diamond of finite type in Nottingham algebras

abstract: We prove several structural results on Nottingham algebras, a class of infinite-dimensional, modular, graded Lie algebras, which includes the graded Lie algebra associated to the Nottingham group with respect to its lower central series. Homogeneous components of a Nottingham algebra have dimension one or two, and in the latter case they are called diamonds. The first diamond occurs in degree $1$, and the second occurs in degree $q$, a power of the characteristic. Each diamond past the second is assigned a type, which either belongs to the underlying field or is $\infty$. Nottingham algebras with a variety of diamond patterns are known. In particular, some have diamonds of both finite and infinite type. We prove that each of those known examples is uniquely determined by a certain finite-dimensional quotient. Finally, we determine how many diamonds of type $\infty$ may precede the earliest diamond of finite type in an arbitrary Nottingham algebra.


title: The Simons Observatory microwave SQUID multiplexing detector module design

abstract: Advances in cosmic microwave background (CMB) science depend on increasing the number of sensitive detectors observing the sky. New instruments deploy large arrays of superconducting transition-edge sensor (TES) bolometers tiled densely into ever larger focal planes. High multiplexing factors reduce the thermal loading on the cryogenic receivers and simplify their design. We present the design of focal-plane modules with an order of magnitude higher multiplexing factor than has previously been achieved with TES bolometers. We focus on the novel cold readout component, which employs microwave SQUID multiplexing ($\mu$mux). Simons Observatory will use 49 modules containing 60,000 bolometers to make exquisitely sensitive measurements of the CMB. We validate the focal-plane module design, presenting measurements of the readout component with and without a prototype detector array of 1728 polarization-sensitive bolometers coupled to feedhorns. The readout component achieves a $95\%$ yield and a 910 multiplexing factor. The median white noise of each readout channel is 65 $\mathrm{pA/\sqrt{Hz}}$. This impacts the projected SO mapping speed by $< 8\%$, which is less than is assumed in the sensitivity projections. The results validate the full functionality of the module. We discuss the measured performance in the context of SO science requirements, which are exceeded.


title: Mapping flows on weighted and directed networks with incomplete observations

abstract: Detecting significant community structure in networks with incomplete observations is challenging because the evidence for specific solutions fades away with missing data. For example, recent research shows that flow-based community detection methods can highlight spurious communities in sparse undirected and unweighted networks with missing links. Current Bayesian approaches developed to overcome this problem do not work for incomplete observations in weighted and directed networks that describe network flows. To address this gap, we extend the idea behind the Bayesian estimate of the map equation for unweighted and undirected networks to enable more robust community detection in weighted and directed networks. We derive a weighted and directed prior network that can incorporate metadata information and show how an efficient implementation in the community-detection method Infomap provides more reliable communities even with a significant fraction of data missing.


title: Strong coupling in thermoelectric nanojunctions: a reaction coordinate framework

abstract: We study a model of a thermoelectric nanojunction driven by vibrationally-assisted tunneling. We apply the reaction coordinate formalism to derive a master equation governing its thermoelectric performance beyond the weak electron-vibrational coupling limit. Employing full counting statistics we calculate the current flow, thermopower, associated noise, and efficiency without resorting to the weak vibrational coupling approximation. We demonstrate intricacies of the power-efficiency-precision trade-off at strong coupling, showing that the three cannot be maximised simultaneously in our model. Finally, we emphasise the importance of capturing non-additivity when considering strong coupling and multiple environments, demonstrating that an additive treatment of the environments can violate the upper bound on thermoelectric efficiency imposed by Carnot.


title: Determining the source and eruption dynamics of a stealth CME using NLFFF modelling and MHD simulations

abstract: Coronal mass ejections (CMEs) that exhibit weak or no eruption signatures in the low corona, known as stealth CMEs, are problematic as upon arrival at Earth they can lead to geomagnetic disturbances that were not predicted by space weather forecasters. We investigate the origin and eruption of a stealth event that occurred on 2015 January 3 that was responsible for a strong geomagnetic storm upon its arrival at Earth. To simulate the coronal magnetic field and plasma parameters of the eruption we use a coupled approach. This approach combines an evolutionary nonlinear force-free field model of the global corona with a MHD simulation. The combined simulation approach accurately reproduces the stealth event and suggests that sympathetic eruptions occur. In the combined simulation we found that three flux ropes form and then erupt. The first two flux ropes, which are connected to a large AR complex behind the east limb, erupt first producing two near-simultaneous CMEs. These CMEs are closely followed by a third, weaker flux rope eruption in the simulation that originated between the periphery of AR 12252 and the southern polar coronal hole. The third eruption coincides with a faint coronal dimming, which appears in the SDO/AIA 211 A observations, that is attributed as the source responsible for the stealth event and later the geomagnetic disturbance at 1 AU. The incorrect interpretation of the stealth event being linked to the occurrence of a single partial halo CME observed by LASCO/C2 is mainly due to the lack of STEREO observations being available at the time of the CMEs. The simulation also shows that the LASCO CME is not a single event but rather two near-simultaneous CMEs. These results show the significance of the coupled data-driven simulation approach in interpreting the eruption and that an operational L5 mission is crucial for space weather forecasting.


title: Reasoning on $\textit{DL-Lite}_{\cal R}$ with Defeasibility in ASP

abstract: Reasoning on defeasible knowledge is a topic of interest in the area of description logics, as it is related to the need of representing exceptional instances in knowledge bases. In this direction, in our previous works we presented a framework for representing (contextualized) OWL RL knowledge bases with a notion of justified exceptions on defeasible axioms: reasoning in such framework is realized by a translation into ASP programs. The resulting reasoning process for OWL RL, however, introduces a complex encoding in order to capture reasoning on the negative information needed for reasoning on exceptions. In this paper, we apply the justified exception approach to knowledge bases in $\textit{DL-Lite}_{\cal R}$, i.e., the language underlying OWL QL. We provide a definition for $\textit{DL-Lite}_{\cal R}$ knowledge bases with defeasible axioms and study their semantic and computational properties. In particular, we study the effects of exceptions over unnamed individuals. The limited form of $\textit{DL-Lite}_{\cal R}$ axioms allows us to formulate a simpler ASP encoding, where reasoning on negative information is managed by direct rules. The resulting materialization method gives rise to a complete reasoning procedure for instance checking in $\textit{DL-Lite}_{\cal R}$ with defeasible axioms. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Communication Analysis through Visual Analytics: Current Practices, Challenges, and New Frontiers

abstract: The automated analysis of digital human communication data often focuses on specific aspects such as content or network structure in isolation. This can provide limited perspectives while making cross-methodological analyses, occurring in domains like investigative journalism, difficult. Communication research in psychology and the digital humanities instead stresses the importance of a holistic approach to overcome these limiting factors. In this work, we conduct an extensive survey on the properties of over forty semi-automated communication analysis systems and investigate how they cover concepts described in theoretical communication research. From these investigations, we derive a design space and contribute a conceptual framework based on communication research, technical considerations, and the surveyed approaches. The framework describes the systems' properties, capabilities, and composition through a wide range of criteria organized in the dimensions (1) Data, (2) Processing and Models, (3) Visual Interface, and (4) Knowledge Generation. These criteria enable a formalization of digital communication analysis through visual analytics, which, we argue, is uniquely suited for this task by tackling automation complexity while leveraging domain knowledge. With our framework, we identify shortcomings and research challenges, such as group communication dynamics, trust and privacy considerations, and holistic approaches. Simultaneously, our framework supports the evaluation of systems and promotes the mutual exchange between researchers through a structured common language, laying the foundations for future research on communication analysis.


title: Considerations for neuromorphic supercomputing in semiconducting and superconducting optoelectronic hardware

abstract: Any large-scale spiking neuromorphic system striving for complexity at the level of the human brain and beyond will need to be co-optimized for communication and computation. Such reasoning leads to the proposal for optoelectronic neuromorphic platforms that leverage the complementary properties of optics and electronics. Starting from the conjecture that future large-scale neuromorphic systems will utilize integrated photonics and fiber optics for communication in conjunction with analog electronics for computation, we consider two possible paths towards achieving this vision. The first is a semiconductor platform based on analog CMOS circuits and waveguide-integrated photodiodes. The second is a superconducting approach that utilizes Josephson junctions and waveguide-integrated superconducting single-photon detectors. We discuss available devices, assess scaling potential, and provide a list of key metrics and demonstrations for each platform. Both platforms hold potential, but their development will diverge in important respects. Semiconductor systems benefit from a robust fabrication ecosystem and can build on extensive progress made in purely electronic neuromorphic computing but will require III-V light source integration with electronics at an unprecedented scale, further advances in ultra-low capacitance photodiodes, and success from emerging memory technologies. Superconducting systems place near theoretically minimum burdens on light sources (a tremendous boon to one of the most speculative aspects of either platform) and provide new opportunities for integrated, high-endurance synaptic memory. However, superconducting optoelectronic systems will also contend with interfacing low-voltage electronic circuits to semiconductor light sources, the serial biasing of superconducting devices on an unprecedented scale, a less mature fabrication ecosystem, and cryogenic infrastructure.


title: Hyperspectral Remote Sensing Image Classification Based on Multi-scale Cross Graphic Convolution

abstract: The mining and utilization of features directly affect the classification performance of models used in the classification and recognition of hyperspectral remote sensing images. Traditional models usually conduct feature mining from a single perspective, with the features mined being limited and the internal relationships between them being ignored. Consequently, useful features are lost and classification results are unsatisfactory. To fully mine and utilize image features, a new multi-scale feature-mining learning algorithm (MGRNet) is proposed. The model uses principal component analysis to reduce the dimensionality of the original hyperspectral image (HSI) to retain 99.99% of its semantic information and extract dimensionality reduction features. Using a multi-scale convolution algorithm, the input dimensionality reduction features were mined to obtain shallow features, which then served as inputs into a multi-scale graph convolution algorithm to construct the internal relationships between eigenvalues at different scales. We then carried out cross fusion of multi-scale information obtained by graph convolution, before inputting the new information obtained into the residual network algorithm for deep feature mining. Finally, a flexible maximum transfer function classifier was used to predict the final features and complete the classification. Experiments on three common hyperspectral datasets showed the MGRNet algorithm proposed in this paper to be superior to traditional methods in recognition accuracy.


title: Experimental Comparison of PC-Trees and PQ-Trees

abstract: PQ-trees and PC-trees are data structures that represent sets of linear and circular orders, respectively, subject to constraints that specific subsets of elements have to be consecutive. While equivalent to each other, PC-trees are conceptually much simpler than PQ-trees; updating a PC-trees so that a set of elements becomes consecutive requires only a single operation, whereas PQ-trees use an update procedure that is described in terms of nine transformation templates that have to be recursively matched and applied. Despite these theoretical advantages, to date no practical PC-tree implementation is available. This might be due to the original description by Hsu and McConnell in some places only sketching the details of the implementation. In this paper, we describe two alternative implementations of PC-trees. For the first one, we follow the approach by Hsu and McConnell, filling in the necessary details and also proposing improvements on the original algorithm. For the second one, we use a different technique for efficiently representing the tree using a Union-Find data structure. In an extensive experimental evaluation we compare our implementations to a variety of other implementations of PQ-trees that are available on the web as part of academic and other software libraries. Our results show that both PC-tree implementations beat their closest fully correct competitor, the PQ-tree implementation from the OGDF library, by a factor of 2 to 4, showing that PC-trees are not only conceptually simpler but also fast in practice. Moreover, we find the Union-Find-based implementation, while having a slightly worse asymptotic runtime, to be twice as fast as the one based on the description by Hsu and McConnell.


title: Laplace Redux -- Effortless Bayesian Deep Learning

abstract: Bayesian formulations of deep learning have been shown to have compelling theoretical properties and offer practical functional benefits, such as improved predictive uncertainty quantification and model selection. The Laplace approximation (LA) is a classic, and arguably the simplest family of approximations for the intractable posteriors of deep neural networks. Yet, despite its simplicity, the LA is not as popular as alternatives like variational Bayes or deep ensembles. This may be due to assumptions that the LA is expensive due to the involved Hessian computation, that it is difficult to implement, or that it yields inferior results. In this work we show that these are misconceptions: we (i) review the range of variants of the LA including versions with minimal cost overhead; (ii) introduce "laplace", an easy-to-use software library for PyTorch offering user-friendly access to all major flavors of the LA; and (iii) demonstrate through extensive experiments that the LA is competitive with more popular alternatives in terms of performance, while excelling in terms of computational cost. We hope that this work will serve as a catalyst to a wider adoption of the LA in practical deep learning, including in domains where Bayesian approaches are not typically considered at the moment.


title: A Few Brief Notes on DeepImpact, COIL, and a Conceptual Framework for Information Retrieval Techniques

abstract: Recent developments in representational learning for information retrieval can be organized in a conceptual framework that establishes two pairs of contrasts: sparse vs. dense representations and unsupervised vs. learned representations. Sparse learned representations can further be decomposed into expansion and term weighting components. This framework allows us to understand the relationship between recently proposed techniques such as DPR, ANCE, DeepCT, DeepImpact, and COIL, and furthermore, gaps revealed by our analysis point to "low hanging fruit" in terms of techniques that have yet to be explored. We present a novel technique dubbed "uniCOIL", a simple extension of COIL that achieves to our knowledge the current state-of-the-art in sparse retrieval on the popular MS MARCO passage ranking dataset. Our implementation using the Anserini IR toolkit is built on the Lucene search library and thus fully compatible with standard inverted indexes.


title: Transmission spectroscopy with VLT FORS2: a featureless spectrum for the low-density transiting exoplanet WASP-88b

abstract: We present ground-based optical transmission spectroscopy of the low-density hot Jupiter WASP-88b covering the wavelength range 4413-8333 {\AA} with the FORS2 spectrograph on the Very Large Telescope. The FORS2 white light curves exhibit a significant time-correlated noise which we model using a Gaussian Process and remove as a wavelength-independent component from the spectroscopic light curves. We analyse complementary photometric observations from the Transiting Exoplanet Survey Satellite and refine the system properties and ephemeris. We find a featureless transmission spectrum with increased absorption towards shorter wavelengths. We perform an atmospheric retrieval analysis with the AURA code, finding tentative evidence for haze in the upper atmospheric layers and a lower likelihood for a dense cloud deck. Whilst our retrieval analysis results point toward clouds and hazes, further evidence is needed to definitively reject a clear-sky scenario.


title: Exact solutions of few-magnon problems in the spin-$S$ periodic XXZ chain

abstract: We solve few-magnon problems for a finite-size spin-$S$ periodic Heisenberg XXZ chain with single-ion anisotropy through constructing sets of exact Bloch states achieving block diagonalization of the system. Concretely, the two-magnon (three-magnon) problem is converted to a single-particle one on a one-dimensional (two-dimensional) effective lattice whose size depends linearly (quadratically) on the total number of sites. For parameters lying within certain ranges, various types of multimagnon bound states are manifested and shown to correspond to edge states on the effective lattices. In the absence of the single-ion anisotropy, we reveal the condition under which exact zero-energy states emerge. As applications of the formalism, we calculate the transverse dynamic structure factor for a higher-spin chain near saturation magnetization and find signatures of the multimagnon bound states. We also calculate the real-time three-magnon dynamics from certain localized states, which are relevant to cold-atom quantum simulations, by simulating single-particle quantum walks on the effective lattices. This provides a physically transparent interpretation of the observed dynamics in terms of propagation of bound state excitations. Our method can be directly applied to more general spin or itinerant particle systems possessing translational symmetry.


title: Revisiting the averaged problem in the case of mean-motion resonances of the restricted three-body problem. Global rigorous treatment and application to the co-orbital motion

abstract: A classical approach to the restricted three-body problem is to analyze the dynamics of the massless body in the synodic reference frame. A different approach is represented by the perturbative treatment: in particular the averaged problem of a mean-motion resonance allows to investigate the long-term behavior of the solutions through a suitable approximation that focuses on a particular region of the phase space. In this paper, we intend to bridge a gap between the two approaches in the specific case of mean-motion resonant dynamics, establish the limit of validity of the averaged problem, and take advantage of its results in order to compute trajectories in the synodic reference frame. After the description of each approach, we develop a rigorous treatment of the averaging process, estimate the size of the transformation and prove that the averaged problem is a suitable approximation of the restricted three-body problem as long as the solutions are located outside the Hill's sphere of the secondary. In such a case, a rigorous theorem of stability over finite but large timescales can be proven. We establish that a solution of the averaged problem provides an accurate approximation of the trajectories on the synodic reference frame within a finite time that depend on the minimal distance to the Hill's sphere of the secondary. The last part of this work is devoted to the co-orbital motion (i.e., the dynamics in 1:1 mean-motion resonance) in the circular-planar case. In this case, an interpretation of the solutions of the averaged problem in the synodic reference frame is detailed and a method that allows to compute co-orbital trajectories is displayed.


title: TOPIC: Top-k High-Utility Itemset Discovering

abstract: Utility-driven itemset mining is widely applied in many real-world scenarios. However, most algorithms do not work for itemsets with negative utilities. Several efficient algorithms for high-utility itemset (HUI) mining with negative utilities have been proposed. These algorithms can find complete HUIs with or without negative utilities. However, the major problem with these algorithms is how to select an appropriate minimum utility (minUtil) threshold. To address this issue, some efficient algorithms for extracting top-k HUIs have been proposed, where parameter k is the quantity of HUIs to be discovered. However, all of these algorithms can solve only one part of the above problem. In this paper, we present a method for TOP-k high-utility Itemset disCovering (TOPIC) with positive and negative utility values, which utilizes the advantages of the above algorithms. TOPIC adopts transaction merging and database projection techniques to reduce the database scanning cost, and utilizes minUtil threshold raising strategies. It also uses an array-based utility technique, which calculates the utility of itemsets and upper bounds in linear time. We conducted extensive experiments on several real and synthetic datasets, and the results showed that TOPIC outperforms state-of-the-art algorithm in terms of runtime, memory costs, and scalability.


title: Propagation of chaos: a review of models, methods and applications. II. Applications

abstract: The notion of propagation of chaos for large systems of interacting particles originates in statistical physics and has recently become a central notion in many areas of applied mathematics. The present review describes old and new methods as well as several important results in the field. The models considered include the McKean-Vlasov diffusion, the mean-field jump models and the Boltzmann models. The first part of this review is an introduction to modelling aspects of stochastic particle systems and to the notion of propagation of chaos. The second part presents concrete applications and a more detailed study of some of the important models in the field.


title: Offline Planning and Online Learning under Recovering Rewards

abstract: Motivated by emerging applications such as live-streaming e-commerce, promotions and recommendations, we introduce and solve a general class of non-stationary multi-armed bandit problems that have the following two features: (i) the decision maker can pull and collect rewards from up to $K\,(\ge 1)$ out of $N$ different arms in each time period; (ii) the expected reward of an arm immediately drops after it is pulled, and then non-parametrically recovers as the arm's idle time increases. With the objective of maximizing the expected cumulative reward over $T$ time periods, we design a class of ``Purely Periodic Policies'' that jointly set a period to pull each arm. For the proposed policies, we prove performance guarantees for both the offline problem and the online problems. For the offline problem when all model parameters are known, the proposed periodic policy obtains an approximation ratio that is at the order of $1-\mathcal O(1/\sqrt{K})$, which is asymptotically optimal when $K$ grows to infinity. For the online problem when the model parameters are unknown and need to be dynamically learned, we integrate the offline periodic policy with the upper confidence bound procedure to construct on online policy. The proposed online policy is proved to approximately have $\widetilde{\mathcal O}(N\sqrt{T})$ regret against the offline benchmark. Our framework and policy design may shed light on broader offline planning and online learning applications with non-stationary and recovering rewards.


title: Momentum transfer in the outflow cycle of a Synthetic jet: Comparison between a developed flow and an LE model

abstract: In the literature, flows produced by synthetic jets (SJ) have been studied extensively through experiments and numeric simulations. The essential physics of such a complex system has been simplified successfully to Lumped-element models in a wide range of conditions. LE models effectively predict the pressure in the cavity and the velocity in the neck of SJ. But, this does not comprise the complete dynamics of SJ. As soon as the flow starts separating from the neck of the SJ device, vortices and jets form at some distance downstream. These structures are the result of loosening the flow boundaries. Despite such a dramatic change, predictions of LE models remain unverified by measurements of the fully developed jet. We compared predictions of momentum transfer using an LE model with measurements of size and velocity of a fully developed jet/vortex detached from an SJ. Our SJ device operated with air as an active fluid. Comparing measurements and predictions, we found a constant difference for the higher sound pressures. However, the predictions and the measurements follow similar trends. Additionally, we found that the decay rate of the flow regime given by the relationship between the Reynolds and the Strouhal numbers differs significantly when the flow is studied within the neck and downstream the cavity.