title: Yang-Baxter R-operators for osp superalgebras

abstract: We study Yang-Baxter equations with orthosymplectic supersymmetry. We extend a new approach of the construction of the spinor and metaplectic $\hat{\cal R}$-operators with orthogonal and symplectic symmetries to the supersymmetric case of orthosymplectic symmetry. In this approach the orthosymplectic $\hat{\cal R}$-operator is given by the ratio of two operator valued Euler Gamma-functions. We illustrate this approach by calculating such $\hat{\cal R}$ operators in explicit form for special cases of the $osp(n|2m)$ algebra, in particular for a few low-rank cases. We also propose a novel, simpler and more elegant, derivation of the Shankar-Witten type formula for the $osp$ invariant $\hat{\cal R}$-operator and demonstrate the equivalence of the previous approach to the new one in the general case of the $\hat{\cal R}$-operator invariant under the action of the $osp(n|2m)$ algebra.


title: Affinity, Kinetics, and Pathways of Anisotropic Ligands Binding to Hydrophobic Model Pockets

abstract: Using explicit-water molecular dynamics (MD) simulations of a generic pocket-ligand model we investigate how chemical and shape anisotropy of small ligands influences the affinities, kinetic rates and pathways for their association to hydrophobic binding sites. In particular, we investigate aromatic compounds, all of similar molecular size, but distinct by various hydrophilic or hydrophobic residues. We demonstrate that the most hydrophobic sections are in general desolvated primarily upon binding to the cavity, suggesting that specific hydration of the different chemical units can steer the orientation pathways via a `hydrophobic torque'. Moreover, we find that ligands with bimodal orientation fluctuations have significantly increased kinetic barriers for binding compared to the kinetic barriers previously observed for spherical ligands due to translational fluctuations. We exemplify that these kinetic barriers, which are ligand specific, impact both binding and unbinding times for which we observe considerable differences between our studied ligands.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: A generalisation of Schenkman's theorem

abstract: Let $G$ be a finite group and let $\mathfrak{F}$ be a hereditary saturated formation. We denote by $\mathbf{Z}_{\mathfrak{F}}(G)$ the product of all normal subgroups $N$ of $G$ such that every chief factor $H/K$ of $G$ below $N$ is $\mathfrak{F}$-central in $G$, that is, \[ (H/K) \rtimes (G/\mathbf{C}_{G}(H/K)) \in \mathfrak{F}. \]A subgroup $A \leq G$ is said to be $\mathfrak{F}$-subnormal in the sense of Kegel, or $K$-$\mathfrak{F}$-subnormal in $G$, if there is a subgroup chain \[ A = A_0 \leq A_1 \leq \ldots \leq A_n = G \] such that either $A_{i-1} \trianglelefteq A_{i}$ or $A_i / (A_{i-1})_{A_i} \in \mathfrak{F}$ for all $i = 1, \ldots , n$. In this paper, we prove the following generalisation of Schenkman's Theorem on the centraliser of the nilpotent residual of a subnormal subgroup: Let $\mathfrak{F}$ be a hereditary saturated formation and let $S$ be a $K$-$\mathfrak{F}$-subnormal subgroup of $G$. If $\mathbf{Z}_{\mathfrak{F}}(E) = 1$ for every subgroup $E$ of $G$ such that $S \leq E$ then $\mathbf{C}_{G}(D) \leq D$, where $D = S^{\mathfrak{F}}$ is the $\mathfrak{F}$-residual of $S$.


title: Interacting Chern Insulator in Infinite Spatial Dimensions

abstract: We study a generic model of a Chern insulator supplemented by a Hubbard interaction in arbitrary even dimension $D$ and demonstrate that the model remains well-defined and nontrivial in the $D \to \infty$ limit. Dynamical mean-field theory is applicable and predicts a phase diagram with a continuum of topologically different phases separating a correlated Mott insulator from the trivial band insulator. We discuss various features, such as the elusive distinction between insulating and semi-metal states, which are unconventional already in the non-interacting case. Topological phases are characterized by a non-quantized Chern density replacing the Chern number as $D\to \infty$.


title: Coarse compactifications of proper metric spaces

abstract: This paper studies coarse compactifications and their boundary. We introduce two alternative descriptions to Roe's original definition of coarse compactification. One approach uses bounded functions on $X$ that can be extended to the boundary. They satisfy the Higson property exactly when the compactification is coarse. The other approach defines a relation on subsets of $X$ which tells when two subsets closure meet on the boundary. A set of axioms characterizes when this relation defines a coarse compactification. Such a relation is called large-scale proximity. Based on this foundational work we study examples for coarse compactifications Higson compactification, Freudenthal compactification and Gromov compactification. For each example we characterize the bounded functions which can be extended to the coarse compactification and the corresponding large-scale proximity relation. We provide an alternative proof for the property that the Higson compactification is universal among coarse compactifications. Furthermore the Freudenthal compactification is universal among coarse compactifications with totally disconnected boundary. If $X$ is hyperbolic geodesic proper then there is a closed embedding $\nu(\mathbb R_+)\times \partial X\to \nu(X)$. Its image is a retract of $\nu(X)$ if $X$ is a tree.


title: CARONTE: Crawling Adversarial Resources Over Non-Trusted, High-Profile Environments

abstract: The monitoring of underground criminal activities is often automated to maximize the data collection and to train ML models to automatically adapt data collection tools to different communities. On the other hand, sophisticated adversaries may adopt crawling-detection capabilities that may significantly jeopardize researchers' opportunities to perform the data collection, for example by putting their accounts under the spotlight and being expelled from the community. This is particularly undesirable in prominent and high-profile criminal communities where entry costs are significant (either monetarily or for example for background checking or other trust-building mechanisms). This paper presents CARONTE, a tool to semi-automatically learn virtually any forum structure for parsing and data-extraction, while maintaining a low profile for the data collection and avoiding the requirement of collecting massive datasets to maintain tool scalability. We showcase the tool against four underground forums, and compare the network traffic it generates (as seen from the adversary's position, i.e. the underground community's server) against state-of-the-art tools for web-crawling as well as human users.


title: Influence of drying conditions on the stress and weight development of capillary suspensions

abstract: Cracking of suspensions during drying is a common problem. While additives, e.g. binders and surfactants, can mitigate this problem, some applications, such as printing conductive pastes or sintering green bodies, do not lend themselves to the use of additives. Capillary suspensions provide an alternative formulation without additives. In this work, we use simultaneous stress and weight measurements to investigate the influence of formulation and drying conditions. Capillary suspensions dry more homogeneously and with lower peak stresses, leading to an increased robustness against cracking compared. An increase in dry film porosity is not the key driver for the stress reduction. Instead, the capillary bridges, which create strong particle networks, resist the stress. Increasing the relative humidity enhances this effect, even for pure suspensions. While lower boiling point secondary liquids, e.g. water, persist for very long times during drying, higher boiling point liquids offer further potential to tune the the drying process.


title: Extensible Data Skipping

abstract: Data skipping reduces I/O for SQL queries by skipping over irrelevant data objects (files) based on their metadata. We extend this notion by allowing developers to define their own data skipping metadata types and indexes using a flexible API. Our framework is the first to natively support data skipping for arbitrary data types (e.g. geospatial, logs) and queries with User Defined Functions (UDFs). We integrated our framework with Apache Spark and it is now deployed across multiple products/services at IBM. We present our extensible data skipping APIs, discuss index design, and implement various metadata indexes, requiring only around 30 lines of additional code per index. In particular we implement data skipping for a third party library with geospatial UDFs and demonstrate speedups of two orders of magnitude. Our centralized metadata approach provides a x3.6 speed up even when compared to queries which are rewritten to exploit Parquet min/max metadata. We demonstrate that extensible data skipping is applicable to broad class of applications, where user defined indexes achieve significant speedups and cost savings with very low development cost.


title: Does "Fans Economy" Work for Chinese Pop Music Industry?

abstract: China has become one of the largest entertainment markets in the world in recent years. Due to the success of Xiaomi, many Chinese pop music industry entrepreneurs believe "Fans Economy" works in the pop music industry. "Fans Economy" is based on the assumption that pop music consumer market could be segmented based on artists. Each music artist has its own exclusive loyal fans. In this paper, we provide an insightful study of the pop music artists and fans social network. Particularly, we segment the pop music consumer market and pop music artists respectively. Our results show that due to the Matthew Effect and limited diversity of consumer market, "Fans Economy" does not work for the Chinese pop music industry.


title: Resonant absorption: transformation of compressive motions into vortical motions

abstract: This paper investigates the changes in spatial properties when magnetohydrodynamic (MHD) waves undergo resonant damping in the Alfv\'en continuum. The analysis is carried out for a 1D cylindrical pressure-less plasma with a straight magnetic field. The effect of the damping on the spatial wave variables is determined by using complex frequencies that arise as a result of the resonant damping. Compression and vorticity are used to characterise the spatial evolution of the MHD wave. The most striking result is the huge spatial variation in the vorticity component parallel to the magnetic field. Parallel vorticity vanishes in the uniform part of the equilibrium. However, when the MHD wave moves into the non-uniform part, parallel vorticity explodes to values that are orders of magnitude higher than those attained by the transverse components in planes normal to the straight magnetic field. In the non-uniform part of the equilibrium plasma, the MHD wave is controlled by parallel vorticity and resembles an Alfv\'en wave, with the unfamiliar property that it has pressure variations even in the linear regime.


title: End-to-End Neural Event Coreference Resolution

abstract: Traditional event coreference systems usually rely on pipeline framework and hand-crafted features, which often face error propagation problem and have poor generalization ability. In this paper, we propose an End-to-End Event Coreference approach -- E3C neural network, which can jointly model event detection and event coreference resolution tasks, and learn to extract features from raw text automatically. Furthermore, because event mentions are highly diversified and event coreference is intricately governed by long-distance, semantic-dependent decisions, a type-guided event coreference mechanism is further proposed in our E3C neural network. Experiments show that our method achieves new state-of-the-art performance on two standard datasets.


title: Confirming known planetary trends using a photometrically selected Kepler sample

abstract: Statistical studies of exoplanets and the properties of their host stars have been critical to informing models of planet formation. Numerous trends have arisen in particular from the rich Kepler dataset, including that exoplanets are more likely to be found around stars with a high metallicity and the presence of a "gap" in the distribution of planetary radii at 1.9$R_\oplus$. Here we present a new analysis on the Kepler field, using the APOGEE spectroscopic survey to build a metallicity calibration based on Gaia, 2MASS and Stromgren photometry. This calibration, along with masses and radii derived from a Bayesian isochrone fitting algorithm, is used to test a number of these trends with unbiased, photometrically derived parameters, albeit with a smaller sample size in comparison to recent studies. We recover that planets are more frequently found around higher metallicity stars; over the entire sample, planetary frequencies are $0.88\pm0.12$ percent for [Fe/H]<0 and $1.37\pm0.16$ percent for [Fe/H]$\geq$0 but at two sigma we find that the size of exoplanets influences the strength of this trend. We also recover the planet radius gap, along with a slight positive correlation with stellar mass. We conclude that this method shows promise to derive robust statistics of exoplanets. We also remark that spectrophotometry from Gaia DR3 will have an effective resolution similar to narrow band filters and allow to overcome the small sample size inherent in this study.


title: Indoor environment data time-series reconstruction using autoencoder neural networks

abstract: As the number of installed meters in buildings increases, there is a growing number of data time-series that could be used to develop data-driven models to support and optimize building operation. However, building data sets are often characterized by errors and missing values, which are considered, by the recent research, among the main limiting factors on the performance of the proposed models. Motivated by the need to address the problem of missing data in building operation, this work presents a data-driven approach to fill these gaps. In this study, three different autoencoder neural networks are trained to reconstruct missing short-term indoor environment data time-series in a data set collected in an office building in Aachen, Germany. This consisted of a four year-long monitoring campaign in and between the years 2014 and 2017, of 84 different rooms. The models are applicable for different time-series obtained from room automation, such as indoor air temperature, relative humidity and $CO_{2}$ data streams. The results prove that the proposed methods outperform classic numerical approaches and they result in reconstructing the corresponding variables with average RMSEs of 0.42 {\deg}C, 1.30 % and 78.41 ppm, respectively.


title: Suction-based Soft Robotic Gripping of Rough and Irregular Parts

abstract: Recently, suction-based robotic systems with microscopic features or active suction components have been proposed to grip rough and irregular surfaces. However, sophisticated fabrication methods or complex control systems are required for such systems, and robust attachment to rough real-world surfaces still remains a grand challenge. Here, we propose a fully soft robotic gripper, where a flat elastic membrane is used to conform and contact parts or surfaces well, where an internal negative pressure exerted on the air-sealed membrane induces the suction-based gripping. 3D printing in combination with soft molding techniques enable the fabrication of the soft gripper. Robust attachment to complex 3D and rough surfaces is enabled by the surface-conformable soft flat membrane, which generates strong and robust suction at the contact interface. Such robust attachment to rough and irregular surfaces enables manipulation of a broad range of real-world objects, such as an egg, lime, and foiled package, without any physical damage. Compared to the conventional suction cup designs, the proposed suction gripper design shows a four-fold increase in gripping performance on rough surfaces. Furthermore, the structural and material simplicity of the proposed gripper architecture facilitates its system-level integration with other soft robotic peripherals, which can enable broader impact in diverse fields, such as digital manufacturing, robotic manipulation, and medical gripping applications.


title: Picosecond pulse-shaping for strong three-dimensional field-free alignment of generic asymmetric-top molecules

abstract: Fixing molecules in space is a crucial step for the imaging of molecular structure and dynamics. Here, we demonstrate three-dimensional (3D) field-free alignment of the prototypical asymmetric top molecule indole using elliptically polarized, shaped, off-resonant laser pulses. A truncated laser pulse is produced using a combination of extreme linear chirping and controlled phase and amplitude shaping using a spatial-light-modulator (SLM) based pulse shaper of a broadband laser pulse. The angular confinement is detected through velocity-map imaging of H$^+$ and C$^{2+}$ fragments resulting from strong-field ionization and Coulomb explosion of the aligned molecules by intense femtosecond laser pulses. The achieved three-dimensional alignment is characterized by comparing the result of ion-velocity-map measurements for different alignment directions and for different times during and after the alignment laser pulse to accurate computational results. The achieved strong three-dimensional field-free alignment of $\langle \cos^{2}\delta \rangle=0.89$ demonstrates the feasibility of both, strong three-dimensional alignment of generic complex molecules and its quantitative characterization.


title: p-Edge/Vertex-Connected Vertex Cover: Parameterized and Approximation Algorithms

abstract: We introduce and study two natural generalizations of the Connected VertexCover (VC) problem: the $p$-Edge-Connected and $p$-Vertex-Connected VC problem (where $p \geq 2$ is a fixed integer). Like Connected VC, both new VC problems are FPT, but do not admit a polynomial kernel unless $NP \subseteq coNP/poly$, which is highly unlikely. We prove however that both problems admit time efficient polynomial sized approximate kernelization schemes. We obtain an $O(2^{O(pk)}n^{O(1)})$-time algorithm for the $p$-Edge-Connected VC and an $O(2^{O(k^2)}n^{O(1)})$-time algorithm for the $p$-Vertex-Connected VC. Finally, we describe a $2(p+1)$-approximation algorithm for the $p$-Edge-Connected VC. The proofs for the new VC problems require more sophisticated arguments than for Connected VC. In particular, for the approximation algorithm we use Gomory-Hu trees and for the approximate kernels a result on small-size spanning $p$-vertex/edge-connected subgraph of a $p$-vertex/edge-connected graph obtained independently by Nishizeki and Poljak (1994) and Nagamochi and Ibaraki (1992).


title: Ram pressure stripping of HI-rich galaxies infalling into massive clusters

abstract: We estimate the strength of ram pressure stripping (RPS) for HI-rich galaxies in X-ray detected clusters. We find that galaxies under stronger RPS tend to show more significantly reduced total HI mass and enhanced central SFR, compared to control galaxies in the field which have similar stellar mass, stellar surface density and integral star formation rate. Galaxies under strong or weak RPS account for around 40% of the HI-rich population at R200, and even beyond R200 in the most massive clusters. Our results imply the important role of RPS as a channel of environmental processing far before the galaxies reach the core region of clusters.


title: Some Properties of Sandpile Models as Prototype of Self-Organized Critical Systems

abstract: This paper is devoted to the recent advances in self-organized criticality (SOC), and the concepts. The paper contains three parts; in the first part we present some examples of SOC systems, in the second part we add some comments concerning its relation to logarithmic conformal field theory, and in the third part we report on the application of SOC concepts to various systems ranging from cumulus clouds to 2D electron gases.


title: Byzantine-Robust Variance-Reduced Federated Learning over Distributed Non-i.i.d. Data

abstract: We consider the federated learning problem where data on workers are not independent and identically distributed (i.i.d.). During the learning process, an unknown number of Byzantine workers may send malicious messages to the central node, leading to remarkable learning error. Most of the Byzantine-robust methods address this issue by using robust aggregation rules to aggregate the received messages, but rely on the assumption that all the regular workers have i.i.d. data, which is not the case in many federated learning applications. In light of the significance of reducing stochastic gradient noise for mitigating the effect of Byzantine attacks, we use a resampling strategy to reduce the impact of both inner variation (that describes the sample heterogeneity on every regular worker) and outer variation (that describes the sample heterogeneity among the regular workers), along with a stochastic average gradient algorithm to gradually eliminate the inner variation. The variance-reduced messages are then aggregated with a robust geometric median operator. We prove that the proposed method reaches a neighborhood of the optimal solution at a linear convergence rate and the learning error is determined by the number of Byzantine workers. Numerical experiments corroborate the theoretical results and show that the proposed method outperforms the state-of-the-arts in the non-i.i.d. setting.


title: Online Speaker Diarization with Relation Network

abstract: In this paper, we propose an online speaker diarization system based on Relation Network, named RenoSD. Unlike conventional diariztion systems which consist of several independently-optimized modules, RenoSD implements voice-activity-detection (VAD), embedding extraction, and speaker identity association using a single deep neural network. The most striking feature of RenoSD is that it adopts a meta-learning strategy for speaker identity association. In particular, the relation network learns to learn a deep distance metric in a data-driven way and it can determine through a simple forward pass whether two given segments belong to the same speaker. As such, RenoSD can be performed in an online manner with low latency. Experimental results on AMI and CALLHOME datasets show that the proposed RenoSD system achieves consistent improvements over the state-of-the-art x-vector baseline. Compared with an existing online diarization system named UIS-RNN, RenoSD achieves a better performance using much fewer training data and at a lower time complexity.


title: A numerical stability analysis for the Einstein-Vlasov system

abstract: We investigate stability issues for steady states of the spherically symmetric Einstein-Vlasov system numerically in Schwarzschild, maximal areal, and Eddington-Finkelstein coordinates. Across all coordinate systems we confirm the conjecture that the first binding energy maximum along a one-parameter family of steady states signals the onset of instability. Beyond this maximum perturbed solutions either collapse to a black hole, form heteroclinic orbits, or eventually fully disperse. Contrary to earlier research, we find that a negative binding energy does not necessarily correspond to fully dispersing solutions. We also comment on the so-called turning point principle from the viewpoint of our numerical results. The physical reliability of the latter is strengthened by obtaining consistent results in the three different coordinate systems and by the systematic use of dynamically accessible perturbations.


title: A note on the Erd\H{o}s-Szekeres theorem in two dimensions

abstract: Burkill and Mirsky, and Kalmanson, prove independently that, for every $r\ge 2, n\ge 1$, there is a sequence of $r^{2^n}$ vectors in $\mathbb R^n$, which does not contain a subsequence of $r+1$ vectors $v^1, v^2,\dots,v^{r+1}$ such that, for every $i$ between 1 and $n$, $(v^{j}_i)_{1\le j\le r+1}$ forms a monotone sequence. Moreover, $r^{2^n}$ is the largest integer with this property. In this short note, for two vectors $u = (u_1, u_2,\dots, u_n)$ and $v = (v_1, v_2, \dots, v_n)$ in $\mathbb R^n$, we say that $u\le v$ if, for every $i$ between 1 and $n$, $u_i\le v_i$. Just like Burkill and Mirsky, and Kalmanson, for every $k, \ell\ge 1, d\ge 2$ we find the maximal $N_1, N_2$ (which turn out to be equal) such that there are numerical two-dimensional arrays of size $(k+\ell-1)\times N_1$ and $(k+\ell)\times N_2$, which neither contain a subarray of size $k\times d$, whose columns form a non-decreasing sequence of $d$ vectors in $\mathbb R^k$, nor contain a subarray of size $\ell\times d$, whose columns form a non-increasing sequence of $d$ vectors in $\mathbb R^{\ell}$. In a consequent discussion, we consider a generalisation of this setting and make a connection with a famous problem in coding theory.


title: Random autoregressive models: A structured overview

abstract: Models characterized by autoregressive structure and random coefficients are powerful tools for the analysis of high-frequency, high-dimensional and volatile time series. The available literature on such models is broad, but also sectorial, overlapping, and confusing. Most models focus on one property of the data, while much can be gained by combining the strength of various models and their sources of heterogeneity. We present a structured overview of the literature on autoregressive models with random coefficients. We describe hierarchy and analogies among models, and for each we systematically list properties, estimation methods, tests, software packages and typical applications.


title: Mean-Variance Analysis in Bayesian Optimization under Uncertainty

abstract: We consider active learning (AL) in an uncertain environment in which trade-off between multiple risk measures need to be considered. As an AL problem in such an uncertain environment, we study Mean-Variance Analysis in Bayesian Optimization (MVA-BO) setting. Mean-variance analysis was developed in the field of financial engineering and has been used to make decisions that take into account the trade-off between the average and variance of investment uncertainty. In this paper, we specifically focus on BO setting with an uncertain component and consider multi-task, multi-objective, and constrained optimization scenarios for the mean-variance trade-off of the uncertain component. When the target blackbox function is modeled by Gaussian Process (GP), we derive the bounds of the two risk measures and propose AL algorithm for each of the above three problems based on the risk measure bounds. We show the effectiveness of the proposed AL algorithms through theoretical analysis and numerical experiments.


title: Refined isogeometric analysis for generalized Hermitian eigenproblems

abstract: We use the refined isogeometric analysis (rIGA) to solve generalized Hermitian eigenproblems $({Ku=\lambda Mu})$. The rIGA framework conserves the desirable properties of maximum-continuity isogeometric analysis (IGA) discretizations while reducing the computation cost of the solution through partitioning the computational domain by adding zero-continuity basis functions. As a result, rIGA enriches the approximation space and decreases the interconnection between degrees of freedom. We compare computational costs of rIGA versus those of IGA when employing a Lanczos eigensolver with a shift-and-invert spectral transformation. When all eigenpairs within a given interval ${[\lambda_s,\lambda_e]}$ are of interest, we select several shifts ${\sigma_k\in[\lambda_s,\lambda_e]}$ using a spectrum slicing technique. For each shift $\sigma_k$, the cost of factorization of the spectral transformation matrix ${K-\sigma_k M}$ drives the total computational cost of the eigensolution. Several multiplications of the operator matrices ${(K-\sigma_k M)^{-1} M}$ by vectors follow this factorization. Let $p$ be the polynomial degree of basis functions and assume that IGA has maximum continuity of ${p-1}$, while rIGA introduces $C^0$ separators to minimize the factorization cost. For this setup, our theoretical estimates predict computational savings to compute a fixed number of eigenpairs of up to ${O(p^2)}$ in the asymptotic regime, that is, large problem sizes. Yet, our numerical tests show that for moderately-sized eigenproblems, the total computational cost reduction is $O(p)$. Nevertheless, rIGA improves the accuracy of every eigenpair of the first $N_0$ eigenvalues and eigenfunctions. Here, we allow $N_0$ to be as large as the total number of eigenmodes of the original maximum-continuity IGA discretization.


title: Wigner negativity in the steady-state output of a Kerr parametric oscillator

abstract: The output field from a continuously driven linear parametric oscillator may exhibit considerably more squeezing than the intracavity field. Inspired by this fact, we explore the nonclassical features of the steady-state output field of a driven nonlinear Kerr parametric oscillator using a temporal wave packet mode description. Utilizing a new numerical method, we have access to the density matrix of arbitrary wave packet modes. Remarkably, we find that even though the steady-state cavity field is always characterized by a positive Wigner function, the output may exhibit Wigner negativity, depending on the properties of the selected mode.


title: Holistic Filter Pruning for Efficient Deep Neural Networks

abstract: Deep neural networks (DNNs) are usually over-parameterized to increase the likelihood of getting adequate initial weights by random initialization. Consequently, trained DNNs have many redundancies which can be pruned from the model to reduce complexity and improve the ability to generalize. Structural sparsity, as achieved by filter pruning, directly reduces the tensor sizes of weights and activations and is thus particularly effective for reducing complexity. We propose "Holistic Filter Pruning" (HFP), a novel approach for common DNN training that is easy to implement and enables to specify accurate pruning rates for the number of both parameters and multiplications. After each forward pass, the current model complexity is calculated and compared to the desired target size. By gradient descent, a global solution can be found that allocates the pruning budget over the individual layers such that the desired target size is fulfilled. In various experiments, we give insights into the training and achieve state-of-the-art performance on CIFAR-10 and ImageNet (HFP prunes 60% of the multiplications of ResNet-50 on ImageNet with no significant loss in the accuracy). We believe our simple and powerful pruning approach to constitute a valuable contribution for users of DNNs in low-cost applications.


title: Virtual an arrow Temperley--Lieb algebras, Markov traces, and virtual link invariants

abstract: Let R f = Z[A $\pm$1 ] be the algebra of Laurent polynomials in the variable A and let R a = Z[A $\pm$1 , z 1 , z 2 ,. .. ] be the algebra of Laurent polynomials in the variable A and standard polynomials in the variables z 1 , z 2 ,. .. . For n $\ge$ 1 we denote by VB n the virtual braid group on n strands. We define two towers of algebras {VTL n (R f)} $\infty$ n=1 and {ATL n (R a)} $\infty$ n=1 in terms of diagrams. For each n $\ge$ 1 we determine presentations for both, VTL n (R f) and ATL n (R a). We determine sequences of homomorphisms {$\rho$ f n : R f [VB n ] $\rightarrow$ VTL n (R f)} $\infty$ n=1 and {$\rho$ a n : R a [VB n ] $\rightarrow$ ATL n (R a)} $\infty$ n=1 , we determine Markov traces {T f n : VTL n (R f) $\rightarrow$ R f } $\infty$ n=1 and {T a n : ATL n (R a) $\rightarrow$ R a } $\infty$ n=1 , and we show that the invariants for virtual links obtained from these Markov traces are the f-polynomial for the first trace and the arrow polynomial for the second trace. We show that, for each n $\ge$ 1, the standard Temperley-Lieb algebra TL n embeds into both, VTL n (R f) and ATL n (R a), and that the restrictions to {TL n } $\infty$ n=1 of the two Markov traces coincide.


title: ISCAS at SemEval-2020 Task 5: Pre-trained Transformers for Counterfactual Statement Modeling

abstract: ISCAS participated in two subtasks of SemEval 2020 Task 5: detecting counterfactual statements and detecting antecedent and consequence. This paper describes our system which is based on pre-trained transformers. For the first subtask, we train several transformer-based classifiers for detecting counterfactual statements. For the second subtask, we formulate antecedent and consequence extraction as a query-based question answering problem. The two subsystems both achieved third place in the evaluation. Our system is openly released at https://github.com/casnlu/ISCAS-SemEval2020Task5.


title: Algorithms and Complexity for Variants of Covariates Fine Balance

abstract: We study here several variants of the covariates fine balance problem where we generalize some of these problems and introduce a number of others. We present here a comprehensive complexity study of the covariates problems providing polynomial time algorithms, or a proof of NP-hardness. The polynomial time algorithms described are mostly combinatorial and rely on network flow techniques. In addition we present several fixed-parameter tractable results for problems where the number of covariates and the number of levels of each covariate are seen as a parameter.

categories: cs.DS cs.DM math.CO math.OC math.ST stat.TH


title: Serverless Applications: Why, When, and How?

abstract: Serverless computing shows good promise for efficiency and ease-of-use. Yet, there are only a few, scattered and sometimes conflicting reports on questions such as 'Why do so many companies adopt serverless?', 'When are serverless applications well suited?', and 'How are serverless applications currently implemented?' To address these questions, we analyze 89 serverless applications from open-source projects, industrial sources, academic literature, and scientific computing - the most extensive study to date.


title: Higher-Order Nonemptiness Step by Step

abstract: We show a new simple algorithm that checks whether a given higher-order grammar generates a nonempty language of trees. The algorithm amounts to a procedure that transforms a grammar of order n to a grammar of order n-1, preserving nonemptiness, and increasing the size only exponentially. After repeating the procedure n times, we obtain a grammar of order 0, whose nonemptiness can be easily checked. Since the size grows exponentially at each step, the overall complexity is n-EXPTIME, which is known to be optimal. More precisely, the transformation (and hence the whole algorithm) is linear in the size of the grammar, assuming that the arity of employed nonterminals is bounded by a constant. The same algorithm allows to check whether an infinite tree generated by a higher-order recursion scheme is accepted by an alternating safety (or reachability) automaton, because this question can be reduced to the nonemptiness problem by taking a product of the recursion scheme with the automaton. A proof of correctness of the algorithm is formalised in the proof assistant Coq. Our transformation is motivated by a similar transformation of Asada and Kobayashi (2020) changing a word grammar of order n to a tree grammar of order n-1. The step-by-step approach can be opposed to previous algorithms solving the nonemptiness problem "in one step", being compulsorily more complicated.


title: Optimal regularity of extended mean field controls and their piecewise constant approximation

abstract: We consider the control of McKean-Vlasov dynamics whose coefficients have mean field interactions in the state and control. We show that for a class of linear-convex mean field control problems, the unique optimal open-loop control admits the optimal 1/2-H\"{o}lder regularity in time. Consequently, we prove that the value function can be approximated by one with piecewise constant controls and discrete-time state processes arising from Euler-Maruyama time stepping, up to an order 1/2 error, and the optimal control can be approximated up to an order 1/4 error. These results are novel even for the case without mean field interaction.


title: Resistance of the cell wall to degradation is a critical parameter for isolation of high quality RNA from natural isolates of Bacillus subtilis

abstract: Natural isolates of Bacillus subtilis are known for their ability to produce a large panel of bioactive compounds. Unfortunately, their recalcitrance to conventional molecular techniques limits their transcript studies. In this work, diYculties to isolate RNA attributed to the cell wall were overcome, Wnally authorising powerful RT-PCR's.


title: General cut method for computing Szeged-like topological indices with applications to molecular graphs

abstract: Szeged, PI and Mostar indices are some of the most investigated distance-based molecular descriptors. Recently, many different variations of these topological indices appeared in the literature and sometimes they are all together called Szeged-like topological indices. In this paper, we formally introduce the concept of a general Szeged-like topological index, which includes all mentioned indices and also infinitely many other topological indices that can be defined in a similar way. As the main result of the paper, we provide a cut method for computing a general Szeged-like topological index for any strength-weighted graph. This greatly generalizes various methods known for some of the mentioned indices and therefore rounds off such investigations. Moreover, we provide applications of our main result to benzenoid systems, phenylenes, and coronoid systems, which are well-known families of molecular graphs. In particular, closed-form formulas for some subfamilies of these graphs are deduced.


title: Logarithmic abelian varieties, Part VII: Moduli

abstract: We construct the fine moduli space of log abelian varieties, which gives a compactification of the moduli space of abelian varieties.


title: The endomorphism semiring of a commutative inverse semigroup

abstract: The authors [3] proved that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and described its monolith. Here we prove that the endomorphism semiring of a commutative inverse semigroup with at least two idempotents is always subdirectly irreducible and describe its monolith.


title: DSC IIT-ISM at SemEval-2020 Task 6: Boosting BERT with Dependencies for Definition Extraction

abstract: We explore the performance of Bidirectional Encoder Representations from Transformers (BERT) at definition extraction. We further propose a joint model of BERT and Text Level Graph Convolutional Network so as to incorporate dependencies into the model. Our proposed model produces better results than BERT and achieves comparable results to BERT with fine tuned language model in DeftEval (Task 6 of SemEval 2020), a shared task of classifying whether a sentence contains a definition or not (Subtask 1).


title: Traces on diagram algebras II: Centralizer algebras of easy groups and new variations of the Young graph

abstract: In continuation of our recent work arXiv:2006.07312, we classify the extremal traces on infinite diagram algebras that appear in the context of Schur-Weyl duality for Banica and Speicher's easy groups. We show that the branching graphs of these algebras describe walks on new variations of the Young graph which describe curious ways of growing Young diagrams. As a consequence, we prove that the extremal traces on generic rook-Brauer algebras are always extensions of extremal traces on the group algebra $\mathbb{C}[S_{\infty}]$ of the infinite symmetric group. Moreover, we conjecture that the same is true for generic parameter deformations of the centralizers of the hyperoctahedral group and we reduce this conjecture to a conceptually much simpler numerical statement. Lastly, we address the trace classification problem for the Schur-Weyl dual of the halfliberated orthogonal group $O_N^*$, in which case extremal traces are always extensions of extremal traces on $\mathbb{C}[S_{\infty} \times S_{\infty}]$. Our approach relies on methods developed by Vershik and Nikitin.


title: Single Frame Deblurring with Laplacian Filters

abstract: Blind single image deblurring has been a challenge over many decades due to the ill-posed nature of the problem. In this paper, we propose a single-frame blind deblurring solution with the aid of Laplacian filters. Utilized Residual Dense Network has proven its strengths in superresolution task, thus we selected it as a baseline architecture. We evaluated the proposed solution with state-of-art DNN methods on a benchmark dataset. The proposed method shows significant improvement in image quality measured objectively and subjectively.


title: Two-photon exchange effects in $e^+ e^-\rightarrow\pi^+\pi^-$ at small $ \sqrt{s}$

abstract: In this work, the two-photon-exchange (TPE) effects in $e^+e^- \rightarrow \pi^+ \pi^-$ at small $\sqrt{s}$ are discussed within a hadronic model. In the limit $m_e\rightarrow 0$, the TPE contribution to the amplitude can be described by one scalar function $\overline{c}_{1}^{(2\gamma)}$. The ratio between this function and the corresponding contribution in one-photon exchange $c_{1}^{(1\gamma)}$ reflects all the information of the TPE corrections. The numerical results on this ratio are presented and an artificial function is used to fit the numerical results. The latter can be used conveniently in the further experimental data analysis. The numerical results show the asymmetry of the differential cross sections in $e^+e^- \rightarrow \pi^+ \pi^-$ is about $-4\%$ at $\sqrt{s}\sim 0.7$ GeV.


title: A pair correlation problem, and counting lattice points with the zeta function

abstract: The pair correlation is a localized statistic for sequences in the unit interval. Pseudo-random behavior with respect to this statistic is called Poissonian behavior. The metric theory of pair correlations of sequences of the form $(a_n \alpha)_{n \geq 1}$ has been pioneered by Rudnick, Sarnak and Zaharescu. Here $\alpha$ is a real parameter, and $(a_n)_{n \geq 1}$ is an integer sequence, often of arithmetic origin. Recently, a general framework was developed which gives criteria for Poissonian pair correlation of such sequences for almost every real number $\alpha$, in terms of the additive energy of the integer sequence $(a_n)_{n \geq 1}$. In the present paper we develop a similar framework for the case when $(a_n)_{n \geq 1}$ is a sequence of reals rather than integers, thereby pursuing a line of research which was recently initiated by Rudnick and Technau. As an application of our method, we prove that for every real number $\theta>1$, the sequence $(n^\theta \alpha)_{n \geq 1}$ has Poissonian pair correlation for almost all $\alpha \in \mathbb{R}$.


title: Global Regime for General Additive Functionals of Conditioned Bienaym{\'e}-Galton-Watson Trees

abstract: We give an invariance principle for very general additive functionals of conditioned Bienaym{\'e}-Galton-Watson trees in the global regime when the offspring distribution lies in the domain of attraction of a stable distribution, the limit being an additive functional of a stable L{\'e}vy tree. This includes the case when the offspring distribution has finite variance (the L{\'e}vy tree being then the Brownian tree). We also describe, using an integral test, a phase transition for toll functions depending on the size and height.


title: Exploring a Double Full-Stack Communications-Enabled Architecture for Multi-Core Quantum Computers

abstract: Being a very promising technology, with impressive advances in the recent years, it is still unclear how quantum computing will scale to satisfy the requirements of its most powerful applications. Although continued progress in the fabrication and control of qubits is required, quantum computing scalability will depend as well on a comprehensive architectural design considering a multi-core approach as an alternative to the traditional monolithic version, hence including a communications perspective. However, this goes beyond introducing mere interconnects. Rather, it implies consolidating the full communications stack in the quantum computer architecture. In this paper, we propose a double full-stack architecture encompassing quantum computation and quantum communications, which we use to address the monolithic versus multi-core question with a structured design methodology. For that, we revisit the different quantum computing layers to capture and model their essence by highlighting the open design variables and performance metrics. Using behavioral models and actual measurements from existing quantum computers, the results of simulations suggest that multi-core architectures may effectively unleash the full quantum computer potential.


title: Entropy for practical stabilization

abstract: For deterministic continuous time nonlinear control systems, epsilon-practical stabilization entropy and practical stabilization entropy are introduced. Here the rate of attraction is specified by a KL-function. Upper and lower bounds for the diverse entropies are proved, with special attention to exponential KL-functions. The relation to feedbacks is discussed, the linear case and several nonlinear examples are analyzed in detail.


title: Deploying machine learning to assist digital humanitarians: making image annotation in OpenStreetMap more efficient

abstract: Locating populations in rural areas of developing countries has attracted the attention of humanitarian mapping projects since it is important to plan actions that affect vulnerable areas. Recent efforts have tackled this problem as the detection of buildings in aerial images. However, the quality and the amount of rural building annotated data in open mapping services like OpenStreetMap (OSM) is not sufficient for training accurate models for such detection. Although these methods have the potential of aiding in the update of rural building information, they are not accurate enough to automatically update the rural building maps. In this paper, we explore a human-computer interaction approach and propose an interactive method to support and optimize the work of volunteers in OSM. The user is asked to verify/correct the annotation of selected tiles during several iterations and therefore improving the model with the new annotated data. The experimental results, with simulated and real user annotation corrections, show that the proposed method greatly reduces the amount of data that the volunteers of OSM need to verify/correct. The proposed methodology could benefit humanitarian mapping projects, not only by making more efficient the process of annotation but also by improving the engagement of volunteers.


title: Perturbative tomography of small errors in quantum gates

abstract: We propose an efficient protocol to fully reconstruct a set of high-fidelity quantum gates. Usually, the efficiency of reconstructing high-fidelity quantum gates is limited by the sampling noise. Our protocol is based on a perturbative approach and has two stages. In the first stage, the initial part of noisy quantum gates is reconstructed by measuring traces of maps, and the trace can be measured by amplifying the noise in a way similar to randomised benchmarking and quantum spectral tomography. In the second stage, by amplifying the non-unital part using the unital part, we can efficiently reconstruct the non-unital part. We show that the number of measurements needed in our protocol scales logarithmically with the error rate of gates.


title: Anodic Oxidation of Epitaxial Superconductor-Semiconductor Hybrids

abstract: We demonstrate a new fabrication process for hybrid semiconductor-superconductor heterostructures based on anodic oxidation (AO), allowing controlled thinning of epitaxial Al films. Structural and transport studies of oxidized epitaxial Al films grown on insulating GaAs substrates reveal spatial non-uniformity and enhanced critical temperature and magnetic fields. Oxidation of epitaxial Al on hybrid InAs heterostructures with a conducting quantum well show similarly enhanced superconducting properties transferred to the two-dimensional electron gas (2DEG) by proximity effect, with critical perpendicular magnetic fields up to 3.5 T. An insulating AlOx film, that passivates the heterostructure from exposure to air, is obtained by complete oxidation of the Al. It simultaneously removes the need to strip Al which damages the underlying semiconductor. AO passivation yielded 2DEG mobilities two times higher than similar devices with Al removed by wet etching. An AO-passivated Hall bar showed quantum Hall features emerging at a transverse field of 2.5 T, below the critical transverse field of thinned films, eventually allowing transparent coupling of quantum Hall effect and superconductivity. AO thinning and passivation are compatible with standard lithographic techniques, giving lateral resolution below <50 nm. We demonstrate local patterning of AO by realizing a semiconductor-based Josephson junction operating up to 0.3 T perpendicular.


title: Coordinate transitivity of extended perfect codes and their SQS

abstract: We continue the study of the class of binary extended perfect propelinear codes constructed in the previous paper and consider their permutation automorphism (symmetry) groups and Steiner quadruple systems. We show that the automorphism group of the SQS of any such code coincides with the permutation automorphism group of the code. In particular, the SQS of these codes are complete invariants for the isomorphism classes of these codes. We obtain a criterion for the point transitivity of the automorphism group of SQS of proposed codes in terms of GL-equivalence (similar to EA-type equivalence for permutations of F^r). Based on these results we suggest a new construction for coordinate transitive and neighbor transitive extended perfect codes.


title: Building power consumption datasets: Survey, taxonomy and future directions

abstract: In the last decade, extended efforts have been poured into energy efficiency. Several energy consumption datasets were henceforth published, with each dataset varying in properties, uses and limitations. For instance, building energy consumption patterns are sourced from several sources, including ambient conditions, user occupancy, weather conditions and consumer preferences. Thus, a proper understanding of the available datasets will result in a strong basis for improving energy efficiency. Starting from the necessity of a comprehensive review of existing databases, this work is proposed to survey, study and visualize the numerical and methodological nature of building energy consumption datasets. A total of thirty-one databases are examined and compared in terms of several features, such as the geographical location, period of collection, number of monitored households, sampling rate of collected data, number of sub-metered appliances, extracted features and release date. Furthermore, data collection platforms and related modules for data transmission, data storage and privacy concerns used in different datasets are also analyzed and compared. Based on the analytical study, a novel dataset has been presented, namely Qatar university dataset, which is an annotated power consumption anomaly detection dataset. The latter will be very useful for testing and training anomaly detection algorithms, and hence reducing wasted energy. Moving forward, a set of recommendations is derived to improve datasets collection, such as the adoption of multi-modal data collection, smart Internet of things data collection, low-cost hardware platforms and privacy and security mechanisms. In addition, future directions to improve datasets exploitation and utilization are identified, including the use of novel machine learning solutions, innovative visualization tools and explainable recommender systems.


title: Do Scaling Agile Frameworks Address Global Software Development Risks? An Empirical Study

abstract: Driven by the need to coordinate activities of multiple agile development teams cooperating to produce a large software product, software-intensive organizations are turning to scaling agile software development frameworks. Despite the growing adoption of various scalin g agile frameworks, there is little empirical evidence of how effective their practices are in mitigating risk, especially in global software develop ment (GSD), where project failure is a known problem. In this study, we develop a GSD Risk Catalog of 63 risks to assess the degree to which two scaling agile frameworks--Disciplined Agile Delivery (DAD) and the Scaled Agile Framework (SAFe)--address software project risks in GSD. We examined data from two longitudinal case studies implementing each framework to identify the extent to which the framework practices address GSD risks. Scaling agile frameworks appear to help companies eliminate or mitigate many traditional risks in GSD, especially relating to users and customers. How ever, several important risks were not eliminated or mitigated. These persistent risks in the main belonged to the Environment quadrant highlighting t he inherent risk in developing software across geographic boundaries. Perhaps these frameworks (and arguably any framework), would have difficulty all eviating, issues that appear to be outside the immediate control of the organization.


title: Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks

abstract: We present Vax-a-Net; a technique for immunizing convolutional neural networks (CNNs) against adversarial patch attacks (APAs). APAs insert visually overt, local regions (patches) into an image to induce misclassification. We introduce a conditional Generative Adversarial Network (GAN) architecture that simultaneously learns to synthesise patches for use in APAs, whilst exploiting those attacks to adapt a pre-trained target CNN to reduce its susceptibility to them. This approach enables resilience against APAs to be conferred to pre-trained models, which would be impractical with conventional adversarial training due to the slow convergence of APA methods. We demonstrate transferability of this protection to defend against existing APAs, and show its efficacy across several contemporary CNN architectures.


title: Higher-order topology in monolayer graphene

abstract: We show that monolayer graphene intrinsically hosts higher-order topological corner states, in which electrons are localized topologically at atomic sizes. The emergence of the topological corner states in graphene is due to a nontrivial product of the Zak phases for two independent directions, which can be handily calculated graphically by using the bulk wavefunctions. We give an explicit expression that indicates the existence of topological corner states for various geometric edges and corner angles. We also demonstrate the nontrivial localization nature of the topological corner states in graphene by putting an imaginary onsite potential mask.


title: Micro- Mechanical assembly of high-quality Fabry-Perot microcavities for the integration with two-dimensional materials

abstract: Integrating monolayers of two-dimensional semiconductors in planar, and potentially microstructured microcavities is challenging because of the few, available approaches to overgrow the monolayers without damaging them. Some strategies have been developed, but they either rely on complicated experimental settings, expensive technologies or compromise the available quality factors. As a result, high quality Fabry-Perot microcavities are not widely available to the community focusing on light-matter coupling with atomically thin materials. Here, we provide details on a recently developed technique to micro-mechanically assemble Fabry-Perot Microcavities. Our approach does not rely on difficult or expensive technologies, and yields device characteristics marking the state of the art in cavities with integrated atomically thin semiconductors.


title: On the strong coupling of Einsteinian Cubic Gravity and its generalisations

abstract: In this note we discuss the strong coupling issues inherent to the defining requirement for the so-called Einsteinian Cubic Gravity and its quasi-topological generalisations.


title: Multi-objective dynamic programming with limited precision

abstract: This paper addresses the problem of approximating the set of all solutions for Multi-objective Markov Decision Processes. We show that in the vast majority of interesting cases, the number of solutions is exponential or even infinite. In order to overcome this difficulty we propose to approximate the set of all solutions by means of a limited precision approach based on White's multi-objective value-iteration dynamic programming algorithm. We prove that the number of calculated solutions is tractable and show experimentally that the solutions obtained are a good approximation of the true Pareto front.


title: A time-dependent energy-momentum method

abstract: We devise a generalisation of the energy momentum-method for studying the stability of non-autonomous Hamiltonian systems with a Lie group of Hamiltonian symmetries. A generalisation of the relative equilibrium point notion to a non-autonomous realm is provided and studied. Relative equilibrium points of non-autonomous Hamiltonian systems are described via foliated Lie systems, which opens a new field of application of such differential equations. We reduce non-autonomous Hamiltonian systems via the Marsden-Weinstein theorem and we provide conditions ensuring the stability of the projection of relative equilibrium points to the reduced space. As an application, we study the stability of relative equilibrium points for a class of mechanical systems, which covers rigid bodies as a particular instance.


title: Analysis of a density matrix renormalization group approach for transport in open quantum systems

abstract: Understanding the intricate properties of one-dimensional quantum systems coupled to multiple reservoirs poses a challenge to both analytical approaches and simulation techniques. Fortunately, density matrix renormalization group-based tools, which have been widely used in the study of closed systems, have also been recently extended to the treatment of open systems. We present an implementation of such method based on state-of-the-art matrix product state (MPS) and tensor network methods, that produces accurate results for a variety of combinations of parameters. Unlike most approaches, which use the time-evolution to reach the steady-state, we focus on an algorithm that is time-independent and focuses on recasting the problem in exactly the same language as the standard Density Matrix Renormalization Group (DMRG) algorithm, initially put forward by M. C. Ba\~nuls et al. in Phys. Rev. Lett. 114, 220601 (2015). Hence, it can be readily exported to any of the available DMRG platforms. We show that this implementation is suited for studying thermal transport in one-dimensional systems. As a case study, we focus on the XXZ quantum spin chain and benchmark our results by comparing the spin current and magnetization profiles with analytical results. We then explore beyond what can be computed analytically. Our code is freely available on github at https://www.github.com/heitorc7/oDMRG.


title: Peculiar magnetic dynamics across the in-field transition in Ca3Co2O6

abstract: The discovery of multiple coexisting magnetic phases in a crystallographically homogeneous compound Ca$_3$Co$_2$O$_6$ has stimulated an ongoing research activity. In recent years the main focus has been on the zero field state properties, where exceedingly long time scales have been established. In this study we report a detailed investigation of static and dynamic properties of Ca$_3$Co$_2$O$_6$ across the magnetic field induced transition around 3.5 T. This region has so far been practically neglected while we argue that in some aspects it represents a simpler version of the transition across the $B = 0$ state. Investigating the frequency dependence of the ac susceptibility we reveal that on the high field side ($B > 3.5$ T) the response corresponds to a relatively narrow distribution of magnetic clusters. The distribution appears very weakly dependent on magnetic field, with an associated energy barrier of around 200 K. Below 3.5 T a second contribution arises, with much smaller characteristic frequencies and a strong temperature and magnetic field dependence. We discuss these findings in the context of intra-chain and inter-chain clustering of magnetic moments.


title: A micropolar peridynamics model with non-unified horizon for damage of solids with different non-local effects

abstract: Most peridynamics models adopt regular point distribution and unified horizon, limiting their flexibility and engineering applications. In this work, a micropolar peridynamics approach with non-unified horizon (NHPD) is proposed. This approach is implemented in a conventional finite element framework, using element-based discretization. By modifying the dual horizon approach into the pre-processing part, point dependent horizon and non-unified beam-like bonds are built. By implementing a domain correction strategy, the equivalence of strain energy density is assured. Then, a novel energy density-based failure criterion is presented which directly bridges the critical stretch to the mechanical strength. The numerical results indicate the weak mesh dependency of NHPD and the effectiveness of the new failure criterion. Moreover, it is proven that damage of solid with different non-local effects can lead to similar results by only adjusting the mechanical strength.


title: The Origin of the Glass-like Thermal Conductivity in Crystalline Metal-Organic Frameworks

abstract: It is textbookly regarded that phonons, i.e., an energy quantum of propagating lattice waves, are the main heat carriers in perfect crystals. As a result, in many crystals, e.g., bulk silicon, the temperature-dependent thermal conductivity shows the classical 1/T relationship because of the dominant Umklapp phonon-phonon scattering in the systems. However, the thermal conductivity of many crystalline metal-organic frameworks is very low and shows no, a weakly negative and even a weakly positive temperature dependence (glass-like thermal conductivity). It has been in debate whether the thermal transport can be still described by phonons in metal-organic frameworks. Here, by studying two typical systems, i.e., crystal zeolitic imidazolate framework-4 (cZIF-4) and crystal zeolitic imidazolate framework-62 (c-ZIF62), we prove that the ultralow thermal conductivity in metal-organic frameworks is resulting from the strong phonon intrinsic structure scattering due to the large mass difference and the large cavity between Zn and N atoms. Our mean free path spectrum analysis shows that both propagating and non-propagating anharmonic vibrational modes exist in the systems, and contribute largely to the thermal conductivity. The corresponding weakly negative or positive temperature dependence of the thermal conductivity is stemming from the competition between the propagating and non-propagating anharmonic vibrational modes. Our study here provides a fundamental understanding of thermal transport in metal-organic frameworks and will guide the design of the thermal-related applications using metal-organic frameworks, e.g., inflammable gas storage, chemical catalysis, solar thermal conversion and so on.


title: Resonant Excitation and Purcell Enhancement of Coherent Nitrogen-Vacancy Centers Coupled to a Fabry-P\'{e}rot Micro-Cavity

abstract: The nitrogen-vacancy (NV) center in diamond has been established as a prime building block for quantum networks. However, scaling beyond a few network nodes is currently limited by low spin-photon entanglement rates, resulting from the NV center's low probability of coherent photon emission and collection. Integration into a cavity can boost both values via the Purcell effect, but poor optical coherence of near-surface NV centers has so far prevented their resonant optical control, as would be required for entanglement generation. Here, we overcome this challenge, and demonstrate resonant addressing of individual, fiber-cavity-coupled NV centers, and collection of their Purcell-enhanced coherent photon emission. Utilizing off-resonant and resonant addressing protocols, we extract Purcell factors of up to 4, consistent with a detailed theoretical model. This model predicts that the probability of coherent photon detection per optical excitation can be increased to 10% for realistic parameters - an improvement over state-of-the art solid immersion lens collection systems by two orders of magnitude. The resonant operation of an improved optical interface for single coherent quantum emitters in a closed-cycle cryogenic system at T $\sim$ 4 K is an important result towards extensive quantum networks with long coherence.


title: Generating Label Cohesive and Well-Formed Adversarial Claims

abstract: Adversarial attacks reveal important vulnerabilities and flaws of trained models. One potent type of attack are universal adversarial triggers, which are individual n-grams that, when appended to instances of a class under attack, can trick a model into predicting a target class. However, for inference tasks such as fact checking, these triggers often inadvertently invert the meaning of instances they are inserted in. In addition, such attacks produce semantically nonsensical inputs, as they simply concatenate triggers to existing samples. Here, we investigate how to generate adversarial attacks against fact checking systems that preserve the ground truth meaning and are semantically valid. We extend the HotFlip attack algorithm used for universal trigger generation by jointly minimising the target class loss of a fact checking model and the entailment class loss of an auxiliary natural language inference model. We then train a conditional language model to generate semantically valid statements, which include the found universal triggers. We find that the generated attacks maintain the directionality and semantic validity of the claim better than previous work.


title: Learning to Personalize for Web Search Sessions

abstract: The task of session search focuses on using interaction data to improve relevance for the user's next query at the session level. In this paper, we formulate session search as a personalization task under the framework of learning to rank. Personalization approaches re-rank results to match a user model. Such user models are usually accumulated over time based on the user's browsing behaviour. We use a pre-computed and transparent set of user models based on concepts from the social science literature. Interaction data are used to map each session to these user models. Novel features are then estimated based on such models as well as sessions' interaction data. Extensive experiments on test collections from the TREC session track show statistically significant improvements over current session search algorithms.


title: Navier-Stokes-Fourier system with general boundary conditions

abstract: We consider the Navier--Stokes--Fourier system in a bounded domain $\Omega \subset R^d$, $d=2,3$, with physically realistic in/out flow boundary conditions. We develop a new concept of weak solutions satisfying a general form of relative energy inequality. The weak solutions exist globally in time for any finite energy initial data and comply with the weak--strong uniqueness principle.


title: Finding Subgraphs in Highly Dynamic Networks

abstract: In this paper we consider the fundamental problem of finding subgraphs in highly dynamic distributed networks - networks which allow an arbitrary number of links to be inserted / deleted per round. We show that the problems of $k$-clique membership listing (for any $k\geq 3$), 4-cycle listing and 5-cycle listing can be deterministically solved in $O(1)$-amortized round complexity, even with limited logarithmic-sized messages. To achieve $k$-clique membership listing we introduce a very useful combinatorial structure which we name the robust $2$-hop neighborhood. This is a subset of the 2-hop neighborhood of a node, and we prove that it can be maintained in highly dynamic networks in $O(1)$-amortized rounds. We also show that maintaining the actual 2-hop neighborhood of a node requires near linear amortized time, showing the necessity of our definition. For $4$-cycle and $5$-cycle listing, we need edges within hop distance 3, for which we similarly define the robust $3$-hop neighborhood and prove it can be maintained in highly dynamic networks in $O(1)$-amortized rounds. We complement the above with several impossibility results. We show that membership listing of any other graph on $k\geq 3$ nodes except $k$-clique requires an almost linear number of amortized communication rounds. We also show that $k$-cycle listing for $k\geq 6$ requires $\Omega(\sqrt{n} / \log n)$ amortized rounds. This, combined with our upper bounds, paints a detailed picture of the complexity landscape for ultra fast graph finding algorithms in this highly dynamic environment.


title: Doubly nonlinear stochastic evolution equations II

abstract: Complementing the analysis in [41], we investigate the well-posedness of SPDEs problems of doubly nonlinear type. These arise ubiquitously in the modelization of dissipative media and correspond to generalized balance laws between conservative and nonconservative dynamics. We extend the reach of the classical deterministic case by allowing for stochasticity. The existence of martingale solutions is proved via a regularization technique, hinging on the validity of a It\^o formula in a minimal regularity setting. Under additional assumptions, the well-posedness of stochastically strong solutions is also shown.


title: Efficient multi-descriptor fusion for non-intrusive appliance recognition

abstract: Consciousness about power consumption at the appliance level can assist user in promoting energy efficiency in households. In this paper, a superior non-intrusive appliance recognition method that can provide particular consumption footprints of each appliance is proposed. Electrical devices are well recognized by the combination of different descriptors via the following steps: (a) investigating the applicability along with performance comparability of several time-domain (TD) feature extraction schemes; (b) exploring their complementary features; and (c) making use of a new design of the ensemble bagging tree (EBT) classifier. Consequently, a powerful feature extraction technique based on the fusion of TD features is proposed, namely fTDF, aimed at improving the feature discrimination ability and optimizing the recognition task. An extensive experimental performance assessment is performed on two different datasets called the GREEND and WITHED, where power consumption signatures were gathered at 1 Hz and 44000 Hz sampling frequencies, respectively. The obtained results revealed prime efficiency of the proposed fTDF based EBT system in comparison with other TD descriptors and machine learning classifiers.


title: Can ROS be used securely in industry? Red teaming ROS-Industrial

abstract: With its growing use in industry, ROS is rapidly becoming a standard in robotics. While developments in ROS 2 show promise, the slow adoption cycles in industry will push widespread ROS 2 industrial adoption years from now. ROS will prevail in the meantime which raises the question: can ROS be used securely for industrial use cases even though its origins didn't consider it? The present study analyzes this question experimentally by performing a targeted offensive security exercise in a synthetic industrial use case involving ROS-Industrial and ROS packages. Our exercise results in four groups of attacks which manage to compromise the ROS computational graph, and all except one take control of most robotic endpoints at desire. To the best of our knowledge and given our setup, results do not favour the secure use of ROS in industry today, however, we managed to confirm that the security of certain robotic endpoints hold and remain optimistic about securing ROS industrial deployments.


title: Galaxy and Mass Assembly: luminosity and stellar mass functions in GAMA groups

abstract: How do galaxy properties (such as stellar mass, luminosity, star formation rate, and morphology) and their evolution depend on the mass of their host dark matter halo? Using the Galaxy and Mass Assembly (GAMA) group catalogue, we address this question by exploring the dependence on host halo mass of the luminosity function (LF) and stellar mass function (SMF) for grouped galaxies subdivided by colour, morphology and central/satellite. We find that spheroidal galaxies in particular dominate the bright and massive ends of the LF and SMF, respectively. More massive haloes host more massive and more luminous central galaxies. The satellite LF and SMF respectively show a systematic brightening of characteristic magnitude, and increase in characteristic mass, with increasing halo mass. In contrast to some previous results, the faint-end and low-mass slopes show little systematic dependence on halo mass. Semi-analytic models and simulations show similar or enhanced dependence of central mass and luminosity on halo mass. Faint and low-mass simulated satellite galaxies are remarkably independent of halo mass, but the most massive satellites are more common in more massive groups. In the first investigation of low-redshift LF and SMF evolution in group environments, we find that the red/blue ratio of galaxies in groups has increased since redshift $z \approx 0.3$ relative to the field population. This observation strongly suggests that quenching of star formation in galaxies as they are accreted into galaxy groups is a significant and ongoing process.


title: Reducing the computational effort of min-max model predictive control with regional feedback laws

abstract: Recently, a regional MPC approach has been proposed that exploits the piecewise affine structure of the optimal solution (without computing the entire explicit solution before). Here, regional refers to the idea of using the affine feedback law that is optimal in a vicinity of the current state of operation, and therefore provides the optimal input signal without requiring to solve a QP. In the present paper, we apply the idea of regional MPC to min-max MPC problems. We show that the new robust approach can significantly reduce the number of QPs to be solved within min-max MPC resulting in a reduced overall computational effort. Moreover, we compare the performance of the new approach to an existing robust regional MPC approach using a numerical example with varying horizon. Finally, we provide a rule for choosing a suitable robust regional MPC approach based on the horizon.


title: Mean-variance portfolio selection with tracking error penalization

abstract: This paper studies a variation of the continuous-time mean-variance portfolio selection where a tracking-error penalization is added to the mean-variance criterion. The tracking error term penalizes the distance between the allocation controls and a reference portfolio with same wealth and fixed weights. Such consideration is motivated as follows: (i) On the one hand, it is a way to robustify the mean-variance allocation in case of misspecified parameters, by "fitting" it to a reference portfolio that can be agnostic to market parameters; (ii) On the other hand, it is a procedure to track a benchmark and improve the Sharpe ratio of the resulting portfolio by considering a mean-variance criterion in the objective function. This problem is formulated as a McKean-Vlasov control problem. We provide explicit solutions for the optimal portfolio strategy and asymptotic expansions of the portfolio strategy and efficient frontier for small values of the tracking error parameter. Finally, we compare the Sharpe ratios obtained by the standard mean-variance allocation and the penalized one for four different reference portfolios: equal-weights, minimum-variance, equal risk contributions and shrinking portfolio. This comparison is done on a simulated misspecified model, and on a backtest performed with historical data. Our results show that in most cases, the penalized portfolio outperforms in terms of Sharpe ratio both the standard mean-variance and the reference portfolio.


title: Control of spin-orbit torques by interface engineering in topological insulator heterostructures

abstract: (Bi$_{1-x}$Sb$_x$)$_2$Te$_3$ topological insulators (TIs) are gathering increasing attention owing to their large charge-to-spin conversion efficiency and the ensuing spin-orbit torques (SOTs) that can be used to manipulate the magnetization of a ferromagnet (FM). The origin of the torques, however, remains elusive, while the implications of hybridized states and the strong material intermixing at the TI/FM interface are essentially unexplored. By combining interface chemical analysis and spin-transfer ferromagnetic resonance (ST-FMR) measurements, we demonstrate that intermixing plays a critical role in the generation of SOTs. By inserting a suitable normal metal spacer, material intermixing is reduced and the TI properties at the interface are largely improved, resulting in strong variations in the nature of the SOTs. A dramatic enhancement of a field-like torque, opposing and surpassing the Oersted-field torque, is observed, which can be attributed to the non-equilibrium spin density in Rashba-split surface bands and to the suppression of spin memory loss.


title: Fast and robust quantum state tomography from few basis measurements

abstract: Quantum state tomography is a powerful, but resource-intensive, general solution for numerous quantum information processing tasks. This motivates the design of robust tomography procedures that use relevant resources as sparingly as possible. Important cost factors include the number of state copies and measurement settings, as well as classical postprocessing time and memory. In this work, we present and analyze an online tomography algorithm designed to optimize all the aforementioned resources at the cost of a worse dependence on accuracy. The protocol is the first to give provably optimal performance in terms of rank and dimension for state copies, measurement settings and memory. Classical runtime is also reduced substantially and numerical experiments demonstrate a favorable comparison with other state-of-the-art techniques. Further improvements are possible by executing the algorithm on a quantum computer, giving a quantum speedup for quantum state tomography.


title: Chromatic interferometry with small frequency differences

abstract: By developing a `two-crystal' method for color erasure, we can broaden the scope of chromatic interferometry to include optical photons whose frequency difference falls outside of the 400 nm to 4500 nm wavelength range, which is the passband of a PPLN crystal. We demonstrate this possibility experimentally, by observing interference patterns between sources at 1064.4 nm and 1063.6 nm, corresponding to a frequency difference of about 200 GHz.


