-
Generalized Approximate Message-Passing for Compressed Sensing with Sublinear Sparsity
Authors:
Keigo Takeuchi
Abstract:
This paper addresses the reconstruction of an unknown signal vector with sublinear sparsity from generalized linear measurements. Generalized approximate message-passing (GAMP) is proposed via state evolution in the sublinear sparsity limit, where the signal dimension $N$, measurement dimension $M$, and signal sparsity $k$ satisfy $\log k/\log N\to γ\in[0, 1)$ and $M/\{k\log (N/k)\}\toδ$ as $N$ an…
▽ More
This paper addresses the reconstruction of an unknown signal vector with sublinear sparsity from generalized linear measurements. Generalized approximate message-passing (GAMP) is proposed via state evolution in the sublinear sparsity limit, where the signal dimension $N$, measurement dimension $M$, and signal sparsity $k$ satisfy $\log k/\log N\to γ\in[0, 1)$ and $M/\{k\log (N/k)\}\toδ$ as $N$ and $k$ tend to infinity. While the overall flow in state evolution is the same as that for linear sparsity, each proof step for inner denoising requires stronger assumptions than those for linear sparsity. The required new assumptions are proved for Bayesian inner denoising. When Bayesian outer and inner denoisers are used in GAMP, the obtained state evolution recursion is utilized to evaluate the prefactor $δ$ in the sample complexity, called reconstruction threshold. If and only if $δ$ is larger than the reconstruction threshold, Bayesian GAMP can achieve asymptotically exact signal reconstruction. In particular, the reconstruction threshold is finite for noisy linear measurements when the support of non-zero signal elements does not include a neighborhood of zero. As numerical examples, this paper considers linear measurements and 1-bit compressed sensing. Numerical simulations for both cases show that Bayesian GAMP outperforms existing algorithms for sublinear sparsity in terms of the sample complexity.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
On the monodromies at infinity of Fourier transforms of holonomic D-modules
Authors:
Kazuki Kudomi,
Kiyoshi Takeuchi
Abstract:
Based on the recent progress in the irregular Riemann-Hilbert correspondence, we study the monodromies at infinity of the holomorphic solutions of Fourier transforms of holonomic D-modules in some situations. Formulas for their eigenvalues are obtained by applying the theory of monodromy zeta functions to our previous results on the enhanced solution complexes of the Fourier transforms. In particu…
▽ More
Based on the recent progress in the irregular Riemann-Hilbert correspondence, we study the monodromies at infinity of the holomorphic solutions of Fourier transforms of holonomic D-modules in some situations. Formulas for their eigenvalues are obtained by applying the theory of monodromy zeta functions to our previous results on the enhanced solution complexes of the Fourier transforms. In particular, in dimension one we thus find a reciprocity law between the monodromies at infinity of holonomic D-modules and their Fourier transforms.
△ Less
Submitted 31 August, 2024;
originally announced September 2024.
-
Vortex reversal is a precursor of confined bacterial turbulence
Authors:
Daiki Nishiguchi,
Sora Shiratani,
Kazumasa A. Takeuchi,
Igor S. Aranson
Abstract:
Active turbulence, or chaotic self-organized collective motion, is often observed in concentrated suspensions of motile bacteria and other systems of self-propelled interacting agents. To date, there is no fundamental understanding of how geometrical confinement orchestrates active turbulence and alters its physical properties. Here, by combining large-scale experiments, computer modeling, and ana…
▽ More
Active turbulence, or chaotic self-organized collective motion, is often observed in concentrated suspensions of motile bacteria and other systems of self-propelled interacting agents. To date, there is no fundamental understanding of how geometrical confinement orchestrates active turbulence and alters its physical properties. Here, by combining large-scale experiments, computer modeling, and analytical theory, we have discovered a generic sequence of transitions occurring in bacterial suspensions confined in cylindrical wells of varying radii. With increasing the well's radius, we observed that persistent vortex motion gives way to periodic vortex reversals, four-vortex pulsations, and then well-developed active turbulence. Using computational modeling and analytical theory, we have shown that vortex reversal results from the nonlinear interaction of the first three azimuthal modes that become unstable with the radius increase. The analytical results account for our key experimental findings. To further validate our approach, we reconstructed equations of motion from experimental data. Our findings shed light on the universal properties of confined bacterial active matter and can be applied to various biological and synthetic active systems.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Smectic-like bundle formation of planktonic bacteria upon nutrient starvation
Authors:
Takuro Shimaya,
Kazumasa A. Takeuchi
Abstract:
Bacteria aggregate through various intercellular interactions to build biofilms, but the effect of environmental changes thereupon remains largely unexplored. Here, by using an experimental device that overcomes past difficulties, we observed the collective response of Escherichia coli aggregates against dynamic changes in the growth condition. We discovered that nutrient starvation caused bacteri…
▽ More
Bacteria aggregate through various intercellular interactions to build biofilms, but the effect of environmental changes thereupon remains largely unexplored. Here, by using an experimental device that overcomes past difficulties, we observed the collective response of Escherichia coli aggregates against dynamic changes in the growth condition. We discovered that nutrient starvation caused bacterial cells to arrange themselves into bundle-shaped clusters, developing a structure akin to that of smectic liquid crystal. The degree of the smectic-like bundle order was evaluated by a deep learning approach. Our experiments suggest that both the depletion attraction by extracellular polymeric substances and the growth arrest are essential for the bundle formation. Since these effects of nutrient starvation at the single-cell level are common to many bacterial species, bundle formation might also be common collective behavior that bacterial cells may exhibit under harsh environments.
△ Less
Submitted 13 July, 2024; v1 submitted 6 July, 2024;
originally announced July 2024.
-
Partial yet definite emergence of the Kardar-Parisi-Zhang class in isotropic spin chains
Authors:
Kazumasa A. Takeuchi,
Jacopo De Nardis,
Ofer Busani,
Patrik L. Ferrari,
Romain Vasseur
Abstract:
Integrable spin chains with a continuous non-Abelian symmetry, such as the one-dimensional isotropic Heisenberg model, show superdiffusive transport with little theoretical understanding. Although recent studies reported a surprising connection to the Kardar-Parisi-Zhang (KPZ) universality class in that case, this view was most recently questioned by discrepancies in full counting statistics. Here…
▽ More
Integrable spin chains with a continuous non-Abelian symmetry, such as the one-dimensional isotropic Heisenberg model, show superdiffusive transport with little theoretical understanding. Although recent studies reported a surprising connection to the Kardar-Parisi-Zhang (KPZ) universality class in that case, this view was most recently questioned by discrepancies in full counting statistics. Here, by combining extensive numerical simulations of the Landau-Lifshitz one-dimensional magnet, with a framework developed by exact studies of the KPZ class, we characterize various two-point quantities that remain hitherto unexplored in spin chains, and find full agreement with KPZ scaling laws. This establishes the partial emergence of the KPZ class in isotropic spin chains. Moreover, we reveal that the KPZ scaling laws are intact in the presence of an energy current, under the appropriate Galilean boost required by the propagation of spacetime correlation.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Evaluating Saliency Explanations in NLP by Crowdsourcing
Authors:
Xiaotian Lu,
Jiyi Li,
Zhen Wan,
Xiaofeng Lin,
Koh Takeuchi,
Hisashi Kashima
Abstract:
Deep learning models have performed well on many NLP tasks. However, their internal mechanisms are typically difficult for humans to understand. The development of methods to explain models has become a key issue in the reliability of deep learning models in many important applications. Various saliency explanation methods, which give each feature of input a score proportional to the contribution…
▽ More
Deep learning models have performed well on many NLP tasks. However, their internal mechanisms are typically difficult for humans to understand. The development of methods to explain models has become a key issue in the reliability of deep learning models in many important applications. Various saliency explanation methods, which give each feature of input a score proportional to the contribution of output, have been proposed to determine the part of the input which a model values most. Despite a considerable body of work on the evaluation of saliency methods, whether the results of various evaluation metrics agree with human cognition remains an open question. In this study, we propose a new human-based method to evaluate saliency methods in NLP by crowdsourcing. We recruited 800 crowd workers and empirically evaluated seven saliency methods on two datasets with the proposed method. We analyzed the performance of saliency methods, compared our results with existing automated evaluation methods, and identified notable differences between NLP and computer vision (CV) fields when using saliency methods. The instance-level data of our crowdsourced experiments and the code to reproduce the explanations are available at https://github.com/xtlu/lreccoling_evaluation.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Trace conservation laws in $T^2/Z_m$ orbifold gauge theories
Authors:
Kota Takeuchi,
Tomohiro Inagaki
Abstract:
Gauge theory compactified on an orbifold is defined by gauge symmetry, matter contents, and boundary conditions. There are equivalence classes (ECs), each of which consists of physically equivalent boundary conditions. We propose the powerful necessary conditions, trace conservation laws (TCLs), which achieve a sufficient classification of ECs in U(N) and SU(N) gauge theories on $T^2/Z_m$ orbifold…
▽ More
Gauge theory compactified on an orbifold is defined by gauge symmetry, matter contents, and boundary conditions. There are equivalence classes (ECs), each of which consists of physically equivalent boundary conditions. We propose the powerful necessary conditions, trace conservation laws (TCLs), which achieve a sufficient classification of ECs in U(N) and SU(N) gauge theories on $T^2/Z_m$ orbifolds $(m=2,3,4,6)$. The TCLs yield the equivalent relations between the diagonal boundary conditions without relying on an explicit form of gauge transformations. The TCLs also show the existence of off-diagonal ECs, which consist only of off-diagonal matrices, on $T^2/Z_4$ and $T^2/Z_6$. After the sufficient classification, the exact numbers of ECs are obtained.
△ Less
Submitted 3 June, 2024; v1 submitted 30 April, 2024;
originally announced April 2024.
-
Squish Jamming
Authors:
Samuel Poincloux,
Kazumasa A. Takeuchi
Abstract:
A wide range of disordered materials, from biological to geological assemblies, feature discrete elements undergoing large shape changes. How significant geometrical variations at the microscopic scale affect the response of the assembly, in particular rigidity transitions, is an ongoing challenge in soft matter physics. However, the lack of a model granular-like experimental system featuring larg…
▽ More
A wide range of disordered materials, from biological to geological assemblies, feature discrete elements undergoing large shape changes. How significant geometrical variations at the microscopic scale affect the response of the assembly, in particular rigidity transitions, is an ongoing challenge in soft matter physics. However, the lack of a model granular-like experimental system featuring large and versatile particle deformability impedes advances. Here, we explore the oscillatory shear response of a sponge-like granular assembly composed of highly compressible elastic rings. We highlight a progressive rigidity transition, switching from a fluid-like to a solid-like response by increasing density or decreasing shear amplitude. The rearranging fluid state consists of crystal clusters separated by melted regions; in contrast, the solid state remains amorphous and absorbs all imposed shear elastically. We rationalise this transition by uncovering an effective, attractive shear force between rings that emerges from a friction-geometry interplay. If friction is sufficiently high compared to shear, the extent of the contacts between rings, captured analytically by elementary geometry, controls the rigidity transition.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Approach and rotation of reconnecting topological defect lines in liquid crystal
Authors:
Yohei Zushi,
Cody D. Schimming,
Kazumasa A. Takeuchi
Abstract:
Topological defects are a universal concept across many disciplines, such as crystallography, liquid-crystalline physics, low-temperature physics, cosmology, and even biology. In nematic liquid crystals, topological defects called disclinations have been widely studied. For their three-dimensional (3D) dynamics, however, only recently have theoretical approaches dealing with fully 3D configuration…
▽ More
Topological defects are a universal concept across many disciplines, such as crystallography, liquid-crystalline physics, low-temperature physics, cosmology, and even biology. In nematic liquid crystals, topological defects called disclinations have been widely studied. For their three-dimensional (3D) dynamics, however, only recently have theoretical approaches dealing with fully 3D configurations been reported. Further, recent experiments have observed 3D disclination line reconnections, a phenomenon characteristic of defect line dynamics, but detailed discussions were limited to the case of approximately parallel defects. In this study, we focus on the case of two disclination lines that approach at finite angles and lie in separate planes, a more fundamentally 3D reconnection configuration. Observing and analyzing such reconnection events, we find the square-root law of the distance between disclinations and the decrease of the inter-disclination angle over time. We compare the experimental results with theory and find qualitative agreement on the scaling of distance and angle with time, but quantitative disagreement on distance and angle relative mobilities. To probe this disagreement, we derive the equations of motion for systems with reduced twist constant and also carry out simulations for this case. These, together with the experimental results, suggest that deformations of disclinations may be responsible for the disagreement.
△ Less
Submitted 17 June, 2024; v1 submitted 1 April, 2024;
originally announced April 2024.
-
New classification method for Equivalence Classes on $S^1/Z_2$ and $T^2/Z_3$ Orbifolds
Authors:
Kota Takeuchi,
Tomohiro Inagaki
Abstract:
In five- and six-dimensional $U(N)$ and $SU(N)$ gauge theories compactified on $S^1/Z_2$ and $T^2/Z_3$ orbifolds, we propose a new method to classify the equivalence classes (ECs) of boundary conditions (BCs) wihtout depending on the structure of gauge transformations. Some of the BCs are connected through gauge transformations and constitute ECs, each of which contains physically equivalent BCs.…
▽ More
In five- and six-dimensional $U(N)$ and $SU(N)$ gauge theories compactified on $S^1/Z_2$ and $T^2/Z_3$ orbifolds, we propose a new method to classify the equivalence classes (ECs) of boundary conditions (BCs) wihtout depending on the structure of gauge transformations. Some of the BCs are connected through gauge transformations and constitute ECs, each of which contains physically equivalent BCs. Previous methods for classifying ECs have been used specific gauge transformations. In this paper, we show that a geometric property of orbifolds significantly narrows down the possibilities of connecting BCs and completes the classification of ECs.
△ Less
Submitted 23 February, 2024; v1 submitted 18 January, 2024;
originally announced January 2024.
-
A Morse theoretical approach to Fourier transforms of holonomic D-modules in dimension one
Authors:
Kazuki Kudomi,
Kiyoshi Takeuchi
Abstract:
We study Fourier transforms of holonomic D-modules on the affine line and show that their enhanced solution complexes are described by a twisted Morse theory. We thus recover and even strengthen the well-known formula for their exponential factors i.e. the stationary phase method. In the course of our study, we also obtain a formula for the characteristic cycles of the Fourier transforms and const…
▽ More
We study Fourier transforms of holonomic D-modules on the affine line and show that their enhanced solution complexes are described by a twisted Morse theory. We thus recover and even strengthen the well-known formula for their exponential factors i.e. the stationary phase method. In the course of our study, we also obtain a formula for the characteristic cycles of the Fourier transforms and construct natural bases of their holomorphic solutions via rapid decay homology cycles.
△ Less
Submitted 27 June, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
Decentralized Generalized Approximate Message-Passing for Tree-Structured Networks
Authors:
Keigo Takeuchi
Abstract:
Decentralized generalized approximate message-passing (GAMP) is proposed for compressed sensing from distributed generalized linear measurements in a tree-structured network. Consensus propagation is used to realize average consensus required in GAMP via local communications between adjacent nodes. Decentralized GAMP is applicable to all tree-structured networks that do not necessarily have centra…
▽ More
Decentralized generalized approximate message-passing (GAMP) is proposed for compressed sensing from distributed generalized linear measurements in a tree-structured network. Consensus propagation is used to realize average consensus required in GAMP via local communications between adjacent nodes. Decentralized GAMP is applicable to all tree-structured networks that do not necessarily have central nodes connected to all other nodes. State evolution is used to analyze the asymptotic dynamics of decentralized GAMP for zero-mean independent and identically distributed Gaussian sensing matrices. The state evolution recursion for decentralized GAMP is proved to have the same fixed points as that for centralized GAMP when homogeneous measurements with an identical dimension in all nodes are considered. Furthermore, existing long-memory proof strategy is used to prove that the state evolution recursion for decentralized GAMP with the Bayes-optimal denoisers converges to a fixed point. These results imply that the state evolution recursion for decentralized GAMP with the Bayes-optimal denoisers converges to the Bayes-optimal fixed point for the homogeneous measurements when the fixed point is unique. Numerical results for decentralized GAMP are presented in the cases of linear measurements and clipping. As examples of tree-structured networks, a one-dimensional chain and a tree with no central nodes are considered.
△ Less
Submitted 4 June, 2024; v1 submitted 2 November, 2023;
originally announced November 2023.
-
Estimating Treatment Effects Under Heterogeneous Interference
Authors:
Xiaofeng Lin,
Guoxi Zhang,
Xiaotian Lu,
Han Bao,
Koh Takeuchi,
Hisashi Kashima
Abstract:
Treatment effect estimation can assist in effective decision-making in e-commerce, medicine, and education. One popular application of this estimation lies in the prediction of the impact of a treatment (e.g., a promotion) on an outcome (e.g., sales) of a particular unit (e.g., an item), known as the individual treatment effect (ITE). In many online applications, the outcome of a unit can be affec…
▽ More
Treatment effect estimation can assist in effective decision-making in e-commerce, medicine, and education. One popular application of this estimation lies in the prediction of the impact of a treatment (e.g., a promotion) on an outcome (e.g., sales) of a particular unit (e.g., an item), known as the individual treatment effect (ITE). In many online applications, the outcome of a unit can be affected by the treatments of other units, as units are often associated, which is referred to as interference. For example, on an online shopping website, sales of an item will be influenced by an advertisement of its co-purchased item. Prior studies have attempted to model interference to estimate the ITE accurately, but they often assume a homogeneous interference, i.e., relationships between units only have a single view. However, in real-world applications, interference may be heterogeneous, with multi-view relationships. For instance, the sale of an item is usually affected by the treatment of its co-purchased and co-viewed items. We hypothesize that ITE estimation will be inaccurate if this heterogeneous interference is not properly modeled. Therefore, we propose a novel approach to model heterogeneous interference by developing a new architecture to aggregate information from diverse neighbors. Our proposed method contains graph neural networks that aggregate same-view information, a mechanism that aggregates information from different views, and attention mechanisms. In our experiments on multiple datasets with heterogeneous interference, the proposed method significantly outperforms existing methods for ITE estimation, confirming the importance of modeling heterogeneous interference.
△ Less
Submitted 25 September, 2023;
originally announced September 2023.
-
Geometric monodromies, mixed Hodge numbers of motivic Milnor fibers and Newton polyhedra
Authors:
Kiyoshi Takeuchi
Abstract:
We introduce the theory of local and global monodromies of polynomials in cohomology groups in various geometric situations, focusing on its relations with toric geometry and motivic Milnor fibers, and moreover in the modern languages of nearby and vanishing cycle functors. Equivariant mixed Hodge numbers of motivic Milnor fibers will be described in terms of Newton polyhedra of polynomials.
We introduce the theory of local and global monodromies of polynomials in cohomology groups in various geometric situations, focusing on its relations with toric geometry and motivic Milnor fibers, and moreover in the modern languages of nearby and vanishing cycle functors. Equivariant mixed Hodge numbers of motivic Milnor fibers will be described in terms of Newton polyhedra of polynomials.
△ Less
Submitted 22 December, 2023; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Mitigating Voter Attribute Bias for Fair Opinion Aggregation
Authors:
Ryosuke Ueda,
Koh Takeuchi,
Hisashi Kashima
Abstract:
The aggregation of multiple opinions plays a crucial role in decision-making, such as in hiring and loan review, and in labeling data for supervised learning. Although majority voting and existing opinion aggregation models are effective for simple tasks, they are inappropriate for tasks without objectively true labels in which disagreements may occur. In particular, when voter attributes such as…
▽ More
The aggregation of multiple opinions plays a crucial role in decision-making, such as in hiring and loan review, and in labeling data for supervised learning. Although majority voting and existing opinion aggregation models are effective for simple tasks, they are inappropriate for tasks without objectively true labels in which disagreements may occur. In particular, when voter attributes such as gender or race introduce bias into opinions, the aggregation results may vary depending on the composition of voter attributes. A balanced group of voters is desirable for fair aggregation results but may be difficult to prepare. In this study, we consider methods to achieve fair opinion aggregation based on voter attributes and evaluate the fairness of the aggregated results. To this end, we consider an approach that combines opinion aggregation models such as majority voting and the Dawid and Skene model (D&S model) with fairness options such as sample weighting. To evaluate the fairness of opinion aggregation, probabilistic soft labels are preferred over discrete class labels. First, we address the problem of soft label estimation without considering voter attributes and identify some issues with the D&S model. To address these limitations, we propose a new Soft D&S model with improved accuracy in estimating soft labels. Moreover, we evaluated the fairness of an opinion aggregation model, including Soft D&S, in combination with different fairness options using synthetic and semi-synthetic data. The experimental results suggest that the combination of Soft D&S and data splitting as a fairness option is effective for dense data, whereas weighted majority voting is effective for sparse data. These findings should prove particularly valuable in supporting decision-making by human and machine-learning models with balanced opinion aggregation.
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Route to turbulence via oscillatory states in polar active fluid under confinement
Authors:
Sora Shiratani,
Kazumasa A. Takeuchi,
Daiki Nishiguchi
Abstract:
We report a novel route to active turbulence, observed in numerical simulations of a polar active fluid model under confinement. To deal with large-scale computations with arbitrary geometries, we developed a GPU-based scheme that can be used for any boundary shape in a unified manner. For the circular confinement, as the radius was increased, we found a series of transitions first from a single s…
▽ More
We report a novel route to active turbulence, observed in numerical simulations of a polar active fluid model under confinement. To deal with large-scale computations with arbitrary geometries, we developed a GPU-based scheme that can be used for any boundary shape in a unified manner. For the circular confinement, as the radius was increased, we found a series of transitions first from a single stationary vortex to an oscillating pair of vortices, then through reentrant transitions between oscillatory and chaotic dynamics before finally reaching the active turbulence. The first transition turned out to be hysteretic, with the emergence of the oscillatory state consistent with the subcritical Hopf bifurcation. In dumbbell-shaped boundaries composed of two overlapping circles, we observed a transition comparable to the ferromagnetic-antiferromagnetic vortex-order transition reported in previous experiments, but the transition point turned out to show a qualitatively different geometry dependence.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Mitigating Observation Biases in Crowdsourced Label Aggregation
Authors:
Ryosuke Ueda,
Koh Takeuchi,
Hisashi Kashima
Abstract:
Crowdsourcing has been widely used to efficiently obtain labeled datasets for supervised learning from large numbers of human resources at low cost. However, one of the technical challenges in obtaining high-quality results from crowdsourcing is dealing with the variability and bias caused by the fact that it is humans execute the work, and various studies have addressed this issue to improve the…
▽ More
Crowdsourcing has been widely used to efficiently obtain labeled datasets for supervised learning from large numbers of human resources at low cost. However, one of the technical challenges in obtaining high-quality results from crowdsourcing is dealing with the variability and bias caused by the fact that it is humans execute the work, and various studies have addressed this issue to improve the quality by integrating redundantly collected responses. In this study, we focus on the observation bias in crowdsourcing. Variations in the frequency of worker responses and the complexity of tasks occur, which may affect the aggregation results when they are correlated with the quality of the responses. We also propose statistical aggregation methods for crowdsourcing responses that are combined with an observational data bias removal method used in causal inference. Through experiments using both synthetic and real datasets with/without artificially injected spam and colluding workers, we verify that the proposed method improves the aggregation accuracy in the presence of strong observation biases and robustness to both spam and colluding workers.
△ Less
Submitted 25 February, 2023;
originally announced February 2023.
-
Multiview Representation Learning from Crowdsourced Triplet Comparisons
Authors:
Xiaotian Lu,
Jiyi Li,
Koh Takeuchi,
Hisashi Kashima
Abstract:
Crowdsourcing has been used to collect data at scale in numerous fields. Triplet similarity comparison is a type of crowdsourcing task, in which crowd workers are asked the question ``among three given objects, which two are more similar?'', which is relatively easy for humans to answer. However, the comparison can be sometimes based on multiple views, i.e., different independent attributes such a…
▽ More
Crowdsourcing has been used to collect data at scale in numerous fields. Triplet similarity comparison is a type of crowdsourcing task, in which crowd workers are asked the question ``among three given objects, which two are more similar?'', which is relatively easy for humans to answer. However, the comparison can be sometimes based on multiple views, i.e., different independent attributes such as color and shape. Each view may lead to different results for the same three objects. Although an algorithm was proposed in prior work to produce multiview embeddings, it involves at least two problems: (1) the existing algorithm cannot independently predict multiview embeddings for a new sample, and (2) different people may prefer different views. In this study, we propose an end-to-end inductive deep learning framework to solve the multiview representation learning problem. The results show that our proposed method can obtain multiview embeddings of any object, in which each view corresponds to an independent attribute of the object. We collected two datasets from a crowdsourcing platform to experimentally investigate the performance of our proposed approach compared to conventional baseline methods.
△ Less
Submitted 8 February, 2023;
originally announced February 2023.
-
Approach to the arbitrariness problem of boundary conditions in $S^1/Z_2$ brane-world models
Authors:
Kota Takeuchi,
Tomohiro Inagaki
Abstract:
We study the arbitrariness of boundary conditions (BCs) on $S^1/Z_2$ brane-world models with the gauge group $U(N)$. The BCs are chosen independently on the branes and the bulk in this model. There are numerous choices for BCs in general, but some of the BCs are connected through gauge transformations. We show that the equivalent relations are obtained on the UV-brane without relying on specific t…
▽ More
We study the arbitrariness of boundary conditions (BCs) on $S^1/Z_2$ brane-world models with the gauge group $U(N)$. The BCs are chosen independently on the branes and the bulk in this model. There are numerous choices for BCs in general, but some of the BCs are connected through gauge transformations. We show that the equivalent relations are obtained on the UV-brane without relying on specific transformation parameters. There is no other equivalent relation on the UV-brane. On the other hand, we find that a gauge transformation with a kink connects all the BCs on the bulk and IR-brane. It means that the arbitrariness of BCs is completely solved on the bulk and the IR-brane except for the UV-brane.
△ Less
Submitted 30 April, 2024; v1 submitted 30 January, 2023;
originally announced January 2023.
-
Interaction in Remote Peddling Using Avatar Robot by People with Disabilities
Authors:
Takashi Kanetsuna,
Kazuaki Takeuchi,
Hiroaki Kato,
Taichi Sono,
Hirotaka Osawa,
Kentaro Yoshifuji,
Yoichi Yamazaki
Abstract:
Telework "avatar work," in which people with disabilities can engage in physical work such as customer service, is being implemented in society. In order to enable avatar work in a variety of occupations, we propose a mobile sales system using a mobile frozen drink machine and an avatar robot "OriHime", focusing on mobile customer service like peddling. The effect of the peddling by the system on…
▽ More
Telework "avatar work," in which people with disabilities can engage in physical work such as customer service, is being implemented in society. In order to enable avatar work in a variety of occupations, we propose a mobile sales system using a mobile frozen drink machine and an avatar robot "OriHime", focusing on mobile customer service like peddling. The effect of the peddling by the system on the customers are examined based on the results of video annotation.
△ Less
Submitted 2 December, 2022;
originally announced December 2022.
-
Fourier transforms of irregular holonomic D-modules, singularities at infinity of meromorphic functions and irregular characteristic cycles
Authors:
Kiyoshi Takeuchi
Abstract:
Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For this purpose, the singularities of rational and meromorphic functions on complex affine varieties will be studied precisely, with the help of some new methods and…
▽ More
Based on the recent developments in the irregular Riemann-Hilbert correspondence for holonomic D-modules and the Fourier-Sato transforms for enhanced ind-sheaves, we study the Fourier transforms of some irregular holonomic D-modules. For this purpose, the singularities of rational and meromorphic functions on complex affine varieties will be studied precisely, with the help of some new methods and tools such as meromorphic vanishing cycle functors. As a consequence, we show that the exponential factors and the irregularities of the Fourier transform of a holonomic D-module are described geometrically by the stationary phase method, as in the classical case of dimension one. A new feature in the higher-dimensional case is that we have some extra rank jump of the Fourier transform produced by the singularities of the linear perturbations of the exponential factors at their points of indeterminacy. In the course of our study, not necessarily homogeneous Lagrangian cycles that we call irregular characteristic cycles will play a crucial role.
△ Less
Submitted 7 May, 2024; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Understanding The Reversible Electrodeposition of Al in Low-Cost Room Temperature Molten Salts
Authors:
Regina Garcia-Mendez,
Jingxu Zheng,
David C. Bock,
Cherno Jaye,
Daniel A. Fischer,
Amy C. Marschilok,
Kenneth J. Takeuchi,
Esther S. Takeuchi,
Lynden A. Archer
Abstract:
Aluminum is the most earth-abundant metal, is trivalent, is inert in ambient humid air, and has a density approximately four-times that of lithium at room temperature. These attributes make it an attractive material for cost-effective, long-duration storage of electrical energy in batteries. Scientific discoveries in the past decade have established that secondary Al batteries can be created by pa…
▽ More
Aluminum is the most earth-abundant metal, is trivalent, is inert in ambient humid air, and has a density approximately four-times that of lithium at room temperature. These attributes make it an attractive material for cost-effective, long-duration storage of electrical energy in batteries. Scientific discoveries in the past decade have established that secondary Al batteries can be created by paring an Al anode with a graphite or transition metal oxide cathode, in imidazolium-based, room-temperature ionic-liquid-Aluminum chloride electrolytes. Here we report findings from a systematic study that sheds light on the structural requirements, physicochemical, and transport properties of the ionic liquid electrolytes responsible for the high reversibility of Al battery anodes. We find that the most important interfacial and transport properties of these electrolytes can be achieved in other electrolytes, including ammonium-based molten salts that are available at costs as much as twenty-times lower than the ionic liquid-Aluminum chloride melt. High Al reversibility in ammonium- and imidazolium-based electrolytes is specifically shown to require a critical ratio of the solvation species, where Lewis acidity and beneficial interfacial reactions continuously etch the alumina resistive interfacial layer and form beneficial solid electrolyte interphase at the anode. We report further that successful development of new electrolyte families that support high Al anode reversibility also provides a good platform for detailed studies of the working mechanisms of an intercalation graphite cathode using X-ray absorption spectroscopy. Our findings therefore open new opportunities for developing simple, cost-effective, room-temperature Al batteries that enable long-duration electrical energy storage.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Long-Memory Message-Passing for Spatially Coupled Systems
Authors:
Keigo Takeuchi
Abstract:
This paper addresses the reconstruction of sparse signals from spatially coupled, linear, and noisy measurements. A unified framework of rigorous state evolution is established for developing long-memory message-passing (LM-MP) in spatially coupled systems. LM-MP utilizes all previous messages to compute the current message while conventional MP only uses the latest messages. The unified framework…
▽ More
This paper addresses the reconstruction of sparse signals from spatially coupled, linear, and noisy measurements. A unified framework of rigorous state evolution is established for developing long-memory message-passing (LM-MP) in spatially coupled systems. LM-MP utilizes all previous messages to compute the current message while conventional MP only uses the latest messages. The unified framework is utilized to propose orthogonal approximate message-passing (OAMP) for spatially coupled systems. The framework for LM-MP is used as a technical tool to prove the convergence of state evolution for OAMP. Numerical results show that OAMP for spatially coupled systems is superior to that for systems without spatial coupling in the so-called waterfall region.
△ Less
Submitted 13 October, 2022;
originally announced October 2022.
-
Orthogonal Approximate Message-Passing for Spatially Coupled Linear Models
Authors:
Keigo Takeuchi
Abstract:
Orthogonal approximate message-passing (OAMP) is proposed for signal recovery from right-orthogonally invariant linear measurements with spatial coupling. Conventional state evolution is generalized to a unified framework of state evolution for the spatial coupling and long-memory case. The unified framework is used to formulate the so-called Onsager correction in OAMP for spatially coupled system…
▽ More
Orthogonal approximate message-passing (OAMP) is proposed for signal recovery from right-orthogonally invariant linear measurements with spatial coupling. Conventional state evolution is generalized to a unified framework of state evolution for the spatial coupling and long-memory case. The unified framework is used to formulate the so-called Onsager correction in OAMP for spatially coupled systems. The state evolution recursion of Bayes-optimal OAMP is proved to converge for spatially coupled systems via Bayes-optimal long-memory OAMP and its state evolution. This paper proves the information-theoretic optimality of Bayes-optimal OAMP for noiseless spatially coupled systems with right-orthogonally invariant sensing matrices.
△ Less
Submitted 19 May, 2023; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Meta Avatar Robot Cafe: Linking Physical and Virtual Cybernetic Avatars to Provide Physical Augmentation for People with Disabilities
Authors:
Yoichi Yamazaki,
Tsukuto Yamada,
Hiroki Nomura,
Nobuaki Hosoda,
Ryoma Kawamura,
Kazuaki Takeuchi,
Hiroaki Kato,
Ryuma Niiyama,
Kentaro Yoshifuji
Abstract:
Meta avatar robot cafe is a cafe that fuses cyberspace and physical space to create new encounters with people. We create a place where people with disabilities who have difficulty going out can freely switch between their physical bodies and virtual bodies, and communicate their presence and warmth to each other.
Meta avatar robot cafe is a cafe that fuses cyberspace and physical space to create new encounters with people. We create a place where people with disabilities who have difficulty going out can freely switch between their physical bodies and virtual bodies, and communicate their presence and warmth to each other.
△ Less
Submitted 18 July, 2022;
originally announced August 2022.
-
Estimating counterfactual treatment outcomes over time in complex multiagent scenarios
Authors:
Keisuke Fujii,
Koh Takeuchi,
Atsushi Kuribayashi,
Naoya Takeishi,
Yoshinobu Kawahara,
Kazuya Takeda
Abstract:
Evaluation of intervention in a multiagent system, e.g., when humans should intervene in autonomous driving systems and when a player should pass to teammates for a good shot, is challenging in various engineering and scientific fields. Estimating the individual treatment effect (ITE) using counterfactual long-term prediction is practical to evaluate such interventions. However, most of the conven…
▽ More
Evaluation of intervention in a multiagent system, e.g., when humans should intervene in autonomous driving systems and when a player should pass to teammates for a good shot, is challenging in various engineering and scientific fields. Estimating the individual treatment effect (ITE) using counterfactual long-term prediction is practical to evaluate such interventions. However, most of the conventional frameworks did not consider the time-varying complex structure of multiagent relationships and covariate counterfactual prediction. This may lead to erroneous assessments of ITE and difficulty in interpretation. Here we propose an interpretable, counterfactual recurrent network in multiagent systems to estimate the effect of the intervention. Our model leverages graph variational recurrent neural networks and theory-based computation with domain knowledge for the ITE estimation framework based on long-term prediction of multiagent covariates and outcomes, which can confirm the circumstances under which the intervention is effective. On simulated models of an automated vehicle and biological agents with time-varying confounders, we show that our methods achieved lower estimation errors in counterfactual covariates and the most effective treatment timing than the baselines. Furthermore, using real basketball data, our methods performed realistic counterfactual predictions and evaluated the counterfactual passes in shot scenarios.
△ Less
Submitted 17 February, 2024; v1 submitted 4 June, 2022;
originally announced June 2022.
-
Emergence of bacterial glass
Authors:
Hisay Lama,
Masahiro J. Yamamoto,
Yujiro Furuta,
Takuro Shimaya,
Kazumasa A. Takeuchi
Abstract:
Densely packed, motile bacteria can adopt collective states not seen in conventional, passive materials. These states remain in many ways mysterious, and their physical characterization can aid our understanding of natural bacterial colonies and biofilms as well as materials in general. Here, we overcome challenges associated with generating uniformly growing, large, quasi-two-dimensional bacteria…
▽ More
Densely packed, motile bacteria can adopt collective states not seen in conventional, passive materials. These states remain in many ways mysterious, and their physical characterization can aid our understanding of natural bacterial colonies and biofilms as well as materials in general. Here, we overcome challenges associated with generating uniformly growing, large, quasi-two-dimensional bacterial assemblies by a membrane-based microfluidic device and report the emergence of glassy states in two-dimensional suspension of Escherichia coli. As the number density increases by cell growth, populations of motile bacteria transition to a glassy state, where cells are packed and unable to move. This takes place in two steps, the first one suppressing only the orientational modes and the second one vitrifying the motion completely. Characterizing each phase through statistical analyses and investigations of individual motion of bacteria, we find not only characteristic features of glass such as rapid slowdown, dynamic heterogeneity and cage effects, but also a few properties distinguished from those of thermal glass. These distinctive properties include the spontaneous formation of micro-domains of aligned cells with collective motion, the appearance of an unusual signal in the dynamic susceptibility, and the dynamic slowdown with a density dependence generally forbidden for thermal systems. Our results are expected to capture general characteristics of such active rod glass, which may serve as a physical mechanism underlying dense bacterial aggregates.
△ Less
Submitted 17 June, 2024; v1 submitted 20 May, 2022;
originally announced May 2022.
-
Active colloid with externally induced periodic bipolar motility and its cooperative motion
Authors:
Airi N. Kato,
Kazumasa A. Takeuchi,
Masaki Sano
Abstract:
Active matter physics has been developed with various types of self-propelled particles, including those with polar and bipolar motility and beyond. However, the bipolar motions experimentally realized so far have been either random along the axis or periodic at intrinsic frequencies. Here we report another kind of bipolar active particles, whose periodic bipolar self-propulsion is set externally…
▽ More
Active matter physics has been developed with various types of self-propelled particles, including those with polar and bipolar motility and beyond. However, the bipolar motions experimentally realized so far have been either random along the axis or periodic at intrinsic frequencies. Here we report another kind of bipolar active particles, whose periodic bipolar self-propulsion is set externally at a controllable frequency. We used Quincke rollers -- dielectric particles suspended in a conducting liquid driven by an electric field -- under an AC electric field instead of the usually used DC field. Reciprocating motion of a single particle at the external frequency was observed experimentally and characterized theoretically as stable periodic motion. Experimentally, we observed not only the reciprocating motion but also non-trivial active Brownian particle (ABP)-like persistent motion in a long time scale. This resulted in a Lorentzian spectrum around zero frequency, which is not accounted for by a simple extension of the conventional model of Quincke rollers to the AC field. It was found that ABP-like motion can be reproduced by considering the top-bottom asymmetry in the experimental system. Moreover, we found a rotational diffusion coefficient much larger than the thermal one, as also reported in previous experiments, which may have resulted from roughness of the electrode surface. We also found self-organized formation of small clusters, such as doublets and triplets, and characterized cooperative motion of particles therein. The AC Quincke rollers reported here may serve as a model experimental system of bipolar active matter, which appears to deserve further investigations.
△ Less
Submitted 13 July, 2022; v1 submitted 24 March, 2022;
originally announced March 2022.
-
The Sabatier principle for Battery Anodes: Chemical Kinetics and Reversible Electrodeposition at Heterointerfaces
Authors:
Jingxu Zheng,
Yue Deng,
Wenzao Li,
Jiefu Yin,
Patrick J. West,
Tian Tang,
Xiao Tong,
David C. Bock,
Shuo Jin,
Qing Zhao,
Regina Garcia-Mendez,
Kenneth J. Takeuchi,
Esther S. Takeuchi,
Amy C. Marschilok,
Lynden A. Archer
Abstract:
How surface chemistry influences reactions occurring thereupon has been a long-standing question of broad scientific and technological interest for centuries. Recently, it has re-emerged as a critical question in a subdiscipline of chemistry - electrochemistry at heterointerphases, where the answers have implications for both how, and in what forms, humanity stores the rising quantities of renewab…
▽ More
How surface chemistry influences reactions occurring thereupon has been a long-standing question of broad scientific and technological interest for centuries. Recently, it has re-emerged as a critical question in a subdiscipline of chemistry - electrochemistry at heterointerphases, where the answers have implications for both how, and in what forms, humanity stores the rising quantities of renewable electric power generated from solar and wind installations world-wide. Here we consider the relation between the surface chemistry at such interphases and the reversibility of electrochemical transformations at a rechargeable battery electrode. Conventional wisdom holds that stronger chemical interaction between the metal deposits and electrode promotes reversibility. We report instead that a moderate strength of chemical interaction between the deposit and the substrate, neither too weak nor too strong, enables highest reversibility and stability of the plating/stripping redox processes at a battery anode. Analogous to the empirical Sabatier principle for chemical heterogeneous catalysis, our finding arises from the confluence of competing processes - one driven by electrochemistry and the other by chemical alloying. Based on experimental evaluation of metal plating/stripping systems in battery anodes of contemporary interest, we show that such knowledge provides a powerful tool for designing key materials in highly reversible electrochemical energy storage technologies based on earth-abundant, low-cost metals.
△ Less
Submitted 25 September, 2022; v1 submitted 14 March, 2022;
originally announced March 2022.
-
INPUT Team Description Paper in 2022
Authors:
Masaki Yasuhara,
Tomoya Takahashi,
Hiroki Maruta,
Hiroyuki Saito,
Shota Higuchi,
Takaaki Nara,
Keitaro Takeuchi,
Yota Sakai,
Kazuki Ishibashi
Abstract:
INPUT is a team participating in the RoboCup Soccer Small League (SSL). It aims to show the world the technological capabilities of the Nagaoka region of Niigata Prefecture, which is where the team members are from. For this purpose, we are working on one of the projects from the Nagaoka Activation Zone of Energy (NAZE). Herein, we introduce two robots, v2019 and v2022, as well as AI systems that…
▽ More
INPUT is a team participating in the RoboCup Soccer Small League (SSL). It aims to show the world the technological capabilities of the Nagaoka region of Niigata Prefecture, which is where the team members are from. For this purpose, we are working on one of the projects from the Nagaoka Activation Zone of Energy (NAZE). Herein, we introduce two robots, v2019 and v2022, as well as AI systems that will be used in RoboCup 2022. In addition, we describe our efforts to develop robots in collaboration with companies in the Nagaoka area.
△ Less
Submitted 31 January, 2022;
originally announced February 2022.
-
On the Convergence of Orthogonal/Vector AMP: Long-Memory Message-Passing Strategy
Authors:
Keigo Takeuchi
Abstract:
This paper proves the convergence of Bayes-optimal orthogonal/vector approximate message-passing (AMP) to a fixed point in the large system limit. The proof is based on Bayes-optimal long-memory (LM) message-passing (MP) that is guaranteed to converge systematically. The dynamics of Bayes-optimal LM-MP is analyzed via an existing state evolution framework. The obtained state evolution recursions a…
▽ More
This paper proves the convergence of Bayes-optimal orthogonal/vector approximate message-passing (AMP) to a fixed point in the large system limit. The proof is based on Bayes-optimal long-memory (LM) message-passing (MP) that is guaranteed to converge systematically. The dynamics of Bayes-optimal LM-MP is analyzed via an existing state evolution framework. The obtained state evolution recursions are proved to converge. The convergence of Bayes-optimal orthogonal/vector AMP is proved by confirming an exact reduction of the state evolution recursions to those for Bayes-optimal orthogonal/vector AMP.
△ Less
Submitted 5 May, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Interpretable Knowledge Tracing: Simple and Efficient Student Modeling with Causal Relations
Authors:
Sein Minn,
Jill-Jenn Vie,
Koh Takeuchi,
Hisashi Kashima,
Feida Zhu
Abstract:
Intelligent Tutoring Systems have become critically important in future learning environments. Knowledge Tracing (KT) is a crucial part of that system. It is about inferring the skill mastery of students and predicting their performance to adjust the curriculum accordingly. Deep Learning-based KT models have shown significant predictive performance compared with traditional models. However, it is…
▽ More
Intelligent Tutoring Systems have become critically important in future learning environments. Knowledge Tracing (KT) is a crucial part of that system. It is about inferring the skill mastery of students and predicting their performance to adjust the curriculum accordingly. Deep Learning-based KT models have shown significant predictive performance compared with traditional models. However, it is difficult to extract psychologically meaningful explanations from the tens of thousands of parameters in neural networks, that would relate to cognitive theory. There are several ways to achieve high accuracy in student performance prediction but diagnostic and prognostic reasoning is more critical in learning sciences. Since KT problem has few observable features (problem ID and student's correctness at each practice), we extract meaningful latent features from students' response data by using machine learning and data mining techniques. In this work, we present Interpretable Knowledge Tracing (IKT), a simple model that relies on three meaningful latent features: individual skill mastery, ability profile (learning transfer across skills), and problem difficulty. IKT's prediction of future student performance is made using a Tree-Augmented Naive Bayes Classifier (TAN), therefore its predictions are easier to explain than deep learning-based student models. IKT also shows better student performance prediction than deep learning-based student models without requiring a huge amount of parameters. We conduct ablation studies on each feature to examine their contribution to student performance prediction. Thus, IKT has great potential for providing adaptive and personalized instructions with causal reasoning in real-world educational systems.
△ Less
Submitted 15 December, 2021;
originally announced December 2021.
-
On the Convergence of Orthogonal/Vector AMP: Long-Memory Message-Passing Strategy
Authors:
Keigo Takeuchi
Abstract:
Orthogonal/vector approximate message-passing (AMP) is a powerful message-passing (MP) algorithm for signal reconstruction in compressed sensing. This paper proves the convergence of Bayes-optimal orthogonal/vector AMP in the large system limit. The proof strategy is based on a novel long-memory (LM) MP approach: A first step is a construction of LM-MP that is guaranteed to converge systematically…
▽ More
Orthogonal/vector approximate message-passing (AMP) is a powerful message-passing (MP) algorithm for signal reconstruction in compressed sensing. This paper proves the convergence of Bayes-optimal orthogonal/vector AMP in the large system limit. The proof strategy is based on a novel long-memory (LM) MP approach: A first step is a construction of LM-MP that is guaranteed to converge systematically. A second step is a large-system analysis of LM-MP via an existing framework of state evolution. A third step is to prove the convergence of state evolution recursions for Bayes-optimal LM-MP via a new statistical interpretation of existing LM damping. The last is an exact reduction of the state evolution recursions for Bayes-optimal LM-MP to those for Bayes-optimal orthogonal/vector AMP. The convergence of the state evolution recursions for Bayes-optimal LM-MP implies that for Bayes-optimal orthogonal/vector AMP. Numerical simulations are presented to show the verification of state evolution results for damped orthogonal/vector AMP and a negative aspect of LM-MP in finite-sized systems.
△ Less
Submitted 22 April, 2022; v1 submitted 9 November, 2021;
originally announced November 2021.
-
On a Bernstein-Sato polynomial of a meromorphic function
Authors:
Kiyoshi Takeuchi
Abstract:
We define Bernstein-Sato polynomials for meromorphic functions and study their basic properties. In particular, we prove a Kashiwara-Malgrange type theorem on their geometric monodromies, which would be useful also in relation with the monodromy conjecture. A new feature in the meromorphic setting is that we have several b-functions whose roots yield the same set of the eigenvalues of the Milnor m…
▽ More
We define Bernstein-Sato polynomials for meromorphic functions and study their basic properties. In particular, we prove a Kashiwara-Malgrange type theorem on their geometric monodromies, which would be useful also in relation with the monodromy conjecture. A new feature in the meromorphic setting is that we have several b-functions whose roots yield the same set of the eigenvalues of the Milnor monodromies. We introduce also multiplier ideal sheaves for meromorphic functions and show that their jumping numbers are related to our b-functions.
△ Less
Submitted 5 May, 2023; v1 submitted 29 October, 2021;
originally announced October 2021.
-
Scaling and spontaneous symmetry restoring of topological defect dynamics in liquid crystal
Authors:
Yohei Zushi,
Kazumasa A. Takeuchi
Abstract:
Topological defects -- locations of local mismatch of order -- are a universal concept playing important roles in diverse systems studied in physics and beyond, including the universe, various condensed matter systems, and recently, even life phenomena. Among these, liquid crystal has been a platform for studying topological defects via visualization, yet it has been a challenge to resolve three-d…
▽ More
Topological defects -- locations of local mismatch of order -- are a universal concept playing important roles in diverse systems studied in physics and beyond, including the universe, various condensed matter systems, and recently, even life phenomena. Among these, liquid crystal has been a platform for studying topological defects via visualization, yet it has been a challenge to resolve three-dimensional structures of dynamically evolving singular topological defects. Here, we report a direct confocal observation of nematic liquid crystalline defect lines, called disclinations, relaxing from an electrically driven turbulent state. We focus in particular on reconnections, characteristic of such line defects. We find a scaling law for in-plane reconnection events, by which the distance between reconnecting disclinations decreases by the square root of time to the reconnection. Moreover, we show that apparently asymmetric dynamics of reconnecting disclinations is actually symmetric in a comoving frame, in marked contrast to the two-dimensional counterpart whose asymmetry is established. We argue, with experimental supports, that this is because of energetically favorable symmetric twist configurations that disclinations take spontaneously, thanks to the topology that allows for rotation of the winding axis. Our work illustrates a general mechanism of such spontaneous symmetry restoring that may apply beyond liquid crystal, which can take place if topologically distinct asymmetric defects in lower dimensions become homeomorphic in higher dimensions and if the symmetric intermediate is energetically favorable.
△ Less
Submitted 13 October, 2022; v1 submitted 1 October, 2021;
originally announced October 2021.
-
Initial perturbation matters: implications of geometry-dependent universal Kardar-Parisi-Zhang statistics for spatiotemporal chaos
Authors:
Yohsuke T. Fukai,
Kazumasa A. Takeuchi
Abstract:
Infinitesimal perturbations in various systems showing spatiotemporal chaos (STC) evolve following the power laws of the Kardar-Parisi-Zhang (KPZ) universality class. While universal properties beyond the power-law exponents, such as distributions and correlations, and their geometry dependence, are established for random growth and related KPZ systems, the validity of these findings to determinis…
▽ More
Infinitesimal perturbations in various systems showing spatiotemporal chaos (STC) evolve following the power laws of the Kardar-Parisi-Zhang (KPZ) universality class. While universal properties beyond the power-law exponents, such as distributions and correlations, and their geometry dependence, are established for random growth and related KPZ systems, the validity of these findings to deterministic chaotic perturbations is unknown. Here we fill this gap between stochastic KPZ systems and deterministic STC perturbations by conducting extensive simulations of a prototypical STC system, namely the logistic coupled map lattice. We show that the perturbation interfaces, defined by the logarithm of the modulus of the perturbation vector components, exhibit the universal, geometry-dependent statistical laws of the KPZ class, despite the deterministic nature of STC. We demonstrate that KPZ statistics for three established geometries arise for different initial profiles of the perturbation, namely point (local), uniform, and "pseudo-stationary" initial perturbations, the last being the statistically stationary state of KPZ interfaces given independently of the Lyapunov vector. This geometry dependence lasts until the KPZ correlation length becomes comparable to the system size. Thereafter, perturbation vectors converge to the unique Lyapunov vector, showing characteristic meandering, coalescence, and annihilation of borders of piece-wise regions that remain different from the Lyapunov vector. Our work implies that the KPZ universality for stochastic systems generally characterizes deterministic STC perturbations, providing new insights for STC, such as the universal dependence on initial perturbation and beyond.
△ Less
Submitted 9 November, 2021; v1 submitted 6 September, 2021;
originally announced September 2021.
-
A Novel Strategy for GaN-on-Diamond Device with a High Thermal Boundary Conductance
Authors:
Fengwen Mu,
Bin Xu,
Xinhua Wang,
Runhua Gao,
Sen Huang,
Ke Wei,
Kai Takeuchi,
Xiaojuan Chen,
Haibo Yin,
Dahai Wang,
Jiahan Yu,
Tadatomo Suga,
Junichiro Shiomi,
Xinyu Liu
Abstract:
To achieve high device performance and high reliability for the gallium nitride (GaN)-based high electron mobility transistors (HEMTs), efficient heat dissipation is important but remains challenging. Enormous efforts have been made to transfer a GaN device layer onto a diamond substrate with a high thermal conductivity by bonding. In this work, two GaN-diamond bonded composites are prepared via m…
▽ More
To achieve high device performance and high reliability for the gallium nitride (GaN)-based high electron mobility transistors (HEMTs), efficient heat dissipation is important but remains challenging. Enormous efforts have been made to transfer a GaN device layer onto a diamond substrate with a high thermal conductivity by bonding. In this work, two GaN-diamond bonded composites are prepared via modified surface activated bonding (SAB) at room temperature with silicon interlayers of different thicknesses (15 nm and 22 nm). Before and after post-annealing process at 800 oC, thermal boundary conductance (TBC) across the bonded interface including the interlayer and the stress of GaN layer are investigated by time-domain thermoreflectance and Raman spectroscopy, respectively. After bonding, the 15 nm Si interlayer achieved a higher TBC. The post-annealing significantly increased the TBC of both interfaces, while the TBC of 22 nm silicon interlayer increased greater and became higher than that of 15 nm. Detailed investigation of the microstructure and composition of the interfaces were carried out to understand the difference in interfacial thermal conduction. The obtained stress was no more than 230 MPa for both before and after the annealing, and this high thermal stability of the bonded composites indicates that the room temperature bonding can realize a GaN-on-diamond template suitable for further epitaxial growth or device process. This work brings a novel strategy of SAB followed by high-temperature annealing to fabricate a GaN-on-diamond device with a high TBC.
△ Less
Submitted 22 July, 2021;
originally announced July 2021.
-
Phase-ordering kinetics in the Allen-Cahn (Model A) class: universal aspects elucidated by electrically-induced transition in liquid crystals
Authors:
Renan A. L. Almeida,
Kazumasa A. Takeuchi
Abstract:
The two-dimensional (2d) Ising model is the statistical physics textbook example for phase transitions and their kinetics. Quenched through the Curie point with Glauber rates, the late-time description of the ferromagnetic domain coarsening finds its place at the scalar sector of the Allen-Cahn (Model A) class. Resisting exact results sought since Lifshitz's account in 1962, central quantities in…
▽ More
The two-dimensional (2d) Ising model is the statistical physics textbook example for phase transitions and their kinetics. Quenched through the Curie point with Glauber rates, the late-time description of the ferromagnetic domain coarsening finds its place at the scalar sector of the Allen-Cahn (Model A) class. Resisting exact results sought since Lifshitz's account in 1962, central quantities in 2d Model A $-$ most scaling exponents and correlation functions $-$ remain known up to approximate theories whose disparate outcomes urge experimental assessment. Here, we perform such assessment from a comprehensive study of the coarsening of 2d twisted nematic liquid crystals whose kinetics is induced by a super-fast switching from a spatiotemporally chaotic state to a two-phase concurrent, equilibrium one. Tracking the dynamics via optical microscopy, we firstly show the sharp evidence of well-established Model A aspects, such as the dynamic exponent $z=2$ and the dynamic scaling hypothesis, to then move forward. We confirm the Bray-Humayun theory for Porod's regime describing intradomain length scales of spatial correlators, and show that their nontrivial decay beyond that regime is captured in a free-from-parameter fashion by Gaussian theories. These paradigmatic theories, however, do not perform well for time-related Model A statistics. We reveal that the collapsed form of two-time correlators is best accounted for by the local scaling invariance theory, along with the Fisher-Huse conjecture. We also suggest the true value for the local persistence exponent, in disfavour of Gaussian models, and extract a universal fractal dimension for the morphology of persistence clusters that is notably close to the golden ratio. Given its accuracy and possibilities, this experimental setup may work as a prototype to address universality issues in the realm of nonequilibrium systems.
△ Less
Submitted 13 March, 2024; v1 submitted 19 July, 2021;
originally announced July 2021.
-
Atomic-Number (Z)-Correlated Atomic Sizes for Deciphering Electron Microscopic Molecular Images
Authors:
Junfei Xing,
Keishi Takeuchi,
Ko Kamei,
Takayuki Nakamuro,
Koji Harano,
Eiichi Nakamura
Abstract:
With the advent of atomic-resolution transmission electron microscopy (AR-TEM) achieving sub-Ångstrom image resolution and submillisecond time resolution, an era of visual molecular science where chemists can visually study the time evolution of molecular motions and reactions at atomistic precision has arrived. However, the appearance of experimental TEM images often differs greatly from that of…
▽ More
With the advent of atomic-resolution transmission electron microscopy (AR-TEM) achieving sub-Ångstrom image resolution and submillisecond time resolution, an era of visual molecular science where chemists can visually study the time evolution of molecular motions and reactions at atomistic precision has arrived. However, the appearance of experimental TEM images often differs greatly from that of conventional molecular models, and the images are difficult to decipher unless we know in advance the structure of the specimen molecules. The difference arises from the fundamental design of the molecular models that represent atomic connectivity and/or the electronic properties of molecules rather than the nuclear charge of atoms and electrostatic potentials that are felt by the e-beam in TEM imaging. We found a good correlation between the atomic number (Z) and the atomic size seen in TEM images when we consider shot noise in digital images. We propose here Z-correlated (ZC) atomic radii for modeling AR-TEM images of single molecules and ultrathin crystals, with which we can develop a good estimate of the molecular structure from the TEM image much more easily than with conventional molecular models. Two parameter sets were developed for TEM images recorded under high-noise (ZCHN) and low-noise (ZCLN) conditions. The new molecular models will stimulate the imaginations of chemists planning to use AR-TEM for their research.
△ Less
Submitted 29 July, 2021; v1 submitted 3 July, 2021;
originally announced July 2021.
-
Crowdsourcing Evaluation of Saliency-based XAI Methods
Authors:
Xiaotian Lu,
Arseny Tolmachev,
Tatsuya Yamamoto,
Koh Takeuchi,
Seiji Okajima,
Tomoyoshi Takebayashi,
Koji Maruhashi,
Hisashi Kashima
Abstract:
Understanding the reasons behind the predictions made by deep neural networks is critical for gaining human trust in many important applications, which is reflected in the increasing demand for explainability in AI (XAI) in recent years. Saliency-based feature attribution methods, which highlight important parts of images that contribute to decisions by classifiers, are often used as XAI methods,…
▽ More
Understanding the reasons behind the predictions made by deep neural networks is critical for gaining human trust in many important applications, which is reflected in the increasing demand for explainability in AI (XAI) in recent years. Saliency-based feature attribution methods, which highlight important parts of images that contribute to decisions by classifiers, are often used as XAI methods, especially in the field of computer vision. In order to compare various saliency-based XAI methods quantitatively, several approaches for automated evaluation schemes have been proposed; however, there is no guarantee that such automated evaluation metrics correctly evaluate explainability, and a high rating by an automated evaluation scheme does not necessarily mean a high explainability for humans. In this study, instead of the automated evaluation, we propose a new human-based evaluation scheme using crowdsourcing to evaluate XAI methods. Our method is inspired by a human computation game, "Peek-a-boom", and can efficiently compare different XAI methods by exploiting the power of crowds. We evaluate the saliency maps of various XAI methods on two datasets with automated and crowd-based evaluation schemes. Our experiments show that the result of our crowd-based evaluation scheme is different from those of automated evaluation schemes. In addition, we regard the crowd-based evaluation results as ground truths and provide a quantitative performance measure to compare different automated evaluation schemes. We also discuss the impact of crowd workers on the results and show that the varying ability of crowd workers does not significantly impact the results.
△ Less
Submitted 30 August, 2021; v1 submitted 27 June, 2021;
originally announced July 2021.
-
Tilt-induced polar order and topological defects in growing bacterial populations
Authors:
Takuro Shimaya,
Kazumasa A. Takeuchi
Abstract:
Rod-shaped bacteria, such as Escherichia coli, commonly live forming mounded colonies. They initially grow two-dimensionally on a surface and finally achieve three-dimensional growth. While it was recently reported that three-dimensional growth is promoted by topological defects of winding number $+1/2$ in populations of motile bacteria, how cellular alignment plays a role in non-motile cases is l…
▽ More
Rod-shaped bacteria, such as Escherichia coli, commonly live forming mounded colonies. They initially grow two-dimensionally on a surface and finally achieve three-dimensional growth. While it was recently reported that three-dimensional growth is promoted by topological defects of winding number $+1/2$ in populations of motile bacteria, how cellular alignment plays a role in non-motile cases is largely unknown. Here, we investigate the relevance of topological defects in colony formation processes of non-motile E. coli populations, and found that both $\pm 1/2$ topological defects contribute to the three-dimensional growth. Analyzing the cell flow in the bottom layer of the colony, we observe that $+1/2$ defects attract cells and $-1/2$ defects repel cells, in agreement with previous studies on motile cells, in the initial stage of the colony growth. However, later, cells gradually flow toward $-1/2$ defects as well, exhibiting a sharp contrast to the existing knowledge. By investigating three-dimensional cell orientations by confocal microscopy, we find strong vertical tilting of cells near the defects. Crucially, this leads to the emergence of a polar order in the otherwise nematic two-dimensional cell orientation. We extend the theory of active nematics by incorporating this polar order and the vertical tilting, which successfully explains the influx toward $-1/2$ defects in terms of a polarity-induced force. Our work reveals that three-dimensional cell orientations may result in drastic changes in properties of active nematics, especially those of topological defects, which may be generically relevant in active matter systems driven by cellular growth instead of self-propulsion.
△ Less
Submitted 19 July, 2022; v1 submitted 21 June, 2021;
originally announced June 2021.
-
Inter-domain Multi-relational Link Prediction
Authors:
Luu Huu Phuc,
Koh Takeuchi,
Seiji Okajima,
Arseny Tolmachev,
Tomoyoshi Takebayashi,
Koji Maruhashi,
Hisashi Kashima
Abstract:
Multi-relational graph is a ubiquitous and important data structure, allowing flexible representation of multiple types of interactions and relations between entities. Similar to other graph-structured data, link prediction is one of the most important tasks on multi-relational graphs and is often used for knowledge completion. When related graphs coexist, it is of great benefit to build a larger…
▽ More
Multi-relational graph is a ubiquitous and important data structure, allowing flexible representation of multiple types of interactions and relations between entities. Similar to other graph-structured data, link prediction is one of the most important tasks on multi-relational graphs and is often used for knowledge completion. When related graphs coexist, it is of great benefit to build a larger graph via integrating the smaller ones. The integration requires predicting hidden relational connections between entities belonged to different graphs (inter-domain link prediction). However, this poses a real challenge to existing methods that are exclusively designed for link prediction between entities of the same graph only (intra-domain link prediction). In this study, we propose a new approach to tackle the inter-domain link prediction problem by softly aligning the entity distributions between different domains with optimal transport and maximum mean discrepancy regularizers. Experiments on real-world datasets show that optimal transport regularizer is beneficial and considerably improves the performance of baseline methods.
△ Less
Submitted 9 July, 2021; v1 submitted 11 June, 2021;
originally announced June 2021.
-
Tips and Tricks to Improve CNN-based Chest X-ray Diagnosis: A Survey
Authors:
Changhee Han,
Takayuki Okamoto,
Koichi Takeuchi,
Dimitris Katsios,
Andrey Grushnikov,
Masaaki Kobayashi,
Antoine Choppin,
Yutaka Kurashina,
Yuki Shimahara
Abstract:
Convolutional Neural Networks (CNNs) intrinsically requires large-scale data whereas Chest X-Ray (CXR) images tend to be data/annotation-scarce, leading to over-fitting. Therefore, based on our development experience and related work, this paper thoroughly introduces tricks to improve generalization in the CXR diagnosis: how to (i) leverage additional data, (ii) augment/distillate data, (iii) regu…
▽ More
Convolutional Neural Networks (CNNs) intrinsically requires large-scale data whereas Chest X-Ray (CXR) images tend to be data/annotation-scarce, leading to over-fitting. Therefore, based on our development experience and related work, this paper thoroughly introduces tricks to improve generalization in the CXR diagnosis: how to (i) leverage additional data, (ii) augment/distillate data, (iii) regularize training, and (iv) conduct efficient segmentation. As a development example based on such optimization techniques, we also feature LPIXEL's CNN-based CXR solution, EIRL Chest Nodule, which improved radiologists/non-radiologists' nodule detection sensitivity by 0.100/0.131, respectively, while maintaining specificity.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Baryon number non-conservation as Peccei-Quinn mechanism
Authors:
Takahiro Ohata,
Kengo Takeuchi,
Koji Tsumura
Abstract:
Baryon number is an accidental symmetry in the standard model, while Peccei-Quinn symmetry is hypothetical symmetry which is introduced to solve the strong CP problem. We study the possible connections between Peccei-Quinn symmetry and baryon number symmetry. In this framework, an axion is identified as the Nambu-Goldstone boson of baryon number violation. As a result, characteristic baryon number…
▽ More
Baryon number is an accidental symmetry in the standard model, while Peccei-Quinn symmetry is hypothetical symmetry which is introduced to solve the strong CP problem. We study the possible connections between Peccei-Quinn symmetry and baryon number symmetry. In this framework, an axion is identified as the Nambu-Goldstone boson of baryon number violation. As a result, characteristic baryon number violating processes are predicted. We developed the general method to determine the baryon number and lepton number of new scalar in the axion model.
△ Less
Submitted 28 August, 2021; v1 submitted 29 April, 2021;
originally announced April 2021.
-
Discriminant Dynamic Mode Decomposition for Labeled Spatio-Temporal Data Collections
Authors:
Naoya Takeishi,
Keisuke Fujii,
Koh Takeuchi,
Yoshinobu Kawahara
Abstract:
Extracting coherent patterns is one of the standard approaches towards understanding spatio-temporal data. Dynamic mode decomposition (DMD) is a powerful tool for extracting coherent patterns, but the original DMD and most of its variants do not consider label information, which is often available as side information of spatio-temporal data. In this work, we propose a new method for extracting dis…
▽ More
Extracting coherent patterns is one of the standard approaches towards understanding spatio-temporal data. Dynamic mode decomposition (DMD) is a powerful tool for extracting coherent patterns, but the original DMD and most of its variants do not consider label information, which is often available as side information of spatio-temporal data. In this work, we propose a new method for extracting distinctive coherent patterns from labeled spatio-temporal data collections, such that they contribute to major differences in a labeled set of dynamics. We achieve such pattern extraction by incorporating discriminant analysis into DMD. To this end, we define a kernel function on subspaces spanned by sets of dynamic modes and develop an objective to take both reconstruction goodness as DMD and class-separation goodness as discriminant analysis into account. We illustrate our method using a synthetic dataset and several real-world datasets. The proposed method can be a useful tool for exploratory data analysis for understanding spatio-temporal data.
△ Less
Submitted 19 February, 2021;
originally announced February 2021.
-
Perturbative unitarity in quasi-single field inflation
Authors:
Suro Kim,
Toshifumi Noumi,
Keito Takeuchi,
Siyi Zhou
Abstract:
We study implications of perturbative unitarity for quasi-single field inflation with the inflaton and one massive scalar. Analyzing high energy scattering, we show that non-Gaussianities with $|f_{\rm NL}|\gtrsim1$ cannot be realized without turning on interactions which violate unitarity at a high energy scale. Then, we provide a relation between $f_{\rm NL}$ and the scale of new physics that is…
▽ More
We study implications of perturbative unitarity for quasi-single field inflation with the inflaton and one massive scalar. Analyzing high energy scattering, we show that non-Gaussianities with $|f_{\rm NL}|\gtrsim1$ cannot be realized without turning on interactions which violate unitarity at a high energy scale. Then, we provide a relation between $f_{\rm NL}$ and the scale of new physics that is required for UV completion. In particular we find that for the Hubble scale $H\gtrsim 6\times 10^{9}$ GeV, Planck suppressed operators can easily generate too large non-Gaussanities and so it is hard to realize successful quasi-single field inflation without introducing a mechanism to suppress quantum gravity corrections. Also we generalize the analysis to the regime where the isocurvature mode is heavy and the inflationary dynamics is captured by the inflaton effective theory. Requiring perturbative unitarity of the two-scalar UV models with the inflaton and one heavy scalar, we clarify the parameter space of the $P(X,φ)$ model which is UV completable by a single heavy scalar.
△ Less
Submitted 8 July, 2021; v1 submitted 8 February, 2021;
originally announced February 2021.
-
Grab the Reins of Crowds: Estimating the Effects of Crowd Movement Guidance Using Causal Inference
Authors:
Koh Takeuchi,
Ryo Nishida,
Hisashi Kashima,
Masaki Onishi
Abstract:
Crowd movement guidance has been a fascinating problem in various fields, such as easing traffic congestion in unusual events and evacuating people from an emergency-affected area. To grab the reins of crowds, there has been considerable demand for a decision support system that can answer a typical question: ``what will be the outcomes of each of the possible options in the current situation. In…
▽ More
Crowd movement guidance has been a fascinating problem in various fields, such as easing traffic congestion in unusual events and evacuating people from an emergency-affected area. To grab the reins of crowds, there has been considerable demand for a decision support system that can answer a typical question: ``what will be the outcomes of each of the possible options in the current situation. In this paper, we consider the problem of estimating the effects of crowd movement guidance from past data. To cope with limited amount of available data biased by past decision-makers, we leverage two recent techniques in deep representation learning for spatial data analysis and causal inference. We use a spatial convolutional operator to extract effective spatial features of crowds from a small amount of data and use balanced representation learning based on the integral probability metrics to mitigate the selection bias and missing counterfactual outcomes. To evaluate the performance on estimating the treatment effects of possible guidance, we use a multi-agent simulator to generate realistic data on evacuation scenarios in a crowded theater, since there are no available datasets recording outcomes of all possible crowd movement guidance. The results of three experiments demonstrate that our proposed method reduces the estimation error by at most 56% from state-of-the-art methods.
△ Less
Submitted 19 July, 2021; v1 submitted 7 February, 2021;
originally announced February 2021.
-
Bayes-Optimal Convolutional AMP
Authors:
Keigo Takeuchi
Abstract:
To improve the convergence property of approximate message-passing (AMP), convolutional AMP (CAMP) has been proposed. CAMP replaces the Onsager correction in AMP with a convolution of messages in all preceding iterations while it uses the same low-complexity matched filter (MF) as AMP. This paper derives state evolution (SE) equations to design the Bayes-optimal denoiser in CAMP. Numerical results…
▽ More
To improve the convergence property of approximate message-passing (AMP), convolutional AMP (CAMP) has been proposed. CAMP replaces the Onsager correction in AMP with a convolution of messages in all preceding iterations while it uses the same low-complexity matched filter (MF) as AMP. This paper derives state evolution (SE) equations to design the Bayes-optimal denoiser in CAMP. Numerical results imply that CAMP with the Bayes-optimal denoiser--called Bayes-optimal CAMP--can achieve the Bayes-optimal performance for right-orthogonally invariant sensing matrices with low-to-moderate condition numbers.
△ Less
Submitted 10 May, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Uncertainty Relations of Variances in View of the Weak Value
Authors:
Jaeha Lee,
Keita Takeuchi,
Kaisei Watanabe,
Izumi Tsutsui
Abstract:
The Schr{ö}dinger inequality is known to underlie the Kennard-Robertson inequality, which is the standard expression of quantum uncertainty for the product of variances of two observables $A$ and $B$, in the sense that the latter is derived from the former. In this paper we point out that, albeit more subtle, there is yet another inequality which underlies the Schr{ö}dinger inequality in the same…
▽ More
The Schr{ö}dinger inequality is known to underlie the Kennard-Robertson inequality, which is the standard expression of quantum uncertainty for the product of variances of two observables $A$ and $B$, in the sense that the latter is derived from the former. In this paper we point out that, albeit more subtle, there is yet another inequality which underlies the Schr{ö}dinger inequality in the same sense. The key component of this observation is the use of the weak-value operator $A_{\rm w}(B)$ introduced in our previous works (named after Aharonov's weak value), which was shown to act as the proxy operator for $A$ when $B$ is measured. The lower bound of our novel inequality supplements that of the Schr{ö}dinger inequality by a term representing the discord between $A_{\rm w}(B)$ and $A$. In addition, the decomposition of the Schr{ö}dinger inequality, which was also obtained in our previous works by making use the weak-value operator, is examined more closely to analyze its structure and the minimal uncertainty states. Our results are exemplified with some elementary spin 1 and 3/2 models as well as the familiar case of $A$ and $B$ being the position and momentum of a particle.
△ Less
Submitted 7 August, 2020;
originally announced August 2020.
-
Water-induced formation of an alkali-ion dimer in cryptomelane nanorods
Authors:
Shaobo Cheng,
Vidushi Sharma,
Altug S. Poyraz,
Lijun Wu,
Xing Li,
Amy C. Marschilok,
Esther S. Takeuchi,
Kenneth J. Takeuchi,
Marivi Fernández-Serra,
Yimei Zhu
Abstract:
Tunneled metal oxides such as $α-$Mn$_8$O$_{16}$ (hollandite) have proven to be compelling candidates for charge-storage materials in high-density batteries. In particular, the tunnels can support one-dimensional chains of K$^+$ ions (which act as structure-stabilizing dopants) and H$_2$O molecules, as these chains are favored by strong H-bonds and electrostatic interactions. In this work, we exam…
▽ More
Tunneled metal oxides such as $α-$Mn$_8$O$_{16}$ (hollandite) have proven to be compelling candidates for charge-storage materials in high-density batteries. In particular, the tunnels can support one-dimensional chains of K$^+$ ions (which act as structure-stabilizing dopants) and H$_2$O molecules, as these chains are favored by strong H-bonds and electrostatic interactions. In this work, we examine the role of water molecules in enhancing the stability of K$^+$-doped $α-$Mn$_8$O$_{16}$ (cryptomelane). The combined experimental and theoretical analyses show that for high enough concentrations of water and tunnel-ions, H$_2$O displaces K$^+$ ions from their natural binding sites. This displacement becomes energetically favorable due to the formation of K$_2^+$ dimers, thereby modifying the stoichiometric charge of the system. These findings have potentially significant technological implications for the consideration of cryptomelane as a Li$^+$/Na$^+$ battery electrode. Our work establishes the functional role of water in altering the energetics and structural properties of cryptomelane, an observation that has frequently been overlooked in previous studies.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.