title: The Connection Between Approximation, Depth Separation and Learnability in Neural Networks

abstract: Several recent works have shown separation results between deep neural networks, and hypothesis classes with inferior approximation capacity such as shallow networks or kernel classes. On the other hand, the fact that deep networks can efficiently express a target function does not mean that this target function can be learned efficiently by deep neural networks. In this work we study the intricate connection between learnability and approximation capacity. We show that learnability with deep networks of a target function depends on the ability of simpler classes to approximate the target. Specifically, we show that a necessary condition for a function to be learnable by gradient descent on deep neural networks is to be able to approximate the function, at least in a weak sense, with shallow neural networks. We also show that a class of functions can be learned by an efficient statistical query algorithm if and only if it can be approximated in a weak sense by some kernel class. We give several examples of functions which demonstrate depth separation, and conclude that they cannot be efficiently learned, even by a hypothesis class that can efficiently approximate them.


title: Thermoelectric behaviour of hot collisional and magnetized QCD medium from an effective kinetic theory

abstract: The thermoelectric behaviour of quark-gluon plasma has been studied within the framework of an effective kinetic theory by adopting a quasiparticle model to incorporate the thermal medium effects. The thermoelectric response of the medium has been quantified in terms of the Seebeck coefficient. The dependence of the collisional aspects of the QCD medium on the Seebeck coefficient has been estimated by utilizing relaxation time approximation and Bhatnagar-Gross-Krook collision kernels in the effective Boltzmann equation. The thermoelectric coefficient is seen to depend on the quark chemical potential and collision aspects of the medium. Besides, the thermoelectric effect has been explored in a magnetized medium and the respective transport coefficients, such as magnetic field-dependent Seebeck coefficient and Nernst coefficient, have been estimated. The impacts of hot QCD medium interactions incorporated through the effective model and the magnetic field on the thermoelectric responses of the medium have been observed to be more prominent in the temperature regimes not very far from the transition temperature.


title: Admix: Enhancing the Transferability of Adversarial Attacks

abstract: Deep neural networks are known to be extremely vulnerable to adversarial examples under white-box setting. Moreover, the malicious adversaries crafted on the surrogate (source) model often exhibit black-box transferability on other models with the same learning task but having different architectures. Recently, various methods are proposed to boost the adversarial transferability, among which the input transformation is one of the most effective approaches. We investigate in this direction and observe that existing transformations are all applied on a single image, which might limit the adversarial transferability. To this end, we propose a new input transformation based attack method called Admix that considers the input image and a set of images randomly sampled from other categories. Instead of directly calculating the gradient on the original input, Admix calculates the gradient on the input image admixed with a small portion of each add-in image while using the original label of the input to craft more transferable adversaries. Empirical evaluations on standard ImageNet dataset demonstrate that Admix could achieve significantly better transferability than existing input transformation methods under both single model setting and ensemble-model setting. By incorporating with existing input transformations, our method could further improve the transferability and outperforms the state-of-the-art combination of input transformations by a clear margin when attacking nine advanced defense models under ensemble-model setting. Code is available at https://github.com/JHL-HUST/Admix.


title: Monoclinic EuSn$_2$As$_2$: A Novel High-Pressure Network Structure

abstract: The layered crystal of EuSn$_2$As$_2$ has a Bi$_2$Te$_3$-type structure in rhombohedral ($R\bar{3}m$) symmetry and has been confirmed to be an intrinsic magnetic topological insulator at ambient conditions. Combining {\it ab initio} calculations and \emph{in-situ} x-ray diffraction measurements, we identify a new monoclinic EuSn$_2$As$_2$ structure in $C2/m$ symmetry above $\sim$14 GPa. It has a three-dimensional network made up of honeycomb-like Sn sheets and zigzag As chains, transformed from the layered EuSn$_2$As$_2$ via a two-stage reconstruction mechanism with the connecting of Sn-Sn and As-As atoms successively between the buckled SnAs layers. Its dynamic structural stability has been verified by phonon mode analysis. Electrical resistance measurements reveal an insulator-metal-superconductor transition at low temperature around 5 and 15 GPa, respectively, according to the structural conversion, and the superconductivity with a \textit{T}${\rm {_C}}$ value of $\sim 4$ K is observed up to 30.8 GPa. These results establish a high-pressure EuSn$_2$As$_2$ phase with intriguing structural and electronic properties and expand our understandings about the layered magnetic topological insulators.


title: Unified approach for solving exit problems for additive-increase and multiplicative-decrease processes

abstract: We analyse an additive-increase and multiplicative-decrease (aka growth-collapse) process that grows linearly in time and that experiences downward jumps at Poisson epochs that are (deterministically) proportional to its present position. This process is used for example in modelling of Transmission Control Protocol (TCP) and can be viewed as a particular example of the so-called shot noise model, a basic tool in modeling earthquakes, avalanches and neuron firings. For this process, and also for its reflected versions, we consider one- and two-sided exit problems that concern the identification of the laws of exit times from fixed intervals and half-lines. All proofs are based on a unified first-step analysis approach at the first jump epoch, which allows us to give explicit, yet involved, formulas for their Laplace transforms. All the eight Laplace transforms can be described in terms of two so-called scale functions $Z_{\uparrow}$ and $L_{\uparrow}$. Here $Z_{\uparrow}$ is described in terms of multiple explicit sums, and $L_{\uparrow}$ in terms of an explicit recursion formula. All other Laplace transforms can be obtained from $Z_{\uparrow}$ and $L_{\uparrow}$ by taking limits, derivatives, integrals and combinations of these.


title: Fuels of the Future for Renewable Energy Sources (Ammonia, Biofuels, Hydrogen)

abstract: Potential strategies for the development and large-scale application of renewable energy sources aimed at reducing the usage of carbon-based fossil fuels are assessed here, especially in the event of the abandonment of such fuels. The aim is to aid the initiative to reduce the harmful effects of carbon-based fossil fuels on the environment and ensure a reduction in greenhouse gases and sustainability of natural resources. Small-scale renewable energy application for heating, cooling, and electricity generation in households and commercial buildings are already underway around the world. Hydrogen (H2) and ammonia (NH3), which are presently produced using fossil fuels, already have significant applications in society and industry, and are therefore good candidates for large-scale production through the use of renewable energy sources. This will help to reduce the greenhouse gas emissions appreciably around the world. While the first-generation biofuels production using food crops may not be suitable for long-range fuel production, due to competition with the food supply, the 2nd, 3rd and 4th generation biofuels have the potential to produce large, worldwide supplies of fuels. Production of advanced biofuels will not increase the emission of greenhouse gases, and the ammonia produced through the use of renewable energy resources will serve as fertilizer for biofuels production. The perspective of renewable energy sources, such as technology status, economics, overall environmental benefits, obstacles for commercialization, relative competitiveness of various renewable energy sources, etc., are also discussed whenever applicable.


title: Energy and mass dependencies for the characteristics of $p_T$ regions observed at LHC energies

abstract: The $p_T$ distributions of the $K^0$- and $\phi$ - mesons produced in the $pp$ collisions at $\sqrt{s}=2.76 TeV$ have been analyzed by fitting them using the exponential function. It was observed that the distributions contain several $p_T$ regions similar to the cases with the charged particles, $\pi^0$- and $\eta$- mesons produced in the same events. These regions could be characterized using three variables: the length of the region $L^{c}_K $ and free fitting parameters $a^{c}_K $ and $b^{c}_K $. It was observed that the values of the parameters as a function of energy grouped around certain lines and there are jump-like changes. These observations together with the effect of existing the several $p_T$ regions can say on discrete energy dependencies for the $L^{c}_K $ , $a^{c}_K $ and $b^{c}_K $. The lengths of the regions increase with the mass of the particles. This increase gets stronger with energy. The mass dependencies of the parameters $a^{c}_K $ and $b^{c}_K $ show a regime change at a mass $\simeq 500 MeV/c^2$. According to the phenomenology of string theory, these results could be explained by two processes occurring simultaneously: string hadronization and string breaking. In the experiment we can only measure the spectrum of the hadronized particles, since we cannot access the spectrum of the strings themselves. The string breaking effect could be a signal of string formations and the reason behind the observation of several $p_T$ regions and the jump-like changes for the characteristics of the regions.


title: M2FN: Multi-step Modality Fusion for Advertisement Image Assessment

abstract: Assessing advertisements, specifically on the basis of user preferences and ad quality, is crucial to the marketing industry. Although recent studies have attempted to use deep neural networks for this purpose, these studies have not utilized image-related auxiliary attributes, which include embedded text frequently found in ad images. We, therefore, investigated the influence of these attributes on ad image preferences. First, we analyzed large-scale real-world ad log data and, based on our findings, proposed a novel multi-step modality fusion network (M2FN) that determines advertising images likely to appeal to user preferences. Our method utilizes auxiliary attributes through multiple steps in the network, which include conditional batch normalization-based low-level fusion and attention-based high-level fusion. We verified M2FN on the AVA dataset, which is widely used for aesthetic image assessment, and then demonstrated that M2FN can achieve state-of-the-art performance in preference prediction using a real-world ad dataset with rich auxiliary attributes.


title: Conceptual design of the Spin Physics Detector

abstract: The Spin Physics Detector, a universal facility for studying the nucleon spin structure and other spin-related phenomena with polarized proton and deuteron beams, is proposed to be placed in one of the two interaction points of the NICA collider that is under construction at the Joint Institute for Nuclear Research (Dubna, Russia). At the heart of the project there is huge experience with polarized beams at JINR. The main objective of the proposed experiment is the comprehensive study of the unpolarized and polarized gluon content of the nucleon. Spin measurements at the Spin Physics Detector at the NICA collider have bright perspectives to make a unique contribution and challenge our understanding of the spin structure of the nucleon. In this document the Conceptual Design of the Spin Physics Detector is presented.