title: A Motion Compensation Approach for Oral and Maxillofacial Cone-beam Imaging

abstract: Purpose: Patient movement affects image quality in oral and maxillofacial cone-beam CT imaging. While many efforts are made to minimize the possibility of motion during a scan, relatively little attention has been given to motion compensation after the acquisition. Methods: In a previous study, we proposed a retrospective motion compensation approach for helical head CT imaging, which iteratively estimates and compensates for rigid head motion. This study reports on an extension of the previous method to cone-beam CT imaging. To address the issue of the limited field-of-view, improvements were made to the original method. The proposed motion estimation/ motion compensation (ME/MC) method was evaluated with simulations, phantom and patient studies. Two experts in dentomaxillofacial radiology assessed the diagnostic importance of the achieved motion artifact suppression. Results: The quality of the reconstructed images was improved after motion compensation, and most of the image artifacts were eliminated. Quantitative analysis by comparison to a reference image (simulation and phantom) and by calculation of a sharpness metric agreed with the qualitative observation. Conclusions: The proposed method has the potential to be clinically applied.


title: Deep Learning Approaches to Classification of Production Technology for 19th Century Books

abstract: Cultural research is dedicated to understanding the processes of knowledge dissemination and the social and technological practices in the book industry. Research on children books in the 19th century can be supported by computer systems. Specifically, the advances in digital image processing seem to offer great opportunities for analyzing and quantifying the visual components in the books. The production technology for illustrations in books in the 19th century was characterized by a shift from wood or copper engraving to lithography. We report classification experiments which intend to classify images based on the production technology. For a classification task that is also difficult for humans, the classification quality reaches only around 70%. We analyze some further error sources and identify reasons for the low performance.


