title: Recoil Analysis for Heavy Ion Beams

abstract: Given that there are 94 clinics and more than 200,000 patients treated worldwide, proton and carbon are the most used heavily charged particles in heavy ion therapy. However, there is a recent increasing trend in using new ion beams. Each heavy ion has a different effect on the target. As each heavy ion moves through the tissue, they lose enormous energy in collisions, so their range is not long. Ionization accounts for the majority of this loss in energy. During this interaction of the heavily charged particles with the target, the particles do not only ionize, but also lose energy with the recoil. Recoil occurs by atom-to-atom collisions. With these collisions, crystalline atoms react with different combinations and form cascades in accordance with their energies. Thus, secondary particles create ionization and recoil. In this study, recoil values of boron, carbon, nitrogen and oxygen beams in the water phantom were computed in the energy range of 2.0-2.5 GeV using Monte Carlo simulation and the results were compared with carbon. It was observed that there is a regular increase in the recoil peak amplitude for carbon and boron ions, unlike oxygen and nitrogen where such a regularity could not be seen. Moreover, the gaps in the crystal structure increased as the energy increases.


title: Learning Synthetic Environments for Reinforcement Learning with Evolution Strategies

abstract: This work explores learning agent-agnostic synthetic environments (SEs) for Reinforcement Learning. SEs act as a proxy for target environments and allow agents to be trained more efficiently than when directly trained on the target environment. We formulate this as a bi-level optimization problem and represent an SE as a neural network. By using Natural Evolution Strategies and a population of SE parameter vectors, we train agents in the inner loop on evolving SEs while in the outer loop we use the performance on the target task as a score for meta-updating the SE population. We show empirically that our method is capable of learning SEs for two discrete-action-space tasks (CartPole-v0 and Acrobot-v1) that allow us to train agents more robustly and with up to 60% fewer steps. Not only do we show in experiments with 4000 evaluations that the SEs are robust against hyperparameter changes such as the learning rate, batch sizes and network sizes, we also show that SEs trained with DDQN agents transfer in limited ways to a discrete-action-space version of TD3 and very well to Dueling DDQN.


title: Hafnian of two-parameter matrices

abstract: The concept of the hafnian first appeared in the works on quantum field theory by E. R. Caianiello. However, it also has an important combinatorial property: the hafnian of the adjacency matrix of an undirected weighted graph is equal to the total sum of the weights of perfect matchings in this graph. In general, the use of the hafnian is limited by the complexity of its computation. In this paper, we present an efficient method for the exact calculation of the hafnian of two-parameter matrices. In terms of graphs, we count the total sum of the weights of perfect matchings in graphs whose edge weights take only two values. This method is based on the formula expressing the hafnian of a sum of two matrices through the product of the hafnians of their submatrices. The necessary condition for the application of this method is the possibility to count the number of k-edge matchings in some graphs. We consider two special cases in detail using a Toeplitz matrix as the two-parameter matrix. As an example, we propose a new interpretation of some of the sequences from the On-Line Encyclopedia of Integer Sequences and then provide new analytical formulas to count the number of certain linear chord diagrams.


title: Improving Continuous-time Conflict Based Search

abstract: Conflict-Based Search (CBS) is a powerful algorithmic framework for optimally solving classical multi-agent path finding (MAPF) problems, where time is discretized into the time steps. Continuous-time CBS (CCBS) is a recently proposed version of CBS that guarantees optimal solutions without the need to discretize time. However, the scalability of CCBS is limited because it does not include any known improvements of CBS. In this paper, we begin to close this gap and explore how to adapt successful CBS improvements, namely, prioritizing conflicts (PC), disjoint splitting (DS), and high-level heuristics, to the continuous time setting of CCBS. These adaptions are not trivial, and require careful handling of different types of constraints, applying a generalized version of the Safe interval path planning (SIPP) algorithm, and extending the notion of cardinal conflicts. We evaluate the effect of the suggested enhancements by running experiments both on general graphs and $2^k$-neighborhood grids. CCBS with these improvements significantly outperforms vanilla CCBS, solving problems with almost twice as many agents in some cases and pushing the limits of multiagent path finding in continuous-time domains.


title: Cut--free sequent calculus and natural deduction for the tetravalent modal logic

abstract: The {\em tetravalent modal logic} ($\cal TML$) is one of the two logics defined by Font and Rius (\cite{FR2}) (the other is the {\em normal tetravalent modal logic} ${\cal TML}^N$) in connection with Monteiro's tetravalent modal algebras. These logics are expansions of the well--known {\em Belnap--Dunn's four--valued logic} that combine a many-valued character (tetravalence) with a modal character. In fact, $\cal TML$ is the logic that preserve degrees of truth with respect to tetravalent modal algebras. As Font and Rius observed, the connection between the logic $\cal TML$ and the algebras is not so good as in ${\cal TML}^N$, but, as a compensation, it has a better proof-theoretic behavior, since it has a strongly adequate Gentzen calculus (see \cite{FR2}). In this work, we prove that the sequent calculus given by Font and Rius does not enjoy the cut--elimination property. Then, using a general method proposed by Avron, Ben-Naim and Konikowska (\cite{Avron02}), we provide a sequent calculus for $\cal TML$ with the cut--elimination property. Finally, inspired by the latter, we present a {\em natural deduction} system, sound and complete with respect to the tetravalent modal logic.


title: Audio-Visual Biometric Recognition and Presentation Attack Detection: A Comprehensive Survey

abstract: Biometric recognition is a trending technology that uses unique characteristics data to identify or verify/authenticate security applications. Amidst the classically used biometrics, voice and face attributes are the most propitious for prevalent applications in day-to-day life because they are easy to obtain through restrained and user-friendly procedures. The pervasiveness of low-cost audio and face capture sensors in smartphones, laptops, and tablets has made the advantage of voice and face biometrics more exceptional when compared to other biometrics. For many years, acoustic information alone has been a great success in automatic speaker verification applications. Meantime, the last decade or two has also witnessed a remarkable ascent in face recognition technologies. Nonetheless, in adverse unconstrained environments, neither of these techniques achieves optimal performance. Since audio-visual information carries correlated and complementary information, integrating them into one recognition system can increase the system's performance. The vulnerability of biometrics towards presentation attacks and audio-visual data usage for the detection of such attacks is also a hot topic of research. This paper made a comprehensive survey on existing state-of-the-art audio-visual recognition techniques, publicly available databases for benchmarking, and Presentation Attack Detection (PAD) algorithms. Further, a detailed discussion on challenges and open problems is presented in this field of biometrics.


title: Growth of subsolutions to fully nonlinear equations in halfspaces

abstract: We characterize lower growth estimates for subsolutions in halfspaces of fully nonlinear partial differential equations on the form $$ F(x,u,Du,D^2u) = 0 $$ in terms of solutions to ordinary differential equations built solely upon a growth assumption on $F$. Using this characterization we derive several sharp Phragmen-Lindel\"of-type theorems for certain classes of well known PDEs. The equation need not be uniformly elliptic nor homogeneous and we obtain results both in case the subsolution is bounded or unbounded. Among our results we retrieve classical estimates in the halfspace for $p$-subharmonic functions and extend those to more general equations; we prove sharp growth estimates, in terms of $k$ and the asymptotic behaviour of $\int_{0}^{R} C(s) ds$, for subsolutions of equations allowing for sublinear growth in the gradient of the form $C(|x|)|Du|^k$ with $k\geq 1$; we establish a Phragmen-Lindel\"of theorem for weak subsolutions of the variable exponent $p$-Laplace equation in halfspaces, $1 < p(x) < \infty$, $p(x) \in C^1$, of which we conclude sharpness by finding the "slowest growing" $p(x)$-harmonic function together with its corresponding family of $p(x)$-exponents. The paper ends with a discussion of our results from the point of view of a spatially dependent diffusion problem.


title: Characterization of the energy level-structure of a trapped dipolar Bose gas via mean-field parametric resonances

abstract: We report parametric resonances (PRs) in the mean-field dynamics of a one-dimensional dipolar Bose-Einstein condensate (DBEC) in widely varying trapping geometries. The chief goal is to characterize the energy levels of this system by analytical methods and the significance of this study arises from the commonly known fact that in the presence of interactions the energy levels of a trapped BEC are hard to calculate analytically. The latter characterization is achieved by a matching of the PR energies to energy levels of the confining trap using perturbative methods. Further, this work reveals the role of the interplay between dipole-dipole interactions (DDI) and trapping geometry in defining the energies and amplitudes of the PRs. The PRs are induced by a negative Gaussian potential whose depth oscillates with time. Moreover, the DDI play a role in this induction. The dynamics of this system is modeled by the time-dependent Gross- Pitaevskii equation (TDGPE) that is numerically solved by the Crank-Nicolson method. The PRs are discussed basing on analytical methods: first, it is shown that it is possible to reproduce PRs by the Lagrangian variational method that are similar to the ones obtained from TDGPE. Second, the energies at which the PRs arise are closely matched with the energy levels of the corresponding trap calculated by time-independent perturbation theory. Third, the most probable transitions between the trap energy levels yielding PRs are determined by time-dependent perturbation theory. The most significant result of this work is that we have been able to characterize the above mentioned energy levels of a DBEC in a complex trapping potential.


title: Enhancing the accuracy of a data-driven reconstruction of bivariate jump-diffusion models with corrections for higher orders of the sampling interval

abstract: We evaluate the significance of a recently proposed bivariate jump-diffusion model for a data-driven characterization of interactions between complex dynamical systems. For various coupled and non-coupled jump-diffusion processes, we find that the inevitably finite sampling interval of time-series data negatively affects the reconstruction accuracy of higher-order conditional moments that are required to reconstruct the underlying jump-diffusion equations. We derive correction terms for conditional moments in higher orders of the sampling interval and demonstrate their suitability to strongly enhance the data-driven reconstruction accuracy.


title: End-of-Life Inventory Management Problem: Results and Insights