title: Pattern occurrences in $k$-ary words revisited: a few new and old observations

abstract: In this paper, we study the pattern occurrence in $k$-ary words. We prove an explicit upper bound on the number of $k$-ary words avoiding any given pattern using a random walk argument. Additionally, we reproduce several already known results and establish a simple connection among pattern occurrences in permutations and $k$-ary words. A simple consequence of this connection is that Wilf-equivalence of two patterns in words implies their Wilf-equivalence in permutations.


title: Recruitment, effort, and retention effects of performance contracts for civil servants: Experimental evidence from Rwandan primary schools

abstract: This paper reports on a two-tiered experiment designed to separately identify the selection and effort margins of pay-for-performance (P4P). At the recruitment stage, teacher labor markets were randomly assigned to a 'pay-for-percentile' or fixed-wage contract. Once recruits were placed, an unexpected, incentive-compatible, school-level re-randomization was performed, so that some teachers who applied for a fixed-wage contract ended up being paid by P4P, and vice versa. By the second year of the study, the within-year effort effect of P4P was 0.16 standard deviations of pupil learning, with the total effect rising to 0.20 standard deviations after allowing for selection.


title: On column-convex and convex Carlitz polyominoes

abstract: In this paper, we introduce and study {\it Carlitz polyominoes}. In particular, we show that, as $n$ grows to infinity, asymptotically the number of \begin{enumerate} \item column-convex Carlitz polyominoes with perimeter $2n$ is \beq \frac{9\sqrt{2}(14+3\sqrt{3})}{2704\sqrt{\pi n^3}}4^n. \feq \item convex Carlitz polyominoes with perimeter $2n$ is \beq \frac{n+1}{10}\left(\frac{3+\sqrt{5}}{2}\right)^{n-2}. \feq \end{enumerate}


title: Origin of high hardness and optoelectronic and thermo-physical properties of boron-rich compounds B6X (X = S, Se): a comprehensive study via DFT approach

abstract: In the present study, the structural and hitherto uninvestigated mechanical (elastic stiffness constants, machinability index, Cauchy pressure, anisotropy indices, brittleness/ductility, Poissons ratio), electronic, optical, and thermodynamic properties of novel boron-rich compounds B6X (X = S, Se) have been explored using density functional theory. The estimated structural lattice parameters were consistent with the prior report. The mechanical and dynamical stability of these compounds have been established theoretically. The materials are brittle in nature and elastically anisotropic. The value of fracture toughness, KIC for the B6S and B6Se are ~ 2.07 MPam0.5, evaluating the resistance to limit the crack propagation inside the materials. Both B6S and B6Se compounds possess high hardness values in the range 31-35 GPa, and have the potential to be prominent members of the class of hard compounds. Strong covalent bonding and sharp peak at low energy below the Fermi level confirmed by partial density of states (PDOS) resulted in the high hardness. The profile of band structure, as well as DOS, assesses the indirect semiconducting nature of the titled compounds. The comparatively high value of Debye temperature ({\Theta}D), minimum thermal conductivity (Kmin), lattice thermal conductivity (kph), low thermal expansion coefficient, and low density suggest that both boron-rich chalcogenides might be used as thermal management materials. Large absorption capacities in the mid ultraviolet region (3.2-15 eV) of the studied materials and low reflectivity (~16 %) are significantly noted. Such favorable features give promise to the compounds under investigation to be used in UV surface-disinfection devices as well as medical sterilizer equipment applications. Excellent correlations are found among all the studied physical properties of these compounds.


title: Social Mobility in India

abstract: Rapid rise in income inequality in India is a serious concern. While the emphasis is on inclusive growth, it seems difficult to tackle the problem without looking at the intricacies of the problem. Social mobility is one such important tool which helps in reaching the cause of the problem and focuses on bringing long term equality in the country. The purpose of this study is to examine the role of social background and education attainment in generating occupation mobility in the country. By applying an extended version of the RC association model to 68th round (2011-12) of the Employment and Unemployment Survey by the National Sample Survey Office of India, we found that the role of education is not important in generating occupation mobility in India, while social background plays a critical role in determining one's occupation. This study successfully highlights the strong intergenerational occupation immobility in the country and also the need to focus on education. In this regard, further studies are needed to uncover other crucial factors limiting the growth of individuals in the country.


title: Orbits of Sylow subgroups of finite permutation groups

abstract: We say that a finite group $G$ acting on a set $\Omega$ has Property $(*)_p$ for a prime $p$ if $P_\omega$ is a Sylow $p$-subgroup of $G_\omega$ for all $\omega\in\Omega$ and Sylow $p$-subgroups $P$ of $G$. Property $(*)_p$ arose in the recent work of Tornier (2018) on local Sylow $p$-subgroups of Burger-Mozes groups, and he determined the values of $p$ for which the alternating group $A_n$ and symmetric group $S_n$ acting on $n$ points has Property $(*)_p$. In this paper, we extend this result to finite $2$-transitive groups and we give a structural characterisation result for the finite primitive groups that satisfy Property $(*)_p$ for an allowable prime $p$.


title: Towards Imperceptible Query-limited Adversarial Attacks with Perceptual Feature Fidelity Loss

abstract: Recently, there has been a large amount of work towards fooling deep-learning-based classifiers, particularly for images, via adversarial inputs that are visually similar to the benign examples. However, researchers usually use Lp-norm minimization as a proxy for imperceptibility, which oversimplifies the diversity and richness of real-world images and human visual perception. In this work, we propose a novel perceptual metric utilizing the well-established connection between the low-level image feature fidelity and human visual sensitivity, where we call it Perceptual Feature Fidelity Loss. We show that our metric can robustly reflect and describe the imperceptibility of the generated adversarial images validated in various conditions. Moreover, we demonstrate that this metric is highly flexible, which can be conveniently integrated into different existing optimization frameworks to guide the noise distribution for better imperceptibility. The metric is particularly useful in the challenging black-box attack with limited queries, where the imperceptibility is hard to achieve due to the non-trivial perturbation power.


title: InP-based single-photon sources operating at telecom C-band with increased extraction efficiency

abstract: In this work we demonstrate a triggered single-photon source operating at the telecom C-band with photon extraction efficiency exceeding any reported values in this range. The non-classical light emission with low probability of the multiphoton events is realized with single InAs quantum dots (QDs) grown by molecular beam epitaxy and embedded directly in an InP matrix. Low QD spatial density on the order of 5x108 cm-2 to ~2x109 cm-2 and symmetric shape of these nanostructures together with spectral range of emission makes them relevant for quantum communication applications. The engineering of extraction efficiency is realized by combining a bottom distributed Bragg reflector consisting of 25 pairs of InP/In0.53Ga0.37Al0.1As layers and cylindrical photonic confinement structures. Realization of such technologically non-demanding approach even in a non-deterministic fashion results in photon extraction efficiency of (13.3+/-2)% into 0.4 numerical aperture detection optics at approx. 1560 nm emission wavelength, i.e., close to the center of the telecom C-band.


title: Exponential Savings in Agnostic Active Learning through Abstention

abstract: We show that in pool-based active classification without assumptions on the underlying distribution, if the learner is given the power to abstain from some predictions by paying the price marginally smaller than the average loss $1/2$ of a random guess, exponential savings in the number of label requests are possible whenever they are possible in the corresponding realizable problem. We extend this result to provide a necessary and sufficient condition for exponential savings in pool-based active classification under the model misspecification.


title: Is the track-event theory of cell survival internally consistent?

abstract: The "track event theory" (TET) has been developed in recent years as an alternative to the phenomenological linear-quadratic model for cell survival under exposure to ionizing radiation, particularly for heavy charged particles. The TET is based on a few simple model assumptions including the possibility to derive some of the model parameters from nanodosimetry. This work intends to carve out more clearly the basic assumptions behind the TET and to critically review the resulting mathematical model equations. It is demonstrated that the model assumptions of Poisson distribution and statistical independence of the frequency distributions of so-called one-track and two-track events follow from the Poisson distribution of the number of tracks affecting the considered target volume. It is also shown that the modified TET model equation used in the literature for consideration of repair is inconsistent with the model assumptions and requires an additional model parameter. Furthermore, the derivation of the model parameters from nanodosimetric properties of particle track structure is revealed to lead to a pure exponential dose dependence when the potentially large number of relevant nanometric target volumes inside a cell nucleus is accounted for.


title: Superposition with Lambdas

abstract: We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of $\lambda$-terms and rely on higher-order unification to achieve refutational completeness. We implemented the calculus in the Zipperposition prover and evaluated it on TPTP and Isabelle benchmarks. The results suggest that superposition is a suitable basis for higher-order reasoning.


title: A Paradigm Shift: The Implications of Working Memory Limits for Physics and Chemistry Instruction

abstract: Scientists who study how the brain solves problems have recently verified that, because of stringent limitations in working memory, where the brain solves problems, students must apply facts and algorithms that have previously been well memorized to reliably solve problems of any complexity. This is a paradigm shift: A change in the fundamental understanding of how the brain solves problems and how we can best guide students to learn to solve problems in the physical sciences. One implication is that for students, knowledge of concepts and big ideas is not sufficient to solve most problems assigned in physics and chemistry courses for STEM majors. To develop an intuitive sense of which fundamentals to recall when, first students must make the fundamental relationships of a topic recallable with automaticity then apply those fundamentals to solving problems in a variety of distinctive contexts. Based on these findings, cognitive science has identified strategies that speed learning and assist in retention of physics and chemistry. Experiments will be suggested by which instructors can test science-informed methodologies.


title: Nonisothermal Richards flow in porous media with cross diffusion

