title: Short-lived Datacenter

abstract: Serverless platforms have attracted attention due to their promise of elasticity, low cost, and fast deployment. Instead of using a fixed virtual machine (VM) infrastructure, which can incur considerable costs to operate and run, serverless platforms support short computations, triggered on demand, with cost proportional to fine-grain function execution time. However, serverless platforms offer a restricted execution environment. For example, functions have limited execution times, limited resources, and no support for networking between functions. In this paper, we explore what it takes to treat serverless platforms as short-lived, general purpose data-centers which can execute unmodified existing applications. As a first step in this quest, we have developed Boxer, a system providing an execution environment on top of existing functions-as-a-service platforms that allows users to seamlessly migrate conventional VM-based cloud services to serverless platforms. Boxer allows generic applications to benefit from the fine-grain elasticity of serverless platforms without having to modify applications to adopt a restrictive event-triggered programming model or orchestrate auxiliary systems for data communication. We implement Boxer on top of AWS Lambda and extend it to transparently provide standard network interfaces. We describe its implementation and demonstrate how it can be used to run off-the-shelf cloud applications with a degree of fine-grained elasticity not available on traditional VM-based platforms.


title: Fold-Transversal Clifford Gates for Quantum Codes

abstract: We generalize the concept of folding from surface codes to CSS codes by considering certain dualities within them. In particular, this gives a general method to implement logical operations in suitable LDPC quantum codes using transversal gates and qubit permutations only. To demonstrate our approach, we specifically consider a [[30, 8, 3]] hyperbolic quantum code called Bring's code. Further, we show that by restricting the logical subspace of Bring's code to four qubits, we can obtain the full Clifford group on that subspace.


title: A discrete-time dynamical system of mosquito population

abstract: In this paper, we study a discrete-time dynamical system generated by the evolution operator of a wild mosquito population with specific rates of birth and emergence from larvae to adults. The death rates of larvae and adults are assumed to be constant. We find fixed points and under some conditions, on parameters, we show the global attractiveness of a fixed point.


title: On the Importance of Building High-quality Training Datasets for Neural Code Search

abstract: The performance of neural code search is significantly influenced by the quality of the training data from which the neural models are derived. A large corpus of high-quality query and code pairs is demanded to establish a precise mapping from the natural language to the programming language. Due to the limited availability, most widely-used code search datasets are established with compromise, such as using code comments as a replacement of queries. Our empirical study on a famous code search dataset reveals that over one-third of its queries contain noises that make them deviate from natural user queries. Models trained through noisy data are faced with severe performance degradation when applied in real-world scenarios. To improve the dataset quality and make the queries of its samples semantically identical to real user queries is critical for the practical usability of neural code search. In this paper, we propose a data cleaning framework consisting of two subsequent filters: a rule-based syntactic filter and a model-based semantic filter. This is the first framework that applies semantic query cleaning to code search datasets. Experimentally, we evaluated the effectiveness of our framework on two widely-used code search models and three manually-annotated code retrieval benchmarks. Training the popular DeepCS model with the filtered dataset from our framework improves its performance by 19.2% MRR and 21.3% Answer@1, on average with the three validation benchmarks.


title: Out of Thin Air: Is Zero-Shot Cross-Lingual Keyword Detection Better Than Unsupervised?

abstract: Keyword extraction is the task of retrieving words that are essential to the content of a given document. Researchers proposed various approaches to tackle this problem. At the top-most level, approaches are divided into ones that require training - supervised and ones that do not - unsupervised. In this study, we are interested in settings, where for a language under investigation, no training data is available. More specifically, we explore whether pretrained multilingual language models can be employed for zero-shot cross-lingual keyword extraction on low-resource languages with limited or no available labeled training data and whether they outperform state-of-the-art unsupervised keyword extractors. The comparison is conducted on six news article datasets covering two high-resource languages, English and Russian, and four low-resource languages, Croatian, Estonian, Latvian, and Slovenian. We find that the pretrained models fine-tuned on a multilingual corpus covering languages that do not appear in the test set (i.e. in a zero-shot setting), consistently outscore unsupervised models in all six languages.


title: Performance of quantum heat engines via adiabatic deformation of potential

abstract: We present a quantum Otto engine model consisting of two isochoric and two adiabatic strokes, where the adiabatic expansion or compression is realized by adiabatically changing the shape of the potential. Here we show that such an adiabatic deformation may alter operation mode and enhance machine performance by increasing output work and efficiency, even with the advantage of decreasing work fluctuations. If the heat engine operates under maximal power by optimizing the control parameter, the efficiency shows certain universal behavior.


title: A local study of the fiber-full scheme

abstract: We study some of the local properties of the fiber-full scheme, which is a fine moduli space that generalizes the Hilbert scheme by parametrizing closed subschemes with prescribed cohomological data. As a consequence, we provide sufficient conditions for cohomology to remain constant under Gr\"obner degenerations. We also describe a tangent-obstruction theory for the fiber-full scheme in analogy with the one for the Hilbert scheme.


title: Recent progress for five-particle two-loop scattering amplitudes with an off-shell leg

abstract: We report on the advances in the calculation of the two-loop scattering amplitudes for five-particle processes with one off-shell leg. Focusing on the production of a Higgs boson in association with a bottom quark pair, we outline how the newly developed technology allows us to overcome the computational bottlenecks. In particular, we discuss the use of finite field arithmetic and elucidate a convenient way to evaluate numerically the special functions appearing in the amplitudes.


title: Magnetic APFC modeling and the influence of magneto-structural interactions on grain shrinkage

abstract: We derive the amplitude expansion for a phase-field-crystal (APFC) model that captures the basic physics of magneto-structural interactions. The symmetry breaking due to magnetization is demonstrated, and the characterization of the magnetic anisotropy for a BCC crystal is provided. This model enables a convenient coarse-grained description of crystalline structures, in particular when considering the features of the APFC model combined with numerical methods featuring inhomogeneous spatial resolution. This is shown by addressing the shrinkage of a spherical grain within a matrix, chosen as a prototypical system to demonstrate the influence of different magnetizations. These simulations serve as a proof of concept for the modeling of manipulation of dislocation networks and microstructures in ferromagnetic materials within the APFC model.


title: A Galvin-Hajnal theorem for generalized cardinal characteristics

abstract: We prove that a variety of generalized cardinal characteristics, including meeting numbers, the reaping number, and the dominating number, satisfy an analogue of the Galvin-Hajnal theorem, and hence also of Silver's theorem, at singular cardinals of uncountable cofinality.


title: Forming Point Patterns by a Probabilistic Cellular Automata Rule

abstract: The objective is to find a Cellular Automata rule that can form a 2D point pattern with a maximum number of points (1-cells). Points are not allowed to touch each other, they have to be separated by 0-cells, and every 0-cell can find at least one point in its Moore-neighborhood. Probabilistic rules are designed that can solve this task with asynchronous updating and cyclic boundary condition. The task is considered as a tiling problem, where point tiles are used to cover the space with overlaps. A point tile consists of a center pixel (the kernel with value 1) and 8 surrounding pixels forming the hull with value 0. The term pixel is used to distinguish the cells of a tile from the cells of a cellular automaton. For each of the 9 tile pixels a so-called template is defined by a shift of the point tile. In the rule application, the 9 templates are tested at the actual cell position. If all template pixels (except the central reference pixel) of a template match with the corresponding neighbors of the actual cell under consideration, the cell's state is adjusted to the reference pixel's value. Otherwise the cell is set to the random value 0 or 1 with a certain probability. The hull pixels are allowed to overlap. In order to evolve a maximum of points, the overlap between tiles has to be maximized. To do that, the number of template hits is counted. Depending on the hit-number, additional noise is injected with certain probabilities. Thereby optimal patterns with the maximum number of points can be evolved. The behavior and performance of the designed rules is evaluated for different parameter settings.


title: The Impact of Batch Learning in Stochastic Linear Bandits

abstract: We consider a special case of bandit problems, named batched bandits, in which an agent observes batches of responses over a certain time period. Unlike previous work, we consider a more practically relevant batch-centric scenario of batch learning. That is to say, we provide a policy-agnostic regret analysis and demonstrate upper and lower bounds for the regret of a candidate policy. Our main theoretical results show that the impact of batch learning is a multiplicative factor of batch size relative to the regret of online behavior. Primarily, we study two settings of the stochastic linear bandits: bandits with finitely and infinitely many arms. While the regret bounds are the same for both settings, the former setting results hold under milder assumptions. Also, we provide a more robust result for the 2-armed bandit problem as an important insight. Finally, we demonstrate the consistency of theoretical results by conducting empirical experiments and reflect on optimal batch size choice.


title: PFGE: Parsimonious Fast Geometric Ensembling of DNNs

abstract: Ensemble methods are commonly used to enhance the generalization performance of machine learning models. However, they present a challenge in deep learning systems due to the high computational overhead required to train an ensemble of deep neural networks (DNNs). Recent advancements such as fast geometric ensembling (FGE) and snapshot ensembles have addressed this issue by training model ensembles in the same time as a single model. Nonetheless, these techniques still require additional memory for test-time inference compared to single-model-based methods. In this paper, we propose a new method called parsimonious FGE (PFGE), which employs a lightweight ensemble of higher-performing DNNs generated through successive stochastic weight averaging procedures. Our experimental results on CIFAR-{10,100} and ImageNet datasets across various modern DNN architectures demonstrate that PFGE achieves 5x memory efficiency compared to previous methods, without compromising on generalization performance. For those interested, our code is available at https://github.com/ZJLAB-AMMI/PFGE.


title: Contractibility of moduli spaces of RCD(0,2)-structures