title: Multi Frequency Temporal and Spectral variability study of Blazar PKS 1424-418

abstract: A study of blazar PKS 1424-418 was carried out using multi waveband data collected by Fermi-LAT, Swift-XRT, Swift-UVOT and SMARTS telescopes between MJD 56000 to MJD 56600 (14 Mar 2012 to 4 Nov 2013). Two flaring episodes were identified by analysing the gamma ray light curve. Simultaneous multi waveband Spectral Energy Distributions (SED) were obtained for those two flaring periods. A cross-correlation analysis of IR-Optical and $\gamma$-ray data suggested the origin of these emissions from the same region. We have set a lower limit for the Doppler factor using the highest energy photon observed from this source during the flaring periods, which should be $>$12. The broadband emission mechanism was studied by modelling the SED using leptonic emission mechanism.


title: Covariant approach to the thermodynamic structure of a generic null surface

abstract: We readdress the thermodynamic structure of geometrical relations on a generic null surface. Among three potential candidates, originated from different components of $R_{ab}$ along the null vectors for the surface (i.e. $R_{ab}q^a_cl^b$, $R_{ab}l^al^b$ and $R_{ab}l^ak^b$ where $q_{ab}$ is the projector on the null surface and $l^a$, $k^a$ are null normal and corresponding auxiliary vector of it, respectively), the first one leads to Navier-Stokes like equation. Here we devote our investigation on the other two members. We find that $R_{ab}l^al^b$, which yields the evolution equation for expansion parameter corresponding to $l^a$ along itself, can be interpreted as a thermodynamic relation when integrated on the two dimensional transverse subspace of the null hypersurface along with a virtual displacement in the direction of $l^a$. Moreover for a stationary background the integrated version of it yields the general form of Smarr formula. Although this is more or less known in literature, but a similar argument for the evolution equation of the expansion parameter corresponding to $k^a$ along $l^a$, provided by $R_{ab}l^ak^b$, leads to a more convenient form of thermodynamic relation. In this analysis, contrary to earlier approaches, the identified thermodynamic entities come out to be in covariant forms and also are foliation independent. Hence these can be applied to any coordinate system adapted to the null hypersurface. Moreover, these results are not restricted to any specific parametrisation of $k^a$ and also $k^a$ need not be hypersurface orthogonal. In addition, here any particular dynamical equation for metric is not being explicitly used and therefore we feel that our results are solely based on the properties of the null surface.