abstract: The existence of large-data weak entropy solutions to a nonisothermal immiscible compressible two-phase unsaturated flow model in porous media is proved. The model is thermodynamically consistent and includes temperature gradients and cross-diffusion effects. Due to the fact that some terms from the total energy balance are non-integrable in the classical weak sense, we consider so-called variational entropy solutions. A priori estimates are derived from the entropy balance and the total energy balance. The compactness is achieved by using the Div-Curl lemma.


title: Meta ordinal weighting net for improving lung nodule classification

abstract: The progression of lung cancer implies the intrinsic ordinal relationship of lung nodules at different stages-from benign to unsure then to malignant. This problem can be solved by ordinal regression methods, which is between classification and regression due to its ordinal label. However, existing convolutional neural network (CNN)-based ordinal regression methods only focus on modifying classification head based on a randomly sampled mini-batch of data, ignoring the ordinal relationship resided in the data itself. In this paper, we propose a Meta Ordinal Weighting Network (MOW-Net) to explicitly align each training sample with a meta ordinal set (MOS) containing a few samples from all classes. During the training process, the MOW-Net learns a mapping from samples in MOS to the corresponding class-specific weight. In addition, we further propose a meta cross-entropy (MCE) loss to optimize the network in a meta-learning scheme. The experimental results demonstrate that the MOW-Net achieves better accuracy than the state-of-the-art ordinal regression methods, especially for the unsure class.


title: MultiRocket: Multiple pooling operators and transformations for fast and effective time series classification

abstract: We propose MultiRocket, a fast time series classification (TSC) algorithm that achieves state-of-the-art performance with a tiny fraction of the time and without the complex ensembling structure of many state-of-the-art methods. MultiRocket improves on MiniRocket, one of the fastest TSC algorithms to date, by adding multiple pooling operators and transformations to improve the diversity of the features generated. In addition to processing the raw input series, MultiRocket also applies first order differences to transform the original series. Convolutions are applied to both representations, and four pooling operators are applied to the convolution outputs. When benchmarked using the University of California Riverside TSC benchmark datasets, MultiRocket is significantly more accurate than MiniRocket, and competitive with the best ranked current method in terms of accuracy, HIVE-COTE 2.0, while being orders of magnitude faster.


title: Probing the timescale dependency of local and global variations in surface air temperature from climate simulations and reconstructions of the last millennia

abstract: Earth's climate can be understood as a dynamical system that changes due to external forcing and internal couplings. Essential climate variables, such as surface air temperature, describe this dynamics. Our current interglacial, the Holocene (11,700 yr ago to today), has been characterized by small variations in global mean temperature prior to anthropogenic warming. However, the mechanisms and spatiotemporal patterns of fluctuations around this mean, called temperature variability, are poorly understood despite their socio-economic relevance. Here, we examine discrepancies between temperature variability from model simulations and paleoclimate reconstructions by categorizing the scaling behavior of local and global surface air temperature on the timescale of years to centuries. To this end, we contrast power spectral densities (PSD) and their power-law scaling using simulated and observation-based temperature series of the last 6000 yr. We further introduce the spectral gain to disentangle the externally forced and internally generated variability as a function of timescale. It is based on our estimate of the joint PSD of radiative forcing, which exhibits a scale break around the period of 7 yr. We find that local temperature series from paleoclimate reconstructions show a different scaling behavior than simulated ones, with a tendency towards stronger persistence (i.e., correlation between successive values within a time series) on periods of 10 to 200 yr. Conversely, the PSD and spectral gain of global mean temperature are consistent across data sets. Our results point to the limitation of climate models to fully represent local temperature statistics over decades to centuries. By highlighting the key characteristics of temperature variability, we pave a way to better constrain possible changes in temperature variability with global warming and assess future climate risks.


title: Toward Blockchain-Enabled Supply Chain Anti-Counterfeiting and Traceability

abstract: Innovative solutions addressing product anti-counterfeiting and record provenance have been deployed across today's internationally spanning supply chain networks. These product anti-counterfeiting solutions are developed and implemented with centralized system architecture relying on centralized authorities or any form of intermediaries. Vulnerabilities of centralized product anti-counterfeiting solutions could possibly lead to system failure or susceptibility of malicious modifications performed on product records or various potential attacks to the system components by dishonest participant nodes traversing along the supply chain. Blockchain technology has progressed from merely with a use case of immutable ledger for cryptocurrency transactions to a programmable interactive environment of developing decentralized and reliable applications addressing different use cases globally. In this research, so as to facilitate trustworthy data provenance retrieval, verification and management, as well as strengthening capability of product anti-counterfeiting, key areas of decentralization and feasible mechanisms of developing decentralized and distributed product anti-counterfeiting and traceability ecosystems utilizing blockchain technology, are identified via a series of security and threat analyses performed mainly against NFC-Enabled Anti-Counterfeiting System (NAS) which is one of the solutions currently implemented in the industry with centralized architecture. A set of fundamental system requirements are set out for developing a blockchain-enabled autonomous and decentralized solution for supply chain anti-counterfeiting and traceability, as a secure and immutable scientific data provenance tracking and management platform in which provenance records, providing compelling properties on data integrity of luxurious goods, are recorded and verified automatically, for supply chain industry.


title: A SDN/OpenFlow Framework for Dynamic Resource Allocation based on Bandwidth Allocation Model

abstract: The communication network context in actual systems like 5G, cloud and IoT (Internet of Things), presents an ever-increasing number of users, applications, and services that are highly distributed with distinct and heterogeneous communications requirements. Resource allocation in this context requires dynamic, efficient, and customized solutions and Bandwidth Allocation Models (BAMs) are an alternative to support this new trend. This paper proposes the BAMSDN (Bandwidth Allocation Model through Software-Defined Networking) framework that dynamically allocates resources (bandwidth) for a MPLS (MultiProtocol Label Switching) network using a SDN (Software-Defined Networking)/OpenFlow strategy with BAM. The framework adopts an innovative implementation approach for BAM systems by controlling the MPLS network using SDN with OpenFlow. Experimental results suggest that using SDN/OpenFlow with BAM for bandwidth allocation does have effective advantages for MPLS networks requiring flexible resource sharing among applications and facilitates the migration path to a SDN/OpenFlow network.


title: Multilingual Email Zoning

abstract: The segmentation of emails into functional zones (also dubbed email zoning) is a relevant preprocessing step for most NLP tasks that deal with emails. However, despite the multilingual character of emails and their applications, previous literature regarding email zoning corpora and systems was developed essentially for English. In this paper, we analyse the existing email zoning corpora and propose a new multilingual benchmark composed of 625 emails in Portuguese, Spanish and French. Moreover, we introduce OKAPI, the first multilingual email segmentation model based on a language agnostic sentence encoder. Besides generalizing well for unseen languages, our model is competitive with current English benchmarks, and reached new state-of-the-art performances for domain adaptation tasks in English.


title: On a relativistic BGK model for polyatomic gases near equilibrium

abstract: Recently, a novel relativistic polyatomic BGK model was suggested by Pennisi and Ruggeri [J. of Phys. Conf. Series, 1035, (2018)] to overcome drawbacks of the Anderson-Witting model and Marle model.In this paper, we prove the unique existence and asymptotic behavior of classical solutions to the relativistic polyatomic BGK model when the initial data is sufficiently close to a global equilibrium.


title: PV-RCNN++: Point-Voxel Feature Set Abstraction With Local Vector Representation for 3D Object Detection

abstract: 3D object detection is receiving increasing attention from both industry and academia thanks to its wide applications in various fields. In this paper, we propose Point-Voxel Region-based Convolution Neural Networks (PV-RCNNs) for 3D object detection on point clouds. First, we propose a novel 3D detector, PV-RCNN, which boosts the 3D detection performance by deeply integrating the feature learning of both point-based set abstraction and voxel-based sparse convolution through two novel steps, i.e., the voxel-to-keypoint scene encoding and the keypoint-to-grid RoI feature abstraction. Second, we propose an advanced framework, PV-RCNN++, for more efficient and accurate 3D object detection. It consists of two major improvements: sectorized proposal-centric sampling for efficiently producing more representative keypoints, and VectorPool aggregation for better aggregating local point features with much less resource consumption. With these two strategies, our PV-RCNN++ is about $3\times$ faster than PV-RCNN, while also achieving better performance. The experiments demonstrate that our proposed PV-RCNN++ framework achieves state-of-the-art 3D detection performance on the large-scale and highly-competitive Waymo Open Dataset with 10 FPS inference speed on the detection range of 150m * 150m.


title: Beyond the Command: Feminist STS Research and Critical Issues for the Design of Social Machines

abstract: Machines, from artificially intelligent digital assistants to embodied robots, are becoming more pervasive in everyday life. Drawing on feminist science and technology studies (STS) perspectives, we demonstrate how machine designers are not just crafting neutral objects, but relationships between machines and humans that are entangled in human social issues such as gender and power dynamics. Thus, in order to create a more ethical and just future, the dominant assumptions currently underpinning the design of these human-machine relations must be challenged and reoriented toward relations of justice and inclusivity. This paper contributes the "social machine" as a model for technology designers who seek to recognize the importance, diversity and complexity of the social in their work, and to engage with the agential power of machines. In our model, the social machine is imagined as a potentially equitable relationship partner that has agency and as an "other" that is distinct from, yet related to, humans, objects, and animals. We critically examine and contrast our model with tendencies in robotics that consider robots as tools, human companions, animals or creatures, and/or slaves. In doing so, we demonstrate ingrained dominant assumptions about human-machine relations and reveal the challenges of radical thinking in the social machine design space. Finally, we present two design challenges based on non-anthropomorphic figuration and mutuality, and call for experimentation, unlearning dominant tendencies, and reimagining of sociotechnical futures.


