title: Equiangular lines in low dimensional Euclidean spaces

abstract: We show that the maximum cardinality of an equiangular line system in 14 and 16 dimensions is 28 and 40, respectively, thereby solving a longstanding open problem. We also improve the upper bounds on the cardinality of equiangular line systems in 19 and 20 dimensions to 74 and 94, respectively.


title: The complexity of knapsack problems in wreath products

abstract: We prove new complexity results for computational problems in certain wreath products of groups and (as an application) for free solvable group. For a finitely generated group we study the so-called power word problem (does a given expression $u_1^{k_1} \ldots u_d^{k_d}$, where $u_1, \ldots, u_d$ are words over the group generators and $k_1, \ldots, k_d$ are binary encoded integers, evaluate to the group identity?) and knapsack problem (does a given equation $u_1^{x_1} \ldots u_d^{x_d} = v$, where $u_1, \ldots, u_d,v$ are words over the group generators and $x_1,\ldots,x_d$ are variables, has a solution in the natural numbers). We prove that the power word problem for wreath products of the form $G \wr \mathbb{Z}$ with $G$ nilpotent and iterated wreath products of free abelian groups belongs to $\mathsf{TC}^0$. As an application of the latter, the power word problem for free solvable groups is in $\mathsf{TC}^0$. On the other hand we show that for wreath products $G \wr \mathbb{Z}$, where $G$ is a so called uniformly strongly efficiently non-solvable group (which form a large subclass of non-solvable groups), the power word problem is $\mathsf{coNP}$-hard. For the knapsack problem we show $\mathsf{NP}$-completeness for iterated wreath products of free abelian groups and hence free solvable groups. Moreover, the knapsack problem for every wreath product $G \wr \mathbb{Z}$, where $G$ is uniformly efficiently non-solvable, is $\Sigma^2_p$-hard.


title: LAMBERT: Layout-Aware (Language) Modeling for information extraction

abstract: We introduce a simple new approach to the problem of understanding documents where non-trivial layout influences the local semantics. To this end, we modify the Transformer encoder architecture in a way that allows it to use layout features obtained from an OCR system, without the need to re-learn language semantics from scratch. We only augment the input of the model with the coordinates of token bounding boxes, avoiding, in this way, the use of raw images. This leads to a layout-aware language model which can then be fine-tuned on downstream tasks. The model is evaluated on an end-to-end information extraction task using four publicly available datasets: Kleister NDA, Kleister Charity, SROIE and CORD. We show that our model achieves superior performance on datasets consisting of visually rich documents, while also outperforming the baseline RoBERTa on documents with flat layout (NDA \(F_{1}\) increase from 78.50 to 80.42). Our solution ranked first on the public leaderboard for the Key Information Extraction from the SROIE dataset, improving the SOTA \(F_{1}\)-score from 97.81 to 98.17.


title: Holistic Slowdown Driven Scheduling and Resource Management for Malleable Jobs

abstract: In job scheduling, the concept of malleability has been explored since many years ago. Research shows that malleability improves system performance, but its utilization in HPC never became widespread. The causes are the difficulty in developing malleable applications, and the lack of support and integration of the different layers of the HPC software stack. However, in the last years, malleability in job scheduling is becoming more critical because of the increasing complexity of hardware and workloads. In this context, using nodes in an exclusive mode is not always the most efficient solution as in traditional HPC jobs, where applications were highly tuned for static allocations, but offering zero flexibility to dynamic executions. This paper proposes a new holistic, dynamic job scheduling policy, Slowdown Driven (SD-Policy), which exploits the malleability of applications as the key technology to reduce the average slowdown and response time of jobs. SD-Policy is based on backfill and node sharing. It applies malleability to running jobs to make room for jobs that will run with a reduced set of resources, only when the estimated slowdown improves over the static approach. We implemented SD-Policy in SLURM and evaluated it in a real production environment, and with a simulator using workloads of up to 198K jobs. Results show better resource utilization with the reduction of makespan, response time, slowdown, and energy consumption, up to respectively 7%, 50%, 70%, and 6%, for the evaluated workloads.


title: Optimal DG allocation and sizing in power system networks using swarm-based algorithms

abstract: Distributed generation (DG) units are power generating plants that are very important to the architecture of present power system networks. The benefit of the addition of these DG units is to increase the power supply to a network. However, the installation of these DG units can cause an adverse effect if not properly allocated and/or sized. Therefore, there is a need to optimally allocate and size them to avoid cases such as voltage instability and expensive investment costs. In this paper, two swarm-based meta-heuristic algorithms, particle swarm optimization (PSO) and whale optimization algorithm (WOA) were developed to solve optimal placement and sizing of DG units in the quest for transmission network planning. A supportive technique, loss sensitivity factors (LSF) was used to identify potential buses for optimal location of DG units. The feasibility of the algorithms was confirmed on two IEEE bus test systems (14- and 30-bus). Comparison results showed that both algorithms produce good solutions and they outperform each other in different metrics. The WOA real power loss reduction considering techno-economic factors in the IEEE 14-bus and 30-bus test system are 6.14 MW and 10.77 MW, compared to the PSOs' 6.47 MW and 11.73 MW respectively. The PSO has a more reduced total DG unit size in both bus systems with 133.45 MW and 82.44 MW compared to WOAs' 152.21 MW and 82.44 MW respectively. The paper unveils the strengths and weaknesses of the PSO and the WOA in the application of optimal sizing of DG units in transmission networks.


title: Ion-Irradiation-Induced Cobalt/Cobalt Oxide Heterostructures: Printing 3D Interfaces

abstract: Interfaces separating ferromagnetic (FM) layers from non-ferromagnetic layers offer unique properties due to spin-orbit coupling and symmetry breaking, yielding effects such as exchange bias, perpendicular magnetic anisotropy, spin-pumping, spin-transfer torques, conversion between charge and spin currents and vice-versa. These interfacial phenomena play crucial roles for magnetic data storage and transfer applications, which require forming FM nano-structures embedded in non-ferromagnetic matrices. Here, we investigate the possiblity of creating such nano-structures by ion-irradiation. We study the effect of lateral confinement on the ion-irradiation-induced reduction of non-magnetic metal oxides (e.g., antiferro- or paramagnetic) to form ferromagnetic metals. Our findings are later exploited to form 3-dimensional magnetic interfaces between Co, CoO and Pt by spatially-selective irradiation of CoO/Pt multilayers. We demonstrate that the mechanical displacement of the O atoms plays a crucial role during the reduction from insulating, non-ferromagnetic cobalt oxides to metallic cobalt. Metallic cobalt yields both perpendicular magnetic anisotropy in the generated Co/Pt nano-structures, and, at low temperatures, exchange bias at vertical interfaces between Co and CoO. If pushed to the limit of ion-irradiation technology, this approach could, in principle, enable the creation of densely-packed, atomic scale ferromagnetic point-contact spin-torque oscillator (STO) networks, or conductive channels for current-confined-path based current perpendicular-to-plane giant magnetoresistance read-heads.


title: On Evans' and Choquet's theorems on polar sets

abstract: By classical results of G.C. Evans and G. Choquet on "good kernels $G$ in potential theory", for every polar $K_\sigma$-set $P$, there exists a finite measure $\mu$ on $P$ such that $G\mu=\infty$ on $P$, and a set $P$ admits a finite measure $\mu$ on $P$ such that $\{G\mu=\infty\}=P$ if and only if $P$ is a polar $G_\delta$-set. A known application of Evans' theorem yields the solutions of the generalized Dirichlet problem for open sets by the Perron-Wiener-Brelot method using only harmonic upper and lower functions. In this note it is shown that, by elementary "metric" considerations and without using any potential theory, such results can be obtained for general kernels $G$ satisfying a local triangle property. The particular case, $G(x,y)=|x-y|^{\alpha-d}$ on $R^d$, $2<\alpha<d$, solves a long-standing open problem.


title: Cointegration without Unit Roots

abstract: It has been known since Elliott (1998) that standard methods of inference on cointegrating relationships break down entirely when autoregressive roots are near but not exactly equal to unity. We consider this problem within the framework of a structural VAR, arguing this it is as much a problem of identification failure as it is of inference. We develop a characterisation of cointegration based on the impulse response function, which allows long-run equilibrium relationships to remain identified even in the absence of exact unit roots. Our approach also provides a framework in which the structural shocks driving the common persistent components continue to be identified via long-run restrictions, just as in an SVAR with exact unit roots. We show that inference on the cointegrating relationships is affected by nuisance parameters, in a manner familiar from predictive regression; indeed the two problems are asymptotically equivalent. By adapting the approach of Elliott, M\"uller and Watson (2015) to our setting, we develop tests that robustly control size while sacrificing little power (relative to tests that are efficient in the presence of exact unit roots).


title: 2D Black Phosphorus Carbide: Rippling and Formation of Nanotubes

abstract: The allotropes of a new layered material, phosphorus carbide (PC), have been predicted recently and a few of these predicted structures have already been successfully fabricated. Herein, by using first-principles calculations we investigated the effects of rippling a PC monolayer, one of the most stable modifications of layered PC, under large compressive strains. Similar to phosphorene, layered PC was found to have the extraordinary ability to bend and form ripples with large curvatures under a sufficiently large strain applied along its armchair direction. The band gap size, workfunction, and Young's modulus of rippled PC monolayer are predicted to be highly tunable by strain engineering. Moreover, a direct-indirect band gap transition is observed under the compressive strains in a range from 6 to 11%. Another important feature of PC monolayer rippled along the armchair direction is the possibility of its rolling to a PC nanotube (PCNT) under extreme compressive strains. These tubes of different sizes exhibit high thermal stability, possess a comparably high Young's modulus, and a well tunable band gap which can vary from 0 to 0.95 eV. In addition, for both structures, rippled PC and PCNTs, we have explained the changes in their properties under compressive strain in terms of the modification of their structural parameters.