title: On Fibonacci partitions

abstract: We prove an exact formula for OEIS A000119, which counts partitions into distinct Fibonacci numbers. We also establish an exact formula for its mean value, and determine the asymptotic behaviour.


title: Elucidating the barriers on direct water splitting: Key role of oxygen vacancy density and coordination over PbTiO$_3$ and TiO$_2$

abstract: In this work, using the state-of-the-art first principles calculations based on density functional theory, we found that the concentration as well as coordination of surface oxygen vacancies with respect to each other were critical for direct water-splitting reaction on the (001) surfaces of PbTiO$_3$ and TiO$_2$. For the water-splitting reaction to happen on TiO$_2$-terminated surfaces, it is necessary to have two neighboring O-vacancies acting as active sites that host two adsorbing water molecules. However, eventual dissociation of O-H bonds is possible only in the presence of an additional nearest-neighbor O-vacancy. Unfortunately, this necessary third vacancy inhibits the formation of molecular hydrogen by trapping the dissociated H atoms over TiO$_2$-teminated surfaces. Formation of up to 3 O-vacancies, is energetically less costly on both terminations of PbTiO$_3$ (001) surfaces compared with that of TiO$_2$, the presence of Pb leads to weaker O bonds over these surfaces. Molecular hydrogen formation is more favorable over the PbO-terminated surface of PbTiO$_3$, requiring only two neighboring oxygen vacancies. However, hydrogen molecule is retained near the surface by weak van der Waals forces. Our study indicates two barriers leading to low productivity of direct water splitting processes. First and foremost, there is an entropic barrier imposed by the requirement of at least two nearest-neighbor O-vacancies, sterically hindering the process. Furthermore, there are also enthalpic barriers of formation over TiO$_2$-terminated surfaces, or removal of H$_2$ molecules from the PbO-terminated surface.