abstract: We consider a manufacturer who manages the end-of-life phase and takes one of the three actions at each period: (1) place an order, (2) use existing inventory, (3) stop holding inventory and use an outside/alternative source. Two examples of this source are discounts for a new generation product and delegating operations. Demand is described by a non-homogeneous Poisson process, and the decision to stop holding inventory is described by a stopping time. After formulating this problem as an optimal stopping problem with additional decisions and presenting its dynamic programming algorithm, we use martingale theory to facilitate the calculation of the value function. Moreover, we show analytical results to understand the additional difficulties of the problem solved, as well as structural results on optimal stopping times. Furthermore, we devise an expandable taxonomy and categorize the models in the literature. Analytical insights from the models as well as an extensive numerical analysis show the value of our approach. The results indicate that the loss can be high in case the manufacturer does not exploit flexibility in placing orders or use an outside source. Several managerial insights are obtained through numerical analysis as well as structural results to facilitate decision-making during the end-of-life horizon.


title: Twists, crossed products and inverse semigroup cohomology

abstract: Twisted \'etale groupoid algebras have been studied recently in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper, we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups and we show that they are classified by Lausch's second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists. We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.


title: Grassman manifolds as subsets of Euclidean spaces

abstract: We consider the Grassman manifold $G(E)$ as the subset of all orthogonal projections of a given Euclidean space $E$ and obtain some explicit formulas concerning the differential geometry of $G(E)$ as a submanifold of $L(E,E)$ endowed with the Hilbert-Schmidt inner product. Most of these formulas can be naturally extended to the infinite dimensional Hilbert space case.


title: Wage Rigidity and Retirement in Optimal Portfolio Choice

abstract: We study an agent's lifecycle portfolio choice problem with stochastic labor income, borrowing constraints and a finite retirement date. Similarly to arXiv:2002.00201, wages evolve in a path-dependent way, but the presence of a finite retirement time leads to a novel, two-stage infinite dimensional stochastic optimal control problem with explicit optimal controls in feedback form. This is possible as we find an explicit solution to the associated Hamilton-Jacobi-Bellman (HJB) equation, which is an infinite dimensional PDE of parabolic type. The identification of the optimal feedbacks is delicate due to the presence of time-dependent state constraints, which appear to be new in the infinite dimensional stochastic control literature. The explicit solution allows us to study the properties of optimal strategies and discuss their implications for portfolio choice. As opposed to models with Markovian dynamics, path dependency can now modulate the hedging demand arising from the implicit holding of risky assets in human capital, leading to richer asset allocation predictions consistent with wage rigidity and the agents learning about their earning potential.


title: A splitting result for real submanifolds of a Kahler manifold

abstract: Let $(Z,\omega)$ be a connected Kahler manifold with an holomorphic action of the complex reductive Lie group $U^{\mathbb C}$, where $U$ is a compact connected Lie group acting in a hamiltonian fashion. Let $G$ be a closed compatible Lie group of $U^{\mathbb C}$ and let $M$ be a $G$-invariant connected submanifold of $Z$. Let $x\in M$. If $G$ is a real form of $U^{\mathbb C}$, we investigate conditions such that $G\cdot x$ compact implies $U^{\mathbb C} \cdot x$ is compact as well. The vice-versa is also investigated. We also characterize $G$-invariant real submanifolds such that the norm square of the gradient map is constant. As an application, we prove a splitting result for real connected submanifolds of $(Z,\omega)$ generalizing a result proved in \cite{pg}, see also \cite{bg,bs}.


title: Asymptotic conservation law with Feynman boundary condition

abstract: Recently it was shown that classical electromagnetism admits new asymptotic conservation laws \cite{2007.03627}. In this paper we derive the analogue of the first of these asymptotic conservation laws upon imposing Feynman boundary condition on the radiative field. We also show that the Feynman solution at $\mathcal{O}(e^3)$ contains purely imaginary modes falling off as $\lbrace \frac{\log u}{u^nr}, n\geq 0\rbrace$ which are absent in the retarded solution. The $\log u$ mode has also appeared in \cite{1903.09133,1912.10229} and violates the Ashtekar-Struebel fall offs for the radiative field\cite{AS}. We expect that new $\frac{(\log u)^m}{u^mr}$-modes would appear in the Feynman solution at order $\mathcal{O}(e^{2m+1})$. Thus, all the other modes are expected to preserve the Ashtekar-Struebel fall offs.


title: An Extended Galerkin analysis in finite element exterior calculus

abstract: For the Hodge--Laplace equation in finite element exterior calculus, we introduce several families of discontinuous Galerkin methods in the extended Galerkin framework. For contractible domains, this framework utilizes seven fields and provides a unifying inf-sup analysis with respect to all discretization and penalty parameters. It is shown that the proposed methods can be hybridized as a reduced two-field formulation.


title: Recognizing Visibility Graphs of Triangulated Irregular Networks

abstract: A Triangulated Irregular Network (TIN) is a data structure that is usually used for representing and storing monotone geographic surfaces, approximately. In this representation, the surface is approximated by a set of triangular faces whose projection on the XY-plane is a triangulation. The visibility graph of a TIN is a graph whose vertices correspond to the vertices of the TIN and there is an edge between two vertices if their corresponding vertices on TIN see each other, i.e. the segment that connects these vertices completely lies above the TIN. Computing the visibility graph of a TIN and its properties have been considered thoroughly in the literature. In this paper, we consider this problem in reverse: Given a graph G, is there a TIN with the same visibility graph as G? We show that this problem is Complete for Existential Theory of The Reals.


title: Invariants of linear control systems with analytic matrices and the linearizability problem

abstract: The paper continues the authors' study of the linearizability problem for nonlinear control systems. In the recent work [K. Sklyar, Systems Control Lett. 134 (2019), 104572], conditions on mappability of a nonlinear control system to a preassigned linear system with analytic matrices were obtained. In the present paper we solve more general problem on linearizability conditions without indicating a target linear system. To this end, we give a description of invariants for linear non-autonomous single-input controllable systems with analytic matrices, which allow classifying such systems up to transformations of coordinates. This study leads to one problem from the theory of linear ordinary differential equations with meromorphic coefficients. As a result, we obtain a criterion for mappability of nonlinear control systems to linear control systems with analytic matrices.


title: Currency Network Risk

abstract: This paper identifies new currency risk stemming from a network of idiosyncratic option-based currency volatilities and shows how such network risk is priced in the cross-section of currency returns. A portfolio that buys net-receivers and sells net-transmitters of short-term linkages between currency volatilities generates a significant Sharpe ratio. The network strategy formed on causal connections is uncorrelated with popular benchmarks and generates a significant alpha, while network returns formed on aggregate connections, which are driven by a strong correlation component, are partially subsumed by standard factors. Long-term linkages are priced less, indicating a downward-sloping term structure of network risk.


title: Magneto-optical characterization of trions in symmetric InP-based quantum dots for quantum communication applications

abstract: Magneto-optical parameters of trions in novel large and symmetric InP-based quantum dots, uncommon for molecular beam epitaxy grown nanostructures, with emission in the third telecom window, are measured in Voigt and Faraday configurations of external magnetic field. The diamagnetic coefficients are found to be in the range of 1.5-4 {\mu}eV/{\T^2}, and 8-15 {\mu}eV/{\T^2}, respectively out of plane and in plane of the dots. The determined values of diamagnetic shifts are related to the anisotropy of dot sizes. Trion g-factors are measured to be relatively small, in the range of 0.3-0.7 and 0.5-1.3, in both configurations respectively. Analysis of single carrier g-factors, based on the formalism of spin-correlated orbital currents, leads to the similar values for hole and electron of {\sim} 0.25 for Voigt and {\g_e} {\approx} -5; {\g_h} {\approx} +6 for Faraday configuration of magnetic field. Values of g-factors close to zero measured in Voigt configuration make the investigated dots promising for electrical tuning of g-factor sign, required for schemes of single spin control in qubit applications.


title: On the oracle complexity of smooth strongly convex minimization

abstract: We construct a family of functions suitable for establishing lower bounds on the oracle complexity of first-order minimization of smooth strongly-convex functions. Based on this construction, we derive new lower bounds on the complexity of strongly-convex minimization under various inaccuracy criteria. The new bounds match the known upper bounds up to a constant factor, and when the inaccuracy of a solution is measured by its distance to the solution set, the new lower bound exactly matches the upper bound obtained by the recent Information-Theoretic Exact Method by the same authors, thereby establishing the exact oracle complexity for this class of problems.


title: An optimal gradient method for smooth strongly convex minimization

abstract: We present an optimal gradient method for smooth strongly convex optimization. The method is optimal in the sense that its worst-case bound on the distance to an optimal point exactly matches the lower bound on the oracle complexity for the class of problems, meaning that no black-box first-order method can have a better worst-case guarantee without further assumptions on the class of problems at hand. In addition, we provide a constructive recipe for obtaining the algorithmic parameters of the method and illustrate that it can be used for deriving methods for other optimality criteria as well.


title: Long-time asymptotics for an integrable evolution equation with a $3 \times 3$ Lax pair

abstract: We derive a Riemann--Hilbert representation for the solution of an integrable nonlinear evolution equation with a $3 \times 3$ Lax pair. We use the derived representation to obtain formulas for the long-time asymptotics.


title: A Novel Two-stage Framework for Extracting Opinionated Sentences from News Articles

abstract: This paper presents a novel two-stage framework to extract opinionated sentences from a given news article. In the first stage, Naive Bayes classifier by utilizing the local features assigns a score to each sentence - the score signifies the probability of the sentence to be opinionated. In the second stage, we use this prior within the HITS (Hyperlink-Induced Topic Search) schema to exploit the global structure of the article and relation between the sentences. In the HITS schema, the opinionated sentences are treated as Hubs and the facts around these opinions are treated as the Authorities. The algorithm is implemented and evaluated against a set of manually marked data. We show that using HITS significantly improves the precision over the baseline Naive Bayes classifier. We also argue that the proposed method actually discovers the underlying structure of the article, thus extracting various opinions, grouped with supporting facts as well as other supporting opinions from the article.