title: Semi-parametric resampling with extremes

abstract: Nonparametric resampling methods such as Direct Sampling are powerful tools to simulate new datasets preserving important data features such as spatial patterns from observed datasets while using only minimal assumptions. However, such methods cannot generate extreme events beyond the observed range of data values. We here propose using tools from extreme value theory for stochastic processes to extrapolate observed data towards yet unobserved high quantiles. Original data are first enriched with new values in the tail region, and then classical resampling algorithms are applied to enriched data. In a first approach to enrichment that we label "naive resampling", we generate an independent sample of the marginal distribution while keeping the rank order of the observed data. We point out inaccuracies of this approach around the most extreme values, and therefore develop a second approach that works for datasets with many replicates. It is based on the asymptotic representation of extreme events through two stochastically independent components: a magnitude variable, and a profile field describing spatial variation. To generate enriched data, we fix a target range of return levels of the magnitude variable, and we resample magnitudes constrained to this range. We then use the second approach to generate heatwave scenarios of yet unobserved magnitude over France, based on daily temperature reanalysis training data for the years 2010 to 2016.


title: Logarithmic Regret for Learning Linear Quadratic Regulators Efficiently

abstract: We consider the problem of learning in Linear Quadratic Control systems whose transition parameters are initially unknown. Recent results in this setting have demonstrated efficient learning algorithms with regret growing with the square root of the number of decision steps. We present new efficient algorithms that achieve, perhaps surprisingly, regret that scales only (poly)logarithmically with the number of steps in two scenarios: when only the state transition matrix $A$ is unknown, and when only the state-action transition matrix $B$ is unknown and the optimal policy satisfies a certain non-degeneracy condition. On the other hand, we give a lower bound that shows that when the latter condition is violated, square root regret is unavoidable.


title: On the initial behaviour of the number of generators of powers of monomial ideals

abstract: Given a number $q$, we construct a monomial ideal $I$ with the property that the function which describes the number of generators of $I^k$ has at least $q$ local maxima.


title: Unsupervised Temporal Feature Aggregation for Event Detection in Unstructured Sports Videos

abstract: Image-based sports analytics enable automatic retrieval of key events in a game to speed up the analytics process for human experts. However, most existing methods focus on structured television broadcast video datasets with a straight and fixed camera having minimum variability in the capturing pose. In this paper, we study the case of event detection in sports videos for unstructured environments with arbitrary camera angles. The transition from structured to unstructured video analysis produces multiple challenges that we address in our paper. Specifically, we identify and solve two major problems: unsupervised identification of players in an unstructured setting and generalization of the trained models to pose variations due to arbitrary shooting angles. For the first problem, we propose a temporal feature aggregation algorithm using person re-identification features to obtain high player retrieval precision by boosting a weak heuristic scoring method. Additionally, we propose a data augmentation technique, based on multi-modal image translation model, to reduce bias in the appearance of training samples. Experimental evaluations show that our proposed method improves precision for player retrieval from 0.78 to 0.86 for obliquely angled videos. Additionally, we obtain an improvement in F1 score for rally detection in table tennis videos from 0.79 in case of global frame-level features to 0.89 using our proposed player-level features. Please see the supplementary video submission at https://ibm.biz/BdzeZA.


title: Weakly-Supervised Semantic Segmentation by Iterative Affinity Learning

abstract: Weakly-supervised semantic segmentation is a challenging task as no pixel-wise label information is provided for training. Recent methods have exploited classification networks to localize objects by selecting regions with strong response. While such response map provides sparse information, however, there exist strong pairwise relations between pixels in natural images, which can be utilized to propagate the sparse map to a much denser one. In this paper, we propose an iterative algorithm to learn such pairwise relations, which consists of two branches, a unary segmentation network which learns the label probabilities for each pixel, and a pairwise affinity network which learns affinity matrix and refines the probability map generated from the unary network. The refined results by the pairwise network are then used as supervision to train the unary network, and the procedures are conducted iteratively to obtain better segmentation progressively. To learn reliable pixel affinity without accurate annotation, we also propose to mine confident regions. We show that iteratively training this framework is equivalent to optimizing an energy function with convergence to a local minimum. Experimental results on the PASCAL VOC 2012 and COCO datasets demonstrate that the proposed algorithm performs favorably against the state-of-the-art methods.


title: The Decentralized Financial Crisis

abstract: The Global Financial Crisis of 2008, caused by the accumulation of excessive financial risk, inspired Satoshi Nakamoto to create Bitcoin. Now, more than ten years later, Decentralized Finance (DeFi), a peer-to-peer financial paradigm which leverages blockchain-based smart contracts to ensure its integrity and security, contains over 702m USD of capital as of April 15th, 2020. As this ecosystem develops, it is at risk of the very sort of financial meltdown it is supposed to be preventing. In this paper we explore how design weaknesses and price fluctuations in DeFi protocols could lead to a DeFi crisis. We focus on DeFi lending protocols as they currently constitute most of the DeFi ecosystem with a 76% market share by capital as of April 15th, 2020. First, we demonstrate the feasibility of attacking Maker's governance design to take full control of the protocol, the largest DeFi protocol by market share, which would have allowed the theft of 0.5bn USD of collateral and the minting of an unlimited supply of DAI tokens. In doing so, we present a novel strategy utilizing so-called flash loans that would have in principle allowed the execution of the governance attack in just two transactions and without the need to lock any assets. Approximately two weeks after we disclosed the attack details, Maker modified the governance parameters mitigating the attack vectors. Second, we turn to a central component of financial risk in DeFi lending protocols. Inspired by stress-testing as performed by central banks, we develop a stress-testing framework for a stylized DeFi lending protocol, focusing our attention on the impact of a drying-up of liquidity on protocol solvency. Based on our parameters, we find that with sufficiently illiquidity a lending protocol with a total debt of 400m USD could become undercollateralized within 19 days.


title: On bounded mild solutions for a class of semilinear stochastic evolution equation driven by stable process

abstract: We study the existence and uniqueness of Lp-bounded mild solutions for a class ofsemilinear stochastic evolutions equations driven by a real L\'evy processes withoutGaussian component not square integrable for instance the stable process through atruncation method by separating the big and small jumps together with the classicaland simple Banach fixed point theorem ; under local Lipschitz, Holder, linear growthconditions on the coefficients.


title: The Sum of Its Parts: Analysis of Federated Byzantine Agreement Systems

abstract: Federated Byzantine Agreement Systems (FBASs) are a fascinating new paradigm in the context of consensus protocols. Originally proposed for powering the Stellar payment network, FBASs can instantiate Byzantine quorum systems without requiring out-of-band agreement on a common set of validators; every node is free to decide for itself with whom it requires agreement. Sybil-resistant and yet energy-efficient consensus protocols can therefore be built upon FBASs, and the "decentrality" possible with the FBAS paradigm might be sufficient to reduce the use of environmentally unsustainable proof-of-work protocols. In this paper, we first demonstrate how the robustness of individual FBASs can be determined, by precisely determining their safety and liveness buffers and therefore enabling a comparison with threshold-based quorum systems. Using simulations and example node configuration strategies, we then empirically investigate the hypothesis that while FBASs can be bootstrapped in a bottom-up fashion from individual preferences, strategic considerations should additionally be applied by node operators in order to arrive at FBASs that are robust and amenable to monitoring. Finally, we investigate the reported "open-membership" property of FBASs. We observe that an often small group of nodes is exclusively relevant for determining liveness buffers and prove that membership in this top tier is conditional on the approval by current top tier nodes if maintaining safety is a core requirement.


title: Optimizing Federated Queries Based on the Physical Design of a Data Lake

abstract: The optimization of query execution plans is known to be crucial for reducing the query execution time. In particular, query optimization has been studied thoroughly for relational databases over the past decades. Recently, the Resource Description Framework (RDF) became popular for publishing data on the Web. As a consequence, federations composed of different data models like RDF and relational databases evolved. One type of these federations are Semantic Data Lakes where every data source is kept in its original data model and semantically annotated with ontologies or controlled vocabularies. However, state-of-the-art query engines for federated query processing over Semantic Data Lakes often rely on optimization techniques tailored for RDF. In this paper, we present query optimization techniques guided by heuristics that take the physical design of a Data Lake into account. The heuristics are implemented on top of Ontario, a SPARQL query engine for Semantic Data Lakes. Using source-specific heuristics, the query engine is able to generate more efficient query execution plans by exploiting the knowledge about indexes and normalization in relational databases. We show that heuristics which take the physical design of the Data Lake into account are able to speed up query processing.


title: Knowledge-Based Matching of $n$-ary Tuples

abstract: An increasing number of data and knowledge sources are accessible by human and software agents in the expanding Semantic Web. Sources may differ in granularity or completeness, and thus be complementary. Consequently, they should be reconciled in order to unlock the full potential of their conjoint knowledge. In particular, units should be matched within and across sources, and their level of relatedness should be classified into equivalent, more specific, or similar. This task is challenging since knowledge units can be heterogeneously represented in sources (e.g., in terms of vocabularies). In this paper, we focus on matching n-ary tuples in a knowledge base with a rule-based methodology. To alleviate heterogeneity issues, we rely on domain knowledge expressed by ontologies. We tested our method on the biomedical domain of pharmacogenomics by searching alignments among 50,435 n-ary tuples from four different real-world sources. Results highlight noteworthy agreements and particularities within and across sources.


title: Analyzing Neural Networks Based on Random Graphs

abstract: We perform a massive evaluation of neural networks with architectures corresponding to random graphs of various types. We investigate various structural and numerical properties of the graphs in relation to neural network test accuracy. We find that none of the classical numerical graph invariants by itself allows to single out the best networks. Consequently, we introduce a new numerical graph characteristic that selects a set of quasi-1-dimensional graphs, which are a majority among the best performing networks. We also find that networks with primarily short-range connections perform better than networks which allow for many long-range connections. Moreover, many resolution reducing pathways are beneficial. We provide a dataset of 1020 graphs and the test accuracies of their corresponding neural networks at https://github.com/rmldj/random-graph-nn-paper