title: The search for galaxy cluster members with deep learning of panchromatic HST imaging and extensive spectroscopy

abstract: The next generation of data-intensive surveys are bound to produce a vast amount of data, which can be dealt with using machine-learning methods to explore possible correlations within the multi-dimensional parameter space. We explore the classification capabilities of convolution neural networks (CNNs) to identify galaxy cluster members (CLMs) by using Hubble Space Telescope (HST) images of 15 galaxy clusters at redshift 0.19<z<0.60, observed as part of the CLASH and Hubble Frontier Field programmes. We used extensive spectroscopic information, based on the CLASH-VLT VIMOS programme combined with MUSE observations, to define the knowledge base. We performed various tests to quantify how well CNNs can identify cluster members on the basis of imaging information only. We investigated the CNN capability to predict source memberships outside the training coverage, by identifying CLMs at the faint end of the magnitude distributions. We find that the CNNs achieve a purity-completeness rate ~90%, demonstrating stable behaviour, along with a remarkable generalisation capability with respect to cluster redshifts. We concluded that if extensive spectroscopic information is available as a training base, the proposed approach is a valid alternative to catalogue-based methods because it has the advantage of avoiding photometric measurements, which are particularly challenging and time-consuming in crowded cluster cores. As a byproduct, we identified 372 photometric CLMs, with mag(F814)<25, to complete the sample of 812 spectroscopic CLMs in four galaxy clusters RX~J2248-4431, MACS~J0416-2403, MACS~J1206-0847 and MACS~J1149+2223. When this technique is applied to the data that are expected to become available from forthcoming surveys, it will be an efficient tool for a variety of studies requiring CLM selection, such as galaxy number densities, luminosity functions, and lensing mass reconstruction.