abstract: This paper focuses on RCD(0,2)-spaces, which can be thought of as possibly non-smooth metric measure spaces with non-negative Ricci curvature and dimension less than 2. First, we establish a list of the compact topological spaces admitting an RCD(0,2)-structure. Then, we describe the associated moduli space of RCD(0,2)-structures for each of them. In particular, we show that all these moduli spaces are contractible.


title: Non-Obvious Manipulability for Single-Parameter Agents and Bilateral Trade

abstract: A recent line of work in mechanism design has focused on guaranteeing incentive compatibility for agents without contingent reasoning skills: obviously strategyproof mechanisms guarantee that it is "obvious" for these imperfectly rational agents to behave honestly, whereas non-obviously manipulable (NOM) mechanisms take a more optimistic view and ensure that these agents will only misbehave when it is "obvious" for them to do so. Technically, obviousness requires comparing certain extrema (defined over the actions of the other agents) of an agent's utilities for honest behaviour against dishonest behaviour. We present a technique for designing NOM mechanisms in settings where monetary transfers are allowed based on cycle monotonicity, which allows us to disentangle the specification of the mechanism's allocation from the payments. By leveraging this framework, we completely characterise both allocation and payment functions of NOM mechanisms for single-parameter agents. We then look at the classical setting of bilateral trade and study whether and how much subsidy is needed to guarantee NOM, efficiency, and individual rationality. We prove a stark dichotomy; no finite subsidy suffices if agents look only at best-case extremes, whereas no subsidy at all is required when agents focus on worst-case extremes. We conclude the paper by characterising the NOM mechanisms that require no subsidies whilst satisfying individual rationality.


title: Eternalism and the Problem of Hyperplanes

abstract: Eternalism is the view that the past, the present and the future exist simpliciter. A typical argument in favor of this view leans on the relativity of simultaneity. The 'equally real with' relation is assumed to be transitive between spacelike separated events connected by hyperplanes of simultaneity. This reasoning is in tension with the conventionality of simultaneity. Conventionality indicates that, even within a specific frame, simultaneity is based on the choice of the synchronization parameter. Hence the argument for eternalism is compromised. This paper lays out alternative eternalist strategies which do not hinge on hyperplanes. While we lack a rigorous proof for eternalism, there are still cogent reasons to prefer eternalism over presentism.


title: Magnetic Field Evolution in the Crust of Neutron Stars: Crust Failure and Plastic Flow

abstract: The evolution of the magnetic field in neutron star crusts because of the Hall effect has received significant attention over the last two decades, which is strongly justified because of the dominance of this effect in highly magnetised neutron stars. However, the applicability of the Hall effect is based on the assumption that the crust does not fail and sustains its rigidity. This assumption can be violated for substantially strong magnetic fields. If this is the case, the evolution of the magnetic field is described by a different set of equations, which include the effects of a non-rigid crust. In this talk, after a brief review of the main characteristic of the Hall evolution, I will discuss the impact a plastic flow of the crust has on the magnetic field, studying axisymmetric models. Moreover, the way the crust fails impacts the overall evolution, with major differences appearing if the failure is local, intermediate or global. Quite remarkably, crustal failure and plasticity do not annul the Hall effect, and under certain circumstances they may even lead to a more dramatic evolution. I will discuss the impact of these effects in the context of neutron star timing behaviour, with special focus on timing noise, outbursts and glitches.


title: Jointly Learned Symbol Detection and Signal Reflection in RIS-Aided Multi-user MIMO Systems

abstract: Reconfigurable Intelligent Surfaces (RISs) are regarded as a key technology for future wireless communications, enabling programmable radio propagation environments. However, the passive reflecting feature of RISs induces notable challenges on channel estimation, making coherent symbol detection a challenging task. In this paper, we consider the uplink of RIS-aided multi-user Multiple-Input Multiple-Output (MIMO) systems and propose a Machine Learning (ML) approach to jointly design the multi-antenna receiver and configure the RIS reflection coefficients, which does not require explicit full knowledge of the channel input-output relationship. Our approach devises a ML-based receiver, while the configurations of the RIS reflection patterns affecting the underlying propagation channel are treated as hyperparameters. Based on this system design formulation, we propose a Bayesian ML framework for optimizing the RIS hyperparameters, according to which the transmitted pilots are directly used to jointly tune the RIS and the multi-antenna receiver. Our simulation results demonstrate the capability of the proposed approach to provide reliable communications in non-linear channel conditions corrupted by Gaussian noise.


title: The Daugavet property in spaces of vector-valued Lipschitz functions

abstract: We prove that if a metric space $M$ has the finite CEP then $\mathcal F(M)\widehat{\otimes}_{\pi} X$ has the Daugavet property for every non-zero Banach space $X$. This applies, for instance, if $M$ is a Banach space whose dual is isometrically an $L_1(\mu)$ space. If $M$ has the CEP then $L(\mathcal F(M),X)=\Lip(M,X)$ has the Daugavet property for every non-zero Banach space $X$, showing that this is the case when $M$ is an injective Banach space or a convex subset of a Hilbert space.


title: Magnetic orderings from spin-orbit coupled electrons on kagome lattice

abstract: We investigate magnetic orderings on kagome lattice numerically from the tight-binding Hamiltonian of electrons, governed by the filling factor and spin-orbit coupling (SOC) of electrons. We find that even a simple kagome lattice model can host both ferromagnetic and noncollinear antiferromagnetic orderings depending on the electron filling, reflecting gap structures in the Dirac and flat bands characteristic to the kagome lattice. Kane--Mele- or Rashba-type SOC tends to stabilize noncollinear orderings, such as magnetic spirals and 120-degree antiferromagnetic orderings, due to the effective Dzyaloshinskii--Moriya interaction from SOC. The obtained phase structure helps qualitative understanding of magnetic orderings in various kagome-layered materials with Weyl or Dirac electrons.


title: Two is better than one: Regularized shrinkage of large minimum variance portfolio

abstract: In this paper we construct a shrinkage estimator of the global minimum variance (GMV) portfolio by a combination of two techniques: Tikhonov regularization and direct shrinkage of portfolio weights. More specifically, we employ a double shrinkage approach, where the covariance matrix and portfolio weights are shrunk simultaneously. The ridge parameter controls the stability of the covariance matrix, while the portfolio shrinkage intensity shrinks the regularized portfolio weights to a predefined target. Both parameters simultaneously minimize with probability one the out-of-sample variance as the number of assets $p$ and the sample size $n$ tend to infinity, while their ratio $p/n$ tends to a constant $c>0$. This method can also be seen as the optimal combination of the well-established linear shrinkage approach of Ledoit and Wolf (2004, JMVA) and the shrinkage of the portfolio weights by Bodnar et al. (2018, EJOR). No specific distribution is assumed for the asset returns except of the assumption of finite $4+\varepsilon$ moments. The performance of the double shrinkage estimator is investigated via extensive simulation and empirical studies. The suggested method significantly outperforms its predecessor (without regularization) and the nonlinear shrinkage approach in terms of the out-of-sample variance, Sharpe ratio and other empirical measures in the majority of scenarios. Moreover, it obeys the most stable portfolio weights with uniformly smallest turnover.


title: Kagom\'e network of chiral miniband-edge states in double-aligned graphene-hexagonal boron nitride structures

abstract: Twistronic heterostructures have recently emerged as a new class of quantum electronic materials with properties determined by the twist angle between the adjacent two-dimensional materials. Here we study moir\'e superlattice minibands in graphene (G) encapsulated in hexagonal boron nitride (hBN) with an almost perfect alignment with both the top and bottom hBN crystals. We show that, for such an orientation of the unit cells of the hBN layers that locally breaks inversion symmetry of the graphene lattice, the hBN/G/hBN structure features a Kagom\'e network of topologically protected chiral states with energies near the miniband edge, propagating along the lines separating the areas with different miniband Chern numbers.


title: Resource allocation for reconfigurable intelligent surface aided broadcast channels

abstract: A two-user downlink network aided by a reconfigurable intelligent surface is considered. The weighted sum signal to interference plus noise ratio maximization and the sum rate maximization models are presented, where the precoding vectors and the RIS matrix are jointly optimized. Since the optimization problem is non-convex and difficult, new approximation models are proposed. The upper bounds of the corresponding objective functions are derived and maximized. Two new algorithms based on the alternating direction method of multiplier are proposed. It is proved that the proposed algorithms converge to the KKT points of the approximation models as long as the iteration points converge. Simulation results show the good performances of the proposed models compared to state of the art algorithms.


title: Laplacian paths in complex networks: information core emerges from entropic transitions

abstract: Complex networks usually exhibit a rich architecture organized over multiple intertwined scales. Information pathways are expected to pervade these scales reflecting structural insights that are not manifest from analyses of the network topology. Moreover, small-world effects correlate with the different network hierarchies complicating the identification of coexisting mesoscopic structures and functional cores. We present a communicability analysis of effective information pathways throughout complex networks based on information diffusion to shed further light on these issues. We employ a variety of brand-new theoretical techniques allowing for: (i) bring the theoretical framework to quantify the probability of information diffusion among nodes, (ii) identify critical scales and structures of complex networks regardless of their intrinsic properties, and (iii) demonstrate their dynamical relevance in synchronization phenomena. By combining these ideas, we evidence how the information flow on complex networks unravels different resolution scales. Using computational techniques, we focus on entropic transitions, uncovering a generic mesoscale object, the information core, and controlling information processing in complex networks. Altogether, this study sheds much light on allowing new theoretical techniques paving the way to introduce future renormalization group approaches based on diffusion distances.

categories: physics.soc-ph cond-mat.dis-nn nlin.AO q-bio.NC


title: Learning Weakly-Supervised Contrastive Representations