title: Classic versus deep learning approaches to address computer vision challenges

abstract: Computer vision and image processing address many challenging applications. While the last decade has seen deep neural network architectures revolutionizing those fields, early methods relied on 'classic', i.e., non-learned approaches. In this study, we explore the differences between classic and deep learning (DL) algorithms to gain new insight regarding which is more suitable for a given application. The focus is on two challenging ill-posed problems, namely faint edge detection and multispectral image registration, studying recent state-of-the-art DL and classic solutions. While those DL algorithms outperform classic methods in terms of accuracy and development time, they tend to have higher resource requirements and are unable to perform outside their training space. Moreover, classic algorithms are more transparent, which facilitates their adoption for real-life applications. As both classes of approaches have unique strengths and limitations, the choice of a solution is clearly application dependent.


title: Iterative Greedy Matching for 3D Human Pose Tracking from Multiple Views

abstract: In this work we propose an approach for estimating 3D human poses of multiple people from a set of calibrated cameras. Estimating 3D human poses from multiple views has several compelling properties: human poses are estimated within a global coordinate space and multiple cameras provide an extended field of view which helps in resolving ambiguities, occlusions and motion blur. Our approach builds upon a real-time 2D multi-person pose estimation system and greedily solves the association problem between multiple views. We utilize bipartite matching to track multiple people over multiple frames. This proofs to be especially efficient as problems associated with greedy matching such as occlusion can be easily resolved in 3D. Our approach achieves state-of-the-art results on popular benchmarks and may serve as a baseline for future work.


title: Existence and stability of kayaking orbits for nematic liquid crystals in simple shear flow

abstract: We use geometric methods of equivariant dynamical systems to address a long-standing open problem in the theory of nematic liquid crystals, namely a proof of the existence and asymptotic stability of kayaking periodic orbits for which the principal axis of orientation of the molecular field (the director) rotates around the vorticity axis in response to steady shear flow. With a small parameter attached to the symmetric part of the velocity gradient, the problem can be viewed as a symmetry-breaking bifurcation from an orbit of the rotation group~$\SO(3)$ that contains both logrolling (equilibrium) and tumbling (periodic rotation of the director within the plane of shear) regimes as well as a continuum of kayaking orbits. The results turn out to require expansion to second order in the perturbation parameter.


title: Numerical issues in maximum likelihood parameter estimation for Gaussian process interpolation

abstract: This article investigates the origin of numerical issues in maximum likelihood parameter estimation for Gaussian process (GP) interpolation and investigates simple but effective strategies for improving commonly used open-source software implementations. This work targets a basic problem but a host of studies, particularly in the literature of Bayesian optimization, rely on off-the-shelf GP implementations. For the conclusions of these studies to be reliable and reproducible, robust GP implementations are critical.


title: Marginal speed confinement resolves the conflict between correlation and control in natural flocks of birds

abstract: Speed fluctuations of individual birds in natural flocks are moderate, due to the aerodynamic and biomechanical constraints of flight. Yet the spatial correlations of such fluctuations are scale-free, namely they have a range as wide as the entire group, a property linked to the capacity of the system to collectively respond to external perturbations. Scale-free correlations and moderate fluctuations set conflicting constraints on the mechanism controlling the speed of each agent, as the factors boosting correlation amplify fluctuations, and vice versa. Here, using a statistical field theory approach, we suggest that a marginal speed confinement that ignores small deviations from the natural reference value while ferociously suppressing larger speed fluctuations, is able to reconcile scale-free correlations with biologically acceptable group's speed. We validate our theoretical predictions by comparing them with field experimental data on starling flocks with group sizes spanning an unprecedented interval of over two orders of magnitude.


title: Notes on Monotone Recognition in Multi-Valued Grids

abstract: Implementation details of method of monotone recognition, based on partitioning of the grid into the discrete structures isomorphic to binary cubes is presented.


title: Deployable, Data-Driven Unmanned Vehicle Navigation System in GPS-Denied, Feature-Deficient Environments

abstract: This paper presents a novel data-driven navigation system to navigate an Unmanned Vehicle (UV) in GPS-denied, feature-deficient environments such as tunnels, or mines. The method utilizes landmarks that vehicle can deploy and measure range from to enable localization as the vehicle traverses its pre-defined path through the tunnel. A key question that arises in such scenario is to estimate and reduce the number of landmarks that needs to be deployed for localization before the start of the mission, given some information about the environment. The main focus is to keep the maximum position uncertainty at a desired value. In this article, we develop a novel vehicle navigation system in GPS-denied, feature-deficient environment by combining techniques from estimation, machine learning, and mixed-integer convex optimization. This article develops a novel, systematic method to perform localization and navigate the UV through the environment with minimum number of landmarks while maintaining desired localization accuracy. We also present extensive simulation experiments on different scenarios that corroborate the effectiveness of the proposed navigation system.


title: On random digraphs and cores

abstract: An acyclic homomorphism of a digraph $C$ to a digraph $D$ is a function $\rho\colon V(C)\to V(D)$ such that for every arc $uv$ of $C$, either $\rho(u)=\rho(v)$, or $\rho(u)\rho(v)$ is an arc of $D$ and for every vertex $v\in V(D)$, the subdigraph of $C$ induced by $\rho^{-1}(v)$ is acyclic. A digraph $D$ is a core if the only acyclic homomorphisms of $D$ to itself are automorphisms. In this paper, we prove that for certain choices of $p(n)$, random digraphs $D\in D(n,p(n))$ are asymptotically almost surely cores. For digraphs, this mirrors a result from [A. Bonato and P. Pra{\l}at, The good, the bad, and the great: homomorphisms and cores of random graphs, Discrete Math., 309 (2009), no. 18, 5535-5539; MR2567955] concerning random graphs and cores.


title: AQuA: Analytical Quality Assessment for Optimizing Video Analytics Systems

abstract: Millions of cameras at edge are being deployed to power a variety of different deep learning applications. However, the frames captured by these cameras are not always pristine - they can be distorted due to lighting issues, sensor noise, compression etc. Such distortions not only deteriorate visual quality, they impact the accuracy of deep learning applications that process such video streams. In this work, we introduce AQuA, to protect application accuracy against such distorted frames by scoring the level of distortion in the frames. It takes into account the analytical quality of frames, not the visual quality, by learning a novel metric, classifier opinion score, and uses a lightweight, CNN-based, object-independent feature extractor. AQuA accurately scores distortion levels of frames and generalizes to multiple different deep learning applications. When used for filtering poor quality frames at edge, it reduces high-confidence errors for analytics applications by 17%. Through filtering, and due to its low overhead (14ms), AQuA can also reduce computation time and average bandwidth usage by 25%.


title: Some $q$-supercongruences modulo the square and cube of a cyclotomic polynomial

abstract: Two $q$-supercongruences of truncated basic hypergeometric series containing two free parameters are established by employing specific identities for basic hypergeometric series. The results partly extend two $q$-supercongruences that were earlier conjectured by the same authors and involve $q$-supercongruences modulo the square and the cube of a cyclotomic polynomial. One of the newly proved $q$-supercongruences is even conjectured to hold modulo the fourth power of a cyclotomic polynomial.


title: Computability of the Channel Reliability Function and Related Bounds

abstract: The channel reliability function is an important tool that characterizes the reliable transmission of messages over communication channels. For many channels, only upper and lower bounds of the function are known. We analyze the computability of the reliability function and its related functions. We show that the reliability function is not a Turing computable performance function. The same also applies to the functions related to the sphere packing bound and the expurgation bound. Furthermore, we consider the $R_\infty$ function and the zero-error feedback capacity, since they play an important role in the context of the reliability function. Both the $R_\infty$ function and the zero-error feedback capacity are not Banach Mazur computable.


title: RomeBERT: Robust Training of Multi-Exit BERT

abstract: BERT has achieved superior performances on Natural Language Understanding (NLU) tasks. However, BERT possesses a large number of parameters and demands certain resources to deploy. For acceleration, Dynamic Early Exiting for BERT (DeeBERT) has been proposed recently, which incorporates multiple exits and adopts a dynamic early-exit mechanism to ensure efficient inference. While obtaining an efficiency-performance tradeoff, the performances of early exits in multi-exit BERT are significantly worse than late exits. In this paper, we leverage gradient regularized self-distillation for RObust training of Multi-Exit BERT (RomeBERT), which can effectively solve the performance imbalance problem between early and late exits. Moreover, the proposed RomeBERT adopts a one-stage joint training strategy for multi-exits and the BERT backbone while DeeBERT needs two stages that require more training time. Extensive experiments on GLUE datasets are performed to demonstrate the superiority of our approach. Our code is available at https://github.com/romebert/RomeBERT.


title: Entropy Partial Transport with Tree Metrics: Theory and Practice

abstract: Optimal transport (OT) theory provides powerful tools to compare probability measures. However, OT is limited to nonnegative measures having the same mass, and suffers serious drawbacks about its computation and statistics. This leads to several proposals of regularized variants of OT in the recent literature. In this work, we consider an \textit{entropy partial transport} (EPT) problem for nonnegative measures on a tree having different masses. The EPT is shown to be equivalent to a standard complete OT problem on a one-node extended tree. We derive its dual formulation, then leverage this to propose a novel regularization for EPT which admits fast computation and negative definiteness. To our knowledge, the proposed regularized EPT is the first approach that yields a \textit{closed-form} solution among available variants of unbalanced OT. For practical applications without priori knowledge about the tree structure for measures, we propose tree-sliced variants of the regularized EPT, computed by averaging the regularized EPT between these measures using random tree metrics, built adaptively from support data points. Exploiting the negative definiteness of our regularized EPT, we introduce a positive definite kernel, and evaluate it against other baselines on benchmark tasks such as document classification with word embedding and topological data analysis. In addition, we empirically demonstrate that our regularization also provides effective approximations.