title: Terrestrial Exoplanet Simulator (TES): an error optimal planetary systems integrator that permits close encounters

abstract: We present TES, a new n-body integration code for the accurate and rapid propagation of planetary systems in the presence of close encounters. TES builds upon the classic Encke method and integrates only the perturbations to Keplerian trajectories to reduce both the error and runtime of simulations. Variable step size is used throughout to enable close encounters to be precisely handled. A suite of numerical improvements are presented that together makes TES optimal in terms of energy error. Lower runtimes are found in all test problems considered when compared to direct integration using ias15. TES is freely available.


title: Adversarial Contrastive Pre-training for Protein Sequences

abstract: Recent developments in Natural Language Processing (NLP) demonstrate that large-scale, self-supervised pre-training can be extremely beneficial for downstream tasks. These ideas have been adapted to other domains, including the analysis of the amino acid sequences of proteins. However, to date most attempts on protein sequences rely on direct masked language model style pre-training. In this work, we design a new, adversarial pre-training method for proteins, extending and specializing similar advances in NLP. We show compelling results in comparison to traditional MLM pre-training, though further development is needed to ensure the gains are worth the significant computational cost.


title: Mixup Regularized Adversarial Networks for Multi-Domain Text Classification

abstract: Using the shared-private paradigm and adversarial training has significantly improved the performances of multi-domain text classification (MDTC) models. However, there are two issues for the existing methods. First, instances from the multiple domains are not sufficient for domain-invariant feature extraction. Second, aligning on the marginal distributions may lead to fatal mismatching. In this paper, we propose a mixup regularized adversarial network (MRAN) to address these two issues. More specifically, the domain and category mixup regularizations are introduced to enrich the intrinsic features in the shared latent space and enforce consistent predictions in-between training instances such that the learned features can be more domain-invariant and discriminative. We conduct experiments on two benchmarks: The Amazon review dataset and the FDU-MTL dataset. Our approach on these two datasets yields average accuracies of 87.64\% and 89.0\% respectively, outperforming all relevant baselines.


title: On the Universal Coefficient Formula and Derived $\varprojlim ^{(i)} $ Functor

abstract: It is known that homology and inverse limit functors do not commute. In the paper we consider this very problem and find its application for various homology theories. In particular, on the category of general topological spaces, there are defined exact homology functors induced by different non-free cochain complexes. Relation between them and other classical homology theories are given. In addition, for the defined homology functors the tautness and the continuous properties are obtained.


title: A Finsler Geodesic Flow on $T^2$ With Positive Metric Entropy

abstract: We use a theorem of P. Berger and D. Turaev to construct an example of a Finsler geodesic flow on the 2-torus with a transverse section, such that its Poincar\'e return map has positive metric entropy. The Finsler metric generating the flow can be chosen to be arbitrarily $C^\infty$-close to a flat metric.


title: A connecting theorem for geodesic flows on the 2-torus

abstract: We use a result of J. Mather on the existence of connecting orbits for compositions of monotone twist maps of the cylinder to prove the existence of connecting geodesics on the unit tangent bundle $ST^2$ of the 2-torus in regions without invariant tori.


title: Finitely Convergent Iterative Methods with Overrelaxations Revisited

abstract: We study the finite convergence of iterative methods for solving convex feasibility problems. Our key assumptions are that the interior of the solution set is nonempty and that certain overrelaxation parameters converge to zero, but with a rate slower than any geometric sequence. Unlike other works in this area, which require divergent series of overrelaxations, our approach allows us to consider some summable series. By employing quasi-Fej\'{e}rian analysis in the latter case, we obtain additional asymptotic convergence guarantees, even when the interior of the solution set is empty.


title: Extending Neural Keyword Extraction with TF-IDF tagset matching

abstract: Keyword extraction is the task of identifying words (or multi-word expressions) that best describe a given document and serve in news portals to link articles of similar topics. In this work we develop and evaluate our methods on four novel data sets covering less represented, morphologically-rich languages in European news media industry (Croatian, Estonian, Latvian and Russian). First, we perform evaluation of two supervised neural transformer-based methods (TNT-KID and BERT+BiLSTM CRF) and compare them to a baseline TF-IDF based unsupervised approach. Next, we show that by combining the keywords retrieved by both neural transformer based methods and extending the final set of keywords with an unsupervised TF-IDF based technique, we can drastically improve the recall of the system, making it appropriate to be used as a recommendation system in the media house environment.


title: The impact of prior knowledge on causal structure learning

abstract: Causal Bayesian networks have become a powerful technology for reasoning under uncertainty in areas that require transparency and explainability, by relying on causal assumptions that enable us to simulate hypothetical interventions. The graphical structure of such models can be estimated by structure learning algorithms, domain knowledge, or a combination of both. Various knowledge approaches have been proposed in the literature that enable us to specify prior knowledge that constrains or guides these algorithms. This paper introduces some novel, and also describes some existing, knowledge-based approaches that enable us to combine structure learning with knowledge obtained from heterogeneous sources. We investigate the impact of these approaches on structure learning across different algorithms, case studies and settings that we might encounter in practice. Each approach is assessed in terms of effectiveness and efficiency, including graphical accuracy, model fitting, complexity, and runtime; making this the first paper that provides a comparative evaluation of a wide range of knowledge approaches for structure learning. Because the value of knowledge depends on what data are available, we illustrate the results both with limited and big data. While the overall results show that knowledge becomes less important with big data due to higher learning accuracy rendering knowledge less important, some of the knowledge approaches are found to be more important with big data. Amongst the main conclusions is the observation that reduced search space obtained from knowledge does not always imply reduced computational complexity, perhaps because the relationships implied by the data and knowledge are in tension.


title: New Type I Binary [72, 36, 12] Self-Dual Codes from Composite Matrices and R1 Lifts

abstract: In this work, we define three composite matrices derived from group rings. We employ these composite matrices to create generator matrices of the form [In | {\Omega}(v)], where In is the identity matrix and {\Omega}(v) is a composite matrix and search for binary self-dual codes with parameters [36, 18, 6 or 8]. We next lift these codes over the ring R1 = F2 + uF2 to obtain codes whose binary images are self-dual codes with parameters [72,36,12]. Many of these codes turn out to have weight enumerators with parameters that were not known in the literature before. In particular, we find 30 new Type I binary self-dual codes with parameters [72, 36, 12].


title: Group Matrix Ring Codes and Constructions of Self-Dual Codes

abstract: In this work, we study codes generated by elements that come from group matrix rings. We present a matrix construction which we use to generate codes in two different ambient spaces: the matrix ring $M_k(R)$ and the ring $R,$ where $R$ is the commutative Frobenius ring. We show that codes over the ring $M_k(R)$ are one sided ideals in the group matrix ring $M_k(R)G$ and the corresponding codes over the ring $R$ are $G^k$-codes of length $kn.$ Additionally, we give a generator matrix for self-dual codes, which consist of the mentioned above matrix construction. We employ this generator matrix to search for binary self-dual codes with parameters $[72,36,12]$ and find new singly-even and doubly-even codes of this type. In particular, we construct $16$ new Type~I and $4$ new Type~II binary $[72,36,12]$ self-dual codes.


title: An investigation into the application of genetic programming to combinatorial game theory

abstract: Genetic programming is the practice of evolving formulas using crossover and mutation of genes representing functional operations. Motivated by genetic evolution we develop and solve two combinatorial games, and we demonstrate some advantages and pitfalls of using genetic programming to investigate Grundy values. We conclude by investigating a combinatorial game whose ruleset and starting positions are inspired by genetic structures.


title: Nonstationary Portfolios: Diversification in the Spectral Domain

abstract: Classical portfolio optimization methods typically determine an optimal capital allocation through the implicit, yet critical, assumption of statistical time-invariance. Such models are inadequate for real-world markets as they employ standard time-averaging based estimators which suffer significant information loss if the market observables are non-stationary. To this end, we reformulate the portfolio optimization problem in the spectral domain to cater for the nonstationarity inherent to asset price movements and, in this way, allow for optimal capital allocations to be time-varying. Unlike existing spectral portfolio techniques, the proposed framework employs augmented complex statistics in order to exploit the interactions between the real and imaginary parts of the complex spectral variables, which in turn allows for the modelling of both harmonics and cyclostationarity in the time domain. The advantages of the proposed framework over traditional methods are demonstrated through numerical simulations using real-world price data.


title: Divergent part of the stress-energy tensor for Maxwell's theory in curved space-time: a systematic derivation

abstract: In this paper the Feynman Green function for Maxwell's theory in curved space-time is studied by using the Fock-Schwinger-DeWitt asymptotic expansion; the point-splitting method is then applied, since it is a valuable tool for regularizing divergent observables. Among these, the stress-energy tensor is expressed in terms of second covariant derivatives of the Hadamard Green function, which is also closely linked to the effective action; therefore one obtains a series expansion for the stress-energy tensor. Its divergent part can be isolated, and a concise formula is here obtained: by dimensional analysis and combinatorics, there are two kinds of terms: quadratic in curvature tensors (Riemann, Ricci tensors and scalar curvature) and linear in their second covariant derivatives. This formula holds for every space-time metric; it is made even more explicit in the physically relevant particular cases of Ricci-flat and maximally symmetric spaces, and fully evaluated for some examples of physical interest: Kerr and Schwarzschild metrics and de Sitter space-time.


title: Fast Rates for the Regret of Offline Reinforcement Learning

