title: Leveraging Distributional Semantics for Multi-Label Learning

abstract: We present a novel and scalable label embedding framework for large-scale multi-label learning a.k.a ExMLDS (Extreme Multi-Label Learning using Distributional Semantics). Our approach draws inspiration from ideas rooted in distributional semantics, specifically the Skip Gram Negative Sampling (SGNS) approach, widely used to learn word embeddings for natural language processing tasks. Learning such embeddings can be reduced to a certain matrix factorization. Our approach is novel in that it highlights interesting connections between label embedding methods used for multi-label learning and paragraph/document embedding methods commonly used for learning representations of text data. The framework can also be easily extended to incorporate auxiliary information such as label-label correlations; this is crucial especially when there are a lot of missing labels in the training data. We demonstrate the effectiveness of our approach through an extensive set of experiments on a variety of benchmark datasets, and show that the proposed learning methods perform favorably compared to several baselines and state-of-the-art methods for large-scale multi-label learning. To facilitate end-to-end learning, we develop a joint learning algorithm that can learn the embeddings as well as a regression model that predicts these embeddings given input features, via efficient gradient-based methods.


title: Coupling Atomistic, Elasticity and Boundary Element Models

abstract: We formulate a new atomistic/continuum (a/c) coupling scheme that employs the boundary element method (BEM) to obtain an improved far-field boundary condition. We establish sharp error bounds in a 2D model problem for a point defect embedded in a homogeneous crystal.


title: SANC: the process $ \gamma \gamma \rightarrow ZZ $

abstract: The implementation of the process $\gamma\gamma \to ZZ$ at the one-loop level within {\tt SANC} system multi-channel approach is considered. The derived one-loop scalar form factors can be used for any cross channel after an appropriate permutation of their arguments -- Mandelstam variables $s,t,u$. To check of the correctness of the results we observe the independence of the scalar form factors on the gauge parameters and the validity of Ward identity (external photon transversality). We present the complete analytical results for the covariant and tensor structures and helicity amplitudes for this process. We make an extensive comparison of our analytical and numerical results with those existing in the literature.


title: AG codes and AG quantum codes from cyclic extensions of the Suzuki and Ree curves

abstract: We investigate several types of linear codes constructed from two families $\tilde{\mathcal S}_q$ and $\tilde{\mathcal R}_q$ of maximal curves over finite fields recently constructed by Skabelund as cyclic covers of the Suzuki and Ree curves. Plane models for such curves are provided, and the Weierstrass semigroup $H(P)$ at an $\mathbb{F}_{q}$-rational point $P$ is shown to be symmetric.


title: Conical Twist Fields and Null Polygonal Wilson Loops

abstract: Using an extension of the concept of twist field in QFT to space-time (external) symmetries, we study conical twist fields in two-dimensional integrable QFT. These create conical singularities of arbitrary excess angle. We show that, upon appropriate identification between the excess angle and the number of sheets, they have the same conformal dimension as branch-point twist fields commonly used to represent partition functions on Riemann surfaces, and that both fields have closely related form factors. However, we show that conical twist fields are truly different from branch-point twist fields. They generate different operator product expansions (short distance expansions) and form factor expansions (large distance expansions). In fact, we verify in free field theories, by re-summing form factors, that the conical twist fields operator product expansions are correctly reproduced. We propose that conical twist fields are the correct fields in order to understand null polygonal Wilson loops/gluon scattering amplitudes of planar maximally supersymmetric Yang-Mills theory.


title: Relating Quark Confinement and Chiral Symmetry Breaking in QCD

abstract: We study the relation between quark confinement and chiral symmetry breaking in QCD. Using lattice QCD formalism, we analytically express the various "confinement indicators", such as the Polyakov loop, its fluctuations, the Wilson loop, the inter-quark potential and the string tension, in terms of the Dirac eigenmodes. In the Dirac spectral representation, there appears a power of the Dirac eigenvalue $\lambda_n$ such as $\lambda_n^{N_t-1}$, which behaves as a reduction factor for small $\lambda_n$. Consequently, since this reduction factor cannot be cancelled, the low-lying Dirac eigenmodes give negligibly small contribution to the confinement quantities,while they are essential for chiral symmetry breaking. These relations indicate no direct, one-to-one correspondence between confinement and chiral symmetry breaking in QCD. In other words, there is some independence of quark confinement from chiral symmetry breaking, which can generally lead to different transition temperatures/densities for deconfinement and chiral restoration. We also investigate the Polyakov loop in terms of the eigenmodes of the Wilson, the clover and the domain-wall fermion kernels, respectively, and find the similar results. The independence of quark confinement from chiral symmetry breaking seems to be natural, because confinement is realized independently of quark masses and heavy quarks are also confined even without the chiral symmetry.


title: Multi-Person Pose Estimation via Column Generation

abstract: We study the problem of multi-person pose estimation in natural images. A pose estimate describes the spatial position and identity (head, foot, knee, etc.) of every non-occluded body part of a person. Pose estimation is difficult due to issues such as deformation and variation in body configurations and occlusion of parts, while multi-person settings add complications such as an unknown number of people, with unknown appearance and possible interactions in their poses and part locations. We give a novel integer program formulation of the multi-person pose estimation problem, in which variables correspond to assignments of parts in the image to poses in a two-tier, hierarchical way. This enables us to develop an efficient custom optimization procedure based on column generation, where columns are produced by exact optimization of very small scale integer programs. We demonstrate improved accuracy and speed for our method on the MPII multi-person pose estimation benchmark.


title: Blocks with the hyperfocal subgroup $Z_{2^n}\times Z_{2^n}$

abstract: In this paper, we calculate the numbers of irreducible ordinary characters and irreducible Brauer characters in a block of a finite group $G$, whose associated fusion system over a 2-subgroup $P$ of $G$ (which is a defect group of the block) has the hyperfocal subgroup $\mathbb Z_{2^n}\times \mathbb Z_{2^n}$ for some $n\geq 2$, when the block is controlled by the normalizer $N_G(P)$ and the hyperfocal subgroup is contained in the center of $P$, or when the block is not controlled by $N_G(P)$ and the hyperfocal subgroup is contained in the center of the unique essential subgroup in the fusion system. In particular, Alperin's weight conjecture holds in the considered cases.


title: A convergent relaxation of the Douglas-Rachford algorithm

abstract: This paper proposes an algorithm for solving structured optimization problems, which covers both the backward-backward and the Douglas-Rachford algorithms as special cases, and analyzes its convergence. The set of fixed points of the algorithm is characterized in several cases. Convergence criteria of the algorithm in terms of general fixed point operators are established. When applying to nonconvex feasibility including the inconsistent case, we prove local linear convergence results under mild assumptions on regularity of individual sets and of the collection of sets which need not intersect. In this special case, we refine known linear convergence criteria for the Douglas-Rachford algorithm (DR). As a consequence, for feasibility with one of the sets being affine, we establish criteria for linear and sublinear convergence of convex combinations of the alternating projection and the DR methods. These results seem to be new. We also demonstrate the seemingly improved numerical performance of this algorithm compared to the RAAR algorithm for both consistent and inconsistent sparse feasibility problems.


title: The depth of the Rees algebra of three general binary forms

abstract: One proves that the Rees algebra of an ideal generated by three general binary forms of same degree $\geq 5$ has depth one. The proof hinges on the behavior of the Ratliff-Rush filtration for low powers of the ideal and on establishing that certain large matrices whose entries are quadratic forms have maximal rank. One also conjectures a shorter result that implies the main theorem of the paper.


title: The wedge-of-the-edge theorem: edge-of-the-wedge type phenomenon within the common real boundary

abstract: The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the upper and lower half planes respectively, through a set in real space, $\mathbb{R}^d.$ The geometry of the set in the real space can force the function to analytically continue within the boundary itself, which is qualified in our wedge-of-the-edge theorem. For example, if a function extends to the union of two cubes in $\mathbb{R}^d$ which are positively oriented, with some small overlap, the functions must analytically continue to a neighborhood of that overlap of a fixed size not depending of the size of the overlap.


title: A stochastic model for reproductive isolation under asymmetrical mating preferences

abstract: More and more evidence shows that mating preference is a mechanism that may lead to a reproductive isolation event. In this paper, a haploid population living on two patches linked by migration is considered. Individuals are ecologically and demographically neutral on the space and differ only on a trait, $a$ or $A$, affecting both mating success and migration rate. The special feature of this paper is to assume that the strengths of the mating preference and the migration depend on the trait carried. Indeed, patterns of mating preferences are generally asymmetrical between the subspecies of a population. I prove that mating preference interacting with frequency-dependent migration behavior can lead to a reproductive isolation. Then, I describe the time before reproductive isolation occurs. To reach this result, I use an original method to study the limiting dynamical system, analyzing first the system without migration and adding migration with a perturbation method. Finally, I study how the time before reproductive isolation is influenced by the parameters of migration and of mating preferences, highlighting that large migration rates tend to favor types with weak mating preferences.


