title: AMR-to-Text Generation with Cache Transition Systems

abstract: Text generation from AMR involves emitting sentences that reflect the meaning of their AMR annotations. Neural sequence-to-sequence models have successfully been used to decode strings from flattened graphs (e.g., using depth-first or random traversal). Such models often rely on attention-based decoders to map AMR node to English token sequences. Instead of linearizing AMR, we directly encode its graph structure and delegate traversal to the decoder. To enforce a sentence-aligned graph traversal and provide local graph context, we predict transition-based parser actions in addition to English words. We present two model variants: one generates parser actions prior to words, while the other interleaves actions with words.


title: Optimal Policies Tend to Seek Power

abstract: Some researchers speculate that intelligent reinforcement learning (RL) agents would be incentivized to seek resources and power in pursuit of their objectives. Other researchers point out that RL agents need not have human-like power-seeking instincts. To clarify this discussion, we develop the first formal theory of the statistical tendencies of optimal policies. In the context of Markov decision processes, we prove that certain environmental symmetries are sufficient for optimal policies to tend to seek power over the environment. These symmetries exist in many environments in which the agent can be shut down or destroyed. We prove that in these environments, most reward functions make it optimal to seek power by keeping a range of options available and, when maximizing average reward, by navigating towards larger sets of potential terminal states.


title: Helios: Heterogeneity-Aware Federated Learning with Dynamically Balanced Collaboration

abstract: In this paper, we propose Helios, a heterogeneity-aware FL framework to tackle the straggler issue. Helios identifies individual devices' heterogeneous training capability, and therefore the expected neural network model training volumes regarding the collaborative training pace. For straggling devices, a "soft-training" method is proposed to dynamically compress the original identical training model into the expected volume through a rotating neuron training approach. With extensive algorithm analysis and optimization schemes, the stragglers can be accelerated while retaining the convergence for local training as well as federated collaboration.


title: Nondegenerate Two-Photon Absorption in GaAs/AlGaAs Multiple Quantum Well Waveguides

abstract: We present femtosecond pump-probe measurements of the nondegenerate (1960$\,$nm excitation and 1176--1326$\,$nm probe) two-photon absorption spectra of 8 $\,$nm GaAs/12$\,$nm Al$_{0.32}$Ga$_{0.68}$As quantum well waveguides. Experiments were performed with light pulses co-polarized normal and tangential to the quantum well plane. The results are compared to perturbative calculations of transition rates between states determined by the $\mathbf{k}\cdot\mathbf{p}$ method with an 8 or 14 band basis. We find excellent agreement between theory and experiment for normal polarization, then use the model to support predictions of orders-of-magnitude enhancement of nondegenerate two-photon absorption as one constituent photon energy nears an intersubband resonance.


title: Complete synchronization of the Newton--Leipnik reaction diffusion chaotic system

abstract: In this paper we investigate the reaction--diffusion system corresponding to the Newton--Leipnik chaotic system originally developed to model the rigid body motion through linear feedback (LFRBM). We develop a nonlinear synchronization scheme for the proposed reaction--diffusion system and prove its global stability in the local sense by means of the eigenvalues of the Jacobian and global sense through an appropriate Lyapunov functional. A numerical example is presented to illustrate the results of this study.


title: The complexes with property of uniform ellipticity

abstract: This paper is devoted to construction of finitely presented infinite nil semigroup with identity $x^9=0$. This construction answers to the problem of Lev Shevrin and Mark Sapir. The paper is quite long so the proof is separated into geometric, combinatorial and finalization parts. In the first part we construct uniformly elliptic space. Space is called {\it uniformly elliptic} if any two points $A$ and $B$ at the distance of $D$ can be connected by the system of geodesics which form a disc with width $\lambda\cdot D$ for some global constant $\lambda>0$. In the second part we study combinatorial properties of the constructed complex. Vertices and edges of this complex coded by finite number of letters so we can consider semigroup of paths. Defining relations correspond to pairs of equivalent short paths on the complex. Shortest path in sense of natural metric correspond nonzero words in the semigroup. Words which are not presented as paths on complex and words correspond to non shortest paths can be reduced to zero. In the third part we make a finalization. In particular, we show that word containing ninth degree word can be reduced to zero by defining relations. The present paper contains first part of the proof. This work was carried out with the help of the Russian Science Foundation Grant N 17-11-01377. The first author is the winner of the contest Young Mathematics of Russia .


title: Enumerating Parking Completions Using Join and Split

abstract: Given a strictly increasing sequence $\mathbf{t}$ with entries from $[n]:=\{1,\ldots,n\}$, a parking completion is a sequence $\mathbf{c}$ with $|\mathbf{t}|+|\mathbf{c}|=n$ and $|\{t\in \mathbf{t}\mid t\le i\}|+|\{c\in \mathbf{c}\mid c\le i\}|\ge i$ for all $i$ in $[n]$. We can think of $\mathbf{t}$ as a list of spots already taken in a street with $n$ parking spots and $\mathbf{c}$ as a list of parking preferences where the $i$-th car attempts to park in the $c_i$-th spot and if not available then proceeds up the street to find the next available spot, if any. A parking completion corresponds to a set of preferences $\mathbf{c}$ where all cars park. We relate parking completions to enumerating restricted lattice paths and give formulas for both the ordered and unordered variations of the problem by use of a pair of operations termed \textbf{Join} and \textbf{Split}. Our results give a new volume formula for most Pitman-Stanley polytopes, and enumerate the signature parking functions of Ceballos and Gonz\'alez D'Le\'on.


title: Comparing the Kirwan and noncommutative resolutions of quotient varieties

abstract: Let a reductive group $G$ act on a smooth variety $X$ such that a good quotient $X{/\!\!/}G$ exists. We show that the derived category of a noncommutative crepant resolution (NCCR) of $X{/\!\!/} G$, obtained from a $G$-equivariant vector bundle on $X$, can be embedded in the derived category of the (canonical, stacky) Kirwan resolution of $X{/\!\!/} G$. In fact the embedding can be completed to a semi-orthogonal decomposition in which the other parts are all derived categories of Azumaya algebras over smooth Deligne-Mumford stacks.


title: Emergence of a metallic meta-stable phase induced by electrical current in Ca_2RuO_4

abstract: A comprehensive study of the behavior of the Mott insulator Ca_2RuO_4 under electrical current drive is performed by combining two experimental probes: the macroscopic electrical transport and the microscopic X-Ray diffraction. The resistivity, rho, vs electric current density, J, and temperature, T , rho(J,T), resistivity map is drawn. In particular, the meta-stable state, induced between the insulating and the metallic thermodynamic states by current biasing Ca_2RuO_4 single crystals, is investigated. Such an analysis, combined with the study of the resulting RuO_6 octahedra energy levels, reveals that a metallic crystal phase emerges in the meta-stable regime. The peculiar properties of such a phase, coexisting with the well-established orthorhombic insulating and tetragonal metallic phases, allow to explain some of the unconventional and puzzling behaviors observed in the experiments, as a negative differential resistivity.


title: Maximum entropy methods for texture synthesis: theory and practice

abstract: Recent years have seen the rise of convolutional neural network techniques in exemplar-based image synthesis. These methods often rely on the minimization of some variational formulation on the image space for which the minimizers are assumed to be the solutions of the synthesis problem. In this paper we investigate, both theoretically and experimentally, another framework to deal with this problem using an alternate sampling/minimization scheme. First, we use results from information geometry to assess that our method yields a probability measure which has maximum entropy under some constraints in expectation. Then, we turn to the analysis of our method and we show, using recent results from the Markov chain literature, that its error can be explicitly bounded with constants which depend polynomially in the dimension even in the non-convex setting. This includes the case where the constraints are defined via a differentiable neural network. Finally, we present an extensive experimental study of the model, including a comparison with state-of-the-art methods and an extension to style transfer.


title: Equivariant dimensions of groups with operators

abstract: Let $\pi$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${\sf cd}_G(\pi)$, the equivariant geometric dimension ${\sf gd}_G(\pi)$, and the equivariant Lusternik-Schnirelmann category ${\sf cat}_G(\pi)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $\pi\rtimes G$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for the possibility of a $G$-group $\pi$ with ${\sf cat}_G(\pi)={\sf cd}_G(\pi)=2$ and ${\sf gd}_G(\pi)=3$). A main ingredient is the purely algebraic result that the cohomological dimension of any finite group with respect to any family of proper subgroups is greater than one. This implies a Stallings-Swan type result for families of subgroups which do not contain all finite subgroups.


title: Scenario optimization for optimal training of Echo State Networks

abstract: Echo State Networks (ESNs) are widely-used Recurrent Neural Networks. They are dynamical systems including, in state-space form, a nonlinear state equation and a linear output transformation. The common procedure to train ESNs is to randomly select the parameters of the state equation, and then to estimate those of the output equation via a standard least squares problem. Such a procedure is repeated for different instances of the random parameters characterizing the state equation, until satisfactory results are achieved. However, this trial-and-error procedure is not systematic and does not provide any guarantee about the optimality of the identification results. To solve this problem, we propose to complement the identification procedure of ESNs by applying results in scenario optimization. The resulting training procedure is theoretically sound and allows one to link precisely the number of identification instances to a guaranteed optimality bound on relevant performance indexes, such as the Root Mean Square error and the FIT index of the estimated model evaluated over a validation data-set. The proposed procedure is finally applied to the simulated model of a pH neutralization process: the obtained results confirm the validity of the approach.


title: Towards Time Reversal Symmetry Test with o-Ps Decays using the J-PET detector

abstract: One of the features of the triplet state of positronium (ortho-Positronium)atoms is its relatively longer lifetime when compared to the singlet states ofpositronium (para-Positronium) atoms. The most probable decay of ortho-Positronium is into three annihilation photons. In order to test the discretesymmetry using the time-reversal symmetry odd-operator, it is importantto identify ortho-Positronium decay. Identification of the decay of ortho-Positronium atoms by measuring the positronium annihilation lifetime withthe Jagiellonian-Positron Emission Tomograph (J-PET) is presented in this article.