abstract: We study the regret of reinforcement learning from offline data generated by a fixed behavior policy in an infinite-horizon discounted Markov decision process (MDP). While existing analyses of common approaches, such as fitted $Q$-iteration (FQI), suggest a $O(1/\sqrt{n})$ convergence for regret, empirical behavior exhibits \emph{much} faster convergence. In this paper, we present a finer regret analysis that exactly characterizes this phenomenon by providing fast rates for the regret convergence. First, we show that given any estimate for the optimal quality function $Q^*$, the regret of the policy it defines converges at a rate given by the exponentiation of the $Q^*$-estimate's pointwise convergence rate, thus speeding it up. The level of exponentiation depends on the level of noise in the \emph{decision-making} problem, rather than the estimation problem. We establish such noise levels for linear and tabular MDPs as examples. Second, we provide new analyses of FQI and Bellman residual minimization to establish the correct pointwise convergence guarantees. As specific cases, our results imply $O(1/n)$ regret rates in linear cases and $\exp(-\Omega(n))$ regret rates in tabular cases. We extend our findings to general function approximation by extending our results to regret guarantees based on $L_p$-convergence rates for estimating $Q^*$ rather than pointwise rates, where $L_2$ guarantees for nonparametric $Q^*$-estimation can be ensured under mild conditions.


title: Intertwining periods and distinction for p-adic Galois symmetric pairs

abstract: We consider distinction of representations in the context of $p$-adic Galois symmetric spaces. We provide new sufficient conditions for distinction of parabolically induced representations in terms of similar conditions on the inducing data and deduce a characterization for distinction of representations parabolically induced from cuspidal. We explicate the results further for classical groups and give several applications, in particular, concerning the preservation of distinction via Langlands functoriality. We relate our results with a conjecture of Dipendra Prasad.


title: Non-equilibrium, weak-field induced magnetism: a mechanism for magnetobiology

abstract: There is a long-time quest for understanding physical mechanisms of weak magnetic field interaction with biological matter. Two factors impeded the development of such mechanisms: first, a high (room) temperature of a cellular environment, where a weak, static magnetic field induces a (classically) zero equilibrium response. Second, the friction in the cellular environment is large, preventing a weak field to alter non-equilibrium processes such as a free diffusion of charges. Here we study a class of non-equilibrium steady states of a cellular ion in a confining potential, where the response to a (weak, homogeneous, static) magnetic field survives strong friction and thermal fluctuations. The magnetic field induces a rotational motion of the ion that proceeds with the cyclotron frequency. Such non-equilibrium states are generated by a white noise acting on the ion additionally to the non-local (memory-containing) friction and noise generated by an equilibrium thermal bath. The intensity of this white noise can be weak, i.e. much smaller than the thermal noise intensity.

categories: cond-mat.stat-mech cond-mat.mes-hall cond-mat.soft physics.bio-ph q-bio.SC


title: Improving Accountability in Recommender Systems Research Through Reproducibility

abstract: Reproducibility is a key requirement for scientific progress. It allows the reproduction of the works of others, and, as a consequence, to fully trust the reported claims and results. In this work, we argue that, by facilitating reproducibility of recommender systems experimentation, we indirectly address the issues of accountability and transparency in recommender systems research from the perspectives of practitioners, designers, and engineers aiming to assess the capabilities of published research works. These issues have become increasingly prevalent in recent literature. Reasons for this include societal movements around intelligent systems and artificial intelligence striving towards fair and objective use of human behavioral data (as in Machine Learning, Information Retrieval, or Human-Computer Interaction). Society has grown to expect explanations and transparency standards regarding the underlying algorithms making automated decisions for and around us. This work surveys existing definitions of these concepts, and proposes a coherent terminology for recommender systems research, with the goal to connect reproducibility to accountability. We achieve this by introducing several guidelines and steps that lead to reproducible and, hence, accountable experimental workflows and research. We additionally analyze several instantiations of recommender system implementations available in the literature, and discuss the extent to which they fit in the introduced framework. With this work, we aim to shed light on this important problem, and facilitate progress in the field by increasing the accountability of research.


title: Ring gap resonant modes on disk/film coupling system caused by strong interaction

abstract: Peculiar ring gap modes on the surface of disk close to the metallic thin film are excited in the visible light regime. We apply plasmon hybridization method to illustrate the ring gap modes arising from the interaction between localized disk plasmons and continuum surface plasmons, which cannot be easily excited by the plane wave with polarization parallel to the film interface. In the coupled system, the hybrid modes energy and the surface charge distribution of nanoparticle are investigated both in simulation and hybridization method, showing consistence with each other. The excitation of ring gap modes provides further insight into strong coupling of the plasmon and the design of novel nanostructures.


title: A superconductor free of quasiparticles for seconds

abstract: Superconducting devices, based on the Cooper pairing of electrons, play an important role in existing and emergent technologies, ranging from radiation detectors to quantum computers. Their performance is limited by spurious quasiparticle excitations formed from broken Cooper pairs. Efforts to achieve ultra-low quasiparticle densities have reached time-averaged numbers of excitations on the order of one in state-of-the-art devices. However, the dynamics of the quasiparticle population as well as the time scales for adding and removing individual excitations remain largely unexplored. Here, we experimentally demonstrate a superconductor completely free of quasiparticles for periods lasting up to seconds. We monitor the quasiparticle number on a mesoscopic superconductor in real time by measuring the charge tunneling to a normal metal contact. Quiet, excitation-free periods are interrupted by random-in-time Cooper pair breaking events, followed by a burst of charge tunneling within a millisecond. Our results demonstrate the possibility of operating devices without quasiparticles with potentially improved performance. In addition, our experiment probes the origins of nonequilibrium quasiparticles in our device; the decay of the Cooper pair breaking rate over several weeks following the initial cooldown rules out processes arising from cosmic or long-lived radioactive sources.


title: Exploring the Geometry and Topology of Neural Network Loss Landscapes

abstract: Recent work has established clear links between the generalization performance of trained neural networks and the geometry of their loss landscape near the local minima to which they converge. This suggests that qualitative and quantitative examination of the loss landscape geometry could yield insights about neural network generalization performance during training. To this end, researchers have proposed visualizing the loss landscape through the use of simple dimensionality reduction techniques. However, such visualization methods have been limited by their linear nature and only capture features in one or two dimensions, thus restricting sampling of the loss landscape to lines or planes. Here, we expand and improve upon these in three ways. First, we present a novel "jump and retrain" procedure for sampling relevant portions of the loss landscape. We show that the resulting sampled data holds more meaningful information about the network's ability to generalize. Next, we show that non-linear dimensionality reduction of the jump and retrain trajectories via PHATE, a trajectory and manifold-preserving method, allows us to visualize differences between networks that are generalizing well vs poorly. Finally, we combine PHATE trajectories with a computational homology characterization to quantify trajectory differences.


title: Generic chaos on dendrites

abstract: We characterize dendrites $D$ such that a continuous selfmap of $D$ is generically chaotic (in the sense of Lasota) if and only if it is generically $\varepsilon$-chaotic for some $\varepsilon>0$. In other words, we characterize dendrites on which generic chaos of a continuous map can be described in terms of the behaviour of subdendrites with nonempty interiors under iterates of the map. A dendrite $D$ belongs to this class if and only if it is completely regular, with all points of finite order (that is, if and only if $D$ contains neither a copy of the Riemann dendrite nor a copy of the $\omega$-star).


title: Nonlinear Evolutionary PDE-Based Refinement of Optical Flow

abstract: The goal of this paper is to propose two nonlinear variational models for obtaining a refined motion estimation from an image sequence. Both the proposed models can be considered as a part of a generalized framework for an accurate estimation of physics-based flow fields such as rotational and fluid flow. The first model is novel in the sense that it is divided into two phases: the first phase obtains a crude estimate of the optical flow and then the second phase refines this estimate using additional constraints. The correctness of this model is proved using an evolutionary PDE approach. The second model achieves the same refinement as the first model, but in a standard manner, using a single functional. A special feature of our models is that they permit us to provide efficient numerical implementations through the first-order primal-dual Chambolle-Pock scheme. Both the models are compared in the context of accurate estimation of angle by performing an anisotropic regularization of the divergence and curl of the flow respectively. We observe that, although both the models obtain the same level of accuracy, the two-phase model is more efficient. In fact, we empirically demonstrate that the single-phase and the two-phase models have convergence rates of order $O(1/N^2)$ and $O(1/N)$ respectively.


title: Asymmetrical Order in Wall-Bounded Turbulent Flows

abstract: Scaling of turbulent wall-bounded flows is revealed in the gradient structures, for each of the Reynolds stress components. Within the dissipation structure, an asymmetrical order exists, that we can deploy to unify the scaling and transport dynamics within and across these flows. There are subtle differences in the outer boundary conditions between channel and flat-plate boundary-layer flows, which modify the turbulence structure far from the wall. The self-similarity exhibited in the dissipation structures and corresponding transport dynamics establish capabilities and encompassing knowledge of wall-bounded turbulent flows.


title: Geodesic stars in random geometry

abstract: A point of a metric space is called a geodesic star with $m$ arms if it is the endpoint of $m$ disjoint geodesics. For every $m\in\{1,2,3,4\}$, we prove that the set of all geodesic stars with $m$ arms in the Brownian sphere has dimension $5-m$. This complements recent results of Miller and Qian, who proved that this dimension is smaller than or equal to $5-m$.


title: Online Markov Decision Processes with Aggregate Bandit Feedback

abstract: We study a novel variant of online finite-horizon Markov Decision Processes with adversarially changing loss functions and initially unknown dynamics. In each episode, the learner suffers the loss accumulated along the trajectory realized by the policy chosen for the episode, and observes aggregate bandit feedback: the trajectory is revealed along with the cumulative loss suffered, rather than the individual losses encountered along the trajectory. Our main result is a computationally efficient algorithm with $O(\sqrt{K})$ regret for this setting, where $K$ is the number of episodes. We establish this result via an efficient reduction to a novel bandit learning setting we call Distorted Linear Bandits (DLB), which is a variant of bandit linear optimization where actions chosen by the learner are adversarially distorted before they are committed. We then develop a computationally-efficient online algorithm for DLB for which we prove an $O(\sqrt{T})$ regret bound, where $T$ is the number of time steps. Our algorithm is based on online mirror descent with a self-concordant barrier regularization that employs a novel increasing learning rate schedule.