title: Examples of It\^o c\`adl\`ag rough paths

abstract: Based on a dyadic approximation of It\^o integrals, we show the existence of It\^o c\`adl\`ag rough paths above general semimartingales, suitable Gaussian processes and non-negative typical price paths. Furthermore, Lyons-Victoir extension theorem for c\`adl\`ag paths is presented, stating that every c\`adl\`ag path of finite $p$-variation can be lifted to a rough path.


title: The Optical -- Mid-infrared Extinction Law of the l=165 Sightline in the Galactic Plane: Diversity of Extinction Law in the Diffuse Interstellar Medium

abstract: Understanding the effects of dust extinction is important to properly interpret observations. The optical total-to-selective extinction ratio, Rv = Av/E(B-V), is widely used to describe extinction variations in ultraviolet and optical bands. Since the Rv=3.1 extinction curve adequately represents the average extinction law of diffuse regions in the Milky Way, it is commonly used to correct observational measurements along sightlines toward diffuse regions in the interstellar medium. However, the Rv value may vary even along different diffuse interstellar medium sightlines. In this paper, we investigate the optical--mid-infrared (mid-IR) extinction law toward a very diffuse region at l = 165 in the Galactic plane, which was selected based on a CO emission map. Adopting red clump stars as extinction tracers, we determine the optical-to-mid-IR extinction law for our diffuse region in the two APASS bands (B, V), the three XSTPS-GAC bands (g, r, i), the three 2MASS bands (J, H, Ks, and the two WISE bands (W1, W2). Specifically, 18 red clump stars were selected from the APOGEE--RC catalog based on spectroscopic data in order to explore the diversity of the extinction law. We find that the optical extinction curves exhibit appreciable diversity. The corresponding Rv ranges from 1.7 to 3.8, while the mean Rv value of 2.8 is consistent with the widely adopted average value of 3.1 for Galactic diffuse clouds. There is no apparent correlation between Rv value and color excess E(B-V) in the range of interest, from 0.2 to 0.6 mag, or with specific visual extinction per kiloparsec, AV/d.


title: Quantum correlator outside a Schwarzschild black hole

abstract: We calculate the quantum correlator in Schwarzschild black hole space-time. We perform the calculation for a scalar field in three different quantum states: Boulware, Unruh and Hartle-Hawking, and for points along a timelike circular geodesic. The results show that the correlator presents a global fourfold singularity structure, which is state-independent. Our results also show the different correlations in the three different quantum states arising in-between the singularities.


title: The low-temperature behavior of the quark-meson model

abstract: We revisit the phase diagram of strong-interaction matter for the two-flavor quark-meson model using the Functional Renormalization Group. In contrast to standard mean-field calculations, an unusual phase structure is encountered at low temperatures and large quark chemical potentials. In particular, we identify a regime where the pressure decreases with increasing temperature and discuss possible reasons for this unphysical behavior.


title: Superconducting gap symmetry of the BiS$_2$-based superconductor LaO$_{0.5}$F$_{0.5}$BiSSe elucidated through specific heat measurement

abstract: In this study, the superconducting gap symmetry of LaO$_{0.5}$F$_{0.5}$BiSSe is elucidated through specific heat measurements with one single crystal of LaO$_{0.5}$F$_{0.5}$BiSSe. A clear jump is observed at 3.95 K in LaO$_{0.5}$F$_{0.5}$BiSSe, suggesting bulk superconductivity. From specific heat measurements, $\Delta C_\mathrm{e}/\gamma T_\mathrm{c}$ and 2$\Delta$(0)/$k_\mathrm{B}T_\mathrm{c}$ are obtained as 2.31 and 4.5. These values indicate strong electron-phonon coupling superconductivity. The temperature ($T$) and magnetic-field ($H$) dependence of the electronic specific heat $C_\mathrm{e}(T, H)$ suggests that superconductivity is fully gapped. Our handmade system successfully elucidates superconducting gap symmetry of the BiS$_2$-based compound with a small single crystal.


title: New representations for square-integrable spheroidal functions

abstract: We discuss the solution of boundary value problems that arise after the separation of variables in the Schr\"odinger equation in oblate spheroidal coordinates. The specificity of these boundary value problems is that the singular points of the differential equation are outside the region in which the eigenfunctions are considered. This prevents the construction of eigenfunctions as a convergent series. To solve this problem, we generalize and apply the Jaffe transformation. We find the solution of the problem as trigonometric and power series in the particular case when the charge parameter is zero. Application of the obtained results to the spectral problem for the model of a quantum ring in the form of a potential well of a spheroidal shape is discussed with introducing a potential well of a finite depth.


title: Double light-cone dynamics establish thermal states in integrable 1D Bose gases

abstract: We theoretically investigate the non-equilibrium dynamics in a quenched pair of 1D Bose gases with density imbalance. We describe the system using its low-energy effective theory, the Luttinger liquid model. In this framework the system shows strictly integrable relaxation dynamics via dephasing of its approximate many-body eigenstates. In the balanced case, this leads to the well-known light-cone-like establishment of a prethermalized state, which can be described by a generalized Gibbs ensemble. In the imbalanced case the integrable dephasing leads to a state that, counter-intuitively, closely resembles a thermal equilibrium state. The approach to this state is characterized by two separate light-cone dynamics with distinct characteristic velocities. This behavior is rooted in the fact that in the imbalanced case observables are not aligned with the conserved quantities of the integrable system. We discuss a concrete experimental realization to study this effect using matterwave interferometry and many-body revivals on an atom chip.


title: On contractible edges in convex decompositions

abstract: Let $\Pi$ be a convex decomposition of a set $P$ of $n\geq 3$ points in general position in the plane. If $\Pi$ consists of more than one polygon, then either $\Pi$ contains a deletable edge or $\Pi$ contains a contractible edge.


title: A generalized major index statistic on tableaux

abstract: We extend the family of statistics maj_d, introduced for permutations by Kadell (1985), to standard Young tableaux. At one extreme, we have the traditional Major index statistic maj_1 for tableaux. At the other end, maj_n = inv, the inversion statistic introduced by Haglund and Stevens (2006). This is answers a question of Assaf (2008), who defined maj_2 and maj_3 for tableaux.


title: Orthogonal stochastic duality functions from Lie algebra representations

abstract: We obtain stochastic duality functions for specific Markov processes using representation theory of Lie algebras. The duality functions come from the kernel of a unitary intertwiner between $*$-representations, which provides (generalized) orthogonality relations for the duality functions. In particular, we consider representations of the Heisenberg algebra and $\mathfrak{su}(1,1)$. Both cases lead to orthogonal (self-)duality functions in terms of hypergeometric functions for specific interacting particle processes and interacting diffusion processes.


title: Saturation of energetic-particle-driven geodesic acoustic modes due to wave-particle nonlinearity

abstract: The nonlinear dynamics of energetic-particle (EP) driven geodesic acoustic modes (EGAM) is investigated here. A numerical analysis with the global gyrokinetic particle-in-cell code ORB5 is performed, and the results are interpreted with the analytical theory, in close comparison with the theory of the beam-plasma instability. Only axisymmetric modes are considered, with a nonlinear dynamics determined by wave-particle interaction. Quadratic scalings of the saturated electric field with respect to the linear growth rate are found for the case of interest. The EP bounce frequency is calculated as a function of the EGAM frequency, and shown not to depend on the value of the bulk temperature. Near the saturation, we observe a transition from adiabatic to non-adiabatic dynamics, i.e., the frequency chirping rate becomes comparable to the resonant EP bounce frequency. The numerical analysis is performed here with electrostatic simulations with circular flux surfaces, and kinetic effects of the electrons are neglected.


title: Cleavage Tendency of Anisotropic Two Dimensional Materials: ReX2 (X=S, Se) and WTe2

abstract: With unique distorted 1T structure and the associated in-plane anisotropic properties, mono- and few-layer ReX2 (X=S, Se) have recently attracted particular interest. Based on experiment and first-principles calculations, we investigate the fracture behavior of ReX2. We find that the cleaved edges of ReX2 flakes usually form an angle of ~120{\deg} or ~60{\deg}. In order to understand such phenomenon, we perform comprehensive investigations on the uniaxial tensile stress-strain relation of monolayer and multi-layer ReX2 sheets. Our numerical calculation shows that the particular cleaved edges of ReX2 flakes are caused by unique anisotropic ultimate tensile strengths and critical strains. We also calculate the stress-strain relation of WTe2, which explains why their cleaved edges are not corresponding to the principle axes. Our proposed mechanism about the fracture angle has also been supported by the calculated cleavage energies and surface energies for different edge surfaces.


title: Stabilization of Cascaded Two-Port Networked Systems Against Nonlinear Perturbations

abstract: A networked control system (NCS) consisting of cascaded two-port communication channels between the plant and controller is modeled and analyzed. Towards this end, the robust stability of a standard closed-loop system in the presence of conelike perturbations on the system graphs is investigated. The underlying geometric insights are then exploited to analyze the two-port NCS. It is shown that the robust stability of the two-port NCS can be guaranteed when the nonlinear uncertainties in the transmission matrices are sufficiently small in norm. The stability condition, given in the form of "arcsin" of the uncertainty bounds, is both necessary and sufficient.


title: From Logic to Biology via Physics: a survey

abstract: This short text summarizes the work in biology proposed in our book, Perspectives on Organisms, where we analyse the unity proper to organisms by looking at it from different viewpoints. We discuss the theoretical roles of biological time, complexity, theoretical symmetries, singularities and critical transitions. We explicitly borrow from the conclusions in some key chapters and introduce them by a reflection on "incompleteness", also proposed in the book. We consider that incompleteness is a fundamental notion to understand the way in which we construct knowledge. Then we will introduce an approach to biological dynamics where randomness is central to the theoretical determination: randomness does not oppose biological stability but contributes to it by variability, adaptation, and diversity. Then, evolutionary and ontogenetic trajectories are continual changes of coherence structures involving symmetry changes within an ever-changing global stability.


title: NeuRoute: Predictive Dynamic Routing for Software-Defined Networks

abstract: This paper introduces NeuRoute, a dynamic routing framework for Software Defined Networks (SDN) entirely based on machine learning, specifically, Neural Networks. Current SDN/OpenFlow controllers use a default routing based on Dijkstra algorithm for shortest paths, and provide APIs to develop custom routing applications. NeuRoute is a controller-agnostic dynamic routing framework that (i) predicts traffic matrix in real time, (ii) uses a neural network to learn traffic characteristics and (iii) generates forwarding rules accordingly to optimize the network throughput. NeuRoute achieves the same results as the most efficient dynamic routing heuristic but in much less execution time.


title: A classification of equivariant gerbe connections

abstract: Let G be a compact Lie group acting on a smooth manifold M. In this paper, we consider Meinrenken's G-equivariant bundle gerbe connections on M as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe connections on the differential quotient stack associated to M, and isomorphism classes of G-equivariant gerbe connections are classified by degree three differential equivariant cohomology. Finally, we consider the existence and uniqueness of conjugation-equivariant gerbe connections on compact semisimple Lie groups.


title: Recent Advances of Isogeometric Analysis in Computational Electromagnetics

abstract: In this communication the advantages and drawbacks of the isogeometric analysis (IGA) are reviewed in the context of electromagnetic simulations. IGA extends the set of polynomial basis functions, commonly employed by the classical Finite Element Method (FEM). While identical to FEM with N\'ed\'elec's basis functions in the lowest order case, it is based on B-spline and Non-Uniform Rational B-spline basis functions. The main benefit of this is the exact representation of the geometry in the language of computer aided design (CAD) tools. This simplifies the meshing as the computational mesh is implicitly created by the engineer using the CAD tool. The curl- and div-conforming spline function spaces are recapitulated and the available software is discussed. Finally, several non-academic benchmark examples in two and three dimensions are shown which are used in optimization and uncertainty quantification workflows.


title: TikZ-network manual

abstract: TikZ-network is an open source software project for visualizing graphs and networks in LaTeX. It aims to provide a simple and easy tool to create, visualize and modify complex networks. The packaged is based on the PGF/TikZ languages for producing vector graphics from a geometric/algebraic description. Particular focus is made on the software usability and interoperability with other tools. Simple networks can be directly created within LaTeX, while more complex networks can be imported from external sources (e.g. igraph, networkx, QGIS, ...). Additionally, tikz-network supports visualization of multilayer networks in two and three dimensions. The software is available at: https://github.com/hackl/tikz-network.


title: Extremal Determinants of Laplace-Beltrami Operators for Rectangular Tori

abstract: In this work we study the determinant of the Laplace-Beltrami operator on rectangular tori of unit area. We will see that the square torus gives the extremal determinant within this class of tori. The result is established by studying properties of the Dedekind eta function for special arguments and refined logarithmic convexity and concavity results of the classical Jacobi theta functions of one real variable are deeply involved.


title: From metagenomic data to personalized computational microbiotas: Predicting dietary supplements for Crohn's disease

abstract: Crohn's disease (CD) is associated with an ecological imbalance of the intestinal microbiota, consisting of hundreds of species. The underlying complexity as well as individual differences between patients contributes to the difficulty to define a standardized treatment. Computational modeling can systematically investigate metabolic interactions between gut microbes to unravel novel mechanistic insights. In this study, we integrated metagenomic data of CD patients and healthy controls with genome-scale metabolic models into personalized in silico microbiotas. We predicted short chain fatty acid (SFCA) levels for patients and controls, which were overall congruent with experimental findings. As an emergent property, low concentrations of SCFA were predicted for CD patients and the SCFA signatures were unique to each patient. Consequently, we suggest personalized dietary treatments that could improve each patient's SCFA levels. The underlying modeling approach could aid clinical practice to find novel dietary treatment and guide recovery by rationally proposing food aliments.


title: Supersonic motion of high frequency vibrational soliton in monatomic chain

abstract: Moving self-localized vibration of large size (vibrational soliton) in monatomic chain with cubic and quartic anharmonicities is considered. Two types of motion of such vibrations are found: the subsonic and the supersonic ones. First type of motion is possible for chains with hard quartic anharmonicity supposing that cubic anharmonicity is weak. This motion was earlier observed in numerical simulations. For the second type of motion the cubic anharmonicity plays the decisive role: the moving mode is stabilized by co-moving deformation of the lattice caused by this anharmonicity. The quartic anharmonicity in this case may be absent or even soft.


title: Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents

abstract: The Arcade Learning Environment (ALE) is an evaluation platform that poses the challenge of building AI agents with general competency across dozens of Atari 2600 games. It supports a variety of different problem settings and it has been receiving increasing attention from the scientific community, leading to some high-profile success stories such as the much publicized Deep Q-Networks (DQN). In this article we take a big picture look at how the ALE is being used by the research community. We show how diverse the evaluation methodologies in the ALE have become with time, and highlight some key concerns when evaluating agents in the ALE. We use this discussion to present some methodological best practices and provide new benchmark results using these best practices. To further the progress in the field, we introduce a new version of the ALE that supports multiple game modes and provides a form of stochasticity we call sticky actions. We conclude this big picture look by revisiting challenges posed when the ALE was introduced, summarizing the state-of-the-art in various problems and highlighting problems that remain open.


title: Learning Neural Networks with Two Nonlinear Layers in Polynomial Time

abstract: We give a polynomial-time algorithm for learning neural networks with one layer of sigmoids feeding into any Lipschitz, monotone activation function (e.g., sigmoid or ReLU). We make no assumptions on the structure of the network, and the algorithm succeeds with respect to {\em any} distribution on the unit ball in $n$ dimensions (hidden weight vectors also have unit norm). This is the first assumption-free, provably efficient algorithm for learning neural networks with two nonlinear layers. Our algorithm-- {\em Alphatron}-- is a simple, iterative update rule that combines isotonic regression with kernel methods. It outputs a hypothesis that yields efficient oracle access to interpretable features. It also suggests a new approach to Boolean learning problems via real-valued conditional-mean functions, sidestepping traditional hardness results from computational learning theory. Along these lines, we subsume and improve many longstanding results for PAC learning Boolean functions to the more general, real-valued setting of {\em probabilistic concepts}, a model that (unlike PAC learning) requires non-i.i.d. noise-tolerance.


title: Guided Deep Reinforcement Learning for Swarm Systems

abstract: In this paper, we investigate how to learn to control a group of cooperative agents with limited sensing capabilities such as robot swarms. The agents have only very basic sensor capabilities, yet in a group they can accomplish sophisticated tasks, such as distributed assembly or search and rescue tasks. Learning a policy for a group of agents is difficult due to distributed partial observability of the state. Here, we follow a guided approach where a critic has central access to the global state during learning, which simplifies the policy evaluation problem from a reinforcement learning point of view. For example, we can get the positions of all robots of the swarm using a camera image of a scene. This camera image is only available to the critic and not to the control policies of the robots. We follow an actor-critic approach, where the actors base their decisions only on locally sensed information. In contrast, the critic is learned based on the true global state. Our algorithm uses deep reinforcement learning to approximate both the Q-function and the policy. The performance of the algorithm is evaluated on two tasks with simple simulated 2D agents: 1) finding and maintaining a certain distance to each others and 2) locating a target.


title: A self-driven phase transition drives Myxococcus xanthus fruiting body formation

abstract: Combining high-resolution single cell tracking experiments with numerical simulations, we show that starvation-induced fruiting body (FB) formation in Myxococcus xanthus is a phase separation driven by cells that tune their motility over time. The phase separation can be understood in terms of cell density and a dimensionless Peclet number that captures cell motility through speed and reversal frequency. Our work suggests that M. xanthus take advantage of a self-driven non-equilibrium phase transition that can be controlled at the single cell level.


title: The moduli spaces of equivariant minimal surfaces in $\mathbb{RH}^3$ and $\mathbb{RH}^4$ via Higgs bundles

abstract: In this article we introduce a definition for the moduli space of equivariant minimal immersions of the Poincar\'e disc into a non-compact symmetric space, where the equivariance is with respect to representations of the fundamental group of a compact Riemann surface of genus at least two. We then study this moduli space for the non-compact symmetric space $\mathbb{RH}^n$ and show how $SO_0(n,1)$-Higgs bundles can be used to parametrise this space, making clear how the classical invariants (induced metric and second fundamental form) figure in this picture. We use this parametrisation to provide details of the moduli spaces for $\mathbb{RH}^3$ and $\mathbb{RH}^4$, and relate their structure to the structure of the corresponding Higgs bundle moduli spaces.


title: A note on "gaugings" in four spacetime dimensions and electric-magnetic duality

abstract: The variety of consistent "gauging" deformations of supergravity theories in four dimensions depends on the choice of Lagrangian formulation. One important goal is to get the most general deformations without making hidden assumptions. Ignoring supersymmetry we consider in this paper $n_v$ abelian vector potentials in four spacetime dimensions with non-minimal kinetic coupling to $n_s$ uncharged (possibly nonlinear) scalar fields. As in the case of extended supergravities, one model may possess different formulations related by $Sp(2n_v,\mathbb{R})$. The symplectic group mixes its electric and magnetic potentials. The model admits a global duality symmetry subgroup $G$ which acts also on the scalars. We recall first how the general second order Lagrangian, its local deformations and those of its abelian gauge group will depend on the choice of $2n_v$ directions (choice of "Darboux frame"). We start from a general frame defined by the symplectic transformation relating it to a fixed"reference" one. Combinations of symplectic matrix coefficients appear then as constant parameters in the second order Lagrangians. Another gauging method uses an "embedding tensor" that characterizes the realization of the gauge group via the global duality group. It involves additional 2-form gauge fields. A suitable zero charge limit of this realization has abelian gauge group and the "gauging" can be viewed as a consistent deformation of that limit. We show that the two methods applied to the corresponding ungauged models have equivalent local deformations -- and more generally, have isomorphic local BRST cohomology at all ghost numbers. We finally consider manifestly duality invariant first order actions with abelian gauge group. We point out that obstructions to non-abelian deformations of the Yang-Mills type exhibited in a previous work remain present when couplings to scalar fields are included.


title: Sufficient conditions for $C^{1,\alpha}$ parametrization and rectifiability

abstract: We say a measure is $C^{1,\alpha}$ $d$-rectifiable if there is a countable union of $C^{1,\alpha}$ $d$-surfaces whose complement has measure zero. We provide sufficient conditions for a Radon measure in $\mathbb{R}^n$ to be $C^{1,\alpha}$ $d$-rectifiable, with $\alpha \in (0,1]$. The conditions involve a Bishop-Jones type square function and all statements are quantitative in that the $C^{1,\alpha}$ constants depend on such a function. Along the way we also give sufficient conditions for $C^{1,\alpha}$ parametrizations for Reifenberg flat sets in terms of the same square function. Key tools for the proof come from David and Toro's Reifenberg parametrizations of sets with holes in the H\"{o}lder and Lipschitz categories.


title: Scattering of two spinning black holes in post-Minkowskian gravity, to all orders in spin, and effective-one-body mappings

abstract: We demonstrate equivalences, under simple mappings, between the dynamics of three distinct systems---(i) an arbitrary-mass-ratio two-spinning-black-hole system, (ii) a spinning test black hole in a background Kerr spacetime, and (iii) geodesic motion in Kerr---when each is considered in the first post-Minkowskian (1PM) approximation to general relativity, i.e. to linear order $G$ but to all orders in $1/c$, and to all orders in the black holes' spins, with all orders in the multipole expansions of their linearized gravitational fields. This is accomplished via computations of the net results of weak gravitational scattering encounters between two spinning black holes, namely the net $O(G)$ changes in the holes' momenta and spins as functions of the incoming state. The results are given in remarkably simple closed forms, found by solving effective Mathisson-Papapetrou-Dixon-type equations of motion for a spinning black hole in conjunction with the linearized Einstein equation, with appropriate matching to the Kerr solution. The scattering results fully encode the gauge-invariant content of a canonical Hamiltonian governing binary-black-hole dynamics at 1PM order, for generic (unbound and bound) orbits and spin orientations. We deduce one such Hamiltonian, which reproduces and resums the 1PM parts of all such previous post-Newtonian results, and which directly manifests the equivalences with the test-body limits via simple effective-one-body mappings.


title: Searching for test data with feature diversity

abstract: There is an implicit assumption in software testing that more diverse and varied test data is needed for effective testing and to achieve different types and levels of coverage. Generic approaches based on information theory to measure and thus, implicitly, to create diverse data have also been proposed. However, if the tester is able to identify features of the test data that are important for the particular domain or context in which the testing is being performed, the use of generic diversity measures such as this may not be sufficient nor efficient for creating test inputs that show diversity in terms of these features. Here we investigate different approaches to find data that are diverse according to a specific set of features, such as length, depth of recursion etc. Even though these features will be less general than measures based on information theory, their use may provide a tester with more direct control over the type of diversity that is present in the test data. Our experiments are carried out in the context of a general test data generation framework that can generate both numerical and highly structured data. We compare random sampling for feature-diversity to different approaches based on search and find a hill climbing search to be efficient. The experiments highlight many trade-offs that needs to be taken into account when searching for diversity. We argue that recurrent test data generation motivates building statistical models that can then help to more quickly achieve feature diversity.


title: Fukaya A_\infty-structures associated to Lefschetz fibrations. IV

abstract: We consider Hamiltonian Floer cohomology groups associated to a Lefschetz fibration, and the structure of operations on them. As an application, we will (under an important additional assumption) equip those groups with connections, which differentiate with respect to the Novikov variable.


title: LS-VO: Learning Dense Optical Subspace for Robust Visual Odometry Estimation

abstract: This work proposes a novel deep network architecture to solve the camera Ego-Motion estimation problem. A motion estimation network generally learns features similar to Optical Flow (OF) fields starting from sequences of images. This OF can be described by a lower dimensional latent space. Previous research has shown how to find linear approximations of this space. We propose to use an Auto-Encoder network to find a non-linear representation of the OF manifold. In addition, we propose to learn the latent space jointly with the estimation task, so that the learned OF features become a more robust description of the OF input. We call this novel architecture LS-VO. The experiments show that LS-VO achieves a considerable increase in performances in respect to baselines, while the number of parameters of the estimation network only slightly increases.


title: A systematic method for constructing discrete Painlev\'e equations in the degeneration cascade of the E$_8$ group

abstract: We present a systematic and quite elementary method for constructing discrete Painlev\'e equations in the degeneration cascade for E$_8^{(1)}$. Starting from the invariant for the autonomous limit of the E$_8^{(1)}$ equation one wishes to study, the method relies on choosing simple homographies that will cast this invariant into certain judiciously chosen canonical forms. These new invariants lead to mappings the deautonomisations of which allow us to build up the entire degeneration cascade of the original mapping. We explain the method on three examples, two symmetric mappings and an asymmetric one, and we discuss the link between our results and the known geometric structure of these mappings.


title: A Novel Approach for Ellipsoidal Outer-Approximation of the Intersection Region of Ellipses in the Plane

abstract: In this paper, a novel technique for tight outer-approximation of the intersection region of a finite number of ellipses in 2-dimensional (2D) space is proposed. First, the vertices of a tight polygon that contains the convex intersection of the ellipses are found in an efficient manner. To do so, the intersection points of the ellipses that fall on the boundary of the intersection region are determined, and a set of points is generated on the elliptic arcs connecting every two neighbouring intersection points. By finding the tangent lines to the ellipses at the extended set of points, a set of half-planes is obtained, whose intersection forms a polygon. To find the polygon more efficiently, the points are given an order and the intersection of the half-planes corresponding to every two neighbouring points is calculated. If the polygon is convex and bounded, these calculated points together with the initially obtained intersection points will form its vertices. If the polygon is non-convex or unbounded, we can detect this situation and then generate additional discrete points only on the elliptical arc segment causing the issue, and restart the algorithm to obtain a bounded and convex polygon. Finally, the smallest area ellipse that contains the vertices of the polygon is obtained by solving a convex optimization problem. Through numerical experiments, it is illustrated that the proposed technique returns a tighter outer-approximation of the intersection of multiple ellipses, compared to conventional techniques, with only slightly higher computational cost.


title: Backreaction and FRW consistency conditions

abstract: If the FRW metric is a good approximation on large scales, then the distance and the expansion rate, as well different notions of distance, satisfy certain consistency conditions. We fit the JLA SNIa distance data to determine the expected amplitude of the violation of these conditions if accelerated expansion is due to backreaction. Adding cosmic clock and BAO expansion rate data, we also model-independently determine the current observational limits on such violation. We find that the predicted maximum backreaction amplitude $|k_H|\lesssim1$ (95% C.I.) is of the same order as the current observational constraints $|k_H|\lesssim1$, the precise numbers depending on the adopted fitting method (polynomials or splines) and stellar population evolution model. We also find that constraints on the value of $H_0$ determined from expansion rate data are sensitive to the stellar evolution model. We forecast constraints from projected LSST+Euclid-like SNIa plus Euclid galaxy differential age data. We find improvement by factor of 6 for the backreaction case and 3 for the model-independent case, probing an interesting region of possible signatures.


title: On the number of terms witnessing congruence modularity

abstract: We study the validity of congruence inclusions of the form $ \alpha ( \beta \circ \alpha \gamma \circ \beta \circ \dotsc \circ \alpha \gamma \circ \beta ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots$ in congruence modular varieties, with an appropriate number of terms on each side and where juxtaposition denotes intersection. Two different methods using Day and Gumm terms are merged in order to obtain the so far best bounds. We introduce and study other related identities, possibly involving tolerances and admissible relations. We also slightly improve a result by A. Day, to the effect that if $n$ is even, then every variety with $n+2$ J\'onsson terms has $2n+1$ Day terms.


title: Supersymmetric dS/CFT

abstract: We put forward new explicit realisations of dS/CFT that relate ${\cal N}=2$ supersymmetric Euclidean vector models with reversed spin-statistics in three dimensions to specific supersymmetric Vasiliev theories in four-dimensional de Sitter space. The partition function of the free supersymmetric vector model deformed by a range of low spin deformations that preserve supersymmetry appears to specify a well-defined wave function with asymptotic de Sitter boundary conditions in the bulk. In particular we find the wave function is globally peaked at undeformed de Sitter space, with a low amplitude for strong deformations. This suggests that supersymmetric de Sitter space is stable in higher-spin gravity and in particular free from ghosts. We speculate this is a limiting case of the de Sitter realizations in exotic string theories.


title: Analysis of High Frequency Impedance Measurement Techniques for Power Line Network Sensing

abstract: A major aspect in power line distribution networks is the constant monitoring of the network properties. With the advent of the smart grid concept, distributed monitoring has started complementing the information of the central stations. In this context, power line communications modems deployed throughout the network provide a tool to monitor high frequency components of the signals traveling through a power line network. We propose therefore to use them not only as communication devices but also as network sensors. Besides classical voltage measurements, these sensors can be designed to monitor high frequency impedances, which provide useful information about the power line network, as for instance status of the topology, cable degradation and occurrence of faults. In this article, we provide a technical analysis of different voltage and impedance measurement techniques that can be integrated into power line modems. We assess the accuracy of the techniques under analysis in the presence of network noise and we discuss the statistical characteristics of the measurement noise. We finally compare the performances of the examined techniques when applied to the fault detection problem in distribution networks, in order to establish which technique gives more accurate results.


title: Deep dip teardown of tubeless insulin pump

abstract: This paper introduces a deep level teardown process of a personal medical device - the OmniPod wireless tubeless insulin pump. This starts with mechanical teardown exposing the engineering solutions used inside the device. Then the electronic part of the device is analysed followed by components identification. Finally, the firmware extraction is performed allowing further analysis of the firmware inside the device as well as real-time debugging. This paper also evaluates the security of the main controller IC of the device. It reveals some weaknesses in the device design process which lead to the possibility of the successful teardown. Should the hardware security of the controller inside the device was well thought through, the teardown process would be far more complicated. This paper demonstrates what the typical teardown process of a personal medical device involves. This knowledge could help in improving the hardware security of sensitive devices.


title: Skyrmion morphology in ultrathin magnetic films

abstract: Nitrogen-vacancy magnetic microscopy is employed in quenching mode as a non-invasive, high resolution tool to investigate the morphology of isolated skyrmions in ultrathin magnetic films. The skyrmion size and shape are found to be strongly affected by local pinning effects and magnetic field history. Micromagnetic simulations including static disorder, based on a physical model of grain-to-grain thickness variations, reproduce all experimental observations and reveal the key role of disorder and magnetic history in the stabilization of skyrmions in ultrathin magnetic films. This work opens the way to an in-depth understanding of skyrmion dynamics in real, disordered media.


title: A hexatic smectic phase with algebraically decaying bond-orientational order

abstract: The hexatic phase predicted by the theories of two-dimensional melting is characterised by the power law decay of the orientational correlations whereas the in-layer bond orientational order in all the hexatic smectic phases observed so far was found to be long-range. We report a hexatic smectic phase where the in-layer bond orientational correlations decay as $\propto r^{-1/4}$, in quantitative agreement with the hexatic ordering predicted by the theory for two dimensions. The phase was formed in a molecular dynamics simulation of a one-component system of particles interacting via a spherically symmetric potential. This is the first observation of the theoretically predicted two-dimensional hexatic order in a three-dimensional system.


title: Interfacial thermal transport with strong system-bath coupling: A phonon delocalization effect

abstract: We study the effect of system-bath coupling strength on quantum thermal transport through the interface of two weakly coupled anharmonic molecular chains using quantum self-consistent phonon approach. The heat current shows a resonant to bi-resonant transition due to the variations in the interfacial coupling and temperature, which is attributed to the delocalization of phonon modes. Delocalization occurs only in the strong system-bath coupling regime and we utilize it to model a thermal rectifier whose ratio can be non-monotonically tuned not only with the intrinsic system parameters but also with the external temperature.


title: N2N Learning: Network to Network Compression via Policy Gradient Reinforcement Learning

abstract: While bigger and deeper neural network architectures continue to advance the state-of-the-art for many computer vision tasks, real-world adoption of these networks is impeded by hardware and speed constraints. Conventional model compression methods attempt to address this problem by modifying the architecture manually or using pre-defined heuristics. Since the space of all reduced architectures is very large, modifying the architecture of a deep neural network in this way is a difficult task. In this paper, we tackle this issue by introducing a principled method for learning reduced network architectures in a data-driven way using reinforcement learning. Our approach takes a larger `teacher' network as input and outputs a compressed `student' network derived from the `teacher' network. In the first stage of our method, a recurrent policy network aggressively removes layers from the large `teacher' model. In the second stage, another recurrent policy network carefully reduces the size of each remaining layer. The resulting network is then evaluated to obtain a reward -- a score based on the accuracy and compression of the network. Our approach uses this reward signal with policy gradients to train the policies to find a locally optimal student network. Our experiments show that we can achieve compression rates of more than 10x for models such as ResNet-34 while maintaining similar performance to the input `teacher' network. We also present a valuable transfer learning result which shows that policies which are pre-trained on smaller `teacher' networks can be used to rapidly speed up training on larger `teacher' networks.