abstract: We argue that a form of the valuable information provided by the auxiliary information is its implied data clustering information. For instance, considering hashtags as auxiliary information, we can hypothesize that an Instagram image will be semantically more similar with the same hashtags. With this intuition, we present a two-stage weakly-supervised contrastive learning approach. The first stage is to cluster data according to its auxiliary information. The second stage is to learn similar representations within the same cluster and dissimilar representations for data from different clusters. Our empirical experiments suggest the following three contributions. First, compared to conventional self-supervised representations, the auxiliary-information-infused representations bring the performance closer to the supervised representations, which use direct downstream labels as supervision signals. Second, our approach performs the best in most cases, when comparing our approach with other baseline representation learning methods that also leverage auxiliary data information. Third, we show that our approach also works well with unsupervised constructed clusters (e.g., no auxiliary information), resulting in a strong unsupervised representation learning approach.


title: Neighborhood Contrastive Learning for Scientific Document Representations with Citation Embeddings

abstract: Learning scientific document representations can be substantially improved through contrastive learning objectives, where the challenge lies in creating positive and negative training samples that encode the desired similarity semantics. Prior work relies on discrete citation relations to generate contrast samples. However, discrete citations enforce a hard cut-off to similarity. This is counter-intuitive to similarity-based learning, and ignores that scientific papers can be very similar despite lacking a direct citation - a core problem of finding related research. Instead, we use controlled nearest neighbor sampling over citation graph embeddings for contrastive learning. This control allows us to learn continuous similarity, to sample hard-to-learn negatives and positives, and also to avoid collisions between negative and positive samples by controlling the sampling margin between them. The resulting method SciNCL outperforms the state-of-the-art on the SciDocs benchmark. Furthermore, we demonstrate that it can train (or tune) models sample-efficiently, and that it can be combined with recent training-efficient methods. Perhaps surprisingly, even training a general-domain language model this way outperforms baselines pretrained in-domain.


title: Transport Model Comparison Studies of Intermediate-Energy Heavy-Ion Collisions

abstract: Transport models are the main method to obtain physics information from low to relativistic-energy heavy-ion collisions. The Transport Model Evaluation Project (TMEP) has been pursued to test the robustness of transport model predictions in reaching consistent conclusions from the same type of physical model. Calculations under controlled conditions of physical input and set-up were performed with various participating codes. These included both calculations of nuclear matter in a box with periodic boundary conditions, and more realistic calculations of heavy-ion collisions. In this intermediate review, we summarize and discuss the present status of the project. We also provide condensed descriptions of the 26 participating codes, which contributed to some part of the project. These include the major codes in use today. We review the main results of the studies completed so far. They show, that in box calculations the differences between the codes can be well understood and a convergence of the results can be reached. These studies also highlight the systematic differences between the two families of transport codes, known as BUU and QMD type codes. However, when the codes were compared in full heavy-ion collisions using different physical models, as recently for pion production, they still yielded substantially different results. This calls for further comparisons of heavy-ion collisions with controlled models and of box comparisons of important ingredients, like momentum-dependent fields, which are currently underway. We often indicate improved strategies in performing transport simulations and thus provide guidance to code developers. Results of transport simulations of heavy-ion collisions from a given code will have more significance if the code can be validated against benchmark calculations such as the ones summarized in this review.


title: Convolutional Neural Network with Convolutional Block Attention Module for Finger Vein Recognition

abstract: Convolutional neural networks have become a popular research in the field of finger vein recognition because of their powerful image feature representation. However, most researchers focus on improving the performance of the network by increasing the CNN depth and width, which often requires high computational effort. Moreover, we can notice that not only the importance of pixels in different channels is different, but also the importance of pixels in different positions of the same channel is different. To reduce the computational effort and to take into account the different importance of pixels, we propose a lightweight convolutional neural network with a convolutional block attention module (CBAM) for finger vein recognition, which can achieve a more accurate capture of visual structures through an attention mechanism. First, image sequences are fed into a lightweight convolutional neural network we designed to improve visual features. Afterwards, it learns to assign feature weights in an adaptive manner with the help of a convolutional block attention module. The experiments are carried out on two publicly available databases and the results demonstrate that the proposed method achieves a stable, highly accurate, and robust performance in multimodal finger recognition.


title: Learning to Ground Objects for Robot Task and Motion Planning

abstract: Task and motion planning (TAMP) algorithms have been developed to help robots plan behaviors in discrete and continuous spaces. Robots face complex real-world scenarios, where it is hardly possible to model all objects or their physical properties for robot planning (e.g., in kitchens or shopping centers). In this paper, we define a new object-centric TAMP problem, where the TAMP robot does not know object properties (e.g., size and weight of blocks). We then introduce Task-Motion Object-Centric planning ({\bf TMOC}), a grounded TAMP algorithm that learns to ground objects and their physical properties with a physics engine. TMOC is particularly useful for those tasks that involve dynamic complex robot-multi-object interactions that can hardly be modeled beforehand. We have demonstrated and evaluated TMOC in simulation and using a real robot. Results show that TMOC outperforms competitive baselines from the literature in cumulative utility.


title: Can Machines Help Us Answering Question 16 in Datasheets, and In Turn Reflecting on Inappropriate Content?

abstract: Large datasets underlying much of current machine learning raise serious issues concerning inappropriate content such as offensive, insulting, threatening, or might otherwise cause anxiety. This calls for increased dataset documentation, e.g., using datasheets. They, among other topics, encourage to reflect on the composition of the datasets. So far, this documentation, however, is done manually and therefore can be tedious and error-prone, especially for large image datasets. Here we ask the arguably "circular" question of whether a machine can help us reflect on inappropriate content, answering Question 16 in Datasheets. To this end, we propose to use the information stored in pre-trained transformer models to assist us in the documentation process. Specifically, prompt-tuning based on a dataset of socio-moral values steers CLIP to identify potentially inappropriate content, therefore reducing human labor. We then document the inappropriate images found using word clouds, based on captions generated using a vision-language model. The documentations of two popular, large-scale computer vision datasets -- ImageNet and OpenImages -- produced this way suggest that machines can indeed help dataset creators to answer Question 16 on inappropriate image content.


title: On the Computation of General Vector-valued Modular Forms

abstract: We present and discuss an algorithm and its implementation that is capable of directly determining Fourier expansions of any vector-valued modular form of weight at least $2$ associated with representations whose kernel is a congruence subgroup. It complements two available algorithms that are limited to inductions of Dirichlet characters and to Weil representations, thus covering further applications like Moonshine or Jacobi forms for congruence subgroups. We examine the calculation of invariants in specific representations via techniques from permutation groups, which greatly aids runtime performance. We explain how a generalization of cusp expansions of classical modular forms enters our implementation. After a heuristic consideration of time complexity, we relate the formulation of our algorithm to the two available ones, to highlight the compromises between level of generality and performance that each them makes.


title: Secure-by-Construction Synthesis of Cyber-Physical Systems

abstract: Correct-by-construction synthesis is a cornerstone of the confluence of formal methods and control theory towards designing safety-critical systems. Instead of following the time-tested, albeit laborious (re)design-verify-validate loop, correct-by-construction methodology advocates the use of continual refinements of formal requirements -- connected by chains of formal proofs -- to build a system that assures the correctness by design. A remarkable progress has been made in scaling the scope of applicability of correct-by-construction synthesis -- with a focus on cyber-physical systems that tie discrete-event control with continuous environment -- to enlarge control systems by combining symbolic approaches with principled state-space reduction techniques. Unfortunately, in the security-critical control systems, the security properties are verified ex post facto the design process in a way that undermines the correct-by-construction paradigm. We posit that, to truly realize the dream of correct-by-construction synthesis for security-critical systems, security considerations must take center-stage with the safety considerations. Moreover, catalyzed by the recent progress on the opacity sub-classes of security properties and the notion of hyperproperties capable of combining security with safety properties, we believe that the time is ripe for the research community to holistically target the challenge of secure-by-construction synthesis. This paper details our vision by highlighting the recent progress and open challenges that may serve as bricks for providing a solid foundation for secure-by-construction synthesis of cyber-physical systems.


title: Reproduction Capabilities of Penalized Hyperbolic-polynomial Splines

abstract: This paper investigates two important analytical properties of hyperbolic-polynomial penalized splines, HP-splines for short. HP-splines, obtained by combining a special type of difference penalty with hyperbolic-polynomial B-splines (HB-splines), were recently introduced by the authors as a generalization of P-splines. HB-splines are bell-shaped basis functions consisting of segments made of real exponentials $e^{\alpha x},\, e^{-\alpha x}$ and linear functions multiplied by these exponentials, $xe^{+\alpha x}$ and $xe^{-\alpha x}$. Here, we show that these type of penalized splines reproduce function in the space $\{e^{-\alpha x},\ x e^{-\alpha x}\}$, that is they fit exponential data exactly. Moreover, we show that they conserve the first and second 'exponential' moments.


title: Liveness and Latency of Byzantine State-Machine Replication (Extended Version)

abstract: Byzantine state-machine replication (SMR) ensures the consistency of replicated state in the presence of malicious replicas and lies at the heart of the modern blockchain technology. Byzantine SMR protocols often guarantee safety under all circumstances and liveness only under synchrony. However, guaranteeing liveness even under this assumption is nontrivial. So far we have lacked systematic ways of incorporating liveness mechanisms into Byzantine SMR protocols, which often led to subtle bugs. To close this gap, we introduce a modular framework to facilitate the design of provably live and efficient Byzantine SMR protocols. Our framework relies on a view abstraction generated by a special SMR synchronizer primitive to drive the agreement on command ordering. We present a simple formal specification of an SMR synchronizer and its bounded-space implementation under partial synchrony. We also apply our specification to prove liveness and analyze the latency of three Byzantine SMR protocols via a uniform methodology. In particular, one of these results yields what we believe is the first rigorous liveness proof for the algorithmic core of the seminal PBFT protocol.


title: Quantitative estimate of diameter for weighted manifolds under integral curvature bounds and $\varepsilon$-range