title: Peculiarities in quantification of airborne particulate matter by means of Total Reflection X-ray Fluorescence

abstract: Knowledge on the temporal and size distribution of particulate matter (PM) in air as well as on its elemental composition is a key information for source appointment, for the investigation of their influence on environmental processes and for providing valid data for climate models. A prerequisite is that size fractionated sampling times of few hours must be achieved such that anthropogenic and natural emissions can be correctly identified. While cascade impactors allow for time- and size-resolved collection of airborne PM, total reflection X-ray fluorescence (TXRF) allows for element-sensitive investigation of low sample amounts thanks to its detection sensitivity. However, during quantification by means of TXRF it is crucial to be aware of the limits of TXRF in order to identify situations where collection times or pollution levels were exceedingly long or high. It will be shown by means of grazing incidence X-ray fluorescence (GIXRF), where different reflection conditions are probed, that a self consistent quantification of elemental mass depositions can be performed in order to validate or identify issues in quantification by means of TXRF. Furthermore, monitors of validity for a reliable quantification of the elemental composition of PM by means of TXRF will be introduced. The methodological approach presented can be transferred to tabletop instrumentation in order to guarantee a reliable quantification on an element sensitive basis of the PM collected. This aspect is highly relevant for defining appropriate legislation and measures for health and climate protection and for supporting their enforcement and monitoring.


title: Hecke operators in Bredon (co)homology, K-(co)homology and Bianchi groups

abstract: In this article we provide a framework for the study of Hecke operators acting on the Bredon (co)homology of an arithmetic discrete group. Our main interest lies in the study of Hecke operators for Bianchi groups. Using the Baum-Connes conjecture, we can transfer computations in Bredon homology to obtain a Hecke action on the $K$-theory of the reduced $C^{*}$-algebra of the group. We show the power of this method giving explicit computations for the group $SL_2(\mathbb{Z}[i])$. In order to carry out these computations we use an Atiyah-Segal type spectral sequence together with the Bredon homology of the classifying space for proper actions.


title: The six functors for Zariski-constructible sheaves in rigid geometry

abstract: We prove a generic smoothness result in rigid analytic geometry over a characteristic zero nonarchimedean field. The proof relies on a novel notion of generic points in rigid analytic geometry which are well-adapted to "spreading out" arguments, in analogy with the use of generic points in scheme theory. As an application, we develop a six functor formalism for Zariski-constructible \'etale sheaves on characteristic zero rigid spaces. Among other things, this implies that characteristic zero rigid spaces support a well-behaved theory of perverse sheaves.


title: High-Performance HZO/InAlN/GaN MIS-HEMT with fT/fmax of 155/250 GHz

abstract: Scaling of GaN high-electron-mobility transistors (HEMTs) usually increases gate leakage current and deteriorates breakdown characteristic, limiting the maximum drain current and output power density. These bottlenecks can be circumvented by inserting a dielectric material under the gate of HEMTs. Doped HfO2 is an excellent dielectric material but unexplored so far as the gate material of HEMTs for high-speed device application. Here we demonstrate that Zr-doped HfO2 (HZO)-gated InAlN/GaN metal-insulator-semiconductor (MIS) HEMTs exhibit remarkable properties. The device with a gate length (Lg) of 50 nm exhibits maximum drain current (Id,max) of 2.15 A/mm, a transconductance (gm) peak of 476 mS/mm, an on/off current ratio (Ion/Ioff) of 9.3*107, a low drain-induced barrier lowing (DIBL) of 45 mV/V. RF characterizations reveal a current gain cutoff frequency (fT) of 155 GHz and a maximum oscillation frequency (fmax) of 250 GHz, resulting in a (fT*fmax)1/2 of 197 GHz.These properties, particularly the high (fT/fmax)1/2 and JFOM are highly desirable for the millimeter-wave power applications, demonstrating the great technological potential of HZO/InAlN/GaN MIS-HEMTs.


title: Remnant Radio Galaxies Discovered in a Multi-frequency Survey