title: Video Object Segmentation Without Temporal Information

abstract: Video Object Segmentation, and video processing in general, has been historically dominated by methods that rely on the temporal consistency and redundancy in consecutive video frames. When the temporal smoothness is suddenly broken, such as when an object is occluded, or some frames are missing in a sequence, the result of these methods can deteriorate significantly or they may not even produce any result at all. This paper explores the orthogonal approach of processing each frame independently, i.e disregarding the temporal information. In particular, it tackles the task of semi-supervised video object segmentation: the separation of an object from the background in a video, given its mask in the first frame. We present Semantic One-Shot Video Object Segmentation (OSVOS-S), based on a fully-convolutional neural network architecture that is able to successively transfer generic semantic information, learned on ImageNet, to the task of foreground segmentation, and finally to learning the appearance of a single annotated object of the test sequence (hence one shot). We show that instance level semantic information, when combined effectively, can dramatically improve the results of our previous method, OSVOS. We perform experiments on two recent video segmentation databases, which show that OSVOS-S is both the fastest and most accurate method in the state of the art.


title: Asteroid impacts on terrestrial planets: The effects of super-Earths and the role of the $\nu_6$ resonance

abstract: With N-body simulations of a planetary system with an asteroid belt we investigate how the asteroid impact rate on the Earth is affected by the architecture of the planetary system. We find that the $\nu_6$ secular resonance plays an important role in the asteroid collision rate with the Earth. Compared to exoplanetary systems, the solar system is somewhat special in its lack of a super-Earth mass planet in the inner solar system. We therefore first consider the effects of the presence of a super-Earth in the terrestrial planet region. We find a significant effect for super-Earths with a mass of around $10\,\rm M_\oplus$ and a separation greater than about $0.7\,\rm AU$. For a super-Earth that is interior to the Earth's orbit, the number of asteroids colliding with Earth increases the closer the super-Earth is to the Earth's orbit. This is the result of multiple secular resonance locations causing more asteroids to be perturbed onto Earth-crossing orbits. When the super-Earth is placed exterior to Earth's orbit, the collision rate decreases substantially because the $\nu_6$ resonance no longer exists in the asteroid belt region. We also find that changing the semi-major axis of Saturn leads to a significant decrease in the asteroid collision rate, while increasing its mass increases the collision rate. These results may have implications for the habitability of exoplanetary systems.