title: Comparative analysis of sky quality and meteorological variables during the total lunar eclipse on 14-15 April 2014 and their effect on qualitative measurements of the Bortle scale

abstract: A total lunar eclipse is plausible to have an influence on the variation of some environmental physical parameters, specifically on the conditions of the sky brightness, humidity and temperature. During the eclipse on 14$^{th}$-15$^{th}$ April 2014, these parameters were measured through a photometer and a weather station. The obtained results allow the comparison, practically, of the optimal conditions for observational astronomy work in the Tatacoa desert and therefore to certify it as suitable perfect place to develop night sky astronomical observations. This investigation determined, to some extent, the suitability of this place to carry out astronomical work and research within the optical range. Thus, the changes recorded during the astronomical phenomenon allowed the classification of the sky based on the Bortle Scale


title: The average element order and the number of conjugacy classes of finite groups

abstract: Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and $N$ is abelian. This gives a negative answer to a question of A.~Jaikin-Zapirain.


title: Compact $N$-quark Hadron Mass Dependence on $N^4$: A Classical Field Picture

abstract: We give a hypothesis on the mass spectrum of compact $N$-quark hadron states in a classical field picture, which indicates that there would be a mass dependence on about $N^4$. We call our model "bag-tube oscillation model", which can be seemed as a kind of combination of quark-bag model and flux-tube model. The large decay widths due to large masses might be the reason why the compact $N$-quark hadrons still disappear so far.