title: Construction of infinite finitely presented nilsemigroup (short version)

abstract: This paper is devoted to construction of finitely presented infinite nil semigroup with identity $x^9=0$. This construction answers to the problem of Lev Shevrin and Mark Sapir. This is the short version of the paper presenting the main ideas of the construction. The work was carried out with the help of the Russian Science Foundation Grant N 17-11-01377. The first author is the winner of the contest Young Mathematics of Russia .


title: Ferromagnetic phase in graphene-based planar heterostructures induced by charged impurity

abstract: The spontaneous self-consistent generation of axial current and corresponding dipole-like magnetic field in a planar electron-positron system similar to graphene and related hetero-structures doped by charged impurity with charge $Z$ is explored. It is shown that this effect takes place for $Z \geq Z^{\ast}$ with $Z^{\ast}$ being a peculiar analogue of the Curie point in ferromagnetics. The properties of induced ferromagnetic state are studied in detail. It is shown also that the arising this way magnetic dipole leads to a significant decrease of the total Casimir (vacuum) energy of the system, which in turn provides its spontaneous generation above the "Curie point" $Z \geq Z^{\ast}$.


title: Smart Parking: IoT and Blockchain

abstract: Distributed ledger technology and IoT has revolutionized the world by finding its application in all the domains. It promises to transform the digital infrastructure which powers extensive evolutions and impacts a lot of areas. Vehicle parking is a major problem in major cities around the world in both developed and developing countries. The common problems are unavailability or shortage of parking spaces, no information about tariff and no mean of searching availability of parking space online. The struggle doesn't end even if an individual finds a spot, he is required to pay in cash. This traditional and manual process takes a lot of time and causes a lot of hassle. In this paper, we provide a novel solution to the parking problem using IoT and distributed ledger technology. This system is based on pervasive computing and provides auto check-in and check-out. The user can control the system and their profile using the app on their smartphone. The major advantage of the system is an easy and online payment method. Users can pay for their parking tickets using their credit cards from their smartphone app. This decreases their hassle of carrying cash and coins for purchasing parking tickets. Smart Parking will optimize the parking mechanism, save time, reduce traffic and pollution, and provide an enhanced user experience. It is robust, secure, scalable and automated using the combination of cutting-edge technologies.


title: Online and Bandit Algorithms for Nonstationary Stochastic Saddle-Point Optimization

abstract: Saddle-point optimization problems are an important class of optimization problems with applications to game theory, multi-agent reinforcement learning and machine learning. A majority of the rich literature available for saddle-point optimization has focused on the offline setting. In this paper, we study nonstationary versions of stochastic, smooth, strongly-convex and strongly-concave saddle-point optimization problem, in both online (or first-order) and multi-point bandit (or zeroth-order) settings. We first propose natural notions of regret for such nonstationary saddle-point optimization problems. We then analyze extragradient and Frank-Wolfe algorithms, for the unconstrained and constrained settings respectively, for the above class of nonstationary saddle-point optimization problems. We establish sub-linear regret bounds on the proposed notions of regret in both the online and bandit setting.


title: Impact of Binary Stars on Planet Statistics -- I. Planet Occurrence Rates, Trends with Stellar Mass, and Wide Companions to Hot Jupiter Hosts

abstract: Close binaries suppress the formation of circumstellar (S-type) planets and therefore significantly bias the inferred planet occurrence rates and statistical trends. After compiling various radial velocity and high-resolution imaging surveys, we determine that binaries with a < 1 au fully suppress S-type planets, binaries with a = 10 au host close planets at 15% the occurrence rate of single stars, and wide binaries with a > 200 au have a negligible effect on close planet formation. We show that F = 43% +/- 7% of solar-type primaries do not host close planets due to suppression by close stellar companions. By removing spectroscopic binaries from their samples, radial velocity surveys for giant planets boost their detection rates by a factor of 1/(1-F) = 1.8 +/- 0.2 compared to transiting surveys. This selection bias fully accounts for the discrepancy in hot Jupiter occurrence rates inferred from these two detection methods. Correcting for both planet suppression by close binaries and transit dilution by wide binaries, the occurrence rate of small planets orbiting single G-dwarfs is 2.1 +/- 0.3 times larger than the rate inferred from all G-dwarfs in the Kepler survey. Additionally, about half (but not all) of the observed increase in small, short-period planets toward low-mass hosts can be explained by the corresponding decrease in the binary fraction. Finally, we demonstrate that the apparent enhancement of wide stellar companions to hot Jupiter hosts is due to multiple selection effects. Very close binaries, brown dwarf companions, and massive planets with M_2 > 7 M_J within a < 0.2 au preferentially have metal-poor hosts and wide tertiary companions, but genuine hot Jupiters with M_p = 0.2-4 M_J that formed via core accretion instead favor metal-rich hosts and do not exhibit a statistically significant excess of wide stellar companions.


title: Green-Schwarz Mechanism for String Dualities

abstract: We determine the complete spacetime action to first order in $\alpha'$ for the massless fields of bosonic string theory compactified on a $d$-dimensional torus. A fully systematic procedure is developed that brings the action into a minimal form in which all fields apart from the metric enter only with first-order derivatives. T-duality implies that this action must have a global $\mathrm{O}(d,d,\mathbb{R})$ symmetry, and we show that this requires a Green-Schwarz type mechanism for $\alpha'$-deformed $\mathrm{O}(d,d,\mathbb{R})$ transformations. In terms of a frame formalism with ${\rm GL}(d)\times {\rm GL}(d)$ gauge symmetry this amounts to a modification of the three-form curvature by a Chern-Simons term for composite gauge fields.


title: An Off-Chip Attack on Hardware Enclaves via the Memory Bus

abstract: This paper shows how an attacker can break the confidentiality of a hardware enclave with Membuster, an off-chip attack based on snooping the memory bus. An attacker with physical access can observe an unencrypted address bus and extract fine-grained memory access patterns of the victim. Membuster is qualitatively different from prior on-chip attacks to enclaves and is more difficult to thwart. We highlight several challenges for Membuster. First, DRAM requests are only visible on the memory bus at last-level cache misses. Second, the attack needs to incur minimal interference or overhead to the victim to prevent the detection of the attack. Lastly, the attacker needs to reverse-engineer the translation between virtual, physical, and DRAM addresses to perform a robust attack. We introduce three techniques, critical page whitelisting, cache squeezing, and oracle-based fuzzy matching algorithm to increase cache misses for memory accesses that are useful for the attack, with no detectable interference to the victim, and to convert memory accesses to sensitive data. We demonstrate Membuster on an Intel SGX CPU to leak confidential data from two applications: Hunspell and Memcached. We show that a single uninterrupted run of the victim can leak most of the sensitive data with high accuracy.


title: Near-term performance of quantum repeaters with imperfect ensemble-based quantum memories

abstract: We study the feasibility of meaningful proof-of-principle demonstrations of several quantum repeater protocols with photon (single-photon and photon-pair) sources and atomic-ensemble based quantum memories. We take into account non-unit memory efficiencies that decay exponentially with time, which complicates the calculation of repeater rates. We discuss implementations based on quantum dots, parametric down-conversion, rare-earth-ion doped crystals, and Rydberg atoms. Our results provide guidance for the near-term implementation of long-distance quantum repeater demonstrations, suggesting that such demonstrations are within reach of current technology.


title: PyTorch: An Imperative Style, High-Performance Deep Learning Library

abstract: Deep learning frameworks have often focused on either usability or speed, but not both. PyTorch is a machine learning library that shows that these two goals are in fact compatible: it provides an imperative and Pythonic programming style that supports code as a model, makes debugging easy and is consistent with other popular scientific computing libraries, while remaining efficient and supporting hardware accelerators such as GPUs. In this paper, we detail the principles that drove the implementation of PyTorch and how they are reflected in its architecture. We emphasize that every aspect of PyTorch is a regular Python program under the full control of its user. We also explain how the careful and pragmatic implementation of the key components of its runtime enables them to work together to achieve compelling performance. We demonstrate the efficiency of individual subsystems, as well as the overall speed of PyTorch on several common benchmarks.


title: Robustness-Driven Exploration with Probabilistic Metric Temporal Logic

abstract: The ability to perform autonomous exploration is essential for unmanned aerial vehicles (UAV) operating in unstructured or unknown environments where it is hard or even impossible to describe the environment beforehand. However, algorithms for autonomous exploration often focus on optimizing time and coverage in a greedy fashion. That type of exploration can collect irrelevant data and wastes time navigating areas with no important information. In this paper, we propose a method for exploiting the discovered knowledge about the environment while exploring it by relying on a theory of robustness based on Probabilistic Metric Temporal Logic (P-MTL) as applied to offline verification and online control of hybrid systems. By maximizing the satisfaction of the predefined P-MTL specifications of the exploration problem, the robustness values guide the UAV towards areas with more interesting information to gain. We use Markov Chain Monte Carlo to solve the P-MTL constraints. We demonstrate the effectiveness of the proposed approach by simulating autonomous exploration over Amazonian rainforest where our approach is used to detect areas occupied by illegal Artisanal Small-scale Gold Mining (ASGM) activities. The results show that our approach outperform a greedy exploration approach (Autonomous Exploration Planner) by 38% in terms of ASGM coverage.


title: The Yang-Mills deconfinement transition from a high temperature expansion

abstract: The high temperature expansion is an analytical tool to study critical phenomena in statistical mechanics. We apply this method to 3d effective theories of Polyakov loops, which have been derived from 4d lattice Yang-Mills by means of resummed strong coupling expansions. In particular, the Polyakov loop susceptibility is computed as a power series in the effective couplings. A Pad\'e analysis then provides the location of the phase transition in the effective theory, which can be mapped back to the parameters of 4d Yang-Mills. Our purely analytical results for the critical couplings $\beta_c(N_\tau)$ agree to better than $10\%$ with those from Monte Carlo simulations. For the case of $SU(2)$, also the critical exponent $\gamma$ is predicted accurately, while a first-order nature as for $SU(3)$ cannot be identified by a Pad\'e analysis. The method can be generalized to include fermions and finite density.