title: Sequence to Sequence Learning for Event Prediction

abstract: This paper presents an approach to the task of predicting an event description from a preceding sentence in a text. Our approach explores sequence-to-sequence learning using a bidirectional multi-layer recurrent neural network. Our approach substantially outperforms previous work in terms of the BLEU score on two datasets derived from WikiHow and DeScript respectively. Since the BLEU score is not easy to interpret as a measure of event prediction, we complement our study with a second evaluation that exploits the rich linguistic annotation of gold paraphrase sets of events.


title: Decomposibility and norm convergence properties in finite von Neumann algebras

abstract: We study Schur-type upper triangular forms for elements, T, of von Neumann algebras equipped with faithful, normal, tracial states. These were introduced in a paper of Dykema, Sukochev and Zanin; they are based on Haagerup-Schultz projections. We investigate when the s.o.t.-quasinilpotent part of this decomposition of T is actually quasinilpotent. We prove implications involving decomposability and strong decomposability of T. We show this is related to norm convergence properties of the sequence |T^n|^{1/n} which, by a result of Haagerup and Schultz, is known to converge in strong operator topology. We introduce a Borel decomposability, which is a property appropriate for elements of finite von Neumann algebras, and show that the circular operator is Borel decomposable. We also prove the existence of a thin-spectrum s.o.t.-quasinilpotent operator in the hyperfinite II_1-factor.