title: LeadCache: Regret-Optimal Caching in Networks

abstract: We consider an online prediction problem in the context of network caching. Assume that multiple users are connected to several caches via a bipartite network. At any time slot, each user may request an arbitrary file chosen from a large catalog. A user's request at a slot is met if the requested file is cached in at least one of the caches connected to the user. Our objective is to predict, prefetch, and optimally distribute the files on the caches at each slot to maximize the total number of cache hits. The problem is non-trivial due to the non-convex and non-smooth nature of the objective function. In this paper, we propose $\texttt{LeadCache}$ - an efficient online caching policy based on the Follow-the-Perturbed-Leader paradigm. We show that $\texttt{LeadCache}$ is regret-optimal up to a factor of $\tilde{O}(n^{3/8}),$ where $n$ is the number of users. We design two efficient implementations of the $\texttt{LeadCache}$ policy, one based on Pipage rounding and the other based on Madow's sampling, each of which makes precisely one call to an LP-solver per iteration. Furthermore, with a Strong-Law-type assumption, we show that the total number of file fetches under $\texttt{LeadCache}$ remains almost surely finite over an infinite horizon. Finally, we derive an approximately tight regret lower bound using results from graph coloring. We conclude that the learning-based $\texttt{LeadCache}$ policy decisively outperforms the state-of-the-art caching policies both theoretically and empirically.