title: A Robust Self-Learning Method for Fully Unsupervised Cross-Lingual Mappings of Word Embeddings: Making the Method Robustly Reproducible as Well

abstract: In this paper, we reproduce the experiments of Artetxe et al. (2018b) regarding the robust self-learning method for fully unsupervised cross-lingual mappings of word embeddings. We show that the reproduction of their method is indeed feasible with some minor assumptions. We further investigate the robustness of their model by introducing four new languages that are less similar to English than the ones proposed by the original paper. In order to assess the stability of their model, we also conduct a grid search over sensible hyperparameters. We then propose key recommendations applicable to any research project in order to deliver fully reproducible research.


title: It GAN DO Better: GAN-based Detection of Objects on Images with Varying Quality

abstract: In this paper, we propose in our novel generative framework the use of Generative Adversarial Networks (GANs) to generate features that provide robustness for object detection on reduced quality images. The proposed GAN-based Detection of Objects (GAN-DO) framework is not restricted to any particular architecture and can be generalized to several deep neural network (DNN) based architectures. The resulting deep neural network maintains the exact architecture as the selected baseline model without adding to the model parameter complexity or inference speed. We first evaluate the effect of image quality not only on the object classification but also on the object bounding box regression. We then test the models resulting from our proposed GAN-DO framework, using two state-of-the-art object detection architectures as the baseline models. We also evaluate the effect of the number of re-trained parameters in the generator of GAN-DO on the accuracy of the final trained model. Performance results provided using GAN-DO on object detection datasets establish an improved robustness to varying image quality and a higher mAP compared to the existing approaches.


title: Celebrating Three Decades of Worldwide Stock Market Manipulation

abstract: As the decade turns, we reflect on nearly thirty years of successful manipulation of the world's public equity markets. This reflection highlights a few of the key enabling ingredients and lessons learned along the way. A quantitative understanding of market impact and its decay, which we cover briefly, lets you move long-term market prices to your advantage at acceptable cost. Hiding your footprints turns out to be less important than moving prices in the direction most people want them to move. Widespread (if misplaced) trust of market prices -- buttressed by overestimates of the cost of manipulation and underestimates of the benefits to certain market participants -- makes price manipulation a particularly valuable and profitable tool. Of the many recent stories heralding the dawn of the present golden age of misinformation, the manipulation leading to the remarkable increase in the market capitalization of the world's publicly traded companies over the past three decades is among the best.


title: Development of trust based access control models using fuzzy logic in cloud computing

abstract: Cloud computing is the technology that provides different types of services as a useful resource on the Internet. Resource trust value will help the cloud users to select the services of a cloud provider for processing and storing their essential information. Also, service providers can give access to users based on trust value to secure cloud resources from malicious users. In this paper, trust models are proposed, which comes under the subjective trust model based on the behavior of user and service provider to calculate the trust values. The trust is fuzzy, which motivated us to apply fuzzy logic for calculating the trust values of the cloud users and service providers in the cloud environment. We use a Mamdani fuzzy method with gauss membership function for fuzzification and triangular membership function for defuzzification. Parameters such as performance and elasticity are taken for trust evaluation of the resource. The attributes for calculating performance are workload and response time. And for calculating elasticity, we have taken scalability, availability, security, and usability. The fuzzy C-means clustering is applied to parameters for evaluating the trust value of users such as bad requests, bogus requests, unauthorized requests, and total requests.


title: SIFO: Secure Computational Infrastructure using FPGA Overlays

abstract: Secure Function Evaluation (SFE) has received recent attention due to the massive collection and mining of personal data, but remains impractical due to its large computational cost. Garbled Circuits (GC) is a protocol for implementing SFE which can evaluate any function that can be expressed as a Boolean circuit and obtain the result while keeping each party's input private. Recent advances have led to a surge of garbled circuit implementations in software for a variety of different tasks. However, these implementations are inefficient and therefore GC is not widely used, especially for large problems. This research investigates, implements and evaluates secure computation generation using a heterogeneous computing platform featuring FPGAs. We have designed and implemented SIFO: Secure computational Infrastructure using FPGA Overlays. Unlike traditional FPGA design, a coarse grained overlay architecture is adopted which supports mapping SFE problems that are too large to map to a single FPGA. Host tools provided include SFE problem generator, parser and automatic host code generation. Our design allows re-purposing an FPGA to evaluate different SFE tasks without the need for reprogramming, and fully explores the parallelism for any GC problem. Our system demonstrates an order of magnitude speedup compared with an existing software platform.


title: Blockchain-Powered Collaboration in Heterogeneous Swarms of Robots

abstract: One of the key challenges in the collaboration within heterogeneous multi-robot systems is the optimization of the amount and type of data to be shared between robots with different sensing capabilities and computational resources. In this paper, we present a novel approach to managing collaboration terms in heterogeneous multi-robot systems with blockchain technology. Leveraging the extensive research of consensus algorithms in the blockchain domain, we exploit key technologies in this field to be integrated for consensus in robotic systems. We propose the utilization of proof of work systems to have an online estimation of the available computational resources at different robots. Furthermore, we define smart contracts that integrate information about the environment from different robots in order to evaluate and rank the quality and accuracy of each of the robots' sensor data. This means that the key parameters involved in heterogeneous robotic collaboration are integrated within the Blockchain and estimated at all robots equally without explicitly sharing information about the robots' hardware or sensors. Trustability is based on the verification of data samples that are submitted to the blockchain within each data exchange transaction and validated by other robots operating in the same environment. Initial results are reported which show the viability of the concepts presented in this paper.


title: Security Framework for IoT Devices against Cyber-Attacks

abstract: Internet of Things (IoT) is the interconnection of heterogeneous smart devices through the Internet with diverse application areas. The huge number of smart devices and the complexity of networks has made it impossible to secure the data and communication between devices. Various conventional security controls are insufficient to prevent numerous attacks against these information-rich devices. Along with enhancing existing approaches, a peripheral defence, Intrusion Detection System (IDS), proved efficient in most scenarios. However, conventional IDS approaches are unsuitable to mitigate continuously emerging zero-day attacks. Intelligent mechanisms that can detect unfamiliar intrusions seems a prospective solution. This article explores popular attacks against IoT architecture and its relevant defence mechanisms to identify an appropriate protective measure for different networking practices and attack categories. Besides, a security framework for IoT architecture is provided with a list of security enhancement techniques.


title: Cross-Blockchain Databases for Governments: The Technology for Public Registries and Smart Laws

abstract: There is an ongoing competition among blockchain technologies and the existence of one ultimate blockchain is impossible for many reasons. On the other hand, such variety can create difficulties in adoption, especially for the governments and corporations. The proposed technology ensures a blockchain agnostic approach and aimed to create a unified ecosystem of multiple networks. The cross-blockchain protocol can be used to develop services where end-users decide for themselves their most preferred blockchain. The invention solves problems of duplication of tokens in the result of hardforks, issues with scalability, digital identity and even the "problem" of immutability (enforceability). A cross-blockchain DB means a consistent non-conflicting key-value database across a bunch of defined blockchains. It is not a new blockchain, but a protocol for developing databases on existing blockchains. The protocol is also a basis for a "smart law" which is a framework for public registries and their governance.


title: Laboratory Experiments on the Motion of Dense Dust Clouds

abstract: In laboratory experiments, we study the motion of levitated, sedimenting clouds of sub-mm grains at low ambient pressure and at high solid-to-gas ratios $\epsilon$. The experiments show a collective behavior of particles, i.e. grains in clouds settle faster than an isolated grain. In collective particle clouds, the sedimentation velocity linearly depends on $\epsilon$ and linearly depends on the particle closeness $C$. However, collective behavior only sets in at a critical value $\epsilon_{\rm crit}$ which linearly increases with the experiment Stokes number St. For $\rm St <0.003 $ particles always behave collectively. For large Stokes numbers, large solid-to-gas ratios are needed to trigger collective behavior, e.g. $\epsilon_{\rm crit} = 0.04$ at $\rm St = 0.01$. Applied to protoplanetary disks, particles in dense environments will settle faster. In balance with upward gas motions (turbulent diffusion, convection) the thickness of the midplane particle layer will be smaller than calculated based on individual grains, especially for dust. For pebbles, large solid-to-gas ratios are needed to trigger instabilities based on back-reaction.


title: Human-Robot Collaboration via Deep Reinforcement Learning of Real-World Interactions

abstract: We present a robotic setup for real-world testing and evaluation of human-robot and human-human collaborative learning. Leveraging the sample-efficiency of the Soft Actor-Critic algorithm, we have implemented a robotic platform able to learn a non-trivial collaborative task with a human partner, without pre-training in simulation, and using only 30 minutes of real-world interactions. This enables us to study Human-Robot and Human-Human collaborative learning through real-world interactions. We present preliminary results, showing that state-of-the-art deep learning methods can take human-robot collaborative learning a step closer to that of humans interacting with each other.


title: On eigenfunctions of the kernel $\frac{1}{2} + \lfloor \frac{1}{xy} \rfloor - \frac{1}{xy}$