abstract: In this article, we extend the compactness theorems proved by Sprouse and Hwang-Lee to a weighted manifold under the assumption that the weighted Ricci curvature is bounded below in terms of its weight function. With the help of the $\varepsilon$-range, we treat the case that the effective dimension is at most $1$ in addition to the case that the effective dimension is at least the dimension of the manifold. To show these theorems, we extend the segment inequality of Cheeger-Colding to a weighted manifold.


title: Binary orbital evolution driven by a circumbinary disc

abstract: The question whether the interaction of a circumbinary disc with the central binary system leads to shrinking or expansion of the binary orbit has attracted considerable interest as it impacts the evolution of binary black holes and stellar binary stars in their formation phase. We performed two-dimensional hydrodynamical simulations of circumbinary discs for a large parameter set of disc viscosities and thicknesses and two different binary mass ratios for binaries on circular orbits. For those we measured carefully the net angular momentum and mass transfer between disc and binary system, and evaluate the normalised specific angular momentum accretion, $j_\mathrm{s}$ . This is compared to the theoretical, critical specific angular momentum change $j_\mathrm{s,crit}$ that separates contracting from expanding cases which depends on the the binary's mass ratio and the relative accretion onto the two stars. Using finite and infinite disc models we show that the inferred binary evolution is very similar for both setups and confirm that $j_\mathrm{s}$ can be measured accurately with cylindrical simulations that do not include the central binary. However, to obtain the relative accretion onto the stars for non-equal mass binaries, simulations that cover the whole domain including the binary are required. We find that for thick discs with aspect ratio $h = 0.1$ the binaries expand for all viscosities, while discs with $h = 0.05$ lead to an expansion only for larger viscosities with $\alpha$ exceeding $\sim 0.005$. Overall, the regime of binary expansion extends to a much wider parameter space than previously anticipated, but for thin, low viscosity discs the orbits shrink.


title: Client Monitoring Software: A Monitoring Tool for Greatleaf Land Inc

abstract: Monitoring typically supports greater analysis and allows for a lot deeper data collection on a Web browser level. Analysts may usually see the use of web-based monitoring software within an entire client context when it comes to client-side monitoring, on the other hand. In the case of Greatleaf Land Inc., their monitoring is somehow traditional. Traditional means that the paper method of monitoring is being utilized. When arranging piles of paper and afterwards forgetting about it, users lose track of where the information is situated. Another notable issue is that some information situating on a written on paper isn't easily cant be detected beyond skimming, which is a process normally being used to fast track records on a flipping pages, and sometimes there's also the fact that written records situating on papers can only situate in one location at a certain time unless the custodian has given up and made copies for everything. This study will check the feasibility of a web-based client monitoring software for Greatleaf Land Inc. By using ISO 25010, the study will determine if it is beneficial for Greatleaf Land Inc. to have an online monitoring software rather than settling to the traditional method that is currently being used by their company.


title: Collective wind farm operation based on a predictive model increases utility-scale energy production

abstract: Wind turbines located in wind farms are operated to maximize only their own power production. Individual operation results in wake losses that reduce farm energy. In this study, we operate a wind turbine array collectively to maximize total array production through wake steering. The selection of the farm control strategy relies on the optimization of computationally efficient flow models. We develop a physics-based, data-assisted flow control model to predict the optimal control strategy. In contrast to previous studies, we first design and implement a multi-month field experiment at a utility-scale wind farm to validate the model over a range of control strategies, most of which are suboptimal. The flow control model is able to predict the optimal yaw misalignment angles for the array within +/- 5 degrees for most wind directions (11-32% power gains). Using the validated model, we design a control protocol which increases the energy production of the farm in a second multi-month experiment by 2.7% and 1.0%, for the wind directions of interest and for wind speeds between 6 and 8 m/s and all wind speeds, respectively. The developed and validated predictive model can enable a wider adoption of collective wind farm operation.


title: Partially Fake Audio Detection by Self-attention-based Fake Span Discovery

abstract: The past few years have witnessed the significant advances of speech synthesis and voice conversion technologies. However, such technologies can undermine the robustness of broadly implemented biometric identification models and can be harnessed by in-the-wild attackers for illegal uses. The ASVspoof challenge mainly focuses on synthesized audios by advanced speech synthesis and voice conversion models, and replay attacks. Recently, the first Audio Deep Synthesis Detection challenge (ADD 2022) extends the attack scenarios into more aspects. Also ADD 2022 is the first challenge to propose the partially fake audio detection task. Such brand new attacks are dangerous and how to tackle such attacks remains an open question. Thus, we propose a novel framework by introducing the question-answering (fake span discovery) strategy with the self-attention mechanism to detect partially fake audios. The proposed fake span detection module tasks the anti-spoofing model to predict the start and end positions of the fake clip within the partially fake audio, address the model's attention into discovering the fake spans rather than other shortcuts with less generalization, and finally equips the model with the discrimination capacity between real and partially fake audios. Our submission ranked second in the partially fake audio detection track of ADD 2022.


title: Thermal processing of Jupiter Family Comets during their chaotic orbital evolution

abstract: Evidence for cometary activity beyond Jupiter and Saturn's orbits -- such as that observed for Centaurs and long period comets -- suggests that the thermal processing of comet nuclei starts long before they enter the inner Solar System, where they are typically observed and monitored. Such observations raise questions as to the depth of unprocessed material, and whether the activity of JFCs can be representative of any primitive material. Here we model the coupled thermal and dynamical evolution of Jupiter Family Comets (JFCs), from the moment they leave their outer Solar System reservoirs until their ejection into interstellar space. We apply a thermal evolution model to a sample of simulated JFCs obtained from dynamical simulations (arXiv:1706.07447) that successfully reproduce the orbital distribution of observed JFCs. We show that due to the stochastic nature of comet trajectories toward the inner solar system, all simulated JFCs undergo multiple heating episodes resulting in significant modifications of their initial volatile contents. A statistical analysis constrains the extent of such processing. We suggest that primordial condensed hypervolatile ices should be entirely lost from the layers that contribute to cometary activity observed today. Our results demonstrate that understanding the orbital (and thus, heating) history of JFCs is essential when putting observations in a broader context.


title: On the mystery of the absence of a spin-orbit gap in scanning tunneling microscopy spectra of germanene

abstract: Germanene, the germanium analogue of graphene, shares many properties with its carbon counterpart. Both materials are two-dimensional materials that host Dirac fermions. There are, however, also a few important differences between these two materials: (1) graphene has a planar honeycomb lattice, whereas germanene's honeycomb lattice is buckled and (2) the spin-orbit gap in germanene is predicted to be about three orders of magnitude larger than the spin-orbit gap in graphene (24 meV for germanene versus 20 $\mu$eV for graphene). Surprisingly, scanning tunneling spectra recorded on germanene layers synthesized on different substrates do not show any sign of the presence of a spin-orbit gap in germanene. To date the exact origin of the absence of this spin-orbit gap in the scanning tunneling spectra of germanene has remained a mystery. In this work we show that the absence of the spin-orbit can be explained by germanene's exceptionally low work function of only 3.8 eV. The difference in work function between germanene and the scanning tunneling microscopy tip (the work functions of most commonly used STM tips are in the range of 4.5 to 5.5 eV) gives rise to an electric field in the tunnel junction. This electric field results in a strong suppression of the size of the spin-orbit gap.


title: Domain Adaptation via Prompt Learning

abstract: Unsupervised domain adaption (UDA) aims to adapt models learned from a well-annotated source domain to a target domain, where only unlabeled samples are given. Current UDA approaches learn domain-invariant features by aligning source and target feature spaces. Such alignments are imposed by constraints such as statistical discrepancy minimization or adversarial training. However, these constraints could lead to the distortion of semantic feature structures and loss of class discriminability. In this paper, we introduce a novel prompt learning paradigm for UDA, named Domain Adaptation via Prompt Learning (DAPL). In contrast to prior works, our approach makes use of pre-trained vision-language models and optimizes only very few parameters. The main idea is to embed domain information into prompts, a form of representations generated from natural language, which is then used to perform classification. This domain information is shared only by images from the same domain, thereby dynamically adapting the classifier according to each domain. By adopting this paradigm, we show that our model not only outperforms previous methods on several cross-domain benchmarks but also is very efficient to train and easy to implement.


title: Geometric Transformer for Fast and Robust Point Cloud Registration

abstract: We study the problem of extracting accurate correspondences for point cloud registration. Recent keypoint-free methods bypass the detection of repeatable keypoints which is difficult in low-overlap scenarios, showing great potential in registration. They seek correspondences over downsampled superpoints, which are then propagated to dense points. Superpoints are matched based on whether their neighboring patches overlap. Such sparse and loose matching requires contextual features capturing the geometric structure of the point clouds. We propose Geometric Transformer to learn geometric feature for robust superpoint matching. It encodes pair-wise distances and triplet-wise angles, making it robust in low-overlap cases and invariant to rigid transformation. The simplistic design attains surprisingly high matching accuracy such that no RANSAC is required in the estimation of alignment transformation, leading to $100$ times acceleration. Our method improves the inlier ratio by $17{\sim}30$ percentage points and the registration recall by over $7$ points on the challenging 3DLoMatch benchmark. Our code and models are available at https://github.com/qinzheng93/GeoTransformer.


title: CodeFill: Multi-token Code Completion by Jointly Learning from Structure and Naming Sequences