title: Conic reductions for Hamiltonian actions of $U(2)$ and its maximal torus

abstract: Suppose given a Hamiltonian and holomorphic action of $G=U(2)$ on a compact K\"{a}hler manifold $M$, with nowhere vanishing moment map. Given an integral coadjoint orbit $\mathcal{O}$ for $G$, under transversality assumptions we shall consider two naturally associated 'conic', reductions. One, which will be denoted $\overline{M}^G_{\mathcal{O}}$, is taken with respect to the action of $G$ and the cone over $\mathcal{O}$; another, which will be denoted $\overline{M}^T_{\boldsymbol{\nu}}$, is taken with respect to the action of the standard maximal torus $T\leqslant G$ and the ray $\mathbb{R}_+\,\imath\boldsymbol{\nu}$ along which the cone over $\mathcal{O}$ intersects the positive Weyl chamber. These two reductions share a common 'divisor', which may be viewed heuristically as bridging between their structures. This point of view motivates studying the (rather different) ways in which the two reductions relate to the the latter divisor. In this paper we provide some results in this directions. Furthermore, we give explicit transversailty criteria for a large class of such actions in the projective setting, as well as a description of corresponding reductions as weighted projective varieties, depending on combinatoric data associated to the action and the orbit.


title: Distributed computation of fast consensus weights using ADMM

abstract: We consider the problem of achieving average consensus among multiple agents, where the inter-agent communication network is depicted by a graph. We consider the discrete-time consensus protocol where each agent updates its value as a weighted average of its own value and those of its neighbours. Given a graph, it is known that there exists a set of 'optimal weights' such that the agents reach average consensus asymptotically with an optimal rate of convergence. However, existing methods require the knowledge of the entire graph to compute these optimal weights. We propose a method for each agent to compute its set of optimal weights locally, i.e., each agent only has to know who are its neighbours. The method is derived by solving a matrix norm minimization problem subject to linear constraints in a distributed manner using the Alternating Direction Method of Multipliers (ADMM). We illustrate our results using numerical examples and compare our method with an existing method called the Metropolis weights, which are also computed locally.


title: Strange metal state near quantum superconductor-metal transition in thin films

abstract: We develop a theory of quantum $T = 0$ phase transition (q-SMT) between metal and superconducting ground states in a two-dimensional metal with frozen-in spatial fluctuations $\delta\lambda(r)$ of the Cooper attraction constant. When strength of fluctuations $\delta\lambda(r)$ exceeds some critical magnitude, usual mean-field-like scenario of the q-SMT breaks down due to spontaneous formation of local droplets of superconducting phase. The density of these droplets grows exponentially with the increase of average attraction constant $\lambda$. Interaction between the droplet's order parameters is due to proximity effect via normal metal and scales with distance $\propto 1/r^\beta$ , with $2 < \beta \le 3$. We account for this interaction by means of a real-space strong-disorder renormalization group (RG). Near the q-SMT the RG flow is, formally, a dual equivalent of the Kosterlitz-Thouless RG. The corresponding line of fixed points describes a Griffiths phase of a metal with large fractal clusters of superconducting islands. Typical number of islands in a cluster grows as $N_\delta \sim 1/\delta$, where $0 < \delta \ll 1 $ is the distance to the critical point. Superconducting side is described by a runaway of RG trajectories into the strong-coupling region. Close to the transition point on the SC side, $0<-\delta \ll 1$, RG trajectories possess an extremum as function of the RG parameter $|\delta|^{1/2} \ln(1/T\tau)$. It results in a wide temperature range where physical properties are nearly $T$-independent. This observation may be relevant to the understanding of a \emph{strange metal} state frequently observed near q-SMT.


title: Common Information, Matroid Representation, and Secret Sharing for Matroid Ports

abstract: Linear information and rank inequalities as, for instance, Ingleton inequality, are useful tools in information theory and matroid theory. Even though many such inequalities have been found, it seems that most of them remain undiscovered. Improved results have been obtained in recent works by using the properties from which they are derived instead of the inequalities themselves. We apply here this strategy to the classification of matroids according to their representations and to the search for bounds on secret sharing for matroid ports.


title: The behavior of sequences of solutions to the Hitchin-Simpson equations

abstract: The Hitchin-Simpson equations are first order non-linear equations for a pair of connection and a Higgs field, which is closely related to the Higgs bundle theory over K\"ahler manifold. In this paper, we study the behavior of sequences of solutions to the Hitchin-Simpson equations over closed K\"ahler manifold with unbounded $L^2$ norms of the Higgs fields. We prove a compactness result for the connections and renormalized Higgs fields. As an application, we study the realization problem of Taubes' $\mathbb{Z}_2$ harmonic 1-form over closed K\"ahler manifold. Using the Hitchin morphism for $\mathrm{SL}(2,\mathbb{C})$ Higgs bundle, we give a necessary and sufficient condition that whether a $\mathbb{Z}_2$ harmonic 1-form can be realized by a sequence of solutions to the Hitchin-Simpson equations.


title: hyper.deal: An efficient, matrix-free finite-element library for high-dimensional partial differential equations

abstract: This work presents the efficient, matrix-free finite-element library hyper.deal for solving partial differential equations in two to six dimensions with high-order discontinuous Galerkin methods. It builds upon the low-dimensional finite-element library deal.II to create complex low-dimensional meshes and to operate on them individually. These meshes are combined via a tensor product on the fly and the library provides new special-purpose highly optimized matrix-free functions exploiting domain decomposition as well as shared memory via MPI-3.0 features. Both node-level performance analyses and strong/weak-scaling studies on up to 147,456 CPU cores confirm the efficiency of the implementation. Results of the library hyper.deal are reported for high-dimensional advection problems and for the solution of the Vlasov--Poisson equation in up to 6D phase space.


title: Hierarchical Quantized Autoencoders

abstract: Despite progress in training neural networks for lossy image compression, current approaches fail to maintain both perceptual quality and abstract features at very low bitrates. Encouraged by recent success in learning discrete representations with Vector Quantized Variational Autoencoders (VQ-VAEs), we motivate the use of a hierarchy of VQ-VAEs to attain high factors of compression. We show that the combination of stochastic quantization and hierarchical latent structure aids likelihood-based image compression. This leads us to introduce a novel objective for training hierarchical VQ-VAEs. Our resulting scheme produces a Markovian series of latent variables that reconstruct images of high-perceptual quality which retain semantically meaningful features. We provide qualitative and quantitative evaluations on the CelebA and MNIST datasets.


title: On the immanants of blocks from random matrices in some unitary ensembles

abstract: The permanent of unitary matrices and their blocks has attracted increasing attention in quantum physics and quantum computation because of connections with the Hong-Ou-Mandel effect and the Boson Sampling problem. In that context, it would be useful to know the distribution of the permanent or other immanants for random matrices, but that seems a difficult problem.We advance this program by calculating the average of the squared modulus of a generic immanant for blocks from random matrices in the unitary group, in the orthogonal group and in the circular orthogonal ensemble. In the case of the permanent in the unitary group, we also compute the variance. Our approach is based on Weingarten functions and factorizations of permutations. In the course of our calculations we are led to a conjecture relating dimensions of irreducible representations of the orthogonal group to the value of zonal polynomials at the identity.


title: Linear Regression Models in Epidemiology

abstract: The paper proposes to analyze epidemiological data using regression models which enable subject-matter (epidemiological) interpretation of such data whether with uncorrelated or correlated predictors. To this end, response functions should include not only terms linear in predictors but also higher order ones (e.g. quadratic and cross terms). For epidemiological interpretation of a regression model, the suggestion is to construct conditional functions derived from the general regression function with the values of all predictor variables held fixed excepting one predictor. Unlike the conventional techniques based on linear-predictor models in which the coefficient at any variable is interpreted, our approach proposes to interpret this conditional function, which is multivariate for any predictor being dependent on the values of all the other predictors. It is such functions that can describe relationships between Y and a predictor that have different forms in different predictor domains. The paper discusses differences in the interpretation of the proposed conditional functions between cases involving correlated and uncorrelated predictor variables. The construction and analysis of regression models for epidemiological and environmental data are illustrated with examples.


title: BB_Evac: Fast Location-Sensitive Behavior-Based Building Evacuation

abstract: Past work on evacuation planning assumes that evacuees will follow instructions -- however, there is ample evidence that this is not the case. While some people will follow instructions, others will follow their own desires. In this paper, we present a formal definition of a behavior-based evacuation problem (BBEP) in which a human behavior model is taken into account when planning an evacuation. We show that a specific form of constraints can be used to express such behaviors. We show that BBEPs can be solved exactly via an integer program called BB_IP, and inexactly by a much faster algorithm that we call BB_Evac. We conducted a detailed experimental evaluation of both algorithms applied to buildings (though in principle the algorithms can be applied to any graphs) and show that the latter is an order of magnitude faster than BB_IP while producing results that are almost as good on one real-world building graph and as well as on several synthetically generated graphs.


title: Chimera and solitary states in 3D oscillator networks with inertia

abstract: We report the diversity of scroll wave chimeras in the three-dimensional (3D) Kuramoto model with inertia for N^{3} identical phase oscillators placed in a unit 3D cube with periodic boundary conditions. In the considered model with inertia, we have found patterns which do not exist in this system without inertia. In particular, a scroll ring chimera is obtained from random initial conditions. In contrast to this system without inertia, where all chimera states have incoherent inner parts, these states can have partially coherent or fully coherent inner parts as exemplified by a scroll ring chimera. Solitary states exist in the considered model as separate states or can coexist with scroll wave chimeras in the oscillatory space. We also propose a method of construction of 3D images using solitary states as solutions of the 3D Kuramoto model with inertia.