abstract: The integral kernel $K(x,y) := \frac{1}{2} + \lfloor \frac{1}{xy} \rfloor - \frac{1}{xy}$ ($0<x,y\leq 1$) has connections with the Riemann zeta-function and a (recently observed) connection with the Mertens function. In this paper we begin a general study of the eigenfunctions of $K$. Our proofs utilise some classical real analysis (including Lebesgue's theory of integration) and elements of the established theory of square integrable symmetric integral kernels.


title: Model for disordered proteins with strongly sequence-dependent liquid phase behavior

abstract: Phase separation of intrinsically disordered proteins is important for the formation of membraneless organelles, or biomolecular condensates, which play key roles in the regulation of biochemical processes within cells. In this work, we investigated the phase separation of different sequences of a coarse-grained model for intrinsically disordered proteins and discovered a surprisingly rich phase behavior. We studied both the fraction of total hydrophobic parts and the distribution of hydrophobic parts. Not surprisingly, sequences with larger hydrophobic fractions showed conventional liquid-liquid phase separation. The location of the critical point was systematically influenced by the terminal beads of the sequence, due to changes in interfacial composition and tension. For sequences with lower hydrophobicity, we observed not only conventional liquid-liquid phase separation, but also reentrant phase behavior, in which the liquid phase density decreases at lower temperatures. For some sequences, we observed formation of open phases consisting of aggregates, rather than a normal liquid. These aggregates had overall lower densities than the conventional liquid phases, and exhibited complex geometries with large interconnected string-like or membrane-like clusters. Our findings suggest that minor alterations in the ordering of residues may lead to large changes in the phase behavior of the protein, a fact of significant potential relevance for biology.


title: Risk-Averse Action Selection Using Extreme Value Theory Estimates of the CVaR

abstract: In a wide variety of sequential decision making problems, it can be important to estimate the impact of rare events in order to minimize risk exposure. A popular risk measure is the conditional value-at-risk (CVaR), which is commonly estimated by averaging observations that occur beyond a quantile at a given confidence level. When this confidence level is very high, this estimation method can exhibit high variance due to the limited number of samples above the corresponding quantile. To mitigate this problem, extreme value theory can be used to derive an estimator for the CVaR that uses extrapolation beyond available samples. This estimator requires the selection of a threshold parameter to work well, which is a difficult challenge that has been widely studied in the extreme value theory literature. In this paper, we present an estimation procedure for the CVaR that combines extreme value theory and a recently introduced method of automated threshold selection by \cite{bader2018automated}. Under appropriate conditions, we estimate the tail risk using a generalized Pareto distribution. We compare empirically this estimation procedure with the commonly used method of sample averaging, and show an improvement in performance for some distributions. We finally show how the estimation procedure can be used in reinforcement learning by applying our method to the multi-arm bandit problem where the goal is to avoid catastrophic risk.


title: Communicating with Large Intelligent Surfaces: Fundamental Limits and Models

abstract: This paper analyzes the optimal communication involving large intelligent surfaces (LIS) starting from electromagnetic arguments. Since the numerical solution of the corresponding eigenfunctions problem is in general computationally prohibitive, simple but accurate analytical expressions for the link gain and available spatial degrees-of-freedom (DoF) are derived. It is shown that the achievable DoF and gain offered by the wireless link are determined only by geometric factors, and that the classical Friis' formula is no longer valid in this scenario where the transmitter and receiver could operate in the near-field regime. Furthermore, results indicate that, contrarily to classical MIMO systems, when using LIS-based antennas DoF larger than 1 can be exploited even in strong line-of-sight (LOS) channel conditions, which corresponds to a significant increase in spatial capacity density, especially when working at millimeter waves.


title: Sensitivity for four-body tau-lepton decays at Belle and Belle II experiments

abstract: We study the expected sensitivity at Belle and Belle II for four-body $\tau^\mp \to X^\pm l^\mp l^\mp \nu_{\tau}$ decays where $l=e$ or $\mu$ and $X=\pi$, $K$, $\rho$ and $K^*$ mesons. These decay processes violate the total lepton number ($|\Delta L|=2$ ) and they can be induced by the exchange of Majorana neutrinos. In particular, we consider lifetimes in the accessible ranges of $\tau_N$ = 5, 100 ps and extract the limits on $|V_{\ell N}|^2$ without any additional assumption on the relative size of the mixing matrix elements. For an integrated luminosity collected of 1 ab$^{-1}$ at Belle, we found significant sensitivity on branching fractions of the order BR($\tau^\mp \to X^\pm l^\mp l^\mp \nu_{\tau}$) $\sim 10^{-8}$. For an integrated luminosity expected of 50 ab$^{-1}$ and intermediate luminosity of 10 ab$^{-1}$ at the Belle II, we found significant sensitivity on branching fractions of the order BR($\tau^\mp \to X^\pm l^\mp l^\mp \nu_{\tau}$) $\sim 10^{-9}-10^{-8}$. We use these sensitivities to set limits for the exclusion regions on the parameter space $(m_N, |V_{\ell N}|^2)$ associated with the heavy neutrino; such that for a $|V_{\ell N}|^2 \sim \mathcal{O}(10^{-5})$ at $\tau_N = 100$ ps, we find the bounds as $0.140 < m_N < 1.776$ GeV for $\tau^- \to X^+ e^- e^- \nu_\tau$ and $0.245 < m_N < 1.671 $ GeV for $\tau^- \to X^+ \mu^- \mu^- \nu_\tau$.


title: Deep Learning based Switching Filter for Impulsive Noise Removal in Color Images

abstract: Noise reduction is one the most important and still active research topic in low-level image processing due to its high impact on object detection and scene understanding for computer vision systems. Recently, we can observe a substantial increase of interest in the application of deep learning algorithms in many computer vision problems due to its impressive capability of automatic feature extraction and classification. These methods have been also successfully applied in image denoising, significantly improving the performance, but most of the proposed approaches were designed for Gaussian noise suppression. In this paper, we present a switching filtering design intended for impulsive noise removal using deep learning. In the proposed method, the impulses are identified using a novel deep neural network architecture and noisy pixels are restored using the fast adaptive mean filter. The performed experiments show that the proposed approach is superior to the state-of-the-art filters designed for impulsive noise removal in digital color images.


title: Vortex dynamics in low- and high-extent polymer drag reduction regimes revealed by vortex tracking and conformation analysis

abstract: Turbulent flow profiles are known to change between low- (LDR) and high-extent drag reduction (HDR) regimes. It is however not until recently that the LDR-HDR transition is recognized as a fundamental change between two DR mechanisms. Although the onset of DR, which initiates the LDR stage, is explainable by a general argument of polymers suppressing vortices, the occurrence of HDR where flow statistics are qualitatively different and DR effects are observed across a much broader range of wall regions remains unexplained. Recent development of the vortex axis tracking by iterative propagation algorithm allows the detection and extraction of vortex axis-lines with various orientations and curvatures. This new tool is used in this study to analyze the vortex conformation and dynamics across the LDR-HDR transition. Polymer effects are shown to concentrate on vortices that are partially or completely attached to the wall. At LDR, this effect is an across-the-board weakening of vortices which lowers their intensity without shifting their distribution patterns. At HDR, polymers start to suppress the lift-up of streamwise vortices in the buffer layer and prevent their downstream heads from rising into the log-law layer and forming hairpins and other curved vortices. This interrupts the turbulent momentum transfer between the buffer and log-law layers, which offers a clear pathway for explaining the distinct mean flow profiles at HDR. The study depicts the first clear physical picture regarding the changing vortex dynamics between LDR and HDR, which is based on direct evidence from objective statistical analysis of vortex conformation and distribution.


title: Dynamical systems methods and statefinder diagnostic of interacting vacuum energy models

abstract: We study three interacting dark energy models within the framework of four-dimensional General Relativity and a spatially flat Universe. In particular, we first consider two vacuum models where dark energy interacts with dark matter, while relativistic matter as well as baryons are treated as non-interacting fluid components. Secondly, we investigate a third model where the gravitational coupling is assumed to be a slowly-varying function of the Hubble rate and dark energy and dark matter interact as well. We compute the statefinders parameters versus red-shift as well as the critical points and their nature applying dynamical systems methods. In the case of only an interaction term, our main findings indicate that i) significant differences between the models are observed as we increase the strength of the interaction term, and ii) all the models present an unique attractor corresponding to acceleration. On the other hand, when we allow for a variable gravitational coupling, we find that i) the deviation from the concordance model depends of both the strength of gravitational coupling parameter and the interaction term, and ii) there is an unique attractor corresponding to acceleration.


title: Large $N_c$ behaviour of lattice QCD in the heavy dense regime

abstract: Combining strong coupling and hopping expansion one can derive a dimensionally reduced effective theory of lattice QCD. This theory has a reduced sign problem, is amenable to analytic evaluation and was successfully used to study the cold and dense regime of QCD for sufficiently heavy quarks. We show results from the evaluation of the effective theory for arbitrary $N_c$ up to $\kappa^4$. The inclusion of gauge corrections is also investigated. We find that the onset transition to finite baryon number density steepens with growing $N_c$ even for $T \neq 0$. This suggests that in the large $N_c$ limit the onset transition is first order up to the deconfinement transition. Beyond the onset, the pressure is shown to scale as $p \sim N_c$ through three orders in the hopping expansion, which is characteristic for a phase termed quarkyonic matter in the literature.


title: Automated Predictions from Polarized Matrix Elements

abstract: The anticipated experimental resolution and data cache of the High Luminosity Large Hadron Collider will enable precision investigations of polarization in multiboson processes. This includes, for the first time, vector boson scattering. To facilitate such studies, we report the automation of polarized matrix element computations in the publicly available Monte Carlo tool suite, MadGraph5_aMC@NLO. This enables scattering and decay simulations involving helicity-polarized asymptotic or intermediate states, preserving both spin-correlation and off-shell effects. As demonstrations of the method, we investigate the leading order production and decay of polarized weak gauge bosons in the process $pp \to j j W^+_\lambda W^-_{\lambda'}$, with helicity eigenstates $(\lambda,\lambda')$ defined in various reference frames. We consider the Standard Model at both $\mathcal{O}(\alpha^4)$ and $\mathcal{O}(\alpha^2 \alpha_s^2)$ as well as a benchmark composite Higgs scenario. We report good agreement with polarization studies based on the On-Shell Projection (OSP) technique. Future capabilities are discussed.


title: GKZ-hypergeometric systems for Feynman integrals

abstract: Basing on the systems of linear partial differential equations derived from Mellin-Barnes representations and Miller's transformation, we obtain GKZ-hypergeometric systems of one-loop self energy, one-loop triangle, two-loop vacuum, and two-loop sunset diagrams, respectively. The codimension of derived GKZ-hypergeometric system equals the number of independent dimensionless ratios among the external momentum squared and virtual mass squared. Taking GKZ-hypergeometric systems of one-loop self energy, massless one-loop triangle, and two-loop vacuum diagrams as examples, we present in detail how to perform triangulation and how to construct canonical series solutions in the corresponding convergent regions. The series solutions constructed for these hypergeometric systems recover the well known results in literature.