abstract: Code completion is an essential feature of IDEs, yet current autocompleters are restricted to either grammar-based or NLP-based single token completions. Both approaches have significant drawbacks: grammar-based autocompletion is restricted in dynamically-typed language environments, whereas NLP-based autocompleters struggle to understand the semantics of the programming language and the developer's code context. In this work, we present CodeFill, a language model for autocompletion that combines learned structure and naming information. Using a parallel Transformer architecture and multi-task learning, CodeFill consumes sequences of source code token names and their equivalent AST token types. Uniquely, CodeFill is trained both for single-token and multi-token (statement) prediction, which enables it to learn long-range dependencies among grammatical and naming elements. We train CodeFill on two datasets, consisting of 29M and 425M lines of code, respectively. To make the evaluation more realistic, we develop a method to automatically infer points in the source code at which completion matters. We compare CodeFill against four baselines and two state-of-the-art models, GPT-C and TravTrans+.CodeFill surpasses all baselines in single token prediction (MRR: 70.9% vs. 66.2% and 67.8%) and outperforms the state of the art for multi-token prediction (ROUGE-L: 63.7% vs. 52.4% and 59.2%, for n=4 tokens). We publicly release our source code and datasets.


title: ArgSciChat: A Dataset for Argumentative Dialogues on Scientific Papers

abstract: The applications of conversational agents for scientific disciplines (as expert domains) are understudied due to the lack of dialogue data to train such agents. While most data collection frameworks, such as Amazon Mechanical Turk, foster data collection for generic domains by connecting crowd workers and task designers, these frameworks are not much optimized for data collection in expert domains. Scientists are rarely present in these frameworks due to their limited time budget. Therefore, we introduce a novel framework to collect dialogues between scientists as domain experts on scientific papers. Our framework lets scientists present their scientific papers as groundings for dialogues and participate in dialogue they like its paper title. We use our framework to collect a novel argumentative dialogue dataset, ArgSciChat. It consists of 498 messages collected from 41 dialogues on 20 scientific papers. Alongside extensive analysis on ArgSciChat, we evaluate a recent conversational agent on our dataset. Experimental results show that this agent poorly performs on ArgSciChat, motivating further research on argumentative scientific agents. We release our framework and the dataset.


title: Vanishing results for the coherent cohomology of automorphic vector bundles over the Siegel variety in positive characteristic

abstract: We prove vanishing results for the coherent cohomology of the good reduction modulo $p$ of the Siegel variety with coefficients in some automorphic bundles. We show that for an automorphic bundle with highest weight $\lambda$ near the walls of the anti-dominant Weyl chamber, there is an integer $e \geq 0$ such that the cohomology is concentrated in degrees $[0, e]$. The accessible weights with our method are not necessarily regular and not necessarily $p$-small. Since our method is technical, we also provide an algorithm written in Sage that computes explicitly the vanishing results.


title: TRIP: Trust-Limited Coercion-Resistant In-Person Voter Registration

abstract: Remote electronic voting is convenient and flexible, but presents risks of coercion and vote buying. One promising mitigation strategy enables voters to give a coercer fake voting credentials, which silently cast votes that do not count. However, current proposals make problematic assumptions during credential issuance, such as relying on a trustworthy registrar, on trusted hardware, or on voters interacting with multiple registrars. We present TRIP, the first voter registration scheme that addresses these challenges by leveraging the physical security of in-person interaction. Voters use a kiosk in a privacy booth to print real and fake paper credentials, which appear indistinguishable to others. Voters interact with only one authority, need no trusted hardware during credential issuance, and need not trust the registrar except when actually under coercion. For verifiability, each credential includes an interactive zero-knowledge proof, which is sound in real credentials and unsound in fake credentials. Voters learn the difference by observing the order of printing steps, and need not understand the technical details. We prove formally that TRIP satisfies coercion-resistance and verifiability. In a user study with 150 participants, 83% successfully used TRIP.


title: On Payment Channels in Asynchronous Money Transfer Systems

abstract: Money transfer is an abstraction that realizes the core of cryptocurrencies. It has been shown that, contrary to common belief, money transfer in the presence of Byzantine faults can be implemented in asynchronous networks and does not require consensus. Nonetheless, existing implementations of money transfer still require a quadratic message complexity per payment, making attempts to scale hard. In common blockchains, such as Bitcoin and Ethereum, this cost is mitigated by payment channels implemented as a second layer on top of the blockchain allowing to make many off-chain payments between two users who share a channel. Such channels only require on-chain transactions for channel opening and closing, while the intermediate payments are done off-chain with constant message complexity. But payment channels in-use today require synchrony, therefore they are inadequate for asynchronous money transfer systems. In this paper, we provide a series of possibility and impossibility results for payment channels in asynchronous money transfer systems. We first prove a quadratic lower bound on the message complexity of on-chain transfers. Then, we explore two types of payment channels, unidirectional and bidirectional. We define them as shared memory abstractions and prove that in certain cases they can be implemented as a second layer on top of an asynchronous money transfer system whereas in other cases it is impossible.


title: Versatile Dueling Bandits: Best-of-both-World Analyses for Online Learning from Preferences

abstract: We study the problem of $K$-armed dueling bandit for both stochastic and adversarial environments, where the goal of the learner is to aggregate information through relative preferences of pair of decisions points queried in an online sequential manner. We first propose a novel reduction from any (general) dueling bandits to multi-armed bandits and despite the simplicity, it allows us to improve many existing results in dueling bandits. In particular, \emph{we give the first best-of-both world result for the dueling bandits regret minimization problem} -- a unified framework that is guaranteed to perform optimally for both stochastic and adversarial preferences simultaneously. Moreover, our algorithm is also the first to achieve an optimal $O(\sum_{i = 1}^K \frac{\log T}{\Delta_i})$ regret bound against the Condorcet-winner benchmark, which scales optimally both in terms of the arm-size $K$ and the instance-specific suboptimality gaps $\{\Delta_i\}_{i = 1}^K$. This resolves the long-standing problem of designing an instancewise gap-dependent order optimal regret algorithm for dueling bandits (with matching lower bounds up to small constant factors). We further justify the robustness of our proposed algorithm by proving its optimal regret rate under adversarially corrupted preferences -- this outperforms the existing state-of-the-art corrupted dueling results by a large margin. In summary, we believe our reduction idea will find a broader scope in solving a diverse class of dueling bandits setting, which are otherwise studied separately from multi-armed bandits with often more complex solutions and worse guarantees. The efficacy of our proposed algorithms is empirically corroborated against the existing dueling bandit methods.


title: Tunable Excitons in Rhombohedral Trilayer Graphene

abstract: Trilayer graphene is receiving an increasing level of attention due to its stacking--dependent magnetoelectric and optoelectric properties, and its more robust ferromagnetism relative to monolayer and bilayer variants. Additionally, rhombohedral stacked trilayer graphene presents the possibility of easily opening a gap via either an external electric field perpendicular to the layers, or via the application of external strain. In this paper, we consider an external electric field to open a bandgap in rhombohedral trilayer graphene and study the excitonic optical response of the system. This is done via the combination of a tight binding model with the Bethe--Salpeter equation, solved semi--analytically and requiring only a simple numerical quadrature. We then discuss the valley--dependent optical selection rules, followed by the computation of the excitonic linear optical conductivity for the case of a rhombohedral graphene trilayer encapsulated in hexagonal boron nitride. The tunability of the excitonic resonances via an external field is also discussed, together with the increasing localization of the excitonic states as the field increases.


title: Tuning quantum-classical correspondence of molecular systems in a cavity

abstract: We show that the correspondence between quantum and classical mechanics can be tuned by varying the coupling strength between the cavity modes and an atom or a molecule. In the acceleration gauge the cavity-matter system is represented by an effective Hamiltonian with a non-trivial coupling appearing in the potential, and a renormaized mass. Importantly, the acceleration-gauge coupling is non-monotonic with the strength cavity-matter interaction. As a result one obtain effective approximately decoupled field-matter dynamics for weak and strong interactions. In the weak coupling regime the effective mass is essentially the original mass. In contrast, the renormalized mass is increased as the interaction is increased. This results in acceleration gauge dynamics of atom/molecule with the original Hamiltonian and effective Planck's constant that is reduced when the interaction is increased. This approach might lead in particular to the possibility of studying the correspondence of "quantum-chaos" (quantum stochasticity) with classical chaos, as well as either enhancement or suppression of tunneling, by varying a controllable physical parameter. Physical realization of our findings is briefly discussed.


title: Study of KNO scaling in pp collisions at $\sqrt{s}$ from 0.9 to 13 TeV using results of the ATLAS at the LHC

abstract: The comparisons of the charged-particle multiplicity and the average transverse momentum distributions on the scaled multiplicity, KNO scale, using the results of the ATLAS collaboration at the LHC are presented. These distributions were measured in proton-proton collisions at centre-of-mass energies from 0.9 to 13 TeV for the absolute pseudorapidity region less than 2.5 and two samples of events with each charged-particle transverse momentum greater than 100 and 500 MeV, respectively. The shape evolution of the multiplicity distributions with a collision energy is studied in terms of KNO scaling variables. The charged-particle multiplicity distributions on the KNO scale have the similar shape and decrease with increasing collision energy. The KNO distributions tend to be independent of energy for the highest energies. The average transverse momentum distributions on the KNO scale have a similar shape and increase with increasing collision energy.


title: Digital Contact Tracing Solutions: Promises, Pitfalls and Challenges

abstract: The COVID-19 pandemic has caused many countries to deploy novel digital contact tracing (DCT) systems to boost the efficiency of manual tracing of infection chains. In this paper, we systematically analyze DCT solutions and categorize them based on their design approaches and architectures. We analyze them with regard to effectiveness, security, privacy, and ethical aspects and compare prominent solutions with regard to these requirements. In particular, we discuss the shortcomings of the Google and Apple Exposure Notification API (GAEN) that is currently widely adopted all over the world. We find that the security and privacy of GAEN have considerable deficiencies as it can be compromised by severe, large-scale attacks. We also discuss other proposed approaches for contact tracing, including our proposal TRACECORONA, that are based on Diffie-Hellman (DH) key exchange and aim at tackling shortcomings of existing solutions. Our extensive analysis shows thatTRACECORONA fulfills the above security requirements better than deployed state-of-the-art approaches. We have implementedTRACECORONA, and its beta test version has been used by more than 2000 users without any major functional problems, demonstrating that there are no technical reasons requiring to make compromises with regard to the requirements of DCTapproaches.