title: Unbounded Wiener-Hopf Operators and Isomorphic Singular Integral Operators

abstract: Some preliminaries and basic facts regarding unbounded Wiener-Hopf operators (WH) are provided. WH with rational symbols are studied in detail showing that they are densely defined closed and have finite dimensional kernels and deficiency spaces. The latter spaces as well as the domains and ranges are explicitly determined. A further topic concerns semibounded WH. Expressing a semibounded WH by a product of a closable operator and its adjoint this representation allows for a natural self-adjoint extension. It is shown that it coincides with the Friedrichs extension. Polar decomposition gives rise to a Hilbert space isomorphism relating semibounded WH to singular integral operators of a well-studied type based on the Hilbert transformation.


title: Numerical continuation for fractional PDEs: sharp teeth and bloated snakes

abstract: Partial differential equations (PDEs) involving fractional Laplace operators have been increasingly used to model non-local diffusion processes and are actively investigated using both analytical and numerical approaches. The purpose of this work is to study the effects of the spectral fractional Laplacian on the bifurcation structure of reaction-diffusion systems on bounded domains. In order to do this we use advanced numerical continuation techniques to compute the solution branches. Since current available continuation packages only support systems involving the standard Laplacian, we first extend the pde2path software to treat fractional PDEs. The new capabilities are then applied to the study of the Allen-Cahn equation, the Swift-Hohenberg equation and the Schnakenberg system (in which the standard Laplacian is each replaced by the spectral fractional Laplacian). Our study reveals some common effects, which contributes to a better understanding of fractional diffusion in generic reaction-diffusion systems. In particular, we investigate the changes in snaking bifurcation diagrams and also study the spatial structure of non-trivial steady states upon variation of the order of the fractional Laplacian. Our results show that the fractional order can induce very significant qualitative and quantitative changes in global bifurcation structures.


title: Randomized Smoothing of All Shapes and Sizes

abstract: Randomized smoothing is the current state-of-the-art defense with provable robustness against $\ell_2$ adversarial attacks. Many works have devised new randomized smoothing schemes for other metrics, such as $\ell_1$ or $\ell_\infty$; however, substantial effort was needed to derive such new guarantees. This begs the question: can we find a general theory for randomized smoothing? We propose a novel framework for devising and analyzing randomized smoothing schemes, and validate its effectiveness in practice. Our theoretical contributions are: (1) we show that for an appropriate notion of "optimal", the optimal smoothing distributions for any "nice" norms have level sets given by the norm's *Wulff Crystal*; (2) we propose two novel and complementary methods for deriving provably robust radii for any smoothing distribution; and, (3) we show fundamental limits to current randomized smoothing techniques via the theory of *Banach space cotypes*. By combining (1) and (2), we significantly improve the state-of-the-art certified accuracy in $\ell_1$ on standard datasets. Meanwhile, we show using (3) that with only label statistics under random input perturbations, randomized smoothing cannot achieve nontrivial certified accuracy against perturbations of $\ell_p$-norm $\Omega(\min(1, d^{\frac{1}{p} - \frac{1}{2}}))$, when the input dimension $d$ is large. We provide code in github.com/tonyduan/rs4a.


title: Offloading and Resource Allocation with General Task Graph in Mobile Edge Computing: A Deep Reinforcement Learning Approach

abstract: In this paper, we consider a mobile-edge computing system, where an access point assists a mobile device (MD) to execute an application consisting of multiple tasks following a general task call graph. The objective is to jointly determine the offloading decision of each task and the resource allocation under time-varying wireless fading channels and stochastic edge computing capability, so that the energy-time cost (ETC) of the MD is minimized. Solving the problem is particularly hard due to the combinatorial offloading decisions and the strong coupling among task executions under the general dependency model. Conventional numerical optimization methods are inefficient to solve such a problem, especially when the problem size is large. To address the issue, we propose a deep reinforcement learning (DRL) framework based on the actor-critic learning structure. In particular, the actor network utilizes a DNN to learn the optimal mapping from the input states to the binary offloading decision of each task. Meanwhile, by analyzing the structure of the optimal solution, we derive a low-complexity algorithm for the critic network to quickly evaluate the ETC performance of the offloading decisions output by the actor network. With the low-complexity critic network, we can quickly select the best offloading action and subsequently store the state-action pair in an experience replay memory as the training dataset to continuously improve the action generation DNN. To further reduce the complexity, we show that the optimal offloading decision exhibits an one-climb structure, which can be utilized to significantly reduce the search space of action generation. Numerical results show that for various types of task graphs, the proposed algorithm achieves up to $99.1\%$ of the optimal performance while significantly reducing the computational complexity compared to the existing optimization methods.


title: On the condition number of the Vandermonde matrix of the nth cyclotomic polynomial

abstract: Recently, Blanco-Chac\'on proved the equivalence between the Ring Learning With Errors and Polynomial Learning With Errors problems for some families of cyclotomic number fields by giving some upper bounds for the condition number $\operatorname{Cond}(V_n)$ of the Vandermonde matrix $V_n$ associated to the $n$th cyclotomic polynomial. We prove some results on the singular values of $V_n$ and, in particular, we determine $\operatorname{Cond}(V_n)$ for $n = 2^k p^\ell$, where $k, \ell \geq 0$ are integers and $p$ is an odd prime number.


title: Generalized Maxwell projections for multi-mode network Photonics

abstract: The design of optical resonant systems for controlling light at the nanoscale is an exciting field of research in nanophotonics. While describing the dynamics of systems with few resonances is a relatively well understood problem, controlling the behavior of systems with many overlapping states is considerably more difficult. In this work we formulate a form of time dependent coupled mode theory based on complete and orthogonal modes, which project Maxwell's dynamics into a set of spatio-temporal equations that retain both the simplicity and the exactness of traditional coupled mode theory studied for optical waveguides. We developed a fast and effective computational method that extracts all the characteristics of a multi-mode resonant system, including the full density of states, the modes quality factors, the mode resonances and linewidths from a single first principle simulation. This approach can be used to study both analytically and numerically the complex dynamics of systems with many overlapping resonances in ensembles of resonators of any geometrical shape defined in materials with arbitrary responses.


title: Ground State Phase Diagrams and Magnetic Properties of the Double Perovskite Pb2FeReO6

abstract: The Half-Metallic Ferromagnetic behavior of some double perovskites attracts much interest. In this work, we studied the magnetic behavior of the double perovskite Pb2FeReO6. The magnetic atoms are Fe and Re and have the spins S=5/2 and {\sigma}=1, respectively. In a first step, we provide a theoretical study of the ground state phase diagrams .In fact, we present and discuss the stable configurations from the all 6x3=18 possible configurations. Secondly, the magnetic properties of this compound when varying different physical parameters is carried out. Besides, we used Monte Carlo simulations (MCS), under the Metropolis algorithm to provide the magnetic behavior of the studied system as a function of the temperature, the crystal field, the exchange coupling interactions and the external magnetic field. In addition, we studied and discussed the critical temperature of the double perovskite Pb2FeReO6. To complete our study, we presented and analyzed the hysteresis loops for specific values of physical parameters.


title: Mathematical Modeling and Computer Simulation of Needle Insertion into Soft Tissue

abstract: In this study we present a kinematic approach to modeling needle insertion into soft tissues. The kinematic approach allows the presentation of the problem as Dirichlet-type (i.e. driven by enforced motion of boundaries) and therefore weakly sensitive to unknown properties of the tissues and needle-tissue interaction. The parameters used in the kinematic approach are straightforward to determine from images. Our method uses Meshless Total Lagrangian Explicit Dynamics (MTLED) framework to compute soft tissue deformations. The proposed scheme was validated against experiments of needle insertion into silicone gel samples. We also present a simulation of needle insertion into the brain demonstrating the method's insensitivity to assumed mechanical properties of tissue.


title: Act, Perceive, and Plan in Belief Space for Robot Localization

abstract: In this paper, we outline an interleaved acting and planning technique to rapidly reduce the uncertainty of the estimated robot's pose by perceiving relevant information from the environment, as recognizing an object or asking someone for a direction. Generally, existing localization approaches rely on low-level geometric features such as points, lines, and planes, while these approaches provide the desired accuracy, they may require time to converge, especially with incorrect initial guesses. In our approach, a task planner computes a sequence of action and perception tasks to actively obtain relevant information from the robot's perception system. We validate our approach in large state spaces, to show how the approach scales, and in real environments, to show the applicability of our method on real robots. We prove that our approach is sound, probabilistically complete, and tractable in practical cases.


title: Gradient-Adjusted Neuron Activation Profiles for Comprehensive Introspection of Convolutional Speech Recognition Models

abstract: Deep Learning based Automatic Speech Recognition (ASR) models are very successful, but hard to interpret. To gain better understanding of how Artificial Neural Networks (ANNs) accomplish their tasks, introspection methods have been proposed. Adapting such techniques from computer vision to speech recognition is not straight-forward, because speech data is more complex and less interpretable than image data. In this work, we introduce Gradient-adjusted Neuron Activation Profiles (GradNAPs) as means to interpret features and representations in Deep Neural Networks. GradNAPs are characteristic responses of ANNs to particular groups of inputs, which incorporate the relevance of neurons for prediction. We show how to utilize GradNAPs to gain insight about how data is processed in ANNs. This includes different ways of visualizing features and clustering of GradNAPs to compare embeddings of different groups of inputs in any layer of a given network. We demonstrate our proposed techniques using a fully-convolutional ASR model.


title: Rnn-transducer with language bias for end-to-end Mandarin-English code-switching speech recognition