title: Learning elliptic partial differential equations with randomized linear algebra

abstract: Given input-output pairs of an elliptic partial differential equation (PDE) in three dimensions, we derive the first theoretically-rigorous scheme for learning the associated Green's function $G$. By exploiting the hierarchical low-rank structure of $G$, we show that one can construct an approximant to $G$ that converges almost surely and achieves a relative error of $\mathcal{O}(\Gamma_\epsilon^{-1/2}\log^3(1/\epsilon)\epsilon)$ using at most $\mathcal{O}(\epsilon^{-6}\log^4(1/\epsilon))$ input-output training pairs with high probability, for any $0<\epsilon<1$. The quantity $0<\Gamma_\epsilon\leq 1$ characterizes the quality of the training dataset. Along the way, we extend the randomized singular value decomposition algorithm for learning matrices to Hilbert--Schmidt operators and characterize the quality of covariance kernels for PDE learning.


title: Integrable Model of Topological SO(5) Superfluidity

abstract: Assisted by general symmetry arguments and a many-body invariant, we introduce a phase of matter that constitutes a topological SO(5) superfluid. Key to this finding is the realization of an exactly solvable model that displays some similarities with a minimal model of superfluid $^3$He. We study its quantum phase diagram and correlations, and find exotic superfluid as well as metallic phases in the repulsive sector. At the critical point separating trivial and nontrivial superfluid phases, our Hamiltonian reduces to the globally SO(5)-symmetric Gaudin model with a degenerate ground manifold that includes quartet states. Most importantly, the exact solution permits uncovering of an interesting non-pair-breaking mechanism for superfluids subject to external magnetic fields. Nonintegrable modifications of our model lead to a strong-coupling limit of our metallic phase with a ground-state manifold that shows an extensive entropy.

categories: cond-mat.supr-con cond-mat.str-el math-ph math.MP quant-ph


title: Hausdorff's forgotten proof that almost all numbers are normal

abstract: In 1914, Felix Hausdorff published an elegant proof that almost all numbers are simply normal in base 2. We generalize this proof to show that almost all numbers are normal. The result is arguably the most elementary proof for this theorem so far and should be accessible to undergraduates in their first year.


title: More elementary components of the Hilbert scheme of points

abstract: Let $K$ be an algebraically closed field of characteristic $0$, and let $H^{\mu}$ denote the Hilbert scheme of $\mu$ points of the affine space $A^n$. An elementary component $E$ of $H^{\mu}$ is an irreducible component such that every $K$-point $[I]$ $\in$ $E$ represents a length-$\mu$ closed subscheme Spec$(K[x_1,\dots,x_n]/I)$ $\subseteq$ $A^n$ that is supported at one point. In a previous article we found some new examples of elementary components; in this article, we simplify the methods and extend the range of the previous paper to find several more examples. In addition, we present a "plausibility test" that suggests the existence of a vast number of similar examples.


title: Superhydrophobic sand mulches increase agricultural productivity in arid regions

abstract: Excessive evaporative loss of water from the topsoil in arid-land agriculture is compensated via irrigation, which exploits massive freshwater resources. The cumulative effects of decades of unsustainable freshwater consumption in many arid regions are now threatening food-water security. While plastic mulches can reduce evaporation from the topsoil, their cost and non-biodegradability limit their utility. In response, we report on superhydrophobic sand (SHS), a bio-inspired enhancement of common sand with a nanoscale wax coating. When SHS was applied as a 5 mm-thick mulch over the soil, evaporation dramatically reduced and crop yields increased. Multi-year field trials of SHS application with tomato (Solanum lycopersicum), barley (Hordeum vulgare), and wheat (Triticum aestivum) under normal irrigation enhanced yields by 17%-73%. Under brackish water irrigation (5500 ppm NaCl), SHS mulching produced 53%-208% higher fruit yield and grain gains for tomato and barley. Thus, SHS could benefit agriculture and city-greening in arid regions.


title: Relativistic Anisotropic Polytropic Spheres: Physical Acceptability

abstract: In this work we evaluate the physical acceptability of relativistic anisotropic spheres modeled by two polytropic equations of state -- with the same newtonian limit -- commonly used to describe compact objects in General Relativity. We integrate numerically the corresponding Lane-Emden equation in order to get density, mass and pressure profiles. An ansatz is used for the anisotropic pressure allowing us to have material configurations slightly deviated from isotropic condition. Numerical models are classified in a parameter space according to the number of physical acceptability conditions that they fulfil. We found that the polytropes considering total energy density are more stable than the second type of polytropic EoS.


title: The Impact of the COVID-19 Pandemic on Scientific Research in the Life Sciences

abstract: The COVID-19 outbreak has posed an unprecedented challenge to humanity and science. On the one side, public and private incentives have been put in place to promptly allocate resources toward research areas strictly related to the COVID-19 emergency. But on the flip side, research in many fields not directly related to the pandemic has lagged behind. In this paper, we assess the impact of COVID-19 on world scientific production in the life sciences. We investigate how the usage of medical subject headings (MeSH) has changed following the outbreak. We estimate through a difference-in-differences approach the impact of COVID-19 on scientific production through PubMed. We find that COVID-related research topics have risen to prominence, displaced clinical publications, diverted funds away from research areas not directly related to COVID-19 and that the number of publications on clinical trials in unrelated fields has contracted. Our results call for urgent targeted policy interventions to reactivate biomedical research in areas that have been neglected by the COVID-19 emergency.


title: Integration of activation maps of epicardial veins in computational cardiac electrophysiology

abstract: In this work we address the issue of validating the monodomain equation used in combination with the Bueno-Orovio ionic model for the prediction of the activation times in cardiac electro-physiology of the left ventricle. To this aim, we consider our patients who suffered from Left Bundle Branch Block (LBBB). We use activation maps performed at the septum as input data for the model and maps at the epicardial veins for the validation. In particular, a first set (half) of the latter are used to estimate the conductivities of the patient and a second set (the remaining half) to compute the errors of the numerical simulations. We find an excellent agreement between measures and numerical results. Our validated computational tool could be used to accurately predict activation times at the epicardial veins with a short mapping, i.e. by using only a part (the most proximal) of the standard acquisition points, thus reducing the invasive procedure and exposure to radiation.


title: On the Indecisiveness of Kelly-Strategyproof Social Choice Functions