title: SWIPT with Practical Modulation and RF Energy Harvesting Sensitivity

abstract: In this paper, we investigate the performance of simultaneous wireless information and power transfer (SWIPT) in a point-to-point system, adopting practical $M$-ary modulation. We take into account the fact that the receiver's radio-frequency (RF) energy harvesting circuit can only harvest energy when the received signal power is greater than a certain sensitivity level. For both power-splitting (PS) and time-switching (TS) schemes, we derive the energy harvesting performance as well as the information decoding performance for the Nakagami-$m$ fading channel. We also analyze the performance tradeoff between energy harvesting and information decoding by studying an optimization problem, which maximizes the information decoding performance and satisfies a constraint on the minimum harvested energy. Our analysis shows that (i) for the PS scheme, modulations with high peak-to-average power ratio achieve better energy harvesting performance, (ii) for the TS scheme, it is desirable to concentrate the power for wireless power transfer in order to minimize the non-harvested energy caused by the RF energy harvesting sensitivity level, and (iii) channel fading is beneficial for energy harvesting in both PS and TS schemes.


title: Fast Intent Classification for Spoken Language Understanding

abstract: Spoken Language Understanding (SLU) systems consist of several machine learning components operating together (e.g. intent classification, named entity recognition and resolution). Deep learning models have obtained state of the art results on several of these tasks, largely attributed to their better modeling capacity. However, an increase in modeling capacity comes with added costs of higher latency and energy usage, particularly when operating on low complexity devices. To address the latency and computational complexity issues, we explore a BranchyNet scheme on an intent classification scheme within SLU systems. The BranchyNet scheme when applied to a high complexity model, adds exit points at various stages in the model allowing early decision making for a set of queries to the SLU model. We conduct experiments on the Facebook Semantic Parsing dataset with two candidate model architectures for intent classification. Our experiments show that the BranchyNet scheme provides gains in terms of computational complexity without compromising model accuracy. We also conduct analytical studies regarding the improvements in the computational cost, distribution of utterances that egress from various exit points and the impact of adding more complexity to models with the BranchyNet scheme.


title: Birational geometry for the covering of a nilpotent orbit closure II

abstract: Let $O$ be a nilpotent orbit of a complex semisimple Lie algebra $\mathfrak{g}$ and let $\pi: X \to \bar{O}$ be the finite covering associated with the universal covering of $O$. In the previous article we have explicitly constructed a $\mathbf{Q}$-factorial terminalization $\tilde{X}$ of $X$ when $\mathfrak{g}$ is classical. In the present article, we count how many different $\mathbf{Q}$-factorial terminalizations $X$ has. We construct the universal Poisson deformation of $\tilde{X}$ over $H^2(\tilde{X}, \mathbf{C})$ and look at the action of the Weyl group $W(X)$ on $H^2(\tilde{X}, \mathbf{C})$. The main result is an explicit geometric description of $W(X)$.


title: Distance-Based Learning from Errors for Confidence Calibration

abstract: Deep neural networks (DNNs) are poorly calibrated when trained in conventional ways. To improve confidence calibration of DNNs, we propose a novel training method, distance-based learning from errors (DBLE). DBLE bases its confidence estimation on distances in the representation space. In DBLE, we first adapt prototypical learning to train classification models. It yields a representation space where the distance between a test sample and its ground truth class center can calibrate the model's classification performance. At inference, however, these distances are not available due to the lack of ground truth labels. To circumvent this by inferring the distance for every test sample, we propose to train a confidence model jointly with the classification model. We integrate this into training by merely learning from mis-classified training samples, which we show to be highly beneficial for effective learning. On multiple datasets and DNN architectures, we demonstrate that DBLE outperforms alternative single-model confidence calibration approaches. DBLE also achieves comparable performance with computationally-expensive ensemble approaches with lower computational cost and lower number of parameters.


title: HAMNER: Headword Amplified Multi-span Distantly Supervised Method for Domain Specific Named Entity Recognition

abstract: To tackle Named Entity Recognition (NER) tasks, supervised methods need to obtain sufficient cleanly annotated data, which is labor and time consuming. On the contrary, distantly supervised methods acquire automatically annotated data using dictionaries to alleviate this requirement. Unfortunately, dictionaries hinder the effectiveness of distantly supervised methods for NER due to its limited coverage, especially in specific domains. In this paper, we aim at the limitations of the dictionary usage and mention boundary detection. We generalize the distant supervision by extending the dictionary with headword based non-exact matching. We apply a function to better weight the matched entity mentions. We propose a span-level model, which classifies all the possible spans then infers the selected spans with a proposed dynamic programming algorithm. Experiments on all three benchmark datasets demonstrate that our method outperforms previous state-of-the-art distantly supervised methods.


title: Vortex axis tracking by iterative propagation (VATIP): a method for analysing three-dimensional turbulent structures

abstract: Vortex is a central concept in the understanding of turbulent dynamics. Objective algorithms for the detection and extraction of vortex structures can facilitate the physical understanding of turbulence regeneration dynamics by enabling automated and quantitative analyses of these structures. Despite the wide availability of vortex identification criteria, they only label spatial regions belonging to vortices, without any information on the identity, topology and shape of individual vortices. This latter information is stored in the axis lines lining the contours of vortex tubes. In this study, a new tracking algorithm is proposed which propagates along the vortex axis lines and iteratively searches for new directions for growth. The method is validated in flow fields from transient simulations where vortices of different shapes are controllably generated. It is then applied to statistical turbulence for the analysis of vortex configurations and distributions. It is shown to reliably extract axis lines for complex three-dimensional vortices generated from the walls. A new procedure is also proposed that classifies vortices into commonly observed shapes, including quasi-streamwise vortices, hairpins, hooks and branches, based on their axis-line topology. Clustering analysis is performed on the extracted axis lines to reveal vortex organization patterns and their potential connection to large-scale motions in turbulence.


title: Monotone homomorphisms on convolution semigroups

abstract: We study monotone homomorphisms on the semigroup of probability measures on $\mathbb{R}$, by which we mean maps to the reals that are monotone with respect to the stochastic order and additive under convolution. We show that scalar multiples of the expectation are the unique monotone homomorphisms on the semigroup of measures with finite $p$-th moment, for any $1 \le p < \infty$. We also prove that the entire semigroup of probability measures admits no non-zero monotone homomorphism.


title: ALFRED: A Benchmark for Interpreting Grounded Instructions for Everyday Tasks

abstract: We present ALFRED (Action Learning From Realistic Environments and Directives), a benchmark for learning a mapping from natural language instructions and egocentric vision to sequences of actions for household tasks. ALFRED includes long, compositional tasks with non-reversible state changes to shrink the gap between research benchmarks and real-world applications. ALFRED consists of expert demonstrations in interactive visual environments for 25k natural language directives. These directives contain both high-level goals like "Rinse off a mug and place it in the coffee maker." and low-level language instructions like "Walk to the coffee maker on the right." ALFRED tasks are more complex in terms of sequence length, action space, and language than existing vision-and-language task datasets. We show that a baseline model based on recent embodied vision-and-language tasks performs poorly on ALFRED, suggesting that there is significant room for developing innovative grounded visual language understanding models with this benchmark.


title: Properties of the Sachs electric form factor of the proton on the basis of recent $e-p$ scattering experiments and hydrogen spectroscopy

abstract: Recently published data on the Sachs electric form factor by the PRad collaboration (Nature {\bf 575}, 147-151) are analyzed to investigate their consistency with the known proton charge radius from muonic and electronic hydrogen spectroscopy, as well as theoretical predictions from dispersively improved chiral perturbation theory. It is shown that the latter is fully consistent with the data, and pointers are given how future $e-p$ scattering experiments can lead to an improvement of our knowledge of the form factor in the low-momentum-transfer regime.


title: Spin-orbit torque-mediated spin-wave excitation as an alternative paradigm for femtomagnetism

abstract: Laser-induced femtosecond demagnetization, femtomagnetism, offers a potential route to develop faster magnetic storage devices. It is generally believed that the traditional spin-wave theory, which is developed for thermally driven slow demagnetization, can not explain this rapid demagnetization by design. Here we show that this traditional spin-wave theory, once augmented by laser-induced spin-orbit torque, provides a highly efficient paradigm for demagnetization, by capturing low-energy spin-wave excitation that is absent in existing mechanisms. Our paradigm is different from existing ones, but does not exclude them. Microscopically, we find that optical spin-orbit torque generates massive spin waves across several hundred lattice sites, collapsing the long-range spin-spin correlation within 20 fs. Our finding does not only explain new experiments, but also establishes an alternative paradigm for femtomagnetism. It is expected to have far-reaching impacts on future research.


title: Formation of SMBH seeds in Pop III star clusters through collisions : the importance of mass loss

abstract: Runaway collisions in dense clusters may lead to the formation of supermassive black hole (SMBH) seeds, and this process can be further enhanced by accretion, as recent models of SMBH seed formation in Population III star clusters have shown. This may explain the presence of supermassive black holes already at high redshift, $z>6$. However, in this context, mass loss during collisions was not considered and could play an important role for the formation of the SMBH seed. Here, we study the effect of mass loss, due to collisions of protostars, in the formation and evolution of a massive object in a dense primordial cluster. We consider both constant mass loss fractions as well as analytic models based on the stellar structure of the collision components. Our calculations indicate that mass loss can significantly affect the final mass of the possible SMBH seed. Considering a constant mass loss of 5% for every collision, we can lose between 60-80% of the total mass that is obtained if mass loss were not considered. Using instead analytical prescriptions for mass loss, the mass of the final object is reduced by 15-40%, depending on the accretion model for the cluster we study. Altogether, we obtain masses of the order of $10^4M_{\odot}$, which are still massive enough to be SMBH seeds.