title: Vehicle Tracking in Wide Area Motion Imagery via Stochastic Progressive Association Across Multiple Frames (SPAAM)

abstract: Vehicle tracking in Wide Area Motion Imagery (WAMI) relies on associating vehicle detections across multiple WAMI frames to form tracks corresponding to individual vehicles. The temporal window length, i.e., the number $M$ of sequential frames, over which associations are collectively estimated poses a trade-off between accuracy and computational complexity. A larger $M$ improves performance because the increased temporal context enables the use of motion models and allows occlusions and spurious detections to be handled better. The number of total hypotheses tracks, on the other hand, grows exponentially with increasing $M$, making larger values of $M$ computationally challenging to tackle. In this paper, we introduce SPAAM an iterative approach that progressively grows $M$ with each iteration to improve estimated tracks by exploiting the enlarged temporal context while keeping computation manageable through two novel approaches for pruning association hypotheses. First, guided by a road network, accurately co-registered to the WAMI frames, we disregard unlikely associations that do not agree with the road network. Second, as $M$ is progressively enlarged at each iteration, the related increase in association hypotheses is limited by revisiting only the subset of association possibilities rendered open by stochastically determined dis-associations for the previous iteration. The stochastic dis-association at each iteration maintains each estimated association according to an estimated probability for confidence, obtained via a probabilistic model. Associations at each iteration are then estimated globally over the $M$ frames by (approximately) solving a binary integer programming problem for selecting a set of compatible tracks. Vehicle tracking results obtained over test WAMI datasets indicate that our proposed approach provides significant performance improvements over 3 alternatives.


title: Local decoding and testing of polynomials over grids

abstract: The well-known DeMillo-Lipton-Schwartz-Zippel lemma says that $n$-variate polynomials of total degree at most $d$ over grids, i.e. sets of the form $A_1 \times A_2 \times \cdots \times A_n$, form error-correcting codes (of distance at least $2^{-d}$ provided $\min_i\{|A_i|\}\geq 2$). In this work we explore their local decodability and (tolerant) local testability. While these aspects have been studied extensively when $A_1 = \cdots = A_n = \mathbb{F}_q$ are the same finite field, the setting when $A_i$'s are not the full field does not seem to have been explored before. In this work we focus on the case $A_i = \{0,1\}$ for every $i$. We show that for every field (finite or otherwise) there is a test whose query complexity depends only on the degree (and not on the number of variables). In contrast we show that decodability is possible over fields of positive characteristic (with query complexity growing with the degree of the polynomial and the characteristic), but not over the reals, where the query complexity must grow with $n$. As a consequence we get a natural example of a code (one with a transitive group of symmetries) that is locally testable but not locally decodable. Classical results on local decoding and testing of polynomials have relied on the 2-transitive symmetries of the space of low-degree polynomials (under affine transformations). Grids do not possess this symmetry: So we introduce some new techniques to overcome this handicap and in particular use the hypercontractivity of the (constant weight) noise operator on the Hamming cube.


title: Efficient simulation of Brown-Resnick processes based on variance reduction of Gaussian processes

abstract: Brown-Resnick processes are max-stable processes that are associated to Gaussian processes. Their simulation is often based on the corresponding spectral representation which is not unique. We study to what extent simulation accuracy and efficiency can be improved by minimizing the maximal variance of the underlying Gaussian process. Such a minimization is a difficult mathematical problem that also depends on the geometry of the simulation domain. We extend Matheron's (1974) seminal contribution in two aspects: (i) making his description of a minimal maximal variance explicit for convex variograms on symmetric domains and (ii) proving that the same strategy reduces the maximal variance also for a huge class of non-convex variograms representable through a Bernstein function. A simulation study confirms that our non-costly modification can lead to substantial improvements among Gaussian representations. We also compare it with three other established algorithms.