title: Inverse-designed metaphotonics for hypersensitive detection

abstract: Controlling the flow of broadband electromagnetic energy at the nanoscale remains a critical challenge in optoelectronics. Surface plasmon polaritons (or plasmons) provide subwavelength localization of light, but are affected by significant losses. On the contrary, dielectrics lack a sufficiently robust response in the visible to trap photons similar to metallic structures. Overcoming these limitations appears elusive, as it implies devising a path to circumvent causality in the quantum-mechanical form of matter. Here we demonstrate that addressing this problem is possible if we employ a novel approach based on suitably deformed reflective metaphotonic structures. The complex geometrical shape engineered in these reflectors emulates nondispersive index responses, which can be inverse-designed following arbitrary form factors. We discuss the realization of essential components such as resonators with an ultra-high refractive index of $n=100$ in diverse profiles. These structures support localization of light in the form of bound states in the continuum (BIC), fully localized in air, in a platform in which all refractive index regions are physically accessible. We discuss our approach to sensing applications, designing a class of sensors where the analyte directly contacts areas of ultra-high refractive index. Leveraging this feature, we report differential sensitivities up to $350$~nm/RIU in structures with footprints of approximately one micron. These performances are two times better than the closest competitor with a similar form factor. Inversely designed reflective metaphotonics offers a flexible technology for controlling broadband light, supporting optoelectronics' integration with large bandwidths in circuitry with miniaturized footprints.


title: Superlinear convergence of Anderson accelerated Newton's method for solving stationary Navier-Stokes equations

abstract: This paper studies the performance Newton's iteration applied with Anderson acceleration for solving the incompressible steady Navier-Stokes equations. We manifest that this method converges superlinearly with a good initial guess, and moreover, a large Anderson depth decelerates the convergence speed comparing to a small Anderson depth. We observe that the numerical tests confirm these analytical convergence results, and in addition, Anderson acceleration sometimes enlarges the domain of convergence for Newton's method.


title: UA-FedRec: Untargeted Attack on Federated News Recommendation

abstract: News recommendation is critical for personalized news distribution. Federated news recommendation enables collaborative model learning from many clients without sharing their raw data. It is promising for privacy-preserving news recommendation. However, the security of federated news recommendation is still unclear. In this paper, we study this problem by proposing an untargeted attack called UA-FedRec. By exploiting the prior knowledge of news recommendation and federated learning, UA-FedRec can effectively degrade the model performance with a small percentage of malicious clients. First, the effectiveness of news recommendation highly depends on user modeling and news modeling. We design a news similarity perturbation method to make representations of similar news farther and those of dissimilar news closer to interrupt news modeling, and propose a user model perturbation method to make malicious user updates in opposite directions of benign updates to interrupt user modeling. Second, updates from different clients are typically aggregated by weighted-averaging based on their sample sizes. We propose a quantity perturbation method to enlarge sample sizes of malicious clients in a reasonable range to amplify the impact of malicious updates. Extensive experiments on two real-world datasets show that UA-FedRec can effectively degrade the accuracy of existing federated news recommendation methods, even when defense is applied. Our study reveals a critical security issue in existing federated news recommendation systems and calls for research efforts to address the issue.


title: Dynamical architecture of the HD 107148 system

abstract: We present an independent Doppler validation and dynamical orbital analysis of the two-planet system HD 107148, which was recently announced in Rosenthal et al. (2021). Our detailed analyses are based on literature HIRES data and newly obtained HARPS and CARMENES radial velocity (RV) measurements as part of our survey in search for additional planets around single planet systems. We perform a periodogram analysis of the available HIRES and HARPS precise RVs and stellar activity indicators. We do not find any apparent correlation between the RV measurements and the stellar activity indicators, thus linking the two strong periodicities to a moderately compact multiple-planet system. We carry out orbital fitting analysis by testing various one- and two-planet orbital configurations and studying the posterior probability distribution of the fitted parameters. Our results solidify the existence of a Saturn-mass planet (HD 107148 b, discovered first) with a period $P_b\sim77.2$ d, and a second, eccentric ($e_c \sim$ 0.4), Neptune-mass exoplanet (HD 107148 c), with an orbital period of $P_c\sim18.3$ d. Finally, we investigate the two-planet system's long-term stability and overall orbital dynamics with the posterior distribution of our preferred orbital configuration. Our N-body stability simulations show that the system is long-term stable and exhibits large secular osculations in eccentricity but in no particular mean-motion resonance configuration. The HD 107148 system, consisting of a Solar-type main sequence star with two giant planets in a rare configuration, features a common proper motion white dwarf companion and is, therefore, a valuable target for understanding the formation and evolution of planetary systems.


title: Heavy neutrinos at future linear e$^+$e$^-$ colliders

abstract: Neutrinos are among the most mysterious particles in nature. Their mass hierarchy and oscillations, as well as their antiparticle properties, are being intensively studied in experiments around the world. Moreover, in many models of physics beyond the Standard Model, the baryon asymmetry or the dark matter density in the Universe are explained by introducing new species of neutrinos. Among others, heavy neutrinos of Dirac or Majorana nature were proposed to solve open questions in High Energy Physics. Such neutrinos with masses above the EW scale could be produced at future linear e$^+$e$^-$ colliders, like the Compact LInear Collider (CLIC) or the International Linear Collider (ILC). We studied the possibility of observing decays of heavy Dirac and Majorana neutrinos in the $qq\ell$ final state with ILC running at 500 GeV and 1 TeV, and CLIC at 3 TeV. The analysis is based on the Whizard event generation and fast simulation of detector response with Delphes. Neutrinos with masses from 200 GeV to 3.2 TeV were considered. We estimated the limits on the production cross sections, interpreted them in terms of the neutrino-lepton coupling parameter $V_{\ell N}^{2}$ (effectively the neutrino mixing angle) and compared them with current limits coming from the LHC running at 13 TeV, as well as the expected limits from future hadron colliders. The limits for the future lepton colliders, extending down to the coupling values of $10^{-7} - 10^{-6}$, are stricter than any other limit estimates published so far.


title: An Edge-Based Interface-Tracking Method for Multiphase Flows

abstract: We propose a novel class of Edge-Based Interface-Tracking (EBIT) methods in the field of multiphase flows for advecting the interface. The position of the interface is tracked by marker points located on the edges of the underlying grid, making the method flexible with respect to the choice of spatial discretization and suitable for parallel computation. In this paper we present a simple EBIT method based on two-dimensional Cartesian grids and on a linear interface representation.


title: Uncovering the non-equilibrium stationary properties in sparse Boolean networks

abstract: Dynamic processes of interacting units on a network are out of equilibrium in general. In the case of a directed tree, the dynamic cavity method provides an efficient tool that characterises the dynamic trajectory of the process for the linear threshold model. However, because of the computational complexity of the method, the analysis has been limited to systems where the largest number of neighbours is small. We devise an efficient implementation of the dynamic cavity method which substantially reduces the computational complexity of the method for systems with discrete couplings. Our approach opens up the possibility to investigate the dynamic properties of networks with fat-tailed degree distribution. We exploit this new implementation to study properties of the non-equilibrium steady-state. We extend the dynamical cavity approach to calculate the pairwise correlations induced by different motifs in the network. Our results suggest that just two basic motifs of the network are able to accurately describe the entire statistics of observed correlations. Finally, we investigate models defined on networks containing bi-directional interactions. We observe that the stationary state associated with networks with symmetric or anti-symmetric interactions is biased towards the active or inactive state respectively, even if independent interaction entries are drawn from a symmetric distribution. This phenomenon, which can be regarded as a form of spontaneous symmetry-breaking, is peculiar to systems formulated in terms of Boolean variables, as opposed to Ising spins.


title: AdS-Taub-NUT spacetimes and exact black bounces with scalar hair

abstract: We present a new family of exact four-dimensional Taub-NUT spacetimes in Einstein-$\Lambda$ theory supplemented with a conformally coupled scalar field exhibiting a power-counting super-renormalizable potential. The construction proceeds as follows: A solution of a conformally coupled theory with a conformal potential, henceforth the seed $(g_{\mu\nu},\phi)$, is transformed by the action of a specific change of frame in addition with a simultaneous shift of the seed scalar. The new configuration, $(\bar{g}_{\mu\nu},\bar{\phi})$, solves the field equations of a conformally coupled theory with the aforementioned super-renormalizable potential. The solution spectrum of the seed is notoriously enhanced. We highlight the existence of two types of exact black bounces given by de Sitter and anti-de Sitter geometries that transit across three different configurations each. The de Sitter geometries transit from a regular black hole with event and cosmological horizons to a bouncing cosmology connecting two de Sitter Universes with different values of the asymptotic cosmological constant. An intermediate phase represented by a de Sitter wormhole or by a bouncing cosmology that connects two de Sitter Universes is shown, this under the presence of a cosmological horizon. On the other hand, the anti-de Sitter geometries transit from a regular black hole with inner and event horizons to a wormhole that connects two asymptotic boundaries with different constant curvatures. The intermediate phase is given by an anti-de Sitter regular black hole with a single event horizon that appears in two different settings. As a regular anti-de Sitter black hole inside of an anti-de Sitter wormhole or as an anti-de Sitter regular black hole with an internal cosmological bounce. These geometries are smoothly connected by the mass parameter only. Other black holes, bouncing cosmologies and wormholes are also found.


title: Spiking Cochlea with System-level Local Automatic Gain Control