title: Proximal Newton Methods for X-Ray Imaging with Non-Smooth Regularization

abstract: Non-smooth regularization is widely used in image reconstruction to eliminate the noise while preserving subtle image structures. In this work, we investigate the use of proximal Newton (PN) method to solve an optimization problem with a smooth data-fidelity term and total variation (TV) regularization arising from image reconstruction applications. Specifically, we consider a nonlinear Poisson-modeled single-energy X-ray computed tomography reconstruction problem with the data-fidelity term given by the I-divergence. The PN algorithm is compared to state-of-the-art first-order proximal algorithms, such as the well-established fast iterative shrinkage and thresholding algorithm (FISTA), both in terms of the number of iterations and time to solutions. We discuss the key factors that influence the performance of PN, including the strength of regularization, the stopping criterion for both sub-problem and main-problem, and the use of exact or approximated Hessian operators.

categories: eess.SP cs.IT cs.NA math.IT math.NA math.OC


title: Measuring urban road network resilience to extreme events: an application for urban floods

abstract: Designing and maintaining resilient transportation systems rely on identifying potential vulnerabilities and inefficiencies before crises occur. However, given the complexity of transportation networks, as well as the diversity of ways in which systems can fail, the problem of assessing the impacts of exceptional phenomena still lacks tools and metrics for analysis. Therefore, this paper aims to present a method for assessing the behavior of road networks during crises in which segments are disabled or unusable for a time. The method proposed was structured around two metrics calculated from the road network and trip distribution: network continuity and efficiency of alternative. With these metrics, we assess, as an example, the local and global impacts of various flooding scenarios in a case study at S\~ao Carlos, a medium-sized Brazilian city in the state of S\~ao Paulo. Our findings indicate that pedestrian movements are significantly less impacted than motorized vehicles by floods in the city, which may be due to the car-oriented nature of the avenues closest to rivers, and the shortest average length of pedestrian trips. These findings and metrics set a framework for further research involving other cities and natural phenomena to enrich the understanding of resilience in urban transportation networks.


title: Casimir force induced by electromagnetic wave polarization in Kerr, G\"odel and Bianchi--I spacetimes