title: Spin-selectable, region-tunable negative differential resistance in graphene double ferromagnetic barriers

abstract: We propose a graphene device that can generate spin-dependent negative differential resistance (NDR). The device is composed of a sufficiently wide and short graphene and two gated EuO strips deposited on top of it. This scheme avoids graphene edge tailors required by previous proposals. More importantly, we find clear significant of a spin selectivity and a region tunability in the spin-dependent NDR: by changing the top gates of the device, NDR for spin up only, spin down only, or both spins (occurring sequentially) can be respectively realized; meanwhile, the central position of the NDR region in each case can be monotonously tuned in a wide range of bias voltage. These remarkable features are attributed to a gate controllability of the spin-dependent resonant levels in the device hence their deviations from the Fermi energy and Dirac point in the source electrode, respectively. They add a spin and a bias degree of freedom to conventional NDR-based devices, which paves a way for designing a whole new class of NDR circuits.


title: Why did the Robot Cross the Road? - Learning from Multi-Modal Sensor Data for Autonomous Road Crossing

abstract: We consider the problem of developing robots that navigate like pedestrians on sidewalks through city centers for performing various tasks including delivery and surveillance. One particular challenge for such robots is crossing streets without pedestrian traffic lights. To solve this task the robot has to decide based on its sensory input if the road is clear. In this work, we propose a novel multi-modal learning approach for the problem of autonomous street crossing. Our approach solely relies on laser and radar data and learns a classifier based on Random Forests to predict when it is safe to cross the road. We present extensive experimental evaluations using real-world data collected from multiple street crossing situations which demonstrate that our approach yields a safe and accurate street crossing behavior and generalizes well over different types of situations. A comparison to alternative methods demonstrates the advantages of our approach.


title: Isoperimetry in Surfaces of Revolution with Density

abstract: The isoperimetric problem with a density or weighting seeks to enclose prescribed weighted volume with minimum weighted perimeter. According to Chambers' recent proof of the log-convex density conjecture, for many densities on $\mathbb{R}^n$ the answer is a sphere about the origin. We seek to generalize his results to some other spaces of revolution or to two different densities for volume and perimeter. We provide general results on existence and boundedness and a new approach to proving circles about the origin isoperimetric.


title: Endo-VMFuseNet: Deep Visual-Magnetic Sensor Fusion Approach for Uncalibrated, Unsynchronized and Asymmetric Endoscopic Capsule Robot Localization Data

abstract: In the last decade, researchers and medical device companies have made major advances towards transforming passive capsule endoscopes into active medical robots. One of the major challenges is to endow capsule robots with accurate perception of the environment inside the human body, which will provide necessary information and enable improved medical procedures. We extend the success of deep learning approaches from various research fields to the problem of uncalibrated, asynchronous, and asymmetric sensor fusion for endoscopic capsule robots. The results performed on real pig stomach datasets show that our method achieves sub-millimeter precision for both translational and rotational movements and contains various advantages over traditional sensor fusion techniques.


title: Existence and uniqueness results for possibly singular nonlinear elliptic equations with measure data

abstract: We study existence and uniqueness of solutions to a nonlinear elliptic boundary value problem with a general, and possibly singular, lower order term, whose model is $$\begin{cases} -\Delta_p u = H(u)\mu & \text{in}\ \Omega,\\ u>0 &\text{in}\ \Omega,\\ u=0 &\text{on}\ \partial\Omega. \end{cases}$$ Here $\Omega$ is an open bounded subset of $\mathbb{R}^N$ ($N\ge2$), $\Delta_p u:= \operatorname{div}(|\nabla u|^{p-2}\nabla u)$ ($1<p<N$) is the $p$-laplacian operator, $\mu$ is a nonnegative bounded Radon measure on $\Omega$ and $H(s)$ is a continuous, positive and finite function outside the origin which grows at most as $s^{-\gamma}$, with $\gamma\ge0$, near zero.


title: Landauer-B\"uttiker approach to strongly coupled quantum thermodynamics: inside-outside duality of entropy evolution

abstract: We develop a Landauer-B\"uttiker theory of entropy evolution in time-dependent strongly coupled electron systems. This formalism naturally avoids the problem of system-bath distinction caused by the strong hybridization of central system and surrounding reservoirs. In an adiabatic expansion up to first order beyond the quasistatic limit, it provides a clear understanding of the connection between heat and entropy currents generated by time-dependent potentials and shows their connection to the occurring dissipation. Combined with the work required to change the potential, the developed formalism provides a full thermodynamic description from an outside perspective, applicable to arbitrary non-interacting electron systems.


title: Counting Steiner triple systems with classical parameters and prescribed rank

abstract: By a famous result of Doyen, Hubaut and Vandensavel \cite{DHV}, the 2-rank of a Steiner triple system on $2^n-1$ points is at least $2^n -1 -n$, and equality holds only for the classical point-line design in the projective geometry $PG(n-1,2)$. It follows from results of Assmus \cite{A} that, given any integer $t$ with $1 \leq t \leq n-1$, there is a code $C_{n,t}$ containing representatives of all isomorphism classes of STS$(2^n-1)$ with 2-rank at most $2^n -1 -n + t$. Using a mixture of coding theoretic, geometric, design theoretic and combinatorial arguments, we prove a general formula for the number of distinct STS$(2^n-1)$ with 2-rank at most $2^n -1 -n + t$ contained in this code. This generalizes the only previously known cases, $t=1$, proved by Tonchev \cite{T01} in 2001, $t=2$, proved by V. Zinoviev and D. Zinoviev \cite{ZZ12} in 2012, and $t=3$ (V. Zinoviev and D. Zinoviev \cite{ZZ13}, \cite{ZZ13a} (2013), D. Zinoviev \cite{Z16} (2016)), while also unifying and simplifying the proofs. This enumeration result allows us to prove lower and upper bounds for the number of isomorphism classes of STS$(2^n-1)$ with 2-rank exactly (or at most) $2^n -1 -n + t$. Finally, using our recent systematic study of the ternary block codes of Steiner triple systems \cite{JT}, we obtain analogous results for the ternary case, that is, for STS$(3^n)$ with 3-rank at most (or exactly) $3^n -1 -n + t$. We note that this work provides the first two infinite families of 2-designs for which one has non-trivial lower and upper bounds for the number of non-isomorphic examples with a prescribed $p$-rank in almost the entire range of possible ranks.


title: Thermodynamically Consistent Coarse Graining of Biocatalysts beyond Michaelis--Menten

abstract: Starting from the detailed catalytic mechanism of a biocatalyst we provide a coarse-graining procedure which, by construction, is thermodynamically consistent. This procedure provides stoichiometries, reaction fluxes (rate laws), and reaction forces (Gibbs energies of reaction) for the coarse-grained level. It can treat active transporters and molecular machines, and thus extends the applicability of ideas that originated in enzyme kinetics. Our results lay the foundations for systematic studies of the thermodynamics of large-scale biochemical reaction networks. Moreover, we identify the conditions under which a relation between one-way fluxes and forces holds at the coarse-grained level as it holds at the detailed level. In doing so, we clarify the speculations and broad claims made in the literature about such a general flux--force relation. As a further consequence we show that, in contrast to common belief, the second law of thermodynamics does not require the currents and the forces of biochemical reaction networks to be always aligned.


title: Is the Multiset of $n$ Integers Uniquely Determined by the Multiset of Its $s$-sums?

abstract: In 1957 Leo Moser published a problem in American Mathematical Monthly asking whether knowing the set of all pairwise sums of five numbers one could determine the original numbers. Problem was quickly generalized as "Is it always possible to restore a collection of $n$ numbers from the collection of its $s$-sums?"; it turned out to be a very interesting and nontrivial question in additive number theory and combinatorics. On its sixtieth anniversary we present here a survey of all the known research, results and techniques used in various attempts to solve this problem. Some new findings and open questions are presented as well.


title: Bayesian Optimization Using Domain Knowledge on the ATRIAS Biped

abstract: Controllers in robotics often consist of expert-designed heuristics, which can be hard to tune in higher dimensions. It is typical to use simulation to learn these parameters, but controllers learned in simulation often don't transfer to hardware. This necessitates optimization directly on hardware. However, collecting data on hardware can be expensive. This has led to a recent interest in adapting data-efficient learning techniques to robotics. One popular method is Bayesian Optimization (BO), a sample-efficient black-box optimization scheme, but its performance typically degrades in higher dimensions. We aim to overcome this problem by incorporating domain knowledge to reduce dimensionality in a meaningful way, with a focus on bipedal locomotion. In previous work, we proposed a transformation based on knowledge of human walking that projected a 16-dimensional controller to a 1-dimensional space. In simulation, this showed enhanced sample efficiency when optimizing human-inspired neuromuscular walking controllers on a humanoid model. In this paper, we present a generalized feature transform applicable to non-humanoid robot morphologies and evaluate it on the ATRIAS bipedal robot -- in simulation and on hardware. We present three different walking controllers; two are evaluated on the real robot. Our results show that this feature transform captures important aspects of walking and accelerates learning on hardware and simulation, as compared to traditional BO.


title: Generating a non-perturbative mass gap using Feynman diagrams in an asymptotically free theory

abstract: Using the example of a two dimensional four-fermion lattice field theory we demonstrate that Feynman diagrams can generate a mass gap when massless fermions interact via a marginally relevant coupling. We introduce an infrared cutoff through the finite system size so that the perturbation series for the partition function and observables become convergent. We then use the Monte Carlo approach to sample sufficiently high orders of diagrams to expose the presence of a mass gap in the lattice model.


title: A novel Skill-based Programming Paradigm based on Autonomous Playing and Skill-centric Testing