abstract: Recently, language identity information has been utilized to improve the performance of end-to-end code-switching (CS) speech recognition. However, previous works use an additional language identification (LID) model as an auxiliary module, which causes the system complex. In this work, we propose an improved recurrent neural network transducer (RNN-T) model with language bias to alleviate the problem. We use the language identities to bias the model to predict the CS points. This promotes the model to learn the language identity information directly from transcription, and no additional LID model is needed. We evaluate the approach on a Mandarin-English CS corpus SEAME. Compared to our RNN-T baseline, the proposed method can achieve 16.2% and 12.9% relative error reduction on two test sets, respectively.


title: Structured Sparsification with Joint Optimization of Group Convolution and Channel Shuffle

abstract: Recent advances in convolutional neural networks(CNNs) usually come with the expense of excessive computational overhead and memory footprint. Network compression aims to alleviate this issue by training compact models with comparable performance. However, existing compression techniques either entail dedicated expert design or compromise with a moderate performance drop. In this paper, we propose a novel structured sparsification method for efficient network compression. The proposed method automatically induces structured sparsity on the convolutional weights, thereby facilitating the implementation of the compressed model with the highly-optimized group convolution. We further address the problem of inter-group communication with a learnable channel shuffle mechanism. The proposed approach can be easily applied to compress many network architectures with a negligible performance drop. Extensive experimental results and analysis demonstrate that our approach gives a competitive performance against the recent network compression counterparts with a sound accuracy-complexity trade-off.


title: Analysis and characterization of a twisted double loop antenna

abstract: In this paper, we analyze the effects of twisting adouble loop torsional antenna. Its performance has been evaluated as a function of the twist angle around the symmetry axis from 0 to 225 degrees. Two geometric conditions are considered: in one case the height of the antenna is kept fixed. In the other, the height is varied so that the spherical shape is conserved. The results are compared with those of the corresponding finite element simulations. Increased Return Loss, increased bandwidth and decreasing frequency of resonance are obtained with respect to the untwisted case.


title: Bayesian Experimental Design for Implicit Models by Mutual Information Neural Estimation

abstract: Implicit stochastic models, where the data-generation distribution is intractable but sampling is possible, are ubiquitous in the natural sciences. The models typically have free parameters that need to be inferred from data collected in scientific experiments. A fundamental question is how to design the experiments so that the collected data are most useful. The field of Bayesian experimental design advocates that, ideally, we should choose designs that maximise the mutual information (MI) between the data and the parameters. For implicit models, however, this approach is severely hampered by the high computational cost of computing posteriors and maximising MI, in particular when we have more than a handful of design variables to optimise. In this paper, we propose a new approach to Bayesian experimental design for implicit models that leverages recent advances in neural MI estimation to deal with these issues. We show that training a neural network to maximise a lower bound on MI allows us to jointly determine the optimal design and the posterior. Simulation studies illustrate that this gracefully extends Bayesian experimental design for implicit models to higher design dimensions.


title: KH2PO4 + Host Matrix (Alumina / SiO$_2$) Nanocomposite: Raman Scattering Insight

abstract: We report on the synthesis and Raman scattering characterization of composite materials based on the hostnanoporous matrices filled with nanostructured KH2PO4 (KDP) crystal. Silica (SiO2) and anodized aluminium oxide (AAO) were used as host matrices with various pore diameters, inter-pore spacing and morphology. The structure of the nanocomposites was investigated by X-ray diffraction and scanning electron microscopy. Raman scattering reveals the creation of one-dimensional nanostructured KDP inside the SiO2 matrix. We clearly observed the stretching {\nu}1, {\nu}3 and bending {\nu}2 vibrations of PO4 tetrahedral groups in the Raman spectrum of SiO2 + KDP. In Raman scattering spectra of AAO + KDP nanocomposite, the broad fluorescence background of AAO matrix dominates to a great extent, hindering thus the detecting of the KDP compound spectral response.


title: A Systematic Comparison of Architectures for Document-Level Sentiment Classification

abstract: Documents are composed of smaller pieces - paragraphs, sentences, and tokens - that have complex relationships between one another. Sentiment classification models that take into account the structure inherent in these documents have a theoretical advantage over those that do not. At the same time, transfer learning models based on language model pretraining have shown promise for document classification. However, these two paradigms have not been systematically compared and it is not clear under which circumstances one approach is better than the other. In this work we empirically compare hierarchical models and transfer learning for document-level sentiment classification. We show that non-trivial hierarchical models outperform previous baselines and transfer learning on document-level sentiment classification in five languages.


title: How to generate species with positive concentrations for all positive times?