abstract: Social choice functions (SCFs) map the preferences of a group of agents over some set of alternatives to a non-empty subset of alternatives. The Gibbard-Satterthwaite theorem has shown that only extremely restrictive SCFs are strategyproof when there are more than two alternatives. For set-valued SCFs, or so-called social choice correspondences, the situation is less clear. There are miscellaneous - mostly negative - results using a variety of strategyproofness notions and additional requirements. The simple and intuitive notion of Kelly-strategyproofness has turned out to be particularly compelling because it is weak enough to still allow for positive results. For example, the Pareto rule is strategyproof even when preferences are weak, and a number of attractive SCFs (such as the top cycle, the uncovered set, and the essential set) are strategyproof for strict preferences. In this paper, we show that, for weak preferences, only indecisive SCFs can satisfy strategyproofness. In particular, (i) every strategyproof rank-based SCF violates Pareto-optimality, (ii) every strategyproof support-based SCF (which generalize Fishburn's C2 SCFs) that satisfies Pareto-optimality returns at least one most preferred alternative of every voter, and (iii) every strategyproof non-imposing SCF returns the Condorcet loser in at least one profile. We also discuss the consequences of these results for randomized social choice.


title: A Multiscale Environment for Learning by Diffusion

abstract: Clustering algorithms partition a dataset into groups of similar points. The clustering problem is very general, and different partitions of the same dataset could be considered correct and useful. To fully understand such data, it must be considered at a variety of scales, ranging from coarse to fine. We introduce the Multiscale Environment for Learning by Diffusion (MELD) data model, which is a family of clusterings parameterized by nonlinear diffusion on the dataset. We show that the MELD data model precisely captures latent multiscale structure in data and facilitates its analysis. To efficiently learn the multiscale structure observed in many real datasets, we introduce the Multiscale Learning by Unsupervised Nonlinear Diffusion (M-LUND) clustering algorithm, which is derived from a diffusion process at a range of temporal scales. We provide theoretical guarantees for the algorithm's performance and establish its computational efficiency. Finally, we show that the M-LUND clustering algorithm detects the latent structure in a range of synthetic and real datasets.


title: Urban Change Detection by Fully Convolutional Siamese Concatenate Network with Attention

abstract: Change detection (CD) is an important problem in remote sensing, especially in disaster time for urban management. Most existing traditional methods for change detection are categorized based on pixel or objects. Object-based models are preferred to pixel-based methods for handling very high-resolution remote sensing (VHR RS) images. Such methods can benefit from the ongoing research on deep learning. In this paper, a fully automatic change-detection algorithm on VHR RS images is proposed that deploys Fully Convolutional Siamese Concatenate networks (FC-Siam-Conc). The proposed method uses preprocessing and an attention gate layer to improve accuracy. Gaussian attention (GA) as a soft visual attention mechanism is used for preprocessing. GA helps the network to handle feature maps like biological visual systems. Since the GA parameters cannot be adjusted during network training, an attention gate layer is introduced to play the role of GA with parameters that can be tuned among other network parameters. Experimental results obtained on Onera Satellite Change Detection (OSCD) and RIVER-CD datasets confirm the superiority of the proposed architecture over the state-of-the-art algorithms.


title: A Machine Learning Approach to Optimal Inverse Discrete Cosine Transform (IDCT) Design

abstract: The design of the optimal inverse discrete cosine transform (IDCT) to compensate the quantization error is proposed for effective lossy image compression in this work. The forward and inverse DCTs are designed in pair in current image/video coding standards without taking the quantization effect into account. Yet, the distribution of quantized DCT coefficients deviate from that of original DCT coefficients. This is particularly obvious when the quality factor of JPEG compressed images is small. To address this problem, we first use a set of training images to learn the compound effect of forward DCT, quantization and dequantization in cascade. Then, a new IDCT kernel is learned to reverse the effect of such a pipeline. Experiments are conducted to demonstrate that the advantage of the new method, which has a gain of 0.11-0.30dB over the standard JPEG over a wide range of quality factors.


title: Semiclassical two-step model for ionization by a strong laser pulse: Further developments and applications

abstract: We review the semiclassical two-step model for strong-field ionization. The semiclassical two-step model describes quantum interference and accounts for the ionic potential beyond the semiclassical perturbation theory. We discuss formulation and implementation of this model, its further developments, as well as some of the applications. The reviewed applications of the model include strong-field holography with photoelectrons, multielectron polarization effects in ionization by an intense laser pulse, and strong-field ionization of the hydrogen molecule.


title: Exact Recovery of Clusters in Finite Metric Spaces Using Oracle Queries

abstract: We investigate the problem of exact cluster recovery using oracle queries. Previous results show that clusters in Euclidean spaces that are convex and separated with a margin can be reconstructed exactly using only $O(\log n)$ same-cluster queries, where $n$ is the number of input points. In this work, we study this problem in the more challenging non-convex setting. We introduce a structural characterization of clusters, called $(\beta,\gamma)$-convexity, that can be applied to any finite set of points equipped with a metric (or even a semimetric, as the triangle inequality is not needed). Using $(\beta,\gamma)$-convexity, we can translate natural density properties of clusters (which include, for instance, clusters that are strongly non-convex in $\mathbb{R}^d$) into a graph-theoretic notion of convexity. By exploiting this convexity notion, we design a deterministic algorithm that recovers $(\beta,\gamma)$-convex clusters using $O(k^2 \log n + k^2 (6/\beta\gamma)^{dens(X)})$ same-cluster queries, where $k$ is the number of clusters and $dens(X)$ is the density dimension of the semimetric. We show that an exponential dependence on the density dimension is necessary, and we also show that, if we are allowed to make $O(k^2 + k\log n)$ additional queries to a "cluster separation" oracle, then we can recover clusters that have different and arbitrary scales, even when the scale of each cluster is unknown.


title: Domination in Kn\"odel Graphs

abstract: Given a graph and an integer $k$, it is an NP-complete problem to decide whether there is a dominating set of size at most $k$. In this paper we study this problem for the Kn\"odel Graph on $n$ vertices using elementary number theory techniques. In particular, we show an explicit upper bound for the domination number of the Kn\"odel Graph on $n$ vertices any time that we can find a prime number $p$ dividing $n$ for which $2$ is a primitive root.


title: Kraus operators and symmetric groups

abstract: In the contest of open quantum systems, we study a class of Kraus operators whose definition relies on the defining representation of the symmetric groups. We analyze the induced orbits as well as the limit set and the degenerate cases.


title: Radiating jump conditions in General Relativity

abstract: We present a unified description of spherical discontinuity surfaces in General Relativity based on two parameters: mass function and surface permeability. The surfaces considered are: \textit{Impulsive fronts}, massive permeable layer; \textit{Surface layers}, massive impermeable layer; \textit{Shock fronts}, massless permeable surface; and \textit{Boundary surfaces}, massless impermeable surface. We derive the exact jump conditions for the physical variables across all these surfaces. Finally, we discuss the quasi-static approximation from studying slow hydrodynamic processes involving discontinuity surfaces.


title: SkinScan: Low-Cost 3D-Scanning for Dermatologic Diagnosis and Documentation

abstract: The utilization of computational photography becomes increasingly essential in the medical field. Today, imaging techniques for dermatology range from two-dimensional (2D) color imagery with a mobile device to professional clinical imaging systems measuring additional detailed three-dimensional (3D) data. The latter are commonly expensive and not accessible to a broad audience. In this work, we propose a novel system and software framework that relies only on low-cost (and even mobile) commodity devices present in every household to measure detailed 3D information of the human skin with a 3D-gradient-illumination-based method. We believe that our system has great potential for early-stage diagnosis and monitoring of skin diseases, especially in vastly populated or underdeveloped areas.


title: TruthBot: An Automated Conversational Tool for Intent Learning, Curated Information Presenting, and Fake News Alerting

abstract: We present TruthBot, an all-in-one multilingual conversational chatbot designed for seeking truth (trustworthy and verified information) on specific topics. It helps users to obtain information specific to certain topics, fact-check information, and get recent news. The chatbot learns the intent of a query by training a deep neural network from the data of the previous intents and responds appropriately when it classifies the intent in one of the classes above. Each class is implemented as a separate module that uses either its own curated knowledge-base or searches the web to obtain the correct information. The topic of the chatbot is currently set to COVID-19. However, the bot can be easily customized to any topic-specific responses. Our experimental results show that each module performs significantly better than its closest competitor, which is verified both quantitatively and through several user-based surveys in multiple languages. TruthBot has been deployed in June 2020 and is currently running.


title: Commutative Monads for Probabilistic Programming Languages

abstract: A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO. In this paper we present three such monads and a general construction for finding even more. We show how to use these monads to provide a sound and adequate denotational semantics for the Probabilistic FixPoint Calculus (PFPC) -- a call-by-value simply-typed lambda calculus with mixed-variance recursive types, term recursion and probabilistic choice. We also show that in the special case where we consider continuous dcpo's, then all three monads coincide with the valuations monad of Jones and we fully characterise the induced Eilenberg-Moore categories by showing that they are all isomorphic to the category of continuous Kegelspitzen of Keimel and Plotkin.


title: Fine-tuning Handwriting Recognition systems with Temporal Dropout

abstract: This paper introduces a novel method to fine-tune handwriting recognition systems based on Recurrent Neural Networks (RNN). Long Short-Term Memory (LSTM) networks are good at modeling long sequences but they tend to overfit over time. To improve the system's ability to model sequences, we propose to drop information at random positions in the sequence. We call our approach Temporal Dropout (TD). We apply TD at the image level as well to internal network representation. We show that TD improves the results on two different datasets. Our method outperforms previous state-of-the-art on Rodrigo dataset.


title: Quantum game theory and the complexity of approximating quantum Nash equilibria

abstract: This paper is concerned with complexity theoretic aspects of a general formulation of quantum game theory that models strategic interactions among rational agents that process and exchange quantum information. In particular, we prove that the computational problem of finding an approximate Nash equilibrium in a broad class of quantum games is, like the analogous problem for classical games, included in (and therefore complete for) the complexity class PPAD. Our main technical contribution, which facilitates this inclusion, is an extension of prior methods in computational game theory to strategy spaces that are characterized by semidefinite programs.


title: Lane prediction optimization in VANET

abstract: Among the current advanced driver assistance systems, Vehicle-to-Vehicle (V2V) technology has great potential to increase Vehicular Ad Hoc Network (VANET) performance in terms of security, energy efficiency, and comfortable driving. In reality, vehicle drivers regularly change lanes depending on their assumptions regarding visual distances. However, many systems are not quite well-designed, because the visible range is limited, making it difficult to achieve such a task. V2V technology offers high potential for VANET to increase safety, energy efficiency, and driver convenience. Drivers can make more intelligent options in terms of lane selection using predicted information of downstream lane traffic, which is essential for obtaining mobility benefits.


title: Parallel Iterated Extended and Sigma-point Kalman Smoothers

abstract: The problem of Bayesian filtering and smoothing in nonlinear models with additive noise is an active area of research. Classical Taylor series as well as more recent sigma-point based methods are two well-known strategies to deal with these problems. However, these methods are inherently sequential and do not in their standard formulation allow for parallelization in the time domain. In this paper, we present a set of parallel formulas that replace the existing sequential ones in order to achieve lower time (span) complexity. Our experimental results done with a graphics processing unit (GPU) illustrate the efficiency of the proposed methods over their sequential counterparts.


title: Classification of Shoulder X-Ray Images with Deep Learning Ensemble Models

abstract: Fractures occur in the shoulder area, which has a wider range of motion than other joints in the body, for various reasons. To diagnose these fractures, data gathered from Xradiation (X-ray), magnetic resonance imaging (MRI), or computed tomography (CT) are used. This study aims to help physicians by classifying shoulder images taken from X-ray devices as fracture / non-fracture with artificial intelligence. For this purpose, the performances of 26 deep learning-based pretrained models in the detection of shoulder fractures were evaluated on the musculoskeletal radiographs (MURA) dataset, and two ensemble learning models (EL1 and EL2) were developed. The pretrained models used are ResNet, ResNeXt, DenseNet, VGG, Inception, MobileNet, and their spinal fully connected (Spinal FC) versions. In the EL1 and EL2 models developed using pretrained models with the best performance, test accuracy was 0.8455,0.8472, Cohens kappa was 0.6907, 0.6942 and the area that was related with fracture class under the receiver operating characteristic (ROC) curve (AUC) was 0.8862,0.8695. As a result of 28 different classifications in total, the highest test accuracy and Cohens kappa values were obtained in the EL2 model, and the highest AUC value was obtained in the EL1 model.


title: A Non-Topological Approach to Understanding Weyl Semimetals

abstract: In this work, chiral anomalies and Drude enhancement in Weyl semimetals are separately discussed from a semi-classical and quantum perspective, clarifying the physics behind Weyl semimetals while avoiding explicit use of topological concepts. The intent is to provide a bridge to these modern ideas for educators, students, and scientists not in the field using the familiar language of traditional solid-state physics at the graduate or advanced undergraduate physics level.


title: Predicting replicability -- analysis of survey and prediction market data from large-scale forecasting projects

abstract: The reproducibility of published research has become an important topic in science policy. A number of large-scale replication projects have been conducted to gauge the overall reproducibility in specific academic fields. Here, we present an analysis of data from four studies which sought to forecast the outcomes of replication projects in the social and behavioural sciences, using human experts who participated in prediction markets and answered surveys. Because the number of findings replicated and predicted in each individual study was small, pooling the data offers an opportunity to evaluate hypotheses regarding the performance of prediction markets and surveys at a higher power. In total, peer beliefs were elicited for the replication outcomes of 103 published findings. We find there is information within the scientific community about the replicability of scientific findings, and that both surveys and prediction markets can be used to elicit and aggregate this information. Our results show prediction markets can determine the outcomes of direct replications with 73% accuracy (n=103). Both the prediction market prices and the average survey responses are correlated with outcomes (0.581 and 0.564 respectively, both p < .001). We also found a significant relationship between p-values of the original findings and replication outcomes. The dataset is made available through the R package pooledmaRket and can be used to further study community beliefs towards replications outcomes as elicited in the surveys and prediction markets.


title: Superconvergence of discontinuous Galerkin method for scalar and vector linear advection equations

abstract: In this paper, we use Fourier analysis to study the superconvergence of the semi-discrete discontinuous Galerkin method for scalar linear advection equations in one spatial dimension. The error bounds and asymptotic errors are derived for initial discretization by $L_2$ projection, Gauss-Radau projection, and other projections proposed by Cao et. al. For pedagogical purpose, the errors are computed in two different ways. In the first approach, we compute the difference between the numerical solution and a special interpolation of the exact solution, and show that it consists of an asymptotic error of order $2k+1$ and a transient error of lower order. In the second approach, as by Chalmers and Krivodonova, we compute the error directly by decomposition into physical and nonphysical modes, and obtain agreement with the first approach. We then extend the analysis to vector conservation laws, solved using the Lax-Friedrichs flux. We prove that the superconvergence holds with the same order. The error bounds and asymptotic errors are demonstrated by various numerical experiments for scalar and vector advection equations.


title: The Zero Cubes Free and Cubes Unique Multidimensional Constraints

abstract: This paper studies two families of constraints for two-dimensional and multidimensional arrays. The first family requires that a multidimensional array will not contain a cube of zeros of some fixed size and the second constraint imposes that there will not be two identical cubes of a given size in the array. These constraints are natural extensions of their one-dimensional counterpart that have been rigorously studied recently. For both of these constraint we present conditions of the size of the cube for which the asymptotic rate of the set of valid arrays approaches 1 as well as conditions for the redundancy to be at most a single symbol. For the first family we present an efficient encoding algorithm that uses a single symbol to encode arbitrary information into a valid array and for the second family we present a similar encoder for the two-dimensional case. The results in the paper are also extended to similar constraints where the sub-array is not necessarily a cube, but a box of arbitrary dimensions and only its volume is bounded.


title: Positive Characteristic Darboux-Jouanolou Integrability of Differential Forms

abstract: We prove a Darboux-Jouanolou type theorem on the algebraic integrability of polynomial differential $r$-forms over arbitrary fields ($r\geq 1$). We also investigate the Darboux's method for producing integrating factors.


title: Improving Human Decision-Making by Discovering Efficient Strategies for Hierarchical Planning

abstract: To make good decisions in the real world people need efficient planning strategies because their computational resources are limited. Knowing which planning strategies would work best for people in different situations would be very useful for understanding and improving human decision-making. But our ability to compute those strategies used to be limited to very small and very simple planning tasks. To overcome this computational bottleneck, we introduce a cognitively-inspired reinforcement learning method that can overcome this limitation by exploiting the hierarchical structure of human behavior. The basic idea is to decompose sequential decision problems into two sub-problems: setting a goal and planning how to achieve it. This hierarchical decomposition enables us to discover optimal strategies for human planning in larger and more complex tasks than was previously possible. The discovered strategies outperform existing planning algorithms and achieve a super-human level of computational efficiency. We demonstrate that teaching people to use those strategies significantly improves their performance in sequential decision-making tasks that require planning up to eight steps ahead. By contrast, none of the previous approaches was able to improve human performance on these problems. These findings suggest that our cognitively-informed approach makes it possible to leverage reinforcement learning to improve human decision-making in complex sequential decision-problems. Future work can leverage our method to develop decision support systems that improve human decision making in the real world.


title: On the Positive Energy Theorem for Stationary Solutions to Fourth-Order Gravity

abstract: In this paper we prove a positive energy theorem related to fourth-order gravitational theories, which is a higher-order analogue of the classical ADM positive energy theorem of general relativity. We will also show that, in parallel to the corresponding situation in general relativity, this result intersects several important problems in geometric analysis. For instance, it underlies positive mass theorems associated to the Paneitz operator, playing a similar role in the positive $Q$-curvature conformal prescription problem as the Schoen-Yau positive energy theorem does for the Yamabe problem. Several other links to $Q$-curvature analysis and rigidity phenomena are established.


title: Co-Seg: An Image Segmentation Framework Against Label Corruption

abstract: Supervised deep learning performance is heavily tied to the availability of high-quality labels for training. Neural networks can gradually overfit corrupted labels if directly trained on noisy datasets, leading to severe performance degradation at test time. In this paper, we propose a novel deep learning framework, namely Co-Seg, to collaboratively train segmentation networks on datasets which include low-quality noisy labels. Our approach first trains two networks simultaneously to sift through all samples and obtain a subset with reliable labels. Then, an efficient yet easily-implemented label correction strategy is applied to enrich the reliable subset. Finally, using the updated dataset, we retrain the segmentation network to finalize its parameters. Experiments in two noisy labels scenarios demonstrate that our proposed model can achieve results comparable to those obtained from supervised learning trained on the noise-free labels. In addition, our framework can be easily implemented in any segmentation algorithm to increase its robustness to noisy labels.


title: Demonstrating the Evolution of GANs through t-SNE

abstract: Generative Adversarial Networks (GANs) are powerful generative models that achieved strong results, mainly in the image domain. However, the training of GANs is not trivial, presenting some challenges tackled by different strategies. Evolutionary algorithms, such as COEGAN, were recently proposed as a solution to improve the GAN training, overcoming common problems that affect the model, such as vanishing gradient and mode collapse. In this work, we propose an evaluation method based on t-distributed Stochastic Neighbour Embedding (t-SNE) to assess the progress of GANs and visualize the distribution learned by generators in training. We propose the use of the feature space extracted from trained discriminators to evaluate samples produced by generators and from the input dataset. A metric based on the resulting t-SNE maps and the Jaccard index is proposed to represent the model quality. Experiments were conducted to assess the progress of GANs when trained using COEGAN. The results show both by visual inspection and metrics that the Evolutionary Algorithm gradually improves discriminators and generators through generations, avoiding problems such as mode collapse.


title: Characterization and Correction of Time-Varying Eddy Currents for Diffusion MRI

abstract: Purpose: Diffusion MRI (dMRI) suffers from eddy currents induced by strong diffusion gradients, which introduce artefacts that can impair subsequent diffusion metric analysis. Existing retrospective correction techniques that correct for diffusion gradient induced eddy currents do not account for eddy current decay, which is generally effective for traditional Pulsed Gradient Spin Echo (PGSE) diffusion encoding. However, these techniques do not necessarily apply to advanced forms of dMRI that require substantial gradient slewing, such as Oscillating Gradient Spin Echo (OGSE). Methods: An in-house algorithm (TVEDDY), that for the first time retrospectively models eddy current decay, was tested on PGSE and OGSE brain images acquired at 7T. Correction performance was compared to conventional correction methods by evaluating the mean-squared error (MSE) between diffusion-weighted images acquired with opposite polarity diffusion gradients. As a ground truth comparison, images were corrected using field dynamics up to third order in space measured using a field monitoring system. Results: Time-varying eddy currents were observed for OGSE, which introduced blurring that was not reduced using the traditional approach but was diminished considerably with TVEDDY and model-based reconstruction. No MSE difference was observed between the conventional approach and TVEDDY for PGSE, but for OGSE TVEDDY resulted in significantly lower MSE than the conventional approach. The field-monitoring-informed model-based reconstruction had the lowest MSE for both PGSE and OGSE. Conclusion: This work establishes that it is possible to estimate time-varying eddy currents from the diffusion data itself, which provides substantial image quality improvements for gradient-intensive dMRI acquisitions like OGSE.


title: Cyclic congruences of slim semimodular lattices and non-finite axiomatizability of some finite structures

abstract: We give a new proof of the fact that finite bipartite graphs cannot be axiomatized by finitely many first-order sentences among FINITE graphs. (This fact is a consequence of a general theorem proved by L. Ham and M. Jackson, and the counterpart of this fact for all bipartite graphs in the class of ALL graphs is a well-known consequence of the compactness theorem.) Also, to exemplify that our method is applicable in various fields of mathematics, we prove that neither finite simple groups, nor the ordered sets of join-irreducible congruences of slim semimodular lattices can be described by finitely many axioms in the class of FINITE structures. Since a 2007 result of G. Gr\"atzer and E. Knapp, slim semimodular lattices have constituted the most intensively studied part of lattice theory and they have already led to results even in group theory and geometry. In addition to the non-axiomatizability results mentioned above, we present a new property, called Decomposable Cyclic Elements Property, of the congruence lattices of slim semimodular lattices.