abstract: We introduce a novel paradigm for robot pro- gramming with which we aim to make robot programming more accessible for unexperienced users. In order to do so we incorporate two major components in one single framework: autonomous skill acquisition by robotic playing and visual programming. Simple robot program skeletons solving a task for one specific situation, so-called basic behaviours, are provided by the user. The robot then learns how to solve the same task in many different situations by autonomous playing which reduces the barrier for unexperienced robot programmers. Programmers can use a mix of visual programming and kinesthetic teaching in order to provide these simple program skeletons. The robot program can be implemented interactively by programming parts with visual programming and kinesthetic teaching. We further integrate work on experience-based skill-centric robot software testing which enables the user to continuously test implemented skills without having to deal with the details of specific components.


title: Probing the anomalous dynamical phase in long-range quantum spin chains through Fisher-zero lines

abstract: Using the framework of infinite Matrix Product States, the existence of an \textit{anomalous} dynamical phase for the transverse-field Ising chain with sufficiently long-range interactions was first reported in [J.~C.~Halimeh and V.~Zauner-Stauber, arXiv:1610:02019], where it was shown that \textit{anomalous} cusps arise in the Loschmidt-echo return rate for sufficiently small quenches within the ferromagnetic phase. In this work we further probe the nature of the anomalous phase through calculating the corresponding Fisher-zero lines in the complex time plane. We find that these Fisher-zero lines exhibit a qualitative difference in their behavior, where, unlike in the case of the regular phase, some of them terminate before intersecting the imaginary axis, indicating the existence of smooth peaks in the return rate preceding the cusps. Additionally, we discuss in detail the infinite Matrix Product State time-evolution method used to calculate Fisher zeros and the Loschmidt-echo return rate using the Matrix Product State transfer matrix. Our work sheds further light on the nature of the anomalous phase in the long-range transverse-field Ising chain, while the numerical treatment presented can be applied to more general quantum spin chains.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el quant-ph


title: Determining Dark Matter properties with a XENONnT/LZ signal and LHC-Run3 mono-jet searches

abstract: We develop a method to forecast the outcome of the LHC Run 3 based on the hypothetical detection of $\mathcal{O}(100)$ signal events at XENONnT. Our method relies on a systematic classification of renormalisable single-mediator models for dark matter-quark interactions, and is valid for dark matter candidates of spin less than or equal to one. Applying our method to simulated data, we find that at the end of the LHC Run 3 only two mutually exclusive scenarios would be compatible with the detection of $\mathcal{O}(100)$ signal events at XENONnT. In a first scenario, the energy distribution of the signal events is featureless, as for canonical spin-independent interactions. In this case, if a mono-jet signal is detected at the LHC, dark matter must have spin 1/2 and interact with nucleons through a unique velocity-dependent operator. If a mono-jet signal is not detected, dark matter interacts with nucleons through canonical spin-independent interactions. In a second scenario, the spectral distribution of the signal events exhibits a bump at non zero recoil energies. In this second case, a mono-jet signal can be detected at the LHC Run 3, dark matter must have spin 1/2 and interact with nucleons through a unique momentum-dependent operator. We therefore conclude that the observation of $\mathcal{O}(100)$ signal events at XENONnT combined with the detection, or the lack of detection, of a mono-jet signal at the LHC Run 3 would significantly narrow the range of possible dark matter-nucleon interactions. As we argued above, it can also provide key information on the dark matter particle spin.


title: Kac-Ward formula and its extension to order-disorder correlators through a graph zeta function

abstract: A streamlined derivation of the Kac-Ward formula for the planar Ising model's partition function is presented and applied in relating the kernel of the Kac-Ward matrices' inverse with the correlation functions of the Ising model's order-disorder correlation functions. A shortcut for both is facilitated by the Bowen-Lanford graph zeta function relation. The Kac-Ward relation is also extended here to produce a family of non planar interactions on $\mathbb{Z}^2$ for which the partition function and the order-disorder correlators are solvable at special values of the coupling parameters/temperature.


title: Coupled Ensembles of Neural Networks

abstract: We investigate in this paper the architecture of deep convolutional networks. Building on existing state of the art models, we propose a reconfiguration of the model parameters into several parallel branches at the global network level, with each branch being a standalone CNN. We show that this arrangement is an efficient way to significantly reduce the number of parameters without losing performance or to significantly improve the performance with the same level of performance. The use of branches brings an additional form of regularization. In addition to the split into parallel branches, we propose a tighter coupling of these branches by placing the "fuse (averaging) layer" before the Log-Likelihood and SoftMax layers during training. This gives another significant performance improvement, the tighter coupling favouring the learning of better representations, even at the level of the individual branches. We refer to this branched architecture as "coupled ensembles". The approach is very generic and can be applied with almost any DCNN architecture. With coupled ensembles of DenseNet-BC and parameter budget of 25M, we obtain error rates of 2.92%, 15.68% and 1.50% respectively on CIFAR-10, CIFAR-100 and SVHN tasks. For the same budget, DenseNet-BC has error rate of 3.46%, 17.18%, and 1.8% respectively. With ensembles of coupled ensembles, of DenseNet-BC networks, with 50M total parameters, we obtain error rates of 2.72%, 15.13% and 1.42% respectively on these tasks.


title: Target-adaptive CNN-based pansharpening

abstract: We recently proposed a convolutional neural network (CNN) for remote sensing image pansharpening obtaining a significant performance gain over the state of the art. In this paper, we explore a number of architectural and training variations to this baseline, achieving further performance gains with a lightweight network which trains very fast. Leveraging on this latter property, we propose a target-adaptive usage modality which ensures a very good performance also in the presence of a mismatch w.r.t. the training set, and even across different sensors. The proposed method, published online as an off-the-shelf software tool, allows users to perform fast and high-quality CNN-based pansharpening of their own target images on general-purpose hardware.


title: Dual Conformal Symmetry, Integration-by-Parts Reduction, Differential Equations and the Nonplanar Sector

abstract: We show that dual conformal symmetry, mainly studied in planar $\mathcal N = 4$ super-Yang-Mills theory, has interesting consequences for Feynman integrals in nonsupersymmetric theories such as QCD, including the nonplanar sector. A simple observation is that dual conformal transformations preserve unitarity cut conditions for any planar integrals, including those without dual conformal symmetry. Such transformations generate differential equations without raised propagator powers, often with the right hand side of the system proportional to the dimensional regularization parameter $\epsilon$. A nontrivial subgroup of dual conformal transformations, which leaves all external momenta invariant, generates integration-by-parts relations without raised propagator powers, reproducing, in a simpler form, previous results from computational algebraic geometry for several examples with up to two loops and five legs. By opening up the two-loop three- and four-point nonplanar diagrams into planar ones, we find a nonplanar analog of dual conformal symmetry. As for the planar case this is used to generate integration-by-parts relations and differential equations. This implies that the symmetry is tied to the analytic properties of the nonplanar sector of the two-loop four-point amplitude of $\mathcal N = 4$ super-Yang-Mills theory.


title: Cache-Aware Lock-Free Concurrent Hash Tries

abstract: This report describes an implementation of a non-blocking concurrent shared-memory hash trie based on single-word compare-and-swap instructions. Insert, lookup and remove operations modifying different parts of the hash trie can be run independent of each other and do not contend. Remove operations ensure that the unneeded memory is freed and that the trie is kept compact. A pseudocode for these operations is presented and a proof of correctness is given -- we show that the implementation is linearizable and lock-free. Finally, benchmarks are presented which compare concurrent hash trie operations against the corresponding operations on other concurrent data structures, showing their performance and scalability.


title: Rotation Adaptive Visual Object Tracking with Motion Consistency

abstract: Visual Object tracking research has undergone significant improvement in the past few years. The emergence of tracking by detection approach in tracking paradigm has been quite successful in many ways. Recently, deep convolutional neural networks have been extensively used in most successful trackers. Yet, the standard approach has been based on correlation or feature selection with minimal consideration given to motion consistency. Thus, there is still a need to capture various physical constraints through motion consistency which will improve accuracy, robustness and more importantly rotation adaptiveness. Therefore, one of the major aspects of this paper is to investigate the outcome of rotation adaptiveness in visual object tracking. Among other key contributions, the paper also includes various consistencies that turn out to be extremely effective in numerous challenging sequences than the current state-of-the-art.


title: On the stability and maximum mass of differentially rotating relativistic stars

abstract: The stability properties of rotating relativistic stars against prompt gravitational collapse to a black hole are rather well understood for uniformly rotating models. This is not the case for differentially rotating neutron stars, which are expected to be produced in catastrophic events such as the merger of binary system of neutron stars or the collapse of a massive stellar core. We consider sequences of differentially rotating equilibrium models using the $j$-constant law and by combining them with their dynamical evolution, we show that a sufficient stability criterion for differentially rotating neutron stars exists similar to the one of their uniformly rotating counterparts. Namely: along a sequence of constant angular momentum, a dynamical instability sets in for central rest-mass densities slightly below the one of the equilibrium solution at the turning point. In addition, following Breu & Rezzolla (2016), we show that "quasi-universal" relations can be found when calculating the turning-point mass. In turn, this allows us to compute the maximum mass allowed by differential rotation, $M_{\rm max,dr}$, in terms of the maximum mass of the nonrotating configuration, $M_{_{\rm TOV}}$, finding that $M_{\rm max, dr} \simeq \left(1.54 \pm 0.05\right) M_{_{\rm TOV}}$ for all the equations of state we have considered.


title: High-precision methods for Coulomb, linear confinement and Cornell potentials in momentum space

abstract: We use special quadrature formulas for singular and hypersingular integral to numerically solve the Schr\"{o}dinger equation in momentum space with the linear confinement potential, Coulomb and Cornell potentials. It is shown that the eigenvalues of the equation can be calculated with high accuracy, far exceeding other calculation methods. Special methods of solution for states with zero orbital angular momentum are considered.


title: Network Deployment for Maximal Energy Efficiency in Uplink with Zero-Forcing