abstract: Including local automatic gain control (AGC) circuitry into a silicon cochlea design has been challenging because of transistor mismatch and model complexity. To address this, we present an alternative system-level algorithm that implements channel-specific AGC in a silicon spiking cochlea by measuring the output spike activity of individual channels. The bandpass filter gain of a channel is adapted dynamically to the input amplitude so that the average output spike rate stays within a defined range. Because this AGC mechanism only needs counting and adding operations, it can be implemented at low hardware cost in a future design. We evaluate the impact of the local AGC algorithm on a classification task where the input signal varies over 32 dB input range. Two classifier types receiving cochlea spike features were tested on a speech versus noise classification task. The logistic regression classifier achieves an average of 6% improvement and 40.8% relative improvement in accuracy when the AGC is enabled. The deep neural network classifier shows a similar improvement for the AGC case and achieves a higher mean accuracy of 96% compared to the best accuracy of 91% from the logistic regression classifier.

categories: eess.SP cs.CV cs.LG cs.SD cs.SY eess.AS eess.SY


title: On Triangle Counting Parameterized by Twin-Width

abstract: In this report we present an algorithm solving Triangle Counting in time $O(d^2n+m)$, where n and m, respectively, denote the number of vertices and edges of a graph G and d denotes its twin-width, a recently introduced graph parameter. We assume that a compact representation of a d-contraction sequence of G is given.


title: How Do Vision Transformers Work?

abstract: The success of multi-head self-attentions (MSAs) for computer vision is now indisputable. However, little is known about how MSAs work. We present fundamental explanations to help better understand the nature of MSAs. In particular, we demonstrate the following properties of MSAs and Vision Transformers (ViTs): (1) MSAs improve not only accuracy but also generalization by flattening the loss landscapes. Such improvement is primarily attributable to their data specificity, not long-range dependency. On the other hand, ViTs suffer from non-convex losses. Large datasets and loss landscape smoothing methods alleviate this problem; (2) MSAs and Convs exhibit opposite behaviors. For example, MSAs are low-pass filters, but Convs are high-pass filters. Therefore, MSAs and Convs are complementary; (3) Multi-stage neural networks behave like a series connection of small individual models. In addition, MSAs at the end of a stage play a key role in prediction. Based on these insights, we propose AlterNet, a model in which Conv blocks at the end of a stage are replaced with MSA blocks. AlterNet outperforms CNNs not only in large data regimes but also in small data regimes. The code is available at https://github.com/xxxnell/how-do-vits-work.


title: On the Cauchy problem for quasi-linear Hamiltonian KdV-type equations

abstract: We prove local in time well-posedness for a class of quasilinear Hamiltonian KdV-type equations with periodic boundary conditions, more precisely we show existence, uniqueness and continuity of the solution map. We improve the previous result in \cite{Mietka}, generalising the considered class of equations and improving the regularity assumption on the initial data.


abstract: In this paper we introduce $n\mathbb{Z}$-abelian and $n\mathbb{Z}$-exact categories by axiomatising properties of $n\mathbb{Z}$-cluster tilting subcategories. We study this categories and show that every $n\mathbb{Z}$-cluster tilting subcategory of an abelian (resp., exact) category has a natural structure of an $n\mathbb{Z}$-abelian (resp., $n\mathbb{Z}$-exact) category. Also we show that every small $n\mathbb{Z}$-abelian category arise in this way, and discuss the problem for $n\mathbb{Z}$-exact categories.


title: The Merger Dynamics of the X-ray Emitting Plasma in Clusters of Galaxies

abstract: As the formation of cosmic structure continues to proceed, we observe one of the latest stages of this process in mergers of clusters of galaxies with other clusters, groups, and galaxies. The X-ray emitting hot plasma of these systems can be dramatically affected by these mergers, producing cold and shock fronts, gas sloshing, bulk motions, and turbulence. Combined with numerical simulations, observations of these features can be used to constrain the plasma physics of the hot gas as well as its interaction with high-energy cosmic rays. In this chapter, we review these topics and point forward to what the capabilities of future observatories will reveal.


title: Branched covers and rational homology balls

abstract: The concordance group of knots in the three-sphere contains an infinite subgroup generated by elements of order two, each one of which is represented by a knot K with the property that for every n > 0, the n-fold cyclic cover of S^3 branched over K bounds a rational homology ball. This implies that the kernel of the canonical homomorphism from the knot concordance group to the infinite direct sum of rational homology cobordism groups (defined via prime-power branched covers) contains an infinitely generated two-torsion subgroup.


title: Local law and rigidity for unitary Brownian motion

abstract: We establish high probability estimates on the eigenvalue locations of Brownian motion on the $N$-dimensional unitary group, as well as estimates on the number of eigenvalues lying in any interval on the unit circle. These estimates are optimal up to arbitrarily small polynomial factors in $N$. Our results hold at the spectral edges (showing that the extremal eigenvalues are within $\mathcal{O} (N^{-2/3+})$ of the edges of the limiting spectral measure), in the spectral bulk, as well as for times near $4$ at which point the limiting spectral measure forms a cusp. Our methods are dynamical and are based on analyzing the evolution of the Borel transform of the empirical spectral measure along the characteristics of the PDE satisfied by the limiting spectral measure, that of the free unitary Brownian motion.


title: A classical analog of the quantum Zeeman effect

abstract: We extend a recent classical mechanical analog of Bohr's atom consisting of a scalar field coupled to a massive point-like particle [P. Jamet, A. Drezet, ``A mechanical analog of Bohr's atom based on de Broglie's double-solution approach'', Chaos 31, 103120 (2021)] by adding and studying the contribution of a uniform weak magnetic field on their dynamics. In doing so, we are able to recover the splitting of the energy levels of the atom called Zeeman's effect within the constraints of our model and in agreement with the semiclassical theory of Sommerfeld. This result is obtained using Larmor's theorem for both the field and the particle, associating magnetic effects with inertial Coriolis forces in a rotating frame of reference. Our work, based on the old `double solution' theory of de Broglie, shows that a dualistic model involving a particle guided by a scalar field can reproduce the normal Zeeman effect.


title: Sintering of Alumina Nanoparticles: Comparison of Interatomic Potentials, Molecular Dynamics Simulations, and Data Analysis

abstract: Sintering of alumina nanoparticles is of interest both from the view of fundamental research as well as for industrial applications. Atomistic simulations are tailor-made for understanding and predicting the time- and temperature-dependent sintering behaviour. However, the quality and predictability of such analysis is strongly dependent on the performance of the underlying interatomic potentials. In this work, we investigate and benchmark four empirical interatomic potentials and discuss the resulting properties and drawbacks based on experimental and density functional theory data from the literature. The potentials, which have different origins and formulations, are then used in molecular dynamics simulations to perform a systematic study of the sintering process. To analyse the results, we develop a number of tailored data analysis approaches that are able to characterise and quantify the sintering process. Subsequently, the disparities in the sintering behaviour predicted by the potentials are critically discussed. Finally, we conclude by providing explanations for the differences in performance of the potentials, together with recommendations for molecular dynamics sintering simulations of alumina.


title: A Data-Centric Approach to Generate Invariants for a Smart Grid Using Machine Learning

abstract: Cyber-Physical Systems (CPS) have gained popularity due to the increased requirements on their uninterrupted connectivity and process automation. Due to their connectivity over the network including intranet and internet, dependence on sensitive data, heterogeneous nature, and large-scale deployment, they are highly vulnerable to cyber-attacks. Cyber-attacks are performed by creating anomalies in the normal operation of the systems with a goal either to disrupt the operation or destroy the system completely. The study proposed here focuses on detecting those anomalies which could be the cause of cyber-attacks. This is achieved by deriving the rules that govern the physical behavior of a process within a plant. These rules are called Invariants. We have proposed a Data-Centric approach (DaC) to generate such invariants. The entire study was conducted using the operational data of a functional smart power grid which is also a living lab.


title: Various New Inequalities for Beta Distributions

abstract: This note provides some new inequalities and approximations for beta distributions, including tail inequalities, exponential inequalities of Hoeffding and Bernstein type, Gaussian inequalities and approximations.


title: Turbulent flame speed based on the mass flow rate: theory and DNS