abstract: Electromagnetic waves propagation on either rotating or anisotropic spacetime backgrounds (such as Kerr and G\"odel metrics, or Bianchi-I metric) produce a reduction of the magnitude of Casimir forces between plates. These curved spacetimes behave as chiral or birefringent materials producing dispersion of electromagnetic waves, in such a way that right- and left-circularly polarized light waves propagate with different phase velocities. Results are explicitly calculated for discussed cases. The difference on the wavevectors of the two polarized electromagnetic waves produces an abatement of a Casimir force which depends on the interaction between the polarization of electromagnetic waves and the properties of the spacetime.


title: A Dataset Schema for Cooperative Learning from Demonstration in Multi-robots Systems

abstract: Multi-Agent Systems (MASs) have been used to solve complex problems that demand intelligent agents working together to reach the desired goals. These Agents should effectively synchronize their individual behaviors so that they can act as a team in a coordinated manner to achieve the common goal of the whole system. One of the main issues in MASs is the agents' coordination, being common domain experts observing MASs execution disapprove agents' decisions. Even if the MAS was designed using the best methods and tools for agents' coordination, this difference of decisions between experts and MAS is confirmed. Therefore, this paper proposes a new dataset schema to support learning the coordinated behavior in MASs from demonstration. The results of the proposed solution are validated in a Multi-Robot System (MRS) organizing a collection of new cooperative plans recommendations from the demonstration by domain experts.


title: Radiation hardness study for the COMET Phase-I electronics

abstract: Radiation damage on front-end readout and trigger electronics is an important issue in the COMET Phase-I experiment at J-PARC, which plans to search for the neutrinoless transition of a muon to an electron. To produce an intense muon beam, a high-power proton beam impinges on a graphite target, resulting in a high-radiation environment. We require radiation tolerance to a total dose of $1.0\,\mathrm{kGy}$ and $1\,\mathrm{MeV}$ equivalent neutron fluence of $1.0\times10^{12}\,\mathrm{n_{eq}\,cm^{-2}}$ including a safety factor of 5 over the duration of the physics measurement. The use of commercially-available electronics components which have high radiation tolerance, if such components can be secured, is desirable in such an environment. The radiation hardness of commercial electronic components has been evaluated in gamma-ray and neutron irradiation tests. As results of these tests, voltage regulators, ADCs, DACs, and several other components were found to have enough tolerance to both gamma-ray and neutron irradiation at the level we require.


title: Apparent superluminal core expansion and limb brightening in the candidate neutrino blazar TXS 0506+056

abstract: IceCube has reported a very-high-energy neutrino (IceCube-170922A) in a region containing the blazar TXS 0506+056. Correlated {\gamma}-ray activity has led to the first high-probability association of a high-energy neutrino with an extragalactic source. This blazar has been found to be in a radio outburst during the neutrino event. We have performed target-of-opportunity VLBI imaging observations at 43 GHz frequency with the VLBA two and eight months, respectively, after the neutrino event. We produced two images of TXS 0506+056 with angular resolutions of (0.2x1.1) mas and (0.2x0.5) mas, respectively. The source shows a compact, high brightness temperature core (albeit not approaching the equipartition limit) and a bright and originally very collimated inner jet. Beyond about 0.5 mas from the mm-VLBI core, the jet loses this tight collimation and expands rapidly. During the months after the neutrino event associated with this source, the overall flux density is rising. This flux density increase happens solely within the core. The core expands in size with apparent superluminal velocity during these six months so that the brightness temperature drops by a factor of three in spite of the strong flux density increase. The radio jet of TXS 0506+056 shows strong signs of deceleration and/or a spine-sheath structure within the inner 1 mas (corresponding to about 70 pc to 140 pc in deprojected distance) from the mm-VLBI core. This structure is consistent with theoretical models that attribute the neutrino and {\gamma}-ray production to interactions of electrons and protons in the highly-relativistic jet spine with external photons originating from a slower-moving jet region. Proton loading due to jet-star interactions in the inner host galaxy is suggested as the possible cause of deceleration


title: Black holes with a nonconstant kinetic term in degenerate higher-order scalar tensor theories

abstract: We investigate static and spherically symmetric black hole (BH) solutions in shift-symmetric quadratic-order degenerate higher-order scalar-tensor (DHOST) theories. We allow a nonconstant kinetic term $X=g^{\mu\nu} \partial_\mu\phi\partial_\nu \phi$ for the scalar field $\phi$ and assume that $\phi$ is, like the spacetime, a pure function of the radial coordinate $r$, namely $\phi=\phi(r)$. First, we find analytic static and spherically symmetric vacuum solutions in the so-called {\it Class Ia} DHOST theories, which include the quartic Horndeski theories as a subclass. We consider several explicit models in this class and apply our scheme to find the exact vacuum BH solutions. BH solutions obtained in our analysis are neither Schwarzschild or Schwarzschild (anti-) de Sitter. We show that a part of the BH solutions obtained in our analysis are free of ghost and Laplacian instabilities and are also mode stable against the odd-parity perturbations. Finally, we argue the case that the scalar field has a linear time dependence $\phi=qt+\psi (r)$ and show several simple examples of nontrivial BH solutions with a nonconstant kinetic term obtained analytically and numerically.


title: Polynomial time guarantees for the Burer-Monteiro method

abstract: The Burer-Monteiro method is one of the most widely used techniques for solving large-scale semidefinite programs (SDP). The basic idea is to solve a nonconvex program in $Y$, where $Y$ is an $n \times p$ matrix such that $X = Y Y^T$. In this paper, we show that this method can solve SDPs in polynomial time in a smoothed analysis setting. More precisely, we consider an SDP whose domain satisfies some compactness and smoothness assumptions, and slightly perturb the cost matrix and the constraints. We show that if $p \gtrsim \sqrt{2(1+\eta)m}$, where $m$ is the number of constraints and $\eta>0$ is any fixed constant, then the Burer-Monteiro method can solve SDPs to any desired accuracy in polynomial time, in the setting of smooth analysis. Our bound on $p$ approaches the celebrated Barvinok-Pataki bound in the limit as $\eta$ goes to zero, beneath which it is known that the nonconvex program can be suboptimal. Previous analyses were unable to give polynomial time guarantees for the Burer-Monteiro method, since they either assumed that the criticality conditions are satisfied exactly, or ignored the nontrivial problem of computing an approximately feasible solution. We address the first problem through a novel connection with tubular neighborhoods of algebraic varieties. For the feasibility problem we consider a least squares formulation, and provide the first guarantees that do not rely on the restricted isometry property.


title: On Computational Poisson Geometry I: Symbolic Foundations

abstract: We present a computational toolkit for (local) Poisson-Nijenhuis calculus on manifolds. Our python module $\textsf{PoissonGeometry}$ implements our algorithms, and accompanies this paper. We include two examples of how our methods can be used, one for gauge transformations of Poisson bivectors in dimension 3, and a second one that determines parametric Poisson bivector fields in dimension 4.


title: Radio Burst and Circular Polarization Studies of the Solar Corona at Low Frequencies

abstract: Low-frequency (80-240 MHz) radio observations of the solar corona are presented using the Murchison Widefield Array (MWA), and several discoveries are reported. The corona is reviewed, followed by chapters on Type III bursts and circularly-polarized quiescent emission. The second chapter details new Type III burst dynamics. One source component at higher frequencies splits into two at lower frequencies, where the two components rapidly diverge. This is attributed to electron beams traversing a divergent magnetic field configuration, which is supported by extreme ultraviolet jet observations outlining a coronal null point. The third chapter uses Type III burst heights as density probes. Harmonic plasma emission implies ~4x enhancements over background models. This can be explained by electron beams traveling along dense fibers or by propagation effects that elevate apparent source heights. The quiescent corona is compared to model predictions to conclude that propagation effects can largely but not entirely explain the apparent density enhancements. The fourth chapter surveys over 100 spectropolarimetric observing runs. Around 700 compact sources are detected with polarization fractions from less than 0.5% to nearly 100%. They are interpreted as plasma emission noise storm sources down to levels not previously observable. A "bullseye" structure is reported for coronal holes, where an outer ring surrounds an oppositely-polarized central component that does not match the sign expected of thermal bremsstrahlung. The large-scale polarization structure is shown to be well-correlated with that of a global magnetic field model. The last chapter summarizes results and outlines future work. A preliminary comparison of polarization images to model predictions is shared, along with coronal mass ejection observations revealing a radio arc that is morphologically similar to the white-light structure.


title: Multi-Scan Implementation of the Trajectory Poisson Multi-Bernoulli Mixture Filter

abstract: The Poisson multi-Bernoulli mixture (PMBM) and the multi-Bernoulli mixture (MBM) are two multi-target distributions for which closed-form filtering recursions exist. The PMBM has a Poisson birth process, whereas the MBM has a multi-Bernoulli birth process. This paper considers a recently developed formulation of the multi-target tracking problem using a random finite set of trajectories, through which the track continuity is explicitly established. A multi-scan trajectory PMBM filter and a multi-scan trajectory MBM filter, with the ability to correct past data association decisions to improve current decisions, are presented. In addition, a multi-scan trajectory $\text{MBM}_{01}$ filter, in which the existence probabilities of all Bernoulli components are either 0 or 1, is presented. This paper proposes an efficient implementation that performs track-oriented $N$-scan pruning to limit computational complexity, and uses dual decomposition to solve the involved multi-frame assignment problem. The performance of the presented multi-target trackers, applied with an efficient fixed-lag smoothing method, are evaluated in a simulation study.


title: Sharp Hardy space estimates for multipliers

abstract: We provide an improvement of Calder\'on and Torchinsky's version of the H\"ormander multiplier theorem on Hardy spaces $H^p$ ($0<p<\infty$), by replacing the Sobolev space $L_s^2(A_0)$ by the Lorentz-Sobolev space $L_s^{\tau^{(s,p)} ,\min(1,p) }(A_0)$, where $\tau^{(s,p)} =\frac{n}{s-(n/\min{(1,p)}-n)}$ and $A_0$ is the annulus $\{\xi \in \mathbb{R}^n: 1/2<|\xi|<2\}$. Our theorem also extends that of Grafakos and Slav\'ikov\'a to the range $0<p\le 1$. Our result is sharp in the sense that the preceding Lorentz-Sobolev space cannot be replaced by a smaller Lorentz-Sobolev space $L^{r,q}_s(A_0)$ with $r< \tau^{(s,p)} $ or $q>\min(1,p)$.


title: Symmetries of the C*-algebra of a vector bundle

abstract: We consider $C^*$-algebras constructed from compact group actions on complex vector bundles $E\to X$ endowed with a Hermitian metric. An action of $G$ by isometries on $E\to X$ induces an action on the $C^*$-correspondence $\Gamma(E)$ over $C(X)$ consisting of continuous sections, and on the associated Cuntz-Pimsner algebra $\mathcal O_E$, so we can study the crossed product $\mathcal O_E\rtimes G$. If the action is free and rank $E=n$, then we prove that $\mathcal O_E\rtimes G$ is Morita-Rieffel equivalent to a field of Cuntz algebras $\mathcal O_n$ over the orbit space $X/G$. If the action is fiberwise, then $\mathcal O_E\rtimes G$ becomes a continuous field of crossed products $\mathcal O_n\rtimes G$. For transitive actions, we show that $\mathcal O_E\rtimes G$ is Morita-Rieffel equivalent to a graph $C^*$-algebra.


title: On the equality of periods of Kontsevich-Zagier

abstract: Effective periods were defined by Kontsevich and Zagier as complex numbers whose real and imaginary parts are values of absolutely convergent integrals of $\mathbb{Q}$-rational functions over $\mathbb{Q}$-semi-algebraic domains in $\mathbb{R}^d$. The Kontsevich-Zagier period conjecture states that any two different integral expressions of a period are related by a finite sequence of transformations only using three rules respecting the rationality of functions and domains: integral addition by integrands or domains, change of variables and Stokes' formula. In this paper, we introduce two geometric interpretations of this conjecture, seen as a generalization of Hilbert's third problem involving either compact semi-algebraic sets or rational polyhedra equipped with piece-wise algebraic forms. Based on known partial results for analogous Hilbert's third problems, we study possible geometric schemes to prove this conjecture and their potential obstructions.


title: Physically Interpretable Neural Networks for the Geosciences: Applications to Earth System Variability

abstract: Neural networks have become increasingly prevalent within the geosciences, although a common limitation of their usage has been a lack of methods to interpret what the networks learn and how they make decisions. As such, neural networks have often been used within the geosciences to most accurately identify a desired output given a set of inputs, with the interpretation of what the network learns used as a secondary metric to ensure the network is making the right decision for the right reason. Neural network interpretation techniques have become more advanced in recent years, however, and we therefore propose that the ultimate objective of using a neural network can also be the interpretation of what the network has learned rather than the output itself. We show that the interpretation of neural networks can enable the discovery of scientifically meaningful connections within geoscientific data. In particular, we use two methods for neural network interpretation called backwards optimization and layerwise relevance propagation, both of which project the decision pathways of a network back onto the original input dimensions. To the best of our knowledge, LRP has not yet been applied to geoscientific research, and we believe it has great potential in this area. We show how these interpretation techniques can be used to reliably infer scientifically meaningful information from neural networks by applying them to common climate patterns. These results suggest that combining interpretable neural networks with novel scientific hypotheses will open the door to many new avenues in neural network-related geoscience research.

categories: physics.ao-ph cs.AI physics.data-an stat.ML


title: A family of fractional diffusion equations derived from stochastic harmonic chains with long-range interactions

abstract: We consider one-dimensional infinite chains of harmonic oscillators with stochastic perturbations and long-range interactions which have polynomial decay rate $|x|^{-\theta}, x \to \infty, \theta > 1$, where $x \in \mathbb{Z}$ is the interaction range. We prove that if $2< \theta \le 3$, then the time evolution of the macroscopic thermal energy distribution is superdiffusive and governed by a fractional diffusion equation with exponent $\frac{3}{7-\theta}$, while if $\theta > 3$, then the exponent is $\frac{3}{4}$. The threshold is $ \theta = 3$ because the derivative of the dispersion relation diverges as $k \to 0$ when $\theta \le 3$.


title: From conjugacy classes in the Weyl group to representations

abstract: We define a map from the set of conjugacy classes of a Weyl group W to the representation ring of W tensored with the ring of polynomials in one variable.


title: Transfer matrix approach to determining the linear response of all-fiber networks of cavity-QED systems

abstract: A semiclassical model is presented for characterizing the linear response of elementary quantum optical systems involving cavities, optical fibers, and atoms. Formulating the transmission and reflection spectra using a scattering-wave (transfer matrix) approach, the calculations become easily scalable. To demonstrate how useful this method is, we consider the example of a simple quantum network, i.e., two cavity-QED systems connected via an optical fiber. Differences between our quasi-exact transfer matrix approach and a single-mode, linearized quantum-optical model are demonstrated for parameters relevant to recent experiments with coupled nanofiber-cavity-QED systems.


title: Conv-MPN: Convolutional Message Passing Neural Network for Structured Outdoor Architecture Reconstruction

abstract: This paper proposes a novel message passing neural (MPN) architecture Conv-MPN, which reconstructs an outdoor building as a planar graph from a single RGB image. Conv-MPN is specifically designed for cases where nodes of a graph have explicit spatial embedding. In our problem, nodes correspond to building edges in an image. Conv-MPN is different from MPN in that 1) the feature associated with a node is represented as a feature volume instead of a 1D vector; and 2) convolutions encode messages instead of fully connected layers. Conv-MPN learns to select a true subset of nodes (i.e., building edges) to reconstruct a building planar graph. Our qualitative and quantitative evaluations over 2,000 buildings show that Conv-MPN makes significant improvements over the existing fully neural solutions. We believe that the paper has a potential to open a new line of graph neural network research for structured geometry reconstruction.


title: Percolation of three fluids on a honeycomb lattice

abstract: In this paper, we consider a generalization of percolation: percolation of three related fluids on a honeycomb lattice. K. Izyurov and A. Magazinov proved that percolations of distinct fluids between opposite sides on a fixed hexagon become mutually independent as the lattice step tends to 0. This paper exposes this proof in details (with minor simplifications) for nonspecialists. In addition, we state a few related conjectures based on numerical experiments.


title: Generalized Blind Spots for Dark Matter Direct Detection in the 2HDM

abstract: In this paper we study the presence of generalized blind spots, i.e. regions of the parameter space where the spin-independent cross section for dark matter direct detection is suppressed, in the context of a generic 2HDM and a minimal fermionic Higgs-portal dark sector. To this end, we derive analytical expressions for the couplings of the dark matter to the light and heavy Higgses, and thus for the blind spot solutions. Unlike the case of a standard Higgs sector, blind spots can occur even without a cancellation between different contributions, while keeping unsuppressed and efficient the annihilation processes in the early Universe involving Higgs states. As a consequence, the allowed parameter space is dramatically enhanced.


title: The Potential of Quantum Annealing for Rapid Solution Structure Identification

abstract: The recent emergence of novel computational devices, such as quantum computers, coherent Ising machines, and digital annealers presents new opportunities for hardware-accelerated hybrid optimization algorithms. Unfortunately, demonstrations of unquestionable performance gains leveraging novel hardware platforms have faced significant obstacles. One key challenge is understanding the algorithmic properties that distinguish such devices from established optimization approaches. Through the careful design of contrived optimization tasks, this work provides new insights into the computation properties of quantum annealing and suggests that this model has the potential to quickly identify the structure of high-quality solutions. A meticulous comparison to a variety of algorithms spanning both complete and local search suggests that quantum annealing's performance on the proposed optimization tasks is distinct. This result provides new insights into the time scales and types of optimization problems where quantum annealing has the potential to provide notable performance gains over established optimization algorithms and suggests the development of hybrid algorithms that combine the best features of quantum annealing and state-of-the-art classical approaches.