abstract: This work aims to design a cellular network for maximal energy efficiency (EE). In particular, we consider the uplink with multi-antenna base stations and assume that zero- forcing (ZF) combining is used for data detection with imperfect channel state information. Using stochastic geometry and a new lower bound on the average per-user spectral efficiency of the network, we optimize the pilot reuse factor, number of antennas and users per base station. Closed-form expressions are computed from which valuable insights into the interplay between the optimization variables, hardware characteristics, and propagation environment are obtained. Numerical results are used to validate the analysis and make comparisons with a network using maximum ratio (MR) combining. The results show that a Massive MIMO setup arises as the EE-optimal network configuration. In addition, ZF provides higher EE than MR while allowing a smaller pilot reuse factor and a more dense network deployment.


title: Optical Polarimetry of KIC 8462852 in May-August 2017

abstract: We present optical polarimetry in the period May-August 2017 of the enigmatic "dipping" star KIC 8462852. During that period three ~1% photometric dips were reported by other observers. We measured the average absolute polarization of the source, and find no excess or unusual polarization compared to a nearby comparison star. We place tight upper limits on any change in the degree of polarization of the source between epochs in- and out-of-dip of <0.1% (8500-Ang.) and <0.2% (7050-Ang. and 5300-Ang.). How our limits are interpreted depends on the specific model being considered. If the whole stellar disk were covered by material with an optical depth of ~0.01 then the fractional polarisation introduced by this material must be less than 10-20%. While our non-detection does not constrain the comet scenario, it predicts that even modest amounts of dust that have properties similar to Solar System comets may be detectable. We note that the sensitivity of our method scales with the depth of the dip. Should a future ~20% photometric dip be observed (as was previously detected by Kepler) our method would constrain any induced polarization associated with any occulting material to 0.5-1.0%.


title: The set-theoretic universe $V$ is not necessarily a class-forcing extension of HOD

abstract: In light of the celebrated theorem of Vop\v{e}nka (1972), proving in ZFC that every set is generic over HOD, it is natural to inquire whether the set-theoretic universe $V$ must be a class-forcing extension of HOD by some possibly proper-class forcing notion in HOD. We show, negatively, that if ZFC is consistent, then there is a model of ZFC that is not a class-forcing extension of its HOD for any class forcing notion definable in HOD and with definable forcing relations there (allowing parameters). Meanwhile, S. Friedman (2012) showed, positively, that if one augments HOD with a certain ZFC-amenable class $A$, definable in $V$, then the set-theoretic universe $V$ is a class-forcing extension of the expanded structure $\langle\text{HOD},\in,A\rangle$. Our result shows that this augmentation process can be necessary. The same example shows that $V$ is not necessarily a class-forcing extension of the mantle, and the method provides counterexamples to the intermediate model property, namely, a class-forcing extension $V\subseteq W\subseteq V[G]$ with an intermediate transitive inner model $W$ that is neither a class-forcing extension of $V$ nor a ground model of $V[G]$ by any definable class forcing notion with definable forcing relations.


title: Computing isogenies between Jacobian of curves of genus 2 and 3

abstract: We present a quasi-linear algorithm to compute isogenies between Jacobians of curves of genus 2 and 3 starting from the equation of the curve and a maximal isotropic subgroup of the l-torsion, for l an odd prime number, generalizing the V\'elu's formula of genus 1. This work is based from the paper "Computing functions on Jacobians and their quotients" of Jean-Marc Couveignes and Tony Ezome. We improve their genus 2 case algorithm, generalize it for genus 3 hyperelliptic curves and introduce a way to deal with the genus 3 non-hyperelliptic case, using algebraic theta functions.


title: White-dwarfs equation of state and structure: The effect of temperature

abstract: We study the effect of having a finite temperature on the equation of state and structure of a white dwarf. In order to keep the treatment as general as possible we carry on our discussion for ideal quantum gases obeying to both the Fermi-Dirac and the Bose-Einstein statistics even if we will only use the results for the free electron gas inside a white dwarf. We discuss the effect of temperature on the stability of the star and on the Fermi hole.


title: Discovery of ideal Weyl points with helicoid surface states

abstract: Weyl points, serving as monopoles in the momentum space and laying the foundation of topological gapless phases, have recently been experimentally demonstrated in various physical systems. However, none of the observed Weyl degeneracies are ideal: they either offset in energy or coexist with trivial dispersions at other momenta. The lack of an ideal Weyl system sets a serious limit to the further development of Weyl physics and potential applications. Here, by constructing a photonic metamaterial, we experimentally observe an ideal Weyl system, whose nodal frequencies are pinned by symmetries to exactly the same value. Benefitting from the ideal Weyl nodes, we are able to map out the complete evolution of the helicoid surface states spinning around the projections of each Weyl nodes. Our discovery provides an ideal photonic platform for Weyl systems and novel topological devices.


title: Topological Entanglement Entropy in Euclidean AdS3 via Surgery

abstract: We calculate the topological entanglement entropy (TEE) in Euclidean asymptotic AdS3 spacetime using surgery. The treatment is intrinsically three-dimensional. In the BTZ black hole background, several different bipartitions are applied. For the bipartition along the horizon between two single-sided black holes, TEE is exactly the Bekenstein-Hawking entropy, which supports the ER=EPR conjecture in the Euclidean case. For other bipartitions, we derive an Entangling-Thermal relation for each single-sided black hole, which is of topological origin. After summing over genus-one classical geometries, we compute TEE in the high-temperature regime. In the case where k=1, we find that TEE is the same as that for a Moonshine double state, given by the maximally-entangled superposition of 194 types of "anyons" in the 3d bulk, labeled by the irreducible representations of the Monster group. We propose this as the bulk analogue of the thermofield double state in the Euclidean spacetime. Comparing the TEE between thermal AdS3 and BTZ solutions, we discuss the implication of TEE on the Hawking-Page transition in 3d.


title: Sculpt, Deploy, Repeat: Fast Prototyping of Interactive Physical Objects

abstract: Building a deployable PhysiComp that merges form and function typically involves a significant investment of time and skill in digital electronics, 3D modeling and mechanical design. We aim to help designers quickly create prototypes by removing technical barriers in that process. Other methods for constructing PhysiComp prototypes either lack fidelity in representing shape and function or are confined to use in the studio next to a workstation, camera or projector system. Software 3D CAD tools can be used to design the shape but do not provide immediate tactile feedback on fit and feel. In this work, sculpting around 3D printed replicas of electronics combines electronics and form in a fluid design environment. The sculptures are scanned, modified for assembly and then printed on a 3D printer. Using this process, functional prototypes can be created with about 4 hours of focused effort over a day and a half with most of that time spent waiting for the 3D printer. The process lends itself to concurrent exploration of several designs and to rapid iteration. This allows the design process to converge quickly to a PhysiComp that is comfortable and useful.


title: Five-dimensional Perfect Simplices

abstract: Let $Q_n=[0,1]^n$ be the unit cube in ${\mathbb R}^n$, $n \in {\mathbb N}$. For a nondegenerate simplex $S\subset{\mathbb R}^n$, consider the value $\xi(S)=\min \{\sigma>0: Q_n\subset \sigma S\}$. Here $\sigma S$ is a homothetic image of $S$ with homothety center at the center of gravity of $S$ and coefficient of homothety $\sigma$. Let us introduce the value $\xi_n=\min \{\xi(S): S\subset Q_n\}$. We call $S$ a perfect simplex if $S\subset Q_n$ and $Q_n$ is inscribed into the simplex $\xi_n S$. It is known that such simplices exist for $n=1$ and $n=3$. The exact values of $\xi_n$ are known for $n=2$ and in the case when there exist an Hadamard matrix of order $n+1$, in the latter situation $\xi_n=n$. In this paper we show that $\xi_5=5$ and $\xi_9=9$. We also describe infinite families of simplices $S\subset Q_n$ such that $\xi(S)=\xi_n$ for $n=5,7,9$. The main result of the paper is the existence of perfect simplices in ${\mathbb R}^5$. Keywords: simplex, cube, homothety, axial diameter, Hadamard matrix


title: Game Total Domination Critical Graphs

abstract: In the total domination game played on a graph $G$, players Dominator and Staller alternately select vertices of $G$, as long as possible, such that each vertex chosen increases the number of vertices totally dominated. Dominator (Staller) wishes to minimize (maximize) the number of vertices selected. The game total domination number, $\gamma_{\rm tg}(G)$, of $G$ is the number of vertices chosen when Dominator starts the game and both players play optimally. If a vertex $v$ of $G$ is declared to be already totally dominated, then we denote this graph by $G|v$. In this paper the total domination game critical graphs are introduced as the graphs $G$ for which $\gamma_{\rm tg}(G|v) < \gamma_{\rm tg}(G)$ holds for every vertex $v$ in $G$. If $\gamma_{\rm tg}(G) = k$, then $G$ is called $k$-$\gamma_{\rm tg}$-critical. It is proved that the cycle $C_n$ is $\gamma_{{\rm tg}}$-critical if and only if $n\pmod 6 \in \{0,1,3\}$ and that the path $P_n$ is $\gamma_{{\rm tg}}$-critical if and only if $n\pmod 6\in \{2,4\}$. $2$-$\gamma_{\rm tg}$-critical and $3$-$\gamma_{\rm tg}$-critical graphs are also characterized as well as $3$-$\gamma_{\rm tg}$-critical joins of graphs.


title: MacWilliams' extension theorem for infinite rings

abstract: Finite Frobenius rings have been characterized as precisely those finite rings satisfying the MacWilliams extension property, by work of Wood. In the present note we offer a generalization of this remarkable result to the realm of Artinian rings. Namely, we prove that a left Artinian ring has the left MacWilliams property if and only if it is left pseudo-injective and its finitary left socle embeds into the semisimple quotient. Providing a topological perspective on the MacWilliams property, we also show that the finitary left socle of a left Artinian ring embeds into the semisimple quotient if and only if it admits a finitarily left torsion-free character, if and only if the Pontryagin dual of the regular left module is almost monothetic. In conclusion, an Artinian ring has the MacWilliams property if and only if it is finitarily Frobenius, i.e., it is quasi-Frobenius and its finitary socle embeds into the semisimple quotient.