abstract: The remnant phase of a radio galaxy begins when the jets launched from an active galactic nucleus are switched off. To study the fraction of radio galaxies in a remnant phase, we take advantage of a $8.31$\,deg$^2$ sub-region of the GAMA~23~field which comprises of surveys covering the frequency range 0.1--9\,GHz. We present a sample of 104 radio galaxies compiled from observations conducted by the Murchison Wide-field Array (216\,MHz), the Australia Square Kilometer Array Pathfinder (887\,MHz), and the Australia Telescope Compact Array (5.5\,GHz). We adopt an `absent radio core' criterion to identify 10 radio galaxies showing no evidence for an active nucleus. We classify these as new candidate remnant radio galaxies. Seven of these objects still display compact emitting regions within the lobes at 5.5\,GHz; at this frequency the emission is short-lived, implying a recent jet switch-off. On the other hand, only three show evidence of aged lobe plasma by the presence of an ultra-steep spectrum ($\alpha<-1.2$) and a diffuse, low surface-brightness radio morphology. The predominant fraction of young remnants is consistent with a rapid fading during the remnant phase. Within our sample of radio galaxies, our observations constrain the remnant fraction to $4\%\lesssim f_{\mathrm{rem}} \lesssim 10\%$; the lower limit comes from the limiting case in which all remnant candidates with hotspots are simply active radio galaxies with faint, undetected radio cores. Finally, we model the synchrotron spectrum arising from a hotspot to show they can persist for 5--10\,Myr at 5.5\,GHz after the jets switch off -- radio emission arising from such hotspots can therefore be expected in an appreciable fraction of genuine remnants.


title: The Alexander-Hirschowitz theorem and related problems

abstract: We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we could not find in the literature). Also, considering our intended audience, we have added (a) short appendices to make this survey more accessible and (b) a few open problems related to the Alexander-Hirschowitz theorem and the interpolation problems.


title: Analysing the Noise Model Error for Realistic Noisy Label Data

abstract: Distant and weak supervision allow to obtain large amounts of labeled training data quickly and cheaply, but these automatic annotations tend to contain a high amount of errors. A popular technique to overcome the negative effects of these noisy labels is noise modelling where the underlying noise process is modelled. In this work, we study the quality of these estimated noise models from the theoretical side by deriving the expected error of the noise model. Apart from evaluating the theoretical results on commonly used synthetic noise, we also publish NoisyNER, a new noisy label dataset from the NLP domain that was obtained through a realistic distant supervision technique. It provides seven sets of labels with differing noise patterns to evaluate different noise levels on the same instances. Parallel, clean labels are available making it possible to study scenarios where a small amount of gold-standard data can be leveraged. Our theoretical results and the corresponding experiments give insights into the factors that influence the noise model estimation like the noise distribution and the sampling technique.


title: Novel pentaquark picture for singly heavy baryons from chiral symmetry

abstract: We propose a new type of structure for singly heavy baryons of $Qqq\bar{q}q$ in addition to the conventional one of $Qqq$. Based on chiral symmetry of the light quarks, we show that the $Qqq\bar{q}q$ baryon offers a novel picture for heavy quark spin-singlet and flavor-antisymmetric baryons. By making use of the effective Lagrangian approach, we find $\Lambda_c(2765)$ and $\Xi_c(2967)$ are mostly $Qqq\bar{q}q$ while $\Lambda_c(2286)$ and $\Xi_c(2470)$ are mostly $Qqq$. The masses of negative-parity baryons are predicted. We also derive a sum rule and the extended Goldberger-Treiman relation that the masses of the baryons satisfy. Furthermore, a mass degeneracy of parity partners of the baryons with the restoration of chiral symmetry is discussed. These are the unique features that the conventional picture of radial excitation in the quark model does not accommodate. Our findings provide useful information not only for future experiments but also for future lattice simulations on diquarks.


title: Belief-based Generation of Argumentative Claims

abstract: When engaging in argumentative discourse, skilled human debaters tailor claims to the beliefs of the audience, to construct effective arguments. Recently, the field of computational argumentation witnessed extensive effort to address the automatic generation of arguments. However, existing approaches do not perform any audience-specific adaptation. In this work, we aim to bridge this gap by studying the task of belief-based claim generation: Given a controversial topic and a set of beliefs, generate an argumentative claim tailored to the beliefs. To tackle this task, we model the people's prior beliefs through their stances on controversial topics and extend state-of-the-art text generation models to generate claims conditioned on the beliefs. Our automatic evaluation confirms the ability of our approach to adapt claims to a set of given beliefs. In a manual study, we additionally evaluate the generated claims in terms of informativeness and their likelihood to be uttered by someone with a respective belief. Our results reveal the limitations of modeling users' beliefs based on their stances, but demonstrate the potential of encoding beliefs into argumentative texts, laying the ground for future exploration of audience reach.


title: An innovative integral field unit upgrade with 3D-printed micro-lenses for the RHEA at Subaru

abstract: In the new era of Extremely Large Telescopes (ELTs) currently under construction, challenging requirements drive spectrograph designs towards techniques that efficiently use a facility's light collection power. Operating in the single-mode (SM) regime, close to the diffraction limit, reduces the footprint of the instrument compared to a conventional high-resolving power spectrograph. The custom built injection fiber system with 3D-printed micro-lenses on top of it for the replicable high-resolution exoplanet and asteroseismology spectrograph at Subaru in combination with extreme adaptive optics of SCExAO, proved its high efficiency in a lab environment, manifesting up to ~77% of the theoretical predicted performance.


title: Delta sets and polynomial identities in pointed Hopf algebras

abstract: We survey a vast array of known results and techniques in the area of polynomial identities in pointed Hopf algebras. Some new results are proven in the setting of Hopf algebras that appeared in papers of D. Radford and N. Andruskiewitsch - H.-J. Schneider.


title: Amicable Heron triangles

abstract: A Heron triangle is a triangle whose side lengths and area are integers. Two Heron triangles are amicable if the perimeter of one is the area of the other. We show, using elementary techniques, that there is only one pair of amicable Heron triangles.


title: A Removal Lemma for Ordered Hypergraphs

abstract: We prove a removal lemma for induced ordered hypergraphs, simultaneously generalizing Alon--Ben-Eliezer--Fischer's removal lemma for ordered graphs and the induced hypergraph removal lemma. That is, we show that if an ordered hypergraph $(V,G,<)$ has few induced copies of a small ordered hypergraph $(W,H,\prec)$ then there is a small modification $G'$ so that $(V,G',<)$ has no induced copies of $(W,H,\prec)$. (Note that we do \emph{not} need to modify the ordering $<$.) We give our proof in the setting of an ultraproduct (that is, a Keisler graded probability space), where we can give an abstract formulation of hypergraph removal in terms of sequences of $\sigma$-algebras. We then show that ordered hypergraphs can be viewed as hypergraphs where we view the intervals as an additional notion of a ``very structured'' set. Along the way we give an explicit construction of the bijection between the ultraproduct limit object and the corresponding hyerpgraphon.


title: On multiplicative energy of subsets of varieties

abstract: We obtain a non--trivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to growth of conjugates classes, estimates of exponential sums and the restriction phenomenon.


title: Investigating new forms of gravity-matter couplings in the gravitational field equations

abstract: This paper proposes a toy model where, in the Einstein equations, the right-hand side is modified by the addition of a term proportional to the symmetrized partial contraction of the Ricci tensor with the energy-momentum tensor, while the left-hand side remains equal to the Einstein tensor. Bearing in mind the existence of a natural length scale given by the Planck length, dimensional analysis shows that such a term yields a correction linear in h to the classical term, that is instead just proportional to the energy-momentum tensor. One then obtains an effective energy-momentum tensor that consists of three contributions: pure energy part, mechanical stress and thermal part. The pure energy part has the appropriate property for dealing with the dark sector of modern relativistic cosmology. Such a theory coincides with general relativity in vacuum, and the resulting field equations are here solved for a Dunn and Tupper metric, for departures from an interior Schwarzschild solution as well as for a Friedmann-Lemaitre-Robertson-Walker universe.


title: Algebraic properties of configuration sets for groups

abstract: Let $G$ be any group and $k\geq 1$ be an integer number. The ordered configuration set of $k$ points in $G$ is given by the subset $F(G,k)=\{(g_1,\ldots,g_k)\in G\times \cdots\times G: g_i\neq g_j \text{ for } i\neq j\}\subset G^k$. In this work, we will study the configuration set $F(G,k)$ in algebraic terms as a subset of the product $G^k=G\times \cdots\times G$. As we will see, we develop practical tools for dealing with the configuration set of $k$ points in $G$, which, to our knowledge, can not be found in literature.


title: Knowledge Grounded Conversational Symptom Detection with Graph Memory Networks

abstract: In this work, we propose a novel goal-oriented dialog task, automatic symptom detection. We build a system that can interact with patients through dialog to detect and collect clinical symptoms automatically, which can save a doctor's time interviewing the patient. Given a set of explicit symptoms provided by the patient to initiate a dialog for diagnosing, the system is trained to collect implicit symptoms by asking questions, in order to collect more information for making an accurate diagnosis. After getting the reply from the patient for each question, the system also decides whether current information is enough for a human doctor to make a diagnosis. To achieve this goal, we propose two neural models and a training pipeline for the multi-step reasoning task. We also build a knowledge graph as additional inputs to further improve model performance. Experiments show that our model significantly outperforms the baseline by 4%, discovering 67% of implicit symptoms on average with a limited number of questions.


title: What If Memory Information is Stored Inside the Neuron, Instead of in the Synapse?

abstract: Memory information in the brain is commonly believed to be stored in the synapse. However, a recent groundbreaking electrophysiology research has raised the possibility that memory information may actually be stored inside the neuron itself. Drawing on information theory and communications system engineering perspectives, we examine the problem of how memory information might be transmitted reliably between neurons. We identify 2 types of errors that affect neuronal communications (i.e., channel error and source error), along with plausible error mitigation solutions. We confirm the feasibility of these solutions using simulations. Four alternative hypotheses of the synapse's function are also proposed. We conclude by highlighting some research directions, along with potential areas of application.


title: Noncommutative CW-spectra as enriched presheaves on matrix algebras

abstract: Motivated by the philosophy that $C^*$-algebras reflect noncommutative topology, we investigate the stable homotopy theory of the (opposite) category of $C^*$-algebras. We focus on $C^*$-algebras which are non-commutative CW-complexes in the sense of [ELP]. We construct the stable $\infty$-category of noncommutative CW-spectra, which we denote by $\mathtt{NSp}$. Let $\mathcal{M}$ be the full spectral subcategory of $\mathtt{NSp}$ spanned by "noncommutative suspension spectra" of matrix algebras. Our main result is that $\mathtt{NSp}$ is equivalent to the $\infty$-category of spectral presheaves on $\mathcal{M}$. To prove this we first prove a general result which states that any compactly generated stable $\infty$-category is naturally equivalent to the $\infty$-category of spectral presheaves on a full spectral subcategory spanned by a set of compact generators. This is an $\infty$-categorical version of a result by Schwede and Shipley [ScSh1]. In proving this we use the language of enriched $\infty$-categories as developed by Hinich [Hin2,Hin3]. We end by presenting a "strict" model for $\mathcal{M}$. That is, we define a category $\mathcal{M}_s$ strictly enriched in a certain monoidal model category of spectra $\mathtt{Sp^M}$. We give a direct proof that the category of $\mathtt{Sp^M}$-enriched presheaves $\mathcal{M}_s^{op}\to\mathtt{Sp^M}$ with the projective model structure models $\mathtt{NSp}$ and conclude that $\mathcal{M}_s$ is a strict model for $\mathcal{M}$.


title: Finite-dimensional approximations and semigroup coactions for operator algebras

abstract: The residual finite-dimensionality of a $\mathrm{C}^*$-algebra is known to be encoded in a topological property of its space of representations, stating that finite-dimensional representations should be dense therein. We extend this paradigm to general (possibly non-self-adjoint) operator algebras. While numerous subtleties emerge in this greater generality, we exhibit novel tools for constructing finite-dimensional approximations. One such tool is a notion of a residually finite-dimensional coaction of a semigroup on an operator algebra, which allows us to construct finite-dimensional approximations for operator algebras of functions and operator algebras of semigroups. Our investigation is intimately related to the question of whether residual finite-dimensionality of an operator algebra is inherited by its maximal $\mathrm{C}^*$-cover, which we resolve in many cases of interest.


title: Capital growth and survival strategies in a market with endogenous prices

abstract: We call an investment strategy survival, if an agent who uses it maintains a non-vanishing share of market wealth over the infinite time horizon. In a discrete-time multi-agent model with endogenous asset prices determined through a short-run equilibrium of supply and demand, we show that a survival strategy can be constructed as follows: an agent should assume that only their actions determine the prices and use a growth optimal (log-optimal) strategy with respect to these prices, disregarding the actual prices. Then any survival strategy turns out to be close to this strategy asymptotically. The main results are obtained under the assumption that the assets are short-lived.


title: Suspension spectra of matrix algebras, the rank filtration, and rational noncommutative CW-spectra

abstract: In a companion paper [ABS1] we introduced the stable $\infty$-category of noncommutative CW-spectra, which we denoted $\mathtt{NSp}$. Let $\mathcal{M}$ denote the full spectrally enriched subcategory of $\mathtt{NSp}$ whose objects are the non-commutative suspension spectra of matrix algebras. In [ABS1] we proved that $\mathtt{NSp}$ is equivalent to the $\infty$-category of spectral presheaves on $\mathcal{M}$. In this paper we investigate the structure of $\mathcal{M}$, and derive some consequences regarding the structure of $\mathtt{NSp}$. To begin with, we introduce a rank filtration of $\mathcal{M}$. We show that the mapping spectra of $\mathcal{M}$ map naturally to the connective $K$-theory spectrum $ku$, and that the rank filtration of $\mathcal{M}$ is a lift of the classical rank filtration of $ku$. We describe the subquotients of the rank filtration in terms of complexes of direct-sum decompositions which also arose in the study of $K$-theory and of Weiss's orthogonal calculus. We prove that the rank filtration stabilizes rationally after the first stage. Using this we give an explicit model of the rationalization of $\mathtt{NSp}$ as presheaves of rational spectra on the category of finite-dimensional Hilbert spaces and unitary transformations up to scaling. Our results also have consequences for the $p$-localization and the chromatic localization of $\mathcal{M}$.


title: Low-rank signal subspace: parameterization, projection and signal estimation

abstract: The paper contains several theoretical results related to the weighted nonlinear least-squares problem for low-rank signal estimation, which can be considered as a Hankel structured low-rank approximation problem. A parameterization of the subspace of low-rank time series connected with generalized linear recurrence relations (GLRRs) is described and its features are investigated. It is shown how the obtained results help to describe the tangent plane, prove optimization problem features and construct stable algorithms for solving low-rank approximation problems. For the latter, a stable algorithm for constructing the projection onto a subspace of time series that satisfy a given GLRR is proposed and justified. This algorithm is used for a new implementation of the known Gauss-Newton method using the variable projection approach. The comparison by stability and computational cost is performed theoretically and with the help of an example.


title: X-ray nanoimaging of crystal defects in single grains of solid-state electrolyte AlxLi7-3xLa3Zr2O12

abstract: All-solid-state lithium batteries promise significant improvements in energy density and safety over traditional liquid electrolyte batteries. The Al-doped AlxLi7-3xLa3Zr2O12 (LLZO) solid-state electrolyte shows excellent potential given its high ionic conductivity and good thermal, chemical, and electrochemical stability. Nevertheless, further improvements on LLZOs electrochemical and mechanical properties call for an incisive understanding of its local microstructure. Here, we employ Bragg Coherent Diffractive Imaging to investigate the atomic displacements inside single grains of LLZO with various Al-doping concentrations, resulting in cubic, tetragonal, and cubic-tetragonal mixed structures. We observe coexisting domains of different crystallographic orientations in the tetragonal structure. We further show that Al doping leads to crystal defects such as dislocations and phase boundary in the mixed- and cubic-phase grain. This study addresses the effect of Al-doping on the nanoscale structure within individual grains of LLZO, which is informative for the future development of solid-state batteries.


title: Fighting deepfakes by detecting GAN DCT anomalies

abstract: To properly contrast the Deepfake phenomenon the need to design new Deepfake detection algorithms arises; the misuse of this formidable A.I. technology brings serious consequences in the private life of every involved person. State-of-the-art proliferates with solutions using deep neural networks to detect a fake multimedia content but unfortunately these algorithms appear to be neither generalizable nor explainable. However, traces left by Generative Adversarial Network (GAN) engines during the creation of the Deepfakes can be detected by analyzing ad-hoc frequencies. For this reason, in this paper we propose a new pipeline able to detect the so-called GAN Specific Frequencies (GSF) representing a unique fingerprint of the different generative architectures. By employing Discrete Cosine Transform (DCT), anomalous frequencies were detected. The \BETA statistics inferred by the AC coefficients distribution have been the key to recognize GAN-engine generated data. Robustness tests were also carried out in order to demonstrate the effectiveness of the technique using different attacks on images such as JPEG Compression, mirroring, rotation, scaling, addition of random sized rectangles. Experiments demonstrated that the method is innovative, exceeds the state of the art and also give many insights in terms of explainability.


title: A Joint Representation Learning and Feature Modeling Approach for One-class Recognition

abstract: One-class recognition is traditionally approached either as a representation learning problem or a feature modeling problem. In this work, we argue that both of these approaches have their own limitations; and a more effective solution can be obtained by combining the two. The proposed approach is based on the combination of a generative framework and a one-class classification method. First, we learn generative features using the one-class data with a generative framework. We augment the learned features with the corresponding reconstruction errors to obtain augmented features. Then, we qualitatively identify a suitable feature distribution that reduces the redundancy in the chosen classifier space. Finally, we force the augmented features to take the form of this distribution using an adversarial framework. We test the effectiveness of the proposed method on three one-class classification tasks and obtain state-of-the-art results.


title: Termination Analysis Without the Tears

abstract: Determining whether a given program terminates is the quintessential undecidable problem. Algorithms for termination analysis are divided into two groups: (1) algorithms with strong behavioral guarantees that work in limited circumstances (e.g., complete synthesis of linear ranking functions for polyhedral loops [Podelski and Rybalchenko, 2004]), and (2) algorithms that are widely applicable, but have weak behavioral guarantees (e.g., Terminator [Cook et al., 2006]). This paper investigates the space in between: how can we design practical termination analyzers with useful behavioral guarantees? This paper presents a termination analysis that is both compositional (the result of analyzing a composite program is a function of the analysis results of its components) and monotone ("more information into the analysis yields more information out"). The paper has two key contributions. The first is an extension of Tarjan's method for solving path problems in graphs to solve infinite path problems. This provides a foundation upon which to build compositional termination analyses. The second is a collection of monotone conditional termination analyses based on this framework. We demonstrate that our tool ComPACT (Compositional and Predictable Analysis for Conditional Termination) is competitive with state-of-the-art termination tools while providing stronger behavioral guarantees.


title: Production of $D$-wave states of $\bar b c$ quarkonium at the LHC

abstract: The hadronic production of $D$-wave states of $\bar b c$ is studied. The relative yield of such states is estimated for kinematic conditions of LHC experiments.


title: The Exact Rate Memory Tradeoff for Large Caches with Coded Placement

abstract: The idea of coded caching for content distribution networks was introduced by Maddah-Ali and Niesen, who considered the canonical $(N, K)$ cache network in which a server with $N$ files satisfy the demands of $K$ users (equipped with independent caches of size $M$ each). Among other results, their work provided a characterization of the exact rate memory tradeoff for the problem when $M\geq\frac{N}{K}(K-1)$. In this paper, we improve this result for large caches with $M\geq \frac{N}{K}(K-2)$. For the case $\big\lceil\frac{K+1}{2}\big\rceil\leq N \leq K$, we propose a new coded caching scheme, and derive a matching lower bound to show that the proposed scheme is optimal. This extends the characterization of the exact rate memory tradeoff to the case $M\geq \frac{N}{K}\Big(K-2+\frac{(K-2+1/N)}{(K-1)}\Big)$. For the case $1\leq N\leq \big\lceil\frac{K+1}{2}\big\rceil$, we derive a new lower bound, which demonstrates that the scheme proposed by Yu et al. is optimal and thus extend the characterization of the exact rate memory tradeoff to the case $M\geq \frac{N}{K}(K-2)$.


title: Magnetic gradient free two axis control of a valley spin qubit in SiGe

abstract: Spins in SiGe quantum dots are promising candidates for quantum bits but are also challenging due to the valley degeneracy which could potentially cause spin decoherence and weak spin-orbital coupling. In this work we demonstrate that valley states can serve as an asset that enables two-axis control of a singlet-triplet qubit formed in a double quantum dot without the application of a magnetic field gradient. We measure the valley spectrum in each dot using magnetic field spectroscopy of Zeeman split triplet states. The interdot transition between ground states requires an electron to flip between valleys, which in turn provides a g-factor difference $\Delta g$ between two dots. This $\Delta g$ serves as an effective magnetic field gradient and allows for qubit rotations with a rate that increases linearly with an external magnetic field. We measured several interdot transitions and found that this valley introduced $\Delta g$ is universal and electrically tunable. This could potentially simplify scaling up quantum information processing in the SiGe platform by removing the requirement for magnetic field gradients which are difficult to engineer.


title: Collapsing Calabi-Yau fibrations and uniform diameter bounds

abstract: As a sequel to \cite{Licollapsing}, we study Calabi-Yau metrics collapsing along a holomorphic fibration over a Riemann surface. Assuming at worst canonical singular fibres, we prove a uniform diameter bound for all fibres in the suitable rescaling. This has consequences on the geometry around the singular fibres.


title: Evaluating Models of Robust Word Recognition with Serial Reproduction

abstract: Spoken communication occurs in a "noisy channel" characterized by high levels of environmental noise, variability within and between speakers, and lexical and syntactic ambiguity. Given these properties of the received linguistic input, robust spoken word recognition -- and language processing more generally -- relies heavily on listeners' prior knowledge to evaluate whether candidate interpretations of that input are more or less likely. Here we compare several broad-coverage probabilistic generative language models in their ability to capture human linguistic expectations. Serial reproduction, an experimental paradigm where spoken utterances are reproduced by successive participants similar to the children's game of "Telephone," is used to elicit a sample that reflects the linguistic expectations of English-speaking adults. When we evaluate a suite of probabilistic generative language models against the yielded chains of utterances, we find that those models that make use of abstract representations of preceding linguistic context (i.e., phrase structure) best predict the changes made by people in the course of serial reproduction. A logistic regression model predicting which words in an utterance are most likely to be lost or changed in the course of spoken transmission corroborates this result. We interpret these findings in light of research highlighting the interaction of memory-based constraints and representations in language processing.


title: Optimal renormalization of multi-scale systems

abstract: While model order reduction is a promising approach in dealing with multi-scale time-dependent systems that are too large or too expensive to simulate for long times, the resulting reduced order models can suffer from instabilities. We have recently developed a time-dependent renormalization approach to stabilize such reduced models. In the current work, we extend this framework by introducing a parameter that controls the time-decay of the memory of such models and optimally selecting this parameter based on limited fully resolved simulations. First, we demonstrate our framework on the inviscid Burgers equation whose solution develops a finite-time singularity. Our renormalized reduced order models are stable and accurate for long times while using for their calibration only data from a full order simulation before the occurrence of the singularity. Furthermore, we apply this framework to the 3D Euler equations of incompressible fluid flow, where the problem of finite-time singularity formation is still open and where brute force simulation is only feasible for short times. Our approach allows us to obtain for the first time a perturbatively renormalizable model which is stable for long times and includes all the complex effects present in the 3D Euler dynamics. We find that, in each application, the renormalization coefficients display algebraic decay with increasing resolution, and that the parameter which controls the time-decay of the memory is problem-dependent.


title: Information Bottleneck for an Oblivious Relay with Channel State Information: the Vector Case

abstract: This paper considers the information bottleneck (IB) problem of a Rayleigh fading multiple-input multiple-out (MIMO) channel. Due to the bottleneck constraint, it is impossible for the oblivious relay to inform the destination node of the perfect channel state information (CSI) in each channel realization. To evaluate the bottleneck rate, we provide an upper bound by assuming that the destination node can get the perfect CSI at no cost and two achievable schemes with simple symbol-by-symbol relay processing and compression. Numerical results show that the lower bounds obtained by the proposed achievable schemes can come close to the upper bound on a wide range of relevant system parameters.


title: Context-Specific Likelihood Weighting

abstract: Sampling is a popular method for approximate inference when exact inference is impractical. Generally, sampling algorithms do not exploit context-specific independence (CSI) properties of probability distributions. We introduce context-specific likelihood weighting (CS-LW), a new sampling methodology, which besides exploiting the classical conditional independence properties, also exploits CSI properties. Unlike the standard likelihood weighting, CS-LW is based on partial assignments of random variables and requires fewer samples for convergence due to the sampling variance reduction. Furthermore, the speed of generating samples increases. Our novel notion of contextual assignments theoretically justifies CS-LW. We empirically show that CS-LW is competitive with state-of-the-art algorithms for approximate inference in the presence of a significant amount of CSIs.


title: Exploring the diversity of double detonation explosions for type Ia supernovae: Effects of the post-explosion helium shell composition

abstract: The detonation of a helium shell on top of a carbon-oxygen white dwarf has been argued as a potential explosion mechanism for type Ia supernovae (SNe~Ia). The ash produced during helium shell burning can lead to light curves and spectra that are inconsistent with normal SNe~Ia, but may be viable for some objects showing a light curve bump within the days following explosion. We present a series of radiative transfer models designed to mimic predictions from double detonation explosion models. We consider a range of core and shell masses, and systematically explore multiple post-explosion compositions for the helium shell. We find that a variety of luminosities and timescales for early light curve bumps result from those models with shells containing $^{56}$Ni, $^{52}$Fe, or $^{48}$Cr. Comparing our models to SNe~Ia with light curve bumps, we find that these models can reproduce the shapes of almost all of the bumps observed, but only those objects with red colours around maximum light ($B-V \gtrsim 1$) are well matched throughout their evolution. Consistent with previous works, we also show that those models in which the shell does not contain iron-group elements provide good agreement with normal SNe~Ia of different luminosities from shortly after explosion up to maximum light. While our models do not amount to positive evidence in favour of the double detonation scenario, we show that provided the helium shell ash does not contain iron-group elements, it may be viable for a wide range of normal SNe~Ia.


title: cGANs for Cartoon to Real-life Images

abstract: The image-to-image translation is a learning task to establish a visual mapping between an input and output image. The task has several variations differentiated based on the purpose of the translation, such as synthetic to real translation, photo to caricature translation, and many others. The problem has been tackled using different approaches, either through traditional computer vision methods, as well as deep learning approaches in recent trends. One approach currently deemed popular and effective is using the conditional generative adversarial network, also known shortly as cGAN. It is adapted to perform image-to-image translation tasks with typically two networks: a generator and a discriminator. This project aims to evaluate the robustness of the Pix2Pix model by applying the Pix2Pix model to datasets consisting of cartoonized images. Using the Pix2Pix model, it should be possible to train the network to generate real-life images from the cartoonized images.


title: Equitable Division of a Path

abstract: We study fair resource allocation under a connectedness constraint wherein a set of indivisible items are arranged on a path and only connected subsets of items may be allocated to the agents. An allocation is deemed fair if it satisfies equitability up to one good (EQ1), which requires that agents' utilities are approximately equal. We show that achieving EQ1 in conjunction with well-studied measures of economic efficiency (such as Pareto optimality, non-wastefulness, maximum egalitarian or utilitarian welfare) is computationally hard even for binary additive valuations. On the algorithmic side, we show that by relaxing the efficiency requirement, a connected EQ1 allocation can be computed in polynomial time for any given ordering of agents, even for general monotone valuations. Interestingly, the allocation computed by our algorithm has the highest egalitarian welfare among all allocations consistent with the given ordering. On the other hand, if efficiency is required, then tractability can still be achieved for binary additive valuations with interval structure. On our way, we strengthen some of the existing results in the literature for other fairness notions such as envy-freeness up to one good (EF1), and also provide novel results for negatively-valued items or chores.


title: Comparing Broadband ISP Performance using Big Data from M-Lab

abstract: Comparing ISPs on broadband speed is challenging, since measurements can vary due to subscriber attributes such as operation system and test conditions such as access capacity, server distance, TCP window size, time-of-day, and network segment size. In this paper, we draw inspiration from observational studies in medicine, which face a similar challenge in comparing the effect of treatments on patients with diverse characteristics, and have successfully tackled this using "causal inference" techniques for {\em post facto} analysis of medical records. Our first contribution is to develop a tool to pre-process and visualize the millions of data points in M-Lab at various time- and space-granularities to get preliminary insights on factors affecting broadband performance. Next, we analyze 24 months of data pertaining to twelve ISPs across three countries, and demonstrate that there is observational bias in the data due to disparities amongst ISPs in their attribute distributions. For our third contribution, we apply a multi-variate matching method to identify suitable cohorts that can be compared without bias, which reveals that ISPs are closer in performance than thought before. Our final contribution is to refine our model by developing a method for estimating speed-tier and re-apply matching for comparison of ISP performance. Our results challenge conventional rankings of ISPs, and pave the way towards data-driven approaches for unbiased comparisons of ISPs world-wide.


title: The Ifs and Buts of the Development Approaches for IoT Applications

abstract: The recent growth of the Internet of Things (IoT) devices has lead to the rise of various complex applications where these applications involve interactions among large numbers of heterogeneous devices. An important challenge that needs to be addressed is to facilitate the agile development of IoT applications with minimal effort by the various parties involved in the process. However, IoT application development is challenging due to the wide variety of hardware and software technologies that interact in an IoT system. Moreover, it involves dealing with issues that are attributed to different software life-cycle phases: development, deployment, and progression. In this paper, we examine three IoT application development approaches: Mashup-based development, Model-based development, and Function-as-a-Service based development. The advantages and disadvantages of each approach are discussed from different perspectives, including reliability, deployment expeditiousness, ease of use, and targeted audience. Finally, we propose a simple solution where these techniques are combined to deliver reliable applications while reducing costs and time to release.


title: Independent Spanning Trees in Eisenstein-Jacobi Networks

abstract: Spanning trees are widely used in networks for broadcasting, fault-tolerance, and securely delivering messages. Hexagonal interconnection networks have a number of real life applications. Examples are cellular networks, computer graphics, and image processing. Eisenstein-Jacobi (EJ) networks are a generalization of hexagonal mesh topology. They have a wide range of potential applications, and thus they have received researchers' attention in different areas among which interconnection networks and coding theory. In this paper, we present two spanning trees' constructions for Eisenstein-Jacobi (EJ). The first constructs three edge-disjoint node-independent spanning trees, while the second constructs six node-independent spanning trees but not edge disjoint. Based on the constructed trees, we develop routing algorithms that can securely deliver a message and tolerate a number of faults in point-to-point or in broadcast communications. The proposed work is also applied on higher dimensional EJ networks.


title: Exploring ensembles and uncertainty minimization in denoising networks

abstract: The development of neural networks has greatly improved the performance in various computer vision tasks. In the filed of image denoising, convolutional neural network based methods such as DnCNN break through the limits of classical methods, achieving better quantitative results. However, the epistemic uncertainty existing in neural networks limits further improvements in their performance over denoising tasks. Therefore, we develop and study different solutions to minimize uncertainty and further improve the removal of noise. From the perspective of ensemble learning, we implement manipulations to noisy images from the point of view of spatial and frequency domains and then denoise them using pre-trained denoising networks. We propose a fusion model consisting of two attention modules, which focus on assigning the proper weights to pixels and channels. The experimental results show that our model achieves better performance on top of the baseline of regular pre-trained denoising networks.


title: Online Memory Leak Detection in the Cloud-based Infrastructures

abstract: A memory leak in an application deployed on the cloud can affect the availability and reliability of the application. Therefore, to identify and ultimately resolve it quickly is highly important. However, in the production environment running on the cloud, memory leak detection is a challenge without the knowledge of the application or its internal object allocation details. This paper addresses this challenge of online detection of memory leaks in cloud-based infrastructure without having any internal application knowledge by introducing a novel machine learning based algorithm Precog. This algorithm solely uses one metric i.e the system's memory utilization on which the application is deployed for the detection of a memory leak. The developed algorithm's accuracy was tested on 60 virtual machines manually labeled memory utilization data provided by our industry partner Huawei Munich Research Center and it was found that the proposed algorithm achieves the accuracy score of 85\% with less than half a second prediction time per virtual machine.


title: Quantized enveloping superalgebra of type $P$

abstract: We introduce a new quantized enveloping superalgebra $\mathfrak{U}_q{\mathfrak{p}}_n$ attached to the Lie superalgebra ${\mathfrak{p}}_n$ of type $P$. The superalgebra $\mathfrak{U}_q{\mathfrak{p}}_n$ is a quantization of a Lie bisuperalgebra structure on ${\mathfrak{p}}_n$ and we study some of its basic properties. We also introduce the periplectic $q$-Brauer algebra and prove that it is the centralizer of the $\mathfrak{U}_q {\mathfrak{p}}_n$-module structure on ${\mathbb C}(n|n)^{\otimes l}$. We end by proposing a definition for a new periplectic $q$-Schur superalgebra.


title: Rotational symmetry of solutions of mean curvature flow coming out of a double cone

abstract: We show that any smooth solution to the mean curvature flow equations coming out of a rotationally symmetric double cone is also rotationally symmetric.


title: Identification of the Nitrogen Interstitial as Origin of the 3.1 eV Photoluminescence Band in Hexagonal Boron Nitride

abstract: Nitrogen interstitials (N$_\mathrm{i}$) have the lowest formation energy among intrinsic defects of hexagonal boron nitride (hBN) under n-type and N-rich conditions. Using an optimized hybrid functional, which reproduces the gap and satisfies the generalized Koopmans condition, an N$_\mathrm{i}$ configuration is found which is lower in energy than the ones reported so far. The (0/-) charge transition level is also much deeper, so N$_\mathrm{i}$ acts as a very efficient compensating center in n-type samples. Its calculated photoluminescence (PL) at 3.0 eV agrees well with the position of an N-sensitive band measured at 3.1 eV. It has been also found that the nitrogen vacancy (V$_\mathrm{N}$) cannot be the origin of the three boron electron (TBC) electron paramagnetic resonance (EPR) center and in thermal equilibrium it cannot even exist in n-type samples.


title: The structure of Koszul algebras defined by four quadrics

abstract: Avramov, Conca, and Iyengar ask whether $\beta_i^S(R) \leq \binom{g}{i}$ for all $i$ when $R=S/I$ is a Koszul algebra minimally defined by $g$ quadrics. In recent work, we give an affirmative answer to this question when $g \leq 4$ by completely classifying the possible Betti tables of Koszul algebras defined by height-two ideals of four quadrics. Continuing this work, the current paper proves a structure theorem for Koszul algebras defined by four quadrics. We show that all these Koszul algebras are LG-quadratic, proving that an example of Conca of a Koszul algebra that is not LG-quadratic is minimal in terms of number of defining equations. We then characterize precisely when these rings are absolutely Koszul, and establish the equivalence of the absolutely Koszul and Backelin--Roos properties up to field extensions for such rings (in characteristic zero). The combination of the above paper with the current one provides a fairly complete picture of all Koszul algebras defined by $g \leq 4$ quadrics.


title: Improved-Sensitivity Integral SQUID Magnetometry of (Ga,Mn)N Thin Films in Proximity to Mg-doped GaN

abstract: Nominally 45 nm GaN:Mg/ 5 nm (Ga,Mn)N / 45 nm GaN:Mg trilayers structures prepared by molecular beam epitaxy on GaN-buffered Al2O3 substrates are investigated to verify whether the indirect co-doping by holes from the cladding layers can alter the spin-spin interaction in (Ga,Mn)N. The four investigated structures, differing with the Mg doping level, are carefully characterized at the nanoscale by HRTEM, EDX, and by SIMS. HRTEM decisively excluded a presence of foreign Mn-rich phases. The structures, up to medium Mg doping, show no Mg over-doping effects. Magnetic studies of these structures are aided by the employment of a dedicated experimental approach of the in situ compensation of the magnetic contribution from the substrate, allowing up to about fifty-fold reduction of this contribution. This technique, dedicated to these structures, simultaneously provides a tenfold reduction of temporal instabilities of the magnetometric unit and lowers the experimental jitter to merely $5 \times 10^{-7}$~emu at 70~kOe, vastly increasing the precision and the credibility of the results of the standard integral SQUID magnetometry in high magnetic fields. The magnetic characteristics of the trilayers structures established here prove identical with the already known properties of the thick (Ga,Mn)N single layers, namely (i) the low temperature ferromagnetism among Mn$^{3+}$ ions driven by superexchange and (ii) purely paramagnetic response at higher temperatures. The possible cause of the lack of any effects brought about by the adjacent Mg-doping is a presence of residual Mn in the cladding layers, resulting in the deactivation of the p-type doping intended there. This finding points out that a more intensive technological effort has to be exerted to promote the co-doping-driven carrier-mediated ferromagnetic coupling in Mn-enriched GaN, especially at elevated temperatures.


title: Lie brackets on Hopf algebra cohomology

abstract: By work of Farinati, Solberg, and Taillefer, it is known that the Hopf algebra cohomology of a quasi-triangular Hopf algebra, as a graded Lie algebra under the Gerstenhaber bracket, is abelian. Motivated by the question of whether this holds for nonquasi-triangular Hopf algebras, we show that Gerstenhaber brackets on Hopf algebra cohomology can be expressed via an arbitrary projective resolution using Volkov's homotopy liftings as generalized to some exact monoidal categories. This is a special case of our more general result that a bracket operation on cohomology is preserved under exact monoidal functors - one such functor is an embedding of Hopf algebra cohomology into Hochschild cohomology. As a consequence, we show that this Lie structure on Hopf algebra cohomology is abelian in positive degrees for all quantum elementary abelian groups, most of which are nonquasi-triangular.


title: Recursive Triangles Appearing Embedded in Recursive Families

abstract: We continue the work begun in OEIS sequence A332636 which presents recursive sequences that have triangles that appear embedded in them. This paper i) generalizes the main result presented in A332636, ii) provides a complete set of definitions and underlying concepts, and iii) provides a complete proof.


title: Estimating the Total Volume of Queries to a Search Engine

abstract: We study the problem of estimating the total number of searches (volume) of queries in a specific domain, which were submitted to a search engine in a given time period. Our statistical model assumes that the distribution of searches follows a Zipf's law, and that the observed sample volumes are biased accordingly to three possible scenarios. These assumptions are consistent with empirical data, with keyword research practices, and with approximate algorithms used to take counts of query frequencies. A few estimators of the parameters of the distribution are devised and experimented, based on the nature of the empirical/simulated data. For continuous data, we recommend using nonlinear least square regression (NLS) on the top-volume queries, where the bound on the volume is obtained from the well-known Clauset, Shalizi and Newman (CSN) estimation of power-law parameters. For binned data, we propose using a Chi-square minimization approach restricted to the top-volume queries, where the bound is obtained by the binned version of the CSN method. Estimations are then derived for the total number of queries and for the total volume of the population, including statistical error bounds. We apply the methods on the domain of recipes and cooking queries searched in Italian in 2017. The observed volumes of sample queries are collected from Google Trends (continuous data) and SearchVolume (binned data). The estimated total number of queries and total volume are computed for the two cases, and the results are compared and discussed.


title: Analytical Characterization and Design Space Exploration for Optimization of CNNs

abstract: Moving data through the memory hierarchy is a fundamental bottleneck that can limit the performance of core algorithms of machine learning, such as convolutional neural networks (CNNs). Loop-level optimization, including loop tiling and loop permutation, are fundamental transformations to reduce data movement. However, the search space for finding the best loop-level optimization configuration is explosively large. This paper develops an analytical modeling approach for finding the best loop-level optimization configuration for CNNs on multi-core CPUs. Experimental evaluation shows that this approach achieves comparable or better performance than state-of-the-art libraries and auto-tuning based optimizers for CNNs.


title: NeurT-FDR: Controlling FDR by Incorporating Feature Hierarchy

abstract: Controlling false discovery rate (FDR) while leveraging the side information of multiple hypothesis testing is an emerging research topic in modern data science. Existing methods rely on the test-level covariates while ignoring possible hierarchy among the covariates. This strategy may not be optimal for complex large-scale problems, where hierarchical information often exists among those test-level covariates. We propose NeurT-FDR which boosts statistical power and controls FDR for multiple hypothesis testing while leveraging the hierarchy among test-level covariates. Our method parametrizes the test-level covariates as a neural network and adjusts the feature hierarchy through a regression framework, which enables flexible handling of high-dimensional features as well as efficient end-to-end optimization. We show that NeurT-FDR has strong FDR guarantees and makes substantially more discoveries in synthetic and real datasets compared to competitive baselines.


title: FakeFlow: Fake News Detection by Modeling the Flow of Affective Information

abstract: Fake news articles often stir the readers' attention by means of emotional appeals that arouse their feelings. Unlike in short news texts, authors of longer articles can exploit such affective factors to manipulate readers by adding exaggerations or fabricating events, in order to affect the readers' emotions. To capture this, we propose in this paper to model the flow of affective information in fake news articles using a neural architecture. The proposed model, FakeFlow, learns this flow by combining topic and affective information extracted from text. We evaluate the model's performance with several experiments on four real-world datasets. The results show that FakeFlow achieves superior results when compared against state-of-the-art methods, thus confirming the importance of capturing the flow of the affective information in news articles.


title: Recent developments in the theory of linear algebraic groups: Good reduction and finiteness properties

abstract: This is a survey article on some recent developments in the arithmetic theory of linear algebraic groups over higher-dimensional fields, written for the Notices of the AMS.


title: A note on fractional Askey--Wilson integrals

abstract: In this paper, we generalize fractional $q$-integrals by the method of $q$-difference equation. In addition, we deduce fractional Askey--Wilson integral, reversal type fractional Askey--Wilson integral and Ramanujan type fractional Askey--Wilson integral.


title: Efficient Evader Detection in Mobile Sensor Networks

abstract: Suppose one wants to monitor a domain with sensors each sensing small ball-shaped regions, but the domain is hazardous enough that one cannot control the placement of the sensors. A prohibitively large number of randomly placed sensors would be required to obtain static coverage. Instead, one can use fewer sensors by providing only mobile coverage, a generalization of the static setup wherein every possible intruder is detected by the moving sensors in a bounded amount of time. Here, we use topology in order to implement algorithms certifying mobile coverage that use only local data to solve the global problem. Our algorithms do not require knowledge of the sensors' locations. We experimentally study the statistics of mobile coverage in two dynamical scenarios. We allow the sensors to move independently (billiard dynamics and Brownian motion), or to locally coordinate their dynamics (collective animal motion models). Our detailed simulations show, for example, that collective motion enhances performance: The expected time until the mobile sensor network achieves mobile coverage is lower for the D'Orsogna collective motion model than for the billiard motion model. Further, we show that even when the probability of static coverage is low, all possible evaders can nevertheless be detected relatively quickly by mobile sensors.


title: The effect of chain polydispersity on the elasticity of disordered polymer networks

abstract: Due to their unique structural and mechanical properties, randomly-crosslinked polymer networks play an important role in many different fields, ranging from cellular biology to industrial processes. In order to elucidate how these properties are controlled by the physical details of the network (\textit{e.g.} chain-length and end-to-end distributions), we generate disordered phantom networks with different crosslinker concentrations $C$ and initial density $\rho_{\rm init}$ and evaluate their elastic properties. We find that the shear modulus computed at the same strand concentration for networks with the same $C$, which determines the number of chains and the chain-length distribution, depends strongly on the preparation protocol of the network, here controlled by $\rho_{\rm init}$. We rationalise this dependence by employing a generic stress-strain relation for polymer networks that does not rely on the specific form of the polymer end-to-end distance distribution. We find that the shear modulus of the networks is a non-monotonic function of the density of elastically-active strands, and that this behaviour has a purely entropic origin. Our results show that if short chains are abundant, as it is always the case for randomly-crosslinked polymer networks, the knowledge of the exact chain conformation distribution is essential for predicting correctly the elastic properties. Finally, we apply our theoretical approach to published experimental data, qualitatively confirming our interpretations.


title: Annealed Stein Variational Gradient Descent

abstract: Particle based optimization algorithms have recently been developed as sampling methods that iteratively update a set of particles to approximate a target distribution. In particular Stein variational gradient descent has gained attention in the approximate inference literature for its flexibility and accuracy. We empirically explore the ability of this method to sample from multi-modal distributions and focus on two important issues: (i) the inability of the particles to escape from local modes and (ii) the inefficacy in reproducing the density of the different regions. We propose an annealing schedule to solve these issues and show, through various experiments, how this simple solution leads to significant improvements in mode coverage, without invalidating any theoretical properties of the original algorithm.