title: A mathematical theory of gapless edges of 2d topological orders. Part II

abstract: This is the second part of a two-part work on the unified mathematical theory of gapped and gapless edges of 2+1D topological orders. In Part I, we have developed the mathematical theory of chiral gapless edges. In Part II, we study boundary-bulk relation and non-chiral gapless edges. In particular, we explain how the notion of the center of an enriched monoidal category naturally emerges from the boundary-bulk relation. After the study of 0+1D gapless walls, we give the complete boundary-bulk relation for 2+1D topological orders with chiral gapless edges (including gapped edges) and 0d walls between edges. This relation is stated precisely and proved rigorously as a monoidal equivalence, which generalizes the functoriality of the usual Drinfeld center to an enriched setting. We also develop the mathematical theory of non-chiral gapless edges and 0+1D walls, and explain how to gap out certain non-chiral 1+1D gapless edges and 0+1D gapless walls categorically. In the end, we show that all anomaly-free 1+1D boundary-bulk rational CFT's can be recovered from 2d topological orders with chiral gapless edges via a dimensional reduction process. This provides physical meanings to some mysterious connections between mathematical results in fusion categories and those in rational CFT's.


title: Discrete and Ultradiscrete Mixed Soliton Solutions

abstract: We propose a new type of soliton equation, which is obtained from the generalized discrete BKP equation. The obtained equation admits two types of soliton solutions. The signs of amplitude and velocity of the soliton solution are opposite to the other. We also propose the ultradiscrete analogues of them. The ultradiscrete equation also admits the similar properties. In particular it behaves the original Box-Ball system in a special case.


title: Deep Physiological State Space Model for Clinical Forecasting

abstract: Clinical forecasting based on electronic medical records (EMR) can uncover the temporal correlations between patients' conditions and outcomes from sequences of longitudinal clinical measurements. In this work, we propose an intervention-augmented deep state space generative model to capture the interactions among clinical measurements and interventions by explicitly modeling the dynamics of patients' latent states. Based on this model, we are able to make a joint prediction of the trajectories of future observations and interventions. Empirical evaluations show that our proposed model compares favorably to several state-of-the-art methods on real EMR data.


title: A note on semi-infinite program bounding methods

abstract: Semi-infinite programs are a class of mathematical optimization problems with a finite number of decision variables and infinite constraints. As shown by Blankenship and Falk (Blankenship and Falk. "Infinitely constrained optimization problems." Journal of Optimization Theory and Applications 19.2 (1976): 261-281.), a sequence of lower bounds which converges to the optimal objective value may be obtained with specially constructed finite approximations of the constraint set. In (Mitsos. "Global optimization of semi-infinite programs via restriction of the right-hand side." Optimization 60.10-11 (2011): 1291-1308.), it is claimed that a modification of this lower bounding method involving approximate solution of the lower-level program yields convergent lower bounds. We show with a counterexample that this claim is false, and discuss what kind of approximate solution of the lower-level program is sufficient for correct behavior.


title: An Accelerated-Decomposition Approach for Security-Constrained Unit Commitment with Corrective Network Reconfiguration

abstract: Security-constrained unit commitment (SCUC) model is used for power system day-ahead scheduling. However, current SCUC model uses a static network to deliver power and meet demand optimally. A dynamic network can provide a lower optimal cost and alleviate network congestion. However, due to the computational complexity and the lack of effective algorithms, network reconfiguration has not been included in the SCUC model yet. This paper presents a novel approach to handle the computational complexity in security-constrained unit commitment (SCUC) with corrective network reconfiguration (CNR) while considering the scalability through accelerated-decomposition approach with fast screening non-critical sub-problems of SCUC-CNR. The proposed approach provides substantial computational benefits and is also applicable to SCUC. Simulation results on the IEEE 24-bus system show that the proposed methods are substantially faster without the loss in solution quality while the scalability benefits are demonstrated using larger cases: the IEEE 73-bus system, IEEE 118-bus system and Polish system.


title: Universal approximation of symmetric and anti-symmetric functions

abstract: We consider universal approximations of symmetric and anti-symmetric functions, which are important for applications in quantum physics, as well as other scientific and engineering computations. We give constructive approximations with explicit bounds on the number of parameters with respect to the dimension and the target accuracy $\epsilon$. While the approximation still suffers from the curse of dimensionality, to the best of our knowledge, these are the first results in the literature with explicit error bounds for functions with symmetry or anti-symmetry constraints.


title: Stochastic Renormalization Group and Gradient Flow in Scalar Field Theory

abstract: Recently, the connections between gradient flow and renormalization group have been explored analytically and numerically. Gradient flow (when modified by a field rescaling) can be characterized as a continuous blocking transformation. In this work, we draw a connection between gradient flow and functional renormalization group by describing how FRG can be represented by a stochastic process, and how the stochastic observables relate to gradient flow observables. The relation implies correlator scaling formulae that can be applied numerically in lattice simulations. We present preliminary results on anomalous dimensions obtained from such measurements in the context of 3-dimensional lattice $\phi^4$ theory.


title: Millimeter Wave Massive MIMO Downlink Per-Group Communications with Hybrid Linear Precoding

abstract: We address the problem of analyzing and classifying in groups the downlink channel environment in a millimeter-wavelength cell, accounting for path loss, multipath fading, and User Equipment (UE) blocking, by employing a hybrid propagation and multipath fading model, thus using accurate inter-group interference modeling. The base station (BS) employs a large Uniform Planar Array (UPA) to facilitate massive Multiple-Input, Multiple-Output (MIMO) communications with high efficiency. UEs are equipped with a single antenna and are distributed uniformly within the cell. The key problem is analyzing and defining groups toward precoding. Because equitable type of throughput is desired between groups, Combined Frequency and Spatial Division and Multiplexing (CFSDM) prevails as necessary. We show that by employing three subcarrier frequencies, the UEs can be efficiently separated into high throughput groups, with each group employing Virtual Channel Model Beams (VCMB) based inner precoding, followed by efficient Multi-User Multiple-Input Multiple-Output (MU-MIMO) outer precoders. For each group, we study three different sub-grouping methods offering different advantages. We show that the improvement offered by Zero-Forcing Per-Group Precoding (ZF-PGP) over Zero-Forcing Precoding (ZFP) is very high.


title: Cosmological evolution of viable models in the generalized scalar-tensor theory

abstract: We investigate the parameter distributions of the viable generalized scalar-tensor theory with conventional dust matter after GW170817 in a model-independent way. We numerically construct the models by computing the time evolution of a scalar field, which leads to a positive definite second-order Hamiltonian and are consistent with the observed Hubble parameter. We show the model parameter distributions in the degenerate higher-order scalar-tensor (DHOST) theory, and its popular subclasses, e.g., Horndeski and GLPV theories, etc.. We find that 1) the Planck mass run rate, $\alpha_M$, is insensitive to distinguish the theories. 2) the kinetic-braiding parameter, $\alpha_B$, clearly discriminates the models from those of the Horndeski theory, 3) the parameters for the higher-order theories, $\alpha_H$ and $\beta_1$, are relatively smaller in magnitude (by several factors) than $\alpha_M$ and $\alpha_B$, but can still be used for discriminating the theories except for the GLPV theory. Based on the above three facts, we propose a minimal set of parameters that sensibly distinguishes the subclasses of DHOST theories, ($\alpha_M$, $\alpha_B-\alpha_M/2$, $\beta_1$).


title: Population Pharmacokinetic Study of Tacrolimus in Pediatric Patients with Primary Nephrotic Syndrome: A Comparison of Linear and Nonlinear Michaelis Menten Pharmacokinetic Model

abstract: Background Little is known about the population pharmacokinetics (PPK) of tacrolimus (TAC) in pediatric primary nephrotic syndrome (PNS). This study aimed to compare the predictive performance between nonlinear and linear PK models and investigate the significant factors of TAC PK characteristics in pediatric PNS. Methods Data were obtained from 71 pediatric patients with PNS, along with 525 TAC trough concentrations at steady state. The demographic, medical, and treatment details were collected. Genetic polymorphisms were analyzed. The PPK models were developed using nonlinear mixed effects model software. Two modeling strategies, linear compartmental and nonlinear Michaelis Menten (MM) models, were evaluated and compared. Results Body weight, age, daily dose of TAC, co-therapy drugs (including azole antifungal agents and diltiazem), and CYP3A5*3 genotype were important factors in the final linear model (onecompartment model), whereas only body weight, codrugs, and CYP3A5*3 genotype were the important factors in the nonlinear MM model. Apparent clearance and volume of distribution in the final linear model were 7.13 L/h and 142 L, respectively. The maximal dose rate (Vmax) of the nonlinear MM model was 1.92 mg/day and the average concentration at steady state at half-Vmax (Km) was 1.98 ng/mL. The nonlinear model described the data better than the linear model. Dosing regimens were proposed based on the nonlinear PK model.Conclusion Our findings demonstrate that the nonlinear MM model showed better predictive performance than the linear compartmental model, providing reliable support for optimizing TAC dosing and adjustment in children with PNS.


title: Electrostatic turbulence and Debye-scale structures in collisionless shocks

abstract: We present analysis of more than one hundred large-amplitude bipolar electrostatic structures in a quasi-perpendicular supercritical Earth's bow shock crossing, measured by the Magnetospheric Multiscale spacecraft. The occurrence of the bipolar structures is shown to be tightly correlated with magnetic field gradients in the shock transition region. The bipolar structures have negative electrostatic potentials and spatial scales of a few Debye lengths. The bipolar structures propagate highly oblique to the shock normal with velocities (in the plasma rest frame) of the order of the ion-acoustic velocity. We argue that the bipolar structures are ion phase space holes produced by the two-stream instability between incoming and reflected ions. This is the first identification of the ion two-stream instability in collisionless shocks. The implications for electron acceleration are discussed.