title: AIN: Fast and Accurate Sequence Labeling with Approximate Inference Network

abstract: The linear-chain Conditional Random Field (CRF) model is one of the most widely-used neural sequence labeling approaches. Exact probabilistic inference algorithms such as the forward-backward and Viterbi algorithms are typically applied in training and prediction stages of the CRF model. However, these algorithms require sequential computation that makes parallelization impossible. In this paper, we propose to employ a parallelizable approximate variational inference algorithm for the CRF model. Based on this algorithm, we design an approximate inference network that can be connected with the encoder of the neural CRF model to form an end-to-end network, which is amenable to parallelization for faster training and prediction. The empirical results show that our proposed approaches achieve a 12.7-fold improvement in decoding speed with long sentences and a competitive accuracy compared with the traditional CRF approach.


title: Siegel theta series for indefinite quadratic forms

abstract: The modular transformation behavior of theta series for indefinite quadratic forms is well understood in the case of elliptic modular forms due to Vign\'eras, who deduced that solving a differential equation of second order serves as a criterion for modularity. In this paper, we will give a generalization of this result to Siegel theta series.


title: The Pencil Code, a modular MPI code for partial differential equations and particles: multipurpose and multiuser-maintained

abstract: The Pencil Code is a highly modular physics-oriented simulation code that can be adapted to a wide range of applications. It is primarily designed to solve partial differential equations (PDEs) of compressible hydrodynamics and has lots of add-ons ranging from astrophysical magnetohydrodynamics (MHD) to meteorological cloud microphysics and engineering applications in combustion. Nevertheless, the framework is general and can also be applied to situations not related to hydrodynamics or even PDEs, for example when just the message passing interface or input/output strategies of the code are to be used. The code can also evolve Lagrangian (inertial and noninertial) particles, their coagulation and condensation, as well as their interaction with the fluid.

categories: astro-ph.IM astro-ph.CO astro-ph.SR physics.flu-dyn


title: Broadband Finite-Element Impedance Computation for Parasitic Extraction

abstract: Parasitic extraction is a powerful tool in the design process of electromechanical devices, specifically as part of workflows that check electromagnetic compatibility. A novel scheme to extract impedances from CAD device models, suitable for a finite element implementation, is derived from Maxwell's equations in differential form. It provides a foundation for parasitic extraction across a broad frequency range and is able to handle inhomogeneous permittivities and permeabilities, making it more flexible than existing integral equation approaches. The approach allows for the automatic treatment of multi-port models of arbitrary conductor geometry without requiring any significant manual user interaction. This is achieved by computing a connecting source current density that supplies current to the model's terminals, whatever their location in the model, subsequently using this current density to compute the electric field, and finally calculating the impedance via a scalar potential. A mandatory low-frequency stabilization scheme is outlined, ensuring a stable evaluation of the model at low frequencies as well. Two quasistatic approximations and the special case of perfect electric conductors are treated theoretically. The magnetoquasistatic approximation is validated against an analytical model in a numerical experiment. Moreover, the intrinsic capability of the method to treat inhomogeneous permittivities and permeabilities is demonstrated with a simple capacitor-coil model including dielectric insulation and magnetic core materials.


title: Label Smoothing and Adversarial Robustness

abstract: Recent studies indicate that current adversarial attack methods are flawed and easy to fail when encountering some deliberately designed defense. Sometimes even a slight modification in the model details will invalidate the attack. We find that training model with label smoothing can easily achieve striking accuracy under most gradient-based attacks. For instance, the robust accuracy of a WideResNet model trained with label smoothing on CIFAR-10 achieves 75% at most under PGD attack. To understand the reason underlying the subtle robustness, we investigate the relationship between label smoothing and adversarial robustness. Through theoretical analysis about the characteristics of the network trained with label smoothing and experiment verification of its performance under various attacks. We demonstrate that the robustness produced by label smoothing is incomplete based on the fact that its defense effect is volatile, and it cannot defend attacks transferred from a naturally trained model. Our study enlightens the research community to rethink how to evaluate the model's robustness appropriately.


title: The weak Stokes problem associated with a flow through a profile cascade in Lr-framework

abstract: We study the weak steady Stokes problem, associated with a flow of a Newtonian incompressible fluid through a spatially periodic profile cascade, in the Lr-framework. The used mathematical model is based on the reduction to one spatial period, represented by a bounded 2D domain Omega. The corresponding Stokes problem is formulated by means of three types of boundary conditions: the conditions of periodicity on the "lower" and "upper" parts of the boundary, the Dirichlet boundary conditions on the "inflow" and on the profile and an artificial "do nothing"--type boundary condition on the "outflow". Under appropriate assumptions on the given data, we prove the existence and uniqueness of a weak solution in W^{1,r}(Omega) and its continuous dependence on the data. We explain the sense in which the "do nothing" boundary condition on the "outflow" is satisfied.


title: The Orbital Chromatic Polynomial of a Cycle

abstract: The orbital chromatic polynomial introduced by Cameron and Kayibi counts the number of proper $\lambda$-colorings of a graph modulo a group of symmetries. In this paper, we establish expansions for the orbital chromatic polynomial of the $n$-cycle for the group of rotations and its full automorphism group. Besides, we obtain a new proof of Fermat's Little Theorem.