abstract: Given a reaction (network) we are looking for minimal sets of species starting from which all the species will have positive concentrations for all positive times in the domain of existence of the solution of the induced kinetic differential equation. We present three algorithms to solve the problem. The first one essentially checks all the possible subsets of the sets of species. This can obviously work for only a few dozen species because of combinatorial explosion. The second one is based on an integer programming reformulation of the problem. The third one walks around the state space of the problem in a systematic way and produces all the minimal sets of the advantageous initial species, and works also for large systems. All the algorithms rely heavily on the concept of Volpert indices, used earlier for the decomposition of overall reactions [Kov\'acs \textit{et al., Physical Chemistry Chemical Physics} 2004, 6, 1236]. Relations to the permanence hypothesis, possible economic or medical uses of the solution of the problem are analyzed, and open problems are formulated at the end.


title: Lower semicontinuity for functionals defined on piecewise rigid functions and on $GSBD$

abstract: In this work, we provide a characterization result for lower semicontinuity of surface energies defined on piecewise rigid functions, i.e., functions which are piecewise affine on a Caccioppoli partition where the derivative in each component is a skew symmetric matrix. This characterization is achieved by means of an integral condition, called $BD$-ellipticity, which is in the spirit of $BV$-ellipticity defined by Ambrosio and Braides. By specific examples we show that this novel concept is in fact stronger compared to its $BV$ analog. We further provide a sufficient condition implying $BD$-ellipticity which we call symmetric joint convexity. This notion can be checked explicitly for certain classes of surface energies which are relevant for applications, e.g., for variational fracture models. Finally, we give a direct proof that surface energies with symmetric jointly convex integrands are lower semicontinuous also on the larger space of $GSBD^p$ functions.


title: Quantum teleportation of single-electron states

abstract: We consider a scheme for on-demand teleportation of a dual-rail electron qubit state, based on single-electron sources and detectors. The scheme has a maximal efficiency of 25%, which is limited both by the shared entangled state as well as the Bell-state measurement. We consider two experimental implementations, realizable with current technology. The first relies on surface acoustic waves, where all the ingredients are readily available. The second is based on Lorentzian voltage pulses in quantum Hall edge channels. As single-electron detection is not yet experimentally established in these systems, we consider a tomographic detection of teleportation using current correlators up to (and including) third order. For both implementations we take into account environmental effects.


title: Investigating Taxonomic Diversity within Asteroid Families through ATLAS Dual-Band Photometry

abstract: We present here the c-o colors for identified Flora, Vesta, Nysa-Polana, Themis, and Koronis family members within the historic data set (2015-2018) of the Asteroid Terrestrial-impact Last Alert System (ATLAS). The Themis and Koronis families are known to be relatively pure C- and S-type Bus-DeMeo taxonomic families, respectively, and the extracted color data from the ATLAS broadband c- and o-filters of these two families is used to demonstrate that the ATLAS c-o color is a sufficient parameter to distinguish between the C- and S-type taxonomies. The Vesta and Nysa-Polana families are known to display a mixture of taxonomies possibly due to Vesta's differentiated parent body origin and Nysa-Polana actually consisting of two nested families with differing taxonomies. Our data show that the Flora family also displays a large degree of taxonomic mixing and the data reveal a substantial H-magnitude dependence on color. We propose and exclude several interpretations for the observed taxonomic mix. Additionally, we extract rotation periods of all of the targets reported here and find good agreement with targets that have previously reported periods.


title: Comprehensive Taxonomies of Nature- and Bio-inspired Optimization: Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations (from 2020 to 2024)

abstract: In recent years, bio-inspired optimization methods, which mimic biological processes to solve complex problems, have gained popularity in recent literature. The proliferation of proposals prove the growing interest in this field. The increase in nature- and bio-inspired algorithms, applications, and guidelines highlights growing interest in this field. However, the exponential rise in the number of bio-inspired algorithms poses a challenge to the future trajectory of this research domain. Along the five versions of this document, the number of approaches grows incessantly, and where having a new biological description takes precedence over real problem-solving. This document presents two comprehensive taxonomies. One based on principles of biological similarity, and the other one based on operational aspects associated with the iteration of population models that initially have a biological inspiration. Therefore, these taxonomies enable researchers to categorize existing algorithmic developments into well-defined classes, considering two criteria: the source of inspiration, and the behavior exhibited by each algorithm. Using these taxonomies, we classify 518 algorithms based on nature-inspired and bio-inspired principles. Each algorithm within these categories is thoroughly examined, allowing for a critical synthesis of design trends and similarities, and identifying the most analogous classical algorithm for each proposal. From our analysis, we conclude that a poor relationship is often found between the natural inspiration of an algorithm and its behavior. Furthermore, similarities in terms of behavior between different algorithms are greater than what is claimed in their public disclosure: specifically, we show that more than one-fourth of the reviewed solvers are versions of classical algorithms. The conclusions from the analysis of the algorithms lead to several learned lessons.


title: Temporal relaxation of gapped many-body quantum systems

abstract: Typicality of the orthogonal dynamics (TOD) is established as a generic feature of temporal relaxation processes in isolated many-body quantum systems. The basic idea in the simplest case is that the transient non-equilibrium behavior is mainly governed by the component of the time-evolved system state parallel to the initial state, while the orthogonal component appears as equilibrated right from the beginning. The main emphasis is laid on the largely unexplored and particularly challenging case that one energy level exhibits a much larger population than all the others. Important examples are gapped many-body systems at low energies, for instance due to a quantum quench. A general analytical prediction is derived and is found to compare very well with various numerically exact results.


title: Bayesian gradient sensing in the presence of rotational diffusion

abstract: Biological cells estimate concentration gradients of signaling molecules with a precision that is limited not only by sensing noise, but additionally by the cell's own stochastic motion. We ask for the theoretical limits of gradient estimation in the presence of both motility and sensing noise. We introduce a minimal model of a stationary chemotactic agent in the plane subject to rotational diffusion, which uses Bayesian estimation to optimally infer a gradient direction from noisy concentration measurements. Contrary to the known case of gradient sensing by temporal comparison, we show that for spatial comparison, the ultimate precision of gradient sensing scales not with the rotational diffusion time, but with its square-root. To achieve this precision, an individual agent needs to know its own rotational diffusion coefficient. This agent can accurately estimate the expected variability within an ensemble of agents. If an agent, however, does not account for its own motility noise, Bayesian estimation fails in a characteristic manner.


title: How Interaction Designers Use Tools to Manage Ideas

abstract: This paper presents a grounded theory-analysis based on a qualitative study of professional interaction designers (n=20) with a focus on how they use tools to manage design ideas. Idea management can be understood as a subcategory of the field Personal Information Management, which includes the activities around the capture, organization, retrieval, and use of information. Idea management pertains then to the management and use of ideas as part of creative activities. The paper identifies tool-supported idea management strategies and needs of professional interaction designers, and discusses the context and consequences of these strategies. Based on our analysis, we identify a conceptual framework of ten strategies which are supported by tools: saving, externalizing, advancing, exploring, archiving, clustering, extracting, browsing, verifying, and collaborating. Finally, we discuss how this framework can be used to characterize and analyze existing and novel idea management tools.


title: Detection of the thermonuclear X-ray bursts and dips from the X-ray binary 4U 1323-62 with AstroSat/LAXPC

abstract: Using data from the Large Area X-ray Proportional Counter (LAXPC) on the \textit{AstroSat} satellite, we observed the Type-1 thermonuclear X-ray bursts from the Low Mass X-ray Binary Neutron Star 4U 1323-62. The observations of 4U 1323-62 were carried out during the performance verification phase of the \textit{AstroSat} satellite showed six thermonuclear X-ray bursts in a total effective exposure of $\sim$ 49.5 ks for about two consecutive days. Recurrence time of the detected thermonuclear bursts is in accordance with the orbital period of the source $\sim$ 9400 seconds. Moreover, the light curve of 4U 1323-62 revealed the presence of two dips. We presented the results from time-resolved spectroscopy performed during all of the six X-ray bursts and also report the detection of a known low frequency Quasi-periodic oscillation (LFQPO) at $\sim$ 1 Hz, from the source. However, any evidence of kilohertz QPO was not found. We have shown the burst profile at different energy ranges. Assuming a distance of 10 kpc, we observed a mean flux $\sim$ 1.8 $\times$ $10^{-9}$ erg $cm^2$ $s^{-1}$. The radius of the blackbody is found to be highly consistent with the blackbody temperature and the blackbody flux of the bursts.


title: Throughput Optimal Decentralized Scheduling with Single-bit State Feedback for a Class of Queueing Systems

abstract: Motivated by medium access control for resource-challenged wireless Internet of Things (IoT), we consider the problem of queue scheduling with reduced queue state information. In particular, we consider a time-slotted scheduling model with $N$ sensor nodes, with pair-wise dependence, such that Nodes $i$ and $i + 1,~0 < i < N$ cannot transmit together. We develop new throughput-optimal scheduling policies requiring only the empty-nonempty state of each queue that we term Queue Nonemptiness-Based (QNB) policies. We propose a Policy Splicing technique to combine scheduling policies for small networks in order to construct throughput-optimal policies for larger networks, some of which also aim for low delay. For $N = 3,$ there exists a sum-queue length optimal QNB scheduling policy. We show, however, that for $N > 4,$ there is no QNB policy that is sum-queue length optimal over all arrival rate vectors in the capacity region. We then extend our results to a more general class of interference constraints that we call cluster-of-cliques (CoC) conflict graphs. We consider two types of CoC networks, namely, Linear Arrays of Cliques (LAoC) and Star-of-Cliques (SoC) networks. We develop QNB policies for these classes of networks, study their stability and delay properties, and propose and analyze techniques to reduce the amount of state information to be disseminated across the network for scheduling. In the SoC setting, we propose a throughput-optimal policy that only uses information that nodes in the network can glean by sensing activity (or lack thereof) on the channel. Our throughput-optimality results rely on two new arguments: a Lyapunov drift lemma specially adapted to policies that are queue length-agnostic, and a priority queueing analysis for showing strong stability.


title: On the Trackability of Stochastic Processes

abstract: We consider the problem of tracking an unstable stochastic process $X_t$ by using causal knowledge of another stochastic process $Y_t$. We obtain necessary conditions and sufficient conditions for maintaining a finite tracking error. We provide necessary conditions as well as sufficient conditions for the success of this estimation, which is defined as order $m$ moment trackability. By-products of this study are connections between statistics such as R\'{e}nyi entropy, Gallager's reliability function, and the concept of anytime capacity.


title: First-principles calculation of electroacoustic properties of wurtzite (Al,Sc)N

abstract: We study the electroacoustic properties of aluminum scandium nitride crystals Al$_{1-x}$Sc$_x$N with the metastable wurtzite structure by means of first-principles calculations based on density functional theory. We extract the material property data relevant for electroacoustic device design, namely the full tensors of elastic and piezoelectric constants. Atomistic models were constructed and analyzed for a variety of Sc concentrations $0\le x\le50$ %. The functional dependence of the material properties on the scandium concentration was extracted by fitting the data obtained from an averaging procedure for different disordered atomic configurations. We give an explanation of the observed elastic softening and the extraordinary increase in piezoelectric response as function of Sc content in terms of an element specific analysis of bond lengths and bond angles.


title: Quantifying exaptation in scientific evolution

abstract: Rediscovering a new function for something can be just as important as the discovery itself. In 1982, Stephen Jay Gould and Elisabeth Vrba named this phenomenon Exaptation to describe a radical shift in the function of a specific trait during biological evolution. While exaptation is thought to be a fundamental mechanism for generating adaptive innovations, diversity, and sophisticated features, relatively little effort has been made to quantify exaptation outside the topic of biological evolution. We think that this concept provides a useful framework for characterising the emergence of innovations in science. This article explores the notion that exaptation arises from the usage of scientific ideas in domains other than the area that they were originally applied to. In particular, we adopt a normalised entropy and an inverse participation ratio as observables that reveal and quantify the concept of exaptation. We identify distinctive patterns of exaptation and expose specific examples of papers that display those patterns. Our approach represents a first step towards the quantification of exaptation phenomena in the context of scientific evolution.


title: First order least-squares formulations for eigenvalue problems

abstract: In this paper we discuss spectral properties of operators associated with the least-squares finite element approximation of elliptic partial differential equations. The convergence of the discrete eigenvalues and eigenfunctions towards the corresponding continuous eigenmodes is studied and analyzed with the help of appropriate $L^2$ error estimates. A priori and a posteriori estimates are proved.


title: A censored mixture model for modeling risk taking

abstract: Risk behavior can have substantial consequences for health, well-being, and functioning. Previous studies have shown an association between real-world risk behavior and risk behavior on experimental tasks, such as the Columbia Card Task, but their modeling is challenging for several reasons. First, many of the experimental risk tasks may end prematurely leading to censored observations. Second, certain outcome values can be more attractive than others. Third, a priori unknown groups of participants can react differently to certain risk-levels. Here, we propose the Censored Mixture Model (CMM), which models risk taking while handling censoring, experimental conditions, and attractiveness to certain outcomes.


title: A mechanical analog of quantum bradyons and tachyons

abstract: We present a mechanical analog of a quantum wave-particle duality: a vibrating string threaded through a freely moving bead or `masslet'. For small string amplitudes, the particle movement is governed by a set of non-linear dynamical equations that couple the wave field to the masslet dynamics. Under specific conditions, the particle achieves a regime of {\it transparency} in which the field and the particle's dynamics appear decoupled. In that special case, the particle conserves its momentum and a guiding wave obeying a Klein-Gordon equation, with real or imaginary mass, emerges. Similar to the double-solution theory of de Broglie, this guiding wave is locked in phase with a modulating group-wave co-moving with the particle. Interestingly, both subsonic and supersonic particles can fall into a quantum regime as with the slower-than-light bradyons and hypothetical, faster-than-light tachyons of particle physics.

categories: quant-ph nlin.AO nlin.CD physics.class-ph


title: Massive MIMO Transmission for LEO Satellite Communications

abstract: Low earth orbit (LEO) satellite communications are expected to be incorporated in future wireless networks, in particular 5G and beyond networks, to provide global wireless access with enhanced data rates. Massive MIMO techniques, though widely used in terrestrial communication systems, have not been applied to LEO satellite communication systems. In this paper, we propose a massive MIMO transmission scheme with full frequency reuse (FFR) for LEO satellite communication systems and exploit statistical channel state information (sCSI) to address the difficulty of obtaining instantaneous CSI (iCSI) at the transmitter. We first establish the massive MIMO channel model for LEO satellite communications and simplify the transmission designs via performing Doppler and delay compensations at user terminals (UTs). Then, we develop the low-complexity sCSI based downlink (DL) precoder and uplink (UL) receiver in closed-form, aiming to maximize the average signal-to-leakage-plus-noise ratio (ASLNR) and the average signal-to-interference-plus-noise ratio (ASINR), respectively. It is shown that the DL ASLNRs and UL ASINRs of all UTs reach their upper bounds under some channel condition. Motivated by this, we propose a space angle based user grouping (SAUG) algorithm to schedule the served UTs into different groups, where each group of UTs use the same time and frequency resource. The proposed algorithm is asymptotically optimal in the sense that the lower and upper bounds of the achievable rate coincide when the number of satellite antennas or UT groups is sufficiently large. Numerical results demonstrate that the proposed massive MIMO transmission scheme with FFR significantly enhances the data rate of LEO satellite communication systems. Notably, the proposed sCSI based precoder and receiver achieve the similar performance with the iCSI based ones that are often infeasible in practice.


title: Further Study of Planar Functions in Characteristic Two

abstract: Planar functions are of great importance in the constructions of DES-like iterated ciphers, error-correcting codes, signal sets and the area of mathematics. They are defined over finite fields of odd characteristic originally and generalized by Y. Zhou \cite{Zhou} in even characteristic. In 2016, L. Qu \cite{Q} proposed a new approach to constructing quadratic planar functions over $\F_{2^n}$. Very recently, D. Bartoli and M. Timpanella \cite{Bartoli} characterized the condition on coefficients $a,b$ such that the function $f_{a,b}(x)=ax^{2^{2m}+1}+bx^{2^m+1} \in\F_{2^{3m}}[x]$ is a planar function over $\F_{2^{3m}}$ by the Hasse-Weil bound. In this paper, using the Lang-Weil bound, a generalization of the Hasse-Weil bound, and the new approach introduced in \cite{Q}, we completely characterize the necessary and sufficient conditions on coefficients of four classes of planar functions over $\F_{q^k}$, where $q=2^m$ with $m$ sufficiently large (see Theorem \ref{main}). The first and last classes of them are over $\F_{q^2}$ and $\F_{q^4}$ respectively, while the other two classes are over $\F_{q^3}$. One class over $\F_{q^3}$ is an extension of $f_{a,b}(x)$ investigated in \cite{Bartoli}, while our proofs seem to be much simpler. In addition, although the planar binomial over $\F_{q^2}$ of our results is finally a known planar monomial, we also answer the necessity at the same time and solve partially an open problem for the binomial case proposed in \cite{Q}.


title: Constructing Higher Inductive Types as Groupoid Quotients

abstract: In this paper, we study finitary 1-truncated higher inductive types (HITs) in homotopy type theory. We start by showing that all these types can be constructed from the groupoid quotient. We define an internal notion of signatures for HITs, and for each signature, we construct a bicategory of algebras in 1-types and in groupoids. We continue by proving initial algebra semantics for our signatures. After that, we show that the groupoid quotient induces a biadjunction between the bicategories of algebras in 1-types and in groupoids. Then we construct a biinitial object in the bicategory of algebras in groupoids, which gives the desired algebra. From all this, we conclude that all finitary 1-truncated HITs can be constructed from the groupoid quotient. We present several examples of HITs which are definable using our notion of signature. In particular, we show that each signature gives rise to a HIT corresponding to the freely generated algebraic structure over it. We also start the development of universal algebra in 1-types. We show that the bicategory of algebras has PIE limits, i.e. products, inserters and equifiers, and we prove a version of the first isomorphism theorem for 1-types. Finally, we give an alternative characterization of the foundamental groups of some HITs, exploiting our construction of HITs via the groupoid quotient. All the results are formalized over the UniMath library of univalent mathematics in Coq.


title: SU(3)-skein algebras and webs on surfaces

abstract: The $SU_3$-skein algebra of a surface $F$ is spanned by isotopy classes of certain framed graphs in $F\times I$ called $3$-webs subject to the skein relations encapsulating relations between $U_q(sl(3))$-representations. These skein algebras are quantizations of the $SL(3)$-character varieties of surfaces. It is expected that their theory parallels that of the Kauffman bracket skein algebras. We make the first step towards developing that theory by proving that the reduced $SU_3$-skein algebra of any surface of finite type is finitely generated. We achieve that result by developing a theory of canonical forms of webs in surfaces. Specifically, we show that for any ideal triangulation of $F$ every reduced $3$-web can be uniquely decomposed into unions of pyramid formations of hexagons and disjoint arcs in the faces of the triangulation with possible additional "crossbars" connecting their edges along the ideal triangulation. We show that such canonical position is unique up to "crossbar moves". That leads us to an associated system of coordinates for webs in triangulated surfaces (counting intersections of the web with the edges of the triangulation and their rotation numbers inside of the faces of the triangulation) which determine a reduced web uniquely. Finally, we relate our skein algebras to $\cal A$-varieties of Fock-Goncharov and to $\text{Loc}_{SL(3)}$-varieties of Goncharov-Shen. We believe that our coordinate system for webs is a manifestation of a (quantum) mirror symmetry conjectured by Goncharov-Shen.


title: Strain Wave Pathway to Semiconductor-to-Metal Transition revealed by time resolved X-ray powder diffraction

abstract: Thanks to the remarkable developments of ultrafast science, one of today's challenges is to modify material state by controlling with a light pulse the coherent motions that connect two different phases. Here we show how strain waves, launched by electronic and structural precursor phenomena, determine a macroscopic transformation pathway for the semiconducting-to-metal transition with large volume change in bistable Ti$_3$O$_5$ nanocrystals. Femtosecond powder X-ray diffraction allowed us to quantify the structural deformations associated with the photoinduced phase transition on relevant time scales. We monitored the early intra-cell distortions around absorbing metal dimers, but also long range crystalline deformations dynamically governed by acoustic waves launched at the laser-exposed Ti$_3$O$_5$ surface. We rationalize these observations with a simplified elastic model, demonstrating that a macroscopic transformation occurs concomitantly with the propagating acoustic wavefront on the picosecond timescale, several decades earlier than the subsequent thermal processes governed by heat diffusion.


title: Verification of He-3 proportional counters fast neutron sensitivity through a comparison with He-4 detectors

abstract: In the field of neutron scattering science, a large variety of instruments require detectors for thermal and cold neutrons. Helium-3 has been one of the main actors in thermal and cold neutron detection for many years. Nowadays neutron facilities around the world are pushing their technologies to increase the available flux delivered at the instruments, this enables a completely new science landscape. Complementary with the increasing available flux, a better signal-to-background ratio (S/B) enables to perform new types of measurements. To this aim, this manuscript re-examines the background sensitivity of today's "gold standard" neutron detection. Fast neutrons and gamma-rays are the main background species in neutron scattering experiments. The efficiency (sensitivity) of detecting fast neutrons, cosmic rays and gamma-rays, for a Helium-3-based detector is studied here through the comparison with Helium-4 counters. The comparison to Helium-4 allows to separate the thermal (and cold) neutron to the fast neutron contributions in Helium-3-based counters, which are otherwise entangled; verifying previous results from an indirect method. A relatively high sensitivity is found. Moreover, an estimate for the cosmic neutron fluence, also a source of background, at ground level at ESS is presented in this manuscript.


title: Quantum photonics with active feedback loops

abstract: We develop a unified theoretical framework for the efficient description of multiphoton states generated and propagating in loop-based optical networks which contain nonlinear elements. These active optical components are modeled as nonlinear media, resembling a two-mode squeezer. First, such nonlinear components can be seeded to manipulate quantum states of light, as such enabling photon addition protocols. And, second, they can function as an amplifying medium for quantum light. To prove the practical importance of our approach, the impact of multiple round trips is analyzed for states propagating in experimentally relevant loop configurations of networks, such as time-multiplexed driven quantum walks and iterative photon-number state generation protocols. Our method not only enables us to model such complex systems but also allows us to propose alternative setups that overcome previous limitations. To characterize the systems under study, we provide exact expressions for fidelities with target states, success probabilities of heralding-type measurements, and correlations between optical modes, including many realistic imperfections. Moreover, we provide an easily implementable numerical approach by devising a vector-type representation of photonic states, measurement operators, and passive and active processes.


title: CodeBERT: A Pre-Trained Model for Programming and Natural Languages

abstract: We present CodeBERT, a bimodal pre-trained model for programming language (PL) and nat-ural language (NL). CodeBERT learns general-purpose representations that support downstream NL-PL applications such as natural language codesearch, code documentation generation, etc. We develop CodeBERT with Transformer-based neural architecture, and train it with a hybrid objective function that incorporates the pre-training task of replaced token detection, which is to detect plausible alternatives sampled from generators. This enables us to utilize both bimodal data of NL-PL pairs and unimodal data, where the former provides input tokens for model training while the latter helps to learn better generators. We evaluate CodeBERT on two NL-PL applications by fine-tuning model parameters. Results show that CodeBERT achieves state-of-the-art performance on both natural language code search and code documentation generation tasks. Furthermore, to investigate what type of knowledge is learned in CodeBERT, we construct a dataset for NL-PL probing, and evaluate in a zero-shot setting where parameters of pre-trained models are fixed. Results show that CodeBERT performs better than previous pre-trained models on NL-PL probing.


title: Lattice structure of the random stable set in many-to-many matching market

abstract: For a many-to-many matching market, we study the lattice structure of the set of random stable matchings. We define a partial order on the random stable set and present two intuitive binary operations to compute the least upper bound and the greatest lower bound for each side of the matching market. Then, we prove that with these binary operations the set of random stable matchings forms two dual lattices.


title: One--Dimensional Primordial Gravitational Waves In Quadratic Gravity

abstract: To study of Primordial Gravitational Waves, one dimensional toy model in pure Quadratic gravity is considered. Solutions to the primordial perturbations include simple incoming and outcoming waves. Interestingly, the perturbations with scale--invariant spectrum (confirmed by CMB data) can be found among the solutions.


title: Variational Bayesian Quantization

abstract: We propose a novel algorithm for quantizing continuous latent representations in trained models. Our approach applies to deep probabilistic models, such as variational autoencoders (VAEs), and enables both data and model compression. Unlike current end-to-end neural compression methods that cater the model to a fixed quantization scheme, our algorithm separates model design and training from quantization. Consequently, our algorithm enables "plug-and-play" compression with variable rate-distortion trade-off, using a single trained model. Our algorithm can be seen as a novel extension of arithmetic coding to the continuous domain, and uses adaptive quantization accuracy based on estimates of posterior uncertainty. Our experimental results demonstrate the importance of taking into account posterior uncertainties, and show that image compression with the proposed algorithm outperforms JPEG over a wide range of bit rates using only a single standard VAE. Further experiments on Bayesian neural word embeddings demonstrate the versatility of the proposed method.


title: Learning Fair Scoring Functions: Bipartite Ranking under ROC-based Fairness Constraints

abstract: Many applications of AI involve scoring individuals using a learned function of their attributes. These predictive risk scores are then used to take decisions based on whether the score exceeds a certain threshold, which may vary depending on the context. The level of delegation granted to such systems in critical applications like credit lending and medical diagnosis will heavily depend on how questions of fairness can be answered. In this paper, we study fairness for the problem of learning scoring functions from binary labeled data, a classic learning task known as bipartite ranking. We argue that the functional nature of the ROC curve, the gold standard measure of ranking accuracy in this context, leads to several ways of formulating fairness constraints. We introduce general families of fairness definitions based on the AUC and on ROC curves, and show that our ROC-based constraints can be instantiated such that classifiers obtained by thresholding the scoring function satisfy classification fairness for a desired range of thresholds. We establish generalization bounds for scoring functions learned under such constraints, design practical learning algorithms and show the relevance our approach with numerical experiments on real and synthetic data.


title: Exploring physical properties of compact stars in $f(R,T)-$gravity: An embedding approach

abstract: Solving field equations exactly in $f(R,T)$ gravity is one of the difficult task. To do so, many authors have adopted different methods such as assuming both the metric functions, an equation of state (EoS) and a metric function etc. However, such methods may not always lead to well-behaved solutions and thereby rejection of the solutions may happen after complete calculations. Indeed, very recent works on embedding class one methods suggested that the chances of arriving at the well behaved-solution is very high thereby inspired us to used it. In class one approach, we have to ansatz one of the metric potentials and the other can be obtain from the Karmarkar condition. In this paper, we are proposing new class one solution which is well-behaved in all physical points of view. We have analyzed the nature of the solution by tuning the $f(R,T)-$coupling parameter $\chi$ and found that the solution results into stiffer EoS for $\chi=-1$ than $\chi=1$. This is because for lesser values of $\chi$, velocity of sound is more, higher $M_{max}$ in $M-R$ curve and the EoS parameter $\omega$ is larger. The solution satisfy the causality condition, energy conditions, stable and static under radial perturbations (static stability criterion) and in equilibrium (modified TOV-equation). The resulting $M-R$ diagram from this solution is well fitted with observed values of few compact stars such as PSR J1614-2230, Vela X-1, Cen X-3 and SAX J1808.4-3658. Therefore, for different values of $\chi$, we have predicted the corresponding radii and their respective moment of inertia from the $M-I$ curve.


title: Honing and proofing Astrophysical codes on the road to Exascale. Experiences from code modernization on many-core systems

abstract: The complexity of modern and upcoming computing architectures poses severe challenges for code developers and application specialists, and forces them to expose the highest possible degree of parallelism, in order to make the best use of the available hardware. The Intel$^{(R)}$ Xeon Phi$^{(TM)}$ of second generation (code-named Knights Landing, henceforth KNL) is the latest many-core system, which implements several interesting hardware features like for example a large number of cores per node (up to 72), the 512 bits-wide vector registers and the high-bandwidth memory. The unique features of KNL make this platform a powerful testbed for modern HPC applications. The performance of codes on KNL is therefore a useful proxy of their readiness for future architectures. In this work we describe the lessons learnt during the optimisation of the widely used codes for computational astrophysics P-Gadget-3, Flash and Echo. Moreover, we present results for the visualisation and analysis tools VisIt and yt. These examples show that modern architectures benefit from code optimisation at different levels, even more than traditional multi-core systems. However, the level of modernisation of typical community codes still needs improvements, for them to fully utilise resources of novel architectures.


title: Absence of Hall effect due to Berry curvature in phase space

abstract: Transverse current due to Berry curvature in phase space is formulated based on the Boltzmann equations with the semiclassical equations of motion for an electron wave packet. It is shown that the Hall effect due to the phase space Berry curvature is absent because the contributions from "anomalous velocity" and "effective Lorentz force" are completely cancelled out.


title: Non-equilibrium dynamics of a binary solvent around heated colloidal particles

abstract: Using numerical simulations, we study the non-equilibrium coarsening dynamics of a binary solvent around spherical colloids in the presence of a temperature gradient. The coarsening dynamics following a temperature quench is studied by solving the coupled modified Cahn-Hilliard-Cook equation and the heat diffusion equation, which describe the concentration profile and the temperature field, respectively. For the temperature field we apply a suitable boundary condition. We observe the formation of circular layers of different phases around the colloid whereas away from the colloid patterns of spinodal decomposition persist. Additionally, we investigate the dependence of the pattern formation on the quench temperature. Our simulation mimics an experimental system where the colloid is heated by laser illumination. Note that we look at the cooling of a solvent with an upper critical temperature, whereas the experimental analogue is the laser-heating of a solvent with a lower critical temperature. We also study a two colloid system. Here, we observe that a bridge of one phase forms connecting the two colloids. Also, we study the force acting on the colloids that is generated by the chemical potential gradient.


title: Analysis and Design of Vehicle Platooning Operations on Mixed-Traffic Highways

abstract: Platooning of connected and autonomous vehicles (CAVs) has a significant potential for throughput improvement. However, the interaction between CAVs and non-CAVs may limit the practically attainable improvement due to platooning. To better understand and address this limitation, we introduce a new fluid model of mixed-autonomy traffic flow and use this model to analyze and design platoon coordination strategies. We propose tandem-link fluid model that considers randomly arriving platoons sharing highway capacity with non-CAVs. We derive verifiable conditions for stability of the fluid model by analyzing an underlying M/D/1 queuing process and establishing a Foster-Lyapunov drift condition for the fluid model. These stability conditions enable a quantitative analysis of highway throughput under various scenarios. The model is useful for designing platoon coordination strategies that maximize throughput and minimize delay. Such coordination strategies are provably optimal in the fluid model and are practically relevant. We also validate our results using standard macroscopic (cell transmission model, CTM) and microscopic (Simulation for Urban Mobility, SUMO) simulation models.


title: Using Hindsight to Anchor Past Knowledge in Continual Learning

abstract: In continual learning, the learner faces a stream of data whose distribution changes over time. Modern neural networks are known to suffer under this setting, as they quickly forget previously acquired knowledge. To address such catastrophic forgetting, many continual learning methods implement different types of experience replay, re-learning on past data stored in a small buffer known as episodic memory. In this work, we complement experience replay with a new objective that we call anchoring, where the learner uses bilevel optimization to update its knowledge on the current task, while keeping intact the predictions on some anchor points of past tasks. These anchor points are learned using gradient-based optimization to maximize forgetting, which is approximated by fine-tuning the currently trained model on the episodic memory of past tasks. Experiments on several supervised learning benchmarks for continual learning demonstrate that our approach improves the standard experience replay in terms of both accuracy and forgetting metrics and for various sizes of episodic memories.


title: Giant Superelastic Piezoelectricity in Flexible Ferroelectric $BaTiO_3$ Membranes

abstract: Mechanical displacement in commonly used piezoelectric materials is typically restricted to linear or biaxial in nature and to a few percent of the material dimensions. Here, we show that free-standing BaTiO$_3$ membranes exhibit non-conventional electromechanical coupling. Under an external electric field, these superelastic membranes undergo controllable and reversible 'sushi-rolling-like' 180$^\circ$ folding-unfolding cycles. This crease-free folding is mediated by charged ferroelectric domains, leading to a giant > 3.8 and 4.6 $\mu$m displacements for a 30-nm thick membrane at room temperature and 60$^\circ$C, respectively. Further increasing the electric field above the coercive value changes the fold curvature, hence augmenting the effective piezoresponse. Finally, it is found that the membranes fold with increasing temperature followed by complete immobility of the membrane above the Curie temperature, allowing us to model the ferroelectric-domain origin of the effect.


title: Influence of Bubbles on the Energy Conversion Efficiency of Electrochemical Reactors

abstract: Bubbles are known to influence energy and mass transfer in gas evolving electrodes. However, we lack a detailed understanding on the intricate dependencies between bubble evolution processes and electrochemical phenomena. This review discusses our current knowledge on the effects of bubbles on electrochemical systems with the aim to identify opportunities and motivate future research in this area. We first provide a base background on the physics of bubble evolution as it relates to electrochemical processes. Then we outline how bubbles affect energy efficiency of electrode processes, detailing the bubble-induced impacts on activation, ohmic and concentration overpotentials. Lastly, we describe different strategies to mitigate losses and how to exploit bubbles to enhance electrochemical reactions.


title: Differentiating Population Spatial Behavior using Representative Features of Geospatial Mobility (ReFGeM)

abstract: Understanding how humans use and consume space by comparing stratified groups, either through observation or controlled study, is key to designing better spaces, cities, and policies. GPS data traces provide detailed movement patterns of individuals but can be difficult to interpret due to the scale and scope of the data collected. For actionable insights, GPS traces are usually reduced to one or more features which express the spatial phenomenon of interest. However, it is not always clear which spatial features should be employed, and substantial effort can be invested into designing features which may or may not provide insight. In this paper we present an alternative approach: a standardized feature set with actionable interpretations that can be efficiently run against many datasets. We show that these features can distinguish between disparate human mobility patterns, although no single feature can distinguish them alone.