abstract: Starting with an integral formulation of mass flow rate through an ensemble of isotherms constituting a statistically planar, turbulent premixed flame, a scaling for the corresponding turbulent flame speed is derived without invoking Damk{\"o}hler's hypotheses. Major approximations and interim results are validated using a large Karlovitz number, unity Lewis number, Direct Numerical Simulation (DNS) dataset of n-heptane/air mixture, computed with reduced chemistry. A new length scale quantifying the fluctuation distance of the isotherms within the premixed flame structure is introduced.


title: SAMPL9 blind predictions using nonequilibrium alchemical approaches

abstract: We present our blind predictions for the Statistical Assessment of the Modeling of Proteins and Ligands (SAMPL), 9th challenge, focusing on binding of WP6 (carboxy-pillar[6]arene) with ammonium/diammonium cationic guests. Host-guest binding free energies have been calculated using the recently developed virtual double system single box approach, based on the enhanced sampling of the bound and unbound end-states followed by fast switching nonequilibrium alchemical simulations [M Macchiagodena, M Pagliai, M Karrenbrock, G Guarnieri, F Iannone, Procacci, J Chem Theory Comput, 16, 7260, 2020]. As far as Pearson and Kendall coefficients are concerned, performances were acceptable and, in general, better than those we submitted for calixarenes, cucurbituril-like open cavitand, and beta-cyclodextrines in previous SAMPL host-guest challenges, confirming the reliability of nonequilibrium approaches for absolute binding free energy calculations. In comparison with previous submissions, we found, nonetheless, a rather large mean signed error that we attribute to the way the finite charge correction was addressed through the assumption of a neutralizing background plasma.


title: Generalized para-Bose states

abstract: In this paper, we construct integrals of motion in a para-Bose formulation for a general time-dependent quadratic Hamiltonian, which, in its turn, commutes with the reflection operator. In this context, we obtain generalizations for the squeezed vacuum states (SVS) and coherent states (CS) in terms of the Wigner parameter. Furthermore, we show that there is a completeness relation for the generalized SVS owing to the Wigner parameter. In the study of the probability transition, we found that the displacement parameter acts as a transition parameter by allowing access to odd states, while the Wigner parameter controls the dispersion of the distribution. We show that the Wigner parameter is quantized by imposing that the vacuum state has even parity. We apply the general results to the case of the time-independent para-Bose oscillator and find that the mean values of the coordinate and momentum have an oscillatory behavior similarly to the simple harmonic oscillator, while the standard deviation presents corrections in terms of the squeeze, displacement, and Wigner parameters.


title: Active and Passive Hybrid Detection Method for Power CPS False Data Injection Attacks with Improved AKF and GRU-CNN

abstract: Influenced by deep penetration of the new generation of information technology, power systems have gradually evolved into highly coupled cyber-physical systems (CPS). Among many possible power CPS network attacks, a false data injection attacks (FDIAs) is the most serious. Taking account of the fact that the existing knowledge-driven detection process for FDIAs has been in a passive detection state for a long time and ignores the advantages of data-driven active capture of features, an active and passive hybrid detection method for power CPS FDIAs with improved adaptive Kalman filter (AKF) and convolutional neural networks (CNN) is proposed in this paper. First, we analyze the shortcomings of the traditional AKF algorithm in terms of filtering divergence and calculation speed. The state estimation algorithm based on non-negative positive-definite adaptive Kalman filter (NDAKF) is improved, and a passive detection method of FDIAs is constructed, with similarity Euclidean distance detection and residual detection at its core. Then, combined with the advantages of gate recurrent unit (GRU) and CNN in terms of temporal memory and feature-expression ability, an active detection method of FDIAs based on a GRU-CNN hybrid neural network is proposed. Finally, the results of joint knowledge-driven and data-driven parallel detection are used to define a mixed fixed-calculation formula, and an active and passive hybrid detection method of FDIAs is established, considering the characteristic constraints of the parallel mode. A simulation system example of power CPS FDIAs verifies the effectiveness and accuracy of the method proposed in this paper.


title: An Experimental Study of Wind Resistance and Power Consumption in MAVs with a Low-Speed Multi-Fan Wind System

abstract: This paper discusses a low-cost, open-source and open-hardware design and performance evaluation of a low-speed, multi-fan wind system dedicated to micro air vehicle (MAV) testing. In addition, a set of experiments with a flapping wing MAV and rotorcraft is presented, demonstrating the capabilities of the system and the properties of these different types of drones in response to various types of wind. We performed two sets of experiments where a MAV is flying into the wake of the fan system, gathering data about states, battery voltage and current. Firstly, we focus on steady wind conditions with wind speeds ranging from 0.5 m/s to 3.4 m/s. During the second set of experiments, we introduce wind gusts, by periodically modulating the wind speed from 1.3 m/s to 3.4 m/s with wind gust oscillations of 0.5 Hz, 0.25 Hz and 0.125 Hz. The "Flapper" flapping wing MAV requires much larger pitch angles to counter wind than the "CrazyFlie" quadrotor. This is due to the Flapper's larger wing surface. In forward flight, its wings do provide extra lift, considerably reducing the power consumption. In contrast, the CrazyFlie's power consumption stays more constant for different wind speeds. The experiments with the varying wind show a quicker gust response by the CrazyFlie compared with the Flapper drone, but both their responses could be further improved. We expect that the proposed wind gust system will provide a useful tool to the community to achieve such improvements.


title: Thermal release tape-assisted semiconductor membrane transfer process for hybrid photonic devices embedding quantum emitters

abstract: Being able to combine different materials allows taking advantage of different properties and device engineering that cannot be found or exploited within a single material system. In quantum nano-photonics, one might want to increase the device functionalities by, for instance, combining efficient classical and quantum light emission available in III-V semiconductors, low-loss light propagation accessible in silicon-based materials, fast electro-optical properties of lithium niobate and broadband reflectors and/or buried metallic contacts for local electric field application or electrical injection of emitters. We propose a transfer printing technique based on the removal of arrays of free-standing membranes and their deposition onto a host material using a thermal release adhesive tape-assisted process. This approach is versatile, in that it poses limited restrictions on the transferred and host materials. In particular, we transfer 190 nm-thick GaAs membranes, with dimensions up to about 260$\mu$m x 80$\mu$m, containing InAs quantum dots, onto a gold substrate. We show that the presence of a back reflector combined with the etching of micro-pillars significantly increases the extraction efficiency of quantum light, reaching photon fluxes, from a single quantum dot line, exceeding 8 x 10$^5$ photons per second, which is four times higher than the highest count rates measured, on the same chip, from emitters outside the pillars. Given the versatility and the ease of the process, this technique opens the path to the realisation of hybrid quantum and nano-photonic devices that can combine virtually any material that can be undercut to realise free-standing membranes that are then transferred onto any host substrate, without specific compatibility issues and/or requirements.


title: A Graph-based U-Net Model for Predicting Traffic in unseen Cities

abstract: Accurate traffic prediction is a key ingredient to enable traffic management like rerouting cars to reduce road congestion or regulating traffic via dynamic speed limits to maintain a steady flow. A way to represent traffic data is in the form of temporally changing heatmaps visualizing attributes of traffic, such as speed and volume. In recent works, U-Net models have shown SOTA performance on traffic forecasting from heatmaps. We propose to combine the U-Net architecture with graph layers which improves spatial generalization to unseen road networks compared to a Vanilla U-Net. In particular, we specialize existing graph operations to be sensitive to geographical topology and generalize pooling and upsampling operations to be applicable to graphs.


title: Experimental Augmented Reality User Experience

abstract: Augmented Reality (AR) is an emerging field ripe for experimentation, especially when it comes to developing the kinds of applications and experiences that will drive mass adoption of the technology. While we aren't aware of any current consumer product that realize a wearable, wide Field of View (FoV), AR Head Mounted Display (HMD), such devices will certainly come. In order for these sophisticated, likely high-cost hardware products to succeed, it is important they provide a high quality user experience. To that end, we prototyped 4 experimental applications for wide FoV displays that will likely exist in the future. Given current AR HMD limitations, we used a AR simulator built on web technology and VR headsets to demonstrate these applications, allowing users and designers to peer into the future.


title: STG-GAN: A spatiotemporal graph generative adversarial networks for short-term passenger flow prediction in urban rail transit systems

abstract: Short-term passenger flow prediction is an important but challenging task for better managing urban rail transit (URT) systems. Some emerging deep learning models provide good insights to improve short-term prediction accuracy. However, there exist many complex spatiotemporal dependencies in URT systems. Most previous methods only consider the absolute error between ground truth and predictions as the optimization objective, which fails to account for spatial and temporal constraints on the predictions. Furthermore, a large number of existing prediction models introduce complex neural network layers to improve accuracy while ignoring their training efficiency and memory occupancy, decreasing the chances to be applied to the real world. To overcome these limitations, we propose a novel deep learning-based spatiotemporal graph generative adversarial network (STG-GAN) model with higher prediction accuracy, higher efficiency, and lower memory occupancy to predict short-term passenger flows of the URT network. Our model consists of two major parts, which are optimized in an adversarial learning manner: (1) a generator network including gated temporal conventional networks (TCN) and weight sharing graph convolution networks (GCN) to capture structural spatiotemporal dependencies and generate predictions with a relatively small computational burden; (2) a discriminator network including a spatial discriminator and a temporal discriminator to enhance the spatial and temporal constraints of the predictions. The STG-GAN is evaluated on two large-scale real-world datasets from Beijing Subway. A comparison with those of several state-of-the-art models illustrates its superiority and robustness. This study can provide critical experience in conducting short-term passenger flow predictions, especially from the perspective of real-world applications.


title: Learning Branch Probabilities in Compiler from Datacenter Workloads

abstract: Estimating the probability with which a conditional branch instruction is taken is an important analysis that enables many optimizations in modern compilers. When using Profile Guided Optimizations (PGO), compilers are able to make a good estimation of the branch probabilities. In the absence of profile information, compilers resort to using heuristics for this purpose. In this work, we propose learning branch probabilities from a large corpus of data obtained from datacenter workloads. Using metrics including Root Mean Squared Error, Mean Absolute Error and cross-entropy, we show that the machine learning model improves branch probability estimation by 18-50% in comparison to compiler heuristics. This translates to performance improvement of up to 8.1% on 24 out of a suite of 40 benchmarks with a 1% geomean improvement on the suite. This also results in greater than 1.2% performance improvement in an important search application.


title: Random walk informed community detection reveals heterogeneities in the lymph node conduits network

abstract: Random walks on networks are widely used to model stochastic processes such as search strategies, transportation problems or disease propagation. A prominent example of such process is the guiding of naive T cells by the lymph node conduits network. Here,we propose a general framework to find network heterogeneities, which we define as connectivity patterns that affect the random walk. We propose to characterize and measure these heterogeneities by detecting communities in a way that is interpretable in terms of random walk. Moreover, we use an approximation to accurately and efficiently compute these quantities on large networks. Finally, we propose an interactive data visualization platform to follow the dynamics of the random walks and their characteristics on our datasets, and a ready-to-use pipeline for other datasets upon download. By computing quantitative feature of random walk informed communities detected within the network, we show that the lymph node conduit network is spatially coherent, however, despite its quasi-regularity, contains some random walk related heterogeneities. To evaluate these characteristics, we applied the same workflow of diffusion based community detection and analysis on the LNCN and a series of generated toy networks.